We consider solutions to the time-harmonic Maxwell's Equationsof a TE (transverse electric) nature. For such solutions we providea rigorous derivation of the leading order boundary perturbationsresulting from the presence of a finite number of interior inhomogeneitiesof small diameter. We expect that these formulas will form the basis for very effective computational identification algorithms, aimed at determininginformation about the inhomogeneities from electromagnetic boundary measurements.

The present work is a mathematical analysis of two algorithms, namelythe Roothaan and the level-shifting algorithms, commonly used inpractice to solve the Hartree-Fock equations. The level-shiftingalgorithm is proved to be well-posed and to converge provided the shiftparameter is large enough. On the contrary, cases when the Roothaanalgorithm is not well defined or fails in converging areexhibited. These mathematical results are confronted to numericalexperiments performed by chemists.

The phase relaxation model is a diffuse interface model with small parameter ε which consists of a parabolic PDE for temperatureθ and an ODE with double obstaclesfor phase variable χ. To decouple the system a semi-explicit Euler method with variable step-size τ is used for time discretization, which requiresthe stability constraint τ ≤ ε. Conforming piecewiselinear finite elements over highly graded simplicial mesheswith parameter h are further employed for space discretization.A posteriori errorestimates are derived for both unknowns θ and χ, whichexhibit the correct asymptotic order in terms of ε, h andτ. This result circumvents the use of duality, which does noteven apply in this context.Several numerical experiments illustrate the reliability of theestimators and document the excellent performance of the ensuingadaptive method.

In dimension one it is proved that the solution to a total variation-regularizedleast-squares problem is always a function which is "constant almost everywhere" ,provided that the data are in a certain sense outside the range of the operatorto be inverted. A similar, but weaker result is derived in dimension two.

We discuss the stability of "critical" or "equilibrium" shapes ofa shape-dependent energy functional. We analyze a problem arising whenlooking at the positivity of the second derivative in order to provethat a critical shape is an optimal shape. Indeed, often whenpositivity -or coercivity- holds, it does for a weaker norm than thenorm for which the functional is twice differentiable and localoptimality cannot be a priori deduced. We solve this problem for aparticular but significant example. We prove "weak-coercivity" ofthe second derivative uniformly in a "strong" neighborhood of theequilibrium shape.

We are interested in the theoretical study of a spectral problem arising in a physical situation, namely interactions of fluid-solid type structure. More precisely, we study the existence of solutions for a quadratic eigenvalue problem, which describes the vibrations of a system made up of two elastic bodies, where a slip is allowed on their interface and which surround a cavity full of an inviscid and slightly compressible fluid. The problem shall be treated like a generalized eigenvalue problem. Thus by using some functional analysis results, we deduce the existence of solutions and prove a spectral asymptotic behavior property, which allows us to compare the spectrum of this coupled model and the spectrum associated to the problem without transmission between the fluid-solid media.

Hermite polynomial interpolation is investigated.Some approximation results are obtained. As an example, the Burgersequation on the whole line is considered. The stability and theconvergence of proposed Hermite pseudospectral scheme are provedstrictly. Numerical results are presented.

In this paper, we study the long wave approximation for quasilinearsymmetric hyperbolic systems. Using the technics developed byJoly-Métivier-Rauch for nonlinear geometrical optics, we prove thatunder suitable assumptions the long wave limit is described byKdV-type systems. The error estimate if the system is coupled appears tobe better. We apply formally our technics to Euler equations with freesurface and Euler-Poisson systems. This leads to new systems of KdV-type.