Step 29: Series and Convergence Tests
- AP Calculus BC only. This step is AP Unit 10 (topics 10.1 to 10.10). It is not in AP Calculus AB, Cambridge 9709 or IB AA, although the geometric series of Step 6 is common to all of them.
- An infinite series \( \sum a_n \) converges if its partial sums \( S_n = a_1 + a_2 + \cdots + a_n \) approach a finite limit. If the terms do not tend to 0, it diverges; if they do, you still need a test.
- The toolkit: geometric series, the \( n \)th-term test, the integral test, \( p \)-series, direct and limit comparison, the alternating series test and the ratio test. A series is absolutely convergent if \( \sum |a_n| \) converges, and conditionally convergent if \( \sum a_n \) converges but \( \sum |a_n| \) does not.
- Exam point: name the test and check its conditions in words. For an alternating series, the error after \( n \) terms is at most the first term left out.
Sequences, series and partial sums
AP Calculus BC only. A sequence is a list of numbers \( a_1, a_2, a_3, \ldots \). It converges if its terms settle on a limit: for example \( a_n = \dfrac{3n + 1}{2n-5} \) tends to \( \tfrac{3}{2} \), because for large \( n \) the top is about \( 3n \) and the bottom about \( 2n \). A series is what you get when you try to add the terms of a sequence, \( a_1 + a_2 + a_3 + \cdots \).
You can never finish adding infinitely many numbers, but you can watch the running totals.
Keep the two ideas apart. The sequence \( a_n = \tfrac{1}{n} \) converges (to 0), but the series \( 1 + \tfrac{1}{2} + \tfrac{1}{3} + \cdots \) diverges, as you will see below.
The most important series of all is the geometric series from Step 6. With first term \( a \) and common ratio \( r \):
and it diverges if \( |r| \ge 1 \). The reason is that \( S_n = \dfrac{a(1-r^n)}{1-r} \), and \( r^n \to 0 \) exactly when \( |r| < 1 \).
A few other series can be summed exactly because their partial sums collapse. These are called telescoping series, and partial fractions are the usual way in.
Find the sum of (a) \( \displaystyle\sum_{n=1}^{\infty} \frac{2}{n(n + 2)} \) and (b) \( \displaystyle\sum_{n=1}^{\infty} 4\left(-\frac{1}{3}\right)^{n-1} \).
In (b) the first term is the \( n = 1 \) term, \( 4 \). Always check which term the sum starts from before using \( \dfrac{a}{1-r} \).
Here is an economics use of the geometric series. A share pays a dividend of $3 next year, and the dividend grows by 4% a year after that. If investors discount future money at 10% a year, the share’s present value is
This is geometric, with first term \( \tfrac{3}{1.1} \) and ratio \( \tfrac{1.04}{1.1} < 1 \), so its sum is \( \dfrac{3/1.1}{1-1.04/1.1} = \dfrac{3}{0.10-0.04} = \$50 \).
This is the Gordon growth formula, \( \dfrac{D}{i-g} \). It only works when the growth rate \( g \) is below the discount rate \( i \). If \( g \ge i \), the ratio is at least 1, the series diverges, and the model gives no finite price.
The nth-term test, the integral test and p-series
AP Calculus BC only. Most series cannot be summed exactly. A convergence test answers an easier question: does a sum exist at all? The first test is a quick check for divergence.
It works because if \( S_n \to S \) then \( a_n = S_n-S_{n-1} \to S-S = 0 \). For example \( \sum \dfrac{2n^2}{n^2 + 1} \) diverges, because its terms approach 2: you are adding nearly 2 for ever.
When the terms come from a function you can integrate, compare the sum with an integral.
Figure 2 shows why. Rectangles of width 1 and heights \( a_2, a_3, a_4, \ldots \) fit under the curve, so if the area under the curve is finite, the partial sums are capped. Shift the rectangles one place to the left and they sit above the curve, so if the area is infinite, so is the sum. The integral and the sum are usually different numbers; they only share a fate.
Applying the test to \( f(x) = x^{-p} \) and using the improper integrals of Step 23 gives the benchmark family you will compare almost everything with.
So \( \sum \tfrac{1}{n^2} \) and \( \sum \tfrac{1}{n\sqrt{n}} \) converge, while \( \sum \tfrac{1}{n} \) and \( \sum \tfrac{1}{\sqrt{n}} \) diverge.
Use the integral test to decide whether \( \displaystyle\sum_{n=2}^{\infty} \frac{1}{n(\ln n)^2} \) converges.
The series converges, but its sum is not \( \tfrac{1}{\ln 2} \approx 1.44 \). The test says nothing about the value of the sum.
Comparison tests
AP Calculus BC only. A series that looks like a \( p \)-series or a geometric series usually behaves like one. The comparison tests, for series with positive terms, turn “looks like” into a proof.
| Test | Condition | Conclusion |
|---|---|---|
| Direct comparison | \( 0 \le a_n \le b_n \) for all \( n \) | \( \sum b_n \) converges \( \Rightarrow \) \( \sum a_n \) converges; \( \sum a_n \) diverges \( \Rightarrow \) \( \sum b_n \) diverges |
| Limit comparison | \( a_n, b_n > 0 \) and \( \displaystyle\lim_{n \to \infty} \frac{a_n}{b_n} = c \), with \( 0 < c < \infty \) | both converge or both diverge |
A pile smaller than a finite pile is finite. And if \( a_n \) is eventually about \( c \) times \( b_n \), the two series must share a fate. To choose \( b_n \), keep only the highest power of \( n \) on the top and on the bottom.
Decide whether each series converges: (a) \( \displaystyle\sum_{n=1}^{\infty} \frac{1}{3^n + 2} \) (b) \( \displaystyle\sum_{n=1}^{\infty} \frac{\sqrt{n}}{n^2-n + 1} \).
In (b) a direct comparison would be awkward, because the denominator is smaller than \( n^2 \) and the inequality points the useless way. Limit comparison avoids the problem.
Alternating series and absolute convergence
AP Calculus BC only. When the signs alternate, the terms partly cancel each other, and a series can converge even though its terms shrink slowly.
Each step goes the other way and is shorter than the last, so the partial sums zigzag and close in on the sum from both sides. That gives a bonus: the sum always lies between two neighbouring partial sums. So the alternating series error bound is
the size of the first term left out, and the error has the same sign as that term.
(a) Show that \( \displaystyle\sum_{n=1}^{\infty} \frac{(-1)^{n+1}}{\sqrt{n}} \) converges conditionally. (b) For \( \displaystyle\sum_{n=1}^{\infty} \frac{(-1)^{n+1}}{n^3} \), estimate the sum with \( S_3 \), bound the error, and find how many terms guarantee an error below 0.001.
The true sum is about 0.9015, which is indeed below \( S_3 \) by less than \( \tfrac{1}{64} \). Series (b) also converges absolutely, since \( \sum \tfrac{1}{n^3} \) is a \( p \)-series with \( p = 3 \).
The ratio test, and choosing a test
AP Calculus BC only. When the terms contain factorials or powers such as \( 3^n \), compare each term with the one before it.
If neighbouring terms have a ratio close to \( L \), the tail of the series behaves like a geometric series with ratio \( L \). At \( L = 1 \) anything can happen: \( \sum \tfrac{1}{n} \) diverges and \( \sum \tfrac{1}{n^2} \) converges, yet both give \( L = 1 \).
Use the ratio test on (a) \( \displaystyle\sum_{n=1}^{\infty} \frac{n^2}{2^n} \) and (b) \( \displaystyle\sum_{n=1}^{\infty} \frac{n!}{5^n} \).
In (b) the factorial eventually beats the power of 5, so the terms grow without limit; the \( n \)th-term test would also show divergence.
With practice, the form of the terms tells you which test to try first.
| If the series looks like | Try |
|---|---|
| terms that do not tend to 0 | \( n \)th-term test: diverges |
| \( ar^n \) | geometric: converges if and only if \( |r| < 1 \) |
| \( \dfrac{1}{n^p} \), or a ratio of powers of \( n \) | \( p \)-series, then direct or limit comparison |
| signs that alternate | alternating series test, then test \( \sum |a_n| \) |
| factorials, or \( n \) in an exponent | ratio test |
| \( f(n) \) with an easy integral | integral test |
Practise: 6 questions
Try each one on paper first, then check the worked answer.
EasyQ1. Find the sum of \( \displaystyle\sum_{n=0}^{\infty} 6\left(\frac{1}{4}\right)^n \). Show worked answer
\( |r| < 1 \), so the series converges.
Sum \( = \dfrac{6}{1-\tfrac{1}{4}} = \dfrac{6}{3/4} = 8 \).
EasyQ2. Does \( \displaystyle\sum_{n=1}^{\infty} \frac{n + 1}{3n} \) converge? Show worked answer
So the series diverges by the \( n \)th-term test.
MediumQ3. Decide whether \( \displaystyle\sum_{n=1}^{\infty} \frac{2n + 1}{n^3 + 5} \) converges. Show worked answer
\( \dfrac{a_n}{b_n} = \dfrac{(2n + 1)n^2}{n^3 + 5} = \dfrac{2n^3 + n^2}{n^3 + 5} \to 2 \), finite and positive.
\( \sum \dfrac{1}{n^2} \) converges (\( p = 2 > 1 \)), so the series converges by limit comparison.
MediumQ4. Use the ratio test to decide whether \( \displaystyle\sum_{n=1}^{\infty} \frac{3^n}{n \cdot 2^n} \) converges. Show worked answer
As \( n \to \infty \) this tends to \( L = \tfrac{3}{2} > 1 \).
So the series diverges by the ratio test.
MediumQ5. Is \( \displaystyle\sum_{n=1}^{\infty} \frac{(-1)^n n}{n^2 + 1} \) absolutely convergent, conditionally convergent or divergent? Show worked answer
\( b_n \to 0 \), so the series converges by the alternating series test.
Absolute values: \( \sum \dfrac{n}{n^2 + 1} \). Compare with \( \dfrac{1}{n} \): the ratio \( \dfrac{n^2}{n^2 + 1} \to 1 \), so by limit comparison it diverges like the harmonic series.
So the series is conditionally convergent.
ExamQ6. Consider the series \( \displaystyle S = \sum_{n=1}^{\infty} \frac{(-1)^{n+1}}{n \cdot 3^n} \). (a) Use the ratio test to show that the series converges absolutely. [2] (b) Find the partial sum \( S_3 \) as a fraction, and use the alternating series error bound to show that \( |S-S_3| < 0.004 \). [3] (c) Is \( S_3 \) greater than or less than \( S \)? Give a reason. [1] Show worked answer
This tends to \( \tfrac{1}{3} < 1 \), so the series converges absolutely. [A1]
(b) \( S_3 = \dfrac{1}{3}-\dfrac{1}{18} + \dfrac{1}{81} = \dfrac{54-9 + 2}{162} = \dfrac{47}{162} \approx 0.2901 \). [B1]
The terms \( \dfrac{1}{n \cdot 3^n} \) are positive, decreasing and tend to 0, so the alternating series error bound applies. [M1]
\( |S-S_3| \le \dfrac{1}{4 \cdot 3^4} = \dfrac{1}{324} \approx 0.0031 < 0.004 \). [A1]
(c) The first omitted term, \( -\dfrac{1}{324} \), is negative, so \( S_3 \) is greater than \( S \). [B1]
(In Step 30 you will see that \( S = \ln\tfrac{4}{3} \approx 0.2877 \).)
Total: 6 marks.
Check yourself
1. The series \( \displaystyle\sum_{n=1}^{\infty} \frac{1}{n^{0.9}} \):
2. You know that \( \displaystyle\lim_{n \to \infty} a_n = 0 \). What can you conclude about \( \sum a_n \)?
3. For \( \displaystyle\sum_{n=1}^{\infty} \frac{5^n}{n!} \), the ratio test gives:
Your score: 0 out of 3
The short version
- This step is AP Calculus BC only. A series converges when its partial sums \( S_n \) tend to a finite limit.
- Geometric: \( \sum ar^n = \dfrac{a}{1-r} \) when \( |r| < 1 \). \( p \)-series: \( \sum \tfrac{1}{n^p} \) converges exactly when \( p > 1 \); the harmonic series diverges.
- If \( a_n \not\to 0 \), the series diverges. If \( a_n \to 0 \), use another test: integral, direct or limit comparison, alternating series or ratio.
- Absolute convergence (\( \sum |a_n| \) converges) implies convergence. Conditional convergence means \( \sum a_n \) converges but \( \sum |a_n| \) does not.
- For an alternating series that passes the test, \( |S-S_n| \le b_{n+1} \), the first term left out.
- The full chapter in Mathematics Made Simple has many more worked examples and a full set of practice questions with a complete answer key.
Further reading on EconTutorials
Related in-depth articles from our blog:
