Consider a self-adjoint operator L on a domain D dense in a Hilbert space
H. We found many problems where there exists a sequence of eigenvalues
λ0 ≤ λ0 ≤ λ0 ≤ ... with λn → ∞ and that the corresponding eigenfunctions
un are orthogonal. The hypothesis of Theorem 0 are thus satisfied. It only
remains to prove Theorem 0.
Hilbert uzayında
H yoğun olan bir D alanı üzerindeki kendine eşlenik bir operatör L düşünün.
Λ0 ≤ λ0 ≤ λ0 ≤ ... ve λn → ∞ olan bir özdeğer dizisinin olduğu ve karşılık gelen özfonksiyon
un'un ortogonal olduğu birçok problem bulduk. . Teorem 0'ün hipotezi böylece karşılanmıştır. Sadece
Teorem 0'ü ispatlamak için kalır.