Relativistic Inelastic Collisions

Take two lumps of clay, one kilogram each, and throw them at one another at ten metres per second. They meet, stop, and stick. A hundred joules of kinetic energy have gone somewhere, and the Newtonian answer is that they went into heat — the clay is now very slightly warmer, and that is the end of the story. It is not the end of the story. Put the merged lump on a scale accurate enough and it weighs more than two kilograms. The excess is ΔM=100 J/c2=1.11×10−15 kg\Delta M = 100\ \mathrm{J}/c^2 = 1.11\times10^{-15}\ \mathrm{kg} — about the mass of a single bacterium, added to a lump of clay by the act of stopping it. Nothing was created. The kinetic energy did not turn into mass in some alchemical sense: it is mass, and always was, and it took a system's-eye view to notice. Scale it up and the effect stops being cute. Fire a proton at 7mpc2=6.568 GeV7m_pc^2 = 6.568\ \mathrm{GeV} of total energy into a proton at rest and let them merge. The invariant mass of what comes out is not 2mp2m_p. It is exactly 4mp4m_p — the mass has doubled, and the extra 1.877 GeV/c21.877\ \mathrm{GeV}/c^2 is nothing but the beam's kinetic energy, re-labelled. That is this article's whole content, and it is the most useful idea in relativistic dynamics: a system's invariant mass is not the sum of the masses of its parts. It is larger, for any collection of free particles not all moving together — larger by exactly the kinetic energy they carry in their own centre-of-momentum frame. Mass is not stuff you count. It is a property of a four-momentum, and four-momenta add as vectors.

Key takeaways
  • Signature (+,−,−,−)(+,-,-,-): p⋅p=+m2c2p\cdot p = +m^2c^2 on shell. ss is in energy² units, so s\sqrt{s} is an energy (Centre-of-Momentum Frame locks this).
  • Inelastic means the rest masses are not conserved. Four-momentum still is — it always is. What fails is the additional condition that made total kinetic energy conserved in the elastic case.
  • Perfectly inelastic (the parts merge into one body): in the CM frame the product is at rest, so its energy is the whole CM energy, and Mc2=s\boxed{Mc^2 = \sqrt{s}}. The single body's invariant mass is the system's invariant mass — which it always was, even before the collision.
  • Owned result — mass is not additive. M=∑imi+Ttot∗/c2M = \sum_i m_i + T^{*}_{\mathrm{tot}}/c^2, with Ttot∗T^{*}_{\mathrm{tot}} the kinetic energy in the CM frame. So M>∑imiM > \sum_i m_i strictly, for any free system whose parts are not all moving together. The absorbed kinetic energy becomes the system's invariant mass. The general theorem needs no merger: Mc2=s≥∑imic2Mc^2 = \sqrt{s} \geq \sum_i m_ic^2, with equality only when every part shares one velocity — so two photons flying apart, each massless, form a system of mass 2Eγ/c22E_\gamma/c^2.
  • This is not "relativistic mass". Every mim_i is an invariant rest mass and none of them changes with speed. What grows is the system's invariant mass — a different object, and a real one, with real weight.
  • Key idea: kinetic energy in the CM frame is not merely EQUIVALENT to mass. In a merger it IS the mass, and you can put the result on a balance. Over 99 % of a proton's own mass is this effect.
The core insight

Add two four-momenta and take the norm. That is the entire subject. Because Pμ=p1μ+p2μP^\mu = p_1^\mu + p_2^\mu is a vector sum, its length is not the sum of the lengths — exactly as for two arrows in a plane — and the "length" of a four-momentum is precisely mcmc. So a system's mass is not the sum of its parts' masses, and the excess is a statement about directions in spacetime: about how much the constituent four-momenta disagree over which way "future" points. When they all point the same way, the masses add. When they do not, the system weighs more, by the CM kinetic energy over c2c^2.

Where this lives today

The proton is the headline. Its three valence quarks have masses summing to roughly 9 MeV/c29\ \mathrm{MeV}/c^2 — under one percent of the proton's 938.272 MeV/c2938.272\ \mathrm{MeV}/c^2. More than 99 % of the mass of every atom in your body is therefore not the mass of anything: it is s\sqrt{s} of a confined, seething system. (Quark masses are scheme-dependent, MS‾\overline{\mathrm{MS}} at 2 GeV2\ \mathrm{GeV}; the conclusion is not.) Non-additivity is also the working tool of experimental particle physics. To find a new particle you do not look for it — you take the four-momenta of a set of decay products, add them, and take the norm. If they came from a single parent, that norm is the parent's mass, in every event, whatever the parent's speed, and the histogram shows a peak. If they did not, the norm is meaningless and the histogram is smooth. Every discovery plot in the field, from the J/ψJ/\psi to the Higgs, is a picture of this fact. Particle Decay Kinematics explains why the peak is sharp. For bound systems the effect runs in reverse, and it is why the sun shines: a helium-4 nucleus weighs 28.3 MeV/c228.3\ \mathrm{MeV}/c^2 less than its two protons and two neutrons, and that deficit is what fusion releases. Same theorem, opposite sign, because the interaction energy is negative. Binding Energy and Mass Defect owns that half.

