Ratio test explained

In mathematics, the ratio test is a test (or "criterion") for the convergence of a series

infty
\sum
n=1

an,

where each term is a real or complex number and is nonzero when 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.

The test

The usual form of the test makes use of the limitThe 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

R=\lim\sup\left|

an+1
an

\right|

r=\liminf\left|

an+1
an

\right|

.

Then the ratio test states that:

\left|an+1
an

\right|>1

for all large n (regardless of the value of r), the series also diverges; this is because

|an|

is nonzero and increasing and hence does not approach zero;

If the limit L in exists, we must have L = R = r. So the original ratio test is a weaker version of the refined one.

Examples

Convergent because L < 1

Consider the series

inftyn
en
\sum
n=1

Applying the ratio test, one computes the limit

L=\limn\toinfty\left|

an+1
an

\right|=\limn\toinfty\left|

n+1
en+1
n
en

\right|=

1
e

<1.

Since this limit is less than 1, the series converges.

Divergent because L > 1

Consider the series

inftyen
n
\sum
n=1

.

Putting this into the ratio test:

L=\limn\toinfty\left|

an+1
an

\right|=\limn\toinfty\left|

en+1
n+1
en
n

\right| =e>1.

Thus the series diverges.

Inconclusive because L = 1

Consider the three series

infty
\sum
n=1

1,

infty
\sum
n=1
1
n2

,

infty
\sum
n=1
(-1)n+1
n

.

The first series (1 + 1 + 1 + 1 + ⋯) diverges, the second (the one central to the Basel problem) converges absolutely and the third (the alternating harmonic series) converges conditionally. However, the term-by-term magnitude ratios

\left|an+1
an

\right|

of the three series are

1,

  
n2
(n+1)2
   and   
n
n+1
. So, in all three, the limit

\limn\toinfty\left|

an+1
an

\right|

is equal to 1. This illustrates that when L = 1, the series may converge or diverge: the ratio test is inconclusive. In such cases, more refined tests are required to determine convergence or divergence.

Proof

Below is a proof of the validity of the original ratio test.

Suppose that

L=\limn\toinfty\left|

an+1
an

\right|<1

. We can then show that the series converges absolutely by showing that its terms will eventually become less than those of a certain convergent geometric series. To do this, consider a real number r such that

L<r<1

. This implies that

|an+1|<r|an|

for sufficiently large n; say, for all n greater than N. Hence

|an+i|<

i|a
r
n

|

for each n > N and i > 0, and so
infty
\sum
i=N+1

|ai|=

infty
\sum
i=1

\left|aN+i\right|<

infty
\sum
i=1

ri|aN|=|aN|

infty
\sum
i=1

ri=|aN|

r
1-r

<infty.

That is, the series converges absolutely.

On the other hand, if L > 1, then

|an+1|>|an|

for sufficiently large n, so that the limit of the summands is non-zero. Hence the series diverges.

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 the ratio test, however, sometimes allows one to deal with this case.[1] [2] [3] [4] [5] [6] [7] [8]

In all the tests below one assumes that Σan is a sum with positive an. These tests also may be applied to any series with a finite number of negative terms. Any such series may be written as:

infty
\sum
n=1

an=

N
\sum
n=1

an+\sum

infty
n=N+1

an

where aN is the highest-indexed negative term. The first expression on the right is a partial sum which will be finite, and so the convergence of the entire series will be determined by the convergence properties of the second expression on the right, which may be re-indexed to form a series of all positive terms beginning at n=1.

Each test defines a test parameter (ρn) which specifies the behavior of that parameter needed to establish convergence or divergence. For each test, a weaker form of the test exists which will instead place restrictions upon limn->∞ρn.

All of the tests have regions in which they fail to describe the convergence properties of Σan. In fact, no convergence test can fully describe the convergence properties of the series.[1] [7] This is because if Σan is convergent, a second convergent series Σbn can be found which converges more slowly: i.e., it has the property that limn->∞ (bn/an) = ∞. Furthermore, if Σan is divergent, a second divergent series Σbn can be found which diverges more slowly: i.e., it has the property that limn->∞ (bn/an) = 0. Convergence tests essentially use the comparison test on some particular family of an, and fail for sequences which converge or diverge more slowly.

