Residue Theorem
students, by the end of this lesson you will know how the residue theorem turns a hard contour integral into a much simpler calculation 🎯. You will learn what residues are, why only certain points matter, and how this theorem connects local behavior near singularities to a global result around a closed curve.
Objectives
- Explain the main ideas and terminology behind the residue theorem.
- Apply complex analysis reasoning to evaluate contour integrals.
- Connect the residue theorem to the broader topic of residues.
- Summarize how the residue theorem fits into residue-based methods.
- Use examples to show how the theorem works in practice.
1. Big idea: why the residue theorem matters
In complex analysis, contour integrals can look intimidating because the function may behave badly at some points. But the residue theorem gives a powerful shortcut. Instead of integrating around every detail of a curve, we only need to find the residues of the singularities inside the curve. That is a huge simplification ⚡.
A singularity is a point where a function is not analytic. For the residue theorem, the most important singularities are isolated singularities, meaning each one sits alone and there is a small circle around it containing no other singularities.
The key idea is this: when a function $f(z)$ is analytic everywhere inside and on a simple closed contour $C$, the integral around $C$ is $0$. This is a powerful result from Cauchy’s theorem. But if $f(z)$ has isolated singularities inside $C$, the integral is no longer necessarily zero. The residue theorem says the contribution from each singularity is captured by a number called its residue.
This connects local behavior and global behavior. The residue at a point tells us how the function behaves near that point, and the contour integral tells us about the whole region enclosed by the curve.
2. Statement of the residue theorem
Suppose $f(z)$ is analytic on and inside a positively oriented, simple closed contour $C$, except for finitely many isolated singularities $a_1, a_2, \dots, a_n$ inside $C$. Then
$$
$\oint$_C f(z)\,dz = $2\pi$ i $\sum_{k=1}$^n \operatorname{Res}(f,a_k).
$$
Here:
- $\oint_C$ means a contour integral around a closed curve.
- “Positively oriented” means the curve is traversed counterclockwise.
- $\operatorname{Res}(f,a_k)$ is the residue of $f$ at the singularity $a_k$.
This formula is the main result. It tells us that the entire contour integral is determined by the sum of the residues inside the contour, multiplied by $2\pi i$.
A useful way to remember it is:
Integral around a closed curve = $2\pi i$ times the sum of residues inside the curve.
That is the core of the theorem 📌.
3. What is a residue?
To use the theorem, you need to know what a residue is. If $f(z)$ has a Laurent series expansion around an isolated singularity $a$, then
$$
$f(z)=\sum_{n=-\infty}^{\infty} c_n (z-a)^n.$
$$
The residue is the coefficient $c_{-1}$ of the $\frac{1}{z-a}$ term:
$$
$\operatorname{Res}(f,a)=c_{-1}.$
$$
Why is this coefficient special? Because when you integrate term-by-term around a small circle centered at $a$, every term integrates to $0$ except the $\frac{1}{z-a}$ term. That term contributes exactly $2\pi i$.
So the residue theorem is really about picking out the $\frac{1}{z-a}$ pieces hidden in the function.
Example 1: residue of a simple pole
Consider
$$
$f(z)=\frac{1}{z-2}.$
$$
This has a simple pole at $z=2$. The Laurent series is already visible, and the coefficient of $\frac{1}{z-2}$ is $1$. So
$$
$\operatorname{Res}\left(\frac{1}{z-2},2\right)=1.$
$$
If $C$ is any positively oriented contour enclosing $2$, then
$$
$\oint_C \frac{1}{z-2}\,dz = 2\pi i.$
$$
Example 2: a function with two singularities
Let
$$
$f(z)=\frac{1}{(z-1)(z+1)}.$
$$
This function has simple poles at $z=1$ and $z=-1$. If a contour $C$ encloses both points, then the integral depends on both residues.
Using the formula for a simple pole,
$$
$\operatorname{Res}(f,1)=\lim_{z\to 1}(z-1)\frac{1}{(z-1)(z+1)}=\frac{1}{2},$
$$
and
$$
$\operatorname{Res}(f,-1)=\lim_{z\to -1}(z+1)\frac{1}{(z-1)(z+1)}=-\frac{1}{2}.$
$$
So the sum of residues is $0$, and therefore
$$
$\oint_C \frac{1}{(z-1)(z+1)}\,dz = 0.$
$$
That result may feel surprising, but it is exactly what the theorem predicts.
4. How to apply the residue theorem
When you solve a contour integral using residues, there is a clear process ✅:
- Identify the singularities of the integrand.
- Determine which singularities are inside the contour.
- Compute the residue at each singularity inside the contour.
- Add the residues.
- Multiply by $2\pi i$.
Example 3: a straightforward contour integral
Evaluate
$$
$\oint_C \frac{z}{z^2+1}\,dz,$
$$
where $C$ is the circle $|z|=2$ traversed counterclockwise.
First, factor the denominator:
$$
$z^2+1=(z-i)(z+i).$
$$
So the singularities are at $z=i$ and $z=-i$, both inside $|z|=2$.
Now compute the residues.
At $z=i$:
$$
\operatorname{Res}$\left($$\frac{z}{(z-i)(z+i)}$,i$\right)$=$\lim_{z\to i}$(z-i)$\frac{z}{(z-i)(z+i)}$=$\frac{i}{2i}$=$\frac{1}{2}$.
$$
At $z=-i$:
$$
\operatorname{Res}$\left($$\frac{z}{(z-i)(z+i)}$,-i$\right)$=$\lim_{z\to -i}$(z+i)$\frac{z}{(z-i)(z+i)}$=$\frac{-i}{-2i}$=$\frac{1}{2}$.
$$
Their sum is $1$, so
$$
$\oint_C \frac{z}{z^2+1}\,dz = 2\pi i.$
$$
Notice how the integral is now simple once the residues are known.
5. Residues of higher-order poles
Not every singularity is a simple pole. Sometimes the pole has higher order. If $f(z)$ has a pole of order $m$ at $z=a$, one useful formula is
$$
\operatorname{Res}(f,a)=$\frac{1}{(m-1)!}$$\lim_{z\to a}$$\frac{d^{m-1}}{dz^{m-1}}$$\left[$(z-a)^m f(z)$\right]$.
$$
This formula looks technical, but it is just a systematic way to extract the coefficient of $\frac{1}{z-a}$.
Example 4: a double pole
Let
$$
$f(z)=\frac{1}{(z-1)^2(z+2)}.$
$$
At $z=1$, there is a pole of order $2$. Use the formula with $m=2$:
$$
\operatorname{Res}(f,1)=$\lim_{z\to 1}$$\frac{d}{dz}$$\left[$(z-1)^$2\frac{1}{(z-1)^2(z+2)}$$\right]$
$=\lim_{z\to 1}\frac{d}{dz}\left(\frac{1}{z+2}\right).$
$$
Since
$$
$\frac{d}{dz}\left(\frac{1}{z+2}\right)=-\frac{1}{(z+2)^2},$
$$
we get
$$
$\operatorname{Res}(f,1)=-\frac{1}{9}.$
$$
If a contour encloses only $z=1$, then
$$
$\oint_C \frac{1}{(z-1)^2(z+2)}\,dz = 2\pi i\left(-\frac{1}{9}\right).$
$$
6. Why the theorem is useful in real problems
The residue theorem is especially helpful when contour integrals are difficult to calculate directly, but the singularities are easy to locate. It also appears in methods for evaluating real integrals, because some real integrals can be rewritten as contour integrals in the complex plane.
For example, integrals involving rational functions, trigonometric functions, or exponential factors can often be transformed into contour integrals. The residues then provide the answer. This is one reason the theorem is a central tool in applied mathematics, physics, and engineering 🔧.
The theorem also explains why singularities matter so much. A function may be complicated across a region, but as long as we know the residues inside the contour, we can find the integral exactly.
Conclusion
students, the residue theorem is one of the most powerful results in complex analysis. It says that if a function is analytic except for isolated singularities inside a closed contour, then the contour integral equals $2\pi i$ times the sum of the residues inside the contour. This lets us turn a global integration problem into a local calculation near each singularity.
The theorem fits naturally into the study of residues because residues are the coefficients that capture the $\frac{1}{z-a}$ part of a Laurent series. Once those residues are found, contour integrals become much easier to evaluate. This is the main reason the residue theorem is such an important tool in complex analysis.
Study Notes
- The residue theorem states:
$$
$\oint$_C f(z)\,dz = $2\pi$ i $\sum$ \operatorname{Res}(f,a_k)
$$
for isolated singularities $a_k$ inside $C$.
- A residue is the coefficient of $\frac{1}{z-a}$ in the Laurent expansion of $f(z)$ about $a$.
- Only singularities inside the contour matter.
- A positively oriented contour is traversed counterclockwise.
- For a simple pole at $z=a$:
$$
$ \operatorname{Res}(f,a)=\lim_{z\to a}(z-a)f(z).$
$$
- For a pole of order $m$ at $z=a$:
$$
\operatorname{Res}(f,a)=$\frac{1}{(m-1)!}$$\lim_{z\to a}$$\frac{d^{m-1}}{dz^{m-1}}$$\left[$(z-a)^m f(z)$\right]$.
$$
- The residue theorem is a shortcut for contour integrals and a bridge to evaluating real integrals.
- A common workflow is: find singularities, choose those inside the contour, compute residues, add them, and multiply by $2\pi i$.
- The theorem shows how local information near singularities controls a global contour integral.
