Residue Theorem

Introduction

The residue theorem is one of the crown jewels of complex analysis. It provides a powerful method for evaluating contour integrals by reducing them to a simple algebraic calculation involving residues—numbers that capture the local behavior of a function near its singularities.

The applications of the residue theorem extend far beyond complex analysis itself. It provides elegant solutions to definite integrals that seem intractable by real methods, sums infinite series, counts zeros of polynomials, and appears throughout physics in signal processing, quantum mechanics, and fluid dynamics.

At its heart, the residue theorem says that a contour integral depends only on what happens at the singularities inside the contour. The integral around a closed curve equals 2*π*i times the sum of the residues enclosed. This remarkable fact reduces the problem of integration to the problem of finding residues.

Singularities and Laurent Series

Types of Isolated Singularities

A function ƒ(z) has an isolated singularity at (z_0) if ƒ is analytic in some punctured disk 0<|z-(z_0)|<R but not at (z_0) itself. There are three types:

A removable singularity occurs when (lim_z→(z_0))(ƒ(z)) exists and is finite. The function can be redefined at (z_0) to become analytic. Example: (sin(z))/z at z=0

A pole of order n occurs when (lim_z→(z_0))(z−(z_0))n*ƒ(z) exists and is nonzero. A pole of order 1 is called a simple pole. Example: 1/(z−1)2 has a pole of order 2 at z=1.