De Morgan hierarchy

Augustus De Morgan proposed a hierarchy of ratio-type tests[1] [6]

The ratio test parameters (

\rhon

) below all generally involve terms of the form

Dnan/an+1-Dn+1

. This term may be multiplied by

an+1/an

to yield

Dn-Dn+1an+1/an

. This term can replace the former term in the definition of the test parameters and the conclusions drawn will remain the same. Accordingly, there will be no distinction drawn between references which use one or the other form of the test parameter.

1. d'Alembert's ratio test

The first test in the De Morgan hierarchy is the ratio test as described above.

2. Raabe's test

This extension is due to Joseph Ludwig Raabe. Define:

\rhon\equivn\left(

an
an+1

-1\right)

(and some extra terms, see Ali, Blackburn, Feld, Duris (none), Duris2)

The series will:[4] [7] [6]

\rhon\gec

for all n>N.

\rhon\le1

for all n>N.

For the limit version, the series will:

\rho=\limn\toinfty\rhon>1

(this includes the case ρ = ∞)

\limn\toinfty\rhon<1

.

When the above limit does not exist, it may be possible to use limits superior and inferior.[1] The series will:

\liminfn\rhon>1

\limsupn\rhon<1

Proof of Raabe's test

Defining

\rhon\equivn\left(

an
an+1

-1\right)

, we need not assume the limit exists; if

\limsup\rhon<1

, then

\suman

diverges, while if

\liminf\rhon>1

the sum converges.

The proof proceeds essentially by comparison with

\sum1/nR

. Suppose first that

\limsup\rhon<1

. Of courseif

\limsup\rhon<0

then

an+1\gean

for large

n

, so the sum diverges; assume then that

0\le\limsup\rhon<1

. There exists

R<1

such that

\rhon\leR

for all

n\geN

, which is to say that

an/an+1\le\left(1+

Rn\right)\le
e

R/n

. Thus

an+1\ge

-R/n
a
ne
, which implies that

an+1\ge

-R(1/N+...+1/n)
a
Ne

\ge

-Rlog(n)
ca
Ne
R
=ca
N/n
for

n\geN

; since

R<1

this shows that

\suman

diverges.

The proof of the other half is entirely analogous, with most of the inequalities simply reversed. We need a preliminary inequality to usein place of the simple

1+t<et

that was used above: Fix

R

and

N

. Note that
log\left(1+
Rn\right)=
Rn+O\left(1{n
2}\right)
. So
log\left(\left(1+
RN\right)...\left(1+
Rn\right)\right) =R\left(
1N+...+1n\right)+O(1)=Rlog(n)+O(1)
; hence
\left(1+
RN\right)...\left(1+Rn\right)\ge
cn
R
.

Suppose now that

\liminf\rhon>1

. Arguing as in the first paragraph, using the inequality established in the previous paragraph, we see that there exists

R>1

such that

an+1\le

-R
ca
Nn
for

n\geN

; since

R>1

this shows that

\suman

converges.

3. Bertrand's test

This extension is due to Joseph Bertrand and Augustus De Morgan.

Defining:

\rhon\equivnlnn\left(

an
an+1

-1\right)-lnn

Bertrand's test[1] [7] asserts that the series will:

\rhon\gec

for all n>N.

\rhon\le1

for all n>N.

For the limit version, the series will:

\rho=\limn\toinfty\rhon>1

(this includes the case ρ = ∞)

\limn\toinfty\rhon<1

.

When the above limit does not exist, it may be possible to use limits superior and inferior.[1] [6] The series will:

\liminf\rhon>1

\limsup\rhon<1

4. Extended Bertrand's test

This extension probably appeared at the first time by Margaret Martin in 1941.[9] A short proof based on Kummer's test and without technical assumptions (such as existence of the limits, for example) was provided by Vyacheslav Abramov in 2019.[10]

Let

K\geq1

be an integer, and let

ln(K)(x)

denote the

K

th iterate of natural logarithm, i.e.

ln(1)(x)=ln(x)

