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)
|