Exercise 3.   Let  [Graphics:Images/RoucheTheoremModHome_gr_279.gif].  

3 (a).   Show that there are no zeros in  [Graphics:Images/RoucheTheoremModHome_gr_280.gif].  

Solution 3 (a).

See text and/or instructor's solution manual.

Solution.   Let  [Graphics:../Images/RoucheTheoremModHome_gr_281.gif].  Then for  [Graphics:../Images/RoucheTheoremModHome_gr_282.gif]  we have

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

Since  [Graphics:../Images/RoucheTheoremModHome_gr_284.gif]  has no roots in  [Graphics:../Images/RoucheTheoremModHome_gr_285.gif],  neither does  [Graphics:../Images/RoucheTheoremModHome_gr_286.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_287.gif]

                    For  [Graphics:../Images/RoucheTheoremModHome_gr_288.gif]  on the circle  [Graphics:../Images/RoucheTheoremModHome_gr_289.gif]  we have the inequality
                    [Graphics:../Images/RoucheTheoremModHome_gr_290.gif]

We are really done.   

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

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

                    There are no zeros of  [Graphics:../Images/RoucheTheoremModHome_gr_292.gif]  in  [Graphics:../Images/RoucheTheoremModHome_gr_293.gif].  

Aside.  We can let Mathematica double check our work.

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

So we must settle for numerical approximations:

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

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

The moduli of these roots are:  

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

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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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