Gauss's law for gravity


In physics, Gauss's law for gravity, also known as Gauss's flux theorem for gravity, is a law of physics that is equivalent to Newton's law of universal gravitation. It is named after Carl Friedrich Gauss. Gauss's law for gravity is often more convenient to work from than is Newton's law.
The form of Gauss's law for gravity is mathematically similar to Gauss's law for electrostatics, one of Maxwell's equations. Gauss's law for gravity has the same mathematical relation to Newton's law that Gauss's law for electrostatics bears to Coulomb's law. This is because both Newton's law and Coulomb's law describe inverse-square interaction in a 3-dimensional space.

Qualitative statement of the law

The gravitational field g is a vector field – a vector at each point of space. It is defined so that the gravitational force experienced by a particle is equal to the mass of the particle multiplied by the gravitational field at that point.
Gravitational flux is a surface integral of the gravitational field over a closed surface, analogous to how magnetic flux is a surface integral of the magnetic field.
Gauss's law for gravity states:

Integral form

The integral form of Gauss's law for gravity states:
where
The left-hand side of this equation is called the flux of the gravitational field. Note that according to the law it is always negative, and never positive. This can be contrasted with Gauss's law for electricity, where the flux can be either positive or negative. The difference is because charge can be either positive or negative, while mass can only be positive.

Differential form

The differential form of Gauss's law for gravity states
where denotes divergence, G is the universal gravitational constant, and ρ is the mass density at each point.

Relation to the integral form

The two forms of Gauss's law for gravity are mathematically equivalent. The divergence theorem states:
where V is a closed region bounded by a simple closed oriented surface ∂V and dV is an infinitesimal piece of the volume V. The gravitational field g must be a continuously differentiable vector field defined on a neighborhood of V.
Given also that
we can apply the divergence theorem to the integral form of Gauss's law for gravity, which becomes:
which can be rewritten:
This has to hold simultaneously for every possible volume V; the only way this can happen is if the integrands are equal. Hence we arrive at
which is the differential form of Gauss's law for gravity.
It is possible to derive the integral form from the differential form using the reverse of this method.
Although the two forms are equivalent, one or the other might be more convenient to use in a particular computation.

Relation to Newton's law

Deriving Gauss's law from Newton's law

Gauss's law for gravity can be derived from Newton's law of universal gravitation, which states that the gravitational field due to a point mass is:
where
A proof using vector calculus is shown in the box below. It is mathematically identical to the proof of Gauss's law starting from Coulomb's law.
If we take the divergence of both sides of this equation with respect to r, and use the known theorem
where δ is the Dirac delta function, the result is
Using the "sifting property" of the Dirac delta function, we arrive at
which is the differential form of Gauss's law for gravity, as desired.

Deriving Newton's law from Gauss's law and irrotationality

It is impossible to mathematically prove Newton's law from Gauss's law alone, because Gauss's law specifies the divergence of g but does not contain any information regarding the curl of g. In addition to Gauss's law, the assumption is used that g is irrotational, as gravity is a conservative force:
Even these are not enough: Boundary conditions on g are also necessary to prove Newton's law, such as the assumption that the field is zero infinitely far from a mass.
The proof of Newton's law from these assumptions is as follows:
Apply this law to the situation where the volume V is a sphere of radius r centered on a point-mass M. It's reasonable to expect the gravitational field from a point mass to be spherically symmetric. By making this assumption, g takes the following form:
. Plugging this in, and using the fact that ∂V is a spherical surface with constant r and area,
which is Newton's law.

Poisson's equation and gravitational potential

Since the gravitational field has zero curl as mentioned above, it can be written as the gradient of a scalar potential, called the gravitational potential:
Then the differential form of Gauss's law for gravity becomes Poisson's equation:
This provides an alternate means of calculating the gravitational potential and gravitational field. Although computing g via Poisson's equation is mathematically equivalent to computing g directly from Gauss's law, one or the other approach may be an easier computation in a given situation.
In radially symmetric systems, the gravitational potential is a function of only one variable, and Poisson's equation becomes :
while the gravitational field is:
When solving the equation it should be taken into account that in the case of finite densities ∂ϕ/∂r has to be continuous at boundaries, and zero for.

Applications

Gauss's law can be used to easily derive the gravitational field in certain cases where a direct application of Newton's law would be more difficult. See the article Gaussian surface for more details on how these derivations are done. Three such applications are as follows:

Bouguer plate

We can conclude that for an infinite, flat plate of any finite thickness, the gravitational field outside the plate is perpendicular to the plate, towards it, with magnitude 2πG times the mass per unit area, independent of the distance to the plate.
More generally, for a mass distribution with the density depending on one Cartesian coordinate z only, gravity for any z is 2πG times the difference in mass per unit area on either side of this z value.
In particular, a parallel combination of two parallel infinite plates of equal mass per unit area produces no gravitational field between them.

Cylindrically symmetric mass distribution

In the case of an infinite uniform cylindrically symmetric mass distribution we can conclude that the field strength at a distance r from the center is inward with a magnitude of 2G/r times the total mass per unit length at a smaller distance, regardless of any masses at a larger distance.
For example, inside an infinite uniform hollow cylinder, the field is zero.

Spherically symmetric mass distribution

In the case of a spherically symmetric mass distribution we can conclude that the field strength at a distance r from the center is inward with a magnitude of G/r2 times only the total mass within a smaller distance than r. All the mass at a greater distance than r from the center has no resultant effect.
For example, a hollow sphere does not produce any net gravity inside. The gravitational field inside is the same as if the hollow sphere were not there.
Although this follows in one or two lines of algebra from Gauss's law for gravity, it took Isaac Newton several pages of cumbersome calculus to derive it directly using his law of gravity; see the article shell theorem for this direct derivation.

Derivation from Lagrangian

The Lagrangian density for Newtonian gravity is
Applying Hamilton's principle to this Lagrangian, the result is Gauss's law for gravity:
See Lagrangian for details.