Example 4.17.  The limit supremum of the sequence  [Graphics:Images/ComplexGeometricSeriesMod_gr_236.gif]  is   [Graphics:Images/ComplexGeometricSeriesMod_gr_237.gif],   because if we set  [Graphics:Images/ComplexGeometricSeriesMod_gr_238.gif],  then for any  [Graphics:Images/ComplexGeometricSeriesMod_gr_239.gif],  there are only finitely many terms in the sequence larger than  [Graphics:Images/ComplexGeometricSeriesMod_gr_240.gif].  Additionally, if L is smaller than 5, then by setting  [Graphics:Images/ComplexGeometricSeriesMod_gr_241.gif],  we can find infinitely many terms in the sequence larger than  [Graphics:Images/ComplexGeometricSeriesMod_gr_242.gif]  (because  [Graphics:Images/ComplexGeometricSeriesMod_gr_243.gif]).

Explore Solution 4.17.

In this case the even terms  [Graphics:../Images/ComplexGeometricSeriesMod_gr_244.gif]  tend to the limit 4 and the odd terms  [Graphics:../Images/ComplexGeometricSeriesMod_gr_245.gif]  tend to the limit 5.

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





[Graphics:../Images/ComplexGeometricSeriesMod_gr_247.gif]
[Graphics:../Images/ComplexGeometricSeriesMod_gr_248.gif]
[Graphics:../Images/ComplexGeometricSeriesMod_gr_249.gif]
[Graphics:../Images/ComplexGeometricSeriesMod_gr_250.gif]
[Graphics:../Images/ComplexGeometricSeriesMod_gr_251.gif]
[Graphics:../Images/ComplexGeometricSeriesMod_gr_252.gif]
[Graphics:../Images/ComplexGeometricSeriesMod_gr_253.gif]
[Graphics:../Images/ComplexGeometricSeriesMod_gr_254.gif]
[Graphics:../Images/ComplexGeometricSeriesMod_gr_255.gif]
[Graphics:../Images/ComplexGeometricSeriesMod_gr_256.gif]


The limit superior is the largest limit point of a subsequence of  [Graphics:../Images/ComplexGeometricSeriesMod_gr_257.gif].  

We can use Mathematica to graph the sequence and look for the largest limit point of a subsequence.

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




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

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

We see that the limit supremum of the sequence [Graphics:../Images/ComplexGeometricSeriesMod_gr_261.gif]  is  [Graphics:../Images/ComplexGeometricSeriesMod_gr_262.gif].  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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