The WKB approximation, also called JWKB, describes a short local de Broglie wavelength in a slowly varying potential energy. For in a classically allowed region, its two local waves are
The phase follows the classical momentum; its amplitude varies to conserve probability current. In a forbidden region, putting gives , with boundary conditions selecting the physical combination.
The WKB validity condition is , with the analogous condition on . It fails at a turning point where . For a simple turning point, locally linearizing V yields an Airy function; matching fixes the relative amplitudes and a phase. Two such turning points give the two-turning-point WKB quantization condition
For an opaque barrier, the WKB tunnelling exponent instead gives
The factor two distinguishes probability from amplitude. Matching determines the prefactor; the exponential alone is not accurate near the barrier top. These formulas connect bound state energy eigenvalues and quantum tunnelling to classical actions. [ref]
Figure 1.
An illustrative smooth barrier separates two oscillatory WKB regions by an evanescent interval
. Source. Details.
Insert position resolutions between short-time evolution factors for . Integrating the momenta gives the path integral, with real-time slice factor and weight . A real classical trajectory cannot pass through a barrier with insufficient energy, but the path integral includes nonclassical paths.
Continue , with s physical imaginary time. The damped kernel is
The Euclidean action saddle obeys : motion in the inverted potential. For degenerate minima at , subtract their common potential energy. A trajectory joining them with zero Euclidean energy satisfies
It is an instanton; reversing its direction gives an anti-instanton. Thus a crossing amplitude is nonperturbative, proportional to . For the representative quartic well , direct integration gives
The arbitrary center is an instanton translation zero mode. Expanding gives a Gaussian path integral involving . Treating the zero mode as a collective coordinate rather than a zero Gaussian denominator produces the instanton fluctuation prefactor
Common endpoint regularization defines the functional determinant ratio; K and kappa have inverse-time units. The prime removes only the zero eigenvalue, while integrating the center supplies the total available time. Large and justify a dilute instanton gas.
Multiple crossings alternate direction. Integrating n ordered centers gives . Return paths contain even n, and transfer paths contain odd n, so their common local-well factor multiplies and respectively. The two lowest levels are consequently
The lower state is the even combination of the two localized states. Local anharmonic corrections modify and higher semiclassical corrections modify K. The thermal trace as a closed Euclidean path integral gives when higher local levels are negligible. This describes coherent level splitting in a stable well, not irreversible decay.
For a scattering barrier at energy E, the leading WKB tunnelling exponent gives an amplitude and a transmission probability with twice that exponent. Endpoint matching fixes prefactors. Metastable escape instead uses a Euclidean bounce, with a negative fluctuation mode and a decay rate. Neither its negative mode nor the probability/amplitude factor should be transplanted into the stable double-well splitting. [ref]