Laurent Series: Expansion Methods
students, imagine trying to understand a complex function the way a mechanic understands an engine 🛠️. You do not always need the whole engine apart at once. Sometimes you zoom in near a point and describe the function using a series that fits the shape of the problem. In complex analysis, that tool is the Laurent series. This lesson focuses on expansion methods: how to actually build a Laurent series around a point, how to choose the right method, and how these expansions reveal the behavior of a function in an annulus.
Objectives
By the end of this lesson, you should be able to:
- Explain the main ideas and terminology behind expansion methods.
- Expand a complex function into a Laurent series using algebraic manipulation and geometric series.
- Identify the annulus where the expansion is valid.
- Connect expansion methods to the broader theory of Laurent series and principal parts.
- Use examples to check whether an expansion is correct and useful.
What Expansion Methods Mean
A Laurent series is a representation of a function as a sum of powers of $z-a$, including negative powers as well as positive ones:
$$f(z)=\sum_{n=-\infty}^{\infty} c_n(z-a)^n.$$
The key difference from a Taylor series is that a Laurent series can include terms like $\frac{1}{(z-a)^2}$ or $\frac{1}{z-a}$. These negative-power terms are called the principal part of the series.
Expansion methods are the ways we rewrite a function so that it matches this form. The main idea is usually:
- Rewrite the function into simpler pieces.
- Express each piece using a known series, often a geometric series.
- Combine the pieces carefully.
- State the region where the expansion works.
Why does the region matter? Because a Laurent series does not usually work everywhere. It works in an annulus centered at $a$, meaning a region shaped like a ring:
$$r<|z-a|<R.$$
That annulus depends on where the function has singularities or where your algebraic rewriting is valid.
The Geometric Series Is the Main Tool
The most important expansion method in this topic is based on the geometric series:
$$\frac{1}{1-w}=\sum_{n=0}^{\infty} w^n \quad \text{for } |w|<1.$$
This formula is powerful because many rational functions can be rewritten so that they look like $\frac{1}{1-w}$.
For example, suppose you want to expand
$$\frac{1}{z-2}$$
around $z=0$.
A good first step is to rewrite it in a form involving $\frac{1}{1-w}$. One way is:
$$\frac{1}{z-2}=-\frac{1}{2}\cdot \frac{1}{1-\frac{z}{2}}.$$
Now use the geometric series with $w=\frac{z}{2}$:
$$\frac{1}{z-2}=-\frac{1}{2}\sum_{n=0}^{\infty}\left(\frac{z}{2}\right)^n
=-$\sum_{n=0}$^{$\infty$}$\frac{z^n}{2^{n+1}}$, \quad |z|<2.$$
This is actually a Taylor series, which is also a Laurent series with no negative powers.
But if we expand the same function in a different region, say for large $|z|$, we get a different series:
$$\frac{1}{z-2}=\frac{1}{z}\cdot \frac{1}{1-\frac{2}{z}}=\frac{1}{z}\sum_{n=0}^{\infty}\left(\frac{2}{z}\right)^n
=$\sum_{n=0}$^{$\infty$} 2^n z^{-n-1}, \quad |z|>2.$$
Now negative powers appear, so this is a true Laurent expansion. This example shows a big idea: the same function can have different Laurent series in different annuli. 🌟
Step-by-Step Expansion Strategy
When you are given a function, students, a practical expansion method follows a clear pattern.
1. Identify the center
Find the point $a$ about which you want the expansion. The series will be in powers of $z-a$.
2. Factor the denominator or simplify the function
Rational functions are often easier after factoring or partial fraction decomposition. For instance,
$$\frac{1}{(z-1)(z-3)}$$
may be rewritten as
$$\frac{A}{z-1}+\frac{B}{z-3}.$$
This makes expansion easier because each term can be handled separately.
3. Choose the right form for a geometric series
Try to rewrite each term as either
$$\frac{1}{1-w}$$
or
$$\frac{1}{z-a}\cdot \frac{1}{1-w},$$
so that the geometric series applies.
4. Check the convergence condition
The geometric series only works when $|w|<1$. This condition determines the annulus.
5. Combine terms and simplify
After expanding each piece, combine the results into one Laurent series.
Example 1: Expansion Around $z=0$ in an Inner Region
Let us expand
$$f(z)=\frac{1}{z(z-1)}$$
about $z=0$.
First, use partial fractions:
$$\frac{1}{z(z-1)}=-\frac{1}{z}+\frac{1}{z-1}.$$
Now expand $\frac{1}{z-1}$ near $z=0$:
$$\frac{1}{z-1}=-\frac{1}{1-z}=-\sum_{n=0}^{\infty} z^n, \quad |z|<1.$$
So the Laurent series is
$$\frac{1}{z(z-1)}=-\frac{1}{z}-\sum_{n=0}^{\infty} z^n, \quad 0<|z|<1.$$
Notice the annulus is $0<|z|<1$. The point $z=0$ is excluded because of the pole, and $|z|<1$ appears because of the geometric series condition.
This expansion has a principal part of
$$-\frac{1}{z}.$$
That term tells us the function has a simple pole at $z=0$.
Example 2: Expansion in an Outer Region
Now expand the same function in the region $|z|>1$.
Start again with
$$\frac{1}{z(z-1)}=-\frac{1}{z}+\frac{1}{z-1}.$$
For $|z|>1$, rewrite
$$\frac{1}{z-1}=\frac{1}{z}\cdot \frac{1}{1-\frac{1}{z}}=\frac{1}{z}\sum_{n=0}^{\infty}\left(\frac{1}{z}\right)^n=\sum_{n=0}^{\infty} z^{-n-1}.$$
Then
$$\frac{1}{z(z-1)}=-\frac{1}{z}+\sum_{n=0}^{\infty} z^{-n-1}.$$
The $-\frac{1}{z}$ cancels with the first term of the sum, leaving
$$\frac{1}{z(z-1)}=\sum_{n=2}^{\infty} z^{-n}, \quad |z|>1.$$
This is a Laurent series valid outside the circle $|z|=1$. It contains only negative powers, which is common for expansions at infinity or in outer annuli.
Common Expansion Methods and When to Use Them
There are several standard tactics in Laurent series work:
Geometric series substitution
This is the most common method. Rewrite the function so that a factor looks like $\frac{1}{1-w}$.
Partial fraction decomposition
Useful for rational functions, especially when there are several poles. It breaks the function into simpler parts that can be expanded one at a time.
Rewriting around the center
Sometimes you need to shift expressions into powers of $z-a$. For example,
$$\frac{1}{z-3} = \frac{1}{(z-1)-2}$$
if the center is $a=1$. Then you can expand in powers of $z-1$.
Choosing inner or outer expansions
A fraction such as
$$\frac{1}{z-a}$$
can expand differently depending on whether $|z-a|<R$ or $|z-a|>R$. The same algebra gives different series because the convergence condition changes.
Why Annuli Matter in Laurent Series
Laurent series are naturally tied to annuli because a function may be analytic in a ring-shaped region but not at the center. That is why expansion methods are not just algebra tricks; they reflect the geometry of singularities.
For example, if a function has singularities at $z=1$ and $z=3$, then an expansion about $z=0$ may be valid only in regions such as
$$|z|<1, \quad 1<|z|<3, \quad \text{or } |z|>3.$$
Each annulus may require a different Laurent series. So when you expand, always ask: Where is the nearest singularity? That usually tells you where the series can converge.
Checking Your Work
A correct Laurent expansion should satisfy two checks:
- If you multiply it back by the original denominator, the result should simplify correctly in the region of convergence.
- The powers should match the intended region, with negative powers appearing only where the function has singular behavior.
You can also verify the expansion by comparing the first few terms numerically for a chosen value of $z$ inside the annulus.
For example, if $z=\frac{1}{2}$ in the expansion
$$\frac{1}{z-2}=-\sum_{n=0}^{\infty}\frac{z^n}{2^{n+1}},$$
then the first terms are
$$-\frac{1}{2}-\frac{z}{4}-\frac{z^2}{8}-\cdots,$$
which gives a reasonable approximation because $\left|\frac{z}{2}\right|<1$.
Conclusion
Expansion methods are the practical heart of Laurent series work. They turn complicated functions into readable power series by using algebra, partial fractions, and the geometric series. The most important skill is not just producing terms, but identifying the correct annulus where the expansion is valid. Once students can do that, Laurent series become a powerful way to study poles, principal parts, and analytic behavior near singularities. In complex analysis, expansion methods help connect local formulas to global structure, which is one of the central ideas of the subject. 📘
Study Notes
- A Laurent series has the form $\sum_{n=-\infty}^{\infty} c_n(z-a)^n$.
- The principal part is the part with negative powers of $z-a$.
- Expansion methods are procedures for rewriting a function as a Laurent series.
- The geometric series formula is the most common tool: $\frac{1}{1-w}=\sum_{n=0}^{\infty} w^n$ for $|w|<1$.
- Partial fractions often make rational functions easier to expand.
- A Laurent series is valid in an annulus $r<|z-a|<R$.
- Different annuli around the same center can give different Laurent series for the same function.
- The convergence condition comes from the inequality $|w|<1$ after rewriting the function.
- Negative powers indicate singular behavior near the center.
- Always check the region of convergence before using a Laurent expansion.