Laurent Series

Introduction

The Laurent series (named after Pierre Alphonse Laurent) is an infinite series similar to a power series but additionally includes negative exponents. In general, a Laurent series in $x$ with development point $c$ has the following form:

$f(x)=\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}{c}_n(x-a{)}^n$

• $c_n$ coefficients
• $a$ development point of series

Main Part and Regular Part

The series of terms with negative exponents is called the main part of the Laurent series, and the series of terms with non-negative exponents is called the regular part or the residual part.

Connection to Power Series

A Laurent series with a vanishing main part is a power series; if it also has only finitely many terms, then it is a polynomial. If a Laurent series has only finitely many terms in total (with negative or positive exponents), it is called a Laurent polynomial.

History

The Laurent series was introduced in 1843 by the French mathematician Pierre Alphonse Laurent. However, notes in the legacy of the German mathematician Karl Weierstrass suggest that he discovered it as early as 1841.

Laurent Decomposition

The principle of developing a holomorphic function into a Laurent series is based on the Laurent decomposition. To do this, consider an annular region $ℛ=z\in ℂ;|;r<|z|<R$. Now define two holomorphic functions $g$ and $h$:

$g:U_R(0)\to ℂ$

$h:U_{\frac{1}{r}}(0)\to ℂ$.

Representation of Laurent Series by Two Holomorphic Functions

Let $g:G\to ℂ$ and $h:G\to ℂ$ be two holomorphic functions with a development point $z_0\in G$,

$f(z):=g(z-z_0)+\hat{h}(z-z_0)$ with $\hat{h}(z):=h(1/z)$.

$g$ and $h$ are holomorphic functions on $G_0:=z-z_0\in ℂ|z\in G$, which can be developed into a power series around 0 in $G_0$.

Convergence Set of Laurent Series

The functions $g$ and $h$ can be locally represented as a power series on a disk in $G_o:=z-z_o\in ℂ|z\in G$ (holomorphy criterion). Then $\hat{h}$ with $\hat{h}(z):=h(1/z)$ converges on the complement of a disk.

Intersection of Convergence Domains

If $f(z)$'s principal part $g(z)$ and $\hat{h}(z)$ are convergent, then $z$ lies in the intersection of the convergence sets. If $r>R$, the convergence set is empty because $z$ would simultaneously have to lie on a disk of radius $R$ and on the complement of a disk with radius $r$.

Convergence Radii

Let $R_g>0$ and $R_h>0$ be the convergence radii for the functions $g$ and $h$. Calculate the radius $R_{\hat{h}}>0$ of the convergence set of $\hat{h}(z):=h(1/z)$ for all $z\in G_o$ with $|z|>R_{\hat{h}}>0$.

Geometry of the Convergence Set

$h$ converges holomorphically around the center on the disk with radius $1/r$. Since the argument of the function $h$ must lie within the defined circular region, it quickly becomes evident that the function $h(1/z)$ is defined for values $|z|>r$. Thus, the sum of the two functions

$f(z)=g(z)+h\left(\frac{1}{z}\right)$

is analytic on the annulus $ℛ$.

Uniqueness of Decomposition

It can be shown that any holomorphic function on an annular domain can be decomposed in this way. If one also assumes $h(0)=0$, the decomposition is unique.

By expanding this function in the form of power series, the following representation arises:

$f(z)=g(z)+h\left(\frac{1}{z}\right)=\sum _{n=0}^{\mathrm{\infty }}{a}_n{z}^n+\sum _{n=1}^{\mathrm{\infty }}{b}_n{z}^{-n}=\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}{a}_n{z}^n$.

Here, $b_n\equiv a_{-n}$ is defined. Additionally, $b_0=0$ follows from the condition $h(0)=0$.

Decomposition with Expansion Point

If these considerations are extended to an expansion around a point $c$, rather than the origin, the initially stated definition of the Laurent series for a holomorphic function $f$ around the expansion point $c$ results:

$f(z)=\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}{a}_n(z-c{)}^n$

Example

In the following, $𝕂$ refers to either the real numbers or the complex numbers.

$f:𝕂\to 𝕂:x\mapsto \{\begin{array}{ccc}\exp (-\frac{1}{x^2}),& x\ne 00,& \text{otherwise}\end{array}$.

The function is infinitely often differentiable in the real sense, but it is not holomorphic at $x=0$, where it has an essential singularity.

Substituting into the Taylor Series

By substituting $z=-\frac{1}{x^2}$ into the power series expansion of the exponential function,

$e^z=\sum _{n=0}^{\mathrm{\infty }}\frac{z^n}{n!}=\sum _{n=0}^{\mathrm{\infty }}\frac{{(-\frac{1}{x^2})}^n}{n!}$

the Laurent series of $f$ with the expansion point $0$ is obtained:

$f(x)=\sum _{n=0}^{\mathrm{\infty }}(-1{)}^n\frac{x^{-2n}}{n!}=\underset{\text{Principal part}}{\underbrace{\sum _{n=-\mathrm{\infty }}^{-1}\frac{(-1{)}^n}{(-n)!}{x}^{2n}}}+1$

Convergence Domain of the Laurent Series

The secondary part $g(x)=1$ converges throughout $ℂ$, and the principal part (and therefore the entire Laurent series) converges for every complex number $x\ne 0$.

Approximation of the Function by Partial Sums

Approximation of Laurent series by partial sums

The image shows how the partial sum sequence

$f_n(x)=\sum _{j=0}^n(-1{)}^j\frac{x^{-2j}}{j!}$

approaches the function.

Comparison of Graphs of Partial Sums with the Function

.

Since graphs in $ℂ$ are subsets of 4-dimensional $ℝ$-vector spaces, the graph is plotted here for values $x\in ℝ\setminus 0$. The Laurent expansion can be continuously extended at 0.

Convergence of Laurent Series

Laurent series are important tools in Complex Analysis, especially for studying functions with isolated singularities.

Annuli and Disks

Laurent series describe complex functions that are holomorphic on an annulus, just as power series describe functions holomorphic on a disk.

Let

$\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}{a}_n(z-c{)}^n$

