8.5: Alternating Series and Absolute Convergence

All of the series convergence tests we have used require that the underlying sequence \(\{a_n\}\) be a positive sequence. (We can relax this with Theorem 64 and state that there must be an \(N>0\) such that \(a_n>0\) for all \(n>N\); that is, \(\{a_n\}\) is positive for all but a finite number of values of \(n\).)

In this section we explore series whose summation includes negative terms. We start with a very specific form of series, where the terms of the summation alternate between being positive and negative.

Definition 34: alternating series

Let \(\{a_n\}\) be a positive sequence. An alternating series is a series of either the form

\[\sum\limits_{n=1}^\infty (-1)^na_n\qquad \text{or}\qquad \sum\limits_{n=1}^\infty (-1)^{n+1}a_n.\]

Recall the terms of Harmonic Series come from the Harmonic Sequence \(\{a_n\} = \{1/n\}\). An important alternating series is the Alternating Harmonic Series:

\[\sum\limits_{n=1}^\infty (-1)^{n+1}\dfrac1n = 1-\dfrac12+\dfrac13-\dfrac14+\dfrac15-\dfrac16+\cdots\]

Geometric Series can also be alternating series when \(r<0\). For instance, if \(r=-1/2\), the geometric series is

\[\sum\limits_{n=0}^\infty \left(\dfrac{-1}{2}\right)^n = 1-\dfrac12+\dfrac14-\dfrac18+\dfrac1{16}-\dfrac1{32}+\cdots\]

Theorem 60 states that geometric series converge when \(|r|<1\) and gives the sum: \( \sum\limits_{n=0}^\infty r^n = \dfrac1{1-r}\). When \(r=-1/2\) as above, we find

\[\sum\limits_{n=0}^\infty \left(\dfrac{-1}{2}\right)^n = \dfrac1{1-(-1/2)} = \dfrac 1{3/2} = \dfrac23.\]

A powerful convergence theorem exists for other alternating series that meet a few conditions.

theorem 70: alternating series test

Let \(\{a_n\}\) be a positive, decreasing sequence where \( \lim\limits_{n\to\infty}a_n=0\). Then

\[\sum\limits_{n=1}^\infty (-1)^{n}a_n \qquad \text{and}\qquad \sum\limits_{n=1}^\infty (-1)^{n+1}a_n\] converge.

The basic idea behind Theorem 70 is illustrated in Figure \(\PageIndex{1}\). A positive, decreasing sequence \(\{a_n\}\) is shown along with the partial sums

\[S_n = \sum\limits_{i=1}^n(-1)^{i+1}a_i =a_1-a_2+a_3-a_4+\cdots+(-1)^{n+1}a_n.\]

Because \(\{a_n\}\) is decreasing, the amount by which \(S_n\) bounces up/down decreases. Moreover, the odd terms of \(S_n\) form a decreasing, bounded sequence, while the even terms of \(S_n\) form an increasing, bounded sequence. Since bounded, monotonic sequences converge (see Theorem 59) and the terms of \(\{a_n\}\) approach 0, one can show the odd and even terms of \(S_n\) converge to the same common limit \(L\), the sum of the series.

Figure \(\PageIndex{1}\): Illustrating the convergence with the Alternating Series Test.

Example \(\PageIndex{1}\): Applying the Alternating Series Test

Determine if the Alternating Series Test applies to each of the following series.

1. \( \sum\limits_{n=1}^\infty (-1)^{n+1}\dfrac{1}{n}\)
2. \( \sum\limits_{n=1}^\infty (-1)^n\dfrac{\ln n}{n}\)
3. \(\sum\limits_{n=1}^\infty (-1)^{n+1}\dfrac{|\sin n|}{n^2}\)

Solution

1. This is the Alternating Harmonic Series as seen previously. The underlying sequence is \(\{a_n\} = \{1/n\}\), which is positive, decreasing, and approaches 0 as \(n\to\infty\). Therefore we can apply the Alternating Series Test and conclude this series converges.
   While the test does not state what the series converges to, we will see later that \( \sum\limits_{n=1}^\infty (-1)^{n+1}\dfrac1n=\ln2.\)
