Quantum Harmonic Oscillator: Analytic Solution
Zoom in on almost any stable system in nature — a vibrating molecule, an atom in a crystal, a mirror hanging in a gravitational-wave detector — and near its resting point you will find the same potential: a parabola. Take any smooth well , Taylor-expand about the minimum, and the first surviving term is . That is why one exactly solvable problem — the quantum harmonic oscillator — shows up everywhere from infrared spectroscopy to the quantum theory of light itself. Learn this one system and you have learned the small-oscillation physics of the entire universe. The quantum version holds two surprises. First, the energies come in perfectly equal steps, — a ladder with identical rungs, which is precisely what lets us reinterpret the rungs as countable quanta: phonons in a crystal, photons in a field mode. Second, the bottom rung is not at zero. The oscillator can never stop moving; its ground state keeps of irreducible jiggle, a direct payout of the uncertainty principle that survives even at absolute zero. You already have the tools: the time-independent Schrödinger equation and the lesson of the infinite square well, where boundary conditions forced discrete energies. Here the same logic plays out more subtly — the "wall" is at infinity, and demanding that the wavefunction die there quantizes everything.
- The potential is the universal model for any system near stable equilibrium — molecules, lattices, field modes.
- Solving the Schrödinger equation directly: rescale to a dimensionless , peel off the Gaussian behavior forced at large , and attack what remains with a power series.
- The series must terminate or the wavefunction blows up like ; termination happens only at discrete energies — this is where quantization comes from.
- The result: , equally spaced rungs, with eigenfunctions built on Hermite polynomials with exactly nodes.
- The ground state is a pure Gaussian carrying zero-point energy — the particle cannot sit still without violating the uncertainty principle.
- Key idea: normalizability is the boundary condition — demanding the series terminate is exactly what quantizes the spectrum into equal steps of .
Strip off the Gaussian asymptotic factor, solve the leftover ODE by a power series, and demand termination for normalizability — termination is the quantization condition that produces and the Hermite-polynomial eigenfunctions.
Where this lives today
The oscillator is now an engineered object. Trapped ions in Paul traps are quantum oscillators whose motional rungs are individually addressable — sideband cooling drains them quantum by quantum down to the ground state, and quantum computers made of ions store information in superpositions of those rungs. Superconducting circuits do the same with microwave photons: a MEMS-scale LC resonator is an oscillator whose ladder you can watch being climbed one at a time. Zero-point motion, once a theoretical curiosity, is now a measured engineering constraint. LIGO's mirrors jiggle with quantum zero-point noise large enough to obscure gravitational waves; since 2019 the detectors inject squeezed light — oscillator states with uncertainty deliberately reshaped below the vacuum level in one quadrature — to beat it. And the Hermite–Gaussian functions lead a double life as the transverse mode profiles of laser beams — every optics lab that aligns a TEM₀₀ mode is handling the oscillator’s eigenfunctions. Every infrared spectrometer still reads molecular bond stiffness straight off the ladder, exactly as in the HCl example above.
The physical picture
A marble in a bowl, classically, has a perfectly happy lowest state: sitting motionless at the bottom, energy zero. Quantum mechanics forbids it. To sit at the bottom is to have definite position; to sit still is to have definite momentum; and refuses to grant both. The ground state is the optimal compromise — a soft Gaussian blur straddling the minimum, wide enough to keep the momentum spread affordable, narrow enough to keep the potential energy cheap. Balancing the two costs gives an energy of order , and the exact answer is : the zero-point energy. This is not a small correction; it is measurable in the residual vibrations of crystals at absolute zero and in the very existence of liquid helium. Climbing the ladder, each eigenfunction adds one node — wiggles times, just as in the square well — and pushes further into the classically forbidden region beyond the turning points, where the Gaussian envelope smothers it. The envelope is the potential's signature: parabolic walls force Gaussian decay, and every state, however excited, wears the same skin.
What is not like the square well is the spacing. The well's levels spread apart as ; the oscillator's march upward in identical steps of . That equality is the deep reason this problem underlies quantum field theory: adding one more quantum of energy always costs exactly the same, so you can talk about "the number of quanta" — and that number is what we call the number of photons or phonons. One more picture before the algebra — the quantum-to-classical handoff. A classical oscillator, photographed at random moments, is most often caught near the turning points where it moves slowest, so its time-averaged density diverges at the edges; the quantum ground state does the exact opposite and piles up at the center. Watch the two make peace as grows:
By the fast-wiggling quantum density already traces the classical curve, edge peaks and all — the correspondence principle arriving in a single frame. Here, as in the square well, quantum strangeness lives at small quantum numbers.
Setting up: one equation, no free parameters
The classical spring stores energy ; writing the stiffness as trades it for the frequency that a mass on that spring would actually oscillate at — the number an experimentalist measures. Hand this potential to the time-independent Schrödinger equation and the problem is posed in one line, asking the same question the infinite square well asked: for which energies does a normalizable standing wave exist? For a particle of mass in the parabolic well,
where: — the classical angular frequency of the spring; — the energy eigenvalue we must find; — a stationary state, required to vanish as . Read it as a tug-of-war: the first term charges for curvature (bending sharply costs kinetic energy), the second charges for spreading out into the rising walls. Unlike the square well there is no wall at any finite distance — the parabola climbs forever, so every state is bound, and the boundary condition moves out to infinity. That single demand, as , will do all the quantizing. The first move is to let the problem choose its own units. The constants , , build exactly one length, , and one energy, . Measuring position and energy in those units,
where: — dimensionless position; — dimensionless energy, twice the energy in units of . Every oscillator in the universe — a molecule, a trapped ion, a superconducting circuit — is now the same equation. Solve it once, solve it forever.
We want to reduce the full oscillator equation to something a power series can crack. The strategy is to interrogate the equation far from the origin, where the potential wall dominates everything, and factor that mandatory behavior out of the solution. What remains should be tame — polynomially tame. Watch the boundary condition at infinity: it is doing all the physics here, and it returns in the next derivation to quantize the energy.
Step 1. Look far from the origin. For , equation (2) is approximately , with solutions behaving like (check: ). Why: the walls dominate at large distance, and they dictate how every solution must behave out there.
Step 2. Throw away the growing branch. Only is normalizable; is physically meaningless. Why: must be finite — this is the oscillator's only boundary condition, and it will do all the quantizing.
Step 3. Factor out the envelope. Write and substitute. Differentiating twice gives , and the terms cancel against the potential, leaving
Why: with the violent Gaussian behavior removed, the residual function should be tame — our hope, soon confirmed, is that it is a mere polynomial. *Verified: equation (3) matches Griffiths §2.3.2; it is the Hermite equation, whose polynomial solutions satisfy with .*
Go deeper · Derivation B · 2 minThe power series and why quantization happens
This is the heart of the analytic method: turn the Hermite equation into algebra with a power series, and let normalizability decide which energies survive. We derive the two-term recursion among the coefficients, ask what an infinite series would cost, and discover it rebuilds exactly the forbidden growth we just discarded. The only escape is termination, and termination is possible only at special energies — that is where quantization comes from. Keep an eye on the recursion's numerator: one integer choice kills the series.
Step 1. Expand. Try ; the equation has no singular points, so this converges. Why: for a linear ODE with polynomial coefficients, a power series turns calculus into algebra.
Step 2. Match coefficients. Substituting and collecting powers of forces every coefficient to vanish separately:
Why: each power of is independent, so the equation becomes a two-step recursion — even powers from , odd powers from , decoupled.
Step 3. Ask what an infinite series costs. For large , — exactly the coefficient ratio of . A non-terminating grows like , so : the forbidden branch sneaks back in. Why: the differential equation is happy with any ; it is normalizability that objects.
Step 4. Terminate. The only escape is a numerator that vanishes: for some integer , cutting the series off as a degree- polynomial (with the other-parity series set to zero). Hence
Why: a continuous infinity of candidate energies collapses to a discrete ladder — the quantization is the price of a wavefunction that dies at infinity.
Step 5. Name the survivors. The terminating polynomials are the Hermite polynomials: , , , , each with exactly real zeros. The whole family is generated by the recurrence or by Rodrigues’ formula . The normalized eigenfunctions are
Why: normalization uses the classical orthogonality integral ; the form a complete orthonormal basis of every square-integrable function on the line. *Verified: recursion, termination, and spectrum agree with Shankar §7.3 and Cohen-Tannoudji Complement B_V.*
Go deeper · Derivation C · 1 minThe ground state, explicitly
The ladder needs a bottom rung, and this derivation exhibits it explicitly. With the ground state is a bare Gaussian, so the only work left is fixing the normalization constant with a single Gaussian integral. The payoff is the cleanest wavefunction in quantum mechanics — and the one state that saturates the uncertainty principle exactly.
Step 1. With , the ground state is a bare Gaussian, . Why: means the polynomial does nothing — the envelope is the whole state.
Step 2. Normalize: , using . Why: total probability must be one.
Step 3. So
This Gaussian saturates the uncertainty relation exactly: , the unique minimum-uncertainty state of the well. Why: of all trial shapes, the Gaussian is the cheapest possible truce between kinetic and potential energy. *Verified: standard Gaussian integral; matches every listed textbook.*
There is a second, far slicker road to (5): Dirac's ladder operators , which build the whole spectrum from the commutator with almost no calculus. You will meet it next in Ladder Operators and the Algebraic Oscillator — but the analytic route you just walked is the one that shows where the Gaussian, the Hermite polynomials, and the quantization actually come from.
Limiting cases
| Case | Result | Meaning |
|---|---|---|
| ground state | pure Gaussian, | the unique minimum-uncertainty state; zero-point energy |
| large | , density peaks at turning points | classical oscillator recovered — it lingers where it moves slowest |
| spacing | the well flattens away; discrete ladder dissolves into the free-particle continuum | |
| width | stiff spring / heavy mass: the state localizes at the bottom, classically | |
| any , large | every state wears the same Gaussian skin — the tail is set by the potential, not the energy |
Worked examples
1 · The vibrating HCl molecule (confidence builder)
An HCl molecule behaves as an oscillator: bond stiffness , reduced mass . Find the level spacing, the zero-point energy, and the wavelength of light absorbed in the transition.
Step 1. Angular frequency: .
Step 2. Level spacing: .
Step 3. Zero-point energy: — the molecule vibrates with this energy even at absolute zero.
Step 4. Absorbed photon: — squarely in the infrared, and within a percent of the measured HCl absorption band at . One spring constant, one reduced mass, and the oscillator spectrum is infrared spectroscopy.
2 · Trespassing in the forbidden zone (exam level)
For the ground state, what is the probability of finding the particle outside the classically allowed region?
Step 1. Locate the turning points: the classical oscillator with energy turns around where : , so — in dimensionless terms, .
Step 2. Write the probability outside. With (from equation 7),
Step 3. Evaluate: , so .
Step 4. Interpret. A classical marble with this energy cannot exist beyond ; the quantum ground state spends a sixth of its life there. This seepage is the same physics that becomes quantum tunnelling when the wall is thin enough to leak through.
Origins · 1 minMax Planck and how this was discovered
Planck did not set out to start a revolution. Confronted with the blackbody spectrum in 1900, he found he could fit the data only by assuming the cavity walls exchanged energy with radiation in discrete lumps — a move he called "an act of desperation" and expected to retract. The oscillator was thus the very first quantum system: quantization entered physics as a property of oscillating matter before anyone dared apply it to light or atoms. Planck spent years trying to reconcile his own constant with classical physics, and never fully embraced the theory it spawned — yet steps, the modern currency of photons and phonons, are his lumps, vindicated.
Going further
Texts. Griffiths & Schroeter, Introduction to Quantum Mechanics, 3rd ed., §2.3.2 (analytic method) · Shankar, Principles of Quantum Mechanics, §7.3 · Cohen-Tannoudji, Diu & Laloë, Vol. I, Complement B_V · Townsend, A Modern Approach to Quantum Mechanics, Ch. 7.
Provenance. All equations and numbers are standard textbook results. A verifier should recompute: (1) the nondimensionalization yielding with ; (2) the substitution giving ; (3) the recursion and its termination at ; (4) the spectrum ; (5) ground-state normalization via ; plus the worked numbers (, for HCl; ). Merged with the v3 pilot article (v3-quantum-harmonic-oscillator) at Step-2; AllQFT depth grafted onto the v3 narrative spine.
Prerequisites. Time-independent Schrödinger equation in 1D · bound vs. scattering states · the infinite square well. Leads to. Ladder operators & the algebraic oscillator · Hermite polynomials in depth · zero-point energy & the Casimir effect · coherent and squeezed states.
Does the particle really exist beyond the turning points, or is that just math?
It is measurably real — but subtle. The 16% is the probability that a position measurement finds the particle where a classical oscillator of the same energy could never be. There is no paradox about negative kinetic energy: a measurement sharp enough to certify the particle in the forbidden region localizes it so tightly that the uncertainty principle injects a momentum spread larger than the deficit. The tails also carry direct consequences — tunnelling rates and molecular polarizabilities are computed from exactly this seepage.
The recursion works fine for any energy, so why must the series terminate?
Because a non-terminating series is a perfectly good solution of the differential equation but a disastrous wavefunction. Its coefficients fall off like those of , so grows as , overwhelms the Gaussian envelope, and leaves — not normalizable. The equation accepts every ; the physical demand accepts only . Quantization is a boundary condition, not an algebraic accident.
Where exactly does the half in the zero-point energy come from?
From the in the Hermite equation. Termination requires , and since , the odd 1 becomes the half: . Physically it is the uncertainty principle's rent — the state must spread in both position and momentum, and the cheapest legal compromise costs exactly .
Why do all eigenfunctions share the same Gaussian tail, even at huge energies?
Because the large- analysis never consulted the energy. For the equation is regardless of , so every normalizable solution decays as . The energy only decides how far out the polynomial keeps the wavefunction lively before the envelope wins — the turning points sit at , but beyond them the skin is universal.
The square well gave energies growing as n squared — why equal spacing here?
The two problems quantize differently. Hard walls force modes whose curvature — hence kinetic energy — scales as . The parabola instead terminates the series at every other power, stepping the dimensionless energy by 2 per quantum: energy steps by a constant . That equal step is what makes counting quanta meaningful, and it is why the oscillator, not the box, underlies photons and phonons.
Is the n in the energy formula the same n as the number of nodes?
Yes, and it is not a coincidence. Termination at degree makes , a polynomial with exactly real zeros, so has nodes. This is the general 1D bound-state pattern — the ground state is nodeless, each excitation adds one node — and it hands you a free consistency check on any sketch or computation.