Do Total Current and Total Charge form a Lorentz Covariant Vector.

Phrak

And if so, How?

From the post 15 and 16 of the thread http://www.physicsforums.com/showthread.php?t=474719

Quote by DaleSpam yes. Charge is the timelike component of the four-current. So it is relative the same way that the components of any four-vector is.

Quote by bcrowell Wait, you mean the charge *density*, right? Charge is a Lorentz scalar; this is verified to extremely high precision because the hydrogen atom is electrically neutral.

But total charge and total current, Q and I, do form a 4-vector, don't they? There seem to be two ways to solve this, but I can't figure out which one is right.

Properly speaking, charge density in 3 space is a pseudo scalar and current density is a pseudo vector.

[tex]\rho = \rho_{ijk}\ dx^i dx^j dx^k \ [/tex]

[tex]j = j_{ij}\ dx^i dx^j \ [/tex] *

To each of these, there is a corresponding dual.

[tex]\hat{\rho_n}= \epsilon^{ijk}\rho_{ijk}[/tex]

[tex]\hat{j}_i = {\epsilon_i}^{jk} j_{jk}[/tex]

Where j can be though of as current flux density, [itex]\hat{j}[/itex] might be called the "current strength" or "current intensity". It would be nice to call [itex]\rho[/itex] a current flux, but is doesn't sound very good in 3 dimensions of space unlike the case in spacetime.

Raising the index on j and combining to a 4-vector,

[tex](\hat{\rho}, \hat{j}^i )[/tex]

could form a proper Lorentz invariant 4-vector. Integrating over a 4-volume could then yield (Q, I), give or take a negative sign.

The second way would be the inverse sequence of operations above. Integrate rho and j over a 4-volume then raise the index on the spatial components.

* To be precise, these should be a directed volume and a directed area,
[tex]\rho = \rho_{ijk} \ dx^i \wedge dx^j \wedge dx^k[/tex]
[tex]j = j_{ij} \ dx^i \wedge dx^j \ .[/tex]

bcrowell

I think there's a pretty straightforward proof that (Q,I) can't be a four-vector. We know that Q is a Lorentz scalar, and therefore under a Lorentz transformation it has to stay the same. So (Q,I) would be a four-vector whose timelike component was invariant under Lorentz transformations. But that can't be right, because it's always possible to change the timelike component of a given four-vector by performing some Lorentz transformation.

DaleSpam

Charge is a scalar, so it cannot be a component of any four-vector.

I don't think that current is a component of any four-vector since it is equal to a scalar times a three-vector. But I am not certain about that.

Phrak

Well, velocity itself can be coerced into a 4-vector.

If not charge, then what quantity, X, satisfies (X,I) is a Lorentzian 4-vector?

I'm very shocked myself to find what looks like charge to be sitting in a 4-vector. So I still have some doubts. Charge is conserved according to the charge continuity equation directly derived from Maxwell, but this this is not the same as saying charge is a Lorentz scalar.

Charge Q satisfies

[tex]Q = \int_\Omega dx^4 \rho \ .[/tex]

Charge density [itex]\rho[/itex] is not a Lorentz scalar, so charge cannot be a Lorentz scalar, right?

atyy

I'd do it over d³x, which should transform such that Q is the same (I haven't checked, but in principle ...).

bcrowell

Charge is a Lorentz scalar, as demonstrated to extremely high precision by the fact that hydrogen atoms are neutral. Charge density is not a Lorentz scalar. Charge density is the timelike component of a four-vector made out of the charge density and the current density. You don't need to speculate about all this. You can find it in any standard relativity text.

Phrak

This is exactly how this issue came up in the first place. Charge density combined with current density is not a 4-vector, it is a 3-form assignable to each point of a pseudo Riemann manifold. There is a complementary one-form obtained from acting the Levi-Civita tensor on the 3-form. If this one-form cannot be composed of Q and I, then what?

Phrak

Yes, you're right. The correction doesn't seem to change expectations, but maybe...

DaleSpam

AFAIK the three velocity is not the space like part of any four vector. It is limited to c, so it doesn't transform right. Gamma times v is, but not v.

homology

I understand what you're saying, however bcrowell is correct, its pretty standard to define [tex]J^{\alpha}=(c\rho, \vec{J})[/tex]. But now you've got me curious so I took out an old friend: "The Geometry of Physics" He agrees with everyone. He defines his current 4-vector but also ties it to an associated 3-form by contracting the 4-volume with the current vector. If you have a copy its section 7.2b on page 199 in my edition.

