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 . 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 carrying , the conduction electrons crawl at — seventy-three micrometres per second, so and the effect is of order . Utterly negligible, you would think. But each lattice carries — thirteen thousand coulombs in every metre of wire. Multiply a 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.
- Signature , , . is the invariant rest mass throughout.
- Charge is invariant; charge density is not. is a Lorentz scalar, but inherits the contraction of : a lattice of proper density moving at speed has line density .
- Boost a lab-neutral wire (current ) into the frame of a test charge moving at parallel to it. The two lattices then move at different speeds, contract by different factors, and no longer cancel: .
- Owned result: that expression is EXACT, not leading-order. Every cancels identically. The AllQFT base prints it as an approximation, inside a mangled boxed formula. It is exact.
- The induced line charge sources a pure electric field , so the test charge feels — electrostatics, nothing else.
- Transform back with the transverse-force law (a real transformation, not a hand-wave) and out comes , — the magnetic force, exactly.
- Key idea: a effect times Avogadro's number of carriers is an ordinary macroscopic force. In copper the fractional charge imbalance is about — 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 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 protons at 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 . 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 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 the wire lies along : a lattice of positive ions at rest with line charge density , and a sea of conduction electrons drifting at (electrons are negative, so drifting backwards makes conventional current flow forwards) with line charge density . The densities are equal and opposite: the wire is exactly neutral, and the current is along . Now send a test charge past the wire at velocity , at perpendicular distance . In the lab there is no electric field, so all the force on must be magnetic: . Go to the test charge's rest frame . Here is at rest, so it cannot feel a magnetic force at all — with is exactly zero. Whatever force it feels must be electric. If the wire were still neutral there would be no force and would not accelerate — contradicting the lab, where it plainly does. So the wire cannot be neutral in . And it is not. In the ions stream backwards at , so their lattice contracts and their density goes up. The electrons, already moving against , move faster in 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 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.
The core equations
Everything rests on one asymmetry between charge and charge density.
where: — the proper line charge density, measured where the lattice is at rest; with 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 and the charge per unit length rises by . 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:
where: — the test charge's lab speed, parallel to the wire; ; — the lab current. Physical reading: every cancels. The electrons' proper density carries a and their boosted Lorentz factor carries a ; the two annihilate exactly. Nothing is truncated at order — the result holds at any and any , right up to . 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 :
where: — the lab magnetic field of the wire, . Physical reading: the pure electric field the moving observer measures is 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:
where: the general transverse-force law is , collapsing to for a particle momentarily at rest in . 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
The base article computes this "to leading order in " 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 , 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 .
Step 1. Fix the lab. Ions at rest, lab line density . Electrons drifting at , lab line density . Net lab density zero; current along . 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: . The electrons are moving in the lab at speed , so their lab density is already contracted by : hence . 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 , the frame moving at . The ions: , so . The electrons: velocity addition gives , which is more negative than — they move faster in the test charge's frame than in the lab. Why: they were already running against , so boosting in the direction speeds them up further. Their contraction gets stronger, not weaker.
Step 4. Use the composition identity for Lorentz factors. For one has . With 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 , each being (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 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 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 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 composition identity symbolically; symbolically with and both free and no series expansion; and numerically at 300 random with up to .*
Go deeper · Derivation B · 2 minFrom the induced charge to the magnetic force, doing the transverse-force transformation properly
Now the payoff. In 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 . A line charge makes . Transverse distances are not contracted, so : E'_r = -\frac{\gamma_u u I}{2\pi\varepsilon_0 c^2 r}. Why: Gauss's law in , applied to a static line charge. Elementary electrostatics — no magnetism has been invoked anywhere.
Step 2. Rewrite it using : E'_r = -\,\gamma_u\, u\,\frac{\mu_0 I}{2\pi r} = -\,\gamma_u\, u\, B_\phi. Why: is the lab magnetic field of the wire, so the moving observer's <strong>purely electric</strong> field is 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 is pure electrostatics: . Why: is at rest in , so vanishes identically there whatever 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 . The test charge is momentarily at rest in , so 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 when you go from the particle's rest frame to a frame in which it moves. That reduction is a theorem about , and it is exactly what removes the 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 </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 with in , charge at : the Ampère field is , and — toward the wire, matching Step 5. Why: two independent routes, one signed answer. Had the relativistic route produced , the derivation would be repudiated by a compass. *Verified in verify_aq-sr-magnetism-relativistic-effect.py: and symbolically; and the lab cross-product computed explicitly, so the attraction is asserted, not assumed.*
Limiting cases
| Case | Result | Meaning |
|---|---|---|
| (test charge at rest) | , | a stationary charge feels nothing. Magnetism needs both currents moving |
| (no current) | in every frame | a neutral, currentless wire is neutral to everyone |
| at fixed | , unchanged | the force does not care how slowly the carriers move — only about |
| , | the textbook . The relativistic machinery leaves no residue | |
| , but stays finite | the induced charge diverges and the force transformation divides it back out | |
| reversed () | the wire looks positively charged; the force repels. Antiparallel currents repel | |
| lab-frame charged wire | extra term | then 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 carries . Copper has conduction electrons per cubic metre. A charge passes at , at . 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 , , , , .
Step 2 — the charge in the wire, and the drift speed. Each lattice carries — 13 619 coulombs per metre, where a lightning stroke moves a few coulombs in total. Then , so . The electrons crawl at 73 micrometres per second.
Step 3 — the induced line charge. to twelve figures at , 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. , so , and with the lab force is the same, toward the wire. Check against magnetism: (about 40% of the Earth's field — which is why Ørsted's compass swung), and . Identical. The relativistic route and the magnetic route agree to every figure carried.
2 · The same wire at , where the is not decoration
Now send the same charge past the same wire at . Here 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 . , and .
Step 2 — the induced charge, now -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 .
Step 3 — the field and force in . , giving . Cross-check against (3): — 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 toward the wire — agreeing exactly with the transformed electrostatic force. Had we skipped the transverse-force law and declared , we would have predicted — 25% too large, and wrong in a way that grows without bound as : at the error is a factor of . This is why the factor must be transformed, not waved.
Physics of the portrait
Magnetism can be a 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
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 with 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 — is bookkeeping on how much charge crosses a surface per second. For copper at through that gives , a few metres per day, while the signal propagates at a substantial fraction of : 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 be measurable, let alone strong enough to run a motor? Because the relevant quantity is not but times the total charge in a metre of wire — some 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.
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 ; ; is the invariant rest mass, and no velocity-dependent mass appears anywhere. Base-defect repairs (logged): (i) the base's boxed contains a literal English phrase inside the formula and an uncancelled — discarded and re-derived. (ii) The base calls the result "leading order"; it is exact, proved symbolically with and 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 , whose omission over-predicts the force by 25% at . 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 ions. Every observer counts the same — 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 rather than . 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 . Work in the rest frame of wire 2's carriers: they see wire 1 as charged (this page's calculation with ) 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: 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 — 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 .
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 says. If monopoles existed, duality would let the argument run in either direction. They do not, so it runs only one way.