A framework of verified eigenvalue bounds for self-adjoint differential operators

Xuefeng Liu*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

49 Citations (Scopus)


For eigenvalue problems of self-adjoint differential operators, a universal framework is proposed to give explicit lower and upper bounds for the eigenvalues. In the case of the Laplacian operator, by applying Crouzeix-Raviart finite elements, an efficient algorithm is developed to bound the eigenvalues for the Laplacian defined in 1D, 2D and 3D spaces. Moreover, for nonconvex domains, for which case there may exist singularities of eigenfunctions around re-entrant corners, the proposed algorithm can easily provide eigenvalue bounds. By further adopting the interval arithmetic, the explicit eigenvalue bounds from numerical computations can be mathematically correct.

Original languageEnglish
JournalApplied Mathematics and Computation
Publication statusAccepted/In press - 2015


  • Eigenvalue bounds
  • Non-conforming finite element method
  • Quantitative error estimation
  • Self-adjoint differential operator
  • Verified computation

ASJC Scopus subject areas

  • Applied Mathematics
  • Computational Mathematics


Dive into the research topics of 'A framework of verified eigenvalue bounds for self-adjoint differential operators'. Together they form a unique fingerprint.

Cite this