Professional Documents
Culture Documents
in
177
f (z ) dz = 2i
k =1
Res [ f (z ), zk ]
In the following sections we dene improper integrals and Cauchy principal values associated with integrals. We introduce and investigate special paths of integration in evaluating contour integrals. In the methods developed be sure to note how limiting processes and the residue theorem are employed in the complex domain to evaluate certain real integrals.
Improper integrals
b
f (x) dx, x
is well dened at all points x satisfying a x b. If there exists a point satisfying a b where f (x) is undened, then one can introduce small positive quantities and and write the integral as
f (x)
b b
f (x) dx = lim
a
0 a
f (x) dx + lim
f (x) dx
+
(7.1)
provided that the limits exist. If the limits exist, then the integral is called convergent, otherwise it is called divergent. Another way to dene the integral is to introduce just one small positive quantity and write
ebooksforgate.blogspot.in
ebooksforgate.blogspot.in
178
b b
f (x) dx = lim
a
f (x) dx +
a +
f (x) dx
(7.2)
provided the limits exist. The limits in equations (7.1) and (7.2) do not always produce the same results. Whenever the integral given by equation (7.2) exists, then the value of the integral is called the Cauchy principal value. Note that the Cauchy principal value is symmetric with the limits decreasing at the same rate, while in comparison the limits in equation (7.1) can decrease at dierent rates. The same idea applies to integration involving innite limits. The integration of rational functions f (x) over the interval [0, ) are called improper integrals and are dened by a limiting process
R
f (x) dx = lim
0
f (x) dx
0
if this limit exists. Similarly, the integration of real rational functions f (x), dened for all real values of x, over the interval (, ) are calculated from the limiting process
0 R2
f (x) dx = lim
R1
f (x) dx + lim
R1
R2
f (x) dx
0
(7.3)
provided that both limits exist. The limiting process given by equation (7.3) is not the same as the limiting process
R
f (x) dx = lim
f (x) dx
R
(7.4)
because in one case the limiting process is symmetric and nonsymmetric in the other case. If the limit in equation (7.3) exists, then the same value can be obtained from the limiting process given by equation (7.4). However, if the limit given by equation (7.4) exists, then the limit given by equation (7.3) may or may not exist. This can be illustrated with a simple example. Consider the limiting process given by equation (7.4) in the special case f (x) = x
R R
lim
x dx = lim
R
x2 R 2
= lim
R
(R)2 R2 =0 2 2
(7.5)
However, the limiting process dened by equation (7.3) for the function f (x) = x produces
0 R1 R2
lim
x dx + lim
R1
R2
x dx = lim
0
x2 R1 2
0 R1
+ lim
x2 R2 2
R2
= lim
0 R1
R2 R2 1 2 + lim R2 2 2
(7.6)
which becomes an indeterminate form in the limit as R1 and R2 increase without bound. The limiting process dened by equation (7.4) is used to dene the Cauchy principal value of an improper integral. The Cauchy principal value of the improper integral f (x) dx, of a real rational function f (x) is dened by the limiting process
Cauchy principal value
R
f (x) dx = lim
f (x) dx
R
(7.7)
ebooksforgate.blogspot.in
ebooksforgate.blogspot.in
179
provided that the limit exists. If the limit exists, then the integral is said to be a convergent integral in the Cauchy sense, otherwise it is called divergent. Consider the contour integral of a complex rational function f (z ) taken around the special contour illustrated in the gure 7-1. Assume that the rational function f (z ) has poles at the points z1 , z2, . . . , zn lying in the upper half plane. The contour of integration consists of two parts. The rst part is the upper semicircle CR centered at the origin and having a radius R large enough to enclose all the poles of f (z ) in the upper half plane. The second part of the contour is the straight line segment from (R, 0) to (R, 0). The integration of f (z ) around this special contour C is performed in the positive sense. The semicircular part of the path of integration is given the notation CR to emphasize that this portion of the path depends upon the radius R.
Figure 7-1.
Contour path C consisting of semicircle CR and straight line path from R to R on the x-axis. It is assumed that f (z ) has poles at points z1, z2 , . . . , zn in the upper half-plane which lie inside the contour C .
Consider the contour integral of f (z ) around the path C of gure 7-1 in the limit as the radius R increases without bound. This type of integral can be evaluated using the residue theorem by writing
lim
. .. . . . . . . . . . . . . . . . . .. .. . . . ..
f (z ) dz = lim
f (x) dx +
R CR
f (Re i ) iR e i d = 2i
j =1
Res [ f, zj ]
(7.8)
where z = x is the value of z on the line segment and z = Re i is the value of z on the semicircular path CR . If we can show that the line integral along CR approaches zero as R increases without bound, then one can write
R
lim
f (z ) dz = lim
CR
f (Re i ) Re i i d = 0
0
(7.9)
ebooksforgate.blogspot.in
ebooksforgate.blogspot.in
180
and consequently the integral in equation (7.8) reduces to the Cauchy principal value of an improper integral
R R n
lim
f (x) dz =
R
f (x) dx = 2i
j =1
Res [ f, zj ]
M
(7.10)
If the integrand f (z ), for z = Re i on the semicircle CR , satises |f (z )| k where M and k R are constants with k > 1, then integrals of the type given by equations (7.9) and (7.10) can be shown to be valid. If f (z ) satises the above boundedness property, then one can employ the magnitude of a line integral property, equation (3.9), to obtain the result
f (z ) dz
CR
M M R = k1 , Rk R
k>1
CR
(7.11) f (z ) dz = 0.
where R is the length of the semicircle arc CR. It then follows that limR
P (z ) Whenever f (z ) = is a rational function with P (z ) a polynomial Q(z ) coecients a0 , a1, . . . , am and Q(z ) is a polynomial of degree n m + 2 b0, b1, . . . , bn,
where
p(z ) = a0 + a1z 1 + + am1 z m+1 + am z m
and
In the special case z = Re i lies on the path CR in gure 7-1 one nds that
|zf (z )| = Rm+1 |p(z )| zP (z ) Q(z ) Rn |q(z )|
lim
because n m + 2. Therefore, one can select a radius R so large that the inequality
P (z ) < Q(z ) R
which implies
|dz | =
R =
(7.12)
In the limit as R increases without bound the integral on the left-hand side of equation (7.12) is some constant which is less than which can be made arbitrarily small by making small. This implies that the constant on the left-hand side must be zero. Hence, for P (z ) and Q(z ) polynomials of degree m and n respectively, with n m + 2, one can write
R
lim
CR
P (z ) dx = 0 Q(z )
(7.13)
ebooksforgate.blogspot.in
ebooksforgate.blogspot.in
181
Example 7-1.
Evaluate the
Solution: (Evaluation of improper integral) dx Cauchy principal value of , 2 + x2
Use the path of integration illustrated in the gure 7-1 and replace the integrand 1 by the complex function f (z ) = 2 2 . The residue theorem gives
+z
. . . . . . . . . . . . . . . . . . . . .. . . . . .. .
f (z ) dz = 2i Res [ f (z ), i ]
since only the simple pole at z = i lies within the contour C of gure 7-1. The residue of f (z ) at z = i is found to be 1/2 i. In the limit as R we write
lim
. .. . . . . . . . . . . . . . . . . . .. . . . . ..
f (z ) dz = lim
f (z ) dz +
CR R
dx 2 + x2
= 2i
1 = 2 i
CR
f (z ) dz = 0,
value
dx = . We can use the previous discussion to show limR CR f (z ) dz = 0. 2 +x Alternatively, for z on CR we can use the inequality |z1 + z2 | |z1 | |z2| to show for z on CR 2
1 1 R2 that |f (z )| = z2 + . One can then show limR CR f (z ) dz limR R2R = 0. 2 2 2 Here f (z ) satises the boundedness property required for the integral along CR to approach zero as R increases without bound. One can use the rational function P (z )/Q(z ) approach or some other inequality to show a boundedness property on a curve.
Example 7-2.
Evaluate the
Solution:
Replace the integrand by the complex function f = f (z ) = 6 and use the residue z +1 theorem to evaluate the integral of f (z ) around the path C illustrated in the gure 7-1 in the limit as R increases without bound. One can then write
R
lim
. . .. . . . .. . . . . . . .. . . . . . . .. . .. .
f (z ) dz = lim
f (x) dx +
R CR
f (Re i )Re i id = 2i
k =1
Res [ f, zk ]
(7.14)
where n represents the number of singularities of f (z ) in the upper half plane. The line integral along the semicircular path CR approaches zero as R increases without bound. Note 1 1 that if |z1 + z2 | |z1 | |z2 |, then consequently one can show
|z1 + z2 | |z1| |z2| lim f (z ) dz lim
CR
CR
z6
1 R dz lim 6 =0 R +1 R 1
(7.15)
or z = e i (/6+2k/6)
ebooksforgate.blogspot.in