Oscillator Eigenfunctions and Hermite Polynomials
~6 min read · Tier toggle changes depth (T1 plain · T2 standard · T3 rigour)
You should be comfortable with the ladder operator formalism for the harmonic oscillator, specifically how the raising operator \( \hat{a}^\dagger \) generates excited states from the ground state, and you should recognize the Gaussian functional form of the ground state wavefunction.
Why this matters
The algebraic solution gives us the energy spectrum, but the position-space wavefunctions are required to calculate probabilities, expectation values, and transition amplitudes.
While the ladder operator method elegantly determines the discrete energy levels \( E_n = \hbar\omega(n + \frac{1}{2}) \), it does not immediately provide the explicit functional form of the states in position space. To connect the quantum formalism to measurable quantities like position probability densities, we must express the abstract state vectors \( |n\rangle \) as functions \( \psi_n(x) \). This process reveals a deep connection between quantum mechanics and classical orthogonal polynomial theory, specifically the Hermite polynomials, which govern the shape of the oscillator's wavefunctions.
The Shape of the Wavefunctions
Imagine the ground state of the harmonic oscillator. It is a simple, symmetric bell curve centered at the origin, representing the particle's most probable position. When we apply the raising operator to create the first excited state, the wavefunction does not simply get wider; it develops a node at the origin. The function becomes positive on one side and negative on the other, creating a "dumbbell" shape. This sign change is a direct consequence of the parity symmetry of the potential. As we climb higher in energy, adding more nodes, the wavefunctions oscillate more rapidly within the classical turning points. The overall envelope of these oscillations remains Gaussian, decaying exponentially far from the origin, but the internal structure is defined by a polynomial. These polynomials are not arbitrary; they are the Hermite polynomials, which naturally arise when solving the differential equation for the oscillator in position space. The interplay between the Gaussian decay and the polynomial oscillation defines the unique character of each quantum state.
Generating the Eigenfunctions
We begin with the normalized ground state wavefunction, which is a Gaussian:
The excited states are generated by applying the raising operator \( \hat{a}^\dagger \) repeatedly. In position space, the raising operator acts as a differential operator. Specifically, \( \hat{a}^\dagger \) corresponds to \( \frac{1}{\sqrt{2}} \left( \xi - \frac{d}{d\xi} \right) \), where \( \xi = \sqrt{\frac{m\omega}{\hbar}} x \) is the dimensionless coordinate. Applying this operator to the Gaussian ground state produces a function that is the product of a linear polynomial and the original Gaussian. Repeated application generates higher-degree polynomials multiplied by the same Gaussian envelope.
The general form of the \( n \)-th eigenfunction is therefore:
where \( H_n(\xi) \) is the physicists' Hermite polynomial of degree \( n \), and \( N_n \) is a normalization constant. The Hermite polynomials are defined by the Rodrigues formula or by the recurrence relation, and they possess the crucial property of orthogonality with respect to the Gaussian weight function.
Normalization and the Hermite Polynomials
To determine the constant \( N_n \), we impose the condition that the probability of finding the particle anywhere in space is unity. This requires evaluating the integral of the squared wavefunction over all space. The orthogonality relation for Hermite polynomials is:
Using this result, the normalization integral for \( \psi_n(x) \) becomes straightforward. The square of the wavefunction involves \( H_n^2(\xi) e^{-\xi^2} \). Substituting the orthogonality integral, we find that the normalization constant must be:
Thus, the fully normalized eigenfunctions are:
This expression is the central result of this lecture. It explicitly links the quantum state \( n \) to the polynomial degree \( n \) and provides the precise amplitude for probability calculations.
Parity and Nodes
The Hermite polynomials have definite parity. \( H_n(\xi) \) is an even function if \( n \) is even, and an odd function if \( n \) is odd. Since the Gaussian \( e^{-\xi^2/2} \) is always even, the parity of the total wavefunction \( \psi_n(x) \) is determined solely by \( n \). This means \( \psi_n(-x) = (-1)^n \psi_n(x) \). Consequently, the probability density \( |\psi_n(x)|^2 \) is always an even function, symmetric about the origin.
The number of nodes (zeros) in the wavefunction is exactly \( n \). For \( n=0 \), there are no nodes. For \( n=1 \), there is one node at \( x=0 \). For \( n=2 \), \( H_2(\xi) = 4\xi^2 - 2 \), so there are two nodes, at \( \xi = \pm 1/\sqrt{2} \). This node structure is a direct manifestation of the quantum number \( n \) and is a key feature distinguishing quantum states from classical trajectories. The nodes represent positions where the probability of finding the particle is exactly zero, a phenomenon with no classical analogue.
The derivation
Oscillator Eigenfunctions and Hermite Polynomials
For the one-dimensional quantum harmonic oscillator Ĥ = p̂²/2m + ½mω²x̂², the normalized position-space energy eigenfunctions are generated from the Gaussian ground state ψ₀ by repeated application of the raising operator, ψₙ = (â†)ⁿψ₀ / √(n!). Carrying this out in position space produces ψₙ(x) = Nₙ Hₙ(ξ) e⁻ξ²⁄² with ξ = √(mω/ℏ) x, where the polynomial prefactor Hₙ(ξ) is exactly the physicists' Hermite polynomial of degree n.
Be careful with the definition of Hermite polynomials. There are two common conventions: the "physicists'" Hermite polynomials \( H_n \) and the "probabilists'" Hermite polynomials \( He_n \). The quantum harmonic oscillator uses the physicists' version, which satisfies the recurrence \( H_{n+1} = 2\xi H_n - 2n H_{n-1} \). Using the probabilists' version will lead to incorrect normalization factors and recurrence relations. Always verify which convention your reference text uses. C
Worked example
Problem. Calculate the normalization constant \( N_1 \) for the first excited state of a harmonic oscillator with mass \( m = 1.0 \times 10^{-27} \) kg and frequency \( \omega = 1.0 \times 10^{13} \) rad/s. Use \( \hbar = 1.05 \times 10^{-34} \) J·s.
- Identify the formula for the normalization constant: \( N_n = \left( \frac{m\omega}{\pi\hbar} \right)^{1/4} \frac{1}{\sqrt{2^n n!}} \).
- Substitute \( n=1 \): \( N_1 = \left( \frac{m\omega}{\pi\hbar} \right)^{1/4} \frac{1}{\sqrt{2^1 \cdot 1!}} = \left( \frac{m\omega}{\pi\hbar} \right)^{1/4} \frac{1}{\sqrt{2}} \).
- Calculate the term inside the fourth root: \( \frac{m\omega}{\pi\hbar} = \frac{(1.0 \times 10^{-27})(1.0 \times 10^{13})}{\pi (1.05 \times 10^{-34})} \).
- Numerator: \( 1.0 \times 10^{-14} \). Denominator: \( \pi \times 1.05 \times 10^{-34} \approx 3.30 \times 10^{-34} \).
- Ratio: \( \frac{1.0 \times 10^{-14}}{3.30 \times 10^{-34}} \approx 3.03 \times 10^{19} \).
- Take the fourth root: \( (3.03 \times 10^{19})^{1/4} = (3.03)^{1/4} \times (10^{19})^{1/4} \approx 1.32 \times 10^{4.75} \approx 1.32 \times 5.62 \times 10^4 \approx 7.42 \times 10^4 \).
- Multiply by \( \frac{1}{\sqrt{2}} \approx 0.707 \): \( N_1 \approx 7.42 \times 10^4 \times 0.707 \approx 5.25 \times 10^4 \).
- The units of \( N_1 \) are \( \mathrm{m}^{-1/2} \).
Units check. The term \( \frac{m\omega}{\hbar} \) has units \( \frac{\mathrm{kg \cdot s^{-1}}}{\mathrm{kg \cdot m^2 \cdot s^{-1}}} = \mathrm{m^{-2}} \). Taking the fourth root gives \( \mathrm{m^{-1/2}} \). This is consistent with the wavefunction having units of \( \mathrm{m^{-1/2}} \) so that \( |\psi|^2 \) has units of \( \mathrm{m^{-1}} \), representing probability per unit length.
Three quick tests
- What is the parity of the wavefunction \( \psi_3(x) \)?
Answer
Odd, because \( n=3 \) is odd. - How many nodes does the \( n=4 \) eigenfunction have?
Answer
Four nodes. - Why is the Gaussian envelope \( e^{-\xi^2/2} \) present in all eigenfunctions?
Answer
It arises from the ground state, and the raising operator preserves the Gaussian form while multiplying by polynomials.
Problem set for PU-202 →
Each derivation in this unit ends with five graded problems with full solutions.
Lecture notes drafted with a local model and checked line by line by the editor; every number in the worked example was recomputed.