The physical picture

An elastic collision keeps every rest mass, and therefore keeps total kinetic energy (Relativistic Elastic Collisions owns that). An inelastic one does not. Two lumps of clay merge; two protons fuse into an excited state; a photon is absorbed. In every such case four-momentum is conserved — it always is, in every collision without exception — but rest masses are not, and the accounting has to be done on the four-momentum, not on the masses. Go to the CM frame. Before the collision the two bodies approach with p⃗1  ∗=−p⃗2  ∗\vec p_1^{\;*} = -\vec p_2^{\;*}, carrying total energy s=m1c2+m2c2+Ttot∗\sqrt{s} = m_1c^2 + m_2c^2 + T_{\mathrm{tot}}^{*}: their rest energies, plus whatever kinetic energy they have in this frame. If they merge, the product must be at rest — the total momentum was zero and stays zero — and a body at rest has energy Mc2Mc^2. So

Mc2=s=m1c2+m2c2+Ttot∗Mc^2 = \sqrt{s} = m_1c^2 + m_2c^2 + T_{\mathrm{tot}}^{*}

and the kinetic energy has not gone anywhere. It is sitting in the mass of the product, which is heavier than its ingredients by precisely Ttot∗/c2T_{\mathrm{tot}}^{*}/c^2. Microscopically it is heat, deformation, internal excitation — but whatever it is microscopically, it weighs, and the balance does not care about the mechanism.

Figure
PUNCHLINE — the mass ledger of a perfectly inelastic collision. A 6.568 GeV proton (E = 7·m_p·c²) merges with a proton at rest. The ingredients weigh 2·m_p = 1.877 GeV/c². The product weighs 4·m_p = 3.753 GeV/c² — the invariant mass has EXACTLY DOUBLED, and the extra 1.877 GeV/c² is the beam's kinetic energy, re-labelled. Exactly one third of the 5.630 GeV of lab kinetic energy is absorbed; the other two thirds must stay as motion, because the momentum has nowhere to go
p + p → one body. Beam E₁ = 7 m_p c² = 6.568 GeV, target at rest. BEFORE — the ingredients 2 m_p = 1.877 rest mass of the two protons (GeV/c²) T_lab = 6 m_p c² = 5.630 GeV of kinetic energy … but only part of it is spendable AFTER — one body, and it is HEAVIER 2 m_p = 1.877 + 2 m_p = 1.877 KE → INVARIANT MASS 3.753 GeV stays KINETIC the blob must keep moving (β = 0.866) exactly ⅓ of T_lab is absorbed M = 4 m_p = 3.753 GeV/c² — the invariant mass has DOUBLED M c² = √s, always. Here √s = 4 m_p c², so M = 4 m_p — and M ≥ 2 m_p is guaranteed, with equality only if the two protons were already moving together. The mass gain IS the CM-frame kinetic energy, ÷ c². Everyday version: two 1 kg clay balls at 10 m/s head-on gain 1.11 × 10⁻¹⁵ kg — the mass of a bacterium.

The core equations

Four-momentum conservation is unchanged — it is not a property of any kind of collision — but the mass condition of the elastic case is now abandoned:

∑inpiμ=∑outpfμ(always),∑inmi  ≠  ∑outmf(inelastic)(1)\sum_{\mathrm{in}} p_i^\mu = \sum_{\mathrm{out}} p_f^\mu \quad\text{(always)}, \qquad \sum_{\mathrm{in}} m_i \;\neq\; \sum_{\mathrm{out}} m_f \quad\text{(inelastic)} \qquad (1)

where: mim_i — the invariant rest mass of each particle. Physical reading: the masses are the things that changed, not the four-momentum. And since ss is built from four-momenta alone, ss is still conserved and still invariant — which is why the entire analysis can be done with it. For a perfectly inelastic collision — the parts merge into a single body of mass MM — the CM frame does all the work at once:

  Mc2  =  s  =  (∑iEi)2−∣∑ip⃗i∣2c2  (2)\boxed{\;Mc^2 \;=\; \sqrt{s} \;=\; \sqrt{\Big(\textstyle\sum_i E_i\Big)^2 - \Big|\textstyle\sum_i \vec p_i\Big|^2c^2}\;} \qquad (2)

where: MM — the system's invariant mass, not "the total rest mass". Physical reading: in the CM frame the product is at rest, so all of s\sqrt{s} is its rest energy. But notice what equation (2) does not say: it does not say the mass appeared. s\sqrt{s} was the system's invariant mass before the collision as well, because ss is conserved. The merger did not create mass; it localised it into a single body where you can weigh it. Split s\sqrt{s} into rest and kinetic parts in the CM frame and the owned result falls out:

  M  =  ∑imi  +  Ttot∗c2  whereTtot∗=∑i(γi∗−1)mic2(3)\boxed{\;M \;=\; \sum_i m_i \;+\; \frac{T^{*}_{\mathrm{tot}}}{c^2}\;} \qquad\text{where}\qquad T^{*}_{\mathrm{tot}} = \sum_i \big(\gamma_i^{*} - 1\big)m_ic^2 \qquad (3)

