## Theorem: Integration of Power Series

27 February 2012, 05:58

This is Rob’s attempt at a snowman, when we went wandering in the Ruahines

Today’s Theorem comes thanks to Simon, because he is stupid. It is given without proof, because I don’t know how to prove it, and my book doesn’t have a proof. I probably don’t even know what it says.

**Theorem**:

Suppose that a function $f$ is represented by a power series in $x – x_0$ that has a nonzero radius of convergence $R$; that is,

\[

f(x) = \sum_{k=0}^{\infty} c_k(x – x_0)^k \qquad (x_0 < x < x_0 + R).

\]

- If the power series representation of $f$ is integrated term by term using an indefinite integral, then the resulting series has radius of converge $R$ and converges to $\int f(x) dx$ on the interval $(x_0 – R, x_0 + R)$; that is,

\[

\int f(x)dx = \sum_{k=0}^{\infty} \left[ \int c_k(x – x_0)^k dx \right] + C \qquad (x_0 – R < x < x_0 + R)

\]

- If $\alpha$ and $\beta$ are points in the interval $(x_0 – R, x_0 + R)$, and if the power series representation of $f$ is integrated term by term from $\alpha$ to $\beta$, then the resulting series of numbers converges absolutely on the interval $(x_0 – R, x_0 + R)$ and

\[

\int_{\alpha}^{\beta} f(x) dx = \sum_{k=0}^{\infty} \left[\int_{\alpha}^{\beta} c_k(x – x_0)^k dx \right]

\]

Posted by Michael Welsh at 05:58.

## Comment

Commenting is closed for this article.