symmetric operator, self-adjoint extension, generalized resolvent