An approximation and alternative-formalism concept defining methods for computing quantum predictions when exact solutions are impractical. It governs controlled expansions, action-based formulations, and phase-space representations that support analytic and numerical work. It does not ensure accuracy outside its regime of validity and requires explicit error assessment or convergence checks. It enables tractable estimates of spectra, transition rates, and dynamical behavior across a wide range of models. The concept is generally stable, though improved algorithms and convergence techniques evolve over time.

Principle

Assume a semiclassical ansatz ψ(x) = A(x) exp(i S(x)/ħ) (or real exponential in classically forbidden regions), expand S and A as asymptotic series in ħ, and equate orders of ħ to derive the Hamilton–Jacobi equation at leading order and successive transport equations for amplitude corrections.

Demonstration

For a one-dimensional particle with potential V(x), insert ψ(x)=exp[(i/ħ)∑_{n≥0} ħ^n S_n(x)] into the time-independent Schrödinger equation. The O(ħ^0) term yields S_0'(x)^2 = 2m(E−V(x)), giving the local classical momentum p(x) = S_0'(x), while the O(ħ^1) term determines A(x) via A' + (A S_0'')/(2 S_0') = 0, leading to A ∝ 1/√|p(x)| away from turning points.

Misapplication

Formally carrying the WKB expansion through a turning point without applying connection formulas or matching to the Airy-equation local solution yields exponentially divergent or discontinuous approximations and incorrect phase shifts, misrepresenting tunneling probabilities or quantization conditions.

Consequence

Deriving the WKB solution correctly produces explicit semiclassical expressions for wavefunctions, local amplitudes, and phase integrals that yield quantization rules (e.g., Bohr–Sommerfeld) and leading tunneling exponents, enabling analytic estimates where exact solutions are unavailable.

Reversal

The inverse viewpoint is to start from exact solutions (where available) and show they converge to WKB forms in the ħ→0 limit; this reversal clarifies the approximation's asymptotic character and identifies correction terms by matching to exact results.

Boundary

Valid in regions where the classical momentum p(x)=√{2m(E−V)} is slowly varying and nonzero compared with its derivative (|p'|≪p^2), and fails at classical turning points and singular potentials unless special matching or uniform approximations are used; not exact for small quantum numbers or strong quantum interference.

Semantic Tension

Tension appears between treating the WKB derivation as a formal asymptotic expansion (mathematical viewpoint) and as a physically intuitive semiclassical approximation (physical viewpoint); reconciling them requires attention to error scaling and domain of validity.

Synthesis

WKB solution derivation is the asymptotic method that produces semiclassical wavefunctions by substituting an exponential phase–amplitude ansatz into the Schrödinger equation, solving the resulting hierarchy of equations order-by-order in ħ to obtain classical-phase integrals and amplitude transport laws while acknowledging special handling near turning points.