Composition and Inversion of Power Series

When you manipulate power series, it is sometimes convenient to think of the series as representing functions, which you can, for example, compose or invert.

ComposeSeries[series1,series2,]compose power series
InverseSeries[series,x]invert a power series

Composition and inversion of power series.

Here is the power series for to order .
In[1]:=
Click for copyable input
Out[1]=
This replaces the variable in the power series for by a power series for .
In[2]:=
Click for copyable input
Out[2]=
The result is the power series for .
In[3]:=
Click for copyable input
Out[3]=

If you have a power series for a function , then it is often possible to get a power series approximation to the solution for in the equation . This power series effectively gives the inverse function such that . The operation of finding the power series for an inverse function is sometimes known as reversion of power series.

Here is the series for .
In[4]:=
Click for copyable input
Out[4]=
Inverting the series gives the series for .
In[5]:=
Click for copyable input
Out[5]=
This agrees with the direct series for .
In[6]:=
Click for copyable input
Out[6]=
Composing the series with its inverse gives the identity function.
In[7]:=
Click for copyable input
Out[7]=