Abstract We study the two primary families of spaces of finite element differential forms with respect to a simplicial mesh in any number of space dimensions. These spaces are generalizations of the classical finite element spaces for vector fields, frequently referred to as Raviart–Thomas, Brezzi–Douglas–Marini, and Nedelec spaces. In the present paper, we derive geometric decompositions of these spaces which lead directly to explicit local bases for them, generalizing the Bernstein basis for ordinary Lagrange finite elements. The approach applies to both families of finite element spaces, for arbitrary polynomial degree, arbitrary order of the differential forms, and an arbitrary simplicial triangulation in any number of space dimensions. A prominent role in the construction is played by the notion of a consistent family of extension operators, which expresses in an abstract framework a sufficient condition for deriving a geometric decomposition of a finite element space leading to a local basis.
[1]
Philippe G. Ciarlet,et al.
The finite element method for elliptic problems
,
2002,
Classics in applied mathematics.
[2]
D. Arnold,et al.
Finite element exterior calculus, homological techniques, and applications
,
2006,
Acta Numerica.
[3]
Leszek Demkowicz,et al.
Nédélec spaces in affine coordinates
,
2005
.
[4]
Mark Ainsworth,et al.
Hierarchic finite element bases on unstructured tetrahedral meshes
,
2003
.
[5]
J. P. Webb.
Hierarchal vector basis functions of arbitrary order for triangular and tetrahedral finite elements
,
1999
.
[6]
Alain Bossavit.
GEOMETRICAL METHODS IN COMPUTATIONAL ELECTROMAGNETISM
,
2006
.
[7]
Tom Lyche,et al.
On the p -norm condition number of the multivariate triangular Bernstein basis
,
2000
.
[8]
Ralf Hiptmair,et al.
HIGHER ORDER WHITNEY FORMS
,
2001
.