where: the asterisk means "evaluated in the CM frame". Physical reading: the mass excess is the CM-frame kinetic energy, and nothing else. Not the lab kinetic energy — the lab has more, and most of it is unspendable because the products must keep carrying the system's momentum (Centre-of-Momentum Frame derives that; Threshold Energy makes it the punchline). Since every γi∗≥1\gamma_i^{*} \geq 1, we get M≥∑imiM \geq \sum_i m_i, with equality only if every part is at rest in the CM frame — that is, only if they were all moving together already. And the general theorem, which needs no merger at all:

Mc2=s  ≥  ∑imic2for ANY free system, with equality iff all parts share one four-velocity(4)Mc^2 = \sqrt{s} \;\geq\; \sum_i m_ic^2 \qquad\text{for ANY free system, with equality iff all parts share one four-velocity} \qquad (4)

where: MM — again the system's invariant mass. Physical reading: the two-photon case is the extreme. Two photons of energy EγE_\gamma flying in opposite directions have every mi=0m_i = 0, yet s=(2Eγ)2=4Eγ2s = (2E_\gamma)^2 = 4E_\gamma^2, so M=2Eγ/c2M = 2E_\gamma/c^2. Two massless particles make a massive system. Point them the same way and MM collapses to zero — the equality case, where the four-velocities agree.

Deriving the mass gain

Derivation AA perfectly inelastic collision converts CM kinetic energy into invariant mass, exactly

When two bodies merge, the resulting body is heavier than the two that made it, by an amount predictable to the last digit. We derive it in the CM frame, where it is almost trivial, then read it back into the lab, where it is not obvious at all — and the gap between those two views is where every misconception about this subject lives.

Step 1. Set up in the CM frame. By definition ∑ip⃗i  ∗=0⃗\sum_i\vec p_i^{\;*} = \vec 0, and the total energy there is s\sqrt{s}. Write each particle's CM energy as rest plus kinetic: Ei∗=mic2+Ti∗E_i^{*} = m_ic^2 + T_i^{*}. Summing, s=∑imic2+Ttot∗\sqrt{s} = \sum_i m_ic^2 + T^{*}_{\mathrm{tot}}. Why: this is just a re-labelling of s\sqrt{s} — but it is the re-labelling that makes the result visible, because it separates the part of the energy that is already mass from the part that is not yet.

Step 2. Impose the merger. The two bodies stick together, so the final state is a single body. Its momentum must be the total momentum, which in this frame is 0⃗\vec 0 — so the product is at rest in the CM frame. A single body at rest has four-momentum (Mc,0⃗ )(Mc, \vec 0\,) and energy Mc2Mc^2. Why: this is the only place any physics enters. Everything else is bookkeeping. And note that momentum conservation, not energy conservation, is what pins the product to rest.

Step 3. Equate. Energy conservation in the CM frame gives Mc2=sMc^2 = \sqrt{s}, and substituting Step 1, M=∑imi+Ttot∗/c2\boxed{M = \sum_i m_i + T^{*}_{\mathrm{tot}}/c^2}. Why: the kinetic energy did not vanish and it did not "become" mass by some process. It was always part of s\sqrt{s}, which is conserved — the collision merely moved it from the "kinetic" column of the ledger into the "rest" column, by bringing the parts to rest relative to one another.

Step 4. Sign the inequality. Every Ti∗≥0T_i^{*} \geq 0, so M≥∑imiM \geq \sum_i m_i, with equality iff every Ti∗=0T_i^{*} = 0 — iff every part is already at rest in the CM frame, which means they were all moving with the same velocity and there was no collision to speak of. For any real merger, M>∑imi\boxed{M > \sum_i m_i} strictly. Why: for two equal masses this reads M>2mM > 2m, which is the marquee statement. There is no configuration, at any energy, in which a merger fails to gain mass.

Step 5. Guard against the standard misreading. Not one mim_i has changed. Each is still the invariant rest mass of its particle, still the same number in every frame, still unaffected by speed. What increased is the system's invariant mass, which was never ∑imi\sum_i m_i in the first place. Why: this is the one legitimate sense in which "mass increases" in relativity, and it is nothing to do with the discredited notion of relativistic mass. It is the norm of a vector sum failing to equal the sum of the norms — a fact about geometry, not about the particles. *Verified in verify_aq-sr-relativistic-inelastic-collisions.py: Mc2=sMc^2 = \sqrt{s} and M=∑mi+T∗/c2M = \sum m_i + T^{*}/c^2 are derived symbolically; M>∑miM > \sum m_i is asserted over a grid of masses and speeds; and the equality case is confirmed to occur exactly when the four-velocities coincide.*

Go deeper · Derivation B · 2 minThe lab formula, and what fraction of the beam energy can actually be absorbed
Derivation BThe lab formula, and what fraction of the beam energy can actually be absorbed

In the lab the collision looks nothing like the CM picture: the product does not stop, it careers forward, and most of the beam's kinetic energy is still kinetic afterwards. That is not a contradiction but momentum conservation — and saying exactly how much was absorbed and how much was not is the practical content of this article.

