For any closed surface enclosing a region , Gauss's law for gravity states that the outward flux of the gravitational field is
Here is the gravitational constant and is the enclosed mass; the negative sign expresses attractive gravity.
Use the gravitational potential sign conventions specified by this paper: . Thus is the negative of the usual Newtonian gravitational potential defined by . For example, setting the value at infinity to zero gives for a point mass. The divergence theorem now gives
Since is arbitrary, continuity of the integrands implies the local Poisson's equation
Conversely, integrating this Poisson's equation over any and applying the divergence theorem recovers Gauss's law for gravity. At a discontinuity of the mass density, the local equation is interpreted piecewise, or globally in the sense of distributions.
The core contributes no change in , since there. Integrating the radial gravitational field across the shell, with , gives
Using the supplied antiderivative,
Hence
The negative sign agrees with in the material shell under the paper's gravitational potential sign conventions.
The mass density depends only on , so it has spherical symmetry. For this isolated planet, choose the Newtonian gravitational potential to vanish at infinity, or equivalently choose to do so. There is no imposed external gravitational field. Rotating the mass distribution therefore leaves unchanged: .
The gradient in spherical coordinates consequently has no angular components, and the paper's gravitational potential sign conventions give
At the centre there is no distinguished radial direction, and spherical symmetry makes .