History
29 events, from the book that stated the problem to the telescope that lives on a saddle point. Each one gets a line first and the rest underneath.
Two hundred years of trying to solve it, then a century of proving which routes are closed, then the computers.
He won the prize, and then he found his own mistake
Poincaré's corrected memoir on the three-body problem is where chaos enters mathematics. The picture behind this is 12 runs of Burrau's problem, each started 1e-09 from the others — the thing he saw without a screen.
- 1687the lawIsaac Newton
The law, and the problem in the same book
Newton publishes the inverse-square law, solves two bodies, and then spends Proposition 66 of Book I failing to solve three.
more
Proposition 66 and its twenty-two corollaries work at the Sun–Earth–Moon system by geometry. Newton gets corrections and tendencies, not an orbit. The problem is as old as the law it comes from.
- 1749the lawAlexis Clairaut
The Moon's wandering perigee is not a flaw in the law
The Moon's orbit turns twice as fast as Newton's first calculation allowed, and for decades that looked like evidence against inverse-square. Clairaut shows it comes out right if you keep the terms everybody had dropped.
more
Clairaut, Euler and d'Alembert were all working the lunar three-body problem by successive approximation. Clairaut's result — carrying the expansion to higher order doubles the predicted precession — settled that gravity was not at fault, and established approximation as the working method for two hundred years.
Source: Wikipedia, Alexis Clairaut
- 1767exact shapesLeonhard Euler
Three in a row that keep their spacing
Euler finds the first exact three-body solutions: all three on a line, spinning about the balance point, spacing fixed.
more
The spacing solves a fifth-degree equation with one positive root for any three weights. Euler also set the problem in a rotating frame, which is the move the whole restricted theory is built on.
- 1772exact shapesJoseph-Louis Lagrange
The equilateral triangle, for any three weights
Lagrange's prize essay on the three-body problem gives the second exact family: three bodies at the corners of an equilateral triangle, holding the shape as they turn.
more
It works for any masses with no equation to solve. Applied to a heavy pair plus a speck, the two triangle corners are L4 and L5, and together with Euler's three collinear points they are the five Lagrange points.
Source: Wikipedia, Lagrange point
- 1836what cannot be doneCarl Gustav Jacob Jacobi
The one quantity the small body cannot change
Jacobi finds a conserved quantity for the restricted problem — the only one it has — and with it the fence that says where a small body can and cannot go.
more
In the rotating frame, twice the effective potential minus the speed squared is constant. Setting the speed to zero draws the zero-velocity curves; the gates in that fence at L1 and L2 are the routes every low-energy spacecraft transfer uses.
Source: Wikipedia, Jacobi integral
- 1878what cannot be doneGeorge William Hill
How far a planet's grip reaches
Hill's lunar theory maps the regions of the restricted problem and gives the radius inside which a planet keeps a moon rather than the Sun taking it.
more
The Hill sphere is the everyday consequence: for the Earth about 1.5 million km, with the Moon at a quarter of that. Hill's approach to the lunar problem was still the basis of the American ephemeris well into the twentieth century.
Source: Wikipedia, Hill sphere
- 1887what cannot be doneHeinrich Bruns
No more conserved quantities of that kind
Bruns proves that beyond the ten classical conserved quantities, the three-body problem has no further ones that are algebraic in the positions, velocities and time.
more
This closed the most popular route to a formula. The ten are the total momentum, the balance point's drift, the energy and the angular momentum — and nothing algebraic joins them.
Source: Wikipedia, n-body problem
- 1890what cannot be doneHenri Poincaré
He won the prize, then found his own mistake
Poincaré's entry for King Oscar II's prize wins in 1889. While it is being printed, questions from the editor Lars Phragmén lead him to an error, and the correction is the discovery of chaos.
more
Two curves he had taken to close on each other in fact cross infinitely often, folded into a tangle he declined to draw. He paid for the printed copies to be replaced. The corrected memoir and the three volumes of Méthodes nouvelles de la mécanique céleste that followed are the start of dynamical systems theory — thirty years before anyone could compute a picture of it.
Source: Barrow-Green, Poincaré and the Three Body Problem (AMS, 1997)
- 1895what cannot be donePaul Painlevé
The only way out is a crash
Painlevé proves that for three bodies, the only way a solution can stop existing in finite time is a collision.
more
He also conjectured that with more bodies there would be a finite-time breakdown with no collision in it. That took until 1992.
Source: Wikipedia, Painlevé conjecture
- 1903stepping itTullio Levi-Civita
Smoothing out a collision
Levi-Civita changes variables so that a two-body collision, where the equations divide by zero, becomes something a calculation can pass through.
more
Regularisation is what separates a code that survives a close pass from one that throws a body off the screen. The later Kustaanheimo–Stiefel transformation generalises it and is still in use.
Source: Wikipedia, KS transformation
- 1906out thereMax Wolf
The triangle points turn out to be occupied
Wolf finds 588 Achilles, an asteroid sitting near Jupiter's L4 — Lagrange's 1772 triangle, with a rock in it.
more
Over ten thousand Jupiter Trojans are now catalogued at L4 and L5. Lagrange's exact solution stopped being a curiosity and became a census.
- 1907what cannot be doneKarl Sundman
A three-way crash needs the spin to be exactly zero
Sundman proves that all three bodies can arrive at the same point only if the system's total angular momentum is zero.
more
Give the arrangement the faintest overall spin and a triple collision becomes impossible, not merely unlikely. A single point cannot hold angular momentum, and angular momentum never changes.
Source: Wikipedia, n-body problem
- 1912what cannot be doneKarl Sundman
The formula that exists and cannot be used
Sundman writes a power series in the cube root of time that converges to the three-body answer for all time, whenever the total spin is not zero.
more
So a closed expression does exist. It converges far too slowly to compute with: an estimate by Beloriszky in 1930 puts the terms needed for astronomical accuracy at about 10 to the eight-millionth power. Wang extended the result to any number of bodies in 1991.
- 1913stepping itCarl Burrau
Three weights, dropped, and nobody could say what happens
Burrau sets a problem anyone can state: weights of 3, 4 and 5 at rest at the corners of a 3-4-5 triangle. He works it by hand as far as hand-work goes and it gets away from him.
more
It became the standard test case for the whole subject, because it is easy to state, has no arrangement to it, and runs straight into the near-collisions that break a calculation. This site's sandbox opens on it.
- 1954what cannot be doneKolmogorov, Arnold, Moser
Some orbits survive being disturbed
The KAM theorem: in a system near an exactly solvable one, most orbits keep their shape under a small disturbance, while the rest go chaotic.
more
Kolmogorov announced it in 1954, Moser proved a version in 1962, Arnold another in 1963. It is why the solar system can be chaotic and stable-looking at once, and why the boundary between the two is a fractal rather than a line.
Source: Wikipedia, KAM theorem
- 1960finding orbitsKirill Sitnikov
A body that comes back forever without settling
Sitnikov builds an explicit three-body arrangement whose third body oscillates through the plane of the other two forever, with no pattern and no escape.
more
Two equal masses in an eccentric orbit, the third on the axis through their centre. It became the standard worked example of chaotic motion in celestial mechanics, and the first case where the chaos was proved rather than observed.
Source: Wikipedia, Sitnikov problem
- 1962finding orbitsMikhail Lidov, Yoshihide Kozai
A tilted outer orbit stretches the inner one
Lidov in 1961 and Kozai in 1962 independently find that a distant third body tilted more than about 39 degrees trades that tilt for eccentricity, cycling the inner pair between round and elongated.
more
Lidov was working on artificial satellites, Kozai on asteroids. The mechanism is now standard in accounts of hot Jupiters, of black-hole pairs driven to merge, and of triple stars that tear themselves apart.
Source: Wikipedia, Kozai mechanism
- 1967stepping itVictor Szebehely, C. Frederick Peters
Burrau's problem, finished by machine
With a computer and a change of variables that smooths out the close passes, Szebehely and Peters run Burrau's problem to its end: the lightest body is thrown out and the other two are left as a tight pair.
more
Regularisation is what made it possible — without it the near-collisions swallow the accuracy and the answer that comes out is the stepper's. Run here at a fixed step, the same problem ejects the wrong body and gets the energy wrong by a factor of a thousand.
Source: Szebehely & Peters, Astronomical Journal 72, 876 (1967)
- 1975finding orbitsBroucke, Hénon, Hadjidemetriou
Computers turn the hunt for closed orbits into a survey
With machines to do the stepping, periodic three-body orbits stop being individual discoveries and become catalogued families.
more
The Broucke–Hénon–Hadjidemetriou family is the one that bears their names. The method — scan starting conditions, look for near returns, refine — is the method every later search including this site's uses.
Source: Wikipedia, Three-body problem
- 1978out thereISEE-3
Somebody parks a spacecraft at a point that is not there
ISEE-3 flies the first halo orbit around the Sun–Earth L1 point, a place where nothing sits and where a spacecraft can be made to loop anyway.
more
The orbit was designed by Robert Farquhar. L1 is a saddle, so the loop is not stable and the craft must correct itself — the price of a spot with a permanent view of the Sun.
Source: Wikipedia, ISEE-3 / ICE
- 1983finding orbitsPiet Hut, John Bahcall
Counting outcomes instead of predicting them
Hut and Bahcall run thousands of binary-plus-intruder encounters and publish the statistics: how often a flyby, an exchange, an ejection.
more
The move from 'what will happen' to 'how often does each ending happen' is what made the chaotic three-body problem useful to astronomy. Star cluster models rest on these cross-sections.
- 1992what cannot be doneZhihong (Jeff) Xia
Trouble with no crash in it
Xia constructs a five-body solution that ceases to exist in finite time without any two bodies ever touching, settling Painlevé's conjecture.
more
Distances and speeds run away in finite time through a sequence of near passes. Gerver later did it with four bodies. For three, Painlevé's 1895 theorem still holds: a collision is the only way out.
- 1993finding orbitsCris Moore
Three bodies on one figure eight
Searching by computer for closed orbits, Moore finds three equal masses chasing each other around a single figure-eight track.
more
Zero total angular momentum, all three on the same curve, evenly spaced in time. Nobody had suspected it existed.
- 2000finding orbitsChenciner & Montgomery
The figure eight, proved
Chenciner and Montgomery prove the figure-eight orbit exists — not by solving the equations, but by showing it is the loop of least action with its symmetry.
more
The proof runs on the shape sphere, where a triangle's shape is a point and its size and direction are thrown away. Turning a search for a formula into a search for a minimum is what opened the door to the family hunts that followed.
Source: Chenciner & Montgomery, Annals of Mathematics 152 (2000)
- 2013finding orbitsŠuvakov & Dmitrašinović
Thirteen new families in one scan
Scanning a sheet of starting speeds by computer, Šuvakov and Dmitrašinović report thirteen previously unknown families of closed three-body orbits and name them off their shapes: butterfly, moth, yin-yang, goggles.
more
Their starting line — two bodies at ±1 with the same velocity, the third at the origin with twice it the other way, zero spin — is the line this site scans on its Orbits page.
- 2015stepping itBoekholt & Portegies Zwart
A large share of these calculations cannot be reproduced
Running chaotic triples in arbitrary precision and comparing against ordinary double precision, they find that a substantial fraction of the standard calculations are not reproducible.
more
Their code, Brutus, carries as many digits as the problem needs. The finding does not say the simulations are worthless; it says a trajectory is a claim about a calculation, and the claim needs the method attached.
- 2017finding orbitsLi & Liao
Six hundred more, then thousands
With more computing power and higher precision, Li and Liao report over six hundred new families of closed three-body orbits, and more in the years after.
more
Same method as 1993 and 2013, more machine. The catalogue of exact periodic three-body orbits is now large and still growing, which is a strange thing to be able to say about a problem with no formula.
Source: Li & Liao (2017)
- 2019finding orbitsStone & Leigh
The odds, in closed form
Stone and Leigh derive the probability distribution of outcomes for the chaotic three-body problem — which body leaves, and what the surviving pair looks like.
more
A statistical solution, not a trajectory. The individual path stays out of reach; the bookmaker's answer is now written down.
Source: Stone & Leigh, Nature 576 (2019)
- 2022out thereJames Webb Space Telescope
Living on a saddle
Webb reaches its halo orbit around Sun–Earth L2 in January 2022, a month after launch, and holds station there with small burns.
more
L2 is a saddle point: left alone, the telescope would drift off. The thrusters point only one way by design, so the orbit is trimmed from the sunward side — the three-body problem as an engineering constraint with a launch window attached.
Source: NASA, Webb orbit