ConceptComplete

Power Series and Radius of Convergence

Power series extend the concept of polynomials to infinite sums, providing a way to represent functions as limits of polynomial approximations with remarkable precision.


Definition of Power Series

Definition

A power series centered at aa is an infinite series of the form βˆ‘n=0∞cn(xβˆ’a)n=c0+c1(xβˆ’a)+c2(xβˆ’a)2+β‹―\sum_{n=0}^{\infty} c_n (x - a)^n = c_0 + c_1(x-a) + c_2(x-a)^2 + \cdots where c0,c1,c2,…c_0, c_1, c_2, \ldots are real (or complex) constants called the coefficients and aa is the center. The series defines a function of xx on whatever set it converges.

Definition

The radius of convergence RR of a power series βˆ‘cn(xβˆ’a)n\sum c_n (x - a)^n is the value R=1lim sup⁑nβ†’βˆžβˆ£cn∣1/nR = \frac{1}{\limsup_{n \to \infty} |c_n|^{1/n}} with the convention R=0R = 0 if the limsup is ∞\infty and R=∞R = \infty if the limsup is 00. The series converges absolutely for ∣xβˆ’a∣<R|x - a| < R and diverges for ∣xβˆ’a∣>R|x - a| > R. The interval of convergence is the set of all xx where the series converges.


Determining the Radius

Theorem7.1Ratio Test for Radius

If the limit exists, the radius of convergence can be computed as R=lim⁑nβ†’βˆžβˆ£cncn+1∣R = \lim_{n \to \infty} \left|\frac{c_n}{c_{n+1}}\right|

ExampleCommon power series
  1. βˆ‘n=0∞xn=11βˆ’x\sum_{n=0}^\infty x^n = \frac{1}{1-x}, radius R=1R = 1
  2. βˆ‘n=0∞xnn!=ex\sum_{n=0}^\infty \frac{x^n}{n!} = e^x, radius R=∞R = \infty
  3. βˆ‘n=1∞xnn=βˆ’ln⁑(1βˆ’x)\sum_{n=1}^\infty \frac{x^n}{n} = -\ln(1 - x), radius R=1R = 1
  4. βˆ‘n=0∞n! xn\sum_{n=0}^\infty n! \, x^n, radius R=0R = 0 (converges only at x=0x = 0)

Behavior at Endpoints

RemarkEndpoint convergence requires individual analysis

The radius of convergence determines convergence in the open interval (aβˆ’R,a+R)(a - R, a + R) but says nothing about the endpoints x=aΒ±Rx = a \pm R. At each endpoint, convergence must be checked separately. For example, βˆ‘xn/n\sum x^n/n converges at x=βˆ’1x = -1 (alternating series) but diverges at x=1x = 1 (harmonic series), while βˆ‘xn/n2\sum x^n/n^2 converges at both endpoints.

Power series form the foundation for Taylor and Maclaurin series, enabling the systematic representation of smooth functions as infinite polynomials.