# Math for Non-Geeks/Cauchy criterion

In the section about limits we have seen that the Cauchy criterion provides an alternative characterization of convergence. A sequence is convergent if and only if is a Cauchy sequence. The convergence of a series is defined over the convergence of the sequence of its partial sums. Since the convergence of series traces back to the convergence of sequences, we can also use the Cauchy criterion for series, and that way prove the convergence or divergence of a series.
The Cauchy criterion is named after the French mathematician Augustin Louis Cauchy, because he was the first to introduce this convergence criterion in his textbook „Cours d'Analyse“ (1821)..

## Derivation of the Cauchy criterion
### Repetition of required terminology

Cauchy sequences are sequences, where the members will get arbitrary close to each other. If we have a Cauchy sequence $(a_{n})_{n\in \mathbb {N} }$ for every maximum distance $\epsilon >0$ there is a minimal index $N\in \mathbb {N}$, so that starting from that index $a_{N}$ for two later members $a_{n}$ and $a_{m}$ the distance $|a_{n}-a_{m}|$ is smaller than $\epsilon$. Thus for a Cauchy sequence we have:
$\forall \epsilon >0\,\exists N\in \mathbb {N} \,\forall n,m\geq N:|a_{n}-a_{m}|<\epsilon$
For the derivation we also need to define the convergence of series: A series $\sum _{k=1}^{\infty }a_{k}$ is convergent if and only if the sequence of its partial sums
$\left(\sum _{k=1}^{n}a_{k}\right)_{n\in \mathbb {N} }=\left(\sum _{k=1}^{1}a_{k},\quad \sum _{k=1}^{2}a_{k},\quad \sum _{k=1}^{3}a_{k},\quad \sum _{k=1}^{4}a_{k},\ \ldots \right)$
is convergent.

### Derivation

Let $S_{n}$ be te $n$-th partial sum, so the sum of the first $n$ summands:
$S_{n}=a_{1}+a_{2}+a_{3}+\ldots +a_{n}=\sum _{k=1}^{n}a_{k}$
We assume that the series $\sum _{k=1}^{\infty }a_{k}$ is convergent. From definition the sequence $(S_{n})_{n\in \mathbb {N} }$ converges, therefore it also satisfies the Cauchy criterion. We can plug $(S_{n})_{n\in \mathbb {N} }$ into the above Cauchy criterion for sequences:
$\forall \epsilon >0\,\exists N\in \mathbb {N} \,\forall n,m\geq N:|S_{n}-S_{m}|<\epsilon$
The distance $|S_{n}-S_{m}|$ becomes arbitrary small, and this part of the formula can be further broken down. Assume that $n>m$. Then:
${\begin{aligned}|S_{n}-S_{m}|&=\left|\sum _{k=1}^{n}a_{k}-\sum _{l=1}^{m}a_{l}\right|\\&=|({\color {OliveGreen}a_{1}+\ldots +a_{m}}+a_{m+1}+\ldots a_{n})-({\color {OliveGreen}a_{1}+\ldots +a_{m}})|\\&=|a_{m+1}+a_{m+2}+\ldots +a_{n}|\\&=\left|\sum _{k=m+1}^{n}a_{k}\right|\\&=\left|\sum _{k=1}^{n-m}a_{m+k}\right|\end{aligned}}$
We observe: If a series is convergent, then the sum of the subsequent summands with arbitrary but fixed length will get arbitrary small with increasing start-index. Thus with the convergence of a series we have:
$\forall \epsilon >0\,\exists N\in \mathbb {N} \,\forall n>m\geq N:\left|\sum _{k=m+1}^{n}a_{k}\right|<\epsilon$
Here we require $n>m\geq N$ instead of $n,m\geq N$, because above we have only considered cases with $n>m$.

### Beautification of the formula

