In mathematics, the ratio test is a test (or "criterion") for the convergence of a series
Contents
- Motivation
- The test
- Convergent because L 1
- Divergent because L 1
- Inconclusive because L 1
- Proof
- Extensions for L 1
- Raabes test
- Higher order tests
- Proof of Kummers test
- References
where each term is a real or complex number and an is nonzero when n is large. The test was first published by Jean le Rond d'Alembert and is sometimes known as d'Alembert's ratio test or as the Cauchy ratio test.
Motivation
Given the following geometric series:
The quotient
of any two adjacent terms is
As m increases, this converges to 1, so the sum of the series is 1. On the other hand given this geometric series:
The quotient
which increases without bound as m increases, so this series diverges. More generally, the sum of the first m terms of the geometric series is given by:
Whether this converges or diverges as m increases depends on whether r, the quotient of any two adjacent terms, is less than or greater than 1. Now consider the series:
This is similar to the first convergent sequence above, except that now the ratio of two terms is not fixed at exactly 1/2:
However, as n increases, the ratio still tends in the limit towards the same constant 1/2. The ratio test generalizes the simple test for geometric series to more complex series like this one where the quotient of two terms is not fixed, but in the limit tends towards a fixed value. The rules are similar: if the quotient approaches a value less than one, the series converges, whereas if it approaches a value greater than one, the series diverges.
The test
The usual form of the test makes use of the limit
The ratio test states that:
It is possible to make the ratio test applicable to certain cases where the limit L fails to exist, if limit superior and limit inferior are used. The test criteria can also be refined so that the test is sometimes conclusive even when L = 1. More specifically, let
Then the ratio test states that:
If the limit L in (1) exists, we must have L = R = r. So the original ratio test is a weaker version of the refined one.
Convergent because L < 1
Consider the series or sequence of series
Putting this into the ratio test:
As every term is positive, the series converges.
Divergent because L > 1
Consider the series
Putting this into the ratio test:
Thus the series diverges.
Inconclusive because L = 1
Consider the three series
The first series (1 + 1 + 1 + 1 + ⋯) diverges, the second one (the one central to the Basel problem) converges absolutely and the third one (the alternating harmonic series) converges conditionally. However, the term-by-term magnitude ratios
Proof
Below is a proof of the validity of the original ratio test.
Suppose that
That is, the series converges absolutely.
On the other hand, if L > 1, then
Extensions for L = 1
As seen in the previous example, the ratio test may be inconclusive when the limit of the ratio is 1. Extensions to ratio test, however, sometimes allows one to deal with this case. For instance, the aforementioned refined version of the test handles the case
Below are some other extensions.
Raabe's test
This extension is due to Joseph Ludwig Raabe. It states that if
then the series will be absolutely convergent if R>1 and divergent if R<1. d'Alembert's ratio test and Raabe's test are the first and second theorems in a hierarchy of such theorems due to Augustus De Morgan.
Higher order tests
The next cases in de Morgan's hierarchy are Bertrand's and Gauss's test. Each test involves slightly different higher order asymptotics. Bertrand's test asserts that if
then the series converges if lim inf ρn > 1, and diverges if lim sup ρn < 1.
Gauss's test asserts that if
where r > 1 and Cn is bounded, then the series converges if h > 1 and diverges if h ≤ 1.
These are both special cases of Kummer's test for the convergence of the series Σan, for positive an. Let ζn be an auxiliary sequence of positive constants. Let
Then if ρ > 0, the series converges. If ρ < 0 and Σ1/ζn diverges, then the series diverges. Otherwise the test is inconclusive.
Proof of Kummer's test
If
Since
In particular
This implies that the positive telescoping series
and since for all
by the direct comparison test for positive series, the series
On the other hand, if