Step 1. Evaluate ss in the lab. Beam of mass m1m_1 and total energy E1E_1, target of mass m2m_2 at rest. Centre-of-Momentum Frame derives s=m12c4+m22c4+2m2c2E1s = m_1^2c^4 + m_2^2c^4 + 2m_2c^2E_1; recalling it here and using Mc2=sMc^2 = \sqrt{s}:

  Mc2=m12c4+m22c4+2m2c2E1  \boxed{\;Mc^2 = \sqrt{m_1^2c^4 + m_2^2c^4 + 2m_2c^2E_1}\;}

Why: ss is conserved, so we may compute it entirely from the initial state — before we know anything at all about how the collision proceeds. That is the whole power of working with an invariant.

Step 2. Specialise to equal masses. With m1=m2=mm_1 = m_2 = m and E1=γmc2E_1 = \gamma mc^2: Mc2=mc22(1+γ)Mc^2 = mc^2\sqrt{2(1+\gamma)}, so M=m2(1+γ)M = m\sqrt{2(1+\gamma)}. At γ=1\gamma = 1 this gives M=2mM = 2m (no collision — they were already at rest together); for any γ>1\gamma > 1, M>2mM > 2m. Why: and at γ=7\gamma = 7 this is M=m16=4mM = m\sqrt{16} = 4m exactly — the article's worked example, and not a coincidence but the reason the antiproton threshold sits where it does.

Step 3. Find the absorbed energy. The mass gain is ΔMc2=Mc2−2mc2\Delta M c^2 = Mc^2 - 2mc^2, and this is what got absorbed. The lab kinetic energy supplied was Tlab=E1−mc2=(γ−1)mc2T_{\mathrm{lab}} = E_1 - mc^2 = (\gamma-1)mc^2. Why: these are different numbers, and the ratio between them is the efficiency of the collision as a mass-making machine.

Step 4. Account for the rest. The product carries the whole system momentum, so it must move: its energy is Etot=(γ+1)mc2E_{\mathrm{tot}} = (\gamma+1)mc^2 and its Lorentz factor is γM=Etot/Mc2=(γ+1)/2(1+γ)=(γ+1)/2\gamma_M = E_{\mathrm{tot}}/Mc^2 = (\gamma+1)/\sqrt{2(1+\gamma)} = \sqrt{(\gamma+1)/2} — which is exactly γcm\gamma_{\mathrm{cm}}, as it must be, since the product is at rest in the CM frame. Its kinetic energy is TM=(γM−1)Mc2T_M = (\gamma_M - 1)Mc^2, and the ledger closes: Tlab=ΔMc2+TMT_{\mathrm{lab}} = \Delta Mc^2 + T_M. Why: nothing is missing and nothing is lost. The lab kinetic energy splits cleanly into the part that became mass and the part that had to stay kinetic because momentum cannot be destroyed.

Step 5. Take the Newtonian limit as a check. For v≪cv \ll c, expand γi∗−1≈12βi∗2\gamma_i^{*} - 1 \approx \tfrac12\beta_i^{*2} in equation (3): ΔMc2≈Ttot∗=12μvrel2\Delta Mc^2 \approx T^{*}_{\mathrm{tot}} = \tfrac12\mu v_{\mathrm{rel}}^2, with μ=m1m2/(m1+m2)\mu = m_1m_2/(m_1+m_2) the reduced mass. Why: this is exactly the kinetic energy a Newtonian says is "lost to heat" in a perfectly inelastic collision — the standard result from first-year mechanics. Relativity does not change the number. It tells you where the energy went, and that it weighs. *Verified in verify_aq-sr-relativistic-inelastic-collisions.py: M=m2(1+γ)M = m\sqrt{2(1+\gamma)} is derived symbolically; the ledger Tlab=ΔMc2+TMT_{\mathrm{lab}} = \Delta Mc^2 + T_M is proved to close identically in γ\gamma; γM=γcm\gamma_M = \gamma_{\mathrm{cm}} is confirmed; and the v≪cv \ll c expansion is shown to reproduce 12μvrel2\tfrac12\mu v_{\mathrm{rel}}^2 to leading order.*

Go deeper · Derivation C · 2 minMass is not additive: the general theorem, and its equality case
Derivation CMass is not additive: the general theorem, and its equality case

The merger result is a special case of something far more general, and the general statement is the one worth carrying away. It holds for any collection of free particles, colliding or not, massive or massless: a system's invariant mass is at least the sum of its parts' masses, and strictly greater unless they all move together. No collision is needed — this is a statement about adding four-vectors.

Step 1. Write the invariant mass of a two-particle system. M2c4=s=(E1+E2)2−∣p⃗1+p⃗2∣2c2M^2c^4 = s = (E_1+E_2)^2 - |\vec p_1 + \vec p_2|^2c^2. Expanding and using each mass shell Ei2−∣p⃗i∣2c2=mi2c4E_i^2 - |\vec p_i|^2c^2 = m_i^2c^4:

M2c4=m12c4+m22c4+2(E1E2−p⃗1⋅p⃗2 c2)M^2c^4 = m_1^2c^4 + m_2^2c^4 + 2\big(E_1E_2 - \vec p_1\cdot\vec p_2\,c^2\big)

