Professional Documents
Culture Documents
1155
c Cambridge University Press, 2006
doi: 10.1017/S0962492906210018 Printed in the United Kingdom
Richard S. Falk
Department of Mathematics,
Rutgers University, Piscataway, NJ 08854, USA
E-mail: falk@math.rutgers.edu
Ragnar Winther
Centre of Mathematics for Applications
and Department of Informatics,
University of Oslo, PO Box 1053, 0316 Oslo, Norway
E-mail: ragnar.winther@cma.uio.no
CONTENTS
1 Introduction 2
Part 1: Exterior calculus, nite elements, and homology
2 Exterior algebra and exterior calculus 9
3 Polynomial dierential forms and the Koszul complex 28
4 Polynomial dierential forms on a simplex 41
5 Finite element dierential forms and their cohomology 58
6 Dierential forms with values in a vector space 75
Part 2: Applications to discretization of dierential equations
7 The Hodge Laplacian 79
8 Eigenvalue problems 94
9 The H projection and Maxwells equations 101
10 Preconditioning 107
11 The elasticity equations 121
References 149
1. Introduction
The nite element method is one of the greatest advances in numerical
computing of the past century. It has become an indispensable tool for sim-
ulation of a wide variety of phenomena arising in science and engineering. A
tremendous asset of nite elements is that they not only provide a method-
ology to develop numerical algorithms for simulation, but also a theoretical
framework in which to assess the accuracy of the computed solutions. In
this paper we survey and develop the nite element exterior calculus, a new
theoretical approach to the design and understanding of nite element dis-
cretizations for a wide variety of systems of partial dierential equations.
This approach brings to bear tools from dierential geometry, algebraic
topology, and homological algebra to develop discretizations which are com-
patible with the geometric, topological, and algebraic structures which un-
derlie well-posedness of the PDE problem being solved. Applications treated
here include the nite element discretization of the Hodge Laplacian (which
includes many problems as particular cases), Maxwells equations of elec-
tromagnetism, the equations of elasticity, and elliptic eigenvalue problems,
and the construction of preconditioners.
To design a nite element method to solve a problem in partial dieren-
tial equations, the problem is rst given a weak or variational formulation
which characterizes the solution among all elements of a given space of func-
tions on the domain of interest. A nite element method for this problem
Finite element exterior calculus 3
The nite element exterior calculus is not the only compatible discretization
approach in active development. It certainly has motivations and features in
common with mimetic nite dierence methods (Bochev and Hyman 2006),
covolume methods (Nicolaides and Trapp 2006), and the discrete exterior
calculus (Desbrun, Hirani, Leok and Marsden 2005). Moreover, there are
coincidences of methods in simple cases. However, there are also major dif-
ferences. In mimetic nite dierences and the discrete exterior calculus, the
6 D. N. Arnold, R. S. Falk and R. Winther
stable nite element spaces that have been used to solve mixed formulations
of the Poisson or Maxwells equations. A new aspect of this paper is the
development of bases and degrees of freedom for all these spaces in a unied
fashion that is not possible when the spaces are studied in isolation from
each other. In particular, the degrees of freedom we present are in some cases
more natural than the ones that have appeared previously in the literature.
As alluded to, a key feature of our approach is the arrangement of these
spaces of nite element dierential forms into nite-dimensional subcom-
plexes of the de Rham complex. In fact, we show that for each polynomial
degree there are 2n1 such subcomplexes in n dimensions which reproduce
the same cohomology. Some of these complexes had been studied before,
especially the celebrated complex of Whitney forms and its higher degree
generalizations, but many are new. Some of these new complexes turn out
to be essential for the discretization of the elasticity system.
Another direction which is new to this paper is the use of group repre-
sentation theory to characterize the spaces of polynomial dierential forms
Pr k (Rn ) and Pr k (Rn ) which are used to construct the nite element
dierential forms. In Section 3.4, we show that these spaces are nearly the
only ones with a certain ane invariance property.
The development of nite element methods with weakly imposed sym-
metry for the elasticity equations as presented here appeared only recently
in our work. A key tool, not previously used in numerical analysis, is the
BGG resolution. The presentation here is more general and simpler than
the previous versions, and the treatment of traction boundary conditions
rst appears here.
A great strength of the exterior calculus approach is the way it unies
seemingly dierent problems in a common framework. A familiar example
is the unication of the three main rst-order dierential operators of vector
calculus, grad, div, and curl, as a single operator, the exterior derivative,
d. In a similar way, the Hodge Laplacian, d + d, where is the formal
adjoint of d, unies many important second-order dierential operators. By
studying the numerical solution of source and eigenvalue properties and
preconditioners for the Hodge Laplacian in generality, we simultaneously
treat many dierent problems, including the standard nite element meth-
ods with Lagrange elements for the scalar Laplacian, mixed nite elements
for the Laplacian, dierent mixed nite element formulations for the vector
Laplacian, curl curl problems arising in electromagnetics in dierent formu-
lations, and div-curl systems.
We also mention some more technical aspects of the current presentation
that distinguish it from others that appear in the literature. We treat do-
mains of full topological generality, that is, with arbitrary Betti numbers.
Thus our goal is not to show that the nite element de Rham subcom-
plexes we construct are exact, but rather that they reproduce the de Rham
8 D. N. Arnold, R. S. Falk and R. Winther
PART ONE
Exterior calculus, nite elements,
and homology
Exterior product
Given Altj V and Altk V , we dene their exterior product or wedge
product Altj+k V by
( )(v1 , . . . , vj+k )
= (sign )(v(1) , . . . , v(j) )(v(j+1) , . . . , v(j+k) ), vi V, (2.1)
where the sum is over all permutations of {1, . . . , j + k}, for which (1) <
(2) < (j) and (j + 1) < (j + 2) < (j + k). The exterior product
is bilinear and associative, and satises the anti-commutativity condition
= (1)jk , Altj V, Altk V.
This can be summarized by the statement that the direct sum Alt V :=
k
k Alt V is a anti-commutative graded algebra called the Grassmann al-
gebra or exterior algebra of V . (In the context of graded algebras, anti-
commutativity is often referred to simply as commutativity.)
10 D. N. Arnold, R. S. Falk and R. Winther
Pullback
A linear transformation of vector spaces L : V W induces a linear trans-
formation L : Alt W Alt V called the pullback, given by
L (v1 , . . . , vk ) = (Lv1 , . . . , Lvk ), Altk W, v1 , . . . , vk V.
K L L
The pullback acts contravariantly: if U V W , then Alt W
K
Alt V Alt U , and K L = (L K) . The pullback also respects
the algebra structure in the sense that L ( ) = L L .
A particular case is when L is the inclusion iV of a subspace V into W .
Then the pullback denes a surjection iV of Alt W onto Alt V . If in addition
W has an inner product, so that the orthogonal projection V : W V is
dened, then its pullback denes an injection of Alt V into Alt W and the
V i
pullback of the composition W V W associates to each Altk W
its tangential part with respect to V , given by
(V iV )(v1 , . . . , vk ) = (V v1 , . . . , V vk ).
Thus the tangential part of vanishes if and only the image of in Altk V
vanishes. We may also speak of the normal part of with respect to V ,
dened to be V iV . (For k > 1, this is not generally the same as the
tangential part with respect to the orthogonal complement of V .)
Bases
Let v1 , . . . , vn be some basis of V . Then an algebraic k-form is uniquely
determined by its values (v(1) , . . . , v(k) ) for each increasing map :
{1, . . . , k} {1, . . . , n}, and these values may be assigned arbitrarily. Thus
k n
dim Alt V = ,
k
and, in particular, Altk V = 0 for k > n.
Associated to the given basis is the dual basis 1 , . . . , n for V , dened
by i (vj ) = ij . For , : {1, . . . , k} {1, . . . , n} increasing, we have
1, if = ,
(1) (k) (v(1) , . . . , v(k) ) =
0, otherwise,
n
so the k algebraic k-forms (1) (k) form a basis for Altk V nat-
urally associated to the given basis of V .
Interior product
To an algebraic k-form and a vector v V , we may associate an algebraic
(k 1)-form v called the interior product, or the contraction of by v,
dened by
v(v1 , . . . , vk1 ) = (v, v1 , . . . , vk1 ).
Finite element exterior calculus 11
Bivectors
When we treat the equations of elasticity, we will make use of the space
V V of bivectors, which we now dene. (There is an entire algebra of
multivectors, in analogy to the exterior algebra of multi-covectors, but we
shall not have need of this.)
For v and w elements of a vector space V , dene v w = v w w v
V V , and let V V denote the subspace of V V spanned by elements of
vectors vi vj ,
the form v w. If v1 , . . . , vn denotes a basis of V , then the
i < j, form a basis for V V , and so dim V V = n2 . The mapping
v w (v w)/2 denes a linear operator skw : V V V V .
The space V V is identied with L(V , V ), the space of linear opera-
tors from V to V , by (v w)(f ) = f (w)v. If we assume that V has an
inner product, then V is identied with V , and so V V with L(V, V ).
The subspace V V is then the subspace of linear operators which are
12 D. N. Arnold, R. S. Falk and R. Winther
skew-symmetric with respect to the inner product and skw is the map which
takes a linear operator to its skew-symmetric part.
The case V = Rn
Finally, we consider the case V = Rn , and note that we have a natural
identication of Alt0 Rn and Altn Rn with R. In fact, Alt0 Rn is dened to
equal R, while the general element Altn Rn can be written
(v1 , . . . , vn ) = c det[v1 | |vn ],
for some c R, so c is the desired identication. For n > 1, we
also have natural identications of Alt1 Rn and Altn1 Rn with Rn . The
identication of Alt1 Rn with Rn is the usual Riesz identication of V with
Finite element exterior calculus 13
Dierential forms
Applying the exterior algebra construction to the tangent spaces, we obtain
the exterior forms bundle, a smooth manifold whose elements are pairs (x, )
with x , Altk Tx . A dierential k-form is a section of this bundle,
i.e., a map which associates to each x an element x Altk Tx .
Thus, if is a dierential k-form on , x , and v1 , . . . , vk Tx , then
x (v1 , . . . , vk ) R. If the map
x x v1 (x), . . . , vk (x) R, (2.3)
is smooth (innitely dierentiable) whenever the vi are smooth vector elds,
then we say that is a smooth dierential k-form. We denote by k () the
space of all smooth dierential k-forms on . Note that 0 () = C ()
and 1 () is the space of smooth covector elds.
14 D. N. Arnold, R. S. Falk and R. Winther
correspondence
Alt0 R3 = R cc
=
Alt1 R3 R3 u1 dx1 + u2 dx2 + u3 dx3 u
2 3 =
Alt R R3 u3 dx1 dx2 u2 dx1 dx3
+u1 dx2 dx3 u
=
Alt3 R3 R c c dx1 dx2 dx3
exterior product
L : Alt0 R3 Alt0 R3 id : R R
L : Alt1 R3 Alt1 R3 LT : R3 R3
L : Alt2 R3 Alt2 R3 (det L)L1 : R3 R3
L : Alt3 R3 Alt3 R3 (det L) : R R (c c det L)
v : Alt1 R3 Alt0 R3 v : R3 R
v : Alt2 R3 Alt1 R3 v : R3 R3
v : Alt3 R3 Alt2 R3 v : R R3 (c cv)
Hodge star
: Alt0 R3 Alt3 R3 id : R R
: Alt1 R3 Alt2 R3 id : R3 R3
Finite element exterior calculus 15
Exterior product
For each k, k () is not only an (innite-dimensional) vector space, but
also a module with respect to the ring C () of smooth functions on : if
k () and f C (), the product f belongs to k (). The exterior
product of algebraic forms may be applied pointwise to dene the exterior
product of dierential forms:
( )x = x x .
In this way we obtain the anti-commutative graded algebra
() = k ().
k
Exterior dierentiation
The exterior derivative d : () () is a graded linear operator of
degree +1, i.e., d maps k () into k+1 () for each k 0. We give a
formula for a domain in Rn . In this case, we may identify each tangent
space Tx with Rn , and hence for given k () and vectors v1 , . . . , vk ,
obtain a smooth mapping R given by
x x (v1 , . . . , vk ).
We then dene
k+1
dx (v1 , . . . , vk+1 ) = (1)j+1 vj x (v1 , . . . , vj , . . . , vk+1 ),
j=1
k , v1 , . . . , vk+1 V,
where the hat is used to indicate a suppressed argument. For a general
manifold, a similar but more involved expression can be used to dene exte-
rior dierentiation. In this case the vectors vi must be replaced by smoothly
16 D. N. Arnold, R. S. Falk and R. Winther
varying vector elds, and additional terms arise due to the noncommutativ-
ity of the vector elds. See Lang (1995, Chapter V, Section 3).
We recall two key properties of exterior dierentiation. It is a dierential:
d d = 0; and it satises a Leibniz rule with respect to the wedge product:
d( ) = d + (1)j d, j (), k ().
Pullback
A smooth map : between manifolds provides a pullback of dier-
ential forms from to . Namely, if is a dierential k-form on , we
dene the pullback k () by
( )x = (Dx ) (x)
i.e.,
( )x (v1 , . . . , vk ) = (x) Dx (v1 ), . . . , Dx (vk ) .
The pullback respects exterior products and dierentiation:
( ) = , (d) = d( ), , ( ).
If is an orientation-preserving dieomorphism, then we also have
= , n ( ).
If is a submanifold of , then the pullback of the inclusion
is the
trace map Tr, : () ( ). If the domain is clear from context,
we may write Tr instead of Tr, , and we usually abbreviate Tr, as
simply Tr. Note that, if is a submanifold of positive codimension and
k > 0, then the vanishing of Tr, on for k () does not imply
that x Altk Tx vanishes for x , only that it vanishes when applied
to k-tuples of vectors tangent to , or, in other words, that the tangential
part of x with respect to Tx vanishes.
d = Tr , n1 ().
Combining with the Leibniz rule, we get the integration by parts formula
d = (1) k1
d + Tr Tr , (2.4)
Interior product
Clearly we may form the interior product of a dierential k-form with a
vector eld v, to obtain a (k 1)-form: (v)x = x vx .
Inner product
Suppose is an oriented Riemannian manifold, so that each tangent space
is endowed with an inner product, and so also are the spaces Altk Tx .
Moreover, there is a unique volume form, vol in n () such that at each
x , volx is the volume form associated with the oriented inner product
space Tx . Therefore we can dene the integral of any function f 0 ()
simply as f vol. In particular, we can dene the L2 -inner product of any
two dierential k-forms on as the integral of their pointwise inner product:
L2 n () 0 where
d d
1
The L2 de Rham complex is often written 0 L2 0 ()
k
the d are taken as unbounded operators with the H () spaces as domains. This is
an equivalent notion.
Finite element exterior calculus 19
0 H 0 ()
H n () H n () 0
(2.9)
contains the same information as the de Rham complex.
Boundary traces
Using the theory of traces in Sobolev space, we nd that the trace operator
Tr : k () k () extends by continuity to a mapping of H 1 k () onto
the Sobolev space H 1/2 k (). Of course, the trace cannot be extended to
all of L2 (). However, we can give a meaning to the trace of H()
H 1/2 nk1 () denote the
as follows. Given H 1/2 k (), let
Hodge star of with respect to the boundary. Then we can nd
H 1 nk1 () with Tr = and
H 1 c
H 1/2 c
H 1/2 .
Now for k (), (2.4) gives
Tr , = (Tr )
= Tr Tr
= [d + (1)k ] c
H
H 1
c
H
H 1/2 .
It follows that we can extend Tr to a bounded operator on Hk () with
values in H 1/2 k (), the dual of H 1/2 k (). We may then dene
Hk () = { Hk () | Tr = 0 }.
If H k (), then Hnk (), so Tr() is well-dened. Clearly,
H k () := Hnk () = { H k () | Tr() = 0 }.
We recall that for smooth, Tr vanishes at some x if and only if
the tangential part of x vanishes, and Tr() vanishes if and only if the
normal part vanishes.
We can use the coderivative operator and the trace operator to charac-
terize the orthogonal complement of the range of d and . From the adjoint
equation (2.8), we see that
{ L2 k () | , dL2 k = 0 Hk1 () }
= { H k () | = 0 } (2.10)
and
{ L2 k () | , L2 k = 0 Hk+1 () }
= { Hk () | d = 0 }. (2.11)
20 D. N. Arnold, R. S. Falk and R. Winther
{ L2 k () | , dL2 k = 0 Hk1 () }
= { H k () | = 0 },
{ L2 k () | , L2 k = 0 H k+1 () }
= { Hk () | d = 0 },
Hk = { Hk () H k () | d = 0, = 0 }.
It is a simple untangling of the denitions to see that Hk () = Hnk ().
Thus there is an isomorphism between the kth de Rham cohomology space
and the (n k)th cohomology space with boundary conditions. This is
called Poincare duality.
For a contractible domain , the only nonvanishing cohomology space is
now that of highest order, and the extended de Rham complex
d d d
0 0 ()
1 ()
n ()
R0
is exact.
Homological algebra
The language of homological algebra was invented to clarify the common
algebraic structures behind a variety of constructions in dierent branches of
Finite element exterior calculus 21
for manifolds with Lipschitz boundary, states that the compact embedding
into L2 still holds.
for Hk () H k () Hk or Hk () H k () Hk .
Proof. We prove that Bk is closed, the other cases being similar. Suppose
n Bk and n in L2 k (). There exist n Z(k1) with n = dn .
From the fact that the sequence dn is convergent in L2 k () and Poincares
inequality, we nd that n is Cauchy with respect to the L2 -norm and so
n converges to some L2 k1 (). Necessarily d = , so n converges
to in Hk (), so Hk () and = d Bk .
24 D. N. Arnold, R. S. Falk and R. Winther
Hodge decomposition
At this point, the Hodge decomposition (or really two Hodge decomposi-
tions, with dierent boundary conditions), is just a matter of gathering
results.
From the rst equality in (2.15), we have an orthogonal decomposition
L2 k () = Bk Zk .
But Bk is a closed subspace of Zk whose orthogonal complement is, by
the second equality in (2.16),
Zk Zk = Hk .
Thus
L2 k () = Bk Hk Bk ,
which is the rst Hodge decomposition. The second follows analogously.
The following equation summarizes both, together with the relations of the
various spaces discussed:
Zk =Bk Zk Zk =Bk Zk
L () = B H B = Bk Hk Bk
2 k k k k (2.18)
Zk Zk =Bk Zk Zk =Bk
By Poincares inequality, Theorem 2.2, the square root of the quadratic part
of J (u) denes an equivalent norm:
u X du + u , u X.
Now if we triangulate the domain and use piecewise smooth (e.g., nite el-
ement) forms in X to approximate the solution, we will not converge to the
solution. For a piecewise smooth form which belongs to Hk () H k ()
always belongs to H 1 , and so if it belongs to X, it belongs to X 1 . Thus
our approximate solutions will remain in a closed subspace which does not
contain the exact solution, and so cannot converge to it.
The mixed formulation we present in Section 7 will not suer from this
(very serious) defect.
Proxy elds
Based on the identication of Alt0 Rn and Altn Rn with R and of Alt1 Rn
and Altn1 Rn with Rn , we may identify each 0-form and n-form with a
scalar-valued function and, for n > 1, each 1-form and (n 1)-form with a
vector eld. The associated elds are called proxy elds for the forms. For
n = 2 we have two dierent identications of 1 () with C (; R2 ), i.e.,
two ways to associate a proxy eld to a 1-form.
Interpreted in terms of the proxy elds, the exterior derivative operators
d : 0 () 1 () and d : n1 () n () become grad : C ()
C (; Rn ) and div : C (; Rn ) C (), respectively.
Finite element exterior calculus 27
0 C () H 1 () grad w w(f ) 0
1 C (; R ) H(curl, ; R3 ) curl w
3
w t dH1 x x w(x)
f
2 C (; R3 ) H(div, ; R3 ) div w f
w n dH2 x x w(x)
2
3 C () L () 0 f
w dH3 x x w(x)
or
0 C () C (; R2 ) C () 0,
curl div
is called the Koszul algebra (Guillemin and Sternberg 1999, Chapter 3.1).
Finite element exterior calculus 29
Pr k1 , Hr k . (3.7)
The operator maps the Koszul algebra P to itself. There it is called
the Koszul operator (Guillemin and Sternberg 1999, Chapter 3.1), and gives
rise to the homogeneous Koszul complex (Loday 1992, Chapter 3.4.6),
0 Hrn n Hrn+1 n1 Hr 0 0. (3.8)
We show below that this complex is exact for r > 0. Adding over polynomial
degrees, we obtain the Koszul complex (for any r 0),
0 Prn n Prn+1 n1 Pr 0 0,
for which all the cohomology spaces vanish, except the rightmost, which is
equal to R.
To prove the exactness of the homogeneous polynomial de Rham and
Koszul complexes, we establish a key connection between the exterior deriva-
tive and the Koszul dierential. In the language of homological algebra, this
says that the Koszul operator is a contracting homotopy for the homoge-
neous polynomial de Rham complex.
Theorem 3.1.
(d + d) = (r + k), Hr k . (3.9)
Finite element exterior calculus 31
n
k
f
= r + xj dxi dx1 dx
(1)j j dxk .
xi
i=1 j=1
In the last step we have used Eulers identity i xi f /xi = rf for f Hr .
On the other hand,
k
d = d j dxk
(1)j1 f xj dx1 dx
j=1
k
n
f xj
= (1)j1 j dxk
dxi dx1 dx
xi
j=1 i=1
k
n
f j dxk
= (1) j1
f ij + xj dxi dx1 dx
xi
j=1 i=1
k
n
f
= k + (1)j1 j dxk .
xj dxi dx1 dx
xi
j=1 i=1
For the range of , we can only get a weaker result using (3.7), namely
and from this decomposition we can read o all the nite-dimensional linear-
invariant subspaces of Pr k : they are just the sums of some nite number
of the summands appearing in (3.20).
The next step is to determine which of the linear-invariant subspaces is
actually ane-invariant. We shall do this by considering the eect of the
pullback by the translation operation. First we introduce some notation. Let
rd : Pk dHr+1 k1 , s : Pk Hs1 k+1
denote the projections determined by the decomposition (3.20). Denote by
: Rn Rn the unit translation in the x1 direction:
(x) = (x1 + 1, x2 , . . . , xn ).
The proof of Theorem 3.6 will follow easily from the next lemma.
Lemma 3.7. Let 0 < k < n.
d ( ) = 0.
(1) For any r 1, there exists dHr+1 k1 such that r1
( ) = 0.
(2) For any s 2, there exists Hs1 k+1 such that s1
d ( ) = 0.
(3) For any s 1, there exists Hs1 k+1 such that s1
38 D. N. Arnold, R. S. Falk and R. Winther
Proof. For the proof we will exhibit such forms explicitly, and verify the
result by direct computation.
(1) Let
= (r + 1)1 d(xr+1
1 dx2 dxk ) = xr1 dx1 dxk dHr+1 k1 .
Then
= (x1 + 1)r dx1 dxk
= xr1 dx1 dxk + rxr1
1 dx1 dxk + ,
where we have expanded by polynomial degree. The term of degree r 1 is
rxr1
1 dx1 dxk = d(xr1 dx2 dxk ) dHr k1 .
d ( ) = rxr1 dx dx = 0.
Therefore r1 1 1 k
(2) Let
= (x1s1 dx1 dxk+1 )
k+1
= x1s1 j dxk+1 Hs1 k+1 .
(1)j+1 xj dx1 dx
j=1
Then
= (x1 + 1)s dx2 dxk+1
k+1
+ (x1 + 1)s1 j dxk+1 .
(1)j+1 xj dx1 dx
j=2
Then
d = s(s 1)x1s1 dx1 dxk+1
k+1
+ (s 1)x1s2 j dxk+1
(1)j+1 dxj dx
j=2
= (s 2
1)x1s1 dx1 dxk+1 = 0.
Thus Hs1 k , but d ( ) = d = 0.
/ dHs k+1 . Therefore s1 s1
Finite element exterior calculus 39
(3) Let
k+1
= (xsn dx1 dxk+1 ) = xsn j dxk+1 .
(1)j+1 xj dx1 dx
j=1
Thus Hs k1 but d = d = 0.
/ Hs1 k , so s+1 s+1
Lemma 3.8.
(2) The following four restrictions of d each have the same kernel:
d : Pr k Pr1 k+1 , d : Pr k Pr k+1 ,
d : Pr+1 k Pr k+1 , d : Pr+1 k Pr+1 k+1 .
(3) The following four restrictions of d each have the same image:
d : Pr k Pr1 k+1 , d : Pr k Pr k+1 ,
d : Pr k Pr1 k+1 , d : Pr k Pr k+1 .
Proof. The rst statement is clear. To prove the second, we need to show
that if Pr+1 k with d = 0, then Pr k . This follows from
Theorem 3.4. Finally, to prove the third statement, it suces to note that
Pr k = Pr k + dPr+1 k1 , so dPr k = dPr k .
space that determines the interelement continuity rather than the particular
choice of degrees of freedom, since we may choose any convenient basis
for each space in the decomposition and obtain the same assembled nite
element space.
For computation with nite elements we also need a basis, not only for
the dual space, but also for the space of shape functions itself, which sim-
ilarly decomposes the spaces into subspaces indexed by the subsimplices.
This way the necessary discretization matrices can be computed simplex
by simplex and assembled into a global matrix. In this section we dene
such bases and decompositions for Pr k (T ) and Pr k (T ). There have been
several papers which have discussed bases of these spaces for use in compu-
tation in particular cases, e.g., Webb (1999), Hiptmair (2001), Ainsworth
and Coyle (2003), Gopalakrishnan, Garca-Castillo and Demkowicz (2005).
In our presentation, we emphasize the fact, rst noted in Arnold et al.
(2006b), that the construction of the degrees of freedom and basis for the
Pr k spaces requires the use of Pr k spaces on the subsimplices, and vice
versa. Therefore, the two families of spaces must be studied together to get
optimal results.
is not included in the basis. Similarly, for any face f = f , the restrictions
of d(1) , . . . , d(k) to the tangent space V of f at any point of f (V is
independent of the point), give a basis for Alt1 V .
The algebraic k-forms (d) := d(1) d(k) , (k, n), form
a basis for Altk . Therefore, a dierential k-form can be expressed in
the form
= a (d) , (4.1)
(k,n)
1 1
(j) d(1) d(k) = (j) volf = , j = 0, . . . , k.
f k! |f | f (k + 1)!
(4.2)
Bernstein basis): the basis functions are the polynomials I = i00 inn
where I = (i0 , . . . , in ) Nn+1 is a multi-index for which the ij sum to
r. We then associate the monomial I to the simplex f whose vertices
are the xj for which ij > 0. Thus r0 is associated to the vertex x0 , the
r 1 monomials r1 r2 2 r1
0 1 , 0 1 , . . . , 0 1 are associated to the edge
[x0 , x1 ], etc.
Dene V (f ) to be the span of the monomials so associated with f . Ob-
viously
Pr (T ) = V (f ),
f (T )
where
p (x) = a (0) (x), (0)+1 (x), . . . , n (x) ,
Proof. Both i and the trace of di vanish on the face Fi , so all the forms
(d) vanish on each Fi , i = 1, . . . , n. Thus if has the form (4.5), then
its traces vanish as claimed.
On the other hand, suppose the Pr k (T ) has such vanishing traces.
Write as in (4.1) with the a Pr (T ). We must show that is a divisor
of a . For 1 i k, and 1 j n k, the vertices x0 , and x(i) belong
to the face F (j) . Therefore the vector t(i) is tangent to the face, and so
p (x) = x (t(1) , . . . , t(k) )
must vanish on F (j) . Thus (j) divides p (x) for each 1 j n k,
i.e., divides p as claimed.
Lemma 4.6. Let Pr k (T ). Suppose that TrFi = 0 for i = 1, . . . , n
and that
= 0, Prn+k nk (T ). (4.6)
Then = 0.
Proof. Write as in (4.5), and set
= () p (d) Prn+k nk (T ),
(k,n)
0= = p2 d1 dn .
= 0, Prn+k nk (T ). (4.7)
Then = 0.
Proof. If Pr k (T ), then d Pr1 k+1 (T ), and
d = d, nk1 . (4.8)
so
d = 0, Prn+k nk1 (T ).
= 0, nk1 (T ).
Together with the hypothesis (4.7), we nd that the hypothesis (4.6) of the
previous lemma is fullled, and so vanishes.
Trf = 0, Pr 0 (f ), f k (T ),
f
Trf = 0, Pr1 1 (f ), f k+1 (T ),
f
we may apply the lemma again to conclude that Trf = 0 for all f
k+1 (T ). Continuing in this way, we obtain the following theorem.
dim f k
Trf = 0, Pr+kdim f (f ), f (T ). (4.9)
f
Then = 0.
The following theorem, a simple dimension count, will imply that all these
surjections are isomorphisms, and that the W (f ) span Pr k (T ) .
Finite element exterior calculus 51
= 0, Prn+k1 nk (T ).
Then = 0.
Proof. Since Pr k (T ), d Pr1 k+1 (T ). Therefore
d = d, nk1 .
Moreover, Pr k (T )
= Pr+kn1 nk (T ); see Lemma 4.11. Therefore,
k n r+k1
dim Pr (T ) = .
k n
then each f = 0.
Proof. If some f does not vanish, there is a face g of minimal dimension
such that g = 0, so that g does not contain any of the other faces f for
which f = 0. Taking the trace of the sum on g and invoking the corollary,
we conclude that g = 0, a contradiction.
We can now prove Theorem 4.15. We dene
k
V (f ) = Ef,T Pr k (f ),
for f with k dim f < r + k. By the previous proposition, the sum of the
V (f ) is direct, and we need only prove that it equals all of Pr k (T ). But
Finite element exterior calculus 55
and the coecients a are of the form given above, then we must have
a (d) 0,
0 (nk,n)
(0)=0
since none of the other terms will have 0 as factor. Furthermore, the set
{(d) }, where is taken to be in 0 (n k, n) with (0) = 0, is a basis
for Altk Rn . Therefore, all a , with (0) = 0, are identically equal to zero.
A simple inductive argument on (0) now implies that all a are identically
equal to zero. This completes the proof.
56 D. N. Arnold, R. S. Falk and R. Winther
dim f k
Trf , Pr+kdim f (f ), f (T ),
f
Finite element exterior calculus 57
dim f k
Trf ( kr ) = 0, Pr+kdim f (f ), f (T ),
f
and
Pr k (T ) Pr k (T ) Pr k (T ) Pr k (T ).
This follows from the facts that the pullback by an ane isomorphism re-
spects the trace operation, wedge product, and integral, and that the Pr k
and Pr k spaces are ane-invariant.
We now show that these projection operators commute with d. More
specically, we establish the following lemma.
d d
Pr k (T ) Pr1 k+1 (T ) Pr k (T ) Pr k+1 (T )
d d
k (T ) k+1 (T ) k (T ) k+1 (T )
d d
Pr k (T ) Pr k+1 (T ) Pr k (T ) Pr1 k+1 (T ).
58 D. N. Arnold, R. S. Falk and R. Winther
Proof. Let kr denote the projection onto Pr k (T ). Then the rst diagram
asserts that := dkr k+1
r1 d = 0. From Lemma 3.8, we know that
dr r1 d Pr1 (T ). Thus = 0 if
k k+1 k+1
dim f k1
Trf = 0, Pr+kdim f (f ), f (T ).
f
But, by Stokes theorem and the fact that Trf d = df Trf , we get
Trf dr = df Trf kr
k
f f
= (1)k1
Trf r df +
k
Tr kr Tr
f f
= (1)k1 Trf df + Tr Tr
f f
(1) Hk (),
(2) Tr is single-valued for all f n1 (T ),
(3) Tr is single-valued for all f j (T ), k j n 1.
Trf , Prj+k jk (f ), f j (T ), (5.1)
f
In two and three dimensions we may use proxy elds to identify these
spaces of nite element dierential forms with nite element spaces of scalar
and vector functions. In Tables 5.1 and 5.2, we summarize the correspon-
dences between spaces of nite element dierential forms and classical nite
element spaces: the Lagrange elements (Ciarlet 1978); the RaviartThomas
elements introduced in two dimensions by Raviart and Thomas (1977) and
generalized to three dimensions by Nedelec (1980); the BrezziDouglas
Marini elements introduced by Brezzi, Douglas and Marini (1985) and
generalized to three dimensions by Nedelec (1986) and Brezzi, Douglas,
Duran and Fortin (1987); and the spaces of discontinuous elements of
degree r, i.e., all piecewise polynomials of degree no greater than r.
Trf T = Trf , Prj+k jk (f ), f j (T ),
f f
d d
Pr k (T ) Pr1 k+1 (T ) Pr k (T ) Pr k+1 (T )
d d
k () k+1 () k () k+1 ()
d d
Pr k (T ) Pr k+1 (T ) Pr k (T ) Pr1 k+1 (T ).
62 D. N. Arnold, R. S. Falk and R. Winther
Therefore
(I T )
Lp k (T ) = hn/pk
(I T )
Lp k (T )
c(T )hn/pk ||W s k (T )
p
= c(T )h
(I T )
Lp k (T ) ,
s
whence
c(T ) = c(T )hs . (5.6)
64 D. N. Arnold, R. S. Falk and R. Winther
But the mesh regularity assumption implies that there exist positive con-
stants K1 and K2 depending only on Cmesh such that
diam T K1 , |T | K2 .
Together with the fact that T has a vertex at the origin, these conditions
conne the vertices to a compact set, and so there is a constant C, indepen-
dent of T Th and h so that c(T ) C. Combining with (5.5) and (5.6),
we obtain (5.4) and hence the theorem.
However, h is not a projection (it does not leave the nite element subspace
xed), and it does not commute with the exterior derivative. And so it, too,
is not sucient for our purposes.
To overcome these diculties, in this subsection we will construct an al-
ternative set of projection operators h which are bounded from L2 k ()
to the nite element space. The approach we take is highly inuenced by
recent work by Schoberl (2005) and Christiansen (2005), partially unpub-
lished. Briey, to project a form we will rst extend it to a slightly larger
domain and then regularize. Regularization commutes with exterior dier-
entiation, and the extension is chosen so that it commutes with exterior
dierentiation as well. Next we use the canonical projection to project the
regularized form into the subspace. This procedure gives an operator which
is bounded on L2 and which commutes with the exterior derivative, but
which is not a projection. We remedy this by multiplying by the inverse
of the operator restricted to the subspace (which can be shown to exist).
The resulting operator still commutes with exterior dierentiation, is still
bounded on L2 , and is a projection. From the last two properties, we easily
obtain optimal error estimates.
Uniform bounds
Now we let kh denote either Pr k (Th ) or Pr k (Th ) and denote by h the
canonical interpolation operator onto kh .
Since we have restricted to suciently small, R h maps L2 k () into
Ck () for all h. Then the map h R h : L2 k () kh is certainly
bounded. The following lemma, as we shall prove below via a scaling argu-
ment, states that the bound is uniform in h (but not in ).
Lemma 5.4. For suciently small as above, there exists a constant c()
such that the operator norm satises
h R h
L(L2 k (),L2 k ()) c(),
for all h.
The restriction h R h |k maps kh into itself. The following lemma, which
h
we shall also prove below using scaling, states that it converges to the iden-
tity as 0, uniformly in h. Lemma 5.5 uses the notation
L(k ,k ) to
h h
denote the L2 -operator norm of an operator kh kh .
Lemma 5.5. There exists a constant c, independent of h and , such that
I h R h |k
L(k ,k ) c.
h h h
Finite element exterior calculus 67
where the last inequality can be proved, e.g., by using the Clement inter-
polant. The nal pointwise estimate follows from the estimate for s = 1
and the fact that H 1 k () is dense in L2 k ().
onto T
:= T (T
) (see Figure 5.3). Then 1 h : k (T ) kh (T )
is just the canonical projection T onto the polynomial space kh (T ), and
1 R h : L2 k (T
) kh (T ) is just the smoothing operator R (because
of our choice of regularization parameter h, proportional to h). Thus we
nd that
T R
L(L2 k (T ),L2 k (T )) =
T R h
L(L2 k (T ),L2 k (T ))
and
I T R
L(k (T ),k (T )) =
I T R h
L(k (T ),k (T )) .
h h h h
T T
T T
for all Hk (T
) such that |T H 1 k (T ) for T T (T ). Here
T (T ) denotes the set of n simplices which denes T
. In fact, (5.11) will
immediately imply (5.10) since T = and
W1 (T ) c
2 k
L (T )
T T (T )
for any kh (T
).
In order to establish (5.11), recall that the space kh (T ) is either of the
form Pr k (T ) or Pr k (T ), for a suitable r 1. As a consequence of the
degrees of freedom for these spaces, given by Theorems 4.10 and 4.14, to
70 D. N. Arnold, R. S. Falk and R. Winther
for all Hk (T
) such that |T W 1 k (T ) for T T (T ). Here the
f = {x f | dist(x, f ) C}.
Here the constant C > 0 is chosen such that, for any point x f , the
ball of radius with centre at x will only intersect the elements of T (T )
which have f as a subsimplex. A consequence of this construction is that,
if x f and v1 , v2 , . . . , vk are unit tangent vectors to f , then y (v1 , . . . , vk )
is continuous for |x y| , and
|x (v1 , . . . , vk ) y (v1 , . . . , vk )|
W1 (T ) .
T T (T )
Hence we have veried the bound (5.12) when dim f > 0. If dim f = 0, the
bound (5.12) still holds by a simple modication of the proof.
we conclude that the cohomology of the top row, which we have already seen
to be an image of the de Rham cohomology, maps onto the cohomology of
72 D. N. Arnold, R. S. Falk and R. Winther
denote the spaces of nite element cycles and boundaries. We have Bkh Zkh
so Zk
h Bh , where the orthogonal complements are taken within the
k
space h with respect to the L2 k -norm (or the Hk -norm, which gives
k
Hkh := Bk
h Zh = { h | d = 0, , d = 0 h
k k k1
},
the space of discrete harmonic forms. We have seen above that this space
has the dimension of the kth de Rham cohomology space, which is the kth
Betti number of the domain. We note that Bkh Bk and Zkh Zk , but Zk h
is not generally contained in Zk and Hkh is not generally contained in Hk .
The discrete Hodge decomposition is a simple consequence of the deni-
tions:
kh = Bkh Bk
h = Bh Hh Zh .
k k k
We know that the space of discrete harmonic k-forms has the same di-
mension as the space of harmonic k-forms. In the next theorem we show
that the discrete harmonic forms also provide good approximation of the
harmonic forms. We shall use the smoothed projection operator h , but,
as can be seen from the proof, any projection operator which commutes
with d could be used instead.
Theorem 5.8. Let Hk . Then there exists h Hkh such that
h
h
. (5.15)
Proof. First we show that there exists a unique (h , uh ) kh Bk+1
h such
that
h , d, uh = , , kh ,
(5.16)
dh , v = 0, v Bk+1
h .
This is a nite-dimensional linear system, so we just need to show that if
(h , uh ) is a solution when = 0, then h = 0 and uh = 0. Choosing = h
and v = uh , we get that h = 0, and then that d, uh = 0 for all kh ,
(k+1)
i.e., uh Bh . Thus uh = 0.
Next we show that for the solution of (5.16), h Hkh . The second
equation immediately gives dh = 0, i.e., h Zkh . Taking = d, hk1 ,
we get
h , d = , d = 0, k1
h ,
Lemma 5.10. If u Zk
h and w Z
k satises dw = du, then
u w
w h w
.
Proof. Since w Zk , there exists z Bk+1 such that w = z, i.e.,
w, v = dv, z, v Hk ().
Similarly, since u Zk
h , there exists zh Bh
k+1
such that
u, v = dv, zh , v kh .
Hence,
w u, v = dv, z zh , v kh .
Choosing v = h w u and noting that dv = 0, we get
w u
2 = w u, w h w
w u
w h w
.
The result follows immediately.
( )(v1 , . . . , vj+k )
= (sign )(v(1) , . . . , v(j) ) (v(j+1) , . . . , v(j+k) ), vi V,
where the sum is again over all permutations of {1, . . . , j + k}, for which
(1) < (2) < (j) and (j + 1) < (j + 2) < (j + k). Assuming
that V also has an inner product, we get an inner product on Altk (V ; W )
in analogy with (2.2):
, = (v(1) , . . . , v(k) ) (v(1) , . . . , v(k) ), , Altk (V ; W ),
Alt1 (V ; V )
Altn1 (V ; V )
Altn (V ; V V )
Alt0 (V ; V V )
is equal to (1)n 2 skw.
Finite element exterior calculus 77
Proof. It suces to prove the case i = n, since we may always reorder the
basis elements (possibly changing orientation). Then, from the denition of
Sn2 ,
n1
(Sn2 )(e1 , . . . , en1 ) = (1)j+1 ej (e1 , . . . , ej , . . . , en1 )
j=1
n1
= (1)j+1 (1)nj1 ej (ej , en )
j=1
n
= (1) n+1
ej (en , ej ),
j=1
whence we conclude
ijk = ikj . (6.4)
But (6.3) and (6.4) imply that vanishes:
ijk = jik = jki = kji = kij = ikj = ijk .
Theorem 6.4. The operator Sn2 : Altn2 (V, V ) Altn1 (V, V V ) is
an isomorphism.
Proof. If Sn2 = 0, then Lemmas 6.2 and 6.3 imply that vanishes, so
vanishes. Then Sn2 is injective, and since its domain and range have
equal dimension, it is an isomorphism.
Finite element exterior calculus 79
PART TWO
Applications to discretization
of dierential equations
This is the standard mixed formulation for the Dirichlet problem for the
Poisson equation. The rst equation is equivalent to the dierential equation
= grad u and the boundary condition u = 0, while the second equation
is equivalent to div = f . In this case, Hk = 0, so p = 0 and the last
equation is not needed. If, instead, we seek H0 (div, ; R3 ), then the
boundary condition u = 0 is replaced by the boundary
condition = 0.
Then Hk = R, and so p = f dx/ meas() and u dx = 0. These are the
only boundary value problems when k = 3. Since du = 0, this problem is
already of the form (7.4).
For k = 2, the unknowns H(curl, ; R3 ) and u H(div, ; R3 ) satisfy
the dierential equations
= curl u, curl grad div u = f p,
the auxiliary condition PHk u = 0, and the boundary conditions u = 0,
div u = 0 on , so this is a mixed formulation for the vectorial Poisson
equation
(curl curl grad div)u = f p, (7.5)
with the auxiliary variable = curl u. If, instead, we seek H0 (curl, ; R3 )
and u H0 (div, ; R3 ), then we obtain the boundary conditions = 0
and u = 0. When k = 2, (7.4) becomes
d = curl ud , curl d = fd , div ud = 0,
while problem (7.3) becomes
grad div u = f , curl u = 0.
In fact, since f = grad F for some F , this problem has the equivalent form
div u = F, curl u = 0.
Finite element exterior calculus 83
Remark. If, instead, we consider the form B over the space [Hk1 ()
Hk () Hk ] [Hk1 () Hk () Hk ] then the stability result is
still valid. The proof must be modied to use the Hodge decomposition
u = ud + uH + u , where now ud Bk , uH Hk , and u Bk .
of the form
d d d
0 H0 () H1 () Hn () 0
0h 1h h
n (7.11)
d d d
0 0h 1h nh 0,
where the kh are bounded projections, i.e.,
kh
Hk C
Hk , Hk (), (7.12)
with the constant C independent of and h. We note that the canonical
interpolation operators associated to the standard nite element spaces do
not satisfy these conditions, since their denition requires more regularity.
However, the new projection operators discussed in Section 5 do satisfy
these conditions, so we can assume we have such projection operators. Of
course, we would also like the results presented below to apply to problems
with essential boundary conditions. In that case, we would need projection
operators kh mapping Hk to kh that again satisfy (7.12). Although our
construction in Section 5 did not include this case, we believe that such
a construction is also possible, and we shall assume that we have such
projection operators in this case too.
Under these conditions, we shall next demonstrate stability of the nite
element method: nd h k1 h , uh h , ph Hh such that
k k
h , = d, uh , k1
h ,
dh , v + duh , dv + v, ph = f, v, v kh , (7.13)
u, q = 0, q Hkh .
In view of the discrete de Rham complexes obtained in Section 5.5, this
result can be applied to prove the stability of four dierent families of mixed
methods for the Hodge Laplacian problem, using any of the four choices
of spaces
Pr k1 (Th ) Pr k (Th ), Pr k1 (Th ) Pr k (Th ),
(7.14)
Pr+1 k1 (Th ) Pr k (Th ), Pr+1 k1 (Th ) Pr k (Th ),
to discretize the (k 1)-forms and the k-forms, respectively. Since the
(k 1)-forms disappear for k = 0, and since we have Pr 0 (Th ) = Pr 0 (Th )
and Pr n (Th ) = Pr1 n (Th ), these reduce to a single family of methods for
k = 0 (namely, the use of the standard Lagrange elements for the standard
Laplacian problem), and to two families of methods for k = 1 or k = n.
Stability of the method (7.13) is equivalent to the inf-sup condition for
B restricted to the nite element spaces (Babuska and Aziz 1972), i.e., we
must establish the following result.
86 D. N. Arnold, R. S. Falk and R. Winther
with
B(, u, p; , v, q) (
2H +
u
2H +
p
2 ),
H +
v
H +
q
C(
H +
u
H +
p
).
Proof. The proof in the discrete case closely follows the proof given above
for the continuous case. By the discrete Hodge decomposition, given u kh ,
there exist forms ud Bkh , uH Hkh , and u Zk
h , such that
u = ud + uH + u ,
u
2 =
ud
2 +
uH
2 +
u
2 . (7.15)
(k1)
Since ud Bkh , ud = d, for some Zh . Since du = du, we get
using the discrete Poincare inequality, Theorem 5.11, that
K
ud
,
u
K
du
, (7.16)
where K and K are constants independent of , u , and h. The result now
follows by applying the same proof as in the continuous case, where we use
(7.15) and (7.16) in place of (7.8) and (7.9). To handle other boundary
conditions, the discrete Hodge decomposition must be modied as in the
continuous case.
From this stability result, we then obtain the following quasi-optimal error
estimates.
Theorem 7.4. Let (, u, p) Hk1 () Hk () Hk be the solution
of problem (7.1) and let (h , uh , ph ) hk1 kh Hkh be the solution of
problem (7.13). Then
h
H +
u uh
H +
p ph
(7.17)
C inf
H + inf
u v
H + inf
p q
+
PHk u
,
k1 vkh qHkh h
h
h = sup
(I h )r
.
rHk
r=1
Let k1
h , u h , q Hh . Then, for any (h , vh , qh ) h
k k k1
kh Hkh ,
we have
B(h , uh v, ph q; h , vh , qh )
= B( , u v, p q; h , vh , qh ) + u, qh
= B( , u v, p q; h , vh , qh ) + PHk u, qh
h
C(
H +
u v
H +
p q
+
PHk u
)
h
(
h
H +
vh
H +
qh
).
Theorem 7.3 then gives
h
H +
uh v
H +
ph q
C(
H +
u v
H +
p q
+
PHk u
),
h
h
H +
u uh
H +
p ph
= O(hr ).
Proof. This result follows from the previous theorem by using the approx-
imation properties of the subspaces given in Theorems 5.6 and 5.8.
88 D. N. Arnold, R. S. Falk and R. Winther
Remark. As noted earlier, problems (7.3) and (7.4) are special cases of
problem (7.1) when f = f Bk or f = fd Bk. Although these reduced
problems have a simpler form, they are not so easy to approximate directly
by nite element methods, since that would involve nding a basis for nite
element subspaces of Bk or Bk. However, since they are equivalent to
problem (7.1), one can use the discretization of problem (7.1) with standard
nite element spaces to nd good approximations to problems of this type.
Remark. We also note that an early use of a discrete Hodge decomposition
and discrete Poincare inequality to establish stability of mixed nite element
methods appears in the work of Fix, Gunzburger and Nicolaides (1981), in
connection with the grid decomposition principle. See also Bochev and
Gunzburger (2005) for a more recent exposition.
C(hs
(I h )f
+
(I h )
).
90 D. N. Arnold, R. S. Falk and R. Winther
(I PBk )f
(I h )f
.
h
u1 H s C 1 .
Collecting the estimates above, and stating only the weaker result we will
need, we have
1
,
u1
Chs
(I h )f
. (7.20)
u1h H Chs (I h )f .
which implies
p1h
Chs
(I h )f
.
Finite element exterior calculus 91
By collecting (7.20) and the estimates just obtained for u1h and p1h , we obtain
1
+
u1
+
u1h
H +
p1h
Chs
(I h )f
. (7.21)
We will use a superscript 2 to indicate the solutions of (7.1) and (7.13) with
right-hand side PBk f Bkh Bk . Then, d 2 = dh 2 = dh2 = PBk f ,
h h
u2 = u2,h = 0, and p2 = p2h = 0. By combining these properties with the
error equation
2 h2 , = d, u2 u2h , hk1 , (7.22)
we obtain
2 h2
2 = d(h 2 h2 ), u2 u2h + 2 h 2 , 2 h2
(I h ) 2
2 h2
,
or
2 h2
(I h ) 2
. (7.23)
Note that the error equation (7.22) implies that
2 h2 , = d, PBk u2 u2h , hk1 .
h
(k1)
Choosing Zh such that d = PBk u2 u2h , we obtain from the
h
discrete Poincare inequality that
PBk u2 u2h
C
2 h2
C
(I h ) 2
. (7.24)
h
d(u uh )
(I h ) du
.
Furthermore, there is a constant C, independent of h, such that
(I PZk )(h u uh )
C
(I h ) du
.
h
which implies
d(u uh )
2 +
d(h u uh )
2 =
(I h ) du
2 .
Hence, the rst bound is established. Since d(I PZk )(h uuh ) = d(h u
h
uh ) the second bound follows from the discrete Poincare inequality.
Combining these lemmas, we obtain the following error bounds.
Theorem 7.9. For f L2 k (), let (, u, p) Hk1 ()Hk ()Hk
be the solution of problem (7.1), and let (h , uh , ph ) k1
h kh Hkh be
the corresponding solution of (7.13). Then
h
+
u uh
H +
p ph
C(
(I h )fH
+ hs
(I h )fd
+
(I h )
+
(I h )u
H +
PHk u
) (7.25)
h
and
d( h )
(I h )fd
. (7.26)
Proof. Note that if we apply the Hodge decomposition f = fd + fH + f
to a general right-hand side f L2 k (), we obtain from Lemmas 7.67.8
that
h
+
d(u uh )
+
p ph
C(
(I h )fH
+ hs
(I h )fd
+
(I h )
+
(I h ) du
)
and
d( h )
=
(I PBk )fd
(I h )fd
.
h
and from Lemmas 7.6 and 7.8 and the proof of Lemma 7.7 that
(I PZk )(h u uh )
C(
(I h )fH
+
(I h ) du
+ hs
(I h )fd
).
h
C(
(I h )fH
+
(I h )u
H + hs
(I h )fd
).
Since Ph = PBk + PHk + (I PZk ), we can conclude from (7.27) and (7.28)
h h h
that
Ph u uh
C(
(I h )fH
+ hs
(I h )fd
+
(I h )
+
(I h )u
H +
PHk u
).
h
Finite element exterior calculus 93
Hence, since
u uh
(I Ph )u
+
Ph u uh
(I h )u
+
Ph u uh
,
we obtain
u uh
C(
(I h )fH
+ hs
(I h )fd
+
(I h )
+
(I h )u
H +
PHk u
).
h
Using these results, together with the approximation properties of the op-
erators h , we can immediately conclude that the right-hand side of (7.25)
is of order hs . Furthermore, additional smoothness of the right-hand side
and the solution will lead to higher-order convergence. More precisely, we
have the following result.
Theorem 7.10. Suppose that the domain is s-regular for some 0 < s
1. Let (, u, p) Hk1 () Hk () Hk be the solution of problem (7.1)
and let (h , uh , ph ) k1
h h Hh be the solution of problem (7.13), where
k k
k1
h kh is one of the choices given in (7.14). Then, for f L2 k (),
h
+
u uh
H +
p ph
Chs
f
.
If fd , ud H ts k () and fH, , u, du H t k (), for s t r, then
h
+
u uh
H +
p ph
Cht (
fd
H ts +
fH
H t
+
H t +
u
H t +
ud
H ts +
du
H t ).
If Hkh Hk , then the term
ud
H ts and the corresponding regularity
hypothesis can be dropped. Finally, if fd H t k (), then
d( h )
Cht
fd
H t .
Proof. The desired estimates follow directly from the basic error bounds
(7.25) and (7.26), combined with (7.29), (7.30) and the approximation prop-
erties of h (cf. Theorem 5.6).
94 D. N. Arnold, R. S. Falk and R. Winther
8. Eigenvalue problems
The purpose of this section is to discuss approximations of the eigenvalue
problem for the Hodge Laplacian using the same nite element spaces
kh Hk () used for the boundary value problems discussed in the previ-
ous section. In fact, there is a vast literature on the approximation of eigen-
value problems for mixed systems, and it is well known that the standard
Brezzi stability conditions for linear saddle point systems are not sucient
to guarantee convergence of the corresponding eigenvalue approximations.
Typically, spurious eigenvalues/eigenfunctions can occur, even if the Brezzi
conditions are fullled. However, by now the proper conditions for guar-
anteeing convergence and no spurious eigenmodes are well understood, and
discrete Hodge (or Helmholtz) decompositions seem to be a useful tool for
verifying these conditions. For the main results in this direction, we refer to
Osborn (1979), Mercier, Osborn, Rappaz and Raviart (1981), Babuska and
Osborn (1991), Bo, Brezzi and Gastaldi (1997, 2000), and Bo (2000,
2001, 2006).
Here, we shall use this theory to show that the nite element spaces
dened in this paper lead to convergence of the corresponding nite element
approximations of the eigenvalue problem for the Hodge Laplacian. In the
nal subsection, we present some results on convergence rates for the special
case of a simple eigenvalue.
h , d, uh = 0, k1
h ,
uh , q = 0, q Hkh .
Here h = dh uh = dh Kh f . The operator Kh is equivalently characterized
by Kh f = uh , where uh kh solves
Convergence
As a consequence of (8.10) and the discussion above, the following theorem
is obtained.
Theorem 8.1. The discrete eigenvalue problem (8.7) converges to the
eigenvalue problem (8.1) in the sense dened above.
In particular, this theorem implies the following result on the approxima-
tion of the k-harmonic forms.
Finite element exterior calculus 99
Corollary 8.2.
lim gap(Hk , Hkh ) = 0.
h0
Recall that for the continuous problem (8.1), all eigenfunctions corre-
sponding to eigenvalues > 0 are L2 -orthogonal to Hk , and for such eigen-
functions, the problem (8.1) can be split into two independent problems
(8.2) and (8.3). The corresponding property is valid for the discrete prob-
lem (8.7) as well. If h > 0, then all eigenfunctions are L2 -orthogonal
to Hkh , and if uh = ud,h + u,h is the discrete Hodge decomposition of an
eigenfunction uh in kh then
du,h , dv = h u,h , v, v Zk
h , (8.11)
and
h , d, ud,h = 0, k1
h ,
(8.12)
dh , v = h ud,h , v, v Bkh .
Here h = dh uh . The converse also holds, i.e., any eigenvalue/eigenfunction
of (8.11) or (8.12) is an eigenvalue/eigenfunction of (8.7). In fact the discrete
problems (8.11) and (8.12) converge separately to the eigenvalue problems
(8.2) and (8.3) in the sense specied above. This is basically a consequence
of Theorem 8.1 and the orthogonality property of the Hodge decompositions.
To see this, the following result is useful.
Lemma 8.3. If u Bk and v span(Zk , Zk
h ) then we obtain the
bounds
u v
v
(I h )u
and
u v
u
2
(I h )u
.
Proof. Since h u Bkh Bk and v are orthogonal we have
u v
h u v
(I h )u
max(
h u
,
v
)
(I h )u
.
This gives the rst inequality, and the second bound follows since
h u
u
(I h )u
.
We now have the following result, which is a strengthening of Theorem 8.1.
Theorem 8.4. The discrete eigenvalue problems (8.11) and (8.12) con-
verge separately to the corresponding problems (8.2) and (8.3) in the sense
dened above.
Proof. Let > 0 be an eigenvalue for the problem (8.1) with corresponding
eigenspace E, and let h be the corresponding eigenvalue for (8.7), with
eigenspace Eh , such that h and gap(E, Eh ) 0 as h tends to zero.
100 D. N. Arnold, R. S. Falk and R. Winther
Let
E = Ed E and Eh = Ed,h E,h
be the corresponding Hodge decompositions (continuous and discrete) of
the spaces, i.e., Ed = E Bk and Ed,h = Eh Bkh . The desired result will
follow if we can show that gap(Ed , Ed,h ) 0 and gap(E , E,h ) 0.
However, if u Ed , with
u
= 1, then by Lemma 8.3,
inf
u v
inf
u v
+ 2
(I h )u
vEd,h vEh
gap(E, Eh ) + 2
(I h )u
,
and since the space Ed is nite-dimensional, the right-hand side converges to
zero uniformly in u. On the other hand, for a given v Ed,h , with
v
= 1,
we have
inf
u v
= inf
u v
gap(E, Eh ).
uEd uE
This shows that gap(Ed , Ed,h ) 0, and a corresponding argument will show
that gap(E , E,h ) 0.
Convergence rates
The results of Section 7 can also be combined with the standard theory
for eigenvalue approximation to obtain rates of convergence. To simplify
the presentation, we do this only for the simplest case, where we assume
we have only simple eigenvalues. Then, from Theorem 7.3 of Babuska and
Osborn (1991), if Ku = 1 u,
u
= 1, then
|1 1
h | C(|(K Kh )u, u| +
(K Kh )u
).
2
For the second term, we can use the error estimates of Section 7. To get a
similar squaring of the error from the rst term, we need some additional
analysis, which is a slight modication of Theorem 11.1 of Babuska and
Osborn (1991). To use the results of Section 7, and avoid confusing the
terminology, we estimate |(K Kh )f, f |, where now
f
= 1 and (K
Kh )f = u uh + p ph , i.e., we estimate |u uh + p ph , f |.
We rst note that from the denitions of , u, and p, and their nite
element approximations, we get the error equations
h , = d, u uh , k1
h , (8.13)
d( h ), v + d(u uh ), dv + p ph , v = 0, v kh . (8.14)
Also, from the denitions of , u, and p, we have
f, u uh + p ph = d, u uh + p ph + du, d(u uh )
+ p, u uh + p ph ,
, h = d( h ), u.
Finite element exterior calculus 101
f, u uh + p ph = d, u uh + p ph , h
+ d( h ), u + p + du, d(u uh ) + p ph , p + u
+ p, u uh p ph , u.
Since u, q = 0, q Hk and uh , qh = 0, qh Hkh ,
p, u uh p ph , u = p ph , u uh + 2ph , u.
Using the Hodge decomposition u = ud +uH+u , and observing that uH = 0,
ph , u = 0, and h ud Bkh Bk , we get
ph , u = ph , ud = ph , ud h ud = ph p, ud h ud .
Choosing = h and v = uh + ph in (8.13) and (8.14), and combining these
results, we get
f, u uh + p ph = d( h ), u uh + p ph h , h
+ d( h ), u uh + p ph + d(u uh ), d(u uh )
+ p ph , u uh + p ph + p ph , u uh + 2ph p, ud h ud .
Hence,
|f, u uh + p ph | C(
h
H +
u uh
H
+
p ph
)2 + 2
ph p
ud h ud
.
Applying our approximation theory results and Theorem 7.10 in the case
when s = 1 and the eigenfunction is suciently smooth, we obtain
|f, u uh + p ph | Ch2r
and hence it follows that
| h | Ch2r .
If we modify the problem by replacing the term u, v by m2 u, v, then
the analysis is essentially the same, since du, dv + m2 u, v denes an
equivalent inner product on Hk ().
2
+ (d + d) = g.
t2
If we assume that g is time-harmonic, i.e., can be expressed as the product
of a function which is independent of time with e imt for some positive real
number m, and then we seek of the same form, we are led to a time-
independent equation of the form
(d + d)u m2 u = f.
Note that for f Bk , this problem is equivalent to (9.4) (in the sense that
the unique solution to this problem is the unique solution of (9.4)).
To approximate (9.4), we use the obvious extension of the method dened
in (9.2). That is, we seek uh kh such that
Note that since we have assumed that m2 is not an eigenvalue for the contin-
uous problem (9.4), it follows from Theorem 8.4 that m2 is not an eigenvalue
for the corresponding discrete problem (9.5) if the mesh parameter h is suf-
ciently small. In fact the following error bound can be established.
We close by remarking that essentially the same result holds, with essen-
tially the same proof, in the case where u is the solution of (9.4) and uh is
dened by (9.5).
Finite element exterior calculus 107
10. Preconditioning
The purpose of this section is to discuss preconditioned iterative methods
for the discrete HodgeLaplace problem. Such solvers have been consid-
ered previously for some of the PDE problems that can be derived from the
HodgeLaplace problem, but to our knowledge not in the full generality pre-
sented here. We will rst give a quick review of Krylov space iterations and
block diagonal preconditioners. Thereafter, we will illustrate how the dis-
crete Hodge decomposition enters as a fundamental tool in the construction
of the diagonal blocks of the preconditioner.
The discrete HodgeLaplace problem can be written as a linear system
Ah xh = fh , (10.1)
where the operator Ah is a self-adjoint operator from Xh = hk1 kh Hkh
onto its dual Xh and fh Xh is given. In the discussion below, we will
consider Xh = Xh as a set, but with dierent norms and inner products.
If systems of the form (10.1) are solved by an iterative method, then the
convergence of the iteration depends on the conditioning of the coecient
operator Ah . In particular, the convergence rate can be bounded by the
spectral condition number of the operator Ah , cond(Ah ), given by
sup ||
cond(Ah ) = , (10.2)
inf ||
where the supremum and inmum are taken over the spectrum of Ah . For
linear operators arising as discretization of operators such as the Hodge
Laplacian, this condition number will typically tend to innity as the mesh
parameter h tends to zero, leading to slow convergence of the iterative meth-
ods for ne triangulations Th . The standard way to overcome this problem
is to introduce preconditioners.
performed in Bramble and Pasciak (1988), and the use of triangular pre-
conditioners, as discussed in Klawonn (1998). However, here, in complete
analogy with the discussion above, we restrict the attention to block di-
agonal preconditioners, as discussed, for example, in Rusten and Winther
(1992), Silvester and Wathen (1994), Arnold, Falk and Winther (1997a),
and Bramble and Pasciak (1997).
Recall that the discrete HodgeLaplace problem takes the following form.
For a given f L2 k (), nd (h , uh ) k1
h kh such that
h , d, uh = 0, hk1 ,
(10.7)
dh , v + duh , dv = f, v, v kh .
The operators I + d d
Consider the case n = 3, and identify k-forms by their associated proxy
elds, as described in Section 2.3 above. If we consider the case k = 0, then
0 forms correspond to real-valued functions and the inner product , H
to the standard inner product of H 1 () given by
, + grad , grad .
Furthermore, I + d0 d0 corresponds to I div grad = I . Here is the
standard Laplace operator on scalar functions, and , the inner product
in L2 (). If k = 1 and , H1 () are identied with vector elds, then
, H becomes
, + curl , curl ,
and I + d1 d1 is represented by I + curl curl. For k = 2, the inner product
corresponds to
, + div , div ,
and I + d2 d2 is represented by I grad div. Finally, for k = 3 the inner
product is simply the L2 -inner product and I + d3 d3 reduces to the identity
operator.
Note that I + d0 d0 corresponds to a standard second-order elliptic dif-
ferential operator. In fact, the modern preconditioning techniques built
on space decompositions, such as domain decomposition and multigrid al-
gorithms, are tailored to operators of this form. On the other hand, the
dierential operators corresponding to I + dk dk , for k = 1 and k = 2, are
not standard second-order elliptic operators. For example, the operator
I + curl curl behaves like a second-order dierential operator on curl elds,
but degenerates to the identity on gradient elds. The operator I grad div
has similar properties. These properties just mirror the fact that the oper-
ator I + dk dk is the identity operator on Bk , but acts like a second-order
dierential operator on Zk .
It is well known that the simplest preconditioners constructed for dis-
cretizations of standard second-order elliptic operators will not work for the
operators I + curl curl and I grad div. In fact, it seems that a necessary
condition for the construction of optimal preconditioners is the existence
of proper Hodge decompositions for the discrete spaces. Early work on
this topic in two and three space dimensions can be found in Vassilevski
and Wang (1992), Hiptmair (1997, 1999b), Hiptmair and Toselli (2000) and
Arnold, Falk and Winther (1997b, 2000). Here we shall indicate how such
a construction can be carried out for general n and k using the spaces kh
introduced above.
114 D. N. Arnold, R. S. Falk and R. Winther
A two-level preconditioner
Let Th be the triangulation of used to construct the nite element space
kh . Assume further that Th is obtained from a renement of a coarser trian-
gulation Th0 , where the mesh parameter h0 > h. If kh0 is the corresponding
subspace of Hk (), constructed from the same polynomial functions as
kh , then kh0 kh . In fact, we obtain a commuting diagram of the form
d d d
0 0h 1h nh 0
0 n
h0 h0 h0
d d d
0 0h0 1h0 nh0 0,
where the projection operators kh0 are the canonical interpolation projec-
tions onto the spaces kh0 .
The inverse of the discrete operator Ah0 : kh0 kh0 , dened by (10.13)
with kh replaced by kh0 , will be used to dene the two-level preconditioner
Bh for the operator Ah . Furthermore, we will assume that the coarse mesh
Th0 is not too coarse, in the sense that there is a constant C > 0, independent
of h, such that
h0 Ch. (10.14)
The following two-level version of the dual estimate of Theorem 9.2, which
is a generalization to n dimensions of Propositions 4.3 and 4.4 of Arnold,
Falk and Winther (2000), will be useful below.
Theorem 10.1. Suppose that the domain is convex or, more generally,
1-regular (see (7.19)), and that (10.14) holds. Suppose further that kh
satises
, H = 0, kh0
Finite element exterior calculus 115
Furthermore, all the eigenvalues of BA are contained in the interval [1/c0 , 1],
where c0 is the positive constant appearing in (10.15). This is a consequence
of the theorem below, which is a two-level version of a pioneering result rst
proved in Braess and Hackbusch (1983).
Theorem 10.2. If the assumptions (10.15) and (10.16) hold, then the
two-level preconditioner B : k k dened above satises
1
0 (I BA), H 1
H , k .
c0
Proof. The left inequality follows since (10.17) implies that
(I BA), H =
(I P0 )(I RA)
2H 0.
Let (I P0 )k . To obtain the right inequality, we note that it follows
from (10.15) and the CauchySchwarz inequality that
RA, H c1
0
H .
2
(10.18)
This follows since
2H = R1/2 , R1/2 A
1/2
c0
H RA, H .
Note that the operator IRA is symmetric with respect to the inner product
, H , and as a consequence of (10.16), positive semidenite. Therefore,
we obtain from (10.18) that
(I RA)
2H =
2H (2I RA)RA, H
2H RA, H
1
1
2H .
c0
This nal inequality further implies that
1
(I RA)(I P0 )
H 1
H , k .
c0
In other words, the operator norm
(I RA)(I P0 )
L(Hk (),Hk ())
is bounded by 1 1/c0 . Hence, the corresponding norm of the adjoint
operator, (I P0 )(I RA) admits the same bound, and this is equivalent
to the lower bound.
118 D. N. Arnold, R. S. Falk and R. Winther
Schwarz smoothers
The main challenge in obtaining eective preconditioners for the discrete
operator A : k k is the construction of the smoothing operator R.
In fact, it is only in this part of the construction that the special properties
of the operator A and the discrete spaces k will enter. We will consider so
called Schwarz smoothers. These smoothers will be dened from a collection
of subspaces {kj }m k
j=1 of . We will assume that
m
k = kj
j=1
in the sense that all elements k can be written as = j j , where
j kj . The decomposition is not required to be unique. The spaces kj
should be of low dimension, independent of the triangulation Th . In fact,
frequently they are taken to be generated by a single basis function.
From the family of subspaces {kj }, we can construct two dierent smooth-
ing operators, usually referred to as the multiplicative and the additive
Schwarz smoother. The multiplicative Schwarz smoother is given by the
following algorithm. Dene R = 2m , where 0 = 0,
j = j1 Pj (j1 A1 ), j = 1, 2, . . . , m,
1
j = j1 P2m+1j (j1 A ), j = m + 1, m + 2, . . . , 2m.
Here Pj is the H-orthogonal projection onto kj . Note that if Aj is the
representation of A on kj , dened from (10.13) with k replaced by kj ,
and Qj is the L2 -orthogonal projection onto kj , then Pj A1 = A1 j Qj .
This shows that that in each step of the algorithm above, only the local
operator Aj has to be inverted.
The corresponding
additive smoother is given as a suitable scaling of the
operator Ra = m 1
j=1 j A . For simplicity, we will restrict the discussion
P
here to the multiplicative Schwarz smoother. This smoothing operator will
always satisfy the condition (10.16). In fact, it is straightforward to verify
that
(I BA), H = (I Pm ) (I P1 ), (I Pm ) (I P1 )H 0.
Furthermore, the rst condition can be veried by applying the following
result.
Theorem 10.3. Suppose that the subspaces {kj } of k satisfy the two
conditions
m 1/2 m 1/2
m
m
|i , j H | a1
i
2H
j
2H , (10.19)
i=1 j=1 i=1 j=1
Finite element exterior calculus 119
In fact, this result is also contained in Theorem 10.1. The property (10.22)
reects the fact that the elements of (I P0 )0 are highly oscillating func-
tions. However, estimate (10.21) gives
m
i
2H C1 h2
2 ,
i=1
This will typically lead to the property that a low (< 10)-dimensional linear
system has to be solved for each step of the Schwarz algorithm. We refer to
Arnold et al. (2000) for further details.
: q dx = 0, q L2 (; K),
122 D. N. Arnold, R. S. Falk and R. Winther
where (x), (x) are positive scalar coecients, the Lame coecients.
Stable nite element discretizations with reasonable computational com-
plexity based on the variational formulation (11.2) have proved very di-
cult to construct. In two space dimensions, the rst stable nite elements
with polynomial shape functions were presented in Arnold and Winther
(2002). For the lowest-order element, the approximate stress space is com-
posed of certain piecewise cubic functions, while the displacement space con-
sists of piecewise linear functions. In three dimensions, a piecewise quartic
stress space is constructed with 162 degrees of freedom on each tetrahedron
(Adams and Cockburn 2005). Another approach which has been discussed
in the two-dimensional case is the use of composite elements, in which the
approximate displacement space consists of piecewise polynomials with re-
spect to one triangulation of the domain, while the approximate stress space
consists of piecewise polynomials with respect to a dierent, more rened,
triangulation (Fraeijs de Veubeke 1965, Watwood and Hartz 1968, Johnson
and Mercier 1978, Arnold, Douglas and Gupta 1984b).
Because of the lack of suitable mixed elasticity elements that strongly
impose the symmetry of the stresses, a number of authors have developed
approximation schemes based on the weak symmetry formulation (11.3): see
Fraeijs de Veubeke (1965), Amara and Thomas (1979), Arnold, Brezzi and
Douglas (1984a), Stenberg (1986, 1988a, 1988b), Arnold and Falk (1988),
Morley (1989), Stein and Rolfes (1990) and Farhloul and Fortin (1997). Al-
though (11.2) and (11.3) are equivalent on the continuous level, an approxi-
mation scheme based on (11.3) may not produce a symmetric approximation
to the stress tensor, depending on the choices of nite element spaces.
In this section of the paper, we build on the techniques derived in the
previous sections to develop and analyse nite element approximations of
the equations of linear elasticity based on the mixed formulation (11.3)
with weak symmetry. The basic ideas rst appeared in Arnold, Falk and
Winther (2006c) in two dimensions and Arnold, Falk and Winther (2005)
in three dimensions.
In order to write (11.3) in the language of exterior calculus, we will use
the spaces of vector-valued dierential forms presented in Section 6. The do-
main is a bounded open set in Rn , V = Rn denotes its tangent space at any
point, and K = V V the space of bivectors dened in Section 2.1, which is
Finite element exterior calculus 123
This problem is well-posed in the sense that, for each f L2 n (; V), there
exists a unique solution (, u, p) Hn1 (; V)L2 n (; V)L2 n (; K),
and the solution operator is a bounded operator
L2 n (; V) Hn1 (; V) L2 n (; V) L2 n (; K).
This will follow from the general theory of such saddle point problems
(Brezzi 1974) once we establish two conditions:
(W1)
2H c1 A, whenever Hn1 (; V) satises d, v = 0
v L2 n (; V) and S, q = 0 q L2 n (; K),
(W2) for all nonzero (v, q) L2 n (; V) L2 n (; K), there exists nonzero
Hn1 (; V) with d, v S, q c2
H (
v
+
q
),
for some positive constants c1 and c2 . The rst condition is obvious (and
does not even utilize the orthogonality of S ). However, the second condi-
tion is more subtle. We will verify it in Theorem 11.1 below.
We next consider a nite element discretizations of (11.4). For this, we
choose families of nite-dimensional subspaces hn1 (V) Hn1 (; V),
nh (V) L2 n (; V), and nh (K) L2 n (; K), indexed by h, and seek the
discrete solution (h , uh , ph ) hn1 (V) nh (V) nh (K) such that
Ah , + d, uh S, ph = 0, hn1 (V),
dh , v = f, v, v nh (V), (11.5)
Sh , q = 0, q nh (K).
In analogy with the well-posedness of the problem (11.4), the stability of the
124 D. N. Arnold, R. S. Falk and R. Winther
saddle point system (11.5) will be ensured by the Brezzi stability conditions:
(S1)
2H c1 (A, ) whenever hn1 (V) satises d, v = 0
v nh (V) and S, q = 0 q nh (K),
(S2) for all nonzero (v, q) nh (V) nh (K), there exists nonzero
hn1 (V) with d, v S, q c2
H (
v
+
q
),
where now the constants c1 and c2 must be independent of h. The diculty
is, of course, to design nite element spaces satisfying these conditions.
Just as there is a close relation between the construction of stable mixed
nite element methods for the approximation of the Hodge Laplacian and
discrete versions of the de Rham complex, there is also a close relation
between mixed nite elements for linear elasticity and discretization of an
associated complex, the elasticity complex, which will be derived in the next
subsection. The importance of this complex for the stability of discretiza-
tions of elasticity was rst recognized in Arnold and Winther (2002), where
mixed methods for elasticity in two space dimensions were discussed. It
turns out that there is also a close, but nonobvious, connection between
the elasticity complex and the de Rham complex. This connection is de-
scribed in Eastwood (2000) and is related to a general construction given in
Bernsten, Gel fand and Gel fand (1975), called the BGG resolution (see also
Cap, Slovak and Soucek (2001)). In Arnold et al. (2006c) (two dimensions)
and Arnold et al. (2005) (three dimensions), we developed a discrete ver-
sion of the BGG construction, which allowed us to derive stable mixed nite
elements for elasticity in a systematic manner based on the nite element
subcomplexes of the de Rham complex described earlier. The resulting ele-
ments in both two and three space dimensions are simpler than any derived
previously. For example, as we shall see, the simple choice of P1 n1 (Th ; V)
for stress, P0 n (Th ; V) for displacement, and P0 n (Th ; K) for the multiplier
results in a stable discretization of the problem (11.5). In Figure 11.1, this
element is depicted in two dimensions with a conventional nite element
diagram that portrays the degrees of freedom on a triangle: for stress the
rst two moments of its trace on the edges, and for the displacement and
multiplier, their integrals on the triangle (two components for displacement,
one for the multiplier). Moreover, this element is the lowest order of a fam-
ily of stable elements in n dimensions utilizing Pr n1 (Th ; V) for stress,
Pr1 n (Th ; V) for displacement, and Pr1 n (Th ; K) for the multiplier.
In this section we shall basically follow the approach of Arnold et al.
(2006c) and Arnold et al. (2005), but with some simplications, and in a
manner which works in n dimensions. In Section 11.2, we show how an
elasticity complex with weakly imposed symmetry can be derived from the
de Rham complex. For the convenience of readers more familiar with the
classical notation for elasticity, in Section 11.3 we specialize to the cases
Finite element exterior calculus 125
Dene K = Kk : k (; V) k (; K) by
(K)x (v1 , . . . , vk ) = X(x) x (v1 , . . . , vk ).
where X(x) V is the vector corresponding to x as in Section 3.2. Set
S = dK Kd, or, more precisely, Sk = dk+1 Kk Kk+1 dk : k (; V)
k+1 (; K). Since d2 = 0, it follows that
dS + Sd = 0. (11.7)
Next, we dene an isomorphism = k : k (W) k (W) by
(, ) = ( + K, ),
with inverse given by
1 (, ) = ( K, ),
and an operator A = Ak : k (W) k+1 (W) by A = d1 . The
operator A has a simple form. Using the denition of , we obtain for
(, ) k (W),
A(, ) = d( K, ) = (d dK, d) = (d S, d).
By construction, A A = 0, and is a cochain isomorphism from (11.6) to
the complex
A A A
0 0 (W)
1 (W)
n (W) 0. (11.8)
Using the denition of the exterior derivative, the denition of K, and
the Leibniz rule, we obtain
k+1
(Sk )x (v1 , . . . , vk+1 ) = (1)j+1 vj x (v1 , . . . , vj , . . . , vk+1 ),
j=1
and Alt V
1
Alt V. In 3D it provides isomorphisms Alt V
1 3
R and
Alt2 V
Alt1 V.
(3) In 2D the Hodge star operation for multivectors (which in this subsec-
tion we denote ) provides an isomorphism from K R. In 3D the
isomorphism is from K V.
128 D. N. Arnold, R. S. Falk and R. Winther
dx2 dx3
dx1 .
(3) 2D: e1 e2
1 3D: e1 e2
e3 , etc.
As an example, we compute the operator V V in two dimensions which
corresponds to the map S0 : V Alt1 (V; K) after identifying the last space
with V via , , and j. Now
(S0 e1 )(v) = v e1 = [dx1 (v)e1 + dx2 (v)e2 ] e1 = e1 e2 dx2 (v),
so S0 e1 = e1 e2 dx2 . Thus, after the identications, we compute the
image of e1 as
S j
e1
0
e1 e2 dx2
dx2
dx1
e1 .
Similarly e2 e2 . Thus, modulo these isomorphisms, the map S0 is simply
the identify V V.
1 (; V)
1 (; V)
0 (; K) = C (; K),
2 (; K)
0 (; V) = C (; V).
2 (; V)
In this way, the elasticity complex becomes
(skw,div)T
0 C ()
C (; M) C (; K) C (; V) 0.
J
curl 1 curl
C (; M) C (; M) C (; M) C (; M).
We have indicated the operators corresponding to the two occurrences of d1 .
As is easy to check, they are both occurrences of the tensor curl, f ei
curl f ei for any smooth vector eld f . We have also denoted the operator
corresponding to S1 , namely j S1 j 1 , by . We now compute using a
basis. Since
S1 (e1 dx1 )(v, w) = v e1 dx1 (w) w e1 dx1 (v)
= e2 e1 dx2 (v)dx1 (w) + e3 e1 dx3 (v)dx1 (w)
e2 e1 dx2 (w)dx1 (v) e3 e1 dx3 (w)dx1 (v)
= (e1 e2 dx1 dx2 + e1 e3 dx1 dx3 )(v, w),
we have
S1 (e1 dx1 ) = e1 e2 dx1 dx2 + e1 e3 dx1 dx3 .
A similar computation gives
S1 (e1 dx2 ) = e1 e3 dx2 dx3 .
Thus (e1 e1 ) is the composition
j 1 S
e1 e1
e1 dx1
1
e1 e2 dx1 dx2 + e1 e3 dx1 dx3
j
e3 dx3 + e2 dx2
e2 e2 + e3 e3 ,
and (e2 e1 ) = e1 e2 . Since similar expressions apply to the other
basis functions, we nd that
(ei ej ) = ij ek ek ej ei
k
Finite element exterior calculus 131
0 C
C (; S) C (; V) 0,
J div
(11.13)
where S M is the space of symmetric tensors. The complex (11.13) can
be obtained from the complex (11.13) by performing a projection step. To
see this, consider the diagram
J (skw,div)T
0C () C (; M) C (; K) C (; V) 0
sym
id
J div
0C () C (; S) C (; V) 0,
(q, u) = u div q. The vertical maps are projections onto subspaces and
the diagram commutes, so dene a cochain projection, and therefore induce
a surjection on cohomology. The connection between the two versions of
the elasticity complex is explored in more detail in Arnold et al. (2006c),
but will not be pursued here.
The corresponding elasticity complex in three dimensions with strongly
imposed symmetry of the stress tensor is given by
0 C (; V)
C (; S)
C (; S) C (; V) 0,
J div
(11.14)
where u is the symmetric part of grad u for a vector eld u. If we were to
follow the program outlined previously for mixed methods for the Poisson
equation, the construction of stable mixed nite elements for elasticity for
strong symmetry would be based on extending the sequence (11.13) to a
complete commuting diagram of the form
J div
0C () C (; S) C (; V) 0
h h h (11.15)
J div
0 Wh h Vh 0,
where Wh H 2 (),h H(div, ; S) and Vh L2 (; V)
are suitable
0
nite element spaces and the h are corresponding projection operators
dening a cochain projection. This is exactly the construction performed in
Arnold and Winther (2002) in two dimensions. In particular, since the nite
element space Wh is required to be a subspace of H 2 () (the natural domain
132 D. N. Arnold, R. S. Falk and R. Winther
of J), we can conclude that the nite element space Wh must contain quintic
polynomials, and therefore the lowest-order space h will at least involve
piecewise cubics. In fact, for the lowest-order elements discussed in Arnold
and Winther (2002), Wh is the classical Argyris space, while h consists of
piecewise cubic symmetric tensor elds with a linear divergence.
The analogous approach in three dimensions would be based on develop-
ing nite element spaces approximating the spaces in the complex (11.14)
and embedding (11.14) as the top row of a commuting diagram analogous
to (11.15), with a corresponding nite element complex as the bottom row.
However, as mentioned previously, when the symmetry constraint is en-
forced pointwise on the discrete stress space, this construction leads to in-
tricate nite elements of high-order. In this paper, we instead pursue an
approach based on the weak symmetry formulation.
for kh (K) kh (V). In analogy with (11.6), we start with the complex
d 0 d 0 d 0
0 d 0 d 0 d
0 0h (W) 1h (W) nh (W) 0. (11.17)
Since kh may not equal kh , the operator K may not map kh (K) into
kh (V).So we dene Kh : kh (V) kh (K) by Kh = h K where h is the
given projection operator onto kh (K).
Next we dene Sh = Sk,h : kh (V) k+1 h (K) by Sh = dKh Kh d, for
k = 0, 1, . . . , n 1. Observe that the discrete version of (11.7),
dSh = Sh d (11.18)
follows (exactly as in the continuous case) from d2 = 0. From the commu-
tative diagram (11.16), we see that
Sh = dh K h Kd = h (dK Kd) = h S.
Continuing to mimic the continuous case, we dene the automorphism h
on kh (W) by
h (, ) = ( + Kh , ),
1
and the operator Ah : kh (W) k+1
h (W) by Ah = h dh , which leads to
Ah (, ) = (d Sh , d).
Inserting the isomorphisms h into (11.17), we obtain the isomorphic com-
plex
h A h h A A
0 0h (W) 1h (W) nh (W) 0. (11.19)
As in the continuous case, the discrete elasticity complex will be realized
as a subcomplex of this complex. We dene
hn2 = { (, ) hn2 (W) | d = Sn2,h },
hn1 = { (, ) hn1 (W) | = 0 }.
Again, Ah maps hn2 (W) into hn2 and hn2 into hn1 , so that
A
h h A h h A h A A
0 0h (W) hn3 (W) hn2 hn1 nh (W) 0
is indeed a subcomplex of (11.19).
As in the continuous case, we could identify hn1 with hn1 (V), but,
unlike in the continuous case, we cannot identify hn2 with hn2 (K), since
we do not require that Sn2,h be invertible (and it is in fact not invertible in
the applications). However, we saw in the proof of Theorem 11.1 that the
decisive property of Sn2 is that it be surjective, and surjectivity of Sn2,h
is what we shall require in order to derive a cochain projection and obtain
the analogue of the diagram (11.9). Thus we make the following surjectivity
assumption.
Finite element exterior calculus 135
Surjectivity assumption.
The operator Sn2,h maps hn2 (V) onto hn1 (K). (11.20)
Proof. Note that the second statement easily follows from the rst, since
hn1 and Sn2 are both surjective.
For the proof, we dene the operator K : k (; K) k (; V) by
K = K , k (; V), j (; K).
and
Kd = d K = d( K ) (1)k dK .
S = , k (; K)
Trf (Sn2 ) = 0
f
11.6. The main stability result for mixed nite elements for elasticity
We show in this subsection that the choices
hn1 (V) = Pr+1 n1 (Th ; V),
nh (V) = Pr n (Th ; V), (11.24)
nh (K) = Pr n (Th ; K),
give a stable nite element discretization of the system (11.5).
The rst stability condition (S1) is obvious since, by construction,
dPr+1 n1 (Th ; V) Pr n (Th ; V).
The condition (S2) is more subtle. Our proof is inspired by the proof of
the well-posedness result, Theorem 11.1, but involves a variety of projec-
tions from the continuous to the nite element spaces, and keeping track
of norms. A technical diculty arises because the canonical projection
hn2 : n2 (; V) Pr+2 n2 (Th ; V) is not bounded on H 1 , since its
denition involves traces on subsimplices of codimension 2. On the other
hand, we cannot use the smoothed projection operators introduced in Sec-
tion 5.4, because these do not preserve the moments of traces on faces of
codimension 0 and 1, which were required in the previous theorem to prove
that hn1 Sn2 hn2 = hn1 Sn2 . Hence we introduce a new operator,
Ph : n2 (; V) Pr+2 n2 (Th ; V). Namely, as for the canonical projec-
tion, Ph is dened in terms of the degrees of freedom in (5.2), but it is
taken to be the element of Pr+2 n2 (Th ; V) with the same moments as
138 D. N. Arnold, R. S. Falk and R. Winther
We can now state the main stability result, following the outline of The-
orem 11.1.
Proof.
(1) By Theorem 2.4, we can nd H 1 n1 (; V) with d = and
1 c
.
(2) Since + nh Sn1 hn1 Hn (; K), we can apply Theorem 2.4 a
second time to nd H 1 n1 (; K) with d = + nh Sn1 hn1
and
1 c(
+
nh Sn1 hn1
).
(3) Since Sn2 is an isomorphism from H 1 n2 (; V) to H 1 n1 (; K),
we have H 1 n2 (; V) with Sn2 = , and
1 c
1 .
(4) Dene = dPh + hn1 Pr+1 n1 (Th ; V).
(5) From step (4), (11.25), step (1), and the fact that nh is a projection,
we have
d = dhn1 = nh d = nh = .
(6) From step (4),
nh Sn1 = nh Sn1 dPh nh Sn1 hn1 .
Applying, in order, (11.7), (11.25), (11.26), step (3), (11.25), step (2),
and the fact that nh is a projection, we obtain
nh Sn1 dPh = nh dSn2 Ph = dhn1 Sn2 Ph
= dhn1 Sn2 = dhn1 = nh d
= nh ( + nh Sn1 hn1 ) = nh Sn1 hn1 .
Combining, we have nh Sn1 = .
(7) Finally, we prove the norm bound. From (11.27), the boundedness of
Sn1 in L2 , (11.28), and step (1),
nh Sn1 hn1
c
Sn1 hn1
c
hn1
c
1 c
.
Combining with the bounds in steps (3) and (2), this gives
1
c(
+
). From (11.29), we then have
dPh
c(
+
).
From (11.28) and the bound in step (1),
hn1
c
1 c
. In
view of the denition of , these two last bounds imply that
c(
+
), while
d
=
, and thus we have the desired bound
(11.30).
We have thus veried the stability conditions (S1) and (S2), and so may
apply the standard theory of mixed methods (see Brezzi (1974), Brezzi and
Fortin (1991), Douglas and Roberts (1985), Falk and Osborn (1980)) and
standard results about approximation by nite element spaces to obtain
convergence and error estimates.
140 D. N. Arnold, R. S. Falk and R. Winther
d( h ) Chr+1 d r+1 .
: q dx = 0, q L2 (; K),
u t dx = 0, t T,
where
H(div, ; M) = { H(div, ; M) : n = 0 on }.
We shall show below that this problem is well-posed.
To restate this in the language of dierential forms we introduce T
=
T P1 n (; V). The problem then takes the form: given f L2 n (; V),
Finite element exterior calculus 141
nd (, u, p, s) Hn1 (; V) L2 n (; V) L2 n (; K) T
such that
= 0, = K.
Indeed, the rst equation (n constraints) follows immediately from the equa-
tion d = and Stokes theorem, while
= (Kd dK) = Kd = K.
Our next goal is to prove the well-posedness of (11.31). But rst we prove
a useful lemma.
Lemma 11.6. Given a V and b K, there exists a unique s T such
that s = a, Ks = b.
Since dim T = dim V + dim K, it is enough to show that if s
Proof.
s= , Ks = (K + ).
By the lemma, this determines s.
(1) By Theorem 2.4, we can nd H 1 n1 (; V) with d = s.
(2) Now + Sn1 Hn (; K) and has vanishing integral, since
Sn1 = Kd = K( s) = .
Taking v = s in the rst equation, applying the lemma, and then the second
equation, we conclude that s = 0. Then we take v = d and conclude that
d = 0, so the bound in (S1 ) holds.
The proof of the second stability condition is very much as in the case
of Dirichlet boundary conditions, with the minor extra complications which
we have already seen in the continuous case in Theorem 11.7, so we just
sketch the proof.
Theorem 11.9. Given (, ) Pr n (Th ; K) Pr n (Th ; V), there exists
Pr+1 n1 (Th ; V) and s T
such that
d + s = , nh Sn1 = ,
and
H +
s
c(
+
),
where the constant c is independent of , and h.
Proof. First dene s and as in steps (0) and (1) of Theorem 11.7. Note
that
( + h Sn1 h ) = ( Kdh ) =
n n1 n1
K nh ( s)
= K( s) = 0.
n
s= , K h s = (K + ).
The existence of such an s follows from a variant of Lemma 11.6 which
replaces Ks by K nh s. The variant lemma can be proved using the identity
146 D. N. Arnold, R. S. Falk and R. Winther
P1 n1 (Th ; K) P0 n (Th ; K) 0,
d
(11.37)
P2 n2 (Th ; V) P1 n1 (Th ; V) P0 n (Th ; V) 0.
d d
However, if we examine the proof of Theorem 11.2, we see that the only
degrees of freedom that are used for an element P2 n2 (T ; V) are the
subset of the n1 (T ) face degrees of freedom given by
, K,
f
, P0 1 (f ; V), f n1 (T ).
f
= 0, P0 1sym (f ; V),
f
i.e., we have set the unused degrees of freedom to be zero. The space
P2, 2h (V) can then be dened from the local spaces in the usual way. The
degrees of freedom for this space are then given by
, P1 0 (f ; V), f n2 (T ),
f
, P0 1skw (f ; V), f n1 (T ).
f
When n = 3, the space P2, 1 (T ; V) will have 48 degrees of freedom (36
edge degrees of freedom and 12 face degrees of freedom).
The motivation for this choice of the space P2, hn2 (V) is that it easily
leads to a denition of the space P1, hn1 (V) that satises the property
that (11.38) is a complex. We begin by dening
P1, n1 (T ; V) = P1 n1 (T ; V) + dP2,f,
n2 (T ; V).
When n = 3, this space will have 24 face degrees of freedom. The space
P1, hn1 (V) is then dened from the local spaces in the usual way. It is
clear that P1 hn1 (V) P1, hn1 (V) and easy to check that the complex
(11.38) is exact.
We dene appropriate degrees of freedom for the space P1, n1 (T ; V) by
using a subset of the degrees of freedom for P1 n1 (T ; V), i.e., of f ,
P1 0 (f ; V), f n1 (T ). In particular, we take as degrees of freedom
for P1, n1 (T ; V),
, P1,skw 0 (f ; V), f n1 (T ),
f
(x s)n F n df,
T
[(x t)sT (x s)tT ]F n df.
f f
Acknowledgements
This work beneted substantially from the facilities and programming pro-
vided by the Institute for Mathematics and its Applications (IMA) at the
University of Minnesota and by the Centre of Mathematics for Applications
(CMA) at the University of Oslo. The workshop entitled Compatible Spatial
Discretizations for Partial Dierential Equations held in May 2004 at the
IMA and the subsequent workshop entitled Compatible Discretizations for
Partial Dierential Equations held at the CMA in September 2005, were
particularly important to the development of this eld and this paper. We
are grateful to the participants of these workshops for valuable discussions
and presentations. We particularly acknowledge the help of Daniele Bo,
Snorre Christiansen and Joachim Schoberl, whose presentations at the work-
shops and subsequent discussions have inuenced the presentations of parts
of the paper. The rst author is also grateful to Victor Reiner for his expla-
nations of the representation theory used to characterize the ane-invariant
spaces of polynomial dierential form. We also gratefully acknowledge the
support of this work by the National Science Foundation of the United
States and the Norwegian Research Council.
REFERENCES
S. Adams and B. Cockburn (2005), A mixed nite element method for elasticity
in three dimensions, J. Sci. Comput. 25, 515521.
M. Ainsworth and J. Coyle (2003), Hierarchic nite element bases on unstructured
tetrahedral meshes, Internat. J. Numer. Methods Engrg. 58, 21032130.
M. Amara and J. M. Thomas (1979), Equilibrium nite elements for the linear
elastic problem, Numer. Math. 33, 367383.
C. Amrouche, C. Bernardi, M. Dauge and V. Girault (1998), Vector potentials in
three-dimensional non-smooth domains, Math. Methods Appl. Sci. 21, 823
864.
150 D. N. Arnold, R. S. Falk and R. Winther
M. E. Morley (1989), A family of mixed nite elements for linear elasticity, Numer.
Math. 55, 633666.
J.-C. Nedelec (1980), Mixed nite elements in R3 , Numer. Math. 35, 315341.
J.-C. Nedelec (1986), A new family of mixed nite elements in R3 , Numer. Math.
50, 5781.
R. A. Nicolaides and K. A. Trapp (2006), Covolume discretization of dierential
forms, in Compatible Spatial Discretizations, Vol. 142 of The IMA Volumes
in Mathematics and its Applications, Springer, Berlin, pp. 89119.
J. E. Osborn (1979), Eigenvalue approximation by mixed methods, in Advances
in Computer Methods for Partial Dierential Equations III (Proc. Third
IMACS Internat. Sympos., Lehigh Univ., Bethlehem, PA, 1979), IMACS,
New Brunswick, NJ, pp. 158161.
R. Picard (1984), An elementary proof for a compact imbedding result in gener-
alized electromagnetic theory, Math. Z. 187, 151164.
P.-A. Raviart and J. M. Thomas (1977), A mixed nite element method for 2nd
order elliptic problems, in Mathematical Aspects of Finite Element Methods
(Proc. Conf. CNR, Rome, 1975), Vol. 606 of Lecture Notes in Mathematics,
Springer, Berlin, pp. 292315.
T. Rusten and R. Winther (1992), A preconditioned iterative method for sad-
dlepoint problems, SIAM J. Matrix Anal. Appl. 13, 887904. Special issue
on Iterative Methods in Numerical Linear Algebra (Copper Mountain, CO,
1990).
J. Schoberl (2005), A posteriori error estimates for Maxwell equations. RICAM
Report No. 2005-10.
D. Silvester and A. Wathen (1994), Fast iterative solution of stabilised Stokes
systems II: Using general block preconditioners, SIAM J. Numer. Anal.
31, 13521367.
B. F. Smith, P. E. Bjrstad and W. D. Gropp (1996), Domain Decomposition: Par-
allel Multilevel Methods for Elliptic Partial Dierential Equations, Cambridge
University Press, Cambridge.
E. Stein and R. Rolfes (1990), Mechanical conditions for stability and optimal con-
vergence of mixed nite elements for linear plane elasticity, Comput. Methods
Appl. Mech. Engrg. 84, 7795.
R. Stenberg (1986), On the construction of optimal mixed nite element methods
for the linear elasticity problem, Numer. Math. 48, 447462.
R. Stenberg (1988a), A family of mixed nite elements for the elasticity problem,
Numer. Math. 53, 513538.
R. Stenberg (1988b), Two low-order mixed methods for the elasticity problem, in
The Mathematics of Finite Elements and Applications VI (Uxbridge, 1987),
Academic Press, London, pp. 271280.
M. E. Taylor (1996), Partial Dierential Equations I: Basic Theory, Vol. 115 of
Applied Mathematical Sciences, Springer, New York.
P. S. Vassilevski and J. P. Wang (1992), Multilevel iterative methods for mixed
nite element discretizations of elliptic problems, Numer. Math. 63, 503520.
V. B. Watwood, Jr. and B. J. Hartz (1968), An equilibrium stress eld model for
nite element solution of two-dimensional elastostatic problems, Internat. J.
Solids Structures 4, 857873.
Finite element exterior calculus 155
J. P. Webb (1999), Hierarchal vector basis functions of arbitrary order for triangu-
lar and tetrahedral nite elements, IEEE Trans. Antennas and Propagation
47, 12441253.
H. Whitney (1957), Geometric Integration Theory, Princeton University Press,
Princeton, NJ.
J. Xu (1992), Iterative methods by space decomposition and subspace correction,
SIAM Rev. 34, 581613.