Convergence Tests

Section 3.3 Convergence Tests

It is very common to encounter series for which it is difficult, or even virtually impossible, to determine the sum exactly. Often you try to evaluate the sum approximately by truncating it, i.e. having the index run only up to some finite

N,

rather than infinity. But there is no point in doing so if the series diverges

The authors should be a little more careful making such a blanket statement. While it is true that it is not wise to approximate a divergent series by taking

N

terms with

N

large, there are cases when one can get a very good approximation by taking

N

terms with

N

small! For example, the Taylor remainder theorem shows us that when the

n^{t h}

derivative of a function

f (x)

grows very quickly with

n,

Taylor polynomials of degree

N,

with

N

large, can give bad approximations of

f (x),

while the Taylor polynomials of degree one or two can still provide very good approximations of

f (x)

when

x

is very small. As an example of this, one of the triumphs of quantum electrodynamics, namely the computation of the anomalous magnetic moment of the electron, depends on precisely this. A number of important quantities were predicted using the first few terms of divergent power series. When those quantities were measured experimentally, the predictions turned out to be incredibly accurate.

The field of asymptotic analysis often makes use of the first few terms of divergent series to generate approximate solutions to problems; this, along with numerical computations, is one of the most important techniques in applied mathematics. Indeed, there is a whole wonderful book (which, unfortunately, is too advanced for most Calculus 2 students) devoted to playing with divergent series called, unsurprisingly, “Divergent Series” by G.H. Hardy. This is not to be confused with the “Divergent” series by V. Roth set in a post-apocalyptic dystopian Chicago. That latter series diverges quite dramatically from mathematical topics, while the former does not have a film adaptation (yet).

. So you like to at least know if the series converges or diverges. Furthermore you would also like to know what error is introduced when you approximate

\sum_{n = 1}^{\infty} a_{n}

by the “truncated series”

\sum_{n = 1}^{N} a_{n} .

That’s called the truncation error. There are a number of “convergence tests” to help you with this.

🔗

Subsection 3.3.1 The Divergence Test

🔗

Our first test is very easy to apply, but it is also rarely useful. It just allows us to quickly reject some “trivially divergent” series. It is based on the observation that

by definition, a series $\sum_{n = 1}^{\infty} a_{n}$ converges to $S$ when the partial sums $S_{N} = \sum_{n = 1}^{N} a_{n}$ converge to $S .$
Then, as $N \to \infty,$ we have $S_{N} \to S$ and, because $N - 1 \to \infty$ too, we also have $S_{N - 1} \to S .$
So $a_{N} = S_{N} - S_{N - 1} \to S - S = 0 .$

🔗

This tells us that, if we already know that a given series

\sum a_{n}

is convergent, then the

n^{t h}

term of the series,

a_{n},

must converge to

0

n

tends to infinity. In this form, the test is not so useful. However the contrapositive

We have discussed the contrapositive a few times in the CLP notes, but it doesn’t hurt to discuss it again here (or for the reader to quickly look up the relevant footnote in Section 1.3 of the CLP-1 text). At any rate, given a statement of the form “If A is true, then B is true” the contrapositive is “If B is not true, then A is not true”. The two statements in quotation marks are logically equivalent — if one is true, then so is the other. In the present context we have “If (

\sum a_{n}

converges) then (

a_{n}

converges to

0

).” The contrapositive of this statement is then “If (

a_{n}

does not converge to 0) then (

\sum a_{n}

does not converge).”

of the statement is a useful test for divergence.

🔗

Theorem 3.3.1. Divergence Test.

🔗

If the sequence

{a_{n}}_{n = 1}^{\infty}

fails to converge to zero as

n \to \infty,

then the series

\sum_{n = 1}^{\infty} a_{n}

diverges.

Example 3.3.2. A simple divergence.

Let

a_{n} = \frac{n}{n + 1} .

Then

lim_{n \to \infty} a_{n} = lim_{n \to \infty} \frac{n}{n + 1} = lim_{n \to \infty} \frac{1}{1 + \frac{1}{n}} = 1 \neq 0

So the series

\sum_{n = 1}^{\infty} \frac{n}{n + 1}

diverges.

🔗

Warning 3.3.3.

🔗

The divergence test is a “one way test”. It tells us that if

lim_{n \to \infty} a_{n}

is nonzero, or fails to exist, then the series

\sum_{n = 1}^{\infty} a_{n}

diverges. But it tells us absolutely nothing when

lim_{n \to \infty} a_{n} = 0 .

In particular, it is perfectly possible for a series

\sum_{n = 1}^{\infty} a_{n}

to diverge even though

lim_{n \to \infty} a_{n} = 0 .

An example is

\sum_{n = 1}^{\infty} \frac{1}{n} .

We’ll show in Example 3.3.6, below, that it diverges.

🔗

Now while convergence or divergence of series like

\sum_{n = 1}^{\infty} \frac{1}{n}

can be determined using some clever tricks — see the optional §3.3.9 —, it would be much better to have methods that are more systematic and rely less on being sneaky. Over the next subsections we will discuss several methods for testing series for convergence.

🔗

Note that while these tests will tell us whether or not a series converges, they do not (except in rare cases) tell us what the series adds up to. For example, the test we will see in the next subsection tells us quite immediately that the series

\begin{matrix} \sum_{n = 1}^{\infty} \frac{1}{n^{3}} \end{matrix}

🔗

converges. However it does not tell us its value

⁴

This series converges to Apéry’s constant

1.2020569031 \dots .

The constant is named for Roger Apéry (1916–1994) who proved that this number must be irrational. This number appears in many contexts including the following cute fact — the reciprocal of Apéry’s constant gives the probability that three positive integers, chosen at random, do not share a common prime factor.

🔗

Subsection 3.3.2 The Integral Test

🔗

In the integral test, we think of a series

\sum_{n = 1}^{\infty} a_{n},

that we cannot evaluate explicitly, as the area of a union of rectangles, with

a_{n}

representing the area of a rectangle of width one and height

a_{n} .

Then we compare that area with the area represented by an integral, that we can evaluate explicitly, much as we did in Theorem 1.12.17, the comparison test for improper integrals. We’ll start with a simple example, to illustrate the idea. Then we’ll move on to a formulation of the test in general.

Example 3.3.4. Convergence of the harmonic series.

Visualise the terms of the harmonic series

\sum_{n = 1}^{\infty} \frac{1}{n}

as a bar graph — each term is a rectangle of height

\frac{1}{n}

and width

1 .

The limit of the series is then the limiting area of this union of rectangles. Consider the sketch on the left below.

It shows that the area of the shaded columns,

\sum_{n = 1}^{4} \frac{1}{n},

is bigger than the area under the curve

y = \frac{1}{x}

with

1 \leq x \leq 5 .

That is

\begin{aligned} \sum_{n = 1}^{4} \frac{1}{n} & \geq \int_{1}^{5} \frac{1}{x} d x \end{aligned}

If we were to continue drawing the columns all the way out to infinity, then we would have

\begin{aligned} \sum_{n = 1}^{\infty} \frac{1}{n} & \geq \int_{1}^{\infty} \frac{1}{x} d x \end{aligned}

We are able to compute this improper integral exactly:

\begin{aligned} \int_{1}^{\infty} \frac{1}{x} d x & = lim_{R \to \infty} [\log | x |]_{1}^{R} = + \infty \end{aligned}

That is the area under the curve diverges to

+ \infty

and so the area represented by the columns must also diverge to

+ \infty .

It should be clear that the above argument can be quite easily generalised. For example the same argument holds mutatis mutandis

⁵

Latin for “Once the necessary changes are made”. This phrase still gets used a little, but these days mathematicians tend to write something equivalent in English. Indeed, English is pretty much the lingua franca for mathematical publishing. Quidquid erit.

for the series

\begin{matrix} \sum_{n = 1}^{\infty} \frac{1}{n^{2}} \end{matrix}

Indeed we see from the sketch on the right above that

\begin{aligned} \sum_{n = 2}^{N} \frac{1}{n^{2}} & \leq \int_{1}^{N} \frac{1}{x^{2}} d x \end{aligned}

and hence

\begin{matrix} \sum_{n = 2}^{\infty} \frac{1}{n^{2}} \leq \int_{1}^{\infty} \frac{1}{x^{2}} d x \end{matrix}

This last improper integral is easy to evaluate:

\begin{aligned} \int_{1}^{\infty} \frac{1}{x^{2}} d x & = lim_{R \to \infty} {[- \frac{1}{x}]}_{1}^{R} \\ = lim_{R \to \infty} (\frac{1}{1} - \frac{1}{R}) = 1 \end{aligned}

Thus we know that

\begin{matrix} \sum_{n = 1}^{\infty} \frac{1}{n^{2}} = 1 + \sum_{n = 2}^{\infty} \frac{1}{n^{2}} \leq 2. \end{matrix}

and so the series must converge.

🔗

The above arguments are formalised in the following theorem.

🔗

Theorem 3.3.5. The Integral Test.

🔗

Let

N_{0}

be any natural number. If

f (x)

is a function which is defined and continuous for all

x \geq N_{0}

and which obeys

$f (x) \geq 0$ for all $x \geq N_{0}$ and
$f (x)$ decreases as $x$ increases and
$f (n) = a_{n}$ for all $n \geq N_{0} .$

🔗

Then

\sum_{n = 1}^{\infty} a_{n} converges ⟺ \int_{N_{0}}^{\infty} f (x) d x converges

🔗

Furthermore, when the series converges, the truncation error

0 \leq \sum_{n = 1}^{\infty} a_{n} - \sum_{n = 1}^{N} a_{n} \leq \int_{N}^{\infty} f (x) d x for all N \geq N_{0}

Proof.

Let

I

be any fixed integer with

I > N_{0} .

Then

$\sum_{n = 1}^{\infty} a_{n}$ converges if and only if $\sum_{n = I}^{\infty} a_{n}$ converges — removing a fixed finite number of terms from a series cannot impact whether or not it converges.
Since $a_{n} \geq 0$ for all $n \geq I > N_{0},$ the sequence of partial sums $s_{ℓ} = \sum_{n = I}^{ℓ} a_{n}$ obeys $s_{ℓ + 1} = s_{ℓ} + a_{n + 1} \geq s_{ℓ} .$ That is, $s_{ℓ}$ increases as $ℓ$ increases.
So ${s_{ℓ}}$ must either converge to some finite number or increase to infinity. That is, either $\sum_{n = I}^{\infty} a_{n}$ converges to a finite number or it is $+ \infty .$

Look at the figure above. The shaded area in the figure is

\sum_{n = I}^{\infty} a_{n}

because

the first shaded rectangle has height $a_{I}$ and width $1,$ and hence area $a_{I}$ and
the second shaded rectangle has height $a_{I + 1}$ and width $1,$ and hence area $a_{I + 1},$ and so on

This shaded area is smaller than the area under the curve

y = f (x)

for

I - 1 \leq x < \infty .

0 \leq \sum_{n = I}^{\infty} a_{n} \leq \int_{I - 1}^{\infty} f (x) d x

and, if the integral is finite, the sum

\sum_{n = I}^{\infty} a_{n}

is finite too. Furthermore, the desired bound on the truncation error is just the special case of this inequality with

I = N + 1 :

\begin{matrix} 0 \leq \sum_{n = 1}^{\infty} a_{n} - \sum_{n = 1}^{N} a_{n} = \sum_{n = N + 1}^{\infty} a_{n} \leq \int_{N}^{\infty} f (x) d x \end{matrix}

For the “divergence case” look at the figure above. The (new) shaded area in the figure is again

\sum_{n = I}^{\infty} a_{n}

because

the first shaded rectangle has height $a_{I}$ and width $1,$ and hence area $a_{I}$ and
the second shaded rectangle has height $a_{I + 1}$ and width $1,$ and hence area $a_{I + 1},$ and so on

This time the shaded area is larger than the area under the curve

y = f (x)

for

I \leq x < \infty .

\sum_{n = I}^{\infty} a_{n} \geq \int_{I}^{\infty} f (x) d x

and, if the integral is infinite, the sum

\sum_{n = I}^{\infty} a_{n}

is infinite too.

🔗

Now that we have the integral test, it is straightforward to determine for which values of

p

the series

⁶

This series, viewed as a function of

p,

is called the Riemann zeta function,

ζ (p),

or the Euler-Riemann zeta function. It is extremely important because of its connections to prime numbers (among many other things). Indeed Euler proved that

ζ (p) = \sum_{n = 1}^{\infty} \frac{1}{n^{p}} = \prod_{P prime} {(1 - P^{- p})}^{- 1} .

Riemann showed the connections between the zeros of this function (over complex numbers

p

) and the distribution of prime numbers. Arguably the most famous unsolved problem in mathematics, the Riemann hypothesis, concerns the locations of zeros of this function.

\begin{matrix} \sum_{n = 1}^{\infty} \frac{1}{n^{p}} \end{matrix}

🔗

converges.

Example 3.3.6. The $p$ test: $\sum_{n = 1}^{\infty} \frac{1}{n^{p}}$ .

Let

p > 0 .

We’ll now use the integral test to determine whether or not the series

\sum_{n = 1}^{\infty} \frac{1}{n^{p}}

(which is sometimes called the

p

-series) converges.

