Exercise 7.  Find  [Graphics:Images/ResidueCalcModHome_gr_921.gif],   when  

7 (a).  [Graphics:Images/ResidueCalcModHome_gr_922.gif].  

Solution 7 (a).

See text and/or instructor's solution manual.

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

Solution.  Factor the denominator and get

          [Graphics:../Images/ResidueCalcModHome_gr_924.gif][Graphics:../Images/ResidueCalcModHome_gr_925.gif],

and conclude that  [Graphics:../Images/ResidueCalcModHome_gr_926.gif]  has simple zeros at  [Graphics:../Images/ResidueCalcModHome_gr_927.gif],  [Graphics:../Images/ResidueCalcModHome_gr_928.gif],  [Graphics:../Images/ResidueCalcModHome_gr_929.gif],  and  [Graphics:../Images/ResidueCalcModHome_gr_930.gif].   

Use the techniques for determining the order of poles: apply  Corollaries 7.5 and 7.8  in Section 7.4 to conclude that

the integrand  [Graphics:../Images/ResidueCalcModHome_gr_931.gif][Graphics:../Images/ResidueCalcModHome_gr_932.gif]  

has simple poles at  [Graphics:../Images/ResidueCalcModHome_gr_933.gif],  [Graphics:../Images/ResidueCalcModHome_gr_934.gif],  [Graphics:../Images/ResidueCalcModHome_gr_935.gif],  and  [Graphics:../Images/ResidueCalcModHome_gr_936.gif].   

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

                    The point  [Graphics:../Images/ResidueCalcModHome_gr_938.gif]  that lies inside the contour  [Graphics:../Images/ResidueCalcModHome_gr_939.gif].  

        Now apply Theorem 8.1 the Cauchy's Residue Theorem.

The point  [Graphics:../Images/ResidueCalcModHome_gr_940.gif]  is the only singularity that lie inside the contour  [Graphics:../Images/ResidueCalcModHome_gr_941.gif].  

Since  [Graphics:../Images/ResidueCalcModHome_gr_942.gif] is a simple pole, by Theorem 8.2 the residue is calculated as follows:

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

The "Residue Calculus" gives the value of the integral:

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

We are done.   

Aside.  We can let Mathematica double check our work.

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

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

Maple can check our work too!

     > limit( (z-I*3^(1/2))*1/(3*z^4+10*z^2+3), z=I*3^(1/2) );

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


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

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

We are really done.   

Aside.  Both [Graphics:../Images/ResidueCalcModHome_gr_950.gif] and [Graphics:../Images/ResidueCalcModHome_gr_951.gif] are capable of finding residues.

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

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


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

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


     > residue( 1/(3*z^4+10*z^2+3), z=I*3^(1/2) );

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

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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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