Residue Computation

Welcome, students! In complex analysis, residues are a powerful way to understand how functions behave near points where they blow up, called singularities. 🚀 This lesson focuses on residue computation, which means finding the residue of a complex function at a singularity. Residues matter because they are the key ingredient in the residue theorem, which helps evaluate many contour integrals quickly.

Learning Objectives

By the end of this lesson, students, you should be able to:

Explain the main ideas and terminology behind residue computation.
Compute residues using the most common methods.
Connect residue computation to poles, Laurent series, and contour integrals.
See how residue computation fits into the larger study of residues.
Use examples to justify why a residue has the value it does.

What Is a Residue?

A residue is a special number attached to a singularity of a complex function. Suppose a function $f(z)$ has an isolated singularity at $z=a$. Near that point, $f(z)$ can often be written as a Laurent series:

$$f(z)=\sum_{n=-\infty}^{\infty} c_n(z-a)^n$$

The residue of $f$ at $z=a$ is the coefficient of $\frac{1}{z-a}$, which is $c_{-1}$. In symbols,

$$\operatorname{Res}(f,a)=c_{-1}$$

This coefficient is important because it is exactly the part of the function that contributes to many contour integrals. Think of the residue as the “hidden signal” left behind by the singularity 📌.

Main Ways to Compute Residues

There is more than one way to find a residue, and choosing the right method depends on the function. The three most common approaches are:

Using the Laurent series directly
Using the formula for a simple pole
Using the formula for higher-order poles

Let’s look at each one carefully.

1. Residue from a Laurent Series

If you can expand $f(z)$ into a Laurent series around $z=a$, then the residue is simply the coefficient of $\frac{1}{z-a}$. This method is direct, but it may take work to build the series.

For example, consider

$$f(z)=\frac{1}{z(z-1)}$$

near $z=0$. We rewrite:

$$\frac{1}{z(z-1)}=-\frac{1}{z(1-z)}$$

Using the geometric series

$$\frac{1}{1-z}=1+z+z^2+\cdots \quad \text{for } |z|<1,$$

we get

$$f(z)=-\frac{1}{z}(1+z+z^2+\cdots)=-\frac{1}{z}-1-z-\cdots$$

So the coefficient of $\frac{1}{z}$ is $-1$, and

$$\operatorname{Res}(f,0)=-1$$

This is a great example of how a Laurent series reveals the residue clearly.

2. Residue at a Simple Pole

A simple pole is a pole of order $1$. If $f(z)$ has a simple pole at $z=a$, then the residue can often be found using the limit

$$\operatorname{Res}(f,a)=\lim_{z\to a}(z-a)f(z)$$

This formula works because multiplying by $z-a$ cancels the singular part and leaves the residue behind.

Example: find the residue of

$$f(z)=\frac{e^z}{z-2}$$

at $z=2$. Since $z=2$ is a simple pole,

$$\operatorname{Res}(f,2)=\lim_{z\to 2}(z-2)\frac{e^z}{z-2}=e^2$$

So the residue is $e^2$.

This method is fast and is used very often when the denominator has a factor like $(z-a)$ only once.

3. Residue at a Pole of Order $m$

If $f(z)$ has a pole of order $m$ at $z=a$, then the residue can be found using the formula

$$\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 looks more advanced, but the idea is simple: multiply by enough factors of $(z-a)$ to remove the pole, then differentiate the right number of times to isolate the coefficient of $\frac{1}{z-a}$.

Example: find the residue of

$$f(z)=\frac{1}{(z-1)^2(z+1)}$$

at $z=1$. Here, $z=1$ is a pole of order $2$, so $m=2$. Use:

$$\operatorname{Res}(f,1)=\lim_{z\to 1}\frac{d}{dz}\left[(z-1)^2\frac{1}{(z-1)^2(z+1)}\right]$$

Simplify inside first:

$$\operatorname{Res}(f,1)=\lim_{z\to 1}\frac{d}{dz}\left(\frac{1}{z+1}\right)$$

Differentiate:

$$\frac{d}{dz}\left(\frac{1}{z+1}\right)=-\frac{1}{(z+1)^2}$$

Now evaluate at $z=1$:

$$\operatorname{Res}(f,1)=-\frac{1}{4}$$

So the residue is $-\frac{1}{4}$.

Important Patterns for Common Functions

Many residue problems become easier when you recognize a standard pattern. Here are some useful facts.

Rational Functions

$$f(z)=\frac{p(z)}{q(z)}$$

