Validity and Breakdown of WKB
The WKB approximation gives a wavefunction that is often astonishingly accurate — and yet the very same construction contains, in plain sight, the seeds of its own failure. This article owns the honest accounting: where WKB can be trusted, where it cannot, and why. The companion article that built the WKB wavefunction stated the slowly-varying condition and pointed at the turning points; here we sharpen that statement into a single dimensionless number, sort every breakdown into one of three mechanisms, and turn the most dangerous one into a repair that makes WKB exact. The organizing quantity is the validity ratio — the fractional change of the de Broglie wavelength over one wavelength. We show it takes several equivalent forms and that all of them measure the same thing: is the potential smooth on the scale of the local wavelength? With that number in hand the breakdown taxonomy is clean. First, turning points, where sends the ratio to infinity — the divergence the connection-formula article repairs with an Airy patch of width . Second, rapidly-varying or singular potentials, where changes too fast even away from ; the centrifugal is the canonical offender, and it is why naive radial WKB gets hydrogen wrong. That second failure is where this article does its owned work. The cure is the Langer replacement , and we do more than quote it: we derive why it is forced and prove, symbolically, that the Langer-corrected radial phase integral reproduces the exact hydrogen spectrum and the exact three-dimensional oscillator ladder. Third, the asymptotic nature of the series itself: WKB is not convergent, it has an optimal truncation, and its irreducible error is the exponentially small scale that the tunneling article cashes. This is the chapter closer for approximation methods.
- The single validity number is , equivalently — the wavelength must change by little over its own length.
- Three breakdown modes: (1) turning points (ratio ; cured by the Airy patch, width ); (2) rapidly-varying/singular potentials (steps, hard walls, the centrifugal ); (3) the asymptotic non-convergence of the -series (optimal truncation, error ).
- The centrifugal failure is repaired by the Langer substitution in the radial WKB integral.
- Proved here: with Langer, the radial Bohr–Sommerfeld integral gives the exact Coulomb spectrum and the exact isotropic 3D-oscillator spectrum ; the naive misses both.
- The reason Langer works: the substitution maps the half-line radial problem to a full-line problem, and is exactly the squared momentum there — the extra is .
- WKB is an asymptotic expansion, not a convergent one: keeping more terms eventually makes the answer worse. The best you can do is the optimal truncation, with an exponentially small residual.
- Key idea: one dimensionless ratio controls WKB; it fails in exactly three ways, and the singular-potential failure is cured — and made exact — by the Langer correction.
WKB's trustworthiness is measured by one number, . It fails in three ways: at turning points (), for rapidly-varying or singular potentials, and through the asymptotic non-convergence of the series. The singular-potential failure — the centrifugal — is repaired by the Langer replacement , which we prove makes radial WKB reproduce the exact hydrogen and 3D-oscillator spectra.
Where this lives today
The validity ratio and the Langer correction are the daily working knowledge of anyone who uses semiclassics. In atomic and molecular physics, Langer-corrected WKB gives accurate Rydberg and vibrational levels and underlies the RKR inversion that reconstructs molecular potentials from spectra. In nuclear and reaction physics the same asymptotic tail is the Gamow tunneling exponent. Uniform approximations — which smoothly bridge the bulk and the turning-point regions without a separate Airy patch — are the modern refinement, together with exact WKB and resurgence theory, where the divergent asymptotic series is resummed through its Borel transform and the Stokes phenomenon is turned from a nuisance into structure. The graduate-register treatment of higher-order corrections, complex turning points, and multidimensional (EBK) quantization is The WKB Approximation at QM11 level, which recalls this article by name. With this closer the approximation-methods chapter is complete.
The physical picture
The WKB wavefunction is a locally-plane wave whose wavelength breathes with the classical momentum. That picture is only self-consistent if the wave looks plane over a wavelength — if barely changes across one period. Quantify "barely changes" and you get the validity ratio. Everything in this article is a consequence of watching that one ratio. The first figure is the article's thesis in one frame. It plots the validity ratio across a harmonic well. In the bulk the ratio hugs the axis — WKB is not merely "good" there, it is essentially exact. But watch the two ends: as approaches either turning point the ratio erupts through the threshold and shoots to infinity. This is not a numerical artefact and not special to the oscillator; it is the in the denominator, guaranteed at every classical turning point of every smooth potential. The good region is a shaded interior; the breakdown regions are thin, unavoidable, and always at the edges.
The second reading turns the same ratio into a decision rule. Because depends on both the energy and the potential, "slowly varying" is not a property of the potential alone. A steep potential can be perfectly WKB-friendly for a fast, high-energy particle, and a gentle one can defeat WKB for a slow particle near a turning point. What matters is the wavelength, and the wavelength depends on how fast the particle is moving right there. The three failure modes are just the three ways the ratio can be forced large: (turning points), (steep/singular potentials), or the neglected higher-order term refusing to shrink (the asymptotic tail).
The validity criterion, sharpened
The WKB wavefunction owner derived the amplitude and the phase from an -expansion ; it also stated the slowly-varying condition and pointed at the turning points. Our job is to make that criterion into a working number and to prove it is the same statement as "the next term in the series is negligible." The natural variable is the local momentum, which sets both the wavelength and the amplitude.
where: — local classical momentum (imaginary in the forbidden region); — local de Broglie wavelength. Physical read: WKB pretends the wave is plane over one , so it can only work if hardly moves across itself. The validity ratio is the dimensionless measure of that pretence, and it has three faces that all say the same thing.
where: ; the three forms are algebraically identical. Physical read: the leftmost is "fractional momentum change per reduced wavelength," the middle is "wavelength change per unit length," the rightmost exposes that a large slope or a small momentum both spell trouble.
The goal is to show that the intuitive "wavelength changes slowly" condition and the formal "the asymptotic series is well-ordered" condition are one and the same inequality, and to expose the two independent ways it can be violated. We take the WKB owner's phase expansion as given — at order and at order , both derived there — and simply ask when the term we dropped is small compared to the term we kept. That single demand, rearranged, becomes equation (2) and then diverges wherever or .
Result. , and it fails at turning points and at singular potentials.
Step 1. Order the series by its own logic: the expansion is trustworthy when the first neglected piece is subdominant, . Why: an asymptotic series is only meaningful term-by-term when each successive contribution is smaller than the last; here the kept object is and the leading correction is .
Step 2. Insert the owner's coefficients and to get a concrete inequality.
Why: substituting the known first two orders turns the abstract ordering condition into a pure number built from the momentum and its slope.
Step 3. Rewrite through the wavelength using , so .
Why: up to the the formal criterion IS the fractional change of wavelength per unit length — the picture and the algebra coincide, which is the point.
Step 4. Read off the two independent failure sources from : the ratio explodes if (turning points) OR if (steps, singularities), even far from a turning point. Why: this is the whole taxonomy in one expression. A vanishing denominator and a blowing-up numerator are physically different diseases with different cures — the Airy patch for the first, the Langer correction for the second. *Verified: verify_aq-qm-wkb-validity-breakdown.py evaluates for the oscillator, finding (bulk, valid) and (edge, invalid), with the crossover at .*
The Langer correction: the singular-potential cure, and why it is exact
The most consequential singular potential in physics is the centrifugal barrier that appears in every radial problem. Near it varies arbitrarily fast, so naive radial WKB — the phase integral with and — is exactly in failure mode (2). The quantization article stated that the fix is the Langer replacement and that it "reproduces the exact Bohr levels ." Here we own the derivation: why the replacement is forced, and the proof that it makes radial WKB exact. The replacement itself is a one-line algebraic identity waiting to happen.
where: the extra is precisely what upgrades to a perfect square. Physical read: the missing is the fingerprint of the coordinate change that legitimizes WKB near the origin.
Go deeper · Derivation B · 2 minWhy Langer's (ℓ+½)² is forced and makes radial WKB exact
The goal is to explain the Langer substitution from first principles — not as a fudge but as the consequence of mapping the half-line radial problem onto a full line where the turning-point analysis is legitimate — and then to prove, by evaluating the radial phase integral in closed form, that it reproduces the exact Coulomb and three-dimensional oscillator spectra while the naive centrifugal term does not. This is the article's owned structural result; the quantization article deferred exactly this radial theory to us by name.
Result. With , the radial Bohr–Sommerfeld integral gives (Coulomb) and (3D oscillator), both exact.
Step 1. Recognize the origin problem: the radial coordinate has a hard boundary at , but WKB and its turning-point machinery were built for a full line. Change variables , , and set . Why: the half-line with its wall is exactly the "singular endpoint" WKB cannot handle; the logarithmic map turns into , a benign infinity, at the cost of a Jacobian that reshuffles the centrifugal term.
Step 2. Transform the radial equation. The kinetic term becomes, in , a full-line equation whose effective squared momentum carries in place of .
Why: the factor in contributes exactly from its second derivative — this is where the missing quarter comes from, and it is not optional.
Step 3. Evaluate the Coulomb radial action in closed form with and angular term , .
Why: this is a standard contour/beta-function integral; its value is confirmed against direct quadrature in the verifier ( vs for the ground state).
Step 4. Impose Bohr–Sommerfeld and solve. With the radial and angular half-integers combine into the integer principal number .
Why: the Langer half-integer is exactly what turns the WKB half-integer plus the angular into an honest integer ; the naive leaves a leftover and misses. The verifier confirms with Langer and Ha (wrong) for naive.
Step 5. Repeat for the isotropic oscillator : the radial action is , and Bohr–Sommerfeld gives with Langer. Why: the same half-integer bookkeeping reproduces the exact three-dimensional oscillator ladder, ground state — a second independent confirmation that Langer is not tuned to hydrogen. *Verified: verify_aq-qm-wkb-validity-breakdown.py imposes the radial Bohr–Sommerfeld condition with the closed-form Coulomb and oscillator actions; with Langer it reproduces and every Coulomb and 3D-oscillator level to , while the naive misses ( vs exact at ).*
Limiting cases
The regimes of WKB are set by , the smoothness of , distance to turning points, and — for radial problems — the angular momentum.
| Case | Result | Meaning |
|---|---|---|
| Deep semiclassical, bulk | Many wavelengths in the well; WKB energies asymptotically exact (high ). | |
| Near a turning point | Ratio ; amplitude diverges. Cure: Airy patch, width (the connection-formula article). | |
| Radial / centrifugal | at | Naive WKB wrong; Langer restores exactness. |
| Harmonic oscillator | The leading WKB is already exact — a special coincidence, not the rule. | |
| -series, all orders | asymptotic | Terms shrink then grow; optimal truncation, residual (the tunneling/non-perturbative scale). |
Worked examples
Example 1 — locating the edge of the good region. Take a harmonic oscillator (units ) at the energy , turning point . Find the validity ratio in the bulk and near the edge, and the crossover point where WKB stops being trustworthy.
Step 1. Write the ratio. With and , the validity ratio is .
Step 2. Evaluate deep in the well, : , so — WKB is essentially exact here.
Step 3. Evaluate near the edge, : , so — WKB is meaningless here.
Step 4. Solve for the crossover: gives . The good region is the inner of the well; the outer sliver at each end — about of the half-width — is where the Airy patch takes over. The ratio has swung from to across the same well, a factor of nearly .
Example 2 — naive versus Langer radial WKB for hydrogen. Compute the hydrogen level (, so exact ) both ways, using the closed-form radial action set to with .
Step 1. Langer: . Then , so — exact.
Step 2. Naive: . Then , so — wrong by .
Step 3. The discrepancy is not a rounding error; it is the missing in versus versus . Langer is exact, naive is off by at , and the gap grows for the penetrating low- orbits — the quantum-defect physics. This is the article's owned result, verified for six pairs to .
Physicist
Origins · 1 minasymptotic expansion and how this was discovered
WKB is the physicists' name for a piece of nineteenth-century mathematics: the asymptotic expansion of a differential equation. Joseph Liouville and George Green wrote down the phase-integral form of the solutions in 1837, and Harold Jeffreys gave the general asymptotic treatment of second-order linear equations in 1923 — three years before Wentzel, Kramers, and Brillouin attached it to the Schrödinger equation. The decisive later insight, and the one this article owns, came from Rudolph Langer in 1937: naive semiclassical quantization gets the radial hydrogen levels wrong, and the cure is the substitution , forced by mapping the half-line to a full line. Behind all of it sits Henri Poincaré's 1886 realization that such series are asymptotic, not convergent — they approximate best when truncated at the smallest term, and their irreducible error is exponentially small, the same that governs tunneling. WKB is the physics reading of that single mathematical fact.
Going further
References. Griffiths & Schroeter, Introduction to Quantum Mechanics, 3rd ed., Ch. 9 · Sakurai & Napolitano, Modern Quantum Mechanics, 2nd ed., §2.5 / Appendix · Shankar, Principles of Quantum Mechanics, 2nd ed., Ch. 16 · Cohen-Tannoudji, Diu & Laloë, Quantum Mechanics, Complement H · Townsend, A Modern Approach to Quantum Mechanics, 2nd ed., Ch. 10 · Langer, Phys. Rev. 51, 669 (1937) · Berry & Mount, Rep. Prog. Phys. 35, 315 (1972). This article owns the WKB validity criterion and the breakdown taxonomy, and it owns the Langer radial derivation. The WKB wavefunction, the amplitude, and the base slowly-varying condition are The WKB Approximation, which deferred this deep-dive here by name. The Airy patch and connection formulae — including the matching width — are WKB Connection Formulae. The Bohr–Sommerfeld quantization rule, and the statement that Langer recovers the Bohr levels, are WKB Quantization and the Bohr–Sommerfeld Condition, which deferred the radial theory to us. The exponentially small tunneling residual is cashed in WKB Tunneling and the Gamow Factor. Uniform approximations, complex turning points, and the higher-order corrections are the graduate-register The WKB Approximation (QM11).
Provenance. Validity condition , connection formulas with , Bohr–Sommerfeld rule, and the Langer substitution are all standard; a verifier should recompute: (1) the -order matching giving the eikonal and transport equations (Griffiths 3e §9.1, Shankar Ch.16); (2) the Airy asymptotics for from Abramowitz & Stegun §10.4 to confirm the ; (3) the harmonic-oscillator check as exact; (4) the algebraic identity and the hydrogen energy (Langer 1937, Berry & Mount 1972). All against Griffiths, Sakurai, Shankar, Cohen-Tannoudji, Townsend.
Builds on: Time-Independent Schrödinger Equation · Classical action and Hamilton–Jacobi theory · Airy functions and their asymptotics · Non-Degenerate Perturbation Theory Leads to: Bohr–Sommerfeld quantization · WKB Tunneling and the Gamow Factor · Fine Structure of Hydrogen
Is the validity ratio a property of the potential or of the state?
Of the state, through the energy. Because depends on , the same potential can be "slowly varying" for a fast, high-energy particle and "rapidly varying" for a slow one near a turning point. That is why WKB is superb for high Rydberg states and shaky for the ground state of the same well.
Why does the Langer correction have exactly a quarter, not some other number?
Because the change of variables together with the substitution contributes precisely from the derivative of the factor. That is the unique amount needed to complete into the perfect square . It is not fitted to hydrogen — the same makes the 3D oscillator exact too.
Does Langer make radial WKB exact for every potential?
No. It makes the centrifugal handling exact — it fixes the singular term at the origin. Whether the full spectrum comes out exact then depends on the radial potential: Coulomb and the 3D oscillator happen to have WKB-exact radial actions (like the 1D oscillator), so they come out exactly; a general gets the correct small- behaviour and much-improved levels, but not necessarily exact ones.
If the WKB series is divergent, why is WKB so accurate?
Because an asymptotic series can be extremely accurate if you truncate it at the right place — usually the first or second term. The error of the optimal truncation is exponentially small, , which is tiny in the semiclassical regime. Divergence only bites if you insist on summing all the terms, which you should never do.
What sets the width of the turning-point region I have to patch?
Linearizing near the turning point gives an Airy equation whose natural length is , so the bad region scales as . It shrinks to a point as , which is why the patch is a small, local repair rather than a global correction. The matching itself belongs to the connection-formula article.
How is the residual related to tunneling?
Both are non-perturbative in : they cannot be captured by any finite number of terms in the -series, because has a vanishing Taylor expansion at . The tunneling amplitude through a barrier is literally , an exponential of an action — the same mathematical object as the optimal-truncation error. The tunneling article makes that connection quantitative.
Why can't I just keep more terms instead of patching turning points?
Because near a turning point every term of the -series diverges — the small parameter is large there, so there is no well-ordered series to sum. The problem is not slow convergence; it is that the expansion variable itself blows up. The only cure is to replace the expansion locally with the exact solution of the linearized problem, the Airy function.