basic criterion for self-adjointness
Let be a symmetric operator on a Hilbert space. The following are equivalent
:
- 1.
(i.e is self-adjoint);
- 2.
and is closed;
- 3.
.
Remark: represents the operator , and and stand for kernel and range, respectively.
A similar version for essential self-adjointness is an easy corollary of the above. The following are equivalent:
- 1.
(i.e. is essentially self-adjoint);
- 2.
;
- 3.
is dense in .