Gravitation

How much a world gives

A body pulled on from one side deforms, and how much it deforms is a single dimensionless number. That number is three halves for a uniform fluid, three hundredths for the Sun, and two thousandths for a moon made of ice — so measuring it is a measurement of what is inside.

Assumes Tides and Polytropes.

A tide is a difference of gravity, and everything this collection has said about tides so far treats the body being pulled on as a passive object: the field is computed, the two bulges follow, the couple is worked out. The body’s own response has been assumed rather than derived.

It should not be. A body pulled on from one side stretches, and how much it stretches is a property of the body — of the arrangement of its density, and, if it is small enough, of the strength of the material it is made of. That response is one dimensionless number, and it is remarkably informative for something so compact: it runs over four orders of magnitude across ordinary astronomical objects, and where it can be measured it is one of the very few direct statements anybody has about an interior.

The Love number against central condensation: 3/2 for a uniform body, 2.4e-3 at n = 4. How willingly a body deforms, drawn against how concentrated it is. The horizontal axis is the polytropic index, which is a proxy for the run of density inside — n = 0 is uniform, n = 1.5 is a non-relativistic degenerate gas, n = 3 is a radiative star like the Sun — and the vertical axis is the fluid Love number k₂ on a logarithmic scale. The curve is the Radau equation integrated over each polytrope's own density profile, and its two ends are exact rather than fitted: a uniform incompressible body has k₂ = 3/2 exactly, and a body with all its mass at the centre has k₂ = 0, because a point mass has no quadrupole to offer. Everything real lies between. The fall is steep — four orders of magnitude across the family — which is what makes the number diagnostic: k₂ is not a mild function of structure, it is a sensitive one, and measuring it to ten per cent constrains the interior far better than measuring a mean density to the same precision. The Sun, at n ≈ 3, sits near 2.9e-2. Two conventions collide here and the figure uses one of them: the planetary literature's k₂, for which a uniform body gives 3/2. The stellar literature's apsidal-motion constant is half of this at every point, so a uniform body gives 0.75, and the two are the same quantity. What the picture cannot show is rigidity — every body on it is a fluid, and for anything smaller than a planet that assumption fails badly.
Fig. 1 The tidal Love number k₂ against central condensation, measured here by the polytropic index. The two ends are exact rather than fitted. A uniform incompressible fluid body has k₂ = 3/2, and a body with all its mass at the centre has k₂ = 0, because a point mass has no quadrupole to offer. Everything real is in between, and the fall is steep — from 1.5 to 0.0024 across the family — which is what makes the number diagnostic: it is a sensitive function of the interior rather than a mild one.

What the number is a ratio of

The tide-raising body imposes an external potential on the body being deformed, and that potential is, to leading order, a quadrupole: it stretches along the line joining the two and squeezes across it. The deformed body then acquires a quadrupole of its own, because its mass has moved, and that new quadrupole has its own potential.

k2k_2 is the ratio of the second to the first, evaluated at the surface. It is not a length, a mass or a time; it is a number, and the whole of the body’s structure has been compressed into it.

Two conventions collide here and they differ by a factor of two, which has caused a great deal of confusion. The planetary literature’s k2k_2 is the ratio just defined and gives 3/23/2 for a uniform fluid. The stellar literature’s k2k_2 is the apsidal-motion constant, half of that, and gives 0.750.75. Both are correct; neither is universal; every paper has to say which. This essay uses the first, and the figures label it.

The tidal field is a difference. The pull of a distant body at each point of a sphere, minus its pull at the sphere's centre. What remains stretches along the line to the source and squeezes across it — two bulges, not one.
Fig. 2 The forcing, with no response drawn. Each arrow is the distant body’s pull at that point of the surface minus its pull at the centre, so what survives the subtraction stretches along the line to the source and squeezes across it. This pattern is the same for every body: it depends on the tide-raiser and on the distance, and on nothing about the body being pulled. Everything in this essay is about what happens next, which does not.

Solving it, by an equation that is nearly a hundred and fifty years old

The response of a self-gravitating fluid to a quadrupole forcing reduces, remarkably, to a single first-order differential equation. Radau’s equation follows the logarithmic derivative of the deformation outward,

