Einstein’s equation E=mc^2 describing the equivalence of mass and energy is arguably the most famous equation in physics. But his beautifully elegant derivation of this formula (here is the English translation) from previously understood laws of physics is considerably less famous. (There is an amusing Far Side cartoon in this regard, with the punchline “squared away”, which you can find on-line by searching hard enough, though I will not link to it directly.)

This topic had come up in recent discussion on this blog, so I thought I would present Einstein’s derivation here. Actually, to be precise, in the paper mentioned above, Einstein uses the postulates of special relativity and other known laws of physics to show the following:

Proposition. (Mass-energy equivalence) If a body at rest emits a total energy of E while remaining at rest, then the mass of that body decreases by E/c^2.

Assuming that bodies at rest with zero mass necessarily have zero energy, this implies the famous formula E = mc^2 – but only for bodies which are at rest. For moving bodies, there is a similar formula, but one has to first decide what the correct definition of mass is for moving bodies; I will not discuss this issue here, but see for instance the Wikipedia entry on this topic.

Broadly speaking, the derivation of the above proposition proceeds via the following five steps:

  1. Using the postulates of special relativity, determine how space and time coordinates transform under changes of reference frame (i.e. derive the Lorentz transformations).
  2. Using 1., determine how the temporal frequency \nu (and wave number k) of photons transform under changes of reference frame (i.e. derive the formulae for relativistic Doppler shift).
  3. Using Planck’s relation E = h\nu (and de Broglie’s law p = \hbar k) and 2., determine how the energy E (and momentum p) of photons transform under changes of reference frame.
  4. Using the law of conservation of energy (and momentum) and 3., determine how the energy (and momentum) of bodies transform under changes of reference frame.
  5. Comparing the results of 4. with the classical Newtonian approximations KE \approx \frac{1}{2} m|v|^2 (and p \approx mv), deduce the relativistic relationship between mass and energy for bodies at rest (and more generally between mass, velocity, energy, and momentum for moving bodies).

Actually, as it turns out, Einstein’s analysis for bodies at rest only needs to understand changes of reference frame at infinitesimally low velocity, |v| \ll c. However, in order to see enough relativistic effects to deduce the mass-energy equivalence, one needs to obtain formulae which are accurate to second order in v (or more precisely, v/c), as opposed to those in Newtonian physics which are accurate to first order in v. Also, to understand the relationship between mass, velocity, energy, and momentum for moving bodies rather than bodies at rest, one needs to consider non-infinitesimal changes of reference frame.

Important note: Einstein’s argument is, of course, a physical argument rather than a mathematical one. While I will use the language and formalism of pure mathematics here, it should be emphasised that I am not exactly giving a formal proof of the above Proposition in the sense of modern mathematics; these arguments are instead more like the classical proofs of Euclid, in that numerous “self evident” assumptions about space, time, velocity, etc. will be made along the way. (Indeed, there is a very strong analogy between Euclidean geometry and the Minkowskian geometry of special relativity.) One can of course make these assumptions more explicit, and this has been done in many other places, but I will avoid doing so here in order not to overly obscure Einstein’s original argument.

— Lorentz transforms to first order —

To simplify the notation, we shall assume that the ambient spacetime S has only one spatial dimension rather than three, although the analysis here works perfectly well in three spatial dimensions (as was done in Einstein’s original paper). Thus, in any inertial reference frame F, the spacetime S is parameterised by two real numbers (t,x). Mathematically, we can describe each frame F as a bijection between S and {\Bbb R} \times {\Bbb R}. To normalise these coordinates, let us suppose that all reference frames agree to use a single event O in S as their origin (0,0); thus

F(O)=(0,0) (1)

for all frames F.

Given an inertial reference frame F: S \to {\Bbb R} \times {\Bbb R}, one can generate new inertial reference frames in two different ways. One is by reflection: one takes the same frame, with the same time coordinate, but reverses the space coordinates to obtain a new frame \overline{F}: S \to {\Bbb R} \times {\Bbb R}, thus reversing the orientation of the frame. In equations, we have

if F(E) = (t,x), then \overline{F}(E) = (t,-x) (2)

