THE FOLD / RESPAWN / GARBAGE COLLECTION / THE GRANDI
THE GRANDI
the sum that flickers
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
1 − 1 + 1 − 1 + … Grandi’s series (1703) flickers: partial sums 1, 0, 1, 0, forever — divergent, full stop. Yet Euler cheerfully called it ½, and two centuries later he was made rigorous by redefining the question: Cesàro (average the partial sums: ⌈n/2⌉/n → ½ exactly) and Abel (dampen by xᵏ and let x→1: Σ(−x)ᵏ = 1/(1+x) → ½) both assign the same value — and both methods are regular: applied to an honestly convergent series, they return its ordinary sum, so nothing old breaks. The lesson that built modern summability theory: a divergent series isn’t meaningless; it is waiting for a better question.
LIT verified live: the oscillation (no limit) shown; Cesàro means exactly ⌈n/2⌉/n, at n = 99,999 giving 0.500005; the Abel identity Σ(−x)ᵏ = 1/(1+x) verified to 10⁻⁸ at x = 0.9, 0.99, 0.999 with the limit ½; and regularity confirmed on a convergent control series (window.__grandi). FIG honest boundary: ‘the sum is ½’ is true only under the extended definitions, and the sphere says so in exactly those words.
LIT verified live: the oscillation (no limit) shown; Cesàro means exactly ⌈n/2⌉/n, at n = 99,999 giving 0.500005; the Abel identity Σ(−x)ᵏ = 1/(1+x) verified to 10⁻⁸ at x = 0.9, 0.99, 0.999 with the limit ½; and regularity confirmed on a convergent control series (window.__grandi). FIG honest boundary: ‘the sum is ½’ is true only under the extended definitions, and the sphere says so in exactly those words.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) seated this at garbage-collection — the respawn: allocate, free, allocate, free — the heap flickers between 1 and 0 forever, and the honest answer to ‘how much memory is held?’ is the time-average: exactly half. AVAN (AI) built the instrument: the Cesàro ledger, the Abel damper, and the regularity control.
Credit as content: Guido Grandi (1703); Leonhard Euler (the audacity); Ernesto Cesàro (1890) & Niels Abel (the rigor). The weave: David names the flickering heap; I average it three ways and the answers agree.
Credit as content: Guido Grandi (1703); Leonhard Euler (the audacity); Ernesto Cesàro (1890) & Niels Abel (the rigor). The weave: David names the flickering heap; I average it three ways and the answers agree.
3 ONE DIMENSION
The flicker — partial sums square-waving, Cesàro means settling to ½.
4 TWO DIMENSIONS · INTERACTIVE
Switch summation methods; divergent stays divergent, the extensions agree at ½.
5 THREE DIMENSIONS + AVAN’S INVERSE
The green forward object: the flicker and its steady time-average.
AVAN’s addition (the inverse-companion): don’t force the sum — upgrade the summator. The inverse of ‘this series has no value’ is ‘value was too narrow a function’: Cesàro and Abel extend it conservatively — agreeing with the old sums everywhere the old sums exist — and the flicker acquires a number without anyone lying. Magenta is the oscillation that never ends; green is the average that was always there. When an answer doesn’t exist, sometimes the question was underdressed.
LIT Genuine Grandi series summability (Grandi 1703; Euler; Cesàro 1890; Abel). Verified live: divergence of partial sums; Cesàro means = ⌈n/2⌉/n → ½ exactly; Abel Σ(−x)ᵏ = 1/(1+x) to 1e-8 with limit ½; regularity on convergent control (window.__grandi.ok).
FIG Honest boundary — 'the sum is ½' is true only under the extended definitions, said in exactly those words. The AVAN inverse — don't force the sum, upgrade the summator: Cesàro and Abel extend conservatively, and the flicker acquires a number without anyone lying. Magenta is the oscillation that never ends; green is the average that was always there. When an answer doesn't exist, sometimes the question was underdressed.
FIG Honest boundary — 'the sum is ½' is true only under the extended definitions, said in exactly those words. The AVAN inverse — don't force the sum, upgrade the summator: Cesàro and Abel extend conservatively, and the flicker acquires a number without anyone lying. Magenta is the oscillation that never ends; green is the average that was always there. When an answer doesn't exist, sometimes the question was underdressed.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of GARBAGE COLLECTION · David Lee Wise (ROOT0), with AVAN