Cauchy Integral and Its Consequences

Cauchy Integral

Motivation: Integration as Function Reconstruction

In real analysis, the integral over a closed contour of a conservative field is zero. In complex analysis, this same property—for holomorphic functions—generates something much more powerful: from the values of a function on the contour, one can exactly reconstruct its values at all interior points. This is the Cauchy integral formula—a central tool of complex analysis.

Complex Integral

Let γ: [a,b] → ℂ be a smooth path, f: ℂ → ℂ a continuous function:

$ \int_\gamma f(z),dz = \int_a^b f(\gamma(t)) \cdot \gamma'(t),dt. $

Estimate: $|\int_\gamma f,dz| \leq \max_{z \in \gamma} |f(z)| \cdot \text{length}(\gamma)$.

A complex integral decomposes as follows: $ \int_\gamma (u+iv)(dx + i,dy) = \int_\gamma (u,dx - v,dy) + i \int_\gamma (v,dx + u,dy) $ — two real line integrals.

Cauchy's Theorem

Theorem (Cauchy, 1825): If $f$ is holomorphic in a simply connected domain $D$ and $\gamma$ is a closed path in $D$:

$ \oint_\gamma f(z),dz = 0. $

Physical meaning: the holomorphic “field” $f(z)$ is “potential” (irrotational). Its “work” along any closed contour equals zero. This is analogous to the curl being zero.

Cauchy Integral Formula

Theorem: If $f$ is holomorphic in a closed disk $\overline{D} = {|z - z_0| \leq r}$ with boundary $\gamma = \partial D$:

$f(z_0) = \frac{1}{2\pi i} \oint_\gamma \frac{f(\zeta)}{\zeta - z_0} d\zeta$, $z_0 \in D$.

Meaning: the value of $f$ at any interior point is completely determined by its values on the boundary. The kernel $1/(\zeta - z_0)$ is called the Cauchy kernel.

Derivatives of all orders:

$ f^{(n)}(z_0) = \frac{n!}{2\pi i} \oint_\gamma \frac{f(\zeta)}{(\zeta - z_0)^{n+1}},d\zeta. $

This means: a holomorphic function is infinitely differentiable! Each derivative is once again a holomorphic function. This is a fundamental difference from real analysis.

Morera's Theorem (Converse)

If $f$ is continuous in $D$ and $\oint_\triangle f,dz = 0$ for every triangle $\triangle \subset D$, then $f$ is holomorphic.

Cauchy Inequality

$ |f^{(n)}(z_0)| \leq \frac{n! M}{r^n},\quad \text{where } M = \max_{|\zeta - z_0| = r} |f(\zeta)|. $

From this inequality with $n = 1$ and $R \to \infty$, Liouville’s theorem follows.

Numerical Example

Problem: Compute $\oint_{|z|=2} \frac{z^2 + 1}{z - 1},dz$.

Step 1. $f(z) = z^2 + 1$, singular point $z_0 = 1$ lies inside the disk $|z| = 2$.

Step 2. By the Cauchy integral formula: $ \oint_{|z|=2} \frac{z^2 + 1}{z - 1},dz = 2\pi i \cdot f(1), \quad \text{where } f(z) = z^2 + 1. $

Step 3. $f(1) = 1^2 + 1 = 2$.

Result: $\oint = 2\pi i \cdot 2 = \mathbf{4\pi i}$.

