## Translating Power Series

So we know that we can have two power series expansions of the same function about different points. How are they related? An important step in this direction is given by the following theorem.

Suppose that the power series converges for , and that it represents the function in some open subset of this disk. Then for every point there is some open disk around of radius contained in , in which has a power series expansion

where

The proof is almost straightforward. We expand

Now we need to interchange the order of summation. Strictly speaking, we haven’t established a condition that will allow us to make this move. However, I hope you’ll find it plausible that if this double series converges absolutely, we can adjust the order of summations freely. Indeed, we’ve seen examples of other rearrangements that all go through as soon as the convergence is absolute.

Now we consider the absolute values

Where we set . But then , where the last inequality holds because the disk around of radius fits within , which fits within the disk of radius around . And so this series of absolute values must converge, and we’ll take it on faith for the moment (to be shored up when we attack double series more thoroughly) that we can now interchange the order of summations.

This result allows us to recenter our power series expansions, but it only assures that the resulting series will converge in a disk which is contained within the original disk of convergence, so we haven’t necessarily gotten anything new. Yet.

[…] a point within of , we can expand as a power series about […]

Pingback by Derivatives of Power Series « The Unapologetic Mathematician | September 17, 2008 |

[…] of functions around various points, and within various radii of convergence. We even have formulas to relate expansions about nearby points. But when we move from one point to a nearby point, the […]

Pingback by Uniqueness of Power Series Expansions « The Unapologetic Mathematician | September 18, 2008 |

[…] when we translated power series, I’m going to sort of wave my hands here, motivating it by the fact that absolute convergence […]

Pingback by Products of Power Series « The Unapologetic Mathematician | September 22, 2008 |

Would you explain how you obtained the equation for b_k?

Comment by Bernd | September 23, 2008 |

Bernd, look at the last formula for and compare to the first one.

Comment by John Armstrong | September 23, 2008 |