We introduce a new method of obtaining guaranteed enclosures of the eigenvalues of a variety of self-adjoint differential and difference operators with discrete spectrum. The method is based upon subdividing the region into a number of simpler regions for which eigenvalue enclosures are already available.
E. B. Davies