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

8 Citations (Scopus)

Abstract

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
Volume52
Issue number2
DOIs
Publication statusPublished - 2014
Externally publishedYes

Keywords

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

ASJC Scopus subject areas

  • Numerical Analysis

Fingerprint Dive into the research topics of 'Verified computations of eigenvalue exclosures for eigenvalue problems in Hilbert spaces'. Together they form a unique fingerprint.

  • Cite this