rdηdr+6ρ(r)ρˉ(r)(η+1)+η(η1)6=0,r\frac{d\eta}{dr} + 6\frac{\rho(r)}{\bar\rho(r)}\left(\eta+1\right) + \eta(\eta-1) - 6 = 0,

with ρˉ(r)\bar\rho(r) the mean density inside rr, and η\eta zero at the centre. The Love number then follows from its surface value alone.

Two special cases are exact and are what the integration in the hero figure was checked against. If the density is uniform, ρ/ρˉ=1\rho/\bar\rho = 1 everywhere, η0\eta \equiv 0 solves the equation, and k2=3/2k_2 = 3/2. If all the mass is at the centre, ρ/ρˉ0\rho/\bar\rho \to 0, the equation relaxes to η2η6=0\eta^2 - \eta - 6 = 0, so η3\eta \to 3 and k20k_2 \to 0.

Everything else is between those, and the ordering has a physical reading. A body deforms because the tidal potential moves mass around; a body whose mass is concentrated at the centre has very little mass out where the tidal forcing is strong, so there is very little to move. Central condensation stiffens a fluid body without giving it any strength at all. There is a shortcut worth knowing, because it converts a shape into a Love number without any integration at all. To first order in the flattening, the same Radau equation connects η\eta at the surface to the body’s observable oblateness — so a photograph of a rotating planet and a rotation period give η\eta, and η\eta gives both k2k_2 and the moment of inertia. That is the Radau–Darwin relation, and it is why the giant planets had estimated interior structures long before any spacecraft measured a gravity field. Its weakness is exactly its strength: it assumes hydrostatic equilibrium, and a body whose shape is partly frozen strength rather than fluid response returns a confident wrong answer.

For anything smaller than a planet, density is not the variable

The Radau treatment assumes a fluid. That is right for a star, tolerable for a giant planet, and badly wrong for a moon, because a moon has strength.

For a homogeneous elastic sphere the answer is classical and short:

k2=3/21+19μ2ρgR,k_2 = \frac{3/2}{1 + \dfrac{19\mu}{2\rho g R}},

where μ\mu is the rigidity. The group in the denominator compares the material’s strength with the pressure its own weight generates, and it decides everything. Rock and ice have rigidities of tens of gigapascals; a body has to be very large before ρgR\rho g R approaches that. For the Earth the denominator is about 4.9 and k2k_2 comes out near 0.3. For a moon two thousand kilometres across it is in the hundreds, and k2k_2 collapses to a per cent or two.

the Earth's measured k₂ of 0.295, against the 0.309 a solid body allows. The tidal Love number of a small solid body, against the rigidity of the material it is made of, both axes logarithmic. For a homogeneous elastic sphere k₂ = (3/2)/(1 + 19μ/2ρgR), and the group in the denominator is the ratio of the material's strength to the pressure its own weight can generate. That ratio decides everything. A body has to be large before its own gravity can overwhelm the strength of rock or ice, so for a moon the denominator is in the hundreds and k₂ collapses: a solid the Earth at its interior's own rigidity of 140 gigapascals would have k₂ = 0.3086, drawn where the heavy curve crosses that rigidity. The fainter curves are the same relation for other bodies, and they are ordered by size — the Earth sits far above the moons because ρgR is a hundred times larger. The measured value is the horizontal line at 0.295 ± 0.002, and the solid curve passes through it — 0.96 times the prediction. That agreement is the control on the whole method. A relation that returned "no solid model fits" for every body would be evidence of nothing; this one returns a fit where a fit is expected, from satellite laser ranging. The picture assumes homogeneity throughout, which no icy moon has; a layered body is stiffer or softer than this by a factor of a few, and never by the factor of a hundred the argument turns on.
Fig. 3 The relation, for the one body where it can be checked directly. The Earth’s k₂ is measured by satellite laser ranging — the solid Earth’s tidal bulge moves the satellites — and comes out at 0.295 ± 0.002. The homogeneous elastic formula at the Earth’s bulk rigidity gives 0.309. That the two agree to five per cent for a body with a liquid outer core and a strongly layered interior is a little lucky, and it is also the control that licenses using the same relation elsewhere: a formula that returned “no solid model fits” for every body would be evidence of nothing.

That control is what makes the next figure an argument rather than an assertion.

