How do we know that we have captured the entire spectrum of the Harmonic Oscillator by using ladder operators?

It is sufficient to prove that the vectors $|n\rangle$ form a Hilbert basis of $L^2(\mathbb R)$. This fact cannot be completely established by using the ladder operators. To prove that the span of the afore-mentioned vectors is dense in the Hilbert space, one should write down the explicit expression of the wavefunctions of the said vectors recognizing that they are the well-known Hilbert basis of Hermite functions. Since the vectors $|n\rangle$ are a Hilbert basis, from standard results of spectral theory, the operator $$\sum_n \hbar \omega(n +1/2 ) |n\rangle \langle n | \tag{1}$$ (using the strong operator topology which defines the domain of this operator implicitly) is self-adjoint and its spectrum is a pure point spectrum made of the numbers $\hbar \omega(n +1/2 ) $ with $n$ natural. This fact proves that the initial symmetric Hamiltonian operator you described in your post and defined on the Schwartz space admits at least one self-adjoint extension with the said spectrum (in particular no continuous spectrum takes place). To prove that it is the unique self-adjoint extesion, i.e., that the initial symmetric operator is essentially self-adjoint, the shortest way is to observe that the vectors $|n\rangle$ are necessarily analytic vectors of the initial Hamiltonian (notice that all the afore-mentioned vectors stay in the Schwartz space which is the initial domain) because they are eigenvectors. Since they are a Hilbert basis, their span is dense. Under these hypotheses, a celebrated theorem by Nelson implies that the initial symmetric Hamiltonian operator is essentially self-adjoint and thus (1) is the only self-adjoint extension of the initial symmetric Hamiltonian operator. As a final comment, it is interesting to remark that (1) is not a differential operator differently from the naive initial Hamiltonian which is a differential operator but it is not self-adjoint.


I am no expert, but I can think of two ways to think about why there are no more eigenvalues than those you mentioned.

1) the eigenstates asossiated with the mentioned eigenvalues form a complete basis, and so any addition of a new eigenvalue would imply the addition of an additional eigenvector, orthogonal to all the rest but nonzero, which is absurd.

2) more concretely, if you had an eigenvalue different from those, you could apply the anihilation operator enough times to get an eigenvalue forbidden by the constraints of the hamiltonian

On the continuum part of the spectrum, I don't have an answer and I would like to read one