Magnetism as a Relativistic Effect

Hold a compass near a current-carrying wire and the needle swings. The wire is electrically neutral — put an electroscope on it and nothing happens — yet it reaches out and moves a magnet. Where does that force come from? Here is the answer, and it is one of the most startling results in physics. Charge is a Lorentz invariant. Charge density is not. Density is charge per unit length, and length contracts. So a wire that is exactly neutral in the laboratory — positive lattice and electron sea cancelling to the last coulomb — is not neutral in the frame of a charge moving alongside it. The two lattices move at different speeds in that frame, contract by different factors, and the cancellation fails. The wire acquires a net line charge and pushes on the test charge electrostatically. That electrostatic push, transformed back to the lab, is the magnetic force qv⃗×B⃗q\vec v\times\vec B. Not "analogous to". Not "equal in magnitude". It is the same force, seen from a different frame. Magnetism is what Coulomb's law looks like after a boost. The number that makes it possible is why this article's portrait is drift velocity. In a copper wire of 1 mm21\ \mathrm{mm^2} carrying 1 A1\ \mathrm{A}, the conduction electrons crawl at vd=7.34×10−5 m s−1v_d = 7.34\times10^{-5}\ \mathrm{m\,s^{-1}} — seventy-three micrometres per second, so βd=2.45×10−13\beta_d = 2.45\times10^{-13} and the effect is of order β2∼10−25\beta^2 \sim 10^{-25}. Utterly negligible, you would think. But each lattice carries λ0=1.36×104 C m−1\lambda_0 = 1.36\times10^{4}\ \mathrm{C\,m^{-1}} — thirteen thousand coulombs in every metre of wire. Multiply a 10−2010^{-20} fractional imbalance by thirteen kilocoulombs and you get a force you can feel with your hand. Magnetism is the collective relativity of a mole of very slow charges.

