arxiv:physics/ v4 [physics.gen-ph] 9 Oct 2006

Transcription

1 The simplest derivation of the Lorentz transformation J.-M. Lévy Laboratoire de Physique Nuléaire et de Hautes Energies, CNRS - IN2P3 - Universités Paris VI et Paris VII, Paris. jmlevy@in2p3.fr arxiv:physis/ v4 [physis.gen-ph] 9 Ot 2006 Abstrat The Lorentz transformation is derived from the simplest thought experiment by using the simplest vetor formula from elementary geometry. The result is further used to obtain general veloity and aeleration transformation equations. 1 Introdution The light lok is a muh used oneptual devie to demonstrate time dilation and length ontration in introdutory ourses to speial relativity (see e.g. [1]; [2] gives an extensive bibliography) Less well known is the fat that the Lorentz transformation an be entirely derived one these effets have been established. A paper in whih this was shown appeared in the Amerian Journal of Physis a long time ago [3]. However, the author of [3] missed what we think is the easiest way to derive the time transformation formula and was led to obtain it through a rather ontrived argument, introduing an artifiial extension of the time interval. Also, as in most papers on the subjet, the derivation was limited to transformations between two referene frames in the so-alled standard onfiguration [4], viz. parallel axes, OX sliding along OX with oïnident spae-time origins. The purpose of the present paper is to show that the full transformation an be derived from a purely geometrial argument whih amounts to writing the basi vetor addition formula in the two frames at stake suessively, taking into aount the length ontration effet. It is further shown that the same reasoning yields the transformation for an arbitrary veloity between two parallel frames with very little extra effort. In passing, a simple formula is derived for the spae part of the transformation. To make this paper self-ontained and also to prevent objetions whih are often not taken are of in the derivation of the two basi effets using the light-lok, we shall start with a brief review of this derivation in setion 2. To go straight to the heart of the argument, we first derive the Lorentz transformation from length ontration between two frames in standard onfiguration in setion 3. Setion 4 will then be devoted to the more general ase of an arbitrarily oriented relative veloity. Transposing the demonstration to this more general ase fores us to write the transformation in a slightly unusual form whih yields the above mentionned formula as a by-produt. This allows us to derive very simply general expressions for the veloity and aeleration transformations in Setion 5. Setion 6 ontains our summary and onlusions. 2 Time dilation and length ontration 2.1 The light lok For those who first disover it, the light lok is a magially simple oneptual devie to demonstrate the basi effets of speial relativity starting from Einstein s two postulates. Admittedly, the seond postulate viz. the onstany of the veloity of light in all inertial frames an be dispensed with through general onsiderations [5] if the existene of a limiting invariant veloity is established. The only other hoie would be a possibly limitless relative veloity and galilean invariane. However, Maxwell s equations are there to settle the matter. We think nevertheless that for an introdutory ourse, the seond postulate should be retained in as muh as it allows the students to arrive more quikly at the heart of the matter without leaving the more pratially minded ones stranded. They will have plenty of time to assimilate and appreiate the value of general symmetry arguments later in their ursus by getting impregnated with them progressively Time dilation We imagine the following devie: a light signal bounes bak and forth between two parallel mirrors maintained at a onstant separation with the aid of pegs. The signal triggers the registering of a tik eah time it hits what we define as the lower mirror (fig.1 a). The question of how this devie an be pratially onstruted 1

