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|<R⟹L<1⟹converges|x|>R⟹L>1⟹diverges

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

a0+a1u+a2u2+a3u3+⋯≫≫a0+a1(x−c)+a2(x−c)2+a3(x−c)3+⋯

Now apply the ratio test to determine convergence:

limn→∞⁡|an+1|x−c|n+1an|x−c|n|≫≫(limn→∞⁡|an+1an|)|x−c|

Define the radius of convergence R∈[0,∞]:

R=1limn→∞⁡|an+1an|

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

|x−c|<R⟹converges|x−c|>R⟹diverges

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 (c−R,c+R).
  • Plug each endpoint, c−R and c−R, into the original series
    • Check for convergence
  • Add in the convergent endpoints. (4 possible scenarios.)