Stable broken 𝐻¹ and \mathbfit{𝐻}(𝑑𝑖𝑣) polynomial extensions for polynomial-degree-robust potential and flux reconstruction in three space dimensions

Ern, Alexandre; Vohralík, Martin

doi:10.1090/mcom/3482

Stable broken $H^1$ and $\mathbfit{H}(\mathrm {div})$ polynomial extensions for polynomial-degree-robust potential and flux reconstruction in three space dimensions
HTML articles powered by AMS MathViewer

by Alexandre Ern and Martin Vohralík HTML | PDF

Math. Comp. 89 (2020), 551-594 Request permission

Abstract:

We study extensions of piecewise polynomial data prescribed on faces and possibly in elements of a patch of simplices sharing a vertex. In the $H^1$ setting, we look for functions whose jumps across the faces are prescribed, whereas in the $\mathbfit {H}(\mathrm {div})$ setting, the normal component jumps and the piecewise divergence are prescribed. We show stability in the sense that the minimizers over piecewise polynomial spaces of the same degree as the data are subordinate in the broken energy norm to the minimizers over the whole broken $H^1$ and $\mathbfit {H}(\mathrm {div})$ spaces. Our proofs are constructive and yield constants independent of the polynomial degree. One particular application of these results is in a posteriori error analysis, where the present results justify polynomial-degree-robust efficiency of potential and flux reconstructions.

References

