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 no constant term (i.e., ) 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]
]
A derivation of the explicit formula for the th term is given by Morse and Feshbach (1953),
|
(11)
|
where
|
(12)
|