In a metamaterial, the electric permittivity and/or the magnetic permeability can be negative in given frequency ranges. We investigate the solution of the time-harmonic Maxwell equations in a composite material, made up of classical materials, and metamaterials with negative electric permittivity, in a two-dimensional bounded domain Ω. We study the imbedding of the space of electric fields into L 2 (Ω) 2 . In particular, we extend the famous result of Weber, proving that it is compact. This result is obtained by studying the regularity of the fields. We first isolate their most singular part, using a decompositionà la Birman and Solomyak. With the help of the Mellin transform, we prove that this singular part belongs to H s (Ω) 2 for some s > 0. Finally, we show that the compact imbedding result holds as soon as no ratio of permittivities between two adjacent materials is equal to −1.
Introduction.We consider the solution of the time-harmonic Maxwell equations in a composite material. A composite material is modeled by nonconstant electric permittivity ε and magnetic permeability μ. The variations of ε and μ can be smooth or piecewise smooth. Recently, some new composites appeared, including classical materials and metamaterials. A metamaterial exhibits special properties. In given frequency ranges, it can behave like a material with negative electric permittivity and/or negative magnetic permeability. Examples of metamaterials [25,26,27,12] include superconductors and left-handed materials. Due to the sign change between a classical material and a metamaterial, the usual mathematical approaches fail to resolve the corresponding electromagnetic models. In other words, these composites raise challenging questions, both from mathematical and numerical points of view.In this paper, we focus on an essential tool for studying time-harmonic Maxwell equations in a bounded (connected) domain Ω of R d (d is the space dimension), which is the compact imbedding of the space of electric fields in L 2 (Ω) d . This result is indeed a key ingredient to solving the two instances of time-harmonic equations, namely, the source problem (sustained vibrations) and the eigenvalue problem (free vibrations).If the domain of interest is surrounded by a perfect conductor, a functional space for electric fields, X N (Ω, ε), appears. It is made up of vector fields v that belong to L 2 (Ω) d , and such that curl v ∈ L 2 (Ω) d , div (εv) ∈ L 2 (Ω), and v × n = 0 on ∂Ω, where n is the unit outward normal vector to ∂Ω.Our main objective is to find an extension of the Weber compact imbedding theorem in the case of a composite material including classical and negative metamaterials. In the landmark paper [28], Weber proved that X N (Ω, ε) is compactly