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

Explore Extra Solution 1.

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

        [Graphics:../Images/ComplexGeometricSeriesMod_gr_312.gif]    and    [Graphics:../Images/ComplexGeometricSeriesMod_gr_313.gif].  

It follows that   [Graphics:../Images/ComplexGeometricSeriesMod_gr_314.gif].   
If  [Graphics:../Images/ComplexGeometricSeriesMod_gr_315.gif],  then  [Graphics:../Images/ComplexGeometricSeriesMod_gr_316.gif],  and the series converges.   
If  [Graphics:../Images/ComplexGeometricSeriesMod_gr_317.gif],  the series diverges.  

We are done.

Aside.  The given series is the sum of two geometric series:   [Graphics:../Images/ComplexGeometricSeriesMod_gr_318.gif]   and   [Graphics:../Images/ComplexGeometricSeriesMod_gr_319.gif],  and are known to have radii of convergence [Graphics:../Images/ComplexGeometricSeriesMod_gr_320.gif] and [Graphics:../Images/ComplexGeometricSeriesMod_gr_321.gif], respectively.  Hence their sum has radii of convergence [Graphics:../Images/ComplexGeometricSeriesMod_gr_322.gif].

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

The even and odd series are:

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



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

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

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

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

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


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

 

 

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




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

 

 

 

We are done.

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

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



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

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

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

 

 

 

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



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

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

[Graphics:../Images/ComplexGeometricSeriesMod_gr_340.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/ComplexGeometricSeriesMod_gr_341.gif]


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

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

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

 

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


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

Now try another value.

 

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

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

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

 

 

Indeed, the above series diverges because [Graphics:../Images/ComplexGeometricSeriesMod_gr_349.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/ComplexGeometricSeriesMod_gr_350.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/ComplexGeometricSeriesMod_gr_351.gif] into the formula  [Graphics:../Images/ComplexGeometricSeriesMod_gr_352.gif].  This bug has been corrected in Mathematica 5.1.

 

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


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




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


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

 

 

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




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

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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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