Exercise 3.  Evaluate  

3 (g).  [Graphics:Images/ResidueCalcModHome_gr_679.gif].

Solution 3 (g).

See text and/or instructor's solution manual.

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

Solution.   Consider the denominator  [Graphics:../Images/ResidueCalcModHome_gr_681.gif]  at the point  [Graphics:../Images/ResidueCalcModHome_gr_682.gif] ,  here we have

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

          and

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

Applying Definition 7.6 we can conclude that  [Graphics:../Images/ResidueCalcModHome_gr_685.gif]  has a zero of order  3  at the point  [Graphics:../Images/ResidueCalcModHome_gr_686.gif].  

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

the integrand [Graphics:../Images/ResidueCalcModHome_gr_687.gif]  has a pole of order  3  at the point  [Graphics:../Images/ResidueCalcModHome_gr_688.gif].  

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

                         The point  [Graphics:../Images/ResidueCalcModHome_gr_690.gif]  that lies inside the contour  [Graphics:../Images/ResidueCalcModHome_gr_691.gif].  

        Now apply Theorem 8.1 the Cauchy's Residue Theorem.

The point  [Graphics:../Images/ResidueCalcModHome_gr_692.gif]  is the singularity that lie inside the contour  [Graphics:../Images/ResidueCalcModHome_gr_693.gif].  

Since  [Graphics:../Images/ResidueCalcModHome_gr_694.gif] is a pole of order  3, by Theorem 8.2 the residue is calculated as follows:

                    [Graphics:../Images/ResidueCalcModHome_gr_695.gif]   
                    
                    [Graphics:../Images/ResidueCalcModHome_gr_696.gif]

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

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

We are done.   

Aside.  We can let Mathematica double check our work.

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

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


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

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


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

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

Maple can check our work too!

     > (1/2!)*limit( diff((z-0)^3*1/(z*sin(z)^2),z$2), z=0 );

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

We are really done.   

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

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

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


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

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


     > residue( 1/(z*sin(z)^2), z=0 );

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

     > 2*Pi*I*residue(1/(z*sin(z)^2),z=0);

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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