Taylor Series, Laurent Series, and Residues

In complex analysis, Taylor and Laurent series are fundamental tools for representing complex functions as infinite series. They allow us to understand the local behavior of functions, especially around points where they might be analytic or have singularities. Residues, derived from the Laurent series, are crucial for evaluating complex integrals and solving various problems in mathematics and physics.

Taylor Series

A Taylor series is a representation of a function as an infinite sum of terms calculated from the values of its derivatives at a single point. For a complex function f(z), the Taylor series expansion around a point z0 is given by:

f(z) = Σn=0∞ an (z - z0)n

where the coefficients an are given by:

an = f(n)(z0) / n!

Here, f(n)(z0) denotes the n-th derivative of f(z) evaluated at z0, and n! is the factorial of n.

Conditions for Taylor Series Expansion

A complex function f(z) can be represented by its Taylor series expansion around a point z0 if and only if f(z) is analytic in a disk |z - z0| < R for some radius R > 0. The series converges to f(z) within this disk of analyticity.

Example of Taylor Series

Let's find the Taylor series expansion of f(z) = ez around z0 = 0. The derivatives of ez are all ez. So, f(n)(0) = e0 = 1 for all n ≥ 0. The coefficients are an = 1 / n!. Therefore, the Taylor series for ez around z0 = 0 is:

ez = Σn=0∞ zn / n! = 1 + z + z2/2! + z3/3! + ...

This series converges for all z.

Maclaurin Series

A Taylor series expansion around z0 = 0 is called a Maclaurin series.

Laurent Series

The Laurent series is a generalization of the Taylor series, used to represent complex functions in regions that may include singularities. It allows for negative powers of (z - z0), which are absent in Taylor series. For a complex function f(z), the Laurent series expansion around a point z0 in an annulus r < |z - z0| < R is given by:

f(z) = Σn=-∞∞ an (z - z0)n = Σn=0∞ an (z - z0)n + Σn=1∞ bn / (z - z0)n

where the coefficients an and bn are given by the contour integral formulas:

an = (1 / 2πi) ∫C f(ζ) / (ζ - z0)n+1 dζ for n = 0, 1, 2, ...

bn = (1 / 2πi) ∫C f(ζ) (ζ - z0)n-1 dζ for n = 1, 2, 3, ...

Here, C is any simple closed contour within the annulus, oriented counterclockwise, and enclosing z0.

Components of the Laurent Series

The Laurent series consists of two parts:

1. The analytic part (or Taylor part): Σn=0∞ an (z - z0)n. This part is analytic in the larger disk.
2. The principal part: Σn=1∞ bn / (z - z0)n. This part contains the negative powers of (z - z0) and is responsible for the singularities of the function at z0.

Types of Singularities based on Laurent Series

The nature of the principal part of the Laurent series tells us about the singularity at z0:

• Removable Singularity: If the principal part has no terms (i.e., all bn = 0), the singularity is removable. The function can be redefined at z0 to be analytic.
• Pole: If the principal part has a finite number of terms (i.e., bk ≠ 0 for some k ≥ 1, and bn = 0 for all n > k), then z0 is a pole of order k.
• Essential Singularity: If the principal part has an infinite number of terms (i.e., infinitely many bn are non-zero), then z0 is an essential singularity.

Example of Laurent Series

Find the Laurent series of f(z) = 1 / (z(z-1)) around z0 = 0. We need to consider the annulus 0 < |z| < 1. We can use partial fraction decomposition:

1 / (z(z-1)) = A/z + B/(z-1) 1 = A(z-1) + Bz Setting z=0, 1 = A(-1), so A = -1. Setting z=1, 1 = B(1), so B = 1. Thus, f(z) = -1/z + 1/(z-1).

The term -1/z is already in the form of a principal part. For the term 1/(z-1), we need to expand it as a Taylor series in powers of z for |z| < 1:

1/(z-1) = -1/(1-z) = -(1 + z + z2 + z3 + ...) = -Σn=0∞ zn

Combining the terms:

f(z) = -1/z - (1 + z + z2 + z3 + ...) = -1/z - 1 - z - z2 - z3 - ...

This is the Laurent series for f(z) around z0 = 0 in the annulus 0 < |z| < 1. Here, z0 = 0 is a simple pole (order 1) because the principal part has only one term, -1/z.

Residues

