The ratio test allows for proving convergence or divergence of many explicitly given series, so it is among the most popular criteria in use.
Although it is applicable to fewer series than the root test, proofs based on the ratio test are usually easier to do.
The ratio test was first published by mathematician and physicist Jean-Baptiste le Rond d’Alembert and is thus sometimes called d'Alembert's ratio test.
Similar to the root test, the ratio test makes use of the direct comparison test to reduce the convergence of the series in question to that of a geometric series.
Let
be a given series with
for all
.
The requirement of non-negative summands is necessary for the direct comparison test.
We know that the series converges, if there is some
such that
for all
.
This follows immediately from direct comparison to the geometric series
, which converges for
.
The root test simply transforms the inequality
to
.
The ratio test instead employs a recursive argument with
as an implication.
As a starting point, we require
(so the inequality holds for the base case
).
To prove the target inequality for all
by induction, we would need a criterion allowing to deduce
from the inductive assumption
.
Assuming
, we find
where we used that
, as a ratio of non-negative numbers, is itself non-negative.
Since we already assumed
, the set of series for which the ratio test is applicable reduces to those with
for all
.
As a consequence, to deduce
from the inductive assumption it suffices to have
.
In turn, a sufficient condition for this to hold is the simple recursive relation
Summarizing our first thoughts[Bearbeiten]
Assuming
, we can show inductively that
and
together imply
for all
.
This statement is a direct comparison with a geometric series. Such series converge for
, and so does the series in question, if all criteria are met.
Given the base case
and inductive assumption
, the inductive step reads:
Whether a series converges or diverges does not depend on finitely many of its summands, as convergence is a property of the infinite.
That means, if we take a convergent series and change a finite number of its summands, we obtain another convergent series (though with a possibly different value).
Hence one could expect the requirement
to be irrelevant for the convergence of the entire series, as it only affects a single summand.
In fact, assuming only
we find
Altogether, we have
.
The series
is proportional to a convergent geometric series, so it is itself convergent.
By direct comparison, we have thus shown convergence of the series
using
alone, without any restrictions to
.
We can generalize our induction proof even further by not only dropping our special requirement for
, but also the quotient requirement for a finite number of pairs of subsequent summands.
In mathematical terms: We require
only for almost all
.
After that, we are still left with an infinite number of pairs for which the requirement holds.
In particular, we can find some
, such that the criterion still holds for all
.
Beyond this index we have a similar situation as before:
Altogether we have
for all
.
After an index shift
the inequality reads
for all
.
We can now find a finite upper estimate for the whole series:
This proves convergence of the series by direct comparison. Hence, it is successful to require
only for almost all
.
Rephrasing in terms of limit superior[Bearbeiten]
The condition
for almost all
and some fixed
with
can be expressed using the notion of limit superior. In fact, the statement of the previous phrase is equivalent to
.
We prove equivalence by starting with the first statement.
for almost all
implies that all cluster points of the sequence
must be smaller than or equal to
. In particular, the limit superior, which is the greatest cluster point, then must obey
, which is the second statement.
Now for the converse direction. Let
. Then for any
the inequality
holds for almost all
. Since
, we can choose
small enough such that also
, e.g.
. If we now set
, we have both
and
for almost all
. Given the second statement, we can thus explicitly construct a
for which the first statement holds.
We can summarize that
is a sufficient criterion for the series
to converge.
Adding a flavor of absolute convergence[Bearbeiten]
So far, we restricted ourselves to series with non-negative summands. Can we extend our convergence criterion to general series with (at least some) negative summands?
For any given series
, we can construct another series
, whose summands are clearly non-negative. This series is now in the range of applicability for our ratio test. However, showing convergence for that series is exactly what it means to show absolute convergence for the original series. As we have seen before, absolute convergence implies "common" convergence.
If
, then the series
is absolutely convergent, and hence convergent.
Introduction of the absolute value changes nothing for series whose summands have been non-negative already (the situation we assumed so far). Thus, the new version of the ratio test introduced in this section is strictly more powerful than the one we considered before, as it has a larger range of applicability and absolute convergence is a stronger statement than convergence.
Ratio test for divergence[Bearbeiten]
Is it possible to prove the divergence of a series with a similar argument? Let's look at
. If the (absolute value of the) quotient is greater than or equal to one, then
Thus, if starting from any index
for all subsequent indices
the inequality
is satisfied, then the sequence
grows monotonically, starting from the index
. This sequence cannot be a zero sequence, because it grows monotonically after the sequence member
and
. But if
is not a zero sequence, then
is not a zero sequence either. It follows, according to the term test, that the series
is not a zero sequence. After all, the term test states that
would hold if the series
was convergent. To summarise:
We summarise the above derivation in a proof:
Proof (Ratio test for divergence)
Let
be a series with non-zero summands.
Proof step: Ratio test for convergence
Proof step: Ratio test for divergence
Stronger statement by the limes inferior[Bearbeiten]
The condition for divergence which we just discussed can be tightened using the limes inferior. This makes the criterion easier to apply. If
, it follows that
for almost all
. So the series diverges. The converse does not always hold true. From
for almost all
we cannot imply
, since the sequence
does not necessarily have a smallest accumulation point. It is therefore a stronger condition for the divergence of the series.
Limits of the ratio test[Bearbeiten]
For
we cannot say anything about convergence or divergence of the series. There are in fact both convergent and divergent series that fulfil this condition. An example of this is the divergent series
:
The convergent series
also satisfies this equation:
So from
we can neither conclude that the series converges nor that it diverges. We have to use a different convergence criterion in such a case.
Conducting the ratio test[Bearbeiten]
Decision tree for the ratio test
In order to apply the ratio test to a series
, we first form
and consider the limit:
- If
, then the series converges absolutely.
- If
, then the series diverges.
- If
for almost all
, then the series diverges.
- If we cannot apply any of the three cases, we cannot say anything about the convergence of the series.
Exercise
Investigate whether the series
converges or diverges.
How to get to the proof?
First we form the quotient
and consider its limit:
Thus
, with which it follows from the quotient criterion that the series converges absolutely.
Proof
The series
converges absolutely according to the ratio test, as
Exercise
Investigate whether the series
converges or diverges.
Proof
The series
diverges, because for
we have
Hint
You may already know that
. Accordingly, you can alternatively prove that
. However, this reasoning can mathematically only be applied after
has been proven within an analysis course.
Exercise
Investigate for which
the series
converges (absolutely) or diverges.
Proof
We use the ratio test with
:
Thus
Because the limit exists, limes superior and limes inferior coincide. Therefore
We are interested in for which
there is convergence, absolute convergence and divergence. From the ratio test it follows that the series converges absolutely if
. In the case
the ratio test yields that the series diverges. The case
must be examined separately:
Fall 1: 
Fall 2: 
Fall 3: 
And we have that
Since the ratio test does not provide a convergence statement here, we have to examine the two cases individually:
Fall 1: 
We have
Since this is a harmonic series, it diverges.
Fall 2: 
We have
The series is convergent according to the Leibniz criterion, but not absolutely convergent, since
diverges as it is a harmonic series.
Comparison: ratio and root test[Bearbeiten]
The ratio test is much easier to apply to some series than the root test. An example is the series
, whose convergence can be well proven with the ratio test:
For the root test, we must consider the following limit:
Here it is unclear whether there is convergence and against what. The fact that
grows rapidly could speak for a zero sequence. However, the sequence
is "weakened" by taking the
-th root. In fact,
can be shown (and thus
follows). However, this proof is very laborious. The situation is similar with the series
. By the ratio test,
Thus the sequence is divergent according to the ratio test.
For the root test we have to consider the following limit value:
One can prove that this sequence converges to
. However, this is laborious and requires additional convergence criteria that are often not available in a basic real analysis lecture. In both cases, the solution with the ratio test is easier.
However, there are also series that can be successfully investigated with the root criterion and for which the ratio test is not applicable. An example of this is the series
The ratio test is not applicable here: For the quotient sequence,
Thus
, since the quotient sequence for odd
is unbounded from above as
. On the other hand,
for all even
and thus for infinitely many quotients. Overall, however, we have to conclude that the ratio test is not applicable. On the other hand, the root test yields
Thus
and the series converges absolutely. So in the above example, the root test is applicable, while the ratio test gives no reasonable result.
In general, the root test has even a wider range of application than the ratio test: The root test can be applied to every series where the ratio test is successful. This is a consequence of the following inequality:
Here it becomes obvious: If
, then automatically
. If
, then automatically
. So if the ratio test is applicable, then the root test is applicable.
The converse is not true, as the above example shows. We will dispense here with the somewhat theoretical and lengthy proof of the inequality. Advanced students are welcome to try solving the corresponding Exercises.
In case the ratio test in the above form fails because, for example,
, there is a tightened form where one has to estimate the quotient sequence
more precisely. It is called Raabe's criterion and is an extension for ratio 1 of the ratio test. The name goes back to the Swiss mathematician Joseph Ludwig Raabe.
Raabe's criterion is often not as easy to apply as the ratio test and is often not covered in basic lectures. Therefore, we only mention it here and refrain from a derivation. For advanced students who want to derive the criterion, we recommend the corresponding Exercise. Raabe's criterion reads as follows
Example (Raabe's criterion)
It is very easy to show the divergence of the harmonic series
using Raabe's criterion. Here,
so for all
, the following applies
So the series diverges.