To make the above formula more beautiful, we set ${\tilde {m}}=m+1$. Thus $n>m$ becomes $n\geq m+1={\tilde {m}}$. Also $m\geq N$ becomes the inequality ${\tilde {m}}=m+1\geq N+1$. We get:
$\forall \epsilon >0\,\exists N\in \mathbb {N} \,\forall n\geq {\tilde {m}}\geq N+1:\left|\sum _{k={\tilde {m}}}^{n}a_{k}\right|<\epsilon$
If we now set ${\tilde {N}}=N+1$:
$\forall \epsilon >0\,\exists {\tilde {N}}\in \mathbb {N} \,\forall n\geq {\tilde {m}}\geq {\tilde {N}}:\left|\sum _{k={\tilde {m}}}^{n}a_{k}\right|<\epsilon$
We rename ${\tilde {m}}\to m$ und ${\tilde {N}}\to N$ and obtain:
$\forall \epsilon >0\,\exists N\in \mathbb {N} \,\forall n\geq m\geq N:\left|\sum _{k=m}^{n}a_{k}\right|<\epsilon$
The above formula is thus true, if the series converges. It is called Cauchy criterion of series.

### Proof of the converse

We have shown that a convergent series satisfies the Cauchy criterion. Conversely a series that satisfies the Cauchy criterion is convergent, i.e. if $\left|\sum _{k=m}^{n}a_{k}\right|$ becomes arbitrary small. So let us assume that
$\forall \epsilon >0\,\exists {\tilde {N}}\in \mathbb {N} \,\forall n\geq {\tilde {m}}\geq {\tilde {N}}:\left|\sum _{k={\tilde {m}}}^{n}a_{k}\right|<\epsilon$
is true, and convince ourself that the series must be convergent. In the above derivation we have seen that $\left|\sum _{k=m}^{n}a_{k}\right|$ is the distance $|S_{n}-S_{m}|$ for $n>m$ (after we renamed the variables). From the Cauchy criterion for series we can follow the Cauchy condition for the sequence of the partial sums with $n>m$. But we lack the Cauchy condition for the case $m\geq n$. Here we need to prove once more that $|S_{n}-S_{m}|$ becomes smaller than any $\epsilon$. We have
${\begin{aligned}|S_{n}-S_{m}|&=|S_{m}-S_{n}|\\&=\left|\sum _{k=1}^{m}a_{k}-\sum _{l=1}^{n}a_{l}\right|\\[1em]&\quad {\color {OliveGreen}\left\downarrow \ {\text{as above}}\right.}\\[1em]&=\left|\sum _{k=n+1}^{m}a_{k}\right|\end{aligned}}$
Again we have the absolute value of a sum of subsequent summands. We know from the Cauchy criterion for series that this value will become arbitrary small with increasing starting index and in particular it will be smaller than any $\epsilon$ if we choose a large enough starting index. So from the Cauchy criterion for series we have followed the Cauchy condition for the sequence of the partial sums $(S_{n})_{n\in \mathbb {N} }$, which by definition means convergence of the series.

## Definition of Cauchy Criterion

Definition (Cauchy criterion for series)
A series $\sum _{k=1}^{\infty }a_{k}$ satisfies the Cauchy criterion for series, if the following is true:
$\forall \epsilon >0\,\exists N\in \mathbb {N} \,\forall n\geq m\geq N:\left|\sum _{k=m}^{n}a_{k}\right|<\epsilon$
With annotations:
$\underbrace {{\underset}\forall \epsilon >0} _{{\text{For every distance }}\epsilon >0}\ \underbrace {{\underset}\exists N\in \mathbb {N} } _{{\text{ there exists a minimum index }}N}\ \underbrace {{\underset}\forall n\geq m\geq N:} _{{\text{so that for all indices }}n\geq m\geq N}\ \underbrace {{\underset}\left|\sum _{k=m}^{n}a_{k}\right|<\epsilon } _{{\text{ the absolute value }}\sum _{k=m}^{n}a_{k}{\text{ is smaller than }}\epsilon }$
In the derivation we have also shown the following theorem:
Theorem (Cauchy criterion is equivalent to convergence)
A convergent series satisfies the Cauchy criterion, and conversely every real-valued series, that satisfies the Cauchy criterion, has a real values limit.
Question: Why do some textbooks define the Cauchy criterion with $n\geq m>N$ instead of $n\geq m\geq N$?
The two definitions are not in contradiction with each other: $n\geq m>N$ is equivalent to $n\geq m\geq N+1$. After renaming $M=N+1$ we obtain our known definition with $n\geq m\geq M$. The only difference between the definitions is whether we allow $m=N$ bzw. $n=N$ or not, the statement about convergence remains the same.
In practice the Cauchy criterion is not often used to determine the convergence of a given series. There are better convergence criteria to work with. But you will see the Cauchy criterion often used in proofs. For instance we can show that the Term test is correct, by using the Cauchy criterion. We can further show that any absolutely convergent series is also convergent in the normal way.
In the derivation we have also seen that the Cauchy criterion for series is analogue to the Cauchy criterion for sequences, but we apply it to the sequence of partial sums.

