self-adjoint extensions