Skip to main content

Section Alternating Series

We now consider series where every other term of the series is positive and every other term of the series is negative. To keep things simple, we will write each term of an alternating series as the product of two parts: the positive part, \(a_n, n=1,2,3,\dots\) and the alternating part, \((-1)^n\) or \((-1)^{n+1}\text{.}\)

Definition 6.60.

If \(a_n > 0\) for all positive integers \(n\text{,}\) then the series \(\displaystyle{\sum_{n+1}^{\infty} (-1)^n a_n}\) and the series \(\displaystyle{\sum_{n=1}^{\infty} (-1)^{n+1} a_n}\) are called alternating series.

Example 6.61.

The alternating Harmonic Series.

Recall the Harmonic Series, \(\dsp{\sum_{n=1}^\infty \frac{1}{n} },\) where the terms approached zero, but the series still diverged. We can modify this series to create the alternating series

\begin{equation*} S=\dsp{ \sum_{n=1}^\infty (-1)^{n+1} \frac{1}{n} } = 1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \frac{1}{5} - \cdots. \end{equation*}

By grouping the terms,

\begin{equation*} 0 \leq (1 - \frac{1}{2}) + (\frac{1}{3} - \frac{1}{4}) + \cdots = S = 1 - (\frac{1}{2} - \frac{1}{3}) - (\frac{1}{4} - \frac{1}{5}) - \cdots \leq 1 \end{equation*}

so this series is between \(0\) and \(1\text{.}\) The even partial sums can be written as:

\begin{equation*} S_2 = 1 - \frac{1}{2}, \; \; S_4 = (1 - \frac{1}{2}) + (\frac{1}{3} - \frac{1}{4}), \; \; S_6 = \dots \end{equation*}

so

\begin{equation*} S_{2N} = (1 - \frac{1}{2}) + (\frac{1}{3} - \frac{1}{4}) + \cdots + (\frac{1}{2N-1} - \frac{1}{2N}). \end{equation*}

This implies that the sequence \(\{S_{2n} \}_{n=1}^{\infty}\) is increasing and bounded above by 1, so the sequence of even terms converges to some number, let's call it \(L.\) A similar argument shows that the odd terms form a decreasing sequence that is bounded below, so the odd terms converge to some number, call it \(G.\) Draw these terms on a number line and you will see that

\begin{equation*} S_2 \lt S_4 \lt \dots \lt L \leq G \lt \dots \lt S_5 \lt S_3 \lt S_1. \end{equation*}

This means that

\begin{equation*} |L-G| \leq |S_{N} - S_{N+1}| = 1/N. \end{equation*}

Since \(\lim_{N\to \infty} 1/N = 0\) we have that \(L=G\) so this alternating series converges.

Conclusion. This alternating series has the property that if we take the absolute value of the terms then the resulting series is the Harmonic Series which diverges. But the alternating series itself converges. We call this conditionally convergent and we classify all alternating series as either divergent (series and absolute value of series diverge), conditionally convergent (series converges, but absolute value of series diverges), or absolutely convergent (series converges and absolute value of series converges).

Definition 6.62.

The series \(\displaystyle{\sum_{n=k}^{\infty} a_n}\) is said to be absolutely convergent if the series \(\displaystyle{\sum_{n=k}^{\infty} |a_n|}\) converges and the series \(\displaystyle{\sum_{n=k}^{\infty} a_n}\) is said to be conditionally convergent if it converges but the series \(\displaystyle{\sum_{n=k}^{\infty} |a_n|}\) diverges.

Here are two tests for checking the convergence of an alternating sequence. The first says that if the sum of the absolute value of the terms converge, then the alternating series also converges. The second test gives us another test for when an alternating series converges and gives us a powerful tool for saying how accurate the \(N^{th}\) partial sum is. This can tell us how many terms we need to add up in order to get an accurate approximation to the infinite sum.

Problem 6.65.

Determine the convergence or divergence of each of the following alternating series. If the series converges, then find a positive integer \(N\) so that \(S_N\) will be within .01 of the series.

  1. \(\displaystyle{\sum_{n=1}^{\infty} \frac{(-1)^n n}{n^2+1}}\)

  2. \(\displaystyle{\sum_{n=1}^{\infty} \sin \Big(\frac{(2n-1) \pi}{2} \Big)}\)

  3. \(\displaystyle{\sum_{n=1}^{\infty} \frac{(-1)^n}{\sqrt[3] n}}\)

  4. \(\displaystyle{\sum_{n=1}^{\infty} (-1)^n \frac{2^n}{n^2}}\)

  5. \(\displaystyle{\sum_{n=1}^{\infty} \Big(\frac{-1}{n}\Big)^{n+1}}\)