To do so, we need a function $f (x)$ that obeys $f (n) = a_{n} = \frac{1}{n^{p}}$ for all $n$ bigger than some $N_{0} .$ Certainly $f (x) = \frac{1}{x^{p}}$ obeys $f (n) = \frac{1}{n^{p}}$ for all $n \geq 1 .$ So let’s pick this $f$ and try $N_{0} = 1 .$ (We can always increase $N_{0}$ later if we need to.)
This function also obeys the other two conditions of Theorem 3.3.5:
1. $f (x) > 0$ for all $x \geq N_{0} = 1$ and
2. $f (x)$ decreases as $x$ increases because $f^{'} (x) = - p \frac{1}{x^{p + 1}} < 0$ for all $x \geq N_{0} = 1 .$
So the integral test tells us that the series $\sum_{n = 1}^{\infty} \frac{1}{n^{p}}$ converges if and only if the integral $\int_{1}^{\infty} \frac{d x}{x^{p}}$ converges.
We have already seen, in Example 1.12.8, that the integral $\int_{1}^{\infty} \frac{d x}{x^{p}}$ converges if and only if $p > 1 .$

So we conclude that

\sum_{n = 1}^{\infty} \frac{1}{n^{p}}

converges if and only if

p > 1 .

This is sometimes called the

p

-test.

In particular, the series $\sum_{n = 1}^{\infty} \frac{1}{n},$ which is called the harmonic series, has $p = 1$ and so diverges. As we add more and more terms of this series together, the terms we add, namely $\frac{1}{n},$ get smaller and smaller and tend to zero, but they tend to zero so slowly that the full sum is still infinite.
On the other hand, the series $\sum_{n = 1}^{\infty} \frac{1}{n^{1.000001}}$ has $p = 1.000001 > 1$ and so converges. This time as we add more and more terms of this series together, the terms we add, namely $\frac{1}{n^{1.000001}},$ tend to zero (just) fast enough that the full sum is finite. Mind you, for this example, the convergence takes place very slowly — you have to take a huge number of terms to get a decent approximation to the full sum. If we approximate $\sum_{n = 1}^{\infty} \frac{1}{n^{1.000001}}$ by the truncated series $\sum_{n = 1}^{N} \frac{1}{n^{1.000001}},$ we make an error of at most
$\begin{aligned} \int_{N}^{\infty} \frac{d x}{x^{1.000001}} & = lim_{R \to \infty} \int_{N}^{R} \frac{d x}{x^{1.000001}} \\ = lim_{R \to \infty} - \frac{1}{0.000001} [\frac{1}{R^{0.000001}} - \frac{1}{N^{0.000001}}] \\ = \frac{10^{6}}{N^{0.000001}} \end{aligned}$
This does tend to zero as $N \to \infty,$ but really slowly.

🔗

We now know that the dividing line between convergence and divergence of

\sum_{n = 1}^{\infty} \frac{1}{n^{p}}

occurs at

p = 1 .

We can dig a little deeper and ask ourselves how much more quickly than

\frac{1}{n}

the

n^{t h}

term needs to shrink in order for the series to converge. We know that for large

x,

the function

\log x

is smaller than

x^{a}

for any positive

a

— you can convince yourself of this with a quick application of L’Hôpital’s rule. So it is not unreasonable to ask whether the series

\begin{matrix} \sum_{n = 2}^{\infty} \frac{1}{n \log n} \end{matrix}

🔗

converges. Notice that we sum from

n = 2

because when

n = 1, n \log n = 0 .

And we don’t need to stop there

⁷

We could go even further and see what happens if we include powers of

\log (\log (n))

and other more exotic slow growing functions.

. We can analyse the convergence of this sum with any power of

\log n .

Example 3.3.7. $\sum_{n = 2}^{\infty} \frac{1}{n (\log n)^{p}}$ .

Let

p > 0 .

We’ll now use the integral test to determine whether or not the series

\sum_{n = 2}^{\infty} \frac{1}{n (\log n)^{p}}

converges.

As in the last example, we start by choosing a function that obeys $f (n) = a_{n} = \frac{1}{n (\log n)^{p}}$ for all $n$ bigger than some $N_{0} .$ Certainly $f (x) = \frac{1}{x (\log x)^{p}}$ obeys $f (n) = \frac{1}{n (\log n)^{p}}$ for all $n \geq 2 .$ So let’s use that $f$ and try $N_{0} = 2 .$
Now let’s check the other two conditions of Theorem 3.3.5:
1. Both $x$ and $\log x$ are positive for all $x > 1,$ so $f (x) > 0$ for all $x \geq N_{0} = 2 .$
2. As $x$ increases both $x$ and $\log x$ increase and so $x (\log x)^{p}$ increases and $f (x)$ decreases.
So the integral test tells us that the series $\sum_{n = 2}^{\infty} \frac{1}{n (\log n)^{p}}$ converges if and only if the integral $\int_{2}^{\infty} \frac{d x}{x (\log x)^{p}}$ converges.
To test the convergence of the integral, we make the substitution $u = \log x,$ $d u = \frac{d x}{x} .$
$\begin{matrix} \int_{2}^{R} \frac{d x}{x (\log x)^{p}} = \int_{\log 2}^{\log R} \frac{d u}{u^{p}} \end{matrix}$
We already know that the integral $\int_{1}^{\infty} \frac{d u}{u^{p}},$ and hence the integral $\int_{2}^{R} \frac{d x}{x (\log x)^{p}},$ converges if and only if $p > 1 .$

So we conclude that

\sum_{n = 2}^{\infty} \frac{1}{n (\log n)^{p}}

converges if and only if

p > 1 .

🔗

Subsection 3.3.3 The Comparison Test

🔗

Our next convergence test is the comparison test. It is much like the comparison test for improper integrals (see Theorem 1.12.17) and is true for much the same reasons. The rough idea is quite simple. A sum of larger terms must be bigger than a sum of smaller terms. So if we know the big sum converges, then the small sum must converge too. On the other hand, if we know the small sum diverges, then the big sum must also diverge. Formalising this idea gives the following theorem.

🔗

Theorem 3.3.8. The Comparison Test.

🔗

Let

N_{0}

be a natural number and let

K > 0 .

If $| a_{n} | \leq K c_{n}$ for all $n \geq N_{0}$ and $\sum_{n = 0}^{\infty} c_{n}$ converges, then $\sum_{n = 0}^{\infty} a_{n}$ converges.
If $a_{n} \geq K d_{n} \geq 0$ for all $n \geq N_{0}$ and $\sum_{n = 0}^{\infty} d_{n}$ diverges, then $\sum_{n = 0}^{\infty} a_{n}$ diverges.

“Proof”.

We will not prove this theorem here. We’ll just observe that it is very reasonable. That’s why there are quotation marks around “Proof”. For an actual proof see the optional section 3.3.10.

If $\sum_{n = 0}^{\infty} c_{n}$ converges to a finite number and if the terms in $\sum_{n = 0}^{\infty} a_{n}$ are smaller than the terms in $\sum_{n = 0}^{\infty} c_{n},$ then it is no surprise that $\sum_{n = 0}^{\infty} a_{n}$ converges too.
If $\sum_{n = 0}^{\infty} d_{n}$ diverges (i.e. adds up to $\infty$ ) and if the terms in $\sum_{n = 0}^{\infty} a_{n}$ are larger than the terms in $\sum_{n = 0}^{\infty} d_{n},$ then of course $\sum_{n = 0}^{\infty} a_{n}$ adds up to $\infty,$ and so diverges, too.

🔗

The comparison test for series is also used in much the same way as is the comparison test for improper integrals. Of course, one needs a good series to compare against, and often the series

\sum n^{- p}

(from Example 3.3.6), for some

p > 0,

turns out to be just what is needed.

Example 3.3.9. $\sum_{n = 1}^{\infty} \frac{1}{n^{2} + 2 n + 3}$ .

We could determine whether or not the series

\sum_{n = 1}^{\infty} \frac{1}{n^{2} + 2 n + 3}

converges by applying the integral test. But it is not worth the effort

⁸

Go back and quickly scan Theorem 3.3.5; to apply it we need to show that

\frac{1}{n^{2} + 2 n + 3}

is positive and decreasing (it is), and then we need to integrate

\int \frac{1}{x^{2} + 2 x + 3} d x .

To do that we reread the notes on partial fractions, then rewrite

x^{2} + 2 x + 3 = (x + 1)^{2} + 2

and so

\int_{1}^{\infty} \frac{1}{x^{2} + 2 x + 3} d x = \int_{1}^{\infty} \frac{1}{(x + 1)^{2} + 2} d x \dots

and then arctangent appears, etc etc. Urgh. Okay — let’s go back to the text now and see how to avoid this.

. Whether or not any series converges is determined by the behaviour of the summand

⁹

To understand this consider any series

\sum_{n = 1}^{\infty} a_{n} .

We can always cut such a series into two parts — pick some huge number like

10^{6} .

Then

\sum_{n = 1}^{\infty} a_{n} = \sum_{n = 1}^{10^{6}} a_{n} + \sum_{n = 10^{6} + 1}^{\infty} a_{n} .

The first sum, though it could be humongous, is finite. So the left hand side,

\sum_{n = 1}^{\infty} a_{n},

is a well-defined finite number if and only if

\sum_{n = 10^{6} + 1}^{\infty} a_{n},

is a well-defined finite number. The convergence or divergence of the series is determined by the second sum, which only contains

a_{n}

for “large”

n .

for very large

n .

So the first step in tackling such a problem is to develop some intuition about the behaviour of

a_{n}

when

n

is very large.

Step 1: Develop intuition. In this case, when $n$ is very large
¹⁰
The symbol “ $≫$ ” means “much larger than”. Similarly, the symbol “ $≪$ ” means “much less than”. Good shorthand symbols can be quite expressive.
$n^{2} ≫ 2 n ≫ 3$ so that $\frac{1}{n^{2} + 2 n + 3} \approx \frac{1}{n^{2}} .$ We already know, from Example 3.3.6, that $\sum_{n = 1}^{\infty} \frac{1}{n^{p}}$ converges if and only if $p > 1 .$ So $\sum_{n = 1}^{\infty} \frac{1}{n^{2}},$ which has $p = 2,$ converges, and we would expect that $\sum_{n = 1}^{\infty} \frac{1}{n^{2} + 2 n + 3}$ converges too.
Step 2: Verify intuition. We can use the comparison test to confirm that this is indeed the case. For any $n \geq 1,$ $n^{2} + 2 n + 3 > n^{2},$ so that $\frac{1}{n^{2} + 2 n + 3} \leq \frac{1}{n^{2}} .$ So the comparison test, Theorem 3.3.8, with $a_{n} = \frac{1}{n^{2} + 2 n + 3}$ and $c_{n} = \frac{1}{n^{2}},$ tells us that $\sum_{n = 1}^{\infty} \frac{1}{n^{2} + 2 n + 3}$ converges.

🔗

Of course the previous example was “rigged” to give an easy application of the comparison test. It is often relatively easy, using arguments like those in Example 3.3.9, to find a “simple” series

\sum_{n = 1}^{\infty} b_{n}

with

b_{n}

almost the same as

a_{n}

when

n

is large. However it is pretty rare that

a_{n} \leq b_{n}

for all

n .

It is much more common that

a_{n} \leq K b_{n}

for some constant

K .

This is enough to allow application of the comparison test. Here is an example.

Example 3.3.10. $\sum_{n = 1}^{\infty} \frac{n + \cos n}{n^{3} - 1 / 3}$ .

As in the previous example, the first step is to develop some intuition about the behaviour of

a_{n}

when

n

is very large.

Step 1: Develop intuition. When $n$ is very large,
- $n ≫ | \cos n |$ so that the numerator $n + \cos n \approx n$ and
- $n^{3} ≫ \frac{1}{3}$ so that the denominator $n^{3} - \frac{1}{3} \approx n^{3} .$
So when $n$ is very large

$a_{n} = \frac{n + \cos n}{n^{3} - \frac{1}{3}} \approx \frac{n}{n^{3}} = \frac{1}{n^{2}}$

We already know from Example 3.3.6, with $p = 2,$ that $\sum_{n = 1}^{\infty} \frac{1}{n^{2}}$ converges, so we would expect that $\sum_{n = 1}^{\infty} \frac{n + \cos n}{n^{3} - \frac{1}{3}}$ converges too.
Step 2: Verify intuition. We can use the comparison test to confirm that this is indeed the case. To do so we need to find a constant $K$ such that $| a_{n} | = \frac{| n + \cos n |}{n^{3} - 1 / 3} = \frac{n + \cos n}{n^{3} - 1 / 3}$ is smaller than $\frac{K}{n^{2}}$ for all $n .$ A good way
¹¹
This is very similar to how we computed limits at infinity way way back near the beginning of CLP-1.
to do that is to factor the dominant term (in this case $n$ ) out of the numerator and also factor the dominant term (in this case $n^{3}$ ) out of the denominator.

$a_{n} = \frac{n + \cos n}{n^{3} - \frac{1}{3}} = \frac{n}{n^{3}} \frac{1 + \frac{\cos n}{n}}{1 - \frac{1}{3 n^{3}}} = \frac{1}{n^{2}} \frac{1 + \frac{\cos n}{n}}{1 - \frac{1}{3 n^{3}}}$

So now we need to find a constant $K$ such that $\frac{1 + \frac{(\cos n)}{n}}{1 - \frac{1}{3 n^{3}}}$ is smaller than $K$ for all $n \geq 1 .$
- First consider the numerator $1 + (\cos n) \frac{1}{n} .$ For all $n \geq 1$
  - $\frac{1}{n} \leq 1$ and
  - $| \cos n | \leq 1$
  So the numerator $1 + (\cos n) \frac{1}{n}$ is always smaller than $1 + (1) \frac{1}{1} = 2 .$
- Next consider the denominator $1 - \frac{1}{3 n^{3}} .$
  - When $n \geq 1,$ $\frac{1}{3 n^{3}}$ lies between $\frac{1}{3}$ and $0$ so that
  - $1 - \frac{1}{3 n^{3}}$ is between $\frac{2}{3}$ and $1$ and consequently
  - $\frac{1}{1 - \frac{1}{3 n^{3}}}$ is between $\frac{3}{2}$ and $1 .$
- As the numerator $1 + (\cos n) \frac{1}{n}$ is always smaller than $2$ and $\frac{1}{1 - \frac{1}{3 n^{3}}}$ is always smaller than $\frac{3}{2},$ the fraction
  $\frac{1 + \frac{\cos n}{n}}{1 - \frac{1}{3 n^{3}}} \leq 2 (\frac{3}{2}) = 3$
We now know that

$| a_{n} | = \frac{1}{n^{2}} \frac{1 + \frac{2}{n}}{1 - \frac{1}{3 n^{3}}} \leq \frac{3}{n^{2}}$

and, since we know $\sum_{n = 1}^{\infty} n^{- 2}$ converges, the comparison test tells us that $\sum_{n = 1}^{\infty} \frac{n + \cos n}{n^{3} - 1 / 3}$ converges.

🔗

The last example was actually a relatively simple application of the comparison theorem — finding a suitable constant

K

can be really tedious

¹²

Really, really tedious. And you thought some of those partial fractions computations were bad …

. Fortunately, there is a variant of the comparison test that completely eliminates the need to explicitly find

K .

🔗

The idea behind this isn’t too complicated. We have already seen that the convergence or divergence of a series depends not on its first few terms, but just on what happens when

n

is really large. Consequently, if we can work out how the series terms behave for really big

n

then we can work out if the series converges. So instead of comparing the terms of our series for all

n,

just compare them when

n

is big.

🔗

Theorem 3.3.11. Limit Comparison Theorem.

🔗

Let

\sum_{n = 1}^{\infty} a_{n}

and

\sum_{n = 1}^{\infty} b_{n}

be two series with

b_{n} > 0

for all

n .

Assume that

lim_{n \to \infty} \frac{a_{n}}{b_{n}} = L

🔗

exists.

If $\sum_{n = 1}^{\infty} b_{n}$ converges, then $\sum_{n = 1}^{\infty} a_{n}$ converges too.
If $L \neq 0$ and $\sum_{n = 1}^{\infty} b_{n}$ diverges, then $\sum_{n = 1}^{\infty} a_{n}$ diverges too.

🔗

In particular, if

L \neq 0,

then

\sum_{n = 1}^{\infty} a_{n}

converges if and only if

\sum_{n = 1}^{\infty} b_{n}

converges.

Proof.

(a) Because we are told that

lim_{n \to \infty} \frac{a_{n}}{b_{n}} = L,

we know that,

when $n$ is large, $\frac{a_{n}}{b_{n}}$ is very close to $L,$ so that $| \frac{a_{n}}{b_{n}} |$ is very close to $| L | .$
In particular, there is some natural number $N_{0}$ so that $| \frac{a_{n}}{b_{n}} | \leq | L | + 1,$ for all $n \geq N_{0},$ and hence
$| a_{n} | \leq K b_{n}$ with $K = | L | + 1,$ for all $n \geq N_{0} .$
The comparison Theorem 3.3.8 now implies that $\sum_{n = 1}^{\infty} a_{n}$ converges.

(b) Let’s suppose that

L > 0 .

(If

L < 0,

just replace

a_{n}

with

- a_{n} .

) Because we are told that

lim_{n \to \infty} \frac{a_{n}}{b_{n}} = L,

we know that,

when $n$ is large, $\frac{a_{n}}{b_{n}}$ is very close to $L .$
In particular, there is some natural number $N$ so that $\frac{a_{n}}{b_{n}} \geq \frac{L}{2},$ and hence
$a_{n} \geq K b_{n}$ with $K = \frac{L}{2} > 0,$ for all $n \geq N .$
The comparison Theorem 3.3.8 now implies that $\sum_{n = 1}^{\infty} a_{n}$ diverges.

🔗

The next two examples illustrate how much of an improvement the above theorem is over the straight comparison test (though of course, we needed the comparison test to develop the limit comparison test).

Example 3.3.12. $\sum_{n = 1}^{\infty} \frac{\sqrt{n + 1}}{n^{2} - 2 n + 3}$ .

Set

a_{n} = \frac{\sqrt{n + 1}}{n^{2} - 2 n + 3} .

We first try to develop some intuition about the behaviour of

a_{n}

for large

n

and then we confirm that our intuition was correct.

Step 1: Develop intuition. When $n ≫ 1,$ the numerator $\sqrt{n + 1} \approx \sqrt{n},$ and the denominator $n^{2} - 2 n + 3 \approx n^{2}$ so that $a_{n} \approx \frac{\sqrt{n}}{n^{2}} = \frac{1}{n^{3 / 2}}$ and it looks like our series should converge by Example 3.3.6 with $p = \frac{3}{2} .$
Step 2: Verify intuition. To confirm our intuition we set $b_{n} = \frac{1}{n^{3 / 2}}$ and compute the limit
$lim_{n \to \infty} \frac{a_{n}}{b_{n}} = lim_{n \to \infty} \frac{\frac{\sqrt{n + 1}}{n^{2} - 2 n + 3}}{\frac{1}{n^{3 / 2}}} = lim_{n \to \infty} \frac{n^{3 / 2} \sqrt{n + 1}}{n^{2} - 2 n + 3}$
Again it is a good idea to factor the dominant term out of the numerator and the dominant term out of the denominator.
$lim_{n \to \infty} \frac{a_{n}}{b_{n}} = lim_{n \to \infty} \frac{n^{2} \sqrt{1 + \frac{1}{n}}}{n^{2} (1 - \frac{2}{n} + \frac{3}{n^{2}})} = lim_{n \to \infty} \frac{\sqrt{1 + \frac{1}{n}}}{1 - \frac{2}{n} + \frac{3}{n^{2}}} = 1$
We already know that the series $\sum_{n = 1}^{\infty} b_{n} = \sum_{n = 1}^{\infty} \frac{1}{n^{3 / 2}}$ converges by Example 3.3.6 with $p = \frac{3}{2} .$ So our series converges by the limit comparison test, Theorem 3.3.11.

Example 3.3.13. $\sum_{n = 1}^{\infty} \frac{\sqrt{n + 1}}{n^{2} - 2 n + 3},$ again.

We can also try to deal with the series of Example 3.3.12, using the comparison test directly. But that requires us to find

K

so that

\begin{aligned} \frac{\sqrt{n + 1}}{n^{2} - 2 n + 3} & \leq \frac{K}{n^{3 / 2}} \end{aligned}

We might do this by examining the numerator and denominator separately:

The numerator isn’t too bad since for all $n \geq 1 :$
$\begin{aligned} n + 1 & \leq 2 n and so \\ \sqrt{n + 1} & \leq \sqrt{2 n} \end{aligned}$
The denominator is quite a bit more tricky, since we need a lower bound, rather than an upper bound, and we cannot just write $| n^{2} - 2 n + 3 | \geq n^{2},$ which is false. Instead we have to make a more careful argument. In particular, we’d like to find $N_{0}$ and $K^{'}$ so that $n^{2} - 2 n + 3 \geq K^{'} n^{2},$ i.e. $\frac{1}{n^{2} - 2 n + 3} \leq \frac{1}{K^{'} n^{2}}$ for all $n \geq N_{0} .$ For $n \geq 4,$ we have $2 n = \frac{1}{2} 4 n \leq \frac{1}{2} n \cdot n = \frac{1}{2} n^{2} .$ So for $n \geq 4,$
$\begin{aligned} n^{2} - 2 n + 3 & \geq n^{2} - \frac{1}{2} n^{2} + 3 \geq \frac{1}{2} n^{2} \end{aligned}$

Putting the numerator and denominator back together we have

\begin{aligned} \frac{\sqrt{n + 1}}{n^{2} - 2 n + 3} & \leq \frac{\sqrt{2 n}}{n^{2} / 2} = 2 \sqrt{2} \frac{1}{n^{3 / 2}} for all n \geq 4 \end{aligned}

and the comparison test then tells us that our series converges. It is pretty clear that the approach of Example 3.3.12 was much more straightforward.

🔗

Subsection 3.3.4 The Alternating Series Test

🔗

When the signs of successive terms in a series alternate between

+

and

-,

like for example in

1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \dots,

the series is called an alternating series. More generally, the series

A_{1} - A_{2} + A_{3} - A_{4} + \dots = \sum_{n = 1}^{\infty} (- 1)^{n - 1} A_{n}

🔗

is alternating if every

A_{n} \geq 0 .

Often (but not always) the terms in alternating series get successively smaller. That is, then

A_{1} \geq A_{2} \geq A_{3} \geq \dots .

In this case:

The first partial sum is $S_{1} = A_{1} .$
The second partial sum, $S_{2} = A_{1} - A_{2},$ is smaller than $S_{1}$ by $A_{2} .$
The third partial sum, $S_{3} = S_{2} + A_{3},$ is bigger than $S_{2}$ by $A_{3},$ but because $A_{3} \leq A_{2},$ $S_{3}$ remains smaller than $S_{1} .$ See the figure below.
The fourth partial sum, $S_{4} = S_{3} - A_{4},$ is smaller than $S_{3}$ by $A_{4},$ but because $A_{4} \leq A_{3},$ $S_{4}$ remains bigger than $S_{2} .$ Again, see the figure below.
And so on.

🔗

So the successive partial sums oscillate, but with ever decreasing amplitude. If, in addition,

A_{n}

tends to

0

n

tends to

\infty,

the amplitude of oscillation tends to zero and the sequence

S_{1},

S_{2},

S_{3},

\dots

converges to some limit

S .

🔗

This is illustrated in the figure

🔗

Here is a convergence test for alternating series that exploits this structure, and that is really easy to apply.

🔗

Theorem 3.3.14. Alternating Series Test.

🔗

Let

{A_{n}}_{n = 1}^{\infty}

be a sequence of real numbers that obeys

$A_{n} \geq 0$ for all $n \geq 1$ and
$A_{n + 1} \leq A_{n}$ for all $n \geq 1$ (i.e. the sequence is monotone decreasing) and
$lim_{n \to \infty} A_{n} = 0 .$

🔗

Then

A_{1} - A_{2} + A_{3} - A_{4} + \dots = \sum_{n = 1}^{\infty} (- 1)^{n - 1} A_{n} = S

🔗

converges and, for each natural number

N,

S - S_{N}

is between

0

and (the first dropped term)

(- 1)^{N} A_{N + 1} .

Here

S_{N}

is, as previously, the

N^{t h}

partial sum

\sum_{n = 1}^{N} (- 1)^{n - 1} A_{n} .

“Proof”.

We shall only give part of the proof here. For the rest of the proof see the optional section 3.3.10. We shall fix any natural number

N

and concentrate on the last statement, which gives a bound on the truncation error (which is the error introduced when you approximate the full series by the partial sum

S_{N}

)

\begin{aligned} E_{N} & = S - S_{N} = \sum_{n = N + 1}^{\infty} (- 1)^{n - 1} A_{n} \\ = (- 1)^{N} [A_{N + 1} - A_{N + 2} + A_{N + 3} - A_{N + 4} + \dots] \end{aligned}

This is of course another series. We’re going to study the partial sums

S_{N, ℓ} = \sum_{n = N + 1}^{ℓ} (- 1)^{n - 1} A_{n} = (- 1)^{N} \sum_{m = 1}^{ℓ - N} (- 1)^{m - 1} A_{N + m}

for that series.

If $ℓ^{'} > N + 1,$ with $ℓ^{'} - N$ even,
$\begin{aligned} (- 1)^{N} S_{N, ℓ^{'}} & = \overset{\geq 0}{\overset{⏞}{(A_{N + 1} - A_{N + 2})}} + \overset{\geq 0}{\overset{⏞}{(A_{N + 3} - A_{N + 4})}} + \dots \\ + \overset{\geq 0}{\overset{⏞}{(A_{ℓ^{'} - 1} - A_{ℓ^{'}})}} \\ \geq 0 \\ and \\ (- 1)^{N} S_{N, ℓ^{'} + 1} & = \overset{\geq 0}{\overset{⏞}{(- 1)^{N} S_{N, ℓ^{'}}}} + \overset{\geq 0}{\overset{⏞}{A_{ℓ^{'} + 1}}} \geq 0 \end{aligned}$
This tells us that $(- 1)^{N} S_{N, ℓ} \geq 0$ for all $ℓ > N + 1,$ both even and odd.
Similarly, if $ℓ^{'} > N + 1,$ with $ℓ^{'} - N$ odd,
$\begin{aligned} (- 1)^{N} S_{N, ℓ^{'}} & = A_{N + 1} - (\overset{\geq 0}{\overset{⏞}{A_{N + 2} - A_{N + 3}}}) - (\overset{\geq 0}{\overset{⏞}{A_{N + 4} - A_{N + 5}}}) - \dots \\ - \overset{\geq 0}{\overset{⏞}{(A_{ℓ^{'} - 1} - A_{ℓ^{'}})}} \\ \leq A_{N + 1} \\ (- 1)^{N} S_{N, ℓ^{'} + 1} & = \overset{\leq A_{N + 1}}{\overset{⏞}{(- 1)^{N} S_{N, ℓ^{'}}}} - \overset{\geq 0}{\overset{⏞}{A_{ℓ^{'} + 1}}} \leq A_{N + 1} \end{aligned}$
This tells us that $(- 1)^{N} S_{N, ℓ} \leq A_{N + 1}$ for all for all $ℓ > N + 1,$ both even and odd.

So we now know that

S_{N, ℓ}

lies between its first term,

(- 1)^{N} A_{N + 1},

and

0

for all

ℓ > N + 1 .

While we are not going to prove it here (see the optional section 3.3.10), this implies that, since

A_{N + 1} \to 0

N \to \infty,

the series converges and that

S - S_{N} = lim_{ℓ \to \infty} S_{N, ℓ}

lies between

(- 1)^{N} A_{N + 1}

and

0 .

Example 3.3.15. Convergence of the alternating harmonic series.

We have already seen, in Example 3.3.6, that the harmonic series

\sum_{n = 1}^{\infty} \frac{1}{n}

diverges. On the other hand, the series

\sum_{n = 1}^{\infty} (- 1)^{n - 1} \frac{1}{n}

converges by the alternating series test with

A_{n} = \frac{1}{n} .

Note that

$A_{n} = \frac{1}{n} \geq 0$ for all $n \geq 1,$ so that $\sum_{n = 1}^{\infty} (- 1)^{n - 1} \frac{1}{n}$ really is an alternating series, and
$A_{n} = \frac{1}{n}$ decreases as $n$ increases, and
$lim_{n \to \infty} A_{n} = lim_{n \to \infty} \frac{1}{n} = 0 .$

so that all of the hypotheses of the alternating series test, i.e. of Theorem 3.3.14, are satisfied. We shall see, in Example 3.5.20, that

\begin{aligned} \sum_{n = 1}^{\infty} \frac{(- 1)^{n - 1}}{n} & = \log 2. \end{aligned}

Example 3.3.16. $e$ .

You may already know that

e^{x} = \sum_{n = 0}^{\infty} \frac{x^{n}}{n!} .

In any event, we shall prove this in Example 3.6.5, below. In particular

\begin{matrix} \frac{1}{e} = e^{- 1} = \sum_{n = 0}^{\infty} \frac{(- 1)^{n}}{n!} = 1 - \frac{1}{1!} + \frac{1}{2!} - \frac{1}{3!} + \frac{1}{4!} - \frac{1}{5!} + \dots \end{matrix}

is an alternating series and satisfies all of the conditions of the alternating series test, Theorem 3.3.14a:

The terms in the series alternate in sign.
The magnitude of the $n^{t h}$ term in the series decreases monotonically as $n$ increases.
The $n^{t h}$ term in the series converges to zero as $n \to \infty .$

So the alternating series test guarantees that, if we approximate, for example,

\begin{matrix} \frac{1}{e} \approx \frac{1}{2!} - \frac{1}{3!} + \frac{1}{4!} - \frac{1}{5!} + \frac{1}{6!} - \frac{1}{7!} + \frac{1}{8!} - \frac{1}{9!} \end{matrix}

then the error in this approximation lies between

0

and the next term in the series, which is

\frac{1}{10!} .

That is

\begin{matrix} \frac{1}{2!} - \frac{1}{3!} + \frac{1}{4!} - \frac{1}{5!} + \frac{1}{6!} - \frac{1}{7!} + \frac{1}{8!} - \frac{1}{9!} \leq \frac{1}{e} \\ \leq \frac{1}{2!} - \frac{1}{3!} + \frac{1}{4!} - \frac{1}{5!} + \frac{1}{6!} - \frac{1}{7!} + \frac{1}{8!} - \frac{1}{9!} + \frac{1}{10!} \end{matrix}

so that

\begin{matrix} \frac{1}{\frac{1}{2!} - \frac{1}{3!} + \frac{1}{4!} - \frac{1}{5!} + \frac{1}{6!} - \frac{1}{7!} + \frac{1}{8!} - \frac{1}{9!} + \frac{1}{10!}} \leq e \\ \leq \frac{1}{\frac{1}{2!} - \frac{1}{3!} + \frac{1}{4!} - \frac{1}{5!} + \frac{1}{6!} - \frac{1}{7!} + \frac{1}{8!} - \frac{1}{9!}} \end{matrix}

which, to seven decimal places says

\begin{aligned} 2.7182816 \leq e \leq & 2.7182837 \end{aligned}

(To seven decimal places

e = 2.7182818 .

)

The alternating series test tells us that, for any natural number

N,

the error that we make when we approximate

\frac{1}{e}

by the partial sum

S_{N} = \sum_{n = 0}^{N} \frac{(- 1)^{n}}{n!}

has magnitude no larger than

\frac{1}{(N + 1)!} .

This tends to zero spectacularly quickly as

N

increases, simply because

(N + 1)!

increases spectacularly quickly as

N

increases

¹³

The interested reader may wish to check out “Stirling’s approximation”, which says that

n! \approx \sqrt{2 π n} {(\frac{n}{e})}^{n} .

. For example

20! \approx 2.4 \times 10^{27} .

Example 3.3.17. Computing $\log \frac{11}{10}$ .

We will shortly see, in Example 3.5.20, that if

- 1 < x \leq 1,

then

\log (1 + x) = x - \frac{x^{2}}{2} + \frac{x^{3}}{3} - \frac{x^{4}}{4} + \dots = \sum_{n = 1}^{\infty} (- 1)^{n - 1} \frac{x^{n}}{n}

Suppose that we have to compute

\log \frac{11}{10}

to within an accuracy of

10^{- 12} .

Since

\frac{11}{10} = 1 + \frac{1}{10},

we can get

\log \frac{11}{10}

by evaluating

\log (1 + x)

x = \frac{1}{10},

so that

\begin{aligned} \log \frac{11}{10} & = \log (1 + \frac{1}{10}) = \frac{1}{10} - \frac{1}{2 \times 10^{2}} + \frac{1}{3 \times 10^{3}} - \frac{1}{4 \times 10^{4}} + \dots \\ = \sum_{n = 1}^{\infty} (- 1)^{n - 1} \frac{1}{n \times 10^{n}} \end{aligned}

By the alternating series test, this series converges. Also by the alternating series test, approximating

\log \frac{11}{10}

by throwing away all but the first

N

terms

\begin{aligned} \log \frac{11}{10} & \approx \frac{1}{10} - \frac{1}{2 \times 10^{2}} + \frac{1}{3 \times 10^{3}} - \frac{1}{4 \times 10^{4}} + \dots + (- 1)^{N - 1} \frac{1}{N \times 10^{N}} \\ = \sum_{n = 1}^{N} (- 1)^{n - 1} \frac{1}{n \times 10^{n}} \end{aligned}

introduces an error whose magnitude is no more than the magnitude of the first term that we threw away.

error \leq \frac{1}{(N + 1) \times 10^{N + 1}}

To achieve an error that is no more than

10^{- 12},

we have to choose

N

so that

\frac{1}{(N + 1) \times 10^{N + 1}} \leq 10^{- 12}

The best way to do so is simply to guess — we are not going to be able to manipulate the inequality

\frac{1}{(N + 1) \times 10^{N + 1}} \leq \frac{1}{10^{12}}

into the form

N \leq \dots,

and even if we could, it would not be worth the effort. We need to choose

N

so that the denominator

(N + 1) \times 10^{N + 1}

is at least

10^{12} .

That is easy, because the denominator contains the factor

10^{N + 1}

which is at least

10^{12}

whenever

N + 1 \geq 12,

i.e. whenever

N \geq 11 .

So we will achieve an error of less than

10^{- 12}

if we choose

N = 11 .

\frac{1}{(N + 1) \times 10^{N + 1}} |_{N = 11} = \frac{1}{12 \times 10^{12}} < \frac{1}{10^{12}}

This is not the smallest possible choice of

N,

but in practice that just doesn’t matter — your computer is not going to care whether or not you ask it to compute a few extra terms. If you really need the smallest

N

that obeys

\frac{1}{(N + 1) \times 10^{N + 1}} \leq \frac{1}{10^{12}},

you can next just try

N = 10,

then

N = 9,

and so on.

\begin{aligned} \frac{1}{(N + 1) \times 10^{N + 1}} |_{N = 11} & = \frac{1}{12 \times 10^{12}} < \frac{1}{10^{12}} \\ \frac{1}{(N + 1) \times 10^{N + 1}} |_{N = 10} & = \frac{1}{11 \times 10^{11}} < \frac{1}{10 \times 10^{11}} = \frac{1}{10^{12}} \\ \frac{1}{(N + 1) \times 10^{N + 1}} |_{N = 9} & = \frac{1}{10 \times 10^{10}} = \frac{1}{10^{11}} > \frac{1}{10^{12}} \end{aligned}

So in this problem, the smallest acceptable

N = 10 .

🔗

Subsection 3.3.5 The Ratio Test

🔗

The idea behind the ratio test comes from a reexamination of the geometric series. Recall that the geometric series

\begin{matrix} \sum_{n = 0}^{\infty} a_{n} = \sum_{n = 0}^{\infty} a r^{n} \end{matrix}

🔗

converges when

| r | < 1

and diverges otherwise. So the convergence of this series is completely determined by the number

r .

This number is just the ratio of successive terms — that is

r = a_{n + 1} / a_{n} .

🔗

In general the ratio of successive terms of a series,

\frac{a_{n + 1}}{a_{n}},

is not constant, but depends on

n .

However, as we have noted above, the convergence of a series

\sum a_{n}

is determined by the behaviour of its terms when

n

is large. In this way, the behaviour of this ratio when

n

is small tells us nothing about the convergence of the series, but the limit of the ratio as

n \to \infty

does. This is the basis of the ratio test.

🔗

Theorem 3.3.18. Ratio Test.

🔗

Let

N

be any positive integer and assume that

a_{n} \neq 0

for all

n \geq N .

If $lim_{n \to \infty} | \frac{a_{n + 1}}{a_{n}} | = L < 1,$ then $\sum_{n = 1}^{\infty} a_{n}$ converges.
If $lim_{n \to \infty} | \frac{a_{n + 1}}{a_{n}} | = L > 1,$ or $lim_{n \to \infty} | \frac{a_{n + 1}}{a_{n}} | = + \infty,$ then $\sum_{n = 1}^{\infty} a_{n}$ diverges.

🔗

Warning 3.3.19.

🔗

Beware that the ratio test provides absolutely no conclusion about the convergence or divergence of the series

\sum_{n = 1}^{\infty} a_{n}

lim_{n \to \infty} | \frac{a_{n + 1}}{a_{n}} | = 1 .

See Example 3.3.22, below.

Proof.

(a) Pick any number

R

obeying

L < R < 1 .

We are assuming that

| \frac{a_{n + 1}}{a_{n}} |

approaches

L

n \to \infty .

In particular there must be some natural number

M

so that

| \frac{a_{n + 1}}{a_{n}} | \leq R

for all

n \geq M .

| a_{n + 1} | \leq R | a_{n} |

for all

n \geq M .

In particular

\begin{aligned} | a_{M + 1} | & \leq R | a_{M} | \\ | a_{M + 2} | & \leq R | a_{M + 1} | & \leq R^{2} | a_{M} | \\ | a_{M + 3} | & \leq R | a_{M + 2} | & \leq R^{3} | a_{M} | \\ ⋮ \\ | a_{M + ℓ} | & \leq R^{ℓ} | a_{M} | \end{aligned}

for all

ℓ \geq 0 .

The series

\sum_{ℓ = 0}^{\infty} R^{ℓ} | a_{M} |

is a geometric series with ratio

R

smaller than one in magnitude and so converges. Consequently, by the comparison test with

a_{n}

replaced by

A_{ℓ} = a_{n + ℓ}

and

c_{n}

replaced by

C_{ℓ} = R^{ℓ} | a_{M} |,

the series

\sum_{ℓ = 1}^{\infty} a_{M + ℓ} = \sum_{n = M + 1}^{\infty} a_{n}

converges. So the series

\sum_{n = 1}^{\infty} a_{n}

converges too.

(b) We are assuming that

| \frac{a_{n + 1}}{a_{n}} |

approaches

L > 1

n \to \infty .

In particular there must be some natural number

M > N

so that

| \frac{a_{n + 1}}{a_{n}} | \geq 1

for all

n \geq M .

| a_{n + 1} | \geq | a_{n} |

for all

n \geq M .

That is,

| a_{n} |

increases as

n

increases as long as

n \geq M .

| a_{n} | \geq | a_{M} |

for all

n \geq M

and

a_{n}

cannot converge to zero as

n \to \infty .

So the series diverges by the divergence test.

Example 3.3.20. $\sum_{n = 0}^{\infty} a n x^{n - 1}$ .

Fix any two nonzero real numbers

a

and

x .

We have already seen in Example 3.2.4 and Lemma 3.2.5 — we have just renamed

r

x

— that the geometric series

\sum_{n = 0}^{\infty} a x^{n}

converges when

| x | < 1

and diverges when

| x | \geq 1 .

We are now going to consider a new series, constructed by differentiating

¹⁴

We shall see later, in Theorem 3.5.13, that the function

\sum_{n = 0}^{\infty} a n x^{n - 1}

is indeed the derivative of the function

\sum_{n = 0}^{\infty} a x^{n} .

Of course, such a statement only makes sense where these series converge — how can you differentiate a divergent series? (This is not an allusion to a popular series of dystopian novels.) Actually, there is quite a bit of interesting and useful mathematics involving divergent series, but it is well beyond the scope of this course.

each term in the geometric series

\sum_{n = 0}^{\infty} a x^{n} .

This new series is

\sum_{n = 0}^{\infty} a_{n} with a_{n} = a n x^{n - 1}

Let’s apply the ratio test.

\begin{aligned} | \frac{a_{n + 1}}{a_{n}} | & = | \frac{a (n + 1) x^{n}}{a n x^{n - 1}} | = \frac{n + 1}{n} | x | = (1 + \frac{1}{n}) | x | \to L = | x | as n \to \infty \end{aligned}

The ratio test now tells us that the series

\sum_{n = 0}^{\infty} a n x^{n - 1}

converges if

| x | < 1

and diverges if

| x | > 1 .

It says nothing about the cases

x = \pm 1 .

But in both of those cases

a_{n} = a n (\pm 1)^{n}

does not converge to zero as

n \to \infty

and the series diverges by the divergence test.

🔗

Notice that in the above example, we had to apply another convergence test in addition to the ratio test. This will be commonplace when we reach power series and Taylor series — the ratio test will tell us something like

🔗
The series converges for $| x | < R$ and diverges for $| x | > R .$

🔗

Of course, we will still have to to determine what happens when

x = + R, - R .

To determine convergence or divergence in those cases we will need to use one of the other tests we have seen.

Example 3.3.21. $\sum_{n = 0}^{\infty} \frac{a}{n + 1} X^{n + 1}$ .

Once again, fix any two nonzero real numbers

a

and

X .

We again start with the geometric series

\sum_{n = 0}^{\infty} a x^{n}

but this time we construct a new series by integrating

¹⁵

We shall also see later, in Theorem 3.5.13, that the function

\sum_{n = 0}^{\infty} \frac{a}{n + 1} x^{n + 1}

is indeed an antiderivative of the function

\sum_{n = 0}^{\infty} a x^{n} .

each term,

a x^{n},

from

x = 0

x = X

giving

\frac{a}{n + 1} X^{n + 1} .

The resulting new series is

\sum_{n = 0}^{\infty} a_{n} with a_{n} = \frac{a}{n + 1} X^{n + 1}

To apply the ratio test we need to compute

\begin{aligned} | \frac{a_{n + 1}}{a_{n}} | & = | \frac{\frac{a}{n + 2} X^{n + 2}}{\frac{a}{n + 1} X^{n + 1}} | = \frac{n + 1}{n + 2} | X | = \frac{1 + \frac{1}{n}}{1 + \frac{2}{n}} | X | \to L = | X | as n \to \infty \end{aligned}

The ratio test now tells us that the series

\sum_{n = 0}^{\infty} \frac{a}{n + 1} X^{n + 1}

converges if

| X | < 1

and diverges if

| X | > 1 .

It says nothing about the cases

X = \pm 1 .

X = 1,

the series reduces to

\sum_{n = 0}^{\infty} \frac{a}{n + 1} X^{n + 1} |_{X = 1} = \sum_{n = 0}^{\infty} \frac{a}{n + 1} = a \sum_{m = 1}^{\infty} \frac{1}{m} with m = n + 1

which is just

a

times the harmonic series, which we know diverges, by Example 3.3.6.

X = - 1,

the series reduces to

\sum_{n = 0}^{\infty} \frac{a}{n + 1} X^{n + 1} |_{X = - 1} = \sum_{n = 0}^{\infty} (- 1)^{n + 1} \frac{a}{n + 1}

which converges by the alternating series test. See Example 3.3.15.

In conclusion, the series

\sum_{n = 0}^{\infty} \frac{a}{n + 1} X^{n + 1}

converges if and only if

- 1 \leq X < 1 .

🔗

The ratio test is often quite easy to apply, but one must always be careful when the limit of the ratio is

1 .

The next example illustrates this.

Example 3.3.22. $L = 1$ .

In this example, we are going to see three different series that all have

lim_{n \to \infty} | \frac{a_{n + 1}}{a_{n}} | = 1 .

One is going to diverge and the other two are going to converge.

The first series is the harmonic series
$\sum_{n = 1}^{\infty} a_{n} with a_{n} = \frac{1}{n}$
We have already seen, in Example 3.3.6, that this series diverges. It has
$| \frac{a_{n + 1}}{a_{n}} | = | \frac{\frac{1}{n + 1}}{\frac{1}{n}} | = \frac{n}{n + 1} = \frac{1}{1 + \frac{1}{n}} \to L = 1 as n \to \infty$
The second series is the alternating harmonic series
$\sum_{n = 1}^{\infty} a_{n} with a_{n} = (- 1)^{n - 1} \frac{1}{n}$
We have already seen, in Example 3.3.15, that this series converges. But it also has
$| \frac{a_{n + 1}}{a_{n}} | = | \frac{(- 1)^{n} \frac{1}{n + 1}}{(- 1)^{n - 1} \frac{1}{n}} | = \frac{n}{n + 1} = \frac{1}{1 + \frac{1}{n}} \to L = 1 as n \to \infty$
The third series is
$\sum_{n = 1}^{\infty} a_{n} with a_{n} = \frac{1}{n^{2}}$
We have already seen, in Example 3.3.6 with $p = 2,$ that this series converges. But it also has
$| \frac{a_{n + 1}}{a_{n}} | = | \frac{\frac{1}{(n + 1)^{2}}}{\frac{1}{n^{2}}} | = \frac{n^{2}}{(n + 1)^{2}} = \frac{1}{(1 + \frac{1}{n})^{2}} \to L = 1 as n \to \infty$

🔗

Let’s do a somewhat artificial example that forces us to combine a few of the techniques we have seen.

Example 3.3.23. $\sum_{n = 1}^{\infty} \frac{(- 3)^{n} \sqrt{n + 1}}{2 n + 3} x^{n}$ .

Again, the convergence of this series will depend on

x .

Let us start with the ratio test — so we compute
$\begin{aligned} | \frac{a_{n + 1}}{a_{n}} | & = | \frac{(- 3)^{n + 1} \sqrt{n + 2} (2 n + 3) x^{n + 1}}{(- 3)^{n} \sqrt{n + 1} (2 n + 5) x^{n}} | \\ = | - 3 | \cdot \frac{\sqrt{n + 2}}{\sqrt{n + 1}} \cdot \frac{2 n + 3}{2 n + 5} \cdot | x | \end{aligned}$
So in the limit as $n \to \infty$ we are left with
$\begin{aligned} lim_{n \to \infty} | \frac{a_{n + 1}}{a_{n}} | & = 3 | x | \end{aligned}$
The ratio test then tells us that if $3 | x | > 1$ the series diverges, while when $3 | x | < 1$ the series converges.
This leaves us with the cases $x = + \frac{1}{3}$ and $- \frac{1}{3} .$
Setting $x = \frac{1}{3}$ gives the series
$\begin{matrix} \sum_{n = 1}^{\infty} \frac{(- 1)^{n} \sqrt{n + 1}}{2 n + 3} \end{matrix}$
The fact that the terms alternate here suggests that we use the alternating series test. That will show that this series converges provided $\frac{\sqrt{n + 1}}{2 n + 3}$ decreases as $n$ increases. So we define the function
$\begin{aligned} f (t) & = \frac{\sqrt{t + 1}}{2 t + 3} \end{aligned}$
(which is constructed by replacing the $n$ in $\frac{\sqrt{n + 1}}{2 n + 3}$ with $t$ ) and verify that $f (t)$ is a decreasing function of $t .$ To prove that, it suffices to show its derivative is negative when $t \geq 1 :$
$\begin{aligned} f^{'} (t) & = \frac{(2 t + 3) \cdot \frac{1}{2} \cdot (t + 1)^{- 1 / 2} - 2 \sqrt{t + 1}}{(2 t + 3)^{2}} \\ = \frac{(2 t + 3) - 4 (t + 1)}{2 \sqrt{t + 1} (2 t + 3)^{2}} \\ = \frac{- 2 t - 1}{2 \sqrt{t + 1} (2 t + 3)^{2}} \end{aligned}$
When $t \geq 1$ this is negative and so $f (t)$ is a decreasing function. Thus we can apply the alternating series test to show that the series converges when $x = \frac{1}{3} .$
When $x = - \frac{1}{3}$ the series becomes
$\begin{matrix} \sum_{n = 1}^{\infty} \frac{\sqrt{n + 1}}{2 n + 3} . \end{matrix}$
Notice that when $n$ is large, the summand is approximately $\frac{\sqrt{n}}{2 n}$ which suggests that the series will diverge by comparison with $\sum n^{- 1 / 2} .$ To formalise this, we can use the limit comparison theorem:
$\begin{aligned} lim_{n \to \infty} \frac{\sqrt{n + 1}}{2 n + 3} \frac{1}{n^{- 1 / 2}} & = lim_{n \to \infty} \frac{\sqrt{n} \cdot \sqrt{1 + 1 / n}}{n (2 + 3 / n)} \cdot n^{1 / 2} \\ = lim_{n \to \infty} \frac{n \cdot \sqrt{1 + 1 / n}}{n (2 + 3 / n)} \\ = \frac{1}{2} \end{aligned}$
So since this ratio has a finite limit and the series $\sum n^{- 1 / 2}$ diverges, we know that our series also diverges.

So in summary the series converges when

- \frac{1}{3} < x \leq \frac{1}{3}

and diverges otherwise.

🔗

Subsection 3.3.6 Convergence Test List

🔗

We now have half a dozen convergence tests:

Divergence Test
- works well when the $n^{th}$ term in the series fails to converge to zero as $n$ tends to infinity
Alternating Series Test
- works well when successive terms in the series alternate in sign
- don’t forget to check that successive terms decrease in magnitude and tend to zero as $n$ tends to infinity
Integral Test
- works well when, if you substitute $x$ for $n$ in the $n^{th}$ term you get a function, $f (x),$ that you can integrate
- don’t forget to check that $f (x) \geq 0$ and that $f (x)$ decreases as $x$ increases
Ratio Test
- works well when $\frac{a_{n + 1}}{a_{n}}$ simplifies enough that you can easily compute $lim_{n \to \infty} | \frac{a_{n + 1}}{a_{n}} | = L$
- this often happens when $a_{n}$ contains powers, like $7^{n},$ or factorials, like $n!$
- don’t forget that $L = 1$ tells you nothing about the convergence/divergence of the series
Comparison Test and Limit Comparison Test
- works well when, for very large $n,$ the $n^{th}$ term $a_{n}$ is approximately the same as a simpler term $b_{n}$ (see Example 3.3.10) and it is easy to determine whether or not $\sum_{n = 1}^{\infty} b_{n}$ converges
- don’t forget to check that $b_{n} \geq 0$
- usually the Limit Comparison Test is easier to apply than the Comparison Test

🔗

Subsection 3.3.7 Optional — The Leaning Tower of Books

🔗

Imagine that you are about to stack a bunch of identical books on a table. But you don’t want to just stack them exactly vertically. You want to built a “leaning tower of books” that overhangs the edge of the table as much as possible.

🔗

How big an overhang can you get? The answer to that question, which we’ll now derive, uses a series!

Let’s start by just putting book #1 on the table. It’s the red book labelled “ $B_{1}$ ” in the figure below.
Use a horizontal $x$ -axis with $x = 0$ corresponding to the right hand edge of the table. Imagine that we have placed book #1 so that its right hand edge overhangs the end of the table by a distance $x_{1} .$
- In order for the book to not topple off of the table, we need its centre of mass to lie above the table. That is, we need the $x$ -coordinate of the centre mass of $B_{1},$ which we shall denote $\bar{X} (B_{1}),$ to obey
  $\bar{X} (B_{1}) \leq 0$
  Assuming that our books have uniform density and are of length $L,$ $\bar{X} (B_{1})$ will be exactly half way between the right hand end of the book, which is at $x = x_{1},$ and the left hand end of the book, which is at $x = x_{1} - L .$ So
  $\bar{X} (B_{1}) = \frac{1}{2} x_{1} + \frac{1}{2} (x_{1} - L) = x_{1} - \frac{L}{2}$
Thus book #1 does not topple off of the table provided

$x_{1} \leq \frac{L}{2}$
Now let’s put books #1 and #2 on the table, with the right hand edge of book #1 at $x = x_{1}$ and the right hand edge of book #2 at $x = x_{2},$ as in the figure below.
- In order for book #2 to not topple off of book #1, we need the centre of mass of book #2 to lie above book #1. That is, we need the $x$ -coordinate of the centre mass of $B_{2},$ which is $\bar{X} (B_{2}) = x_{2} - \frac{L}{2},$ to obey
  $\bar{X} (B_{2}) \leq x_{1} ⟺ x_{2} - \frac{L}{2} \leq x_{1} ⟺ x_{2} \leq x_{1} + \frac{L}{2}$
- Assuming that book #2 does not topple off of book #1, we still need to arrange that the pair of books does not topple off of the table. Think of the pair of books as the combined red object in the figure
  
  In order for the combined red object to not topple off of the table, we need the centre of mass of the combined red object to lie above the table. That is, we need the $x$ -coordinate of the centre mass of the combined red object, which we shall denote $\bar{X} (B_{1} \cup B_{2}),$ to obey
  
  $\bar{X} (B_{1} \cup B_{2}) \leq 0$
  
  The centre of mass of the combined red object is the weighted average
  ¹⁶
  It might be a good idea to review the beginning of §2.3 at this point.
  of the centres of mass of $B_{1}$ and $B_{2} .$ As $B_{1}$ and $B_{2}$ have the same weight,
  
  $\begin{aligned} \bar{X} (B_{1} \cup B_{2}) & = \frac{1}{2} \bar{X} (B_{1}) + \frac{1}{2} \bar{X} (B_{2}) = \frac{1}{2} (x_{1} - \frac{L}{2}) + \frac{1}{2} (x_{2} - \frac{L}{2}) \\ = \frac{1}{2} (x_{1} + x_{2}) - \frac{L}{2} \end{aligned}$
  
  and the combined red object does not topple off of the table if
  
  $\bar{X} (B_{1} \cup B_{2}) = \frac{1}{2} (x_{1} + x_{2}) - \frac{L}{2} \leq 0 ⟺ x_{1} + x_{2} \leq L$
In conclusion, our two-book tower survives if

$\begin{matrix} x_{2} \leq x_{1} + \frac{L}{2} and x_{1} + x_{2} \leq L \end{matrix}$

In particular we may choose $x_{1}$ and $x_{2}$ to satisfy $x_{2} = x_{1} + \frac{L}{2}$ and $x_{1} + x_{2} = L .$ Then, substituting $x_{2} = x_{1} + \frac{L}{2}$ into $x_{1} + x_{2} = L$ gives

$x_{1} + (x_{1} + \frac{L}{2}) = L ⟺ 2 x_{1} = \frac{L}{2} ⟺ x_{1} = \frac{L}{2} (\frac{1}{2}), x_{2} = \frac{L}{2} (1 + \frac{1}{2})$
Before considering the general “ $n$ -book tower”, let’s now put books #1, #2 and #3 on the table, with the right hand edge of book #1 at $x = x_{1},$ the right hand edge of book #2 at $x = x_{2},$ and the right hand edge of book #3 at $x = x_{3},$ as in the figure below.
- In order for book #3 to not topple off of book #2, we need the centre of mass of book #3 to lie above book #2. That is, we need the $x$ -coordinate of the centre mass of $B_{3},$ which is $\bar{X} (B_{3}) = x_{3} - \frac{L}{2},$ to obey
  $\bar{X} (B_{3}) \leq x_{2} ⟺ x_{3} - \frac{L}{2} \leq x_{2} ⟺ x_{3} \leq x_{2} + \frac{L}{2}$
- Assuming that book #3 does not topple off of book #2, we still need to arrange that the pair of books, book #2 plus book #3 (the red object in the figure below), does not topple off of book #1.
  
  In order for this combined red object to not topple off of book #1, we need the $x$ -coordinate of its centre mass, which we denote $\bar{X} (B_{2} \cup B_{3}),$ to obey
  
  $\bar{X} (B_{2} \cup B_{3}) \leq x_{1}$
  
  The centre of mass of the combined red object is the weighted average of the centre of masses of $B_{2}$ and $B_{3} .$ As $B_{2}$ and $B_{3}$ have the same weight,
  
  $\begin{aligned} \bar{X} (B_{2} \cup B_{3}) & = \frac{1}{2} \bar{X} (B_{2}) + \frac{1}{2} \bar{X} (B_{3}) = \frac{1}{2} (x_{2} - \frac{L}{2}) + \frac{1}{2} (x_{3} - \frac{L}{2}) \\ = \frac{1}{2} (x_{2} + x_{3}) - \frac{L}{2} \end{aligned}$
  
  and the combined red object does not topple off of book #1 if
  
  $\frac{1}{2} (x_{2} + x_{3}) - \frac{L}{2} \leq x_{1} ⟺ x_{2} + x_{3} \leq 2 x_{1} + L$
- Assuming that book #3 does not topple off of book #2, and also that the combined book #2 plus book #3 does not topple off of book #1, we still need to arrange that the whole tower of books, book #1 plus book #2 plus book #3 (the red object in the figure below), does not topple off of the table.
  
  In order for this combined red object to not topple off of the table, we need the $x$ -coordinate of its centre mass, which we denote $\bar{X} (B_{1} \cup B_{2} \cup B_{3}),$ to obey
  
  $\bar{X} (B_{1} \cup B_{2} \cup B_{3}) \leq 0$
  
  The centre of mass of the combined red object is the weighted average of the centre of masses of $B_{1}$ and $B_{2}$ and $B_{3} .$ As they all have the same weight,
  
  $\begin{aligned} \bar{X} (B_{1} \cup B_{2} \cup B_{3}) & = \frac{1}{3} \bar{X} (B_{1}) + \frac{1}{3} \bar{X} (B_{2}) + \frac{1}{3} \bar{X} (B_{3}) \\ = \frac{1}{3} (x_{1} - \frac{L}{2}) + \frac{1}{3} (x_{2} - \frac{L}{2}) + \frac{1}{3} (x_{3} - \frac{L}{2}) \\ = \frac{1}{3} (x_{1} + x_{2} + x_{3}) - \frac{L}{2} \end{aligned}$
  
  and the combined red object does not topple off of the table if
  
  $\frac{1}{3} (x_{1} + x_{2} + x_{3}) - \frac{L}{2} \leq 0 ⟺ x_{1} + x_{2} + x_{3} \leq \frac{3 L}{2}$
In conclusion, our three-book tower survives if

$\begin{matrix} x_{3} \leq x_{2} + \frac{L}{2} and x_{2} + x_{3} \leq 2 x_{1} + L and x_{1} + x_{2} + x_{3} \leq \frac{3 L}{2} \end{matrix}$

In particular, we may choose $x_{1},$ $x_{2}$ and $x_{3}$ to satisfy

$\begin{aligned} x_{1} + x_{2} + x_{3} & = \frac{3 L}{2} and \\ x_{2} + x_{3} & = 2 x_{1} + L and \\ x_{3} & = \frac{L}{2} + x_{2} \end{aligned}$

Substituting the second equation into the first gives

$\begin{matrix} 3 x_{1} + L = \frac{3 L}{2} ⟹ x_{1} = \frac{L}{2} (\frac{1}{3}) \end{matrix}$

Next substituting the third equation into the second, and then using the formula above for $x_{1},$ gives

$\begin{matrix} 2 x_{2} + \frac{L}{2} = 2 x_{1} + L = \frac{L}{3} + L ⟹ x_{2} = \frac{L}{2} (\frac{1}{2} + \frac{1}{3}) \end{matrix}$

and finally

$\begin{matrix} x_{3} = \frac{L}{2} + x_{2} = \frac{L}{2} (1 + \frac{1}{2} + \frac{1}{3}) \end{matrix}$
We are finally ready for the general “ $n$ -book tower”. Stack $n$ books on the table, with book $B_{1}$ on the bottom and book $B_{n}$ at the top, and with the right hand edge of book # $j$ at $x = x_{j} .$ The same centre of mass considerations as above show that the tower survives if
$\begin{aligned} \bar{X} (B_{n}) & \leq x_{n - 1} & x_{n} - \frac{L}{2} & \leq x_{n - 1} \\ \bar{X} (B_{n - 1} \cup B_{n}) & \leq x_{n - 2} & \frac{1}{2} (x_{n - 1} + x_{n}) - \frac{L}{2} & \leq x_{n - 2} \\ ⋮ & ⋮ \\ \bar{X} (B_{3} \cup \dots \cup B_{n}) & \leq x_{2} & \frac{1}{n - 2} (x_{3} + \dots + x_{n}) - \frac{L}{2} & \leq x_{2} \\ \bar{X} (B_{2} \cup B_{3} \cup \dots \cup B_{n}) & \leq x_{1} & \frac{1}{n - 1} (x_{2} + x_{3} + \dots + x_{n}) - \frac{L}{2} & \leq x_{1} \\ \bar{X} (B_{1} \cup B_{2} \cup B_{3} \cup \dots \cup B_{n}) & \leq 0 & \frac{1}{n} (x_{1} + x_{2} + x_{3} + \dots + x_{n}) - \frac{L}{2} & \leq 0 \end{aligned}$
In particular, we may choose the $x_{j}$ ’s to obey
$\begin{aligned} \frac{1}{n} (x_{1} + x_{2} + x_{3} + \dots + x_{n}) & = \frac{L}{2} \\ \frac{1}{n - 1} (x_{2} + x_{3} + \dots + x_{n}) & = \frac{L}{2} + x_{1} \\ \frac{1}{n - 2} (x_{3} + \dots + x_{n}) & = \frac{L}{2} + x_{2} \\ ⋮ & ⋮ \\ \frac{1}{2} (x_{n - 1} + x_{n}) & = \frac{L}{2} + x_{n - 2} \\ x_{n} & = \frac{L}{2} + x_{n - 1} \end{aligned}$
Substituting $x_{2} + x_{3} + \dots + x_{n} = (n - 1) x_{1} + \frac{L}{2} (n - 1)$ from the second equation into the first equation gives
$\begin{aligned} \frac{1}{n} {\overset{n x_{1}}{\overset{⏞}{x_{1} + (n - 1) x_{1}}} + \frac{L}{2} (n - 1)} = \frac{L}{2} & ⟹ x_{1} + \frac{L}{2} (1 - \frac{1}{n}) = \frac{L}{2} (\frac{1}{2}) \\ ⟹ x_{1} = \frac{L}{2} (\frac{1}{n}) \end{aligned}$
Substituting $x_{3} + \dots + x_{n} = (n - 2) x_{2} + \frac{L}{2} (n - 2)$ from the third equation into the second equation gives
$\begin{aligned} \frac{1}{n - 1} {\overset{(n - 1) x_{2}}{\overset{⏞}{x_{2} + (n - 2) x_{2}}} + \frac{L}{2} (\overset{(n - 1) - 1}{\overset{⏞}{n - 2}})} = \frac{L}{2} + x_{1} = \frac{L}{2} (1 + \frac{1}{n}) \\ ⟹ x_{2} + \frac{L}{2} (1 - \frac{1}{n - 1}) = \frac{L}{2} (1 + \frac{1}{n}) \\ ⟹ x_{2} = \frac{L}{2} (\frac{1}{n - 1} + \frac{1}{n}) \end{aligned}$
Just keep going. We end up with
$\begin{aligned} x_{1} & = \frac{L}{2} (\frac{1}{n}) \\ x_{2} & = \frac{L}{2} (\frac{1}{n - 1} + \frac{1}{n}) \\ x_{3} & = \frac{L}{2} (\frac{1}{n - 2} + \frac{1}{n - 1} + \frac{1}{n}) \\ ⋮ \\ x_{n - 2} & = \frac{L}{2} (\frac{1}{3} + \dots + \frac{1}{n}) \\ x_{n - 1} & = \frac{L}{2} (\frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{n}) \\ x_{n} & = \frac{L}{2} (1 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{n}) \end{aligned}$
Our overhang is $x_{n} = \frac{L}{2} (1 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{n}) .$ This is $\frac{L}{2}$ times the $n^{t h}$ partial sum of the harmonic series $\sum_{m = 1}^{\infty} \frac{1}{m} .$ As we saw in Example 3.3.6 (the $p$ test), the harmonic series diverges. So, as $n$ goes to infinity $1 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{n}$ also goes to infinity. We may make the overhang as large
¹⁷
At least if our table is strong enough.
as we like!

🔗

Subsection 3.3.8 Optional — The Root Test

🔗

There is another test that is very similar in spirit to the ratio test. It also comes from a reexamination of the geometric series

\begin{matrix} \sum_{n = 0}^{\infty} a_{n} = \sum_{n = 0}^{\infty} a r^{n} \end{matrix}

🔗

The ratio test was based on the observation that

r,

which largely determines whether or not the series converges, could be found by computing the ratio

r = a_{n + 1} / a_{n} .

The root test is based on the observation that

| r |

can also be determined by looking that the

n^{t h}

root of the

n^{t h}

term with

n

very large:

lim_{n \to \infty} \sqrt[n]{| a r^{n} |} = | r | lim_{n \to \infty} \sqrt[n]{| a |} = | r | if a \neq 0

🔗

Of course, in general, the

n^{t h}

term is not exactly

a r^{n} .

However, if for very large

n,

the

n^{t h}

term is approximately proportional to

r^{n},

with

| r |

given by the above limit, we would expect the series to converge when

| r | < 1

and diverge when

| r | > 1 .

That is indeed the case.

🔗

Theorem 3.3.24. Root Test.

🔗

Assume that

L = lim_{n \to \infty} \sqrt[n]{| a_{n} |}

🔗

exists or is

+ \infty .

If $L < 1,$ then $\sum_{n = 1}^{\infty} a_{n}$ converges.
If $L > 1,$ or $L = + \infty,$ then $\sum_{n = 1}^{\infty} a_{n}$ diverges.

🔗

Warning 3.3.25.

🔗

Beware that the root test provides absolutely no conclusion about the convergence or divergence of the series

\sum_{n = 1}^{\infty} a_{n}

lim_{n \to \infty} \sqrt[n]{| a_{n} |} = 1 .

Proof.

(a) Pick any number

R

obeying

L < R < 1 .

We are assuming that

\sqrt[n]{| a_{n} |}

approaches

L

n \to \infty .

In particular there must be some natural number

M

so that

\sqrt[n]{| a_{n} |} \leq R

for all

n \geq M .

| a_{n} | \leq R^{n}

for all

n \geq M

and the series

\sum_{n = 1}^{\infty} a_{n}

converges by comparison to the geometric series

\sum_{n = 1}^{\infty} R^{n}

(b) We are assuming that

\sqrt[n]{| a_{n} |}

approaches

L > 1

(or grows unboundedly) as

n \to \infty .

In particular there must be some natural number

M

so that

\sqrt[n]{| a_{n} |} \geq 1

for all

n \geq M .

| a_{n} | \geq 1

for all

n \geq M

and the series diverges by the divergence test.

Example 3.3.26. $\sum_{n = 1}^{\infty} \frac{(- 3)^{n} \sqrt{n + 1}}{2 n + 3} x^{n}$ .

We have already used the ratio test, in Example 3.3.23, to show that this series converges when

| x | < \frac{1}{3}

and diverges when

| x | > \frac{1}{3} .

We’ll now use the root test to draw the same conclusions.

Write $a_{n} = \frac{(- 3)^{n} \sqrt{n + 1}}{2 n + 3} x^{n} .$
We compute
$\begin{aligned} \sqrt[n]{| a_{n} |} & = \sqrt[n]{| \frac{(- 3)^{n} \sqrt{n + 1}}{2 n + 3} x^{n} |} \\ = 3 | x | (n + 1)^{\frac{1}{2 n}} (2 n + 3)^{- \frac{1}{n}} \end{aligned}$
We’ll now show that the limit of $(n + 1)^{\frac{1}{2 n}}$ as $n \to \infty$ is exactly $1 .$ To do, so we first compute the limit of the logarithm.
$\begin{aligned} lim_{n \to \infty} \log (n + 1)^{\frac{1}{2 n}} & = lim_{n \to \infty} \frac{\log (n + 1)}{2 n} & now apply Theorem 3.1.6 \\ = lim_{t \to \infty} \frac{\log (t + 1)}{2 t} \\ = lim_{t \to \infty} \frac{\frac{1}{t + 1}}{2} & by l'Hôpital \\ = 0 \end{aligned}$
So
$\begin{matrix} lim_{n \to \infty} (n + 1)^{\frac{1}{2 n}} = lim_{n \to \infty} \exp {\log (n + 1)^{\frac{1}{2 n}}} = e^{0} = 1 \end{matrix}$
An essentially identical computation also gives that $lim_{n \to \infty} (2 n + 3)^{- \frac{1}{n}} = e^{0} = 1 .$
So
$\begin{matrix} lim_{n \to \infty} \sqrt[n]{| a_{n} |} = 3 | x | \end{matrix}$

and the root test also tells us that if

3 | x | > 1

the series diverges, while when

3 | x | < 1

the series converges.

🔗

We have done the last example once, in Example 3.3.23, using the ratio test and once, in Example 3.3.26, using the root test. It was clearly much easier to use the ratio test. Here is an example that is most easily handled by the root test.

Example 3.3.27. $\sum_{n = 1}^{\infty} (\frac{n}{n + 1})^{n^{2}}$ .

Write

a_{n} = (\frac{n}{n + 1})^{n^{2}} .

Then

\begin{aligned} \sqrt[n]{| a_{n} |} & = \sqrt[n]{(\frac{n}{n + 1})^{n^{2}}} = (\frac{n}{n + 1})^{n} = (1 + \frac{1}{n})^{- n} \end{aligned}

Now we take the limit,

\begin{aligned} lim_{n \to \infty} (1 + \frac{1}{n})^{- n} & = lim_{X \to \infty} (1 + \frac{1}{X})^{- X} & by Theorem 3.1.6 \\ = lim_{x \to 0} (1 + x)^{- 1 / x} & where x = \frac{1}{X} \\ = e^{- 1} \end{aligned}

by Example 3.7.20 in the CLP-1 text with

a = - 1 .

As the limit is strictly smaller than

1,

the series

\sum_{n = 1}^{\infty} (\frac{n}{n + 1})^{n^{2}}

converges.

To draw the same conclusion using the ratio test, one would have to show that the limit of

\begin{aligned} \frac{a_{n + 1}}{a_{n}} & = (\frac{n + 1}{n + 2})^{(n + 1)^{2}} (\frac{n + 1}{n})^{n^{2}} \end{aligned}

n \to \infty

is strictly smaller than 1. It’s clearly better to stick with the root test.

🔗

Subsection 3.3.9 Optional — Harmonic and Basel Series

🔗

Subsubsection 3.3.9.1 The Harmonic Series

🔗

The series

\begin{matrix} \sum_{n = 1}^{\infty} \frac{1}{n} \end{matrix}

🔗

that appeared in Warning 3.3.3, is called the Harmonic series

¹⁸

The interested reader should use their favourite search engine to read more on the link between this series and musical harmonics. You can also find interesting links between the Harmonic series and the so-called “jeep problem” and also the problem of stacking a tower of dominoes to create an overhang that does not topple over.

, and its partial sums

\begin{aligned} H_{N} & = \sum_{n = 1}^{N} \frac{1}{n} \end{aligned}

🔗

are called the Harmonic numbers. Though these numbers have been studied at least as far back as Pythagoras, the divergence of the series was first proved in around 1350 by Nicholas Oresme (1320-5 – 1382), though the proof was lost for many years and rediscovered by Mengoli (1626–1686) and the Bernoulli brothers (Johann 1667–1748 and Jacob 1655–1705).

🔗

Oresme’s proof is beautiful and all the more remarkable that it was produced more than 300 years before calculus was developed by Newton and Leibnitz. It starts by grouping the terms of the harmonic series carefully:

\begin{aligned} \sum_{n = 1}^{\infty} \frac{1}{n} = 1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \frac{1}{5} + \frac{1}{6} + \frac{1}{7} + \frac{1}{8} + \dots \\ = 1 + \frac{1}{2} + (\frac{1}{3} + \frac{1}{4}) + (\frac{1}{5} + \frac{1}{6} + \frac{1}{7} + \frac{1}{8}) + (\frac{1}{9} + \frac{1}{10} + \dots + \frac{1}{15} + \frac{1}{16}) + \dots \\ > 1 + \frac{1}{2} + (\frac{1}{4} + \frac{1}{4}) + (\frac{1}{8} + \frac{1}{8} + \frac{1}{8} + \frac{1}{8}) + (\frac{1}{16} + \frac{1}{16} + \dots + \frac{1}{16} + \frac{1}{16}) + \dots \\ = 1 + \frac{1}{2} + (\frac{2}{4}) + (\frac{4}{8}) + (\frac{8}{16}) + \dots \end{aligned}

🔗

So one can see that this is

1 + \frac{1}{2} + \frac{1}{2} + \frac{1}{2} + \frac{1}{2} + \dots

and so must diverge

¹⁹

The grouping argument can be generalised further and the interested reader should look up Cauchy’s condensation test.

🔗

There are many variations on Oresme’s proof — for example, using groups of two or three. A rather different proof relies on the inequality

\begin{matrix} e^{x} > 1 + x for x > 0 \end{matrix}

🔗

which follows immediately from the Taylor series for

e^{x}

given in Theorem 3.6.7. From this we can bound the exponential of the Harmonic numbers:

\begin{aligned} e^{H_{n}} & = e^{1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \dots + \frac{1}{n}} \\ = e^{1} \cdot e^{1 / 2} \cdot e^{1 / 3} \cdot e^{1 / 4} \dots e^{1 / n} \\ > (1 + 1) \cdot (1 + 1 / 2) \cdot (1 + 1 / 3) \cdot (1 + 1 / 4) \dots (1 + 1 / n) \\ = \frac{2}{1} \cdot \frac{3}{2} \cdot \frac{4}{3} \cdot \frac{5}{4} \dots \frac{n + 1}{n} \\ = n + 1 \end{aligned}

🔗

Since

e^{H_{n}}

grows unboundedly with

n,

the harmonic series diverges.

🔗

Subsubsection 3.3.9.2 The Basel Problem

🔗

The problem of determining the exact value of the sum of the series

\begin{matrix} \sum_{n = 1}^{\infty} \frac{1}{n^{2}} \end{matrix}

🔗

is called the Basel problem. The problem is named after the home town of Leonhard Euler, who solved it. One can use telescoping series to show that this series must converge. Notice that

\begin{aligned} \frac{1}{n^{2}} & < \frac{1}{n (n - 1)} = \frac{1}{n - 1} - \frac{1}{n} \end{aligned}

🔗

Hence we can bound the partial sum:

\begin{aligned} S_{k} = \sum_{n = 1}^{k} \frac{1}{n^{2}} & < 1 + \sum_{n = 2}^{k} \frac{1}{n (n - 1)} & avoid dividing by 0 \\ = 1 + \sum_{n = 2}^{k} (\frac{1}{n - 1} - \frac{1}{n}) & which telescopes to \\ = 1 + 1 - \frac{1}{k} \end{aligned}

🔗

Thus, as

k

increases, the partial sum

S_{k}

increases (the series is a sum of positive terms), but is always smaller than

2 .

So the sequence of partial sums converges.

🔗

Mengoli posed the problem of evaluating the series exactly in 1644 and it was solved — not entirely rigorously — by Euler in 1734. A rigorous proof had to wait another 7 years. Euler used some extremely cunning observations and manipulations of the sine function to show that

\begin{aligned} \sum_{n = 1}^{\infty} \frac{1}{n^{2}} & = \frac{π^{2}}{6} . \end{aligned}

🔗

He used the Maclaurin series

\begin{aligned} \sin x & = 1 - \frac{x^{3}}{6} + \frac{x^{5}}{24} - \dots \end{aligned}

🔗

and a product formula for sine

\begin{array}{r} (✶) & \begin{aligned} \sin x & = x \cdot (1 - \frac{x}{π}) \cdot (1 + \frac{x}{π}) \cdot (1 - \frac{x}{2 π}) \cdot (1 + \frac{x}{2 π}) \cdot (1 - \frac{x}{3 π}) \cdot (1 + \frac{x}{3 π}) \dots \\ = x \cdot (1 - \frac{x^{2}}{π}) \cdot (1 - \frac{x^{2}}{4 π}) \cdot (1 - \frac{x^{2}}{9 π}) \dots \end{aligned} \end{array}

🔗

Extracting the coefficient of

x^{3}

from both expansions gives the desired result. The proof of the product formula is well beyond the scope of this course. But notice that at least the values of

x

which make the left hand side of (✶) zero, namely

x = n π

with

n

integer, are exactly the same as the values of

x

which make the right hand side of (✶) zero

²⁰

Knowing that the left and right hand sides of (✶) are zero for the same values of

x

is far from the end of the story. Two functions

f (x)

and

g (x)

having the same zeros, need not be equal. It is certainly possible that

f (x) = g (x) * A (x)

where

A (x)

is a function that is nowhere zero. The interested reader should look up the Weierstrass factorisation theorem.

🔗

This approach can also be used to compute

\sum_{n = 1}^{\infty} n^{- 2 p}

for

p = 1, 2, 3, \dots

and show that they are rational multiples

²¹

Search-engine your way to “Riemann zeta function”.

π^{2 p} .

The corresponding series of odd powers are significantly nastier and getting closed form expressions for them remains a famous open problem.

🔗

Subsection 3.3.10 Optional — Some Proofs

🔗

In this optional section we provide proofs of two convergence tests. We shall repeatedly use the fact that any sequence

a_{1},

a_{2},

a_{3},

\dots,

of real numbers which is increasing (i.e.

a_{n + 1} \geq a_{n}

for all

n

) and bounded (i.e. there is a constant

M

such that

a_{n} \leq M

for all

n

) converges. We shall not prove this fact

²²

It is one way to state a property of the real number system called “completeness”. The interested reader should use their favourite search engine to look up “completeness of the real numbers”.

🔗

We start with the comparison test, and then move on to the alternating series test.

🔗

Theorem 3.3.28. The Comparison Test (stated again).

🔗

Let

N_{0}

be a natural number and let

K > 0 .

If $| a_{n} | \leq K c_{n}$ for all $n \geq N_{0}$ and $\sum_{n = 0}^{\infty} c_{n}$ converges, then $\sum_{n = 0}^{\infty} a_{n}$ converges.
If $a_{n} \geq K d_{n} \geq 0$ for all $n \geq N_{0}$ and $\sum_{n = 0}^{\infty} d_{n}$ diverges, then $\sum_{n = 0}^{\infty} a_{n}$ diverges.

Proof.

(a) By hypothesis

\sum_{n = 0}^{\infty} c_{n}

converges. So it suffices to prove that

\sum_{n = 0}^{\infty} [K c_{n} - a_{n}]

converges, because then, by our Arithmetic of series Theorem 3.2.9,

\sum_{n = 0}^{\infty} a_{n} = \sum_{n = 0}^{\infty} K c_{n} - \sum_{n = 0}^{\infty} [K c_{n} - a_{n}]

will converge too. But for all

n \geq N_{0},

K c_{n} - a_{n} \geq 0

so that, for all

N \geq N_{0},

the partial sums

S_{N} = \sum_{n = 0}^{N} [K c_{n} - a_{n}]

increase with

N,

but never gets bigger than the finite number

\sum_{n = 0}^{N_{0}} [K c_{n} - a_{n}] + K \sum_{n = N_{0} + 1}^{\infty} c_{n} .

So the partial sums

S_{N}

converge as

N \to \infty .

(b) For all

N > N_{0},

the partial sum

S_{N} = \sum_{n = 0}^{N} a_{n} \geq \sum_{n = 0}^{N_{0}} a_{n} + K \sum_{n = N_{0} + 1}^{N} d_{n}

By hypothesis,

\sum_{n = N_{0} + 1}^{N} d_{n},

and hence

S_{N},

grows without bound as

N \to \infty .

S_{N} \to \infty

N \to \infty .

🔗

Theorem 3.3.29. Alternating Series Test (stated again).

🔗

Let

{a_{n}}_{n = 1}^{\infty}

be a sequence of real numbers that obeys

$a_{n} \geq 0$ for all $n \geq 1$ and
$a_{n + 1} \leq a_{n}$ for all $n \geq 1$ (i.e. the sequence is monotone decreasing) and
$lim_{n \to \infty} a_{n} = 0 .$

🔗

Then

a_{1} - a_{2} + a_{3} - a_{4} + \dots = \sum_{n = 1}^{\infty} (- 1)^{n - 1} a_{n} = S

🔗

converges and, for each natural number

N,

S - S_{N}

is between

0

and (the first dropped term)

(- 1)^{N} a_{N + 1} .

Here

S_{N}

is, as previously, the

N^{t h}

partial sum

\sum_{n = 1}^{N} (- 1)^{n - 1} a_{n} .

Proof.

Let

2 n

be an even natural number. Then the

2 n^{t h}

partial sum obeys

\begin{aligned} S_{2 n} & = \overset{\geq 0}{\overset{⏞}{(a_{1} - a_{2})}} + \overset{\geq 0}{\overset{⏞}{(a_{3} - a_{4})}} + \dots + \overset{\geq 0}{\overset{⏞}{(a_{2 n - 1} - a_{2 n})}} \\ \leq \overset{\geq 0}{\overset{⏞}{(a_{1} - a_{2})}} + \overset{\geq 0}{\overset{⏞}{(a_{3} - a_{4})}} + \dots + \overset{\geq 0}{\overset{⏞}{(a_{2 n - 1} - a_{2 n})}} + \overset{\geq 0}{\overset{⏞}{(a_{2 n + 1} - a_{2 n + 2})}} \\ = S_{2 (n + 1)} \end{aligned}

and

\begin{aligned} S_{2 n} & = a_{1} - (\overset{\geq 0}{\overset{⏞}{a_{2} - a_{3}}}) - (\overset{\geq 0}{\overset{⏞}{a_{4} - a_{5}}}) - \dots - \overset{\geq 0}{\overset{⏞}{(a_{2 n - 2} - a_{2 n - 1})}} - \overset{\geq 0}{\overset{⏞}{a_{2 n}}} \\ \leq a_{1} \end{aligned}

So the sequence

S_{2},

S_{4},

S_{6},

\dots

of even partial sums is a bounded, increasing sequence and hence converges to some real number

S .

Since

S_{2 n + 1} = S_{2 n} + a_{2 n + 1}

and

a_{2 n + 1}

converges zero as

n \to \infty,

the odd partial sums

S_{2 n + 1}

also converge to

S .

That

S - S_{N}

is between

0

and (the first dropped term)

(- 1)^{N} a_{N + 1}

was already proved in §3.3.4.

🔗

Select the series below that diverge by the divergence test.

🔗

(A)

\sum_{n = 1}^{\infty} \frac{1}{n}

🔗

(B)

\sum_{n = 1}^{\infty} \frac{n^{2}}{n + 1}

🔗

(C)

\sum_{n = 1}^{\infty} \sin n

🔗

(D)

\sum_{n = 1}^{\infty} \sin (π n)

🔗

2.

🔗

Select the series below whose terms satisfy the conditions to apply the integral test.

🔗

(A)

\sum_{n = 1}^{\infty} \frac{1}{n}

🔗

(B)

\sum_{n = 1}^{\infty} \frac{n^{2}}{n + 1}

🔗

(C)

\sum_{n = 1}^{\infty} \sin n

🔗

(D)

\sum_{n = 1}^{\infty} \frac{\sin n + 1}{n^{2}}

🔗

3.

🔗

Suppose there is some threshold after which a person is considered old, and before which they are young.

🔗

Let Olaf be an old person, and let Yuan be a young person.

Suppose I am older than Olaf. Am I old?
Suppose I am younger than Olaf. Am I old?
Suppose I am older than Yuan. Am I young?
Suppose I am younger than Yuan. Am I young?

🔗

4.

🔗

Below are graphs of two sequences with positive terms. Assume the sequences continue as shown. Fill in the table with conclusions that can be made from the direct comparison test, if any.

	if $\sum a_{n}$ converges	if $\sum a_{n}$ diverges
and if ${a_{n}}$ is the red series	then $\sum b_{n}$	then $\sum b_{n}$
and if ${a_{n}}$ is the blue series	then $\sum b_{n}$	then $\sum b_{n}$

🔗

5.

🔗

For each pair of series below, decide whether the second series is a valid comparison series to determine the convergence of the first series, using the direct comparison test and/or the limit comparison test.

$\sum_{n = 10}^{\infty} \frac{1}{n - 1},$ compared to the divergent series $\sum_{n = 10}^{\infty} \frac{1}{n} .$
$\sum_{n = 1}^{\infty} \frac{\sin n}{n^{2} + 1},$ compared to the convergent series $\sum_{n = 1}^{\infty} \frac{1}{n^{2}} .$
$\sum_{n = 5}^{\infty} \frac{n^{3} + 5 n + 1}{n^{6} - 2},$ compared to the convergent series $\sum_{n = 5}^{\infty} \frac{1}{n^{3}} .$
$\sum_{n = 5}^{\infty} \frac{1}{\sqrt{n}},$ compared to the divergent series $\sum_{n = 5}^{\infty} \frac{1}{\sqrt[4]{n}} .$

🔗

6.

🔗

Suppose

a_{n}

is a sequence with

lim_{n \to \infty} a_{n} = \frac{1}{2} .

Does

\sum_{n = 7}^{\infty} a_{n}

converge or diverge, or is it not possible to determine this from the information given? Why?

🔗

7.

🔗

What flaw renders the following reasoning invalid?

🔗
Q: Determine whether $\sum_{n = 1}^{\infty} \frac{\sin n}{n}$ converges or diverges.

🔗

🔗
A: First, we will evaluate $lim_{n \to \infty} \frac{\sin n}{n} .$

Note $\frac{- 1}{n} \leq \frac{\sin n}{n} \leq \frac{1}{n}$ for $n \geq 1 .$

Note also that $lim_{n \to \infty} \frac{- 1}{n} = lim_{n \to \infty} \frac{1}{n} = 0 .$

Therefore, by the Squeeze Theorem, $lim_{n \to \infty} \frac{\sin n}{n} = 0$ as well.

🔗
So, by the divergence test, $\sum_{n = 1}^{\infty} \frac{\sin n}{n}$ converges.

🔗

8.

🔗

What flaw renders the following reasoning invalid?

🔗
Q: Determine whether $\sum_{n = 1}^{\infty} (\sin (π n) + 2)$ converges or diverges.

🔗

🔗
A: We use the integral test. Let $f (x) = \sin (π x) + 2 .$ Note $f (x)$ is always positive, since $\sin (x) + 2 \geq - 1 + 2 = 1 .$ Also, $f (x)$ is continuous.

$\begin{aligned} \int_{1}^{\infty} [\sin (π x) + 2] d x & = lim_{b \to \infty} \int_{1}^{b} [\sin (π x) + 2] d x \\ = lim_{b \to \infty} [{- \frac{1}{π} \cos (π x) + 2 x |}_{1}^{b}] \\ = lim_{b \to \infty} [- \frac{1}{π} \cos (π b) + 2 b + \frac{1}{π} (- 1) - 2] \\ = \infty \end{aligned}$

🔗
By the integral test, since the integral diverges, also $\sum_{n = 1}^{\infty} (\sin (π n) + 2)$ diverges.

🔗

9.

🔗

What flaw renders the following reasoning invalid?

🔗
Q: Determine whether the series $\sum_{n = 1}^{\infty} \frac{2^{n + 1} n^{2}}{e^{n} + 2 n}$ converges or diverges.

🔗
A: We want to compare this series to the series $\sum_{n = 1}^{\infty} \frac{2^{n + 1}}{e^{n}} .$ Note both this series and the series in the question have positive terms.

🔗

🔗
First, we find that $\frac{2^{n + 1} n^{2}}{e^{n} + 2 n} > \frac{2^{n + 1}}{e^{n}}$ when $n$ is sufficiently large. The justification for this claim is as follows:

We note that $e^{n} (n^{2} - 1) > n^{2} - 1 > 2 n$ for $n$ sufficiently large.

Therefore, $e^{n} \cdot n^{2} > e^{n} + 2 n$

Therefore, $2^{n + 1} \cdot e^{n} \cdot n^{2} > 2^{n + 1} (e^{n} + 2 n)$

Since $e^{n} + 2 n$ and $e^{n}$ are both expressions that work out to be positive for the values of $n$ under consideration, we can divide both sides of the inequality by these terms without having to flip the inequality. So, $\frac{2^{n + 1} n^{2}}{e^{n} + 2 n} > \frac{2^{n + 1}}{e^{n}} .$

🔗
Now, we claim $\sum_{n = 1}^{\infty} \frac{2^{n + 1}}{e^{n}}$ converges.

🔗
Note $\sum_{n = 1}^{\infty} \frac{2^{n + 1}}{e^{n}} = 2 \sum_{n = 1}^{\infty} \frac{2^{n}}{e^{n}} = 2 \sum_{n = 1}^{\infty} {(\frac{2}{e})}^{n} .$ This is a geometric series with $r = \frac{2}{e} .$ Since $2 / e < 1,$ the series converges.

🔗
Now, by the Direct Comparison Test, we conclude that $\sum_{n = 1}^{\infty} \frac{2^{n + 1} n^{2}}{e^{n} + 2 n}$ converges.

🔗

10.

🔗

Which of the series below are alternating?

🔗

(A)

\sum_{n = 1}^{\infty} \sin n

🔗

(B)

\sum_{n = 1}^{\infty} \frac{\cos (π n)}{n^{3}}

🔗

(C)

\sum_{n = 1}^{\infty} \frac{7}{(- n)^{2 n}}

🔗

(D)

\sum_{n = 1}^{\infty} \frac{(- 2)^{n}}{3^{n + 1}}

🔗

11.

🔗

Give an example of a convergent series for which the ratio test is inconclusive.

🔗

12.

🔗

Imagine you’re taking an exam, and you momentarily forget exactly how the inequality in the ratio test works. You remember there’s a ratio, but you don’t remember which term goes on top; you remember there’s something about the limit being greater than or less than one, but you don’t remember which way implies convergence.

🔗

Explain why

lim_{n \to \infty} | \frac{a_{n + 1}}{a_{n}} | > 1

🔗

or, equivalently,

lim_{n \to \infty} | \frac{a_{n}}{a_{n + 1}} | < 1

🔗

should mean that the sum

\sum_{n = 1}^{\infty} a_{n}

diverges (rather than converging).

🔗

13.

🔗

Give an example of a series

\sum_{n = a}^{\infty} a_{n},

with a function

f (x)

such that

f (n) = a_{n}

for all whole numbers

n,

such that:

$\int_{a}^{\infty} f (x) d x$ diverges, while
$\sum_{n = a}^{\infty} a_{n}$ converges.

🔗

14. (✳).

🔗

Suppose that you want to use the Limit Comparison Test on the series

\sum_{n = 0}^{\infty} a_{n}

where

a_{n} = \frac{2^{n} + n}{3^{n} + 1} .

🔗

Write down a sequence

{b_{n}}

such that

lim_{n \to \infty} \frac{a_{n}}{b_{n}}

exists and is nonzero. (You don’t have to carry out the Limit Comparison Test)

🔗

15. (✳).

🔗

Decide whether each of the following statements is true or false. If false, provide a counterexample. If true provide a brief justification.

🔗

If $lim_{n \to \infty} a_{n} = 0,$ then $\sum_{n = 1}^{\infty} a_{n}$ converges.
If $lim_{n \to \infty} a_{n} = 0,$ then $\sum_{n = 1}^{\infty} (- 1)^{n} a_{n}$ converges.
If $0 \leq a_{n} \leq b_{n}$ and $\sum_{n = 1}^{\infty} b_{n}$ diverges, then $\sum_{n = 1}^{\infty} a_{n}$ diverges.

🔗

Exercises — Stage 2 .

🔗

16. (✳).

🔗

Does the series

\sum_{n = 2}^{\infty} \frac{n^{2}}{3 n^{2} + \sqrt{n}}

converge?

🔗

17. (✳).

🔗

Determine, with explanation, whether the series

\sum_{n = 1}^{\infty} \frac{5^{k}}{4^{k} + 3^{k}}

converges or diverges.

🔗

18. (✳).

🔗

Determine whether the series

\sum_{n = 0}^{\infty} \frac{1}{n + \frac{1}{2}}

is convergent or divergent. If it is convergent, find its value.

🔗

19.

🔗

Does the following series converge or diverge?

\sum_{k = 1}^{\infty} \frac{1}{\sqrt{k} \sqrt{k + 1}}

🔗

20.

🔗

Evaluate the following series, or show that it diverges:

\sum_{k = 30}^{\infty} 3 (1.001)^{k} .

🔗

21.

🔗

Evaluate the following series, or show that it diverges:

\sum_{n = 3}^{\infty} {(\frac{- 1}{5})}^{n} .

🔗

22.

🔗

Does the following series converge or diverge?

\sum_{n = 7}^{\infty} \sin (π n)

🔗

23.

🔗

Does the following series converge or diverge?

\sum_{n = 7}^{\infty} \cos (π n)

🔗

24.

🔗

Does the following series converge or diverge?

\sum_{k = 1}^{\infty} \frac{e^{k}}{k!} .

🔗

25.

🔗

Evaluate the following series, or show that it diverges:

\sum_{k = 0}^{\infty} \frac{2^{k}}{3^{k + 2}} .

🔗

26.

🔗

Does the following series converge or diverge?

\sum_{n = 1}^{\infty} \frac{n! n!}{(2 n)!} .

🔗

27.

🔗

Does the following series converge or diverge?

\sum_{n = 1}^{\infty} \frac{n^{2} + 1}{2 n^{4} + n} .

🔗

28. (✳).

🔗

Show that the series

\sum_{n = 3}^{\infty} \frac{5}{n (\log n)^{3 / 2}}

converges.

🔗

29. (✳).

🔗

Find the values of

p

for which the series

\sum_{n = 2}^{\infty} \frac{1}{n (\log n)^{p}}

converges.

🔗

30. (✳).

🔗

Does

\sum_{n = 1}^{\infty} \frac{e^{- \sqrt{n}}}{\sqrt{n}}

converge or diverge?

🔗

31. (✳).

🔗

Use the comparison test (not the limit comparison test) to show whether the series

\sum_{n = 2}^{\infty} \frac{\sqrt{3 n^{2} - 7}}{n^{3}}

🔗

converges or diverges.

🔗

32. (✳).

🔗

Determine whether the series

\sum_{k = 1}^{\infty} \frac{\sqrt[3]{k^{4} + 1}}{\sqrt{k^{5} + 9}}

converges.

🔗

33. (✳).

🔗

Does

\sum_{n = 1}^{\infty} \frac{n^{4} 2^{n / 3}}{(2 n + 7)^{4}}

converge or diverge?

🔗

34. (✳).

🔗

Determine, with explanation, whether each of the following series converge or diverge.

🔗

$\sum_{n = 1}^{\infty} \frac{1}{\sqrt{n^{2} + 1}}$
$\sum_{n = 1}^{\infty} \frac{n \cos (n π)}{2^{n}}$

🔗

35. (✳).

🔗

Determine whether the series

\sum_{k = 1}^{\infty} \frac{k^{4} - 2 k^{3} + 2}{k^{5} + k^{2} + k}

🔗

converges or diverges.

🔗

36. (✳).

🔗

Determine whether each of the following series converge or diverge.

🔗

$\sum_{n = 2}^{\infty} \frac{n^{2} + n + 1}{n^{5} - n}$
$\sum_{m = 1}^{\infty} \frac{3 m + \sin \sqrt{m}}{m^{2}}$

🔗

37.

🔗

Evaluate the following series, or show that it diverges:

\sum_{n = 5}^{\infty} \frac{1}{e^{n}} .

🔗

38. (✳).

🔗

Determine whether the series

\sum_{n = 2}^{\infty} \frac{6}{7^{n}}

is convergent or divergent. If it is convergent, find its value.

🔗

39. (✳).

🔗

Determine, with explanation, whether each of the following series converge or diverge.

🔗

$1 + \frac{1}{3} + \frac{1}{5} + \frac{1}{7} + \frac{1}{9} + \dots .$
$\sum_{n = 1}^{\infty} \frac{2 n + 1}{2^{2 n + 1}}$

🔗

40. (✳).

🔗

Determine, with explanation, whether each of the following series converges or diverges.

🔗

$\sum_{k = 2}^{\infty} \frac{\sqrt[3]{k}}{k^{2} - k} .$
$\sum_{k = 1}^{\infty} \frac{k^{10} 10^{k} (k!)^{2}}{(2 k)!} .$
$\sum_{k = 3}^{\infty} \frac{1}{k (\log k) (\log \log k)} .$

🔗

41. (✳).

🔗

Determine whether the series

\sum_{n = 1}^{\infty} \frac{n^{3} - 4}{2 n^{5} - 6 n}

is convergent or divergent.

🔗

42. (✳).

🔗

What is the smallest value of

N

such that the partial sum

\sum_{n = 1}^{N} \frac{(- 1)^{n}}{n \cdot 10^{n}}

approximates

\sum_{n = 1}^{\infty} \frac{(- 1)^{n}}{n \cdot 10^{n}}

within an accuracy of

10^{- 6} ?

🔗

43. (✳).

🔗

It is known that

\sum_{n = 1}^{\infty} \frac{(- 1)^{n - 1}}{n^{2}} = \frac{π^{2}}{12}

(you don’t have to show this). Find

N

so that

S_{N},

the

N^{t h}

partial sum of the series, satisfies

| \frac{π^{2}}{12} - S_{N} | \leq 10^{- 6} .

Be sure to say why your method can be applied to this particular series.

🔗

44. (✳).

🔗

The series

\sum_{n = 1}^{\infty} \frac{(- 1)^{n + 1}}{(2 n + 1)^{2}}

converges to some number

S

(you don’t have to prove this). According to the Alternating Series Estimation Theorem, what is the smallest value of

N

for which the

N^{t h}

partial sum of the series is at most

\frac{1}{100}

away from

S ?

For this value of

N,

write out the

N^{t h}

partial sum of the series.

🔗

Exercises — Stage 3 .

🔗

A number of phenomena roughly follow a distribution called Zipf’s law. We discuss some of these in Questions 52 and 53.

🔗

45. (✳).

🔗

Determine, with explanation, whether the following series converge or diverge.

🔗

$\sum_{n = 1}^{\infty} \frac{n^{n}}{9^{n} n!}$
$\sum_{n = 1}^{\infty} \frac{1}{n^{\log n}}$

🔗

46. (✳).

🔗

(a) Prove that

\int_{2}^{\infty} \frac{x + \sin x}{1 + x^{2}} d x

diverges.

🔗

(b) Explain why you cannot conclude that

\sum_{n = 1}^{\infty} \frac{n + \sin n}{1 + n^{2}}

diverges from part (a) and the Integral Test.

🔗

\sum_{n = 1}^{\infty} \frac{n + \sin n}{1 + n^{2}}

converges or diverges.

🔗

47. (✳).

🔗

Show that

\sum_{n = 1}^{\infty} \frac{e^{- \sqrt{n}}}{\sqrt{n}}

converges and find an interval of length

0.05

or less that contains its exact value.

🔗

48. (✳).

🔗

Suppose that the series

\sum_{n = 1}^{\infty} a_{n}

converges and that

1 > a_{n} \geq 0

for all

n .

Prove that the series

\sum_{n = 1}^{\infty} \frac{a_{n}}{1 - a_{n}}

also converges.

🔗

49. (✳).

🔗

Suppose that the series

\sum_{n = 0}^{\infty} (1 - a_{n})

converges, where

a_{n} > 0

for

n = 0, 1, 2, 3, \dots .

Determine whether the series

\sum_{n = 0}^{\infty} 2^{n} a_{n}

converges or diverges.

🔗

50. (✳).

🔗

Assume that the series

\sum_{n = 1}^{\infty} \frac{n a_{n} - 2 n + 1}{n + 1}

converges, where

a_{n} > 0

for

n = 1, 2, \dots .

Is the following series

\begin{matrix} - \log a_{1} + \sum_{n = 1}^{\infty} \log (\frac{a_{n}}{a_{n + 1}}) \end{matrix}

🔗

convergent? If your answer is NO, justify your answer. If your answer is YES, evaluate the sum of the series

- \log a_{1} + \sum_{n = 1}^{\infty} \log (\frac{a_{n}}{a_{n + 1}}) .

🔗

51. (✳).

🔗

Prove that if

a_{n} \geq 0

for all

n

and if the series

\sum_{n = 1}^{\infty} a_{n}

converges, then the series

\sum_{n = 1}^{\infty} a_{n}^{2}

also converges.

🔗

52.

🔗

Suppose the frequency of word use in a language has the following pattern:

🔗
The $n$ -th most frequently used word accounts for $\frac{α}{n}$ percent of the total words used.

So, in a text of 100 words, we expect the most frequently used word to appear

α

times, while the second-most-frequently used word should appear about

\frac{α}{2}

times, and so on.

🔗

If books written in this language use

20, 000

distinct words, then the most commonly used word accounts for roughly what percentage of total words used?

🔗

53.

🔗

Suppose the sizes of cities in a country adhere to the following pattern: if the largest city has population

α,

then the

n

-th largest city has population

\frac{α}{n} .

🔗

If the largest city in this country has 2 million people and the smallest city has 1 person, then the population of the entire country is

\sum_{n = 1}^{2 \times 10^{6}} \frac{2 \times 10^{6}}{n} .

(For many

n

’s in this sum

\frac{2 \times 10^{6}}{n}

is not an integer. Ignore that.) Evaluate this sum approximately, with an error of no more than 1 million people.

Prev Top Next

Section 3.3 Convergence Tests

Subsection 3.3.1 The Divergence Test

Theorem 3.3.1. Divergence Test.

Example 3.3.2. A simple divergence.

Warning 3.3.3.

Subsection 3.3.2 The Integral Test

Example 3.3.4. Convergence of the harmonic series.

Theorem 3.3.5. The Integral Test.

Proof.

Example 3.3.6. The p test: ∑n=1∞1np.

Example 3.3.7. ∑n=2∞1n(log⁡n)p.

Subsection 3.3.3 The Comparison Test

Theorem 3.3.8. The Comparison Test.

“Proof”.

Example 3.3.9. ∑n=1∞1n2+2n+3.

Example 3.3.10. ∑n=1∞n+cos⁡nn3−1/3.

Theorem 3.3.11. Limit Comparison Theorem.

Proof.

Example 3.3.12. ∑n=1∞n+1n2−2n+3.

Example 3.3.13. ,∑n=1∞n+1n2−2n+3, again.

Subsection 3.3.4 The Alternating Series Test

Theorem 3.3.14. Alternating Series Test.

“Proof”.

Example 3.3.15. Convergence of the alternating harmonic series.

Example 3.3.16. e.

Example 3.3.17. Computing log⁡1110.

Subsection 3.3.5 The Ratio Test

Theorem 3.3.18. Ratio Test.

Warning 3.3.19.

Proof.

Example 3.3.20. ∑n=0∞anxn−1.

Example 3.3.21. ∑n=0∞an+1Xn+1.

Example 3.3.22. L=1.

Example 3.3.23. ∑n=1∞(−3)nn+12n+3xn.

Subsection 3.3.6 Convergence Test List

Subsection 3.3.7 Optional — The Leaning Tower of Books

Subsection 3.3.8 Optional — The Root Test

Theorem 3.3.24. Root Test.

Warning 3.3.25.

Proof.

Example 3.3.26. ∑n=1∞(−3)nn+12n+3xn.

Example 3.3.27. ∑n=1∞(nn+1)n2.

Subsection 3.3.9 Optional — Harmonic and Basel Series

Subsubsection 3.3.9.1 The Harmonic Series

Subsubsection 3.3.9.2 The Basel Problem

Subsection 3.3.10 Optional — Some Proofs

Theorem 3.3.28. The Comparison Test (stated again).

Proof.

Theorem 3.3.29. Alternating Series Test (stated again).

Proof.

Exercises 3.3.11 Exercises

Exercises — Stage 1 .

1.

2.

3.

4.

5.

6.

7.

8.

9.

10.

11.

12.

13.

14. (✳).

15. (✳).

Exercises — Stage 2 .

16. (✳).

17. (✳).

18. (✳).

19.

20.

21.

22.

23.

24.

25.

26.

27.

Example 3.3.6. The $p$ test: $\sum_{n = 1}^{\infty} \frac{1}{n^{p}}$ .

Example 3.3.7. $\sum_{n = 2}^{\infty} \frac{1}{n (\log n)^{p}}$ .

Example 3.3.9. $\sum_{n = 1}^{\infty} \frac{1}{n^{2} + 2 n + 3}$ .

Example 3.3.10. $\sum_{n = 1}^{\infty} \frac{n + \cos n}{n^{3} - 1 / 3}$ .

Example 3.3.12. $\sum_{n = 1}^{\infty} \frac{\sqrt{n + 1}}{n^{2} - 2 n + 3}$ .

Example 3.3.13. $\sum_{n = 1}^{\infty} \frac{\sqrt{n + 1}}{n^{2} - 2 n + 3},$ again.

Example 3.3.16. $e$ .

Example 3.3.17. Computing $\log \frac{11}{10}$ .

Example 3.3.20. $\sum_{n = 0}^{\infty} a n x^{n - 1}$ .

Example 3.3.21. $\sum_{n = 0}^{\infty} \frac{a}{n + 1} X^{n + 1}$ .

Example 3.3.22. $L = 1$ .

Example 3.3.23. $\sum_{n = 1}^{\infty} \frac{(- 3)^{n} \sqrt{n + 1}}{2 n + 3} x^{n}$ .

Example 3.3.26. $\sum_{n = 1}^{\infty} \frac{(- 3)^{n} \sqrt{n + 1}}{2 n + 3} x^{n}$ .

Example 3.3.27. $\sum_{n = 1}^{\infty} (\frac{n}{n + 1})^{n^{2}}$ .