Series reversion is the computation of the coefficients of the inverse function given those of the forward
function. For a function
expressed in a series with and
as
|
(1)
|
the series expansion of the inverse series is given by
|
(2)
|
By plugging (2) into (1), the following equation is obtained
|
(3)
|
Equating coefficients then gives
|
(4)
| |||
|
(5)
| |||
|
(6)
| |||
|
(7)
| |||
|
(8)
| |||
|
(9)
| |||
|
(10)
|
(Dwight 1961, Abramowitz and Stegun 1972, p. 16).
Series reversion is implemented in the Wolfram Language as InverseSeries[s,
x], where
is given as a SeriesData
object. For example, to obtain the terms shown above,
With[{n = 7},
CoefficientList[
InverseSeries[SeriesData[x, 0, Array[a, n],
1, n + 1, 1]],
x]
]
For a positive integer , an explicit formula for the
th term is given by Morse and Feshbach
(1953),
|
(11)
|
where ,
,
, ... are nonnegative integers
satisfying
|
(12)
|