Title
Guaranteed and Robust a Posteriori Bounds for Laplace Eigenvalues and Eigenvectors: Conforming Approximations.
Abstract
This paper derives a posteriori error estimates for conforming numerical approximations of the Laplace eigenvalue problem with a homogeneous Dirichlet boundary condition. In particular, upper and lower bounds for an arbitrary simple eigenvalue are given. These bounds are guaranteed, fully computable, and converge with optimal speed to the given exact eigenvalue. They are valid without restrictions on the computational mesh or on the approximate eigenvector; we only need to assume that the approximate eigenvalue is separated from the surrounding smaller and larger exact ones, which can be checked in practice. Guaranteed, fully computable, optimally convergent, and polynomial-degree robust bounds on the energy error in the approximation of the associated eigenvector are derived as well, under the same hypotheses. Remarkably, there appears no unknown (solution-, regularity-, or polynomial-degree-dependent) constant in our theory, and no convexity/regularity assumption on the computational domain/exact eigenvector(s) is needed. The multiplicative constant appearing in our estimates depends on (computable estimates of) the gaps to the surrounding exact eigenvalues. Its two improvements are presented. First, it is reduced by a fixed factor under an explicit, a posteriori calculable condition on the mesh and on the approximate eigenvector-eigenvalue pair. Second, 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 one. Inexact algebraic solvers are taken into account; the estimates are valid on each iteration and can serve for the design of adaptive stopping criteria. The application of our framework to conforming finite element approximations of arbitrary polynomial degree is provided, along with a numerical illustration on a set of test problems.
Year
DOI
Venue
2017
10.1137/15M1038633
SIAM JOURNAL ON NUMERICAL ANALYSIS
Keywords
Field
DocType
Laplace eigenvalue problem,a posteriori estimate,eigenvalue error,eigenvector,error,guaranteed bound,conforming finite element method,inexact solver,stopping criteria
Mathematical optimization,Convexity,Laplace transform,Multiplicative function,Upper and lower bounds,Mathematical analysis,Dirichlet boundary condition,Degree of a polynomial,Eigenvalues and eigenvectors,Mathematics,Inverse iteration
Journal
Volume
Issue
ISSN
55
5
0036-1429
Citations 
PageRank 
References 
4
0.44
11
Authors
5
Name
Order
Citations
PageRank
Eric Cancès14310.31
Geneviève Dusson240.44
Yvon Maday317531.69
B. Stamm45610.12
Martin Vohralík5425.89