Key takeaways
  • Signature (+,−,−,−)(+,-,-,-), η=diag(+1,−1,−1,−1)\eta = \mathrm{diag}(+1,-1,-1,-1), p⋅p=+m2c2p\cdot p = +m^2c^2. mm is the invariant rest mass throughout.
  • Charge is invariant; charge density is not. qq is a Lorentz scalar, but λ=q/L\lambda = q/L inherits the contraction of LL: a lattice of proper density λpr\lambda_{\rm pr} moving at speed ww has line density λ=γw λpr\boxed{\lambda = \gamma_w\,\lambda_{\rm pr}}.
  • Boost a lab-neutral wire (current II) into the frame of a test charge moving at uu parallel to it. The two lattices then move at different speeds, contract by different factors, and no longer cancel: λnet′=− γu u Ic2\boxed{\lambda'_{\rm net} = -\,\dfrac{\gamma_u\,u\,I}{c^2}}.
  • Owned result: that expression is EXACT, not leading-order. Every γvd\gamma_{v_d} cancels identically. The AllQFT base prints it as an O(vd2/c2)O(v_d^2/c^2) approximation, inside a mangled boxed formula. It is exact.
  • The induced line charge sources a pure electric field Er′=λnet′/2πε0r=−γuuBϕE'_r = \lambda'_{\rm net}/2\pi\varepsilon_0 r = -\gamma_u u B_\phi, so the test charge feels F⊥′=qEr′F'_\perp = qE'_r — electrostatics, nothing else.
  • Transform back with the transverse-force law F⊥=F⊥′/γu\boxed{F_\perp = F'_\perp/\gamma_u} (a real transformation, not a hand-wave) and out comes F⊥=−quBϕF_\perp = -q u B_\phi, Bϕ=μ0I/2πrB_\phi = \mu_0 I/2\pi r — the magnetic force, exactly.
  • Key idea: a (v/c)2(v/c)^2 effect times Avogadro's number of carriers is an ordinary macroscopic force. In copper the fractional charge imbalance is about 8×10−208\times10^{-20} — and that is enough, because each lattice carries 13 600 coulombs per metre. Magnetism is not a separate force. It is Coulomb's law plus length contraction, amplified by a mole.
The core insight

The wire is neutral in the lab because the ion lattice's line density and the electron sea's line density happen to cancel there. But those are two different lattices moving at two different speeds, so their densities are set by two different Lorentz factors. Change frame and both factors change — by different amounts. The cancellation was a coincidence of one particular frame, and relativity does not preserve coincidences. What survives is the charge, which is invariant; what does not survive is the neutrality, which is not.

Where this lives today

The wire argument is usually filed under pedagogy, but the physics it exposes is load-bearing wherever the carriers are not slow. In an accelerator, a bunch of 101110^{11} protons at γ∼7000\gamma \sim 7000 is a line charge whose Coulomb field, boosted, becomes an intense magnetic field — and the two forces very nearly cancel. The electric field of the bunch pushes the protons apart; the magnetic field of the same bunch, which is nothing but that electric field seen from the lab, pulls them together; and the net space-charge defocusing goes like 1/γ21/\gamma^2. That is the wire calculation run backwards, and it is why high-energy beams are so much easier to hold together than low-energy ones. Space-charge codes compute it from the field transformation, not from Biot–Savart, because at γ∼103\gamma \sim 10^3 the "magnetic" and "electric" labels have stopped meaning anything frame-independent. The same reasoning drains the mystery out of the unipolar generator and the homopolar disc, machines that caused a century of confusion precisely because observers disagreed about whether the electromotive force was electric or magnetic. There is no fact of the matter. There is only a fact about the force. And the philosophical prize is large. Relativity plus Coulomb's law implies magnetism. You do not get to postulate the magnetic field independently; given special relativity and a static interaction between invariant charges, it is forced. Relativity is not a correction to electromagnetism but its explanation — which is why the electromagnetic sector of the Standard Model contains a single gauge field, not two. What is invariant is the field tensor of The Electromagnetic Field Tensor and the two scalars of Electromagnetic Field Invariants; everything else is a choice of observer.

The physical picture

Set up the wire the way Purcell did. In the laboratory frame SS the wire lies along x^\hat x: a lattice of positive ions at rest with line charge density +λ0+\lambda_0, and a sea of conduction electrons drifting at −vdx^-v_d\hat x (electrons are negative, so drifting backwards makes conventional current flow forwards) with line charge density −λ0-\lambda_0. The densities are equal and opposite: the wire is exactly neutral, and the current is I=λ0vdI = \lambda_0 v_d along +x^+\hat x. Now send a test charge qq past the wire at velocity ux^u\hat x, at perpendicular distance rr. In the lab there is no electric field, so all the force on qq must be magnetic: F⃗=q u⃗×B⃗\vec F = q\,\vec u\times\vec B. Go to the test charge's rest frame S′S'. Here qq is at rest, so it cannot feel a magnetic force at all — qv⃗×B⃗q\vec v\times\vec B with v⃗=0\vec v = 0 is exactly zero. Whatever force it feels must be electric. If the wire were still neutral there would be no force and qq would not accelerate — contradicting the lab, where it plainly does. So the wire cannot be neutral in S′S'. And it is not. In S′S' the ions stream backwards at −u-u, so their lattice contracts and their density goes up. The electrons, already moving against uu, move faster in S′S' than in the lab, so their density goes up too. Both rise — but not by the same factor, and the residue is a genuine net line charge. It is negative when uu points along the current, so it attracts a positive test charge: precisely the direction of the lab magnetic force, and precisely why parallel currents attract.

Figure
THE MECHANISM — a lab-neutral wire is NOT neutral to a moving charge. LAB: ions at rest (density +λ₀), electrons drifting at −v_d (density −λ₀) — they cancel exactly, the wire is neutral, and the only force on q is magnetic. TEST-CHARGE FRAME: the ions now stream backwards at −u and CONTRACT; the electrons move at the relativistically-added velocity, faster than before, and contract MORE. Both densities rise — but by DIFFERENT factors. The residue λ'_net = −γ_u u I/c² is a real, negative line charge, and it pulls q in ELECTROSTATICALLY. Same force. Different frame.
LAB FRAME S — the wire is EXACTLY neutral, so the force on q is purely MAGNETIC ions (at rest) λ₊ = +λ₀ electrons (drift −v_d) λ₋ = −λ₀ test charge q, speed u → u λ_net = 0 · E = 0 · force = q u × B only TEST-CHARGE FRAME S′ — q is AT REST, so it CANNOT feel a magnetic force. Yet it accelerates. ions (now stream at −u) CONTRACTED → λ₊′ = γ_u λ₀ electrons (FASTER in S′) CONTRACTED MORE → |λ₋′| = γ_u λ₀ (1 + u v_d /c²) q at rest — v = 0, so qv×B = 0 identically MORE electrons than ions THE RESIDUE — exact, to all orders λ′₊ = γ_u λ₀ λ′₋ = −γ_u λ₀ (1 + u v_d /c²) λ′_net = −γ_u λ₀ u v_d /c² = −γ_u u I /c² NEGATIVE ⇒ attracts a positive q moving WITH the current. Parallel currents attract. No expansion in v_d/c was used. This is exact. AND BACK TO THE LAB E′_r = λ′_net /2πε₀r = −γ_u u B_φ F′_⊥ = q E′_r (pure electrostatics) F_⊥ = F′_⊥ /γ_u ← transverse-force law F_⊥ = −q u B_φ , B_φ = μ₀I/2πr THE MAGNETIC FORCE. Exactly. The γ_u does not "cancel" — it is transformed away.

The core equations

Everything rests on one asymmetry between charge and charge density.

  q=Lorentz invariant  but  λ=γw λpr  (1)\boxed{\;q = \text{Lorentz invariant}\;} \qquad\text{but}\qquad \boxed{\;\lambda = \gamma_w\,\lambda_{\rm pr}\;} \qquad (1)

where: λpr\lambda_{\rm pr} — the proper line charge density, measured where the lattice is at rest; γw=(1−w2/c2)−1/2\gamma_w = (1-w^2/c^2)^{-1/2} with ww the lattice's speed in the frame of interest. Physical reading: the charge on a segment does not change, but the segment's length does. Contract the length by 1/γw1/\gamma_w and the charge per unit length rises by γw\gamma_w. Charge invariance is what makes this work — a separate, load-bearing fact, established in Charge Invariance and Continuity. Boosting the lab-neutral wire into the test charge's frame gives the induced density. This is the article's owned result, and it is exact:

  λnet′  =  − γu u λ0vdc2  =  − γu u Ic2  (no approximation)(2)\boxed{\;\lambda'_{\rm net} \;=\; -\,\frac{\gamma_u\, u\, \lambda_0 v_d}{c^2} \;=\; -\,\frac{\gamma_u\, u\, I}{c^2}\;} \qquad\text{(no approximation)} \qquad (2)

where: uu — the test charge's lab speed, parallel to the wire; γu=(1−u2/c2)−1/2\gamma_u = (1-u^2/c^2)^{-1/2}; I=λ0vdI = \lambda_0 v_d — the lab current. Physical reading: every γvd\gamma_{v_d} cancels. The electrons' proper density carries a 1/γvd1/\gamma_{v_d} and their boosted Lorentz factor carries a γvd\gamma_{v_d}; the two annihilate exactly. Nothing is truncated at order β2\beta^2 — the result holds at any uu and any vdv_d, right up to cc. The base article's claim that this is a leading-order statement is simply wrong. The residue is an ordinary line charge, so it makes an ordinary Coulomb field. Distances perpendicular to the boost are unchanged, so r′=rr' = r:

Er′  =  λnet′2πε0r  =  − γu u I2πε0c2r  =  − γu u Bϕ ,Bϕ=μ0I2πr(3)E'_r \;=\; \frac{\lambda'_{\rm net}}{2\pi\varepsilon_0 r} \;=\; -\,\frac{\gamma_u\, u\, I}{2\pi\varepsilon_0 c^2 r} \;=\; -\,\gamma_u\, u\, B_\phi\ , \qquad B_\phi = \frac{\mu_0 I}{2\pi r} \qquad (3)

where: BϕB_\phi — the lab magnetic field of the wire, μ0ε0=1/c2\mu_0\varepsilon_0 = 1/c^2. Physical reading: the pure electric field the moving observer measures is γuu\gamma_u u times the pure magnetic field the lab measures — the transverse field-transformation law, whose general form belongs to Transformation of Electric and Magnetic Fields, here reproduced by hand from length contraction alone. Finally the two frames are reconciled by a real transformation, not by a hand-wave:

  F⊥  =  F⊥′γu  (particle at rest in S′)⟹  F⊥  =  − q u Bϕ  =  − μ0 q u I2πr  (4)\boxed{\;F_\perp \;=\; \frac{F'_\perp}{\gamma_u}\;}\quad(\text{particle at rest in }S') \qquad\Longrightarrow\qquad \boxed{\;F_\perp \;=\; -\,q\,u\,B_\phi \;=\; -\,\frac{\mu_0\, q\, u\, I}{2\pi r}\;} \qquad (4)

where: the general transverse-force law is Fy=Fy′/[γ(1+uvx′/c2)]F_y = F'_y/[\gamma(1 + u v'_x/c^2)], collapsing to F⊥=F⊥′/γuF_\perp = F'_\perp/\gamma_u for a particle momentarily at rest in S′S'. Physical reading: the minus sign is an attraction — a positive charge moving with the current is pulled toward the wire, the standard right-hand-rule result and the reason parallel currents attract. This is the magnetic force, derived without ever assuming a magnetic force exists.

Why a neutral wire is not neutral

Derivation AThe induced line charge, computed exactly with no expansion in the drift speed

The base article computes this "to leading order in vd/cv_d/c" and prints a boxed formula with literal English prose inside the mathematics. Neither is necessary, and the reason is worth seeing: the electrons' proper density and their boosted Lorentz factor each carry a factor γvd\gamma_{v_d}, in opposite places, and those factors cancel identically. What is left is a closed-form line charge with no small parameter anywhere in it — exact at any drift speed, right up to cc.

Step 1. Fix the lab. Ions at rest, lab line density +λ0+\lambda_0. Electrons drifting at −vdx^-v_d\hat x, lab line density −λ0-\lambda_0. Net lab density zero; current I=λ0vdI = \lambda_0 v_d along +x^+\hat x. Why: neutrality is imposed <strong>in the lab</strong>. That is the whole point — it is a frame-specific statement, and the derivation exists to show it does not survive a boost.

Step 2. Extract the proper densities, which are what actually transform. The ions are at rest in the lab, so their proper density is their lab density: λ+,pr=+λ0\lambda_{+,\rm pr} = +\lambda_0. The electrons are moving in the lab at speed vdv_d, so their lab density is already contracted by γvd≡γd\gamma_{v_d} \equiv \gamma_d: hence λ−,pr=−λ0/γd\lambda_{-,\rm pr} = -\lambda_0/\gamma_d. Why: <strong>this is the step people skip, and the whole answer hinges on it.</strong> The electron sea is denser in the lab than at rest, because the lab already sees it moving.

Step 3. Find each lattice's velocity in S′S', the frame moving at +ux^+u\hat x. The ions: v+′=−uv'_+ = -u, so γ+′=γu\gamma'_+ = \gamma_u. The electrons: velocity addition gives v−′=−vd−u1+uvd/c2v'_- = \dfrac{-v_d - u}{1 + u v_d/c^2}, which is more negative than −vd-v_d — they move faster in the test charge's frame than in the lab. Why: they were already running against uu, so boosting in the +u+u direction speeds them up further. Their contraction gets stronger, not weaker.

Step 4. Use the composition identity for Lorentz factors. For v′=(v−u)/(1−uv/c2)v' = (v-u)/(1-uv/c^2) one has γ(v′)=γu γv (1−uv/c2)\gamma(v') = \gamma_u\,\gamma_v\,(1 - uv/c^2). With v=−vdv = -v_d this reads \gamma'_- \;=\; \gamma_u\,\gamma_d\left(1 + \frac{u v_d}{c^2}\right). Why: this is the identity that makes the calculation exact. It is not an approximation and it needs no expansion — it is an algebraic consequence of the velocity-addition law.

