Inverses of Power Series
Now that we know how to compose power series, we can invert them. But against expectations I’m talking about multiplicative inverses instead of compositional ones.
More specifically, say we have a power series expansion
within the radius , and such that . Then there is some radius within which the reciprocal has a power series expansion
In particular, we have .
In the proof we may assume that — we can just divide the series through by — and so . We can set
within the radius . Since we know that , continuity tells us that there’s so that implies .
Now we set
And then we can find a power series expansion of .
It’s interesting to note that you might expect a reciprocal formula to follow from the multiplication formula. Set the product of and an undetermined to the power series , and get an infinite sequence of algebraic conditions determining in terms of the . Showing that these can all be solved is possible, but it’s easier to come around the side like this.
No comments yet.