Complex Integration and Cauchy's Theorem

⚡ Key Takeaways

Complex Integration integrates complex-valued functions along paths in the complex plane. Cauchy's Theorem states that if $f$ is holomorphic on and inside a closed contour, then $\oint_C f(z)\,dz = 0$ . This is the central result of complex analysis: it makes contour integrals depend only on endpoints (path-independence) and underlies residue calculus, Taylor/Laurent series, and the Cauchy integral formula. Proved by Augustin-Louis Cauchy (1825), refined by Édouard Goursat (1900).

💡 The Core Insight

The Cauchy–Riemann equations make $f(z)\,dz$ behave like an exact differential (a closed 1-form). By Green's theorem, the closed-loop integral of a closed form over a region with no holes is zero. Holomorphy = local exactness; simple connectivity = no holes to obstruct it. Together they kill the loop integral, and everything else in complex analysis cascades from this.

DefinitionContour Integral

Let $C$ be a piecewise-smooth oriented curve parametrized by $z(t)$ , $t \in [a,b]$ , and let $f$ be continuous on $C$ . The contour integral is

1

\quad \int_C f(z)\,dz = \int_a^b f\big(z(t)\big)\,z'(t)\,dt

Derivation hint: Substitute $z = z(t)$ , $dz = z'(t)\,dt$ to reduce the complex line integral to an ordinary Riemann integral of a complex-valued function of the real parameter $t$ . Here $z(t) = x(t) + i\,y(t)$ , $z'(t) = x'(t) + i\,y'(t)$ , and $f(z) = u(x,y) + i\,v(x,y)$ with $u,v$ real. Writing $dz = dx + i\,dy$ :

2

\quad \int_C f\,dz = \int_C (u\,dx - v\,dy) + i\int_C (v\,dx + u\,dy)

Derivation hint: Expand $(u+iv)(dx+i\,dy)$ and collect real and imaginary parts; the cross term $i^2 v\,dy = -v\,dy$ generates the minus sign in the real part.

DefinitionHolomorphic Function

A function $f$ is holomorphic (complex-differentiable) at $z_0$ if

3

\quad f'(z_0) = \lim_{h\to 0} \frac{f(z_0+h) - f(z_0)}{h}

exists independently of the direction in which $h \to 0$ in $\mathbb{C}$ . This forces the Cauchy–Riemann equations:

4

\quad \frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}, \qquad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}

Derivation hint: Compute the limit [3] along the real axis ( $h\to 0$ real) and the imaginary axis ( $h = ik$ , $k\to0$ ) and equate the two resulting expressions for $f'(z_0)$ .

TheoremCauchy's Theorem (Cauchy–Goursat)

Let $f$ be holomorphic on a simply connected open set $D \subseteq \mathbb{C}$ . Then for every piecewise-smooth closed contour $C$ lying in $D$ ,

5

\quad \oint_C f(z)\,dz = 0

Derivation hint: Apply Green's theorem to [2] and substitute the Cauchy–Riemann equations [4]; both real and imaginary parts reduce to integrals of zero. Goursat's version avoids assuming $f'$ is continuous.

TheoremCauchy Integral Formula

Under the same hypotheses, for any point $z_0$ enclosed once (counterclockwise) by $C$ ,

6

\quad f(z_0) = \frac{1}{2\pi i} \oint_C \frac{f(z)}{z - z_0}\,dz

and more generally for the $n$ -th derivative,

7

\quad f^{(n)}(z_0) = \frac{n!}{2\pi i} \oint_C \frac{f(z)}{(z - z_0)^{n+1}}\,dz

