On the consistency of the combinatorial codifferential
HTML articles powered by AMS MathViewer
- by Douglas N. Arnold, Richard S. Falk, Johnny Guzmán and Gantumur Tsogtgerel PDF
- Trans. Amer. Math. Soc. 366 (2014), 5487-5502 Request permission
Abstract:
In 1976, Dodziuk and Patodi employed Whitney forms to define a combinatorial codifferential operator on cochains, and they raised the question whether it is consistent in the sense that for a smooth enough differential form the combinatorial codifferential of the associated cochain converges to the exterior codifferential of the form as the triangulation is refined. In 1991, Smits proved this to be the case for the combinatorial codifferential applied to $1$-forms in two dimensions under the additional assumption that the initial triangulation is refined in a completely regular fashion, by dividing each triangle into four similar triangles. In this paper we extend the result of Smits to arbitrary dimensions, showing that the combinatorial codifferential on $1$-forms is consistent if the triangulations are uniform or piecewise uniform in a certain precise sense. We also show that this restriction on the triangulations is needed, giving a counterexample in which a different regular refinement procedure, namely Whitney’s standard subdivision, is used. Further, we show by numerical example that for $2$-forms in three dimensions, the combinatorial codifferential is not consistent, even for the most regular subdivision process.References
- Douglas N. Arnold, Richard S. Falk, and Ragnar Winther, Finite element exterior calculus: from Hodge theory to numerical stability, Bull. Amer. Math. Soc. (N.S.) 47 (2010), no. 2, 281–354. MR 2594630, DOI 10.1090/S0273-0979-10-01278-4
- Jan Brandts and Michal Křížek, Gradient superconvergence on uniform simplicial partitions of polytopes, IMA J. Numer. Anal. 23 (2003), no. 3, 489–505. MR 1987941, DOI 10.1093/imanum/23.3.489
- Jozef Dodziuk, Finite-difference approach to the Hodge theory of harmonic forms, Amer. J. Math. 98 (1976), no. 1, 79–104. MR 407872, DOI 10.2307/2373615
- J. Dodziuk and V. K. Patodi, Riemannian structures and triangulations of manifolds, J. Indian Math. Soc. (N.S.) 40 (1976), no. 1-4, 1–52 (1977). MR 488179
- Ricardo Durán, María Amelia Muschietti, and Rodolfo Rodríguez, On the asymptotic exactness of error estimators for linear triangular finite elements, Numer. Math. 59 (1991), no. 2, 107–127. MR 1106377, DOI 10.1007/BF01385773
- Anders Logg, Kent-Andre Mardal, Garth N. Wells, et al., Automated solution of differential equations by the finite element method, Springer, 2012.
- Lieven Smits, Combinatorial approximation to the divergence of one-forms on surfaces, Israel J. Math. 75 (1991), no. 2-3, 257–271. MR 1164593, DOI 10.1007/BF02776027
- Hassler Whitney, Geometric integration theory, Princeton University Press, Princeton, N. J., 1957. MR 0087148, DOI 10.1515/9781400877577
Additional Information
- Douglas N. Arnold
- Affiliation: School of Mathematics, University of Minnesota, Minneapolis, Minnesota 55455
- MR Author ID: 27240
- Email: arnold@umn.edu
- Richard S. Falk
- Affiliation: Department of Mathematics, Rutgers University, Piscataway, New Jersey 08854
- Email: falk@math.rutgers.edu
- Johnny Guzmán
- Affiliation: Division of Applied Mathematics, Brown University, Providence, Rhode Island 02912
- MR Author ID: 775211
- Email: johnny_guzman@brown.edu
- Gantumur Tsogtgerel
- Affiliation: Department of Mathematics and Statistics, McGill University, Montreal, Quebec, Canada H3A 0B9
- Email: gantumur@math.mcgill.ca
- Received by editor(s): December 18, 2012
- Published electronically: February 26, 2014
- Additional Notes: The work of the first author was supported by NSF grant DMS-1115291.
The work of the second author was supported by NSF grant DMS-0910540.
The work of the fourth author was supported by an NSERC Discovery Grant and an FQRNT Nouveaux Chercheurs Grant. - © Copyright 2014
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Trans. Amer. Math. Soc. 366 (2014), 5487-5502
- MSC (2010): Primary 58A10, 65N30; Secondary 39A12, 57Q55, 58A14
- DOI: https://doi.org/10.1090/S0002-9947-2014-06134-5
- MathSciNet review: 3240931