Mathematical Methods for Physics and Engineering : A Comprehensive Guide

(lu) #1

24.11 TAYLOR AND LAURENT SERIES


denominator take the form (1−αz), whereαis some constant, and thus obtain


f(z)=−

1


8 z(1−z/2)^3

=−


1


8 z

[


1+(−3)


(



z
2

)


+


(−3)(−4)


2!


(



z
2

) 2


+


(−3)(−4)(−5)


3!


(



z
2

) 3


+···


]


=−


1


8 z


3


16



3 z
16


5 z^2
32

−···.


Since the lowest power ofzis−1, the pointz= 0 is a pole of order 1. The residue off(z)
atz= 0 is simply the coefficient ofz−^1 in the Laurent expansion about that point and is
equal to− 1 /8.
The Laurent series aboutz= 2 is most easily found by lettingz=2+ξ(orz−2=ξ)
and substituting into the expression forf(z)toobtain


f(z)=

1


(2 +ξ)ξ^3

=


1


2 ξ^3 (1 +ξ/2)

=


1


2 ξ^3

[


1 −


(


ξ
2

)


+


(


ξ
2

) 2



(


ξ
2

) 3


+


(


ξ
2

) 4


−···


]


=


1


2 ξ^3


1


4 ξ^2

+


1


8 ξ


1


16


+


ξ
32

−···


=


1


2(z−2)^3


1


4(z−2)^2

+


1


8(z−2)


1


16


+


z− 2
32

−···.


From this series we see thatz= 2 is a pole of order 3 and that the residue off(z)atz=2
is 1/8.


As we shall see in the next few sections, finding the residue of a function

at a singularity is of crucial importance in the evaluation of complex integrals.


Specifically, formulae exist for calculating the residue of a function at a particular


(singular) pointz=z 0 without having to expand the function explicitly as a


Laurent series aboutz 0 and identify the coefficient of (z−z 0 )−^1. The type of


formula generally depends on the nature of the singularity at which the residue


is required.


Suppose thatf(z)has a pole of ordermat the pointz=z 0. By considering the Laurent
series off(z)aboutz 0 , derive a general expression for the residueR(z 0 )off(z)atz=z 0.
Hence evaluate the residue of the function

f(z)=

expiz
(z^2 +1)^2
at the pointz=i.

Iff(z) has a pole of ordermatz=z 0 , then its Laurent series about this point has the
form


f(z)=

a−m
(z−z 0 )m

+···+


a− 1
(z−z 0 )

+a 0 +a 1 (z−z 0 )+a 2 (z−z 0 )^2 +···,

which, on multiplying both sides of the equation by (z−z 0 )m,gives


(z−z 0 )mf(z)=a−m+a−m+1(z−z 0 )+···+a− 1 (z−z 0 )m−^1 +···.
Free download pdf