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.  

Solution 7.

See text and/or instructor's solution manual.

Solution.   This exercise builds on ideas that were investigated in Exercise 5 of Section 3.1.

Part (i) of Theorem 4.17 establishes   [Graphics:../Images/ComplexPowerSeriesModHome_gr_572.gif]  when  k=1.  

Assume [Graphics:../Images/ComplexPowerSeriesModHome_gr_573.gif]  is true for some [Graphics:../Images/ComplexPowerSeriesModHome_gr_574.gif], and set  [Graphics:../Images/ComplexPowerSeriesModHome_gr_575.gif]  or  [Graphics:../Images/ComplexPowerSeriesModHome_gr_576.gif]  then this series can be written as  

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

                    [Graphics:../Images/ComplexPowerSeriesModHome_gr_578.gif]
                    
                    [Graphics:../Images/ComplexPowerSeriesModHome_gr_579.gif]

                    [Graphics:../Images/ComplexPowerSeriesModHome_gr_580.gif]
                    
where  [Graphics:../Images/ComplexPowerSeriesModHome_gr_581.gif].

        In other words,   [Graphics:../Images/ComplexPowerSeriesModHome_gr_582.gif].

Applying part (i) of Theorem 4.17 to the function [Graphics:../Images/ComplexPowerSeriesModHome_gr_583.gif] gives  

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

Now set  [Graphics:../Images/ComplexPowerSeriesModHome_gr_585.gif]  or  [Graphics:../Images/ComplexPowerSeriesModHome_gr_586.gif]  then this series can be written as

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

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

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

which is what we needed to establish.

We are done.   

Alternate solution.  Let  [Graphics:../Images/ComplexPowerSeriesModHome_gr_590.gif] denote the binomial coefficient,  i. e.  [Graphics:../Images/ComplexPowerSeriesModHome_gr_591.gif].  

Then the function  [Graphics:../Images/ComplexPowerSeriesModHome_gr_592.gif][Graphics:../Images/ComplexPowerSeriesModHome_gr_593.gif]  can be written as

                    [Graphics:../Images/ComplexPowerSeriesModHome_gr_594.gif][Graphics:../Images/ComplexPowerSeriesModHome_gr_595.gif],
          
then the k-th derivative is

                    [Graphics:../Images/ComplexPowerSeriesModHome_gr_596.gif][Graphics:../Images/ComplexPowerSeriesModHome_gr_597.gif].
          
This representation can be found in advanced books.  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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