# Calculus/Power series

The study of **power series** is aimed at investigating series which can approximate some function over a certain interval.

## Contents

## Motivations[edit]

Elementary calculus (differentiation) is used to obtain information on a line which touches a curve at one point (i.e. a tangent). This is done by calculating the gradient, or slope of the curve, at a single point. However, this does not provide us with reliable information on the curve's actual *value* at given points in a wider interval. This is where the concept of power series becomes useful.

### An example[edit]

Consider the curve of *y* = cos(*x*), about the point *x* = 0. A naïve approximation would be the line *y* = 1. However, for a more accurate approximation, observe that cos(*x*) looks like an inverted parabola around *x* = 0 - therefore, we might think about which parabola could approximate the shape of cos(*x*) near this point. This curve might well come to mind:

In fact, this is the best estimate for cos(*x*) which uses polynomials of degree 2 (i.e. a highest term of *x*^{2}) - but how do we know this is true? This is the study of power series: finding optimal approximations to functions using polynomials.

## Definition[edit]

A *power series* is a series of the form

*a*_{0}*x*^{0}+*a*_{1}*x*^{1}+ ... +*a*_{n}*x*^{n}

or, equivalently,

## Radius of convergence[edit]

When using a power series as an alternative method of calculating a function's value, the equation

can only be used to study *f*(*x*) where the power series converges - this may happen for a finite range, or for all real numbers.

The size of the interval (around its center) in which the power series converges to the function is known as the *radius of convergence*.

### An example[edit]

- (a geometric series)

this converges when | *x* | < 1, the range -1 < *x* < +1, so the radius of convergence - centered at 0 - is **1**. It should also be observed that at the *extremities* of the radius, that is where *x* = 1 and *x* = -1, the power series does not converge.

### Another example[edit]

Using the ratio test, this series converges when the ratio of successive terms is less than one:

- or

which is always true - therefore, this power series has an infinite radius of convergence. In effect, this means that the power series can *always* be used as a valid alternative to the original function, e^{x}.

### Abstraction[edit]

If we use the ratio test on an arbitrary power series, we find it converges when

and diverges when

The radius of convergence is therefore

If this limit diverges to infinity, the series has an infinite radius of convergence.

## Differentiation and Integration[edit]

Within its radius of convergence, a power series can be differentiated and integrated term by term.

Both the differential and the integral have the same radius of convergence as the original series.

This allows us to sum exactly suitable power series. For example,

This is a geometric series, which converges for | *x* | < 1. Integrating both sides, we get

which will also converge for | *x* | < 1. When *x* = -1 this is the harmonic series, which *diverges'; when* x *= 1 this is an alternating series with diminishing terms, which* converges *to ln 2 - this is testing the extremities.*

It also lets us write power series for integrals we cannot do exactly such as the error function:

The left hand side can not be integrated exactly, but the right hand side can be.

This gives us a power series for the sum, which has an infinite radius of convergence, letting us approximate the integral as closely as we like.

## Further reading[edit]

- "Decoding the Rosetta Stone" article by Jack W. Crenshaw 2005-10-12