Exercise 5.   Let  [Graphics:Images/RoucheTheoremModHome_gr_365.gif].  

5 (a).   Show that there are two zeros in  [Graphics:Images/RoucheTheoremModHome_gr_366.gif].  

Solution 5 (a).

Solution.   Let  [Graphics:../Images/RoucheTheoremModHome_gr_367.gif].  Then for  [Graphics:../Images/RoucheTheoremModHome_gr_368.gif]  we have

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

Since  [Graphics:../Images/RoucheTheoremModHome_gr_370.gif]  has two roots in  [Graphics:../Images/RoucheTheoremModHome_gr_371.gif],  so does  [Graphics:../Images/RoucheTheoremModHome_gr_372.gif],  by Remark 8.5 to Rouché's Theorem.

We are done.   

Aside.  We can use Mathematica to verify the inequality mentioned above.

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

                    For  [Graphics:../Images/RoucheTheoremModHome_gr_374.gif]  on the circle  [Graphics:../Images/RoucheTheoremModHome_gr_375.gif]  we have the inequality
                    [Graphics:../Images/RoucheTheoremModHome_gr_376.gif]

We are really done.   

Aside.  We can use Mathematica to plot the zeros of  g(z).

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

                    Two zeros of  [Graphics:../Images/RoucheTheoremModHome_gr_378.gif]  lie in the disk [Graphics:../Images/RoucheTheoremModHome_gr_379.gif].  

Aside.  We can let Mathematica double check our work.

However, the zeros of  [Graphics:../Images/RoucheTheoremModHome_gr_380.gif]  do not have a nice algebraic solution.  

So we must settle for numerical approximations:

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

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

The moduli of these roots are:  

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

Remark.  A factorization of the polynomial using numerical approximations for the coefficients is  

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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