The residue of a complex function f(z) at an isolated singularity z0 is the coefficient of the (z - z0)-1 term in its Laurent series expansion around z0. It is denoted by Res(f, z0).

If the Laurent series of f(z) around z0 is f(z) = Σn=-∞∞ an (z - z0)n, then the residue is Res(f, z0) = a-1.

Calculating Residues

The residue can be calculated using the coefficient formula for the Laurent series:

Res(f, z0) = a-1 = (1 / 2πi) ∫C f(ζ) dζ

where C is a small simple closed contour around z0, oriented counterclockwise.

Methods for Calculating Residues at Poles

Calculating residues using the integral formula can be tedious. Fortunately, there are simpler methods, especially for poles.

1. Residue at a simple pole (pole of order 1): If z0 is a simple pole, then Res(f, z0) = limz→z0 (z - z0) f(z). If f(z) = g(z) / h(z), where g(z0) ≠ 0, h(z0) = 0, and h'(z0) ≠ 0 (i.e., z0 is a simple zero of the denominator), then: Res(f, z0) = g(z0) / h'(z0).
2. Residue at a pole of order k: If z0 is a pole of order k, then: Res(f, z0) = (1 / (k-1)!) limz→z0 dk-1/dzk-1 [ (z - z0)k f(z) ].

Example of Residue Calculation

Let's find the residue of f(z) = 1 / (z(z-1)) at z0 = 0. We identified z0 = 0 as a simple pole. Using the limit formula:

Res(f, 0) = limz→0 (z - 0) f(z) = limz→0 z * [1 / (z(z-1))] = limz→0 1 / (z-1) = 1 / (0-1) = -1.

Now let's find the residue at z0 = 1. This is also a simple pole.

Res(f, 1) = limz→1 (z - 1) f(z) = limz→1 (z - 1) * [1 / (z(z-1))] = limz→1 1 / z = 1 / 1 = 1.

Residue at an Essential Singularity

Calculating the residue at an essential singularity is generally more difficult and often requires finding the Laurent series expansion.

Example: Residue at an Essential Singularity

Consider the function f(z) = e1/z. The point z0 = 0 is an essential singularity. The Taylor series for ew is Σn=0∞ wn / n!. Let w = 1/z. Then, for z ≠ 0:

f(z) = e1/z = Σn=0∞ (1/z)n / n! = Σn=0∞ 1 / (n! zn)

f(z) = 1/0! + 1/(1!z) + 1/(2!z2) + 1/(3!z3) + ...

f(z) = 1 + 1/z + 1/(2z2) + 1/(6z3) + ...

The coefficient of z-1 (which is 1/z) is 1/1! = 1. Therefore, Res(e1/z, 0) = 1.

Cauchy's Residue Theorem

Cauchy's Residue Theorem is a powerful tool for evaluating contour integrals. It states that if f(z) is analytic inside and on a simple closed contour C, except for a finite number of isolated singularities z1, z2, ..., zk inside C, then the integral of f(z) around C is given by:

∫C f(z) dz = 2πi Σj=1k Res(f, zj)

where the sum is over the residues of f(z) at all singularities inside C.

Application of Residue Theorem

The Residue Theorem is widely used to:

• Evaluate definite integrals of real functions.
• Evaluate complex contour integrals.
• Solve differential equations.
• Analyze the behavior of functions near singularities.

Example using Residue Theorem

Evaluate the integral ∫C (z + 1) / (z2 - 2z) dz, where C is the circle |z| = 3, oriented counterclockwise. First, find the singularities of f(z) = (z + 1) / (z2 - 2z). The denominator is z(z - 2). The singularities are at z = 0 and z = 2. Both z = 0 and z = 2 lie inside the circle |z| = 3. Both singularities are simple poles.

Calculate the residues: At z = 0: Res(f, 0) = limz→0 z * [(z + 1) / (z(z - 2))] = limz→0 (z + 1) / (z - 2) = 1 / (-2) = -1/2. At z = 2: Res(f, 2) = limz→2 (z - 2) * [(z + 1) / (z(z - 2))] = limz→2 (z + 1) / z = (2 + 1) / 2 = 3/2.

Now apply the Residue Theorem:

∫C f(z) dz = 2πi * [Res(f, 0) + Res(f, 2)] = 2πi * [-1/2 + 3/2] = 2πi * [1] = 2πi.

Summary of Key Concepts