Mathematica Tutorial

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[series₁,series₂,...]	compose power series
InverseSeries[series,x]	invert a power series

Composition and inversion of power series.

Here is the power series for exp (x) to order x⁵.

In[1]:=

Out[1]=

This replaces the variable x in the power series for exp (x) by a power series for sin (x).

In[2]:=

Out[2]=

The result is the power series for exp (sin (x)).

In[3]:=

Out[3]=

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

Here is the series for sin (y).

In[4]:=

Out[4]=

Inverting the series gives the series for sin^-1 (x).

In[5]:=

Out[5]=

This agrees with the direct series for sin^-1 (x).

In[6]:=

Out[6]=

Composing the series with its inverse gives the identity function.

In[7]:=

Out[7]=