Titan's measured k₂ of 0.616, against the 0.017 a solid body allows. The tidal Love number of a small solid body, against the rigidity of the material it is made of, both axes logarithmic. For a homogeneous elastic sphere k₂ = (3/2)/(1 + 19μ/2ρgR), and the group in the denominator is the ratio of the material's strength to the pressure its own weight can generate. That ratio decides everything. A body has to be large before its own gravity can overwhelm the strength of rock or ice, so for a moon the denominator is in the hundreds and k₂ collapses: a solid Titan at its interior's own rigidity of 60 gigapascals would have k₂ = 0.0170, drawn where the heavy curve crosses that rigidity. The fainter curves are the same relation for other bodies, and they are ordered by size — the Earth sits far above the moons because ρgR is a hundred times larger. The measured value is the horizontal line at 0.616 ± 0.067, 36 times the solid prediction and outside anything the curve reaches at any rigidity a solid supports. That is the argument, and its shape matters: not that the interior is soft, but that no rigidity whatever makes a solid body of this size respond this much. What responds is a shell floating on a global liquid layer, mechanically decoupled from whatever is beneath it and free to deform almost as a fluid would. The picture assumes homogeneity throughout, which no icy moon has; a layered body is stiffer or softer than this by a factor of a few, and never by the factor of a hundred the argument turns on.
Fig. 4 Titan, measured by Cassini from six close flybys. A solid Titan, at the rigidity its silicate-and-high-pressure-ice interior would have, gives k₂ = 0.017. The measurement is 0.616 ± 0.067 — thirty-six times larger, and outside anything the curve reaches at any rigidity a solid supports. The argument is not that the interior is soft. It is that no rigidity whatever lets a solid body of this size respond this much, so the body is not solid: an outer shell is floating on a global liquid layer, mechanically decoupled from whatever lies beneath it, and free to deform nearly as a fluid would.

Enceladus makes the point more sharply still, and by a different observable. It is a tenth of Titan’s radius, so ρgR\rho g R is a hundred times smaller and a solid Enceladus would have k2k_2 of about two thousandths — a body essentially rigid against tides. What is observed instead is a physical libration of a tenth of a degree, four times what a body frozen through could show, and a plume of water vapour leaving its south pole. The three observations agree on a conclusion none of them states: there is a global liquid layer, and the shell above it is not attached to the core.

Notice what has and has not been shown. The measurement does not see the ocean; it sees a deformation too large for a solid. What rules out every alternative is that the alternatives were enumerated first — a formula with one free parameter, swept across four decades of it, never reaching the observed value. An argument of that shape is only as good as the enumeration, and the enumeration here rests on a homogeneous model, which no icy moon is. Layering changes the answer by factors of a few and never by the factor of thirty the conclusion turns on.

There is a second reason the small-body case is worth separating out. For a fluid body the response is instantaneous in the sense that matters — the material has no memory — and k2k_2 is a purely structural quantity. For a solid one it is not: rock and ice are viscoelastic, so what a body does under a tide depends on how fast the tide is applied. The same moon has one Love number at the orbital period and a different one at the period of its own free oscillations, and quoting a k2k_2 for a solid body without saying at what frequency is quoting half a number.

Reading it off a binary

The stellar application is older than the planetary one and works by a completely different observable. Two stars close enough to raise tides on each other are not point masses, so their mutual orbit does not close: the quadrupole each acquires torques the other, and the line of apsides turns.

The rate depends on the fifth power of the ratio of radius to separation and linearly on the Love numbers, and on essentially nothing else about the stars. So a century of eclipse timings on a close binary, giving an apsidal period, is a measurement of stellar central condensation — one of very few there are.

