Skip to content
homeaboutworkprojectsthesiswritingresume
Loading
~/blog/residues-and-contour-integration0%dark
  1. home/
  2. writing/
  3. Residues and Contour Integration

28 June 2026 · 5 min read · updated 09 June 2026

Residues and Contour Integration

A holomorphic function integrates to zero around a closed contour, but a function with poles inside the contour leaves a residue at each, and the contour integral is exactly the sum of those residues. We define the Laurent series and the residue, prove the residue theorem from the Cauchy integral formula, give the formulas that compute residues at poles, and use the method to evaluate a real integral that elementary calculus cannot reach, the integral that is the characteristic function of the Cauchy distribution. Contour integration is the reason the Fourier transforms of probability are computable in closed form.

  • 2 equations
  • 9 results
  • 2 connections
  • complex-analysis
  • integration
On this page▾
  • The Laurent series and the residue
  • The residue theorem
  • The Cauchy distribution

5 min left

  • The Laurent series and the residue1m
  • The residue theorem1m
  • The Cauchy distribution2m

A holomorphic function integrates to zero around a closed contour, so a nonzero contour integral is a measurement of how the function fails to be holomorphic inside. The failure is concentrated at isolated singularities, and the precise quantity it contributes is the residue, the one Laurent coefficient that survives integration around the singularity. The residue theorem turns a contour integral into a finite sum of residues, and the consequence is a method for evaluating real integrals by closing them into the complex plane, including the Fourier integrals that define the characteristic functions of probability. This post proves the residue theorem and applies it [1], [2].

#The Laurent series and the residue

Near an isolated singularity a holomorphic function has a series expansion with negative powers.

Definition1

A function holomorphic on a punctured disk 0<∣z−z0∣<r0<\abs{z-z_0}<r0<∣z−z0​∣<r has a Laurent series f(z)=∑n=−∞∞an(z−z0)nf(z)=\sum_{n=-\infty} ^\infty a_n(z-z_0)^nf(z)=∑n=−∞∞​an​(z−z0​)n converging there. The singularity is a pole of order mmm when a−m≠0a_{-m}\neq 0a−m​=0 and an=0a_n=0an​=0 for n<−mn<-mn<−m, and the residue is Res⁡(f,z0)=a−1\Res(f,z_0)=a_{-1}Res(f,z0​)=a−1​.

The residue is singled out among all the Laurent coefficients because it is the only one that survives integration around the singularity.

Lemma2

For a small positively oriented circle CCC about z0z_0z0​ inside the punctured disk, ∫C(z−z0)n dz=0\int_C(z-z_0)^n\,dz=0∫C​(z−z0​)ndz=0 for every integer n≠−1n\neq -1n=−1 and ∫C(z−z0)−1 dz=2πi\int_C(z-z_0)^{-1}\,dz=2\pi i∫C​(z−z0​)−1dz=2πi. Consequently ∫Cf=2πi Res⁡(f,z0)\int_C f=2\pi i\,\Res(f,z_0)∫C​f=2πiRes(f,z0​).

Proof

Parametrise z=z0+ρeiθz=z_0+\rho e^{i\theta}z=z0​+ρeiθ, so (z−z0)n dz=ρn+1ei(n+1)θi dθ(z-z_0)^n\,dz=\rho^{n+1}e^{i(n+1)\theta}i\,d\theta(z−z0​)ndz=ρn+1ei(n+1)θidθ. For n≠−1n\neq -1n=−1 the integral over θ∈[0,2π]\theta\in[0,2\pi]θ∈[0,2π] of ei(n+1)θe^{i(n+1)\theta}ei(n+1)θ is zero by periodicity, and for n=−1n=-1n=−1 the integrand is i dθi\,d\thetaidθ, integrating to 2πi2\pi i2πi. The Laurent series converges uniformly on every compact subset of the annulus, and the circle ∣z−z0∣=ρ\abs{z-z_0}=\rho∣z−z0​∣=ρ is one such subset, so it may be integrated term by term, and only the n=−1n=-1n=−1 term contributes, giving ∫Cf=2πi a−1=2πi Res⁡(f,z0)\int_C f=2\pi i\,a_{-1} =2\pi i\,\Res(f,z_0)∫C​f=2πia−1​=2πiRes(f,z0​).

#The residue theorem

Theorem3

Let fff be holomorphic on a simply connected domain except at finitely many isolated singularities, and let γ\gammaγ be a positively oriented simple closed contour enclosing the singularities z1,…,zkz_1,\dots,z_kz1​,…,zk​ and no others. Then

