Exercise 1.  Find   [Graphics:Images/ResidueCalcModHome_gr_1.gif]   for the following functions:

1 (a).   [Graphics:../Images/ResidueCalcModHome_gr_2.gif].

Solution 1 (a).

See text and/or instructor's solution manual.

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

Solution.   Here we have  [Graphics:../Images/ResidueCalcModHome_gr_4.gif]  and the numerator  [Graphics:../Images/ResidueCalcModHome_gr_5.gif]  is non-zero at  [Graphics:../Images/ResidueCalcModHome_gr_6.gif],

i. e.  [Graphics:../Images/ResidueCalcModHome_gr_7.gif],  and the denominator  [Graphics:../Images/ResidueCalcModHome_gr_8.gif]  has a simple zero at the point  [Graphics:../Images/ResidueCalcModHome_gr_9.gif].

Applying Theorem 7.12 we have  [Graphics:../Images/ResidueCalcModHome_gr_10.gif]  is analytic at the point  [Graphics:../Images/ResidueCalcModHome_gr_11.gif]  and

[Graphics:../Images/ResidueCalcModHome_gr_12.gif]  where  [Graphics:../Images/ResidueCalcModHome_gr_13.gif].  Hence  [Graphics:../Images/ResidueCalcModHome_gr_14.gif]  has a simple pole at  [Graphics:../Images/ResidueCalcModHome_gr_15.gif],  and by Theorem 8.2 the residue is

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

We are done.   

Aside.  We can let Mathematica double check our work.

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

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

Maple can check our work too!

     > limit( (z-0)*exp(z)/z, z=0 );

               1

We are really done.   

Alternate Solution.   If you prefer, you can expand  [Graphics:../Images/ResidueCalcModHome_gr_19.gif]  in a Laurent series about  [Graphics:../Images/ResidueCalcModHome_gr_20.gif].

Use the fact that  [Graphics:../Images/ResidueCalcModHome_gr_21.gif],  and then get  

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

Here we see that  [Graphics:../Images/ResidueCalcModHome_gr_23.gif][Graphics:../Images/ResidueCalcModHome_gr_24.gif]  

has a simple pole at  [Graphics:../Images/ResidueCalcModHome_gr_25.gif],  and according to Definition 8.1 the residue is  [Graphics:../Images/ResidueCalcModHome_gr_26.gif].  

We are really really done.   

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

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

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


     > residue( exp(z)/z, z=0 );

               1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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