I'd say more but while I'm studying EM and relativity the course I'm in doesn't have this lovely geometric side :(

Physics Monkey

If you are interested in using a very geometric language, then a nice way to write Maxwell's equations is
[tex]
d*F = J
[/tex]
where [tex] F = dA [/tex] is the field strength (a 2-form) and [tex] J [/tex] is a current 3-form. Local current conservation is written [tex] dJ = 0 [/tex].

Total charge is the Lorentz scalar obtained from the natural pairing between [tex] J [/tex] and a spatial slice [tex] \Sigma [/tex] as [tex] Q = \int_{\Sigma} J [/tex]. I think this point of view is useful because it clarifies why there is no natural way to make an invariant current i.e. you're already using all of [tex] J [/tex] just to make [tex] Q [/tex].

Hope this helps.

Phrak

Yes, good point. Raising velocity from a 3-vector to a 4-vector results in an unusual looking 4-vector. I'll have to see why that is. The energy momentum 4 vector should also be interesting to understand; it should have an equivalent energy density + momentum flux density counterpart.


I don't have a copy, though it sounds like a good text to have. However, other than sign convention, I'm not sure there's any room left to define the 4-current once the 4-current density is defined, as Physics Monkey presents in the post directly following yours; that is J=dG. I expect to find out, one way or the other, though.


I've spent tedious hours converting electromagnetism back and forth between differential forms and vector calculus. So, I'm OK with charge continuity.

Yes, thank you. I don't have a good grasp of how k-forms change between subspaces, let alone spacelike slices, but I'm getting there. Changing integrals to and from subspaces is a challenge.

Rephrased, my question is as follows: Given J=dF, define K=*J. Raise the index in K and separate into spacelike and timelike parts, or one scalar and a 3-vector. What are these two elements physically identified with?

Physics Monkey

Great to hear. Here are some additional details. Let me ignore signs, etc and just sketch the basic structure. The 3-form J looks like this
[tex] J = \rho \, dx dy dz + j_x \, dt dy dz + j_y \, dt dx dz + j_z \, dt dx dy [/tex] and the dual is obtained by replacing the 3 d's with the fourth missing d as appropriate. [tex] \rho [/tex] is the charge density and [tex] j_i [/tex] is the current density in a particular frame. In principle, for a given hypersurface you need all four pieces of information to compute [tex] Q [/tex].

Here is a nice example. Let [tex] \Sigma_1 [/tex] be the equal time surface in x,y,z,t coordinates above. Let [tex] \Sigma_2 [/tex] be the hypersurface obtained from [tex] \Sigma_1 [/tex] by "bumping" a little bit of [tex] \Sigma_1 [/tex] forward in time. It helps to draw a picture.

Since [tex] \Sigma_2[/tex] is a continuous deformation of [tex] \Sigma_1 [/tex], the charges [tex] Q_1 [/tex] and [tex] Q_2 [/tex] are the same. [tex] Q_1 = \int_{\Sigma_1} J = \int_{\Sigma_2} J + \int_{M_{1 \cup 2}} dJ = Q_2 [/tex] where [tex] M_{1 \cup 2} [/tex] is a four dimensional subspace with boundary given by the differentce between [tex] \Sigma_1 [/tex] and [tex] \Sigma_2 [/tex] i.e. a little box.

More physically, integrating [tex] J [/tex] over [tex] \Sigma_2 [/tex] contains several terms: integrals over [tex] \rho [/tex] at different times in different regions of space and integrals over the the "sides" of the box involving [tex] j_i [/tex]. You'll notice that I need to integrate over dt dx dy, for example, to pick up a contribution from [tex] j_z [/tex]. This is simply telling me that I need to figure out the total charge (integral over dt) that went through a given plane (integral over dx dy) in terms of the appropriate current density [tex] j_z [/tex]. To summarize, I get the same answer for [tex] \Sigma_2 [/tex] because even though I look at the charge density in one region (the bump) at a later time, I subtract off all the charge that entered that region via the terms involving [tex] j_i [/tex]. However, it also shows that I really need all the components of J to make a lorentz invariant quantity.

I hope that wasn't too elementary.

PhilDSP

I'm not saying I agree with Pauli, but in his "Theory of Relativity" he states, or rather restates from a paper by Minkowski that charge is not invariant between coordinate systems. At what point did that become clarified or corrected in the literature?

Phrak

That helps a great deal. I need all the visual tools I can get, and simplifying the indexing to x,y,z,t helps put things in more manageable perspective

I'm not sure I agree with your answer, though. Integrating over spacial parts
[tex]Q = \int_\Sigma \rho_{xyz}dxdydy[/tex]
seems to be what we measure, and call charge.

Physics Monkey

I agree, that is what we call the charge and is precisely what hypersurface [tex] \Sigma_1 [/tex] directly computes. Following the bump construction I mentioned above, define B to be the bumped spatial region and A to the be the rest of space. Integrating over [tex] \Sigma_1 [/tex] tells me that the total charge Q is (charge in A at time t0 + charge in B at time t0). This is how we normally evaluate the total charge. What happens with [tex] \Sigma_2 [/tex] is simply that we write the total charge Q as (charge in A at time t0 + charge in B at time t1 > t0 - charge that flowed into B between t1 and t0). Either way we get the same total charge as a consequence of charge conservation.

Phrak

This all gets better and better. I don't have a standard text on special relativity, but I do have Special Relativity by Albert Shadowitz:

The first question to arise is--do A and B [in relative motion] each measure the same total charge Q? [...] It turns of that for charge, however, there is excellent experimental evidence that the charge is, indeed, invariant: both A and B will measure the same value of Q regardless of the value of v. One such piece of evidence is provided by the electrical neutrality of both He and H. Each of these contain two electrons and two protons but the motions of the particles are quite different n the helium atom than in the hydrogen molecule.

The evidence is misapplied. Shadowitz is wrong. It might be simplest to consider a single atom within a region V. As long as the entire system of charges is within the region, the total charge stays constant. If any charge leaves the region, there is an accompanying current leaving the box.

For a system of identically charged particles, the charge covaries with the number count. The number density and the number count are not Lorentz invariant. The number flux and number count together, both form a Lorentz invariant vector. This fact should be present in a sufficiently enlighten book on relativity, I would think. I don't have such a text, so I'm just guessing.