The apsidal period against k₂, with the relativistic floor at 15419 years. A close binary's orbit does not close: the two stars are not points, each raises a tide on the other, and the quadrupole that results turns the line of apsides. How fast is set by the stars' Love numbers and by nothing else about them, which makes the rate one of the very few direct measurements of stellar interior structure — a century of eclipse timings, and a number about the run of density inside a star nobody can see into. The horizontal axis here is k₂ and the vertical axis is the resulting apsidal period, both logarithmic, for a pair with the parameters listed. Two curves are drawn because two effects contribute. The dashed one is the classical tidal term alone, which goes as the fifth power of the ratio of radius to separation and so is brutally sensitive to the orbit: the same stars twice as far apart turn thirty-two times more slowly. The solid one adds the general-relativistic advance, which depends on the masses and the separation and knows nothing whatever about the interiors. That second term is a floor — the horizontal line at 15419 years — and it is why the measurement is harder than it looks: for this system relativity supplies 81 per cent of the drawn rate, and it has to be subtracted, exactly, before the remainder can be read as an interior. Systems where that subtraction was done wrong supplied one of the longest-standing anomalies in binary-star work. The figure holds both stars non-rotating; rapid rotation adds a third term of the same order, with the opposite sign of the argument.
Fig. 5 The apsidal period against k₂ for a well-studied eccentric eclipsing pair. The dashed curve is the classical tidal term alone; the solid one adds the general-relativistic advance, which depends on the masses and separation and knows nothing about the interiors. That relativistic term is a floor, drawn as the horizontal line, and it has to be subtracted exactly before the remainder can be read as structure. For this system it supplies four-fifths of the drawn rate.

Two things make this harder than it looks. The first is the subtraction just described: the same forty-three arcseconds a century that broke Newtonian gravity at Mercury is, in a close binary, a large fraction of the whole signal, and getting it wrong contaminates the interior directly. There is a famous case in which the measured apsidal motion came out several times slower than theory allowed, and the discrepancy was attributed in turn to relativity, to the stars’ internal structure, and finally — correctly — to their spin axes being tilted out of the orbital plane, which adds a third term nobody had allowed for.

The second is that the rate carries the fifth power of R/aR/a, so a ten per cent error in a stellar radius is a sixty per cent error in the predicted rate. Radii from eclipsing light curves are the best there are, and they are still the limiting uncertainty.

The imaginary part, which is heat

Everything above treats the response as instantaneous. It is not: a real body takes time to deform, so its bulge lags the forcing, and the lag is where all of tidal dissipation lives. Formally the Love number becomes complex, and the imaginary part is what is usually written k2/Qk_2/Q.

Dissipation against viscosity for Io: a peak at 10^13.5 Pa s, and two solutions at the observed rate. The imaginary part of the Love number — the part that turns tidal work into heat — against the viscosity of the body's interior, for a Maxwell rheology at Io's size, density and forcing period. Both axes are logarithmic and the curve is not monotonic, which is the whole content of the figure. At high viscosity the body is elastic: it stores the energy the tide puts in and gives it back, and dissipates nothing. At low viscosity it is fluid: it deforms all the way and does so in phase with the forcing, and dissipates nothing again. Everything happens in between, at viscosities for which the Maxwell time — viscosity divided by rigidity — is comparable to the orbital period, and the peak here is 0.735 at 10^13.5 pascal seconds. Two consequences follow, and they pull in opposite directions. The peak is an upper limit: a homogeneous body of this size cannot dissipate more than that however its viscosity is chosen, so a measured heat flow above it would refute the model rather than constrain it. And below the peak the observed value is met twice — at 10^11.5 and at 10^15.5 pascal seconds — so a heat flow alone does not say which side of the peak the interior is on. Breaking that degeneracy needs a second observable, and the usual one is the phase of the response rather than its size. The picture treats the body as one homogeneous Maxwell solid, which is certainly wrong for a moon with a molten layer; a partial melt concentrates the dissipation and shifts the peak.
Fig. 6 The dissipative part for Io, against the viscosity of its interior, for a Maxwell rheology. The curve is not monotonic and could not be: a very stiff body stores the tidal energy and gives it back, a very fluid one deforms in phase, and neither dissipates. Everything happens in between, peaking where the Maxwell time is comparable to the orbital period. Two consequences follow — the peak is an upper limit on how much heat a homogeneous body of this size can produce, and below the peak the observed value is met at two different viscosities, so a heat flow alone does not say which side of it the interior is on.

That figure belongs to a separate argument about Io’s mantle and is quoted here only to make the point that k2k_2 has a phase as well as a magnitude, and that the two say different things. The magnitude is about how the mass is arranged; the phase is about what the material does under stress. A body can have a large k2k_2 and dissipate nothing, and the Moon’s tidal recession depends on the second while the Roche limit depends on the first.

What has actually been measured, and how

Four kinds of observation give a Love number, and it is worth separating them because their failure modes are unrelated.

