Series

Harmonic series — the series

10 essays on one idea, from the one that introduces it to the one that assumes the rest.
  1. Terms that vanish, a total that does not. The first 24 terms of the harmonic series as bars, with the running total above them. The last bar is 0.042 tall and the total has reached 3.776.

    A sum whose terms vanish and whose total does not

    Add a half, a third, a quarter, and keep going. The terms shrink to nothing and the total passes every number there is — but so slowly that no computation will ever watch it happen.

    part 1 · analysis
  2. The same terms, with the signs alternating. The partial sums of 1 - 1/2 + 1/3 - 1/4 + …, out to 24 terms. They close on 0.69315 from both sides at once, and the gap between consecutive sums is the next term, so the answer is trapped.

    The same terms, in a different order, adding to whatever is asked

    Flip alternate signs in the harmonic series and it converges. Reorder the terms — add nothing, remove nothing — and it converges to any number chosen in advance. Addition stops being commutative, and the picture shows where it goes.

    part 2 · analysis
  3. The powers of 2 in 1 to 12: one number, 8, stands alone. The whole numbers from 1 to 12, each with a bar whose height is the power of 2 dividing it. A single number has the tallest bar, which is why the harmonic number H(12) has an even denominator and an odd numerator.

    The sum that steps over every whole number

    The harmonic sum 1 + 1/2 + 1/3 + … passes 2 at the fourth term, 3 at the eleventh, 4 at the thirty-first, and eventually every whole number there is. It never lands on one. The proof is a single number in the list 1, 2, …, n that carries more factors of two than any other — and the same arithmetic makes the numerators divisible by squares of primes they have no business knowing about.

    part 3 · analysis
  4. 12 harmonic series with random signs, each settling on its own sum. Partial sums of the harmonic series with each sign chosen by a fair coin, for several independent runs, plotted against the number of terms on a logarithmic scale, beside the all-plus and alternating sign patterns.

    A coin in front of every term

    Put all plus signs in front of 1, 1/2, 1/3, … and the sum runs off to infinity; alternate them and it settles on log 2. Toss a fair coin for each sign instead, and the sum settles — every time, on a different number. Where it tends to settle has a smooth, flat-topped shape, and at the value 2 that shape takes a height that agrees with one eighth to forty-two decimal places and is not one eighth.

    part 4 · analysis
  5. Where a coin-signed geometric series lands, for λ = 1/3, 1/2, 1/√2, 1/φ. Histograms of the exact distribution of the sum of plus or minus λ to the k, one panel per value of λ: a dust of separated pieces below one half, a flat block at one half, and smooth-looking overlapping shapes above.

    A coin in front of every power

    Toss a coin for each sign of ±1 ± λ ± λ² ± … and the sum lands somewhere. Below λ = 1/2 it lands on a dust with gaps in it, at exactly 1/2 it lands anywhere with equal chance, and above 1/2 it lands on a smooth-looking hill — which for most λ has a density and for the golden value does not, though no picture can tell the two apart.

    part 5 · analysis
  6. Sign patterns, and the far fewer points they land on. A logarithmic plot of the number of sign patterns, two to the n, against the number of distinct values the golden geometric sum takes, which is a Fibonacci number less one and falls further behind at every step.

    Two sign patterns that land together

    At λ = 1/φ the sign patterns + − − and − + + land in exactly the same place, because λ² + λ = 1. That one coincidence, repeated wherever it fits, puts 2ⁿ patterns onto a Fibonacci number of points, leaves the random sum's transform ringing at the same height forever, and makes a distribution that fills a whole interval live on a set of no length.

    part 6 · analysis
  7. Strings that overlap themselves leave more behind. 00: 253.293; 01: 230.283; 02: 230.299; 03: 230.315; 04: 230.330; 05: 230.345; 06: 230.361; 07: 230.376; 08: 230.390; 09: 230.405; 10: 220.887; 11: 244.784; 12: 222.442; 13: 223.049; 14: 223.575; 15: 224.033; 16: 224.438; 17: 224.798; 18: 225.120; 19: 225.410; 20: 225.673; 21: 225.913; 22: 249.163; 23: 226.334; 24: 226.520; 25: 226.692; 26: 226.852; 27: 227.001; 28: 227.140; 29: 227.270; 30: 227.393; 31: 227.508; 32: 227.617; 33: 250.747; 34: 227.817; 35: 227.910; 36: 227.998; 37: 228.081; 38: 228.161; 39: 228.237; 40: 228.310; 41: 228.380; 42: 228.446; 43: 228.510; 44: 251.598; 45: 228.631; 46: 228.688; 47: 228.743; 48: 228.796; 49: 228.847; 50: 228.896; 51: 228.944; 52: 228.990; 53: 229.035; 54: 229.078; 55: 252.146; 56: 229.161; 57: 229.201; 58: 229.239; 59: 229.277; 60: 229.313; 61: 229.348; 62: 229.383; 63: 229.416; 64: 229.449; 65: 229.481; 66: 252.538; 67: 229.543; 68: 229.572; 69: 229.601; 70: 229.630; 71: 229.657; 72: 229.684; 73: 229.711; 74: 229.737; 75: 229.762; 76: 229.787; 77: 252.837; 78: 229.835; 79: 229.859; 80: 229.882; 81: 229.904; 82: 229.927; 83: 229.948; 84: 229.970; 85: 229.991; 86: 230.011; 87: 230.031; 88: 253.077; 89: 230.071; 90: 230.090; 91: 230.109; 92: 230.128; 93: 230.146; 94: 230.164; 95: 230.182; 96: 230.199; 97: 230.216; 98: 230.233; 99: 253.275.

    What a missing string of digits leaves behind

    Strike from the harmonic series every term whose denominator contains 42 and the rest adds up to 228.45. Strike out 99 instead and it adds up to 253.28. The difference is not about which numbers are lost but about waiting: 99 overlaps itself, so it takes 110 random digits on average to turn up where 42 takes 100, and the sum is almost exactly ln 10 times that wait.

    part 7 · analysis
  8. Two thinned harmonic series that never stop growing. every n: 10d 23.603067, 40d 92.680619, 120d 276.887427; no digit 9: 10d 15.109789, 40d 22.589564, 120d 22.920604; as many 7s as 3s: 10d 11.327995, 40d 24.391523, 120d 43.428896; digit sum a prime: 10d 7.156214, 40d 21.096266, 120d 51.331792

    A rule that counts lets the sum escape

    Strike out every number containing a 9 and the harmonic series converges, to 22.92. Keep only the numbers with as many 7s as 3s and it diverges — slowly, like the square root of the number of digits. Ask for two such balances and it still diverges; ask for three and it converges. The dividing line is Pólya's theorem that a random walk comes home in one and two dimensions and not in three.

    part 8 · analysis
  9. Which powers can reach x. Square-integral distance from x to the span of chosen powers, by count of powers: even 5.607e-9; primes 1.165e-4; squares 9.053e-2; powers 3.497e-2; limit for squares 0.090525.

    Which powers of x are enough

    Every continuous function on an interval is nearly a polynomial, and it seems that all the powers of x should be needed for that. They are not. The even powers will do, and so will the primes, though the primes run out at a rate of one number in ln n. The squares will not: however many are combined, they stay 0.0905 away from x itself. The dividing line, found by Müntz in 1914, is whether the reciprocals of the powers add up to infinity.

    part 9 · analysis
  10. A table with harmonic rows. The Hilbert table of size 8 and its largest stretch 1.6959390, against pi.

    A table that never reaches π

    Fill a square table with 1/1, 1/2, 1/3 along the rows, each row starting one place further on. Every row is a piece of the harmonic series, and yet the table stretches no vector by as much as π. At a thousand rows the stretch is 2.42, at a trillion it is near 2.94, and one integral explains both the number and the failure to arrive.

    part 10 · analysis

All series