The Four-Current Density

Magnetism as a Relativistic Effect just spent an entire article tracking two charge densities through a frame change — proper densities, velocity addition, compound Lorentz factors, seven careful steps to learn that a neutral wire looks charged from a moving seat. This article builds the machine that does all of that in two lines. The trick is the one the chapter keeps applying: stop transforming quantities one at a time and find the four-component object they secretly form. Charge density $\rho$ and current density $\mathbf{J}$ — kept in separate chapters since electrostatics — are the time and space components of a single four-vector, $J^\mu=(c\rho,\mathbf{J})$ , and every "paradox" of moving charge distributions is just this arrow viewed from different angles. The construction rests on an experimental pillar so familiar it is easy to miss: electric charge is Lorentz invariant. Not "conserved" — invariant: every inertial observer counts the same coulombs on the same body, no $\gamma$ anywhere. (Energy, by contrast, is conserved but famously not invariant.) Matter testifies to this with absurd precision — hydrogen molecules and helium atoms are both neutral to parts in $10^{21}$ , though their protons move at wildly different speeds. Granted invariance, the rest is geometry: charge per contracted volume picks up a $\gamma$ , moving charge is a current, and the package $\rho_0 u^\mu$ — proper density times four-velocity — is a certified four-vector by the ladder principle of Proper Time and Four-Velocity. The payoff is structural. Charge conservation, an experimental law wearing 3+1 clothing since The Continuity Equation, becomes the one-symbol statement $\partial_\mu J^\mu=0$ — a Lorentz scalar equated to zero, true in every frame if true in one. That is the covariant closure the E6 article promised this chapter would deliver. And $J^\mu$ is not merely tidy bookkeeping: it is the source of everything that follows — the four-potential obeys $\Box A^\mu=\mu_0J^\mu$ , the field tensor obeys $\partial_\mu F^{\mu\nu}=\mu_0J^\nu$ , and electrodynamics becomes a theory of one arrow sourcing another.

Key takeaways

Charge density and current density are one object: $J^\mu=(c\rho,\mathbf{J})$ , the four-current density, transforming under boosts exactly like $(ct,\mathbf{x})$ .
Its four-vector credentials are earned microscopically: $J^\mu=\rho_0u^\mu$ — proper charge density (an invariant scalar, because charge is invariant and proper volume is agreed) times the four-velocity.
Charge conservation is the vanishing four-divergence $\partial_\mu J^\mu=0$ — a frame-proof scalar equation that expands to the familiar $\partial_t\rho+\nabla\!\cdot\!\mathbf{J}=0$ , delivering the covariant closure promised by The Continuity Equation.
Boosts mix the components: $c\rho'=\gamma(c\rho-\beta J_x)$ , $J'_x=\gamma(J_x-\beta c\rho)$ — static charge acquires current, neutral current acquires charge. The wire of Magnetism as a Relativistic Effect is this transformation, once.
The invariant $J^\mu J_\mu=c^2\rho^2-|\mathbf{J}|^2$ classifies sources: timelike for any single-sign flow (a rest frame exists), spacelike for a neutral wire (no frame kills the current, but frames disagree on the sign of $\rho$ ).
Total charge $Q=\int\rho\,d^3x$ is a Lorentz scalar even though $\rho$ is not: the $\gamma$ from density cancels the $1/\gamma$ from volume contraction.
Key idea: package charge and current as the four-vector $J^\mu=(c\rho,\mathbf{J})=\rho_0u^\mu$ , and charge conservation, density transformation, and the sourcing of fields all become one line of index grammar each.

The core insight

Charge density and current density are the timelike and spacelike parts of one four-vector $J^\mu=(c\rho,\mathbf{J})$ ; charge conservation is its vanishing four-divergence $\partial_\mu J^\mu=0$ .

Where this lives today

The four-current's conservation law, humble as it looks, is the prototype for the deepest organizing principle in modern physics. In quantum field theory, Noether's theorem manufactures a conserved current $j^\mu$ with $\partial_\mu j^\mu=0$ for every continuous symmetry — and the electromagnetic $J^\mu$ is the Noether current of phase rotations, its conservation tied to gauge symmetry itself. When theorists check a proposed interaction, "is the current conserved?" is the first sanity gate, because coupling the photon to a non-conserved current breaks the theory's consistency outright. The pattern this article built — package the densities, contract with $\partial_\mu$ , demand zero — is repeated verbatim for energy-momentum (the stress-energy tensor, later in this chapter), baryon number, and every charge in the Standard Model. On the practical side, every plasma code and accelerator simulation maintains $J^\mu$ as its bookkeeping backbone: particle-in-cell methods are notorious for violating $\partial_\mu J^\mu=0$ at the grid level, and entire families of "charge-conserving deposition" algorithms exist to enforce (4) exactly in discrete form — otherwise spurious fields accumulate and the simulated plasma slowly detonates. That a numerical-analysis community spends careers protecting a one-line identity from round-off is a fair measure of how load-bearing the identity is.

