Discrete $p$-robust $\mathbf{H}(\mathrm{div})$-liftings and a posteriori estimates for elliptic problems with $H^{-1}$ source terms

Abstract

We establish the existence of liftings into discrete subspaces of $\mathbf{H}(\mathrm{div})$ of piecewise polynomial data on locally refined simplicial partitions of polygonal/polyhedral domains. Our liftings are robust with respect to the polynomial degree. This result has important applications in the a posteriori error analysis of parabolic problems, where it permits the removal of so-called transition conditions that link two consecutive meshes. It can also be used in a the posteriori error analysis of elliptic problems, where it allows the treatment of meshes with arbitrary numbers of hanging nodes between elements. We present a constructive proof based on the a posteriori error analysis of an auxiliary elliptic problem with $H^{-1}$ source terms, thereby yielding results of independent interest. In particular, for such problems, we obtain guaranteed upper bounds on the error along with polynomial-degree robust local efficiency of the estimators.

References in corpus (2)

• Guaranteed, locally space-time efficient, and polynomial-degree robust a posteriori error estimates for high-order discretizations of parabolic problems
• Stable broken $H^1$ and $\mathbf{H}(\mathrm{div})$ polynomial extensions for polynomial-degree-robust potential and flux reconstruction in three space dimensions

Cited by in corpus (10)

• Guaranteed, locally space-time efficient, and polynomial-degree robust a posteriori error estimates for high-order discretizations of parabolic problems
• Stable broken $H^1$ and $\mathbf{H}(\mathrm{div})$ polynomial extensions for polynomial-degree-robust potential and flux reconstruction in three space dimensions
• Simple and robust equilibrated flux a posteriori estimates for singularly perturbed reaction-diffusion problems
• Equilibrated flux a posteriori error estimates in $L^2(H^1)$-norms for high-order discretizations of parabolic problems
• Adaptive aggregation on graphs
• Equivalence of local-and global-best approximations, a simple stable local commuting projector, and optimal $hp$ approximation estimates in $H(\mathrm{div})$
• A posteriori error bounds for finite element approximations of steady-state mean field games
• On $p$-robust saturation on quadrangulations
• Inexpensive polynomial-degree-robust equilibrated flux a posteriori estimates for isogeometric analysis
• An introduction to the a posteriori error analysis of parabolic partial differential equations