Why: everything now hinges on the cross term, which is 2c2 (p1⋅p2)2c^2\,(p_1\cdot p_2) — a Lorentz invariant, so we may evaluate it in whichever frame is convenient.

Step 2. Identify the cross term. Evaluate p1⋅p2p_1\cdot p_2 in the rest frame of particle 1, where p1=(m1c,0⃗ )p_1 = (m_1c, \vec 0\,) and particle 2 moves at the relative velocity with Lorentz factor γrel\gamma_{\mathrm{rel}}. Then p1⋅p2=m1c⋅(γrelm2c)=γrelm1m2c2p_1\cdot p_2 = m_1c\cdot(\gamma_{\mathrm{rel}}m_2c) = \gamma_{\mathrm{rel}}m_1m_2c^2, so E1E2−p⃗1⋅p⃗2 c2=γrel m1m2c4E_1E_2 - \vec p_1\cdot\vec p_2\,c^2 = \gamma_{\mathrm{rel}}\,m_1m_2c^4. Why: this is the classic invariant-evaluation trick — compute a scalar in the frame that makes it trivial, then trust it everywhere. And it hands us a γ\gamma, which is always at least 11.

Step 3. Bound it. Since γrel≥1\gamma_{\mathrm{rel}} \geq 1, with equality iff the relative velocity is zero:

M2c4=m12c4+m22c4+2γrelm1m2c4  ≥  m12c4+m22c4+2m1m2c4=(m1+m2)2c4M^2c^4 = m_1^2c^4 + m_2^2c^4 + 2\gamma_{\mathrm{rel}}m_1m_2c^4 \;\geq\; m_1^2c^4 + m_2^2c^4 + 2m_1m_2c^4 = (m_1+m_2)^2c^4

hence M≥m1+m2\boxed{M \geq m_1 + m_2}, with equality iff the two particles have the same velocity. Why: the whole non-additivity of mass is the single factor γrel\gamma_{\mathrm{rel}} sitting in the cross term. Masses add only when the parts agree about which direction the future is — that is what "same four-velocity" means.

Step 4. Push it to the massless extreme. Take m1=m2=0m_1 = m_2 = 0: two photons of energy EγE_\gamma each. Back-to-back, p⃗1+p⃗2=0⃗\vec p_1 + \vec p_2 = \vec 0 and s=(2Eγ)2s = (2E_\gamma)^2, so M=2Eγ/c2≠0\boxed{M = 2E_\gamma/c^2 \neq 0}. Collinear, ∣p⃗1+p⃗2∣c=2Eγ|\vec p_1 + \vec p_2|c = 2E_\gamma and s=0s = 0, so M=0M = 0. Why: the same two particles, with the same energies, give a massive system or a massless one depending only on their relative direction. If any doubt remained that mass is a property of a four-momentum rather than a count of stuff, this kills it.

Step 5. Note the one exception, and hand it off. Everything above assumed the particles are free. A bound system can have M<∑imiM < \sum_i m_i, because its constituents carry negative potential energy — a helium-4 nucleus weighs 28.3 MeV/c228.3\ \mathrm{MeV}/c^2 less than two protons plus two neutrons. Why: the theorem is not violated, because s=∑iEiCM\sqrt{s} = \sum_i E_i^{\mathrm{CM}} counts the interaction energy too, and that is negative. Binding Energy and Mass Defect owns the bound case; this article owns the free one, where the inequality runs the other way. *Verified in verify_aq-sr-relativistic-inelastic-collisions.py: the cross-term identity E1E2−p⃗1⋅p⃗2c2=γrelm1m2c4E_1E_2 - \vec p_1\cdot\vec p_2c^2 = \gamma_{\mathrm{rel}}m_1m_2c^4 is proved symbolically; M≥m1+m2M \geq m_1+m_2 is asserted over a grid of masses and velocities and the equality case confirmed at v⃗1=v⃗2\vec v_1 = \vec v_2; and both photon configurations are checked to give M=2Eγ/c2M = 2E_\gamma/c^2 and M=0M = 0.*

Limiting cases

CaseResultMeaning
all parts share one velocityM=∑imiM = \sum_i m_ithe only case in which mass is additive
perfectly inelastic mergerMc2=sMc^2 = \sqrt{s},   M=∑mi+T∗/c2\;M = \sum m_i + T^{*}/c^2all of the CM kinetic energy becomes mass
elastic collision∑mf=∑mi\sum m_f = \sum m_ino mass change — the previous article
v≪cv \ll cΔMc2→12μvrel2\Delta Mc^2 \to \tfrac12\mu v_{\mathrm{rel}}^2Newton's "kinetic energy lost to heat" — the same number, now weighed
equal masses, γ\gamma on a target at restM=m2(1+γ)M = m\sqrt{2(1+\gamma)}M=4mM = 4m at γ=7\gamma = 7; M→m2γM \to m\sqrt{2\gamma} at high energy
two photons, back-to-backM=2Eγ/c2M = 2E_\gamma/c^2massless parts, massive system
two photons, collinearM=0M = 0same particles, same energies, different directions — no mass
bound systemM<∑imiM < \sum_i m_ibinding energy — the inequality reverses. See Binding Energy and Mass Defect