An essential singularity is neither removable nor a pole. Near an essential singularity, the function takes on almost every complex value infinitely often (Picard's theorem). Example: e(1/z) at z=0

Laurent Series

Near an isolated singularity, a function can be expanded in a Laurent series, which includes negative powers:

ƒ(z)=(∑_n=−∞^∞)((a_n))*(z−(z_0))n=⋯+(a_−2)/((z−(z_0))2)+(a_−1)/(z−(z_0))+(a_0)+(a_1)*(z−(z_0))+⋯

The part with negative powers is called the principal part. The type of singularity is determined by the principal part:

Removable singularity: principal part is zero (all (a_n)=0 for n<0).

Pole of order m principal part has finitely many terms, with (a_−m)≠0 and (a_n)=0 for n<−m

Essential singularity: principal part has infinitely many nonzero terms.

Definition of the Residue

The residue of ƒ at an isolated singularity (z_0) is the coefficient (a_−1) in the Laurent series:

Res(ƒ,(z_0))=(a_−1)=1/(2*π*i)*(∮_C)(ƒ(z)*d(z))

where C is any positively oriented simple closed curve encircling (z_0) and no other singularities.

The second expression follows from the fact that when we integrate the Laurent series term by term around a closed curve, only the (a_−1)/(z−(z_0)) term contributes (giving 2*π*i⋅(a_−1)), while all other terms integrate to zero.

The Residue Theorem

Let f be analytic inside and on a simple closed positively oriented contour C, except at isolated singularities (z_1),(z_2),…,(z_n) inside C. Then:

(∮_C)(ƒ(z)*d(z))=2*π*i*(∑_k=1^n)(Res(ƒ,(z_k)))

This is the residue theorem. It states that the contour integral equals 2*π*i times the sum of all residues inside the contour.

The proof follows from Cauchy's theorem and the definition of the residue. We can deform the contour C to small circles around each singularity without changing the integral (since ƒ is analytic in between). Each small circle integral gives 2*π*i times the residue at that point.

Computing Residues

Simple Poles

If ƒ has a simple pole at (z_0), the residue is:

Res(ƒ,(z_0))=(lim_z→(z_0))(z−(z_0))*ƒ(z)

If ƒ(z)=g(z)/h(z) where g((z_0))≠0, h((z_0))≠0, and h′*((z_0))≠0 (simple zero of h), then:

Res(ƒ,(z_0))=g((z_0))/(h′*((z_0)))

Poles of Higher Order

If ƒ has a pole of order n at (z_0), the residue is:

Res(ƒ,(z_0))=1/(n−1)!*(lim_z→(z_0))(d(n-1)((z−(z_0))n*ƒ(z))/d(z(n−1)))

For a pole of order 2, this simplifies to:

Res(ƒ,(z_0))=(lim_z→(z_0))(d((z−(z_0))2*ƒ(z))/d(z))

Essential Singularities

For essential singularities, there is no simple formula. One must find the Laurent series expansion and identify the coefficient of (z-(z_0))(-1) directly.

By the residue theorem:

(∮_|z|=2)(d(z)/(z2-1))=2*π*i*(1/2-1/2)=0

Applications to Real Integrals

One of the most powerful applications of the residue theorem is evaluating definite integrals that are difficult or impossible by real methods.

Trigonometric Integrals

For integrals of the form(∫_0^2*π)(R(cos(θ),sin(θ))*d(θ)), substitute z=exp(i*θ):

cos(θ)=(z+z(−1))/2,sin(θ)=(z−z(−1))/(2*i),d(θ)=d(z)/(i*z)

The integral becomes a contour integral around the unit circle.

Improper Real Integrals

For integrals of the form (∫_−∞^∞)(ƒ(x)*d(x)) where ƒ is a rational function, we use a semicircular contour in the upper (or lower) half-plane.

If the degree of the denominator exceeds the degree of the numerator by at least 2, the integral over the semicircular arc vanishes as the radius goes to infinity.

Fourier-Type Integrals

For integrals involving exp(i*a*x) where a>0, we close the contour in the upper half-plane. Jordan's lemma guarantees that the semicircular arc contribution vanishes.

The Argument Principle and Applications

A beautiful consequence of the residue theorem is the argument principle. If ƒ is meromorphic inside and on a contour C (analytic except for poles), and ƒ has no zeros or poles on C, then:

1/(2*π*i)*(∮_C)((ƒ′*(z))/ƒ(z)*d(z))=N−P

where N is the number of zeros of ƒ inside C (counting multiplicity) and P is the number of poles (counting multiplicity).

This leads to Rouche's theorem, a powerful tool for locating zeros of analytic functions: if |ƒ(z)−g(z)|<|ƒ(z)| on C, then ƒ and g have the same number of zeros inside C.

Connection to Other Concepts

The residue theorem is intimately connected to other fundamental results in complex analysis.

Cauchy's integral formula is a special case: for ƒ analytic inside C, the residue of ƒ(z)/(z−a) at z=a is ƒ(a), giving the formula ƒ(a)=1/(2*π*i) times the contour integral of ƒ(z)/(z−a).

The Laurent series, which defines residues, connects to Taylor series when the singularity is removable.

In physics, residues appear in computing inverse Laplace transforms, analyzing transfer functions in signal processing, and evaluating Feynman integrals in quantum field theory.

Contour integration techniques using the residue theorem are essential in asymptotic analysis, where they help evaluate integrals that arise in approximating special functions.

Summary

The residue of a function ƒ at an isolated singularity (z_0) is the coefficient (a_−1) in its Laurent series expansion. It can be computed using formulas that depend on the type of singularity: for a simple pole,Res(ƒ,(z_0))=(lim_)(z−(z_0))*ƒ(z); for higher-order poles, differentiation is required.

The residue theorem states that the contour integral of ƒ around a closed curve equals 2*π*i times the sum of residues at singularities inside the curve. This reduces contour integration to the algebraic problem of computing residues.

The theorem has powerful applications to real integration. Trigonometric integrals can be converted to contour integrals around the unit circle. Improper integrals of rational functions can be evaluated using semicircular contours. Fourier-type integrals with exponential factors are handled using Jordan's lemma.

The argument principle, a consequence of the residue theorem, counts zeros and poles of meromorphic functions. Rouche's theorem uses this to locate zeros.

The residue theorem exemplifies the power of complex analysis: problems that are intractable by real methods become elegant calculations in the complex plane. It remains one of the most useful tools in mathematics, physics, and engineering.