Copyright © 2002, 2014 jsd
When electric charge flows from place to place, it obeys a local conservation law. By that we mean something very specific:
Any decrease in the amount of charge in a given region of space
must be exactly balanced by
a simultaneous increase in the amount of charge in an adjacent region of space.
We can express the same idea in the form of an equation:
The word “flow” in this expression has a very precise technical meaning, closely corresponding to one of the meanings it has in everyday life. Specifically: Charge cannot be created or destroyed, but it can flow one from one region to another. Any decrease in one region is exactly balanced by a simultaneous increase in an adjacent region.
(By way of contrast, if you want an example of something that flows but is not conserved, consider “the flow of ideas”. You can give me an idea without decreasing your own stock of ideas. As usual, flow refers to spreading from one region to a neighboring region.)
At this point we have three ideas on the table: conservation, change, and flow. In accordance with equation 1, we can understand conservation as a combination of change plus just the right amount of flow.
To repeat: electric charge cannot change arbitrarily; only certain types of changes are allowed. The relationship between the broad concept of “change” and the more-precise concept of “conservation” can be summarized as follows:
The use of the world “simultaneity” causes some people to wonder whether equation 2 can be relativistically correct. Well, it turns out that this equation is 100% kosher, relativistically and otherwise. We get into trouble with relativity when we talk about simultaneity at a distance, but since we are taking about adjacent changes – zero distance – there is no problem with simultaneity. Indeed, our notion of conservation is beautifully matched to modern notions of relativity. In spacetime, local conservation can be expressed in elegant, informative, and easy-to-visualize form, in terms of the continuity of world lines. This is discussed in section 2.
To be useful – or even correct – the conservation law must be local, as discussed in section 2.3. It must apply to every region in spacetime, including small open regions where the charge is not constant. Charge is always conserved, even though it is not always constant, as discussed in section 2.4.
As a corollary, as a special case of equation 2:
This stands in contrast to the general case, where conservation does not imply constancy, nor vice versa. This is discussed in section 2.4.
To summarize: The laws of physics do not permit charge to disappear now and reappear later. Similarly the laws do not permit charge to disappear from here and reappear at some distant place.
An ordinary box in D=3 space has six faces. We can call them the ± x faces, the ± y faces, and the ± z faces. In D=4 spacetime, the corresponding object has eight faces, namely two ± t faces in addition to the six spatial faces.
Now let’s draw some spacetime diagrams. For simplicity we will conceal the y and z dimensions, and portray only the ± t and ± x faces of the box.
Figure 1 shows the world-line of a stationary parcel of electrical charge sitting at the location of our box. The world-line enters on the t=0 face and exits on the t=1 face. In other words, it was initially within the spatial extent of our box, and it remained so.
World-lines crossing the ± t faces contribute to the time derivative of the amount of charge in the box. In figure 1, there are two equal and opposite contributions, namely one flowing in at t=0, and one flowing out at t=1.
|In 4-dimensional spacetime terms: The charge is flowing in the time direction only.||In 3-dimensional spatial terms: The charge is not flowing at all. It just sits there. The amount of charge within the spatial extent of the box is the same at t=0 and t=1, so the amount of charge in that spatial region is constant, i.e. not changing with time.|
We now consider what happens when the charge is non-stationary, as shown in figure 2. The world-line enters via the t=0 face and exits via the x=1 face. In other words, the parcel was initially within the spatial extent of our box, but then it departed toward the right.
In this case, the amount of charge in the spatial box at t=1 is less than the amount of charge at t=0. The charge is not locally constant, but it is locally conserved. The charge wasn’t destroyed, it just flowed across the x=1 boundary into the neighboring region.
We will make this more quantitative in a moment. To make this useful, we will need to quantify the net flow across the ± x boundaries. It helps to know something about velocity and charge density.
You can see where this line of reasoning is leading. The following notions are formally equivalent:
We now consider a non-conserved object, such as a photon. Here is the world-line of a photon that enters the box and gets absorbed; the world line enters the box but doesn’t go out again:
Here are some trickier examples of non-conservation. In figure 4, the particle disappears and then reappears at a later time. Electric charge does not behave like this. The law of conservation of charge forbids it. In particular, if we divide the region into an early half and a late half, we now have two regions, both of which exhibit gross non-conservation. The lesson here is that the conservation is not equivalent to saying that you end up with the same amount you started with. The conservation law applies not just at the starting time and ending time, but at every time along the way.
Similarly, in figure 5, the particle disappears at one location and reappears at some other location. Electric charge does not behave like this. The law of conservation of charge forbids it. In particular, if we divide the region into left half and a right half, we now have two regions, both of which exhibit gross non-conservation. The lesson here is that the conservation is not equivalent to saying that the total amount is constant over time. The conservation law applies not just to the universe as a whole, but also to every region and subregion.
It must be emphasized that conservation of charge is a local conservation law. The property of “locality” is crucial, for at least two reasons, as we shall see.
It is possible to have global conservation without local conservation, as shown in figure 5. If we consider only the large region from x=0 to x=1, there is no change in the charge inside, and no flow across the ±x boundaries, so we have conservation in accordance with equation 1.
The first huge problem with global conservation is that it is not useful in practice. If some charge disappears from your laboratory and reappears somewhere far, far away, you have no way of knowing whether it is really conserved. You have no way of checking. An unenforceable law is useless.
The second huge problem manifests itself when we consider a second reference frame, moving relative to the first, in accordance with the laws of special relativity. The situation is shown in figure 7. In this figure, the world lines are exactly the same as in figure 6 (and also figure 5); only the reference frame is changed. Whereas an ordinary rotation in the xy plane rotates the x and y contour lines the same way, a spacetime rotation in the xt plane tilts the x contours one way and the t contours the other way. For details, see reference 1. In figure 7, the amount of tilt corresponds to a x^t^ frame that is moving at half the speed of light (relative to the xt frame).
The point of all this is that in the x^t^ frame, the particle disappears later than time t^=0.5 and reappears earlier than that. Therefore even though the amount of charge is globally constant relative to the xt frame, it is not constant relative to the x^t^ frame. Since the laws of physics are required to work in any reference frame, we see that any notion of non-local conservation is dead on arrival. In the real world, i.e. in spacetime, non-local conservation is almost no conservation at all.1
It is important to distinguish the notion of constancy from the notion of conservation:
Imagine a fluid that has the same velocity and the same charge-density everywhere. An example of such a situation is shown in figure 8.
In this case, the amount of charge in the box is constant, because whenever a parcel of charge leaves via the x=0 face, an equivalent amount of charge is entering via the x=1 face. Contrast this with figure 2, where the charge flowed out and was not replaced. This non-replacement could occur because the charge density was lower off to the left, and/or the velocity was lower off to the left. So we see we need to be concerned with
Another case that needs to be considered combines the previous idea of non-conservation with the idea of replacement, as shown in figure 9. You can see that the number of objects in the region of interest is constant, because every time one of them is destroyed it is replaced.
A real-life example of this concerns the number of working light-bulbs in a room. The number of working light bulbs is not a conserved quantity, but the number is approximately constant, because every time a light bulb is destroyed you replace it.
Another example along the same lines is a continuous-flow reactor in a chemical plant, where chemicals of type A flow in and chemicals of type B flow out.
To be explicit: Conservation does not imply constancy, nor vice versa. Change does not imply non-conservation, nor vice versa. All four of the possibilities have already been illustrated:
|conservation||Figure 1 (static)||Figure 2 (outflow)|
|Figure 8 (steady flow)|
|non-conservation||Figure 9 (steady replacement)||Figure 3 (annihilation)|
As touched upon section 1, if you integrate the local conservation law over all space, you can derive a global conservation law as a corollary. It is true that global conservation is the same as global constancy ... but that does not mean that conservation is the came as constancy in general.
Constancy can be used as a proxy for conservation for closed systems only. By far the more powerful idea is conservation (and local conservation in particular), because it can be applied to small, open sytems. In particular, suppose we have a small region. Charge is flowing across the boundary. Charge is conserved, even though the charge in our region is not constant. We could try to salvage the idea of constancy by considering a larger region, but then we lose the idea of locality ... and without locality we are doomed, for multiple reasons, as discussed in section 2.3.
In summary: The only way to do the whole job properly is to define a notion of conservation that works for small, open systems – that is, local conservation, namely equation 1. The key ideas are:
We have been using charge as our primary example of a conserved quantity. There is a long list of such things.
The picture of world-line continuity applies to them all.
In addition, there is an even longer list of things that are approximately conserved.
Mass is a relativistic invariant, i.e. a Lorentz scalar, related to the invariant norm of the [energy, momentum] 4-vector. For a particle with nonzero mass, this is proportional to the rest energy in accordance with the celebrated formula Erest = m c2. For a slow-moving massive particle, the energy is very nearly equal to the rest energy, which implies that the mass is conserved to a good approximation (but not exactly).
Beware: The term “conservation” has two wildly different meanings.
|The physics notion of conservation is the topic of this document. It is defined by expressions of the form equation 1.||The vernacular notion of conservation refers to protecting something against destruction, or especially against waste.|
|Example: Charge is always conserved – automatically, strictly, and locally – in accordance with equation 1.||Example: Conservation of endangered wildlife. People get to decide whether they want to conserve this-or-that. Sometimes they decide yes, sometimes no.|
While we’re on the subject: Beware: There are two different notions of energy. There exists a vernacular notion of «useful energy» that is important and widely used, yet is very different from the physics energy.
|The physics energy includes all forms of energy, whether useful or not.||The vernacular energy refers to some ill-defined notion of “useful energy” or “available energy”.|
|Example: The rest energy is given by E=mc2.||Examples: The energy industry. The Department of Energy.|
Suppose you see a statement of the form “Please conserve energy by turning out the lights”. Be careful not to intepret that in physics terms, because both of the key words – “conserve” and “energy” – are being given meanings wildly different from their physics meanings.
Just because electrical charge is conserved does not mean that electrical current is conserved. In fact, the current is definitely not conserved. Imaging a loop of wire with some current flowing in it initially. If you just leave it alone, the current will die out. The current will not move into some neighboring region; it will just remain in place and get weaker. This is an absolutely clear example of non-conservation.
This is mostly just a terminology issue, because physically the current is intimately associated with the thing that is conserved. Indeed, you cannot even write down the equation for conservation of charge without mentioning the current also:
We say that the current obeys an approximate continuity equation (not a conservation equation, approximate or otherwise). More specifically, in the low-frequency limit – for so-called “DC” circuits – we can ignore the first term on the RHS of equation 3, and what’s left is a continuity equation for the current, namely equation 4:
One of Kirchhoff’s «laws» says that current obeys a continuity equation. People very often design circuits so that they uphold Kirchoff’s laws, to a good approximation ... but this is a choice, not a law of nature, as discussed in reference 4.
While we’re in the neighborhood, if we instead ignore the other term on the RHS of equation 3, we get:
Zero accumulation does not imply zero flow. It just means no net flow across the boundaries. You can have lots of flow-with-replacement. You can also have lots of flow going round and round in the interior, not crossing the boundaries.
In fluid dynamics, vortex lines obey a continuity equation. In electrodynamics, magnetic field lines obey an exact continuity equation in three dimensions. In any region where there are no electrical charges, electric field lines obey a continuity equation.
The important idea is that the full conservation equation – equation 3 – can be understood as a spacetime continuity equation, as discussed in section 2.
In some weird sense, the idea of constancy (equation 5) is an amputated part of the idea of conservation, and also the idea of three-dimensional continuity (equation 4) is an amputated part of conservation. These two terms working together give the proper idea of conservation, i.e. four-dimensional continuity (equation 3).
Bottom line: You shouldn’t talk about “conservation” of the current vector; that gives entirely the wrong idea. If you want to say something about the current, talk about the spacetime continuity of the [charge, current] 4-vector.
Now that we have a firm qualitative idea of conservation, let us now make the idea completely quantitative.
For an electrically-charged fluid, the product of charge density times velocity is called the current. A spatially-uniform current isn’t interesting from a conservation point of view, so we shall be particular interested in the spatial variation in the current. If there is more than one spatial direction, the current is a vector (just like the velocity) with x, y, and z components. What matters is the x-derivative of the x-component of flux, the y-derivative of the y-component, and the z-derivative of the z-component — in other words, the divergence.
So we can write the local conservation law as
|(charge density) = − div(current density) (6)|
|ρ + ∇ · j = 0 (7)|
This is a 100% formal accurate statement of the local conservation law. It expresses the continuity of the world-line of each little bit of charge.
Homework: Check equation 7 using dimensional analysis. It shouldn’t take very long!
The structure of equation 7 is very elegant. It has the form
which is most elegantly understood as a four-dimensional divergence. If you leave off the ∂/∂t term you’ve got the plain old three-dimensional divergence. The key concept is that the world lines of a conserved quantity (such as charge) are divergence-free in D=4. They have no beginning or end. By way of contrast, if you projected the world lines onto three dimensions, they would not be divergence-free; there would be a nonzero divergence at any location where charge is accumulating. The timelike term in equation 8 is needed to make the equation correct. On the third hand, we can contrast this with magnetic field lines, which are divergence-free – i.e. endless – even in three dimensions.
In more detail: The world line of an element of a charge has a tangent vector at every point. This defines a vector field. At each point along the world line, there is a four-vector consisting of the three components of current plus a fourth component, representing the “flux” of charge flowing in the “time direction” – which is just the density of charge itself. Overall, this vector field is divergence-free in D=4.
Equation 7 is frame-independent. Each of the terms on the LHS is frame-dependent, but the LHS as a whole is the same in all frames, the same for all observers. The RHS is zero, which is manifestly invariant.
To repeat: In D=3 you can (temporarily) have a whole bunch of current diverging from some region of space. [In contrast, you cannot have magnetic flux lines diverging like this, not even temporarily.] The divergent current will deplete the charge density in that region. Meanwhile, if you take a D=4 view of the same situation, you will find that the [charge, current] four-vector has zero divergence. The world-lines of any conserved quantity are endless.
In the preceding paragraph, all the D=4 statements are frame-independent, i.e. Lorentz invariant. (As always, any D=3 statements are necessarily not Lorentz invariant.)
The formulation in this section applies at a single point, or perhaps in the infinitesimal neighborhood of a point. (A neighborhood is necessary to make derivatives meaningful.) It involved density and flux, in particular the four-dimensional divergence of the [charge-density, current-density] 4-vector.
Similar laws apply to the [energy, momentum] 4-vector, but the details are messier. Note the contrast:
Let’s choose a particular basis, and project out the components of the [energy, momentum] 4-vector. We start by focusing attention on the energy component. This is a conserved quantity, in much the same way that charge is a conserved quantity. There is a slight difference, because charge is a Lorentz invariant whereas energy is not, but let’s pretend we didn’t notice that. In any particular chosen basis, that doesn’t matter very much.
Following the pattern of equation 8, we need four terms to express conservation of energy: One for the time-dependence of the energy, and three more for the divergence of the flow of energy.
Similarly, we need four terms to express conservation of the x-component of momentum, and four more for the y-component of momentum, and four more for the z-component of momentum.
Altogether, that means we need sixteen terms to express conservation of the [energy, momentum] 4-vector. These can be arranged in a 4×4 array, i.e. a second-rank tensor, namely the stress-energy tensor.
It takes a bit of work to keep track of how momentum is conserved, but it is doable. The stress includes pressure, tension, and shear.
For more information about this, including suggestions on how to diagram the flow of momentum, see reference 5.
Rather than considering a single point, we now consider a region.
We take the differential version (as discussed in the previous section) and integrate it over a region. Using Stokes’s law, we find that the time-rate-of-change of current inside the boundary is equal to the amount of current flowing across the boundary.
The integral formulation implies the differential formulation and vice versa, subject to mild restrictions. Obviously things must be sufficiently differentiable, and the region of interest must be simply connected (no wormholes).
Copyright © 2002, 2014 jsd