Worked examples

1 · Two protons, and a mass that doubles

A proton with total energy E1=6.568 GeVE_1 = 6.568\ \mathrm{GeV} strikes a proton at rest and the two merge into a single body. Find its invariant mass, its speed, and how much of the beam's kinetic energy was absorbed. Take mpc2=0.938272 GeVm_pc^2 = 0.938272\ \mathrm{GeV}, and note that 6.568=7 mpc26.568 = 7\,m_pc^2.

Step 1 — identify. The product's mass is fixed by ss alone: Mc2=sMc^2 = \sqrt{s}. The merger mechanism is irrelevant.

Step 2 — apply. s=2mp2c4+2mpc2E1=2mp2c4+14mp2c4=16 mp2c4s = 2m_p^2c^4 + 2m_pc^2E_1 = 2m_p^2c^4 + 14m_p^2c^4 = 16\,m_p^2c^4, so s=4mpc2\sqrt{s} = 4m_pc^2 and M=4mp=3.753 GeV/c2M = 4m_p = \mathbf{3.753\ GeV/c^2}, exactly. The ingredients weighed 2mp=1.877 GeV/c22m_p = 1.877\ \mathrm{GeV}/c^2: the invariant mass has doubled.

Step 3 — the speed of the blob. Etot=8mpc2=7.506 GeVE_{\mathrm{tot}} = 8m_pc^2 = 7.506\ \mathrm{GeV}, so γM=Etot/Mc2=8/4=2\gamma_M = E_{\mathrm{tot}}/Mc^2 = 8/4 = \mathbf{2} exactly, and βM=1−1/4=0.866\beta_M = \sqrt{1 - 1/4} = \mathbf{0.866}.

Step 4 — the energy ledger. Absorbed: ΔMc2=(4−2)mpc2=1.877 GeV\Delta Mc^2 = (4-2)m_pc^2 = \mathbf{1.877\ GeV}. Still kinetic: TM=(γM−1)Mc2=3.753 GeVT_M = (\gamma_M - 1)Mc^2 = \mathbf{3.753\ GeV}. Supplied: Tlab=6mpc2=5.630 GeVT_{\mathrm{lab}} = 6m_pc^2 = \mathbf{5.630\ GeV}. And 1.877+3.753=5.6301.877 + 3.753 = 5.630 — the ledger closes exactly.

Step 5 — the boundary number. The absorbed fraction is 1.877/5.630=1/31.877/5.630 = \mathbf{1/3}, exactly. Two thirds of the beam's kinetic energy could never have become mass, whatever the collision did, because the momentum had nowhere to go. Not an inefficiency of the merger — a theorem about the frame.

Step 6 — the tie-in. s=4mpc2\sqrt{s} = 4m_pc^2 is precisely the antiproton threshold, and not by coincidence: E1=7mpc2E_1 = 7m_pc^2 is exactly where the system's invariant mass reaches four proton masses, which is what p+p→p+p+p+pˉp + p \to p + p + p + \bar p requires. Threshold Energy owns the consequence.

2 · Two lumps of clay, and a bacterium's worth of mass

Two 1.00 kg lumps of clay approach head-on at 10.0 m s−110.0\ \mathrm{m\,s^{-1}} each and stick together. By how much does the mass increase?

Step 1 — identify. The lab is the CM frame here, by symmetry. So the entire kinetic energy is CM kinetic energy, and all of it is absorbed: ΔMc2=Ttot∗\Delta Mc^2 = T^{*}_{\mathrm{tot}}.

Step 2 — apply. Ttot∗=2×12mv2=1.00×(10.0)2=100 JT^{*}_{\mathrm{tot}} = 2\times\tfrac12 m v^2 = 1.00\times(10.0)^2 = \mathbf{100\ J}. (Cross-check with the reduced-mass formula: 12μvrel2=12(0.500)(20.0)2=100 J\tfrac12\mu v_{\mathrm{rel}}^2 = \tfrac12(0.500)(20.0)^2 = 100\ \mathrm{J}. ✓)

Step 3 — the boundary number. ΔM=100/c2=100/(8.98755×1016)=1.11×10−15 kg\Delta M = 100/c^2 = 100/(8.98755\times10^{16}) = \mathbf{1.11\times10^{-15}\ kg} — about 1.1 picograms, roughly the mass of a single bacterium. As a fraction of the 2 kg total it is 5.6×10−165.6\times10^{-16}: eleven orders of magnitude below the best laboratory balance. Newton was never going to catch this, which is precisely why "kinetic energy is lost to heat" survived for three centuries as a complete-sounding statement.

