Connection Formulae and Turning Points
The WKB approximation is one of the great bargains of theoretical physics: in exchange for assuming the potential varies slowly on the scale of a de Broglie wavelength, it hands back exponentially accurate wavefunctions almost for free. It has one fatal flaw. At a classical turning point , defined by , the local momentum vanishes, the wavelength blows up, and the WKB amplitude diverges. Worse than the divergence is the disconnection it creates: on one side of the WKB solutions oscillate, on the other they grow and decay, and WKB alone cannot say which oscillation matches the decaying exponential, or with what phase. The approximation falls silent exactly where reflection, quantization, and tunnelling are decided. The connection formulae are the repair. The trick is to stop trusting WKB in a small neighbourhood of and solve the problem there almost exactly. Near a simple turning point the potential is well approximated by its tangent line, and the Schrödinger equation collapses to the Airy equation — whose solutions and are entire, finite, and known in complete asymptotic detail. The single Airy function that decays into the forbidden region also, automatically, oscillates on the allowed side with a definite amplitude and phase. Matching that inner solution to the outer WKB forms reads off the connection: a compact set of rules carrying a universal phase shift, directional in a way that encodes the Stokes phenomenon, and powerful enough to deliver Bohr–Sommerfeld quantization, the Maslov , and the Gamow tunnelling factor from one geometric idea.
- WKB fails at a classical turning point , where and the amplitude diverges — the oscillatory and exponential solutions on either side are left unconnected.
- Near a simple turning point the linearized Schrödinger equation is the Airy equation; the exact Airy function smoothly bridges oscillation and exponential decay.
- Matching Airy asymptotics to the outer WKB forms yields the connection formulae, relating amplitude and phase across with a universal offset — the asymptotic phase of .
- The connection is one-directional: propagate the decaying exponential outward safely, but never infer the growing one — its coefficient is exponentially invisible (the Stokes phenomenon).
- Two turning points of a well contribute , giving Bohr–Sommerfeld quantization — the Maslov that fixes the harmonic-oscillator zero-point energy exactly.
- Key idea: replace the divergent WKB solution near a turning point by the exact Airy solution of the locally linearized problem; matching its asymptotics to the outer WKB forms dictates the amplitude and phase relations — the connection formulae — with their universal shift.
Replace the divergent WKB solution near a turning point by the exact Airy solution of the locally linearized problem; the matching of Airy asymptotics to the outer WKB forms in the overlap regions dictates the amplitude and phase relations — the connection formulae — with their universal shift.
Where this lives today
Turning-point connection is a working tool wherever a wave meets a soft barrier. In surface physics it underwrites Fowler–Nordheim field emission — the triangular-barrier tunnelling of worked example 2 — and hence the scanning tunnelling microscope and field-emission electron sources; the exponential sensitivity of is what gives the STM its sub-ångström vertical resolution. In cold-atom physics, Bohr–Sommerfeld quantization predicts band edges and tunnel splittings for atoms in optical lattices, and the same counting sets molecular vibrational levels. The method even reaches into gravitation: black-hole quasinormal ringdown frequencies are the semiclassical resonances of a wave scattering off the peak of an effective potential barrier, and the Schutz–Will WKB formula — a parabolic-turning-point connection at the barrier maximum — remains a front-line tool for interpreting LIGO–Virgo ringdown. At the frontier, the one-directional subtlety of the warning has grown into a field of its own: exact WKB and resurgence track the Stokes-jumping corrections the naive connection discards, linking semiclassics to Borel summation, instanton counting, and the trans-series structure of quantum field theory.
The physical picture
Picture a quantum particle rolling toward a wall it cannot climb. Classically it slows, stops at , and turns back. Quantum-mechanically the wavefunction does not stop dead at — it leaks a little way into the forbidden region as a decaying exponential, while on the allowed side it oscillates. The turning point is the seam between these two behaviours, and the whole difficulty is that WKB describes each side beautifully but says nothing about the seam itself. The first figure zooms in: the oscillation stretches and swells as it nears (wavelength , amplitude ), and only inside a narrow window of width — where the potential is effectively its own tangent line — does the exact, finite Airy function take over and stitch the two regions together.
Why the Airy function and nothing else? Because a simple turning point is generic: for almost every potential , so the leading local model is a straight line, and the straight-line Schrödinger problem is the Airy equation. The Airy function therefore plays the role for turning points that the plane wave plays for free space — the universal local shape. Its defining feature is exactly what we need: as its argument runs from positive to negative it morphs continuously from exponential decay into a sustained sinusoid, and it does so with a fixed phase, the threaded through all of semiclassical physics. The second figure is that shape drawn to scale, with its asymptotics on both wings and its real numbers marked — this single curve is the entire content of the connection formulae.
The core equations
Away from turning points the WKB solution is the leading semiclassical form. In the classically allowed region the local momentum is real and the wave oscillates, with an amplitude that enforces probability-current conservation.
where: — local classical momentum, real where ; — reduced Planck constant, the semiclassical parameter; — complex amplitude; — energy and potential. Reading it: the phase accumulates the classical action , and the prefactor keeps the current constant. In the forbidden region the momentum is imaginary, so the same construction gives real exponentials. One grows and one decays; keeping track of which is which is the whole subtlety of the connection.
where: — magnitude of the imaginary momentum where ; the sign is the growing exponential (subdominant), the sign the decaying one (dominant, well-determined). Reading it: the two exponentials differ by an exponentially large ratio, which is why one is easy to follow and the other easy to lose. Both forms break down at . To repair them, substitute the linearized into the Schrödinger equation and rescale to a dimensionless inner coordinate , giving the Airy equation.
where: — stretched inner coordinate, across the Airy window and scaling as ; — slope at the turning point (positive here, so is forbidden). Reading it: the small parameter has been scaled out — the inner problem is universal. The bridge to the outer forms is the large-argument asymptotics of . On the forbidden side it decays, matching the branch of (2).
where: — forbidden region. Reading it: the prefactor is exactly the linearized and the exponent is exactly the WKB action — the seam is airtight. On the allowed side the same function oscillates, and here the universal appears explicitly as the asymptotic phase.
where: — allowed region; — the connection phase, fixed once and for all by . Reading it: because (4) and (5) are two limits of one entire function, fixing the forbidden-side coefficient fixes the allowed-side phase — nothing is left free. Translating (4) and (5) back into WKB variables gives the workhorse connection formula: the decaying exponential maps to a definite cosine with the shift.
where: the arrow denotes the safe direction — read decaying-exponential-into-cosine only; — action from the turning point. Reading it: the factor on both sides is a genuine prediction, not a convention. The companion formula sends the growing exponential to a sine, readable only forbidden-to-allowed; reversing it discards an exponentially small, undetermined admixture.
where: the branch is the growing exponential. Reading it: trustworthy going outward from the forbidden region, disastrous run backwards — the origin of the one-directional warning below. Applying (6) at both turning points of a well and demanding consistency inside gives the Bohr–Sommerfeld condition, complete with its half-integer.
where: the integral runs between the two turning points; the is the Maslov contribution, one per soft turning point. Reading it: equivalently — orbit phase-space area quantized in half-integer units of . Finally, tracking the dominant decaying exponential through a barrier bounded by two turning points gives the transmission probability.
where: — barrier transmission probability; — turning points bounding the barrier. Reading it: the exponent is twice the forbidden-region action; the factor of comes from squaring the amplitude, and prefactors need careful Airy matching at each end.
The goal is to derive the safe connection (6) from first principles: linearize the potential at a simple turning point so the Schrödinger equation becomes the Airy equation, identify the decaying Airy solution with the forbidden-side WKB form, and let the very same Airy function dictate the allowed-side oscillation — with the shift falling out of the fixed asymptotic phase of . Take with , so the forbidden region is , and demand a solution that decays as .
Step 1. Linearize: near , , so becomes . Why: a simple turning point has , so the tangent line is the leading local model across the thin inner window.
Step 2. Rescale with to reach the canonical Airy equation , whose decaying branch is . Why: stretching by removes the small parameter, turning a singular-perturbation problem into a parameter-free special-function equation.
Step 3. Compute the forbidden-side WKB action from : with , . Why: the outer WKB phase and the inner Airy phase are the same quantity in two coordinates — the overlap where the descriptions must agree.
Step 4. Match magnitudes on the forbidden side. The WKB form is exactly the asymptotics of in (4). Fixing the constant so the coefficient reads sets , . Why: choosing and not enforces decay into the forbidden region — the physical boundary condition.
Step 5. Continue the SAME to the allowed side : equation (5) gives . Why: this is the crux — once is pinned by the forbidden side, its allowed-side amplitude and phase are already determined, not a free choice.
Step 6. Translate back with and , giving — precisely equation (6), factor of and all. Why: the fixed phase of reappears as the in the cosine, independent of the shape of . *Verified: reproduces the standard connection formula of Bender–Orszag Ch. 10 and Landau–Lifshitz §47; the amplitude- rule and the are the documented asymptotic constants of (Abramowitz–Stegun 10.4).*
Go deeper · Derivation B · 1 minBohr–Sommerfeld quantization from two turning points
The goal is to show that applying the connection formula (6) at each turning point of a well, and demanding the two resulting descriptions of the interior agree, forces the classical action to be quantized in half-integer units — the rule with its Maslov correction. Consider a smooth well with turning points ; a bound state must decay in each forbidden region.
Step 1. Build the interior wave from the left turning point. Decay for connects, by (6), to . Why: the left boundary condition (decay outward) selects a unique cosine with a phase measured from .
Step 2. Build the same wave from the right turning point. Decay for connects to . Why: by symmetry the right boundary condition supplies an equally valid cosine, phased from .
Step 3. These are the same function only if their phases sum to an integer multiple of (since requires ): . Why: single-valuedness of the interior wavefunction is the quantization condition.
Step 4. Collect the action: the integrals combine to , the two shifts add to , giving . Why: the half-integer is not put in by hand — it is the sum of the two quarter-waves, the Maslov index divided by . *Verified: for the harmonic oscillator the action integral evaluates to , so (8) gives — the exact spectrum, zero-point energy included, confirming the .*
Go deeper · Derivation C · 1 minTunnelling amplitude across a barrier
The goal is to obtain the exponential transmission factor (9) by tracking the dominant behaviour of the wavefunction through a classically forbidden barrier, using the connection rules at both turning points. Take a barrier with turning points and between them; send a wave in from the left and ask for the transmitted amplitude.
Step 1. Inside the barrier the general WKB solution is a mix of both exponentials, . Moving rightward, the decaying term dominates the transfer. Why: only the piece that decays across the barrier survives to seed the transmitted wave; the growing piece belongs to reflection.
Step 2. Estimate the attenuation from to : with . Why: the barrier action is the number of e-foldings the wave loses in crossing — the key quantity in tunnelling.
Step 3. Square the amplitude ratio: , which is equation (9). Why: intensity is amplitude squared, so the e-folding count doubles; careful Airy matching at each turning point supplies the prefactor this estimate omits. *Verified: reproduces the Gamow factor for -decay and the Geiger–Nuttall trend, and the standard WKB tunnelling formula of Griffiths and Landau–Lifshitz §50; the worked field-emission example below evaluates it to .*
Limiting cases
The connection machinery depends on the character of the turning point and on how deep the semiclassical regime is. The table collects the cases that matter.
| Case | Result | Meaning |
|---|---|---|
| Simple (linear) turning point | Generic case: Airy comparison applies and gives the standard connection formulae | |
| Quadratic (parabolic) turning point | Two turning points coalesce (barrier top); the comparison function is the parabolic-cylinder (Weber) function, not Airy | |
| Deep semiclassical limit | Inner Airy window shrinks like ; matching becomes asymptotically exact with corrections | |
| Two close turning points | Separate Airy patches overlap; a uniform (parabolic-cylinder) approximation must replace independent matchings | |
| Radial / centrifugal problem | The Langer modification is required near so WKB reproduces the correct angular-momentum spectrum |
Worked examples
1 · The harmonic oscillator — WKB is exact (fully worked)
A particle moves in . Use the two-turning-point connection to find the bound spectrum, and evaluate the lowest three levels for a stiff vibrational mode with .
Step 1. Turning points. Setting gives with . Between them the momentum is , real, so the region is classically allowed — two soft turning points, exactly the situation of Derivation B.
Step 2. The action integral. Substituting ,
The messy constants cancel to leave the clean result .
Step 3. Impose quantization (8): , hence . This is the exact quantum spectrum — the Maslov supplies precisely the zero-point energy the old integer Bohr–Sommerfeld rule got wrong.
Step 4. Numbers for : , , . The ground state sits at above the minimum — a zero-point energy produced by the two turning-point shifts, which a hard-wall boundary condition would have set to zero.
2 · Field emission through a triangular barrier (fully worked, numbers)
An electron at a metal surface faces a triangular barrier built by an applied field , where is the work function (tungsten) and . Estimate the tunnelling probability.
Step 1. The turning point. (take at the Fermi level) gives a single linear turning point at — precisely the simple turning point for which the Airy treatment is exact, so the WKB estimate is well founded here.
Step 2. The decay scale at the surface. , using and .
Step 3. The barrier action. With , . This is the closed-form Fowler–Nordheim exponent .
Step 4. The probability. — tiny per electron, yet a metal tip supplies electrons per second at the barrier, so a measurable field-emission current flows. Note the steep geometry dependence: raising the field to shrinks to , drops to , and boosts to — a factor of from a field change, the exponential sensitivity that makes the STM an atomic-resolution instrument.
Physics of the portrait
The connection formulae carry four names — Wentzel, Kramers, Brillouin, and Jeffreys — but only the last worried, first and hardest, about the turning point itself. The other three built the semiclassical expansion and largely stepped around ; Harold Jeffreys taught physics how to cross it.
Origins · 1 minHarold Jeffreys and how this was discovered
Harold Jeffreys was a Cambridge mathematician of extraordinary reach — remembered independently as a founder of modern geophysics (he showed from seismic data that the Earth's outer core is liquid) and as the reviver of Bayesian statistics (the Jeffreys prior, the 1939 Theory of Probability). Woven through this range was a lifelong mastery of asymptotics. In a 1924–25 paper on second-order linear differential equations, Jeffreys solved exactly the problem that would soon trip up the physicists: how to connect an asymptotic (WKB-type) solution on one side of a zero of the coefficient function to the solution on the other. His method — compare the true equation near the turning point with a solvable model equation whose solutions are known (for a simple zero, Airy/Bessel functions), then match asymptotics in the overlap — is exactly the modern derivation, and it predates Wentzel, Kramers, and Brillouin, whose 1926 papers gave the semiclassical wavefunction its quantum-mechanical setting but treated the turning point only heuristically. This is why careful authors write the method as WKBJ or JWKB, restoring the man who supplied the connective tissue. The subtle one-directional character of the rules was sharpened over the following decades by Zwaan and Furry, and especially by Nanny and Per Olof Fröman, whose phase-integral method turned Jeffreys' comparison idea into a rigorous, systematically improvable theory.
Going further
Texts. Bender & Orszag, Advanced Mathematical Methods for Scientists and Engineers, Ch. 10 (the definitive treatment of WKB and connection formulae) · Stone & Goldbart, Mathematics for Physics, Ch. 6 · Arfken, Weber & Harris, Mathematical Methods for Physicists, 7th ed. (Airy functions and asymptotics) · Hassani, Mathematical Physics, chapters on asymptotics and special functions · Byron & Fuller, Mathematics of Classical and Quantum Physics · Landau & Lifshitz, Quantum Mechanics, §§47–50 · Griffiths, Introduction to Quantum Mechanics, WKB chapter · Fröman & Fröman, JWKB Approximation (the rigorous phase-integral method).
Provenance. The WKB forms and connection formulae are standard (Bender–Orszag Ch. 10; Landau–Lifshitz §47), as are the Airy asymptotics and (Abramowitz–Stegun 10.4), with first zero at and . A verifier should confirm: (1) the linearization reduces Schrödinger to the Airy equation (3); (2) the forbidden- and allowed-side asymptotics (4)–(5) give the amplitude- rule and the exact ; (3) the two-turning-point matching yields and the harmonic oscillator gives exactly; (4) the field-emission barrier action and for , . Cross-check against Stone & Goldbart Ch. 6 and Griffiths' WKB chapter.
Prerequisites. WKB Approximation · Asymptotic Series and Poincaré Expansions · Stokes Phenomenon and Anti-Stokes Lines · Method of Steepest Descent and Saddle Points. Leads to. Bohr–Sommerfeld Quantization · Optimal Truncation and Superasymptotics · Borel Summation and Resurgence.
Ask the tutor: Want to see the Airy matching worked line by line for a specific potential, or watch the shifts add up to the Maslov in a real well? Ask and we will build it together.
What exactly is a "turning point", and why is it a problem?
A classical turning point is a position where a particle of energy would momentarily stop and reverse — where and the kinetic energy is zero. It marks the boundary between the allowed region () and the forbidden region (). The problem is purely with the WKB approximation: the true wavefunction is smooth and finite at , but the WKB amplitude diverges there because . WKB is accurate on either side but useless at the seam, and the connection formulae are the patch that carries information across it.
Why the Airy function specifically, and not some other special function?
Because a generic turning point is simple: the potential has a non-zero slope there, , so to leading order it looks like a straight line, . The Schrödinger equation with a linear potential is exactly the Airy equation, so is the universal local shape at any simple turning point, just as the plane wave is universal for free motion. If the slope also vanishes (, a barrier top) the local model is a parabola and the parabolic-cylinder (Weber) functions take over instead. The choice of comparison function is dictated by the lowest non-vanishing derivative of at the turning point.
What does the π/4 phase mean physically?
It is the quarter-wave phase a quantum wave picks up on reflecting from a soft turning point — a place where the potential rises smoothly through , rather than a hard wall. A hard wall forces a node; a soft, linearly rising wall lets the wave leak slightly into the forbidden region before turning around, and that leakage advances the phase by exactly — mathematically the fixed asymptotic phase of . Its importance is cumulative: each soft turning point contributes , two make , and that is the Maslov correction turning integer quantization into the correct — the reason the harmonic oscillator has a non-zero ground-state energy.
Why can't I just reverse the connection formula?
Because the two exponentials in the forbidden region are wildly unequal in size — their ratio is exponentially large. When you match a given oscillation to the forbidden side, leading-order matching pins down only the dominant exponential; the coefficient of the subdominant one is exponentially small and therefore undetermined. Reading the rule in the safe direction (decaying-exponential into oscillation) never needs that hidden coefficient, so it is reliable; reading it backwards demands exactly the information you don't have, and dropping it silently gives answers wrong by huge factors. This is the Stokes phenomenon: which term dominates flips across anti-Stokes lines, and honest bookkeeping of the subdominant term is what exact WKB and resurgence provide.
Does WKB quantization ever give exact answers, or only approximations?
Usually it is only leading-order, with corrections of relative size , but there are famous exceptions where it is exact. The harmonic oscillator is one: gives with no error at all. The hydrogen atom and the Morse potential also come out exactly, provided you apply the Langer modification. This exactness is a happy accident of these special potentials and should not be over-generalized: for a quartic well Bohr–Sommerfeld is only approximate, and the small remaining error is the gateway to the resurgent trans-series that exact quantization conditions organize.
What is the Langer correction, and why do radial problems need it?
For a central potential, the radial Schrödinger equation carries the centrifugal term . Applying WKB directly gives the wrong spectrum, because runs only over and the singularity at the origin is not a simple turning point that Airy matching handles. Langer showed in 1937 that the fix is to replace in the centrifugal term. With this substitution WKB reproduces the exact hydrogen levels and the correct large- behaviour — so the Langer correction is the radial counterpart of the Maslov : a small universal shift the naive analysis misses but rigour restores.
When does the simple connection formula break down entirely?
Whenever the assumptions behind Airy matching fail. Two turning points that approach within (a thin barrier, or a shallow well near its top) have overlapping Airy windows and cannot be matched independently — a single uniform parabolic-cylinder approximation is required. A quadratic turning point (barrier maximum, ) likewise needs Weber functions, not Airy. And the whole scheme presumes deep semiclassics, ; for energies within of a barrier top the small parameter is not small and the local problem must be solved exactly. Recognizing which regime you are in is half the skill of applying the method.