The Cauchy–Integral Theorem, also known as the Cauchy–Goursat Theorem, is a cornerstone of complex analysis. It establishes that the contour integral of a holomorphic (analytic) function around a closed curve is zero, provided the function is analytic everywhere inside and on the curve. This profound result distinguishes complex integration from real-variable integration, where path independence is not guaranteed even for smooth functions.

First formulated by Augustin-Louis Cauchy in 1831 under the assumption of continuous derivatives, the theorem was later generalized by Edouard Goursat in 1887, who removed the continuity requirement for the derivative. Today, it serves as the foundation for the entire edifice of residue calculus, Cauchy's integral formula, and modern function theory.

Formal Statement

Let \(D\) be a simply connected open subset of the complex plane \(\mathbb{C}\). Let \(f: D \to \mathbb{C}\) be a holomorphic function. Then for every piecewise smooth closed contour \(\gamma\) lying entirely within \(D\), \[ \oint_{\gamma} f(z) \, dz = 0. \]

In more general settings, if \(D\) is not simply connected, the theorem still holds provided \(\gamma\) is null-homotopic in \(D\) (i.e., can be continuously shrunk to a point without leaving \(D\)).

Key Conditions & Assumptions

  • Simplicity of the domain: The region \(D\) must be simply connected (no holes). If \(D\) contains isolated singularities, the integral may be non-zero (leading to the Residue Theorem).
  • Holomorphy: \(f(z)\) must be complex-differentiable at every point in \(D\). This implies the Cauchy–Riemann equations hold and \(f\) is infinitely differentiable.
  • Contour regularity: \(\gamma\) must be a closed, piecewise smooth path. The result extends to rectifiable curves via approximation arguments.
💡 Note on Homotopy

The theorem can be stated topologically: if two closed curves \(\gamma_1\) and \(\gamma_2\) are homotopic in \(D\), then \(\oint_{\gamma_1} f \, dz = \oint_{\gamma_2} f \, dz\). The zero result follows when one curve contracts to a point.

Proof Sketch

The modern proof, attributed to Goursat, avoids assuming continuity of \(f'\) and relies on geometric decomposition:

  1. Triangle Lemma: Prove the theorem first for a triangular contour. If \(\oint_\Delta f \, dz \neq 0\), subdivide the triangle into four smaller triangles. At least one must carry at least a quarter of the original integral. Iterating yields a sequence of nested triangles converging to a point \(z_0\).
  2. Local Linearization: Near \(z_0\), holomorphy gives \(f(z) = f(z_0) + f'(z_0)(z-z_0) + \varepsilon(z)(z-z_0)\), where \(\varepsilon(z) \to 0\). The integrals of the constant and linear terms vanish over a closed loop.
  3. Estimation: The error term \(\varepsilon(z)\) can be bounded, forcing the integral over the limiting triangle to zero, contradicting the initial assumption.
  4. Generalization: Any contour in a simply connected domain can be decomposed into triangles (via triangulation of the interior), extending the result to all piecewise smooth closed paths.

Alternatively, using Green's Theorem in the plane and the Cauchy–Riemann equations \(\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}\) and \(\frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}\), one obtains \(\oint f \, dz = \iint_D \left( \frac{\partial v}{\partial x} + \frac{\partial u}{\partial y} \right) dx\,dy + i \iint_D \left( -\frac{\partial u}{\partial x} + \frac{\partial v}{\partial y} \right) dx\,dy = 0\).

Applications & Consequences

The Cauchy–Integral Theorem is not merely theoretical; it enables powerful computational and structural results:

  • Path Independence: Integrals of holomorphic functions depend only on endpoints, enabling antiderivatives in \(D\).
  • Cauchy's Integral Formula: For any \(a \in D\) and small circle \(\gamma\) around \(a\), \(f(a) = \frac{1}{2\pi i} \oint_\gamma \frac{f(z)}{z-a}\,dz\), proving analytic functions are entirely determined by boundary values.
  • Morera's Theorem: The converse direction: if \(\oint_\gamma f \, dz = 0\) for all triangles in \(D\), then \(f\) is holomorphic.
  • Real Integral Evaluation: Complex contours bypass difficult real integrals (e.g., \(\int_{-\infty}^\infty \frac{\sin x}{x}\,dx\)) via residue calculus, which itself rests on the failure of the theorem at isolated singularities.
  • Liouville's Theorem & Fundamental Theorem of Algebra: Bounded entire functions are constant, leading to polynomial root existence proofs.

References & Further Reading

  1. Cauchy, A.-L. (1831). "Mémoire sur les intégrales définies, pris entre des limites imaginaires." Journal de l'École Polytechnique, 17.
  2. Goursat, E. (1887). "Sur l'intégrale de Riemann." Acta Mathematica, 8, 157–174.
  3. Ahlfors, L. (1979). Complex Analysis (3rd ed.). McGraw-Hill. Chapter 4.
  4. Conway, J. B. (1978). Functions of One Complex Variable (2nd ed.). Springer. §V.1–V.3.
  5. Stein, E., & Shakarchi, R. (2003). Complex Analysis. Princeton University Press. Chapter 3.
  6. Marsden, J., & Hoffman, M. (2003). Basic Complex Analysis (3rd ed.). W. H. Freeman.