Acessibilidade / Reportar erro

Elementary derivation of the expressions of momentum and energy in special relativity

Dedução elementar das expressões do momento e da energia na relatividade restrita

Abstracts

The derivation of the expressions of momentum and energy of a particle in special relativity is often less than satisfactory in elementary texts. In some, it is obtained by resorting to quantum or electrodynamic considerations, in others by introducing non-elementary concepts, like that of a four-vector, or even misleading ones, like “relativistic mass”. Nevertheless it is possible, following ideas described by Einstein in 1935, to obtain a fully elementary derivation of these expressions based only on the Lorentz transformations, on the conservation laws, and on the Newtonian limit. The resulting argument allows for a clearer and logically consistent introduction to the basic concepts of relativistic dynamics.

Keywords:
Special relativity; Lorentz transformations; energy; momentum; conservation laws


A dedução das expressões do momento e da energia de uma partícula na relatividade restrita é muitas vezes pouco satisfatória nos textos elementares. Em alguns textos, a dedução é feita com recursos a considerações quânticas ou eletrodinâmicos; em outros, através da introdução de conceitos pouco elementares, como quadrivetor, ou até mesmo de conceitos um tanto enganosos, como ”massa relativística”. No entanto, de acordo com ideias descritas por Einstein em 1935, é possível fazer uma dedução totalmente elementar dessas expressões, com base apenas nas transformações de Lorentz, nas leis de conservação e no limite newtoniano. Os argumentos utilizados permitem uma introdução clara e logicamente consistente aos conceitos básicos da dinâmica relativística.

Palavras-chave:
Relatividade restrita; transformações de Lorentz; energia; momento; leis de conservação


1. Introduction

Several texts provide an elementary derivation of the kinematics of special relativity, eventually based on the first part of Einstein's fundamental paper of 1905. [1[1] A. Einstein, Annalen der Physik 17, 891 (1905).] Starting from the two postulates of the total equivalence of inertial reference systems, and of the constancy of the speed of light in all such systems, it is in fact easy to obtain the expression of the Lorentz transformation of space-time coordinates. A particularly simple and appealing derivation is obtained by exploiting Bondi's so-called k-calculus, [2[2] H. Bondi, Relativity and Common Sense (Dover, New York, 1980).] itself based on the Doppler effect. Nevertheless going from kinematics (the Lorentz transformation) to dynamics, and in particular to the relativistic expressions of momentum and energy, is often achieved by resorting to more sophisticated concepts, like that of a four-vector, or by the use of quantum considerations. (One example of this approach is the “elementary derivation” suggested by F. Rohrlich, [3[3] F. Rohrlich, Am. J. Phys. 58, 348 (1990).] which exploits the expressions of the momentum and energy of a photon of frequency ν.) Einstein himself had originally derived the mass-energy equivalence via an explicit use of electrodynamics, [4[4] A. Einstein, Annalen der Physik 18, 639 (1905).] and not just by the kind of kinematic considerations which he had developed in the first part of his 1905 paper, which are based on the constancy of the speed of light, but do not otherwise depend on Maxwell's equations.

Einstein had remarked this problem, and he proposed in 1935 an elementary derivation of the mass-energy relation, independent of his 1905 argument, motivating it with the following words: [5[5] A. Einstein, Bull. Am. Math. Soc. 41, 223 (1935).]

The special theory of relativity grew out of the Maxwell electromagnetic equations. So it came about that even in the derivation of the mechanical concepts and their relations the consideration of those of the electromagnetic field has played an essential role. The question as to the independence of those relations is a natural one because the Lorentz transformation, the real basis of the special relativity theory, in itself has nothing to do with the Maxwell theory and because we do not know the extent to which the energy concepts of the Maxwell theory can be maintained in the face of the data of molecular physics. In the following considerations, except for the Lorentz transformation, we will depend only on the assumption of the conservation principles for impulse and energy.

