Geometric variational crimes: Hilbert complexes, finite element exterior calculus, and problems on hypersurfaces

Abstract

A recent paper of Arnold, Falk, and Winther [Bull AMS, 47 (2010)] showed that a large class of mixed finite element methods can be formulated naturally on Hilbert complexes, where using a Galerkin-like approach, one solves a variational problem on a finite-dimensional subcomplex. In a seemingly unrelated research direction, Dziuk [Lect Notes in Math, vol 1357 (1988)] analyzed a class of nodal finite elements for the Laplace-Beltrami equation on smooth 2-surfaces approximated by a piecewise-linear triangulation; Demlow later extended this analysis [SIAM J Numer Anal, 47 (2009)] to 3-surfaces, as well as to higher-order surface approximation. In this article, we bring these lines of research together, first developing a framework for the analysis of variational crimes in abstract Hilbert complexes, and then applying this abstract framework to the setting of finite element exterior calculus on hypersurfaces. Our framework extends the work of Arnold, Falk, and Winther to problems that violate their subcomplex assumption, allowing for the extension of finite element exterior calculus to approximate domains, most notably the Hodge-de Rham complex on approximate manifolds. As an application of the latter, we recover Dziuk's and Demlow's a priori estimates for 2- and 3-surfaces, demonstrating that surface finite element methods can be analyzed completely within this abstract framework. Moreover, our results generalize these earlier estimates dramatically, extending them from nodal finite elements for Laplace-Beltrami to mixed finite elements for the Hodge Laplacian, and from 2- and 3-dimensional hypersurfaces to those of arbitrary dimension. By developing this analytical framework using a combination of general tools from differential geometry and functional analysis, we are led to a more geometric analysis of surface finite element methods, whereby the main results become more transparent.

27 pages; v2: minor revisions, most notably a new theorem (3.7) on existence of bounded cochain projections and a worked example (4.6) for the Hodge Laplacian on 2-D surfaces

References in corpus (3)

• Finite element exterior calculus: from Hodge theory to numerical stability
• Local Convergence of Adaptive Methods for Nonlinear Partial Differential Equations
• L^p change of variables inequalities on manifolds

Cited by in corpus (23)

• 3D mesh processing using GAMer 2 to enable reaction-diffusion simulations in realistic cellular geometries
• Geometric Computational Electrodynamics with Variational Integrators and Discrete Differential Forms
• Discrete Exterior Geometry Approach to Structure-Preserving Discretization of Distributed-Parameter Port-Hamiltonian Systems
• Analysis of Finite Element Methods for Vector Laplacians on Surfaces
• Higher-order compatible finite element schemes for the nonlinear rotating shallow water equations on the sphere
• Compatible finite element spaces for geophysical fluid dynamics
• Divergence-free tangential finite element methods for incompressible flows on surfaces
• A penalty finite element method for a fluid system posed on embedded surface
• Convergence and Optimality of Adaptive Methods for Poisson's Equation in the FEEC Framework
• PyDEC: Software and Algorithms for Discretization of Exterior Calculus
• Nodal auxiliary space preconditioning for the surface de Rham complex
• Finite Element Exterior Calculus for Evolution Problems
• Variational Schemes and Geometric Simulations for a Hydrodynamic-Electrodynamic Model of Surface Plasmon Polaritons
• An electrical engineering perspective on naturality in computational physics
• On the linearization of Regge calculus
• Finite Element Exterior Calculus for Parabolic Evolution Problems On Riemannian Hypersurfaces
• Symmetries and Local Conservation Laws of Variational Schemes for the Surface Plasmon Polaritons
• Error Estimates for Nitsche's Method on Approximate Domains
• Mixed finite elements for global tide models with nonlinear damping
• A primer on Script Geometry
• Local coderivatives and approximation of Hodge Laplace problems
• On the shallow atmosphere approximation in finite element dynamical cores
• Convergence and Optimality of Adaptive Mixed Methods on Surfaces