Extra Example 1.  Find the radius of convergence of the infinite series  [Graphics:Images/ComplexPowerSeriesMod_gr_129.gif].

Explore Extra Solution 1.

The sequence of coefficients is  [Graphics:../Images/ComplexPowerSeriesMod_gr_130.gif].   
The coefficients with even subscripts are [Graphics:../Images/ComplexPowerSeriesMod_gr_131.gif], and the coefficients with odd subscripts are  [Graphics:../Images/ComplexPowerSeriesMod_gr_132.gif].  
So that we have

        [Graphics:../Images/ComplexPowerSeriesMod_gr_133.gif]    and    [Graphics:../Images/ComplexPowerSeriesMod_gr_134.gif].  

It follows that   [Graphics:../Images/ComplexPowerSeriesMod_gr_135.gif].   
hence  [Graphics:../Images/ComplexPowerSeriesMod_gr_136.gif].  

We are done.

Aside.  The given series is the sum of two geometric series:   [Graphics:../Images/ComplexPowerSeriesMod_gr_137.gif]   and   [Graphics:../Images/ComplexPowerSeriesMod_gr_138.gif],  and are known to have radii of convergence [Graphics:../Images/ComplexPowerSeriesMod_gr_139.gif] and [Graphics:../Images/ComplexPowerSeriesMod_gr_140.gif], respectively.  Hence their sum has radii of convergence [Graphics:../Images/ComplexPowerSeriesMod_gr_141.gif].

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

The even and odd series are:

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



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

Therefore, S(z) is the sum of two geometric series:

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

which might be printed by Mathematica as  [Graphics:../Images/ComplexPowerSeriesMod_gr_146.gif]

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




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

 

 

 

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




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

 

 

 

We are done.

Aside.  We can investigate what happens as [Graphics:../Images/ComplexPowerSeriesMod_gr_151.gif].

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

 

 

 

 

 

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

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

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

 

 

 





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

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

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

 

 

Caveat.  In some cases involving complex numbers, earlier versions of Mathematica will report a sum when the series actually diverges.  In Mathematica 4.1 the following series converges.

 

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

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

 

 

The above series actually diverges because [Graphics:../Images/ComplexPowerSeriesMod_gr_162.gif]  for all n.

Most likely this occurs because Mathematica 4.2 is summing the series and then making a substitution.

 

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

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

 

 

Now try another value.

 

 

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

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

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

 

 

Indeed, the above series diverges because [Graphics:../Images/ComplexPowerSeriesMod_gr_168.gif]  for all n.

This bug has been correct in Mathematica 5.1 and the above series does not converge.

However, you have been given a warning!

Caveat.  The mathematical analysis proves that the series [Graphics:../Images/ComplexPowerSeriesMod_gr_169.gif] diverges.  But for some reason Mathematica 4.1 will compute a sum.  For sure it is a mistake which is equivalent to substituting [Graphics:../Images/ComplexPowerSeriesMod_gr_170.gif] into the formula  [Graphics:../Images/ComplexPowerSeriesMod_gr_171.gif].  This bug has been corrected in Mathematica 5.1.

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

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

 

 

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

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

 

 

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




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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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