Relativistic Energy
Ask a physicist for the most famous equation in science and you will get . Ask what the means and the trouble starts, because the equation as usually quoted is not the general relation between energy and mass. It is a special case — the one where the body is standing still. The general statement is . Put , so that , and it collapses to : the rest energy, the energy a body has when it has no motion left to contribute. Every other value of gives something larger, and as it grows without bound. Conflating the two — writing and then wondering why a fast particle carries more energy than that — is the single most common error in all of physics pedagogy, and it is committed by people who can do the algebra perfectly well. The deeper question is why energy should have anything to do with at all, and the answer reframes what energy is. Momentum turned out to be the spatial part of a four-vector. That four-vector has a fourth slot — the time slot — and something must be sitting in it. What is sitting in it is . Energy is not a separate quantity that happens to be conserved alongside momentum; energy is the time component of the momentum four-vector, and its conservation and momentum's are one statement, seen from two angles. Newton needed two conservation laws and could explain neither. Relativity has one, and the was never optional.
- Signature : , so and .
- is the general relation. is its case — the REST energy . They are not the same equation and must never be swapped.
- Owned result: energy is identified, not defined. — the time component of , times . Because is conserved as a four-vector, its time slot is automatically a conserved scalar in every frame. Energy conservation is not an extra law; it is momentum conservation looked at from the time direction.
- Owned result: is frame-dependent; is not. Under a boost , — the energy changes, and can even be made smaller. But is the same number in every frame. Worked below with real numbers: an electron's energy drops under a boost while the invariant does not move at all.
- Owned result: — so a massless particle is forced to travel at exactly , and anything travelling at is forced to be massless. It is an if-and-only-if, not a convention.
- Key idea: the rest energy is the term Newton could not see, because it is CONSTANT. Newtonian energy is defined only up to an additive constant, so a term that is the same before and after every mechanical process is mechanically invisible. It becomes physics the moment mass can change — and then it is the largest number in the room.
The low-speed expansion contains the entire history of the subject in one line. Newton found the second term. The third term is a correction he could never have measured. And the first term — vastly the largest — he could not even have detected in principle, because classical mechanics only ever cares about differences in energy, and never changes in a mechanical process. Relativity's claim is that this invisible constant is real energy, available in full, if you can find a process that changes . The twentieth century found several.
Where this lives today
Every electron-volt is a use of this equation. The unit itself is defined by the energy an electron gains crossing a one-volt potential difference, and the entire scale of particle physics is quoted in it precisely because rest energies are the natural yardstick: the electron is MeV, the proton MeV, the Higgs boson GeV. To say "the Higgs has a mass of 125 GeV" is to quote , and everyone in the field reads it that way without comment. The invariant is the workhorse of collider analysis. A detector measures energies and momenta in the laboratory frame — a frame with no special status, in which the interesting collision is usually moving — and the first thing any analysis does is form frame-independent combinations, because those are the only quantities that describe the physics rather than the accident of the laboratory's motion. The mass of a short-lived particle is reconstructed as exactly this norm, taken over its decay products. And the frame-dependence of energy is not an abstraction: it is the design constraint of every fixed-target experiment ever built. A beam of enormous laboratory energy can be feeble in the frame that matters, because most of that energy is the motion of the centre of momentum and is unavailable to make anything new. Quantifying that loss — and the argument for colliders that follows from it — needs the system invariant, which is Invariant Mass's subject.
The physical picture
Momentum is the spatial part of . Nothing in that construction singles out the spatial part; it is a four-vector, and it has four slots. So write out the one we have been ignoring:
Now, what is this quantity? Three facts identify it, and they leave no room for argument. It is conserved — because the whole four-vector is conserved in a collision, and a four-vector equation holds slot by slot. It has the dimensions of energy. And at low speed it reduces to — a constant plus exactly the Newtonian kinetic energy. A conserved quantity, with the units of energy, that reduces to the Newtonian energy in the Newtonian limit, is the energy. There is nothing else it could be. This is worth savouring, because it inverts the usual logic. In Newtonian mechanics energy is a slightly mysterious thing: a quantity you construct, verify to be conserved, and then use. In relativity you do not construct it at all. It was already there, in the slot you were not looking at.
Look at where actually lives on that figure. It is a single point: the intercept, where the hyperbola crosses the energy axis, where . It is not the curve. The curve — every point of it — is . Writing "" and meaning "the energy of a moving particle" is a claim that the whole hyperbola has collapsed to its vertex, and it is wrong everywhere except at one point.
The core equations
Energy is read off the four-momentum, not postulated:
where: — the invariant rest mass, a Lorentz scalar; — the Lorentz factor of the particle's speed. Physical reading: this is a definition by identification. We do not decide what energy is and then check it is conserved; we observe that the time slot of a conserved four-vector is a conserved quantity with the units and the low-speed limit of energy, and conclude that it is the energy. Setting costs nothing and gives the most-quoted equation in science:
where: — the rest energy; — the kinetic energy, developed in Relativistic Kinetic Energy. Physical reading: these are two different equations and the difference is the whole point. is a statement about a body at rest. is a statement about a body in your frame. What actually means — that mass is not conserved, that internal energy weighs — is the subject of Mass–Energy Equivalence. The energy transforms like a component, because that is what it is:
where: — the speed of the new frame along ; — the Lorentz factor of the boost, not of the particle. Physical reading: boosts exactly as does — the same matrix . So energy is as frame-dependent as time is. What survives is the norm, and the norm is the mass. Finally, dividing the space slot by the time slot:
where: — the particle's ordinary velocity. Physical reading: and both cancel, so this holds for anything, massive or not. Set : the invariant gives , and then (4) gives — exactly , forced, with no freedom. Run it backwards and forces . Masslessness and lightspeed are the same fact.
Where the energy comes from
The claim to be established is not a formula but a reclassification, and it is the reason relativity is a simplification rather than a complication. Newtonian mechanics has two great conservation laws, energy and momentum, which are logically independent: you prove them separately, from different assumptions, and nothing in the theory explains why a universe should have both. Relativity has one law. We show here that conservation of the four-vector contains both, that the quantity in its time slot is forced to be the energy, and that the two Newtonian laws are the time and space components of a single covariant statement.
Step 1. Write the four-momentum out. . Its spatial part is the relativistic momentum, established in Relativistic Momentum. Name the time part , so that . Why: at this stage is just a label for . The content is in the next three steps, which prove that the label is deserved.
Step 2. Establish that it is conserved. In a collision, four-momentum conservation reads . This is a four-vector equation, so it holds component by component — and its component is . Why: this is the entire derivation of energy conservation, and it took one line. The Newtonian proof requires work-energy theorems and assumptions about the forces; here it is a corollary of the statement that a four-vector is conserved.
Step 3. Establish that it is conserved in every frame. Under a boost, , and is linear. So if in one frame, applying gives in every other. Why: this is the deep point, and it explains a Newtonian coincidence. A boost <strong>mixes</strong> into . So if energy alone were conserved and momentum were not, a boost would produce a frame in which energy was <strong>not</strong> conserved. The two laws must both be true, or neither is — they are not independent, and relativity is what reveals that.
Step 4. Establish that it is the energy, by taking the low-speed limit. Expand , so E = \gamma mc^2 = mc^2 + \tfrac12 mv^2 + \tfrac38\frac{mv^4}{c^2} + \cdots The second term is exactly the Newtonian kinetic energy — not approximately, not up to a constant. Why: a conserved quantity with the dimensions of energy whose low-speed limit is the Newtonian energy plus a constant <strong>is</strong> the energy. The identification is now forced. And the constant is .
Step 5. Explain why Newton missed the constant. Classical mechanics determines energy only up to an additive constant — only differences are ever measured, and is the same before and after any process in which mass does not change. It is not that is small; it is that it cancels. Why: this is the honest reason the largest term in the expansion went unnoticed for two centuries. It is invisible to mechanics not because of its size but because of its constancy — and it stops being invisible the instant a process changes . *Verified symbolically in verify_aq-sr-relativistic-energy.py: from with ; the series with coefficients confirmed by sympy; and the linearity argument checked by boosting an explicit two-in/two-out collision and confirming that energy balance in one frame implies it in the other.*
Go deeper · Derivation B · 2 minThe energy is frame-dependent, the invariant is not, and a massless particle is forced to move at exactly c
Two things are true at once and beginners routinely collapse them into one. The energy of a particle is a component of a four-vector, so different observers assign it different values — a fast electron in your frame may be at rest in mine, and we will disagree about its energy by any factor we like. And yet there is a combination of and on which every observer agrees exactly. Holding both facts at once is what it means to understand relativistic energy, so we prove them together, with explicit numbers, and then extract the sharpest consequence: that masslessness and travelling at are the same statement.
Step 1. Boost the four-momentum. transforms with the same as : and , with unchanged. Why: nothing here is special to energy. It is a four-vector component, and it does what four-vector components do.
Step 2. Form the invariant. E'^2 - (p'_xc)^2 = \gamma_V^2\Big[(E - Vp_x)^2 - \big(p_xc - \tfrac{V}{c}E\big)^2\Big] = \gamma_V^2\Big(1 - \tfrac{V^2}{c^2}\Big)\big(E^2 - p_x^2c^2\big) = E^2 - p_x^2c^2, since . The transverse momenta cancel identically. Why: the cross terms cancel between the two squares, and the leftover prefactor is exactly . This is the same one-line miracle that makes the spacetime interval invariant — because it <strong>is</strong> the same algebra.
Step 3. Evaluate the invariant once and for all. Compute it in the rest frame, where and : it equals . So in every frame. Why: the licence to evaluate an invariant in the most convenient frame and trust the answer everywhere is the single most useful technique in relativistic dynamics. Here the convenient frame is the rest frame, and the answer is the mass.
Step 4. Read off the velocity. From equation (1), , so . Both and have cancelled. Why: an expression for the velocity that contains no mass will survive the limit , where does not. That is exactly what we need next.
Step 5. Set and watch fall out. The invariant becomes , so . Substituting into Step 4: , exactly. Why: this is <strong>not</strong> the assumption that light travels at — that was a postulate about light. This is a <strong>derivation</strong> that anything with zero rest mass must travel at , whatever it is, forced by the energy–momentum relation alone. Note also what we did <strong>not</strong> do: we never wrote . is undefined for a massless particle, and no step above used it.
Step 6. Run the argument backwards. Suppose . Then , so , forcing . Why: with Step 5 this makes it an <strong>if and only if</strong>. Zero mass speed exactly . Nothing with mass can reach ; nothing without mass can do anything else. The light cone is not a speed limit imposed on massless particles — it is the only place they are allowed to be. *Verified numerically and symbolically in verify_aq-sr-relativistic-energy.py: the boost identity for symbolic ; and the explicit case of an electron at ( MeV, MeV) boosted by to MeV, MeV, with MeV in both frames and ; and cross-checked against the velocity-addition law .*
Limiting cases
| Case | Result | Meaning |
|---|---|---|
| the rest energy — the famous equation, and only here | ||
| Newton, plus the constant he could not see | ||
| the Galilean world: the rest energy runs away and only is left | ||
| , | unattainable: no finite energy suffices | |
| , forced | undefined; masslessness lightspeed | |
| ultrarelativistic: the mass switches itself off | ||
| any boost | changes, does not | the component varies; the particle does not |
Worked examples
1 · Boost an electron and watch its energy change while its mass does not
An electron ( MeV) moves at along in frame . Frame moves at along . Find and in both frames, and evaluate the invariant in each.
Step 1 — identify. Energy and momentum are the time and space slots of one four-vector, so they boost with the standard . The invariant must come out identical, and it must equal .
Step 2 — frame . . So MeV and MeV.
Step 3 — boost to . . Then MeV, and MeV. The energy has fallen and the momentum has reversed direction — in the electron is moving backwards, because overtook it.
Step 4 — the invariant, twice. In : MeV. In : MeV. Identical.
Step 5 — the boundary number. MeV , exactly. The energy dropped by and the momentum changed sign, and the invariant did not move in the eighth decimal place. That is what it means to say the mass is the particle and the energy is only a shadow of it. As a cross-check, the electron's speed in is — precisely what the velocity-addition law gives: .
2 · A 1 GeV electron: how much of it is mass?
An electron is accelerated to a total energy of GeV. Find , and the fraction of its energy that is rest energy.
Step 1 — identify. "Total energy" means , so is a ratio of energies — no speed required.
Step 2 — apply. .
Step 3 — the split. Rest energy MeV; kinetic energy MeV.
Step 4 — the boundary number. The rest energy is of the total. Over of what this electron carries is kinetic energy — the mass has become a rounding error. This is the ultrarelativistic regime, and it is why high-energy physicists so often work with and put the mass back only when they must. It is also, read the other way, a warning: for this electron, would understate the energy by a factor of nearly two thousand.
Physics of the portrait
The portrait here is not a person but a term in an expansion — the one that sat at the front of the energy of every object in the universe for two hundred years without anyone noticing, because it never changed.
Origins · 2 minRest energy and how this was discovered
The rest energy is the strangest quantity in classical physics: overwhelmingly the largest energy any ordinary object possesses, and completely undetectable by any classical experiment. The reason is bookkeeping, not magnitude. Newtonian mechanics fixes energy only up to an additive constant — you may add a billion joules to every energy in a problem and nothing observable changes — and is exactly such a constant, identical before and after any process in which the masses do not change. Chemistry does change them, but by parts in : burning a kilogram of coal converts about of its mass, far below what any nineteenth-century balance could weigh. So the term was there, in Newton's kinetic energy, hiding at the front of a series nobody had reason to write down. Einstein wrote it down in September 1905, in a three-page follow-up to the relativity paper, and drew the conclusion that a body radiating energy must lose mass . It then took a generation and a new kind of physics — the nucleus, where binding energies reach parts in — before anyone could arrange a process that changed a mass by enough to see. When Cockcroft and Walton split lithium in 1932 and compared the energy released against the mass that vanished, the invisible constant finally became a measurement.
Going further
Texts. Rindler, Introduction to Special Relativity, 2nd ed., §§26–27 · Taylor & Wheeler, Spacetime Physics, 2nd ed., ch. 7 · Griffiths, Introduction to Electrodynamics, 4th ed., §12.2 · Morin, Introduction to Classical Mechanics, ch. 12 · Hartle, Gravity, ch. 5 · Okun, "The concept of mass", Physics Today 42(6), 31 (1989).
Provenance. Signature , so and . Everything above is recomputed in verify_aq-sr-relativistic-energy.py: from ; the expansion with sympy-confirmed coefficients; the boost invariance for symbolic ; the massless implication and its converse; and the numbers — electron at : MeV, MeV; boosted by : MeV, MeV, a energy drop; invariant MeV in both frames, MeV ; against velocity addition; and a 1 GeV electron at with rest energy of the total.
Scope. The norm and the relation are derived at Four-Momentum and used here. is derived at Relativistic Momentum. The kinetic energy is stated here and derived from the work–energy theorem at Relativistic Kinetic Energy. What means — that mass is not conserved and internal energy weighs — belongs to Mass–Energy Equivalence. The extended ultrarelativistic treatment is Energy–Momentum Relation's, and the photon's is Massless Particles and the Photon's.
Builds on. Four-Momentum · Four-Velocity · Relativistic Momentum · Four-Vectors. Leads to. Energy–Momentum Relation · Relativistic Kinetic Energy · Mass–Energy Equivalence · Massless Particles and the Photon · Conservation of Four-Momentum.
So is E = mc² wrong?
No — it is right, and specific. It is the correct energy of a body at rest, and it is the equation that tells you mass is a form of energy. What is wrong is using it as the energy of a moving body, which is . The two differ by the kinetic energy. Einstein's own 1905 statement was about a body at rest, and the modern convention keeps it that way by writing with the subscript. Nothing is being taken away from the famous equation; it is being given its correct domain.
If energy depends on the frame, is it really conserved?
Yes, and the two ideas are independent. Conservation compares before with after, within one frame: in that frame is the same after the collision as before. Invariance compares one frame with another, at the same moment. Energy is conserved but not invariant; the mass is invariant but (for a system) not additive. The subtle and beautiful point is that conservation would fail if only energy were conserved and not momentum — a boost mixes them, so a frame would exist where the balance broke. The two Newtonian laws stand or fall together, and relativity is what reveals why.
What is the energy of a photon, given that γ is undefined?
— obtained from the invariant , never from , which for is the meaningless product . In quantum terms , so a photon's energy is set by its frequency and by nothing else. Note the pleasing consistency: a photon does have energy and momentum despite having no mass, and it is precisely the vanishing of the invariant that ties them together as . Zero mass does not mean zero four-momentum; it means a null four-momentum.
Why does the energy of a moving body diverge as v approaches c?
Because does, and the physical content is the work–energy theorem: pushing a body faster requires work, and the work needed for each additional increment of speed grows without limit as . The divergence is not a mathematical artefact to be regularised away; it is the statement that is unattainable for anything with mass. Note that the speed stays perfectly finite and bounded while the energy runs to infinity — the energy is what diverges, never the velocity. The detailed accounting is Relativistic Kinetic Energy's.
Is the rest energy really available, or is it just bookkeeping?
It is really available, but only in processes that change the mass. In a purely mechanical process the masses are unchanged, cancels from both sides, and the rest energy is indeed pure bookkeeping — which is why Newton never needed it. Chemistry changes masses by parts in , too small for any classical balance. Nuclear processes change them by parts in , which is why the rest energy first became visible in a nuclear experiment, and it is the whole story of Mass–Energy Equivalence. In annihilation the conversion is complete: an electron and a positron at rest have MeV of rest energy, and they leave behind two photons carrying exactly MeV each.
Why is E = pc²/v such a useful relation?
Because it contains neither nor , so it never breaks. It gives the velocity of anything from its energy and momentum — — which is exactly what a detector needs, since detectors measure and , not . And it is the clean route to the massless case: with it returns without ever dividing by zero or invoking an infinite . Whenever a relativistic formula threatens to produce , look for the version of it that has cancelled the away. Usually there is one, and it is usually the more fundamental statement.