Solution 9 (a).

Answer.   Series I.    [Graphics:../Images/LaurentSeriesModHome_gr_313.gif]   for    [Graphics:../Images/LaurentSeriesModHome_gr_314.gif],   

Answer.   Series II.   [Graphics:../Images/LaurentSeriesModHome_gr_315.gif]   for    [Graphics:../Images/LaurentSeriesModHome_gr_316.gif].

Solution.   First series.

Start by writing the function in the form

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

Series I.   Differentiate the geometric series   [Graphics:../Images/LaurentSeriesModHome_gr_318.gif]   which is valid for   [Graphics:../Images/LaurentSeriesModHome_gr_319.gif]  to establish the identity  

                    [Graphics:../Images/LaurentSeriesModHome_gr_320.gif]    which is valid for   [Graphics:../Images/LaurentSeriesModHome_gr_321.gif].     (See Exercise 8 for the proof.)   

Make the substitution  [Graphics:../Images/LaurentSeriesModHome_gr_322.gif]  and get:

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

Therefore,    [Graphics:../Images/LaurentSeriesModHome_gr_324.gif]    is valid for  [Graphics:../Images/LaurentSeriesModHome_gr_325.gif].     

We are done.   

Aside.  We can let Mathematica double check our work.

The first series.

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

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


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

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


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

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

We are really done.   

Aside.  As an optional experiment, we can plot some of the partial sums of the series   [Graphics:../Images/LaurentSeriesModHome_gr_332.gif].  

The mapping  [Graphics:../Images/LaurentSeriesModHome_gr_333.gif]  is not one-to-one in the punctured disk  [Graphics:../Images/LaurentSeriesModHome_gr_334.gif],

and so we will choose the small portion  [Graphics:../Images/LaurentSeriesModHome_gr_335.gif].  

                    [Graphics:../Images/LaurentSeriesModHome_gr_336.gif]          [Graphics:../Images/LaurentSeriesModHome_gr_337.gif]

  

                    [Graphics:../Images/LaurentSeriesModHome_gr_338.gif]          [Graphics:../Images/LaurentSeriesModHome_gr_339.gif]

                    The images of  [Graphics:../Images/LaurentSeriesModHome_gr_340.gif]  under  [Graphics:../Images/LaurentSeriesModHome_gr_341.gif]  for  [Graphics:../Images/LaurentSeriesModHome_gr_342.gif].

                    [Graphics:../Images/LaurentSeriesModHome_gr_343.gif]          [Graphics:../Images/LaurentSeriesModHome_gr_344.gif]

                    The image of   [Graphics:../Images/LaurentSeriesModHome_gr_345.gif]   under the mapping   [Graphics:../Images/LaurentSeriesModHome_gr_346.gif].  

 

 

Recall Exercise 8.   The formula  [Graphics:../Images/LaurentSeriesModHome_gr_347.gif]    is valid for   [Graphics:../Images/LaurentSeriesModHome_gr_348.gif].     (From Exercise 8.)   

Use the geometric series   [Graphics:../Images/LaurentSeriesModHome_gr_349.gif]   which is valid for   [Graphics:../Images/LaurentSeriesModHome_gr_350.gif]   and differentiate termwise to get:

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

Hence,    [Graphics:../Images/LaurentSeriesModHome_gr_352.gif]    is valid for   [Graphics:../Images/LaurentSeriesModHome_gr_353.gif].  

 

  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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