## Gauss's law in differential forms

Hi,

I'm seeing that many authors like Griffiths and Halliday/Resnick (I've not seen Jackson and Landau/Lif****z) are deriving the differential form of Gauss's law from the integral form (which is easily proven) by using the divergence theorem to convert both sides to volume integrals and then claiming that the integrands must be equal as the integrals are equal over all volumes.

But this argument is flawed. I can change the value of any one integrand over any set of measure zero (such as a countable number of planes) without disturbing the equality of the integrals. The integrands will no more be equal, but the integrals will still be equal, over all volumes.

The derivation by directly calculating the divergence from Coulomb's law also seems dubious. It hinges on writing the derivative of a function that is clearly not continuous, let alone smooth, using Dirac functions (which are of course not functions at all).

How can the differential form be derived rigorously from Coulomb's law/integral form?

Molu

 PhysOrg.com science news on PhysOrg.com >> 'Whodunnit' of Irish potato famine solved>> The mammoth's lament: Study shows how cosmic impact sparked devastating climate change>> Curiosity Mars rover drills second rock target

Recognitions:
Gold Member
Homework Help
 Quote by loom91 But this argument is flawed. I can change the value of any one integrand over any set of measure zero (such as a countable number of planes) without disturbing the equality of the integrals. The integrands will no more be equal, but the integrals will still be equal, over all volumes.
What Griffiths and all says is that, since the integrals are equal for any arbitrary closed surface, the integrands have to be equal for every point in space. I don't see how this argument is flawed?

 Quote by siddharth What Griffiths and all says is that, since the integrals are equal for any arbitrary closed surface, the integrands have to be equal for every point in space. I don't see how this argument is flawed?
Firstly, they are equating volume integrals, not surface ones.

Secondly, I said why the argument was flawed in my previous post. Equality of n-dimensional integrals, even over all possible n-surfaces, does not rule out pointwise inequality over a set of measure zero (n-1-surfaces, for example).

Molu

Recognitions:
Gold Member
Homework Help

## Gauss's law in differential forms

 Quote by loom91 Firstly, they are equating volume integrals, not surface ones.
Yes, and the volume is bounded by a closed surface.

 Secondly, I said why the argument was flawed in my previous post. Equality of n-dimensional integrals, even over all possible n-surfaces, does not rule out pointwise inequality over a set of measure zero (n-1-surfaces, for example). Molu
I don't understand what you're trying to say. Maybe someone with more expertise in math can take a look?

 Recognitions: Homework Help Science Advisor Two CONTINUOUS functions that are equal almost everywhere are in fact equal everywhere.

 Quote by Dick Two CONTINUOUS functions that are equal almost everywhere are in fact equal everywhere.
That seems reasonable. But is the electric field required to be continuous? That doesn't seem to a commonly applied boundary condition. In fact, in classical electrodynamics, electric fields are assumed to be discontinuous at the surface of perfect conductors in electrostatic equilibrium.

Thanks.

Molu

 Recognitions: Homework Help Science Advisor A discontinuity in the electric field can only come from a singularity in the charge distribution. In your perfect conductor example there is a Dirac delta function like sheet of surface charge. In reality its not singular, just very concentrated, but it's a useful approximation.

 Quote by Dick A discontinuity in the electric field can only come from a singularity in the charge distribution. In your perfect conductor example there is a Dirac delta function like sheet of surface charge. In reality its not singular, just very concentrated, but it's a useful approximation.
But that means the continuity is not a necessary boundary condition. Then it can not be used to validate the derivation.

Molu

 Recognitions: Homework Help Science Advisor If you insist on complete rigor, the way to deal with a delta function is to represent it as a limit of continuous functions (representatives of delta functions). So a delta function can be represented arbitrarily well by a continuous function. As I said, a delta function is a nonphysical (but useful) idealization. Indeed when Heaviside invented the operational calculus it was attacked as being nonrigorous. But they can be dealt with rigorously as distributions.
 Recognitions: Gold Member Science Advisor Staff Emeritus You mean, of course, as a limit of the operators those continuous functions represent.

Recognitions:
Homework Help
 Quote by Hurkyl You mean, of course, as a limit of the operators those continuous functions represent.
Isn't that what I said? Maybe not. Meant to say it though.

 So, can you show/point out to me a mathematically valid derivation of the differential form of the Gauss' law? While I like physics far more than mathematics, I also like the mathematics in my physics to be real mathematics, instead of the watered-down hand-waving version used by most physicists. Thanks! Molu
 Anyone to help?
 Recognitions: Gold Member Science Advisor Staff Emeritus Before one can rigorously prove Gauss's law, one must precisely state Gauss's law. The proof you reject is a perfectly good proof of one statement of (the differential form of) Gauss's law. Explicitly state what you want to see proved, if that was not it.
 Recognitions: Homework Help Science Advisor At this point you don't seem to have any problem with continuous charge distributions. To extend to delta function type charge distributions just do what everyone else does and consider them as limits of continuous distributions.

 Quote by Hurkyl Before one can rigorously prove Gauss's law, one must precisely state Gauss's law. The proof you reject is a perfectly good proof of one statement of (the differential form of) Gauss's law. Explicitly state what you want to see proved, if that was not it.
I fail to see how it can be
 a perfectly good proof
when it depends on mathematically invalid steps such as differentiating functions that are not differentiable and claiming equality of integrals implies equality of integrands. I do not believe any competent mathematician would consider these to be valid steps in a proof without further justification. I'm not rejecting anything, just looking for an explanation that makes sense.

Molu

Recognitions:
Gold Member