The shell-field generator
Gravitational field strength against distance from the centre of a uniform sphere, in units of the surface value. Inside, only the enclosed mass counts and the field rises linearly; outside, it falls as the inverse square of the distance from the centre.
5 essays call
shell-field. 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.
A sphere pulls exactly like a point, and the proof is a pair of cones
Every orbit ever computed treats the Sun as a dot. That is not an approximation — for a spherical body it is exact, and the reason is a cancellation between two patches of a shell.
The tunnel that takes the same time from anywhere
Inside a uniform sphere the field grows in proportion to the distance from the centre, which is Hooke's law. A body dropped down any straight tunnel arrives in the same time — and that time is the period of an orbit skimming the surface.
Inside a ring the pull points outward
A hollow sphere exerts no force on anything inside it, and the proof is a pair of cones whose areas grow exactly as fast as gravity weakens. Cut the sphere down to a ring and the arcs grow only as the distance, the nearer side wins, and a planet set in the middle of a rigid ring falls into it within a handful of orbits — which is why Saturn's rings cannot be solid, and why a flat galaxy spins faster than its own enclosed mass allows.
The shell can be flattened if it thins at the poles
A spherical shell exerts no force anywhere inside it, and a ring exerts a force that points outward. Between them lies a shape Newton found that keeps the sphere's empty interior however far it is flattened: the homoeoid, a shell bounded by two similar ellipsoids, thick at the equator and thin at the poles in exactly the right proportion. It is why the gravity inside any flattened body can be computed at all — and why the planes of stellar streams measure the shapes of dark haloes.
A shell outside the stream turns nothing
A flattened halo turns the plane of every orbit inside it, and a stream of stars several orbits long records how far. But the turning is set only by the halo inside the orbit — a flattened shell enclosing it exerts no force on it at all — and within that, mostly by the shells just inside. So a stream measures a running average of the halo's shape out to its own radius, a halo round inside and flattened outside looks round to every stream in its core, and reading the shape of each layer back out of the streams costs more precision the further out the layer lies.