for any spacetime event E. Another way is by replacing the observer which is stationary in F with an observer which is moving at a constant velocity v in F, to create a new inertial reference frame F_v: S \to {\Bbb R} \times {\Bbb R} with the same orientation as F. In our analysis, we will only need to understand infinitesimally small velocities v; there will be no need to consider observers traveling at speeds close to the speed of light.

The new frame F_v: S \to {\Bbb R} \times {\Bbb R} and the original frame F: S \to {\Bbb R} \times {\Bbb R} must be related by some transformation law

F_v = L_v \circ F (3)

for some bijection L_v: {\Bbb R} \times {\Bbb R} \to {\Bbb R} \times {\Bbb R}. A priori, this bijection L_v could depend on the original frame F as well as on the velocity v, but the principle of relativity implies that L_v is in fact the same in all reference frames F, and so only depends on v.

It is thus of interest to determine what the bijections L_v: {\Bbb R} \times {\Bbb R} \to {\Bbb R} \times {\Bbb R} are. From our normalisation (1) we have

L_v (0,0) = (0,0) (4)

but this is of course not enough information to fully specify L_v. To proceed further, we recall Newton’s first law, which states that an object with no external forces applied to it moves at constant velocity, and thus traverses a straight line in spacetime as measured in any inertial reference frame. (We are assuming here that the property of “having no external forces applied to it” is not affected by changes of inertial reference frame. For non-inertial reference frames, the situation is more complicated due to the appearance of fictitious forces.) This implies that L_v transforms straight lines to straight lines. (To be pedantic, we have only shown this for straight lines corresponding to velocities that are physically attainable, but let us ignore this minor technicality here.) Combining this with (4), we conclude that L_v is a linear transformation. (It is a cute exercise to verify this claim formally, under reasonable assumptions such as smoothness of L_v. ) Thus we can view L_v now as a 2 \times 2 matrix.

When v=0, it is clear that L_v should be the identity matrix I. Making the plausible assumption that L_v varies smoothly with v, we thus have the Taylor expansion

L_v = I + L'_0 v + O(v^2) (5)

for some matrix L'_0 and for infinitesimally small velocities v. (Mathematically, what we are doing here is analysing the Lie group of transformations L_v via its Lie algebra.) Expanding everything out in coordinates, we obtain

L_v(t, x) = ( (1 + \alpha v + O(v^2)) t + (\beta v + O(v^2)) x,

(\gamma v + O(v^2)) t + (1 + \delta v + O(v^2)) x ) (6)

for some absolute constants \alpha, \beta, \gamma, \delta \in {\Bbb R} (not depending on t, x, or v).

The next step, of course, is to pin down what these four constants are. We can use the reflection symmetry (2) to eliminate two of these constants. Indeed, if an observer is moving at velocity v in frame F, it is moving in velocity -v in frame \overline{F}, and hence \overline{F_v} = \overline{F}_{-v}. Combining this with (2), (3), (6) one eventually obtains

\alpha = 0 and \delta = 0. (7)

