$L^{2}$-Discretization Error Bounds for Maps into Riemannian Manifolds
Provides rigorous error bounds for numerical solutions of variational problems on manifolds, addressing a fundamental need in computational differential geometry and nonlinear elasticity.
The paper establishes a priori $W^{1,2}$- and $L^{2}$-error estimates for finite element approximations of maps from Euclidean domains into Riemannian manifolds, generalizing standard Euclidean estimates to an intrinsic, coordinate-free setting. The results are validated for geodesic finite elements, including extensions to tangential bundle maps.
We study the approximation of functions that map a Euclidean domain $Ω\subset \mathbb{R}^{d}$ into an $n$-dimensional Riemannian manifold $(M,g)$ minimizing an elliptic, semilinear energy in a function set $H\subset W^{1,2}(Ω,M)$. The approximation is given by a restriction of the energy minimization problem to a family of conforming finite-dimensional approximations $S_{h}\subset H$. We provide a set of conditions on $S_{h}$ such that we can prove a priori $W^{1,2}$- and $L^{2}$-approximation error estimates comparable to standard Euclidean finite elements. This is done in an intrinsic framework, independently of embeddings of the manifold or the choice of coordinates. A special construction of approximations ---geodesic finite elements--- is shown to fulfill the conditions, and in the process extended to maps into the tangential bundle.