🤖 AI Summary
This work addresses the reliability of goal-oriented error estimation for nonlinear functional outputs in Galerkin finite element discretizations. Specifically, it investigates whether the classical residual-type estimator (eta = J(z) - B(u_h, z)) bounds the true error (|J(u) - J(u_h)|) via a mesh-independent constant (C), i.e., whether (|J(u) - J(u_h)| leq C|eta|) holds uniformly. The paper provides the first rigorous proof that, even with exact adjoint solution (z), this bound fails for certain combinations of nonlinear functionals (J) and bilinear forms (B): no uniformly bounded reliability constant (C) exists. Through an abstract variational framework and Hilbert space analysis, multiple concrete counterexamples are constructed, explicitly characterizing the (B ext{--}J) coupling mechanisms responsible for estimator failure. These results expose a fundamental limitation of conventional goal-oriented error estimation and deliver critical theoretical guidance for designing reliable error estimators in adaptive algorithms.
📝 Abstract
We consider estimating the discretization error in a nonlinear functional $J(u)$ in the setting of an abstract variational problem: find $u in mathcal{V}$ such that $B(u,varphi) = L(varphi) ; forall varphi in mathcal{V}$, as approximated by a Galerkin finite element method. Here, $mathcal{V}$ is a Hilbert space, $B(cdot,cdot)$ is a bilinear form, and $L(cdot)$ is a linear functional. We consider well-known error estimates $eta$ of the form $J(u) - J(u_h) approx eta = L(z) - B(u_h, z)$, where $u_h$ denotes a finite element approximation to $u$, and $z$ denotes the solution to an auxiliary adjoint variational problem. We show that there exist nonlinear functionals for which error estimates of this form are not reliable, even in the presence of an exact adjoint solution solution $z$. An estimate $eta$ is said to be reliable if there exists a constant $C in mathbb{R}_{>0}$ independent of $u_h$ such that $|J(u) - J(u_h)| leq C|eta|$. We present several example pairs of bilinear forms and nonlinear functionals where reliability of $eta$ is not achieved.