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 areThe 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 conditionFor an opaque barrier, the WKB tunnelling exponent instead givesThe 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]
Topics in Quantum Mechanics by David Tong. §2.2, printed pp.37–49, semiclassical expansion, Airy matching and tunnelling
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 isThe 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 satisfiesIt 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 givesThe 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 prefactorCommon 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 consequentlyThe 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]
Gauge Theory by David Tong. Chapter2, §§2.3.2–2.3.3, printedpp.56–60: quantum-mechanical tunnelling, fluctuation determinants and repeated instanton events

