Exercise 5.  Find  [Graphics:Images/ResidueCalcModHome_gr_725.gif],   when  

5 (a).  [Graphics:Images/ResidueCalcModHome_gr_726.gif].  

Solution 5 (a).

See text and/or instructor's solution manual.

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

Solution.  Factor the denominator and get

                    [Graphics:../Images/ResidueCalcModHome_gr_728.gif],  

and conclude that  [Graphics:../Images/ResidueCalcModHome_gr_729.gif]  has a zero of order  2  at  [Graphics:../Images/ResidueCalcModHome_gr_730.gif],  and simple zeros at  [Graphics:../Images/ResidueCalcModHome_gr_731.gif]  and  [Graphics:../Images/ResidueCalcModHome_gr_732.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_733.gif][Graphics:../Images/ResidueCalcModHome_gr_734.gif]  

has a pole of order  2  at  [Graphics:../Images/ResidueCalcModHome_gr_735.gif],  and simple poles at  [Graphics:../Images/ResidueCalcModHome_gr_736.gif]  and  [Graphics:../Images/ResidueCalcModHome_gr_737.gif].  

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

                         The point  [Graphics:../Images/ResidueCalcModHome_gr_739.gif]  that lies inside the contour  [Graphics:../Images/ResidueCalcModHome_gr_740.gif].  

        Now apply Theorem 8.1 the Cauchy's Residue Theorem.

The point  [Graphics:../Images/ResidueCalcModHome_gr_741.gif]  is the only singularity that lies inside the contour  [Graphics:../Images/ResidueCalcModHome_gr_742.gif].  

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

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

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

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

We are done.   

Aside.  We can let Mathematica double check our work.

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

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


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

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


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

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

Maple can check our work too!

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

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

We are really done.   

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

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

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


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

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


     > residue( 1/((z-1)^2*(z^2+4)), z=1 );

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

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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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