We will write our charge distribution as a function and our current distribution as a vector-valued function , though these are not always “functions” in the usual sense. Often they will be “distributions” like the Dirac delta; we haven’t really gotten into their formal properties, but this shouldn’t cause us too much trouble since most of the time we’ll use them — like we’ve used the delta — to restrict integrals to smaller spaces.
Anyway, charge and current are “conserved”, in that they obey the conservation law:
which states that the mount of current “flowing out of a point” is the rate at which the charge at that point is decreasing. This is justified by experiment.
and we get the whole electric field by integrating this over the charge distribution. This, again, is justified by experiment.
The Biot-Savart law says that electric currents give rise to a magnetic field. Given the current distribution we have the differential contribution to the magnetic field at the poinf :
which again we integrate over the current distribution to calculate the full magnetic field at . This, again, is justified by experiment.
The electric and magnetic fields give rise to a force by the Lorentz force law. If a test particle of charge is moving at velocity through electric and magnetic fields and , it feels a force of
But we don’t work explicitly with force as much as we do with the fields. We do have an analogue for work, though — electromotive force:
One unexpected source of electromotive force comes from our fourth and final experimentally-justified axiom: Faraday’s law of induction
This says that the electromotive force around a circuit is equal to the rate of change of magnetic flux through any surface bounded by the circuit.
Using these four experimental results and definitions, we can derive Maxwell’s equations:
When we worked out Ampères law in the case of magnetostatics, we used a certain identity:
which we often write as
That is, the rate at which the charge at a point is increasing is the negative of the divergence of the current at that point, which measures how much current is “flowing out” from that point. This may be clearer if we integrate this equation over some macroscopic region :
The rate of change of the total amount of the charge within is equal to the amount of current flowing inwards across the boundary of , so this flow of current is the only way that the charge in a region can change. This is another physical law, borne out by experiment, and we take it as another axiom.
But we might note something interesting if we couple this with Gauss’ law:
Or, to put it slightly differently:
Recall that in deriving Ampère’s law we had to assume that was divergence-free; when things are not static, the above equation shows that the composite quantity
is always divergence-free. The derivative term isn’t associated with any electric charge moving around, and yet it still behaves like a current for all intents and purposes. We call it the “displacement current”, and we add it into Ampère’s law to see how things work without the magnetostatic assumption:
This additional term is known as Maxwell’s correction to Ampère’s law.