∫γf(z) dz=2πi∑j=1kRes⁡(f,zj).(1)\int_\gamma f(z)\,dz=2\pi i\sum_{j=1}^k\Res(f,z_j). \tag{1}∫γ​f(z)dz=2πij=1∑k​Res(f,zj​).(1)
Proof

Around each singularity zjz_jzj​ draw a small positively oriented circle CjC_jCj​ inside γ\gammaγ, disjoint from the others. The region between γ\gammaγ and the circles contains no singularity, so fff is holomorphic there, and the Cauchy theorem for the multiply connected region, cut into simply connected pieces by slits, gives ∫γf=∑j∫Cjf\int_\gamma f=\sum_j\int_{C_j}f∫γ​f=∑j​∫Cj​​f, the slit edges cancelling in pairs. By Lemma 2 each circle integral is 2πi Res⁡(f,zj)2\pi i\,\Res(f,z_j)2πiRes(f,zj​), and summing gives Equation (1).

The residues are computable without finding the whole Laurent series. At a simple pole the residue is the limit of (z−z0)f(z)(z-z_0)f(z)(z−z0​)f(z).

Proposition4

If fff has a simple pole at z0z_0z0​, then Res⁡(f,z0)=lim⁡z→z0(z−z0)f(z)\Res(f,z_0)=\lim_{z\to z_0}(z-z_0)f(z)Res(f,z0​)=limz→z0​​(z−z0​)f(z). If f=g/hf=g/hf=g/h with g,hg,hg,h holomorphic, g(z0)≠0g(z_0)\neq 0g(z0​)=0, and hhh a simple zero at z0z_0z0​, then Res⁡(f,z0)=g(z0)/h′(z0)\Res(f,z_0)=g(z_0)/h'(z_0)Res(f,z0​)=g(z0​)/h′(z0​).

Proof

