Cauchy integral formula

Cauchy integral formula
Geek3 · CC BY-SA 3.0 · source
Name	Cauchy integral formula
Field	Complex analysis
Introduced by	Augustin-Louis Cauchy
Year	1831
Prerequisites	Holomorphic function, contour integral, simply connected domain

Cauchy integral formula The Cauchy integral formula is a central result in complex analysis that expresses the value of a holomorphic function inside a simple closed contour in terms of a contour integral around that contour. It underlies many fundamental results associated with Augustin-Louis Cauchy, including power series expansions, the maximum modulus principle, and residue theory, and it connects to the work of Bernhard Riemann, Karl Weierstrass, Niels Henrik Abel, and Henri Poincaré.

Statement

Let f be holomorphic on an open set containing a closed disk whose boundary is a positively oriented simple closed contour γ and interior point a. Then for every integer n ≥ 0, - f(a) = (1/2πi) ∮_γ f(z)/(z−a) dz and more generally - f^(n)(a) = n!/(2πi) ∮_γ f(z)/(z−a)^(n+1) dz. This statement connects to foundational results in the work of Leonhard Euler, Joseph-Louis Lagrange, Carl Gustav Jacob Jacobi, Évariste Galois, and later to structural analyses by Emmy Noether, David Hilbert, and Felix Klein.

Proofs

Standard proofs invoke deformation of contours and homotopy techniques related to Augustin-Louis Cauchy's original arguments, or reduce to Morera's theorem as formulated by Giuseppe Peano and refined by Georg Cantor. Alternative approaches use power series expansions centered at a developed by Karl Weierstrass and uniform convergence results from Bernhard Riemann and Peter Gustav Lejeune Dirichlet. Modern expositions appeal to the homology formulation influenced by Henri Poincaré and cohomology ideas from Élie Cartan and Jean-Pierre Serre. Operator-theoretic proofs connect to the spectral theorem of John von Neumann and functional calculus perspectives developed by Israel Gelfand and Marshall H. Stone.

Consequences and corollaries

The formula immediately implies that holomorphic functions are infinitely differentiable and analytic, yielding Taylor and Laurent series expansions used by Srinivasa Ramanujan, G. H. Hardy, Jacques Hadamard, and Bernhard Riemann. It yields Cauchy's estimates which underpin the proofs of Liouville's theorem (used by Karl Weierstrass), the fundamental theorem of algebra (celebrated by Carl Friedrich Gauss), and the open mapping theorem tied to Georg Cantor's set theory influences. The maximum modulus principle and Schwarz lemma, essential to the work of Hermann Amandus Schwarz and Ludwig Bieberbach, follow directly. The residue theorem, developed further by Residue theorem-related scholarship and utilized by Lord Kelvin and James Clerk Maxwell, builds on these corollaries to evaluate real integrals and improper integrals in contexts examined by Adrien-Marie Legendre and Joseph Fourier.

Applications

Applications span evaluation of definite integrals in the tradition of Pierre-Simon Laplace and Simeon Denis Poisson, modal analyses in Paul Dirac's quantum theory, scattering theory in Enrico Fermi's work, and signal processing techniques linked to Norbert Wiener. In mathematical physics, contour methods based on the formula are used in perturbation theory associated with Richard Feynman and complex Green's function methods found in the works of John von Neumann and Pauling and Wilson. In number theory, contour integration techniques influenced by the formula are central to proofs by Bernhard Riemann on zeta function properties, later developed by G. H. Hardy, Atle Selberg, and Andrew Wiles. In engineering, methods echoing the formula appear in control theory developed by Rudolf E. Kálmán and filter design credited to Harry Nyquist and Claude Shannon.

Generalizations and extensions

Extensions include the Plemelj formula and Sokhotski–Plemelj relations studied by Ilya P. Natanson and Nikolai Luzin, integral representations on Riemann surfaces in the tradition of Bernhard Riemann and Hermann Weyl, and multidimensional analogues like the Bochner–Martinelli formula and Cauchy–Fantappiè formulas associated with Salomon Bochner and Fulvio Fantappiè. Sheaf cohomology and Dolbeault cohomology interpretations were developed by Jean Leray, Henri Cartan, and André Weil, linking the formula to the work of Alexander Grothendieck and Jean-Pierre Serre. Further abstract generalizations appear in noncommutative geometry frameworks influenced by Alain Connes and in microlocal analysis advanced by Lars Hörmander and Jean-Michel Bony.

Category:Complex analysis