Optimally Adapted Meshes for Finite elements of Arbitrary order and W1,p norms

Given a function f defined on a bounded polygonal domain Ω ⊂ IR2 and a number N> 0, we study the properties of the triangulation TN that minimizes the distance between f and its interpolation on the associated finite element space, over all triangulations of at most N elements. The error is studied in the W 1,p semi-norm for 1 ≤ p <∞, and we consider Lagrange finite elements of arbitrary polynomial order m−1. We establish sharp asymptotic error estimates as N → + ∞ when the optimal anisotropic triangulation is used. A similar problem has been studied in [4, 11, 8, 12, 18], but with the error measured in the Lp norm. The extension of this analysis to the W 1,p norm is required in order to match more closely the needs of numerical PDE analysis, and it is not straightforward. In particular, the meshes which satisfy the optimal error estimate are characterized by a metric describing the local aspect ratio of each triangle and by a geometric constraint on their maximal angle, a second feature that does not appear for the Lp error norm. Our analysis also provides with practical strategies for designing meshes such that the interpolation error satisfies the optimal estimate up to a fixed multiplicative constant