Derivation hint: For [6], deform $C$ to a small circle of radius $\varepsilon$ about $z_0$ (legal by Cauchy's theorem), parametrize $z = z_0 + \varepsilon e^{i\theta}$ , and let $\varepsilon\to 0$ . For [7], differentiate [6] under the integral sign $n$ times in $z_0$ .

ProofCauchy's Theorem via Green's Theorem

Assume $f'$ is continuous (the classical hypothesis; Goursat later removed it).

Step 1. Write the loop integral using [2]:

\oint_C f\,dz = \oint_C (u\,dx - v\,dy) + i\oint_C (v\,dx + u\,dy).

Step 2. Apply Green's theorem $\oint_C (P\,dx + Q\,dy) = \iint_R \left(\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}\right)dA$ to each part, where $R$ is the region enclosed by $C$ .

Step 3. Real part: $P = u,\ Q = -v$ , giving

\iint_R \left(-\frac{\partial v}{\partial x} - \frac{\partial u}{\partial y}\right)dA.

By the second Cauchy–Riemann equation [4], $-\partial v/\partial x = \partial u/\partial y$ , so the integrand is $\frac{\partial u}{\partial y} - \frac{\partial u}{\partial y} = 0$ .

Step 4. Imaginary part: $P = v,\ Q = u$ , giving

\iint_R \left(\frac{\partial u}{\partial x} - \frac{\partial v}{\partial y}\right)dA.

By the first Cauchy–Riemann equation [4], $\partial u/\partial x = \partial v/\partial y$ , so the integrand vanishes.

Step 5. Both integrals are zero, hence $\oint_C f\,dz = 0$ . $\blacksquare$

∎

ProofGoursat's Refinement (sketch)

Goursat showed the theorem holds assuming only that $f'$ exists (not that it is continuous), so the conclusion is genuinely about holomorphy alone.

Step 1. Prove $\oint_{\partial T} f\,dz = 0$ for a triangle $T$ first. Bisect $T$ into four congruent sub-triangles; the loop integral over $\partial T$ equals the sum over the four sub-boundaries (interior edges cancel).

Step 2. At least one sub-triangle $T^{(1)}$ has $|\oint_{\partial T^{(1)}} f| \ge \tfrac14 |\oint_{\partial T} f|$ . Iterate to get nested triangles $T^{(n)}$ with $|\oint_{\partial T^{(n)}} f| \ge 4^{-n}|\oint_{\partial T} f|$ .

Step 3. The $T^{(n)}$ shrink to a point $z_*$ . Use complex differentiability at $z_*$ : $f(z) = f(z_*) + f'(z_*)(z - z_*) + \eta(z)(z - z_*)$ with $\eta(z)\to 0$ . The affine part integrates to zero around any closed loop; the error term is bounded using $|\eta|<\varepsilon$ and the perimeter/diameter scaling.

Step 4. Estimates give $|\oint_{\partial T} f| \le C\varepsilon$ for all $\varepsilon$ , so it is $0$ . Extend from triangles to arbitrary contours by triangulation / polygonal approximation. $\blacksquare$

∎

Figure

Deforming a contour around a singularity: Cauchy's theorem lets the outer loop

C

collapse onto a small circle around

z_0

.

AC

Augustin-Louis Cauchy

1789–1857

Cauchy was the most prolific mathematician of his era, author of nearly 800 papers, and a founder of rigorous analysis. He introduced the modern $\varepsilon$ – $\delta$ notion of limit, defined the contour integral, and in his 1825 memoir Mémoire sur les intégrales définies prises entre des limites imaginaires established the path-independence of integrals of holomorphic functions. A devout Catholic royalist, he refused to swear allegiance to the new regime after 1830 and went into self-imposed exile in Turin and Prague, returning to Paris only in 1838. The residue theorem, the integral formula, and convergence tests for series all bear his stamp.

🧠 Intuition

Think of $f(z)\,dz$ as a flow. The Cauchy–Riemann equations say the vector field $(u,-v)$ is both curl-free and divergence-free simultaneously — it is a "perfect" 2D flow with no sources, sinks, or rotation. Integrating such a flow around any closed loop bounding a hole-free region must give zero, because there is nothing inside to circulate around. A second picture: $f$ holomorphic means $f$ has a local antiderivative $F$ with $F' = f$ on a simply connected domain. Then $\int_C f\,dz = F(\text{end}) - F(\text{start})$ by the fundamental theorem of calculus, and for a closed loop the endpoints coincide, so the integral is zero. The whole content of Cauchy's theorem is the existence of $F$ globally — guaranteed precisely when the domain has no holes. When a singularity does sit inside the loop, antiderivatives become multi-valued (think $\log z$ with its branch cut), and the loop integral picks up the "winding" defect $2\pi i$ — the seed of residue theory.

ExampleIntegrating

1/z

around the unit circle

Given: $f(z) = 1/z$ , $C$ the unit circle traversed counterclockwise, $z(\theta) = e^{i\theta}$ , $\theta\in[0,2\pi]$ .

Step 1. Compute $dz = i e^{i\theta}\,d\theta$ and $f(z(\theta)) = e^{-i\theta}$ .

Step 2. Substitute into [1]:

\oint_C \frac{dz}{z} = \int_0^{2\pi} e^{-i\theta}\cdot i e^{i\theta}\,d\theta = \int_0^{2\pi} i\,d\theta.

Step 3. Evaluate: $\int_0^{2\pi} i\,d\theta = 2\pi i$ . This is nonzero — and rightly so: $f(z)=1/z$ is not holomorphic at $z=0$ , which lies inside $C$ . Cauchy's theorem does not apply. The value matches [6] with $f\equiv 1$ , $z_0 = 0$ .

\boxed{\ \oint_{|z|=1} \frac{dz}{z} = 2\pi i\ }

ExampleConfirming a vanishing integral

Given: $f(z) = z^2 + 3z$ , holomorphic everywhere (entire). Integrate around the circle $|z| = 2$ counterclockwise.

Step 1. Since $f$ is entire, it is holomorphic on and inside $C$ , a simply connected domain. Cauchy's theorem [5] applies directly.

Step 2. Conclude $\oint_C (z^2 + 3z)\,dz = 0$ immediately.

Verification by antiderivative: $F(z) = \tfrac{z^3}{3} + \tfrac{3z^2}{2}$ , $F' = f$ . For a closed loop, $\oint f\,dz = F(z_{\text{end}}) - F(z_{\text{start}}) = 0$ since start = end.

Verification by parametrization of the $z^2$ term: with $z = 2e^{i\theta}$ , $dz = 2ie^{i\theta}d\theta$ ,

\oint z^2\,dz = \int_0^{2\pi} 8e^{2i\theta}\cdot 2ie^{i\theta}\,d\theta = 16i\int_0^{2\pi} e^{3i\theta}\,d\theta = 16i\cdot 0 = 0.

\boxed{\ \oint_{|z|=2} (z^2 + 3z)\,dz = 0\ }

⚠️ Common mistake

"Cauchy's theorem says any closed loop integral is zero." False. The integral vanishes only when $f$ is holomorphic throughout the region enclosed by the loop and that region is simply connected. A single singularity inside — or a hole in the domain — can make the integral nonzero, as $\oint 1/z\,dz = 2\pi i$ shows.

"Holomorphic on the curve $C$ is enough." No. $f$ must be holomorphic on the interior too. A function holomorphic on $C$ but with a pole inside fails the hypothesis.

"Path-independence is automatic for any function." Only for holomorphic functions on simply connected domains. For non-holomorphic $f$ (e.g. $\bar z$ ), integrals depend strongly on the path.

Counterexample

Let $f(z) = \bar z$ on the unit circle. This is not holomorphic (it fails the Cauchy–Riemann equations: $u=x$ , $v=-y$ gives $u_x = 1 \ne v_y = -1$ ). With $z = e^{i\theta}$ , $\bar z = e^{-i\theta}$ , $dz = ie^{i\theta}d\theta$ :

\oint_{|z|=1} \bar z\,dz = \int_0^{2\pi} e^{-i\theta}\cdot i e^{i\theta}\,d\theta = \int_0^{2\pi} i\,d\theta = 2\pi i \ne 0.

Here there is no singularity — $\bar z$ is continuous and bounded everywhere. The integral is nonzero purely because $f$ is not holomorphic. This shows holomorphy, not mere continuity, is essential to Cauchy's theorem.

connection

Cauchy's theorem is the hub of complex analysis. It directly yields the Cauchy Integral Formula, from which Taylor and Laurent Series expansions and the fact that holomorphic functions are infinitely differentiable both follow. Allowing singularities generalizes it to the Residue Theorem, the workhorse for evaluating real definite integrals. The path-deformation idea is a special case of Homotopy and Winding Numbers, and the underlying "closed form integrates to zero" mechanism is the complex-analytic shadow of Stokes' Theorem and Differential Forms. The Cauchy–Riemann equations link it to Harmonic Functions, since $u$ and $v$ are conjugate harmonics.

🔬 Where this appears

⏳ History

- 1730s–1750s — Euler and others compute integrals along imaginary paths informally, without rigorous justification.

- 1811 — Gauss, in a letter to Bessel, recognizes that integrals between complex limits can be path-dependent when singularities intervene, anticipating the residue idea — but never publishes.

- 1814 — Cauchy presents an early memoir on definite integrals, beginning his systematic study of complex-domain integration.

- 1825 — Cauchy publishes Mémoire sur les intégrales définies prises entre des limites imaginaires, the foundational statement of what becomes Cauchy's theorem and path-independence.

- 1831 — Cauchy develops the residue calculus and the integral formula, while exiled in Turin.

- 1851 — Riemann's dissertation recasts holomorphy geometrically (conformality) and connects it to the Cauchy–Riemann equations and harmonic functions.

- 1900 — Édouard Goursat publishes the proof requiring only that

f'

exist (not that it be continuous), giving the modern Cauchy–Goursat theorem.

- 1900s–1910s — Pringsheim, Moore, and others refine the triangle/rectangle arguments and the treatment of general simply connected domains.

- 1930s — The theorem is recast in the language of homology and differential forms (de Rham, Stokes), placing it in its topological setting.

open-problem

The theorem's hypotheses are delicate at the boundary. Simple connectivity is essential — on an annulus, $\oint 1/z\,dz \ne 0$ even where $1/z$ is holomorphic, because the domain has a hole. The full homology version replaces "simply connected" with "the contour is null-homologous in the domain," giving the most general statement.

Goursat's hypothesis (mere existence of $f'$ ) suffices, but the proof is subtle precisely because we cannot assume continuity of $f'$ in advance; that continuity (indeed infinite differentiability) is a consequence derived afterward via the integral formula. This rigidity is special to the complex setting and has no real-variable analogue: a real function can be once-differentiable without being twice-differentiable. Extending to several complex variables changes the picture profoundly (Hartogs phenomena, domains of holomorphy), and to non-smooth or fractal boundaries raises measure-theoretic questions still studied in geometric function theory. The behavior of contour integrals near branch points and the rigorous handling of branch cuts remain a continual source of student error and research subtlety.

Complex Integration and Cauchy's Theorem

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also