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 V(x)V(x), Taylor-expand about the minimum, and the first surviving term is 12V′′(x0)(x−x0)2\tfrac12 V''(x_0)(x-x_0)^2. 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, En=ℏω(n+12)E_n = \hbar\omega(n+\tfrac12) — 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 12ℏω\tfrac12\hbar\omega 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.

Key takeaways
  • The potential V(x)=12mω2x2V(x) = \tfrac12 m\omega^2 x^2 is the universal model for any system near stable equilibrium — molecules, lattices, field modes.
  • Solving the Schrödinger equation directly: rescale to a dimensionless ξ\xi, peel off the Gaussian behavior e−ξ2/2e^{-\xi^2/2} forced at large ∣ξ∣|\xi|, and attack what remains with a power series.
  • The series must terminate or the wavefunction blows up like e+ξ2/2e^{+\xi^2/2}; termination happens only at discrete energies — this is where quantization comes from.
  • The result: En=ℏω(n+12)E_n = \hbar\omega(n+\tfrac12), equally spaced rungs, with eigenfunctions ψn=NnHn(ξ)e−ξ2/2\psi_n = N_n H_n(\xi)e^{-\xi^2/2} built on Hermite polynomials with exactly nn nodes.
  • The ground state is a pure Gaussian carrying zero-point energy 12ℏω\tfrac12\hbar\omega — 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 ℏω\hbar\omega.
The core insight

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 En=ℏω(n+12)E_n = \hbar\omega(n+\tfrac12) 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 n=0n = 0 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 ℏω\hbar\omega 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 ℏω\hbar\omega 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 Δx Δp≥ℏ/2\Delta x\,\Delta p \geq \hbar/2 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 ℏω\hbar\omega, and the exact answer is 12ℏω\tfrac12\hbar\omega: 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 — ψn\psi_n wiggles nn 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 e−ξ2/2e^{-\xi^2/2} skin.

Figure
The oscillator's ladder — equal rungs inside a parabola
V(x) = ½mω²x² E₀ = ½ħω E₁ = 3/2 ħω E₂ = 5/2 ħω E₃ = 7/2 ħω ψ₀ ψ₁ ψ₂ ψ₃ zero-point gap ½ħω — never empty ħω displacement x

What is not like the square well is the spacing. The well's levels spread apart as n2n^2; the oscillator's march upward in identical steps of ℏω\hbar\omega. 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 nn grows:

Figure
Correspondence: by n = 12 the quantum density hugs the classical one
|ψ₁₂|² — probability piles up at the turning points classical time-averaged density (dashed) −x_tp +x_tp position x

By n=12n = 12 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 12kx2\tfrac12 kx^2; writing the stiffness as k=mω2k = m\omega^2 trades it for the frequency ω\omega 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 EE does a normalizable standing wave exist? For a particle of mass mm in the parabolic well,

−ℏ22md2ψdx2+12mω2x2 ψ=E ψ(1)-\frac{\hbar^2}{2m}\frac{d^2\psi}{dx^2} + \frac12 m\omega^2 x^2\,\psi = E\,\psi \qquad (1)

