Abstract:We solve a problem posed by Calabi more than 60 years ago, known as the Saint-Venant compatibility problem: Given a compact Riemannian manifold, generally with boundary, find a compatibility operator for Lie derivatives of the metric tensor. This problem is related to other compatibility problems in mathematical physics, and to their inherent gauge freedom. To this end, we develop a framework generalizing the theory of elliptic complexes for sequences of linear differential operators $(A_{\bullet})$ between sections of vector bundles. We call such a sequence an elliptic pre-complex if the operators satisfy overdetermined ellipticity conditions, and the order of $A_{k+1}A_k$ does not exceed the order of $A_k$. We show that every elliptic pre-complex $(A_{\bullet})$ can be "corrected" into a complex $(\mathcal{A}_{\bullet})$ of pseudodifferential operators, where $\mathcal{A}_k - A_k$ is a zero-order correction within this class. The induced complex $(\mathcal{A}_{\bullet})$ yields Hodge-like decompositions, which in turn lead to explicit integrability conditions for overdetermined boundary-value problems, with uniqueness and gauge freedom clauses. We apply the theory on elliptic pre-complexes of exterior covariant derivatives of vector-valued forms and double forms satisfying generalized algebraic Bianchi identities, thus resolving a set of compatibility and gauge problems, among which one is the Saint-Venant problem.

An exterior calculus framework for polytopal methods

A Discrete Exterior Calculus of Bundle-valued Forms

A simple and complete discrete exterior calculus on general polygonal meshes

A polytopal discrete de Rham complex on manifolds, with application to the Maxwell equations

Polytopal templates for semi-continuous vectorial finite elements of arbitrary order on triangulations and tetrahedralizations

A discrete three-dimensional divdiv complex on polyhedral meshes with application to a mixed formulation of the biharmonic problem

Differential algebra of polytopes and inversion formulas

A Topological View on Integration and Exterior Calculus

Elliptic Pre-Complexes, Hodge-like Decompositions and Overdetermined Boundary-Value Problems

Formulae and transformations for simplicial tensorial finite elements via polytopal templates

Polarizations and differential calculus in affine spaces

Higher-order finite element de Rham complexes, partially localized flux reconstructions, and applications

Unifying the geometric decompositions of full and trimmed polynomial spaces in finite element exterior calculus

On exterior calculus and curvature in piecewise-flat manifolds

Polyfolds: A First and Second Look

The Goodwillie calculus of polyhedral products

Polyhedral coproducts

High order approximation of Hodge Laplace problems with local coderivatives on cubical meshes

Differential complexes for local Dirichlet spaces, and non-local-to-local approximations

An abstract approximation tool for mixed-dimensional and equidimensional modeling

Adjoints and Canonical Forms of Polypols