WKB Quantization and the Bohr-Sommerfeld Condition
The WKB quantization condition is the rule that turns the semiclassical wavefunction into a spectrum. Take the WKB solution inside a potential well, demand that it decay into the forbidden regions beyond both turning points, and consistency forces the action accumulated over one classical period to be quantized: . This is the Bohr–Sommerfeld condition — the heart of the old quantum theory — now derived, and crucially corrected by the , from wave mechanics. The article owns that derivation. The WKB wavefunction, its amplitude, and its turning-point breakdown are supplied by The WKB Approximation; the connection formulae that carry a phase across each soft turning point are supplied by WKB Connection Formulae; the raw phase-integral rule and the Maslov ledger belong to Bohr–Sommerfeld and Semiclassical Quantization in 1D. What we derive here is how those pieces combine: matching the decaying tails through both turning points, adding the two shifts, and reading off the half-integer. We prove where the comes from — it is not Bohr's integer but the sum of two Maslov quarter-turns — and we make the counting explicit for wells with soft turning points, hard walls, and mixtures. The centerpiece is a structural theorem: WKB is exact for the harmonic oscillator. We evaluate the action integral in closed form and land on with zero error for every — a genuine coincidence of the two-soft-turning-point structure, proved symbolically. Against it we place the honest contrast: for a hard-walled box the correct Maslov count ( per wall) reproduces the exact spectrum too, but the naive soft-turning-point rule misapplied to the box is only asymptotically right, off by at the ground state. The condition also carries a deep reading: each quantum state occupies a phase-space cell of area . That single sentence is the semiclassical density of states, the correspondence principle (), and the bridge to statistical mechanics. Tunneling — the analytic continuation into the forbidden region — is deferred by name to WKB Tunneling and the Gamow Factor.
- The Bohr–Sommerfeld / WKB quantization condition is , equivalently between the two turning points.
- It is derived by matching the WKB solution to decaying exponentials beyond both turning points, using the connection formulae; each soft turning point contributes a phase, and the two sum to the (the Maslov index).
- The is the wave-mechanical correction to Bohr's integer rule — it is Maslov bookkeeping, not an arbitrary offset.
- WKB is EXACT for the harmonic oscillator: the action integral evaluates to , giving for all with zero error (proved symbolically).
- The Maslov count is potential-dependent: two soft turning points give ; two hard walls give the box rule (exact); a soft-plus-hard pair gives . Using blindly for a box is off by at .
- The condition says each state occupies a phase-space cell of area — the semiclassical density of states, and the correspondence principle .
- Key idea: match the WKB wave to decaying tails through both turning points; the two connection shifts force , exact for the oscillator and asymptotic in general.
Between two classical turning points the WKB wave must connect to decaying exponentials on both sides. Applying the connection formula at each end attaches a phase, and demanding a single consistent oscillation in between forces the accumulated action to equal . The is the sum of the two quarter-turns — the Maslov index — and it makes WKB exact for the harmonic oscillator.
Where this lives today
The half-integer quantization rule is the semiclassical spine of modern physics. Its immediate application is molecular spectroscopy: vibrational term values of diatomics come straight from the Bohr–Sommerfeld integral, and the RKR (Rydberg–Klein–Rees) method runs it backwards to reconstruct a potential curve from measured levels. In atomic physics the same integral with the Langer replacement recovers the Bohr energies and explains quantum defects of penetrating states. The phase-space-cell reading — one state per area — is the semiclassical density of states behind the Thomas–Fermi atom and the classical limit of statistical mechanics. Generalized to several degrees of freedom it becomes EBK (Einstein–Brillouin–Keller) torus quantization for integrable systems and, for chaotic ones, Gutzwiller's periodic-orbit trace formula. The tunneling continuation of this same machinery is WKB Tunneling and the Gamow Factor; the raw phase-integral rule and its Maslov ledger are Bohr–Sommerfeld and Semiclassical Quantization in 1D, which this article's derivation consumes by name.
The physical picture
Picture a marble rolling in a smooth bowl. Where it moves fast (deep in the well) the de Broglie wavelength is short and the wave wiggles rapidly; near the turning points the marble slows, stretches, and the amplitude swells. The bound state is a standing wave: as the disturbance runs from one turning point to the other and back, it must return to itself in phase. The accumulated phase is — but each reflection off a soft turning point is not a hard bounce; the connection formula shows it costs an extra . Two soft reflections per round trip cost , which is exactly the . The cleanest way to see the rule is in phase space. A classical orbit of energy traces a closed loop in the plane, and is the area it encloses. The quantization condition says the allowed orbits enclose areas — one Planck cell per state, offset by half a cell. For the harmonic oscillator these loops are ellipses of area , so the levels sit at equal area intervals of , and the -cell offset is the zero-point energy. The figure shows the nested ellipses and the staircase of enclosed areas.
There is a subtlety the figure cannot show but the derivation makes precise: the is not universal. It is the sum of Maslov contributions, one quarter per soft turning point. A well with two soft turning points (like the oscillator) gives ; a half-well against a hard wall gives ; a hard-walled box gives the integer-node count. The second figure contrasts the two headline cases — the oscillator, where WKB is exact, and the box, where the soft rule misapplied is only asymptotic — plotting the fractional error against quantum number.
The core equations
We assemble the condition from pieces the neighbours own. The starting point is the WKB wavefunction in a classically allowed well, which oscillates with the local momentum and amplitude . In an allowed region () the general WKB solution is a two-term oscillation.
where: — constants fixed by the connection conditions; . Physical read: a standing wave whose local wavelength tracks the classical momentum. Beyond a turning point the region is forbidden and a bound state must keep only the decaying exponential.
where: — a turning point; — amplitude of the decaying tail. Physical read: normalizability forbids the growing branch. Crossing a soft turning point relates the decaying tail to a cosine on the allowed side, with a definite phase — the connection formula (derived in WKB Connection Formulae, consumed here).
where: the factor and the come from the Airy asymptotics; this is the piece owned by the connection-formula article. Combining the two connections gives the quantization condition, written between the turning points or as a loop.
where: — the two turning points of the well; — the number of interior nodes; — one full classical period. Physical read: allowed orbits enclose Planck cells of phase-space area.
The goal is to obtain the quantization condition by requiring a WKB bound state to decay beyond both turning points simultaneously. We consume the connection formula (owned next door) at each end, write the interior oscillation two ways — connecting inward from the right turning point and inward from the left — and demand the two descriptions agree. Consistency of a single physical wave forces the accumulated action to a half-integer multiple of . The two Maslov shifts, one per soft turning point, are what produce the .
Result. .
Step 1. Beyond the right turning point keep only the decaying tail, then connect inward: the interior wave is . Why: normalizability kills the growing exponential on the right; the connection formula attaches a as the wave enters the allowed region.
Step 2. Beyond the left turning point do the same, connecting inward from the left: . Why: the identical logic on the left produces its own ; both turning points are soft, so both contribute a quarter-turn.
Step 3. These two cosines describe the same interior wave, so their phases may differ only by a multiple of (up to an overall sign).
Why: a single-valued standing wave cannot have two inconsistent phase descriptions; the freedom is exactly , which is what indexes the states.
Step 4. The -dependent parts combine into the full action integral; the two quarter-turns add to .
Why: independent of the interior point ; the two 's are the Maslov sum.
Step 5. Solve.
Why: the is the sum of the two soft-turning-point Maslov quarter-turns — the wave-mechanical correction to Bohr's integer rule . *Verified: verify_aq-qm-wkb-quantization-condition.py confirms the two shifts sum to the rational , and that the next derivation reproduces the exact oscillator spectrum from this rule.*
Go deeper · Derivation B · 1 minWKB is exact for the harmonic oscillator
This is the structural theorem the article owns: not merely that WKB is good for the oscillator, but that it is exact for every level, and why. The engine is a single closed-form integral. We compute the action for the parabolic potential symbolically, insert it into the quantization condition, and land on the exact ladder with identically zero error — a genuine coincidence of the two-soft-turning-point structure, not an approximation that happens to be close.
Result. , exact for all .
Step 1. For the turning points are with , and . Why: fixes the classical amplitude ; the momentum vanishes there and is real in between.
Step 2. Evaluate the action integral in closed form (substitute ).
Why: the integral is the area of a half-ellipse in ; the 's cancel and it collapses to exactly — verified symbolically, not numerically.
Step 3. Impose the quantization condition (4).
Why: the oscillator has two soft turning points, so the form applies without modification.
Step 4. Solve for the spectrum.
Why: this matches the exact ladder-operator result for every , zero-point energy included. The exactness is special to the quadratic potential — for a general smooth well the higher-order corrections to the phase do not vanish and WKB is only asymptotically accurate. *Verified: verify_aq-qm-wkb-quantization-condition.py evaluates symbolically to and solves to exactly; it also checks (the correspondence-principle spacing).*
Limiting cases
The quantization shift depends on the boundary structure; the validity depends on how slowly the wavelength varies (owned by The WKB Approximation).
| Case | Result | Meaning |
|---|---|---|
| Two soft turning points | Generic smooth well (oscillator, Morse). Maslov index , shift . | |
| One soft, one hard wall | Bouncing ball, half-harmonic well. Soft gives , hard wall (node) gives . | |
| Two hard walls (box) | Infinite square well. WKB with this count reproduces exactly, . | |
| Large quantum number | Level spacing equals the classical orbital frequency times — the correspondence principle. | |
| Harmonic oscillator | The action integral is exactly ; WKB is exact for all . |
Worked examples
Example 1 — the oscillator action integral, end to end. Compute for and read off the spectrum. Work in natural units and take the level .
Step 1. At the turning points are ; the momentum is .
Step 2. Substitute : . (With this is the general .)
Step 3. Impose , i.e. .
Step 4. For : , identical to the exact ladder-operator value — no error, as the theorem promises. The action integral evaluated to symbolically confirms exactness for every , not just .
Example 2 — the box, right way and wrong way. Compare the WKB spectrum of an infinite square well of width (natural units , ) computed with the correct hard-wall count versus the naive soft rule, at and .
Step 1. The exact spectrum is , . The momentum is constant, , so .
Step 2. Correct (two hard walls): the rule is , giving . With this is exact for every — zero error at and alike.
Step 3. Wrong (soft rule misapplied): . At this gives versus the exact — a shortfall.
Step 4. At the wrong rule gives versus the exact : an error of . The mistake shrinks as grows (asymptotic recovery) but never vanishes — the honest lesson that the Maslov count, not a universal , is what makes WKB exact for the box.
Physicist
Origins · 1 minBohr-Sommerfeld Quantization and how this was discovered
The condition was the organizing principle of the old quantum theory. Bohr's 1913 hydrogen model quantized angular momentum; Sommerfeld generalized it in 1915–16 to for each separable coordinate, quantizing elliptical Kepler orbits and — with a relativistic correction — even producing the hydrogen fine-structure formula before Dirac. The rule was empirically astonishing and conceptually opaque: no one knew why phase-space areas should be integer multiples of . Wave mechanics answered that in 1926: the WKB analysis reproduces the rule, explains it as a standing-wave condition, and corrects the integer to through the Maslov phases. The old quantum theory was not so much overthrown as derived — with a half-quantum of interest.
Going further
References. Griffiths & Schroeter, Introduction to Quantum Mechanics, 3rd ed., Ch. 9 · Sakurai & Napolitano, Modern Quantum Mechanics, 2nd ed., Sec. 2.5 · Shankar, Principles of Quantum Mechanics, 2nd ed., Ch. 16 · Cohen-Tannoudji, Diu & Laloë, Quantum Mechanics, Complement H_III / B_XI · Townsend, A Modern Approach to Quantum Mechanics, Ch. 10. This article owns the derivation of the quantization condition and the WKB-exact-for-the-oscillator theorem. The WKB wavefunction and validity condition are The WKB Approximation; the connection formulae are WKB Connection Formulae, consumed here; the phase-integral rule and Maslov ledger (the toll and the quartic-well accuracy staircase and the neutron-bouncer levels) are Bohr–Sommerfeld and Semiclassical Quantization in 1D, recalled by name and never re-owned. Tunneling is WKB Tunneling and the Gamow Factor; the Langer-correction radial theory and higher-order quantization corrections are deferred to the graduate register.
**Provenance.*All equations are standard semiclassical results. A verifier should: (1) confirm the -expansion of yields the eikonal and transport equations (Griffiths 3e Ch. 9; Shankar Ch. 16); (2) recompute the harmonic-oscillator action integral giving exactly; (3) verify the Airy-asymptotic connection formulas with the shift (Sakurai 2e Sec. 2.5; Cohen-Tannoudji Complement BXI); (4) check the Maslov-index rule (1/4 per soft turning point, 1/2 per hard wall) against the infinite square well result ; (5) confirm Bohr energies from the radial integral with the Langer correction. Numerical constant is the standard Rydberg energy.
Builds on: Time-Independent Schrödinger Equation · Classical Action and Hamilton–Jacobi Theory · Airy Functions · Correspondence Principle Leads to: WKB Tunneling and the Gamow Factor · Fine Structure of Hydrogen · Non-Degenerate Time-Independent Perturbation Theory
Why is it called both "Bohr–Sommerfeld" and "WKB" quantization?
They are the same rule reached from two directions. Bohr (1913) and Sommerfeld (1915–16) postulated as the quantization axiom of the old quantum theory. WKB (1926) derives it from wave mechanics as a standing-wave/connection-formula condition — and in doing so corrects the integer to via the Maslov phases. "Bohr–Sommerfeld" honours the historical postulate; "WKB quantization" honours the derivation that explained and corrected it.
Is the ½ always ½?
No — this is the most important caveat. The additive constant is where is the Maslov index, counting per soft turning point and per hard wall (a node). Two soft turning points give ; a soft-plus-hard pair gives ; two hard walls give the integer-node box count. Blindly using for a box is off by at the ground state.
If WKB is approximate, how can it be exact for the oscillator?
The WKB error lives in the turning-point regions, where the potential is linearized and matched to an Airy function. For the quadratic oscillator the action integral is exactly and the two phases are exactly right, so the quantization integral has no residual error. It is a genuine coincidence of the parabolic potential — the higher-order corrections to the phase happen to sum to zero. No other elementary potential shares this except through similar special structure.
Why does each state occupy phase-space area h?
Differentiating with respect to gives per unit increase in : consecutive orbits enclose areas differing by exactly . So the number of states below energy is the enclosed phase-space area divided by . This is the semiclassical density of states and the origin of the "one state per Planck cell" rule that underlies statistical mechanics' classical limit.
How does WKB handle the hydrogen atom?
Apply the radial integral with the Langer replacement in the centrifugal term. Without Langer the WKB energies are wrong; with it they reproduce the exact Bohr levels . The Langer correction fixes the singularity where a naive linearization fails, and its full justification is a graduate-register topic.
Does the derivation assume both turning points are "soft"?
Yes — the two-connection-formula derivation attaches a at each linear (soft) turning point, giving the result. If a boundary is a hard wall the wavefunction must vanish there (a node), which is a different phase condition ( contribution), and the count changes accordingly. The derivation here is the two-soft-turning-point case; the limiting-cases table lists the others.