Free Schrödinger operator: self-adjoint, $\sigma_{ess}(H_0)=[0,\infty)$, $C_c^\infty$ is a core

Initializing...

Free Schrödinger operator: self-adjoint, $\sigma_{ess}(H_0)=[0,\infty)$, $C_c^\infty$ is a core · Prove2Me