Origins · 1 minHendrik Antoon Lorentz and how this was discovered

Hendrik Antoon Lorentz

1853–1928 · Leiden — who built charge and current from electrons before spacetime existed

Lorentz's electron theory (1892 onward) was the first to construct $\rho$ and $\mathbf{J}$ microscopically — as the smoothed density and flux of discrete charged particles — rather than treat them as continuum primitives. Chasing the electrodynamics of moving bodies through that lens, he discovered piece by piece the transformation rules that now bear his name: local time, the contraction hypothesis, and by 1904 the full transformations under which Maxwell's equations keep their form — including, remarkably, the correct mixing of charge density with current density. What he lacked was the reinterpretation: for Lorentz these were properties of matter moving through a real ether, not of spacetime. Einstein supplied the kinematics in 1905 and Minkowski the geometry in 1908, at which point Lorentz's hard-won transformation rules for $(\rho,\mathbf{J})$ became one line: it is a four-vector. His name survives on the transformation, the factor $\gamma$ , and the force law — the covariant $J^\mu$ is his life's bookkeeping, geometrized.

History

1892

— Lorentz's electron theory constructs charge and current densities from moving discrete charges, beginning the hunt for their transformation rules

1897

— Thomson identifies the electron; the carriers of the current density become real particles with measurable charge

1904

— Lorentz publishes the full transformations under which Maxwell's equations are form-invariant, including the mixing of charge and current densities

1905

— Einstein derives the same kinematics from two postulates; charge invariance becomes a cornerstone assumption of relativistic electrodynamics

1908

— Minkowski's spacetime formulation packages the densities as the four-current, sourcing his covariant form of Maxwell's equations

1973

— Dylla and King's neutrality-of-matter experiment bounds the proton–electron charge mismatch near one part in ten to the twenty-first, cementing charge invariance experimentally

The physical picture

Watch a line of charges sitting at rest. You measure charge density and zero current. Now stroll past them: the same charges drift backward in your frame — you measure a current, and (length contraction) a slightly enhanced density. Nothing about the charges changed; your split of one physical situation into "how much charge" and "how much flow" changed. This is precisely the situation of time and space before Minkowski: quantities that mix under boosts are not two things but two shadows of one thing. The four-current is that thing for electric sources. Two experimental facts anchor the construction, and it pays to keep them distinct. Charge conservation says the total charge in a region changes only by flow through its boundary — the continuity equation, established on Maxwell-consistency grounds in The Continuity Equation. Charge invariance is stronger and independent: the charge of a body is the same number in every inertial frame. Nature enforces it spectacularly. A helium atom's two protons rattle inside the nucleus with momenta around 235 MeV/c — $\gamma-1\approx3\%$ — while a hydrogen molecule's two protons amble at chemical speeds. If charge scaled with $\gamma$ the way energy does, helium would carry a few percent of a proton charge and tabletop matter would explode electrostatically; experiment finds both species neutral to better than a part in $10^{21}$ . Charge is a count, not a projection: invariant, quantized, scalar. Invariance is what lets density do the interesting thing. Fix a blob of charge $Q$ in its own rest frame, occupying proper volume $V_0$ : proper density $\rho_0=Q/V_0$ . A frame that sees the blob move at $u$ sees the same $Q$ (invariance) in a volume contracted along the motion to $V_0/\gamma_u$ — so $\rho=\gamma_u\rho_0$ , and it sees the charge translate: $\mathbf{J}=\rho\mathbf{u}$ . Both effects are pure kinematics riding on one invariant. Assemble them and a familiar shape appears: $(c\rho,\mathbf{J})=\gamma_u\rho_0(c,\mathbf{u})=\rho_0u^\mu$ — an invariant scalar times the four-velocity. The four-current is the four-momentum construction all over again ( $p^\mu=mu^\mu$ : invariant mass times four-velocity), and the analogy runs deep: $p^\mu p_\mu=m^2c^2$ tags a particle with its rest mass; $J^\mu J_\mu=c^2\rho_0^2$ tags a flow with its proper density.

