Riemann Rearrangement

In the usual order, 1 − ½ + ⅓ − ¼ + … adds up to ln 2. Choose a target, or a pattern of positive and negative terms, and watch the same terms walk to a different sum, one term at a time.

Loading interactive simulation...

Lesson

The theory — Riemann Rearrangement

A series converges conditionally when it converges but the sizes of its terms add up to infinity. Riemann showed that the terms of such a series can be re-ordered to add up to any number at all, while a series that still converges with every sign made positive has the same sum in every order.

What each symbol means

P, Q
how many positive and how many negative terms have been used, each half taken in its own order
C
the target Riemann’s recipe aims at
r
the long-run ratio P/Q; the total heads for ln 2 + ½ ln r

Where the formula comes from

  1. Why the recipe arrives. Take positive terms while the total is at or below C, negative terms while it is above. Each half of 1 − ½ + ⅓ − … adds up to more than any number on its own, so however far the total has gone it always crosses C again. Just after a crossing it is no further from C than the term that carried it across, and the terms that follow only move it back towards C until the next crossing. The terms shrink to 0, so the distance does too.
  2. Why the squares cannot be steered. When the sizes of the terms add up to a finite number, then for any ε, however small, the sizes beyond some point M add up to less than ε. A re-ordering that has used all of the first M terms differs from the usual M-th partial sum only by terms beyond M, so by less than ε, and so both orders have the same limit. The recipe fails from the other side: it needs an unlimited supply of terms of each sign, and here each supply is finite.

Re-order 1 − ½ + ⅓ − … and it adds up to π 🖖

Press Aim at π. The page takes positive terms 1, ⅓, ⅕, … while the running total is at or below π, and negative terms ½, ¼, ⅙, … while it is above, each half in its own order, so no term is used twice. After 100,000 terms the total is 3.1415535, from 99,259 positive terms against 741 negative ones. The grey line is the usual order, still at 0.6931422 and heading for ln 2. The recipe is Riemann’s, from the essay on trigonometric series he submitted at Göttingen in 1854 to qualify as a lecturer. The positive terms on their own add up to more than any number you can name, and so do the negative ones, so the total always crosses the target again. Once across, it is never further from the target than the size of the term that carried it over, and the terms shrink to nothing.

The sum is set by one ratio: positive terms spent per negative one 🖖

Take each half in its own order, spend positive and negative terms in the long-run ratio r, and the total heads for ln 2 + ½ ln r. Press One up, two down: the same terms as before, and the total closes on 0.3465736, exactly half of ln 2. Nine up and four down gives ln 2 + ½ ln(9/4), which is ln 3. Read backwards, the formula prices a target. π costs e2(π − ln 2) = 133.87 positive terms per negative one, and the run’s 99,259 to 741 is 133.95. Press Aim at 0: the recipe knows nothing about patterns, and for all 100,000 terms it takes one positive and then four negatives, term for term: ln 2 + ½ ln ¼ = 0. The lower panel shows the share of positive terms settling where the target puts it.

Square the terms and no order can move the sum 🖖

Switch to 1 − ¼ + 1/9 − 1/16 + …. Its positive terms add up to only π²/8 = 1.2337006 and its negative ones to π²/24, so every order that uses all the terms ends at π²/12 = 0.8224670. Try any pattern. Riemann’s recipe now jams. Press Squares, aim at 1.5: all 100,000 terms are positive and the total stalls at 1.2336981. Aim at 0.8 instead and 1,000 terms look like success, 0.8000080; by 100,000 the total is stuck at 0.8016482, because the negative terms still unused add up to less than the 0.0016482 it is over. Riemann drew the dividing line exactly here and credited it to Dirichlet: a series that still converges when every sign is made positive can have its terms moved anywhere, and only the other kind depends on the order.

Problem solved in full

  1. Which pattern adds up to ln 3, and which to 1.5? 4 steps

    Re-order 1 − ½ + ⅓ − … into a repeating pattern of p positive terms and q negative ones that adds up to ln 3. Then find one that adds up to 1.5.

    Open this problem in the tool

    1. After P positive terms and Q negative ones, each half taken in order, the total is a sum of odd reciprocals minus half a harmonic sum, and both are harmonic sums Hn = 1 + ½ + … + 1/n in disguise:

    2. Hn is ln n + γ plus a remainder that shrinks to 0, and the three γ cancel:

    3. For ln 3 the ratio r = p/q must satisfy ½ ln r = ln 3 − ln 2:

    4. For 1.5 the same equation asks for a ratio no pattern can supply:

    Answer

    Nine positive terms, then four negative, add up to ln 3: the page prints 1.0986331 after 100,000 terms, closing on 1.0986123. No repeating pattern adds up to 1.5. The ratio it needs is e³/4 = 5.0214, and e³ is irrational because e is transcendental, so every whole-number pattern misses; 5 : 1 heads for 1.4978661. Riemann’s recipe gets there anyway, because its ratio is free to drift: aimed at 1.5 it spends 83,393 positive terms and 16,607 negative ones, 5.0216 per negative, and reaches 1.5000022.

Learning path

Infinite series and convergence

References (2)