Guaranteed and robust a posteriori bounds for Laplace eigenvalues and eigenvectors: conforming approximations
The goal of this paper is to define a procedure for bounding the error in a conforming finite element method. The new point is that this upper bound is fully explicit and can be computed locally. Numerical tests prove the efficiency of the method. It is presented here for the case of the Poisson equation and a first order finite element approximation.