Figure

The four-current arrow under a boost — static charge tilts into current, a neutral wire's spacelike current tilts into charge density

The math: building the arrow, then differentiating it

The definition and its credentials

Gather the sources of electrodynamics into one quadruple:

J^\mu=(c\rho,\;J_x,\;J_y,\;J_z)=(c\rho,\;\mathbf{J}). \qquad (1)

where: $\rho$ is charge per volume and $\mathbf{J}$ charge per area per time, so the factor $c$ on the time slot gives all four components the units of current density — the same dimensional courtesy that put $ct$ (not $t$ ) into $x^\mu$ . Writing (1) is free; the physics is the claim that this quadruple transforms as a four-vector, which no amount of notation can decree. The proof is the microscopic construction:

J^\mu=\rho_0\,u^\mu=\gamma_u\rho_0\,(c,\;\mathbf{u}), \qquad (2)

where: $\rho_0$ is the proper charge density — measured in the charges' momentary rest frame — and $u^\mu=\gamma_u(c,\mathbf{u})$ their four-velocity. This is the ladder principle of Proper Time and Four-Velocity doing its signature work: multiply an invariant scalar by a certified four-vector and the product inherits the transformation law, no checking required. The invariance of $\rho_0$ itself rests on two agreements: charge is invariant (experiment), and "the volume in the rest frame" is a frame-independent specification. Reading (2) componentwise recovers both kinematic effects at once — $\rho=\gamma_u\rho_0$ (density up by contraction) and $\mathbf{J}=\rho\mathbf{u}$ (flow = density times velocity). The metric contraction of (2) with itself gives the source's invariant label:

J^\mu J_\mu=c^2\rho^2-|\mathbf{J}|^2=c^2\rho_0^2, \qquad (3)

where: the second equality uses $u^\mu u_\mu=c^2$ — the normalization the mechanics companion Four-Vectors and Minkowski Spacetime proved once for every four-velocity. Equation (3) is the electromagnetic sibling of $p^\mu p_\mu=m^2c^2$ , and its sign is physics: a single-species flow always has $c^2\rho^2>|\mathbf{J}|^2$ (timelike — boost to the carriers' frame and the current vanishes), while a neutral wire has $\rho=0$ with $\mathbf{J}\neq0$ (spacelike — no frame stops the current, because it is two opposite timelike flows superposed, and different frames disagree even on the sign of its density). Real sources with several carrier species use the superposition $J^\mu=\sum_s\rho_{0s}u_s^\mu$ — each species covariant, hence the sum too.

Derivation AThe four-current construction from charge invariance and the total charge check

We derive the four-vector character of the source fields from first principles and verify the one claim that looks paradoxical: density transforms, yet total charge does not. The strategy is to build $J^\mu$ for a single species from invariants and certified four-vectors (the ladder principle), read off the boost behavior of $\rho$ and $\mathbf{J}$ , extend by superposition, and then integrate the density to confirm $Q$ is a scalar. The step to watch is the last one: the $\gamma$ in the density and the $1/\gamma$ in the volume element must cancel exactly, or the whole edifice contradicts the experimental invariance it was built on.

Step 1. Charge invariance as input. The charge $dQ$ in a marked bundle of carriers is a count of elementary charges times $e$ — the same in every frame. Evidence: H $_2$ and He are both neutral to $<10^{-21}\,e$ despite their protons' Lorentz factors differing at the percent level ( $p\approx235$ MeV/c in the alpha nucleus gives $\gamma-1=3.1\%$ ); were charge velocity-dependent like energy, helium would be charged at the $10^{-2}\,e$ level — twenty orders of magnitude above the bound.

Step 2. Proper density is a scalar. Define $\rho_0=dQ/dV_0$ with $dV_0$ the bundle's rest-frame volume. Both numerator (invariant charge) and denominator (a rest-frame specification, agreed by all) are frame-independent numbers; so is their ratio.

Step 3. The ladder. The bundle's four-velocity $u^\mu=\gamma_u(c,\mathbf{u})$ is a four-vector because it is a displacement four-vector divided by proper time — an invariant denominator (Proper Time and Four-Velocity's ladder principle: $d/d\tau$ preserves four-vector character; $d/dt$ destroys it). Then $J^\mu\equiv\rho_0u^\mu$ is scalar × four-vector = four-vector. No component checking, ever.

