We seek a relativistic generalization of momentum (a vector quantity) and energy. We know that in the low speed limit, , p = mu 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
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 pE 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.