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

Specify initial phase and amplitude consistent with local semiclassical expansion and conserved flux so that forward or backward WKB propagation yields the intended physical solution; the initial condition must be compatible with matching conditions near singular points.

Demonstration

In a scattering problem one often fix the incoming-wave WKB amplitude and phase at large negative x and propagate the WKB solution toward the interaction region; those initial choices plus connection formulas at turning points determine transmitted and reflected semiclassical amplitudes.

Misapplication

Choosing an arbitrary complex phase or amplitude that violates flux normalization or disregards Stokes sign conventions can produce propagated WKB solutions that contradict exact quantum behavior, e.g., predicting wrong reflection coefficients or artificial resonances.

Consequence

Appropriate initial conditions yield semiclassical solutions that correctly reproduce leading-order phase evolution, tunneling suppression/exponential factors, and interference patterns when compared to exact or numerical solutions in the semiclassical regime.

Reversal

If one instead imposes final conditions at an endpoint and integrates backward without ensuring reciprocity, numerical instability can amplify exponentially small components and corrupt the reconstructed initial physical state; reversing the initial-phase sign flips interference fringes.

Boundary

Relevant when WKB is valid locally away from turning points and singularities and when a convenient reference point exists (infinity for scattering, classical turning point for bound states); not applicable when global eigenfunction structure requires uniform approximation across many turning points.

Semantic Tension

Tension arises between choosing an initial condition convenient for computation (e.g., plane-wave normalization at infinity) and choosing one that matches a particular experimental preparation or global normalization; both can be correct but imply different bookkeeping for phases and Maslov indices.

Synthesis

A WKB solution initial condition fixes the reference amplitude and phase consistent with semiclassical asymptotics and conserved flux, which then uniquely determines the propagated semiclassical branch and, together with connection rules, yields physically meaningful amplitudes and phases across turning points.