Introduction
The quantum harmonic oscillator is the single most important model system in quantum mechanics. It describes a particle in a quadratic potential V(x) = 1/2momega^2x^2, and it appears almost everywhere — in molecular vibrations, lattice phonons, photon modes, light-matter coupling, beta decay, ion trap quantum computing, and approximations to nearly every smooth potential near its minimum. Its solutions are analytic, elegant, and reveal much of the structural beauty of quantum mechanics.
This article walks through the setup, energy levels, ladder operators, wave functions, the most important applications, and the misconceptions that come with such a heavily-used model.
The Setup
A particle of mass m in a quadratic potential, with classical frequency omega, has Hamiltonian:
H = p^2/(2m) + 1/2 m omega^2 x^2
The Schrodinger equation H psi = E psi becomes a second-order ordinary differential equation, solvable analytically. The allowed wave functions are confined by the quadratic potential, which leads to discrete energy levels [1].
Energy Levels
The spectrum is the famous equally spaced ladder:
En = hbar omega (n + 1/2), n = 0, 1, 2, ...
The lowest state is not zero-energy. Even at n = 0, the oscillator has zero-point energy hbar omega / 2. This comes from the uncertainty principle: the particle cannot have both exactly zero position spread and exactly zero momentum spread.
Degeneracy
In one dimension, each level is non-degenerate. In two dimensions, the n-th level is (n+1)-fold degenerate; in three dimensions, it is 1/2(n+1)(n+2)-fold degenerate. Spherical symmetry of the 3D oscillator gives a rich spectrum.
Ladder Operators
The most elegant solution uses creation and annihilation operators:
a = sqrt(m omega / 2 hbar) (x + i p / (m omega))
a† = sqrt(m omega / 2 hbar) (x - i p / (m omega))
These satisfy [a, a†] = 1. The Hamiltonian becomes:
H = hbar omega (a†a + 1/2) = hbar omega (N + 1/2)
where N = a†a is the number operator with eigenvalues n.
Raising and Lowering
a†|n> = sqrt(n+1)|n+1> creates one quantum of excitation.
a|n> = sqrt(n)|n-1> destroys one quantum. a|0> = 0, so the ground state cannot be lowered further.
The whole spectrum is built from the ground state by repeated application of a†. The algebra is the basis for second quantization, used in quantum field theory to describe creation and annihilation of particles [2].
Wave Functions
The position-representation wave functions are:
psi_n(x) = (m omega / pi hbar)^(1/4) [1 / sqrt(2^n n!)] H_n(sqrt(m omega / hbar) x) exp(-m omega x^2 / 2 hbar)
where Hn are Hermite polynomials.
Properties
- ψ_0: pure Gaussian, no nodes.
- ψn: n nodes (zeros) in the classically allowed region.
- Wave functions extend slightly into classically forbidden regions (tunneling tails).
- For large n, wave functions oscillate rapidly between turning points, matching the classical position distribution.
Coherent States
Coherent states |alpha> are eigenstates of a: a|alpha> = alpha|alpha>. They saturate the uncertainty relation and are the "most classical" quantum states. Their wave packets oscillate sinusoidally without spreading, exactly like a classical oscillator. Glauber introduced them as the standard description of laser light [3].
Squeezed States
Squeezed states redistribute the uncertainty: one variable (position or momentum) is squeezed below the coherent-state minimum, at the cost of widening the other. Used in LIGO to beat the standard quantum limit on gravitational-wave detection.
Applications
Molecular Vibrations
The vibrations of molecular bonds are approximately harmonic. Infrared spectroscopy reads off the vibrational transitions, which lie in the range 10-4000 cm^-1. Identifying molecules by their vibrational spectra is the foundation of IR spectroscopy.
Phonons in Solids
Crystal lattice vibrations are quantized as phonons — harmonic-oscillator excitations of the lattice modes. Phonons carry heat in solids, mediate electron-phonon coupling for superconductivity, and dominate low-temperature thermodynamics.
Photons
The electromagnetic field can be decomposed into harmonic oscillator modes. Each mode has a number operator counting photons. Quantum electrodynamics builds on this harmonic-oscillator structure.
Cavity QED
An atom in an optical cavity couples to a single field mode — a harmonic oscillator. The Jaynes-Cummings model describing this is a foundational system in quantum optics [4].
Ion Trap Quantum Computing
Trapped ions sit in approximately harmonic potentials. Quantum information is stored in internal states; ion motion is a harmonic oscillator that mediates two-qubit gates.
Quantum Field Theory
Every field in QFT, in the free (non-interacting) limit, decomposes into harmonic oscillators. Particles are quanta of these oscillators. The harmonic oscillator's mathematics underlies all of quantum field theory.
3D Oscillator
In three dimensions with potential V = 1/2momega^2(x^2 + y^2 + z^2):
En = hbaromega(n + 3/2)
where n = nx + ny + nz. The ground state has zero-point energy (3/2)hbaromega. Degeneracy grows quadratically with n.
The 3D isotropic oscillator also has solutions in spherical coordinates, with quantum numbers (n, l, m). The spherically symmetric structure allows angular-momentum eigenstates. Many nuclear-physics models use the 3D oscillator as a starting point for shell-model calculations.
Common Misconceptions
"Zero-point energy is harmless"
It is real and observable (Casimir effect, lamb shift, vacuum birefringence). What it isn't, despite popular claims, is extractable as free energy.
"The harmonic oscillator is just a toy model"
Approximately harmonic systems are everywhere in physics. Phonons, photons, molecular vibrations — all are harmonic oscillators. The model has central practical importance.
"Energy levels equally spaced means harmonic"
Equally-spaced levels are a strong indicator. Real systems often deviate (anharmonicity); diagnosing this from spectra is a standard technique.
"The quantum oscillator behaves nothing like a classical one"
In coherent states, it behaves remarkably like a classical oscillator — wave packets oscillate sinusoidally at frequency omega. The non-classical features show up in number states, squeezed states, and Fock-state superpositions.
"You can solve it without the ladder operator method"
Yes, direct ODE methods work. The ladder operator method is more elegant and generalizes naturally to QFT. Both approaches give the same physics.
FAQ
What's the largest n in a real oscillator?
Limited by anharmonicity and dissociation. Real molecular bonds break above ~10-30 vibrational quanta. Crystal phonons can have very large occupation at high temperature.
How is the harmonic oscillator related to the hydrogen atom?
Both have exact analytic solutions in 3D. They share the use of separation of variables in spherical coordinates and the appearance of special polynomial structures (Hermite for oscillator, Laguerre for hydrogen).
Can the oscillator be in an arbitrary state?
Yes — any normalized superposition of energy eigenstates is a valid state. Number states, coherent states, squeezed states, and arbitrary superpositions are all physically realizable.
What's the thermal population of harmonic oscillator levels?
At temperature T, the probability of being in level n is proportional to exp(-n hbar omega / k_B T). At high T, classical equipartition is recovered: <E> approx k_B T. At low T, the system stays in the ground state.
How is the oscillator related to the LC circuit?
Charge in a capacitor and current in an inductor obey simple harmonic motion equations. The quantum LC circuit is a harmonic oscillator — and is the basis of superconducting qubits in circuit QED.
Sources
- Griffiths, D. J. (2018). Introduction to Quantum Mechanics, 3rd ed.
- Sakurai, J. J., Napolitano, J. (2017). Modern Quantum Mechanics, 2nd ed.
- Glauber, R. J. (1963). "Coherent and incoherent states of the radiation field." Physical Review, 131(6), 2766-2788.
- Walls, D. F., Milburn, G. J. (2008). Quantum Optics, 2nd ed. Springer.
- Ashcroft, N. W., Mermin, N. D. (1976). Solid State Physics. (For phonons.)
- Peskin, M. E., Schroeder, D. V. (1995). An Introduction to Quantum Field Theory. (For field-theory oscillators.)