Finite element exterior calculus

Last updated

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 relativity, 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]

Related Research Articles

On a differentiable manifold, the exterior derivative extends the concept of the differential of a function to differential forms of higher degree. The exterior derivative was first described in its current form by Élie Cartan in 1899. The resulting calculus, known as exterior calculus, allows for a natural, metric-independent generalization of Stokes' theorem, Gauss's theorem, and Green's theorem from vector calculus.

de Rham cohomology Cohomology with real coefficients computed using differential forms

In mathematics, de Rham cohomology is a tool belonging both to algebraic topology and to differential topology, capable of expressing basic topological information about smooth manifolds in a form particularly adapted to computation and the concrete representation of cohomology classes. It is a cohomology theory based on the existence of differential forms with prescribed properties.

Multilinear algebra is the study of functions with multiple vector-valued arguments, with the functions being linear maps with respect to each argument. It involves concepts such as matrices, tensors, multivectors, systems of linear equations, higher-dimensional spaces, determinants, inner and outer products, and dual spaces. It is a mathematical tool used in engineering, machine learning, physics, and mathematics.

In mathematics, Hodge theory, named after W. V. D. Hodge, is a method for studying the cohomology groups of a smooth manifold M using partial differential equations. The key observation is that, given a Riemannian metric on M, every cohomology class has a canonical representative, a differential form that vanishes under the Laplacian operator of the metric. Such forms are called harmonic.

Numerical methods for partial differential equations is the branch of numerical analysis that studies the numerical solution of partial differential equations (PDEs).

The boundary element method (BEM) is a numerical computational method of solving linear partial differential equations which have been formulated as integral equations, including fluid mechanics, acoustics, electromagnetics, fracture mechanics, and contact mechanics.

In mathematics, a complex differential form is a differential form on a manifold which is permitted to have complex coefficients.

In mathematics, secondary calculus is a proposed expansion of classical differential calculus on manifolds, to the "space" of solutions of a (nonlinear) partial differential equation. It is a sophisticated theory at the level of jet spaces and employing algebraic methods.

In mathematics, the discrete exterior calculus (DEC) is the extension of the exterior calculus to discrete spaces including graphs, finite element meshes, and lately also general polygonal meshes. DEC methods have proved to be very powerful in improving and analyzing finite element methods: for instance, DEC-based methods allow the use of highly non-uniform meshes to obtain accurate results. Non-uniform meshes are advantageous because they allow the use of large elements where the process to be simulated is relatively simple, as opposed to a fine resolution where the process may be complicated, while using less computational power than if a uniformly fine mesh were used.

Ivo M. Babuška was a Czech-American mathematician, noted for his studies of the finite element method and the proof of the Babuška–Lax–Milgram theorem in partial differential equations. One of the celebrated result in the finite elements is the so-called Ladyzenskaja–Babuška–Brezzi (LBB) condition, which provides sufficient conditions for a stable mixed formulation. The LBB condition has guided mathematicians and engineers to develop state-of-the-art formulations for many technologically important problems like Darcy flow, Stokes flow, incompressible Navier–Stokes, and nearly incompressible elasticity.

<span class="mw-page-title-main">Gauss's law for magnetism</span> Foundational law of classical magnetism

In physics, Gauss's law for magnetism is one of the four Maxwell's equations that underlie classical electrodynamics. It states that the magnetic field B has divergence equal to zero, in other words, that it is a solenoidal vector field. It is equivalent to the statement that magnetic monopoles do not exist. Rather than "magnetic charges", the basic entity for magnetism is the magnetic dipole.

<span class="mw-page-title-main">Finite element method</span> Numerical method for solving physical or engineering problems

The finite element method (FEM) is a popular method for numerically solving differential equations arising in engineering and mathematical modeling. Typical problem areas of interest include the traditional fields of structural analysis, heat transfer, fluid flow, mass transport, and electromagnetic potential. Computers are usually used to perform the calculations required. With high-speed supercomputers, better solutions can be achieved, and are often required to solve the largest and most complex problems.

