Stokes phenomenon

Stokes phenomenon
Name	Stokes phenomenon
Field	Asymptotic analysis
Discovered	19th century
Discoverer	George Gabriel Stokes

Stokes phenomenon is the abrupt change in the asymptotic expansion of a function as a complex argument crosses certain rays called Stokes lines. It arises in the study of linear differential equations, special functions, and analytic continuation, and plays a central role in asymptotic analysis, singular perturbation theory, and mathematical physics.

Introduction

The phenomenon appears when the dominant balance of terms in an asymptotic expansion shifts due to analytic continuation around singularities or turning points. Key figures associated with the development include George Gabriel Stokes, Augustin-Louis Cauchy, Bernhard Riemann, Lord Kelvin, Arnold Sommerfeld, and Dmitriĭ Anfimovich Golubev. It is relevant to studies of the Airy function, Bessel functions, Gamma function, Hermite polynomials, and solutions of the Painlevé equations.

Historical Background

Origins trace to work in the 19th century on wave diffraction and the asymptotics of integrals by George Gabriel Stokes and contemporaries such as G. H. Hardy and James Joseph Sylvester. Subsequent formalization involved methods by Émile Borel, Henri Poincaré, and E. T. Whittaker, with later contributions from John William Strutt, 3rd Baron Rayleigh, Lord Rayleigh, and Nathaniel Bowditch. In the 20th century, researchers including Oskar Perron, Felix Klein, Harold Jeffreys, Fritz Ursell, and Claude Shannon extended applications into quantum mechanics and signal theory. Modern resurgence and transseries perspectives were advanced by Jean Écalle, Barry Simon, David Sauzin, and Michael Berry.

Mathematical Description

Consider a linear ordinary differential equation with an irregular singularity such as those defining the Airy function or confluent hypergeometric functions. Solutions admit formal asymptotic series whose coefficients are determined by recursion from local monodromy data tied to Riemann–Hilbert problems. As one analytically continues around the complex plane, subdominant exponential contributions may switch on across rays determined by the argument of the independent variable; these rays are the Stokes lines. The jump of connection coefficients can be described using matched asymptotic expansions, WKB analysis developed by Hermann Weyl, and exact WKB methods linked to the Schrödinger equation in semiclassical analysis.

Examples and Applications

Classical examples include the Airy function near a turning point, where the asymptotic form transitions between oscillatory and exponential regimes, and the continuation of Bessel functions across sectors. In quantum mechanics the phenomenon governs tunneling amplitudes in the WKB approximation and connects to scattering theory as studied in the Born approximation and by Lev Landau. In optics and wave propagation, it explains creeping waves in diffraction treated by Uniform asymptotic expansions used by Ludwig Prandtl and Harold Jeffreys. Applications extend to statistical mechanics via the large-order behavior of perturbation series in Quantum field theory, spectral theory for the Sturm–Liouville problem, and numerical analysis of special function evaluations studied by William Gautschi and F. W. J. Olver.

Asymptotic Analysis and Stokes Lines

Stokes lines are determined by the phase condition that equates the real parts of action integrals obtained from dominant exponential contributions; these integrals appear in the exponent of formal series arising from saddle-point analysis and steepest-descent contours developed by C. G. J. Jacobi and Lord Kelvin. The sign change of exponentially small terms across these rays requires careful treatment via connection formulae and sectorial analytic continuation as formalized in the theory of multisummability by Jean Écalle and Walter Balser. In practical computation of special functions such as the Gamma function and confluent hypergeometric functions, explicit Stokes multipliers are used to switch between convergent representations across sectors, with precise control given by resurgence relations explored by Étienne Borel and François Émile Picard.

Connection with Resurgence and Borel Summation

The modern viewpoint connects the jump behavior to singularities of the Borel transform of a divergent series; Borel summation restores uniquely continued analytic functions except where nontrivial monodromy occurs. The theory of resurgence, pioneered by Jean Écalle, interprets Stokes jumps as the manifestation of alien derivatives and resurgent monomials, linking to transseries structures used in solving nonlinear problems like the Painlevé equations. This framework has influenced work in string theory and nonperturbative analysis in Quantum field theory, with computational approaches advanced by Ovidiu Costin, J. Écalle, and David Dorigoni.

Category:Asymptotic analysis