At a simple pole f(z)=a−1z−z0+a0+a1(z−z0)+⋯f(z)=\frac{a_{-1}}{z-z_0}+a_0+a_1(z-z_0)+\cdotsf(z)=z−z0​a−1​​+a0​+a1​(z−z0​)+⋯, so (z−z0)f(z)=a−1+a0(z−z0)+⋯→a−1(z-z_0)f(z)=a_{-1}+a_0(z-z_0)+\cdots \to a_{-1}(z−z0​)f(z)=a−1​+a0​(z−z0​)+⋯→a−1​ as z→z0z\to z_0z→z0​. For the quotient, h(z0)=0h(z_0)=0h(z0​)=0 and h′(z0)≠0h'(z_0)\neq 0h′(z0​)=0 give z−z0h(z)→1h′(z0)\frac{z-z_0}{h(z)}\to\frac 1{h'(z_0)}h(z)z−z0​​→h′(z0​)1​ as z→z0z\to z_0z→z0​, so (z−z0)f(z)=g(z)z−z0h(z)→g(z0)h′(z0)(z-z_0)f(z)=g(z)\frac{z-z_0}{h(z)}\to\frac{g(z_0)}{h'(z_0)}(z−z0​)f(z)=g(z)h(z)z−z0​​→h′(z0​)g(z0​)​, which is the residue by the first part.

#The Cauchy distribution

The method of contours evaluates real integrals by completing them into a closed loop, and the cleanest example is the Fourier integral of the Cauchy density.

Theorem5

For every real ttt, ∫−∞∞eitx1+x2 dx=πe−∣t∣\displaystyle\int_{-\infty}^\infty\frac{e^{itx}}{1+x^2}\,dx=\pi e^{-\abs t}∫−∞∞​1+x2eitx​dx=πe−∣t∣.

Proof

Take t≥0t\ge 0t≥0 first. The integrand extends to f(z)=eitz1+z2f(z)=\dfrac{e^{itz}}{1+z^2}f(z)=1+z2eitz​, holomorphic except at the simple poles z=±iz=\pm iz=±i. Close the real interval [−R,R][-R,R][−R,R] with the semicircular arc ΓR\Gamma_RΓR​ of radius RRR in the upper half plane, a contour enclosing the single pole z=iz=iz=i. By the residue theorem,

∫−RReitx1+x2 dx+∫ΓRf=2πi Res⁡(f,i)=2πi eit⋅i2i=πe−t,(2)\int_{-R}^R\frac{e^{itx}}{1+x^2}\,dx+\int_{\Gamma_R}f=2\pi i\,\Res(f,i)=2\pi i\,\frac{e^{it\cdot i}}{2i}=\pi e^{-t}, \tag{2}∫−RR​1+x2eitx​dx+∫ΓR​​f=2πiRes(f,i)=2πi2ieit⋅i​=πe−t,(2)

the residue computed from Proposition 4 as eitz/(z+i)e^{itz}/(z+i)eitz/(z+i) evaluated at z=iz=iz=i. On the arc, z=Reiθz=Re^{i\theta}z=Reiθ with θ∈[0,π]\theta\in[0,\pi]θ∈[0,π] gives ∣eitz∣=e−tRsin⁡θ≤1\abs{e^{itz}}=e^{-tR\sin\theta}\le 1​eitz​=e−tRsinθ≤1 since t≥0t\ge 0t≥0 and sin⁡θ≥0\sin\theta\ge 0sinθ≥0, while ∣1+z2∣≥R2−1\abs{1+z^2}\ge R^2-1​1+z2​≥R2−1, so the arc integral is bounded by πRR2−1→0\dfrac{\pi R}{R^2-1}\to 0R2−1πR​→0 as R→∞R\to\inftyR→∞. Letting R→∞R\to\inftyR→∞ in Equation (2) leaves ∫−∞∞eitx1+x2 dx=πe−t\int_{-\infty}^\infty \frac{e^{itx}}{1+x^2}\,dx=\pi e^{-t}∫−∞∞​1+x2eitx​dx=πe−t. For t<0t<0t<0 the same argument closes in the lower half plane. On the lower arc z=Reiθz=Re^{i\theta}z=Reiθ with θ∈[π,2π]\theta\in[\pi,2\pi]θ∈[π,2π] one has sin⁡θ≤0\sin\theta\le 0sinθ≤0, so ∣eitz∣=e−tRsin⁡θ=e∣t∣Rsin⁡θ≤1\abs{e^{itz}}=e^{-tR \sin\theta}=e^{\abs t R\sin\theta}\le 1​eitz​=e−tRsinθ=e∣t∣Rsinθ≤1 since ∣t∣>0\abs t>0∣t∣>0 and sin⁡θ≤0\sin\theta\le 0sinθ≤0, and as before ∣1+z2∣≥R2−1\abs{1+z^2} \ge R^2-1​1+z2​≥R2−1 bounds the arc integral by πR/(R2−1)→0\pi R/(R^2-1)\to 0πR/(R2−1)→0. The contour [−R,R][-R,R][−R,R] followed by the lower arc back to −R-R−R is negatively (clockwise) oriented and encloses the pole z=−iz=-iz=−i, so the residue theorem gives −2πi Res⁡(f,−i)=−2πi et−2i=πet-2\pi i\,\Res(f,-i)=-2\pi i\,\dfrac{e^{t}}{-2i}=\pi e^{t}−2πiRes(f,−i)=−2πi−2iet​=πet, the two sign reversals cancelling, so in both cases the value is πe−∣t∣\pi e^{-\abs t}πe−∣t∣.

Dividing by π\piπ identifies the result as the characteristic function of the Cauchy distribution with density 1π(1+x2)\frac{1}{\pi(1+x^2)}π(1+x2)1​, namely e−∣t∣e^{- \abs t}e−∣t∣, a function continuous everywhere but not differentiable at the origin, reflecting the absence of a finite mean, which the first derivative of the characteristic function at 000 would supply. The computation is impossible by real methods, since the antiderivative of eitx/(1+x2)e^{itx}/(1+x^2)eitx/(1+x2) has no elementary form, yet the residue theorem produces the exact value from a single pole. The Fourier transforms of probability and the inversion integrals that recover a density from its characteristic function follow the same pattern, the contour closing what the real line leaves open and the residue supplying the answer.

[1]
L. V. Ahlfors, Complex Analysis, 3rd ed. McGraw-Hill, 1979.
[2]
E. M. Stein and R. Shakarchi, Complex Analysis. in Princeton Lectures in Analysis. Princeton University Press, 2003.

Part 2 of 2 in Complex Analysis

← previousHolomorphic Functions and Cauchy's Theorem

Explore connections

see in the atlas →

related

  • Characteristic Functions
  • Holomorphic Functions and Cauchy's Theorem
  • Uniform Integrability and the Vitali Theorem

referenced by (1)

  • Holomorphic Functions and Cauchy's Theorem
cite
@misc{residues-and-contour-integration,
  author = {Zac Kienzle},
  title  = {Residues and Contour Integration},
  year   = {2026},
  month  = {06},
  url    = {https://zackienzle.com/blog/residues-and-contour-integration}
}