Article electronically published on April 25, 2014 GUARANTEED LOWER BOUNDS FOR EIGENVALUES

Abstract. This paper introduces fully computable two-sided bounds on the eigenvalues of the Laplace operator on arbitrarily coarse meshes based on some approximation of the corresponding eigenfunction in the nonconforming Crouzeix-Raviart finite element space plus some postprocessing. The efficiency of the guaranteed error bounds involves the global mesh-size and is proven for the large class of graded meshes. Numerical examples demonstrate the reliabil-ity of the guaranteed error control even with an inexact solve of the algebraic eigenvalue problem. This motivates an adaptive algorithm which monitors the discretisation error, the maximal mesh-size, and the algebraic eigenvalue error. The accuracy of the guaranteed eigenvalue bounds is surprisingly high with efficiency indices as small as 1.4. 1