2. The underlying sequence is \(\{a_n\} = \{\ln n/n\}\). This is positive and approaches 0 as \(n\to\infty\) (use L'Hopital's Rule). However, the sequence is not decreasing for all \(n\). It is straightforward to compute \(a_1=0\), \(a_2\approx0.347\), \(a_3\approx 0.366\), and \(a_4\approx 0.347\): the sequence is increasing for at least the first 3 terms.
   
   We do not immediately conclude that we cannot apply the Alternating Series Test. Rather, consider the long--term behavior of \(\{a_n\}\). Treating \(a_n=a(n)\) as a continuous function of \(n\) defined on \([1,\infty)\), we can take its derivative:\[a^\prime (n) = \dfrac{1-\ln n}{n^2}.\] The derivative is negative for all \(n\geq 3\) (actually, for all \(n>e\)), meaning \(a(n)=a_n\) is decreasing on \([3,\infty)\). We can apply the Alternating Series Test to the series when we start with \(n=3\) and conclude that \( \sum\limits_{n=3}^\infty(-1)^n\dfrac{\ln n}{n}\) converges; adding the terms with \(n=1\) and \(n=2\) do not change the convergence (i.e., we apply Theorem 64).
   
   The important lesson here is that as before, if a series fails to meet the criteria of the Alternating Series Test on only a finite number of terms, we can still apply the test.
3. The underlying sequence is \(\{a_n\} = |\sin n|/n\). This sequence is positive and approaches \(0\) as \(n\to\infty\). However, it is not a decreasing sequence; the value of \(|\sin n|\) oscillates between \(0\) and \(1\) as \(n\to\infty\). We cannot remove a finite number of terms to make \(\{a_n\}\) decreasing, therefore we cannot apply the Alternating Series Test.
   
   Keep in mind that this does not mean we conclude the series diverges; in fact, it does converge. We are just unable to conclude this based on Theorem 70.

Key Idea 31 gives the sum of some important series. Two of these are

\[\sum\limits_{n=1}^\infty \dfrac1{n^2} =\dfrac{\pi^2}6 \approx 1.64493 \quad \text{and} \quad \sum\limits_{n=1}^\infty \dfrac{(-1)^{n+1}}{n^2} = \dfrac{\pi^2}{12}\approx 0.82247.\]

These two series converge to their sums at different rates. To be accurate to two places after the decimal, we need 202 terms of the first series though only 13 of the second. To get 3 places of accuracy, we need 1069 terms of the first series though only 33 of the second. Why is it that the second series converges so much faster than the first?

While there are many factors involved when studying rates of convergence, the alternating structure of an alternating series gives us a powerful tool when approximating the sum of a convergent series.

theorem 71: the alternating series approximation theorem

Let \(\{a_n\}\) be a sequence that satisfies the hypotheses of the Alternating Series Test, and let \(S_n\) and \(L\) be the \(n^\text{th}\) partial sums and sum, respectively, of either \( \sum\limits_{n=1}^\infty (-1)^{n}a_n\) or \( \sum\limits_{n=1}^\infty (-1)^{n+1}a_n\). Then

1. \(|S_n-L| < a_{n+1}\), and
2. \(L\) is between \(S_n\) and \(S_{n+1}\).

Part 1 of Theorem 71 states that the \(n^\text{th}\) partial sum of a convergent alternating series will be within \(a_{n+1}\) of its total sum. Consider the alternating series we looked at before the statement of the theorem, \( \sum\limits_{n=1}^\infty \dfrac{(-1)^{n+1}}{n^2}\). Since \(a_{14} = 1/14^2 \approx 0.0051\), we know that \(S_{13}\) is within \(0.0051\) of the total sum.

Moreover, Part 2 of the theorem states that since \(S_{13} \approx 0.8252\) and \(S_{14}\approx 0.8201\), we know the sum \(L\) lies between \(0.8201\) and \(0.8252\). One use of this is the knowledge that \(S_{14}\) is accurate to two places after the decimal.

Some alternating series converge slowly. In Example \(\PageIndex{1}\) we determined the series \(\sum\limits_{n=1}^\infty (-1)^{n+1}\dfrac{\ln n}{n}\) converged. With \(n=1001\), we find \(\ln n/n \approx 0.0069\), meaning that \(S_{1000} \approx 0.1633\) is accurate to one, maybe two, places after the decimal. Since \(S_{1001} \approx 0.1564\), we know the sum \(L\) is \(0.1564\leq L\leq0.1633\).

Example \(\PageIndex{2}\): Approximating the sum of convergent alternating series

Approximate the sum of the following series, accurate to within \(0.001\).

1.\( \sum\limits_{n=1}^\infty (-1)^{n+1}\dfrac{1}{n^3}\qquad 2. \sum\limits_{n=1}^\infty (-1)^{n+1}\dfrac{\ln n}{n}\).

Solution

1. Using Theorem 71, we want to find \(n\) where \(1/n^3 < 0.001\): \[\begin{align*}\dfrac1{n^3} &\leq 0.001=\dfrac{1}{1000} \\n^3 &\geq 1000\\n &\geq \sqrt[3]{1000}\\n &\geq 10.\end{align*}\] Let \(L\) be the sum of this series. By Part 1 of the theorem, \(|S_9-L|<a_{10} = 1/1000\). We can compute \(S_9=0.902116\), which our theorem states is within \(0.001\) of the total sum.
   
   We can use Part 2 of the theorem to obtain an even more accurate result. As we know the \(10^\text{th}\) term of the series is \(-1/1000\), we can easily compute \(S_{10} = 0.901116\). Part 2 of the theorem states that \(L\) is between \(S_9\) and \(S_{10}\), so \(0.901116 <L<0.902116\).
