8.5: Alternating Series and Absolute Convergence
( \newcommand{\kernel}{\mathrm{null}\,}\)
All of the series convergence tests we have used require that the underlying sequence {an} be a positive sequence. (We can relax this with Theorem 64 and state that there must be an N>0 such that an>0 for all n>N; that is, {an} 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 {an} be a positive sequence. An alternating series is a series of either the form
∞∑n=1(−1)nanor∞∑n=1(−1)n+1an.
Recall the terms of Harmonic Series come from the Harmonic Sequence {an}={1/n}. An important alternating series is the Alternating Harmonic Series:
∞∑n=1(−1)n+11n=1−12+13−14+15−16+⋯
Geometric Series can also be alternating series when r<0. For instance, if r=−1/2, the geometric series is
∞∑n=0(−12)n=1−12+14−18+116−132+⋯
Theorem 60 states that geometric series converge when |r|<1 and gives the sum: ∞∑n=0rn=11−r. When r=−1/2 as above, we find
∞∑n=0(−12)n=11−(−1/2)=13/2=23.
A powerful convergence theorem exists for other alternating series that meet a few conditions.
theorem 70: alternating series test
Let {an} be a positive, decreasing sequence where limn→∞an=0. Then
∞∑n=1(−1)nanand∞∑n=1(−1)n+1an converge.
The basic idea behind Theorem 70 is illustrated in Figure 8.5.1. A positive, decreasing sequence {an} is shown along with the partial sums
Sn=n∑i=1(−1)i+1ai=a1−a2+a3−a4+⋯+(−1)n+1an.
Because {an} is decreasing, the amount by which Sn bounces up/down decreases. Moreover, the odd terms of Sn form a decreasing, bounded sequence, while the even terms of Sn form an increasing, bounded sequence. Since bounded, monotonic sequences converge (see Theorem 59) and the terms of {an} approach 0, one can show the odd and even terms of Sn converge to the same common limit L, the sum of the series.
Example 8.5.1: Applying the Alternating Series Test
Determine if the Alternating Series Test applies to each of the following series.
- ∞∑n=1(−1)n+11n
- ∞∑n=1(−1)nlnnn
- ∞∑n=1(−1)n+1|sinn|n2
Solution
- This is the Alternating Harmonic Series as seen previously. The underlying sequence is {an}={1/n}, which is positive, decreasing, and approaches 0 as n→∞. 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 ∞∑n=1(−1)n+11n=ln2. - The underlying sequence is {an}={lnn/n}. This is positive and approaches 0 as n→∞ (use L'Hopital's Rule). However, the sequence is not decreasing for all n. It is straightforward to compute a1=0, a2≈0.347, a3≈0.366, and a4≈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 {an}. Treating an=a(n) as a continuous function of n defined on [1,∞), we can take its derivative:a′(n)=1−lnnn2. The derivative is negative for all n≥3 (actually, for all n>e), meaning a(n)=an is decreasing on [3,∞). We can apply the Alternating Series Test to the series when we start with n=3 and conclude that ∞∑n=3(−1)nlnnn 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. - The underlying sequence is {an}=|sinn|/n. This sequence is positive and approaches 0 as n→∞. However, it is not a decreasing sequence; the value of |sinn| oscillates between 0 and 1 as n→∞. We cannot remove a finite number of terms to make {an} 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
∞∑n=11n2=π26≈1.64493and∞∑n=1(−1)n+1n2=π212≈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 {an} be a sequence that satisfies the hypotheses of the Alternating Series Test, and let Sn and L be the nth partial sums and sum, respectively, of either ∞∑n=1(−1)nan or ∞∑n=1(−1)n+1an. Then
- |Sn−L|<an+1, and
- L is between Sn and Sn+1.
Part 1 of Theorem 71 states that the nth partial sum of a convergent alternating series will be within an+1 of its total sum. Consider the alternating series we looked at before the statement of the theorem, ∞∑n=1(−1)n+1n2. Since a14=1/142≈0.0051, we know that S13 is within 0.0051 of the total sum.
Moreover, Part 2 of the theorem states that since S13≈0.8252 and S14≈0.8201, we know the sum L lies between 0.8201 and 0.8252. One use of this is the knowledge that S14 is accurate to two places after the decimal.
Some alternating series converge slowly. In Example 8.5.1 we determined the series ∞∑n=1(−1)n+1lnnn converged. With n=1001, we find lnn/n≈0.0069, meaning that S1000≈0.1633 is accurate to one, maybe two, places after the decimal. Since S1001≈0.1564, we know the sum L is 0.1564≤L≤0.1633.
Example 8.5.2: Approximating the sum of convergent alternating series
Approximate the sum of the following series, accurate to within 0.001.
1.∞∑n=1(−1)n+11n32.∞∑n=1(−1)n+1lnnn.
Solution
- Using Theorem 71, we want to find n where 1/n3<0.001: 1n3≤0.001=11000n3≥1000n≥3√1000n≥10. Let L be the sum of this series. By Part 1 of the theorem, |S9−L|<a10=1/1000. We can compute S9=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 10th term of the series is −1/1000, we can easily compute S10=0.901116. Part 2 of the theorem states that L is between S9 and S10, so 0.901116<L<0.902116. - 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 x1=1000. Recall how Newton's Method works: given an approximate solution xn, our next approximation xn+1 is given by xn+1=xn−f(xn)f′(xn).
We find f′(x)=(1−ln(x))/x2. This gives x2=1000−ln(1000)/1000−0.001(1−ln(1000))/10002=2000.
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 S9118=−0.160369. Part 1 of the theorem states that this is within 0.001 of the actual sum L. Already knowing the 9,119th term, we can compute S9119=−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, ∞∑n=11n diverges, yet the Alternating Harmonic Series, ∞∑n=1(−1)n+11n, 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
- A series ∞∑n=1an converges absolutely if ∞∑n=1|an| converges.
- A series ∞∑n=1an converges conditionally if ∞∑n=1an converges but ∞∑n=1|an| diverges.
Thus we say the Alternating Harmonic Series converges conditionally.
Example 8.5.3: Determining absolute and conditional convergence.
Determine if the following series converge absolutely, conditionally, or diverge.
1.∞∑n=1(−1)nn+3n2+2n+52.∞∑n=1(−1)nn2+2n+52n3.∞∑n=3(−1)n3n−35n−10
Solution
- We can show the series ∞∑n=1|(−1)nn+3n2+2n+5|=∞∑n=1n+3n2+2n+5diverges using the Limit Comparison Test, comparing with 1/n.
The series ∞∑n=1(−1)nn+3n2+2n+5 converges using the Alternating Series Test; we conclude it converges conditionally. - We can show the series ∞∑n=1|(−1)nn2+2n+52n|=∞∑n=1n2+2n+52n converges using the Ratio Test.
Therefore we conclude ∞∑n=1(−1)nn2+2n+52n converges absolutely. - The series ∞∑n=3|(−1)n3n−35n−10|=∞∑n=33n−35n−10diverges using the nth Term Test, so it does not converge absolutely.
The series ∞∑n=3(−1)n3n−35n−10 fails the conditions of the Alternating Series Test as (3n−3)/(5n−10) does not approach 0 as n→∞. We can state further that this series diverges; as n→∞, 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 ∞∑n=1(−1)n3n−35n−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 ∞∑n=1an converges, we cannot conclude that ∞∑n=1|an| will converge, but knowing a series converges absolutely tells us that ∞∑n=1an 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 ∞∑n=1an be a series that converges absolutely.
- ∞∑n=1an converges.
- Let {bn} be any rearrangement of the sequence {an}. Then
∞∑n=1bn=∞∑n=1an.
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 ∞!
As an example, consider the Alternating Harmonic Series once more. We have stated that
∞∑n=1(−1)n+11n=1−12+13−14+15−16+17⋯=ln2,
(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/