Guaranteed and robust a posteriori bounds for Laplace eigenvalues and eigenvectors: a unified framework - Archive ouverte HAL Access content directly
Journal Articles Numerische Mathematik Year : 2018

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

(1, 2) , (3) , (4, 5, 6) , (7) , (8, 1)
1
2
3
4
5
6
7
8

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.
Fichier principal
Vignette du fichier
a_post_Lapl_nonconf.pdf (849.27 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01483461 , version 1 (05-03-2017)
hal-01483461 , version 2 (16-04-2018)
hal-01483461 , version 3 (12-07-2018)

Identifiers

Cite

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, 2018, 140 (4), pp.1033-1079. ⟨10.1007/s00211-018-0984-0⟩. ⟨hal-01483461v3⟩
883 View
526 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More