MAT1052 · Week 3 · Geometric Series, Divergence and Integral Tests

Geometric series, the nth-term test and the integral test

You learn geometric series whose sum can be computed exactly, the nth-term test that shows divergence in one line, and the integral test that settles the fate of p-series.

geometric seriescommon rationth-term test for divergenceintegral testp-seriesharmonic seriesremainder estimaterepeating decimal

This week we give the first three answers to the convergence question. The geometric series is one of the rare series whose sum you can find with a closed formula; in the exam it almost always comes as a “find the sum” question. The nth-term test (divergence test) is the fastest divergence check. The integral test ties the fate of a series to an improper integral and proves the p-series rule. Since next week’s comparison tests all work by comparing to p-series and geometric series, the three results on this page are the cornerstone.

Golden rules:

  1. Geometric series: sum =first term1−r=\dfrac{\text{first term}}{1-r}, only when ∣r∣<1\lvert r\rvert<1.
  2. In every series, first look at whether the term goes to zero. If it does not, you are done: it diverges.
  3. If the term goes to zero, the nth-term test says nothing. Move on to another test.
  4. The p-series ∑1/np\sum 1/n^p: converges for p>1p>1, diverges for p≤1p\le1.

Geometric series

Definition. A series in which each term is a fixed multiple rr of the previous one:

∑n=0∞arn=a+ar+ar2+…,a≠0.\sum_{n=0}^{\infty}ar^n = a + ar + ar^2 + \dots,\qquad a\neq0.

rr is called the common ratio.

Theorem. If ∣r∣<1\lvert r\rvert<1 the series converges and its sum is a1−r\dfrac{a}{1-r}. If ∣r∣≥1\lvert r\rvert\ge1 it diverges.

Why? The partial sum: sn=a+ar+⋯+arn−1s_n = a+ar+\dots+ar^{n-1}. Taking the difference with rsnrs_n, almost everything cancels: sn−rsn=a−arns_n - rs_n = a - ar^n, so

sn=a(1−rn)1−r(r≠1).s_n = \frac{a(1-r^n)}{1-r}\qquad(r\neq1).

For ∣r∣<1\lvert r\rvert<1, rn→0r^n\to0 and sn→a1−rs_n\to\dfrac{a}{1-r}. For ∣r∣>1\lvert r\rvert>1, rnr^n blows up. For r=1r=1, sn=nas_n=na; for r=−1r=-1, sns_n goes back and forth between aa and 00. Both diverge.

Recognizing a geometric series in the exam

The series is usually not given in the form arnar^n. You separate the exponents and rearrange:

1) Put the term in the form c · (number)^n:  2^(n+1)/3^n = 2 · (2/3)^n
2) The ratio r = (number).  Is |r| < 1?
3) First term = the term at the starting index (plug in n=0, 1, 2 ... whichever it is)
4) Sum = first term / (1 - r)

Example 1. ∑n=1∞5(13)n−1\displaystyle\sum_{n=1}^{\infty}5\left(\frac13\right)^{n-1}. The first term at n=1n=1 is 55. The ratio is 13\frac13. The sum is 52/3=152\dfrac{5}{2/3} = \dfrac{15}{2}.

Example 2. ∑n=0∞(−1)n2n3n+1\displaystyle\sum_{n=0}^{\infty}\frac{(-1)^n2^n}{3^{n+1}}. Rearrange: 13(−23)n\dfrac13\left(-\dfrac23\right)^n. The first term is 13\frac13, the ratio is −23-\frac23. The sum is 1/31+2/3=1/35/3=15\dfrac{1/3}{1+2/3} = \dfrac{1/3}{5/3} = \dfrac15.

Example 3 (repeating decimal). 1.234‾=1.2343434…1.2\overline{34} = 1.2343434\ldots First separate the non-repeating part: 1.2+0.0343434…1.2 + 0.0343434\ldots The second part is a geometric series with first term 341000\dfrac{34}{1000} and ratio 1100\dfrac{1}{100}:

34/10001−1/100=34990.1.2+34990=1188+34990=1222990=611495.\frac{34/1000}{1-1/100} = \frac{34}{990}.\qquad 1.2+\frac{34}{990} = \frac{1188+34}{990} = \frac{1222}{990} = \frac{611}{495}.

