MathLabs
TheoremProved

The residue theorem

Statement

Let ff be holomorphic on a simply connected domain except at finitely many isolated singularities z1,…,znz_1, \dots, z_n inside a positively oriented simple closed contour γ\gamma. Then ∮γf(z) dz=2πi∑kRes(f,zk)\oint_\gamma f(z)\,dz = 2\pi i \sum_{k} \mathrm{Res}(f, z_k).

Why is it true?

It reduces a hard geometric problem (integrating along a curve) to an easy algebraic one (adding up finitely many numbers), because deforming the contour around each pole shrinks it to a tiny circle where the Laurent series does all the work.

Proof sketch

Step 1 (Deform the contour). By Cauchy's integral theorem, ∮γf(z) dz=0\oint_\gamma f(z)\,dz = 0 for any closed curve bounding a region where ff is holomorphic. Since ff fails to be holomorphic only at z1,…,znz_1,\dots,z_n, surround each zkz_k with a tiny positively oriented circle CkC_k of radius ε\varepsilon small enough that the circles are disjoint and lie inside γ\gamma. Cutting slits from γ\gamma to each CkC_k turns the region between γ\gamma and the CkC_k into a simply connected domain where ff is holomorphic, so the integral over the boundary of that region is 00; the slit contributions cancel in pairs, leaving ∮γf(z) dz=∑k∮Ckf(z) dz\oint_\gamma f(z)\,dz = \sum_{k} \oint_{C_k} f(z)\,dz.

Step 2 (Evaluate each small circle). Fix kk and expand ff as its Laurent series f(z)=∑n=−∞∞an(z−z0)nf(z) = \sum_{n=-\infty}^{\infty} a_n (z-z_0)^n around zkz_k, valid on the punctured disk containing CkC_k. Every term an(z−zk)na_n(z-z_k)^n with n≠−1n \neq -1 has an antiderivative single-valued on the punctured disk, so it integrates to 00 around the closed circle CkC_k; only the term a−1(z−zk)−1a_{-1}(z-z_k)^{-1} survives.

Step 3 (Compute the surviving integral). Parametrize CkC_k by z=zk+εeiθz = z_k + \varepsilon e^{i\theta} for θ∈[0,2π]\theta \in [0, 2\pi], so dz=iεeiθ dθdz = i\varepsilon e^{i\theta}\,d\theta and dzz−zk=i dθ\dfrac{dz}{z-z_k} = i\,d\theta. Then ∮Cka−1z−zk dz=a−1∫02πi dθ=2πi a−1=2πi Res(f,zk)\oint_{C_k} \dfrac{a_{-1}}{z-z_k}\,dz = a_{-1} \int_0^{2\pi} i\,d\theta = 2\pi i\, a_{-1} = 2\pi i\, \mathrm{Res}(f, z_k).

Step 4 (Sum up). Substituting Step 3 into the identity from Step 1 gives ∮γf(z) dz=2πi∑kRes(f,zk)\oint_\gamma f(z)\,dz = 2\pi i \sum_{k} \mathrm{Res}(f, z_k), which is exactly the residue theorem.

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.