Principal Parts in Laurent Series

students, when a complex function has a singularity, one of the most useful questions is: what part of the function is causing the trouble? ✨ In Complex Analysis, the answer is often found in the principal part of its Laurent series. This lesson explains what principal parts are, why they matter, and how they connect to the bigger picture of Laurent series, annuli, and singularities.

Learning Goals

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

explain the meaning of a principal part in a Laurent series,
identify the principal part of a given expansion,
connect principal parts to poles and other singularities,
use Laurent series reasoning to analyze a function near a singular point,
summarize how principal parts fit into the study of Laurent series.

What Is a Principal Part?

A Laurent series is a representation of a complex function near a point $a$ that may include both positive and negative powers of $z-a$. It has the form

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

The principal part is the part made of the negative-power terms:

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

So if a Laurent series is split into two pieces, it looks like this:

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

= $\left($$\sum_{n=-\infty}$^{-1} c_n(z-a)^n$\right)$ + $\left($$\sum_{n=0}$^{$\infty$} c_n(z-a)^n$\right)$.

The first part is the principal part, and the second part is the regular power series part. The regular part behaves nicely near $a$, while the principal part contains the terms that blow up as $z \to a$.

A helpful way to think about it is this: the principal part is the “danger zone” of the function near the singularity 🚨.

Why Principal Parts Matter

Principal parts tell us how a function behaves near a singular point. This is especially important in Complex Analysis because singularities can be classified using Laurent series.

If the principal part is:

empty or zero, the function has a removable singularity,
finite with highest negative power $(z-a)^{-m}$, the function has a pole of order $m$,
infinite with infinitely many negative-power terms, the function has an essential singularity.

This makes principal parts a powerful tool. Instead of studying the whole function at once, we can focus on the terms that dominate near the singularity.

For example, if a function has a Laurent series near $a$ such as

$f(z)=\frac{3}{(z-a)^2}-\frac{5}{z-a}+2+(z-a)^3+\cdots,$

the principal part is

$\frac{3}{(z-a)^2}-\frac{5}{z-a}.$

Those terms grow very large as $z$ gets close to $a$, while the nonnegative-power terms stay finite or go to $0$.

Principal Parts and Singularities

Understanding principal parts helps classify singularities precisely.

1. Removable singularity

If the Laurent series has no negative-power terms, then the principal part is $0$.

Example:

$f(z)=\frac{\sin z}{z}$

near $z=0$. Its expansion is

$\frac{\sin z}{z}=1-\frac{z^2}{3!}+\frac{z^4}{5!}-\cdots.$

There are no negative powers, so the principal part is $0$. This means the singularity at $z=0$ is removable.

2. Pole

If the principal part has only finitely many terms, then the function has a pole.

Example:

$\frac{1}{(z-a)^3}+2\frac{1}{z-a}+7$

has principal part

$\frac{1}{(z-a)^3}+2\frac{1}{z-a}.$

Because the most negative power is $-3$, the function has a pole of order $3$ at $a$.

3. Essential singularity

If the principal part has infinitely many negative-power terms, the singularity is essential.

A famous example is

$e^{1/z}.$

Its Laurent expansion around $z=0$ is

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

The principal part contains infinitely many terms:

$\frac{1}{z}+\frac{1}{2!z^2}+\frac{1}{3!z^3}+\cdots.$

That infinite negative tail is the key sign of an essential singularity.

How to Find the Principal Part

To find the principal part, students, the main task is to write the function as a Laurent series near the point of interest and then keep only the negative-power terms.

Method 1: Use known power series

Start with a familiar expansion and substitute carefully.

For example, the geometric series formula says

$\frac{1}{1-w}=1+w+w^2+w^3+\cdots, \quad |w|<1.$

If we set $w=z$, we get an expansion near $z=0$ for $\frac{1}{1-z}$. But for a principal part, we often need expressions with negative powers.

For instance,

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

The principal part is simply

$\frac{1}{z}.$

Method 2: Partial fractions

When a rational function is involved, partial fractions make principal parts easy to see.