Figure
The general theorem, drawn. The invariant mass of a system is the LENGTH of the vector SUM of its parts' four-momenta — and the length of a sum is not the sum of the lengths. LEFT: two four-momenta pointing the same way; the lengths add, M = m₁ + m₂ exactly, the only additive case. RIGHT: the same two four-momenta at an angle in spacetime; the sum is LONGER than either, and M ≥ m₁ + m₂ strictly. The excess is γ_rel, the relative Lorentz factor, sitting in the cross term
M c² = √s is the LENGTH of P = p₁ + p₂. Lengths of a vector sum do not add. E/c p SAME velocity ⇒ M = m₁ + m₂ (additive) p₁ p₂ P = p₁ + p₂ colinear: |P| = |p₁| + |p₂| E/c p DIFFERENT velocities ⇒ M ≥ m₁ + m₂ (strict) p₁ p₂ (a different direction in spacetime) P is LONGER M c² = √s ≥ (m₁+m₂)c² M²c⁴ = m₁²c⁴ + m₂²c⁴ + 2 γ_rel m₁m₂c⁴ γ_rel ≥ 1, equality only at zero relative velocity Two photons back-to-back: M = 2E_γ/c² from 0 + 0

Physics of the portrait

The inelastic collision was the embarrassment of seventeenth-century mechanics. Momentum survived it; "vis viva" did not; and for two hundred and fifty years the missing energy was written off to heat with no account of where the heat's inertia had gone.

Origins · 2 minInelastic collision and how this was discovered
IC
Inelastic collision
1668–2008 · Wallis's imperfect bodies · Einstein's E = mc² · Cockcroft and Walton weigh it · the proton weighs itself

In 1668 the Royal Society asked its members for an account of the laws of impact, and received three: Wren and Huygens on the elastic case, and John Wallis on the imperfectly elastic one — bodies that collide and do not bounce. Wallis had the right conservation law (momentum) and no account at all of the energy: the quantity later called kinetic simply disappeared. For two and a half centuries the answer was "heat" — true, and quietly concealing the real puzzle, since heat has inertia, so where did the missing mass come from? Einstein answered in September 1905, in the three-page sequel to the relativity paper: a body giving off energy EE loses mass E/c2E/c^2. This article is the converse — a body absorbing energy EE gains mass E/c2E/c^2, and merging bodies gain exactly the kinetic energy they had in their common centre-of-momentum frame. The first direct weighing came on 14 April 1932, when John Cockcroft and Ernest Walton drove accelerated protons into lithium and split it into two helium nuclei: the products emerged with about 17 MeV17\ \mathrm{MeV} more kinetic energy than went in, matching the mass deficit between ingredients and products to the accuracy of the day (Nature 129, 649). The strangest vindication is that the idea explains us: lattice-QCD calculations of the light hadron spectrum (Dürr et al., Science 322, 1224, 2008) confirmed from first principles that a proton's 938 MeV/c2938\ \mathrm{MeV}/c^2 is overwhelmingly not the mass of its quarks — those sum to roughly 9 MeV/c29\ \mathrm{MeV}/c^2 — but the invariant mass of a confined, violently moving system.

History
1668
— John Wallis sends the Royal Society his rules for the collision of imperfectly elastic bodies: momentum survives, but the bodies' "force" does not, and the lost quantity has no home in the mechanics of the day.
1905
— Einstein's September paper argues that a body radiating energy E loses mass E/c², establishing the equivalence that makes the missing energy weighable.
1932
— On 14 April, Cockcroft and Walton disintegrate lithium with accelerated protons into two helium nuclei, releasing about 17 MeV; the energy released matches the mass deficit, the first mass-energy balance measured in a nuclear reaction (Nature 129, 649).
1934
— Einstein's own review of the mass-energy relation makes explicit that a system's inertia includes its internal kinetic and potential energy, not merely the masses of its parts.
1974
— Bubble-chamber and collider practice standardises invariant-mass reconstruction: a particle is identified as a peak in the invariant mass of its decay products, a quantity that exists only because mass is not additive.
2008
— Lattice-QCD calculations of the light hadron masses (Durr et al., Science 322, 1224) confirm from first principles that the proton's mass is overwhelmingly the invariant mass of its confined constituents, not the sum of its quark masses.

Going further

Texts. Rindler, Introduction to Special Relativity, 2nd ed., §31 · Griffiths, Introduction to Elementary Particles, 2nd ed., §3.3 · Taylor & Wheeler, Spacetime Physics, 2nd ed., ch. 8 · Okun, "The concept of mass", Physics Today 42(6), 31 (1989) · Cockcroft & Walton, Nature 129, 649 (1932) · Dürr et al., Science 322, 1224 (2008).

Provenance. Signature (+,−,−,−)(+,-,-,-); p⋅p=+m2c2p\cdot p = +m^2c^2; ss in energy² units, s\sqrt{s} an energy. No relativistic mass is used anywhere — every mim_i is an invariant rest mass, and the quantity that grows is the system's invariant mass. verify_aq-sr-relativistic-inelastic-collisions.py parses this article and re-derives every number it prints: E1=6.568=7mpc2E_1 = 6.568 = 7m_pc^2, s=16mp2c4s = 16m_p^2c^4, M=4mp=3.753M = 4m_p = 3.753, 2mp=1.8772m_p = 1.877, γM=2\gamma_M = 2, βM=0.866\beta_M = 0.866, Tlab=5.630T_{\mathrm{lab}} = 5.630, ΔMc2=1.877\Delta Mc^2 = 1.877, TM=3.753T_M = 3.753, the ledger 1.877+3.753=5.6301.877 + 3.753 = 5.630, the absorbed fraction 1/31/3, the clay numbers (100100 J, 1.11×10−151.11\times10^{-15} kg, 5.6×10−165.6\times10^{-16}), and the quark sum ≈9\approx 9 MeV against 938.272938.272 MeV.

