Computing Residues Using Laurent Series: A Beginner’s Guide

Introduction

Have you ever wondered how mathematicians work with functions that "blow up" at certain points? In complex analysis, we use Laurent series to express functions with singularities (points where they become infinite or undefined). From these series, we can extract something called the residue, which plays a crucial role in evaluating contour integrals.

In this post, we’ll learn how to compute residues using Laurent series by working through two examples:

1. $f(z) = e^{1/z}$, a function with an essential singularity at $z = 0$.
2. $g(z) = \frac{\ln(1+z)}{1+z^2}$, a function with isolated singularities that we will analyze.

No prior knowledge of complex analysis is needed—just a curiosity for math!

---

What is a Laurent Series?

A Laurent series is like a Taylor series but allows for negative powers of $z$. It takes the form:

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

where:

• $c_n$ are coefficients,
• $a$ is the center of expansion,
• Negative powers of $(z-a)$ represent singular behavior.

Residue Definition: The residue of $f(z)$ at $z = a$ is the coefficient $c_{-1}$ in the Laurent series expansion of $f(z)$ around $z = a$.

The residue is key to the Residue Theorem, which allows us to evaluate complex integrals using simple calculations.

---

Example 1: Finding the Residue of $f(z) = e^{1/z}$ at $z = 0$

We begin with the function:

$$f(z) = e^{1/z}.$$

Step 1: Expand the Function

We use the Maclaurin series for $e^x$:

$$e^x = \sum_{n=0}^{\infty} \frac{x^n}{n!}.$$

Substituting $x = 1/z$, we get:

$$e^{1/z} = \sum_{n=0}^{\infty} \frac{(1/z)^n}{n!} = \sum_{n=0}^{\infty} \frac{1}{n!} z^{-n}.$$

Step 2: Identify the Residue

From the Laurent series:

$$e^{1/z} = \frac{1}{0!} z^0 + \frac{1}{1!} z^{-1} + \frac{1}{2!} z^{-2} + \frac{1}{3!} z^{-3} + \dots$$

The coefficient of $z^{-1}$ is $1$, so:

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

This tells us that $f(z)$ has a residue of 1 at $z = 0$.

---

Example 2: Laurent Series for $g(z) = \frac{\ln(1+z)}{1+z^2}$

Now, let's consider:

$$g(z) = \frac{\ln(1+z)}{1+z^2}.$$

This function has singularities where $1+z^2 = 0$, which happens at:

$$z = \pm i.$$

We will expand the function in a Laurent series around $z = 0$.

Step 1: Expand $\ln(1+z)$

We use the Maclaurin series for $\ln(1+z)$:

$$\ln(1+z) = \sum_{n=1}^{\infty} (-1)^{n+1} \frac{z^n}{n}, \quad \text{for } |z| < 1.$$

So:

$$\ln(1+z) = z - \frac{z^2}{2} + \frac{z^3}{3} - \frac{z^4}{4} + \dots$$

Step 2: Divide by $1+z^2$

Using the geometric series expansion:

$$\frac{1}{1+z^2} = \sum_{n=0}^{\infty} (-1)^n z^{2n},$$

we multiply:

$$g(z) = (z - \frac{z^2}{2} + \frac{z^3}{3} - \frac{z^4}{4} + \dots) \cdot \sum_{n=0}^{\infty} (-1)^n z^{2n}.$$

Step 3: Identify the Residue

To find the residue, we look for the coefficient of $z^{-1}$. Notice that all terms contain only nonnegative powers of $z$, meaning there is no $z^{-1}$ term in the Laurent series.

Thus, the residue of $g(z)$ at $z = 0$ is:

$$\text{Res}(g, 0) = 0.$$

This tells us that $g(z)$ has no contribution to contour integrals at $z = 0$.

---

P.S. Laurent Series at $z = i$ for $g(z)$

Now, let’s expand $g(z)$ around $z = i$. To do this, we substitute $w = z - i$ (so that $z = w + i$).

Since:

$$1 + z^2 = (z-i)(z+i),$$

we rewrite:

$$g(z) = \frac{\ln(1+z)}{(z-i)(z+i)}.$$

Expanding $\ln(1+z)$ at $z = i$, we write:

$$\ln(1+z) = \ln(1+i) + \sum_{n=1}^{\infty} (-1)^{n+1} \frac{(z-i)^n}{n}.$$

Using partial fraction decomposition:

$$\frac{1}{(z-i)(z+i)} = \frac{A}{z-i} + \frac{B}{z+i},$$

solving for $A$, we get:

$$A = \frac{1}{2i}.$$

Thus, the residue at $z = i$ is:

$$\text{Res}(g, i) = \frac{\ln(1+i)}{2i}.$$

---

Final Thoughts

Residues are incredibly useful in complex analysis and help evaluate integrals in physics and engineering. If you want to practice, try finding the Laurent series and residues for $\frac{e^z}{z}$ at $z = 0$!