Solution 3 (b).

Answer.   No.  

Solution.   No.  The function  [Graphics:../Images/TaylorLaurentApplicationModHome_gr_155.gif]  is not analytic at  [Graphics:../Images/TaylorLaurentApplicationModHome_gr_156.gif]  because it has an essential singularity at  [Graphics:../Images/TaylorLaurentApplicationModHome_gr_157.gif].

So this does not contradict Corollary 7.9 because it requires that  [Graphics:../Images/TaylorLaurentApplicationModHome_gr_158.gif]  should be an analytic function in a neighborhood of   [Graphics:../Images/TaylorLaurentApplicationModHome_gr_159.gif].

Aside.   It is easy to show that  [Graphics:../Images/TaylorLaurentApplicationModHome_gr_160.gif]  has an essential singularity at the origin.  

Use the fact that  [Graphics:../Images/TaylorLaurentApplicationModHome_gr_161.gif],  and express this function as a Laurent series.  

Use the substitution  [Graphics:../Images/TaylorLaurentApplicationModHome_gr_162.gif]  and get  

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

Then apply Definition 7.5 to conclude that   [Graphics:../Images/TaylorLaurentApplicationModHome_gr_164.gif]   has an essential singularity at the origin.

We are  done.   

Aside.  We can let Mathematica double check our work.

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

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


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

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


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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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