Example 6.  Use Maclaurin series and verify the identity  [Graphics:Images/FrobeniusSeriesMod_gr_434.gif].
Solution 6.

Using the results of Examples 4 and 5 we have the series representations for  [Graphics:../Images/FrobeniusSeriesMod_gr_435.gif] and   [Graphics:../Images/FrobeniusSeriesMod_gr_436.gif].  

Enter the Maclaurin series expansion for   [Graphics:../Images/FrobeniusSeriesMod_gr_437.gif].  

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


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

Differentiate the Maclaurin series expansion for   [Graphics:../Images/FrobeniusSeriesMod_gr_440.gif] term by term.  

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


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

Enter the Maclaurin series expansion for  [Graphics:../Images/FrobeniusSeriesMod_gr_443.gif].  

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


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

Compare the series for  [Graphics:../Images/FrobeniusSeriesMod_gr_446.gif].

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


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

It always helps to look at a few of the terms of the series to see what is happening.  

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


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


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


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

It is now easy to see that    [Graphics:../Images/FrobeniusSeriesMod_gr_453.gif].

We are done.


Aside.  We could have Mathematica compute some terms in the Maclaurin series expansions of    [Graphics:../Images/FrobeniusSeriesMod_gr_454.gif] and   [Graphics:../Images/FrobeniusSeriesMod_gr_455.gif].  

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


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


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


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

Again, it is now easy to see that    [Graphics:../Images/FrobeniusSeriesMod_gr_460.gif].

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(c) John H. Mathews 2004