Exercise 7.  [Graphics:Images/IntegralsRationalModHome_gr_221.gif].  

Solution 7.

See text and/or instructor's solution manual.

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

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

Factor the denominator and get

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

Hence  [Graphics:../Images/IntegralsRationalModHome_gr_225.gif],  has simple zeros at  [Graphics:../Images/IntegralsRationalModHome_gr_226.gif]   and   [Graphics:../Images/IntegralsRationalModHome_gr_227.gif]  lie in the upper half-plane.

It follows that  [Graphics:../Images/IntegralsRationalModHome_gr_228.gif]  has simple poles at  

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

and the poles  [Graphics:../Images/IntegralsRationalModHome_gr_230.gif]  lie in the upper half plane.

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

                    The contour  [Graphics:../Images/IntegralsRationalModHome_gr_232.gif]  consisting of the semi-circle  [Graphics:../Images/IntegralsRationalModHome_gr_233.gif]  and the interval [Graphics:../Images/IntegralsRationalModHome_gr_234.gif].  

                    The points  [Graphics:../Images/IntegralsRationalModHome_gr_235.gif]  lie 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_236.gif]  

Here the denominator of  f(z) has a factor of the form  [Graphics:../Images/IntegralsRationalModHome_gr_237.gif],  and  [Graphics:../Images/IntegralsRationalModHome_gr_238.gif],  for  [Graphics:../Images/IntegralsRationalModHome_gr_239.gif].    

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

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

In a similar fashion

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

We are done.   

Aside.  We can let Mathematica double check our work.

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

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


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

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


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

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

Maple can check our work too!

     > V1 := residue( z^2/(z^4+4), z=-1+I );

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

     > V2 := residue( z^2/(z^4+4), z=1+I );

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

     > 2*Pi*I*(V1+V2);

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

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

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

We are really done.   

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

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

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


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

               [Graphics:../Images/IntegralsRationalModHome_gr_257.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_258.gif]

                    The indefinite integral  [Graphics:../Images/IntegralsRationalModHome_gr_259.gif][Graphics:../Images/IntegralsRationalModHome_gr_260.gif].

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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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