Cauchy's limit theorem explained

Cauchy's limit theorem, named after the French mathematician Augustin-Louis Cauchy, describes a property of converging sequences. It states that for a converging sequence the sequence of the arithmetic means of its first

n

members converges against the same limit as the original sequence, that is

(an)

with

an\toa

implies

(a1+ … +an)/n\toa

.[1] [2] The theorem was found by Cauchy in 1821,[1] subsequently a number of related and generalized results were published, in particular by Otto Stolz (1885) and Ernesto Cesàro (1888).[3]

Related results and generalizations

If the arithmetic means in Cauchy's limit theorem are replaced by weighted arithmetic means those converge as well. More precisely for sequence

(an)

with

an\toa

and a sequence of positive real numbers

(pn)

with
1
p1+ … +pn

\to0

one has
p1a1+ … +pnan
p1+ … +pn

\toa

.[2] [1]

This result can be used to derive the Stolz–Cesàro theorem, a more general result of which Cauchy's limit theorem is a special case.[2]

For the geometric means of a sequence a similar result exists. That is for a sequence

(an)

with

an>0

and

an\toa

one has

\sqrt[n]{a1a2 ⋅ an}\toa

.[2] [1]

The arithmetic means in Cauchy's limit theorem are also called Cesàro means. While Cauchy's limit theorem implies that for a convergent series its Cesàro means converge as well, the converse is not true. That is the Cesàro means may converge while the original sequence does not. Applying the latter fact on the partial sums of a series allows for assigning real values to certain divergent series and leads to the concept of Cesàro summation and summable series. In this context Cauchy's limit theorem can be generalised into the Silverman–Toeplitz theorem.[1] [4]

Proof

Let

\varepsilon>0

and

N\in\N

such that

|ak-a|\leq\tfrac{\varepsilon}{2}

for all

k\geqN

. Due to

\limn

1
n
N
\sum
k=1

(ak-a)=0

there exists a

M\in\N

with
\left|1
n
N
\sum
k=1

(ak-a)\right|\leq

\varepsilon
2
for all

n\geqM

.

Now for all

n\geqmax(N,M)

the above yields:
\begin{align} \left|1
n
n
\left(\sum
k=1

ak\right)-a\right|&=\left|

1
n
n
\sum
k=1

(ak-a)\right|=\left|

1
n
N
\sum
k=1

(ak-a)+

1
n
n
\sum
k=N+1

(ak-a)\right|\ &\leq\left|

1
n
N
\sum
k=1

(ak-a)\right|+

1
n
n
\sum
k=N+1

|ak-a|\leq

\varepsilon
2

+

(n-N)\varepsilon
2n

\leq\varepsilon. \end{align}

[2]

References

  1. [Konrad Knopp]
  2. [Harro Heuser]
  3. J. Marshall Ash, Allan Berele, Stefan Catoiu: Plausible and Genuine Extensions of L’Hospital’s Rule. In: Mathematics Magazine, Vol. 85, No. 1, Februar 2012, pp. 52–60,
  4. Johann Boos: Classical and Modern Methods in Summability. Oxford University Press, 2000, ISBN 9780198501657, p. 9

Further reading

External links