Einstein's considerations exploit a conceptual experiment introduced by G.N. Lewis and R.C. Tolman [6[6] G.N. Lewis and R.C. Tolman, Phil. Mag. 6, 510 (1909).] and further discussed by P.S. Epstein, [7[7] P.S. Epstein, Annalen der Physik 36, 779 (1911).] where one considers collisions between pairs of particles in different inertial reference frames, and one looks for the expressions of momentum and energy by postulating their conservation. It is interesting to point out that Lewis and Tolman's paper, as well as Epstein's one, only consider elastic collision and derive the relativistic expression of momentum, while they provide a doubtful argument for the mass-energy equivalence by the consideration of the change of the “relativistic mass” with speed. “Relativistic mass” is in fact a rather problematic concept, [8[8] C.G. Adler, Am. J. Phys. 55, 739 (1987)., 9[9] L.B. Okun, Physics Today 42, 31 (1989); Am. J. Phys. 77, 430 (2009).] and there is a growing consensus to avoid its introduction in the teaching of relativity. Einstein derives instead the equivalence by simply extending the argument to inelastic collisions. The advantage of this approach for introducing the basic concepts of special relativity has been well remarked by R.F. Feynman who, in his Lectures (Ref. [10[10] R. Feynman, R. Leighton and M. Sands, The Feynman Lectures on Physics (Addison-Wesley, Boston, 1966)., Vol. I. Secs. 16-4, 16-5]), derives the relativistic expressions of momentum and energy in a way that closely resembles Einstein's one. (Feynman's derivation is however marred by his use of the “relativistic mass”.) Einstein's argument has been more recently discussed by F. Flores, [11[11] F. Flores, Stud. Hist. Philos. Mod. Phys. 29, 223 (1998).] who identifies three closely related but different claims within the mass-energy equivalence concept, and compares Einstein's 1935 argument with his original 1905 derivation [4[4] A. Einstein, Annalen der Physik 18, 639 (1905).] and with M. Friedman's 1983 derivation, [12[12] M. Friedman, Foundations of Spacetime Theories (Princeton University Press, Princeton, 1983)., p. 142ff] which rests upon the consideration of Newton's equations in special relativity.

In this note, I present this line of thought in the hope that it may be found useful for the presentation of these fundamental concepts of special relativity in introductory courses for students of physics and mathematics. While the derivation of the relativistic expression of momentum in Sec. 3. is close to Epstein's and Feynman's arguments, the discussion of the expression of the kinetic energy and of the mass-energy equivalence is closer to Einstein's one.

2. Lorentz transformations and dynamic postulates

Following Einstein's 1905 paper (Ref. [1[1] A. Einstein, Annalen der Physik 17, 891 (1905)., § 2[2] H. Bondi, Relativity and Common Sense (Dover, New York, 1980).]), the kinematic concepts of special relativity rest on the following postulates:

  1. The laws that govern the transformations of the state of physical systems take the same form in reference frames animated by uniform translational motion one with respect to the other.

  2. There is a class of such reference frames (the inertial frames) in which the speed of light assumes the same value c, independently of the state of motion of its source.

    We shall choose from now on units in which c=1 and limit our considerations to inertial frames. Based on these postulates one can easily derive Lorentz transformations in the following form. Let us consider two reference frames, K and K, such that K is in uniform translational motion in the positive x direction and with speed V with respect to K. Then the event of coordinates (t,x,y,z) in K has in K the coordinates (t,x,y,z), where

    (1)t=γ(V)(t+Vx);x=γ(V)(x+Vt);y=y;z=z,

    and we have defined

    (2)γ(V)=1(1V2)12.

    The same relation holds for the differentials dt, dx, etc. Dividing by dt we obtain the rules for the transformation of velocities:

    (3)ux=dxdt=ux+V1+uxV;uy=dydt=uyγ(V)(1+uxV);uz=dzdt=uzγ(V)(1+uxV).

    To introduce dynamical concepts we obviously need supplementary postulates. We shall therefore postulate the following:

  3. The momentum P and the energy E of a particle possessing the velocity u in the reference frame K have respectively the expressions

    (4)P=muF(u);E=E0+mG(u),

    where E0 is a constant, that can be called the rest energy, m is a positive constant (which is relativistically invariant, i.e., does not change from one inertial frame to another, and thus does not depend on the particle's velocity) which we shall simply call its mass, and F(u) and G(u) are monotonically increasing universal functions of u=|u|. The fact that the functions F and G depend only on the magnitude u of the velocity, but not on its direction, can be inferred by the isotropy of space.

  4. For u1 these expressions reduce to the well-known classical ones. One has in particular

    (5)F(u)=1+O(u2);G(u)=12u2+O(u4).

  5. The total momentum Ptot and the total energy Etot of a system of several particles are respectively given by the sum of P and of E running over all the particles of the system.

  6. Conservation of momentum and energy: Let us assume that (elastic or inelastic) collisions occur in a system of particles. Then, in each reference frame, Ptot and Etot maintain the same values before and after each collision.

As a corollary, the velocity of each particle remains constant as long as no collision occurs, because one can consider systems made up of single, independent particles.

3. Elastic collisions and relativistic momentum

Let us now consider a particle pair, i.e., a system made of two particles with equal values of m. Let us assume that in a reference frame K they have opposite velocities u1, u2=u1, where u1=(V,v,0), with |v|V, V>0. Thus |u1,2|V. Let us moreover assume that the particles undergo an elastic collision, and take on respectively the velocities w1=(W,w,0) and w2=(W,w,0) after it. By the conservation of momentum one must have W=W and w=w, independently of the form of the function F(u). Indeed, one has Pintot=0 before the collision. By the conservation law one must have

(6) P out tot = 0 = m w 1 F ( w 1 ) + m w 2 F ( w 2 ) .

Thus the vectors w1 and w2 are antiparallel, and one has

(7) | w 1 | | w 2 | = F ( w 2 ) F ( w 1 ) .

Since the function F(u) is monotonically increasing, this equation can only be satisfied if |w1|=|w2|, and we have therefore w1=w2. Now energy conservation imposes wi=ui. Indeed, the total kinetic energy before the collision is given by 2mG(u), and after it is given by 2mG(w). Since G(u) is a monotonically increasing function of u, this condition can only be satisfied if w=u.

Let us now consider the special case where the velocity change is parallel to the y axis. (This rules out “head-on collisions”, where the particles simply exchange their velocity.) Let the particles’ velocities be given by u1=(V,v,0) and u2 =u1 (cf. fig. 1) in the K reference frame. Let us now look at the same collision in a reference frame K moving with a velocity V in the x direction with respect to K.

Figure 1
Above: Collision of a particle pair in the K reference frame. Below: The same collision as seen in the K reference frame. Figures are schematic and no quantitative relations are implied.

In this reference frame, the velocities u of the particles are respectively given by

(8) u 1 = ( 0 , v , 0 ) , u 2 = ( V , w , 0 ) ,

where

(9) V = 2 V 1 + V 2 , v = v γ ( V ) ( 1 V 2 ) w = v γ ( V ) ( 1 + V 2 ) .

One can easily check that

(10) γ ( V ) = 1 1 V 2 = 1 + V 2 1 V 2 ,

and therefore that

(11) v = w γ ( V ) .

One can also obtain this result by applying Eq. (3) to the transformation from the K reference frame to a frame K animated, with respect to K, by a uniform translational motion with velocity V parallel to the x axis. In this frame the x component of the velocity u2 vanishes and that of the u1 velocity is equal to V, and thus the speeds of the two particles are interchanged.

Let us now consider the conservation of momentum. The change δP1 of the momentum of particle 1 is given by

(12) δ P 1 = 2 mv F ( v ) e y ,

where ey is the y axis versor. The corresponding quantity for particle 2 is given by

(13) δ P 2 = 2 mw F ( u 2 ) e y ,

where u2=V2+w2. Let us momentarily assume v,wV: then F(v)1 and u2V. From momentum conservation we obtain δP1+δP2=0, which implies

(14) mv = mw F ( V ) .

Since w=vγ(V), we obtain

(15) F ( V ) = γ ( V ) = 1 1 V 2 .

Having obtained this result for v,wV, it is easy to see that it also holds for larger values of v and w, by substituting V with the speed of the corresponding particle. We have in fact

(16) mv F ( v ) = mw F ( u 2 ) = mv γ ( V ) F ( u 2 ) ,

from which it follows

(17) F ( u 2 ) = F ( v ) γ ( V ) ,

namely

(18) 1 1 u 2 2 = 1 1 v 2 1 1 V 2 ,

an identity which is easy to check directly.

4. Kinetic energy conservation

Let us consider a particle having the velocity u=(u,0,0), parallel to the x axis, in the K reference frame. Its velocity u in the K frame, in uniform translational motion with respect to K with speed V in the direction of the positive x-axis, is given by u=(u,0,0), with

(19) u = u + V 1 + u V .

One can easily see that

(20) γ ( u ) = ( 1 + u V ) γ ( u ) γ ( V ) .

If u is not parallel to the x axis, but one has instead u=(ux,uy,uz), one has the more general relation

(21) γ ( | u | ) = ( 1 + u x V ) γ ( u ) γ ( V ) ,

which can be obtained with a little algebra. It is also easy to check that

(22) u x γ ( u ) = ( u x + V ) γ ( u ) γ ( V ) ; u y γ ( u ) = u y γ ( u ) ; u z γ ( u ) = u z γ ( u ) .

Let us now consider a particle pair, which have opposite velocities u1, u2=u1 in the K frame. Thus u=|u1|=|u2| is the common value of the particles’ speed in the K frame. Let us denote by u1 and u2 the corresponding velocities in the K frame. We obtain

(23) γ ( u 1 ) + γ ( u 2 ) = 2 γ ( u ) γ ( V ) .

We have seen that an elastic collision in the K frame cannot change the common value u of the particles’ speed. Thus the right-hand side of this equation cannot change in the collision. But then neither can its left-hand side. If we denote by w1 and w2 the particles’ speeds in the K frame after the collision, we obtain

(24) γ ( u 1 ) + γ ( u 2 ) = γ ( w 1 ) + γ ( w 2 ) .

As Einstein (Ref. [5[5] A. Einstein, Bull. Am. Math. Soc. 41, 223 (1935)., p. 227]) points out, these equations have the form of conservation laws. We can thus interpret [13[13] Equation (24) implies the conservation of ∑(γ(u)+const). The value of the constant is chosen so that the expression vanishes for u→0.] m(γ(u)1) as the kinetic energy T of a particle with mass m animated by a velocity u. For small values of u this quantity is thus given by

(25) T = m γ ( u ) 1 1 2 m u 2 ,

in agreement with the classical limit. We can thus set

(26) G ( u ) = γ ( u ) 1 .

Let us remark moreover that, by applying Eqs. (22) to a particle pair, we obtain

(27) u 1 γ ( u 1 ) + u 2 γ ( u 2 ) = 2 V γ ( u ) γ ( V ) .

We can thus derive the following relation:

(28) u 1 γ ( u 1 ) + u 2 γ ( u 2 ) = w 1 γ ( w 1 ) + w 2 γ ( w 2 ) ,

which can be interpreted as the conservation law for the momentum. We thus recover the relativistic expression of the momentum derived in sec. 3.

5. Mass-energy equivalence

Let us now consider a totally inelastic collision in a particle pair. In the reference frame K in which Ptot=0, the total kinetic energy before the collision is given by

(29) T in = 2 m γ ( u ) 1 ,

For simplicity, we shall assume that the particles velocities u1,2 are parallel to the y axis. The total kinetic energy after the collision vanishes, but the energy of the resulting particle has increased by Tin. By momentum conservation the resulting particle is at rest in the reference frame K and has thus velocity V parallel to the x axis in the K frame. Let us denote by M its mass. In the K frame the total momentum before the collision is given by

(30) P = m u 1 γ ( u 1 ) + u 2 γ ( u 2 ) = 2 m V γ ( u ) γ ( V ) ,

while after the collision it has the value

(31) P = M V γ ( V ) .

We obtain therefore

(32) M = 2 m γ ( u ) = 2 m + T in .

Therefore when two particles collide inelastically to form a new particle, the mass of the resulting particle is larger than the sum of the masses of the colliding particles by a quantity exactly equal, in our units, to the kinetic energy transformed by the collision into other energy forms. One can thus introduce a “natural” choice of the energy at rest E0 of a particle, by equating it (in our units) to its mass, also because, “from the nature of the concept, [that] is determined only to within an additive constant, one can stipulate that E0 should vanish together with m.” [5[5] A. Einstein, Bull. Am. Math. Soc. 41, 223 (1935)., p. 229]. We can then identify mγ(u) with the total energy of a particle, and associate the change δE of energy from the kinetic to a different form with a change δm=δE of the mass of the particle. In the more general case, in which the two particles do not coalesce, but are animated by velocities with the same magnitude w in the K frame after the collision, one can then express the conservation of energy by

(33) 2 m γ ( u ) = 2 m ̄ γ ( w ) ,

where m̄ is the mass of each particle after the collision. The same applies in the K frame, if we take into consideration the relation

(34) γ ( u ) = γ ( u ) γ ( V ) ,

which holds since both u1 and u2 are parallel to the y axis.

It is then a simple matter to verify that the energy E and the momentum P of a particle of mass m satisfy the relation

(35) E 2 P 2 = m 2 ,

where the right-hand side is relativistically invariant. This relation also holds in the limit of a zero-mass particle, for which it assumes the form

(36) E = | P | .

As a corollary, mass is not additive: the mass of a system of particles depends on its total energy content in the vanishing-momentum frame. Thus when light waves (of vanishing mass) with opposite momenta are emitted from a particle at rest, the mass of the particle changes (as argued in Einstein's 1905 work, Ref. [4[4] A. Einstein, Annalen der Physik 18, 639 (1905).]). Since the right-hand side of Eq. (35) is invariant, it can be taken as the starting point to show that the energy E and the momentum P combine into a relativistic four-vector, a property which generalizes to particle systems.

One should point out that this line of thought does not rest on Maxwell's equations (keeping only the constancy of the speed of light) and neither does on other mechanical concepts, in particular on the concept of force, that is difficult to justify in special relativity. Einstein criticizes the use of the concept of force in the derivation of the relativistic expression of momentum, contained in the book by G.D. Birkhoff and R.E. Langer, Relativity and Modern Physics, [14[14] G.D. Birkhoff and R.E. Langer, Relativity and Modern Physics (Harvard University Press, Cambridge, 1923).] exactly for this reason, as made clear by the closing paragraphs of his 1935 paper: [5[5] A. Einstein, Bull. Am. Math. Soc. 41, 223 (1935).]

Thus, in the book just mentioned, essential use is made of the concept of force, which in the relativity theory has no such direct significance as it has in classical mechanics. This is connected with the fact that, in the latter, the force is to be considered as a given function of the coordinates of all the particles, which is obviously not possible in the relativity theory. Therefore I have avoided introducing the force concept.

Furthermore, I was concerned with avoiding making any assumption concerning the transformation character of impulse and energy with respect to a Lorentz transformation.

References

  • [1] A. Einstein, Annalen der Physik 17, 891 (1905).
  • [2] H. Bondi, Relativity and Common Sense (Dover, New York, 1980).
  • [3] F. Rohrlich, Am. J. Phys. 58, 348 (1990).
  • [4] A. Einstein, Annalen der Physik 18, 639 (1905).
  • [5] A. Einstein, Bull. Am. Math. Soc. 41, 223 (1935).
  • [6] G.N. Lewis and R.C. Tolman, Phil. Mag. 6, 510 (1909).
  • [7] P.S. Epstein, Annalen der Physik 36, 779 (1911).
  • [8] C.G. Adler, Am. J. Phys. 55, 739 (1987).
  • [9] L.B. Okun, Physics Today 42, 31 (1989); Am. J. Phys. 77, 430 (2009).
  • [10] R. Feynman, R. Leighton and M. Sands, The Feynman Lectures on Physics (Addison-Wesley, Boston, 1966).
  • [11] F. Flores, Stud. Hist. Philos. Mod. Phys. 29, 223 (1998).
  • [12] M. Friedman, Foundations of Spacetime Theories (Princeton University Press, Princeton, 1983).
  • [13] Equation (24) implies the conservation of (γ(u)+const) The value of the constant is chosen so that the expression vanishes for u0
  • [14] G.D. Birkhoff and R.E. Langer, Relativity and Modern Physics (Harvard University Press, Cambridge, 1923).

Publication Dates

  • Publication in this collection
    June 2016

History

  • Received
    21 Dec 2015
  • Reviewed
    06 Feb 2016
  • Accepted
    14 Feb 2016
Sociedade Brasileira de Física Caixa Postal 66328, 05389-970 São Paulo SP - Brazil - São Paulo - SP - Brazil
E-mail: marcio@sbfisica.org.br