Physics 116A Winter 2011

The Alternating Test

An is defined to be a series of the form: ∞ n S = (−1) an , (1) Xn=0 where all the an > 0. The alternating series test is a set of conditions that, if satisfied, imply that the series is convergent. Here is the general form of the theorem: ∞ Theorem: If the series n=0 bn respects the following three properties: P 1. The signs of the bn alternate for all n > n0, where n0 is some fixed positive number;

2. The bn are monotonically decreasing in magnitude for all n ≥ n0. That is, |bn+1|≤|bn| for all n > n0;

3. lim bn = 0; n→∞ then the series is convergent. If property 3 does not hold, then the series diverges. If property 3 is respected but property 1 and/or property 2 do not hold, then the alternating series test is inconclusive.

Note that property 1 corresponds to the statement that after the first n0 terms, the remaining series is an alternating series. Hence, in this note I will assume that property 1 holds.∗ It is easy to exhibit a divergent series that satisfies properties 1 and 3 but does not satisfy property 2. Consider the alternating series: 1 1 1 1 1 1 1 S =1 − + − + − + − + ··· . 1 · 2 2 2 · 3 3 3 · 4 4 4 · 5 This is an alternating series that satisfies condition 3 but violates condition 2. However, note that: 1 1 1 1 1 1 1 1 1 − = , − = , − = , etc. 1 · 2 2 2 2 · 3 3 3 3 · 4 4 ∗If properties 2 and 3 hold but property 1 does not hold, then the test is inconclusive. For example, the infinite harmonic series diverges whereas the sum of the inverse squares of the positive integers converges. Both these series respect properties 2 and 3 but not property 1.

1 If we denote the sum of the first N terms of the series S by SN , it then follows that: 1 1 1 1 1 S2N = + + + ··· + , S2N+1 = S2N + . 2 3 4 N +1 N +1 Since the infinite harmonic series diverges, it follows that

lim S2N = lim S2N+1 = ∞ , N→∞ N→∞ and we conclude that the series S diverges. By the way, it is easy to give an example of a convergent alternating series that respects property 3 but violates property 2. Here is one such example: ∞ 1 1 1 1 1 1 1 T = ak =1 − + − + − + ··· + − + ··· . 2 32 23 34 25 32k 22k+1 Xk=0 Indeed, this series violates property 2, since

2k k a2k+1 3 1 9 = 2k+1 = > 1 . a2k 2 2 4

More generally, the condition |an+1| < |an| fails to hold for all even n. Never- theless, one can easily show that this series is convergent by the comparison test. Noting that 1 |an| ≤ , 2n ∞ n it follows that T converges faster than the n=0 1/2 . In fact it is easy to see that the series T is the difference of two separateP geometric series. I challenge you to prove that the sum of this series is T = 11/24.

Sketch of proof of the theorem: For simplicity, we assume that n0 = 0. Let N n SN = n=0 (−1) an be the sum of the first N + 1 terms of the alternating series. Then,P it is easy to check that S1 > S3 > S5 > ··· and S2 < S4 < S6 < ··· . Consequently, S2n

|S − Sn| < an+1 , for n ≥ n0 , where an+1 > 0 in the notation of eq. (1).

2