Cauchy's Integral Theorem and Formula

One-line statement: If

f

is holomorphic on and inside a simple closed contour

γ

, then

\oint_{γ} f (z) d z = 0

, and the value of

f

at any interior point is completely determined by its boundary values via

f (a) = \frac{1}{2 π i} \oint_{γ} \frac{f ( z )}{z - a} d z

. Key result in words: Differentiability of a complex function in an open region forces an extraordinary rigidity — contour integrals vanish, and a function's interior is dictated by its boundary. Where it applies: Complex analysis, contour integration, residue calculus, evaluation of real integrals, physics (potential theory, fluid flow, electromagnetism, quantum field theory). Who/when: Augustin-Louis Cauchy, 1814–1825; later refined by Goursat (1900) and Riemann.

Cauchy's Integral Theorem states that the contour integral of a holomorphic function around a closed curve in a simply connected domain is zero. Its companion, Cauchy's Integral Formula, expresses the value of such a function at an interior point as an average of its values along a surrounding contour. These results are the cornerstone of complex analysis: they make complex differentiability infinitely stronger than real differentiability. The surprising fact is that a single complex derivative guarantees the existence of all higher derivatives and a convergent power series — a phenomenon with no real-variable analogue. From these two theorems flow the residue theorem, Liouville's theorem, the maximum modulus principle, and a vast machinery for evaluating otherwise intractable integrals.

The Core Insight

Holomorphy is a global constraint masquerading as a local one. Because the Cauchy–Riemann equations link the real and imaginary parts of $f$ , the differential form $f (z) d z$ is closed. By Green's theorem (or Stokes' theorem), the integral of a closed form around the boundary of a region depends only on topology, not on the path — and over a simply connected region with no singularities, it vanishes entirely. The Integral Formula then arises by isolating a single singularity $1/ (z - a)$ and shrinking the contour around it.

Formal Statement

Holomorphic Function and Contour

A function $f : Ω \to C$ defined on an open set $Ω \subseteq C$ is holomorphic (analytic) at $z_{0}$ if the limit

