Introduction

In complex analysis, the Laurent series provides a powerful generalization of the Taylor series. While Taylor series only represent functions that are analytic at a point, Laurent series can represent functions in an annular region around a singularity. Named after the French mathematician Pierre Alphonse Laurent (1843), this expansion is indispensable in both theoretical mathematics and applied physics.

The series decomposes a complex function into two parts: a principal part (containing negative powers) and a regular part (containing non-negative powers). This decomposition reveals the nature of isolated singularities and enables the calculation of residues, which are central to contour integration.

Mathematical Definition

Let $f(z)$ be a complex-valued function that is analytic in the annulus $R_1 < |z - z_0| < R_2$, where $0 \le R_1 < R_2 \le \infty$. The Laurent series expansion of $f(z)$ centered at $z_0$ is given by:

$$f(z) = \sum_{n=-\infty}^{\infty} a_n (z - z_0)^n$$

where the coefficients $a_n$ are complex numbers uniquely determined by the function $f$. The series can be split into two components:

  • Regular part: $\sum_{n=0}^{\infty} a_n (z - z_0)^n$ (identical in form to a Taylor series)
  • Principal part: $\sum_{n=1}^{\infty} a_{-n} (z - z_0)^{-n}$ (contains the negative powers)
💡 Key Insight

If the principal part is zero (i.e., $a_{-n} = 0$ for all $n \ge 1$), the singularity at $z_0$ is removable. If it has finitely many terms, $z_0$ is a pole. If it has infinitely many terms, $z_0$ is an essential singularity.

Coefficients & Integral Formula

The coefficients $a_n$ are determined by Cauchy's integral formula adapted to annular domains. For any positively oriented simple closed contour $C$ lying entirely within the annulus of convergence:

$$a_n = \frac{1}{2\pi i} \oint_C \frac{f(z)}{(z - z_0)^{n+1}} \, dz$$

This formula holds for all integers $n \in \mathbb{Z}$. Notably, for $n \ge 0$, it reduces to the standard Taylor coefficient formula. For $n < 0$, it extracts the coefficients of the singular terms.

The coefficient $a_{-1}$ holds special significance: it is the residue of $f(z)$ at $z_0$, denoted $\text{Res}(f, z_0)$. This value directly determines the integral of $f(z)$ around closed loops enclosing $z_0$ via the Residue Theorem.

Annulus of Convergence

Unlike power series that converge in a disk, Laurent series converge in an annulus (a ring-shaped region) centered at $z_0$. The boundaries of this annulus are determined by the nearest singularities of $f(z)$:

  • Inner radius $R_1$: distance to the closest singularity inside the center
  • Outer radius $R_2$: distance to the closest singularity outside the center

Within this annulus, the series converges absolutely and uniformly on compact subsets. Outside this region, the series diverges. This property makes Laurent expansions particularly useful for analyzing functions with multiple isolated singularities.

Relation to Taylor Series

The Laurent series strictly generalizes the Taylor series. If $f(z)$ is analytic at $z_0$, then $R_1 = 0$ and the principal part vanishes, reducing the Laurent expansion to a standard Taylor series. Conversely, whenever $f(z)$ has an isolated singularity at $z_0$, a Taylor expansion fails, but a Laurent series exists in a punctured neighborhood.

This duality is formalized by the Laurent Theorem, which guarantees the existence and uniqueness of the expansion in any given annulus of analyticity.

Key Applications

Laurent series expansions are foundational across mathematics and engineering:

  1. Residue Calculus: Computing complex contour integrals efficiently by isolating $a_{-1}$.
  2. Classification of Singularities: Determining whether a singularity is removable, a pole, or essential.
  3. Signal Processing: Analyzing Z-transforms and discrete-time systems in control theory.
  4. Fluid Dynamics: Modeling potential flow around obstacles using conformal mappings.
  5. Asymptotic Analysis: Deriving approximations of integrals and special functions.

Worked Example

Find the Laurent series expansion of $f(z) = \frac{1}{z(z-1)}$ about $z_0 = 0$ valid in the annulus $0 < |z| < 1$.

Solution:

First, decompose using partial fractions:

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

For $|z| < 1$, we expand $\frac{1}{z-1}$ as a geometric series:

$$\frac{1}{z-1} = -\frac{1}{1-z} = -\sum_{n=0}^{\infty} z^n$$

Substituting back:

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

Thus, the Laurent series is $\sum_{n=-1}^{\infty} -z^n$. The principal part is $-z^{-1}$, indicating a simple pole at $z=0$ with residue $-1$.

References & Further Reading

[1] Ahlfors, L. V. (1979). Complex Analysis (3rd ed.). McGraw-Hill. Chapter 4.
[2] Conway, J. B. (1978). Functions of One Complex Variable (2nd ed.). Springer. §V.1.
[3] Stein, E. M., & Shakarchi, R. (2003). Complex Analysis. Princeton University Press.
[4] "Laurent Series." Aevum Encyclopedia. Retrieved Oct 2025.