and for any

2\leqk\leqK

,

ln(k)(x)=ln(k-1)(ln(x))

.

Suppose that the ratio

an/an+1

, when

n

is large, can be presented in the form
an=1+
an+1
1+
n
1
n
K-1
\sum
i=1
1+
iln
\prod(n)
(k)
\rhon
Kln
n\prod(n)
(k)

,K\geq1.

(The empty sum is assumed to be 0. With

K=1

, the test reduces to Bertrand's test.)

The value

\rhon

can be presented explicitly in the form

\rhon=

Kln
n\prod(n)\left(
(k)
an
an+1
jln
-1\right)-\sum
(K-k+1)

(n).

Extended Bertrand's test asserts that the series

c>1

such that

\rhon\geqc

for all

n>N

.

\rhon\leq1

for all

n>N

.

For the limit version, the series

\rho=\limn\toinfty\rhon>1

(this includes the case

\rho=infty

)

\limn\toinfty\rhon<1

.

\rho=1

, the test is inconclusive.

When the above limit does not exist, it may be possible to use limits superior and inferior. The series

\liminf\rhon>1

\limsup\rhon<1

For applications of Extended Bertrand's test see birth–death process.

5. Gauss's test

This extension is due to Carl Friedrich Gauss.

Assuming an > 0 and r > 1, if a bounded sequence Cn can be found such that for all n:[2] [4] [6] [7]

an=1+
an+1
\rho+
n
Cn
nr

then the series will:

\rho>1

\rho\le1

6. Kummer's test

This extension is due to Ernst Kummer.

Let ζn be an auxiliary sequence of positive constants. Define

\rhon\equiv\left(\zetan

an
an+1

-\zetan+1\right)

Kummer's test states that the series will:[2] [3] [7] [8]

c>0

such that

\rhon\gec

for all n>N. (Note this is not the same as saying

\rhon>0

)

\rhon\le0

for all n>N and
infty
\sum
n=1

1/\zetan

diverges.

For the limit version, the series will:[4] [6]

\limn\toinfty\rhon>0

(this includes the case ρ = ∞)

\limn\toinfty\rhon<0

and
infty
\sum
n=1

1/\zetan

diverges.

When the above limit does not exist, it may be possible to use limits superior and inferior.[1] The series will

\liminfn\rhon>0

\limsupn\rhon<0

and

\sum1/\zetan

diverges.
Special cases

All of the tests in De Morgan's hierarchy except Gauss's test can easily be seen as special cases of Kummer's test:[1]

\rhoKummer=\left(

an
an+1

-1\right)=1/\rhoRatio-1

\rhoKummer=\left(n

an
an+1

-(n+1)\right)=\rhoRaabe-1

\rhoKummer=nln(n)\left(

an
an+1

\right)-(n+1)ln(n+1)

Using

ln(n+1)=ln(n)+ln(1+1/n)

and approximating

ln(1+1/n)1/n

for large n, which is negligible compared to the other terms,

\rhoKummer

may be written:

\rhoKummer=nln(n)\left(

an
an+1

-1\right)-ln(n)-1=\rhoBertrand-1

ln(k)(n+1)=ln(k)(n)+

1+O\left(
k-1
n\prodln(j)(n)
j=1
1
n2

\right),

where the empty product is assumed to be 1. Then,

\rhoKummer=

Kln
n\prod(n)
(k)
an
an+1
K\left(ln
-(n+1)\left[\prod(n)+
(k)
1
k-1
n\prodln(j)(n)
j=1
Kln
\right)\right]+o(1) =n\prod(n)\left(
(k)
an
an+1
jln
-1\right)-\sum
(K-k+1)

(n)-1+o(1).

Hence,

\rhoKummer=\rhoExtendedBertrand-1.

Note that for these four tests, the higher they are in the De Morgan hierarchy, the more slowly the

1/\zetan

series diverges.
Proof of Kummer's test

If

\rhon>0

then fix a positive number

0<\delta<\rhon

. There existsa natural number

N

such that for every

n>N,

\delta\leq\zetan

an
an+1

-\zetan+1.

Since

an+1>0

, for every

n>N,

0\leq\deltaan+1\leq\zetanan-\zetan+1an+1.

In particular

\zetan+1an+1\leq\zetanan

for all

n\geqN

which means that starting from the index

N

the sequence

\zetanan>0

is monotonically decreasing andpositive which in particular implies that it is bounded below by 0. Therefore, the limit

\limn\toinfty\zetanan=L

exists.This implies that the positive telescoping series
infty
\sum
n=1

\left(\zetanan-\zetan+1an+1\right)

is convergent,and since for all

n>N,

\deltaan+1\leq\zetanan-\zetan+1an+1

by the direct comparison test for positive series, the series
infty
\sum
n=1

\deltaan+1

is convergent.

On the other hand, if

\rho<0

, then there is an N such that

\zetanan

is increasing for

n>N

. In particular, there exists an

\epsilon>0

for which

\zetanan>\epsilon

for all

n>N

, and so

\sumnan=\sumn

an\zetan
\zetan
diverges by comparison with

\sumn

\epsilon
\zetan
.

Tong's modification of Kummer's test

A new version of Kummer's test was established by Tong.[3] See also [5] [8] [11] for further discussions and new proofs. The provided modification of Kummer's theorem characterizesall positive series, and the convergence or divergence can be formulated in the form of two necessary and sufficient conditions, one for convergence and another for divergence.

infty
\sum
n=1

an

converges if and only if there exists a positive sequence

\zetan

,

n=1,2,...

, such that
\zeta
nan
an+1

-\zetan+1\geqc>0.

infty
\sum
n=1

an

diverges if and only if there exists a positive sequence

\zetan

,

n=1,2,...

, such that
\zeta
nan
an+1

-\zetan+1\leq0,

and
infty
\sum
n=1
1
\zetan

=infty.

The first of these statements can be simplified as follows: [12]

infty
\sum
n=1

an

converges if and only if there exists a positive sequence

\zetan

,

n=1,2,...

, such that
\zeta
nan
an+1

-\zetan+1=1.

The second statement can be simplified similarly:

infty
\sum
n=1

an

diverges if and only if there exists a positive sequence

\zetan

,

n=1,2,...

, such that
\zeta
nan
an+1

-\zetan+1=0,

and
infty
\sum
n=1
1
\zetan

=infty.

However, it becomes useless, since the condition

infty
\sum
n=1
1
\zetan

=infty

in this case reduces to the original claim
infty
\sum
n=1

an=infty.

Frink's ratio test

Another ratio test that can be set in the framework of Kummer's theorem was presented by Orrin Frink[13] 1948.

Suppose

an

is a sequence in

C\setminus\{0\}

,

\limsupn → infty(

|an+1|
|an|
n<1e
)
, then the series

\sumnan

converges absolutely.

N\inN

such that
(|an+1|
|an|
n\geq1e
)
for all

n\geqN

, then

\sumn|an|

diverges.

This result reduces to a comparison of

\sumn|an|

with a power series

\sumnn-p

, and can be seen to be related to Raabe's test.[14]

Ali's second ratio test

A more refined ratio test is the second ratio test:[4] [6] For

an>0

define:

L0\equiv\limn

a2n
an

L1\equiv\limn

a2n+1
an

L\equivmax(L0,L1)

By the second ratio test, the series will:

L<1
2
L>1
2
L=1
2
then the test is inconclusive.

If the above limits do not exist, it may be possible to use the limits superior and inferior. Define:

L0\equiv\limsupn

a2n
an

L1\equiv\limsupn

a2n+1
an

\ell0\equiv\liminfn

a2n
an

\ell1\equiv\liminfn

a2n+1
an

L\equivmax(L0,L1)

\ell\equivmin(\ell0,\ell1)

Then the series will:

L<1
2
\ell>1
2

\ell\le

1
2

\leL

then the test is inconclusive.

Ali's mth ratio test

This test is a direct extension of the second ratio test.[4] [6] For

0\leqk\leqm-1,

and positive

an

define:

Lk\equiv\limn

amn+k
an

L\equivmax(L0,L1,\ldots,Lm-1)

By the

m

th ratio test, the series will:
L<1
m
L>1
m
L=1
m
then the test is inconclusive.

If the above limits do not exist, it may be possible to use the limits superior and inferior. For

0\leqk\leqm-1

define:

Lk\equiv\limsupn

amn+k
an

\ellk\equiv\liminfn

amn+k
an

L\equivmax(L0,L1,\ldots,Lm-1)

\ell\equivmin(\ell0,\ell1,\ldots,\ellm-1)

Then the series will:

L<1
m
\ell>1
m

\ell\leq

1
m

\leqL

, then the test is inconclusive.

Ali--Deutsche Cohen φ-ratio test

This test is an extension of the

m

th ratio test.[15]

Assume that the sequence

an

is a positive decreasing sequence.

Let

\varphi:Z+\toZ+

be such that

\limn\toinfty

n
\varphi(n)
exists. Denote

\alpha=\limn\toinfty

n
\varphi(n)
, and assume

0<\alpha<1

.

Assume also that

\limn\toinfty

a\varphi(n)
an

=L.

Then the series will:

L<\alpha

L>\alpha

L=\alpha

, then the test is inconclusive.

See also

References

§8.14.

Notes and References

  1. Book: Bromwich, T. J. I'A . 1908 . An Introduction To The Theory of Infinite Series . Merchant Books . Thomas John I'Anson Bromwich.
  2. Book: Knopp, Konrad . 1954 . Theory and Application of Infinite Series . London . Blackie & Son Ltd. . Konrad Knopp .
  3. Tong . Jingcheng. May 1994. Kummer's Test Gives Characterizations for Convergence or Divergence of all Positive Series. 2974907. The American Mathematical Monthly . 101 . 5 . 450–452 . 10.2307/2974907 .
  4. Ali . Sayel A.. 2008 . The mth Ratio Test: New Convergence Test for Series . The American Mathematical Monthly . 115 . 6 . 514–524 . 10.1080/00029890.2008.11920558. 16336333. 21 November 2018 .
  5. Samelson . Hans. November 1995. More on Kummer's Test. 2974510. The American Mathematical Monthly . 102 . 9 . 817–818 . 10.2307/2974510 .
  6. Web site: The mth Ratio Convergence Test and Other Unconventional Convergence Tests. Blackburn. Kyle . 4 May 2012 . University of Washington College of Arts and Sciences . 27 November 2018 .
  7. Ďuriš . František . 2009 . Infinite series: Convergence tests . Bachelor's thesis . Katedra Informatiky, Fakulta Matematiky, Fyziky a Informatiky, Univerzita Komenského, Bratislava . 28 November 2018 .
  8. Ďuriš . František . 2 February 2018 . On Kummer's test of convergence and its relation to basic comparison tests . 1612.05167 . math.HO .
  9. A sequence of limit tests for the convergence of series . Martin . Margaret . 1941 . Bulletin of the American Mathematical Society . 47 . 6. 452–457 . 10.1090/S0002-9904-1941-07477-X . free .
  10. Abramov . Vyacheslav M. . May 2020 . Extension of the Bertrand–De Morgan test and its application . The American Mathematical Monthly . 127 . 5 . 444–448 . 10.1080/00029890.2020.1722551 . 1901.05843 . 199552015 .
  11. Abramov . Vyacheslav, M. . 21 June 2021 . A simple proof of Tong's theorem . 2106.13808 . math.HO .
  12. Abramov . Vyacheslav M.. May 2022. Evaluating the sum of convergent positive series. Publications de l'Institut Mathématique . Nouvelle Série . 111 . 125 . 41–53 . 10.2298/PIM2225041A. 237499616 .
  13. Frink . Orrin . October 1948. A ratio test . Bulletin of the American Mathematical Society . 54 . 10 . 953-953.
  14. 1949. Stark . Marceli . On the ratio test of Frink . Colloquium Mathematicum . 2 . 1 . 46-47 .
  15. phi-ratio tests . Ali . Sayel . Cohen . Marion Deutsche . 2012 . Elemente der Mathematik . 67 . 4. 164–168 . 10.4171/EM/206 . free .