Laurent series

A Laurent series is a generalization of a power series that allows for negative powers of the variable, representing a complex function in an annular region rather than a disk. Where a Taylor series expansion requires a function to be holomorphic at the center point, a Laurent series requires only that the function be holomorphic in an annulus around the point — it can have a singularity at the center. The series takes the form Σ a_n (z-c)^n, where the sum runs over all integers (positive, negative, and zero), and the coefficients a_n are determined by contour integrals around the annulus.

The Laurent series is the tool that makes the residue theorem computationally tractable. The coefficient a_{-1} of the (z-c)^{-1} term — the residue — is the only term that contributes to a closed contour integral around the singularity. All other terms integrate to zero, a fact that follows from the Cauchy integral theorem. This is why the residue theorem reduces contour integration to algebra: the entire integral is determined by a single coefficient in the Laurent expansion.

Laurent series also classify singularities. If the series has finitely many negative terms, the singularity is a pole; if infinitely many, it is an essential singularity. The Casorati-Weierstrass theorem and Picard's theorem describe the wild behavior of functions near essential singularities — behavior that the Laurent series captures but cannot tame.

The Laurent series is often taught as a technical tool for residue calculation, but its conceptual significance is deeper. It reveals that the behavior of a complex function near a singularity is not arbitrary chaos but structured information encoded in an infinite sequence of coefficients. The negative powers are not a nuisance; they are the signal. In this sense, the Laurent series is the complex-analytic analogue of a Fourier transform: both decompose a function into modes, and both isolate the components that carry physical or mathematical meaning. The fact that a single coefficient — the residue — determines the global behavior of an integral is not a computational trick; it is evidence that complex analysis is a theory of information compression, where local singularities encode global constraints.