Galerkin error reduction and eigenvalue localisation for conforming FEM

The reduction factor ϱ in a Galerkin scheme with conforming P₁ P 1 finite element spaces on simplicial meshes is the maximal quotient of the Galerkin errors in the L² L 2 norm divided by the energy norm (the H¹ H 1 semi-norm) for the Poisson model problem for instance. An old and a new scheme allow for the computation of upper bounds of ϱ on a given mesh. The schemes are compared theoretically and numerically before three applications for the guaranteed lower eigenvalue bounds (GLB) illustrate their impact. The three eigenvalue problems are named after Laplace, Schrödinger, and Steklov. The resulting GLB compete with those from recent post-processing of nonconforming Crouzeix–Raviart eigenvalue approximations in the classical and in extended versions.