Take the momentum operator and sufficiently regular real . Acting on a test wave function, the commutator is . Expanding the factorized quantum Hamiltonian gives
so , which is real.
Set . Its zero-mode equation is
with solution
It satisfies as a differential equation. It is an actual quantum state only when it is square-integrable. If , , its antiderivative has leading term . For even , this leading term has opposite signs at the two ends of the line, so the wave function grows at one end and cannot be normalized. For odd , it has the same sign at both ends. Hence normalizability requires odd , and in fact holds exactly when is odd and . A negative leading coefficient makes it grow at both ends; gives a nonnormalizable constant. These are the normalizable zero mode of a polynomial factorized Hamiltonian conditions.
For a normalized state in the operator domain, integration by parts, with the appropriate vanishing boundary term, gives
Thus every energy eigenvalue is nonnegative. Equality forces almost everywhere, whose first-order equation has the one-dimensional solution space above. Whenever its zero mode is normalizable, every energy eigenstate not proportional to has strictly positive energy. If the formal zero mode is not normalizable, there is no zero-energy eigenstate; the positivity statement still applies to every normalizable eigenstate. This argument concerns eigenvalues and does not assert a strictly positive bound on an arbitrary continuous spectrum.
For the quantum harmonic oscillator, take with . Then
Its zero mode is normalizable and has no competitor of lower energy. Using the Gaussian integral for its normalization gives the concise answer
up to an arbitrary constant phase.