the asymptotics of the Airy function
/ AIR-ee /
The Airy function Ai(x) is the simplest function that lives right at the boundary between oscillation and decay. It solves the differential equation y'' = x y, and it shows up wherever a wave meets a turning point — the edge of a rainbow, the caustic where light rays focus, the classically forbidden boundary in quantum mechanics where an oscillating wave gives way to an exponential tail. For large positive x it decays smoothly to zero; for large negative x it oscillates with a slowly stretching wavelength. Understanding how it crosses over is a beautiful test case for asymptotic methods.
Start from the integral representation Ai(x) = (1 / (2 pi)) times (integral over a contour of e^(i(t^3/3 + x t)) dt), which is a holomorphic function of x. For large positive x deform the contour through the complex saddle points of the phi(t) = t^3/3 + x t — here the saddles are at t = plus or minus i times the square root of x, purely imaginary, so steepest descent gives a real exponential decay: Ai(x) approximately e^(-(2/3) x^(3/2)) / (2 (square root of pi) x^(1/4)). For large negative x the two saddles become real and contribute as a complex-conjugate pair, so stationary phase gives an oscillation: Ai(x) approximately sin((2/3) |x|^(3/2) + pi/4) / ((square root of pi) |x|^(1/4)). The crossover at x = 0, where the two saddles collide, is exactly the degenerate-saddle case the simpler formulas cannot handle.
This single function is the canonical illustration of two deep ideas. First, it is the universal local model near a smooth fold caustic and near a quantum turning point — wherever steepest descent's two saddles coalesce, an Airy function appears as the uniform approximation that smoothly connects the oscillating and decaying regimes. Second, it is the textbook home of the Stokes phenomenon: the same function has different asymptotic expansions valid in different sectors of the complex x-plane, and the small, exponentially subdominant term switches on across special rays (Stokes lines). That a single-valued holomorphic function can wear different asymptotic clothes in different directions is one of the subtle, honest truths of asymptotic analysis.
In the WKB treatment of a quantum particle hitting a smooth potential barrier, the wavefunction oscillates on the allowed side and decays on the forbidden side; the two pieces would clash at the turning point, but the Airy function patches them together exactly, and its known asymptotics on each side supply the WKB connection formulas.
Ai(x): exponential decay for x > 0, stretching oscillation for x < 0, joined at the turning point.
The naive saddle-point formulas blow up at x = 0 (the saddles coincide); the genuinely uniform answer there is the Airy function itself, which is precisely why it is the standard model rather than something you can reduce to elementary exponentials.