In 1976, Dodziuk and Patodi employed Whitney forms to dene a combinatorial codierential operator on cochains, and they raised the ques- tion whether it is consistent in the sense that for a smooth enough dierential form the combinatorial codierential of the associated cochain converges to the exterior codierential of the form as the triangulation is rened. In 1991, Smits proved this to be the case for the combinatorial codierential applied to 1-forms in two dimensions under the additional assumption that the ini- tial triangulation is rened in a completely regular fashion, by dividing each triangle into four similar triangles. In this paper we extend Smits's result to arbitrary dimensions, showing that the combinatorial codierential on 1-forms is consistent if the triangulations are uniform or piecewise uniform in a cer- tain precise sense. We also show that this restriction on the triangulations is needed, giving a counterexample in which a dierent regular renement pro- cedure, namely Whitney's standard subdivision, is used. Further, we show by numerical example that for 2-forms in three dimensions, the combinatorial codierential is not consistent even for the most regular subdivision process.
[1]
H. Whitney.
Geometric Integration Theory
,
1957
.
[2]
Ricardo G. Durán,et al.
On the asymptotic exactness of error estimators for linear triangular finite elements
,
1991
.
[3]
J. Dodziuk.
Finite-difference approach to the Hodge theory of harmonic forms
,
1976
.
[4]
Anders Logg,et al.
Automated Solution of Differential Equations by the Finite Element Method: The FEniCS Book
,
2012
.
[5]
V. K. Patodi,et al.
Riemannian Structures and Triangulations of Manifold
,
1976
.
[6]
Michal Krizek,et al.
Gradient superconvergence on uniform simplicial partitions of polytopes
,
2003
.
[7]
Combinatorial approximation to the divergence of one-forms on surfaces
,
1991
.
[8]
V. K. Patodi.
Riemannian Structures and Triangulations of Manifolds
,
2010
.
[9]
D. Arnold,et al.
Finite element exterior calculus: From hodge theory to numerical stability
,
2009,
0906.4325.