\( \newcommand{\matr}[1] {\mathbf{#1}} \newcommand{\vertbar} {\rule[-1ex]{0.5pt}{2.5ex}} \newcommand{\horzbar} {\rule[.5ex]{2.5ex}{0.5pt}} \newcommand{\E} {\mathrm{E}} \)
deepdream of a sidewalk
Show Question
\( \newcommand{\cat}[1] {\mathrm{#1}} \newcommand{\catobj}[1] {\operatorname{Obj}(\mathrm{#1})} \newcommand{\cathom}[1] {\operatorname{Hom}_{\cat{#1}}} \newcommand{\multiBetaReduction}[0] {\twoheadrightarrow_{\beta}} \newcommand{\betaReduction}[0] {\rightarrow_{\beta}} \newcommand{\betaEq}[0] {=_{\beta}} \newcommand{\string}[1] {\texttt{"}\mathtt{#1}\texttt{"}} \newcommand{\symbolq}[1] {\texttt{`}\mathtt{#1}\texttt{'}} \newcommand{\groupMul}[1] { \cdot_{\small{#1}}} \newcommand{\groupAdd}[1] { +_{\small{#1}}} \newcommand{\inv}[1] {#1^{-1} } \newcommand{\bm}[1] { \boldsymbol{#1} } \require{physics} \require{ams} \require{mathtools} \)
Math and science::Analysis::Tao::07. Series

Alternating series test

An alternating series converges if the sequence of elements converges absolutely to zero.

Let \( (a_n)_{n=m}^{\infty} \) be a sequence of real numbers which are non-negative and decreasing, thus \( a_n \ge 0 \) and \( a_n \ge a_{n+1} \) for every \( n \ge m \). Then the series \( \sum_{n=m}^{\infty}(-1)^n a_n \) is convergent if and only if the sequence \( (a_n)_{n=m}^{\infty} \) converges to 0 as \( n \rightarrow \infty \).


There is some weight to this proposition, as non-alternating series do not have this property. For example, the series \( \sum_{n=m}^{\infty}\frac{1}{n} \) does not converge. But, \( \sum_{n=m}^{\infty}(-1)^{n}\frac{1}{n} \) in comparison will converge to zero.

Proof outline

The below approach is summarized as:

Let \( N \) be even. For any \( k>0 \), \( S_{N+k} \) is less than \( S_N \) but greater than \( S_{N+1} \). The difference between \( S_N \) and \( S_{N+1} \) approaches zero because the sequence \( (a_n)_{n=m}^{\infty} \) approaches zero. So the sequence of sums \( (S_n)_{n=m}^{\infty} \) is \( \varepsilon \)-steady for every \( \varepsilon > 0 \).

Proof

This proof is crafty, and my attempts at an alternative failed, so there is some value in internalizing the approach.

One side of the iff relationship is easy. From the zero test for series, we know that if \( \sum_{n=m}^{\infty}(-1)^n a_n \) is a convergent series, then the sequence \( ((-1)^n a_n)_{n=m}^{\infty} \) converges to 0, and by the zero test for sequences, we can infer that the sequence (\( a_n)_{n=m}^{\infty} \) must also converge to zero. 

Now suppose conversly that (\( (-1)^n a_n)_{n=m}^{\infty} \) converges to 0. For each \( N \ge m \), let \( S_N \) be the partial sum \( S_N := \sum_{n=m}^{N}(-1)a_n \); our job is to show that \( (S_N)_{N=m}^{\infty} \) converges. Observe that

\[
\begin{aligned}
S_{N+2} &= S_N + (-1)^{N+1}a_{N+1} + (-1)^{N+2}a_{N+2} \\
&= S_N + (-1)^{N+1}(a_{N+1} - a_{N+2})
\end{aligned}
\]

By hypothesis \( (a_{N+1} - a_{N+2}) \) is non-negative. Thus we have \( S_{N+2} \ge S_N \), when \( N \) is odd and \( S_{N+2} \le S_N \) when \( N \) is even. Now suppose that \( N \) is even. [What is nice is the the proof proceeds without needing to consider the other case. We arrive at an inequality that works for what we need.]

From the above discussion and induction we see that both:

\( S_{N+2k} \le {S_N} \) and \( S_{N + 2k+1} \ge S_{N+1} = S_N - a_{N+1} \) for all natural numbers \( k \). Also we have \( S_{N + 2k + 1} = S_{N + 2k} - a_{N + 2k + 1} \le S_{N+2k} \). Combining all of this we can say:

\[ S_N - a_{N+1} \le S_{N+2k + 1} \le S_{N+2k} \le S_N \text{ for all k} \]

This means that

\[ S_N - a_{N+1} \le S_n \le S_N \text{ for all } n \ge N \]

This is enough for us to be able to say that \( (S_n)_{n=m}^{\infty} \) is eventually \( a_{N+1} \)-steady. But the sequence \( (a_N)_{N=m}^{\infty} \) converges to 0 as \( N \rightarrow \infty \), which implies that \( (S_n)_{n=m}^{\infty} \) is eventually ε-steady for every \( \varepsilon > 0 \). Thus, \( (S_n)_{n=m}^{\infty} \) converges, and so the series \( \sum_{n=m}^{\infty}(-1)^n a_n \) is convergent.