Astronomy & Celestial Mechanics
the sky, computed
Generator

The poincare-section generator

The last curve across the cylinder, before and after it breaks
The last curve across the cylinder, before and after it breaks. Surfaces of section for the standard map at K = 0.5, 0.9716, 1.4, each 22 trajectories iterated 41 times from a column of starting values. Nothing here is placed: every dot is an iterate. At K = 0.5 the islands are separate and the space between them is filled with curves that run all the way round in θ — a trajectory cannot get from one island to the next, and one started beside the hyperbolic fixed point wanders 2.91 in p — 0.46 of a cylinder — and stops. At K = 0.9716, which is Greene's threshold to four figures, the last of those curves is on the point of going and the same trajectory still only reaches 4.84, which is 0.77 of a cylinder. At K = 1.4 it covers 6.1 cylinders: the barrier is gone and there is nothing left to stop it. That transition is what a chaotic zone in the asteroid belt is, drawn without any asteroids.

Surfaces of section for the standard map at K = 0.5, 0.9716, 1.4, each 22 trajectories iterated 41 times from a column of starting values. Nothing here is placed: every dot is an iterate. At K = 0.5 the islands are separate and the space between them is filled with curves that run all the way round in θ — *a trajectory cannot get from one island to the next*, and one started beside the hyperbolic fixed point wanders 2.91 in p — 0.46 of a cylinder — and stops. At K = 0.9716, which is Greene's threshold to four figures, the last of those curves is on the point of going and the same trajectory still only reaches 4.84, which is 0.77 of a cylinder. At K = 1.4 it covers 6.1 cylinders: *the barrier is gone and there is nothing left to stop it*. That transition is what a chaotic zone in the asteroid belt is, drawn without any asteroids.

6 essays call poincare-section. The drawing above is what it returns with no arguments at all; every call below passes it something, because a placement that passes nothing draws whichever member of the family the generator happens to default to rather than the one its essay argues about.

Where it is called

Every figure listed here is the same construction drawn at different numbers, so a correction to one is a correction to all of them.

The last curve across the cylinder, before and after it breaks. Surfaces of section for the standard map at K = 0.5, 0.9716, 1.4, each 22 trajectories iterated 41 times from a column of starting values. Nothing here is placed: every dot is an iterate. At K = 0.5 the islands are separate and the space between them is filled with curves that run all the way round in θ — a trajectory cannot get from one island to the next, and one started beside the hyperbolic fixed point wanders 2.91 in p — 0.46 of a cylinder — and stops. At K = 0.9716, which is Greene's threshold to four figures, the last of those curves is on the point of going and the same trajectory still only reaches 4.84, which is 0.77 of a cylinder. At K = 1.4 it covers 6.1 cylinders: the barrier is gone and there is nothing left to stop it. That transition is what a chaotic zone in the asteroid belt is, drawn without any asteroids. Gravitation

Where the chaos comes from

A Lyapunov time says how long a prediction lasts. It does not say what destroyed it. The mechanism is two resonances whose libration widths overlap, and the transition can be watched happening on a surface of section as one number is turned up.

 A resonance keeps what convergence brings it and releases what divergence takes away. The resonant angle of a body inside a resonance whose strength is changing, for the two signs of that change. The angle obeys a pendulum, and the strength of the pendulum is set by how close the two orbits are; migration changes it slowly compared with the swing, which is the condition under which the area a trajectory encloses is conserved. Convergent migration strengthens the resonance, so the separatrix grows around a trajectory of fixed area and the swing narrows — from 1.05 radians to 0.77 across the figure, the body ending more deeply locked than it began. Divergent migration weakens it, the separatrix shrinks, and it eventually passes inside the trajectory: the angle stops oscillating and begins to run, 37.5π in the last quarter of the drawing alone, and the lock is gone for good. Nothing here is dissipative and nothing is random. The whole asymmetry is the sign of one derivative, which is why a chain of planets in resonance is direct evidence that they migrated toward one another, and why a chain cannot survive a phase in which they moved apart. Exoplanets

Capture is a direction, not a strength