Satellite ranging. The solid Earth’s tidal bulge changes the gravity field a satellite orbits in, and tracking the satellite for years recovers the periodic term. This is the most precise k2k_2 anywhere, at a few parts in a thousand.

Spacecraft gravity science. A flyby’s Doppler residual carries the target’s quadrupole, and repeating the flyby at different points of the target’s eccentric orbit separates the part that varies — which is the tidal response. This is how Titan’s was obtained, and the measurement chain is a subject of its own.

Apsidal motion. Described above; the only method that works on stars.

Transit timing and shape. A close-in giant planet raises a tide on itself, becoming slightly ellipsoidal, which changes its transit shape at the level of parts in 10510^{5} — and its apsidal motion, which is measurable as a drift in transit timing over a decade. A handful of hot Jupiters now have k2k_2 measured this way, and the values imply cores of a few tens of Earth masses.

The four disagree about what is easy. Ranging needs a satellite and a laser and gives the best number anywhere for the one body already best measured. Gravity science needs a spacecraft at another planet and several encounters, and returns a number whose formal precision is far better than its real one, because the tidal term is correlated with everything else in the fit. Apsidal motion needs a century, and is the only one of the four that reaches a star. Transit shape needs photometry at parts in a hundred thousand and reaches objects nobody will visit. What they share is the structure of the inference: in every case the quantity measured is a small periodic term riding on a much larger signal, and the whole difficulty is separating it from the things it is degenerate with.

The moment-of-inertia factor against core size, for five density contrasts. What a moment of inertia can say. The vertical axis is C/MR², the polar moment divided by what a hoop of the same mass and radius would have, and for a uniform sphere it is exactly 2/5 — the value both ends of every curve return to, because a body with no core and a body that is entirely core are both uniform. In between, the ratio dips: a moment weights mass by the square of its distance from the axis, so moving density inward lowers it, and the deeper the dip the more differentiated the body. The five curves are five core-to-mantle density ratios, and the minimum moves down and inward as that ratio grows — a denser core reaches its greatest effect at a smaller radius, because beyond that the core is so much of the body that the whole thing looks uniform again — 1.5 gives 0.370 at 75 per cent of the radius, 2 gives 0.348 at 72 per cent of the radius, 3 gives 0.317 at 69 per cent of the radius, 5 gives 0.279 at 65 per cent of the radius, 10 gives 0.231 at 59 per cent of the radius. Two things the figure makes visible are worth more than the numbers. The relation is not invertible: one measured factor is met by two core sizes on each curve and by a whole family of curves, so a moment of inertia alone never gives a core radius — it gives a constraint that a second measurement has to be combined with. And the whole diagram lives between 0.4 and about 0.15, which is a narrow range for so much physics; distinguishing a large core from a small one means measuring C/MR² to a per cent or two, and every technique for doing so is a way of watching the body turn.
Fig. 7 The other number that reports on the same thing, and does not report the same thing. The moment-of-inertia factor also falls as mass is concentrated inward, so it and k₂ are correlated — but they weight the interior differently, C/MR² by the square of the distance from the axis and k₂ by the response to a quadrupole. Measuring both is worth much more than measuring either twice, which is why the argument about what has sunk where uses the pair.

Both of those extensions leave the definition untouched, which is the reason a quantity introduced for the Earth’s tides transfers to them at all.

What the number cannot say

A single k2k_2 is one number about a whole interior, and it is worth being clear about the size of that constraint.

It cannot give a core radius. The same k2k_2 is produced by a small dense core with a stiff mantle and by a larger less dense one with a softer mantle, in the same way that one bulk density is produced by many compositions. What it gives is a single integral of the interior against a known weighting, and inverting a single integral for a function is not a well-posed problem.

It cannot separate structure from strength on a small body, because the two enter the same denominator. A moon with an unexpectedly large k2k_2 might have a liquid layer or might be made of something far weaker than assumed, and only the size of the discrepancy decides — which is why the Titan argument above turns on a factor of thirty rather than a factor of two.

And it is defined by a linear response, so it stops meaning anything when the deformation stops being small. Close to the distance at which a body comes apart, the induced quadrupole is no longer proportional to the forcing, higher harmonics matter, and the whole framework has to be replaced by a full calculation of the equilibrium shape. Two extensions of the same quantity are worth separating before the ladder, and only one of them is about small bodies.