Dietrich Braess, Veronika Pillwein, and Joachim Schöberl, Equilibrated residual error estimates are $p$-robust, Comput. Methods Appl. Mech. Engrg. 198 (2009), no. 13-14, 1189–1197. MR 2500243, DOI 10.1016/j.cma.2008.12.010
Dietrich Braess and Joachim Schöberl, Equilibrated residual error estimator for edge elements, Math. Comp. 77 (2008), no. 262, 651–672. MR 2373174, DOI 10.1090/S0025-5718-07-02080-7
Susanne C. Brenner, Poincaré-Friedrichs inequalities for piecewise $H^1$ functions, SIAM J. Numer. Anal. 41 (2003), no. 1, 306–324. MR 1974504, DOI 10.1137/S0036142902401311
H. Bruggesser and P. Mani, Shellable decompositions of cells and spheres, Math. Scand. 29 (1971), 197–205 (1972). MR 328944, DOI 10.7146/math.scand.a-11045
Eric Cancès, Geneviève Dusson, Yvon Maday, Benjamin Stamm, and Martin Vohralík, Guaranteed and robust a posteriori bounds for Laplace eigenvalues and eigenvectors: conforming approximations, SIAM J. Numer. Anal. 55 (2017), no. 5, 2228–2254. MR 3702871, DOI 10.1137/15M1038633
Eric Cancès, Geneviève Dusson, Yvon Maday, Benjamin Stamm, and Martin Vohralík, Guaranteed and robust a posteriori bounds for Laplace eigenvalues and eigenvectors: a unified framework, Numer. Math. 140 (2018), no. 4, 1033–1079. MR 3864709, DOI 10.1007/s00211-018-0984-0
C. Carstensen and C. Merdon, Computational survey on a posteriori error estimators for nonconforming finite element methods for the Poisson problem, J. Comput. Appl. Math. 249 (2013), 74–94. MR 3037808, DOI 10.1016/j.cam.2012.12.021
Martin Čermák, Frédéric Hecht, Zuqi Tang, and Martin Vohralík, Adaptive inexact iterative algorithms based on polynomial-degree-robust a posteriori estimates for the Stokes problem, Numer. Math. 138 (2018), no. 4, 1027–1065. MR 3778344, DOI 10.1007/s00211-017-0925-3
Patrick Ciarlet Jr. and Martin Vohralík, Localization of global norms and robust a posteriori error control for transmission problems with sign-changing coefficients, ESAIM Math. Model. Numer. Anal. 52 (2018), no. 5, 2037–2064. MR 3891753, DOI 10.1051/m2an/2018034
Martin Costabel and Alan McIntosh, On Bogovskiĭ and regularized Poincaré integral operators for de Rham complexes on Lipschitz domains, Math. Z. 265 (2010), no. 2, 297–320. MR 2609313, DOI 10.1007/s00209-009-0517-8
Leszek Demkowicz, Jayadeep Gopalakrishnan, and Joachim Schöberl, Polynomial extension operators. I, SIAM J. Numer. Anal. 46 (2008), no. 6, 3006–3031. MR 2439500, DOI 10.1137/070698786
Leszek Demkowicz, Jayadeep Gopalakrishnan, and Joachim Schöberl, Polynomial extension operators. II, SIAM J. Numer. Anal. 47 (2009), no. 5, 3293–3324. MR 2551195, DOI 10.1137/070698798
L. Demkowicz, J. Gopalakrishnan, and J. Schöberl, Polynomial extension operators. Part III, Math. Comp. 81 (2012), no. 279, 1289–1326. MR 2904580, DOI 10.1090/S0025-5718-2011-02536-6
Philippe Destuynder and Brigitte Métivet, Explicit error bounds in a conforming finite element method, Math. Comp. 68 (1999), no. 228, 1379–1396. MR 1648383, DOI 10.1090/S0025-5718-99-01093-5
Daniele Antonio Di Pietro and Alexandre Ern, Mathematical aspects of discontinuous Galerkin methods, Mathématiques & Applications (Berlin) [Mathematics & Applications], vol. 69, Springer, Heidelberg, 2012. MR 2882148, DOI 10.1007/978-3-642-22980-0
Vít Dolejší, Alexandre Ern, and Martin Vohralík, $hp$-adaptation driven by polynomial-degree-robust a posteriori error estimates for elliptic problems, SIAM J. Sci. Comput. 38 (2016), no. 5, A3220–A3246. MR 3556071, DOI 10.1137/15M1026687
Philipp Dörsek and Jens M. Melenk, Symmetry-free, $p$-robust equilibrated error indication for the $hp$-version of the FEM in nearly incompressible linear elasticity, Comput. Methods Appl. Math. 13 (2013), no. 3, 291–304. MR 3094619, DOI 10.1515/cmam-2013-0007
Alexandre Ern, Iain Smears, and Martin Vohralík, Discrete $p$-robust $H(\textrm {div})$-liftings and a posteriori estimates for elliptic problems with $H^{-1}$ source terms, Calcolo 54 (2017), no. 3, 1009–1025. MR 3694733, DOI 10.1007/s10092-017-0217-4
Alexandre Ern, Iain Smears, and Martin Vohralík, Guaranteed, locally space-time efficient, and polynomial-degree robust a posteriori error estimates for high-order discretizations of parabolic problems, SIAM J. Numer. Anal. 55 (2017), no. 6, 2811–2834. MR 3723331, DOI 10.1137/16M1097626
Alexandre Ern, Iain Smears, and Martin Vohralík, Equilibrated flux a posteriori error estimates in $L^2(H^1)$-norms for high-order discretizations of parabolic problems, IMA J. Numer. Anal. 39 (2019), no. 3, 1158–1179. MR 3984054, DOI 10.1093/imanum/dry035
Alexandre Ern and Martin Vohralík, Polynomial-degree-robust a posteriori estimates in a unified setting for conforming, nonconforming, discontinuous Galerkin, and mixed discretizations, SIAM J. Numer. Anal. 53 (2015), no. 2, 1058–1081. MR 3335498, DOI 10.1137/130950100
Mu-Tsun Tsai and Douglas B. West, A new proof of 3-colorability of Eulerian triangulations, Ars Math. Contemp. 4 (2011), no. 1, 73–77. MR 2781022, DOI 10.26493/1855-3974.193.8e7
Martin Vohralík, On the discrete Poincaré-Friedrichs inequalities for nonconforming approximations of the Sobolev space $H^1$, Numer. Funct. Anal. Optim. 26 (2005), no. 7-8, 925–952. MR 2192029, DOI 10.1080/01630560500444533
Günter M. Ziegler, Lectures on polytopes, Graduate Texts in Mathematics, vol. 152, Springer-Verlag, New York, 1995. MR 1311028, DOI 10.1007/978-1-4613-8431-1