Abstract: In this paper, a new method is proposed to produce guaranteed lower bounds for eigenvalues of general second order elliptic operators in any dimension. Unlike most methods in the literature, the proposed method only needs to solve one discrete eigenvalue problem but not involves any base or intermediate eigenvalue problems, and does not need any a priori information concerning exact eigenvalues either. Moreover, it just assumes basic regularity of exact eigenfunctions. This method is defined by a novel generalized Crouzeix-Raviart element which is proved to yield asymptotic lower bounds for eigenvalues of general second order elliptic operators, and a simple post-processing method. As a byproduct, a simple and cheap method is also proposed to obtain guaranteed upper bounds for eigenvalues, which is based on generalized Crouzeix-Raviart element approximate eigenfunctions, an averaging interpolation from the the generalized Crouzeix-Raviart element space to the conforming linear element space, and an usual Rayleigh-Ritz procedure. The ingredients for the analysis consist of a crucial projection property of the canonical interpolation operator of the generalized Crouzeix-Raviart element, explicitly computable constants for two interpolation operators. Numerics are provided to demonstrate the theoretical results.

The sharp estimates of eigenvalues of Polyharmonic operator and higher order Stokes operator

Estimates for eigenvalues of the Neumann and Steklov problems

Lower Bounds for Eigenvalues of the Stokes Operator

Lower Bounds for Eigenvalues of Laplacian Operator and the Clamped Plate Problem

On the spectrum of the Stokes operator

Lower Bounds for Generalized Eigenvalues of the Quasilinear Systems

Eigenvalues of the Wentzell-Laplace Operator and of the Fourth Order Steklov Problems

Sharp spectral gap estimates for higher-order operators on cartan-hadamard manifolds

Lower Bounds of Eigenvalues of the Biharmonic Operators by the Rectangular Morley Element Methods

Resolvent Estimates in $L^\infty$ for the Stokes Operator in Nonsmooth Domains

Resolvent Estimates in L^p for the Stokes Operator in Lipschitz Domains

The sharp estimates for the first eigenvalue of Paneitz operator on 4-dimensional submanifolds

Heat kernel estimate for the Laplace-Beltrami operator under Bakry-Émery Ricci curvature condition and applications

Sharp local $L^p$ estimates for the Hermite eigenfunctions

Eigenvalue inequalities and three-term asymptotic formulas of the heat traces for the Lamé operator and Stokes operator

Weak Galerkin methods for the Stokes eigenvalue problem

Eigenvalue bounds for the Steklov problem on differential forms in warped product manifolds

Guaranteed Lower and upper bounds for eigenvalues of second order elliptic operators in any dimension

Guaranteed Lower Bounds for Eigenvalues of Elliptic Operators

The sharp estimate of nodal sets for Dirichlet Laplace eigenfunctions in polytopes