Next, if a particle moves at velocity v in frame F, and more specifically moves along the worldline \{ (t, vt): t \in {\Bbb R} \}, then it will be at rest in frame F_v, and (since it passes through the universally agreed upon origin O) must then lie on the worldline \{ (t', 0): t' \in {\Bbb R} \}. From (3), we conclude

L_v(t,vt) \in \{ (t',0): t' \in {\Bbb R} \} for all t. (8)

Inserting this into (6) (and using (7)) we conclude that \gamma = -1. We have thus pinned down L_v to first order almost completely:

L_v (t, x) = ( t + \beta v x, x - vt ) + O( v^2 (|t|+|x|) ). (9)

Thus, rather remarkably, using nothing more than the principle of relativity and Newton’s first law, we have almost entirely determined the reference frame transformation laws, save for the question of determining the real number \beta. [In mathematical terms, what we have done is classify the one-dimensional Lie subalgebras of \mathfrak{gl}_2({\Bbb R}) which are invariant under spatial reflection, and coordinatised using (8).] If this number vanished, we would eventually recover classical Galilean relativity. If this number was positive, we would eventually end up with the (rather unphysical) situation of Euclidean relativity, in which spacetime had a geometry isomorphic to that of the Euclidean plane. As it turns out, though, in special relativity this number is negative. This follows from the second postulate of special relativity, which asserts that the speed of light c is the same in all inertial reference frames. In equations (and because F_v has the same orientation as F), this is asserting that

L_v(t,ct) \in \{ (t',ct'): t' \in {\Bbb R} \} for all t (10+)

and

L_v(t,-ct) \in \{ (t',-ct'): t' \in {\Bbb R} \} for all t. (10-)

Inserting either of (10+) or (10-) into (9) we conclude that \beta = -1/c^2, and thus we have obtained a full description of L_v to first order:

L_v (t, x) = ( t - \frac{v x}{c^2}, x - vt ) + O( v^2 (|t|+|x|) ). (11)

— Lorentz transforms to second order —

It turns out that to get the mass-energy equivalence, first-order expansion of the Lorentz transformations L_v is not sufficient; we need to expand to second order. From Taylor expansion we know that

L_v = I + L'_0 v + \frac{1}{2} L''_0 v^2 + O( v^3 ) (12)

for some matrix L''_0. To compute this matrix, let us make the plausible assumption that if the frame F_v is moving at velocity v with respect to F, then F is moving at velocity -v with respect to F_v. (One can justify this by considering two frames receding at equal and opposite directions from a single reference frame, and using reflection symmetry to consider how these two frames move with respect to each other.) Applying (3) we conclude that L_{-v} \circ L_v = I. Inserting this into (12) and comparing coefficients we conclude that L''_0 = (L'_0)^2. Since L'_0 is determined from (11), we can compute everything explicitly, eventually ending up at the second order expansion

L_v (t, x) = ( t - \frac{v x}{c^2} + \frac{t v^2}{2c^2}, x - vt + \frac{xv^2}{2c^2}) + O( v^3 (|t|+|x|) ). (13)

One can continue in this fashion (exploiting the fact that the L_v must form a Lie group (with the Lie algebra already determined), and using (8) to fix the parameterisation v \mapsto L_v of that group) to eventually get the full expansion of L_v, namely

L_v (t, x) = \left( \frac{t - vx/c^2}{\sqrt{1-v^2/c^2}}, \frac{x-vt}{\sqrt{1-v^2/c^2}} \right),

but we will not need to do so here.

— Doppler shift —

The formula (13) is already enough to recover the relativistic Doppler shift formula (to second order in v) for radiation moving at speed c with some wave number k. Mathematically, such radiation moving to the right in an inertial reference frame F can be modeled by the function

A \cos( k (x-ct) + \theta )

for some amplitude A and phase shift \theta. If we move to the coordinates (t',x') = L_v(t,x) provided by an inertial reference frame F’, a computation then shows that the function becomes

A \cos( k_+ (x'-ct') + \theta)

where k_+ = (1-v/c+v^2/2c^2 + O(v^3)) k. (actually, if the radiation is tensor-valued, the amplitude A might also transform in some manner, but this transformation will not be of relevance to us.) Similarly, radiation moving at speed c to the left will transform from

A \cos( k (x+ct) + \theta )

to

A \cos( k_- (x+ct) + \theta )

where {}k_- = (1+v/c+v^2/2c^2 + O(v^3)) k. This describes how the wave number k transforms under changes of reference frame by small velocities v. The temporal frequency \nu is linearly related to the wave number k by the formula

\nu = \frac{c}{2\pi} k, (14)

and so this frequency transforms by the (red-shift) formula

\nu_+ = (1-v/c+v^2/2c^2 + O(v^3))\nu (15+)

for right-ward moving radiation and by the (blue-shift) formula

\nu_- = (1+v/c+v^2/2c^2 + O(v^3))\nu (15-)

for left-ward moving radiation. (As before, one can give an exact formula here, but the above asymptotic will suffice for us.)

— Energy and momentum of photons —

From the work of Planck, and of Einstein himself on the photoelectric effect, it was known that light could be viewed both as a form of radiation (moving at speed c), and also made up of particles (photons). From Planck’s law, each photon has an energy of E = h \nu and (from de Broglie’s law) a momentum of p = \pm \hbar k = \pm \frac{h}{2\pi} k, where h is Planck’s constant, and the sign depends on whether one is moving rightward or leftward. In particular, from (14) we have the pleasant relationship

E = |p| c (16)

for photons. [More generally, it turns out that for arbitrary bodies, momentum, velocity, and energy are related by the formula p = \frac{1}{c^2} E v, though we will not derive this fact here.] Applying (15+), (15-), we see that if we view a photon in a new reference frame F_v, then the observed energy E and momentum p now become

E_+ = (1-v/c+v^2/2c^2 + O(v^3)) E; p_+ = (1-v/c+v^2/2c^2 + O(v^3)) p (17+)

for right-ward moving photons, and

E_- = (1+v/c+v^2/2c^2 + O(v^3)) E; p_- = (1+v/c+v^2/2c^2 + O(v^3)) p (17-)

for left-ward moving photons.

These two formulae (17+), (17-) can be unified using (16) into a single formula

(E'/c^2, p') = L_v (E/c^2,p) + O(v^3) (18)

for any photon (moving either leftward or rightward) with energy E and momentum p as measured in frame F, and energy E’ and momentum p’ as measured in frame F_v. Actually, the error term O(v^3) can be deleted entirely by working a little harder. From the linearity of L_v and the conservation of energy and momentum, it is then natural to conclude that (18) should also be valid not only for photons, but for any object that can exchange energy and momentum with photons. This can be used to derive the formula E=mc^2 fairly quickly, but let us instead give the original argument of Einstein, which is only slightly different.

— Einstein’s argument —

We are now ready to give Einstein’s argument. Consider a body at rest in a reference frame F with some mass m and some rest energy E. (We do not yet know that E is equal to m c^2.) Now let us view this same mass in some new reference frame F_v, where v is a small velocity. From Newtonian mechanics, we know that a body of mass m moving at velocity v acquires a kinetic energy of \frac{1}{2} m v^2. Thus, assuming that Newtonian physics is valid at low velocities to top order, the net energy E’ of this body as viewed in this frame F_v should be

E' = E + \frac{1}{2} m v^2 + O(v^3). (19)

If assumes that the transformation law (18) applies for this body, one can already deduce the formula E=mc^2 for this body at rest from (19) (and the assumption that bodies at rest have zero momentum), but let us instead give Einstein’s original argument.

We return to frame F, and assume that our body emits two photons of equal energy \Delta E/2, one moving left-ward and one moving right-ward. By (16) and conservation of momentum, we see that the body remains at rest after this emission. By conservation of energy, the remaining energy in the body is E - \Delta E. Let’s say that the new mass in the body is m - \Delta m. Our task is to show that \Delta E = \Delta m c^2.

To do this, we return to frame F_v. By (16+), the rightward moving photon has energy

(1-v/c+v^2/2c^2 + O(v^3)) \frac{\Delta E}{2}; (20+)

in this frame; similarly, the leftward moving photon has energy

(1+v/c+v^2/2c^2 + O(v^3)) \frac{\Delta E}{2}. (20-)

What about the body? By repeating the derivation of (18), it must have energy

(E - \Delta E) + \frac{1}{2} (m-\Delta m)v^2 + O(v^3). (20)

By the principle of relativity, the law of conservation of energy has to hold in the frame F_v as well as in the frame F. Thus, the energy (20-)+(20+)+(20) in frame F_v after the emission must equal the energy E’=(19) in frame F_v before emission. Adding everything together and comparing coefficients we obtain the desired relationship \Delta E = \Delta m c^2.

[One might quibble that Einstein’s argument only applies to emissions of energy that consist of equal and opposite pairs of photons. But one can easily generalise the argument to handle arbitrary photon emissions, especially if one takes advantage of (18); for instance, another well-known (and somewhat simpler) variant of the argument works by considering a photon emitted from one side of a box and absorbed on the other. More generally, any other energy emission which could potentially in the future decompose entirely into photons would also be handled by this argument, thanks to conservation of energy. Now, it is possible that other conservation laws prevent decomposition into photons; for instance, the law of conservation of charge prevents an electron (say) from decomposing entirely into photons, thus leaving open the possibility of having to add a linearly charge-dependent correction term to the formula E = mc^2. But then one can renormalise away this term by redefining the energy to subtract such a term; note that this does not affect conservation of energy, thanks to conservation of charge.]