We pick any region we want and integrate both sides of each equation over that region:

On the left-hand sides we can use the divergence theorem, while the right sides can simply be evaluated:

where is the total charge contained within the region . Gauss’ law tells us that the flux of the electric field out through a closed surface is (basically) equal to the charge contained inside the surface, while Gauss’ law for magnetism tells us that there is no such thing as a magnetic charge.

Faraday’s law was basically given to us in integral form, but we can get it back from the differential form:

We pick any surface and integrate the flux of both sides through it:

On the left we can use Stokes’ theorem, while on the right we can pull the derivative outside the integral:

where is the flux of the magnetic field through the surface . Faraday’s law tells us that a changing magnetic field induces a current around a circuit.

A similar analysis helps with Ampère’s law:

We pick a surface and integrate:

Then we simplify each side.

where is the flux of the electric field through the surface , and is the total current flowing through the surface . Ampère’s law tells us that a flowing current induces a magnetic field around the current, and Maxwell’s correction tells us that a changing electric field behaves just like a current made of moving charges.

We collect these together into the integral form of Maxwell’s equations:

Okay, let’s see where we are. There is such a thing as charge, and there is such a thing as current, which often — but not always — arises from charges moving around.

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.

Coulomb’s law says that electric charges give rise to an electric field. Given the charge distribution we have the differential contribution to the electric field at the point :

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.

where is some closed surface whose interior contains the support of the whole current distribution . But then the integrand is constantly zero on this surface, so the term is zero.

For the other term (and for the moment, no pun intended) we’ll assume that the whole system is in a steady state, so nothing changes with time. The divergence of the current distribution at a point — the amount of charge “moving away from” the point — is the rate at which the charge at that point is decreasing. That is,

But our steady-state assumption says that charge shouldn’t be changing, and thus this term will be taken as zero.

So we’re left with:

But this is great. We know that the gradient of is , and we also know that the divergence of this function is (basically) the “Dirac delta function”. That is:

So in our case we have

This is Ampère’s law, at least in the case of magnetostatics, where nothing changes in time.

Okay, so let’s say we have a closed circuit composed of a simple loop of wire following a closed path . There’s no battery or anything that might normally induce an electromotive force around the circuit by chemical or other means. And, as we saw when discussing Gauss’ law, Coulomb’s law gives rise to an electric field that looks like

So this electric field is conservative, and so its integral around the closed circuit is automatically zero. Thus there is no electromotive force around the circuit, and no current flows.

And yet, that’s not actually what we see. Specifically, if we wave a magnet around near such a circuit, a current will indeed flow! Indeed, this is exactly how the simplest electric generators and motors work.

To put some quantitative meat on these qualitative observational bones, we have Faraday’s law of induction. This says that the electromotive force around a circuit is equal to the rate of change of the magnetic flux through any surface bounded by that circuit. What? maybe a formula will help:

where is any surface with . Why can we pick any such surface? Because if is another one then:

We can calculate the boundary of this combined surface:

Since our space is contractible, this means that our surface is itself the boundary of some region .

But Gauss’ law for magnetism tells us that this is automatically zero. That is, every surface has the same flux, and so it doesn’t matter which one we use in Faraday’s law.

Now, we can couple this with our original definition of electromotive force:

But this works no matter what surface we consider, so we come up with the differential form of Faraday’s law:

When we think of electricity, we don’t usually think of charged particles pushing and pulling on each other, mediated by vector fields. Usually we think of electrons flowing along wires. But what makes them flow?

The answer is summed up in something that is named — very confusingly — “electromotive force”. The word “force” is just a word here, so try to keep from thinking of it as a force. In fact, it’s more analogous to work, in the same way the electric field is analogous to force.

We calculate the work done by a force in moving a particle along a path is given by the line integral

If is conservative, this amounts to the difference in “potential energy” between the start and end of the path. We often interpret a work integral as an energy difference even in a more general setting. Colloquially, we sometimes say that particles “want to move” from high-energy states to low-energy ones.

Similarly, we define the electromotive force along a path to be the line integral

If the electric field is conservative — the gradient of some potential function — then the electromotive force over a path is the difference between the potential at the end and at the start of the path. But, we may ask, why the negative sign? Well, it’s conventional, but I like to think of it in terms of electrons, which have negative charge; given electric field “pushes” an electron in the opposite direction, thus we should take the negative to point the other way.

In any event, just like the electric field measures force per unit of charge, electromotive force measures work per unit of charge, and is measured in units of energy per unit of charge. In the SI system, there is is a unit called a volt — with symbol — which is given by

And often electromotive force is called “voltage”. For example, a battery — through chemical processes — induces a certain difference in the electric potential between its two terminals. In a nine-volt battery this difference is, predictably enough, , and the same difference is induced along the path of a wire leading from one terminal, through some electric appliance, and back to the other terminal. Just like the potential energy difference “pushes” particles along from high-energy states to low-energy ones, so the voltage difference “pushes” charged particles along the wire.

