Finding the Interval and Radius of Convergence
When working with power series, one of the most important questions is: for which values of (x) does the series actually converge? The answer is expressed in terms of a radius of convergence (R) and an interval of convergence ((a-R,,a+R)) (possibly including the endpoints). Determining these quantities lets you know where the series represents a function, where you can differentiate or integrate term‑by‑term, and how the series behaves near its boundaries. Below is a step‑by‑step guide, the underlying theory, worked examples, and a quick FAQ to help you master the process.
Real talk — this step gets skipped all the time Small thing, real impact..
Introduction
A power series centered at (a) has the form
[ \sum_{n=0}^{\infty} c_n (x-a)^n . ]
The radius of convergence (R) is a non‑negative number (possibly (\infty)) such that the series converges absolutely for (|x-a|<R) and diverges for (|x-a|>R). The interval of convergence is the set of all (x) for which the series converges; it is always an interval (possibly a single point or the whole real line) centered at (a). To find the interval and radius of convergence you typically apply the Ratio Test or the Root Test, then test the endpoints separately.
Steps to Find the Radius and Interval of Convergence
1. Identify the General Term
Write the series in the standard form (\displaystyle \sum_{n=0}^{\infty} c_n (x-a)^n).
If the series is not already centered at (a), rewrite it so that the power of ((x-a)) appears explicitly.
2. Apply the Ratio Test (or Root Test)
Compute
[ L = \lim_{n\to\infty} \left|\frac{c_{n+1}(x-a)^{n+1}}{c_n (x-a)^n}\right| = \lim_{n\to\infty} \left|\frac{c_{n+1}}{c_n}\right| , |x-a|. ]
- If (L<1) the series converges absolutely.
- If (L>1) it diverges.
- If (L=1) the test is inconclusive (you must examine the endpoints later).
Solve the inequality (L<1) for (|x-a|). This yields
[ |x-a| < \frac{1}{\displaystyle\lim_{n\to\infty}\left|\frac{c_{n+1}}{c_n}\right|} ;=; R . ]
Thus the radius of convergence is
[ R = \frac{1}{\displaystyle\lim_{n\to\infty}\left|\frac{c_{n+1}}{c_n}\right|}, ]
provided the limit exists. In practice, if the limit is 0, then (R=\infty) (the series converges for all (x)). If the limit is (\infty), then (R=0) (convergence only at (x=a)) Surprisingly effective..
If the Ratio Test is awkward, use the Root Test:
[ L = \lim_{n\to\infty} \sqrt[n]{|c_n (x-a)^n|} = \lim_{n\to\infty} \sqrt[n]{|c_n|},|x-a|, ]
and proceed similarly.
3. Determine the Interval of Convergence
From the inequality (|x-a|<R) you obtain the open interval
[ (a-R,; a+R). ]
4. Test the Endpoints
Plug (x = a-R) and (x = a+R) into the original series. Each endpoint yields a numerical series (often a p‑series, alternating series, or geometric series). Use appropriate convergence tests:
- p‑series test for (\sum \frac{1}{n^p}).
- Alternating Series Test (Leibniz) for series with ((-1)^n) factor.
- Comparison Test or Limit Comparison Test with a known benchmark.
- Absolute convergence checks if the series of absolute values converges.
Include an endpoint in the interval only if the series converges at that point.
5. State the Final Answer
Write the radius (R) and the interval (using brackets ([,]) for included endpoints and parentheses (( ,)) for excluded ones). Example:
[ \text{Radius: } R = 3,\qquad \text{Interval: } [-1,,5). ]
Scientific Explanation
The Ratio Test works because, for large (n), the behavior of a power series is dominated by the ratio of successive coefficients. If
[ \lim_{n\to\infty}\left|\frac{c_{n+1}}{c_n}\right| = L_c, ]
then the series behaves like a geometric series with ratio (L_c|x-a|). A geometric series converges exactly when its ratio’s absolute value is less than 1, leading directly to the condition (|x-a|<1/L_c).
When the limit does not exist (e.Here's the thing — g. , the coefficients oscillate), the Root Test is more dependable because it considers the (n)‑th root, which smooths out oscillations.
[ \frac{1}{R} = \limsup_{n\to\infty} \sqrt[n]{|c_n|}. ]
If the limsup is zero, (R=\infty); if it is infinite, (R=0). This formula is the theoretical foundation behind the practical steps above.
Testing the endpoints is necessary because the Ratio/Root Test only gives information about the open interval. At the boundary (|x-a|=R) the test yields (L=1), which is inconclusive; the series may converge conditionally, converge absolutely, or diverge, depending on the specific coefficients Took long enough..
Worked Examples
Example 1: Simple Power Series
Find the radius and interval of convergence for
[ \sum_{n=0}^{\infty} \frac{(x-2)^n}{n+1}. ]
Step 1: General term (c_n = \frac{1}{n+1}), center (a=2).
Step 2: Ratio
[ \left|\frac{c_{n+1}}{c_n}\right| = \frac{1/(n+2)}{1/(n+1)} = \frac{n+1}{n+2} \xrightarrow[n\to\infty]{} 1. ]
Thus
[ L = 1\cdot|x-2|. ]
The series converges when (|x-2|<1) → (R=1).
Step 3: Open interval ((2-1,,2+1) = (1,3)).
Step 4: Test endpoints Most people skip this — try not to..
- At (x=1): series becomes (\sum_{n=0}^{\infty} \frac{(-1)^n}{n+1}), an alternating harmonic series →
converges conditionally by the Alternating Series Test.
- At (x=3): series becomes (\sum_{n=0}^{\infty} \frac{1}{n+1}), the harmonic series → diverges.
Step 5: Final answer:
[
\text{Radius: } R = 1,\qquad
\text{Interval: } [1,,3).
]
Example 2: Factorial Growth (Infinite Radius)
Find the radius and interval of convergence for
[ \sum_{n=0}^{\infty} \frac{(x+4)^n}{n!}. ]
Step 1: (c_n = \frac{1}{n!}), center (a = -4) Worth keeping that in mind..
Step 2: Ratio
[ \left|\frac{c_{n+1}}{c_n}\right| = \frac{1/(n+1)!}{1/n!} = \frac{1}{n+1} \xrightarrow[n\to\infty]{} 0. ]
Thus (L = 0 \cdot |x+4| = 0 < 1) for all (x) Simple, but easy to overlook..
Step 3: (R = \infty); open interval ((-\infty, \infty)).
Step 4: No finite endpoints to test The details matter here..
Step 5: Final answer:
[
\text{Radius: } R = \infty,\qquad
\text{Interval: } (-\infty,,\infty).
]
Example 3: Root Test and Conditional Convergence at Both Endpoints
Find the radius and interval of convergence for
[ \sum_{n=1}^{\infty} \frac{(-1)^n (x-1)^n}{n \cdot 2^n}. ]
Step 1: (c_n = \frac{(-1)^n}{n 2^n}), center (a = 1) Surprisingly effective..
Step 2: Root Test (cleaner due to the (n)-th power in denominator):
[ \sqrt[n]{|c_n|} = \sqrt[n]{\frac{1}{n 2^n}} = \frac{1}{\sqrt[n]{n} \cdot 2} \xrightarrow[n\to\infty]{} \frac{1}{2}. ]
Thus (\frac{1}{R} = \frac{1}{2} \implies R = 2).
Step 3: Open interval ((1-2,,1+2) = (-1,,3)).
Step 4: Test endpoints.
- At (x = -1): ((x-1)^n = (-2)^n). Series becomes (\sum_{n=1}^{\infty} \frac{(-1)^n (-2)^n}{n 2^n} = \sum_{n=1}^{\infty} \frac{2^n}{n 2^n} = \sum_{n=1}^{\infty} \frac{1}{n}) → diverges (harmonic).
- At (x = 3): ((x-1)^n = 2^n). Series becomes (\sum_{n=1}^{\infty} \frac{(-1)^n 2^n}{n 2^n} = \sum_{n=1}^{\infty} \frac{(-1)^n}{n}) → converges conditionally (alternating harmonic).
Step 5: Final answer:
[
\text{Radius: } R = 2,\qquad
\text{Interval: } (-1,,3].
]
Conclusion
Determining the radius and interval of convergence is a systematic process that blends limit evaluation with careful endpoint analysis. The Ratio and Root Tests efficiently locate the open interval (|x-a|<R) by isolating the geometric growth rate of the coefficients, while the Cauchy–Hadamard formula provides the theoretical guarantee that this radius exists for every power series. That said, the behavior on the boundary circle (|x-a|=R) is inherently delicate—no single test can predict it universally. Day to day, as demonstrated in the examples, endpoints may yield absolute convergence, conditional convergence, or divergence, and each must be checked individually using the standard toolkit of (p)-series, comparison, and alternating series tests. Mastering this workflow allows one to precisely characterize the domain of any power series, a foundational skill for representing functions as Taylor series, solving differential equations, and analyzing complex analytic functions Easy to understand, harder to ignore. Simple as that..