Kato-Rellich theorem
Let be a Hilbert space, a self-adjoint operator and a symmetric operator with .
We say that is -bounded if there are positive constants such that
for all, and we say that is an -bound for .
Theorem 1.
(Kato-Rellich) If is -bounded with -bound smallerthan , then is self-adjoint on , and essentiallyself-adjoint on any core of . Moreover, if is bounded below, thenso is .