An asymptotic principle that the main contribution to a highly oscillatory integral ∫ a(x) e^{i k φ(x)} dx as the large parameter k → ∞ comes from neighborhoods of stationary points where φ'(x)=0 (and boundary points), with each nondegenerate stationary point contributing an explicit leading term determined by a(x), φ(x) and the Hessian of φ.

Principle

The organising idea is localisation: oscillatory cancellation away from stationary points suppresses contributions, so only phase critical points (and endpoints) survive in the leading asymptotics, producing amplitudes and phases computable from local Taylor expansions of φ and a.

Demonstration

For the Fourier transform of a compactly supported smooth amplitude, the large‑frequency behaviour is dominated by points where the phase is stationary; in one dimension a nondegenerate stationary point x0 yields a leading term proportional to a(x0) e^{i(kφ(x0)±π/4)} k^{-1/2}.

Misapplication

Applying stationary phase formulas when stationary points are degenerate, coalesce, lie on the boundary, or when the amplitude is singular leads to incorrect asymptotics; one must instead use uniform approximations, method of steepest descent, or special-function expansions.

Consequence

Stationary phase reduces costly global oscillatory integrals to local computations near critical points and underlies approximations in wave propagation, optics (geometrical optics limit), and semiclassical analysis, often giving leading order behaviour and phase shifts.

Reversal

If one flips the perspective to integrals dominated by non-oscillatory large parameters (Laplace's method), contributions come from maxima of the real part of the exponent rather than stationary points of a phase; failing to distinguish these regimes yields wrong asymptotic scales.

Boundary

Requires smooth phase and amplitude and isolated nondegenerate stationary points for the simplest formulas; degenerate stationary points, caustics, coalescing points, or integrals with slow phase variation need refined methods and different scaling laws.

Semantic Tension

Tension arises between stationary phase as a local expansion technique and global contour-deformation approaches (steepest descent); both aim to capture leading behaviour but differ in applicability, especially when integrating in the complex plane or handling coalescing critical points.

Synthesis

The Principle of Stationary Phase states that for large oscillation parameters an integral's leading contribution is localised to stationary points of the phase, with explicit local formulae when those points are nondegenerate; understanding degeneracies and boundaries is necessary for robust asymptotics.