2. We want to find \(n\) where \(\ln (n)/n < 0.001\). We start by solving \(\ln (n)/n = 0.001\) for \(n\). This cannot be solved algebraically, so we will use Newton's Method to approximate a solution.
   
   Let \(f(x) = \ln(x)/x-0.001\); we want to know where \(f(x) = 0\). We make a guess that \(x\) must be "large,'' so our initial guess will be \(x_1=1000\). Recall how Newton's Method works: given an approximate solution \(x_n\), our next approximation \(x_{n+1}\) is given by \[x_{n+1} = x_n - \dfrac{f(x_n)}{f^\prime (x_n)}.\]
   
   We find \(f^\prime (x) = \big(1-\ln(x)\big)/x^2\). This gives \[\begin{align*}x_2 &= 1000 - \dfrac{\ln(1000)/1000-0.001}{\big(1-\ln(1000)\big)/1000^2} \\&= 2000.\end{align*}\]
   
   Using a computer, we find that Newton's Method seems to converge to a solution \(x=9118.01\) after 8 iterations. Taking the next integer higher, we have \(n=9119\), where \(\ln(9119)/9119 =0.000999903<0.001\).
   
   Again using a computer, we find \(S_{9118} = -0.160369\). Part 1 of the theorem states that this is within \(0.001\) of the actual sum \(L\). Already knowing the 9,119\(^\text{th}\) term, we can compute \(S_{9119} = -0.159369\), meaning \(-0.159369 < L < -0.160369\).

Notice how the first series converged quite quickly, where we needed only 10 terms to reach the desired accuracy, whereas the second series took over 9,000 terms.

One of the famous results of mathematics is that the Harmonic Series, \( \sum\limits_{n=1}^\infty \dfrac1n\) diverges, yet the Alternating Harmonic Series, \( \sum\limits_{n=1}^\infty (-1)^{n+1}\dfrac1n\), converges. The notion that alternating the signs of the terms in a series can make a series converge leads us to the following definitions.

Definition 35: absolute and conditional convergence

1. A series \( \sum\limits_{n=1}^\infty a_n\) converges absolutely if \( \sum\limits_{n=1}^\infty |a_n|\) converges.
2. A series \( \sum\limits_{n=1}^\infty a_n\) converges conditionally if \( \sum\limits_{n=1}^\infty a_n\) converges but \( \sum\limits_{n=1}^\infty |a_n|\) diverges.

Thus we say the Alternating Harmonic Series converges conditionally.

Example \(\PageIndex{3}\): Determining absolute and conditional convergence.

Determine if the following series converge absolutely, conditionally, or diverge.

1.\( \sum\limits_{n=1}^\infty (-1)^n\dfrac{n+3}{n^2+2n+5}\qquad 2. \sum\limits_{n=1}^\infty (-1)^n\dfrac{n^2+2n+5}{2^n}\qquad 3.\sum\limits_{n=3}^\infty (-1)^n\dfrac{3n-3}{5n-10}\)

Solution

1. We can show the series \[ \sum\limits_{n=1}^\infty \left|(-1)^n\dfrac{n+3}{n^2+2n+5}\right|= \sum\limits_{n=1}^\infty \dfrac{n+3}{n^2+2n+5}\]diverges using the Limit Comparison Test, comparing with \(1/n\).
   
   The series \( \sum\limits_{n=1}^\infty (-1)^n\dfrac{n+3}{n^2+2n+5}\) converges using the Alternating Series Test; we conclude it converges conditionally.
2. We can show the series \[ \sum\limits_{n=1}^\infty \left|(-1)^n\dfrac{n^2+2n+5}{2^n}\right|=\sum\limits_{n=1}^\infty \dfrac{n^2+2n+5}{2^n}\] converges using the Ratio Test.
   
   Therefore we conclude \( \sum\limits_{n=1}^\infty (-1)^n\dfrac{n^2+2n+5}{2^n}\) converges absolutely.
3. The series \[ \sum\limits_{n=3}^\infty \left|(-1)^n\dfrac{3n-3}{5n-10}\right| = \sum\limits_{n=3}^\infty \dfrac{3n-3}{5n-10}\]diverges using the \(n^\text{th}\) Term Test, so it does not converge absolutely.
   
   The series \( \sum\limits_{n=3}^\infty (-1)^n\dfrac{3n-3}{5n-10}\) fails the conditions of the Alternating Series Test as \((3n-3)/(5n-10)\) does not approach \(0\) as \(n\to\infty\). We can state further that this series diverges; as \(n\to\infty\), the series effectively adds and subtracts \(3/5\) over and over. This causes the sequence of partial sums to oscillate and not converge.
   
   Therefore the series \( \sum\limits_{n=1}^\infty (-1)^n\dfrac{3n-3}{5n-10}\) diverges.

