Exercise 3.  Evaluate  

3 (e).  .

Solution 3 (e).

See text and/or instructor's solution manual.

Answer.   .  

Solution.  Factor the denominator and get

                    ,  

and conclude that    has simple zeros at    and  .  

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

the integrand    has simple poles at    and  .  

                The points    and    that lies inside the contour  .  

        Now apply Theorem 8.1 the Cauchy's Residue Theorem.

The points    and    are the singularities that lie inside the contour  .  

Since   is a simple pole, by Theorem 8.2 the residue is calculated as follows:  

                       

Similarly   is a simple pole, and by Theorem 8.2 the residue is calculated as follows:  

                       

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

                                

We are done.   

Aside.  We can let Mathematica double check our work.

Maple can check our work too!

     > limit( (z-I)*sin(z)/(z^2+1), z=I );

               

     > limit( (z-(-I))*sin(z)/(z^2+1), z=-I );

               

We are really done.   

Aside.  Both and are capable of finding residues.

     > V1 := residue( sin(z)/(z^2+1), z=I );

               

     > V2 := residue( sin(z)/(z^2+1), z=-I );

               

     > 2*Pi*I*(V1+V2);

               

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

               

This solution is complements of the authors.

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