Abstract
We present new constructions of (approximate) H(div, Ω)-liftings of the algebraic residual leading to estimators of the algebraic error in h and p finite element discretizations of a model diffusion problem. The estimators provide guaranteed bounds without any uncomputable constants and they are globally efficient, similarly to some recent developments, but the cost of their construction is significantly reduced. We provide a set of numerical experiments to assess the performance of the new estimators.
Similar content being viewed by others
References
Arioli, M., Georgoulis, E.H., Loghin, D.: Stopping criteria for adaptive finite element solvers. SIAM J. Sci. Comput. 35(3), A1537–A1559 (2013). https://doi.org/10.1137/120867421
Arioli, M., Loghin, D., Wathen, A.J.: Stopping criteria for iterations in finite element methods. Numer. Math. 99(3), 381–410 (2005). https://doi.org/10.1007/s00211-004-0568-z
Arnold, D.N., Falk, R.S., Winther, R.: Preconditioning in H(div) and applications. Math. Comp. 66 (219), 957–984 (1997). https://doi.org/10.1090/S0025-5718-97-00826-0
Arnold, D.N., Falk, R.S., Winther, R.: Multigrid in H(div) and H(curl). Numer. Math. 85 (2), 197–217 (2000). https://doi.org/10.1007/PL00005386
Bai, D., Brandt, A.: Local mesh refinement multilevel techniques. SIAM J. Sci. Statist. Comput. 8(2), 109–134 (1987). https://doi.org/10.1137/0908025
Bank, R.E., Sherman, A.H.: An adaptive, multilevel method for elliptic boundary value problems. Computing 26(2), 91–105 (1981). https://doi.org/10.1007/BF02241777
Bank, R.E., Smith, R.K.: A posteriori error estimates based on hierarchical bases. SIAM J. Numer. Anal. 30(4), 921–935 (1993). https://doi.org/10.1137/0730048
Becker, R., Johnson, C., Rannacher, R.: Adaptive error control for multigrid finite element methods. Computing 55(4), 271–288 (1995). https://doi.org/10.1007/BF02238483
Blechta, J., Málek, J., Vohralík, M.: Localization of the W− 1, q norm for local a posteriori efficiency. IMA J. Numer. Anal. 40(2), 914–950 (2020). https://doi.org/10.1093/imanum/drz002
Boffi, D., Brezzi, F., Fortin, M.: Mixed finite element methods and applications. Springer Series in Computational Mathematics, vol. 44. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-36519-5
Braess, D.: Finite elements. Theory, fast solvers, and applications in elasticity theory, Translated from the German by Larry L. Schumaker, 3rd edn. Cambridge University Press, Cambridge (2007)
Brandt, A.: Multi-level adaptive solutions to boundary-value problems. Math. Comp. 31(138), 333–390 (1977)
Destuynder, P., Métivet, B.: Explicit error bounds in a conforming finite element method. Math. Comp. 68(228), 1379–1396 (1999). https://doi.org/10.1090/S0025-5718-99-01093-5
Ern, A., Smears, I., Vohralík, M.: Discrete p-robust H(div)-liftings and a posteriori estimates for elliptic problems with H− 1 source terms. Calcolo 54(3), 1009–1025 (2017). https://doi.org/10.1007/s10092-017-0217-4
Ern, A., Vohralík, M.: Adaptive inexact Newton methods with a posteriori stopping criteria for nonlinear diffusion PDEs. SIAM J. Sci. Comput. 35(4), A1761–A1791 (2013). https://doi.org/10.1137/120896918
Ern, A., Vohralík, M.: Stable broken H1 and H(div) polynomial extensions for polynomial-degree-robust potential and flux reconstruction in three space dimensions. Math. Comp. 89 (322), 551–594 (2020). https://doi.org/10.1090/mcom/3482
Golub, G.H., Meurant, G.: Matrices, moments and quadrature with applications. Princeton Series in Applied Mathematics. Princeton University Press, Princeton, NJ (2010)
Hackbusch, W.: Multigrid methods and applications. Springer Series in Computational Mathematics, vol. 4. Springer-Verlag, Berlin (1985)
Hecht, F.: New development in FreeFem++. J. Numer. Math. 20(3-4), 251–265 (2012). https://freefem.org/
Hecht, F., Pironneau, O., Morice, J., Le Hyaric, A., Ohtsuka, K.: FreeFem++. Tech. rep., Laboratoire Jacques-Louis Lions, Université Pierre et Marie Curie, Paris. http://www.freefem.org/ (2012)
Janssen, B., Kanschat, G.: Adaptive multilevel methods with local smoothing for H1- and Hcurl-conforming high order finite element methods. SIAM J. Sci. Comput. 33(4), 2095–2114 (2011). https://doi.org/10.1137/090778523
Jiránek, P., Strakoš, Z., Vohralík, M.: A posteriori error estimates including algebraic error and stopping criteria for iterative solvers. SIAM J. Sci. Comput. 32(3), 1567–1590 (2010). https://doi.org/10.1137/08073706X
Luce, R., Wohlmuth, B.I.: A local a posteriori error estimator based on equilibrated fluxes. SIAM J. Numer. Anal. 42(4), 1394–1414 (2004). https://doi.org/10.1137/S0036142903433790
Meidner, D., Rannacher, R., Vihharev, J.: Goal-oriented error control of the iterative solution of finite element equations. J. Numer. Math. 17 (2), 143–172 (2009). https://doi.org/10.1515/JNUM.2009.009
Meurant, G., Tichý, P.: Approximating the extreme Ritz values and upper bounds for the A-norm of the error in CG. Numer. Algoritm. 82(3), 937–968 (2019). https://doi.org/10.1007/s11075-018-0634-8
Miraçi, A., Papež, J., Vohralík, M.: A multilevel algebraic error estimator and the corresponding iterative solver with p-robust behavior. SIAM J. Numer. Anal. 58(5), 2856–2884 (2020). https://doi.org/10.1137/19M1275929
Oswald, P.: Multilevel finite element approximation. Teubner Skripten zur Numerik. [Teubner Scripts on Numerical Mathematics]. B. G. Teubner, Stuttgart. Theory and applications. https://doi.org/10.1007/978-3-322-91215-2 (1994)
Papež, J., Rüde, U., Vohralík, M., Wohlmuth, B.: Sharp algebraic and total a posteriori error bounds for h and p finite elements via a multilevel approach. Recovering mass balance in any situation. Comput. Methods Appl. Mech. Engrg. 371, 113243 (2020). https://doi.org/10.1016/j.cma.2020.113243
Papež, J., Strakoš, Z., Vohralík, M.: Estimating and localizing the algebraic and total numerical errors using flux reconstructions. Numer. Math. 138(3), 681–721 (2018). https://doi.org/10.1007/s00211-017-0915-5
Rüde, U.: Fully adaptive multigrid methods. SIAM J. Numer. Anal. 30(1), 230–248 (1993)
Rüde, U.: Mathematical and computational techniques for multilevel adaptive methods. Frontiers in Applied Mathematics, vol. 13. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA (1993). https://doi.org/10.1137/1.9781611970968
Rüde, U.: Error estimates based on stable splittings. In: Domain decomposition methods in scientific and engineering computing (University Park, PA, 1993), Contemp. Math. Amer. Math. Soc., Providence, RI, vol. 180, pp 111–118 (1994)
Saad, Y.: Iterative Methods for Sparse Linear Systems, 2nd edn. Society for Industrial and Applied Mathematics, Philadelphia, PA (2003)
Si, H.: TetGen, a Delaunay-based quality tetrahedral mesh generator. ACM Trans. Math. Softw. 41(2), Art. 11,36 (2015). https://doi.org/10.1145/2629697
Strakoš, Z., Tichý, P.: On error estimation in the conjugate gradient method and why it works in finite precision computations. Electron. Trans. Numer. Anal. 13, 56–80 (2002)
Funding
This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation program (grant agreement no. 647134 GATIPOR). The work of J. Papež was supported by the Grant Agency of the Czech Republic under grant no. 20-01074S in the framework of RVO 67985840.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Papež, J., Vohralík, M. Inexpensive guaranteed and efficient upper bounds on the algebraic error in finite element discretizations. Numer Algor 89, 371–407 (2022). https://doi.org/10.1007/s11075-021-01118-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11075-021-01118-5
Keywords
- Finite element method
- Iterative algebraic solver
- Algebraic error
- A posteriori error estimate
- Guaranteed upper bound
- Hierarchical splitting