For a normalized trial state in the form domain of a bounded-below Hamiltonian, the quantum variational principle gives . Thus each trial expectation is an upper bound for the ground-state energy. The same spectral argument covers a continuum: for a decaying potential whose essential spectrum begins at , a negative trial expectation guarantees a negative-energy bound state.
For the stated exponential trial function, normalization follows from . The kinetic expectation, using , is . The potential expectation is . Therefore
The exponential variational bound for the Yukawa potential at gives if . Thus a bound state necessarily exists in the stated range.
For , this single-exponential family cannot prove binding: the maximum of is , so every . This does not prove absence of bound states.
The equality case can in fact be strengthened. At , use normalized exponentials and write . Their matrix elements are
The Rayleigh numerator for is negative for sufficiently small , and its norm is nonzero. Hence binding also holds at equality, and by continuity in a small interval beyond it. For arbitrary larger , these trials alone do not settle existence; a nonnegative variational upper bound cannot establish a nonnegative ground-state energy.
For a normalized trial state , expand it in an orthonormal basis of energy eigenstates, . The Rayleigh quotient is then
This is the quantum variational principle: minimizing the expectation of the Hamiltonian operator over any trial family gives an upper bound on the ground-state energy.
Let be the normalized ground-state wavefunction and form the normalized dilation . Its kinetic and potential expectations are
The true ground state makes the energy stationary at , so
Thus the power-law quantum virial theorem gives
If and , the two sides have opposite signs, because and . If , the scaled energy tends to as , since , so the Hamiltonian is not bounded below. If , the free particle has no normalizable ground state. Hence there is no normalizable ground state for .
For take the normalized Gaussian function
The Gaussian integral gives
and therefore
Its unique minimum satisfies
At this point , consistently with the virial theorem, and the resulting variational estimate is