Fortin operator and discrete compactness for edge elements

Summary. The basic properties of the edge elements are proven in the original papers by Nédélec [22,23] In the two-dimensional case the edge elements are isomorphic to the face elements (the well-known Raviart–Thomas elements [24]), so that all known results concerning face elements can be easily formulated for edge elements. In three-dimensional domains this is not the case. The aim of the present paper is to show how to construct a Fortin operator which converges uniformly to the identity in the spirit of [5,4]. The construction is given for any order tetrahedral edge elements in general geometries. We relate this result to the well-known commuting diagram property and apply it to improve the error estimate for a mixed problem which involves edge elements. Finally we show that this result can be applied to the analysis of the approximation of the time-harmonic Maxwell's system.

[1]  F. Kikuchi.  On a discrete compactness property for the Nedelec finite elements , 1989 .

[2]  François Dubois,et al.  Discrete vector potential representation of a divergence-free vector field in three dimensional domains: numerical analysis of a model problem , 1990 .

[3]  D. Boffi,et al.  Computational Models of Electromagnetic Resonators: Analysis of Edge Element Approximation , 1999 .

[4]  Gianni Gilardi,et al.  Magnetostatic and Electrostatic Problems in Inhomogeneous Anisotropic Media with Irregular Boundary and Mixed Boundary Conditions , 1997 .

[5]  ANDREA TOSELLIy,et al.  Overlapping Schwarz Methods for Vector Valued Elliptic Problems in Three Dimensions , 1997 .

[6]  Michel Fortin,et al.  An analysis of the convergence of mixed finite element methods , 1977 .

[7]  J. Nédélec.  A new family of mixed finite elements in ℝ3 , 1986 .

[8]  V. Girault,et al.  Vector potentials in three-dimensional non-smooth domains , 1998 .

[9]  C. Makridakis,et al.  Time-discrete finite element schemes for Maxwell's equations , 1995 .

[10]  Jun Zou,et al.  Fully discrete finite element approaches for time-dependent Maxwell's equations , 1999, Numerische Mathematik.

[11]  F. Brezzi,et al.  On the convergence of eigenvalues for mixed formulations , 1997 .

[12]  Douglas N. Arnold,et al.  Multigrid in H (div) and H (curl) , 2000, Numerische Mathematik.

[13]  Peter Monk,et al.  An analysis of Ne´de´lec's method for the spatial discretization of Maxwell's equations , 1993 .

[14]  H. Whitney.  Geometric Integration Theory , 1957 .

[15]  Michel Fortin,et al.  Mixed and Hybrid Finite Element Methods , 2011, Springer Series in Computational Mathematics.

[16]  Ralf Hiptmair,et al.  Canonical construction of finite elements , 1999, Math. Comput..

[17]  M. Costabel,et al.  Singularities of Maxwell interface problems , 1999 .

[18]  Daniele Boffi,et al.  On the problem of spurious eigenvalues in the approximation of linear elliptic problems in mixed form , 2000, Math. Comput..

[19]  Andrea Toselli,et al.  Overlapping and Multilevel Schwarz Methods for Vector Valued Elliptic Problems in Three Dimensions , 2000 .

[20]  J. Nédélec.  Mixed finite elements in ℝ3 , 1980 .

[21]  F. Brezzi.  On the existence, uniqueness and approximation of saddle-point problems arising from lagrangian multipliers , 1974 .