The same number at nuclear density

The strong-field version mentioned above deserves its own section, because it is the one place the quantity is being used to answer a question no other measurement can reach.

Two neutron stars spiralling together deform each other, exactly as any two bodies do, and the deformation grows steeply as the separation shrinks. A deformed star carries a quadrupole, and a quadrupole changes the orbital dynamics — so the rate at which the orbit sweeps through the last few hundred cycles differs from what two point masses would give.

The difference appears in the phase of the emitted signal. It is small, it accumulates, and it enters at a high order in the expansion, which means it becomes visible only in the last part of the inspiral where the separation is a few stellar radii. What is measured is a combination usually written as a dimensionless tidal deformability, and it is the same Love number scaled by the fifth power of the ratio of the star’s radius to its mass in geometrical units.

The interest is entirely in what that constrains. A neutron star’s radius is set by how stiff matter is above nuclear density, which is a question about the strong interaction that no terrestrial experiment reaches — laboratories can produce that density fleetingly and not in equilibrium. A stiff equation of state gives a larger star at fixed mass, and a larger star deforms more, so the tidal deformability is a direct readout of the stiffness.

The first measurement came from the neutron-star merger detected in 2017, and it was an upper limit rather than a determination: the signal was consistent with no tidal effect and inconsistent with the largest deformabilities, which excluded the stiffest equations of state and implied a radius below about thirteen and a half kilometres for a star of 1.4 solar masses.

That is a modest constraint by the standards of a laboratory measurement and a remarkable one by any other standard. The same quantity, defined by the same ratio of an induced quadrupole to an imposed one, is measured at one gram per cubic centimetre on a moon of Saturn and at 101510^{15} on an object nobody will ever visit — and the two measurements are made by watching a radio signal in one case and a strain in a laser interferometer in the other.

One more body extends the comparison to the most dissipative object in the solar system.

The Love number a solid Io could have, across four decades of rigidity. The tidal Love number of a small solid body, against the rigidity of the material it is made of, both axes logarithmic. For a homogeneous elastic sphere k₂ = (3/2)/(1 + 19μ/2ρgR), and the group in the denominator is the ratio of the material's strength to the pressure its own weight can generate. That ratio decides everything. A body has to be large before its own gravity can overwhelm the strength of rock or ice, so for a moon the denominator is in the hundreds and k₂ collapses: a solid Io at its interior's own rigidity of 60 gigapascals would have k₂ = 0.0298, drawn where the heavy curve crosses that rigidity. The fainter curves are the same relation for other bodies, and they are ordered by size — the Earth sits far above the moons because ρgR is a hundred times larger. Nothing is marked as measured here because this body's interior is read from a different observable — heat flow rather than gravity — and the point of drawing it is the size of the number a solid model predicts. The picture assumes homogeneity throughout, which no icy moon has; a layered body is stiffer or softer than this by a factor of a few, and never by the factor of a hundred the argument turns on.
Fig. 8 The Love number against rigidity for Io. Its measured response requires a rigidity far below solid rock, which is the tidal-heating result arrived at from the deformation rather than from the heat flow — two independent measurements of the same interior, agreeing.

Where the ladder goes

The obvious next rungs are the two halves of the complex number. The magnitude leads to layered interiors: what an ocean’s depth and a shell’s thickness do to k2k_2, and why an ice shell floating free responds differently from one frozen to the seafloor. The phase leads to rheology, dissipation and the histories of orbits, which is where tidal heating and orbital evolution meet.

There is also a strong-field version. A neutron star in a binary is deformed by its companion in the last seconds before merger, and the deformation changes the gravitational waveform’s phase in a way that is measurable — so the same quantity, defined the same way, is now measured for objects at nuclear density by detectors that watch two stars spiral together. The number that told Cassini there was water under Titan tells a gravitational-wave observatory what happens to matter above nuclear density, which is not a connection anybody designed.

What this makes readable

Essays that name this one as a prerequisite.

About the same objects

Not linked from either essay — found by the objects both name.

What links here

The 8 of 11 essays linking to this one that name the most of the same objects.

The objects this essay names

Each one links to every other essay that touches it.

Apsidal motion constantApsidal precessionCentral condensationEquipotentialLove numberPolytropeQuadrupoleRadau darwin relationRigidityTidal dissipationTidal force