Equivalence of local-and global-best approximations, a simple stable local commuting projector, and optimal hp approximation estimates in H(\mathrm{div})

DOI10.1093/IMANUM/DRAA103MaRDI QIDQ6324013arXivFDO

Authors Alexandre Ern, Thirupathi Gudi, Iain Smears, Martin Vohralík

Publication date 21 August 2019

Published in arXiv

Full work available at URL https://doi.org/10.1093/IMANUM/DRAA103

Mathematics Subject Classification ID

A priori estimates in context of PDEs (35B45) Smoothness and regularity of solutions to PDEs (35B65) Stability and convergence of numerical methods for boundary value problems involving PDEs (65N12) Error bounds for boundary value problems involving PDEs (65N15) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30) Mesh generation, refinement, and adaptive methods for boundary value problems involving PDEs (65N50)

arXiv classification

cs.NAmath.NA

Abstract: Given an arbitrary function in H(div), we show that the error attained by the global-best approximation by H(div)-conforming piecewise polynomial Raviart-Thomas-N'ed'elec elements under additional constraints on the divergence and normal flux on the boundary, is, up to a generic constant, equivalent to the sum of independent local-best approximation errors over individual mesh elements, without constraints on the divergence or normal fluxes. The generic constant only depends on the shape-regularity of the underlying simplicial mesh, the space dimension, and the polynomial degree of the approximations. The analysis also gives rise to a stable, local, commuting projector in H(div), delivering an approximation error that is equivalent to the local-best approximation. We next present a variant of the equivalence result, where robustness of the constant with respect to the polynomial degree is attained for unbalanced approximations. These two results together further enable us to derive rates of convergence of global-best approximations that are fully optimal in both the mesh size h and the polynomial degree p, for vector fields that only feature elementwise the minimal necessary Sobolev regularity. We finally show how to apply our findings to derive optimal a priori hp-error estimates for mixed and least-squares finite element methods applied to a model diffusion problem.

Cited in

(2)

• Weakly Symmetric and Traceless Tangential-Normal Tensor Finite Elements: Application to the Brinkman Equations
• High order biorthogonal functions for the discrete de Rham complex on simplices*

This page was built for publication: Equivalence of local-and global-best approximations, a simple stable local commuting projector, and optimal $hp$ approximation estimates in $H(\mathrm{div})$

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6324013)