and we replace our point charge with a charge distribution over some region of . This may be concentrated on some surfaces, or on curves, or at points, or even some combination of the these; it doesn’t matter. What does matter is that we can write the amount contributed to the electric field at by the charge a point as
So to get the whole electric field, we integrate over all of space!
Now we want to take the divergence of each side with respect to . On the right we can pull the divergence inside the integral, since the integral is over rather than . But we’ve still got a hangup.
Let’s consider this divergence:
Away from this is pretty straightforward to calculate. In fact, you can do it by hand with partial derivatives, but I know a sneakier way to see it.
If you remember our nontrivial homology classes, this is closely related to the one we built on — the case where . In that case we got a -form, not a vector field, but remember that we’re working in our standard with the standard metric, which lets us use the Hodge star to flip a -form into a -form, and a -form into a vector field! The result is exactly the field we’re taking the divergence of; and luckily enough the divergence of this vector field is exactly what corresponds to the exterior derivative on the -form, which we spent so much time proving was zero in the first place!
So this divergence is automatically zero for any , while at zero it’s not really well-defined. Still, in the best tradition of physicists we’ll fail the math and calculate anyway; what if it was well-defined, enough to take the integral inside the unit sphere at least? Then the divergence theorem tells us that the integral of the divergence through the ball is the same as the integral of the vector field itself through the surface of the sphere:
since the field is just the unit radial vector field on the sphere, which integrates to give the surface area of the sphere: . Remember that the fact that this is not zero is exactly why we said the -form cannot be exact.
So what we’re saying is that this divergence doesn’t really work in the way we usually think of it, but we can pretend it’s something that integrates to give us whenever our region of integration contains the point . We’ll call this something , where the is known as the “Dirac delta-function”, despite not actually being a function. Incidentally, it’s actually very closely related to the Kronecker delta
So anyway, that means we can calculate
This integrand is zero wherever , so the only point that can contribute at all is . We may as well consider it a constant and pull it outside the integral:
where we have integrated away the delta function to get . Notice how this is like we usually use the Kronecker delta to sum over one variable and only get a nonzero term where it equals the set value of the other variable.
The result is known as Gauss’ law:
and, incidentally, shows why we wrote the proportionality constant the way we did when defining Coulomb’s law. The meaning is that the divergence of the electric field at a point is proportional to the amount of charge distributed at that point, and the constant of proportionality is exactly .
If we integrate both sides over some region we can rewrite the law in “integral form”:
That is: the outward flow of the electric field through a closed surface is equal to the integral of the charge contained within the surface. The second step here is, of course, the divergence theorem, but this is such a popular application that people often call this “Gauss’ theorem”. Of course, there are two very different statements here: one is the physical identification of electrical divergence with charge distribution, and the other is the geometric special case of Stokes’ theorem. Properly speaking, only the first is named for Gauss.