An asymptotic technique for approximating integrals with highly oscillatory integrands by isolating and expanding contributions from points where the oscillatory phase has vanishing derivative (stationary points).

Principle

When an oscillatory integral contains a large parameter multiplying a smooth phase, neighborhoods of points where the phase derivative is zero contribute coherently and dominate the integral; contributions away from those points cancel by rapid oscillation.

Demonstration

For I(k)=∫ a(x) e^{i k φ(x)} dx with k→∞ and φ'(x0)=0, expand φ and a near x0 and evaluate Gaussian-type integrals to obtain leading asymptotic terms proportional to k^{-m/2} (m depends on nondegeneracy).

Misapplication

Applying the stationary-phase approximation when stationary points are not isolated, when the phase is not smooth, or when amplitude a(x) has singularities at the stationary point; these situations can produce qualitatively incorrect estimates.

Consequence

A controlled asymptotic series giving leading-order behavior and (often) successive corrections as the large parameter grows; useful for predicting scaling and oscillatory patterns but not exact values at moderate parameter sizes.

Reversal

Invert to the regime where no phase is large: the integral is then governed by the global shape of the integrand rather than isolated stationary points and requires different approximations (e.g., direct numerical integration or Laplace-type methods).

Boundary

Valid when the phase φ and amplitude a are sufficiently smooth, stationary points are nondegenerate or treated with known degenerate expansions, and a large parameter multiplies the phase; excludes many singular, nondifferentiable, or combinatorially many-stationary-point cases.

Semantic Tension

Often confused with steepest-descent (saddle-point) methods; stationary phase is a real-axis, oscillatory-phase viewpoint focusing on φ'(x)=0, while steepest descent emphasizes complex contour deformation and exponential decay along chosen paths.

Synthesis

The method of stationary phase identifies stationary points of a smooth phase in oscillatory integrals and constructs local expansions there; under regularity and large-parameter assumptions it yields dominant asymptotic contributions and a systematic correction hierarchy, but it must be adapted or abandoned when smoothness, isolation, or scale assumptions fail.