Theorem 4.17.  Suppose the function  [Graphics:Images/ComplexPowerSeriesMod_gr_178.gif]  has radius of convergence  [Graphics:Images/ComplexPowerSeriesMod_gr_179.gif].  Then

(i)    [Graphics:Images/ComplexPowerSeriesMod_gr_180.gif]  is infinitely differentiable for all [Graphics:Images/ComplexPowerSeriesMod_gr_181.gif].  In fact

(ii)   for all  k,   [Graphics:Images/ComplexPowerSeriesMod_gr_182.gif];   and

(iii)  [Graphics:Images/ComplexPowerSeriesMod_gr_183.gif]  where  [Graphics:Images/ComplexPowerSeriesMod_gr_184.gif]  denotes the [Graphics:Images/ComplexPowerSeriesMod_gr_185.gif] derivative of f.  (When [Graphics:Images/ComplexPowerSeriesMod_gr_186.gif],  [Graphics:Images/ComplexPowerSeriesMod_gr_187.gif] denotes the function [Graphics:Images/ComplexPowerSeriesMod_gr_188.gif] itself so that [Graphics:Images/ComplexPowerSeriesMod_gr_189.gif] for all z.)

Proof.

Proof of Theorem 4.17 is in the book.

Complex Analysis for Mathematics and Engineering