Example 3b (application). A ball is dropped from a height of 1010 m. On each impact it bounces to 34\frac34 of the previous height. How far does the ball travel in total? The first drop is 1010 m. After that, each bounce goes both up and down: 2(10⋅34+10⋅(34)2+… )2\left(10\cdot\frac34+10\cdot\left(\frac34\right)^2+\dots\right). The expression in parentheses is a geometric series with first term 7.57.5 and ratio 34\frac34, with sum 7.51/4=30\dfrac{7.5}{1/4} = 30. The total distance is 10+2⋅30=7010+2\cdot30 = 70 m. Do not forget to count the first drop separately: it goes one way only.

Example 3c (a series with x). For which xx does ∑n=0∞(3x)n\sum_{n=0}^\infty (3x)^n converge? The ratio is 3x3x, the condition is ∣3x∣<1\lvert3x\rvert<1, that is, −13<x<13-\frac13<x<\frac13. In this interval the sum is 11−3x\dfrac{1}{1-3x}. This idea is the starting point of the power series in week 5: writing a function like an infinite polynomial.

PITFALL · the first term. The aa in the formula is not the “coefficient”, it is the first term. In the series ∑n=2∞(1/2)n\sum_{n=2}^\infty(1/2)^n, a=1/4a = 1/4, and the answer is 1/41/2=12\dfrac{1/4}{1/2} = \dfrac12. Taking the coefficient as 11 and writing 22 is the most common mistake.

The nth-term test (divergence test)

Theorem. If ∑an\sum a_n converges, then an→0a_n\to0.

The form you actually use is the contrapositive: if lim⁡an≠0\lim a_n\neq0 or the limit does not exist, then ∑an\sum a_n diverges.

The reason is simple: an=sn−sn−1a_n = s_n - s_{n-1}. If the series converges to SS, both sns_n and sn−1s_{n-1} go to SS, and the difference goes to 00.

Example 4. ∑n3n−1\sum\dfrac{n}{3n-1}: the term →13≠0\to\frac13\neq0, diverges.

Example 5. ∑(−1)n\sum(-1)^{n}: the term has no limit, diverges.

Example 6. ∑nsin⁡(1/n)\sum n\sin(1/n): nsin⁡(1/n)=sin⁡(1/n)1/n→1n\sin(1/n) = \dfrac{\sin(1/n)}{1/n}\to1, diverges.

PITFALL · the converse is not true. There is NO rule that says if an→0a_n\to0 then the series converges. For ∑1/n\sum1/n (the harmonic series) the terms go to zero but it diverges. The nth-term test only proves divergence; an answer that says “converges by the nth-term test” gets zero.

The integral test

Theorem. Let an=f(n)a_n = f(n) and let ff be positive, continuous and decreasing for x≥Nx\ge N. Then

∑n=N∞anand∫N∞f(x) dx\sum_{n=N}^\infty a_n\quad\text{and}\quad\int_N^\infty f(x)\,dx

either both converge or both diverge.

Intuition. Draw the values ana_n as rectangles of width 11. Since ff is decreasing, the rectangles can be arranged to stay under the curve (right endpoint) or to stick out above it (left endpoint):

∫1n+1f dx  ≤  sn  ≤  a1+∫1nf dx.\int_{1}^{n+1}f\,dx\;\le\;s_n\;\le\;a_1+\int_1^n f\,dx.

If the area is finite, the sum stays bounded (positive terms, increasing partial sums, so it converges). If the area is infinite, the sum is infinite too.

Do not apply the test without writing the three conditions. In the exam, write the sentence “f is positive, continuous and decreasing for x≥1x\ge1”. The shortest way to show that it is decreasing is f′(x)<0f'(x)<0.

