Notes

REFERENCE SHEET

Laurent series, poles & residues

The coefficient of (z−a)⁻¹ records the local contribution to a contour integral.

Before this Contour integration & Cauchy formulas

∮γ f(z) dz = 2πi Σa Res(f,a) (positive simple boundary)

Definitions

01

Laurent expansion

On an annulus of holomorphicity about a, f has a unique convergent expansion Σₙ∈ℤ cₙ(z−a)ⁿ.

02

Isolated singularity

Removable if all negative Laurent coefficients vanish; a pole if finitely many are nonzero; essential if infinitely many are nonzero.

03

Residue

Res(f,a)=c₋₁. At a simple pole, it is limz→a (z−a)f(z).

Key theorems

01

Residue theorem

If f is holomorphic on a neighborhood of a positively oriented piecewise smooth simple closed contour and its interior except for finitely many isolated singularities inside, its integral is 2πi times their residue sum.

02

Simple quotient pole

If g,h are holomorphic near a, h(a)=0, h′(a)≠0, and g(a)≠0, then Res(g/h,a)=g(a)/h′(a).

03

Removable singularity theorem

A holomorphic function on a punctured neighborhood of a that is bounded near a extends holomorphically across a.

Notable applications

01

Real integrals

Suitable complex contours can evaluate real integrals; estimates must justify any arc contributions being discarded.

02

Coefficient extraction

Contour integrals recover power-series coefficients and support generating-function methods.

Work it out

Try before revealing

01 / Compute

Find Res(1/(z²+1),i).

Hint

The denominator derivative is 2z.

Solution

The simple-pole formula gives 1/(2i).

02 / Classify

Classify the singularity of sin(z)/z at 0 and give its residue.

Hint

Use the power series for sine.

Solution

sin(z)/z=1−z²/3!+⋯. The singularity is removable with extension value 1; there is no z⁻¹ term, so the residue is 0.

Connect the ideas

Holomorphic functions & power seriesIntegration & accumulation

Go deeper

Further reading and full-length treatments: