![]() |
VOOZH | about |
The Laurent series is an expansion of a complex function that includes both positive and negative powers of (z β z0). It generalizes the Taylor series, allowing representation of functions with singularities. The series is valid in an annular region around a point z0 and consists of two parts:
Formally, for a function f(z) defined on an annulus A = {z β C : r < |z - z0| < R}, the Laurent series expansion of f(z) about a point z0β is given by:
Where,
The series can be split into two parts:
Convergence of the Laurent series occurs on an annulus; defined as {z: r1 < | z β z0 | < r2}.
For a Laurent series to converge, the positive and negative degree terms of the power series must converge. This convergence is uniform on compact sets within the annulus. As a result, the series defines a holomorphic function on this region.
Radius of convergence of a power series is the distance within which the series converges to a finite value.
The convergence of a Laurent series depends on the distance from the point z0 and can be divided into three regions:
Some of the common criteria for convergence of series are:
Cauchy-Hadamard Theorem: For a series , define:
The series converges in the annulus r1 < |z - z0| < r2 .
Absolute Convergence: If the Laurent series converges at some point z1 , then it converges absolutely at every point z such that |z - z0| = |z1 - z0|.
Uniform Convergence: The series converges uniformly on compact subsets within the annulus r1 < |z - z0| < r2.
Some of the key differences between laurent and taylor series are listed in the following table:
| Laurent Series | Taylor Series |
|---|---|
| Represents a function as a series with both positive and negative powers of (z - z0) | Represents a function as a series with only non-negative powers of (z - z0). |
| f(z)=βββn=ββanβ(zβz0β)n | f(z)=βββn =0anβ(z βz0β)n |
| Annulus( r1 < |z - z0| < r2 ) | z - z0 |
Contains both a principal part (negative powers) and an analytic part (non-negative powers). | Contains only the analytic part (non-negative powers). |
| Can handle isolated singularities within the annulus | Cannot handle singularities; requires function to be analytic |
where Ξ³ is a contour around z0. | where fn(z0) is the n |
| Always exists for functions with isolated singularities, providing a unique representation. | Exists only for analytic functions within the radius of convergence. |
The applications of the Laurent Series are as follows:
Example 1: Find the Laurent series for f(z) = z+1/z around z0 = 0.
Solution:
The given function can be expressed as:
Hence, the Laurent series is:
This series is valid in the region 0<β£zβ£<β.
Example 2: Find the Laurent series for f(z) = z/z2 + 1 around z0 = i.
Solution:
Using partial fractions, the function can be decomposed as:
The term 1/z + i is analytic at z=i and can be expanded using a geometric series:
Therefore, the Laurent series is:
The region of convergence is 0 < β£zβiβ£ < 2.
Example 3: Find the Laurent series for f(z) = z+1/z around π§0 = v0 and determine the region of convergence.
Solution:
The given function is:
Here, the function is already in the form of a Laurent series. We can write:
The term 1 represents the analytic part with non-negative powers of z.
The term 1/π§ represents the principal part with negative powers of z.
Region of Convergence:
The series is valid for 0 < β£zβ£ < β.
Example 4: Find the Laurent series for f(z) = z/ z2 + 1 around z0 = i. Identify the region where your answer is valid and the singular part.
Solution:
First, use partial fractions to decompose f(z):
Expanding 1/z+i around z0=i:
The Laurent series is:
Singular Part:
The term 1/z β i represents the principal part.
Region of Convergence:
The series is valid for 0<β£zβiβ£<2.
Question 1: Determine the Laurent series for f(z)= 1/z(zβ1) around z0=0.
Question 2: Compute the Laurent series for f(z)= 1/z2 + 4 around z0=2i.
Question 3: Find the Laurent series for f(z)= e2/z3 around z0 =0.
Question 4: Find the Laurent series of about z = 0 for β£zβ£ < 2and β£zβ£ > 2 .