Residue Theorem & Applications

The residue theorem evaluates contour integrals by summing residues. Learn residue formulas for simple and higher-order poles, the residue theorem, evaluating real integrals (rational functions, trigonometric integrals over [0, 2π], Fourier-type integrals with Jordan's lemma), and inverse Laplace transforms via residues.

Many real integrals in engineering (response integrals, spectral densities, impulse responses) are hard by real methods but straightforward with residues. The same machinery computes inverse Laplace and Z transforms.

An analogy

The residue theorem is like counting what's inside a fenced field by only checking special 'hot spots' (poles): each contributes 2πj times its residue.

Computing residues

Simple poles: multiply by (z − z₀) and take the limit, or p/q′. Higher-order poles: derivative formula or Laurent expansion.

Real rational integrals

Close the real line with a large upper semicircle whose contribution → 0 when the integrand decays like 1/R². Sum residues in the upper half-plane.

Trigonometric integrals

Map [0, 2π] to the unit circle with z = e^(jθ); the integrand becomes rational in z; sum residues inside |z| = 1.

Fourier integrals and Laplace inversion

Jordan's lemma handles ∫ f(x)e^(jax) dx. Inverse Laplace: f(t) = Σ Res[F(s)e^(st)] at the poles of F — exactly the partial-fraction method in disguise.

Formulas

• Residue theorem: ∮_C f dz = 2πj Σ Res(f, zₖ) (poles inside C)
• Simple pole: Res = lim (z − z₀)f(z) = p(z₀)/q′(z₀) for f = p/q
• Pole of order m: Res = (1/(m − 1)!) lim d^(m−1)/dz^(m−1) [(z − z₀)ᵐ f]
• Trig integrals: ∫₀^{2π} F(cos θ, sin θ) dθ with z = e^(jθ), cos θ = (z + 1/z)/2, dθ = dz/(jz)
• Rational on ℝ: ∫_{−∞}^{∞} P/Q dx = 2πj Σ Res (upper half-plane), deg Q ≥ deg P + 2

Worked example: Rational integral

Given: ∫_{−∞}^{∞} dx/(x² + 1)

Find: Value.

• Pole in upper half-plane: z = j
• Res = 1/(2j)
• 2πj × 1/(2j) = π

Answer: π

Worked example: Trigonometric integral

Given: ∫₀^{2π} dθ/(2 + cos θ)

Find: Value.

• z = e^(jθ): ∮ 2 dz/(j(z² + 4z + 1))
• Poles −2 ± √3; inside: −2 + √3
• Res gives 2π/√3

Answer: 2π/√3 ≈ 3.628

Common mistakes

• Wrong: Including poles outside the contour. — Right: Only enclosed poles count.
• Wrong: Ignoring the semicircle contribution. — Right: Check it vanishes (degree condition or Jordan).

Applications

• Inverse Laplace: Time responses from pole residues.
• Signal processing: Power spectra and correlation integrals.
• Physics: Scattering and Green's function integrals.

Key takeaways

• ∮ f dz = 2πj Σ Res.
• Simple pole: p/q′; order m: derivative formula.
• Real integrals via closed contours.
• Inverse Laplace = residues of F e^(st).

Going further

• Jordan's lemma: Fourier integrals with oscillating kernels.
• Principal value integrals: Poles on the real axis.
• Keyhole contours: Integrals with branch cuts.