9 (a).  Use  [Graphics:Images/IntegralsBranchPointsModHome_gr_686.gif],  and show that the residue at [Graphics:Images/IntegralsBranchPointsModHome_gr_687.gif]  is  [Graphics:Images/IntegralsBranchPointsModHome_gr_688.gif].  

Solution 9 (a).

See text and/or instructor's solution manual.

The residue at  [Graphics:../Images/IntegralsBranchPointsModHome_gr_693.gif]  is calculated by using Theorem 8.1 (Cauchy's Residue Theorem).  

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

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

We are done.   

Aside.  We can let Mathematica double check our work.

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

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


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

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

Maple can check our work too!

     > limit( (z+1)*z^(1/3)/(z^3*(z+1)), z=-1);

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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