where: ω=k/m\omega = \sqrt{k/m} — the classical angular frequency of the spring; EE — the energy eigenvalue we must find; ψ(x)\psi(x) — a stationary state, required to vanish as ∣x∣→∞|x| \to \infty. Read it as a tug-of-war: the first term charges for curvature (bending ψ\psi 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, ψ→0\psi \to 0 as ∣x∣→∞|x| \to \infty, will do all the quantizing. The first move is to let the problem choose its own units. The constants mm, ω\omega, ℏ\hbar build exactly one length, ℏ/mω\sqrt{\hbar/m\omega}, and one energy, ℏω\hbar\omega. Measuring position and energy in those units,

d2ψdξ2=(ξ2−K)ψ,ξ=mωℏ x,K=2Eℏω(2)\frac{d^2\psi}{d\xi^2} = \left(\xi^2 - K\right)\psi, \qquad \xi = \sqrt{\frac{m\omega}{\hbar}}\,x, \quad K = \frac{2E}{\hbar\omega} \qquad (2)

where: ξ\xi — dimensionless position; KK — dimensionless energy, twice the energy in units of ℏω\hbar\omega. Every oscillator in the universe — a CO2\mathrm{CO_2} molecule, a trapped ion, a superconducting circuit — is now the same equation. Solve it once, solve it forever.

Derivation ATaming the equation — peel the Gaussian

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 ξ2≫K\xi^2 \gg K, equation (2) is approximately ψ′′≈ξ2ψ\psi'' \approx \xi^2\psi, with solutions behaving like e±ξ2/2e^{\pm\xi^2/2} (check: (e∓ξ2/2)′′=(ξ2∓1)e∓ξ2/2≈ξ2e∓ξ2/2(e^{\mp\xi^2/2})'' = (\xi^2 \mp 1)e^{\mp\xi^2/2} \approx \xi^2 e^{\mp\xi^2/2}). 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 e−ξ2/2e^{-\xi^2/2} is normalizable; e+ξ2/2e^{+\xi^2/2} is physically meaningless. Why: ∫∣ψ∣2dx\int|\psi|^2 dx 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 ψ(ξ)=h(ξ) e−ξ2/2\psi(\xi) = h(\xi)\,e^{-\xi^2/2} and substitute. Differentiating twice gives ψ′′=(h′′−2ξh′+(ξ2−1)h)e−ξ2/2\psi'' = (h'' - 2\xi h' + (\xi^2-1)h)e^{-\xi^2/2}, and the ξ2\xi^2 terms cancel against the potential, leaving

d2hdξ2−2ξdhdξ+(K−1) h=0(3)\frac{d^2h}{d\xi^2} - 2\xi\frac{dh}{d\xi} + (K-1)\,h = 0 \qquad (3)

Why: with the violent Gaussian behavior removed, the residual function hh 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 Hn′′−2ξHn′+2nHn=0H_n'' - 2\xi H_n' + 2nH_n = 0 with K−1=2nK - 1 = 2n.*

Go deeper · Derivation B · 2 minThe power series and why quantization happens
Derivation BThe 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 e+ξ2/2e^{+\xi^2/2} 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 h(ξ)=∑j=0∞aj ξjh(\xi) = \sum_{j=0}^{\infty} a_j\,\xi^j; 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 ξj\xi^j forces every coefficient to vanish separately:

aj+2=2j+1−K(j+1)(j+2) aj(4)a_{j+2} = \frac{2j + 1 - K}{(j+1)(j+2)}\,a_j \qquad (4)

Why: each power of ξ\xi is independent, so the equation becomes a two-step recursion — even powers from a0a_0, odd powers from a1a_1, decoupled.

Step 3. Ask what an infinite series costs. For large jj, aj+2/aj→2/ja_{j+2}/a_j \to 2/j — exactly the coefficient ratio of eξ2=∑ξ2k/k!e^{\xi^2} = \sum \xi^{2k}/k!. A non-terminating hh grows like e+ξ2e^{+\xi^2}, so ψ=h e−ξ2/2∼e+ξ2/2\psi = h\,e^{-\xi^2/2} \sim e^{+\xi^2/2}: the forbidden branch sneaks back in. Why: the differential equation is happy with any KK; it is normalizability that objects.

Step 4. Terminate. The only escape is a numerator that vanishes: 2n+1−K=02n + 1 - K = 0 for some integer nn, cutting the series off as a degree-nn polynomial (with the other-parity series set to zero). Hence

K=2n+1⟹En=ℏω(n+12),n=0,1,2,…(5)K = 2n+1 \quad\Longrightarrow\quad E_n = \hbar\omega\left(n + \tfrac12\right), \qquad n = 0, 1, 2, \dots \qquad (5)

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: H0=1H_0 = 1, H1=2ξH_1 = 2\xi, H2=4ξ2−2H_2 = 4\xi^2 - 2, H3=8ξ3−12ξH_3 = 8\xi^3 - 12\xi, each with exactly nn real zeros. The whole family is generated by the recurrence Hn+1=2ξHn−2nHn−1H_{n+1} = 2\xi H_n - 2nH_{n-1} or by Rodrigues’ formula Hn(ξ)=(−1)neξ2dndξne−ξ2H_n(\xi) = (-1)^n e^{\xi^2}\tfrac{d^n}{d\xi^n}e^{-\xi^2}. The normalized eigenfunctions are

ψn(x)=(mωπℏ)1/412n n! Hn(ξ) e−ξ2/2(6)\psi_n(x) = \left(\frac{m\omega}{\pi\hbar}\right)^{1/4}\frac{1}{\sqrt{2^n\,n!}}\,H_n(\xi)\,e^{-\xi^2/2} \qquad (6)

Why: normalization uses the classical orthogonality integral ∫HmHne−ξ2dξ=π 2nn! δmn\int H_m H_n e^{-\xi^2}d\xi = \sqrt{\pi}\,2^n n!\,\delta_{mn}; the ψn\psi_n 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
Derivation CThe ground state, explicitly

The ladder needs a bottom rung, and this derivation exhibits it explicitly. With H0=1H_0 = 1 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 H0=1H_0 = 1, the ground state is a bare Gaussian, ψ0=N0 e−mωx2/2ℏ\psi_0 = N_0\,e^{-m\omega x^2/2\hbar}. Why: n=0n = 0 means the polynomial does nothing — the envelope is the whole state.

Step 2. Normalize: ∣N0∣2∫−∞∞e−mωx2/ℏ dx=∣N0∣2πℏ/mω=1|N_0|^2 \int_{-\infty}^{\infty} e^{-m\omega x^2/\hbar}\,dx = |N_0|^2\sqrt{\pi\hbar/m\omega} = 1, using ∫e−αx2dx=π/α\int e^{-\alpha x^2}dx = \sqrt{\pi/\alpha}. Why: total probability must be one.

Step 3. So

ψ0(x)=(mωπℏ)1/4e−mωx2/2ℏ,E0=12ℏω(7)\psi_0(x) = \left(\frac{m\omega}{\pi\hbar}\right)^{1/4} e^{-m\omega x^2/2\hbar}, \qquad E_0 = \tfrac12\hbar\omega \qquad (7)

This Gaussian saturates the uncertainty relation exactly: Δx Δp=ℏ/2\Delta x\,\Delta p = \hbar/2, 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 a^,a^†\hat a, \hat a^\dagger, which build the whole spectrum from the commutator [x^,p^]=iℏ[\hat x, \hat p] = i\hbar 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

CaseResultMeaning
ground state n=0n=0pure Gaussian, Δx Δp=ℏ/2\Delta x\,\Delta p = \hbar/2the unique minimum-uncertainty state; zero-point energy 12ℏω\tfrac12\hbar\omega
large nnEn≈nℏωE_n \approx n\hbar\omega, density peaks at turning pointsclassical oscillator recovered — it lingers where it moves slowest
ω→0\omega \to 0spacing ℏω→0\hbar\omega \to 0the well flattens away; discrete ladder dissolves into the free-particle continuum
mω→∞m\omega \to \inftywidth ℏ/mω→0\sqrt{\hbar/m\omega} \to 0stiff spring / heavy mass: the state localizes at the bottom, classically
any nn, large ∣ξ∣\lvert\xi\rvertψn∼e−ξ2/2\psi_n \sim e^{-\xi^2/2}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 k=480 N/mk = 480\ \mathrm{N/m}, reduced mass μ=mHmCl/(mH+mCl)=1.63×10−27 kg\mu = m_H m_{Cl}/(m_H + m_{Cl}) = 1.63\times10^{-27}\ \mathrm{kg}. Find the level spacing, the zero-point energy, and the wavelength of light absorbed in the n=0→1n=0 \to 1 transition.

Step 1. Angular frequency: ω=k/μ=480/1.63×10−27=5.43×1014 rad/s\omega = \sqrt{k/\mu} = \sqrt{480/1.63\times10^{-27}} = 5.43\times10^{14}\ \mathrm{rad/s}.

Step 2. Level spacing: ℏω=(1.055×10−34)(5.43×1014)=5.73×10−20 J=0.358 eV\hbar\omega = (1.055\times10^{-34})(5.43\times10^{14}) = 5.73\times10^{-20}\ \mathrm{J} = 0.358\ \mathrm{eV}.

Step 3. Zero-point energy: E0=12ℏω=0.179 eVE_0 = \tfrac12\hbar\omega = 0.179\ \mathrm{eV} — the molecule vibrates with this energy even at absolute zero.

Step 4. Absorbed photon: λ=hc/ℏω=1240 eV nm/0.358 eV=3.47 μm\lambda = hc/\hbar\omega = 1240\ \mathrm{eV\,nm}/0.358\ \mathrm{eV} = \boxed{3.47\ \mathrm{\mu m}} — squarely in the infrared, and within a percent of the measured HCl absorption band at 3.46 μm3.46\ \mathrm{\mu m}. 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 E0=12ℏωE_0 = \tfrac12\hbar\omega turns around where V=E0V = E_0: 12mω2xtp2=12ℏω\tfrac12 m\omega^2 x_{tp}^2 = \tfrac12\hbar\omega, so xtp=±ℏ/mωx_{tp} = \pm\sqrt{\hbar/m\omega} — in dimensionless terms, ξ=±1\xi = \pm 1.

Step 2. Write the probability outside. With ∣ψ0(ξ)∣2=e−ξ2/π|\psi_0(\xi)|^2 = e^{-\xi^2}/\sqrt{\pi} (from equation 7),

Pout=2π∫1∞e−ξ2 dξ=1−erf⁡(1)P_{\text{out}} = \frac{2}{\sqrt{\pi}}\int_{1}^{\infty} e^{-\xi^2}\,d\xi = 1 - \operatorname{erf}(1)

Step 3. Evaluate: erf⁡(1)=0.8427\operatorname{erf}(1) = 0.8427, so Pout=0.157≈16%P_{\text{out}} = \boxed{0.157 \approx 16\%}.

Step 4. Interpret. A classical marble with this energy cannot exist beyond ±xtp\pm x_{tp}; 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.

Figure
Where a classical particle cannot go, the ground state lives 16% of the time
quantum |ψ₀|² classical, same energy −x_tp +x_tp 16% of the probability lives out here (both tails) position x
Origins · 1 minMax Planck and how this was discovered
MP
Max Planck
1858–1947 · Berlin

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 E=hνE = h\nu — 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 ℏω\hbar\omega steps, the modern currency of photons and phonons, are his lumps, vindicated.

History
1900
— Planck quantizes the energy exchange of material oscillators, E=hνE = h\nu, to fit the blackbody spectrum — the first quantum system.
1907
— Einstein models a crystal as quantized oscillators, explaining why specific heats collapse at low temperature.
1925
— Heisenberg's first matrix-mechanics paper solves the oscillator algebraically — the new mechanics' first exact solution, zero-point energy included.
1926
— Schrödinger's wave mechanics re-derives the spectrum analytically: Hermite polynomials, Gaussian envelope, En=ℏω(n+12)E_n = \hbar\omega(n+\tfrac12).
1926
— Schrödinger also constructs the oscillator’s coherent states — rigid Gaussian packets that swing without spreading, today the standard description of laser light.
1927
— Dirac quantizes the electromagnetic field as a collection of oscillators: photons become oscillator quanta, and quantum field theory begins.

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 ψ′′=(ξ2−K)ψ\psi''=(\xi^2-K)\psi with K=2E/ℏωK=2E/\hbar\omega; (2) the substitution ψ=h e−ξ2/2\psi=h\,e^{-\xi^2/2} giving h′′−2ξh′+(K−1)h=0h''-2\xi h'+(K-1)h=0; (3) the recursion aj+2=2j+1−K(j+1)(j+2)aja_{j+2}=\frac{2j+1-K}{(j+1)(j+2)}a_j and its termination at K=2n+1K=2n+1; (4) the spectrum En=(n+12)ℏωE_n=(n+\tfrac12)\hbar\omega; (5) ground-state normalization via ∫e−αx2dx=π/α\int e^{-\alpha x^2}dx=\sqrt{\pi/\alpha}; plus the worked numbers (ℏω=0.358 eV\hbar\omega = 0.358\ \mathrm{eV}, λ=3.47 μm\lambda = 3.47\ \mathrm{\mu m} for HCl; Pout=1−erf⁡(1)=0.157P_{\text{out}} = 1-\operatorname{erf}(1) = 0.157). 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 eξ2e^{\xi^2}, so hh grows as e+ξ2e^{+\xi^2}, overwhelms the Gaussian envelope, and leaves ψ∼e+ξ2/2\psi \sim e^{+\xi^2/2} — not normalizable. The equation accepts every KK; the physical demand ∫∣ψ∣2 dx<∞\int|\psi|^2\,dx < \infty accepts only K=2n+1K = 2n+1. Quantization is a boundary condition, not an algebraic accident.

Where exactly does the half in the zero-point energy come from?

From the K−1K - 1 in the Hermite equation. Termination requires K=2n+1K = 2n + 1, and since K=2E/ℏωK = 2E/\hbar\omega, the odd 1 becomes the half: En=(n+12)ℏωE_n = (n + \tfrac12)\hbar\omega. Physically it is the uncertainty principle's rent — the state must spread in both position and momentum, and the cheapest legal compromise costs exactly 12ℏω\tfrac12\hbar\omega.

Why do all eigenfunctions share the same Gaussian tail, even at huge energies?

Because the large-ξ\xi analysis never consulted the energy. For ξ2≫K\xi^2 \gg K the equation is ψ′′≈ξ2ψ\psi'' \approx \xi^2\psi regardless of KK, so every normalizable solution decays as e−ξ2/2e^{-\xi^2/2}. The energy only decides how far out the polynomial keeps the wavefunction lively before the envelope wins — the turning points sit at ξ=±2n+1\xi = \pm\sqrt{2n+1}, 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 sin⁡(nπx/L)\sin(n\pi x/L) modes whose curvature — hence kinetic energy — scales as n2n^2. The parabola instead terminates the series at every other power, stepping the dimensionless energy KK by 2 per quantum: energy steps by a constant ℏω\hbar\omega. 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 nn makes h=Hnh = H_n, a polynomial with exactly nn real zeros, so ψn\psi_n has nn 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.

Before this

Where this leads