Residue theorem

Residue theorem
Geek3 · CC BY-SA 3.0 · source
Name	Residue theorem
Field	Complex analysis
Introduced	19th century
Contributors	Augustin-Louis Cauchy, Bernhard Riemann, Gustav Kirchhoff
Related concepts	Cauchy's integral formula, Laurent series, Contour integration

Residue theorem The residue theorem is a central result in complex analysis that evaluates contour integrals of meromorphic functions by relating them to the sum of residues at isolated singularities. It builds on ideas from Augustin-Louis Cauchy and Bernhard Riemann and is foundational to techniques used by Gustav Kirchhoff, Lord Kelvin, and others in applied mathematics and physics. The theorem connects local data at singular points with global integrals around closed curves, underpinning methods in fields ranging from Pierre-Simon Laplace's potential theory to modern analytic number theory associated with Bernhard Riemann's zeta studies.

Statement

Let U be a domain in the complex plane C and f a function meromorphic on U except for finitely many isolated singularities a1, a2, ..., an in U. If γ is a closed, piecewise-smooth, positively oriented contour in U that does not pass through any ai and that is homologous to zero in U minus {a1,...,an}, then the contour integral of f around γ equals 2πi times the sum of the residues of f at the enclosed singularities. This formulation is consistent with the framework developed by Augustin-Louis Cauchy and later formalized using homology concepts by proponents of algebraic topology such as Henri Poincaré.

Proof

A standard proof decomposes f near each isolated singularity using a Laurent series expansion and applies Cauchy's integral theorem to the difference between f and the principal parts at the singularities. One considers small positively oriented circles about each ai and deforms γ to the union of these small circles using homotopy arguments analogous to constructions in Henri Poincaré's work on topology and to techniques in Bernhard Riemann's mapping theorems. The integral over γ then equals the sum of integrals over the small circles; each such integral equals 2πi times the coefficient of (z−ai)−1 in the Laurent expansion, i.e., the residue. Variants of the argument appear in expositions by George Boole, G. H. Hardy, and in textbooks influenced by Émile Picard.

Computation of residues

Residues at isolated singularities are computed by several methods. For a simple pole at a, the residue equals lim_{z→a} (z−a) f(z), a formula used in classical calculations attributed to Augustin-Louis Cauchy. For a pole of order m, the residue can be obtained via a derivative formula involving the (m−1)th derivative of (z−a)^m f(z), a technique presented in treatises by Karl Weierstrass and Eduard Heine. When f = g/h with g and h holomorphic and h(a)=0, h'(a)≠0, the residue is g(a)/h'(a), a simplification used in computational work by Adrien-Marie Legendre and in applications by Siméon Denis Poisson. Residues at essential singularities use the full Laurent expansion; practical extraction of coefficients uses partial fraction decompositions and contour deformation methods exemplified in problems from Joseph Fourier and applied analyses by James Clerk Maxwell.

Applications

The residue theorem underlies evaluation of real integrals, particularly improper integrals and definite integrals arising in Leonhard Euler's integrals, by embedding real-variable integrals into complex contours; such techniques are prominent in work by Srinivasa Ramanujan and in analytic continuations employed by Bernhard Riemann. It is essential in inverse Laplace transform calculations used by Oliver Heaviside and in summation of series via contour integrals as used by Niels Henrik Abel and Augustin-Louis Cauchy. In physics, residues enable computation of Green's functions and propagators in formulations by Paul Dirac and Richard Feynman, and they aid pole-residue analyses in control theory developed by engineers associated with Norbert Wiener. In number theory, contour methods and residue computations contribute to proofs and estimates related to Bernhard Riemann's theory of the zeta function and to explicit formulae linking primes with zeros of L-functions, a program advanced by Atle Selberg and Andrew Wiles-era techniques. Residue calculus also appears in harmonic analysis contexts associated with Stefan Banach and transforms central to Joseph-Louis Lagrange's classical mechanics.

Generalizations and extensions

Generalizations extend the residue concept beyond isolated planar singularities. Multivariable analogues, such as Grothendieck residues in complex manifolds, are central to algebraic geometry as developed by Alexander Grothendieck and further elaborated by Jean-Pierre Serre and Henri Cartan. The residue theorem admits cohomological formulations using Dolbeault cohomology and de Rham cohomology, connecting to the work of Élie Cartan and W. V. D. Hodge. Discrete and p-adic residues appear in non-Archimedean analysis linked with investigations by Kurt Hensel and modern p-adic Hodge theory pursued by researchers in arithmetic geometry influenced by Jean-Pierre Serre and Pierre Deligne. Microlocal and distributional extensions connect residue-like invariants to spectral theory problems studied by John von Neumann and Hermann Weyl, while categorical and homological perspectives inform modern generalizations in the spirit of Alexander Grothendieck's schemes and Alexander Beilinson's work on motives.

Category:Complex analysis