Abstract:We design an operator from the infinite-dimensional Sobolev space ${\boldsymbol H}(\mathrm{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 ${\boldsymbol H}(\mathrm{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 ${\boldsymbol 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 ${\boldsymbol H}(\mathrm{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 ${\boldsymbol H}(\mathrm{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 ${\boldsymbol H}(\mathrm{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 ${\boldsymbol H}(\mathrm{curl})$-setting, including $hp$ data oscillation terms.

Sharp estimates for convolution operators associated to hypersurfaces in $\mathbb{R}^3$ with height $h\le2$

On the sharp estimates for convolution operators with oscillatory kernel

Convex Hypersurfaces of Prescribed Weingarten Curvatures

Sharp maximal function estimates for Hilbert transforms along monomial curves in higher dimensions

Sharp L1 Inequalities for Sup-Convolution

Some Estimates for Convolution Operators with Kernels of Type (L, R) on Homogeneous Groups

A sharp lower bound on the small eigenvalues of surfaces

Product formulas and convolutions for two-dimensional Laplace-Beltrami operators: beyond the trivial case

Surjectivity of Convolution Operators on Noncompact Symmetric Spaces

Convolution surfaces for arcs and quadratic curves with a varying kernel

Asymptotic Expansions of Finite Hankel Transforms and the Surjectivity of Convolution Operators

The hyperbolic maximum principle approach to the construction of generalized convolutions

Estimates for strongly singular operators along curves

A stable local commuting projector and optimal $hp$ approximation estimates in ${\boldsymbol H}(\mathrm{curl})$

Sharp Function Estimates for Bilinear Pseudo-Differential Operators

Sharp Lipschitz estimates for operator $\bar\partial_M$ on a q-pseudoconcave CR manifold

Homogenization of Hyperbolic Equations: Operator Estimates with Correctors Taken into Account

Initial 𝐿²×⋯×𝐿² Bounds for Multilinear Operators