MathLabs
TheoremProved

Radius of convergence via the ratio test

Statement

For the power series ∑n=0∞an(x−c)n\displaystyle\sum_{n=0}^{\infty} a_n (x-c)^n, suppose L=lim⁡n→∞∣an+1an∣L = \displaystyle\lim_{n\to\infty} \left| \frac{a_{n+1}}{a_n} \right| exists (as a finite number or +∞+\infty). Then the radius of convergence is R=1LR = \dfrac{1}{L}, with the convention that R=∞R = \infty if L=0L=0 and R=0R = 0 if L=∞L=\infty.

Why is it true?

The ratio test compares consecutive terms of the series to a geometric series: if the ratio of consecutive terms is eventually less than 1 in absolute value, the series behaves like a convergent geometric series and adds up to a finite number.

Proof sketch

Fix x≠cx \neq c and apply the ratio test to the terms bn=an(x−c)nb_n = a_n(x-c)^n of the numerical series ∑bn\sum b_n. We compute

lim⁡n→∞∣bn+1bn∣=lim⁡n→∞∣an+1(x−c)n+1an(x−c)n∣=lim⁡n→∞∣an+1an∣⋅∣x−c∣=L ∣x−c∣\displaystyle \lim_{n\to\infty} \left| \frac{b_{n+1}}{b_n} \right| = \lim_{n\to\infty} \left| \frac{a_{n+1}(x-c)^{n+1}}{a_n(x-c)^n} \right| = \lim_{n\to\infty} \left| \frac{a_{n+1}}{a_n} \right| \cdot |x-c| = L\,|x-c|.

By the ratio test for numerical series, ∑bn\sum b_n converges absolutely when L∣x−c∣<1L|x-c| < 1, i.e. when ∣x−c∣<1/L|x-c| < 1/L, and diverges when L∣x−c∣>1L|x-c| > 1, i.e. when ∣x−c∣>1/L|x-c| > 1/L. So the series converges absolutely for every xx with ∣x−c∣<1/L|x-c| < 1/L and diverges for every xx with ∣x−c∣>1/L|x-c| > 1/L.

This is exactly the definition of the radius of convergence: the largest RR such that the series converges for all ∣x−c∣<R|x-c| < R. Hence R=1/LR = 1/L. The boundary cases L=0L=0 (ratio always shrinks to 0, so the series converges for every xx, giving R=∞R=\infty) and L=∞L=\infty (ratio blows up for any x≠cx \neq c, so the series converges only at x=cx=c, giving R=0R=0) follow the same argument taking the appropriate limits.

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.