Why Consecutive Coefficients Reveal the Radius
A power series has terms whose sizes depend on both its coefficients and the distance from its center. The coefficients may be complicated, but comparing one coefficient with the next can make their long-term growth much easier to recognize.
When the absolute ratio of consecutive coefficients approaches a limit, the ratio test turns that limit into a threshold for the distance from the center. This tutorial develops that connection and applies it to reciprocal factorials, reciprocal powers, and products of factorial factors.
The Coefficient-Ratio Formula
Consider a power series centered at \(c\):
Assume that its coefficients are nonzero for all sufficiently large \(n\), so the consecutive coefficient ratios are defined eventually. Suppose the limit
exists, allowing \(L=0\) or \(L=+\infty\). When \(0<L<\infty\), the radius of convergence is the reciprocal of this limit. The conventions for the limiting cases are included below.
The ratio in this theorem is a ratio of coefficients. For a fixed \(x\ne c\), the ratio of the absolute values of consecutive terms is
The condition \(x\ne c\) matters: it allows cancellation of the powers of \(x-c\), and it ensures those powers are nonzero. At \(x=c\), handle the series directly instead. Every term with \(n\ge 1\) then vanishes, so the series converges at its center.
Why the Formula Works
For a fixed \(x\ne c\), call the absolute value of the \(n\)th term \(u_n=|a_n(x-c)^n|\). Since the coefficients are eventually nonzero, these terms are eventually positive, and
The ratio test says that a series of positive terms converges if the limit of its successive-term ratios is less than \(1\), and diverges if that limit is greater than \(1\). When the limit equals \(1\), the test gives no conclusion.
For \(0<L<\infty\), the term-ratio limit is \(L|x-c|\). It is less than \(1\) exactly when \(|x-c|<1/L\).
If \(|x-c|<1/L\), then \(L|x-c|<1\), so the power series converges absolutely.
If \(|x-c|>1/L\), then \(L|x-c|>1\), so the terms do not tend to zero and the series diverges.
Thus the threshold distance is \(1/L\), which gives the radius. At equality, \(|x-c|=1/L\), the term-ratio limit is \(1\), so this argument does not settle convergence there.
If \(L=0\), then for every fixed \(x\ne c\), the term-ratio limit is \(0\), so the series converges absolutely; it also converges at \(c\). Hence \(R=\infty\). If \(L=\infty\), then for each \(x\ne c\), the term ratios eventually exceed a number greater than \(1\). The terms cannot tend to zero, so the series diverges at every such point. It converges at \(c\), giving \(R=0\).
Worked Examples
Worked Example: Reciprocal Factorial Coefficients
Find the radius of convergence of
Here \(c=2\) and \(a_n=1/n!\). The factorial ratio is
Therefore,
To check using the ratio test, fix \(x\ne2\). The ratio of the absolute values of consecutive terms is \(|x-2|/(n+1)\), which tends to \(0\). The series therefore converges absolutely for every \(x\ne2\). At \(x=2\), all terms with \(n\ge1\) are zero and the \(n=0\) term is \(1\), so the series converges there as well. The result is convergence for every real \(x\), as required by \(R=\infty\).
Worked Example: Reciprocal-Power Coefficients
Find the radius of convergence of
The center is \(c=-1\), and \(a_n=1/(n+1)^2\). Consecutive coefficients satisfy
Since \((n+1)/(n+2)\) tends to \(1\),
For a direct check, take any \(x\ne-1\). The ratio of consecutive absolute term values is
If \(|x+1|<1\), the limit is less than \(1\), so the series converges absolutely. If \(|x+1|>1\), the limit is greater than \(1\), so it diverges. At \(x=-1\), only the constant term remains, so the series converges there. These checks confirm radius \(1\); at \(|x+1|=1\), this ratio calculation alone does not decide convergence.
Worked Example: A Product of Factorial Factors
Find the radius of convergence of
Here \(c=0\) and \(a_n=(n!)^2/(2n)!\). Compute the next coefficient and divide:
Using \(2n+2=2(n+1)\), simplify before taking the limit:
Thus \(L=1/4\), and the radius is
For \(x\ne0\), the consecutive absolute term ratio tends to \(|x|/4\). It is less than \(1\) when \(|x|<4\), so the series converges absolutely there, and greater than \(1\) when \(|x|>4\), so the series diverges there. At \(x=0\), only the \(n=0\) term remains and equals \(1\). This verifies the radius \(4\); the ratio limit is \(1\) at \(x=4\) and \(x=-4\), so it does not determine convergence at either point.
Common Errors and Their Corrections
A frequent mistake is to reverse the coefficient-ratio limit. For example, if \(L=1/4\), the radius is not \(1/4\). The term-ratio limit at a point \(x\ne c\) is \((1/4)|x-c|\), and the ratio test requires this to be less than \(1\):
The threshold distance, and therefore the radius, is \(4=1/L\).
Another error is to substitute the center into the quotient of consecutive terms. In the reciprocal-factorial example, someone might write that the term ratio is \(|x-2|/(n+1)\) “for every \(x\),” then substitute \(x=2\) into the original quotient. At \(x=2\), both consecutive terms with positive indices are zero, so that quotient is \(0/0\), which is undefined. The correction is to state the term-ratio formula only for \(x\ne2\), and then check \(x=2\) directly: all positive-power terms vanish, leaving the finite constant term.
A Reliable Calculation Process
For a power series with coefficients that are products or quotients, organize the calculation before taking limits:
- Identify the center \(c\) and write down the coefficient \(a_n\) separately from \((x-c)^n\).
- Form \(|a_{n+1}/a_n|\), keeping the index \(n\) visible in every factorial and power.
- Simplify the expression exactly before taking its limit.
- Set \(R=1/L\) for a positive finite limit, and use the stated conventions when the limit is zero or infinite.
- Interpret the result using the ratio test only for \(x\ne c\); check \(x=c\) directly.
This method is useful because factorials and powers often look large while their consecutive ratios simplify to a short expression. It also separates two different questions: the coefficient calculation determines the radius, while convergence at points exactly on the boundary requires a separate analysis.
Check Your Understanding
Use the coefficient-ratio method, and remember to distinguish the center from points where the term ratio is defined.
- For \(\sum_{n=0}^{\infty}(x-3)^n/(n+2)!\), calculate the limiting absolute coefficient ratio and the radius.
- For \(\sum_{n=0}^{\infty}(x+2)^n/(n+1)^4\), find the radius and state what the ratio test says at points strictly inside and outside it.
- For \(\sum_{n=0}^{\infty}((n!)^2/(2n)!) (x-1)^n\), simplify the coefficient ratio and determine the radius.
- Why is the consecutive-term quotient not defined at the center, even though the series converges there?
- If the coefficient-ratio limit is \(1\), what radius follows, and what does that calculation say about boundary convergence?