Field of a Uniformly Moving Charge
A proton coasting round the LHC at 7 TeV carries an electric field, and that field is not a sphere of influence. It is a disc. Fore and aft it is suppressed by ; broadside it is enhanced by ; and essentially all of it is squeezed into a sheet a fifth of a milliradian thick. A charge near the beamline feels almost nothing at all — and then, for under a femtosecond, feels a hammer blow. Nothing was added to electrostatics to produce this. It is the Coulomb field, seen from a moving frame:
Oliver Heaviside wrote that angular factor down in 1889 — sixteen years before Einstein, using nothing but Maxwell's equations. He noticed that its surfaces of constant potential are not spheres but oblate spheroids, flattened along the motion by exactly , and he told his friend George FitzGerald. Within months FitzGerald had suggested that matter itself might be flattened by the same factor.
- Signature , ; is the invariant rest mass. , .
- The boosted Coulomb field: with from the charge's PRESENT position and the angle between and .
- The magnetic field is not optional. falls out of the same boost — no new law, no new constant. The cleanest proof that magnetism is relativity (`aq-sr-magnetism-relativistic-effect`).
- Fore-and-aft , broadside , so the contrast is : at the sideways field is 4.63 times the forward one; at , 12.07 times.
- It is not radiation. strictly and : electric-type in every frame, boostable back to pure electrostatics. Radiation is the null case, and it needs acceleration.
- Key idea: the equipotentials are ellipsoids contracted by exactly — and that is where length contraction came from. Heaviside found the oblate spheroid in 1888–89; FitzGerald, reading it, proposed that rulers contract by the same factor. The contraction hypothesis was reverse-engineered from this field.
Take a Coulomb field. Boost it. Everything else on this page is bookkeeping. The charge is invariant, so the source does not change — only the field pattern does, and it changes exactly as a boost of the tensor demands: the transverse components of are multiplied by , the longitudinal one is left alone, and is forced into existence, because "purely electric" is not a Lorentz-invariant condition. The one geometric fact that makes the answer look strange — the — is nothing but the statement that the rest-frame distance to the source, re-expressed in lab coordinates, is stretched along the motion by . The field of a moving charge is a Coulomb field wearing a Lorentz transformation.
Where this lives today
The pancake is the working geometry of every collider. Beam-beam interactions — the fields a passing bunch inflicts on the opposing one — are computed from equation (1) with in the thousands, and the resulting kick is what limits luminosity. In ultraperipheral heavy-ion collisions two lead nuclei miss each other entirely and interact only through these squashed fields; because , the equivalent-photon flux is enhanced by . Light-by-light scattering, predicted in 1936 and observed at the LHC in 2017, was seen exactly this way: two Heaviside pancakes passing in the night. The same field explains why magnetism exists (`aq-sr-magnetism-relativistic-effect`): the of a drifting conduction electron, summed over a wire, is Ampère's law. And the transverse space-charge force inside an accelerator bunch is suppressed by : the beam's electric self-repulsion is almost exactly cancelled by the magnetic attraction of the parallel currents. High-energy beams hold together because a boosted Coulomb field very nearly cancels itself.
The physical picture
Sit in the charge's rest frame . You see the most boring field in physics: a spherically symmetric hedgehog of straight radial lines, with . Now boost to the lab frame, in which the charge sails along the -axis at speed . Two things happen, and they are not the same thing.
The field lines stay straight and radial — but they bunch. They still point away from the charge, and (a fact we will prove, because it looks impossible) away from where the charge is now. What changes is their density: boosting multiplies the transverse components of by and leaves the longitudinal one alone, so lines crowd into the equatorial plane and thin out along the poles. Push toward 1 and the hedgehog is crushed into a pancake.
A magnetic field appears, and you did not put it there. In there was none; in the lab there is , circling the line of motion — precisely the Biot–Savart field of the current . and are components of one object (`aq-sr-electromagnetic-field-tensor`), and "this field is purely electric" is a statement about a frame, not about the field. Magnetism is what electrostatics looks like from a moving train. The one thing that does not happen is radiation. The pattern is rigid: it translates with the charge, carrying its energy along like a bow wave, and nothing escapes to infinity. To lose energy for good you need an acceleration, a field, and a genuinely null — the subject of `aq-sr-lienard-wiechert-potentials`.
The core equations
The field, and the equation this page owns:
where: runs from the charge's present position to the field point and is the angle between and . Physical reading: a Coulomb field with an angular weighting. The prefactor suppresses everything uniformly; the denominator then claws it back, and more, near . The magnetic field, which is not an independent object:
where: . Physical reading: — the magnetic field is always smaller than , by the factor . That inequality is the field invariant of eq. (4), and it is why this field can never be mistaken for a light wave. ⚠ The sign is easy to get backwards — see the warning card. The potentials, from which (1) and (2) both follow:
where: the two forms of are algebraically identical. Physical reading: is just the rest-frame boosted — a timelike four-vector tipped over, which is why and carries the tell-tale . The surfaces are oblate spheroids, squashed along the motion by : the Heaviside ellipsoid. The invariants, which classify the field once and for all:
where: both are Lorentz scalars (`aq-sr-electromagnetic-field-invariants`). Physical reading: strictly positive, in every frame, at every point — the field is electric-type, meaning some observer sees it as pure electrostatics. That observer is the charge. A radiation field has exactly, and no boost turns one into the other.
Deriving the boosted Coulomb field
The safest derivation uses no field-transformation law at all — because that law is the single easiest thing to get sign-wrong, and this article's base got it wrong. Instead we boost the potential, a four-vector, which transforms in the one way a four-vector can, and then differentiate. Whatever comes out is right by construction, and can be used to audit the transformation law rather than depend on it.
Step 1. Boost the four-potential. In the rest frame with — a static charge has no current, so there is nothing else in the room. In the lab, \phi = \gamma\phi', \qquad A_x = \gamma\,\frac{v}{c^2}\,\phi', \qquad A_y = A_z = 0, and since , , , we have . Why: <strong>the boost tips a purely timelike over, and the spilled time-component becomes </strong> — the whole origin of the vector potential of a moving charge, complete with the that makes magnetism feeble.
Step 2. Differentiate. With , \vec E = \frac{\gamma q}{4\pi\varepsilon_0}\;\frac{\vec R}{\big[\gamma^2(x-vt)^2+y^2+z^2\big]^{3/2}}, \qquad \vec R = (x-vt,\;y,\;z). Why: <strong>look at the numerator.</strong> It is — the vector from the charge's <strong>present</strong> position, not the retarded one. The term is doing that work: on its own would tilt the field, and the time-derivative of cancels the tilt exactly.
Step 3. Read off the angular form. Since and , \gamma^2(x-vt)^2 + y^2 + z^2 = R^2\big(\gamma^2\cos^2\theta + \sin^2\theta\big) = \gamma^2R^2\big(1-\beta^2\sin^2\theta\big), because . Substituting collapses the 's to and delivers eq. (1). Why: <strong>that one line is the entire angular structure.</strong> The rest-frame distance , written in lab coordinates, is — stretched along the motion. It sits inside an inverse-square law, so cubing it produces the power. There is nothing else to the formula.
Step 4. Get for free. with constant, so ; and , whose second piece is parallel to and dies in the cross product. Hence \boxed{\;\vec B = \frac{1}{c^2}\,\vec v\times\vec E\;} exactly, with a plus sign. Why: <strong>this is a derivation of the sign, not a choice of convention.</strong> A positive charge moving along has at a point directly above it, and the formula gives — out of the page, exactly where the right-hand rule and Biot–Savart put it. *Verified in verify_aq-sr-field-uniformly-moving-charge.py: and are boosted symbolically, and obtained by `sympy` differentiation with no transformation law assumed, and then (a) identically, (b) matches eq. (1) at 50 digits, (c) identically.*
Go deeper · Derivation B · 2 minOwned result: the equipotentials are ellipsoids contracted by 1/gamma — the Heaviside ellipsoid
The angular factor is usually presented as an algebraic curiosity. It is not. It is a shape, and that shape is the reason anyone ever thought of length contraction. This derivation extracts it, and then shows that the same governs the field's angular width — with a number attached.
Step 1. Find the level surfaces of . From eq. (3), depends on position only through , so is the surface \frac{(x-vt)^2}{(a/\gamma)^2} + \frac{y^2 + z^2}{a^2} = 1 . Why: <strong>an oblate spheroid</strong> — equatorial radius , polar semi-axis along the motion. In the rest frame it was a sphere of radius . <strong>The equipotential has been contracted along the motion by exactly — the FitzGerald–Lorentz factor, with nothing assumed about rulers.</strong> As the polar semi-axis goes to zero and the spheroid degenerates to a flat disc — which is exactly what Heaviside wrote in a footnote of the 1889 paper: "the surfaces of equilibrium are not spheres, but are concentric oblate spheroids", becoming "a flat circular disc" as the speed approaches that of light. <strong>He had the pancake in 1889.</strong> What he did not have was any reason to think matter shared its fate; that leap was FitzGerald's.
Step 2. Now measure the pancake. Write , so is the angle away from the equatorial plane. Then , so 1 - \beta^2\sin^2\theta \;\approx\; \frac{1}{\gamma^2} + \beta^2\delta^2 \qquad\Longrightarrow\qquad \frac{E(\delta)}{E(0)} = \Big(1 + \gamma^2\beta^2\delta^2\Big)^{-3/2}. Why: <strong>the profile is a universal function of the single variable </strong> — every uniformly moving charge in the universe has the same one. That is what "confined to a cone of half-angle " actually means, and it is now sharp enough to put a number on.
Step 3. Put the number on it. The field falls to half its equatorial peak when , i.e. . So the pancake's full width at half maximum is \boxed{\;\Delta\theta_{\text{FWHM}} = \frac{2\sqrt{2^{2/3}-1}}{\gamma\beta} \;\xrightarrow[\;\beta\to1\;]{}\; \frac{1.5328}{\gamma}\;} Why: <strong> was always an order-of-magnitude gesture; this is the coefficient.</strong> For the LHC's 7 TeV protons () the pancake is <strong>mrad</strong> thick, not "about 0.134 mrad" — and the same constant reappears, unchanged, in the time profile of the flyby pulse. *Verified in verify_aq-sr-field-uniformly-moving-charge.py: the level surfaces of are shown to satisfy the spheroid equation with axis ratio exactly ; is computed in `mpmath` at 50 digits and matched against the article's printed 0.766421 / 1.5328 / 0.2055 mrad.*
Go deeper · Derivation C · 2 minOwned result: the flyby impulse does NOT depend on gamma — and that is why virtual photons work
The peak field of a fast charge grows like ; the time it is applied shrinks like . The two cancel — exactly, not approximately. Everything from Rutherford scattering to the equivalent-photon method follows from that one fact, and it is the result that decides whether relativity matters for a scattering problem at all.
Step 1. Set up the flyby. The charge moves along ; the target sits at perpendicular distance , so and . Feeding into eq. (1), the transverse field is E_y(t) = \frac{\gamma q}{4\pi\varepsilon_0}\;\frac{b}{\big(\gamma^2v^2t^2 + b^2\big)^{3/2}} . Why: eq. (1) in the only variable the target cares about. Its peak is at : — <strong>the Coulomb field, enhanced by .</strong>
Step 2. Read the pulse width. The bracket halves the field when , i.e. at , so . Why: <strong>the same constant as the angular width</strong> — it is the same function of the same variable, because the pancake swept past you is the pulse. <strong>Peak , width : the product is -free, and that is the whole result, visible before any integral is done.</strong>
Step 3. Do the integral exactly. with , so \boxed{\;\int_{-\infty}^{\infty} E_y\,\mathrm{d}t = \frac{\gamma q b}{4\pi\varepsilon_0}\cdot\frac{2}{\gamma v\,b^2} = \frac{q}{2\pi\varepsilon_0\,b\,v}\;} and every has vanished. Why: <strong>the transverse impulse is completely independent of the projectile's Lorentz factor.</strong> A 7 TeV proton and a 7 GeV proton, passing at the same , hand over the same transverse momentum — which is why non-relativistic small-angle Coulomb-scattering formulae survive at relativistic energies.
Step 4. Look at what the target sees. During the flyby is nearly transverse, perpendicular to it, and . Why: <strong>those are the field relations of a plane light wave.</strong> At the peak the invariant is — not zero, but <strong>as close to null as makes no difference.</strong> So one may replace the passing charge by a spectrum of <strong>equivalent photons</strong>: the Weizsäcker–Williams method, whose error is exactly that . Eq. (4) is the thing that tells you so. *Verified in verify_aq-sr-field-uniformly-moving-charge.py: the impulse integral is done symbolically in `sympy` and shown to be independent of and of except through ; the peak field, the FWHM and the invariant at are each recomputed in `mpmath` at 50 digits.*
Limiting cases
| Case | Result | What it says |
|---|---|---|
| Coulomb. The angular factor switches itself off | ||
| , keep | Biot–Savart. Magnetism is the first-order relic of a boost | |
| (fore/aft) | suppressed by ; and on the axis | |
| (broadside) | enhanced by ; maximal, | |
| ratio of the two | 4.63 at ; 12.07 at | |
| the pancake — and that is the true coefficient, not 1 | ||
| equipotentials | oblate spheroid, axis ratio | the Heaviside ellipsoid; a disc as |
| any | never null. Never radiation | |
| flyby impulse | no at all — peak width cancels |
Worked examples
1 · A charge at — the whole field, in numbers
Take moving at (). Evaluate its field 1.00 m away, fore and broadside, and get the magnetic field too.
Step 1 — the benchmark, and the two directions. At rest, . Fore and aft () the angular factor is 1, so only the prefactor acts: , and there since . The field ahead of a charge doing four-fifths of light speed is barely a third of its static value.
Step 2 — broadside (). Now and the angular factor is : E_\perp = \frac{1-\beta^2}{(1-\beta^2)^{3/2}}\,E_{\text{Coul}} = \gamma\,E_{\text{Coul}} = \mathbf{14.9793\ V/m}. The contrast between broadside and forward is — check: ✓.
Step 3 — the magnetic field, twice. . Cross-check against Biot–Savart-with-: ✓ — the same number to five figures, by two independent routes.
Step 4 — is it radiation? , so \vec E^2 - c^2\vec B^2 = 14.9793^2 - 11.9834^2 = \mathbf{+80.776\ (V/m)^2} \;>\; 0, with . And eq. (4) demands this equal — it does, to every digit carried. There is a frame in which this charge's field is pure electrostatics: the charge's own.
2 · A 7 TeV proton in the LHC — how thin is the pancake?
Step 1 — the anisotropy. (5 s.f.: 7460.5). Broadside the field is times Coulomb; fore and aft it is times it. The ratio between the two directions is — a charge directly in front of the oncoming proton feels, for practical purposes, nothing.
Step 2 — the thickness. The naive quote is . The honest one, from the half-maximum condition of derivation 2, is \Delta\theta_{\text{FWHM}} = \frac{1.5328}{\gamma} = \mathbf{0.2055\ mrad} . The field of a 7 TeV proton is a disc two ten-thousandths of a radian thick.
Step 3 — the pulse, and the punchline. A target at sees a spike of duration — under a femtosecond — peaking at , against if the same proton crawled past. And yet the impulse is : exactly what the slow proton delivers. A field 7461 times larger, applied for 1/7461 of the time. That is the cancellation of derivation 3, in one machine.
Physics of the portrait
Origins · 2 minOliver Heaviside and how this was discovered
Oliver Heaviside left school at sixteen, worked as a telegraph operator, went deaf, and spent most of his life in poverty and self-imposed isolation, doing mathematics no university had asked for. He is the reason Maxwell's twenty equations in twenty variables are the four vector equations we now call Maxwell's; he invented the operational calculus, coined "impedance" and "inductance", and predicted the ionosphere. And in the winter of 1888 he did the calculation on this page — the field of a charge in steady rectilinear motion at any speed, not the slow-motion approximation everyone else had. He printed it in The Electrician (a four-part series beginning 9 November 1888) and then in full in the Philosophical Magazine (Ser. 5, 27 (167), 324–339, 1889; the paper is dated 27 December 1888): c\,E = \frac{q}{r^2}\,\frac{1 - u^2/v^2}{\big(1 - u^2\sin^2\theta/v^2\big)^{3/2}} in his own notation ( = permittivity, = the speed of light, = the charge's speed). That is equation (1) of this article, sixteen years before Einstein. In a footnote he recorded what the level surfaces do: "the surfaces of equilibrium are not spheres, but are concentric oblate spheroids", degenerating to "a flat circular disc" as . The Heaviside ellipsoid. The same papers predicted what we now call Cherenkov radiation — a charge outrunning light in a dielectric — half a century before Cherenkov measured it. And he showed the moving charge's field to his friend George Francis FitzGerald, who asked the question Heaviside had not: if the electrostatic field that binds a body together is squashed by , might the body be squashed by too? FitzGerald's answer, a short letter to Science (13 (328), 390, 1889), is the length-contraction hypothesis. It was reverse-engineered out of Heaviside's ellipsoid.
Going further
Texts. Griffiths, Introduction to Electrodynamics, 4th ed., §10.3.2 and Example 12.13 · Purcell & Morin, Electricity and Magnetism, 3rd ed., ch. 5 · Jackson, Classical Electrodynamics, 3rd ed., §11.10 · Rindler, Introduction to Special Relativity, 2nd ed., §38.
Provenance. Signature , hence ; is the invariant rest mass. , . This article's base prints the inverse field-transformation law with both cross-product signs flipped, which — applied to its own rest-frame starting point — yields , contradicting the base's own later equation cards and reversing Biot–Savart. The corrected inverse is derived, machine-asserted, and cross-checked against a derivation that uses no transformation law at all (boost , then differentiate). Heaviside's 1889 formula and his "concentric oblate spheroids" footnote are quoted from the primary text (Phil. Mag. Ser. 5, 27 (167), 324–339). The exact publication day of FitzGerald's 1889 Science letter is not asserted here: it could not be confirmed to the standard the rest of this page is held to. The volume, issue and page are. All numbers are recomputed in `mpmath` at 50 digits against this article's printed digits.
Scope. This page owns the relativistic account: the boost of , the angular factor as a statement about the rest-frame distance, the Heaviside ellipsoid, the induced with its sign, the invariant classification, and the -free impulse. Retarded-time machinery belongs to `aq-sr-lienard-wiechert-potentials`; the E/B transformation law to `aq-sr-transformation-electric-magnetic-fields`; the current-carrying wire to `aq-sr-magnetism-relativistic-effect`. The live counterpart `aq-em-fields-moving-point-charge` (EMAG.RAD.FMOVQ.0611) covers the same field and calls it, aptly, the Heaviside pancake.
Builds on. `aq-sr-transformation-electric-magnetic-fields` · `aq-sr-four-potential` · `aq-sr-electromagnetic-field-tensor` · `aq-sr-charge-invariance-continuity`. Leads to. `aq-sr-magnetism-relativistic-effect` · `aq-sr-electromagnetic-field-invariants` · `aq-sr-covariant-lorentz-force` · `aq-sr-dual-field-tensor`.
If the field pattern is squashed by 1/γ along the motion, why is the FORWARD field weaker rather than stronger?
Because two effects are fighting and you have counted only one. Squashing the pattern longitudinally does crowd the lines — but the transformation of the components boosts only the transverse ones, by , leaving the longitudinal one alone. The second effect wins everywhere except in the equatorial plane, and the net result is fore and aft, broadside. Field lines are a misleading picture here; the potentials and the invariants are not.
Does the moving charge's magnetic field mean it is radiating? It has E and B, perpendicular, like a light wave.
No — and the invariants say so with no room for argument. A light wave has exactly: a null field. The moving charge has (true, they are perpendicular) but strictly, for every and every . Positive, not zero — so there exists a frame in which vanishes altogether, and it is the charge's own. You cannot boost away a light wave. You can always boost away this. As the invariant shrinks to : arbitrarily close to null, which is the licence for the equivalent-photon approximation and the reason its error is rather than zero.
Why does the impulse not depend on γ? Surely a faster projectile hits harder.
It hits harder and for less time, and the two cancel exactly: peak , duration , product -free — and the exact integral confirms it, . It is why the Rutherford cross-section keeps its non-relativistic impact-parameter form for fast projectiles, and why the transverse beam-beam kick does not run away with energy. Relativity does not always amplify. Here it rearranges, and hands the total straight back.
Heaviside had the right field in 1889. Why is that not special relativity, sixteen years early?
Because a formula is not a theory. Heaviside had one correct solution of Maxwell's equations for one system, obtained inside an ether framework he never abandoned, and he read the flattening as something the ether did to the field. He did not have the relativity principle, the invariance of as a postulate, the transformation of time, or the claim that the same governs clocks, rulers and momentum. FitzGerald's leap — that matter might contract too — was an inspired guess bolted onto a mechanical picture, not a deduction. What Einstein supplied was not the answer but the reason: a postulate from which Heaviside's ellipsoid, FitzGerald's contraction and a great deal else all follow at once, with the ether removed.
Is θ measured from the present position or the retarded position?
The present one: in eq. (1), runs from where the charge is now. If you work instead in the retarded geometry — as the Liénard–Wiechert form does — you have a different vector and a different denominator , and the two are linked exactly by (1 - \hat{\vec n}\cdot\vec\beta)\,r_{\text{ret}} = R\sqrt{1-\beta^2\sin^2\theta}. Same field, two coordinate systems. The present-position form exists only because the motion is uniform; the retarded form survives when it is not.
Does the field carry momentum? Does a uniformly moving charge drag something along with it?
Yes, and yes. is non-zero everywhere off the axis, so the field carries momentum density along with the charge — the bow wave. But no net energy leaves: while a sphere's area grows only as , so the flux through it dies as . The energy sloshes, and travels, and never escapes. (Trying to read that co-moving field energy as an "electromagnetic mass" of the electron is the origin of the notorious problem — resolved by treating the stress-energy tensor properly, `aq-sr-electromagnetic-stress-energy-tensor`, and emphatically not a reason to reintroduce a velocity-dependent mass.)