# The Unapologetic Mathematician

## Evaluating Power Series

Now that we’ve got some topological fields to use as examples, let’s focus in on power series over $\mathbb{R}$ or $\mathbb{C}$.

Remember that a power series is like an infinite polynomial. In fact, we introduced a topology so we could see in any power series a sequence of polynomials that converged to it. To be explicit, we write the series as a limit

$\displaystyle S=\sum\limits_{k=0}^\infty c_kX^k=\lim\limits_{n\rightarrow\infty}\sum\limits_{k=0}^nc_kX^k$

where the $c_k$ are coefficients selected from our base field.

Now evaluation of power series is specified by two conditions: it should agree with evaluation of polynomials when we’ve got a power series that cuts off after a finite number of terms, and it should be continuous.

The first condition says that each of our approximating polynomials should evaluate just the same as it did before. That is, if we cut off after the degree-$n$ term and evaluate at the point $x$ in the base field, we should get $\sum\limits_{k=0}^nc_kx^k$.

The second condition says that evaluation should preserve limits. And we’ve got a sequence right here: the $n$th term is the evaluation of the $n$th approximating polynomial! So the power series should evaluate to the limit $\lim\limits_{n\rightarrow\infty}\sum\limits_{k=0}^nc_kx^k$. If this limit exists, that is. And that’s why we need a topological field to make sense of evaluations.

Now we’re back in the realm of infinite series, and taking the limit of a sequence of partial sums. The series in question has as its $n$th term the evaluated monomial $c_nx^n$. We can start using our old techniques to sum these series.

August 27, 2008 - Posted by | Analysis, Calculus, Power Series

1. [...] few rules about convergent series of complex numbers we can talk about when the series we get from evaluating power series converge or [...]

Pingback by Convergence of Power Series « The Unapologetic Mathematician | August 29, 2008 | Reply

2. [...] When we evaluate a power series at a point we get a number if the series converges at that point. We even know that for each power [...]

Pingback by Pointwise Convergence « The Unapologetic Mathematician | September 2, 2008 | Reply

3. [...] we’ve said before, when we evaluate a power series we get a regular series at each point, which may or may not converge. If we restrict to those [...]

Pingback by Uniform Convergence of Power Series « The Unapologetic Mathematician | September 10, 2008 | Reply

4. [...] series like , where “power” refers to powers of . This led to us to show that when we evaluate a power series, the result converges in a disk centered at . But what’s so special about [...]

Pingback by Power Series Expansions « The Unapologetic Mathematician | September 15, 2008 | Reply