2 does not onern us. We simply assume that there is a way to sample the signal in order to produe the tik and to ompensate for the loss of light inured thereof. We thus have a kind of perfet lok the period of whih is T 0 = 2L0 with L 0 the distane between the mirrors and the speed of light. Let s now look at the lok in a frame wherein it travels at onstant speed v in a diretion parallel to the planes of the mirrors. To prevent an objetion, we might assume that the mirrors are onstrained to slide in two parallel straight grooves whih have been engraved a onstant distane L 0 apart previous to the experiment, so that there an t be any arguing about a variation of the mirror separation when they are moving. By the first postulate, this moving lok must have the same period in its rest frame than its twin at rest in the laboratory. On the other hand, it is obvious that the length traveled by the signal in the observer frame is longer than the length in the lok rest frame (see fig.1 b.) If T is the interval between two tiks in the observer frame, then by Einstein s seond postulate and Pythagora s theorem we have that (T/2) 2 = L (vt/2)2 from T whih T = 0 follows, whih shows that the moving lok runs more slowly in the lab 1 ( v )2 frame Length ontration We now imagine that the moving lok is traveling in a diretion perpendiular to the plane of its mirrors relative to us. In this ase, no hek an be kept of the inter-mirror distane. To make sure that (for the same v) the lok period hasn t hanged, we an imagine an observer traveling with the lok and provided with an idential seond lok oriented as before, parallel to the veloity with respet to us. Sine this seond lok has period T, as above, in our frame and sine the observer an reassure us that the two loks tik at the same rate in his frame, we an be sure that the first lok period as measured in our frame hasn t hanged either. Antiipating the result whih will be fored upon us, we all L the inter-mirror distane as measured in our frame. If we now onsider the time taken by the light signal to make its two-way travel L in our frame, we see that it needs +v for the lower mirror-upper mirror part and L v for the return part. Sine the total must equal T, one is fored to onlude that L = L 0 1 ( v )2 This ends our review of the basi light-lok experiment. That the distanes in the diretions orthogonal to the motion are not hanged an be demonstrated by invoking grooves arguments like the one we used for the time-dilation derivation. v L0 T/2 vt/2 fig 1.a fig 1.b The light lok at rest (left) and moving(right) 3 Lorentz transformation along the x axis Let us now envision two frames in standard onfiguration with K having veloity v with respet to K and let x, t (resp. x, t ) be the oordinates of event M in the two frames. Let O and O be the spatial origins of the frames; O and O oïnide at time t = t = 0 Here omes the pretty argument: all we have to do is to express the relation OM = OO + O M between vetors (whih here redue to oriented segments) in both frames. In K, OM = x, OO = vt and O M seen from K is x 1 with = sine 1 ( v x is O M as measured in K )2 Hene the first relation: x = vt + x In K, OM = x sine x is OM as measured in K, OO = vt and O M = x. Hene a seond relation: x = vt + x The first relation yields immediately x = (x vt) whih is the spae part of the Lorentz transformation and the seond relation yields the inverse x = (x + vt ) of this spae part. Eliminating x between these two leads quikly to the formula for the transformed time: t = (t vx/ 2 ) the inverse of whih ould easily be found by a similar elimination of x. Needless to say, oordinates on the y and z axes are 2

3 unhanged for the already stated reason that distanes do not vary in the diretions perpendiular to the veloity. The ontration is therefore limited to that part of the oordinate vetor whih is parallel to the relative veloity. 4 The ase of an arbitrary veloity In the following, v will denote the veloity vetor of K w.r.t. K and r (resp. r ) the position vetor of the event under onsideration as measured in frame K (resp K ). We further define u = v v the unit vetor parallel to v. From our findings of setion 2, we see that only the omponent of r parallel to v is affeted when looking at it from the other frame, whilst the normal omponents are unhanged. We resolve r into parallel and perpendiular omponents aording to r = uu.r + (1 u u)r = r + r where the dot stands for the 3-spae salar produt, 1 is the identity operator and u u is the dyadi whih projets out the omponent parallel to u from the vetor it operates upon, viz (u u)v = (u.v)u. The operator whih ontrats the projetion on u by whilst leaving the orthogonal omponents unhanged must yield: u u.r 1 + (1 u u)r = (1 + u u)r. Let us therefore define Op( 1 ) = u u The inverse operator must orrespond to multipliation of the longitudinal part by and is therefore Op() = Op( 1 ) 1 = 1+( 1)u u as an also be heked by multipliation. Note that these operators are even in u and therefore independent of the orientation of v. Mimiking what has been done in setion 3, let us now write OM = OO + O M (these are vetors now, no longer oriented segments) taking are of the invariane of the orthogonal parts. We get in frame K: and in frame K : r = vt + Op( 1 )r Op( 1 )r = vt + r Using the inverse operator the first relation yields immediately: r = Op()(r vt) = (1 + ( 1)u u)(r vt) whih is probably the simplest way to write the spae part of the rotation free homogenous Lorentz transformation. The usual fator of the one dimensionnal transformation is simply replaed by the operator Op() By feeding this result into the seond relation above, we find: Op( 1 )r = vt + Op()(r vt) or, using Op()v = v and with the expliit form of Op: ( 1 ( 1))r + vt = vt whih, using 1 2 = ( v )2 2 and rossing away v on both sides yields: t = (t v.r 2 ) i.e. the time transformation equation. 5 Veloity and aeleration transformations 5.1 Veloity The two formulas thus obtained for the L.T. are so simple that they an readily be used to yield the veloity transformation equation without the need of ompliated thought experiments and algebrai manipulations. Differentiating r and t w.r.t. t and taking the quotient of the equalities thus obtained yields (with V = dr dt and V = dr dt ) V = 1 (1 + ( 1)u u)(v v) 1 v.v 2 whih is the general veloity transformation formula. 5.2 Aeleration Using the ompat Op notation helps keeping things tidy when differentiating V ; dividing by the differential of t one finds A = 1 Op()A(1 v.v 2 ) + Op()(V v) v.a 2 2 (1 V.v 2 ) 3 Expliiting Op, simplifying and regrouping terms, one obtains after a page of algebra: A = A v.av +1 + v (V A) (1 V.v ) 3 2 By making the neessary substitutions: V u, V u, v V and speializing to V parallel to Ox, 3

