Eigenvalue excluding for perturbed-periodic one-dimensional Schrödinger operators

Subject of investigation in this paper is a one-dimensional Schrödinger equation, where the potential is a sum of a periodic function and a perturbation decaying at ±∞. It is well known that the essential spectrum consists of spectral bands, and that there may or may not be additional eigenvalues below the lowest band or in the gaps between the bands. While enclosures for gap eigenvalues can comparatively easily be obtained from numerical approximations, e.g. by D. Weinstein's bounds, there seems to be no method available so far which is able to exclude eigenvalues in spectral gaps, i.e. which identifies subregions (of a gap) which contain no eigenvalues. Here, we propose such a method. It makes heavy use of computer assistance; nevertheless, the results are completely rigorous in the strict mathematical sense, because all computational errors are taken into account.