Example 7. ∑n=1∞11+n2\displaystyle\sum_{n=1}^\infty\frac{1}{1+n^2}. f(x)=11+x2f(x) = \dfrac{1}{1+x^2} is positive, continuous, decreasing (f′=−2x(1+x2)2<0f' = \dfrac{-2x}{(1+x^2)^2}<0).

∫1∞dx1+x2=lim⁡b→∞arctan⁡b−arctan⁡1=π2−π4=π4.\int_1^\infty\frac{dx}{1+x^2} = \lim_{b\to\infty}\arctan b - \arctan1 = \frac\pi2-\frac\pi4 = \frac\pi4.

It is finite, so the series converges. The sum is NOT π/4\pi/4; the integral only tells the fate. (As a bound: sum ≤a1+π/4=12+π4\le a_1+\pi/4 = \frac12+\frac\pi4.)

Example 7b. ∑n=1∞nn2+1\displaystyle\sum_{n=1}^\infty\frac{n}{n^2+1}. The term goes to zero, and the nth-term test says nothing. f(x)=xx2+1f(x) = \dfrac{x}{x^2+1} is positive and continuous. f′(x)=1−x2(x2+1)2f'(x) = \dfrac{1-x^2}{(x^2+1)^2} is negative for x>1x>1, so it is decreasing after x≥1x\ge1. With the substitution u=x2+1u = x^2+1

∫1bx dxx2+1=12ln⁡(b2+1)−12ln⁡2→∞.\int_1^b\frac{x\,dx}{x^2+1} = \frac12\ln(b^2+1)-\frac12\ln2\to\infty.

The integral diverges, so the series diverges. Intuition: for large nn the term is ≈1n\approx\frac1n, it behaves like the harmonic series. This “look at the dominant term” intuition is the very idea of next week’s limit comparison test.

TIP · the decrease can start later. In the integral test, ff does not have to be decreasing from the very beginning. “Decreasing for x≥Nx\ge N” is enough, because a finite number of terms does not change the fate. In Example 7b, ff actually peaks at x=1x=1; starting the test at N=1N=1 is not a problem.

p-series

For ∑n=1∞1np\sum_{n=1}^\infty\dfrac{1}{n^p}, f(x)=x−pf(x) = x^{-p} (p>0p>0) is positive, continuous, decreasing. The p-integral result from week 1 applies directly:

SeriesConvergesDiverges
∑1np\sum\dfrac{1}{n^p}p>1p>1p≤1p\le1

Examples: ∑1n2\sum\frac{1}{n^2} converges. ∑1n\sum\frac{1}{\sqrt n} (p=12p=\frac12) diverges. ∑1n1.01\sum\frac{1}{n^{1.01}} converges (very slowly, but it converges). ∑1n\sum\frac1n diverges. If p≤0p\le0, the terms do not even go to zero.

The logarithmic family

∑1n(ln⁡n)p\sum\dfrac{1}{n(\ln n)^p} (n≥2n\ge2): with the substitution u=ln⁡xu=\ln x the integral becomes ∫duup\int\frac{du}{u^p}. The rule is the same: converges for p>1p>1, diverges for p≤1p\le1. So ∑1nln⁡n\sum\frac{1}{n\ln n} diverges, ∑1n(ln⁡n)2\sum\frac{1}{n(\ln n)^2} converges.

Remainder estimate

If SS is the true sum, sns_n the partial sum and Rn=S−snR_n = S-s_n, then under the conditions of the integral test:

∫n+1∞f(x) dx  ≤  Rn  ≤  ∫n∞f(x) dx.\int_{n+1}^\infty f(x)\,dx\;\le\;R_n\;\le\;\int_n^\infty f(x)\,dx.

Example 8. If you use s100s_{100} for ∑1/n2\sum 1/n^2, the error is at most ∫100∞x−2dx=0.01\int_{100}^\infty x^{-2}dx = 0.01. If it says “let the error be less than 0.00010.0001”, then 1n≤0.0001\frac1n\le0.0001, that is, n≥10000n\ge10000 terms are needed.

Common mistakes

WrongCorrect
In a geometric sum, aa = coefficientaa = the first term at the starting index
Writing a1−r\frac{a}{1-r} when ∣r∣≥1\lvert r\rvert\ge1If ∣r∣≥1\lvert r\rvert\ge1 it diverges, the formula is invalid
”an→0a_n\to0, so the series converges”The nth-term test only shows divergence
cos⁡(1/n)→0\cos(1/n)\to0cos⁡(1/n)→1\cos(1/n)\to1, diverges
Not writing the conditions in the integral testPositive, continuous, decreasing; show f′<0f'<0
Value of the integral = sum of the seriesOnly the fate is the same; the values differ
∑1n\sum\frac{1}{\sqrt n} converges (because there is a root)p=12≤1p=\frac12\le1, diverges
∑1nln⁡n\sum\frac{1}{n\ln n} converges (ln⁡\ln helps)∫\int = ln⁡ln⁡b→∞\ln\ln b\to\infty, diverges

Test yourself

Exam-style questions. Solve them on paper first, then reveal the answer.

Question 1easy

Find the sum ∑n=0∞3(25)n\displaystyle\sum_{n=0}^{\infty} 3\left(\frac{2}{5}\right)^n.

Show answer
55

Geometric series: the first term (n=0n=0) is a=3a=3, the ratio is r=2/5r = 2/5, ∣r∣<1\lvert r\rvert<1.
The sum is a1−r=33/5=5\dfrac{a}{1-r} = \dfrac{3}{3/5} = 5.

Question 2medium

Find the sum ∑n=1∞4n5n+1\displaystyle\sum_{n=1}^{\infty}\frac{4^n}{5^{n+1}}.

Show answer
4/54/5

4n5n+1=15(45)n\dfrac{4^n}{5^{n+1}} = \dfrac15\left(\dfrac45\right)^n. The first term (n=1n=1): 15⋅45=425\dfrac15\cdot\dfrac45 = \dfrac{4}{25}, the ratio is 45\dfrac45.
The sum is 4/251−4/5=4/251/5=45\dfrac{4/25}{1-4/5} = \dfrac{4/25}{1/5} = \dfrac45.

Question 3medium

Find the sum ∑n=2∞(−13)n\displaystyle\sum_{n=2}^{\infty}\left(-\frac{1}{3}\right)^n.

Show answer
1/121/12

The first term is at n=2n=2: (−13)2=19\left(-\tfrac13\right)^2 = \tfrac19. The ratio is r=−13r=-\tfrac13.
The sum is 1/91−(−1/3)=1/94/3=112\dfrac{1/9}{1-(-1/3)} = \dfrac{1/9}{4/3} = \dfrac{1}{12}.

Question 4easy

Write the repeating decimal 0.27‾=0.272727…0.\overline{27} = 0.272727\ldots as a fraction.

Show answer
3/113/11

0.2727…=27100+271002+…0.2727\ldots = \dfrac{27}{100}+\dfrac{27}{100^2}+\dots, the first term is 27100\dfrac{27}{100}, the ratio is 1100\dfrac{1}{100}.
The sum is 27/10099/100=2799=311\dfrac{27/100}{99/100} = \dfrac{27}{99} = \dfrac{3}{11}.

Question 5medium

For which xx does ∑n=0∞(x−1)n2n\displaystyle\sum_{n=0}^{\infty}\frac{(x-1)^n}{2^n} converge, and what is its sum?

Show answer
−1<x<3-1<x<3, sum =23−x= \dfrac{2}{3-x}

The ratio is r=x−12r = \dfrac{x-1}{2}. A geometric series converges when ∣r∣<1\lvert r\rvert<1: ∣x−1∣<2\lvert x-1\rvert<2, that is, −1<x<3-1<x<3.
The sum is 11−x−12=22−(x−1)=23−x\dfrac{1}{1-\frac{x-1}{2}} = \dfrac{2}{2-(x-1)} = \dfrac{2}{3-x}.
At the endpoints r=±1r=\pm1, the terms do not go to zero, so it diverges.

Question 6easy

Does ∑n=1∞n2n+1\displaystyle\sum_{n=1}^{\infty}\frac{n}{2n+1} converge or diverge?

Show answer
Diverges (nth-term test)

lim⁡n2n+1=12≠0\lim\dfrac{n}{2n+1} = \dfrac12\neq0. By the nth-term test, if the terms do not go to zero, the series diverges.

Question 7easy

Does ∑n=1∞cos⁡(1n)\displaystyle\sum_{n=1}^{\infty}\cos\left(\frac{1}{n}\right) converge or diverge?

Show answer
Diverges

1/n→01/n\to0, cos⁡\cos is continuous, so cos⁡(1/n)→cos⁡0=1≠0\cos(1/n)\to\cos0 = 1\neq0. It diverges by the nth-term test.
The trap: thinking the term goes to zero just because 1/n→01/n\to0.

Question 8medium

Find the sum ∑n=1∞3n+2n6n\displaystyle\sum_{n=1}^{\infty}\frac{3^n+2^n}{6^n}.

Show answer
3/23/2

Split into two: (12)n+(13)n\left(\dfrac12\right)^n+\left(\dfrac13\right)^n. Two convergent geometric series.∑n≥1(1/2)n=1/21/2=1\sum_{n\ge1}(1/2)^n = \dfrac{1/2}{1/2} = 1, ∑n≥1(1/3)n=1/32/3=12\sum_{n\ge1}(1/3)^n = \dfrac{1/3}{2/3} = \dfrac12. The total is 32\dfrac32.

Question 9medium

Use the integral test to decide whether ∑n=2∞1nln⁡n\displaystyle\sum_{n=2}^{\infty}\frac{1}{n\ln n} converges.

Show answer
Diverges

f(x)=1xln⁡xf(x) = \dfrac{1}{x\ln x} is positive, continuous and decreasing for x≥2x\ge2.u=ln⁡xu = \ln x, du=dx/xdu = dx/x: ∫2bdxxln⁡x=ln⁡(ln⁡b)−ln⁡(ln⁡2)→∞\displaystyle\int_2^b\frac{dx}{x\ln x} = \ln(\ln b)-\ln(\ln2)\to\infty.
Since the integral diverges, the series diverges too.

Question 10medium

Does ∑n=2∞1n(ln⁡n)2\displaystyle\sum_{n=2}^{\infty}\frac{1}{n(\ln n)^2} converge or diverge?

Show answer
Converges

f(x)=1x(ln⁡x)2f(x) = \dfrac{1}{x(\ln x)^2} is positive, continuous, decreasing. With u=ln⁡xu=\ln x:∫2∞dxx(ln⁡x)2=∫ln⁡2∞duu2=1ln⁡2\displaystyle\int_2^\infty\frac{dx}{x(\ln x)^2} = \int_{\ln2}^\infty\frac{du}{u^2} = \frac{1}{\ln2}, finite.
By the integral test the series converges. (The value of the integral is NOT the sum of the series.)

Question 11hard

Does ∑n=1∞ne−n2\displaystyle\sum_{n=1}^{\infty} n e^{-n^2} converge? Use the integral test.

Show answer
Converges

f(x)=xe−x2f(x) = xe^{-x^2} is positive and decreasing for x≥1x\ge1 (f′(x)=e−x2(1−2x2)<0f'(x) = e^{-x^2}(1-2x^2)<0).u=x2u = x^2: ∫1∞xe−x2dx=[−12e−x2]1∞=12e\displaystyle\int_1^\infty xe^{-x^2}dx = \left[-\tfrac12e^{-x^2}\right]_1^\infty = \frac{1}{2e}.
The integral is finite, the series converges.

Question 12hard

Using the integral test remainder estimate, give an upper bound for the error when ∑n=1∞1n3\sum_{n=1}^\infty \frac{1}{n^3} is approximated by s10s_{10}.

Show answer
R10≤1200=0.005R_{10}\le \dfrac{1}{200} = 0.005

The remainder estimate: Rn≤∫n∞f(x) dxR_n\le\displaystyle\int_n^\infty f(x)\,dx.∫10∞x−3dx=12⋅102=1200\displaystyle\int_{10}^\infty x^{-3}dx = \frac{1}{2\cdot10^2} = \frac{1}{200}.
There is a lower bound too: R10≥∫11∞x−3dx=1242R_{10}\ge\int_{11}^\infty x^{-3}dx = \tfrac{1}{242}. The actual remainder is about 0.004520.00452.

Verification: Geometric sums were checked with partial sums of hundreds of terms, the integral test integrals with tanh-sinh (with the x = e^u transformation for slowly decaying ones), and the remainder estimate with partial sums of 2 million terms in node (verify/MAT1052/03.mjs).

Review card

Geometric: Σ a r^(n) → if |r|<1 the sum = FIRST TERM / (1 - r); |r|≥1 diverges Compute the first term from the starting index (n=0 or n=1 or n=2?) Find the ratio: divide two consecutive terms. Separate the exponents: 4^n/5^(n+1) = (1/5)(4/5)^n Repeating decimal: 0.abab... = ab/99 nth-term test: lim a_n ≠ 0 → DIVERGES. lim a_n = 0 → THE TEST SAYS NOTHING Integral test: f positive, continuous, DECREASING (x≥N). Σf(n) and ∫_N^∞ f share the same fate Value of the integral ≠ sum of the series p-series Σ 1/n^p: p>1 converges, p≤1 diverges (harmonic p=1 diverges) Σ 1/(n ln n) diverges, Σ 1/(n (ln n)^2) converges Remainder: ∫_(n+1)^∞ f ≤ R_n ≤ ∫_n^∞ f