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

1 (e).   [Graphics:Images/ResidueCalcModHome_gr_149.gif].

Solution 1 (e).

See text and/or instructor's solution manual.

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

Solution.   Here we have  [Graphics:../Images/ResidueCalcModHome_gr_151.gif]  and the numerator  [Graphics:../Images/ResidueCalcModHome_gr_152.gif]  is non-zero at  [Graphics:../Images/ResidueCalcModHome_gr_153.gif],  

[Graphics:../Images/ResidueCalcModHome_gr_154.gif],  "this is a zero of order  [Graphics:../Images/ResidueCalcModHome_gr_155.gif]."

The denominator  [Graphics:../Images/ResidueCalcModHome_gr_156.gif]  has simple zero at [Graphics:../Images/ResidueCalcModHome_gr_157.gif], "this is a zero of order  [Graphics:../Images/ResidueCalcModHome_gr_158.gif]."

Applying Corollary 7.8 we can conclude that  [Graphics:../Images/ResidueCalcModHome_gr_159.gif]  has a pole of order  [Graphics:../Images/ResidueCalcModHome_gr_160.gif]  at [Graphics:../Images/ResidueCalcModHome_gr_161.gif], and by Theorem 8.2 the residue is calculated as follows:

                     [Graphics:../Images/ResidueCalcModHome_gr_162.gif].   
                     
                     [Graphics:../Images/ResidueCalcModHome_gr_163.gif]

We are done.   

Aside.  We can let Mathematica double check our work.

[Graphics:../Images/ResidueCalcModHome_gr_164.gif]
[Graphics:../Images/ResidueCalcModHome_gr_165.gif]

Maple can check our work too!

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

               1

We are really done.   

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

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

This might be quite tedious, so we will show how to do it with Mathematica and Maple.

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

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


     > series( cos(z)/sin(z), z=0,10 );

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

Here we see that  [Graphics:../Images/ResidueCalcModHome_gr_172.gif][Graphics:../Images/ResidueCalcModHome_gr_173.gif]  

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

We are really really done.   

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

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

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

     > residue( cos(z)/sin(z), z=0 );

               1

Extra Stuff.

          Applying Theorem 7.12 and Corollaries 7.5 and 7.8 we know that  [Graphics:../Images/ResidueCalcModHome_gr_180.gif] has simple zeros at the points  [Graphics:../Images/ResidueCalcModHome_gr_181.gif]  where  n  is an integer,

and   [Graphics:../Images/ResidueCalcModHome_gr_182.gif]  is analytic at the points  [Graphics:../Images/ResidueCalcModHome_gr_183.gif]  and  [Graphics:../Images/ResidueCalcModHome_gr_184.gif]  where  n  is an integer.  

Hence,  [Graphics:../Images/ResidueCalcModHome_gr_185.gif]  has a simple poles at the points  [Graphics:../Images/ResidueCalcModHome_gr_186.gif]  where  n  is an integer,  and the residues are

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors. 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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