Step 5. Assemble the two densities in S′S', each being γ′×\gamma' \times (its proper density): \lambda'_+ = \gamma_u\,\lambda_0, \qquad \lambda'_- = \gamma'_-\,\lambda_{-,\rm pr} = \gamma_u\gamma_d\left(1+\frac{uv_d}{c^2}\right)\cdot\left(-\frac{\lambda_0}{\gamma_d}\right) = -\,\gamma_u\lambda_0\left(1+\frac{uv_d}{c^2}\right). Why: <strong>watch the γd\gamma_d die.</strong> It appears once in the boosted factor and once, inverted, in the proper density; their product is 1. This is why no expansion in vd/cv_d/c is ever needed, and why the base's "to leading order" caveat is not merely unnecessary but misleading.

Step 6. Add them. \lambda'_{\rm net} = \gamma_u\lambda_0 - \gamma_u\lambda_0\left(1+\frac{uv_d}{c^2}\right) = \boxed{-\,\frac{\gamma_u\,\lambda_0 u v_d}{c^2} = -\,\frac{\gamma_u\, u\, I}{c^2}} Why: the wire is <strong>negatively</strong> charged in the test charge's frame when uu runs along the current. The two lattices did not merely fail to cancel — they failed by a specific, exactly computable amount, proportional to the current. *Verified in verify_aq-sr-magnetism-relativistic-effect.py: the γ−′\gamma'_- composition identity symbolically; λnet′=−γuuI/c2\lambda'_{\rm net} = -\gamma_u u I/c^2 symbolically with uu and vdv_d both free and no series expansion; and numerically at 300 random (u,vd,λ0,q,r)(u, v_d, \lambda_0, q, r) with u,vdu, v_d up to 0.99c0.99c.*

