Concept

Jacobi constant — where it appears

The one conserved quantity of the restricted three-body problem, defined in the frame rotating with the two massive bodies. It is exact whether the trajectory is regular or chaotic, and it survives an encounter that changes every orbital element, which is what makes it the only handle on an uncomputable orbit.

Named by 7 essays across 3 fields — each of them below, with the objects they name alongside it.

Zero-velocity curves, mass fraction 0.15. Level sets of the Jacobi constant in the frame that rotates with the two bodies. A particle with a given value of C is confined to the side of its own curve where the kinetic energy would be positive; as C falls the curves open, first at the inner point between the bodies, then behind the smaller one, and finally around the whole system.

The curve that says where a body cannot go

The restricted three-body problem has no solution and one conserved quantity. That quantity is enough to draw a boundary the body can never cross — without integrating anything, without knowing where it started, and for all time.

gravitation · The three-body problem
The surface a star stops at. The equipotential through L₁ — the Roche lobe — at mass fractions 0.50, 0.20, 0.05, in the frame that rotates with the pair. Each is a level set of exactly the same function the zero-velocity curves are level sets of, at exactly the critical value, so nothing here is a new construction: the Roche lobe is the last closed equipotential, and it is closed only because the two lobes touch at a single point. Material that reaches that point is no longer bound to the star it came from, and it leaves through an opening of zero area. The lobes are drawn in the orbital plane; in three dimensions each is a teardrop, and its volume-equivalent radius is what "the size of a Roche lobe" means. As the mass ratio becomes extreme the smaller star's lobe shrinks towards it, which is why a white dwarf accreting from a companion has a lobe smaller than the Sun.

The surface a star stops at

Around each star of a close pair there is a last closed equipotential, and the two touch at a single point. A star that swells to reach it hands its outer layers to its companion through an opening of zero area — and the transfer, once started, makes itself worse.

gravitation · Lagrange points
The Hill radius against the mass ratio, and where four planets keep their outermost moon. The Hill radius R_H = a(μ/3)^⅓ and the exact L₁ distance from the same quintic, both in units of the planet's own semi-major axis, against the mass ratio μ = m/(M+m) from 10⁻⁸ to 0.12. The two are the same line to the width of the stroke across the whole planetary range — the cube-root formula runs 0.33% short of the exact L₁ distance at the Earth's mass ratio and 10.0% short at the right-hand edge — so the departure between them is drawn on its own percentage scale at the right, which is the only place it can be seen. Below the curves are the numerically determined stability limits, 0.5 R_H for a prograde satellite and 0.7 R_H for a retrograde one, and the outermost known satellite of each of four planets, each at a Hill fraction computed from that planet's own mass and orbit: Moon 0.257, Sinope 0.451, Phoebe 0.198, Neso 0.424. Of the four, three are retrograde — Sinope, Phoebe, Neso — and they reach 0.451 of their planet's Hill radius against 0.257 for the one prograde satellite: 1.8 times as far out, in a diagram whose two stability limits stand in the ratio 0.7 to 0.5. No equilibrium argument predicts that, and it is what the drawing makes plain.

The region a planet may keep a moon in

A satellite is not held by orbiting but by orbiting inside the radius at which the Sun's tidal field would take it away. That radius is the same distance the innermost Lagrange point sits at, asked a different question — and the boundary the sky actually respects is smaller, by a factor that depends on which way the moon is going round.

gravitation · Hill sphere
The contours a planetary encounter cannot cross. Contours of the Tisserand parameter with respect to Jupiter in the plane of semi-major axis and eccentricity, drawn for a coplanar orbit. An encounter with Jupiter moves a comet along one of these curves and never across one, because T is what the encounter conserves. The heavy contours are at T = 3 and T = 2, and they are the boundaries the comet families are defined by: T > 3 means no encounter is possible at all, since v∞²/v_J² = 3 − T and a negative squared speed is not a trajectory; 2 < T < 3 is the Jupiter family; below 2 the approach speed exceeds Jupiter's own orbital speed and the orbits are the nearly isotropic ones. The shaded boundary is the crossing condition — an orbit whose pericentre is outside Jupiter's, or whose apocentre is inside it, never meets the planet whatever its T. The five comets are placed at their JPL elements and labelled with the T the literature quotes; all five with inclination sit off the coplanar contours by exactly the cos i in the definition, which is why 1P/Halley's is negative — a retrograde orbit meets Jupiter at nearly twice Jupiter's speed.