4 one an easily hek that the omponents equations derived from this general formula agree with those published in [2]. They have been, however, derived with muh less effort. As an example of use of this aeleration transformation, by speializing to V = v and v.a = 0, one gets A = 2 A retrieving the known result that a partile in a irular storage ring undergoes a proper (A ) aeleration that is a fator 2 larger than the lab (A) aeleration. Moreover, the two aelerations are parallel, whih is far from obvious a priori. Observe in this respet, that all the terms whih an make A and A different in diretion as well as in size vanish in the limit, onsistent with the fat that aeleration is an invariant quantity under a hange of inertial frame in newtonian physis. 6 Summary and onlusion We have shown that the general rotation free homogenous Lorentz transformation an be derived one length ontration has been established by writing the elementary vetor relation (sometimes dubbed Chasles relation) OM = OO + O M in the two frames onsidered [6]. The extension from the speial one dimensional ase to the 3-dimensional ase is ompletely straightforward. The formula thus obtained allows for a simple derivation of the veloity and aeleration transformations without the need for ompliated thought experiments and algebrai manipulations beyond what ollege students are used to. Referenes [1] Kenneth Krane, Modern Physis, John Wiley & sons 1983 p. 23 [2] W.N. Mathews Jr. Am. J. Phys. 73, (2005) [3] David Park, Am. J. Phys. 42, , (1974) [4] Wolfgang Rindler, Relativity, Speial, General and Cosmologial Oxford U.P. 2001, p. 5 [5] See e.g. ref. [4] p. 57 [6] There are muh faster derivations than the one presented here. See e.g. Alan Madonald, Am. J. Phys. 49, p. 493, (1981). Our purpose here was to be simple, as stated in the title and abstrat, and to go beyond the standard onfiguration 4

5 The simplest derivation of the Lorentz transformation J.-M. Lévy Laboratoire de Physique Nuléaire et de Hautes Energies, CNRS - IN2P3 - Universités Paris VI et Paris VII, Paris. jmlevy@in2p3.fr arxiv:physis/ v4 [physis.gen-ph] 9 Ot 2006 Abstrat The Lorentz transformation is derived from the simplest thought experiment by using the simplest vetor formula from elementary geometry. The result is further used to obtain general veloity and aeleration transformation equations. Submited to the Amerian Journal of Physis 1 Introdution Many introdutory ourses to speial relativity (SR) use thought experiments in order to demonstrate time dilation and length ontration from the two Einstein s postulates by using oneptual devies like the well known light lok or variants thereof (see below or e.g. [1]; [2] gives an extensive bibliography) However, one these two effets are established, most authors start again from the postulates to derive the Lorentz transformation (LT), taking the route whih is usual in advaned texts but whih is ertainly not the easiest one to begin with. However, deriving the LT diretly from these effets is possible and has obvious advantages for beginners in terms of simpliity. It allows, for example, to bypass the use of the requirements of group struture and linearity. Paramount though they are in fundamental physis, dispensing with these onsiderations allows for a very diret first ontat with the oneptually demanding subjet of SR [3]. More elaborate derivations from fundamental priniples an be left for a seond pass. In the present artile, we show that the LT an be derived from length ontration through a purely geometrial argument whih amounts to expressing the basi vetor addition formula in the two frames at stake suessively. This reasoning leads to a very simple and possibly new way of writing the spae part of the LT, whih in turn allows an easy derivation of the veloity and aeleration tranformations as well. A paper in whih our type of exposition was used already appeared in the Amerian Journal of Physis a long time ago [4]. However, the author of [4] missed what we think is the easiest way to derive the time transformation formula and was led to obtain it through a rather ontrived argument, introduing an artifiial extension of the time interval. Also, as in most papers on the subjet, the derivation was limited to transformations between two referene frames in the so-alled standard onfiguration [5], viz. parallel axes, OX sliding along OX with oïnident spaetime origins. This paper is organised as follows: in order to prevent possible objetions whih are often not taken are of in the derivation of the two basi effets using the light lok, we start by reviewing it briefly in setion 2. The LT between two frames in standard onfiguration is first derived from length ontration in setion 3. Setion 4 deals with the more general ase of an arbitrarily oriented relative veloity. Using the expression obtained here, the veloity and aeleration transformations are found in Setion 5. Setion 6 ontains our summary and onlusions. 2 Time dilation and length ontration 2.1 The light lok The light lok is a simple oneptual devie to demonstrate the basi effets of SR starting from Einstein s two postulates, viz. the priniple of relativity and the invariane of the veloity of light in a hange of inertial frame. We imagine (see fig. 1) a light signal bouning bak and forth between two parallel mirrors maintained a onstant distane apart with the aid of pegs. The signal triggers the registering of a tik eah time it hits what we define as the lower mirror (fig.1 a). The question of how this devie an be pratially onstruted does not onern us. We simply assume that there is a way to sample the signal in order to produe the tik and to ompensate for the loss of light inured thereof. We thus have a kind of perfet lok the period of whih is T 0 = 2L0 with L 0 the distane between the mirrors and the speed of light. 1

