Laurent Series and Isolated Singularities

A Laurent series expands a complex function $f(z)$ that is holomorphic on an annulus into a doubly-infinite power series including negative powers of $(z-z_0)$. The coefficient of the $(z-z_0{)}^{-1}$ term, called the residue, encodes the function's behavior near an isolated singularity — a point where $f$ fails to be holomorphic but is holomorphic on a punctured neighborhood. Singularities classify into three types (removable, pole, essential) by the structure of the negative-power "principal part." Developed by Pierre Alphonse Laurent (1843) and refined by Weierstrass and Cauchy; foundational to complex analysis and contour integration.

Given a function $f$ holomorphic on an annulus $r<|z-z_0|<R$, there is a unique expansion $f(z)={\sum }_{n=-\infty }^{\infty }{a}_n(z-z_0{)}^n$ converging on that annulus — the Laurent series. Unlike the Taylor series, which requires holomorphy on a disk, the Laurent series tolerates a "hole," making it the natural tool for studying behavior around points where $f$ misbehaves. The terms with negative exponents form the principal part, and its structure completely classifies an isolated singularity as removable, a pole, or essential. A surprising fact: near an essential singularity, the function comes arbitrarily close to every complex value in every neighborhood (the Casorati–Weierstrass theorem, sharpened by Picard's theorem), behavior with no analog in real analysis. The single coefficient $a_{-1}$ — the residue — turns hard integrals into simple algebra via the Residue Theorem.

The Core Insight

Holomorphy on a disk forces a Taylor series. Holomorphy on an annulus — a disk with a hole — relaxes this just enough to admit negative powers. The decomposition $f=(\text{regular part})+(\text{principal part})$ splits $f$ into a piece holomorphic inside the inner radius and a piece holomorphic outside the outer radius. The principal part is a fingerprint of the singularity, and a single number from it (the residue) governs integration.

Formal Statement

Annulus and Isolated Singularity

An open annulus centered at $z_0$ is the set

A point $z_0$ is an isolated singularity of $f$ if there exists $\rho >0$ such that $f$ is holomorphic on the punctured disk $A(z_0;0,\rho )=\{0<|z-z_0|<\rho \}$ but is not holomorphic (or not defined) at $z_0$ itself. Here $z_0$ symbolizes the center; $r,R$ the radii; the condition $|z-z_0|>r$ excludes inner trouble.

Laurent Series

The Laurent series of $f$ about $z_0$ is the doubly-infinite series

The coefficients are given by the contour integral

Laurent's Theorem — Existence and Uniqueness

If $f$ is holomorphic on the annulus $A(z_0;r,R)$, then $f$ admits a unique Laurent expansion [2] converging absolutely on $A(z_0;r,R)$ and uniformly on every compact subannulus $r<{\rho }_1\le |z-z_0|\le {\rho }_2<R$, with coefficients given by [3]. The choice of contour $\gamma$ (within the annulus, enclosing $z_0$) does not affect $a_n$.

Classification of Isolated Singularities

Let $z_0$ be an isolated singularity with principal part ${\sum }_{n=1}^{\infty }{a}_{-n}(z-z_0{)}^{-n}$. Then $z_0$ is:

• Removable if $a_{-n}=0$ for all $n\ge 1$ (no principal part). Then ${\lim }_{z\to z_0}f(z)$ exists finitely and $f$ extends holomorphically.
• A pole of order $m$ if $a_{-m}\ne 0$ and $a_{-n}=0$ for all $n>m$ (finite principal part). A pole of order $1$ is simple.
• An essential singularity if infinitely many $a_{-n}\ne 0$ (infinite principal part).

The residue of $f$ at $z_0$ is

Residue Theorem

If $f$ is holomorphic on and inside a positively oriented simple closed contour $\gamma$ except for finitely many isolated singularities $z_1,\dots ,z_k$ inside $\gamma$, then

Why It Holds / Derivation

Existence of the Laurent Expansion

Integrating term-by-term (justified by uniform convergence) over $C_2$ yields ${\sum }_{n\ge 0}{a}_n(z-z_0{)}^n$ with $a_n$ as in [3].

Integrating over $C_1$ gives ${\sum }_{m\ge 1}{a}_{-m}(z-z_0{)}^{-m}$ with $a_{-m}=\frac{1}{2\pi i}{\oint }_{C_1}f(\zeta )(\zeta -z_0{)}^{m-1}d\zeta$, matching [3] for $n=-m$.

Uniqueness

Suppose $f(z)={\sum }_n{b}_n(z-z_0{)}^n$ converges on the annulus. Multiply by $(z-z_0{)}^{-m-1}$ and integrate over a circle $\gamma$ centered at $z_0$. Uniform convergence permits term-by-term integration, and the orthogonality relation

Pierre Alphonse Laurent | 1813–1854

A French military engineer and officer in the Corps des Ponts et Chaussées, Laurent submitted his theorem on the expansion of complex functions in annular regions to the Académie des Sciences in 1843, as part of a memoir on the calculus of variations and analysis. The work was never formally published in his lifetime (Cauchy reviewed it favorably but it missed the Grand Prix deadline). Laurent died young at 41; his expansion was published posthumously. Karl Weierstrass had independently obtained an equivalent result in an unpublished 1841 paper. Laurent's name stuck, attached to one of the central tools of complex analysis.

Building Intuition

Think of a Taylor series as describing a function from a single clean center point — it needs the function to be smooth all the way through that center. A Laurent series instead describes the function from a ring surrounding a possibly-broken center. The negative powers $(z-z_0{)}^{-n}$ blow up as $z\to z_0$; they are precisely the language needed to record how the function explodes (or oscillates wildly) near the bad point.

The order of the principal part measures the severity of the blow-up:

• No negative terms → the "singularity" was an illusion; the function is secretly fine (removable).
• Finitely many negative terms → the function diverges like $1/(z-z_0{)}^m$, a controlled, polynomial-rate explosion (pole).
• Infinitely many negative terms → uncontrollable chaos; $e^{1/z}$ near $0$ is the prototype, packing every behavior into any neighborhood (essential).

The residue $a_{-1}$ is special because of equation [9]: it is the only power of $(z-z_0)$ whose integral around a loop survives. Everything else integrates to zero. So when you integrate around a singularity, the function "remembers" only its $a_{-1}$ coefficient.

The annulus of convergence and classification of singularities by principal part

Worked Examples

A Pole of Order 2 — Coefficients and Residue

Same Function, Different Annuli — Computing a Contour Integral

By the Residue Theorem [5]:

Note: a single function can have different Laurent series ([14] vs [15]) depending on which annulus you sit in — the expansion is unique per annulus, not globally.

Common Misconceptions

A function does NOT have one Laurent series — it has one per annulus

The uniqueness in Laurent's theorem is relative to a fixed annulus. The same $f$ can possess radically different expansions on $0<|z-z_0|<R_1$ versus $R_2<|z-z_0|<R_3$, as Example 2 shows. Always specify the annulus before writing coefficients. A common error is to compute a residue from the "wrong" expansion: the residue at $z_0$ comes only from the Laurent series valid on a punctured disk $0<|z-z_0|<\rho$ — the one with the smallest inner radius reaching $z_0$.

The order of a pole is not "how big the denominator looks"

Cancellation matters. For $f(z)=\frac{\sin z}{z^2}$, the denominator suggests order 2, but $\sin z=z-z^3/6+\cdots$, so $\frac{\sin z}{z^2}=\frac{1}{z}-\frac{z}{6}+\cdots$ — a simple pole (order 1), not order 2. Always expand the numerator before declaring the order. Likewise, $\frac{\sin z}{z}$ has a removable singularity at $0$, not a pole.

An essential singularity defeats the limit test

For removable singularities and poles, ${\lim }_{z\to z_0}|f(z)|$ behaves predictably (finite, or $+\infty$ respectively). One might hope all isolated singularities are so tame. But consider $f(z)=e^{1/z}$ at $z_0=0$:

The principal part is infinite, so $0$ is essential. Approaching along the positive real axis, $f\to +\infty$; along the negative real axis, $f\to 0$; along the imaginary axis, $f$ oscillates on the unit circle. The limit does not exist in any sense, and by the Casorati–Weierstrass theorem the image of every punctured neighborhood of $0$ is dense in $\mathbb{C}$. Picard's Great Theorem sharpens this: $f$ attains every complex value (with at most one exception — here $0$) infinitely often in any neighborhood of $0$.

Connections

Laurent series sit at the crossroads of several core areas. They generalize the Taylor Series (which is the special case with no principal part, valid on a full disk). The residue extracted from the principal part powers the Residue Theorem, the workhorse of Contour Integration. The classification of singularities feeds directly into the study of Meromorphic Functions (functions whose only singularities are poles) and the theory of the Riemann Sphere, where one analyzes the point at infinity by the Laurent series in $1/z$. The coefficient formula [3] is a direct descendant of the Cauchy Integral Formula, and the orthogonality relation [9] underlying uniqueness is essentially a Fourier Series in disguise — substituting $z=z_0+\rho e^{i\theta }$ turns the Laurent coefficients into Fourier coefficients on a circle.

Real-World Applications

1. Evaluation of real integrals. Integrals like ${\int }_{-\infty }^{\infty }\frac{\cos x}{1+x^2}dx$ or ${\int }_0^{2\pi }\frac{d\theta }{a+b\cos \theta }$ are computed by closing a contour and summing residues — used pervasively in physics and engineering.
2. Inverse Laplace and Z-transforms. In control theory and signal processing, the inverse Z-transform of a system function is literally a Laurent series expansion; the region of convergence (an annulus!) determines causality and stability of the discrete-time system.
3. Quantum field theory / regularization. Loop integrals are expanded in Laurent series in the dimensional-regularization parameter $ϵ$; the $1/ϵ$ (residue-like) poles encode ultraviolet divergences subtracted by renormalization.
4. Fluid dynamics. Two-dimensional potential flow around obstacles uses complex potentials whose Laurent expansions encode sources, sinks ($\log$ and pole terms), and vortices (the residue gives circulation, via the Kutta–Joukowski lift theorem).
5. Electrical network analysis. Transfer functions of linear circuits are rational; their pole locations (from Laurent/partial-fraction structure) determine resonance frequencies and transient decay.
6. Conformal mapping & aerodynamics. The Joukowski transform $w=z+1/z$ — a two-term Laurent expression — maps circles to airfoil shapes, foundational in early aircraft wing design.
7. Number theory. The Riemann zeta function $\zeta (s)$ has a simple pole at $s=1$ with residue $1$; its Laurent expansion there ($\zeta (s)=\frac{1}{s-1}+\gamma +\cdots$, with $\gamma$ the Euler–Mascheroni constant) is central to analytic number theory.

Historical Development

• 1814–1825: Augustin-Louis Cauchy develops the theory of complex integration, proving the Cauchy integral theorem and integral formula — the bedrock from which Laurent's coefficient formula [3] descends.
• 1826: Cauchy introduces the calcul des résidus ("calculus of residues"), recognizing the special role of the $a_{-1}$ coefficient in integration.
• 1841: Karl Weierstrass writes (but does not publish) a paper containing an expansion equivalent to the Laurent series, in his work on power series and analytic continuation.
• 1843: Pierre Alphonse Laurent submits his memoir to the Académie des Sciences in Paris, proving the annular expansion theorem. Cauchy reports favorably but the work misses the prize deadline and is not formally published.
• 1844: Cauchy publishes a note describing Laurent's result, securing the attribution that gives the series its name.
• 1868: Felice Casorati, and independently Weierstrass, establish that near an essential singularity the function values are dense — the Casorati–Weierstrass theorem.
• 1879: Charles Émile Picard proves his Great Theorem, dramatically strengthening Casorati–Weierstrass: near an essential singularity, $f$ takes every complex value (save at most one) infinitely often.
• Late 19th c.: Bernhard Riemann's geometric viewpoint (the Riemann sphere, classification of points at infinity) and the systematic theory of meromorphic functions fold Laurent expansions into the mainstream of function theory.
• 20th c.–present: Laurent series become standard machinery in renormalization (QFT), control theory (Z-transform), and analytic number theory.

Subtleties & Limits

Boundaries of the theory

Laurent's theorem is fully settled for isolated singularities, but the boundary cases are instructive and some neighboring questions remain subtle:

• Non-isolated singularities fall outside the theory entirely. For $f(z)=\frac{1}{\sin (1/z)}$, the points $z=1/(n\pi )$ are poles accumulating at $0$; the origin is a singularity that is not isolated, so no Laurent series about $0$ exists on any punctured disk. Classifying such accumulation points requires cluster-set theory rather than principal parts.
• Natural boundaries. Some functions (e.g. lacunary series like $\sum z^{2^n}$) cannot be analytically continued past the unit circle at all — every boundary point is singular. Predicting which power series have natural boundaries connects to deep questions in analytic continuation and the Fabry gap theorem; precise structural characterizations remain an active research direction.
• Effective Picard exceptions. Picard's theorem guarantees at most one omitted value near an essential singularity, but determining the exceptional value and the distribution of solutions $f(z)=w$ leads into Nevanlinna value-distribution theory, where sharp quantitative versions are still being refined.

See Also