DeepAI AI Chat
Log In Sign Up

Generalized Prager-Synge Inequality and Equilibrated Error Estimators for Discontinuous Elements

by   Cuiyu He, et al.
University of Georgia
City University of Hong Kong

The well-known Prager-Synge identity is valid in H^1(Ω) and serves as a foundation for developing equilibrated a posteriori error estimators for continuous elements. In this paper, we introduce a new inequality, that may be regarded as a generalization of the Prager-Synge identity, to be valid for piecewise H^1(Ω) functions for diffusion problems. The inequality is proved to be identity in two dimensions. For nonconforming finite element approximation of arbitrary odd order, we propose a fully explicit approach that recovers an equilibrated flux in H(div; Ω) through a local element-wise scheme and that recovers a gradient in H(curl;Ω) through a simple averaging technique over edges. The resulting error estimator is then proved to be globally reliable and locally efficient. Moreover, the reliability and efficiency constants are independent of the jump of the diffusion coefficient regardless of its distribution.


A polynomial-degree-robust a posteriori error estimator for Nédélec discretizations of magnetostatic problems

We present an equilibration-based a posteriori error estimator for Nédél...

Residual-based a posteriori error estimation for immersed finite element methods

In this paper we introduce and analyze the residual-based a posteriori e...

Continuous finite elements satisfying a strong discrete Miranda–Talenti identity

This article introduces continuous H^2-nonconforming finite elements in ...

A virtual element-based flux recovery on quadtree

In this paper, we introduce a simple local flux recovery for 𝒬_k finite ...

Quasi-monotonicity and Robust Localization with Continuous Piecewise Polynomials

We consider the energy norm arising from elliptic problems with disconti...

A sharp Korn's inequality for piecewise H^1 space and its application

In this paper, we revisit Korn's inequality for the piecewise H^1 space ...