Knowing that a series converges absolutely allows us to make two important statements, given in the following theorem. The first is that absolute convergence is "stronger'' than regular convergence. That is, just because \( \sum\limits_{n=1}^\infty a_n\) converges, we cannot conclude that \( \sum\limits_{n=1}^\infty |a_n|\) will converge, but knowing a series converges absolutely tells us that \( \sum\limits_{n=1}^\infty a_n\) will converge.

One reason this is important is that our convergence tests all require that the underlying sequence of terms be positive. By taking the absolute value of the terms of a series where not all terms are positive, we are often able to apply an appropriate test and determine absolute convergence. This, in turn, determines that the series we are given also converges.

The second statement relates to rearrangements of series. When dealing with a finite set of numbers, the sum of the numbers does not depend on the order which they are added. (So \(1+2+3 = 3+1+2\).) One may be surprised to find out that when dealing with an infinite set of numbers, the same statement does not always hold true: some infinite lists of numbers may be rearranged in different orders to achieve different sums. The theorem states that the terms of an absolutely convergent series can be rearranged in any way without affecting the sum.

theorem 72: absolute convergence theorem

Let \( \sum\limits_{n=1}^\infty a_n\) be a series that converges absolutely.

1. \( \sum\limits_{n=1}^\infty a_n\) converges.
2. Let \(\{b_n\}\) be any rearrangement of the sequence \(\{a_n\}\). Then
   \[\sum\limits_{n=1}^\infty b_n = \sum\limits_{n=1}^\infty a_n.\]

In Example 8.5.3, we determined the series in part 2 converges absolutely. Theorem 72 tells us the series converges (which we could also determine using the Alternating Series Test).

The theorem states that rearranging the terms of an absolutely convergent series does not affect its sum. This implies that perhaps the sum of a conditionally convergent series can change based on the arrangement of terms. Indeed, it can. The Riemann Rearrangement Theorem (named after Bernhard Riemann) states that any conditionally convergent series can have its terms rearranged so that the sum is any desired value, including \(\infty\)!

As an example, consider the Alternating Harmonic Series once more. We have stated that

\[\sum\limits_{n=1}^\infty (-1)^{n+1}\dfrac1n = 1-\dfrac12+\dfrac13-\dfrac14+\dfrac15-\dfrac16+\dfrac17\cdots = \ln 2,\]

(see Key Idea 31 or Example 8.5.1).

Consider the rearrangement where every positive term is followed by two negative terms:

\[1-\dfrac12-\dfrac14+\dfrac13-\dfrac16-\dfrac18+\dfrac15-\dfrac1{10}-\dfrac1{12}\cdots\]

(Convince yourself that these are exactly the same numbers as appear in the Alternating Harmonic Series, just in a different order.) Now group some terms and simplify:

\[\begin{align*}
\left(1-\dfrac12\right)-\dfrac14+\left(\dfrac13-\dfrac16\right)-\dfrac18+\left(\dfrac15-\dfrac1{10}\right)-\dfrac1{12}+\cdots &= \\
\dfrac12-\dfrac14+\dfrac16-\dfrac18+\dfrac1{10}-\dfrac{1}{12}+\cdots &= \\
\dfrac12\left(1-\dfrac12+\dfrac13-\dfrac14+\dfrac15-\dfrac16+\cdots\right) & = \dfrac12\ln 2.
\end{align*}\]

By rearranging the terms of the series, we have arrived at a different sum! (One could try to argue that the Alternating Harmonic Series does not actually converge to \(\ln 2\), because rearranging the terms of the series shouldn't change the sum. However, the Alternating Series Test proves this series converges to \(L\), for some number \(L\), and if the rearrangement does not change the sum, then \(L = L/2\), implying \(L=0\). But the Alternating Series Approximation Theorem quickly shows that \(L>0\). The only conclusion is that the rearrangement \emph{did} change the sum.) This is an incredible result.

We end here our study of tests to determine convergence. The back cover of this text contains a table summarizing the tests that one may find useful.

While series are worthy of study in and of themselves, our ultimate goal within calculus is the study of Power Series, which we will consider in the next section. We will use power series to create functions where the output is the result of an infinite summation.

Contributors and Attributions

• Gregory Hartman (Virginia Military Institute). Contributions were made by Troy Siemers and Dimplekumar Chalishajar of VMI and Brian Heinold of Mount Saint Mary's University. This content is copyrighted by a Creative Commons Attribution - Noncommercial (BY-NC) License. http://www.apexcalculus.com/