6 v Time dilation L0 T/2 vt/2 Let s now look at the lok in a frame wherein it travels at onstant speed v in a diretion parallel to the planes of the mirrors. We might assume that the mirrors are onstrained to slide in two parallel straight grooves whih have been engraved a onstant distane L 0 apart, previous to the experiment, so that there an t be any arguing about a variation of the pegs length when they are moving. By the first postulate, this moving lok must have the same period in its rest frame than its twin at rest in the laboratory. On the other hand, it is obvious that the length traveled by the signal in the lab is longer than the length it travels in the lok rest frame (see fig.1 b.) If T is the interval between two tiks in the lab, then by Einstein s seond postulate and Pythagora s theorem we have that (T/2) 2 = L (vt/2)2 from whih T T = 0 follows, whih shows that the moving 1 ( v )2 lok runs more slowly in the lab than its still twin Length ontration We now imagine that the moving lok is traveling in a diretion perpendiular to the plane of its mirrors relative to the lab observer. In this ase, no hek an be kept of the inter-mirror distane. To make sure that (for the same v) the lok period hasn t hanged, we an imagine it aompanied by an idential seond lok oriented as before with respet to its lab veloity. Both loks having the same period in their ommon rest frame and the lok moving parallel to its mirrors having period T in the lab, we an be sure that the first lok period as measured in the lab frame hasn t hanged either. Antiipating the result whih will be fored upon us, we all L the inter-mirror distane as measured in the laboratory frame. Consider now the time taken by the light signal to make its two-way L travel in this later frame; we see that it needs +v for the lower mirror to upper mirror part and L v for the return part. Sine the total must equal T, one is fored to onlude that L = L 0 1 ( v )2 That the distanes in the diretions orthogonal to the motion are not hanged an be demonstrated by invoking grooves arguments like the one we used for the time dilation derivation. fig 1.a fig 1.b The light lok at rest (left) and moving(right) 3 Lorentz transformation along the x axis Let us now envision two frames in standard onfiguration with K having veloity v with respet to K and let x, t (resp. x, t ) be the oordinates of event M in the two frames. Let O and O be the spatial origins of the frames; O and O oïnide at time t = t = 0 Here omes the pretty argument: all we have to do is to express the relation OM = OO + O M between vetors (whih here redue to oriented segments) in both frames. In K, OM = x, OO = vt and O M seen from K is x 1 with = sine 1 ( v x is O M as measured in K )2 Hene the first relation: x = vt + x In K, OM = x sine x is OM as measured in K, OO = vt and O M = x. Hene a seond relation: x = vt + x The first relation yields immediately x = (x vt) whih is the spae part of the LT and the seond relation yields the inverse x = (x + vt ) of this spae part. Eliminating x between these two leads quikly to the formula for the transformed time: t = (t vx/ 2 ) the inverse of whih ould easily be found by a similar elimination of x. Needless to say, oordinates on the y and z axes are unhanged for the already stated reason that distanes do not vary in the diretions perpendiular to the veloity. The ontration is therefore limited to that part of the oordinate vetor whih is parallel to the relative veloity. 2