## Conclusion: Modifying finitely many summands has no influence on convergence

The Cauchy criterion for series tells us that changing the value of finitely many summands of the series will not affect the convergence behaviour. Take a series $\sum _{k=1}^{\infty }a_{k}$, and change finitely many summands. Let $a_{N}$ be the last summand that was changed. For all later $n\geq m\geq N+1$ the absolute value $\left|\sum _{k=m}^{n}a_{k}\right|$ will not change. So if the series $\sum _{k=1}^{\infty }a_{k}$ satisfies the Cauchy criterion, the same is true for the modified series and vice versa. Since the conformance to Cauchy criterion is equivalent to convergence, this means that the convergence behaviour of a series will not change if you modify a finite amount of summands (but the value of the series could change).

## Structure of proofs
### Convergence proof

The definition of the Cauchy criterion for a series $\sum _{k=1}^{\infty }a_{k}$ is:
${\color {Red}\forall \epsilon >0}\ {\color {RedOrange}\exists N\in \mathbb {N} }\ {\color {OliveGreen}\forall n\geq m\geq N}:{\color {Blue}\left|\sum _{k=m}^{n}a_{k}\right|<\epsilon }$
From this definition we can derive the structure of a convergence proof:
${\begin{array}{l}{\color {Red}\underbrace {{\underset}{\text{Let }}\epsilon >0{\text{ be arbitrary.}}} _{\forall \epsilon >0}}\ {\color {RedOrange}\underbrace {{\underset}{\text{Choose }}N=\ldots {\text{ There exists }}N{\text{, because}}\ldots } _{\exists N\in \mathbb {N} }}\\{\color {OliveGreen}\underbrace {{\underset}{\text{Let }}n\geq m\geq N{\text{ be arbitrary.}}} _{\forall n\geq m\geq N}}\ {\color {Blue}\underbrace {{\underset}{\text{We have: }}\left|\sum _{k=m}^{n}a_{k}\right|<\ldots <\epsilon } _{\left|\sum _{k=m}^{n}a_{k}\right|<\epsilon }}\end{array}}$
When writing a convergence proof, you can use the above structure for orientation.

### Divergence proof

For divergence we can also have a proof structure using the Cauchy criterion. The formal definition:
${\color {Red}\exists \epsilon >0}\ {\color {RedOrange}\forall N\in \mathbb {N} }\ {\color {OliveGreen}\exists n\geq m\geq N}:{\color {Blue}\left|\sum _{k=m}^{n}a_{k}\right|\geq \epsilon }$
The structure for the proof is as follows:
${\begin{array}{l}{\color {Red}\underbrace {{\underset}{\text{Choose }}\epsilon =\ldots } _{\exists \epsilon >0}}\ {\color {RedOrange}\underbrace {{\underset}{\text{Let }}N\in \mathbb {N} {\text{ be arbitrary.}}} _{\forall N\in \mathbb {N} }}\\{\color {OliveGreen}\underbrace {{\underset}{\text{Choose }}n=\ldots {\text{ and }}m=\ldots } _{\exists n\geq m\geq N}}\\{\color {Black}{\text{It follows that:}}}\\[0.5em]\quad \quad {\color {Blue}{\text{Proof for }}\left|\sum _{k=m}^{n}a_{k}\right|\geq \epsilon }\end{array}}$
Hint
In proofs like these sometimes certain claims are trivial. Then you don't have to proof them separately. For example in some divergence proofs you can set $\epsilon =1$. You don't have to prove that $\epsilon$ exists, because it is clear that the number $1$ exists.

## Finding a proof

The search for a proof will vary depending on how the final proof is structured. This is also true for proofs that make use of the Cauchy criterion. In this section we are going to explain possible ways of finding proofs with the Cauchy criterion.

### Convergence proof

