Solution 13.

Answer.   [Graphics:../Images/LaurentSeriesModHome_gr_560.gif]   is valid for   [Graphics:../Images/LaurentSeriesModHome_gr_561.gif].   

Solution.  Start with the series expansion for   [Graphics:../Images/LaurentSeriesModHome_gr_562.gif]  which is  

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

Use the familiar long division scheme for fractions:


          [Graphics:../Images/LaurentSeriesModHome_gr_564.gif]
          [Graphics:../Images/LaurentSeriesModHome_gr_565.gif]


Therefore,   [Graphics:../Images/LaurentSeriesModHome_gr_566.gif]   is valid for   [Graphics:../Images/LaurentSeriesModHome_gr_567.gif].   

We are done.   

Aside.  We can let Mathematica double check our work.

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

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

We are really done.   

Alternate solution.  In Section 7.4 we will formally state that  [Graphics:../Images/LaurentSeriesModHome_gr_570.gif]  has a simple zero at the origin.

Then we will define a simple pole, which means that the negative powers in the Laurent series only involve the one term [Graphics:../Images/LaurentSeriesModHome_gr_571.gif].

As a consequence, we will be permitted to express  [Graphics:../Images/LaurentSeriesModHome_gr_572.gif]  as

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

The Cauchy product formula can easily be extended for this situation by multiplying  [Graphics:../Images/LaurentSeriesModHome_gr_574.gif]  in two places:

                    [Graphics:../Images/LaurentSeriesModHome_gr_575.gif],  

with   [Graphics:../Images/LaurentSeriesModHome_gr_576.gif]   and   [Graphics:../Images/LaurentSeriesModHome_gr_577.gif],   where   [Graphics:../Images/LaurentSeriesModHome_gr_578.gif].  

The coefficients  [Graphics:../Images/LaurentSeriesModHome_gr_579.gif]  

are all known and so are  [Graphics:../Images/LaurentSeriesModHome_gr_580.gif].

Then it is easy to recursively solve for the unknown coefficients  [Graphics:../Images/LaurentSeriesModHome_gr_581.gif].  

        Start with the series expansion for   [Graphics:../Images/LaurentSeriesModHome_gr_582.gif]  which is  

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

Use the coefficients  [Graphics:../Images/LaurentSeriesModHome_gr_584.gif],  which are

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

Write out the equations corresponding to  [Graphics:../Images/LaurentSeriesModHome_gr_586.gif],  which are

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

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

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

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

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

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

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

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

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

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

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

These equations can be summarized as follows:

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

This system of equations can be solved recursively as follows:  

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

Then

                    [Graphics:../Images/LaurentSeriesModHome_gr_600.gif]
                    
                    
Therefore,   [Graphics:../Images/LaurentSeriesModHome_gr_601.gif]   is valid for   [Graphics:../Images/LaurentSeriesModHome_gr_602.gif].   

We are really really done.   

Aside.  We can let Mathematica double check our work.

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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 



This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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