A posteriori goal-oriented error estimators based on equilbrated flux and potential reconstructions

The L^2-projection mapping to Lagrange finite element spaces is an important tool in numerical analysis. Its Sobolev stability is known to be key to discrete stability and quasi-optimality estimates for parabolic problems. For adaptively generated meshes the proof of Sobolev stability is challenging and requires conditions on how strongly the mesh size varies. We present stability properties under certain conditions on the polynomial degree, on the space dimension and on the mesh grading. In particular, the L^2-projection is W^{1,2}-stable for any polynomial degree, for any space dimension smaller than 7 on meshes generated by the newest vertex bisection.