Verified computations of eigenvalue exclosures for eigenvalue problems in Hilbert spaces

Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, Mitsuhiro T. Nakao

Research output: Contribution to journalArticle

7 Citations (Scopus)


This paper presents eigenvalue excluding methods for self-adjoint or non-self-adjoint eigenvalue problems in Hilbert spaces, including problems with partial differential operators. Eigenvalue exclosure means the determination of subsets of the complex field which do not contain eigenvalues of the given problem. Several verified eigenvalue excluding results for ordinary and partial differential operators are reported on.

Original languageEnglish
Pages (from-to)975-992
Number of pages18
JournalSIAM Journal on Numerical Analysis
Issue number2
Publication statusPublished - 2014
Externally publishedYes



  • Computer-assisted proof
  • Differential operators
  • Eigenvalue excluding
  • Eigenvalue problems

ASJC Scopus subject areas

  • Numerical Analysis

Cite this