Exercises Section 4.4.  Power Series Functions

Exercise 1.  Prove part (iii) d'Alembert's Ratio Test of Theorem 4.16 .  

Exercise 2.  Consider the series   [Graphics:Images/ComplexPowerSeriesModHome_gr_25.gif],    [Graphics:Images/ComplexPowerSeriesModHome_gr_26.gif],   and   [Graphics:Images/ComplexPowerSeriesModHome_gr_27.gif].  

2 (a).  Show that each series has radius of convergence  [Graphics:Images/ComplexPowerSeriesModHome_gr_28.gif].

2 (b).  Show that the first series  [Graphics:Images/ComplexPowerSeriesModHome_gr_119.gif]  converges nowhere on  [Graphics:Images/ComplexPowerSeriesModHome_gr_120.gif].  

2 (c).  Show that the second series  [Graphics:Images/ComplexPowerSeriesModHome_gr_131.gif]  converges everywhere on  [Graphics:Images/ComplexPowerSeriesModHome_gr_132.gif].

2 (d).  It turns out that the third series  [Graphics:Images/ComplexPowerSeriesModHome_gr_143.gif]  converges everywhere on  [Graphics:Images/ComplexPowerSeriesModHome_gr_144.gif],  except at the point  [Graphics:Images/ComplexPowerSeriesModHome_gr_145.gif].  

This is not easy to prove.  Give it a look.

Exercise 3.  Find the radius of convergence of the following.  

3 (a).  [Graphics:Images/ComplexPowerSeriesModHome_gr_164.gif].  

3 (b).  [Graphics:Images/ComplexPowerSeriesModHome_gr_202.gif].  

3 (c).  [Graphics:Images/ComplexPowerSeriesModHome_gr_218.gif].  

3 (d).  [Graphics:Images/ComplexPowerSeriesModHome_gr_243.gif].  

3 (e).  [Graphics:Images/ComplexPowerSeriesModHome_gr_287.gif].  

3 (f).  [Graphics:Images/ComplexPowerSeriesModHome_gr_325.gif].  

3 (g).  [Graphics:Images/ComplexPowerSeriesModHome_gr_372.gif].  

3 (h).  [Graphics:Images/ComplexPowerSeriesModHome_gr_403.gif].  

3 (i).  [Graphics:Images/ComplexPowerSeriesModHome_gr_432.gif].  

3 (j).  [Graphics:Images/ComplexPowerSeriesModHome_gr_465.gif].   

Hint:   [Graphics:Images/ComplexPowerSeriesModHome_gr_466.gif].

Exercise 4.  Show that   [Graphics:Images/ComplexPowerSeriesModHome_gr_500.gif].   For what values of z is this valid?  

Exercise 5.  Suppose that   [Graphics:Images/ComplexPowerSeriesModHome_gr_541.gif]   has radius of convergence  [Graphics:Images/ComplexPowerSeriesModHome_gr_542.gif].  

Show that   [Graphics:Images/ComplexPowerSeriesModHome_gr_543.gif]   has radius of convergence  [Graphics:Images/ComplexPowerSeriesModHome_gr_544.gif].  

Exercise 6.  Does there exist a power series   [Graphics:Images/ComplexPowerSeriesModHome_gr_561.gif]   that converges at  [Graphics:Images/ComplexPowerSeriesModHome_gr_562.gif]  and diverges at  [Graphics:Images/ComplexPowerSeriesModHome_gr_563.gif]?   Why or why not?  

Exercise 7.  Suppose the function  [Graphics:Images/ComplexPowerSeriesModHome_gr_569.gif]  has radius of convergence  [Graphics:Images/ComplexPowerSeriesModHome_gr_570.gif].

Verify part (ii)  for all  k,   [Graphics:Images/ComplexPowerSeriesModHome_gr_571.gif]  of Theorem 4.17 for all  k  by using mathematical induction.  

Exercise 8.  This exercise establishes that the radius of convergence for  [Graphics:Images/ComplexPowerSeriesModHome_gr_598.gif]  given in Theorem 4.17,

is the same as that of the function  [Graphics:Images/ComplexPowerSeriesModHome_gr_599.gif].  

8 (a).  Explain why the radius of convergence for g(z)  is   [Graphics:Images/ComplexPowerSeriesModHome_gr_600.gif].

8 (b).  Show that  [Graphics:Images/ComplexPowerSeriesModHome_gr_603.gif].

Hint: The limit superior equals the limit.  Show that  [Graphics:Images/ComplexPowerSeriesModHome_gr_604.gif].  

8 (c).  Assuming that  [Graphics:Images/ComplexPowerSeriesModHome_gr_616.gif],  show that the conclusion for this exercise follows.

8 (d).  Verify the truth of the assumption made in part (c).

Exercise 9.  Here we establish the validity of Inequality (4-17) in the proof of Theorem 4.17.  

9 (a).  Show that

                    [Graphics:Images/ComplexPowerSeriesModHome_gr_647.gif]

where s and t are arbitrary complex numbers,  [Graphics:Images/ComplexPowerSeriesModHome_gr_648.gif].  

9 (b).  Explain why, in Inequality (4-17) ,   [Graphics:Images/ComplexPowerSeriesModHome_gr_653.gif]  and  [Graphics:Images/ComplexPowerSeriesModHome_gr_654.gif].  

9 (c).  Let  [Graphics:Images/ComplexPowerSeriesModHome_gr_665.gif]  and  [Graphics:Images/ComplexPowerSeriesModHome_gr_666.gif]  in part (a) to establish inequality  (4-17).  

Exercise 10.  Show that the radius of convergence of the series for

          [Graphics:Images/ComplexPowerSeriesModHome_gr_675.gif],   and   [Graphics:Images/ComplexPowerSeriesModHome_gr_676.gif],   is   [Graphics:Images/ComplexPowerSeriesModHome_gr_677.gif].  

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?  

Exercise 12.  Show that,   [Graphics:Images/ComplexPowerSeriesModHome_gr_756.gif]   for   [Graphics:Images/ComplexPowerSeriesModHome_gr_757.gif].

Hint:  [Graphics:Images/ComplexPowerSeriesModHome_gr_758.gif].  Now use Theorem 4.12.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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