Step 4. Read off the components. $J^0=\gamma_u\rho_0c\equiv c\rho$ gives $\rho=\gamma_u\rho_0$ — the lab density is the proper density up by one contraction factor, because $dQ$ now occupies $dV=dV_0/\gamma_u$ . The spatial part: $\mathbf{J}=\gamma_u\rho_0\mathbf{u}=\rho\mathbf{u}$ — the convective current, automatically. Why does only one $\gamma$ appear in $\rho$ when the four-velocity carries $\gamma$ too? Because $\rho$ is $J^0/c$ and the $\gamma$ in $u^0=\gamma c$ IS the contraction factor. The bookkeeping self-organizes — that is the point of the construction.

Step 5. Superposition. A wire, a plasma, a beam: $J^\mu=\sum_s\rho_{0s}u_s^\mu$ over carrier species (or an integral over a velocity distribution). Each term is a four-vector; the sum transforms identically. This is how a neutral wire gets a perfectly good four-current: $\rho=\sum_s\rho_s=0$ in the lab while $\mathbf{J}=\sum_s\rho_s\mathbf{u}_s\neq0$ — and the invariant (3) goes spacelike, $J^\mu J_\mu=-|\mathbf{J}|^2<0$ .

Step 6. Total charge is a Lorentz scalar. Boost along $x$ at $\beta$ and integrate the new density over the new simultaneity slice: each carrier bundle contributes $dQ'=\rho'\,dV'$ . For a bundle of species $s$ : $\rho'_s=\gamma_{u'_s}\rho_{0s}$ while its volume is $dV'=dV_{0s}/\gamma_{u'_s}$ — the Lorentz factors cancel bundle by bundle, leaving $dQ'=\rho_{0s}dV_{0s}=dQ$ . Summing: $Q'=Q$ . Density is a component (transforms); charge is a count (invariant); the volume element is the exchange rate between them. Verified: for a copper wire's conduction electrons ( $\lambda=1.362\times10^4$ C/m per mm², $u=0.75$ mm/s), Step 4 gives $\rho=\gamma_u\rho_0$ with $\gamma_u-1=3.1\times10^{-24}$ — lab and proper densities equal to 23 digits, while the same construction at LHC speeds ( $\gamma=6928$ ) makes the lab density nearly four orders of magnitude above proper. Both extremes check against $J^\mu J_\mu=c^2\rho_0^2$ numerically. Matches Griffiths §12.3.3, Jackson §11.9.

Conservation goes covariant — and the wire becomes two lines

The four-gradient $\partial_\mu=(\frac1c\partial_t,\nabla)$ is born covariant (Four-Vectors and the Metric Tensor proved it via the chain rule), so contracting it with $J^\mu$ manufactures a Lorentz scalar:

\partial_\mu J^\mu=\frac{\partial\rho}{\partial t}+\nabla\!\cdot\!\mathbf{J}=0. \qquad (4)

where: the middle expression is the expansion in any one frame — the continuity equation of The Continuity Equation, recovered symbol for symbol. But the packaging upgrades its status: a scalar that vanishes in one frame vanishes in all. Local charge conservation is not a law that happens to hold frame-by-frame; it is a single frame-proof statement. This is the covariant closure the E6 treatment promised when it deferred "the four-dimensional reading" to this chapter. Under a standard boost the components mix exactly like $(ct,x)$ :

c\rho'=\gamma\,(c\rho-\beta J_x),\qquad J'_x=\gamma\,(J_x-\beta c\rho),\qquad J'_{y,z}=J_{y,z}, \qquad (5)

where: the first relation is the entire "magnetism from relativity" phenomenon in four symbols: feed it $\rho=0$ , $J_x\neq0$ (neutral wire) and out comes $\rho'\neq0$ — charged wire, no seven-step derivation. The second relation is its mirror: a static charge distribution ( $\mathbf{J}=0$ ) acquires a current $-\gamma\beta c\rho$ in the boosted frame, which is just the charges sailing backward. Derivation B cashes this in.

Go deeper · Derivation B · 2 minCovariant continuity and the two-line wire

Derivation BCovariant continuity and the two-line wire

We establish that $\partial_\mu J^\mu$ is a Lorentz scalar equal to zero, then demonstrate the machine's power by re-deriving, in two lines, the neutral-wire charge density that Magnetism as a Relativistic Effect assembled from proper densities and velocity addition. The strategy for the first part is pure index grammar — one upper and one lower index, contracted — plus the experimental input that conservation holds in at least one frame. The wire replay then needs nothing but the boost row (5). Watch the logic direction in part one: covariance does not prove conservation; it promotes conservation-in-one-frame to conservation-in-all.

Step 1. The contraction is a scalar. $\partial_\mu$ transforms with the inverse-transpose matrix (born covariant, chain rule) and $J^\mu$ with $\Lambda$ ; the contraction $\partial_\mu J^\mu$ therefore transforms with $\Lambda^{-1}\Lambda=\mathbb{1}$ — it is the same number in every frame, by the master theorem of Four-Vectors and the Metric Tensor.

Step 2. It vanishes in one frame. In the lab, expand: $\partial_\mu J^\mu=\frac1c\partial_t(c\rho)+\nabla\!\cdot\!\mathbf{J}=\partial_t\rho+\nabla\!\cdot\!\mathbf{J}$ , which experiment (and, deeper, the internal consistency of Maxwell's equations argued in The Continuity Equation) sets to zero.

Step 3. Therefore it vanishes in all frames: $\partial'_\mu J'^\mu=\partial_\mu J^\mu=0$ . Every inertial observer's charge ledger balances locally. A geometric reading for free: in spacetime, charge flows along worldlines, and (4) says these worldlines have no beginnings or ends — the four-flux of $J^\mu$ through any closed hypersurface is zero. Why is this not circular — didn't we build $J^\mu$ FROM invariant charge? No: invariance (same $Q$ , all frames) and conservation (same $Q$ , all times) are independent facts. The construction used invariance; conservation is an additional dynamical input here — until the field tensor makes it automatic, see below.

Step 4. The two-line wire, line one. The wire of Magnetism as a Relativistic Effect: neutral, carrying current — per unit length, $(c\lambda,I)=(0,\;\lambda u)$ with $\lambda=1.362\times10^4$ C/m and $u=0.75$ mm/s, so $I=10.2$ A. (Line densities transform like volume densities for boosts along the wire, since the transverse area is untouched.)

Step 5. Line two. Boost at $v$ along the current, apply (5): $c\lambda'=\gamma_v(0-\beta_vI)$ , i.e. $\lambda'=-\gamma_v\beta_v I/c=-\gamma_v\beta_u\beta_v\lambda$ . For $v=300$ m/s: $\lambda'=-3.41\times10^{-14}$ C/m — the identical number that took the companion article a page of proper densities, velocity addition, and the identity $\gamma_w=\gamma_u\gamma_v(1+uv/c^2)$ . The four-vector had it as one matrix row. (The current also shifts: $I'=\gamma_v(I-\beta_v\cdot0)=\gamma_vI$ — slightly more current in the moving frame, second-order at these speeds.) Verified: $-\gamma_v\beta_vI/c$ with $I=\lambda u$ reproduces $-\gamma_v(u/c)(v/c)\lambda$ identically — the exact result of the companion's Derivation B, confirmed there to 33 significant figures against the velocity-addition route. Expansion check of (4): $\partial_\mu J^\mu=\frac1c\cdot c\,\partial_t\rho+\partial_iJ^i=\partial_t\rho+\nabla\!\cdot\!\mathbf{J}$ ✓. Matches Griffiths §12.3.3 and Zangwill §22.3.

One forward pointer completes the arc. Downstream, $J^\mu$ takes its seat as the source: the four-potential of The Four-Potential obeys $\Box A^\mu=\mu_0J^\mu$ , and the field tensor of The Electromagnetic Field Tensor obeys $\partial_\mu F^{\mu\nu}=\mu_0J^\nu$ — where the antisymmetry of $F^{\mu\nu}$ will make $\partial_\mu J^\mu=0$ an automatic identity rather than an input, weaving charge conservation into the structure of the field equations themselves. That closure argument belongs to the field-tensor article and to Covariant Form of Maxwell's Equations; here it is only a promissory note in the other direction.

Figure

The two-line wire — the four-current boost row reproduces the page-long density bookkeeping of the companion article

Limiting cases

case	result	meaning
statics, $\mathbf{u}=0$	$J^\mu=(c\rho_0,\mathbf{0})$	pure timelike source — all of electrostatics lives in the top slot
neutral wire	$J^\mu=(0,\mathbf{J})$ , $J\!\cdot\!J=-\|\mathbf{J}\|^2<0$	spacelike: no frame stops the current; frames disagree on the sign of $\rho'$ — the magnetism-from-relativity configuration
single charge, speed $u$	$J^\mu=\gamma_u\rho_0(c,\mathbf{u})$	both slots scale with $\gamma_u$ ; invariant $c^2\rho_0^2$ plays the role rest mass plays for $p^\mu$
ultrarelativistic beam, $u\to c$	$c\rho\to\|\mathbf{J}\|$ , $J\!\cdot\!J\to c^2\rho_0^2$ fixed	components blow up together as $\gamma$ , their difference of squares pinned by the proper density
vacuum	$J^\mu=0$	source-free Maxwell equations — freely propagating waves, no conservation content

Pitfall: invariant charge does not mean invariant density

Common trapCharge is a scalar and its density is a component — never promote one to the other

The single most common error in covariant electrodynamics: writing $\rho'=\rho$ "because charge is Lorentz invariant." Invariance protects the integral $Q=\int\rho\,d^3x$ , not the integrand: under a boost, $\rho$ jumps by $\gamma$ (contracted volume) and additionally mixes with $J_x$ (relativity of simultaneity reshuffles which charge counts as "here now"). The two effects are the time-component transformation of a four-vector, nothing less. The mirror error also circulates: assuming $Q$ invariant because it is conserved. Conservation (same $Q$ at all times, one frame) and invariance (same $Q$ in all frames, one time) are logically independent — energy is conserved but not invariant; a hypothetical charge that scaled like energy could still be conserved. Electrodynamics needs, and experiment supplies, both.

Worked examples

1 · The copper wire's four-current, classified (confidence builder)

The 1 mm² copper wire of the companion article: $\lambda=1.362\times10^4$ C/m of mobile electrons drifting at $u=0.75$ mm/s against fixed ions, net current $I=10.2$ A. Write down $J^\mu$ per unit cross-section, classify it, and find the frame where the wire's density flips sign.

Step 1. Assemble. Current density $J=I/A=10.2/10^{-6}=1.02\times10^7$ A/m². The wire is neutral: $\rho=0$ . So $J^\mu=(0,\,1.02\times10^7,\,0,\,0)$ A/m² — the current points along $+x$ .

Step 2. Classify. $J^\mu J_\mu=c^2\rho^2-J^2=-(1.02\times10^7)^2<0$ : spacelike. No boost can reach a frame where the current vanishes — sensible, since the electrons' frame still has ions streaming backward. Yet this spacelike arrow is the sum of two timelike arrows: ions $(c\rho_+,0)$ and electrons $(-c\rho_+,-J)$ with $c\rho_+=c\lambda/A=4.08\times10^{18}$ A/m² — each species' time slot towers eleven orders of magnitude over the net current, and the ratio is no accident: $J/c\rho_+=u/c=\beta_u=2.5\times10^{-12}$ . The near-cancellation of two enormous timelike currents into one tiny spacelike one is the wire, said covariantly.

Step 3. The sign flip. Boost at $v$ along $+x$ : $c\rho'=\gamma_v(0-\beta_vJ)<0$ for any $v>0$ — negative density, as the companion found. Boost the other way ( $v<0$ ): $\rho'>0$ . The comoving-with-electrons frame and the lab straddle the neutrality point; "which sign is the wire charged?" has a different answer in every frame, exactly what a spacelike time-component does.

Step 4. Numbers at $v=300$ m/s: $\rho'=-\gamma_v\beta_vJ/c=-(10^{-6})(1.02\times10^7)/(3\times10^8)\approx-3.4\times10^{-8}$ C/m³, i.e. $\lambda'=\rho'A=\mathbf{-3.4\times10^{-14}}$ C/m — the two-line replay of Derivation B, third appearance, same number.

2 · An LHC bunch as a four-current (exam level)

One LHC bunch: $N=1.15\times10^{11}$ protons at $\gamma=6928$ (6.5 TeV), lab bunch length 7.55 cm. The machine holds 2808 bunches on a 26.66 km ring (revolution frequency 11245 Hz). Find the beam current, the bunch's rest-frame length, and the ratio of lab to proper charge density.

Step 1. Beam current — a pure counting exercise, no $\gamma$ : $I=N_{\text{tot}}\,e\,f_{\text{rev}}=(2808)(1.15\times10^{11})(1.602\times10^{-19})(11245)=\mathbf{0.58\ A}$ . A fully loaded LHC beam carries about the current of a phone charger — carried by protons at $0.99999999\,c$ .

Step 2. The bunch in its own frame. Length dilates going to the rest frame (the lab sees it contracted): $L_0=\gamma L_{\text{lab}}=6928\times0.0755=\mathbf{523\ m}$ . The 7.55 cm lab pancake is, to the protons, a half-kilometre-long thread — proper density is tiny.

Step 3. Density ratio. $\rho=\gamma\rho_0$ with $\gamma=6928$ : the lab density exceeds proper density by nearly four orders of magnitude, purely from contraction of the occupied volume. Check via the invariant: $J^\mu=\gamma\rho_0(c,\mathbf{u})$ gives $c^2\rho^2-J^2=c^2\rho^2(1-\beta^2)=c^2\rho^2/\gamma^2=c^2\rho_0^2$ ✓ — the mass-shell identity, in charge.

Step 4. The conservation reading. Each bunch carries $Q=Ne=18.4$ nC in every frame — the analysis frame of the detector, the proton rest frame, the lab — while $\rho$ , $\mathbf{J}$ , bunch length, and density profile all differ wildly between them. Beam physicists switch frames constantly (space-charge forces are computed in the rest frame, wall interactions in the lab); the four-current is the object that makes the switching mechanical.

Going further

Reading. Griffiths, Introduction to Electrodynamics, 4th ed., §12.3.3 — the four-current in the track's home notation. Jackson, Classical Electrodynamics, 3rd ed., §11.9 — the covariant source formalism. Zangwill, Modern Electrodynamics, §22.3. Purcell & Morin, Electricity and Magnetism, 3rd ed., Ch. 5 — charge invariance and the wire, the physical soil this formalism grows from.

Provenance. Definitions, the continuity equation, and tensor Maxwell equations follow Griffiths §12.3.3–12.3.4, Jackson §11.9, and Zangwill §22.3. A verifier should: (1) expand $\partial_\mu J^\mu$ with $\partial_\mu=(\tfrac1c\partial_t,\nabla)$ and confirm it reduces to $\partial_t\rho+\nabla\!\cdot\mathbf{J}$ ; (2) check the boost formulas $\bar\rho=\gamma(\rho-vJ_x/c^2)$ , $\bar J_x=\gamma(J_x-v\rho)$ against a standard Lorentz transformation of a four-vector; (3) verify $J^\mu J_\mu=c^2\rho^2-|\mathbf J|^2$ using signature $(+,-,-,-)$ ; (4) confirm the antisymmetry argument for charge conservation. No empirical constants beyond $c$ and $\mu_0$ are used. Addendum for this edition: item (4)'s antisymmetry argument is owned by The Electromagnetic Field Tensor per the chapter's division of labor and appears here only as a forward pointer; the wire numerics ( $\lambda'=-3.41\times10^{-14}$ C/m at $v=300$ m/s, $I=10.2$ A, $J=1.02\times10^7$ A/m²) are shared verbatim with Magnetism as a Relativistic Effect and were verified there to 33 significant figures against the velocity-addition route; LHC numbers ( $I=0.58$ A, $\gamma=6928$ , rest-frame bunch length 523 m, 18.4 nC/bunch) recomputed from public machine parameters for this edition.

Continue with. The Four-Potential — the field-side four-vector $J^\mu$ sources via $\Box A^\mu=\mu_0J^\mu$ . The Electromagnetic Field Tensor — where $\partial_\mu F^{\mu\nu}=\mu_0J^\nu$ makes charge conservation automatic. Magnetism as a Relativistic Effect — the physics this formalism compresses. Prerequisites: Four-Vectors and the Metric Tensor · Lorentz Transformations · Proper Time and Four-Velocity · Spacetime and Minkowski Geometry.

Is the four-current a four-vector by definition or by physics?

By physics — and the distinction matters. Anyone can gather four numbers into a list; nothing guarantees the list transforms like $x^\mu$ . The four-vector character of $J^\mu$ is established by the construction $\rho_0u^\mu$ : it requires charge invariance (an experimental fact, tested to $10^{-21}e$ ), and it requires that real currents decompose into carrier bundles whose flows superpose. If charge picked up a velocity dependence, $(c\rho,\mathbf{J})$ would still be four numbers — but boosting them with $\Lambda$ would give wrong answers, and covariant electrodynamics would collapse. The formalism is a bet on an experimental fact, which is exactly what makes it contentful.

Why does the neutral wire's charge density depend on the observer but a point charge's total charge does not?

Because they are different kinds of quantity. Total charge is an integral count — add up elementary charges, get an invariant. Charge density is a component of a four-vector — a projection onto one observer's time axis, as frame-dependent as "the x-component" of any arrow. The neutral wire dramatizes this because its four-current is spacelike: like a spacelike interval, whose time-order different frames read differently, a spacelike current's density changes sign across frames. There is genuinely no fact of the matter about "the" charge of the wire per length — only facts about $J^\mu$ and about what each specified observer measures.

Does ∂_μ J^μ = 0 prove charge conservation from relativity alone?

No — read the logic of Derivation B carefully. Covariance shows $\partial_\mu J^\mu$ is a scalar, so if it vanishes in one frame it vanishes in all: relativity globalizes conservation, it does not create it. The vanishing itself is dynamical input — experimental at this article's level, structural once the field equations arrive: $\partial_\mu F^{\mu\nu}=\mu_0J^\nu$ with antisymmetric $F$ forces $\partial_\nu\partial_\mu F^{\mu\nu}\equiv0$ , hence $\partial_\mu J^\mu=0$ as an identity. At that point (the field-tensor article) charge conservation becomes non-negotiable: a source that violated it simply could not couple to the electromagnetic field consistently.

The invariant J·J = c²ρ₀² — what is ρ₀ for a system with several kinds of carrier?

For a single species, $\rho_0$ is the honest rest-frame density and the formula is exact. For multi-species sources the invariant $J^\mu J_\mu$ still exists (any four-vector has one) but it is no longer $c^2\times$ (anyone's rest density) — the neutral wire has $J\!\cdot\!J=-|\mathbf{J}|^2$ , negative, with no rest frame at all. The correct general statement: each species carries its own $\rho_{0s}$ and $u_s^\mu$ , the total is the sum, and the total's invariant is whatever the sum yields, with sign classifying whether a current-free frame exists (timelike yes, spacelike no). Treating $c\rho_0$ as "the invariant length of any $J^\mu$ " is a single-species luxury.

Why do we need charge invariance as a separate experimental input — doesn't conservation already imply it?

It does not, and energy is the standing counterexample: perfectly conserved in every inertial frame, yet famously frame-dependent ( $E=\gamma mc^2$ ). A world where charge transformed like an energy — conserved within each frame but $\gamma$ -scaled between frames — is logically coherent; it is just not our world. The H $_2$ -versus-He comparison is the clean test precisely because it holds the constituent count fixed while varying the internal proton speeds: identical counts, different $\gamma$ 's, and the neutrality of both to $<10^{-21}e$ kills any velocity dependence at fantastic precision. Invariance is nature's gift; the four-current formalism is what physics looks like after gratefully accepting it.

In practice, when do I transform ρ and J with the boost formulas versus rebuilding them from carrier motion?

Always transform — that is the machine's entire value. Rebuilding from carrier kinematics (proper densities, velocity addition) is the pedagogical route: it shows why the mixing happens, and Magnetism as a Relativistic Effect walks it once so you trust the formalism. But it is slow, error-prone (the $\gamma_u$ bookkeeping), and unnecessary once $J^\mu$ 's four-vector character is certified. The professional workflow: establish $J^\mu$ in whatever frame makes the physics simplest (usually where some species rests), then apply $\Lambda$ mechanically for any other frame. Reserve the microscopic rebuild for checking a result you distrust — as this article did, three routes to $\lambda'=-3.41\times10^{-14}$ C/m.

Is the four-current related to the probability current of quantum mechanics?

Directly — same grammar, different substance. The Schrödinger probability current $(\rho_{\text{prob}},\mathbf{j})$ obeys a continuity equation for probability conservation; its relativistic upgrades (Klein–Gordon, Dirac) are genuine four-vectors $j^\mu$ with $\partial_\mu j^\mu=0$ , and multiplying by charge $q$ turns them into the charge four-current that couples to the electromagnetic field. In quantum field theory this becomes the master pattern: Noether's theorem converts every continuous symmetry into a conserved four-current, and the electromagnetic $J^\mu$ is the one generated by phase symmetry. The object built in this article from wires and beams is the classical limit of that structure — which is why its conservation law survives every revolution physics has had since.