Since \(B(k_x)\)  is bounded, it suffices to find the domains of self-adjointness for \(H^\sharp _0\)  to obtain those for \(H^\sharp (k_x)\) .
The von Neumann theory (see X.1 of [1]} for a pedagogical treatment) provides a systematic way to do so.