Let’s repeat what we did to come up with Gauss law, but this time on the magnetic field.

As a first step, though, I want to finally get a good definition of “current density”: it’s a vector field that consists of a charge density and a velocity vector , each of which is a function of space. In our example of an infinite line current, this density was concentrated along the -axis, where the velocity was vertical. But it could exist along a surface, or throughout space; a single particle of charge moving with velocity is a current density concentrated at a single point.

Anyway, so the Biot-Savart law says that the differential contribution to the magnetic field at a point from the current density at point is

So, as for the electric field, we want to integrate over :

Last time we spent a while noting that the fraction here is secretly a closed -form in disguise, so its divergence is zero. This time, I say it’s actually a conservative vector field:

Indeed, this is pretty straightforward to check by rote calculation of derivatives, and I’d rather not get into it. The upshot is we can write:

where the extra term on the second line is automatically zero because the curl is in terms of and the current density depends only on . I write it in this form because now it looks like the other end of a product rule:

for a function and a -form . If we flip over to a vector field this looks like

Okay, so now we see that is the curl of some vector field, and so the divergence of a curl is automatically zero:

Coupling this with the divergence theorem like last time, we conclude that there is no magnetic equivalent of “charge”, or else the outward flow of through a closed surface would be the integral on the inside of such a charge. But instead we find

Rather than do any more messy integrals for special cases we will move to a more advanced fact about the electric field. We start with Coulomb’s law:

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.

Let’s work out a couple more examples that may come in handy in the future, if only to get the practice. We’ll start with a “charged ring” which is a charge distribution on a circle. Specifically, we may as well consider the circle of radius in the – plane: . If the charge density is , then the total charge is .

First of all, symmetry tells us that we may as well just consider the points of the form for , and we will first specialize to the points . Along this line, the field generated by a little piece of charge on one side of the circle points across to the other side of the circle and out further along the axis; the piece on the other side cancels the horizontal contribution, but adds to the outward push. This outward direction along the axis is all that we need to calculate in this case.

The Coulomb law tells us that the differential element of charge at is . The displacement vector is , and its length is . And so the integral is

So there’s some extra push near the origin, but when gets much bigger than , this is effectively the Coulomb law again for a point source with charge $latex — the total charge on the ring.

Pushing off of the center line is a bit rougher. The differential element of charge is the same, of course, but now the displacement vector is . Its magnitude is , leading to the integral

This is, not to put too fine a point on it, really ugly, and it would take us way too far afield to go into it.

However, we can use what we know to determine the electric field generated by a charged plane with a charge density of , measured in charge per unit area. At any point we can drop a perpendicular to the plane. We cut the plane into charged rings of radius and width , which gives us a (linear) charge density of . The result above says that the ring of radius has only a component, which is

So we integrate this out over all radii:

So the field points out from the plane, and it does not fall off with distance at all!

Part of the reason that the Biot-Savart law isn’t usually stated in the way I did is that it’s really about currents, which are charges in motion. The point charge moving with velocity does give a sort of a current, but it’s so extremely localized that it doesn’t match with our usual notion of “current”. A better example is a current flowing along a curve (without boundary) with a (constant) charge density of . It’s possible to carry through the discussion with a variable charge density, but then things get more complicated.

Anyway, just like the electric field the magnetic field obeys a superposition principle, so we can add up the contributions to the magnetic field from all the tiny differential bits of a current-carrying curve by taking an integral. The differential element of charge is again . The velocity is in the direction of the curve — unit vector — and has length . Thus the term near a point is . We will take the charge density as charge per unit of distance and the speed as distance per unit of time, and combine them into the current as the charge flowing through this point on the curve per unit of time. For a curve we have the integral:

As an example, let’s take the infinite line of charge and set it in motion with a speed along the -axis. The charge density makes for a current up the line. Of course, if the current is negative then the charge is just moving in the opposite direction, down the line. The obvious parameterization is , so we have and . Plugging in we find:

where I’ve used a couple convenient substitutions to put the integral into exactly the same form as last time. We can reuse all that work to continue:

We find again that the magnetic field now falls off as the first power of the distance from the line current. As for the direction, it wraps around the line in accordance with the famous “right hand rule”; if you place the thumb of your right hand along the -axis, the field curls around the line in the same direction as your fingers.

As it happens, despite how popular the rule is it’s purely conventional, with no actual physical significance. It’s hard to explain just why that is right now, but it will become clear later. For now, I can justify that it makes no difference in the effect of currents on moving charges, since the Biot-Savart law involves a triple vector product which can be rewritten:

which formula involves no cross products and no choice of right-hand or left-hand rules.

About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.