Исследование точечного спектра оператора Штурма–Лиувилля с потенциалом, имеющим определенное поведение на бесконечности

В пространстве $L^2(M)$ рассматривается оператор Штурма-Лиувилля $L$ с потенциалом, имеющим определенное поведение на бесконечности. Доказывается, что собственные значения оператора $L$ (если таковые имеются) простые и их число конечно.