Rearranging the Alternating Harmonic Series
Carl C. Cowen
IUPUI
(Indiana University Purdue University Indianapolis)
Butler University, March 24, 2017 Based on a paper by Cowen, Ken Davidson, and Robert Kaufman: Amer. Math. Monthly 87(1980) 817–819.
Rediscovery of work of Pringsheim: Math. Annalen 22(1883) 455–503. Commutative Law for addition: a + b = b + a
More generally,
sum{a1, a2, ··· , an} = a1 + a2 + ··· + an
= an + a1 + a2 + ··· + an−1
= a2 + a1 + an + an−1 + ··· + a3 = etc.
That is, the Commutative Law says rearranging the summands in a finite sum does not change the total.
Perhaps surprisingly, rearranging the summands in an infinite sum CAN change the total!! Fact: 1 1 1 1 1 1 1 1 1 1 − + − + − + − + − + ··· = ln 2 2 3 4 5 6 7 8 9 10
Consider: 1 1 1 1 1 1 1 1 1 − − + − − + − − + ··· 2 4 3 6 8 5 10 12
1 1 1 1 1 1 1 1 = 1 − − + − − + − − + ··· 2 4 3 6 8 5 10 12
1 1 1 1 1 1 1 1 = − + − + − + − + ··· 2 4 6 8 10 12 14 16
1 1 1 1 1 1 1 1 1 = 1 − + − + − + − = ln 2 ! ! ! ! 2 2 3 4 5 6 7 8 2 Fact: 1 1 1 1 1 1 1 1 1 1 − + − + − + − + − + ··· = ln 2 2 3 4 5 6 7 8 9 10
Consider: 1 1 1 1 1 1 1 1 1 1 − − + − − + − − + ··· = ln 2 ! ! ! ! 2 4 3 6 8 5 10 12 2
Goal: Think more carefully about rearrangements and find the sums of simple rearrangements of the AHS. We think of an infinite series as “adding up an infinite number of numbers” – actually it is more subtle than that.
Definition. ∞ X We say an = S if lim SN = S where N→∞ n=1 N X SN = an = a1 + a2 + a3 + ··· + aN n=1
Rearranging terms of a series changes the partial sums.
Conceivably, this could change the limit of the partial sums.
In the earlier example, the partial sums of the rearranged series were approximately half the partial sums of the original series. A series is called conditionally convergent X if the series converges but |an| diverges.
X It can be shown that if |an| converges, then every rearrangement of the X series an has the same sum.
Riemann’s Theorem. A conditionally convergent series (of real numbers) can be rearranged to sum to any real number. Definition. X X We say the series bm is a rearrangement of the series an if each X X term of the series bm occurs as a term of the series an (and the same number of times) and vice versa. Outline of proof of Riemann’s Theorem. Since the given series converges, the terms of the series are small.
Since the given series is conditionally convergent, the series of positive terms diverges and the series of negative terms diverges.
Given S, we want to form a rearrangement of the series that sums to S.
To begin, select enough of the positive terms (choosing largest first) until the partial sum is larger than S. (This is possible!)
For the next terms of the series, choose enough of the negative terms (choosing the most negative terms first) to make the partial sum less than S. (This is possible!) Continue, choosing the positive and negatives terms in order of decreasing size so that the partial sums swing to more than S, then less, then more, etc.
Since the terms of the series are small, the oscillations get smaller and smaller so that the sequence of partial sums of the rearranged series converges to S. Definition. A simple rearrangement of a series is a rearrangement of the series in which the positive terms of the rearranged series occur in the same order as the original series and the negative terms occur in the same order.
Thus, 1 1 1 1 1 1 1 1 1 − − + − − + − − + ··· 2 4 3 6 8 5 10 12 is a simple rearrangement of the AHS 1 1 1 1 1 1 1 1 1 1 − + − + − + − + − + ··· 2 3 4 5 6 7 8 9 10
but 1 1 1 1 1 1 1 1 1 − − + 1 + − + − − + + ··· 3 2 6 5 4 7 12 10 9 is not. Goal. Describe the sum of every simple rearrangement of the Alternating Harmonic Series. Goal. Describe the sum of every simple rearrangement of the Alternating Harmonic Series.
To do this, we’ll use power series.
A power series (centered at 0) is a function of the form ∞ X n 2 3 f(x) = anx = a0 + a1x + a2x + a3x + ··· n=0
If the series converges for any non-zero x, there is an R > 0 so that the series converges in the open interval −R < x < R. In this interval, the series can be differentiated and integrated term by term and the resulting series also converge in this open interval. Abel’s Theorem.
X X n If an converges, and if f(x) = anx , then X an = lim f(x) x→1−
Abel’s Theorem and the results on integration and differentiation of series allow us to find sums of series like the AHS.
To sum 1 1 1 1 1 1 1 1 1 1 − + − + − + − + − + ··· 2 3 4 5 6 7 8 9 10 let 1 1 1 1 1 1 1 f(x) = x − x2 + x3 − x4 + x5 − x6 + x7 − x8 + ··· 2 3 4 5 6 7 8
This power series converges in the open interval −1 < x < 1. Let F (x) = f 0(x) so that
1 1 1 1 1 F (x) = f 0(x) = 1 − 2x + 3x2 − 4x3 + 5x4 − 6x5 + ··· 2 3 4 5 6
= 1 − x + x2 − x3 + x4 − x5 + x6 − x7 + x8 − x9 + ···
1 = 1 + x
1 Since f 0(x) = , we can see f(x) = ln(1 + x). 1 + x
Now Abel’s Theorem says 1 1 1 1 1 1 1 1 − + − + − + − + ··· = lim ln(1 + x) = ln 2 2 3 4 5 6 7 8 x→1− We used a trick to get from 1 1 1 1 1 1 1 1 − + − + − + − + ··· = ln 2 2 3 4 5 6 7 8 to 1 1 1 1 1 1 1 1 1 1 − − + − − + − − + ··· = ln 2 2 4 3 6 8 5 10 12 2
What about the rearrangement 1 1 1 1 1 1 1 1 1 + − + + − + + − + ··· 3 2 5 7 4 9 11 6
It is not so clear what trick might work for this. What about the rearrangement 1 1 1 1 1 1 1 1 1 + − + + − + + − + ··· 3 2 5 7 4 9 11 6
It is not so clear what trick might work for this. xk To use Abel’s Theorem to sum the AHS, it was nice to have because k differentiating gave an easy result.
This might suggest the series 1 1 1 1 1 1 1 1 x + x3 − x2 + x5 + x7 − x4 + x9 + x11 − x6 + ··· 3 2 5 7 4 9 11 6 But this series is not really a power series ··· The series 1 1 1 1 1 1 1 1 x + x3 − x2 + x5 + x7 − x4 + x9 + x11 − x6 + ··· 3 2 5 7 4 9 11 6 is not really a power series because the terms are in the wrong order!
Thinking about the given series as 1 1 1 1 1 1 1 1 1 + − + + − + + − + ··· 3 2 5 7 4 9 11 6 suggests the power series 1 1 1 1 1 1 x + 0x2 + x3 − x4 + x5 + 0x6 + x7 − x8 + x9 + 0x10 + ··· 3 2 5 7 4 9
Moreover, the power series 1 1 1 1 1 1 f(x) = x + x3 − x4 + x5 + x7 − x8 + x9 + ··· 3 2 5 7 4 9 converges on −1 < x < 1 Since the series converges absolutely on the interval −1 < x < 1, we can rearrange the series to get
1 1 1 1 1 1 f(x) = x + x3 − x4 + x5 + x7 − x8 + x9 + ··· 3 2 5 7 4 9
1 1 1 1 = x + x3 + x5 + x7 + x9 + ··· 3 5 7 9
1 1 1 − x4 + x8 + x12 + ··· 2 4 6
Let 1 1 1 1 g(x) = x + x3 + x5 + x7 + x9 + ··· 3 5 7 9 and let 1 1 1 1 h(x) = x4 + x8 + x12 + x16 + ··· 2 4 6 8 As before, we get 1 1 1 1 G(x) = g0(x) = 1 + 3x2 + 5x4 + 7x6 + 9x8 + ··· 3 5 7 9 1 = 1 + x2 + x4 + x6 + x8 + ··· = 1 − x2
1 1 = 2 + 2 1 + x 1 − x 1 1 so g(x) = ln(1 + x) − ln(1 − x) 2 2 Similarly 1 1 1 1 H(x) = h0(x) = 4x3 + 8x7 + 12x11 + 16x15 + ··· 2 4 6 8
= 2x3 + 2x7 + 2x11 + 2x15 ···
2x3 = 2x3 1 + x4 + x8 + ··· = 1 − x4
1 so h(x) = − ln(1 − x4) 2 To recapitulate, to get the sum of the rearrangement 1 1 1 1 1 1 1 1 1 + − + + − + + − + ··· 3 2 5 7 4 9 11 6 we define 1 1 1 1 1 f(x) = x + x3 − x4 + x5 + x7 − x8 + ··· = g(x) − h(x) 3 2 5 7 4
This means 1 1 1 f(x) = ln(1 + x) − ln(1 − x) + ln(1 − x4) 2 2 2 1 = ln(1 + x) − ln(1 − x) + ln(1 − x4) 2
1 (1 + x)(1 − x4) 1 = ln = ln (1 + x)(1 + x + x2 + x3) 2 1 − x 2
Using Abel’s Theorem 1 1 1 1 1 1 3 1 + − + + − + ··· = lim f(x) = ln(8) = ln 2 3 2 5 7 4 x→1− 2 2 This idea works more generally: For simple rearrangements in which blocks of n positive terms alternate with blocks of m negative terms, use 1 f(x) = ln(1 + xm) − ln(1 − xm) + ln(1 − x2n) 2
1 (1 + xm)(1 + xn)(1 + x + x2 + ··· + xn−1) = ln 2 1 + x + x2 + ··· + xm−1
So the series has the sum 1 4n 1 n lim f(x) = ln = ln 2 + ln x→1− 2 m 2 m
This calculation suggests that the sum of a simple rearrangement of the AHS depends on the relative frequency of the positive terms of the series. Definition. X If an is a simple rearrangement of the Alternating Harmonic Series, let
pk be the number of positive terms in the first k terms, {a1, a2, a3, ··· , ak}. The asymptotic density, α, of the positive terms in the rearrangement is p α = lim k if the limit exists. k→∞ k 1 1 1 1 1 1 In the rearrangement 1 − 2 − 4 + 3 − 6 − 8 + 5 − · · ·
k {a1, ··· , ak} pk 1 {1} 1
1 2 {1, −2} 1 1 1 3 {1, −2, −4} 1 1 1 1 4 {1, −2, −4, 3} 2 1 1 1 1 5 {1, −2, −4, 3, −6} 2 Etc. 1 so the asymptotic density is . 3 Theorem. A simple rearrangement of the Alternating Harmonic Series converges to an extended real number if and only if α, the asymptotic density of the positive terms in the rearrangement, exists. Moreover, the sum of a rearrangement with asymptotic density α is 1 α ln 2 + ln 2 1 − α Theorem. A simple rearrangement of the Alternating Harmonic Series converges to an extended real number if and only if α, the asymptotic density of the positive terms in the rearrangement, exists. Moreover, the sum of a rearrangement with asymptotic density α is 1 α ln 2 + ln 2 1 − α
For example, in the usual arrangement 1 1 1 1 1 1 − + − + − + ··· 2 3 4 5 6
p1 = 1, p2 = 1, p3 = 2, p4 = 2, p5 = 3, p6 = 3, ··· p 1 so the asymptotic density is α = lim k = k→∞ k 2 and the sum of the series is 1 ! 1 2 ln 2 + ln 1 = ln 2 + ln 1 = ln 2 2 1 − 2 Theorem. A simple rearrangement of the Alternating Harmonic Series converges to an extended real number if and only if α, the asymptotic density of the positive terms in the rearrangement, exists. Moreover, the sum of a rearrangement with asymptotic density α is 1 α ln 2 + ln 2 1 − α
Similarly, in the rearrangement 1 1 1 1 1 1 1 1 1 + − + + − + + − + ··· 3 2 5 7 4 9 11 6
p1 = 1, p2 = 2, p3 = 2, p4 = 3, p5 = 4, p6 = 4, ··· p 2 so the asymptotic density is α = lim k = k→∞ k 3 and the sum of the series is 2 ! 1 3 1 3 ln 2 + ln 2 = ln 2 + ln 2 = ln 2 2 1 − 3 2 2 Outline of the proof. ∞ X Suppose an is a simple rearrangement of the AHS. n=1 Let pk be the number of positive terms in {a1, a2, a3, ··· , ak}. Then
the number of negative terms in the first k terms is qk = k − pk.
Thus, because the given series is a simple rearrangement of the AHS, k p q X Xk 1 Xk 1 a = − n 2j − 1 2j n=1 j=1 j=1
For each positive integer m, let m X 1 E = − ln m m n n=1
The sequence E1, E2, E3, ··· is a decreasing sequence of positive numbers whose limit, γ ≈ .5772, is called Euler’s constant. Since m X 1 = ln m + E n m n=1 we see that q q Xk 1 1 Xk 1 1 1 = = ln q + E 2j 2 j 2 k 2 qk j=1 j=1 and p 2p p Xk 1 Xk 1 Xk 1 = − 2j − 1 ` 2` j=1 `=1 `=1
1 1 = ln(2p ) + E − ln p + E k 2pk 2 k 2 pk Therefore, k p q X Xk 1 Xk 1 a = − n 2j − 1 2j n=1 j=1 j=1
1 1 1 1 = ln(2p ) + E − ln p − E − ln q − E k 2pk 2 k 2 pk 2 k 2 qk 1 1 = ln 2 + ln p − ln p − ln q k 2 k 2 k 1 1 +E − E − E 2pk 2 pk 2 qk We have k X 1 1 a = ln 2 + ln p − ln p − ln q n k 2 k 2 k n=1
1 1 +E − E − E 2pk 2 pk 2 qk 1 1 1 1 = ln 2 + ln p − ln q + E − E − E 2 k 2 k 2pk 2 pk 2 qk 1 pk 1 1 = ln 2 + ln + E2pk − Epk − Eqk 2 qk 2 2
This is the exact (!!) formula for the kth partial sum of the rearranged series. To find the sum of the rearranged series, we need to take the limit of the partial sums. Note that p p pk k = k = k pk qk k − pk 1 − k so if α exists p α lim k = k→∞ qk 1 − α and pk/qk does not have a limit if α does not exist. Note also that
lim E2p = lim Ep = lim Eq = γ k→∞ k k→∞ k k→∞ k
Putting all of this together, we get ∞ k X X an = lim an k→∞ n=1 n=1 1 pk 1 1 = lim ln 2 + ln + E2pk − Epk − Eqk k→∞ 2 qk 2 2
1 α 1 1 = ln 2 + ln + γ − γ − γ 2 1 − α 2 2
1 α = ln 2 + ln 2 1 − α Riemann’s Theorem on rearranging conditionally convergent series is non-constructive. In contrast, we have seen that simple rearrangements of the AHS converge if and only if the asymptotic density of the positive terms exists and we have a formula for the sum of the series when the asymptotic density exists.
In particular, the sum of a simple rearrangement of the AHS depends only on the asymptotic density of the positive terms. This is a special property: the only series like this whose sums depend only on the asymptotic density of the positive terms are approximately multiples of the AHS.
∞ More precisely, suppose {an}n=1 is a sequence of real numbers so that a2k−1 > 0 > a2k for k = 1, 2, ··· and
|a1| ≥ |a2| ≥ |a3| ≥ |a4| ≥ · · ·
1 • If limn→∞ n|an| = ∞ (that is, an is big compared to n) and S is any real number, there is a simple rearrangement of the series with
1 asymptotic density 2 with sum S.
1 X • If limn→∞ n|an| = 0 (that is, an is small compared to n) and bm is a X simple rearrangement of an with asymptotic density 0 < α < 1, then X X bm = an THANK YOU!
GO BULLDOGS!