In mathematics, the Laurent series of a complex function f(z) is a representation of that function as a power series which includes terms of negative degree. It may be used to express complex functions in cases where a Taylor series expansion cannot be applied. The Laurent series was named after and first published by Pierre Alphonse Laurent in 1843. Karl Weierstrass may have discovered it first in a paper written in 1841, but it was not published until after his death.
The Laurent series for a complex function f(z) about a point c is given by:
The path of integration is counterclockwise around a Jordan curve enclosing c and lying in an annulus A in which is holomorphic (analytic). The expansion for will then be valid anywhere inside the annulus. The annulus is shown in red in the figure on the right, along with an example of a suitable path of integration labeled . If we take to be a circle , where , this just amounts to computing the complex Fourier coefficients of the restriction of to . The fact that these integrals are unchanged by a deformation of the contour is an immediate consequence of Green's theorem.
One may also obtain the Laurent series for a complex function f(z) at . However, this is the same as when (see the example below).
In practice, the above integral formula may not offer the most practical method for computing the coefficients for a given function ; instead, one often pieces together the Laurent series by combining known Taylor expansions. Because the Laurent expansion of a function is unique whenever it exists, any expression of this form that actually equals the given function in some annulus must actually be the Laurent expansion of .
Consider for instance the function with . As a real function, it is infinitely differentiable everywhere; as a complex function however it is not differentiable at . By replacing x with in the power series for the exponential function, we obtain its Laurent series which converges and is equal to f(x) for all complex numbers x except at the singularity . The graph opposite shows e−1/x2 in black and its Laurent approximations
for N = 1, 2, 3, 4, 5, 6, 7 and 50. As N -> ?, the approximation becomes exact for all (complex) numbers x except at the singularity x = 0.
is a given Laurent series with complex coefficients an and a complex center c. Then there exists a unique inner radius r and outer radius R such that:
It is possible that r may be zero or R may be infinite; at the other extreme, it's not necessarily true that r is less than R. These radii can be computed as follows:
We take R to be infinite when this latter lim sup is zero.
Conversely, if we start with an annulus of the form and a holomorphic function f(z) defined on A, then there always exists a unique Laurent series with center c which converges (at least) on A and represents the function f(z).
As an example, consider the following rational function, along with its partial fraction expansion:
This function has singularities at z = 1 and z = 2i, where the denominator of the expression is zero and the expression is therefore undefined. A Taylor series about z = 0 (which yields a power series) will only converge in a disc of radius 1, since it "hits" the singularity at 1.
However, there are three possible Laurent expansions about 0, depending on the radius of z:
The case r = 0; i.e., a holomorphic function f(z) which may be undefined at a single point c, is especially important. The coefficient a-1 of the Laurent expansion of such a function is called the residue of f(z) at the singularity c; it plays a prominent role in the residue theorem. For an example of this, consider
This function is holomorphic everywhere except at z = 0.
To determine the Laurent expansion about c = 0, we use our knowledge of the Taylor series of the exponential function:
We find that the residue is 2.
One example for expanding about :
Suppose a function f(z) holomorphic on the annulus r < |z - c| < R has two Laurent series:
Multiply both sides by , where k is an arbitrary integer, and integrate on a path ? inside the annulus,
The series converges uniformly on , where ? is a positive number small enough for ? to be contained in the constricted closed annulus, so the integration and summation can be interchanged. Substituting the identity
into the summation yields
Hence the Laurent series is unique.
A Laurent polynomial is a Laurent series in which only finitely many coefficients are non-zero. Laurent polynomials differ from ordinary polynomials in that they may have terms of negative degree.
The principal part of a Laurent series is the series of terms with negative degree, that is
If the principal part of f is a finite sum, then f has a pole at c of order equal to (negative) the degree of the highest term; on the other hand, if f has an essential singularity at c, the principal part is an infinite sum (meaning it has infinitely many non-zero terms).
If the inner radius of convergence of the Laurent series for f is 0, then f has an essential singularity at c if and only if the principal part is an infinite sum, and has a pole otherwise.
If the inner radius of convergence is positive, f may have infinitely many negative terms but still be regular at c, as in the example above, in which case it is represented by a different Laurent series in a disk about c.
Laurent series with only finitely many negative terms are well-behaved--they are a power series divided by , and can be analyzed similarly--while Laurent series with infinitely many negative terms have complicated behavior on the inner circle of convergence.
Laurent series cannot in general be multiplied. Algebraically, the expression for the terms of the product may involve infinite sums which need not converge (one cannot take the convolution of integer sequences). Geometrically, the two Laurent series may have non-overlapping annuli of convergence.
Two Laurent series with only finitely many negative terms can be multiplied: algebraically, the sums are all finite; geometrically, these have poles at c, and inner radius of convergence 0, so they both converge on an overlapping annulus.
Thus when defining formal Laurent series, one requires Laurent series with only finitely many negative terms.
Similarly, the sum of two convergent Laurent series need not converge, though it is always defined formally, but the sum of two bounded below Laurent series (or any Laurent series on a punctured disk) has a non-empty annulus of convergence.