A resonance holds a body that drifts into it from one side and lets go of one that drifts out the other way, and the asymmetry is not about how strong the resonance is. It is the sign of a derivative — whether the trapped region is growing or shrinking — which is why a chain of planets in resonance is direct evidence that they migrated toward each other.

 Two equilibria become four, and three worlds sit near the join. The Cassini equilibria of a spin axis, drawn against the ratio of its own precession rate to the rate at which its orbit plane turns, for an orbit inclination of 1.5 degrees. Each column of dots is the full set of obliquities at which the two precessions keep step at that ratio, found by root-finding rather than by tracing a remembered curve. Below α cos ε/|g| = 1.135 there are two such obliquities and above it there are four, and the figure checks both counts on either side of the join. The three marked bodies are placed by their own measured precession constants: the Earth with the Moon at 2.67, safely on the four-state side; the Earth without it at 0.86; and Mars at 1.06. Two of the three sit within a few tenths of the bifurcation, which is the whole reason their obliquities are not constants: near the join the equilibria are close together, the libration around them is wide, and a body pushed between neighbouring resonances wanders. The Moon's contribution to the Earth's precession constant is what moves the first mark away from that region, and the second mark is the same planet with that contribution removed. This is a two-frequency model of a many-frequency system, and the real chaos comes from the overlap of resonances it does not contain. The observed sky

A tilt that is not a constant

The Earth's axis leans by 23.4 degrees, and that lean is what makes the seasons. It is also a dynamical variable with its own equilibria, its own resonances and its own chaos — and on Mars the same variable has swung between nearly zero and sixty degrees without anything having to happen.

 A chaotic orbit that waits, and then moves. The momentum of one trajectory of the standard map at K = 1.2, unwrapped and counted in whole turns of 2π, against the iteration number, over 39,892 iterations. The motion inside each band is chaotic from the first step — the trajectory's Lyapunov time is 3.7 iterations — but it lingers near one integer resonance for thousands of iterations before reaching the next: the waits were 3,098, 1,464, 9,461, 15,957, 6,058, 3,854 iterations. Each arrival at the next integer resonance, drawn dashed, is marked. Between the integer resonances lie the remnants of the broken invariant curves, which no longer block the trajectory but still hold it, and each passage is quick compared with the wait before it. Gravitation

A barrier that leaks at a rate that can be computed

When the last invariant curve between two resonances breaks, it does not vanish. It becomes a cantorus — a curve full of gaps — and a chaotic orbit has to find the gaps to get through. The time that takes grows as the cube of how close the system is to the threshold, and it has nothing to do with the Lyapunov time, which is why an orbit can be hopelessly unpredictable and still stay put for the age of the solar system.

 How long a chaotic orbit stays away, with and without islands. The fraction of recurrence times to a small square in the chaotic sea of the standard map that exceed a given number of iterations, on logarithmic axes, counted along one orbit of 6·10⁷ iterations at K = 1.5 and K = 7 (772,165 recurrences, mean 78; 548,043 recurrences, mean 109). Dashed: exponentials with the same means. At K = 7, where the islands have all but vanished, the recurrences are exponential: the orbit forgets where it was in a few iterations. At K = 1.5 they part from the exponential after a few hundred iterations and fall instead as a power of time, with exponent 1.17 between a thousand and a hundred thousand iterations; the step at the left is the share of visits that simply stay in the square for a second iteration. A recurrence a thousand times longer than the mean is found once in 257,388 recurrences, where an exponential would give one in e to the thousand. Each mean is the area of the chaotic sea divided by the area of the square — 110 when the sea fills the torus, 78 at K = 1.5, where the islands take 29 per cent of it. The islands shorten the average absence and lengthen its tail. Gravitation

A chaotic orbit clings to the edge of order

In a chaotic sea with no islands, an orbit forgets where it was within a few steps, and the time it stays away from any region falls off exponentially. Put islands of regular motion in the sea and the long absences multiply by factors of millions: the orbit reaches an island's edge, is caught in the hierarchy of smaller islands round it, and behaves as if it were regular for thousands of steps. The tail becomes a power law, and a rare few absences carry a large share of the orbit's whole history.

 One orbit, chosen to spell 1, 3, 1, 4, 1, 5. The height of the particle on the axis of an equal-mass binary of eccentricity 0.3, from launch at phase 210° and speed 1.3105, found by a seeded nested search for the sequence of excursions 1, 3, 1, 4, 1, 5, in whole binary periods. Between each pair of crossings the particle's excursion lasts the listed number of periods, to the nearest whole one. Moser's theorem is about every sequence of large enough integers at small enough eccentricity and is exact; this is one finite word at one finite eccentricity, found numerically to show the kind of thing the theorem says exists. Gravitation

A particle on a line that can spell any word

Two equal stars orbit each other, and a speck of dust moves up and down on the line through their centre, perpendicular to their orbit. It has one coordinate and cannot leave that line. In 1973 Jürgen Moser proved that for almost any list of whole numbers, as long as they are large enough, there is an orbit whose successive excursions last exactly that many periods of the stars. The list can be chosen at random, so the orbit can do anything a coin can.

The whole library · All essays