Guaranteed and robust a posteriori bounds for Laplace eigenvalues and eigenvectors: a unified framework

Abstract : This paper develops a general framework for a posteriori error estimates in numerical approximations of the Laplace eigenvalue problem, applicable to all standard numerical methods. Guaranteed and computable upper and lower bounds on an arbitrary simple eigenvalue are given, as well as on the energy error in the approximation of the associated eigenvector. The bounds are valid under the sole condition that the approximate i-th eigenvalue lies between the exact (i−1)-th and (i+1)-th eigenvalue, where the relative gaps are sufficiently large. We give a practical way how to check this; the precision of the resulting estimates depends on these relative gaps. Our bounds feature no unknown (solution-, regularity-, or polynomial-degree-dependent) constant, are optimally convergent (efficient), and polynomial-degree robust. Under a further explicit, a posteriori, minimal resolution condition, the multiplicative constant in our estimates can be reduced by a fixed factor; moreover, when an elliptic regularity assumption on the corresponding source problem is satisfied with known constants, this multiplicative constant can be brought to the optimal value of 1 with mesh refinement. Applications of our framework to nonconforming, discontinuous Galerkin, and mixed finite element approximations of arbitrary polynomial degree are provided, along with numerical illustrations. Our key ingredient are equivalences between the i-th eigenvalue error, the associated eigenvector energy error, and the dual norm of the residual. We extend them in an appendix to the generic class of bounded-below self-adjoint operators with compact resolvent.
Document type :
Journal articles
Liste complète des métadonnées

https://hal.inria.fr/hal-01483461
Contributor : Martin Vohralik <>
Submitted on : Thursday, July 12, 2018 - 3:24:46 PM
Last modification on : Thursday, April 4, 2019 - 10:18:05 AM
Document(s) archivé(s) le : Monday, October 15, 2018 - 4:44:34 PM

File

a_post_Lapl_nonconf.pdf
Files produced by the author(s)

Identifiers

Citation

Eric Cancès, Geneviève Dusson, Yvon Maday, Benjamin Stamm, Martin Vohralík. Guaranteed and robust a posteriori bounds for Laplace eigenvalues and eigenvectors: a unified framework. Numerische Mathematik, Springer Verlag, 2018, 140 (4), pp.1033-1079. ⟨10.1007/s00211-018-0984-0⟩. ⟨hal-01483461v3⟩

Share

Metrics

Record views

526

Files downloads

380