A stable local commuting projector and optimal hp approximation estimates in H(curl)

We design an operator from the infinite-dimensional Sobolev space H(curl) to its finite-dimensional subspace formed by the Nédélec piecewise polynomials on a tetrahedral mesh that has the following properties: 1) it is defined over the entire H(curl), including boundary conditions imposed on a part of the boundary; 2) it is defined locally in a neighborhood of each mesh element; 3) it is based on simple piecewise polynomial projections; 4) it is stable in the L^2-norm, up to data oscillation; 5) it has optimal (local-best) approximation properties; 6) it satisfies the commuting property with its sibling operator on H(div); 7) it is a projector, i.e., it leaves intact objects that are already in the Nédélec piecewise polynomial space. This operator can be used in various parts of numerical analysis related to the H(curl) space. We in particular employ it here to establish the two following results: i) equivalence of global-best, tangential-trace-and curl-constrained, and local-best, unconstrained approximations in H(curl) including data oscillation terms; and ii) fully h- and p- (mesh-size- and polynomial-degree-) optimal approximation bounds valid under the minimal Sobolev regularity only requested elementwise. As a result of independent interest, we also prove a p-robust equivalence of curl-constrained and unconstrained best-approximations on a single tetrahedron in the H(curl)-setting, including hp data oscillation terms.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/15/2022

A stable and jump-aware projection onto a discrete multi-trace space

This work is concerned with boundary element methods on singular geometr...
research
04/25/2023

Stable Lifting of Polynomial Traces on Triangles

We construct a right inverse of the trace operator u ↦ (u|_∂ T, ∂_n u|_∂...
research
01/08/2023

Averaging-based local projections in finite element exterior calculus

We develop projection operators onto finite element differential forms o...
research
09/16/2021

The Crouzeix-Raviart Element for non-conforming dual mixed methods: A Priori Analysis

Under some regularity assumptions, we report an a priori error analysis ...
research
05/19/2022

Automatic Generation of Complete Polynomial Interpolation Hardware Design Space

Hardware implementations of complex functions regularly deploy piecewise...

Please sign up or login with your details

Forgot password? Click here to reset