Example:

$\frac{2z+1}{z(z-1)}=\frac{A}{z}+\frac{B}{z-1}.$

Near $z=0$, the term $\frac{A}{z}$ contributes to the principal part, while $\frac{B}{z-1}$ can be expanded as a regular power series in $z$ if the region allows it. So the principal part at $z=0$ comes from the negative powers in the local Laurent expansion about $0$.

Method 3: Expand about the center carefully

Suppose we want the principal part of

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

near $z=0$.

First, use partial fractions:

$\frac{1}{z(z-2)}=\frac{A}{z}+\frac{B}{z-2}.$

Solving gives

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

Now expand $\frac{1}{z-2}$ around $z=0$:

$\frac{1}{z-2}$=-$\frac{1}{2}$$\cdot$ $\frac{1}{1-\frac{z}{2}}$=-$\frac{1}{2}$$\left(1$+$\frac{z}{2}$+$\frac{z^2}{2^2}$+$\cdots$$\right)$,

which has no negative powers. Therefore the principal part at $z=0$ is

$-\frac{1}{2z}.$

This example shows an important idea: not every term in a partial fraction decomposition is automatically part of the principal part. Only the terms that contribute negative powers in the Laurent expansion about the chosen center count.

Principal Parts, Annuli, and Regions of Convergence

Laurent series are not just about a point; they also depend on an annulus around that point. An annulus is a region of the form

r<|z-a|<R.

Inside such a region, a function may have a Laurent expansion. The principal part reflects the behavior near the inner boundary, especially near the singularity at $a$.

This is important because the same function can have different expansions in different regions.

For example, consider

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

Near $z=0$, one expansion is

$\frac{1}{z}+1+z+z^2+\cdots,$

so the principal part at $0$ is $\frac{1}{z}$.

But near another point, or in a different annulus, the expansion may look different. The principal part depends on the center of expansion and the region where the series is valid.

A Real-World Style Analogy

Think of the principal part like the part of a weather forecast that tells you about the storm closest to your town 🌧️. The regular part is like the normal background weather, but the principal part captures the extreme behavior near the singularity. If you want to know whether the function spikes, blows up, or behaves wildly, the principal part gives the key evidence.

Another way to think about it: in a graph near a singularity, the principal part is responsible for the steepest and most dramatic changes.

A Worked Example

Let’s find the principal part of

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

about $z=0$.

First rewrite the factor $\frac{1}{z-1}$ as a power series near $0$:

$\frac{1}{z-1}=-\frac{1}{1-z}=-(1+z+z^2+z^3+\cdots), \quad |z|<1.$

$f(z)=\frac{1}{z^2}\left[-(1+z+z^2+z^3+\cdots)\right].$

Distribute $\frac{1}{z^2}$:

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

The principal part is

$-\frac{1}{z^2}-\frac{1}{z}.$

This shows how a function can have several negative-power terms, each contributing to the singular behavior near $0$.

Conclusion

Principal parts are one of the most important features of Laurent series in Complex Analysis. They consist of the negative-power terms and describe the behavior of a function near a singularity. By identifying the principal part, students, you can classify singularities, understand poles and essential singularities, and connect local behavior to Laurent expansions on annuli. In short, principal parts reveal the “singular core” of a function near a point.

Study Notes

A Laurent series has the form $\sum_{n=-\infty}^{\infty} c_n(z-a)^n$.
The principal part is the sum of the negative-power terms: $\sum_{n=-\infty}^{-1} c_n(z-a)^n$.
The regular part is the sum of the nonnegative-power terms: $\sum_{n=0}^{\infty} c_n(z-a)^n$.
If the principal part is $0$, the singularity is removable.
If the principal part has finitely many terms, the singularity is a pole.
If the principal part has infinitely many terms, the singularity is essential.
Principal parts depend on the center $a$ and the region where the Laurent series converges.
To find a principal part, expand the function and keep only the negative powers.
Partial fractions and known series expansions are common tools for finding Laurent series.
Principal parts are a core way to understand how complex functions behave near singularities.