Term test

From Infogalactic: the planetary knowledge core
Jump to: navigation, search

Lua error in package.lua at line 80: module 'strict' not found.

In mathematics, the nth-term test for divergence[1] is a simple test for the divergence of an infinite series:

  • If \lim_{n \to \infty} a_n \neq 0 or if the limit does not exist, then \sum_{n=1}^\infty a_n diverges.

Many authors do not name this test or give it a shorter name.[2]

Usage

Unlike stronger convergence tests, the term test cannot prove by itself that a series converges. In particular, the converse to the test is not true; instead all one can say is:

  • If \lim_{n \to \infty} a_n = 0, then \sum_{n=1}^\infty a_n may or may not converge. In other words, if \lim_{n \to \infty} a_n = 0, the test is inconclusive.

The harmonic series is a classic example of a divergent series whose terms limit to zero.[3] The more general class of p-series,

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

exemplifies the possible results of the test:

  • If p ≤ 0, then the term test identifies the series as divergent.
  • If 0 < p ≤ 1, then the term test is inconclusive, but the series is divergent by the integral test for convergence.
  • If 1 < p, then the term test is inconclusive, but the series is convergent, again by the integral test for convergence.

Proofs

The test is typically proved in contrapositive form:

  • If \sum_{n=1}^\infty a_n converges, then \lim_{n \to \infty} a_n = 0.

Limit manipulation

If sn are the partial sums of the series, then the assumption that the series converges means that

\lim_{n\to\infty} s_n = s

for some number s. Then[4]

\lim_{n\to\infty} a_n = \lim_{n\to\infty}(s_n-s_{n-1}) = \lim_{n\to\infty} s_n - \lim_{n\to\infty} s_{n-1} = s-s = 0.

Cauchy's criterion

The assumption that the series converges means that it passes Cauchy's convergence test: for every \varepsilon>0 there is a number N such that

|a_{n+1}+a_{n+2}+\ldots+a_{n+p}|<\varepsilon

holds for all n > N and p ≥ 1. Setting p = 1 recovers the definition of the statement[5]

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

Scope

The simplest version of the term test applies to infinite series of real numbers. The above two proofs, by invoking the Cauchy criterion or the linearity of the limit, also work in any other normed vector space[6] (or any (additively written) abelian group).

Notes

  1. Kaczor p.336
  2. For example, Rudin (p.60) states only the contrapositive form and does not name it. Brabenec (p.156) calls it just the nth term test. Stewart (p.709) calls it the Test for Divergence.
  3. Rudin p.60
  4. Brabenec p.156; Stewart p.709
  5. Rudin (pp.59-60) uses this proof idea, starting with a different statement of Cauchy criterion.
  6. Hansen p.55; Șuhubi p.375

References

  • Lua error in package.lua at line 80: module 'strict' not found.
  • Lua error in package.lua at line 80: module 'strict' not found.
  • Lua error in package.lua at line 80: module 'strict' not found.
  • Lua error in package.lua at line 80: module 'strict' not found.
  • Lua error in package.lua at line 80: module 'strict' not found.
  • Lua error in package.lua at line 80: module 'strict' not found.