Another way to phrase case (ii) of Theorem 4.15 is to say that the power series [Graphics:Images/ComplexPowerSeriesMod_gr_25.gif] converges if [Graphics:Images/ComplexPowerSeriesMod_gr_26.gif] and diverges if  [Graphics:Images/ComplexPowerSeriesMod_gr_27.gif].  We call the number [Graphics:Images/ComplexPowerSeriesMod_gr_28.gif] the radius of convergence of the power series (see Figure 4.3).  For case (i) of Theorem 4.15, we say that the radius of convergence is zero and that the radius of convergence is infinity for case (iii).

[Graphics:Images/ComplexPowerSeriesMod_gr_29.gif]

            Figure 4.3  The radius of convergence of a power series.  
                What happens on the boundary circle may be unknown.

Theorem 4.16 (Radius of Convergence).  For the power series function [Graphics:Images/ComplexPowerSeriesMod_gr_30.gif],  we can find  [Graphics:Images/ComplexPowerSeriesMod_gr_31.gif] , its radius of convergence, by any of the following methods:

    (i)    Cauchy's Root Test:   [Graphics:Images/ComplexPowerSeriesMod_gr_32.gif]     (provided that the limit exists.)  

    (ii)   Cauchy-Hadamard Formula:   [Graphics:Images/ComplexPowerSeriesMod_gr_33.gif]     (the limit superior always exists.)  

    (iii)  d'Alembert's Ratio Test:   [Graphics:Images/ComplexPowerSeriesMod_gr_34.gif]     (provided that the limit exists.)

We set  [Graphics:Images/ComplexPowerSeriesMod_gr_35.gif]  if the limit equals  0,  and  [Graphics:Images/ComplexPowerSeriesMod_gr_36.gif]  if the  limit equals  [Graphics:Images/ComplexPowerSeriesMod_gr_37.gif].  

Proof.

Proof of Theorem 4.16 is in the book.

Complex Analysis for Mathematics and Engineering