Discrete compactness for the hp version of rectangular edge finite elements

Daniele Boffi (1) , Martin Costabel (2) , Monique Dauge (2) , Leszek Demkowicz (3)

1 Dipartimento di matematica F. Casorati
2 IRMAR - Institut de Recherche Mathématique de Rennes
3 ICES - Institute for Computational Engineering and Sciences [Austin]

Discretization of Maxwell eigenvalue problems with edge finite elements involves a simultaneous use of two discrete subspaces of H^1 and H(rot), reproducing the exact sequence condition. Kikuchi's Discrete Compactness Property, along with appropriate approximability conditions, implies the convergence of discrete eigenpairs to the exact ones. In this paper we prove the discrete compactness property for the edge element approximation of Maxwell's eigenpairs on general hp adaptive rectangular meshes. Hanging nodes, yielding 1-irregular meshes, are covered, and the order of the used elements can vary from one rectangle to another, thus allowing for a real hp adaptivity. As a particular case, our analysis covers the convergence result for the p-method.

Domaines: Analyse numérique [math.NA]

Daniele Boffi, Martin Costabel, Monique Dauge, Leszek Demkowicz. Discrete compactness for the hp version of rectangular edge finite elements. SIAM Journal on Numerical Analysis, 2006, 44, pp.979-1004. ⟨hal-00012191⟩