Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces

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.