We consider an eigenvalue problem for differential operators, and show how guaranteed bounds for eigenvalues (together with eigenvectors) are obtained and how non-existence of eigenvalues in a concrete region can be assured. Some examples for several types of operators will be presented.

中文翻译：

---

无限维特征值问题的数值验证方法

我们考虑微分算子的特征值问题，并展示如何获得特征值（连同特征向量）的有保证的边界以及如何确保特定区域中不存在特征值。将介绍几种类型的运算符的一些示例。