9.6: Ratio and Root Tests
( \newcommand{\kernel}{\mathrm{null}\,}\)
- Use the ratio test to determine absolute convergence of a series.
- Use the root test to determine absolute convergence of a series.
- Describe a strategy for testing the convergence of a given series.
In this section, we prove the last two series convergence tests: the ratio test and the root test. These tests are particularly nice because they do not require us to find a comparable series. The ratio test will be especially useful in the discussion of power series in the next chapter. Throughout this chapter, we have seen that no single convergence test works for all series. Therefore, at the end of this section we discuss a strategy for choosing which convergence test to use for a given series.
Ratio Test
Consider a series โโn=1an. From our earlier discussion and examples, we know that lim is not a sufficient condition for the series to converge. Not only do we need a_nโ0, but we need a_nโ0 quickly enough. For example, consider the series \displaystyle \sum_{n=1}^โ\frac{1}{n} and the series \displaystyle \sum_{n=1}^โ\frac{1}{n^2}. We know that \frac{1}{n}โ0 and \frac{1}{n^2}โ0. However, only the series \displaystyle \sum_{n=1}^โ \frac{1}{n^2} converges. The series \displaystyle \sum_{n=1}^โ\frac{1}{n} diverges because the terms in the sequence \left\{\frac{1}{n}\right\} do not approach zero fast enough as nโโ. Here we introduce the ratio test, which provides a way of measuring how fast the terms of a series approach zero.
Let \displaystyle \sum^โ_{n=1}a_n be a series with nonzero terms. Let
ฯ=\lim_{nโโ} \left|\frac{a_{n+1}}{a_n}\right|. \nonumber
- If 0โคฯ<1, then \displaystyle \sum^โ_{n=1}a_n converges absolutely.
- If ฯ>1 or ฯ=โ, then \displaystyle \sum^โ_{n=1}a_n diverges.
- If ฯ=1, the test does not provide any information.
Let \displaystyle \sum_{n=1}^โa_n be a series with nonzero terms.
We begin with the proof of part i. In this case, \displaystyle ฯ=\lim_{nโโ}\left|\frac{a_{n+1}}{a_n}\right|<1. Since 0โคฯ<1, there exists R such that 0โคฯ<R<1. Let ฮต=Rโฯ>0. By the definition of limit of a sequence, there exists some integer N such that
\left|\left|\frac{a_{n+1}}{a_n}\right|โฯ\right|<ฮต,\;\text{for all}\; nโฅN. \nonumber
Therefore,
\left|\frac{a_{n+1}}{a_n}\right|<ฯ+ฮต=R, \;\text{for all}\; nโฅN \nonumber
and, thus,
|a_{N+1}|<R|a_N|
|a_{N+2}|<R|a_{N+1}|<R^2|a_N|
|a_{N+3}|<R|a_{N+2}|<R^2|a_{N+1}|<R^3|a_N|
|a_{N+4}|<R|a_{N+3}|<R^2|a_{N+2}|<R^3|a_{N+1}|<R^4|a_N|
โฎ.
Since R<1, the geometric series
R|a_N|+R^2|a_N|+R^3|a_N|+โฏ \nonumber
converges. Given the inequalities above, we can apply the comparison test and conclude that the series
|a_{N+1}|+|a_{N+2}|+|a_{N+3}|+|a_{N+4}|+โฏ \nonumber
converges. Therefore, since
\sum_{n=1}^โ|a_n|=\sum_{n=1}^N|a_n|+\sum_{n=N+1}^โ|a_n| \nonumber
where \displaystyle \sum_{n=1}^N|a_n| is a finite sum and \displaystyle \sum_{n=N+1}^โ|a_n| converges, we conclude that \displaystyle \sum_{n=1}^โ|a_n| converges.
For part ii.
ฯ=\lim_{nโโ}\left|\frac{a_{n+1}}{a_n}\right|>1. \nonumber
Since ฯ>1, there exists R such that ฯ>R>1. Let ฮต=ฯโR>0. By the definition of the limit of a sequence, there exists an integer N such that
\left|\left|\frac{a_{n+1}}{a_n}\right|โฯ\right|<ฮต, \;\text{for all}\; nโฅN. \nonumber
Therefore,
R=ฯโฮต<\left|\frac{a_{n+1}}{a_n}\right|, \;\text{for all}\; nโฅN, \nonumber
and, thus,
|a_{N+1}|>R|a_N|
|a_{N+2}|>R|a_{N+1}|>R^2|a_N|
|a_{N+3}|>R|a_{N+2}|>R^2|a_{N+1}|>R^3|a_N|
|a_{N+4}|>R|a_{N+3}|>R^2|a_{N+2}|>R^3|a_{N+1}|>R^4|a_N|.
Since R>1, the geometric series
R|a_N|+R^2|a_N|+R^3|a_N|+โฏ \nonumber
diverges. Applying the comparison test, we conclude that the series
|a_{N+1}|+|a_{N+2}|+|a_{N+3}|+โฏ \nonumber
diverges, and therefore the series \displaystyle \sum_{n=1}^โ|a_n| diverges.
For part iii. we show that the test does not provide any information if ฯ=1 by considering the pโseries \displaystyle \sum^โ_{n=1}\frac{1}{n^p}. For any real number p,
ฯ=\lim_{nโโ}\frac{1/(n+1)^p}{1/n^p}=\lim_{nโโ}\frac{n^p}{(n+1)^p}=1. \nonumber
However, we know that if pโค1, the pโseries \displaystyle \sum^โ_{n=1}\frac{1}{n^p} diverges, whereas \displaystyle \sum^โ_{n=1}\frac{1}{n^p} converges if p>1.
โก
The ratio test is particularly useful for series whose terms contain factorials or exponential, where the ratio of terms simplifies the expression. The ratio test is convenient because it does not require us to find a comparative series. The drawback is that the test sometimes does not provide any information regarding convergence.
For each of the following series, use the ratio test to determine whether the series converges or diverges.
- \displaystyle \sum^โ_{n=1}\frac{2^n}{n!}
- \displaystyle \sum^โ_{n=1}\frac{n^n}{n!}
- \displaystyle \sum_{n=1}^โ\frac{(โ1)^n(n!)^2}{(2n)!}
Solution
a. From the ratio test, we can see that
ฯ=\lim_{nโโ}\frac{2^{n+1}/(n+1)!}{2^n/n!}=\lim_{nโโ}\frac{2^{n+1}}{(n+1)!}โ \frac{n!}{2^n}. \nonumber
Since (n+1)!=(n+1)โ n!,
ฯ=\lim_{nโโ}\frac{2}{n+1}=0. \nonumber
Since ฯ<1, the series converges.
b. We can see that
ฯ=\lim_{nโโ}\frac{(n+1)^{n+1}/(n+1)!}{n^n/n!}=\lim_{nโโ}\frac{(n+1)^{n+1}}{(n+1)!}โ \frac{n!}{n^n}=\lim_{nโโ}\left(\frac{n+1}{n}\right)^n=\lim_{nโโ}\left(1+\frac{1}{n}\right)^n=e. \nonumber
Since ฯ>1, the series diverges.
c. Since
\left|\frac{(โ1)^{n+1}((n+1)!)^2/(2(n+1))!}{(โ1)^n(n!)^2/(2n)!}\right|=\frac{(n+1)!(n+1)!}{(2n+2)!}โ \frac{(2n)!}{n!n!}=\frac{(n+1)(n+1)}{(2n+2)(2n+1)} \nonumber
we see that
ฯ=\lim_{nโโ}\frac{(n+1)(n+1)}{(2n+2)(2n+1)}=\frac{1}{4}. \nonumber
Since ฯ<1, the series converges.
Use the ratio test to determine whether the series \displaystyle \sum^โ_{n=1}\frac{n^3}{3^n} converges or diverges.
- Hint
-
Evaluate \displaystyle \lim_{nโโ}\frac{(n+1)^3}{3^{n+1}}โ \frac{3^n}{n^3}.
- Answer
-
The series converges.
Root Test
The approach of the root test is similar to that of the ratio test. Consider a series \displaystyle \sum^โ_{n=1}a_n such that \displaystyle \lim_{nโโ}\sqrt[n]{|a_n|}=ฯ for some real number ฯ. Then for N sufficiently large, |a_N|โฯ^N. Therefore, we can approximate \displaystyle \sum_{n=N}^โ|a_n| by writing
|a_N|+|a_{N+1}|+|a_{N+2}|+โฏโฯ^N+ฯ^{N+1}+ฯ^{N+2}+โฏ. \nonumber
The expression on the right-hand side is a geometric series. As in the ratio test, the series \displaystyle \sum^โ_{n=1}a_n converges absolutely if 0โคฯ<1 and the series diverges if ฯโฅ1. If ฯ=1, the test does not provide any information. For example, for any p-series, \displaystyle \sum_{n=1}^โ\frac{1}{n^p}, we see that
ฯ=\lim_{nโโ}\sqrt[n]{\left|\frac{1}{n^p}\right|}=\lim_{nโโ}\frac{1}{n^{p/n}} \nonumber .
To evaluate this limit, we use the natural logarithm function. Doing so, we see that
\displaystyle \ln ฯ=\ln\left(\lim_{nโโ}\frac{1}{n^{p/n}}\right)=\lim_{nโโ}\ln\left(\frac{1}{n}\right)^{p/n}=\lim_{nโโ}\frac{p}{n}โ \ln\left(\frac{1}{n}\right)=\lim_{nโโ}\frac{p\ln\left(1/n\right)}{n}.
Using LโHรดpitalโs rule, it follows that \ln ฯ=0, and therefore ฯ=1 for all p. However, we know that the p-series only converges if p>1 and diverges if p<1.
Consider the series \displaystyle \sum^โ_{n=1}a_n. Let
ฯ=\lim_{nโโ}\sqrt[n]{|a_n|} \nonumber .
- If 0โคฯ<1, then \displaystyle \sum^โ_{n=1}a_n converges absolutely.
- If ฯ>1 or ฯ=โ, then \displaystyle \sum^โ_{n=1}a_n diverges.
- If ฯ=1, the test does not provide any information.
The root test is useful for series whose terms involve exponentials. In particular, for a series whose terms a_n satisfy |a_n|=(b_n)^n, then \sqrt[n]{|a_n|}=b_n and we need only evaluate \displaystyle \lim_{nโโ}b_n.
For each of the following series, use the root test to determine whether the series converges or diverges.
- \displaystyle \sum^โ_{n=1}\frac{(n^2+3n)^n}{(4n^2+5)^n}
- \displaystyle \sum^โ_{n=1}\frac{n^n}{(\ln(n))^n}
Solution
a. To apply the root test, we compute
ฯ=\lim_{nโโ}\sqrt[n]{\frac{(n^2+3n)^n}{(4n^2+5)^n}}=\lim_{nโโ}\frac{n^2+3n}{4n^2+5}=\frac{1}{4}. \nonumber
Since ฯ<1, the series converges absolutely.
b. We have
ฯ=\lim_{nโโ}\sqrt[n]{\frac{n^n}{(\ln(n))^n}}=\lim_{nโโ}\frac{n}{\ln n}=โ\quad \text{by LโHรดpitalโs rule.} \nonumber
Since ฯ=โ, the series diverges.
Use the root test to determine whether the series \displaystyle \sum^โ_{n=1}\frac{1}{n^n} converges or diverges.
- Hint
-
Evaluate \displaystyle \lim_{nโโ}\sqrt[n]{\frac{1}{n^n}}.
- Answer
-
The series converges.
Choosing a Convergence Test
At this point, we have a long list of convergence tests. However, not all tests can be used for all series. When given a series, we must determine which test is the best to use. Here is a strategy for finding the best test to apply.
Consider a series \displaystyle \sum_{n=1}^โa_n. In the steps below, we outline a strategy for determining whether the series converges.
- Is \displaystyle \sum_{n=1}^โa_n a familiar series? For example, is it the harmonic series (which diverges) or the alternating harmonic series (which converges)? Is it a pโseries or geometric series? If so, check the power p or the ratio r to determine if the series converges.
- Is it an alternating series? Are we interested in absolute convergence or just convergence? If we are just interested in whether the series converges, apply the alternating series test. If we are interested in absolute convergence, proceed to step 3, considering the series of absolute values \displaystyle \sum_{n=1}^โ|a_n|.
- Is the series similar to a pโseries or geometric series? If so, try the comparison test or limit comparison test.
- Do the terms in the series contain a factorial or power? If the terms are powers such that a_n=(b_n)^n, try the root test first. Otherwise, try the ratio test first.
- Use the divergence test. If this test does not provide any information, try the integral test.
For each of the following series, determine which convergence test is the best to use and explain why. Then determine if the series converges or diverges. If the series is an alternating series, determine whether it converges absolutely, converges conditionally, or diverges.
- \displaystyle \sum^โ_{n=1}\frac{n^2+2n}{n^3+3n^2+1}
- \displaystyle \sum^โ_{n=1}\frac{(โ1)^{n+1}(3n+1)}{n!}
- \displaystyle \sum^โ_{n=1}\frac{e^n}{n^3}
- \displaystyle \sum^โ_{n=1}\frac{3^n}{(n+1)^n}
Solution
a. Step 1. The series is not a pโseries or geometric series.
Step 2. The series is not alternating.
Step 3. For large values of n, we approximate the series by the expression
\dfrac{n^2+2n}{n^3+3n^2+1}โ\dfrac{n^2}{n^3}=\dfrac{1}{n}.
Therefore, it seems reasonable to apply the comparison test or limit comparison test using the series \displaystyle \sum_{n=1}^โ1/n. Using the limit comparison test, we see that
\displaystyle \lim_{nโโ}\frac{(n^2+2n)/(n^3+3n^2+1)}{1/n}=\lim_{nโโ}\frac{n^3+2n^2}{n^3+3n^2+1}=1.
Since the series \displaystyle \sum_{n=1}^โ1/n
diverges, this series diverges as well.
b. Step 1.The series is not a familiar series.
Step 2. The series is alternating. Since we are interested in absolute convergence, consider the series
\displaystyle \sum_{n=1}^โ\frac{3n}{(n+1)!}.
Step 3. The series is not similar to a p-series or geometric series.
Step 4. Since each term contains a factorial, apply the ratio test. We see that
\displaystyle \lim_{nโโ}\frac{(3(n+1))/(n+1)!}{(3n+1)/n!}=\lim_{nโโ}\frac{3n+3}{(n+1)!}โ \frac{n!}{3n+1}=\lim_{nโโ}\frac{3n+3}{(n+1)(3n+1)}=0.
Therefore, this series converges, and we conclude that the original series converges absolutely, and thus converges.
c. Step 1. The series is not a familiar series.
Step 2. It is not an alternating series.
Step 3. There is no obvious series with which to compare this series.
Step 4. There is no factorial. There is a power, but it is not an ideal situation for the root test.
Step 5. To apply the divergence test, we calculate that
\displaystyle \lim_{nโโ}\frac{e^n}{n^3}=โ.
Therefore, by the divergence test, the series diverges.
d. Step 1. This series is not a familiar series.
Step 2. It is not an alternating series.
Step 3. There is no obvious series with which to compare this series.
Step 4. Since each term is a power of n,we can apply the root test. Since
\displaystyle \lim_{nโโ}\sqrt[n]{\left(\frac{3}{n+1}\right)^n}=\lim_{nโโ}\frac{3}{n+1}=0,
by the root test, we conclude that the series converges.
For the series \displaystyle \sum^โ_{n=1}\frac{2^n}{3^n+n}, determine which convergence test is the best to use and explain why.
- Hint
-
The series is similar to the geometric series \displaystyle \sum^โ_{n=1}\left(\frac{2}{3}\right)^n.
- Answer
-
The comparison test because \dfrac{2^n}{3^n+n}<\dfrac{2^n}{3^n} for all positive integers n. The limit comparison test could also be used.
In Table, we summarize the convergence tests and when each can be applied. Note that while the comparison test, limit comparison test, and integral test require the series \displaystyle \sum_{n=1}^โa_n to have nonnegative terms, if \displaystyle \sum_{n=1}^โa_n has negative terms, these tests can be applied to \displaystyle \sum_{n=1}^โ|a_n| to test for absolute convergence.
Series or Test | Conclusions | Comments |
---|---|---|
Divergence Test For any series \displaystyle \sum^โ_{n=1}a_n, evaluate \displaystyle \lim_{nโโ}a_n. |
If \displaystyle \lim_{nโโ}a_n=0, the test is inconclusive. | This test cannot prove convergence of a series. |
If \displaystyle \lim_{nโโ}a_nโ 0, the series diverges. | ||
Geometric Series \displaystyle \sum^โ_{n=1}ar^{nโ1} |
If |r|<1, the series converges to a/(1โr). | Any geometric series can be reindexed to be written in the form a+ar+ar^2+โฏ, where a is the initial term and r is the ratio. |
If |r|โฅ1, the series diverges. | ||
p-Series \displaystyle \sum^โ_{n=1}\frac{1}{n^p} |
If p>1, the series converges. | For p=1, we have the harmonic series \displaystyle \sum^โ_{n=1}1/n. |
If pโค1, the series diverges. | ||
Comparison Test For \displaystyle \sum^โ_{n=1}a_n with nonnegative terms, compare with a known series \displaystyle \sum^โ_{n=1}b_n. |
If a_nโคb_n for all nโฅN and \displaystyle \sum^โ_{n=1}b_n converges, then \displaystyle \sum^โ_{n=1}a_n converges. | Typically used for a series similar to a geometric or p-series. It can sometimes be difficult to find an appropriate series. |
If a_nโฅb_n for all nโฅN and \displaystyle \sum^โ_{n=1}b_n diverges, then \displaystyle \sum^โ_{n=1}a_n diverges. | ||
Limit Comparison Test For \displaystyle \sum^โ_{n=1}a_n with positive terms, compare with a series \displaystyle \sum^โ_{n=1}b_n by evaluating L=\displaystyle \lim_{nโโ}\frac{a_n}{b_n}. |
If L is a real number and Lโ 0, then \displaystyle \sum^โ_{n=1}a_n and \displaystyle \sum^โ_{n=1}b_n both converge or both diverge. | Typically used for a series similar to a geometric or p-series. Often easier to apply than the comparison test. |
If L=0 and \displaystyle \sum^โ_{n=1}b_n converges, then \displaystyle \sum^โ_{n=1}a_n converges. | ||
If L=โ and \displaystyle \sum^โ_{n=1}b_n diverges, then \displaystyle \sum^โ_{n=1}a_n diverges. | ||
Integral Test If there exists a positive, continuous, decreasing function f such that a_n=f(n) for all nโฅN, evaluate \displaystyle โซ^โ_Nf(x)dx. |
\displaystyle \int^โ_Nf(x)dx and \displaystyle \sum^โ_{n=1}a_n both converge or both diverge. | Limited to those series for which the corresponding function f can be easily integrated. |
Alternating Series \displaystyle \sum^โ_{n=1}(โ1)^{n+1}b_n or \displaystyle \sum^โ_{n=1}(โ1)^nb_n |
If b_{n+1}โคb_n for all nโฅ1 and b_nโ0, then the series converges. | Only applies to alternating series. |
Ratio Test For any series \displaystyle \sum^โ_{n=1}a_n with nonzero terms, let \displaystyle ฯ=\lim_{nโโ}\left|\frac{a_{n+1}}{a_n}\right| |
If 0โคฯ<1, the series converges absolutely. | Often used for series involving factorials or exponentials. |
If ฯ>1 or ฯ=โ, the series diverges. | ||
If ฯ=1, the test is inconclusive. | ||
Root Test For any series \displaystyle \sum^โ_{n=1}a_n, let \displaystyle ฯ=\lim_{nโโ}\sqrt[n]{|a_n|}. |
If 0โคฯ<1, the series converges absolutely. | Often used for series where |a_n|=(b_n)^n. |
If ฯ>1 or ฯ=โ, the series diverges. | ||
If ฯ=1, the test is inconclusive. |
Dozens of series exist that converge to ฯ or an algebraic expression containing ฯ. Here we look at several examples and compare their rates of convergence. By rate of convergence, we mean the number of terms necessary for a partial sum to be within a certain amount of the actual value. The series representations of ฯ in the first two examples can be explained using Maclaurin series, which are discussed in the next chapter. The third example relies on material beyond the scope of this text.
1. The series
ฯ=4\sum_{n=1}^โ\frac{(โ1)^{n+1}}{2nโ1}=4โ\frac{4}{3}+\frac{4}{5}โ\frac{4}{7}+\frac{4}{9}โโฏ \nonumber
was discovered by Gregory and Leibniz in the late 1600s. This result follows from the Maclaurin series for f(x)=\tan^{โ1}x. We will discuss this series in the next chapter.
a. Prove that this series converges.
b. Evaluate the partial sums S_n for n=10,20,50,100.
c. Use the remainder estimate for alternating series to get a bound on the error R_n.
d. What is the smallest value of N that guarantees |R_N|<0.01? Evaluate S_N.
2. The series
ฯ=6\sum^โ_{n=0}\frac{(2n)!}{2^{4n+1}(n!)^2(2n+1)}=6\left(\frac{1}{2}+\frac{1}{2โ 3}\left(\frac{1}{2}\right)^3+\frac{1โ 3}{2โ 4โ 5}โ \left(\frac{1}{2}\right)^5+\frac{1โ 3โ 5}{2โ 4โ 6โ 7}\left(\frac{1}{2}\right)^7+โฏ\right) \nonumber
has been attributed to Newton in the late 1600s. The proof of this result uses the Maclaurin series for f(x)=\sin^{โ1}x.
a. Prove that the series converges.
b. Evaluate the partial sums S_n for n=5,10,20.
c. Compare S_n to ฯ for n=5,10,20 and discuss the number of correct decimal places.
3. The series
\frac{1}{ฯ}=\frac{\sqrt{8}}{9801}\sum_{n=0}^โ\frac{(4n)!(1103+26390n)}{(n!)^4396^{4n}} \nonumber
was discovered by Ramanujan in the early 1900s. William Gosper, Jr., used this series to calculate ฯ to an accuracy of more than 17 million digits in the mid-1980s. At the time, that was a world record. Since that time, this series and others by Ramanujan have led mathematicians to find many other series representations for ฯ and 1/ฯ.
a. Prove that this series converges.
b. Evaluate the first term in this series. Compare this number with the value of ฯ from a calculating utility. To how many decimal places do these two numbers agree? What if we add the first two terms in the series?
c. Investigate the life of Srinivasa Ramanujan (1887โ1920) and write a brief summary. Ramanujan is one of the most fascinating stories in the history of mathematics. He was basically self-taught, with no formal training in mathematics, yet he contributed in highly original ways to many advanced areas of mathematics.
Key Concepts
- For the ratio test, we consider ฯ=\lim_{nโโ}\left|\frac{a_{n+1}}{a_n}\right|. \nonumber If ฯ<1, the series \displaystyle \sum_{n=1}^โa_n converges absolutely. If ฯ>1, the series diverges. If ฯ=1, the test does not provide any information. This test is useful for series whose terms involve factorials.
- For the root test, we consider ฯ=\lim_{nโโ}\sqrt[n]{|a_n|}. \nonumber If ฯ<1, the series \displaystyle \sum_{n=1}^โa_n converges absolutely. If ฯ>1, the series diverges. If ฯ=1, the test does not provide any information. The root test is useful for series whose terms involve powers.
- For a series that is similar to a geometric series or pโseries, consider one of the comparison tests.
Glossary
- ratio test
- for a series \displaystyle \sum^โ_{n=1}a_n with nonzero terms, let \displaystyle ฯ=\lim_{nโโ}\left|\frac{a_{n+1}}{a_n}\right|; if 0โคฯ<1, the series converges absolutely; if ฯ>1, the series diverges; if ฯ=1, the test is inconclusive
- root test
- for a series \displaystyle \sum^โ_{n=1}a_n, let \displaystyle ฯ=\lim_{nโโ}\sqrt[n]{|a_n|}; if 0โคฯ<1, the series converges absolutely; if ฯ>1, the series diverges; if ฯ=1, the test is inconclusive