Recall that it is possible for a series to have positive terms that approach zero, but the series still diverges — for example, the Harmonic Series. It turns out that you can have an alternating series where the limit of the terms is zero, but the alternating series still diverges. The next problem asks for you to find one!

Problem 6.66.

Construct a sequence of non-negative terms, \(\{ a_n \}_{n=1}^\infty,\) so that the \(\lim_{n \to \infty} a_n = 0\) and \(\dsp \sum_{n=1}^\infty (-1)^{n} a_n\) diverges.

Problem 6.67.

Write out the first few terms for \(\sum_{n=1}^\infty (-1)^n\text{.}\) Does it converge or diverge? Why?

Problem 6.68.

Consider the sequence of non-negative terms where \(a_{2n-1} = n\) and \(a_{2n} = n + \frac{1}{(n+1)^2}\text{.}\) Determine whether \(\sum_{n=1}^\infty (-1)^n a_n\) converges or diverges by writing out both the first 6 terms \(a_1, a_2, a_3, a_4, a_5, a_6\) and then the first six partial sums \(S_1, S_2, S_3, S_4, S_5, S_6\text{.}\)

The integral, direct comparison and the limit comparison tests can only be used for series with positive terms. The next few theorems provide us with tests that we can use regardless of whether the terms are positive or not. First, let's recall the \(n^{th}\) Term Test which said that if \(\displaystyle{\sum_{n=1}^{\infty} a_n}\) converges, then \(\dsp{ \lim_{n \to \infty} a_n = 0}.\) Let's prove that this works for any series regardless of whether the terms are positive or not. If the series converges, let's call it \(S=\displaystyle{\sum_{n=1}^{\infty} a_n}\text{.}\) Since it converges, \(S = \lim_{n \to \infty} S_n\text{.}\) But if this is the case, then isn't it true that \(S = \lim_{n \to \infty} S_{n-1}\text{?}\) From this we have

\begin{equation*} 0=S - S = \lim_{n \to \infty} S_{n} - \lim_{n \to \infty} S_{n-1} = \lim_{n \to \infty} \big( S_n - S_{n-1} \big) = \lim_{n \to \infty} a_n. \end{equation*}

Since we didn't use anywhere that the terms were positive, the \(n^{th}\) term test may be applied to any series whether the terms are positive or not. q.e.d.

The next two tests, the Ratio Test and the Root Test also work on series regardless of whether the terms are positive or not.

Sketch of Proof of Ratio Test. This is a quite advanced proof, worthy of a course in Analysis. If you read it and are curious, I'll happily discuss it or fill in the missing details. Let's consider the case where \(\displaystyle{\lim_{n \to \infty} |\frac{a_{n+1}}{a_n}| = r}\) and \(r \lt 1\text{.}\) Since \(\dsp |\frac{a_{n+1}}{a_n}|\) is getting closer and closer to \(r\) then we can choose a positive integer \(N\) large enough to assure that \(\dsp |\frac{a_{N+1}}{a_N}| \lt 1\text{.}\) Therefore we can find a positive real number \(R\) so that \(|a_{N+1}| \lt R|a_N|\text{.}\) A little bit of algebra shows that for all positive integers \(k\) we have \(|a_{N+k}|\lt R^k|a_N|\text{.}\) This implies that \(\dsp{\sum_{k=1}^{\infty} |a_{N+k}|}\) converges and we can conclude that \(\dsp{\sum_{n=1}^{\infty} a_n}\) converges absolutely. q.e.d.

Problem 6.70.

Apply the ratio test to each series in an attempt to determine the convergence or divergence of each series. If the ratio test fails, apply another test to determine convergence or divergence.

  1. \(\dsp{ \sum_{n=2}^\infty \frac{n^2}{n!} }\)

  2. \(\dsp{ \sum_{n=3}^\infty \frac{2^n}{n^3} }\)

  3. \(\dsp{ \sum_{n=3}^\infty \frac{\ln(n)}{n} }\)

Problem 6.71.

Using any test you like, determine whether the series is absolutely convergent, conditionally convergent, or divergent.

  1. \(\displaystyle{\sum_{n=1}^{\infty} \frac{{(-1)}^n}{\ln(n+1)}}\)

  2. \(\displaystyle{\sum_{n=1}^{\infty} (-1)^n \frac{n!}{3^{n+1}}}\)

  3. \(\displaystyle{\sum_{n=1}^{\infty} (-1)^n \frac{n^2+3}{4n^3}}\)

Here is one last test that the pundits believe you should be aware of.