Douglas Norman "Doug" Arnold is a mathematician whose research focuses on the numerical analysis of partial differential equations with applications in mechanics and other fields in physics. He is McKnight Presidential Professor of Mathematics at the University of Minnesota.

In quantum geometry or noncommutative geometry a quantum differential calculus or noncommutative differential structure on an algebra over a field means the specification of a space of differential forms over the algebra. The algebra here is regarded as a coordinate ring but it is important that it may be noncommutative and hence not an actual algebra of coordinate functions on any actual space, so this represents a point of view replacing the specification of a differentiable structure for an actual space. In ordinary differential geometry one can multiply differential 1-forms by functions from the left and from the right, and there exists an exterior derivative. Correspondingly, a first order quantum differential calculus means at least the following:

  1. An --bimodule over , i.e. one can multiply elements of by elements of in an associative way:
  2. A linear map obeying the Leibniz rule
  4. (optional connectedness condition)

In mathematics, Koszul duality, named after the French mathematician Jean-Louis Koszul, is any of various kinds of dualities found in representation theory of Lie algebras, abstract algebras and topology. The prototype example is the BGG correspondence, due to Joseph Bernstein, Israel Gelfand, and Sergei Gelfand,. It is a duality between the derived category of a symmetric algebra and that of an exterior algebra. The importance of the notion rests on the suspicion that Koszul duality seems quite ubiquitous in nature.

In mathematics, the Hodge–de Rham spectral sequence is an alternative term sometimes used to describe the Frölicher spectral sequence. This spectral sequence describes the precise relationship between the Dolbeault cohomology and the de Rham cohomology of a general complex manifold. On a compact Kähler manifold, the sequence degenerates, thereby leading to the Hodge decomposition of the de Rham cohomology.

<span class="mw-page-title-main">Annalisa Buffa</span> Italian mathematician

Annalisa Buffa is an Italian mathematician, specializing in numerical analysis and partial differential equations (PDE). She is a professor of mathematics at EPFL and holds the Chair of Numerical Modeling and Simulation.

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 shape and algebra is the study of generalizations of arithmetic operations. The word calculus is a Latin word, meaning originally "small pebble"; as such pebbles were used for calculation, the meaning of the word has evolved and today usually means a method of computation. Meanwhile, calculus, originally called infinitesimal calculus or "the calculus of infinitesimals", is the study of continuous change.

In mathematics, mimetic interpolation is a method for interpolating differential forms. In contrast to other interpolation methods, which estimate a field at a location given its values on neighboring points, mimetic interpolation estimates the field's -form given the field's projection on neighboring grid elements. The grid elements can be grid points as well as cell edges or faces, depending on .

References

  1. ↑ Arnold, Douglas N., Richard S. Falk, and Ragnar Winther. "Finite element exterior calculus, homological techniques, and applications." Acta numerica 15 (2006): 1-155.
  2. ↑ 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.
  3. ↑ Arnold, Douglas N. (2018). Finite Element Exterior Calculus. SIAM. ISBN   978-1-611975-53-6.
  4. ↑ 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.
  5. ↑ Christiansen, Snorre, and Ragnar Winther. "Smoothed projections in finite element exterior calculus." Mathematics of Computation 77.262 (2008): 813-829.
  6. ↑ Christiansen, Snorre, and Francesca Rapetti. "On high order finite element spaces of differential forms." Mathematics of Computation 85.298 (2016): 517-548.
  7. ↑ 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).
  8. ↑ 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.
  9. ↑ Hiptmair, Ralf. "Canonical construction of finite elements." Mathematics of Computation of the American Mathematical Society 68.228 (1999): 1325-1346.
  10. ↑ Hiptmair, Ralf. "Finite elements in computational electromagnetism." Acta Numerica 11 (2002): 237-339.
  11. ↑ 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.
  12. ↑ 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.
  13. ↑ 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.
  14. ↑ 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 .
  15. ↑ 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.
  16. ↑ "Finite element exterior calculus - 4 | Isaac Newton Institute for Mathematical Sciences". www.newton.ac.uk. 5 March 2021. Retrieved 2021-03-16.
  17. ↑ 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.
  18. ↑ 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.


This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.