TY - JOUR
T1 - Geometric decompositions and local bases for spaces of finite element differential forms
AU - Arnold, Douglas N.
AU - Winther, Ragnar
N1 - Funding Information: The work of the first author was supported in part by NSF Grant DMS-0713568. The work of the second author was supported in part by NSF Grant DMS06-09755. The work of the third author was supported by the Norwegian Research Council.
PY - 2009/5/1
Y1 - 2009/5/1
N2 - 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 Nédélec 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.
AB - 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 Nédélec 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.
KW - Berstein bases
KW - Finite element exterior calculus
KW - finite element bases
UR - http://www.scopus.com/inward/record.url?scp=63249119749&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=63249119749&partnerID=8YFLogxK
U2 - https://doi.org/10.1016/j.cma.2008.12.017
DO - https://doi.org/10.1016/j.cma.2008.12.017
M3 - Article
SN - 0045-7825
VL - 198
SP - 1660
EP - 1672
JO - Computer Methods in Applied Mechanics and Engineering
JF - Computer Methods in Applied Mechanics and Engineering
IS - 21-26
ER -