Example 4.16.  Show that  [Graphics:Images/ComplexGeometricSeriesMod_gr_192.gif] converges for all  z  in the disk  [Graphics:Images/ComplexGeometricSeriesMod_gr_193.gif].  

Explore Solution 4.16.

Enter the formula for the terms in the series.

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


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

 

 

Use d'Alembert's ratio test. First, find the ratio of consecutive terms.

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




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

 

 

 

When  L < 1, the series will converge.  Solve [Graphics:../Images/ComplexGeometricSeriesMod_gr_203.gif]  and obtain the disk  [Graphics:../Images/ComplexGeometricSeriesMod_gr_204.gif].  

Use Mathematica to find the sum of the infinite series.

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


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

 

 

We can investigate the convergence by plotting several partial sums of this series.

Since convergence will be more rapid in a smaller disk  [Graphics:../Images/ComplexGeometricSeriesMod_gr_207.gif],  the following plot will be a smaller disk with  [Graphics:../Images/ComplexGeometricSeriesMod_gr_208.gif].  

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





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

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

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

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

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

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

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

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


Convergence will be slower in a larger disk  [Graphics:../Images/ComplexGeometricSeriesMod_gr_218.gif],  the following plot will be from a larger disk with  [Graphics:../Images/ComplexGeometricSeriesMod_gr_219.gif].  

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





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

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

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

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

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

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

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

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

 

 

 

We see that the sequence of functions {S[x,n]} is converging to f[z].

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



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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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