Verification via expansion: $ \frac{z^2 + 1}{z - 1} = (z + 1) + \frac{2}{z-1}. $ The integral $\oint (z+1),dz = 0$ (entire function by Cauchy's theorem). The integral $\oint \frac{2}{z-1},dz = 2 \cdot 2\pi i = 4\pi i$ ✓.

Second Example: Find $f''(0)$ using the Cauchy formula for the derivative. $ f''(0) = \frac{2!}{2\pi i} \oint_{|z|=2} \frac{z^2 + 1}{z^3} dz = \frac{1}{\pi i} \cdot 2\pi i \cdot [z^2 + 1]''_{z=0}/2 \ldots $ Simpler: $f(z) = z^2 + 1 \Rightarrow f''(0) = 2$. Formula: $ \frac{2!}{2\pi i} \oint \frac{z^2 + 1}{z^3},dz = \frac{2}{2\pi i} \cdot (2\pi i \cdot 1) = 2\ \checkmark. $

Real Application

Signal processing: the Cauchy formula is a precursor to the $z$-transform in digital filtering. The integral representation allows one to reconstruct a signal from its spectrum (boundary values)—an analogue of interpolation.

Additional Aspects

Contour integrals are not only a tool of pure theory; they provide direct computation algorithms. For example, integration over a large semicircle allows one to compute $\int_0^\infty \frac{\sin x}{x},dx = \pi/2$ without primitives. The Cauchy integral formula $f(z_0) = \frac{1}{2\pi i} \oint \frac{f(z)}{z-z_0} dz$ is the foundation of the numerical contour integration method for computing eigenvalues (FEAST, SS-method): the spectrum of an operator $A$ is found as the poles of the resolvent $(zI - A)^{-1}$, and integration along a contour around the region of interest isolates the desired $\lambda_k$. In physics, contour integration is used in calculating propagators (Feynman's $i\varepsilon$-prescription for bypassing poles) and in hydrodynamics through the Zhukovsky lift theorem.

Relationship with Other Areas of Mathematics

The Cauchy integral formula underlies the classical theory of linear differential equations with analytic coefficients. Through the Cauchy representation of solutions, one can justify the existence and uniqueness theorem for analytic solutions of the Cauchy problem for equations in the complex plane; this theme was developed by Émile Picard and Eduard Hurwitz. In spectral theory of normal operators, the Cauchy formula leads to functional calculus: if $T$ is a bounded operator in Hilbert space, then $f(T)$ can be defined by a contour integral of the resolvent (Riesz and Nagy, “Functional Analysis”, 1955).

The connection with topology is realized through the deformation invariance of the integral: the Cauchy integral does not change under continuous deformation of the contour inside the domain of holomorphy. This anticipates the concepts of homotopy and homology. In the formulation via 1-forms, the Cauchy integral is a special case of the Stokes-type integral, and the Cauchy–Goursat–Morera theorem is often seen as an early prototype of such results as Stokes' theorem and de Rham's theorem.

In probability theory, the Cauchy kernel is related to complex and harmonic measures: via the Poisson–Cauchy formula one describes the distribution of values of harmonic functions on a disk. This is applied in the theory of random walks and processes with independent increments (works of Doney and Spitzer). In numerical methods, the Cauchy formula is the basis of spectral algorithms for solving linear systems and computing spectral projections; modern variants of such schemes are described by Sakai and Yokota for the contour decomposition method.

Historical Note and Evolution of the Idea

Augustin Cauchy formulated his integral results in a series of notes in “Comptes Rendus” and in the treatise “Cours d’Analyse” (1821, final version of the integral theorem—1825). The initial motivation came from problems of mechanics and potential theory: Cauchy sought to provide a rigorous foundation for the expansion of functions into series and for the study of ideal fluid flows. In the second half of the 19th century, Bernhard Riemann and Karl Weierstrass gave the Cauchy formula a strict analytical form, based on the $\varepsilon$–$\delta$ approach and the concept of uniform convergence. Riemann used contour integration methods in his work on the theory of abelian integrals, and Weierstrass in the factorization of entire functions (journal “Crelle”, 1876). In the early 20th century, Eduard Hurwitz and Georg Prandtl developed the complex potential in hydrodynamics, relying on Cauchy-type integral representations. Later, in the 1940s–1950s, Mikhail Lavrentiev and his school applied these ideas to quasiconformal mappings and filtration problems. In the same period, Marcel Riesz and Frigyes Riesz used Cauchy integrals in constructing the functional calculus for operators.