Exercise 15.  [Graphics:Images/IntegralsRationalModHome_gr_563.gif],   where   [Graphics:Images/IntegralsRationalModHome_gr_564.gif].  

Solution 15.

See text and/or instructor's solution manual.

Answer.   [Graphics:../Images/IntegralsRationalModHome_gr_565.gif].  

Solution.  The complex integrand is  [Graphics:../Images/IntegralsRationalModHome_gr_566.gif].  

Factor the denominator and get

                    [Graphics:../Images/IntegralsRationalModHome_gr_567.gif].  

It follows that  [Graphics:../Images/IntegralsRationalModHome_gr_568.gif]  has poles of order  3  at  [Graphics:../Images/IntegralsRationalModHome_gr_569.gif],  

and the pole at  [Graphics:../Images/IntegralsRationalModHome_gr_570.gif]  lies in the upper half plane.

Using Theorem 8.1 (Cauchy's Residue Theorem), and Theorem 8.3 (Contour Integration for Rational Functions), the value of the integral is computed   

                    [Graphics:../Images/IntegralsRationalModHome_gr_571.gif]  

Here the denominator of  f(z) has a factor of the form  [Graphics:../Images/IntegralsRationalModHome_gr_572.gif],  and  [Graphics:../Images/IntegralsRationalModHome_gr_573.gif].  

In this exercise, the limit can be calculated as follows:

                    [Graphics:../Images/IntegralsRationalModHome_gr_574.gif]   

We are done.   

Aside.  We can let Mathematica double check our work.

[Graphics:../Images/IntegralsRationalModHome_gr_575.gif]

[Graphics:../Images/IntegralsRationalModHome_gr_576.gif]


[Graphics:../Images/IntegralsRationalModHome_gr_577.gif]

[Graphics:../Images/IntegralsRationalModHome_gr_578.gif]

Maple can check our work too!

     > residue( z^2/(z^2+a^2)^3, z=I*a );

               
[Graphics:../Images/IntegralsRationalModHome_gr_579.gif]

     > 2*Pi*I*residue(z^2/(z^2+a^2)^3,z=I*a);

               
[Graphics:../Images/IntegralsRationalModHome_gr_580.gif]

We are really done.   

Aside.  Both [Graphics:../Images/IntegralsRationalModHome_gr_581.gif] and [Graphics:../Images/IntegralsRationalModHome_gr_582.gif] are capable of finding the definite integral.

[Graphics:../Images/IntegralsRationalModHome_gr_583.gif]

[Graphics:../Images/IntegralsRationalModHome_gr_584.gif]


[Graphics:../Images/IntegralsRationalModHome_gr_585.gif]

[Graphics:../Images/IntegralsRationalModHome_gr_586.gif]


     > int( x^2/(x^2+a^2)^3, x=-infinity..infinity );

               
[Graphics:../Images/IntegralsRationalModHome_gr_587.gif]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(c) 2008 John H. Mathews, Russell W. Howell