The number that survives the encounter

A comet that passes Jupiter comes away with every orbital element changed. One combination of them is not changed, and it is enough to recognise the comet afterwards, to sort the comet families, and to say where a spacecraft can and cannot go.

gravitation · Tisserand parameter
Three orders of magnitude in astronomical units, and a factor of 9.6 in mutual Hill radii. Every adjacent pair of planets in three systems, plotted by the separation between them measured in their own mutual Hill radius, ((m₁+m₂)/3M⋆)^⅓ · (a₁+a₂)/2. In astronomical units the same 17 separations span a factor of 2554 — from 0.0043 AU between two TRAPPIST-1 planets to 10.9 between Uranus and Neptune — and carry no visible structure at all. In this unit they span 9.6, with a median of 11.8. The solid line at 2√3 = 3.46 is a theorem: two planets on circular coplanar orbits wider apart than that can never have a close encounter, whatever else happens, and every pair here is clear of it. The dashed line at 10 is a fit, to integrations of systems of several planets over billions of years, and it is the one that bites — a system packed tighter than about ten does not survive, which is why the observed distribution has a floor there and not at the theorem. A planetary system's spacing is not measured in kilometres. It is measured in a unit the planets define.

A feeding zone, and the spacing it forces

The radius that decides what a planet may keep also decides what it could reach while it was growing — and measuring the gaps between planets in that unit turns a distribution spanning three orders of magnitude in astronomical units into a band a factor of ten wide, with a floor that is partly a theorem and partly a fit.

gravitation · Hill sphere
Two outcomes, and a boundary with no width. 26 trajectories launched from one point beyond L₂, all at the one speed the Jacobi constant C = 3.5124 permits there, differing only in the direction they set off in. The heavy curve is the zero-velocity boundary at that constant — the region no trajectory of this energy may enter — and it is open at L₂ by the neck the trajectories are aimed at. 11 of the 26 pass through into the secondary's realm and 15 turn back, and they are not interleaved — sweeping the launch direction through 65° finds one changeover and nothing in between. Bisecting the first of them pins it to 2.6e-12 radians, and the integrator runs out of digits before the boundary runs out of sharpness. That surface is the tube. It is the stable manifold of the periodic orbit about L₂, it separates transit from non-transit everywhere and not only in this fan, and a mission that wants to arrive for nothing has to be put inside it.

The tube that leads out of a neck

Below a certain energy the forbidden region opens at a Lagrange point, and a trajectory may pass. Which ones do is decided by a surface with no width at all — and two tubes that meet give a transfer that costs nothing at the join.

spaceflight · Lagrange points
An invariant that moves by 8.0e-3 once the planet's orbit is real. The Tisserand parameter of a comet on an orbit of semi-major axis 5 and eccentricity 0.8, followed through a close passage of Jupiter, integrated twice. The lower trace has Jupiter on a perfect circle, which is the problem the parameter is an exact constant of: it survives the encounter having moved by 1.0e-4, which is the integrator's own error and not a physical change, and the spike at the moment of closest approach is the osculating elements being briefly meaningless while the comet is inside Jupiter's sphere of influence rather than the constant failing. The upper trace is the same encounter with Jupiter on its real orbit, eccentricity 0.0489. The parameter comes out changed by 8.0e-3, 79 times as much, because the Jacobi constant exists only when the rotating frame is uniformly rotating and a planet on an ellipse does not provide one. That number is small and it is not negligible: comet families are separated by boundaries in this parameter placed to two decimal places, and a comet that drifts across one over several encounters has changed class without anything having happened to it that a single encounter could account for.

An invariant that is only almost one

The Tisserand parameter survives a close encounter with Jupiter exactly, and comet families are separated by boundaries in it drawn to two decimal places. The exactness holds for a Jupiter on a circle. Jupiter's eccentricity is 0.0489, and integrating the same encounter twice shows what that costs.

orbits · Tisserand parameter

Named alongside it

The objects these essays reach for when they reach for this one.

Restricted three-body problemLagrange pointsTisserand parameterGravity assistHill sphereMass ratioMass transferMission designOsculating elementsRoche lobeRotating frameZero-velocity curve

All concepts