Interpolation Error Bounds for Curvilinear Finite Elements and Their Implications on Adaptive Mesh Refinement

Mesh generation and adaptive refinement are largely driven by the objective of minimizing the bounds on the interpolation error of the solution of the partial differential equation (PDE) being solved. Thus, the characterization and analysis of interpolation error bounds for curved, high-order finite elements is often desired to efficiently obtain the solution of PDEs when using the finite element method (FEM). Although the order of convergence of the projection error in $$L^2$$L2 is known for both straight-sided and curved elements (Botti in J Sci Comput 52(3):675–703, 2012), an $$L^{\infty }$$L∞ estimate as used when studying interpolation errors is not available. Using a Taylor series expansion approach, we derive an interpolation error bound for both straight-sided and curved high-order elements. The availability of this bound facilitates better node placement for minimizing interpolation error compared to the traditional approach of minimizing the Lebesgue constant as a proxy for interpolation error. This is useful for adaptation of the mesh in regions where increased resolution is needed and where the geometric curvature of the elements is high, e.g., boundary layer meshes. Our numerical experiments indicate that the error bounds derived using our technique are asymptotically similar to the actual error, i.e., if our interpolation error bound for an element is larger than it is for other elements, the actual error is also larger than it is for other elements. This type of bound not only provides an indicator for which curved elements to refine but also suggests whether one should use traditional h-refinement or should modify the mapping function used to define elemental curvature. We have validated our bounds through a series of numerical experiments on both straight-sided and curved elements, and we report a summary of these results.

[1]  Jeffrey S. Ovall Function, Gradient, and Hessian Recovery Using Quadratic Edge-Bump Functions , 2007, SIAM J. Numer. Anal..

[2]  J. Bramble,et al.  Estimation of Linear Functionals on Sobolev Spaces with Application to Fourier Transforms and Spline Interpolation , 1970 .

[3]  Carl Ollivier-Gooch,et al.  A generalized framework for high order anisotropic mesh adaptation , 2009 .

[4]  Douglas N. Arnold,et al.  Approximation by quadrilateral finite elements , 2000, Math. Comput..

[5]  Lorenzo Botti,et al.  Influence of Reference-to-Physical Frame Mappings on Approximation Properties of Discontinuous Piecewise Polynomial Spaces , 2012, J. Sci. Comput..

[6]  Lennard Kamenski Anisotropic mesh adaptation based on Hessian recovery and a posteriori error estimates , 2009 .

[7]  T. Dupont,et al.  Polynomial approximation of functions in Sobolev spaces , 1980 .

[8]  T. Apel Anisotropic Finite Elements: Local Estimates and Applications , 1999 .

[9]  Jan S. Hesthaven,et al.  From Electrostatics to Almost Optimal Nodal Sets for Polynomial Interpolation in a Simplex , 1998 .

[10]  Robert Michael Kirby,et al.  Nektar++: An open-source spectral/hp element framework , 2015, Comput. Phys. Commun..

[11]  Claes Johnson Numerical solution of partial differential equations by the finite element method , 1988 .

[12]  G. Karniadakis,et al.  Spectral/hp Element Methods for Computational Fluid Dynamics , 2005 .

[13]  G. Kunert Toward anisotropic mesh construction and error estimation in the finite element method , 2002 .

[14]  Robert Michael Kirby,et al.  On Interpolation Errors over Quadratic Nodal Triangular Finite Elements , 2013, IMR.

[15]  Frédéric Hecht,et al.  Anisotropic unstructured mesh adaption for flow simulations , 1997 .

[16]  J. Oden,et al.  A Posteriori Error Estimation in Finite Element Analysis , 2000 .

[17]  Shai Dekel,et al.  The Bramble-Hilbert Lemma for Convex Domains , 2004, SIAM J. Math. Anal..