Finite element exterior calculus (FEEC) is a mathematical framework that formulates finite element methods using chain complexes. Its main application has been a comprehensive theory for finite element methods in computational electromagnetism, computational solid and fluid mechanics. FEEC was developed in the early 2000s by Douglas N. Arnold, Richard S. Falk and Ragnar Winther,
[1][2][3]
among others.
[4][5][6][7][8][9][10][11][12]
Finite element exterior calculus is sometimes called as an example of a compatible discretization technique, and bears similarities with discrete exterior calculus, although they are distinct theories.
One starts with the recognition that the used differential operators are often part of complexes: successive application results in zero. Then, the phrasing of the differential operators of relevant differential equations and relevant boundary conditions as a Hodge Laplacian. The Hodge Laplacian terms are split using the Hodge decomposition. A related variational saddle-point formulation for mixed quantities is then generated. Discretization to a mesh-related subcomplex is done requiring a collection of projection operators which commute with the differential operators. One can then prove uniqueness and optimal convergence as function of mesh density.
FEEC is of immediate relevancy for diffusion, elasticity, electromagnetism, Stokes flow.
For the important de Rham complex, pertaining to the grad, curl and div operators, suitable family of elements have been generated not only for tetrahedrons, but also for other shaped elements such as bricks. Moreover, also conforming with them, prism and pyramid shaped elements have been generated. For the latter, uniquely, the shape functions are not polynomial. The quantities are 0-forms (scalars), 1-forms (gradients), 2-forms (fluxes), and 3-forms (densities).[13] Diffusion, electromagnetism, and elasticity,[14] Stokes flow,[15] general relatively, and actually all known complexes,[16] can all be phrased in terms the de Rham complex. For Navier-Stokes, there may be possibilities too.[17][18]
^Arnold, Douglas N., Richard S. Falk, and Ragnar Winther. "Finite element exterior calculus, homological techniques, and applications." Acta numerica 15 (2006): 1-155.
^Arnold, Douglas, Richard Falk, and Ragnar Winther. "Finite element exterior calculus: from Hodge theory to numerical stability." Bulletin of the American mathematical society 47.2 (2010): 281-354.
^Arnold, Douglas N. (2018). Finite Element Exterior Calculus. SIAM. ISBN 978-1-611975-53-6.
^Alan Demlow and Anil Hirani, A posteriori error estimates for finite element exterior calculus: The de Rham complex, Found. Comput. Math. 14 (2014), 1337-1371.
^Christiansen, Snorre, and Ragnar Winther. "Smoothed projections in finite element exterior calculus." Mathematics of Computation 77.262 (2008): 813-829.
^Christiansen, Snorre, and Francesca Rapetti. "On high order finite element spaces of differential forms." Mathematics of Computation 85.298 (2016): 517-548.
^Holst, Michael, Adam Mihalik, and Ryan Szypowski. "Convergence and optimality of adaptive methods in the finite element exterior calculus framework." arXiv preprint arXiv:1306.1886 (2013).
^Holst, Michael, and Ari Stern. "Geometric variational crimes: Hilbert complexes, finite element exterior calculus, and problems on hypersurfaces." Foundations of Computational Mathematics 12.3 (2012): 263-293.
^Hiptmair, Ralf. "Canonical construction of finite elements." Mathematics of Computation of the American Mathematical Society 68.228 (1999): 1325-1346.
^Hiptmair, Ralf. "Finite elements in computational electromagnetism." Acta Numerica 11 (2002): 237-339.
^Kirby, Robert C. "Low-complexity finite element algorithms for the de Rham complex on simplices Archived 2019-06-07 at the Wayback Machine." SIAM Journal on Scientific Computing 36.2 (2014): A846-A868.
^Licht, Martin Werner. On the A Priori and A Posteriori Error Analysis in Finite Element Exterior Calculus. Diss. Dissertation, Department of Mathematics, University of Oslo, Norway, 2017.
^Cockburn, Bernardo; Fu, Guosheng (2017-01-01). "A Systematic Construction of Finite Element Commuting Exact Sequences". SIAM Journal on Numerical Analysis. 55 (4): 1650–1688. arXiv:1605.00132. doi:10.1137/16M1073352. ISSN 0036-1429. S2CID 38216995.
^Arnold, Douglas N.; Falk, Richard S.; Winther, Ragnar (2007-10-01). "Mixed finite element methods for linear elasticity with weakly imposed symmetry". Mathematics of Computation. 76 (260): 1699–1724. arXiv:math/0701506. Bibcode:2007MaCom..76.1699A. doi:10.1090/S0025-5718-07-01998-9.
^Falk, Richard S.; Neilan, Michael (2013-01-01). "Stokes Complexes and the Construction of Stable Finite Elements with Pointwise Mass Conservation". SIAM Journal on Numerical Analysis. 51 (2): 1308–1326. CiteSeerX 10.1.1.294.9104. doi:10.1137/120888132. ISSN 0036-1429.
^"Finite element exterior calculus - 4 | Isaac Newton Institute for Mathematical Sciences". www.newton.ac.uk. 5 March 2021. Retrieved 2021-03-16.
^Fang, Shizan (2020-03-01). "Nash Embedding, Shape Operator and Navier-Stokes Equation on a Riemannian Manifold". Acta Mathematicae Applicatae Sinica, English Series. 36 (2): 237–252. arXiv:1907.13519. doi:10.1007/s10255-020-0928-1. ISSN 1618-3932. S2CID 199000940.
^Samavaki, Maryam; Tuomela, Jukka (2020-02-01). "Navier–Stokes equations on Riemannian manifolds". Journal of Geometry and Physics. 148: 103543. arXiv:1812.09015. Bibcode:2020JGP...14803543S. doi:10.1016/j.geomphys.2019.103543. ISSN 0393-0440. S2CID 119133831.
and 25 Related for: Finite element exterior calculus information
mathematics, the discrete exteriorcalculus (DEC) is the extension of the exteriorcalculus to discrete spaces including graphs, finiteelement meshes, and lately...
make sense for any n. Exterior covariant derivative de Rham complex Finiteelementexteriorcalculus Discrete exteriorcalculus Green's theorem Lie derivative...
algebraic properties of the exterior algebra of finite-dimensional vector bundles and those of the exterior algebra of finitely generated projective modules...
6: Exterior algebra and differential calculus", Functions of Several Variables, Addison-Wesley, pp. 205–238. This textbook in multivariate calculus introduces...
Discrete calculus or the calculus of discrete functions, is the mathematical study of incremental change, in the same way that geometry is the study of...
dynamical systems, and discrete vector measures. In discrete calculus and the calculus of finite differences, a function defined on an interval of the integers...
In mathematics, matrix calculus is a specialized notation for doing multivariable calculus, especially over spaces of matrices. It collects the various...
product, vector calculus does not generalize to higher dimensions, but the alternative approach of geometric algebra, which uses the exterior product, does...
of computing an integral, is one of the two fundamental operations of calculus, the other being differentiation. Integration was initially used to solve...
finite, infinite, or even uncountable. Example 2. The empty set and X. This two-element algebra shows that a concrete Boolean algebra can be finite even...
Probability theory or probability calculus is the branch of mathematics concerned with probability. Although there are several different probability interpretations...
Stochastic calculus is a branch of mathematics that operates on stochastic processes. It allows a consistent theory of integration to be defined for integrals...
through the notion of a universal property, as done below. When V is a finite-dimensional real vector space and Q is nondegenerate, Cl(V, Q) may be identified...
Multivariable calculus (also known as multivariate calculus) is the extension of calculus in one variable to calculus with functions of several variables:...
context of real and complex numbers and functions. Analysis evolved from calculus, which involves the elementary concepts and techniques of analysis. Analysis...
family of techniques using calculus of variations to solve problems in Einstein's general theory of relativity; Finiteelement method is a variational method...
develop a calculus for differentiable manifolds. This leads to such mathematical machinery as the exteriorcalculus. The study of calculus on differentiable...
if the index set of a stochastic process has a finite or countable number of elements, such as a finite set of numbers, the set of integers, or the natural...
Elwin Bruno Christoffel, and others – as part of the absolute differential calculus. The concept enabled an alternative formulation of the intrinsic differential...
Hodge star operator or Hodge star is a linear map defined on the exterior algebra of a finite-dimensional oriented vector space endowed with a nondegenerate...
In mathematics, geometric calculus extends the geometric algebra to include differentiation and integration. The formalism is powerful and can be shown...
information systems rather than differential calculus to describe material systems. The theory of the finite-state transducer was developed under different...