Professional Documents
Culture Documents
Complex Analysis
Section 8: Applications of Cauchys Residue
Theorem
David R. Wilkins
First Version - January 25, 2007
c David R. Wilkins 2007
Copyright
for all s > 0, where R : [0, ] C is the path with [R ] = SR defined such
that R () = Rei for all [0, ].
Proof It follows from the definition of the path integral that
Z
Z
isz
f (z)e dz =
f (R ())eisR () R0 () d
R
Z0
=
f (Rei )riRs cos Rs sin iRei d.
0
Therefore
Z
Z
isz
f (z)e dz R
Rs sin
e
d
e d
.
2Rs
0
0
Also
Z
Rs sin
d =
eRs sin d.
eRs sin d
.
Rs
0
It follows that
as required.
isz
f (z)e
M (R)
dz
,
s
dz
2
2
2
s(R a2 )
R z + a
for all real numbers s and R satisfying s > 0 and R > a. Therefore
Z
eisz
lim
dz = 0.
R+ z 2 + a2
R
2
eisx dx
dx + lim
R+
x 2 + a2
Z
R
eisz
esa
esa
=
2i
=
z 2 + a2
2ia
a
when s > 0. If we then take the limit of the left hand side of this identity as
R +, we find that
Z
eisx
esa
dx
=
.
2
2
a
x + a
when s > 0. This formula does not hold when s 0. And indeed, if we take
the complex conjugate of the above identity we find that
Z isx
e
esa
dx
=
.
2
2
a
x + a
when s > 0. It follows that
Z
eisx
e|s|a
dx
=
.
x 2 + a2
a
when |s| =
6 0. This identity also holds when s = 0, though this does not
follow from the above calculations.
Example We can also evaluate the above integral by applying Cauchys
Residue Theorem to the path integral taken around the boundary of a rectangle in the complex plane with vertices at R, R, R + iM and R + iM ,
where R and M are large positive real numbers.
Let a be a real number, and let R and M be real numbers satisfying
R > a and M > a. The inequality
1
1
z 2 + a2 R 2 a2
3
is satisfied for all complex numbers z for which |z| > a. It follows from this
that
Z
Z M
Z M
eisz
1
1
is(Riy)
dz
|e
| dy = 2
esy dy
2 + a2
2 a2
2
z
R
R
a
[R,R+iM ]
0
0
M
.
s(R2 a2 )
Similarly
Z
eisz
M
dz
,
2
2
2
z +a
s(R a2 )
2M esM
eisz
dz
.
z 2 + a2 M 2 a2
[R,R+iM ]
and
[R+iM,R+iM ]
dz
dz
2
2
2
2
[R+iR,R+iR] z + a
[R,R+iR] z + a
when s > 0. It follows that
Z isx
Z
e
eisz
esa
dx
=
lim
dz
=
2
2
R+ [R,R] z 2 + a2
a
x + a
when s > 0.
Example Let be a real number satisfying 0 < < 1. We evaluate the
integral
Z
x
dx
x(x + 1)
0
4
Z
Z
f (z) dz +
f (z) dz
[Ri,i]
R,
= 2i,
where : [ 34 , 34 ] C is the path from i to + i that sends
t [ 43 , 34 ] to eit , and R, : [ , ] C is the path from R i
p
to R + i that sends t [ , ] to R2 + 2 eit . [Thus (t) traverses a
three-quarters of a circle of radius about zero in the anti-clockwise direction
as t increases from 34 to 43 , and R, (t) traverses most of a circle of rap
dius R2 + 2 about zero as t increases from to .] Now the inequality
> 0 ensures that
Z
lim
f (z) dz = 0.
0
Also
lim
f (z) dz =
R,
f (z) dz,
lim
0+
[R+i,+i]
0
Z
f (x + i) dx
[Ri,i]
f (x i) dx
=
=
lim (f (x + i) f (x i)) dx
+
R 0
Z R
lim (f (x + i) f (x i)) dx
0+
Now
(x + i)
0 (x + i)(x 1 i)
lim+ exp( log(x + i))
lim+ f (x + i) =
lim+
x(x + 1)
exp((log x + i))
exp( log x) exp(i))
=
=
x(x + 1)
x(x + 1)
x
.
= ei
x(x + 1)
Similarly
lim exp( log(x i))
lim f (x i) =
0+
x(x + 1)
exp((log x i))
exp( log x) exp(i))
=
=
x(x + 1)
x(x + 1)
x
.
= ei
x(x + 1)
0+
It follows that
lim+ (f (x + i) f (x i)) =
=
Therefore
ei ei
R+
It follows that
Z +
0
x
x(x + 1)
2ix sin
x(x + 1)
x
dz = 2i
2i sin()
0 x(x + 1)
Now the inequality < 1 ensures that
Z
lim
f (z) dz = 0.
Z
f (z) dz.
x
dz = lim
R+
x(x + 1)
Z
0
x
dz =
x(x + 1)
sin