We seek a relativistic generalization of momentum (a vector quantity) and
energy. We know that in the low speed limit,
,
**p** = m**u**
E = E(0) + 12 m u^2
where
is a constant allowed by Newton's laws (since forces depend only
on energy *differences*).

The only possible form for this generalization of these equations consistent
with our requirement that the laws of nature remain invariant are:
**p** = M(u)**u**
E = E(u) ,
that is, the mass and the energy must become functions of the speed only, and
leave the vector character of the velocity alone. A boost cannot change the
direction of the momentum of a particle, and any (scalar) functional variation
in its magnitude can be thrown into the ``mass'' term.

This immediately yields the limiting forms: M(0) = m Eu^2(0) = m2 where we have assumed that there is no pathology in the functions at the origin.

There are several possible ways to evaluate the full forms of these functions. Jackson's (based on scattering theory) is tedious and conceals the structure of the result. Furthermore, after telling us that selecting clever initial directions with an eye to simplifying the algebra ``lacks motivation'' he derives a result by selecting particular initial directions. The guy loves algebra, what can I say. Feel free to study his approach. It works.

I, on the other hand, am too lazy to spend most of a period deriving a result that is ``obvious'' in the correct notation. I am therefore going to ``give'' you the result and motivate it, and then verify it trivially be expressing it as a four-vector. This works nearly as well and is not anywhere near as painful.

We begin by considering elastic scattering theory. An elastic collision of
two identical particles must conserve momentum and energy in all inertial
frames. In the center of mass frame (which we will consider to be
)
**p**_ia' + **p**_ib' = **p**_fa' + **p**_fb'
E_ia' + E_ib' = E_fa' + E_fb'
relate the intial and final momenta and energy of the two identical particles.

Now,
**u**_ia' = **v** = - **u**_ib'
and
**u**_fa = **v**' = **u**_fb'
by definition in the center of mass system.

A moments quiet reflection (egad, another pun!) should convince you that in
terms of the general transformation:
M(v)**v** - M(v)**v** = M(v')**v**' -
M(v')**v**'
E(v) + E(v) = E(v') + E(v') .
For what it is worth, if the collision is elastic and the particles are
identical before and after the collision,
=
and all the mass terms
are the same. We will denote the scattering angle in
as
.

We thus begin with
M(v)**v** - M(v)**v** = M(v)**v** -
M(v)**v**
E(v) + E(v) = E(v) + E(v)
where
is the speed of the incoming and outgoing particles. Now,
must be a scalar function of
, and in the limit
must turn
into
_ v &rarr#rightarrow;0 M(v) = m .
The only scalar function of
we have encountered so far with this behavior
is
, so we should sensibly guess
M(v) = &gamma#gamma;(v) m
which has the exactly correct limiting behavior.

Thus
**p** = &gamma#gamma;m **u**
is a reasonable guess to be the generalization of momentum we seek. It is
easy to verify that this is a consistent choice, and that it indeed results in
conservation of momentum in all inertial frames.

To get the energy equation, we use the same approach. Recall that a binomial expansion of is given by _ v &rarr#rightarrow;0 &gamma#gamma;(v) = ( 1 - v^2c^2 )^-1/2 = 1 + 12 v^2c^2 + ... We need to keep the first non-constant term because we recall that physics is always ``independent'' of absolute energy scale. Then it should be clear that _v &rarr#rightarrow;0E(v) = &gamma#gamma;(v) E(0) &ap#approx; E(0) + 12 E(0) v^2c^2 &ap#approx;E(0) + 12 m v^2 as it must in order to yield the low velocity limit of kinetic energy if and only if E(0) = mc^2 .

There are several questions to be answered at this point, some experimentally
and some theoretically. We need to measure the rest masses and theoretically
verify that only this transformation correctly preserves the energy momentum
conservation laws in elastic collisions as required. Beyond that, there are
still some uncertainties. For example, there could in principal be an
additional constant energy added to the energy term that was not scaled by
and the laws of physics would still be expressible, since they are
not sensitive to absolute energy scale. We will take advantage of that
freedom in several instances to add or subtract an infinite *theoretical*
constant in order to make the rest mass come out to the observed *experimental* mass m. This is called renormalization.

To obtain the same result a different way, we turn to the notation of
4-vectors. We observe that the common factor of
above in both
and
also occurs when one makes velocity into a four vector. This
suggests that energy and momentum can similarly be made into four vectors that
transform like the coordinates under a boost. If we try the combination
p_0 & = & m c U_0 = Ec

**p** & = & m **U**
we see that it works exactly. It results in an invariant
p_0^2 - **p** ·**p** = (m_c)^2 .
It is easy to see the value of the invariant when
; you should verify
explicitly that it holds when
as well. Practically speaking, it
suffices to show that this length is invariant when one wishes to show that
its components transform like the coordinates under the action of a boost (why
is that?).

The total energy can thus be expressed in terms of the three momentum as
E = c^2p^2 + m^2 c^4 .
Finally, it is sometimes convenient to be able to get the velocity of the
particle in terms of its energy and momentum
**u** = c^2 **p**E
which follows directly from the definitions.

This completes our review of ``elementary relativity theory''. We shall now
proceed to develop the theory in a new, *geometric* language which is
suitable to our much more sophisticated needs. To do this, we will need to
begin by generalizing the notion of a four dimensional vector space with a set
of transformations that leave an appropriately defined ``length'' invariant.