Analysis of finite element methods for vector Laplacians on surfaces

We develop a finite element method for the vector Laplacian based on the covariant derivative of tangential vector fields on surfaces embedded in ${\mathbb{R}}^3$. Closely related operators arise in models of flow on surfaces as well as elastic membranes and shells. The method is based on standard continuous parametric Lagrange elements that describe a ${\mathbb{R}}^3$ vector field on the surface, and the tangent condition is weakly enforced using a penalization term. We derive error estimates that take into account the approximation of both the geometry of the surface and the solution to the partial differential equation. In particular, we note that to achieve optimal order error estimates, in both energy and $L^2$ norms, the normal approximation used in the penalization term must be of the same order as the approximation of the solution. This can be fulfilled either by using an improved normal in the penalization term, or by increasing the order of the geometry approximation. We also present numerical results using higher-order finite elements that verify our theoretical findings.

[1]  L. R. Scott,et al.  The Mathematical Theory of Finite Element Methods , 1994 .

[2]  J. Nédélec,et al.  Curved finite element methods for the solution of singular integral equations on surfaces in R3 , 1976 .

[3]  Mats G. Larson,et al.  A continuous/discontinuous Galerkin method and a priori error estimates for the biharmonic problem on surfaces , 2013, Math. Comput..

[4]  Michael J. Holst,et al.  Geometric Variational Crimes: Hilbert Complexes, Finite Element Exterior Calculus, and Problems on Hypersurfaces , 2010, Foundations of Computational Mathematics.

[5]  Michael Taylor,et al.  Partial Differential Equations I: Basic Theory , 1996 .

[6]  F. Camacho,et al.  L2 and pointwise a posteriori error estimates for FEM for elliptic PDEs on surfaces , 2015 .

[7]  Ronald Calinger,et al.  Classics of Mathematics , 1994 .

[8]  Alan Demlow,et al.  Higher-Order Finite Element Methods and Pointwise Error Estimates for Elliptic Problems on Surfaces , 2009, SIAM J. Numer. Anal..

[9]  G. Dziuk Finite Elements for the Beltrami operator on arbitrary surfaces , 1988 .

[10]  Charles M. Elliott,et al.  Finite element methods for surface PDEs* , 2013, Acta Numerica.

[11]  J. Thorpe Elementary Topics in Differential Geometry , 1979 .

[12]  Peter Hansbo,et al.  Tangential differential calculus and the finite element modeling of a large deformation elastic membrane problem , 2014, 1410.7913.

[13]  Peter Hansbo,et al.  A stabilized finite element method for the Darcy problem on surfaces , 2016 .

[14]  Peter Hansbo,et al.  A stabilized cut finite element method for partial differential equations on surfaces: The Laplace–Beltrami operator , 2013, 1312.1097.

[15]  L. R. Scott,et al.  Finite element interpolation of nonsmooth functions satisfying boundary conditions , 1990 .

[16]  F. W. Warner Foundations of Differentiable Manifolds and Lie Groups , 1971 .

[17]  Peter Hansbo,et al.  Finite element modeling of a linear membrane shell problem using tangential differential calculus , 2014 .

[18]  P. Bassanini,et al.  Elliptic Partial Differential Equations of Second Order , 1997 .

[19]  Maxim A. Olshanskii,et al.  Incompressible fluid problems on embedded surfaces: Modeling and variational formulations , 2017, Interfaces and Free Boundaries.

[20]  Maxim A. Olshanskii,et al.  A Trace Finite Element Method for Vector-Laplacians on Surfaces , 2017, SIAM J. Numer. Anal..