Convergence tests

Mathematical criterion about whether a series converges

Part of a series of articles about

Calculus
∫ a b f ′ ( t ) d t = f ( b ) − f ( a ) {\displaystyle \int _{a}^{b}f'(t)\,dt=f(b)-f(a)}

* Fundamental theorem

* Limits
* Continuity

* Rolle's theorem
* Mean value theorem
* Inverse function theorem

Differential

|  Definitions

* Derivative (generalizations)
* Differential
* infinitesimal
* of a function
* total

Concepts

* Differentiation notation
* Second derivative
* Implicit differentiation
* Logarithmic differentiation
* Related rates
* Taylor's theorem

Rules and identities

* Sum
* Product
* Chain
* Power
* Quotient
* L'Hôpital's rule
* Inverse
* General Leibniz
* Faà di Bruno's formula
* Reynolds

Integral

* Lists of integrals
* Integral transform
* Leibniz integral rule

Definitions

* Antiderivative
* Integral (improper)
* Riemann integral
* Lebesgue integration
* Contour integration
* Integral of inverse functions

Integration by

* Parts
* Discs
* Cylindrical shells
* Substitution (trigonometric, tangent half-angle, Euler)
* Euler's formula
* Partial fractions (Heaviside's method)
* Changing order
* Reduction formulae
* Differentiating under the integral sign
* Risch algorithm

Series

* Geometric (arithmetico-geometric)
* Harmonic
* Alternating
* Power
* Binomial
* Taylor

Convergence tests

* Summand limit (term test)
* Ratio
* Root
* Integral
* Direct comparison

Limit comparison
* Alternating series
* Cauchy condensation
* Dirichlet
* Abel

Vector

* Gradient
* Divergence
* Curl
* Laplacian
* Directional derivative
* Identities

Theorems

* Gradient
* Green's
* Stokes'
* Divergence
* generalized Stokes
* Helmholtz decomposition

Multivariable

|  Formalisms

* Matrix
* Tensor
* Exterior
* Geometric

Definitions

* Partial derivative
* Multiple integral
* Line integral
* Surface integral
* Volume integral
* Jacobian
* Hessian

Advanced

* Calculus on Euclidean space
* Generalized functions
* Limit of distributions

Specialized

* Fractional
* Malliavin
* Stochastic
* Variations

Miscellanea

* Precalculus
* History
* Glossary
* List of topics
* Integration Bee
* Mathematical analysis
* Nonstandard analysis

* v
* t
* e

In mathematics, convergence tests are methods of testing for the convergence, conditional convergence, absolute convergence, interval of convergence or divergence of an infinite series ∑ n = 1 ∞ a n {\displaystyle \sum _{n=1}^{\infty }a_{n}} .

## List of tests

[edit]

### Limit of the summand

[edit]

If the limit of the summand is undefined or nonzero, that is  lim n -> ∞ a n ≠ 0 {\displaystyle \lim _{n\to \infty }a_{n}\neq 0} , then the series must diverge. In this sense, the partial sums are Cauchy only if this limit exists and is equal to zero. The test is inconclusive if the limit of the summand is zero. This is also known as the nth-term test, test for divergence, or the divergence test.

### Ratio test

[edit]

This is also known as d'Alembert's criterion.

Consider two limits  ℓ = lim inf n -> ∞ | a n + 1 a n | {\displaystyle \ell =\liminf _{n\to \infty }\left|{\frac {a_{n+1}}{a_{n}}}\right|} and  L = lim sup n -> ∞ | a n + 1 a n | {\displaystyle L=\limsup _{n\to \infty }\left|{\frac {a_{n+1}}{a_{n}}}\right|} . If  ℓ > 1 {\displaystyle \ell >1} , the series diverges. If  L < 1 {\displaystyle L<1} then the series converges absolutely. If  ℓ ≤ 1 ≤ L {\displaystyle \ell \leq 1\leq L} then the test is inconclusive, and the series may converge absolutely, conditionally or diverge.

### Root test

[edit]

This is also known as the nth root test or Cauchy's criterion.

Let

r = lim sup n -> ∞ | a n | n , {\displaystyle r=\limsup _{n\to \infty }{\sqrt[{n}]{|a_{n}|}},}
where  lim sup {\displaystyle \limsup } denotes the limit superior (possibly  ∞ {\displaystyle \infty } ; if the limit exists it is the same value).
If r < 1, then the series converges absolutely. If r > 1, then the series diverges. If r = 1, the root test is inconclusive, and the series may converge or diverge.

The root test is stronger than the ratio test: whenever the ratio test determines the convergence or divergence of an infinite series, the root test does too, but not conversely.[1]

### Integral test

[edit]

The series can be compared to an integral to establish convergence or divergence. Let  f : [ 1 , ∞ ) -> R + {\displaystyle f:[1,\infty )\to \mathbb {R} _{+}} be a non-negative and monotonically decreasing function such that  f ( n ) = a n {\displaystyle f(n)=a_{n}} . If  ∫ 1 ∞ f ( x ) d x = lim t -> ∞ ∫ 1 t f ( x ) d x < ∞ , {\displaystyle \int _{1}^{\infty }f(x)\,dx=\lim _{t\to \infty }\int _{1}^{t}f(x)\,dx<\infty ,} then the series converges. But if the integral diverges, then the series does so as well. In other words, the series  a n {\displaystyle {a_{n}}} converges if and only if the integral converges.

#### p-series test

[edit]

A commonly-used corollary of the integral test is the p-series test. Let  k > 0 {\displaystyle k>0} . Then  ∑ n = k ∞ ( 1 n p ) {\displaystyle \sum _{n=k}^{\infty }{\bigg (}{\frac {1}{n^{p}}}{\bigg )}} converges if  p > 1 {\displaystyle p>1} .

The case of  p = 1 , k = 1 {\displaystyle p=1,k=1} yields the harmonic series, which diverges. The case of  p = 2 , k = 1 {\displaystyle p=2,k=1} is the Basel problem and the series converges to  π 2 6 {\displaystyle {\frac {\pi ^{2}}{6}}} . In general, for  p > 1 , k = 1 {\displaystyle p>1,k=1} , the series is equal to the Riemann zeta function applied to  p {\displaystyle p} , that is  ζ ( p ) {\displaystyle \zeta (p)} .

### Direct comparison test

[edit]

If the series  ∑ n = 1 ∞ b n {\displaystyle \sum _{n=1}^{\infty }b_{n}} is an absolutely convergent series and  | a n | ≤ | b n | {\displaystyle |a_{n}|\leq |b_{n}|} for sufficiently large n , then the series  ∑ n = 1 ∞ a n {\displaystyle \sum _{n=1}^{\infty }a_{n}} converges absolutely.

### Limit comparison test

[edit]

If  { a n } , { b n } > 0 {\displaystyle \\{a_{n}\\},\\{b_{n}\\}>0} , (that is, each element of the two sequences is positive) and the limit  lim n -> ∞ a n b n {\displaystyle \lim _{n\to \infty }{\frac {a_{n}}{b_{n}}}} exists, is finite and non-zero, then either both series converge or both series diverge.

### Cauchy condensation test

[edit]

Let  { a n } {\displaystyle \left\\{a_{n}\right\\}} be a non-negative non-increasing sequence. Then the sum  A = ∑ n = 1 ∞ a n {\displaystyle A=\sum _{n=1}^{\infty }a_{n}} converges if and only if the sum  A ∗ = ∑ n = 0 ∞ 2 n a 2 n {\displaystyle A^{*}=\sum _{n=0}^{\infty }2^{n}a_{2^{n}}} converges. Moreover, if they converge, then  A ≤ A ∗ ≤ 2 A {\displaystyle A\leq A^{*}\leq 2A} holds.

### Abel's test

[edit]

Suppose the following statements are true:

1. ∑ a n {\displaystyle \sum a_{n}} is a convergent series,
2. { b n } {\displaystyle \left\\{b_{n}\right\\}} is a monotonic sequence, and
3. { b n } {\displaystyle \left\\{b_{n}\right\\}} is bounded.

Then  ∑ a n b n {\displaystyle \sum a_{n}b_{n}} is also convergent.

### Absolute convergence test

[edit]

Every absolutely convergent series converges.

### Alternating series test

[edit]

Suppose the following statements are true:

* ( a n ) n = 1 ∞ {\displaystyle (a_{n})_{n=1}^{\infty }} is monotonic,
* lim n -> ∞ a n = 0 {\displaystyle \lim _{n\to \infty }a_{n}=0}

Then  ∑ n = 1 ∞ ( − 1 ) n a n {\displaystyle \sum _{n=1}^{\infty }(-1)^{n}a_{n}} and  ∑ n = 1 ∞ ( − 1 ) n + 1 a n {\displaystyle \sum _{n=1}^{\infty }(-1)^{n+1}a_{n}} are convergent series. This test is also known as the Leibniz criterion.

### Dirichlet's test

[edit]

If  { a n } {\displaystyle \\{a_{n}\\}} is a sequence of real numbers and  { b n } {\displaystyle \\{b_{n}\\}} a sequence of complex numbers satisfying

* a n ≥ a n + 1 {\displaystyle a_{n}\geq a_{n+1}}

* lim n -> ∞ a n = 0 {\displaystyle \lim _{n\rightarrow \infty }a_{n}=0}

* | ∑ n = 1 N b n | ≤ M {\displaystyle \left|\sum _{n=1}^{N}b_{n}\right|\leq M} for every positive integer N

where M is some constant, then the series

∑ n = 1 ∞ a n b n {\displaystyle \sum _{n=1}^{\infty }a_{n}b_{n}}

converges.

### Cauchy's convergence test

[edit]

A series  ∑ i = 0 ∞ a i {\displaystyle \sum _{i=0}^{\infty }a_{i}} is convergent if and only if for every  ε > 0 {\displaystyle \varepsilon >0} there is a natural number N such that

| a n + 1 + a n + 2 + ⋯ + a n + p | < ε {\displaystyle |a_{n+1}+a_{n+2}+\cdots +a_{n+p}|<\varepsilon }

holds for all n > N and all p ≥ 1.

### Stolz–Cesàro theorem

[edit]

Let  ( a n ) n ≥ 1 {\displaystyle (a_{n})_{n\geq 1}} and  ( b n ) n ≥ 1 {\displaystyle (b_{n})_{n\geq 1}} be two sequences of real numbers. Assume that  ( b n ) n ≥ 1 {\displaystyle (b_{n})_{n\geq 1}} is a strictly monotone and divergent sequence and the following limit exists:

lim n -> ∞ a n + 1 − a n b n + 1 − b n = l . {\displaystyle \lim _{n\to \infty }{\frac {a_{n+1}-a_{n}}{b_{n+1}-b_{n}}}=l.\ }

Then, the limit

lim n -> ∞ a n b n = l . {\displaystyle \lim _{n\to \infty }{\frac {a_{n}}{b_{n}}}=l.\ }

### Weierstrass M-test

[edit]

Suppose that (fn) is a sequence of real- or complex-valued functions defined on a set A, and that there is a sequence of non-negative numbers (Mn) satisfying the conditions

* | f n ( x ) | ≤ M n {\displaystyle |f_{n}(x)|\leq M_{n}} for all  n ≥ 1 {\displaystyle n\geq 1} and all  x ∈ A {\displaystyle x\in A} , and
* ∑ n = 1 ∞ M n {\displaystyle \sum _{n=1}^{\infty }M_{n}} converges.

Then the series

∑ n = 1 ∞ f n ( x ) {\displaystyle \sum _{n=1}^{\infty }f_{n}(x)}

converges absolutely and uniformly on A.

### Extensions to the ratio test

[edit]

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.

#### Raabe–Duhamel's test

[edit]

Let { an } be a sequence of positive numbers.

Define

b n = n ( a n a n + 1 − 1 ) . {\displaystyle b_{n}=n\left({\frac {a_{n}}{a_{n+1}}}-1\right).}

L = lim n -> ∞ b n {\displaystyle L=\lim _{n\to \infty }b_{n}}

exists there are three possibilities:

* if L > 1 the series converges (this includes the case L = ∞)
* if L < 1 the series diverges
* and if L = 1 the test is inconclusive.

An alternative formulation of this test is as follows. Let { an } be a series of real numbers. Then if b > 1 and K (a natural number) exist such that

| a n + 1 a n | ≤ 1 − b n {\displaystyle \left|{\frac {a_{n+1}}{a_{n}}}\right|\leq 1-{\frac {b}{n}}}

for all n > K then the series {an} is convergent.

#### Bertrand's test

[edit]

Let { an } be a sequence of positive numbers.

Define

b n = ln ⁡ n ( n ( a n a n + 1 − 1 ) − 1 ) . {\displaystyle b_{n}=\ln n\left(n\left({\frac {a_{n}}{a_{n+1}}}-1\right)-1\right).}

L = lim n -> ∞ b n {\displaystyle L=\lim _{n\to \infty }b_{n}}

exists, there are three possibilities:[2][3]

* if L > 1 the series converges (this includes the case L = ∞)
* if L < 1 the series diverges
* and if L = 1 the test is inconclusive.

#### Gauss's test

[edit]

Let { an } be a sequence of positive numbers. If  a n a n + 1 = 1 + α n + O ( 1 / n β ) {\displaystyle {\frac {a_{n}}{a_{n+1}}}=1+{\frac {\alpha }{n}}+O(1/n^{\beta })} for some β > 1, then  ∑ a n {\displaystyle \sum a_{n}} converges if α > 1 and diverges if α ≤ 1.[4]

#### Kummer's test

[edit]

Let { an } be a sequence of positive numbers. Then:[5][6][7]

(1)  ∑ a n {\displaystyle \sum a_{n}} converges if and only if there is a sequence  b n {\displaystyle b_{n}} of positive numbers and a real number c > 0 such that  b k ( a k / a k + 1 ) − b k + 1 ≥ c {\displaystyle b_{k}(a_{k}/a_{k+1})-b_{k+1}\geq c} .

(2)  ∑ a n {\displaystyle \sum a_{n}} diverges if and only if there is a sequence  b n {\displaystyle b_{n}} of positive numbers such that  b k ( a k / a k + 1 ) − b k + 1 ≤ 0 {\displaystyle b_{k}(a_{k}/a_{k+1})-b_{k+1}\leq 0}

and  ∑ 1 / b n {\displaystyle \sum 1/b_{n}} diverges.

### Abu-Mostafa's test

[edit]

Let  ∑ n = 1 ∞ a n {\displaystyle \sum _{n=1}^{\infty }a_{n}} be an infinite series with real terms and let  f : R -> R {\displaystyle f:\mathbb {R} \to \mathbb {R} } be any real function such that  f ( 1 / n ) = a n {\displaystyle f(1/n)=a_{n}} for all positive integers n and the second derivative  f ″ {\displaystyle f''} exists at  x = 0 {\displaystyle x=0} . Then  ∑ n = 1 ∞ a n {\displaystyle \sum _{n=1}^{\infty }a_{n}} converges absolutely if  f ( 0 ) = f ′ ( 0 ) = 0 {\displaystyle f(0)=f'(0)=0} and diverges otherwise.[8]

### Notes

[edit]

* For some specific types of series there are more specialized convergence tests, for instance for Fourier series there is the Dini test.

## Examples

[edit]

Consider the series

∑ n = 1 ∞ 1 n α . {\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{\alpha }}}.} |  | i

|
|

Cauchy condensation test implies that (i) is finitely convergent if

∑ n = 1 ∞ 2 n ( 1 2 n ) α {\displaystyle \sum _{n=1}^{\infty }2^{n}\left({\frac {1}{2^{n}}}\right)^{\alpha }} |  | ii

|
|

is finitely convergent. Since

∑ n = 1 ∞ 2 n ( 1 2 n ) α = ∑ n = 1 ∞ 2 n − n α = ∑ n = 1 ∞ 2 ( 1 − α ) n {\displaystyle \sum _{n=1}^{\infty }2^{n}\left({\frac {1}{2^{n}}}\right)^{\alpha }=\sum _{n=1}^{\infty }2^{n-n\alpha }=\sum _{n=1}^{\infty }2^{(1-\alpha )n}}

(ii) is a geometric series with ratio  2 ( 1 − α ) {\displaystyle 2^{(1-\alpha )}} . (ii) is finitely convergent if its ratio is less than one (namely  α > 1 {\displaystyle \alpha >1} ). Thus, (i) is finitely convergent if and only if α > 1 {\displaystyle \alpha >1} .

## Convergence of products

[edit]

While most of the tests deal with the convergence of infinite series, they can also be used to show the convergence or divergence of infinite products. This can be achieved using following theorem: Let  { a n } n = 1 ∞ {\displaystyle \left\\{a_{n}\right\\}_{n=1}^{\infty }} be a sequence of positive numbers. Then the infinite product  ∏ n = 1 ∞ ( 1 + a n ) {\displaystyle \prod _{n=1}^{\infty }(1+a_{n})} converges if and only if the series  ∑ n = 1 ∞ a n {\displaystyle \sum _{n=1}^{\infty }a_{n}} converges. Also similarly, if  0 ≤ a n < 1 {\displaystyle 0\leq a_{n}<1} holds, then  ∏ n = 1 ∞ ( 1 − a n ) {\displaystyle \prod _{n=1}^{\infty }(1-a_{n})} approaches a non-zero limit if and only if the series  ∑ n = 1 ∞ a n {\displaystyle \sum _{n=1}^{\infty }a_{n}} converges .

This can be proved by taking the logarithm of the product and using limit comparison test.[9]

## See also

[edit]

* L'Hôpital's rule
* Shift rule

## References

[edit]

1. ^ Wachsmuth, Bert G. "MathCS.org - Real Analysis: Ratio Test". www.mathcs.org.
2. ^ František Ďuriš, Infinite series: Convergence tests, pp. 24–9. Bachelor's thesis.
3. ^ Weisstein, Eric W. "Bertrand's Test". mathworld.wolfram.com. Retrieved 2020-04-16.
4. ^ * "Gauss criterion", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
5. ^ "Über die Convergenz und Divergenz der unendlichen Reihen". Journal für die reine und angewandte Mathematik. 1835 (13): 171–184\. 1835-01-01. doi:10.1515/crll.1835.13.171. ISSN 0075-4102. S2CID 121050774.
6. ^ Tong, Jingcheng (1994). "Kummer's Test Gives Characterizations for Convergence or Divergence of all Positive Series". The American Mathematical Monthly. 101 (5): 450–452\. doi:10.2307/2974907. JSTOR 2974907.
7. ^ Samelson, Hans (1995). "More on Kummer's Test". The American Mathematical Monthly. 102 (9): 817–818\. doi:10.1080/00029890.1995.12004667. ISSN 0002-9890.
8. ^ Abu-Mostafa, Yaser (1984). "A Differentiation Test for Absolute Convergence" (PDF). Mathematics Magazine. 57 (4): 228–231\. doi:10.1080/0025570X.1984.11977116.
9. ^ Belk, Jim (26 January 2008). "Convergence of Infinite Products".

## Further reading

[edit]

* Leithold, Louis (1972). The Calculus, with Analytic Geometry (2nd ed.). New York: Harper & Row. pp. 655–737\. ISBN 0-06-043959-9.

*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template