Lecture 14

Download as pdf or txt
Download as pdf or txt
You are on page 1of 13

MA 201 Complex Analysis

Lecture 14: Laurent Series and Singularities

Lecture 14 Singularities
Laurent’s Series
Suppose that 0 ≤ r < R. Let f be an analytic defined on the annulus
A = ann(a, r , R) = {z : r < |z − a| < R}.

Then for each z ∈ A, f (z) has the Laurrent series representation



X
f (z) = an (z − a)n
n=−∞

where the convergence is absolute and uniform in ann(a, r1 , R1 ) if


r < r1 < R1 < R.
The coefficients are given by
Z
1 f (z)
an = dz
2πi γ (z − a)n+1
where γ(t) = a + se it , t ∈ [0, 2π] and for any r < s < R.
−1
X
Moreover, this series is unique and an (z − a)n is called (principal
k=−∞

X
part) and an (z − a)n is called (regular/analytic part).
k=0

Lecture 14 Singularities
Examples of Laurent Series

1
Let f (z) = .
1−z

On the domain |z| < 1



1 X n
f (z) = = z = 1 + z + z2 + . . . + .
1−z n=0

1
On the domain |z| > 1 i.e. |z|
< 1, by the above mentioned fact we have

1 −1 1X 1 1 1
f (z) = = = − = − − 2 − ....
1−z z(1 − z1 ) z n=0 z n z z

Lecture 14 Singularities
Examples of Laurent Series

sin z
Let f (z) = domain |z| > 0
z
∞ ∞
sin z 1 X (−1)n z 2n+1 X (−1)n z 2n z2 z4
f (z) = = = = 1− + +··· .
z z n=0 (2n + 1)! n=0
(2n + 1)! 6 120

ez − 1
Let f (z) = domain |z| > 0
z3

ez − 1 1 X zn 1 1 1 z
f (z) = = = 2 + + + + ··· .
z3 z 3 1 n! z 2z 6 24

1
Let f (z) = e z domain |z| > 0

1 X 1 1 1
f (z) = e z = n
=1+ + 2
+ ··· .
n=0
n!z z 2!z

Lecture 14 Singularities
Examples of Laurent Series
1 1 1
Let f (z) = = −
(z − 1)(z − 2) z −2 z −1
Domain |z| < 1
∞ ∞ ∞
1 1 X zn X X
f (z) = − =− + z n
= (1 − 2−n−1 )z n .
z −2 z −1 n=0
2 n+1
n=0 n=0

1 |z|
Domain 1 < |z| < 2 i.e. < 1 and < 1, so we have
|z| 2
∞ ∞
1 1 X zn X 1
f (z) = − =− − .
z −2 z −1 n=0
2n+1
n=1
z n

1 2
Domain |z| > 2 i.e. < 1 and < 1, in this case we have
|z| |z|
X 2n ∞ ∞
X 2n−1 − 1∞
1 1 X 1
f (z) = − = − = .
z −2 z −1 n=0
z n+1
n=1
z n
n=1
zn

Lecture 14 Singularities
Singularities

Behavior of following functions f at 0:


1
f (z) = 9
z
sin z
f (z) =
z
ez − 1
f (z) =
z
1
f (z) =
sin( z1 )
f (z) = Log z
1
f (z) = e z
In the above we observe that all the functions are not analytic at 0, however in
every neighborhood of 0 there is a point at which f is analytic.

Lecture 14 Singularities
Singularities

Definition: The point z0 is called a singular point or singularity of f

1 if f is not analytic at z0 but


2 every neighborhood of z0 contains at least one point at which
f is analytic.

ez − 1 1
Examples: , 2 , sin z1 , Log z etc. has singularity at z = 0.
z z

Note: z̄, |z|2 , Re z, Im z, zRe z are nowhere analytic. That does not
mean that every point of C is a singularity.

Lecture 14 Singularities
Singularities

A singularities are classified into TWO types:


1 A singular point z0 is said to be an isolated singularity or
isolated singular point of f if f is analytic in B(z0 , r ) \ {z0 }
for some r > 0.

2 A singular point z0 is said to be an non-isolated singularity if


z0 is not an isolated singular point.

sin z 1
, , sin( z1 ) (0 is isolated singular point).
z z2

1
, Log z these functions has non-isolated singularity at 0.
sin(π/z)

Lecture 14 Singularities
Singularities

If f has an isolated singularity at z0 , then f is analytic in B(z0 , r ) \ {z0 } for


some r > 0. In this case f has the following Laurent series expansion:
a−n a−1
f (z) = · · · + ··· + + a0 + a1 (z − a) + a2 (z − z0 )2 + · · · .
(z − z0 )n (z − z0 )

If all a−n = 0 for all n ∈ N, then the point z = z0 is a removal


singularity.

The point z = z0 is called a pole if all but a finite number of a−n ’s are
non-zero. If m is the highest integer such that a−m 6= 0, then z0 is a Pole
of order m.

If a−n 6= 0 for infinitely many n0 s, then the point z = z0 is a essential


singularity.

The term a−1 is called residue of f at z0 .

Lecture 14 Singularities
Removable singularities

The following statements are equivalent:

1 f has a removable singularity at z0 .

2 If all a−n = 0 for all n ∈ N.

3 lim f (z) exists and finite.


z→z0

4 lim (z − z0 )f (z) = 0.
z→z0

5 f is bounded in a deleted neighborhood of z0 .

sin z
The function has removable singularity at 0.
z

Lecture 14 Singularities
Pole
The following statements are equivalent:

1 f has a pole of order m at z0 .

g (z)
2 f (z) = , g is analytic at z0 and g (z0 ) 6= 0.
(z − z0 )m

1
3 has a zero of order m.
f

4 lim |f (z)| = ∞.
z→z0

5 lim (z − z0 )m+1 f (z) = 0


z→z0

6 lim (z − z0 )m f (z) has removal singularity at z0 .


z→z0

ez − 1
Examples: has pole of order 7.
z8
Lecture 14 Singularities
Essential singularity

The following statements are equivalent:

f has a essential singularity at z0 .

The point z0 is neither a pole nor removable singularity.

lim f (z) does not exists.


z→z0

Infinitely many terms in the principal part of Laurent series expansion


around the point z0 .

Limit point of zeros is isolated essential singularity. For example:


1
f (z) = sin
z

Lecture 14 Singularities
Singularities at ∞

Let f be a complex valued function. Define another function g by


 
1
g (z) = f .
z
Then the nature of singularity of f at z = ∞ is defined to be the the nature of
singularity of g at z = 0.

f (z) = z 3 has a pole of order 3 at ∞.

e z has an essential singularity at ∞.

An entire function f has a removal singularity at ∞ if and only if f is


constant.(Prove This!)

An entire function f has a pole of order m at ∞ if and only if f is a


polynomial of degree m.(Prove This!)

Lecture 14 Singularities

You might also like