Go deeper · Derivation B · 2 minFrom the induced charge to the magnetic force, doing the transverse-force transformation properly
Derivation BFrom the induced charge to the magnetic force, doing the transverse-force transformation properly

Now the payoff. In S′S' the test charge is at rest, so the only force it can feel is electric — and we have just computed the charge that produces it. Getting back to the lab requires the relativistic transformation of a transverse force, which the base article dismisses with the phrase "cancels when comparing physical accelerations." It does not cancel by fiat. It is a transformation law, it has a derivation, and it delivers exactly the factor needed — no more, no less.

Step 1. Field of the induced line charge, in S′S'. A line charge λnet′\lambda'_{\rm net} makes Er′=λnet′/(2πε0r′)E'_r = \lambda'_{\rm net}/(2\pi\varepsilon_0 r'). Transverse distances are not contracted, so r′=rr' = r: E'_r = -\frac{\gamma_u u I}{2\pi\varepsilon_0 c^2 r}. Why: Gauss's law in S′S', applied to a static line charge. Elementary electrostatics — no magnetism has been invoked anywhere.

Step 2. Rewrite it using μ0=1/(ε0c2)\mu_0 = 1/(\varepsilon_0 c^2): E'_r = -\,\gamma_u\, u\,\frac{\mu_0 I}{2\pi r} = -\,\gamma_u\, u\, B_\phi. Why: Bϕ=μ0I/2πrB_\phi = \mu_0 I/2\pi r is the lab magnetic field of the wire, so the moving observer's <strong>purely electric</strong> field is γuu\gamma_u u times the lab observer's <strong>purely magnetic</strong> field — the transverse field-transformation law of Transformation of Electric and Magnetic Fields, here derived from length contraction and nothing else.

Step 3. The force in S′S' is pure electrostatics: F⊥′=qEr′=−γu q u BϕF'_\perp = q E'_r = -\gamma_u\, q\, u\, B_\phi. Why: qq is at rest in S′S', so qv⃗×B⃗q\vec v\times\vec B vanishes identically there whatever B⃗′\vec B' happens to be. Every bit of the force is Coulombic.

Step 4. Transform the force back. The relativistic law for a force transverse to the boost is Fy=Fy′γu(1+uvx′/c2)F_y = \dfrac{F'_y}{\gamma_u\left(1 + u v'_x/c^2\right)}. The test charge is momentarily at rest in S′S', so vx′=0v'_x = 0 and this collapses to \boxed{F_\perp = \frac{F'_\perp}{\gamma_u}}. Why: <strong>this is the step the base waves away.</strong> The transverse force is not invariant — it is reduced by γ\gamma when you go from the particle's rest frame to a frame in which it moves. That reduction is a theorem about dp⃗/dt\mathrm{d}\vec p/\mathrm{d}t, and it is exactly what removes the γu\gamma_u that the induced charge density brought in.

Step 5. Collect. F_\perp = \frac{-\gamma_u\, q\, u\, B_\phi}{\gamma_u} = \boxed{-\,q\, u\, B_\phi} = -\,\frac{\mu_0\, q\, u\, I}{2\pi r}. Why: <strong>this is qu⃗×B⃗q\vec u\times\vec B</strong>, magnitude and sign, obtained from Coulomb's law, charge invariance, length contraction and the force transformation — with no magnetic postulate anywhere in the chain.

Step 6. Check the sign independently. In the lab, wire along x^\hat x with II in +x^+\hat x, charge at r⃗=ry^\vec r = r\hat y: the Ampère field is B⃗=Bϕz^\vec B = B_\phi\hat z, and F⃗=qu⃗×B⃗=quBϕ (x^×z^)=− quBϕ y^\vec F = q\vec u\times\vec B = q u B_\phi\,(\hat x\times\hat z) = -\,q u B_\phi\,\hat y — toward the wire, matching Step 5. Why: two independent routes, one signed answer. Had the relativistic route produced +quBϕ+q u B_\phi, the derivation would be repudiated by a compass. *Verified in verify_aq-sr-magnetism-relativistic-effect.py: Er′=−γuuBϕE'_r = -\gamma_u u B_\phi and F⊥=F⊥′/γu=−quBϕF_\perp = F'_\perp/\gamma_u = -quB_\phi symbolically; and the lab cross-product x^×z^=−y^\hat x\times\hat z = -\hat y computed explicitly, so the attraction is asserted, not assumed.*

Figure
WHY A 10⁻²⁵ EFFECT IS A FORCE YOU CAN FEEL — the drift-velocity punchline. In copper the electrons crawl at 73 µm/s, so β_d = 2.4 × 10⁻¹³ and β_d² ≈ 6 × 10⁻²⁶. The fractional charge imbalance a 100 m/s test charge sees is only 8.2 × 10⁻²⁰. But each lattice carries 13 619 COULOMBS per metre — matter is made of charges that almost exactly cancel — and 8.2 × 10⁻²⁰ × 13 619 C/m = 1.1 × 10⁻¹⁵ C/m of real, uncancelled line charge. That is the entire magnetic force. Magnetism is the residue of a near-cancellation, amplified by Avogadro's number.
Copper, 1.00 mm², 1.00 A · test charge 1.00 µC at u = 100 m/s, r = 1.00 cm ABSURDLY SMALL v_d = 7.343 × 10⁻⁵ m/s 73 micrometres per second β_d = 2.449 × 10⁻¹³ β_d² ≈ 6 × 10⁻²⁶ fractional imbalance 8.17 × 10⁻²⁰ the two lattices agree to nineteen decimal places × ABSURDLY LARGE n = 8.5 × 10²⁸ e⁻/m³ λ₀ = n e A = 13 619 C / metre in EACH lattice, + and − a lightning stroke moves a few coulombs in TOTAL Matter is made of charges that almost exactly cancel. = A REAL FORCE λ′_net = −1.113 × 10⁻¹⁵ C/m E′ = −2.00 mV/m F = 2.00 nN and quB_φ = 2.00 nN B_φ = 20.0 µT — about 40% of Earth's field A (v/c)² effect × Avogadro-scale carrier counts = ordinary macroscopic physics. That product is why Ørsted's needle moved. The two routes — relativistic induced charge, and the lab magnetic force quB — agree to every figure carried.

Limiting cases

CaseResultMeaning
u→0u \to 0 (test charge at rest)λnet′→0\lambda'_{\rm net} \to 0, F⊥→0F_\perp \to 0a stationary charge feels nothing. Magnetism needs both currents moving
I→0I \to 0 (no current)λnet′=0\lambda'_{\rm net} = 0 in every framea neutral, currentless wire is neutral to everyone
vd→0v_d \to 0 at fixed IIλnet′=−γuuI/c2\lambda'_{\rm net} = -\gamma_u u I/c^2, unchangedthe force does not care how slowly the carriers move — only about I=λ0vdI = \lambda_0 v_d
u≪cu \ll cγu→1\gamma_u \to 1, F⊥→−quμ0I/2πrF_\perp \to -q u \mu_0 I/2\pi rthe textbook quBquB. The relativistic machinery leaves no residue
u→cu \to cγu→∞\gamma_u \to \infty, but F⊥=−quBϕF_\perp = -quB_\phi stays finitethe induced charge diverges and the force transformation divides it back out
uu reversed (−u-u)λnet′>0\lambda'_{\rm net} > 0the wire looks positively charged; the force repels. Antiparallel currents repel
lab-frame charged wireextra γuλlab\gamma_u \lambda_{\rm lab} termthen there is a lab electric force too, and the two add. Our wire is neutral by construction

Worked examples

1 · A real copper wire, and the imbalance you would have to measure

A copper wire of cross-section A=1.00 mm2A = 1.00\ \mathrm{mm^2} carries I=1.00 AI = 1.00\ \mathrm{A}. Copper has n=8.5×1028n = 8.5\times10^{28} conduction electrons per cubic metre. A charge q=1.00 μCq = 1.00\ \mathrm{\mu C} passes at u=100 m s−1u = 100\ \mathrm{m\,s^{-1}}, at r=1.00 cmr = 1.00\ \mathrm{cm}. Find the drift speed, the induced line charge, the fractional charge imbalance, and the force — and show that it is the ordinary magnetic force.

Step 1 — identify. Neutral wire, test charge moving parallel to it: equations (2)–(4) apply verbatim. The only inputs are nn, AA, II, uu, rr.

Step 2 — the charge in the wire, and the drift speed. Each lattice carries λ0=neA=(8.5×1028)(1.602177×10−19)(1.00×10−6)=1.36185×104 C m−1\lambda_0 = n e A = (8.5\times10^{28})(1.602177\times10^{-19})(1.00\times10^{-6}) = \mathbf{1.36185\times10^{4}\ \mathrm{C\,m^{-1}}} — 13 619 coulombs per metre, where a lightning stroke moves a few coulombs in total. Then vd=I/λ0=1.00/1.36185×104=7.343×10−5 m s−1v_d = I/\lambda_0 = 1.00/1.36185\times10^{4} = \mathbf{7.343\times10^{-5}\ \mathrm{m\,s^{-1}}}, so βd=vd/c=2.449×10−13\beta_d = v_d/c = \mathbf{2.449\times10^{-13}}. The electrons crawl at 73 micrometres per second.

Step 3 — the induced line charge. γu=1.000 000\gamma_u = 1.000\,000 to twelve figures at 100 m s−1100\ \mathrm{m\,s^{-1}}, so \lambda'_{\rm net} = -\frac{\gamma_u u I}{c^2} = -\frac{(1.000000)(100)(1.00)}{8.98755\times10^{16}} = \mathbf{-1.1127\times10^{-15}\ \mathrm{C\,m^{-1}}}.

Step 4 — the fractional imbalance. Compare it with the charge actually there: \frac{|\lambda'_{\rm net}|}{\lambda_0} = \frac{1.1127\times10^{-15}}{1.36185\times10^{4}} = \mathbf{8.17\times10^{-20}}. In the test charge's frame the two lattices agree to nineteen decimal places — and that residual disagreement is the entire magnetic force.

Step 5 — the boundary number. Er′=λnet′/2πε0r=−2.00×10−3 V m−1E'_r = \lambda'_{\rm net}/2\pi\varepsilon_0 r = \mathbf{-2.00\times10^{-3}\ \mathrm{V\,m^{-1}}}, so F⊥′=qEr′=−2.00×10−9 NF'_\perp = qE'_r = \mathbf{-2.00\times10^{-9}\ \mathrm{N}}, and with γu=1\gamma_u = 1 the lab force is the same, toward the wire. Check against magnetism: Bϕ=μ0I/2πr=2.00×10−5 T=20.0 μTB_\phi = \mu_0 I/2\pi r = \mathbf{2.00\times10^{-5}\ T} = 20.0\ \mathrm{\mu T} (about 40% of the Earth's field — which is why Ørsted's compass swung), and quBϕ=(1.00×10−6)(100)(2.00×10−5)=2.00×10−9 Nq u B_\phi = (1.00\times10^{-6})(100)(2.00\times10^{-5}) = \mathbf{2.00\times10^{-9}\ \mathrm{N}}. Identical. The relativistic route and the magnetic route agree to every figure carried.

2 · The same wire at u=0.6cu = 0.6c, where the γ\gamma is not decoration

Now send the same 1.00 μC1.00\ \mathrm{\mu C} charge past the same wire at u=0.6cu = 0.6c. Here γu=1.25\gamma_u = 1.25 and the transverse-force factor does visible work — this is the case that exposes whether you actually did Step 4 of the second derivation or merely asserted it.

Step 1 — identify. Nothing changes except uu. γu=1/1−0.36=1/0.8=1.25\gamma_u = 1/\sqrt{1-0.36} = 1/0.8 = \mathbf{1.25}, and u=0.6c=1.79875×108 m s−1u = 0.6c = 1.79875\times10^{8}\ \mathrm{m\,s^{-1}}.

Step 2 — the induced charge, now γ\gamma-enhanced. \lambda'_{\rm net} = -\frac{\gamma_u u I}{c^2} = -\frac{(1.25)(1.79875\times10^{8})(1.00)}{8.98755\times10^{16}} = \mathbf{-2.5017\times10^{-9}\ \mathrm{C\,m^{-1}}}. Six orders of magnitude larger than in Example 1 — yet still a fractional imbalance of only 1.84×10−131.84\times10^{-13}.

Step 3 — the field and force in S′S'. Er′=λnet′/2πε0r=−4496.9 V m−1E'_r = \lambda'_{\rm net}/2\pi\varepsilon_0 r = \mathbf{-4496.9\ \mathrm{V\,m^{-1}}}, giving F⊥′=qEr′=−4.4969×10−3 NF'_\perp = qE'_r = \mathbf{-4.4969\times10^{-3}\ \mathrm{N}}. Cross-check against (3): −γuuBϕ=−(1.25)(1.79875×108)(2.00×10−5)=−4496.9 V m−1-\gamma_u u B_\phi = -(1.25)(1.79875\times10^{8})(2.00\times10^{-5}) = \mathbf{-4496.9\ \mathrm{V\,m^{-1}}} — the same, as it must be.

Step 4 — transform the force back, properly. F_\perp = \frac{F'_\perp}{\gamma_u} = \frac{-4.4969\times10^{-3}}{1.25} = \mathbf{-3.5975\times10^{-3}\ \mathrm{N}}.

Step 5 — the boundary number, and what would have gone wrong. The lab magnetic force is quBϕ=(1.00×10−6)(1.79875×108)(2.00×10−5)=3.5975×10−3 Nq u B_\phi = (1.00\times10^{-6})(1.79875\times10^{8})(2.00\times10^{-5}) = \mathbf{3.5975\times10^{-3}\ \mathrm{N}} toward the wire — agreeing exactly with the transformed electrostatic force. Had we skipped the transverse-force law and declared F⊥=F⊥′F_\perp = F'_\perp, we would have predicted 4.4969×10−3 N4.4969\times10^{-3}\ \mathrm{N} — 25% too large, and wrong in a way that grows without bound as u→cu\to c: at u=0.99cu = 0.99c the error is a factor of 7.17.1. This is why the factor must be transformed, not waved.

Physics of the portrait

Magnetism can be a (v/c)2(v/c)^2 effect and still bend a compass needle because of a single number: the drift velocity, absurdly small, dragging an absurdly large charge.

Origins · 2 minDrift velocity and how this was discovered
DV
Drift velocity
1900–present · Drude's electron gas · Purcell's relativistic derivation · the Hall effect

The drift velocity is the mean velocity a charge carrier acquires in an applied field, on top of its random thermal motion — and in an ordinary metal it is astonishingly slow. Paul Drude introduced it in 1900 in his free-electron model of metals, writing v⃗d=−eτE⃗/m\vec v_d = -e\tau\vec E/m with τ\tau a mean free time between collisions; the model gets conductivity roughly right and the specific heat badly wrong, but the drift velocity survived every subsequent theory intact, because it is essentially kinematic — I=nqvdAI = n q v_d A is bookkeeping on how much charge crosses a surface per second. For copper at 1 A1\ \mathrm{A} through 1 mm21\ \mathrm{mm^2} that gives vd≈7×10−5 m s−1v_d \approx 7\times10^{-5}\ \mathrm{m\,s^{-1}}, a few metres per day, while the signal propagates at a substantial fraction of cc: the electrons do not carry the message, the field does. The number becomes physics rather than trivia in Edward Purcell's Electricity and Magnetism (Berkeley Physics Course, Vol. 2, McGraw-Hill, 1965), which builds all of magnetostatics from Coulomb's law plus relativity and confronts the obvious objection head-on: how can an effect of order (vd/c)2∼10−25(v_d/c)^2 \sim 10^{-25} be measurable, let alone strong enough to run a motor? Because the relevant quantity is not βd2\beta_d^2 but βd2\beta_d^2 times the total charge in a metre of wire — some 1.4×1041.4\times10^{4} coulombs — which is enormous, since matter is made of charges that very nearly cancel. Magnetism is the residue of that near-cancellation, and the drift velocity is the small number that survives it.

History
1820
— Ørsted finds that a current deflects a compass needle, announcing it on 21 July in a four-page Latin pamphlet, "Experimenta circa effectum conflictus electrici in acum magneticam"; electromagnetism begins as a bare experimental fact.
1820
— Ampère, within weeks of the news reaching Paris, reports to the Académie des Sciences that parallel currents attract and antiparallel currents repel.
1865
— Maxwell's "A Dynamical Theory of the Electromagnetic Field" unifies electricity, magnetism and light, but leaves E and B as two distinct entities coupled by dynamics.
1892
— Lorentz proposes the contraction of moving bodies (following FitzGerald's 1889 suggestion) and the force law on a moving charge, still within an ether framework.
1900
— Drude's free-electron model of metals introduces the drift velocity, and with it the realisation that conduction electrons move extraordinarily slowly.
1905
— Einstein's "Zur Elektrodynamik bewegter Körper" opens by noting that electromagnetism treats the moving magnet and the moving conductor asymmetrically while predicting identical currents, and removes the asymmetry by removing the ether.
1912
— Leigh Page, in "A Derivation of the Fundamental Relations of Electrodynamics from Those of Electrostatics" (American Journal of Science 34, 57), derives the magnetic interaction from Coulomb's law plus relativity — the earliest systematic version of this argument.
1965
— Purcell's Electricity and Magnetism (Berkeley Physics Course, Vol. 2) makes the relativistic derivation standard undergraduate teaching, with the neutral-wire calculation as its centrepiece.

Going further

Texts. Purcell & Morin, Electricity and Magnetism, 3rd ed., ch. 5 · Griffiths, Introduction to Electrodynamics, 4th ed., §12.3 · Rindler, Introduction to Special Relativity, 2nd ed., ch. 7 · Jackson, Classical Electrodynamics, 3rd ed., ch. 11 · Page, Am. J. Sci. 34, 57 (1912).

Provenance. Signature (+,−,−,−)(+,-,-,-); p⋅p=+m2c2p\cdot p = +m^2c^2; mm is the invariant rest mass, and no velocity-dependent mass appears anywhere. Base-defect repairs (logged): (i) the base's boxed λnet′\lambda'_{\rm net} contains a literal English phrase inside the formula and an uncancelled (γu/vd)⋅vd(\gamma_u/v_d)\cdot v_d — discarded and re-derived. (ii) The base calls the result "leading order"; it is exact, proved symbolically with uu and vdv_d both free. (iii) The base dismisses the transverse-force factor as one that "cancels when comparing physical accelerations"; it is replaced by the actual transformation law F⊥=F⊥′/γuF_\perp = F'_\perp/\gamma_u, whose omission over-predicts the force by 25% at u=0.6cu = 0.6c. All numbers here are recomputed in verify_aq-sr-magnetism-relativistic-effect.py, which parses this article's own printed digits.

Scope. The general field-transformation law is not derived here — it belongs to Transformation of Electric and Magnetic Fields, and the wire calculation instead reconstructs one component of it from length contraction alone. Charge invariance itself is established in Charge Invariance and Continuity, and the four-current in The Four-Current Density.

Builds on. Charge Invariance and Continuity · The Four-Current Density · Transformation of Electric and Magnetic Fields. Leads to. The Electromagnetic Field Tensor · The Covariant Lorentz Force Law · Covariant Maxwell Equations. Cross-track. The electrodynamics course carries a parallel Magnetism as a Relativistic Effect (aq-em); special relativity is the canonical home for the derivation, and the electrodynamics article recalls it.

If charge is invariant, how can charge density change? Is charge being created?

No. Take a segment of wire containing exactly NN ions. Every observer counts the same NN — charge is a Lorentz scalar and counting is frame-independent. But the length of that segment is not invariant: in a frame where the lattice moves, it is contracted. Same charge, shorter length, higher charge per unit length. Nothing is created; the charge is packed into less room. (Integrating the induced density over an infinite wire gives an infinite charge, the usual harmless artefact of an idealised line — do it on a finite loop and the total comes out invariant, as it must.)

Why does the wire not look charged in its own rest frame? Doesn't the electron sea move there too?

It does, and the wire is still neutral. Neutrality in the lab is given: the two line densities cancel there, which is an experimental fact about real wires — an electroscope near one reads zero. The electrons' motion is already baked into that lab density, which is exactly why their proper density is −λ0/γd-\lambda_0/\gamma_d rather than −λ0-\lambda_0. The derivation does not claim that motion creates charge; it claims that a cancellation holding in one frame need not hold in another.

Does the same argument work for two parallel wires, where both are neutral in the lab?

Yes, and the answer is Ampère's force law F/L=μ0I1I2/2πdF/L = \mu_0 I_1 I_2 / 2\pi d. Work in the rest frame of wire 2's carriers: they see wire 1 as charged (this page's calculation with u→vd,2u \to v_{d,2}) and feel an electrostatic force. Transform back and sum over the carriers in a metre of wire 2. The subtlety is that wire 2's ions feel nothing — they are at rest in the lab, where wire 1 is neutral — so the force is carried by the mobile electrons and reaches the lattice only through the internal Hall field they set up.

Does this mean the magnetic field is not real?

It means the split between electric and magnetic is not frame-independent, which is a much sharper statement. The field is real; the labels are conventional. What is invariant is the field tensor and the two Lorentz scalars built from it — and those scalars can tell you, frame-independently, that a field is magnetically dominated and can never be boosted to a purely electric one. A wire's field is one of those: B2−E2/c2>0B^2 - E^2/c^2 > 0 in the lab, so no observer can make its magnetic field vanish. Magnetism is not an illusion; it is a component.

The electrons in a real wire have a huge random thermal speed. Does that spoil the argument?

No. Thermal motion is isotropic and averages to zero, and the derivation only ever uses the mean velocity of the sea. Thermal speeds in copper are of order 106 m s−110^6\ \mathrm{m\,s^{-1}} — ten orders of magnitude above the drift — but as many electrons go one way as the other, so they carry no net current and shift no net density. What survives the average is the drift, and the drift is what appears in I=λ0vdI = \lambda_0 v_d.

Could you run the argument backwards and derive electrostatics from magnetism?

No, and the asymmetry is instructive. Coulomb's law is a statement about charges at rest, and relativity relates the rest frame to every other frame — so a static law plus a symmetry group generates the dynamics. There is no "magnetic charge at rest" to start from: the magnetic field has no static source, which is exactly what ∇⋅B⃗=0\nabla\cdot\vec B = 0 says. If monopoles existed, duality would let the argument run in either direction. They do not, so it runs only one way.

Before this

Where this leads