Exercise 1.  [Graphics:Images/IntegralsRationalModHome_gr_1.gif].  

Solution 1.

See text and/or instructor's solution manual.

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

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

Factor the denominator and get

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

Hence  [Graphics:../Images/IntegralsRationalModHome_gr_5.gif],  has zeros of order  2  at  [Graphics:../Images/IntegralsRationalModHome_gr_6.gif]   and   [Graphics:../Images/IntegralsRationalModHome_gr_7.gif]  lies in the upper half-plane.

It follows that  [Graphics:../Images/IntegralsRationalModHome_gr_8.gif]  has poles of order  2  at  [Graphics:../Images/IntegralsRationalModHome_gr_9.gif],  

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

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

                    The contour  [Graphics:../Images/IntegralsRationalModHome_gr_12.gif]  consisting of the semi-circle  [Graphics:../Images/IntegralsRationalModHome_gr_13.gif]  and the interval [Graphics:../Images/IntegralsRationalModHome_gr_14.gif].  

                    The point  [Graphics:../Images/IntegralsRationalModHome_gr_15.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_16.gif]  

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

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

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

We are done.   

Aside.  We can let Mathematica double check our work.

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

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


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

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

Maple can check our work too!

     > residue( z^2/(z^2+16)^2, z=4*I );

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

     > 2*Pi*I*residue(z^2/(z^2+16)^2,z=4*I);

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

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

                    A portion of the area under the curve  [Graphics:../Images/IntegralsRationalModHome_gr_27.gif].

We are really done.   

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

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

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


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

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

We are really really done.   

The intent of this exercise is to illustrate how the Residue Calculus is used to find improper integrals.

Aside.  For comparison, we show how to find the value of the integral using the indefinite integral and limits.

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

                    The indefinite integral  [Graphics:../Images/IntegralsRationalModHome_gr_34.gif].

                    The Cauchy Principal Value (P.V.) of the integral is  [Graphics:../Images/IntegralsRationalModHome_gr_35.gif]  and it can be computed as follows:

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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