Exercise 7.   Let  [Graphics:Images/RoucheTheoremModHome_gr_468.gif].  

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

Solution 7 (a).

Solution.   Let  [Graphics:../Images/RoucheTheoremModHome_gr_470.gif].  Then for  [Graphics:../Images/RoucheTheoremModHome_gr_471.gif]  we have

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

Since  [Graphics:../Images/RoucheTheoremModHome_gr_473.gif]  has no roots in  [Graphics:../Images/RoucheTheoremModHome_gr_474.gif],  neither does  [Graphics:../Images/RoucheTheoremModHome_gr_475.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_476.gif]

                    For  [Graphics:../Images/RoucheTheoremModHome_gr_477.gif]  on the circle  [Graphics:../Images/RoucheTheoremModHome_gr_478.gif]  we have the inequality
                    [Graphics:../Images/RoucheTheoremModHome_gr_479.gif]

We are really done.   

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

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

                    There are no zeros of  [Graphics:../Images/RoucheTheoremModHome_gr_481.gif]  that lie in the disk [Graphics:../Images/RoucheTheoremModHome_gr_482.gif].  

Aside.  We can let Mathematica double check our work.

However, the zeros of  [Graphics:../Images/RoucheTheoremModHome_gr_483.gif]  have a complicated algebraic representation.  

So we might prefer numerical approximations:

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

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

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

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

The moduli of these roots are:  

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

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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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