Exercise 1.  Let  [Graphics:Images/RoucheTheoremModHome_gr_1.gif].  Find the number of times the image  [Graphics:Images/RoucheTheoremModHome_gr_2.gif]  winds around the origin if  

1 (c).   [Graphics:Images/RoucheTheoremModHome_gr_116.gif].

Solution 1 (c).

See text and/or instructor's solution manual.

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

Solution.  For  [Graphics:../Images/RoucheTheoremModHome_gr_118.gif]  and  [Graphics:../Images/RoucheTheoremModHome_gr_119.gif],  the number of times the image  [Graphics:../Images/RoucheTheoremModHome_gr_120.gif]  winds around the origin,  

[Graphics:../Images/RoucheTheoremModHome_gr_121.gif],  can be calculated using Theorem 8.9 (Winding Number)    

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

The denominator of the integrand   [Graphics:../Images/RoucheTheoremModHome_gr_123.gif]   can be factored as

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

Thus,  [Graphics:../Images/RoucheTheoremModHome_gr_125.gif]  has simple poles at  [Graphics:../Images/RoucheTheoremModHome_gr_126.gif],  [Graphics:../Images/RoucheTheoremModHome_gr_127.gif],  [Graphics:../Images/RoucheTheoremModHome_gr_128.gif],  [Graphics:../Images/RoucheTheoremModHome_gr_129.gif],  and  [Graphics:../Images/RoucheTheoremModHome_gr_130.gif].

The poles at  [Graphics:../Images/RoucheTheoremModHome_gr_131.gif],  [Graphics:../Images/RoucheTheoremModHome_gr_132.gif],  [Graphics:../Images/RoucheTheoremModHome_gr_133.gif],  [Graphics:../Images/RoucheTheoremModHome_gr_134.gif],  and  [Graphics:../Images/RoucheTheoremModHome_gr_135.gif]  all lie inside  [Graphics:../Images/RoucheTheoremModHome_gr_136.gif].

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

                              The points  [Graphics:../Images/RoucheTheoremModHome_gr_138.gif] lie inside  [Graphics:../Images/RoucheTheoremModHome_gr_139.gif].

      We can calculate the winding number using the residue calculus

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

      It will save a lot of effort to establish the following general principle:   

                    If  f(z) has a simple zero at [Graphics:../Images/RoucheTheoremModHome_gr_141.gif]  then  [Graphics:../Images/RoucheTheoremModHome_gr_142.gif].

This can be proven with the following computation

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

Now apply this at the points   [Graphics:../Images/RoucheTheoremModHome_gr_144.gif],  [Graphics:../Images/RoucheTheoremModHome_gr_145.gif],  [Graphics:../Images/RoucheTheoremModHome_gr_146.gif],  [Graphics:../Images/RoucheTheoremModHome_gr_147.gif],  and  [Graphics:../Images/RoucheTheoremModHome_gr_148.gif]  that lie inside  [Graphics:../Images/RoucheTheoremModHome_gr_149.gif]  and get  

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

We are done.   

Aside.  We can let Mathematica double check our work.

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

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


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

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


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

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


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

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


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

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

We are really done.   

                    [Graphics:../Images/RoucheTheoremModHome_gr_161.gif]          [Graphics:../Images/RoucheTheoremModHome_gr_162.gif]

                    The image curve  f(C)  of the circle  [Graphics:../Images/RoucheTheoremModHome_gr_163.gif]  under the mapping  [Graphics:../Images/RoucheTheoremModHome_gr_164.gif]  

                    winds around the origin in the w-plane  [Graphics:../Images/RoucheTheoremModHome_gr_165.gif]  times.

We are really really done.   

      If you do not use this general principle, then the residues are tedious to calculate.  The details are given below.

Here the denominator of  [Graphics:../Images/RoucheTheoremModHome_gr_166.gif]  has a factor of the form  [Graphics:../Images/RoucheTheoremModHome_gr_167.gif],  and by Theorem 8.2  [Graphics:../Images/RoucheTheoremModHome_gr_168.gif].  

In this exercise, the limit can be calculated as follows:

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

Similarly, we calculate the residue at [Graphics:../Images/RoucheTheoremModHome_gr_170.gif]:

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

Similarly, we calculate the residue at [Graphics:../Images/RoucheTheoremModHome_gr_172.gif]:

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

Similarly, we calculate the residue at [Graphics:../Images/RoucheTheoremModHome_gr_174.gif]:

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

Similarly, we calculate the residue at [Graphics:../Images/RoucheTheoremModHome_gr_176.gif]:

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

We are really really done.   

Aside.  If you want to get a better idea of "winding" then we can investigate the image curve  f(C)  of the circle  [Graphics:../Images/RoucheTheoremModHome_gr_178.gif].   

This is just for fun !

                    [Graphics:../Images/RoucheTheoremModHome_gr_179.gif]          [Graphics:../Images/RoucheTheoremModHome_gr_180.gif]

                    The image curve  f(C)  of the circle  [Graphics:../Images/RoucheTheoremModHome_gr_181.gif]  under the mapping  [Graphics:../Images/RoucheTheoremModHome_gr_182.gif]  

                    winds around the origin in the w-plane  [Graphics:../Images/RoucheTheoremModHome_gr_183.gif]  times.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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