Scope. Bound systems, where M<∑miM < \sum m_i, are Binding Energy and Mass Defect's payload and are only cited here. Thresholds are Threshold Energy's. The base article ships a fixed-target threshold derivation and a collider-versus-fixed-target comparison; both are recalled by name here and derived there, not in this article.

Builds on. Centre-of-Momentum Frame · Conservation of Four-Momentum · Invariant Mass · Mass-Energy Equivalence · Relativistic Kinetic Energy. Leads to. Threshold Energy · Particle Decay Kinematics · Binding Energy and Mass Defect · Relativistic Elastic Collisions.

Is this the same thing as "relativistic mass"?

No, and conflating them is the error this article exists to prevent. "Relativistic mass" was the discredited idea that a single particle's mass grows with speed, as γm\gamma m. It is not used here and is not needed anywhere: a particle's mass is an invariant, and E=γmc2E = \gamma mc^2 already says everything the idea was groping for. What grows here is the system's invariant mass MM, defined by Mc2=sMc^2 = \sqrt{s} — the norm of the total four-momentum, a property of the collection and not of any particle. And it grows for a purely geometric reason: the norm of a sum of vectors is not the sum of their norms.

Where does the mass physically live after the clay balls stick?

In the internal energy of the merged lump — thermal motion of its molecules, elastic strain, sound waves still ringing through it. Each is energy in the lump's own rest frame, and every joule of rest-frame energy is 1/c21/c^2 kilograms of mass. Let the lump cool by radiating 100 J100\ \mathrm{J} away and it loses exactly 1.11×10−15 kg1.11\times10^{-15}\ \mathrm{kg} again, returning to 2.000 kg2.000\ \mathrm{kg}. The gain is neither permanent nor mysterious: a hot object weighs more than a cold one, by ΔE/c2\Delta E/c^2 — the same sentence as E=mc2E = mc^2, read from the other end.

If s is conserved, how can the invariant mass "increase"?

It does not increase — and spotting that is the sharpest thing you can take from this article. s\sqrt{s} is conserved, so the system's invariant mass is the same before and after the collision. Before, it was 4mp4m_p distributed over two protons that were flying apart; after, it is 4mp4m_p localised in one body. What changed is not the system's mass but the sum of the constituents' masses, which went from 2mp2m_p to 4mp4m_p. The collision did not create mass. It converted kinetic energy into rest energy, which moved mass from the "invisible in a particle-by-particle census" column to the "sitting on the scale" column.

Why can only the CM kinetic energy be absorbed?

Because momentum is conserved and cannot be destroyed. If the system carries momentum P⃗tot\vec P_{\mathrm{tot}}, then whatever it turns into must also carry P⃗tot\vec P_{\mathrm{tot}}, so the products must keep moving, so they must retain enough kinetic energy to supply that momentum. That portion is unavailable — permanently. Only in the frame where P⃗tot=0⃗\vec P_{\mathrm{tot}} = \vec 0 is all the kinetic energy free to be absorbed, and that frame is the CM frame. Hence ΔMc2≤Ttot∗\Delta Mc^2 \leq T^{*}_{\mathrm{tot}} always, with equality for a perfectly inelastic merger. In the worked example the lab supplies 5.630 GeV5.630\ \mathrm{GeV} and only 1.877 GeV1.877\ \mathrm{GeV} — one third — is spendable.

Can a system of massless particles really have mass?

Yes, and it is the cleanest demonstration that mass is not "amount of stuff". Two photons of energy EγE_\gamma flying in opposite directions have ∑p⃗i=0⃗\sum\vec p_i = \vec 0 and ∑Ei=2Eγ\sum E_i = 2E_\gamma, so s=4Eγ2s = 4E_\gamma^2 and the pair has invariant mass 2Eγ/c22E_\gamma/c^2. Box them in a mirrored cavity and the box is genuinely heavier — it gravitates more and resists acceleration more. Point the same two photons the same way and s=0s = 0: same particles, same energies, zero mass. Nothing about the photons changed; only the relative direction of their four-momenta did, and that is the only thing mass ever depended on.

Does this mean the mass of the proton comes from kinetic energy?

Largely, yes — with one caveat. The proton is a bound system governed by QCD, so both confining field energy and quark kinetic energy contribute. The three valence quarks sum to roughly 9 MeV/c29\ \mathrm{MeV}/c^2 against the proton's 938.272938.272, so over 99 % is not quark mass, and lattice-QCD calculations of the light hadron spectrum (Dürr et al., 2008) reproduce the observed masses from first principles. The concept is exactly the one derived above — a system's invariant mass is s\sqrt{s} of its contents, not a sum over them — but the dynamics is QCD's, not kinematics', so the derivation here does not extend to it.

Before this

Where this leads