7 4 The ase of an arbitrary veloity In the following, v will denote the veloity vetor of K w.r.t. K and r (resp. r ) the position vetor of the event under onsideration as measured in frame K (resp K ). We further define u = v v the unit vetor parallel to v. From our findings of setion 2, we see that only the omponent of r parallel to v is affeted when looking at it from the other frame, whilst the normal omponents are unhanged. We resolve r into parallel and perpendiular omponents aording to r = uu.r + (1 u u)r = r + r where the dot stands for the 3-spae salar produt, 1 is the identity operator and u u is the dyadi whih projets out the omponent parallel to u from the vetor it operates upon, viz (u u)v = (u.v)u. The operator whih ontrats the projetion on u by whilst leaving the orthogonal omponents unhanged must yield: u u.r 1 + (1 u u)r = (1 + u u)r. Let us therefore define Op( 1 ) = u u The inverse operator must orrespond to multipliation of the longitudinal part by and is therefore Op() = Op( 1 ) 1 = 1+( 1)u u as an also be heked by multipliation. Note that these operators are even in u and therefore independent of the orientation of v. Mimiking what has been done in setion 3, let us now write OM = OO + O M (these are vetors now, no longer oriented segments) taking are of the invariane of the orthogonal parts. We get in frame K: and in frame K : r = vt + Op( 1 )r Op( 1 )r = vt + r Using the inverse operator the first relation yields immediately: r = Op()(r vt) = (1 + ( 1)u u)(r vt) whih is probably the simplest way to write the spae part of the rotation free homogenous LT. The usual fator of the one dimensionnal transformation is simply replaed by the operator Op() By feeding this result into the seond relation above, we find: Op( 1 )r = vt + Op()(r vt) or, using Op()v = v and with the expliit form of Op: ( 1 ( 1)) vv.r v 2 + vt = vt whih, using 1 2 = ( v )2 2 and rossing away v on both sides yields: t = (t v.r 2 ) i.e. the time transformation equation. 5 Veloity and aeleration transformations 5.1 Veloity The two formulas thus obtained for the L.T. are so simple that they an readily be used to yield the veloity transformation equation without the need of ompliated thought experiments and algebrai manipulations. Differentiating r and t w.r.t. t and taking the quotient of the equalities thus obtained yields (with V = dr dt and V = dr dt ) V = 1 (1 + ( 1)u u)(v v) 1 v.v 2 whih is the general veloity transformation formula. 5.2 Aeleration Using the ompat Op notation helps to keep things tidy when differentiating V w.r.t. t; dividing by the derivative of t one finds A = 1 Op()A(1 v.v 2 ) + Op()(V v) v.a 2 2 (1 V.v 2 ) 3 Expliiting Op, simplifying and regrouping terms, one obtains after a page of algebra: A = A v.av +1 + v (V A) (1 V.v ) 3 2 By making the neessary substitutions: V u, V u, v V and speializing to V parallel to Ox, one an easily hek that the omponent equations derived from this general formula agree with those published in [2]. They have been, however, derived with muh less effort. As an example of use of this aeleration transformation, by speializing to V = v and v.a = 0, one gets A = 2 A retrieving the known result that a partile 3

8 in a irular storage ring undergoes a proper (A ) aeleration that is a fator 2 larger than the lab (A) aeleration. Moreover, the two aelerations are parallel, whih is far from obvious a priori. Observe in this respet, that all the terms whih an make A and A different in diretion as well as in size vanish in the limit, onsistent with the fat that aeleration is an invariant quantity under a hange of inertial frame in newtonian physis. Setting V = v and taking v parallel to A we also retrieve another known fat: a partile in retilinear motion undergoes a proper aeleration whih is larger than its lab aeleration by a fator 3. 6 Summary and onlusion We have shown that the general rotation free homogenous LT an be derived one length ontration has been established by writing the elementary vetor relation (sometimes dubbed Chasles relation) OM = OO + O M in the two frames onsidered [7]. The extension from the speial one dimensional ase to the 3-dimensional ase is ompletely straightforward. The formula thus obtained allows for a simple derivation of the veloity and aeleration transformations without the need for ompliated thought experiments and algebrai manipulations beyond what ollege students are used to. Referenes [1] Kenneth Krane, Modern Physis, John Wiley & sons 1983 p. 23 [2] W.N. Mathews Jr. Am. J. Phys. 73, (2005) [3] For the sake of ompleteness, it must be mentionned that the LT an in fat be derived by using the sole relativity priniple (first Einsein postulate) and dispensing with the seond (invariane of the speed of light)[6] This is ertainly most appealling from a puristial viewpoint, but it demands more abstrat work whih is what we are trying to avoid here, having in mind beginning students. [4] David Park, Am. J. Phys. 42, , (1974) [5] Wolfgang Rindler, Relativity, Speial, General and Cosmologial Oxford U.P. 2001, p. 5 [6] See e.g. ref. [5] p. 57 [7] There are muh faster derivations than the one presented here. See e.g. Alan Madonald, Am. J. Phys. 49, p. 493, (1981). Our purpose here was to be simple, as stated in the title and abstrat, and to go beyond the standard onfiguration 4