be a Laurent series in $z$ with complex coefficients $a_n$ and expansion point $c$.

Convergence Radii - Interior of the Annulus

There are two uniquely determined numbers $r$ and $R$ such that:

The Laurent series converges Normal convergence and Absolute convergence on the open annulus $A:=z:r<|z-c|<R$.

It converges normally, meaning the principal and secondary parts converge normally. This defines a holomorphic function $f$ on $A$.

Outside the Annulus

Outside the annulus, the Laurent series diverges. For every point in

$ℂ\setminus \bar{A}:=z:r>|z-c|\vee |z-c|>R$,

either the terms with positive (secondary part) or negative exponents (principal part) diverge.

Convergence Radii and Cauchy-Hadamard

The two radii can be calculated using the Cauchy-Hadamard formula:

$r=\underset{n\to \mathrm{\infty }}{\mathrm{lim\; sup}}|a_{-n}{|}^{1/n}$

$R=\frac{1}{\underset{n\to \mathrm{\infty }}{\mathrm{lim\; sup}}|a_n{|}^{1/n}}$

We set $\frac{1}{0}=\mathrm{\infty }$ and $\frac{1}{\mathrm{\infty }}=0$ in the second formula.

Functions Defined on Annuli

Conversely, one can start with an annulus $A:=z:r<|z-c|<R$ and a function $f$ that is holomorphic on $A$. Then, there always exists a uniquely determined Laurent series with expansion point $c$ that converges (at least) on $A$ and coincides with $f$ there. The coefficients satisfy:

$a_n=\frac{1}{2\pi \mathrm{i}}{\oint }_{\partial U_{\varrho }(c)}\frac{f(\zeta )}{{(\zeta -c)}^{n+1}}\mathrm{d}\zeta$

for all $n\in \mathbb{Z}$ and a $\varrho \in (r,R)$. Due to the Cauchy integral theorem, the choice of $\varrho$ does not matter.

Punctured Disk

The case $r=0$, i.e., a holomorphic function $f$ on a punctured disk around $c$, is particularly important. The coefficient $a_{-1}$ in the Laurent series expansion of $f$ is called the residue of $f$ at the isolated singularity $c$. It plays a significant role in the residue theorem.

Formal Laurent Series

Formal Laurent series are Laurent series in the indeterminate $X$, used without consideration of convergence.

Laurent Series on Commutative Rings

The coefficients $a_k$ can then belong to any Commutative Ring. In this context, it only makes sense to consider Laurent series with finitely many negative exponents, known as a "finite principal part," and to omit the expansion point by setting $c=0$.

Equality of Formal Laurent Series

Two such formal Laurent series are defined as equal if and only if all their coefficients agree. Laurent series are added by summing their respective coefficients. Since there are only finitely many terms with negative exponents, they can be multiplied by Convolution of their coefficient sequences, similar to power series. With these operations, the set of all Laurent series over a commutative ring $R$ forms a commutative ring, denoted by $R(!\left(X\right)!)$.

Laurent Series and Integral Domains

If $K$ is a field, the formal power series in the indeterminate $X$ over $K$ form an integral domain, denoted by $K[!\left[X\right]!]$. Its field of fractions is isomorphic to the field $K(!\left(X\right)!)$ of Laurent series over $K$.

Exercises

Let $K_{r_1,r_2}:=z\in ℂ,|,r_1<|z|<r_2$. Construct a Laurent series with this annulus as its domain of convergence, which does not converge on $ℂ\setminus \overline{K_{r_1,r_2}}$. Use geometric series as an idea with $\sum _{n=0}^{+\mathrm{\infty }}{q}^n$ converging for $q\in ℂ$ when $|q|<1$.

Exercises on Laurent Series and b-adic Number Systems

Analyze the relationship between Laurent series and the p-adic number system (e.g., binary system, hexadecimal system)! What are the similarities and differences?

Represent the number $\frac{1}{7}$ as a value of a Laurent series in the 4-based number system $x=4$, where $c_n\in 0,1,2,3$. Calculate the coefficients $c_n$:

$f(x):=\sum _{n=-\mathrm{\infty }}^{+\mathrm{\infty }}{c}_n\cdot z^n$z

Literature

Eberhard Freitag & Rolf Busam: Complex Analysis 1, Springer-Verlag, Berlin, ISBN 3-540-67641-4

See Also

• Power series

• Residue

• Example calculations with Laurent series for rational functions

Page Information

You can display this page as Wiki2Reveal slides

Wiki2Reveal

The Wiki2Reveal slides were created for the Complex Analysis' and the Link for the Wiki2Reveal Slides was created with the link generator.

• This page is designed as a PanDocElectron-SLIDE document type.
• Source: Wikiversity https://en.wikiversity.org/wiki/Laurent%20Series
• see Wiki2Reveal for the functionality of Wiki2Reveal.

Translation and Version Control

This page was translated based on the following Wikiversity source page and uses the concept of Translation and Version Control for a transparent language fork in a Wikiversity:

• Source: Laurent-Reihe - URL: https://de.wikiversity.org/wiki/Laurent-Reihe
• Date: 12/17/2024

de:Laurent-Reihe