The core of a convergence proof that uses the Cauchy criterion is the inequality chain $\left|\sum _{k=m}^{n}a_{k}\right|<\ldots <\epsilon$, i.e. no matter how small our $\epsilon >0$ is, we need to find a sufficiently large $N\in \mathbb {N}$, so that $\left|\sum _{k=m}^{n}a_{k}\right|<\epsilon$ for $m\geq n\geq N$. To find this inequaltiy chain we often estimate an upper bound for $\left|\sum _{k=m}^{n}a_{k}\right|$. We will have an inequality chain of the following form:
$\left|\sum _{k=m}^{n}a_{k}\right|\leq T_{1}(n,m)\leq T_{2}(n,m)\leq \ldots \leq T_{k}(n,m)$
The terms $T_{k}(n,m)$ are dependent on $m$ and $n$. The goal is to reduce or simplfy these terms using clever estimates or rearrangement. But pay attention not to estimate too generously. All of the terms $T_{k}(n,m)$ has to be smaller than a chosen $\epsilon >0$, if $m$ and $n$ are sufficently large. For our estimates we can define arbitrary conditions $m\geq N(\epsilon )$ or $n\geq N(\epsilon )$, if this helps us. But unfortunately there are no general rules for those estimates. Sometimes you have to employ clever manipulations or (computational) tricks.
After we reduced the terms in the inequality chain enough, we should find that the last term $T_{k}(n,m)$ is smaller than $\epsilon$. We thus look at the inequality $T_{k}(n,m)<\epsilon$. Through equivalent reformulation of our condition we find $m$ and $n$, so that the term $T_{k}(n,m)$ is guaranteed to be smaller than $\epsilon$.
As the last step we have to choose our $N$. We do that by considering all conditions we found for $m$ and $n$. We first can restate our condition $m\geq N(\epsilon )$ as $n\geq N(\epsilon )$. Because of $m\geq n$ it follows from $n\geq N(\epsilon )$ that also $m\geq N(\epsilon )$. If you have the conditions $n\geq N_{1}(\epsilon )$, $n\geq N_{2}(\epsilon )$ up to $n\geq N_{k}(\epsilon )$, then we can set $N=\max\{N_{1}(\epsilon ),N_{2}(\epsilon ),\ldots N_{k}(\epsilon )\}$ in our final proof. From $n\geq N=\max\{N_{1}(\epsilon ),\ldots N_{k}(\epsilon )\}$ it follows that $n$ is greater than any $N_{i}(\epsilon )$. For example, imagine that for your inequality chain you need the following conditions:
* $n\geq {\frac {1}{\epsilon }}$
* $n\geq \log(1+\epsilon )$
* $n\geq 42$
Then you can simply set $N=\max \left\{{\tfrac {1}{\epsilon }},\log(1+\epsilon ),42\right\}$ in your proof.

### Divergence proof

To proof the divergence of a series through the Cauchy criterion we need to find a $\epsilon$, that satisfies the inequality chain $\left|\sum _{k=m}^{n}a_{k}\right|\geq \ldots \geq \epsilon$. In contrast to the convergence case our inequality must hold for all $n,m\geq N$ and for all $N\in \mathbb {N}$. For that we expand the summands of $\left|\sum _{k=m}^{n}a_{k}\right|$ and try to estimate a lower bound. We can make use of the free choice of $n$ which in relation to $m$ can be arbitrary large (only condition being $n\geq m$). In that way we can make $\left|\sum _{k=m}^{n}a_{k}\right|$ so big, that no watter what $N\in \mathbb {N}$ we choose the value of $\left|\sum _{k=m}^{n}a_{k}\right|$ will be bigger than any fixed positive real number. Set $\epsilon$ as the value of that number.
Again there are no general rules for the estimates and the choice $n$. What works oftentimes though, is to set all summands to the smallest value, and set $n=tm$ with respective $t\in \mathbb {N}$.

## Exercises
### Example for convergence

Math for Non-Geeks: Template:Aufgabe

### Example for divergence

Math for Non-Geeks: Template:Aufgabe
For another example of a convergence case, take a look at the alternating harmonic series in the respective Exercise.
* ↑ Siehe die Antwort auf die Frage „Origin of Cauchy convergence test“ der Q&A Webseite „History of Science and Mathematics“