Rearranging Changes the Sum

What happens to the sum when we reorder a conditionally convergent series?

Positive terms and negative terms both pile up without end. So choosing which side to draw from first pushes the sum around. Nothing like this happens when the absolute series converges.

For example, think of putting πŸ’° coins into a 🐷 piggy bank and taking them out. If both piles of coins are endless, the order alone changes the balance.

βˆ‘n=1∞(βˆ’1)n+1n=ln⁑2β†’(+,+,βˆ’)32ln⁑2\sum_{n=1}^{\infty}\frac{(-1)^{n+1}}{n} = \ln 2 \xrightarrow{(+,+,-)} \frac{3}{2}\ln 2

Examples & Exercises

Verify numerically that the (+,+,βˆ’)(+,+,-) rearrangement's partial sums tend to 32ln⁑2β‰ˆ1.0397\frac{3}{2}\ln 2 \approx 1.0397.

(Numerical check; rigorous proof omitted.)

32ln⁑2β‰ˆ1.03972\frac{3}{2}\ln 2 \approx 1.03972
n=150n=150: the rearranged partial sums settle near 1.03971.0397.
Show hint
  1. Directly computing T150T_{150} gives ∣T150βˆ’32ln⁑2βˆ£β‰ˆ0.0050<0.01|T_{150} - \frac{3}{2}\ln 2| \approx 0.0050 < 0.01. (Numerical check)

  2. Raising nn to 300300 shrinks the error to about 0.00250.0025 β€” the direction of convergence is consistent, not a coincidence.

  3. The general formula is stated as known (idea level): a rearrangement repeating pp positive and qq negative terms sums to ln⁑2+12ln⁑pq\ln 2 + \frac{1}{2}\ln\frac{p}{q}.

    For p=2,q=1p = 2, q = 1 this gives 32ln⁑2\frac{3}{2}\ln 2.

    Its proof is not covered here.

Explain at idea level why rearranging an absolutely convergent series never changes its sum. (Idea level; proof omitted.)

If tails can be made arbitrarily small, order stops mattering.
Show hint
  1. If βˆ‘an\sum a_n converges absolutely, then for every Ξ΅>0\varepsilon > 0 there is an NN with tail βˆ‘n>N∣an∣<Ξ΅\sum_{n>N}|a_n| < \varepsilon. (Sketch only; rigorous proof omitted)

  2. A rearrangement's partial sums eventually contain the first NN terms of the original, so the two partial sums differ only by tail terms β€” less than 2Ξ΅2\varepsilon.

  3. Since Ξ΅\varepsilon is arbitrary, the two sums agree: when tails can be made arbitrarily small, reordering cannot change the sum.

Prove ∣Snβˆ’ln⁑2βˆ£β‰€1n+1\lvert S_n - \ln 2\rvert \leq \frac{1}{n+1} for the alternating harmonic partial sums.

∣Rnβˆ£β‰€an+1=1n+1\lvert R_n\rvert \leq a_{n+1} = \frac{1}{n+1}
n=100n=100: the error is trapped inside 1/101β‰ˆ0.00991/101 \approx 0.0099.
Show proof
  1. an=1/na_n = 1/n decreases to 00. Even partial sums increase, odd ones decrease: S2m+2βˆ’S2m=a2m+1βˆ’a2m+2>0S_{2m+2} - S_{2m} = a_{2m+1} - a_{2m+2} > 0 and S2m+3βˆ’S2m+1=βˆ’(a2m+2βˆ’a2m+3)<0S_{2m+3} - S_{2m+1} = -(a_{2m+2} - a_{2m+3}) < 0.

  2. Now justify the sandwich.

    The even sums (S2m)(S_{2m}) increase and are bounded above by every odd sum, and the odd sums (S2m+1)(S_{2m+1}) decrease and are bounded below by every even sum.

    The gap is S2m+1βˆ’S2m=a2m+1β†’0S_{2m+1} - S_{2m} = a_{2m+1} \to 0, so both subsequences converge to a common limit SS (=ln⁑2= \ln 2), with S2m≀S≀S2m+1S_{2m} \le S \le S_{2m+1} for all mm.

    Hence for every nn the limit S=ln⁑2S = \ln 2 lies between two consecutive partial sums SnS_n and Sn+1S_{n+1}, so ∣Sβˆ’Snβˆ£β‰€βˆ£Sn+1βˆ’Sn∣=an+1=1n+1|S - S_n| \le |S_{n+1} - S_n| = a_{n+1} = \frac{1}{n+1}.

  3. For n=100n = 100 this gives ∣S100βˆ’ln⁑2βˆ£β‰€1101β‰ˆ0.0099|S_{100} - \ln 2| \le \frac{1}{101} \approx 0.0099 β€” matching the caption's figure.

8. Power Series