and $q(a)=0$ while $q'(a)\neq 0$, then $z=a$ is a simple pole, and

$$\operatorname{Res}(f,a)=\frac{p(a)}{q'(a)}$$

This formula saves time when $f$ is a quotient of polynomials.

Example:

$$f(z)=\frac{z^2+1}{z^2-1}$$

At $z=1$, we have $p(z)=z^2+1$ and $q(z)=z^2-1$. Since $q'(z)=2z$, then

$$\operatorname{Res}(f,1)=\frac{p(1)}{q'(1)}=\frac{2}{2}=1$$

Functions of the Form $g(z)e^{h(z)}$

If $g(z)$ has a pole and $e^{h(z)}$ is analytic, then the residue often comes from expanding the analytic part near the pole. For example,

$$f(z)=\frac{e^z}{z^2}$$

has a pole of order $2$ at $z=0$. Expand $e^z$:

$$e^z=1+z+\frac{z^2}{2!}+\cdots$$

Then

$$\frac{e^z}{z^2}=\frac{1}{z^2}+\frac{1}{z}+\frac{1}{2!}+\cdots$$

$$\operatorname{Res}(f,0)=1$$

because the coefficient of $\frac{1}{z}$ is $1$.

Residues and Contour Integrals

Residue computation is not just a technical skill; it is a major tool for evaluating contour integrals. The residue theorem says that if $f$ is analytic on and inside a closed contour except for isolated singularities, then

$$\oint_C f(z)\,dz=2\pi i\sum \operatorname{Res}(f,a_k)$$

where the sum is over the singularities inside $C$.

That means once you know how to compute residues, many integrals become much easier. For example, suppose a contour encloses poles at $z=0$ and $z=2$. If the residues are $3$ and $-1$, then

$$\oint_C f(z)\,dz=2\pi i(3+(-1))=4\pi i$$

So residue computation is the bridge between a complicated integral and a simple arithmetic sum ✨.

Strategy for Solving Residue Problems

When students sees a residue problem, a good workflow is:

Identify the singularity $z=a$.
Determine the type: removable singularity, simple pole, higher-order pole, or something else.
Choose a method:

Laurent series if the function is easy to expand,
limit formula for a simple pole,
derivative formula for a higher-order pole,
or algebraic simplification if possible.

Compute carefully.
Check the answer by seeing whether the result is consistent with the local behavior near $a$.

For example, if a function has no $\frac{1}{z-a}$ term in its Laurent series, then the residue is $0$. This can happen even when the function has a singularity.

Common Mistakes to Avoid

Residue problems are very manageable once the structure is clear, but there are a few common errors:

Forgetting to check whether the point is actually inside the contour.
Confusing the coefficient of $\frac{1}{(z-a)^2}$ with the residue. Only $\frac{1}{z-a}$ matters.
Using the simple pole formula when the pole has order greater than $1$.
Expanding a series outside its region of convergence.
Missing cancellations that simplify the singularity.

A careful step-by-step method helps avoid these mistakes.

Conclusion

Residue computation is one of the most useful techniques in complex analysis. It focuses on finding the coefficient of $\frac{1}{z-a}$ in a Laurent expansion, or using formulas that extract that coefficient directly. Whether a function has a simple pole, a higher-order pole, or a form that can be expanded into a series, the residue gives a compact summary of the function’s local behavior near a singularity.

Most importantly, residue computation connects directly to contour integration through the residue theorem. That connection turns difficult integrals into manageable sums, making residues a central tool in complex analysis. students, mastering residue computation will help you solve many advanced problems in a clean and efficient way.

Study Notes

The residue of $f(z)$ at $z=a$ is the coefficient of $\frac{1}{z-a}$ in the Laurent series of $f$ around $a$.
If $f$ has a simple pole at $z=a$, then

$$\operatorname{Res}(f,a)=\lim_{z\to a}(z-a)f(z).$$

If $f$ has a pole of order $m$ at $z=a$, then

$$\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].$$

For a rational function $f(z)=\frac{p(z)}{q(z)}$ with a simple pole at $a$, a useful formula is

$$\operatorname{Res}(f,a)=\frac{p(a)}{q'(a)}.$$

Residues are used in the residue theorem:

$$\oint_C f(z)\,dz=2\pi i\sum \operatorname{Res}(f,a_k).$$

The residue computation method you choose depends on the function’s form and the order of the pole.
Careful identification of singularities and correct series expansion are essential for accurate answers.