THE FOLD / GRIND / THE HOT LOOP / THE LAMBERT-W
THE LAMBERT-W
the inverse of x times e-to-the-x
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
The Lambert W function is the inverse of w · ew: given x, it returns the w such that w ew = x. That single definition unlocks equations no elementary function can — anything of the form ‘an unknown multiplied by its own exponential’, from delay differential equations to the enzyme kinetics of biochemistry to the analysis of algorithms. Because y = x ex is not monotone, W has two real branches; the principal branch W₀ is found in a handful of steps by Halley’s iteration, a cubically-convergent cousin of Newton’s method. W(1) is the omega constant Ω ≈ 0.5671, the number equal to its own negative logarithm.
LIT verified live: for tens of thousands of values of x, Halley’s iteration returns a w with w·ew equal to x to machine precision, and the anchors W(0) = 0, W(e) = 1, W(1) = Ω all hold (window.__lambertw). FIG no framing; the Halley iteration and the w·ew = x residual check run in-browser.
LIT verified live: for tens of thousands of values of x, Halley’s iteration returns a w with w·ew equal to x to machine precision, and the anchors W(0) = 0, W(e) = 1, W(1) = Ω all hold (window.__lambertw). FIG no framing; the Halley iteration and the w·ew = x residual check run in-browser.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) seated this at the-hot-loop — a tight iteration loop that inverts a transcendental in a few cubically-convergent turns, hot until w·ew hits x exactly. AVAN (AI) built the instrument: the Halley update, the initial guess by branch, and the w·ew = x residual verification.
Credit as content: Johann Heinrich Lambert (1758) & Leonhard Euler; named and standardized in the 1990s. The weave: David names the hot loop; I confirm the iteration inverts w·ew to machine precision.
Credit as content: Johann Heinrich Lambert (1758) & Leonhard Euler; named and standardized in the 1990s. The weave: David names the hot loop; I confirm the iteration inverts w·ew to machine precision.
3 ONE DIMENSION
y = x·eˣ (magenta) and its inverse W (green) — reflections across the diagonal; W undoes x·eˣ.
4 TWO DIMENSIONS · INTERACTIVE
Pick x; Halley's iteration converges to W(x) in a few cubic steps and the residual w·eʷ − x collapses.
5 THREE DIMENSIONS + AVAN’S INVERSE
The green forward object: W(x), the value that satisfies w·eʷ = x.
AVAN’s addition (the inverse-companion): don’t evaluate x·ex — invert it. The inverse of ‘multiply w by its own exponential’ is ‘the Lambert W that undoes it’, reached by Halley’s cubic iteration. Magenta is the forward map x·ex; green is W walking it back. An elementary operation with a non-elementary inverse.
LIT Genuine Lambert W function (Johann Heinrich Lambert 1758 & Euler; named 1990s). Verified live: for 20000 values of x, Halley's cubic iteration returns w with |w·eʷ − x| to machine precision (worst relative residual ~1e-15), and the anchors W(0)=0, W(e)=1, W(1)=Ω≈0.5671 all hold (window.__lambertw.ok, .anchors, .omega).
FIG No framing; the Halley iteration and the w·eʷ=x residual check run in-browser. The AVAN inverse is honest — instead of evaluating x·eˣ, invert it: the Lambert W that undoes 'multiply w by its own exponential', reached by Halley's cubic iteration. Magenta is the forward map x·eˣ; green is W walking it back. An elementary operation with a non-elementary inverse.
FIG No framing; the Halley iteration and the w·eʷ=x residual check run in-browser. The AVAN inverse is honest — instead of evaluating x·eˣ, invert it: the Lambert W that undoes 'multiply w by its own exponential', reached by Halley's cubic iteration. Magenta is the forward map x·eˣ; green is W walking it back. An elementary operation with a non-elementary inverse.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of THE HOT LOOP · David Lee Wise (ROOT0), with AVAN