Theory 1

A power series looks like this:

f(x)=a0+a1x+a2x2+a3x3+

Power series are used to build and study functions. They allow a uniform “modeling framework” in which many functions can be described and compared. Power series are also convenient for computers because they provide a way to store and evaluate differentiable functions with numerical (approximate) values.

Small x needed for power series

The most important fact about power series is that they work for small values of x.

Many power series diverge for |x| too big; but even when they converge, for big |x| they converge more slowly, and partial sum approximations are less accurate.

The idea of a power series is a modification of the idea of a geometric series in which the common ratio r becomes a variable x, and each term has an additional coefficient parameter an controlling the relative contribution of different orders.

Theory 2

Every power series has a radius of convergence and an interval of convergence.

Radius of convergence

Consider a power series centered at x=0:

f(x)=a0+a1x+a2x2+a3x3+

Apply the ratio test:

limn|an+1xn+1anxn|(limn|an+1an|)|x|=L

Define the radius of convergence R[0,]:

R=1limn|an+1an|

Therefore:

|x|<RL<1converges|x|>RL>1diverges

We can build shifted power series for x near some other value c. Just replace the variable x with a shifted variable u=xc:

a0+a1u+a2u2+a3u3+a0+a1(xc)+a2(xc)2+a3(xc)3+

Now apply the ratio test to determine convergence:

limn|an+1|xc|n+1an|xc|n|(limn|an+1an|)|xc|

Define the radius of convergence R[0,]:

R=1limn|an+1an|

In the shifted setting, the radius of convergence limits the *distance from *:

|xc|<Rconverges|xc|>Rdiverges

Method: To calculate the interval of convergence of a power series, follow these steps:

  • Observe the center c of the shifted series (or c=0 for no shift).
  • Compute R using the limit of coefficient ratios.
  • Write down the preliminary interval (cR,c+R).
  • Plug each endpoint, cR and cR, into the original series
    • Check for convergence
  • Add in the convergent endpoints. (4 possible scenarios.)