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 .