f^{'} (z_{0}) = h \to 0 lim \frac{f ( z _{0} + h ) - f ( z _{0} )}{h}

exists, where

h \in C

and the limit is independent of the direction of approach.

⟳This is the complex difference quotient; direction-independence is the strong condition that yields the Cauchy–Riemann equations.

A contour (or path) $γ$ is a piecewise smooth curve $γ : [a, b] \to C$ . The contour integral of $f$ along $γ$ is

\int_{γ} f (z) d z = \int_{a}^{b} f (γ (t)) γ^{'} (t) d t .

⟳Pull the integral back to the real parameter interval via the chain rule;

d z = γ^{'} (t) d t

Here $Ω$ is the domain, $z_{0}$ a point, $h$ a complex increment, and $γ^{'} (t)$ the velocity of the parametrization.

Cauchy–Riemann Equations

Writing $f = u + i v$ with $z = x + i y$ , holomorphy is equivalent to the partial differential equations

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

together with continuity of the partials.

⟳Compute

f^{'} (z_{0})

from [1] approaching along the real axis (

h

real) and the imaginary axis (

h = ik

); equate the two expressions.

Here $u (x, y)$ and $v (x, y)$ are the real and imaginary parts.

Cauchy's Integral Theorem (Cauchy–Goursat)

Let $Ω \subseteq C$ be a simply connected open set, and let $f$ be holomorphic on $Ω$ . Then for any closed, piecewise-smooth contour $γ$ lying in $Ω$ ,

\oint_{γ} f (z) d z = 0.

⟳Apply Green's theorem to the real and imaginary parts, then substitute the Cauchy–Riemann equations [3] to kill both area integrands.

Cauchy's Integral Formula

Let $f$ be holomorphic on and inside a positively oriented (counterclockwise) simple closed contour $γ$ , and let $a$ be any point in the interior. Then

f (a) = \frac{1}{2 π i} \oint_{γ} \frac{f ( z )}{z - a} d z .

⟳Replace

γ

by a tiny circle around

a

(deforming via [4]), parametrize

z = a + ε e^{i θ}

, and let

ε \to 0

using continuity of

f

More generally, $f$ has derivatives of all orders, given by

f^{(n)} (a) = \frac{n !}{2 π i} \oint_{γ} \frac{f ( z )}{( z - a ) ^{n + 1}} d z .

⟳Differentiate [5]

n

times under the integral sign with respect to

a

; each differentiation pulls down a factor and raises the power of

(z - a)

Why It Holds

Cauchy's Integral Theorem via Green's Theorem

Step 1 — Expand the integrand. Write

f = u + i v

and

d z = d x + i d y

. Then

\oint_{γ} f d z = \oint_{γ} (u d x - v d y) + i \oint_{γ} (v d x + u d y) .

⟳Multiply

(u + i v) (d x + i d y)

and group real and imaginary parts.

Step 2 — Apply Green's theorem. For the region

R

enclosed by

γ

, Green's theorem

\oint_{γ} (P d x + Q d y) = \iint_{R} (Q_{x} - P_{y}) d A

gives

\oint_{γ} f d z = \iint_{R} (- v_{x} - u_{y}) d A + i \iint_{R} (u_{x} - v_{y}) d A .

⟳Take

P = u, Q = - v

for the real part and

P = v, Q = u

for the imaginary part.

Step 3 — Invoke Cauchy–Riemann. By [3],

u_{x} = v_{y}

and

u_{y} = - v_{x}

. Hence

u_{x} - v_{y} = 0

and

- v_{x} - u_{y} = 0

. Both area integrands vanish identically, so

\oint_{γ} f d z = 0

■

(Goursat's refinement (1900) removes the assumption that $f^{'}$ is continuous, deriving the result purely from differentiability by a bisection argument on triangles — the rigorous modern foundation.)

Cauchy's Integral Formula

Step 1 — Subtract a known integral. Consider

g (z) = \frac{f ( z ) - f ( a )}{z - a}

. Since

f

is holomorphic and the singularity at

a

is removable in the bounded sense, write

\oint_{γ} \frac{f ( z )}{z - a} d z = f (a) \oint_{γ} \frac{d z}{z - a} + \oint_{γ} \frac{f ( z ) - f ( a )}{z - a} d z .

⟳Add and subtract

f (a)

in the numerator and split the integral linearly.

Step 2 — Evaluate the first integral. Deform

γ

to a circle of radius

ε

about

a

(legitimate by [4] in the annular region where the integrand is holomorphic). With

z = a + ε e^{i θ}

d z = i ε e^{i θ} d θ

\oint_{γ} \frac{d z}{z - a} = \int_{0}^{2 π} \frac{i ε e ^{i θ}}{ε e ^{i θ}} d θ = \int_{0}^{2 π} i d θ = 2 π i .

⟳The

ε e^{i θ}

factors cancel exactly, independent of radius.

Step 3 — Bound the second integral. Since

f

is differentiable at

a

\frac{f ( z ) - f ( a )}{z - a}

is bounded near

a

by some

M

. On the circle of radius

ε

, the ML-estimate gives a bound

\leq M \cdot 2 π ε \to 0

ε \to 0

. Thus the second integral vanishes.

⟳

\oint h d z \leq (max ∣ h ∣) \cdot (length)

; length

= 2 π ε

Step 4 — Combine. Equation [9] becomes

\oint_{γ} \frac{f ( z )}{z - a} d z = 2 π i f (a)

, yielding [5].

■

Deforming the contour: a singularity at $a$ enclosed by $\gamma$ and a small circle $C_\varepsilon$

Augustin-Louis Cauchy | 1789–1857

A French mathematician of monumental output (nearly 800 papers), Cauchy laid the rigorous foundations of analysis, introducing precise definitions of limits, continuity, and convergence. He developed the residue calculus and the theory of complex integration in a series of memoirs beginning around 1814, motivated partly by problems in hydrodynamics and the evaluation of definite integrals. A devout Catholic and royalist, he spent years in exile after refusing allegiance to the new regime in 1830. His name attaches to dozens of results across analysis, and the integral theorem and formula remain his most celebrated contributions to complex analysis.

Building Intuition

Think of $f (z) d z$ as a vector field whose circulation you are measuring. The Cauchy–Riemann equations say this field is simultaneously curl-free and divergence-free — it is an ideal, source-free flow. Just as an incompressible, irrotational fluid in a region with no sources or sinks produces zero net circulation around any closed loop, a holomorphic function integrates to zero around any closed contour.

The Integral Formula expresses a deeper "averaging" principle: because holomorphic functions are so rigid, the value at the center of a disk is exactly the average of the boundary values. The factor $1/ (z - a)$ acts as a weight that concentrates all the information at the point $a$ , while $\oint d z / (z - a) = 2 π i$ is the "fingerprint" of winding once around the singularity. Holomorphy means there is no slack: knowing the function on a closed curve pins down everything inside.

Worked Examples

Evaluating a contour integral with a single pole

Given: Evaluate

I = \oint_{∣ z ∣ = 2} \frac{e ^{z}}{z - 1} d z

, where

∣ z ∣ = 2

is the circle of radius 2 traversed counterclockwise. Step 1 — Identify $f$ and $a$ . Here

f (z) = e^{z}

(entire, hence holomorphic everywhere) and

a = 1

. Step 2 — Check that $a$ is enclosed. Since

∣1∣ = 1 < 2

, the point

a = 1

lies inside the contour. Step 3 — Apply Cauchy's Integral Formula [5].

I = 2 π i f (a) = 2 π i e^{1} .

⟳Rearrange [5] to

\oint \frac{f ( z )}{z - a} d z = 2 π i f (a)

and substitute.

Answer:

I = 2 π i e \approx 17.08 i

Using the generalized formula for a higher-order pole

Given: Evaluate

J = \oint_{∣ z ∣ = 1} \frac{cos z}{z ^{3}} d z

counterclockwise. Step 1 — Match to formula [6]. Write the integrand as

\frac{f ( z )}{( z - a ) ^{n + 1}}

with

f (z) = cos z

a = 0

, and

n + 1 = 3

, so

n = 2

. Step 2 — Verify enclosure.

a = 0

lies inside

∣ z ∣ = 1

, and

cos z

is entire. Step 3 — Apply [6]. We need

f^{''} (0)

. Since

f (z) = cos z

f^{''} (z) = - cos z

, so

f^{''} (0) = - 1

J = \frac{2 π i}{2 !} f^{''} (0) = \frac{2 π i}{2} (- 1) = - π i .

⟳Solve [6] for the integral:

\oint \frac{f ( z )}{( z - a ) ^{n + 1}} d z = \frac{2 π i}{n !} f^{(n)} (a)

Answer:

J = - π i

Common Misconceptions

The theorem requires holomorphy everywhere inside the contour, not just on it. A function may be perfectly well-behaved on

γ

yet have a singularity in the interior, in which case

\oint_{γ} f d z \neq = 0

. The classic example:

\oint_{∣ z ∣ = 1} \frac{1}{z} d z = 2 π i \neq = 0

, because

1/ z

blows up at

z = 0

inside. Simple connectivity matters. On a domain with holes (like an annulus), Cauchy's theorem fails for loops that enclose a hole. Always check that the region bounded by your contour contains no singularities. Orientation flips the sign. The formula

f (a) = \frac{1}{2 π i} \oint

assumes counterclockwise (positive) orientation. A clockwise contour introduces a factor of

- 1

Consider $f (z) = \overset{z}{ˉ}$ (complex conjugate). On the unit circle $z = e^{i θ}$ , $\overset{z}{ˉ} = e^{- i θ}$ and $d z = i e^{i θ} d θ$ , so

\oint_{∣ z ∣ = 1} \overset{z}{ˉ} d z = \int_{0}^{2 π} e^{- i θ} i e^{i θ} d θ = \int_{0}^{2 π} i d θ = 2 π i \neq = 0.

⟳The

e^{\pm i θ}

cancel; integrate the constant

i

This does not contradict Cauchy's theorem: $f (z) = \overset{z}{ˉ}$ is nowhere holomorphic because it violates the Cauchy–Riemann equations (with $u = x$ , $v = - y$ , we get $u_{x} = 1 \neq = v_{y} = - 1$ ). The nonzero integral is exactly the signature of failed holomorphy.

Connections

Cauchy's results sit at the heart of a web of complex-analytic theorems. The Residue Theorem generalizes the Integral Formula: instead of one singularity, it sums residues over all enclosed poles, turning contour integration into algebra. Liouville's Theorem (a bounded entire function is constant) follows from the derivative formula [6] by bounding $∣ f^{'} (a) ∣$ as the radius grows. The Maximum Modulus Principle is a direct consequence of the averaging interpretation of [5]. The theorem rests on the Cauchy–Riemann Equations and on Green's Theorem from vector calculus, while Power Series and Taylor Expansion of holomorphic functions is derived by expanding the kernel $1/ (z - a)$ inside [5] as a geometric series. The vanishing-circulation idea connects directly to Conservative Vector Fields and Path Independence.

Real-World Applications

Evaluation of real definite integrals. Integrals like $\int_{- \infty}^{\infty} \frac{s i n x}{x} d x = π$ and $\int_{0}^{2 π} \frac{d θ}{a + b c o s θ}$ are computed by closing contours in the complex plane and applying Cauchy's formula / residues — often the only practical method.

Electrostatics and 2D potential theory. The complex potential $Φ = ϕ + i ψ$ for charge distributions is holomorphic; Cauchy's theorem ensures field lines and equipotentials behave consistently, and boundary values determine interior fields (a discrete analogue of [5]).

Aerodynamics (Joukowski transform). Lift on an airfoil is computed via the contour integral of the complex velocity potential around the wing (the Kutta–Joukowski theorem), a direct application of contour integration.

Signal processing and control theory. The Nyquist stability criterion counts encirclements of contours by transfer functions — an argument-principle consequence of Cauchy's formula.

Quantum field theory and condensed matter. Propagators are evaluated by contour integration; the Kramers–Kronig relations linking the real and imaginary parts of response functions follow from Cauchy's formula applied to causal, analytic susceptibilities.

Heat conduction and fluid flow. Steady-state temperature and incompressible irrotational flow in two dimensions are governed by holomorphic functions, exploiting the averaging property of [5].

Numerical analysis. Trefethen's contour-integral methods compute matrix functions $f (A)$ via $\frac{1}{2 π i} \oint f (z) (z I - A)^{- 1} d z$ , a direct operator generalization of Cauchy's formula.

Historical Development

1814 — Cauchy presents his first memoir on definite integrals to the French Academy, containing the seeds of contour integration and integration between complex limits.
1821 — Cauchy publishes Cours d'analyse, establishing rigorous limits and continuity that underpin the later theory.
1825 — Cauchy's landmark memoir Mémoire sur les intégrales définies prises entre des limites imaginaires states the integral theorem (assuming continuous derivative) and introduces residues.
1831 — Cauchy formulates the integral formula and the resulting power-series expansion during his exile in Turin.
1851 — Bernhard Riemann's dissertation reframes complex functions geometrically, deriving the Cauchy–Riemann equations and conformal mapping from first principles.
1855 — Cauchy dies; by this time his integral theory is central to European analysis.
1883 — Édouard Goursat begins refining the hypotheses of the theorem.
1900 — Goursat proves the theorem without assuming continuity of $f^{'}$ , giving the modern Cauchy–Goursat form via triangle bisection.
1900s onward — Pringsheim, Moore, and others streamline the proof; the homology and homotopy versions (general cycles, winding numbers) crystallize in 20th-century textbooks (Ahlfors).

Subtleties & Limits

The classical theorem assumes a simply connected domain, but the precise topological formulation — the homology version — replaces "simple closed contour" with a cycle $γ$ that is null-homologous in $Ω$ (winds zero times around every point outside $Ω$ ). Stating and proving this cleanly requires the notion of winding number and considerable care; Ahlfors' formulation is the standard reference.

Subtleties that trip up students:

Removable vs. essential singularities. The formula handles poles, but functions with essential singularities (like $e^{1/ z}$ ) require the full Laurent-series / residue machinery, and Picard-type phenomena lie beyond elementary treatment.
Boundary regularity. Extending Cauchy's formula to contours that are merely rectifiable (not piecewise smooth), or to functions only continuous up to the boundary, leads into delicate questions of $H^{p}$ Hardy-space theory.
Several complex variables. The naive generalization fails; the correct multidimensional analogues (the Bochner–Martinelli and Cauchy–Fantappiè formulas) are an active and intricate field, and the geometry of domains of holomorphy is far richer.

Cauchy's Integral Theorem and Formula

The Core Insight

Formal Statement

Holomorphic Function and Contour

Cauchy–Riemann Equations

Cauchy's Integral Theorem (Cauchy–Goursat)

Cauchy's Integral Formula

Why It Holds

Cauchy's Integral Theorem via Green's Theorem

Cauchy's Integral Formula

Deforming the contour: a singularity at $a$ enclosed by $\gamma$ and a small circle $C_\varepsilon$

Augustin-Louis Cauchy | 1789–1857

Building Intuition

Worked Examples

Evaluating a contour integral with a single pole

Using the generalized formula for a higher-order pole

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also

Before this

Where this leads