Exercise 11.  Consider the series obtained by substituting for the complex number z the real number x in the Maclaurin series for  [Graphics:Images/ComplexPowerSeriesModHome_gr_729.gif].  Where does this series converge?  

Solution 11.

See text and/or instructor's solution manual.

Answer.  The series  [Graphics:../Images/ComplexPowerSeriesModHome_gr_730.gif]  converges for all values of z by the ratio test, and we will see in Section 5.4 that

                    [Graphics:../Images/ComplexPowerSeriesModHome_gr_731.gif]    for all  z.  

Solution.  For   [Graphics:../Images/ComplexPowerSeriesModHome_gr_732.gif],  we have  [Graphics:../Images/ComplexPowerSeriesModHome_gr_733.gif].  

Use Theorem 4.16 and calculate the limit in in d'Alembert's Ratio Test:    

                    [Graphics:../Images/ComplexPowerSeriesModHome_gr_734.gif]   
                    
Since  [Graphics:../Images/ComplexPowerSeriesModHome_gr_735.gif]  the radius of convergence of the series  [Graphics:../Images/ComplexPowerSeriesModHome_gr_736.gif]  is   [Graphics:../Images/ComplexPowerSeriesModHome_gr_737.gif].  

Thus   [Graphics:../Images/ComplexPowerSeriesModHome_gr_738.gif]  converges for all  [Graphics:../Images/ComplexPowerSeriesModHome_gr_739.gif].

We are done.   

Remark.  The Taylor series for  [Graphics:../Images/ComplexPowerSeriesModHome_gr_740.gif]  was studied in calculus, and we have  

                    [Graphics:../Images/ComplexPowerSeriesModHome_gr_741.gif],  

which converges for all  x.

In Section 5.4 we will find that complex series are extensions of real series and we will derive the formula

                    [Graphics:../Images/ComplexPowerSeriesModHome_gr_742.gif],

which converges for all  z.

We are really done.   

Aside.  We can let Mathematica double check our work.

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

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


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

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

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

                              The domain set  [Graphics:../Images/ComplexPowerSeriesModHome_gr_748.gif]  that is used to produce the images under  [Graphics:../Images/ComplexPowerSeriesModHome_gr_749.gif].

    

[Graphics:../Images/ComplexPowerSeriesModHome_gr_750.gif]          [Graphics:../Images/ComplexPowerSeriesModHome_gr_751.gif]          [Graphics:../Images/ComplexPowerSeriesModHome_gr_752.gif]

     Graphs of the mappings  [Graphics:../Images/ComplexPowerSeriesModHome_gr_753.gif],   [Graphics:../Images/ComplexPowerSeriesModHome_gr_754.gif],   and   [Graphics:../Images/ComplexPowerSeriesModHome_gr_755.gif].

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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