The Hermite functions , which are important in the study of the quantum harmonic oscillator, may be defined in physics-speak as eigenstates of the Hamiltonian , where and (multiplication by ). For the moment we will regard these as operators on Schwartz space . If we introduce so-called annihilation and creation operators , respectively, then the ground state is a solution to , and we easily find the solution , up to a constant factor. Ignoring issues of normalization, the remaining (representing -photon states, in physics-speak) are defined by . One finds after a little calculation that each is a degree polynomial, say , times .
One claim that physicists frequently elide over is that the Hermite functions form an orthonormal basis or complete orthonormal system for . The orthonormality is the easy part; it falls out from the formalism of annihilation and creation operators. But how does one prove completeness of the orthonormal system? Sufficient amounts of spectral theory would probably get the job done, but I wanted something much simpler and more concrete.
Since where each is a degree polynomial, itโs really a matter of showing that the span of is dense in , or that polynomials are dense in the Hilbert space , where is the weight .
If the closure of the span of in were a proper subspace , then we could find some for which , where is the orthogonal projection onto the subspace . Now
for all , by definition of . Turning this around, if we prove that whenever for all , or that whenever for all , then we will have proved completeness.
But the condition for all means that the entire function
vanishes identically. Setting in the last integral, this means that the Fourier transform of vanishes identically. But this means that a.e. (since the Fourier transform is invertible), or that a.e., since is nowhere zero. This completes the proof.
The same proof applies to any positive weighting function which decays rapidly.