Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces
Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, Mitsuhiro T. Nakao · SIAM Journal on Numerical Analysis · 2014
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.