Translation:The Principle of Relativity (Laue 1913)

From Wikisource
Jump to: navigation, search
The Principle of Relativity (1913) 
by Max von Laue, translated from German by Wikisource
In German: Die Relativitätstheorie, kinematischer Teil, In: Das Relativitätsprinzip (Second edition), Braunschweig: Vieweg. Online

For the parts related to time dilation and the twin paradox, see pp. 42-43, 57-58

III. The theory of relativity, kinematic part.

§ 6. The Lorentz transformation.[edit]

The[1] relativity principle claims: From the totality of natural phenomena, one can determine with increased approximation and increased exactitude, a reference system x, y, z, t in which the natural laws are valid in certain, mathematically simple forms. This reference system is, however, in no way uniquely defined by the phenomena. There is rather a three-times infinite manifold of equally valid systems, mutually moving with uniform velocity.

From this principle, we want to derive the transformation equations leading from one valid reference system to another. Therefore, we require the knowledge of an arbitrary natural law; which of them is chosen by us, must principally be [ 35 ] irrelevant. If one arrives by a different choice at different results, then all laws wouldn't be invariable with respect to the same transformation, thus the relativity principle would be wrong. Evidently, such laws related to physical processes in empty space, are the most simple ones. Since in the other ones, the velocity of matter relative to the references system is included in its mathematical formulation, and must be co-transformed by a transformation; in vacuum, however, were we know nothing about moving things, this complication vanishes. We know of only two different actions propagating through vacuum, gravitation and electromagnetic processes. About the propagation of the first one we know nothing else than that its velocity is very great against astronomical velocities. That it is greater than the speed of light, although it is often claimed, finds no support in experience. Much better is our knowledge of the law of light propagation in vacuum, since it is proven by Michelson's experiment (with a precision which is hardly attained in other physical measurements) that it is equal in all directions with respect to all systems. We add the assumption, which goes beyond the experimental results but which is required by the relativity principle, that the speed of light has got in all systems the same value c=3.10^{10}cm\ sec^{-1}. The following consideration will be based on this law.

At first, we consider an example. From a material point A at rest in a valid reference system K at the origin of coordinates, a short light signal emanates at time t=0 into all directions. At time t>1 the points receiving this signal are all located upon a sphere, whose equation reads:

x^{2}+y^{2}+z^{2}-c^{2}t^{2}=0.\,

Two material points B and C (also resting in A, and located at the same distance from A on the same line with A), consequently are receiving the signal simultaneously, i.e. for the same value of t.

The same process we relate now to another valid system K' moving relative to the first one with velocity v in the direction \overrightarrow{BC}. The material [ 36 ] points A, B, C thus have in K' the velocity v parallel to \overrightarrow{CB}. The origin of coordinates x', y', z' as well as time t' can evidently be defined by us, so that the light signal is emitted at time t'=0 at origin O (of primed coordinates) by the material point A. After expiration of time t', all points of the sphere

x'^{2}+y'^{2}+z'^{2}-c^{2}t'^{2}=0\,

Laue1913-4.png

are reached by the signal. However, since A has now moved away from O to A' by the distance vt', there is no value t' for which the material points B and C (equally distant from A) are located on such a sphere; thus they won't be simultaneously reached by the signal, rather (as shown by Fig. 4) this happens earlier in C than in B, since C approaches the light sphere, while B runs away from it. Two events simultaneous in K, are in general not simultaneous in K'. The identical transformation for time, which forms a part of the Galilean transformation, cannot be maintained at this place.

This forces us to subject the concept of time to a critical investigation. We measure the time at a place by clocks, however, we don't need to think of the usual mechanical instruments for which the periods of elastic oscillations serve as the measure of time, but we can read the time in terms of progression of any physical process, as long as we can control its causes so that no unknown or quantitatively uncontrollable reasons can act. Such completely equal clocks are located by us at different places of space, all in one and the same valid system K. Thus the equality of the measure of time is guaranteed for all those places. However, to arrive at a unitedly defined time for the whole system K, we must synchronize the clocks, i.e. the zero-points of their time indications must be brought into a suitable relation. [ 37 ] This is given to us by the requirement, that in system K the speed of light shall have the value c, and namely is independent of the beam direction. If two clocks are mutually distant by l, then the time indication of the first one (when a light signal is emanating from here) shall differ from that of the second one (when arriving here) by the amount l/c. This definition doesn't lead to an inherent contradiction, when the clocks are (in pairs) combined on different ways. Namely, if the clocks in the arbitrarily chosen points B and C are synchronous with a clock at an arbitrary third point A, and if we send at time O a light signal from A to B, which is sent back without time loss to C, and from there it is sent back to A, then it's time of return is t_{A}=1/c(AB+BC+CA), since it has traversed the distance AB+BC+CA. It has reached point B by the presupposition of synchronism of the clocks in A and B, when the clock in B indicated the time t_{B}=AB/c, and has left point C when the clock in C indicated the time t_{C}=t_{A}-AC/c because of the synchronism of the clocks in A and C. When the signal started in B and when it arrives in C, the difference between the time indications of the clocks in C and B is t_{C}-t_{B}=BC/c, i.e. the clocks in B and C are mutually synchronous. – Events are simultaneous, when they occur at equal indications of clocks located at the places of the events.

That one achieves a specific time for any valid system, by which it differs from the other valid systems, is already shown by the previous example. Herein lies the boldness and the high philosophical meaning of Einstein's thought, that he removes the traditional prejudice of a time valid for all systems. As enormous this revolution (to which he forces our thinking) may be, there is not the slightest epistemological difficulty in it. Because time is (as space in Kant's way of expression) a pure form of our intuition; a scheme into which the events must be classified, so that they (contrary to subjective and highly accidental perceptions) gain objective meaning, and thus it is one of the conditions for the possibility of objective [ 38 ] facts of experience. This classification can only be done on the basis of empirical knowledge of natural laws. Location and time of the observed change of a celestial body, for example, can only found out on the basis of optical laws. That two differently moving observers, when anyone considers himself as at rest, make this classification on the basis of the same natural laws in a different manner, doesn't contain a logical impossibility. However, both classifications have objective meaning, since from any of them (by means of the transformation formulas to be derived) one can unequivocally derive the valid classification for differently moving observers.

For example, one shall think of two astronomers on different, mutually moving celestial bodies, which are able to exchange thoughts with each other. They would find out, that they would have essentially different time indications of all astronomic events; and all of this (although they apply the same physical foundations as we will assume) because of the single reason that any of them considers himself as at rest. Consequently, the quarrel between them would result in the question, who of them is right with his assumption. According to the relativity principle, this is undecidable, both assumptions are completely equally valid. The time indications of both are just related to different systems. With this insight and with the aid of the transformation equation, the proof must be possible, that the meaning of both kinds of time specification is throughout the same, because they can be completely computed into each other.

To arrive at the transformation formulas, we ask after those linear relations between x', y', z', t' and x, y, z, t which transform the wave equation

\Delta\varphi-\frac{1}{c^{2}}\frac{\partial^{2}\varphi}{\partial t^{2}}=0

into itself; i.e. to which the identity applies:

\frac{\partial^{2}\varphi}{\partial x'^{2}}+\frac{\partial^{2}\varphi}{\partial y'^{2}}+\frac{\partial^{2}\varphi}{\partial z'^{2}}-\frac{1}{c^{2}}\frac{\partial^{2}\varphi}{\partial t'^{2}}=\alpha\left(\frac{\partial^{2}\varphi}{\partial x^{2}}+\frac{\partial^{2}\varphi}{\partial y^{2}}+\frac{\partial^{2}\varphi}{\partial z^{2}}-\frac{1}{c^{2}}\frac{\partial^{2}\varphi}{\partial t^{2}}\right) (25)

where \alpha is a proportionality factor, which is different from zero and dependent (in a unknown way at first) on v. Because equation (22) is the mathematical formulation of the law of light propagation[2]. [ 39 ] We choose this substitutions as linear, because otherwise the coordinates and the origin of time (at least in one of both systems) would become preferred points, which cannot be displaced without essential changes. But we consider the equal validity of all spatial points and temporal moments as an empirically verified natural law, equally valid for both systems according to the relativity principle. Furthermore we define, that corresponding coordinate axes in both systems are parallel, namely the x- and x'-axis by which the primed system K' is moving against the unprimed K, shall be parallel to the velocity v; and that eventually the values x=0,\ y=0,\ z=0,\ t=0 shall correspond to the values x'=0,\ y'=0,\ z'=0,\ t'=0. The most general equations which satisfy these conditions, read:

\left.\begin{array}{c}
x'=\varkappa(v)(x-vt)\quad y'=\lambda(v)y\quad z'=\lambda(v)z\\
t'=\mu(v)t-\nu(v)x\end{array}\right\} (26)

where \varkappa(v),\ \lambda(v),\ \mu(v) and \nu(v) are functions of v still to be determined. Namely, it is clear at first, that there is only one preferred direction, that of the x-axis. Already because of this reason, y and z cannot occur in the equation for t', since otherwise the direction would be preferred whose direction cosines behave as the coefficients of x, y, z. Furthermore, plane x'=0 must be identical with plane x=vt, plane y'=0 with that of y=0, and z'=0 with that of z=0. The proportionality factor between y' and y as well as between z' and z eventually must be the same because of the equal validity of all directions normal to x.

However, additionally it can be shown, that it must be

\lambda=1\,

Namely, from the start it must be clear, that \lambda(v) can only be a function of v, i.e. \lambda(v)=\lambda(-v). Whether the [ 40 ] motion of K' against K happens in the positive or negative x-direction, it is of course the same process for the y- and z-direction. On the other hand, the inversion of

y'=\lambda(v)y\quad z'=\lambda(v)z

must read:

y=\lambda(-v)y'\quad z=\lambda(-v)z',

since the motions of K' against K and those of K against K' only differ by the direction of v. From that it follows, however, the value 1 for \lambda because of \lambda(v)=\lambda(-v).

By substitution (26) a function arises now:

\varphi(x',y',z',t')=\varphi(\varkappa(x-vt),\ y,\ z,\ \mu t-\nu x),

from which it follows:

\begin{array}{c}
\frac{\partial\varphi}{\partial x}=\varkappa\frac{\partial\varphi}{\partial x'}-\nu\frac{\partial\varphi}{\partial t'},\quad\frac{\partial\varphi}{\partial t}=-\varkappa v\frac{\partial\varphi}{\partial x'}-\mu\frac{\partial\varphi}{\partial t'},\\
\\\frac{\partial^{2}\varphi}{\partial x^{2}}=\varkappa^{2}\frac{\partial^{2}\varphi}{\partial x'^{2}}-2\nu\varkappa\frac{\partial^{2}\varphi}{\partial x'\partial t'}+\nu^{2}\frac{\partial^{2}\varphi}{\partial t'^{2}},\quad\frac{\partial^{2}\varphi}{\partial y^{2}}=\frac{\partial^{2}\varphi}{\partial y'^{2}},\\
\\\frac{1}{c^{2}}\frac{\partial^{2}\varphi}{\partial t^{2}}=\varkappa^{2}\frac{v^{2}}{c^{2}}\frac{\partial^{2}\varphi}{\partial x'^{2}}-2\frac{\varkappa\mu v}{c^{2}}\frac{\partial^{2}\varphi}{\partial x'\partial t'}+\frac{\mu^{2}}{c^{2}}\frac{\partial^{2}\varphi}{\partial t'^{2}},\quad\frac{\partial^{2}\varphi}{\partial z^{2}}=\frac{\partial^{2}\varphi}{\partial z'^{2}}.\end{array}

If the equation (25) shall represent an identity, then in the course of summation of the last four equations and the multiplication with \alpha, the coefficients

\frac{\partial^{2}\varphi}{\partial x'^{2}},\ \frac{\partial^{2}\varphi}{\partial y'^{2}},\ \frac{\partial^{2}\varphi}{\partial z'^{2}},\ -\frac{1}{c^{2}}\frac{\partial^{2}\varphi}{\partial t'^{2}},

must become equal to 1, while that of \tfrac{\partial^{2}\varphi}{\partial x'\partial t'} must vanish, i.e. it must be

\alpha=1,\ \varkappa(v)=\mu(v)=\frac{\pm1}{\sqrt{1-\frac{v^{2}}{c^{2}}}},\ \nu(v)=\mu(v)\frac{v}{c^{2}} (27)

For \varkappa and \mu we choose the positive sign, so that for v=0 the reference system K' becomes equal to K, as it must be by the previous definition concerning the location of both cross-axes. Equations (26) then assume the form;

x'=\frac{x-vt}{\sqrt{1-\frac{v^{2}}{c^{2}}}},\ y'=y,\ z'=z,\ t'=\frac{t-\frac{v}{c^{2}}x}{\sqrt{1-\frac{v^{2}}{c^{2}}}} (XI)

[ 41 ] Due to the equal validity of both systems it must be permitted, to permute the primed and unprimed magnitudes with each other in these equations, as long as one only reverses the signs of v simultaneously, because system K has (against K') the velocity -v parallel to the x'-axis. Thus one finds:

x=\frac{x'+vt'}{\sqrt{1-\frac{v^{2}}{c^{2}}}},\ y=y',\ z=z',\ t=\frac{t'+\frac{v}{c^{2}}x'}{\sqrt{1-\frac{v^{2}}{c^{2}}}} (XIa)

The calculation shows, that (XIa) is actually the inversion of (XI). The totality of equations (XI) or (XIa) we denote as a Lorentz transformation; the relativity principle claims, that all reference systems arising by such transformations from a valid reference system, are not only completely equally valid for the propagation of electromagnetic actions in vacuum, but also for all physical processes.

The first of equations (27) (\alpha=1) shows by (25), that the expression \Delta\varphi-\tfrac{1}{c^{2}}\tfrac{\partial^{2}\varphi}{\partial t^{2}} is invariant with respect to a Lorentz transformation. One easily can convince himself, that instead of this, one can also use the invariance of expression x^{2}+y^{2}+z^{2}-c^{2}t^{2} as characteristic for a Lorentz transformation; namely, if one determines the coefficients \varkappa,\lambda,\mu,\nu in (26) for the latter requirement, then one finds the exact same values as above.

As well as the totality of all Galilean transformations, also the totality of all Lorentz transformations forms a group; if one applies (one after the other) two of them with arbitrarily directed relative velocities v, then one obtains a result to be reached by a single transformation as well. Because, when both in the linear passage of a system K to K' and in the linear passage of K' to K'', the expression

\Delta\varphi-\frac{1}{c^{2}}\frac{\partial^{2}\varphi}{\partial t^{2}}

remains unchanged, then this is also the case in the (also linear) immediate passage from K to K''.

We further notice, that it must be

v<c\, (28)

otherwise the coefficients of (XI) would become imaginary or infinite.

[ 42 ]

§ 7. The kinematics of Einstein.[edit]

In order to discuss formulas (XI) and (XIa), we first investigate the rate of a clock at rest in the primed system (x'=const), as viewed from the unprimed system, by constantly comparing its hand position with the indication of the clock at rest in K at which it just passes by. According to (XIa), the time interval \Delta t' which will be read from it by a co-moving observer, corresponds (since x' is invariant) to the interval

\Delta t=\frac{\Delta t'}{\sqrt{1-\frac{v^{2}}{c^{2}}  }}

which will be detected by an observer in system K by comparison of the times, that were given by two clocks (at rest in the start- and endpoint of the now completed distance) during the start and the arrival of the moving one. This can also be derived from (XI); because in time \Delta t, the clock in system K travels the distance \Delta x=v\Delta t, from which it follows

\Delta t'=\Delta t\sqrt{1-\frac{v^{2}}{c^{2}}} (29)

The rate of a clock moving with velocity \mathfrak{q} is thus slower in the ratio \sqrt{1-\tfrac{q^{2}}{c^{2}}} than for the same clock when at rest. This theorem is of course true, independent to which of the valid system we relate the expressions "at rest" or "in motion". We of course have to consider as a clock, every process whose progression can serve as a measure of time. In a moving hydrogen atom (canal rays), for example, the light-emanating proper oscillations will have a smaller frequency than in a stationary one.

Now we consider two equal clocks. Both are initially at rest in a valid reference system K^0 at the same location. The second one will be accelerated by us in a quasi-stationary way, i.e. so that its inner condition is always dependent only on the instant velocity, not on the acceleration. We let remain the clock for some time at uniform velocity, then we reverse it by quasi-stationary acceleration, and in this way we bring back the clock to its origin, where we — again quasi-stationary — bring it to rest. [ 43 ] So in every moment of this process, the moving clock's rate is slower than the stationary clock, and thus it is retarded with respect to the latter. — This consequence of the theory of relativity, which was further explained in a very interesting manner namely by Langevin,[3] initially appears to be so paradox, that it even was subject to the objection,[4] that it disproves the principle of relativity; because it would be possible to consequently decide, which of the two clocks was at rest, and which one was in motion. Indeed we can decide, which one of the clocks was steadily at rest in one and the same reference system, and which one was in the meantime at rest in two or more such systems. However, among them there is of course a real physical difference. (see § 8.)

Quite similar relations occur with respect to measurements of the length of a moving rod. If it is at rest in K' and located parallel to the x'-axis, then its rest length s_0 is determined by the difference of the x'-coordinates of its endpoints, thus:

s_{0}=x'_{1}-x'_{2};\,

those can be determined by applying a measuring rod also at rest in K'. Its length related to K is, however, equal to the difference of the x-coordinates, which are to be attributed to its endpoints for equal values of t; therefore it follows from (XI):

s=x_{1}-x_{2}=\left(x'_{1}-x'_{2}\right)\sqrt{1-\frac{v^{2}}{c^{2}}}=s_{0}\sqrt{1-\frac{v^{2}}{c^{2}}} (30)

The length of a body parallel to the direction of motion is considered greater (when viewed from the co-moving system) than in any other system. If we bring a rod under maintenance of its inner condition[5] (like in empty space and without heat supply) from a state of rest to velocity \mathfrak{q}, then it contracts in the ratio \sqrt{1-\tfrac{q^{2}}{c^{2}}}; namely if we call the system K in which it was at rest at the beginning, and the other system K' in which it will be at rest after acceleration, then its length s'_{2} in the second state [ 44 ] related to K', will exactly have the value s_0, as the length s_1 which it had in the first state of K.

Laue1913-1.png

This theorem justifies the contraction hypothesis, employed by Fitzgerald[6] and Lorentz[7] (presented already before the theory of relativity) for the explanation of Michelson's experiment, and it is indeed necessarily required when one wants the give the theory of this experiment for an non-co-moving system. Namely, if in Fig. 1 (p. 14) the distance PS_1 is contracted (in its motion parallel to it) to length l\sqrt{1-\tfrac{q^{2}}{c^{2}}}, then the traversing time becomes by (13) and (14):

t_{1}=\frac{2l}{\sqrt{c^{2}-q^{2}}}=t_{2}.

During the rotation of the apparatus, which is followed by the permutation of the roles of PS_1 and PS_1, no replacement of the interference fringes takes place. That this time itself is still dependent on q, lies in the fact that it is related to that system, in which the interferometer has the velocity q. In the co-moving system K', the traversing time would be t'=t_{1}\sqrt{1-\tfrac{q^{2}}{c^{2}}}=\tfrac{2l}{c} according to (29), as it must be, since in K' the distances PS_1 and PS_1 are traversed with velocity c.

The dimensions normal to motion were not altered by (XI). Consequently the angles, which were formed by a material line with the direction of velocity \mathfrak{v} or another line, are in general different in K and K'; as well as the angles between two material planes or between a plane and a line. The volume V of a body is to be transformed by the Lorentz transformation because of the same reason as the length parallel to the velocity. Since by that, \tfrac{V}{\sqrt{1-\frac{q^{2}}{c^{2}}}} in every system is equal to the volume V^0 in the co-moving system, if follows that the equation, which serves as the transformation formula for the volume of a body with velocity \mathfrak{q} relative to K and \mathfrak{q}' relative to K', is:

\frac{V}{\sqrt{c^{2}-q^{2}}}=\frac{V'}{\sqrt{c^{2}-q'^{2}}}=V^{0} (31)

[ 45 ] Another consequence of contraction is, that the form of a body is differently seen in different systems. For example, a body that has (investigated in a co-moving system) a spherical form, is an oblated ellipsoid of revolution in all other systems.

In its first half (namely as far as it is spoken about the assessment of the lengths of different systems), the theorem on p. 43 is the consequence of different ways of application of the space- and time-scheme by differently moving observers. The two astronomers, about who we spoke on p. 38, despite of the same geometric foundations would be getting into quarrel, as soon as they apply them on real bodies. They just assess their shape in an essentially different way. But the main points of their quarrel would be located in the mutually contradicting assumptions concerning their state of rest. As soon as these assumptions would be recognized, it would be possible to transform both indications into each other by a Lorentz transformation. – In its second half, however, every theorem includes a statement about mechanics; the elastic forces that determine the shape of the body, must be influenced by motion so that they exactly cause this contraction.

As the last kinematic consequence, the transformation formula for the velocity of a material point shall be derived. If its coordinates x,y,t in system K are functions of time t, then the velocity components are:

\mathfrak{q}_{x}=\frac{dx}{dt},\ \mathfrak{q}_{y}=\frac{dy}{dt},\ \mathfrak{q}_{z}=\frac{dz}{dt}.

The corresponding definition applies to its velocity \mathfrak{q}' with respect to K'. From (XI) it follows, however:

\begin{array}{c}
\frac{dx'}{dt'}=\frac{\frac{dx}{dt}-v}{\sqrt{1-\frac{v^{2}}{c^{2}}}}\frac{dt}{dt'},\ \frac{dy'}{dt'}=\frac{dy}{dt}\frac{dt}{dt'},\ \frac{dz'}{dt'}=\frac{dz}{dt}\frac{dt}{dt'},\\
\\\frac{dt'}{dt}=\frac{1-\frac{v}{c^{2}}\frac{dx}{dt}}{\sqrt{1-\frac{v^{2}}{c^{2}}}};\end{array}

thus

[ 46 ]

\mathfrak{q}'_{x}=\frac{\mathfrak{q}_{x}-v}{1-\frac{v\mathfrak{q}_{x}}{c^{2}}},\ \mathfrak{q}'_{y}=\frac{\mathfrak{q}_{y}\sqrt{1-\frac{v^{2}}{c^{2}}}}{1-\frac{v\mathfrak{q}_{x}}{c^{2}}},\ \mathfrak{q}'_{z}=\frac{\mathfrak{q}_{z}\sqrt{1-\frac{v^{2}}{c^{2}}}}{1-\frac{v\mathfrak{q}_{x}}{c^{2}}} (32)

or, when one inversely expresses \mathfrak{q} by \mathfrak{q}':

\mathfrak{q}_{x}=\frac{\mathfrak{q}'_{x}+v}{1+\frac{v\mathfrak{q}_{'x}}{c^{2}}},\ \mathfrak{q}_{y}=\frac{\mathfrak{q}'_{y}\sqrt{1-\frac{v^{2}}{c^{2}}}}{1+\frac{v\mathfrak{q}_{'x}}{c^{2}}},\ \mathfrak{q}_{z}=\frac{\mathfrak{q}'_{z}\sqrt{1-\frac{v^{2}}{c^{2}}}}{1+\frac{v\mathfrak{q}'_{x}}{c^{2}}} (33)

If one mutually multiplies the equations in (32) and (33) related to the y- or z-components, then one finds:

\left(1-\frac{v\mathfrak{q}_{x}}{c^{2}}\right)\left(1+\frac{v\mathfrak{q}'_{x}}{c^{2}}\right)=1-\frac{v^{2}}{c^{2}} (34)

Furthermore, a simple calculation shows, by squaring and adding the three equations (32) and v\mathfrak{q}_{x},\ v\mathfrak{q}'_{x} is replaced by the scalar products (\mathfrak{vq}),\ (\mathfrak{vq'}):

\frac{c^{2}-q^{2}}{c^{2}-(v\mathfrak{q})}=\frac{c^{2}-q'^{2}}{c^{2}-(v\mathfrak{q}')} (35)

From (31), (34) and (35) it follows:

\sqrt{\frac{c^{2}-q'^{2}}{c^{2}-q^{2}}}=\sqrt{\frac{c^{2}+(\mathfrak{vq'})}{c^{2}-(\mathfrak{vq})}}=\frac{c\sqrt{c^{2}-v^{2}}}{c^{2}-(\mathfrak{vq})}=\frac{c^{2}+(\mathfrak{vq'})}{c\sqrt{c^{2}-v^{2}}}=\frac{V'}{V}. (36)

Eventually, if we denote by \vartheta' the angle between velocity \mathfrak{q}' and the x-axis, then it holds according to (33):

q^{2}=\frac{q'^{2}+v^{2}+2q'v\cos\vartheta'-\left(\frac{q'v}{c}\sin\vartheta'\right)^{2}}{\left(1+\frac{q'v}{c^{2}}\cos\vartheta'\right)^{2}} (37)

since

tg\ \vartheta'=\sqrt{\frac{\mathfrak{q}_{y}^{'2}+\mathfrak{q}_{z}^{'2}}{\mathfrak{q}'_{x}}} (37a)

This equations show, as to how the velocities \mathfrak{v} and \mathfrak{q}' are composed when viewed from system K; they contain the famous Einstein addition theorem of velocity[8].

[ 47 ] The most remarkable thing there, is that both velocities that have to be added, are not equally valid. For example, if \mathfrak{v}_{2} is parallel to y, \mathfrak{v}_{1} parallel to x, then by (33) under the assumption, that one adds \mathfrak{v}_{2} to \mathfrak{v}_{1} by setting v_1 instead of v, v_2 instead of \mathfrak{q}'_{y} and \mathfrak{q}'_{x}=\mathfrak{q}'_{z}=0, the resulting velocity \mathfrak{q}_1 obtains the components:

\mathfrak{q}_{1x}=v_{1},\ \mathfrak{q}_{1y}=v_{2}\sqrt{1-\frac{v_{1}^{2}}{c^{2}}};

however, when in reverse \mathfrak{v}_{1} is added to \mathfrak{v}_{2}, where the indices 1 and 2 and furthermore the x- and y-direction permute their roles, then the velocity \mathfrak{q}_{2} is given with components:

\mathfrak{q}_{2x}=v_{1}\sqrt{1-\frac{v_{2}^{2}}{c^{2}}},\ \mathfrak{q}_{2y}=v_{2}.

Laue1913-5.png

The absolute value q is the same for both cases [see also the symmetric relation (37) in q' and v], however, the directions are different (Fig. 5). If we imagine a material right-angled triangle with velocity \mathfrak{v}_{1} displaced parallel to the first side, and introduce a pencil along the second side with velocity \mathfrak{v}_{2}, then its top follows on the drawing plane the line \mathfrak{q}_{1} in unit time. However, if we replace the triangle parallel to the second side with velocity \mathfrak{v}_{2} and the pencil along the first one with velocity \mathfrak{v}_{1}, then its top follows the line \mathfrak{q}_{2}[9].

By (28) v<c. If we let grow q' starting from 0, then whatever the direction of \mathfrak{q} may be, the denominator c^{2}+(\mathfrak{vq}') in (35) cannot [ 48 ] vanish, as long as q'\leqq c. The right-hand side therefore remains positive and finite, until it vanishes for q'=c.

To the value of q'=0 corresponds, of course, the value \mathfrak{q=v}, satisfying (35) as well. If q' is steadily increasing starting with this value, then also q must be steadily changing, namely in a way, so that the left-hand side of (35), \tfrac{c^{2}-q^{2}}{c^{2}-(\mathfrak{vq})}, as well as the right-hand side remain positive, until q'=c. For that, however, to a value of q'<c must necessarily correspond a value q<c, however, to the value q'=c must correspond a value q=c. Two added subluminal velocities thus again and again give a subliminal velocity. The addition of the velocity of light to a subluminal velocity gives the velocity of light. The latter plays in physics the role of an infinitely great velocity throughout, in so far as it can never be reached by an accumulation of subluminal velocities. There, also the determination v<c represents no restriction of generality.

Not only the velocity of bodies, but also the physical actions of any kind, may they be propagating in vacuum or in matter, cannot exceed the velocity of light c. If the action of an event occurring at time t at point A(x=x_{A},\ y=z=0) in system K, would be propagating with velocity V>c to point B(x=x_{B},\ y=z=0), then it would arrive there later in time by

\Delta t=\frac{x_{B}-x_{A}}{V}.

By the last of equations (XI), the duration of this propagation, related to K', would be:

\Delta t'=\frac{\Delta t-\frac{v}{c^{2}}\left(x_{B}-x_{A}\right)}{\sqrt{1-\frac{v^{2}}{c^{2}}}}=\Delta t\frac{1-\frac{vV}{c^{2}}}{\sqrt{1-\frac{v^{2}}{c^{2}}}}

Thus, by the choice of a sufficiently great value for subluminal velocity v, one can achieve that \Delta t' becomes zero or even negative, i.e. there would be a valid system, in which the effect in B would chronologically preceding the cause; however, this is impossible, since the natural law in question [ 49 ] would remain unchanged in the passage from K to K' in opposition to the relativity principle, when cause and effect would permute their roles with respect to time and causality.

This consequence from the relativity principle is only apparently refuted by the fact, that in dispersing bodies the refractive index is n<1 for some spectral areas, thus the "velocity of light" is \tfrac{c}{n}>c. Because \tfrac{c}{n} is namely the velocity, by which the phases of periodic waves propagate in the stationary state, i.e. when they are distributed over the whole space. As to the propagation of a suddenly occurring electromagnetic disturbance, it has no immediate meaning. The first precursor of such a disturbance, the head of the wave, is rather propagating, according to the theory of electrons, steadily with the velocity of light c. [Sommerfeld[10]].

Also if one leads (in a valid system) a ruler above a resting second one which is nearly parallel, then the intersection of both can easily travel with superluminal velocity; since its velocity (like that of the first ruler) is divided by the angle between both, and can be increased above any limit by decreasing this angle. This contains no contradiction to the above; since the intersection is no material point, it also cannot be used to transfer actions along the resting ruler. It would be easy to install mechanisms upon it, which cause any physical event (like rings of bells) in the moment when the intersection passes them; and then one can claim in a certain sense, that the rings of bells are propagating with superluminal velocity. However, if one removes any number of these devices again, then the other ones will work as before – a clear sign that these rings of bells are not connected as cause and effect. Their common cause is rather in the motion of the second ruler.

However, it would be in contradiction to the previous theorems, when it would be possible to realize the following case: "At a point B of the resting ruler, we again install one of the mentioned devises. At the beginning, also the second ruler is at rest; the [ 50 ] intersection of both may coincide at that stage with point A of the first one. However, afterwards an arbitrary event takes place in A, by which the second ruler is practically momentarily brought into uniform motion. The intersection then traverses the resting ruler as the signal of the occurrence of the event in A, and the event caused by it in B becomes the effect of the cause happening in A. The transfer from A to B happens with superluminal velocity."

Now, whey isn't it possible to realize the mentioned process between the quotes? Would the second ruler, as previously assumed, really be rigid and incapable of changes of shape, then it would indeed be executable. The transfer of the driving motion starting from A would occur momentarily by the elastic forces. And by that we arrive at the reason of this contradiction. The assumption of a rigid body is incompatible with relativity theory. The ruler bulges (under all circumstances) at first in A and then it doesn't remain straight; the conclusion to a superluminal velocity of the intersection, however, is essentially based on its straightness.

That any action through vacuum, thus also gravitation, must be propagated at the speed of light c, when the relativity principle shall be correct, follows from the reasoning, that otherwise one obtains a substitution (by transfer of the consideration leading to equation (XI)), which would be different from (XI) by the value of c, therefore it would define (together with (XI)) a preferred system again.

§ 8. Minkowski's geometric interpretation of the Lorentz transformation.[edit]

The principle of relativity, as it was announced in § 6 and mathematically formulated in the Lorentz-Transformation (XI), completely contains the foundations of relativity theory. Though the calculations partly become inelegant and complicated, because with respect to every vector, one has to transform the component parallel to velocity v in a different way [ 51 ] than the perpendicular ones. It is the great merit of the so early deceased mathematician of Göttingen, Hermann Minkowski, to have created a geometric interpretation that avoids this difficulty, and due to the elegance that it lends to the calculations of relativity theory, it forms a nearly indispensable tool for the reliable usage of it.[11]

In general, all coordinates are concerned by a Lorentz transformation. Only our special assumption concerning the location of the axis-cross in the systems K and K' gave rise to the identical transformation in (XI) for the y- and z-coordinate. However, since also time must be altered, it can be easily seen that a geometric analogy can only consist in a four-dimensional manifold. That such one is inaccessible to our intuition, shall not frighten us; it is only about a symbolic illustration of certain analytical relations between four variables. We denote this manifold as "the world" and choose as "world coordinates" the space coordinates x, y, z and the time coordinate

u=ct\, (38)

The x, y, z-axes shall be mutually perpendicular; the u-axis preliminarily shall also be perpendicular upon the three mentioned axes, i.e., x and u shall at first be ordinary rectangular coordinates in the xu-plane, and corresponding relations shall apply in the yu- and zu-plane. Then there are six coordinate planes (pairwise mutually perpendicular), and four (three-dimensional) coordinate spaces (mutually perpendicular). A point (x, y, z, u) of this manifold we call a "world point"; it represents an event taking place at location x, y, z at time t=\tfrac{u}{c}.

The space coordinates are functions of time for any material point; thus it determines a curve in the world, a "world-line". At uniform velocity q it is a straight line whose angle with respect to the u-axis is equal to \operatorname{arctg}\tfrac{q}{c}, thus it is smaller than \tfrac{\pi}{4}, because q<c; in general it is an arbitrary curved line, whose inclination with respect to the u-axis, however, never reaches the given amount.

[ 52 ] In the special case of § 6, where the x- and x'-axis are parallel to the translatory velocity, the transformation only takes place in the xu-plane, which we want to use as drawing plane (Fig. 6). Therein we draw hyperbolas of equal sides:

x^{2}-u^{2}=-1\, (39)
x^{2}-u^{2}=+1\, (40)

as well as their common pair of asymptotes:

x^{2}-u^{2}=0\, (41)

From origin O we draw the line in the direction of any point U' of that branch of the first hyperbola, for which u is positive;

Fig. 6

afterwards a second line into a point X' of branch x>0 of the second hyperbola; X' is thus determined, so that the asymptote x=u becomes the angle bisector, i.e. that PU' and OX' become conjugate diameters for both hyperbolas (39) and (40). If U' falls upon the u-axis in the direction of U, than X' coincides with X. The Lorentz transformation (XI) consists in the fact, that instead of line OU and OX, one uses OU' and [ 53 ] OX' as axes; and instead of the distances OU and OX, one uses OU' and OX' as distances.

Indeed: the lines OU' and OX' have the equations

x=\beta u,\ u=\beta x,\ \left|\beta\right|<1

The coordinates of U' and X' are therefore according to (39) and (40):

\left.\begin{array}{ccc}
u_{U'}=\frac{1}{\sqrt{1-\beta^{2}}}, &  & x_{U'}=\frac{\beta}{\sqrt{1-\beta^{2}}}\\
\\u_{X'}=\frac{\beta}{\sqrt{1-\beta^{2}}}, &  & x_{X'}=\frac{1}{\sqrt{1-\beta^{2}}}\end{array}\right\} (42)

However, now in the primed system it should become:

u'_{U'}=x'_{X'}=1,\ u'_{X'}=x'_{U'}=0

The four constants available by a linear transformation from x, u to x', u', are definitely specified by that; the transformation equations thus must read:

x'=\frac{x-\beta u}{\sqrt{1-\beta^{2}}},\ u'=\frac{x-\beta x}{\sqrt{1-\beta^{2}}} (43)

according to (38), they go over into (XI) if one puts

\beta=\frac{v}{c} (44)

The expression x^{2}-u^{2} as well as x^{2}+y^{2}+z^{2}-u^{2} therefore remain invariant with substitution (43). The equations of both hyperbolas and their pairs of asymptotes, read the same in the primed system as well as in the unprimed system. Angle \psi in Fig. 6 is specified by equation

\operatorname{tg}=\beta=\frac{v}{c} (45)

With respect to every world point W of the UX-plane, for which u^{2}>x^{2}, one evidently can draw a time-axis starting from O, with direction \overrightarrow{OW} when u>0, and with direction \overrightarrow{WO} when u<0; because there is alway a conjugate diameter to OW as the x'-axis. Conversely, every world point for which u^{2}<x^{2}, can be made "simultaneous" to O, by choosing the line OW with appropriate direction as the x'-axes, and its conjugate diameter as u'-axis.

[ 54 ] To represent to general Lorentz transformation, at which the spatial axis-crosses x, y, z and x', y', z' are arbitrarily oriented to the relative velocity v, we have to design this construction in a four-dimensional way. Instead of hyperbolas, the two-shelled hyperbolic space occurs:

x^{2}+y^{2}+z^{2}-u^{2}=-1\, (46)

and the single-shelled hyperbolic space:

x^{2}+y^{2}+z^{2}-u^{2}=+1\, (47)

both will be asymptotically contacted by the conic space

x^{2}+y^{2}+z^{2}-u^{2}=0 (48)

The hyperbolas in Fig. 6 and their asymptotes are the intersections of those three-dimensional spaces with the ux-plane.

Now we choose, upon the positive shell of the two-shelled hyperbolic space (46), an arbitrary point U' with coordinates x_{U'},\ y_{U'},\ z_{U'},\ u_{U'}, and draw in its direction the line from O. Then we construct the conjugate diameter-space to this diameter:

xx_{U'}+yy_{U'}+zz_{U'}-uu_{U'}=0 (49)

which intersects the single-shelled hyperbolic space (47) into an ellipsoid. If U' falls into the vertex U of the first hyperbolic space, than the conjugate diameter-space becomes the x y z-space (u=0) and the ellipsoid becomes a sphere

x^{2}+y^{2}+z^{2}=1\, (50)

and all distances from O in the direction of a point of this sphere have the same length 1; it is the measuring surface for distances in space x y z. The general Lorentz transformation now consists in this, that instead of the line OU as u-axis and the distance OU as unity, and instead of the xyz-space with sphere (50) as measuring surface, we render the line OU' (with OU' as unity-distance) as the u'-axis, and its conjugate diameter-space with the mentioned ellipsoid as measuring surface we render as the corresponding x'y'z'-space. The latter condition expresses, that the equation of the ellipsoid should read

x'^{2}+y'^{2}+z'^{2}=1\,

[ 55 ] For confirmation, we first change the coordinate system x' y' z' by a rotation executed in x' y' z'-space; u' remains totally untouched here, while the sum x'^{2}+y'^{2}+z'^{2} is invariant; the same also holds for the expression x'^{2}+y'^{2}+z'^{2}-u'^{2}. By rotation it can be achieved, that the intersection of x' y' z'-space becomes the plane (located through the u and u' axis) to the x'-axis. By an analogous rotation of coordinate system xyz, we move the x-axis into the same plane. However, then we have the same relations as in Fig. 6: OX' and OU' became the (by construction) conjugate diameter of hyperbola x^{2}-u^{2}=-1, and since x^{2}+y^{2}+z^{2}-u^{2} is invariant with respect to the special transformation illustrated there, then this also holds for the generalized construction now given, by which it proves to be a Lorentz transformation. Thus there exist as many valid systems as points in the positive shell of hyperbolic space (46), i.e. three-times infinitely many, as already mentioned earlier. The mutual velocity of both systems is specified by the angle \psi between the u- and the u'-axis according to equation (45).

The conical space (48) separates the world into three parts:

1. u^{2}>x^{2}+y^{2}+z^{2},\ u>0. One can place a time-axis with direction \overrightarrow{OW} after every world point W of this area; it contains the world-points "beyond O", i.e. those arising later than O in all valid systems.

2. u^{2}>x^{2}+y^{2}+z^{2},\ u<0. The world points of this area are arising earlier than O in all systems, they are "on this side of O". One can draw a time-axis with direction \overrightarrow{WO} with respect to them.

3. u^{2}<x^{2}+y^{2}+z^{2}. Of the points of this "intermediary area", one can make three of them simultaneous with O, because together with O they specify an even space, forming a valid reference system with the conjugate diameter with respect to hyperbolic space (46). In this one, the three world points share the time t=u/c=0 with O.

With respect to conical space (48) itself, we distinguish the "for-cone" for which u<0, and the "after-cone" for which [ 56 ] u>0. The first one encloses those world points representing events, from which a possible effect propagating with the speed of light arrives at point x=0,\ y=0,\ z=0 at time t=0. The after-cone on the other hand, represents the totality of events happening simultaneously with the arrival of a possible light-effect emanating from O. We say, that the former ones "are sending light in the direction of O", and the latter ones "are receiving light from there".

Due to the invariance of expression x^{2}+y^{2}+z^{2}-u^{2}, both hyperbolic spaces (46) and (47) as well as the conic space (48) have an absolute meaning; their equation is the same in all reference systems. Therefore, also this arrangement of

Fig. 7

the world is independent from the reference system. Its physical meaning can be seen from the following consideration:

The world points O and R in Fig. 7 may represent two material points A and B at rest in K; the first at time t(=0) when an arbitrary effect emanates from it; the latter at time t_R when this effect reaches B. Now, if the velocity V (by which it propagates) could be greater than c, then it would be

u_{R}=ct_{R}=\left|x_{R}\right|\frac{c}{V}<\left|x_{R}\right|;

R belongs to the intermediary area of O, as it is also drawn in Fig. 7. Thus valid systems would always exist, in which [ 57 ] u'_{R}<0 as in system K' of the figure, i.e. R would be earlier than O; thus the effect would arrive at B before its cause would have taken place in A. This geometric consideration thus again disproves the possibility of superluminal speeds (see p. 48 and 49). Thus all world points in a position to causally influence O, are lying beyond or upon the after-cone, and all points from which O can suffer such an influence, are on this side or upon the for-cone of O. Points of the intermediary space, however, can never be in causal connection with O.

For an infinitely small distance on the u'-axis or a curve-section parallel to it, it is given by the second of equations (43)

du'=\frac{du-\beta dx}{\sqrt{1-\beta^{2}}},

however, according to the first of these equations and due to dx'=0,

dx=\beta du\,;

thus

du'=du\sqrt{1-\beta^{2}},\ \mathrm{that\ is},\ dt'=dt\sqrt{1-\beta^{2}}. (51)

The equation includes, like formula (29) with which it is identical, the theorem that a clock at rest in K', when related to K, is retarded. If we denote by dx, dy, dz the projections of the distance (as covered in time dt) upon the coordinate axes, and by q the velocity, then it is given

\frac{q}{c}dt=\beta dt=\frac{1}{c}\sqrt{dx^{2}+dy^{2}+dz^{2}}.

Furthermore, dx, dy, dz, du are the components of the worldline-element covered in time dt. By (51) the time increase is thus given

\left.\begin{array}{ll}
d\tau & =\frac{1}{c}\sqrt{du^{2}-\left(dx^{2}+dy^{2}+dz^{2}\right)}\\
\\ & =dt\sqrt{1-\frac{q^{2}}{c^{2}}}\end{array}\right\} (52)

which is indicated by the clock while it traverses the element. We denote by d\tau the proper time of that worldline-element. For a finite section of a worldline, we find it by integration. The proper time of a worldline-section is an invariant of the Lorentz transformation. This already becomes clear due to its physical meaning, since the [ 58 ] hand positions of the clock are the same for all reference systems at the start and the end of that section; this we can also recognize by the fact, that the expression du^{2}-\left(dx^{2}+dy^{2}+dz^{2}\right) in (52) is transformed the same way, as the invariant expression u^{2}-\left(x^{2}+y^{2}+z^{2}\right). However, it is to be noticed, that that equation (52) is initially derived only for uniformly moving clocks, i.e. derived for straight worldlines. In general, the acceleration will have an influence on the rate. Only when the acceleration is sufficiently small, i.e. the curvature of the worldlines is sufficiently weak, the proper time will directly have the given physical meaning. Where the limit for that is located, depends on the constitution of the clock. However, the proper time defined by (52), is always a mathematically useful concept.

Of all worldlines, which connect two given worldpoints 1 and 2, the straight connection has the longest proper time. Because, if we put the z-axis parallel to it — the choice of reference system is totally arbitrary due to the invariance of proper time —, then by (52) the proper time for this line is \tfrac{1}{c}\int\limits _{1}^{2}du, though for another connecting line it is

\frac{1}{c}\int\limits _{1}^{2}\sqrt{du^{2}-\left(dx^{2}+dy^{2}+dz^{2}\right)}<\frac{1}{c}\int\limits _{1}^{2}du.

Of the two clocks, of which we have spoken on pp. 42 and 43, one covers the straight worldline from 1 to 2, yet the other one covers a broken line. We confirm at this place, that the second one is retarded at the re-encounter; because its worldline corresponds to a shorter proper time. Simultaneously we also see the physical difference of both motions in the most illustrative way.

Let us come back to Fig. 7 once more. The endpoints of a rod (parallel to the x-axis and at rest in K) are following straight (parallel to the u-axis) world lines P_{1}P'_{1} and P_{2}P'_{2}. The ratio \tfrac{P_{1}P_{2}}{OX} denotes its rest length s^0. If a second rod is at rest in K', then the world lines of its endpoints are two lines Q_{1}Q'_{1} and Q_{2}Q'_{2} parallel to the u'-axis, and its rest length [ 59 ] which also may be equal to s^0, is represented by the ratio \tfrac{Q'_{1}Q'_{2}}{OX'}. The length of the first rod in K' is, however, s'=\tfrac{P'_{1}P'_{2}}{OX'}, because \tfrac{OP'_{1}}{OX'} and \tfrac{OP'_{2}}{OX'} are the x'-coordinates of its endpoints for the same value (0) of t'. Analogously, the length of the second rod in K is s=\tfrac{Q_{1}Q_{2}}{OX}. Now, according to (42):

\frac{OX'}{OX}=\sqrt{x_{X'}^{2}+u_{X'}^{2}}=\sqrt{\frac{1+\beta^{2}}{1-\beta^{2}}}

furthermore according to Fig. 7 and (45):

\begin{array}{ll}
\frac{P'_{1}P'_{2}}{P_{1}P_{2}}=\frac{1}{\cos\psi} & =\sqrt{1+\beta^{2}},\ \frac{Q_{1}Q_{2}}{Q'_{2}Q'_{2}}=\frac{OQ_{1}}{OQ'_{1}}=\frac{\sin\left(\sphericalangle OQ'_{1}Q_{1}\right)}{\sin\left(\sphericalangle OQ_{1}Q'_{1}\right)}\\
\\ & =\frac{\sin\left(\frac{\pi}{2}-2\psi\right)}{\sin\left(\frac{\pi}{2}+\psi\right)}=\frac{1-\beta^{2}}{\sqrt{1+\beta^{2}}}\end{array}

Thus for the first rod

\frac{s'}{s^{0}}=\frac{P'_{1}P'_{2}}{OX'}\cdot\frac{OX}{P_{1}P_{2}}=\sqrt{1-\beta^{2}}=\sqrt{1-\frac{v^{2}}{c^{2}}} (53)

and for the second

\frac{s'}{s^{0}}=\frac{Q_{1}Q_{2}}{OX}\cdot\frac{OX'}{Q'_{1}Q'_{2}}=\sqrt{1-\beta^{2}}=\sqrt{1-\frac{v^{2}}{c^{2}}} (54)

Thus we confirm the theorem already found in §7, that a body when viewed from the co-moving system, appears to be longer than from any other system. Since it is chosen in Fig. 7 that Q'_{1}Q'_{2}:OX'=P_{1}P_{2}:OX, it thus can be seen that Q_{1}Q_{2}<P_{1}P_{2}.

§ 9. The Lorentz transformation as an imaginary rotation[edit]

Analytically,[12] it is even more elegant to use the imaginary quantity

l=iu=ict\, (55)

as time variable, where an imaginary point of the x, y, z, l-manifold indeed corresponds to any real world-point. Thus it is

x^{2}+y^{2}+z^{2}-c^{2}t^{2}=x^{2}+y^{2}+z^{2}+l^{2}\, (56)

As we have seen in § 6, a Lorentz transformation is characterized by the invariance of this expression.

[ 60 ] Let us first consider the simple case of the transformation expressed in (XI) and (43) again, by which only x and t are concerned. If we introduce u into (43) instead of l, then we find:

x'=\frac{x+i\beta l}{\sqrt{1-\beta^{2}}},\ l^{'}=\frac{l-i\beta x}{\sqrt{1-\beta^{2}}} (57)

Now we can define an imaginary angle \varphi, so that

\cos\varphi=\frac{1}{\sqrt{1-\beta^{2}}},\ \sin\varphi=\frac{i\beta}{\sqrt{1-\beta^{2}}} (58)

By (45), it is connected with angle \psi of Fig. 6 and 7 by the relation

\operatorname{tg}\ \varphi=i\beta=i\frac{v}{c}=i\ \operatorname{tg}\ \psi (59)

If one expresses \beta by \varphi in (57), then one finds the equations:

x'=x\cos\varphi+l\sin\varphi,\ l'=-x\sin\varphi+l\cos\varphi\, (60)

and as their inversions:

x=x'\cos\varphi-l'\sin\varphi,\ l=x'\sin\varphi+l'\cos\varphi\, (61)

If l and \varphi were real quantities, this would mean that the coordinate system x', l' emerges from system x, l by a clockwise rotation around the angle \varphi. But also here we can maintain the following mode of expression without doubts. The special Lorentz transformation (XI) is a rotation of the axis-cross in the xl-plane by the imaginary angle \varphi defined by (58).[13][14]

If one successively executes several such transformations in the xl-plane of rotational angles \varphi_{1},\varphi_{2}\dots\varphi_{n}\dots, then a single rotation around the angle

\varphi=\sum\varphi_{n}

is resulting. The velocity of the nth with respect to the (n-1)th system, is according to (59):

v_{n}=-ic\ \operatorname{tg}\ \varphi_{n}

[ 61 ] that of the latter with respect to the first is accordingly:

v=-ic\ \operatorname{tg}\ \left(\sum\varphi_{n}\right)

The function

\operatorname{tg}\ x=-i\frac{e^{ix}-e^{-ix}}{e^{ix}+e^{-ix}}

however, when its argument traverses the purely imaginary value from zero to i\infty, only increases from zero to value i. Therefore it is under all circumstances \operatorname{tg}\left(\sum\varphi_{n}\right)<i and v<c. The speed of light remains unreachable, as we have already seen in § 7.

If \sum\varphi_{n} is confined to two terms, then it follows:

v=-ic\ \operatorname{tg}\left(\varphi_{1}+\varphi_{2}\right)=-ic\frac{\operatorname{tg}\ \varphi_{1}+\operatorname{tg}\ \varphi_{2}}{1-\operatorname{tg}\ \varphi_{1}\cdot\operatorname{tg}\ \varphi_{2}}=\frac{v_{1}+v_{2}}{1+\frac{v_{1}v_{2}}{c^{2}}}

Einstein's addition theorem for velocities of same direction [see the first of relations (33)], thus directly emerges from the addition theorem of the tangent function.[9]

Already in § 8 (p. 55) we saw, that the most general Lorentz transformation can be derived from rotations of the spatial axis-cross in the systems K and K', as well as from the special transformation (43) being identical with (XI) and (57). All properties of the general one can already be recognized in the latter transformation; for example, the general one has always to be interpreted as an imaginary rotation in the plane determined by the l- and l'-axis, to which only the inessential real rotations of the coordinate systems x, y, z and x', y', z' are supplemented.

Analytically it is more elegant, however, to investigate in a quite general way those linear transformations of the world-coordinate system x, y, z, l, which represent a Lorentz transformation, i.e., in which the expression (56) x^{2}+y^{2}+z^{2}+l^{2} stays invariant. This task indeed corresponds to the question after the substitutions, which represent a rotation of the space-coordinate system x, y, z. Because these are characterized by the invariance of x^{2}+y^{2}+z^{2}. (see appendix under b.)

If x^{2}+y^{2}+z^{2}+l^{2}=x'^{2}+y'^{2}+z'^{2}+l'^{2} shall follow from the linear substitution

\left.\begin{array}{c}
x'=\alpha_{1}^{(1)}x+\alpha_{1}^{(2)}y+\alpha_{1}^{(3)}z+\alpha_{1}^{(4)}l\\
\\y'=\alpha_{2}^{(1)}x+\alpha_{2}^{(2)}y+\alpha_{2}^{(3)}z+\alpha_{2}^{(4)}l\\
\\z'=\alpha_{3}^{(1)}x+\alpha_{3}^{(2)}y+\alpha_{3}^{(3)}z+\alpha_{3}^{(4)}l\\
\\l'=\alpha_{4}^{(1)}x+\alpha_{4}^{(2)}y+\alpha_{4}^{(3)}z+\alpha_{4}^{(4)}l\end{array}\right\} (62)

[ 62 ] then (as the calculation shows) the equations

\left.\begin{array}{lllcc}
\sum\limits _{n}\alpha_{n}^{(m)^{2}}=1 &  & m=1,2,3,4\\
\\\sum\limits _{n}\alpha_{n}^{(m)}=0 &  & m,o=1,2,3,4 &  & m\lessgtr o\end{array}\right\} (63)

must be satisfied, which are formed analogously to the condition of orthogonality (p. 255) throughout. Therefore only 6 of the 16 coefficients are arbitrary.[15] If we combine equations (61) for once with \alpha_{1}^{(1)},\ \alpha_{2}^{(1)},\ \alpha_{3}^{(1)},\ \alpha_{4}^{(1)}, and then with \alpha_{1}^{(2)},\ \alpha_{2}^{(2)},\ \alpha_{3}^{(2)},\ \alpha_{4}^{(2)} etc., one finds as there solutions with respect to the unprimed quantities:

\left.\begin{array}{c}
x=\alpha_{1}^{(1)}x'+\alpha_{2}^{(1)}y'+\alpha_{3}^{(1)}z'+\alpha_{4}^{(1)}l'\\
\\y=\alpha_{1}^{(2)}x'+\alpha_{2}^{(2)}y'+\alpha_{3}^{(2)}z'+\alpha_{4}^{(2)}l'\\
\\z=\alpha_{1}^{(3)}x'+\alpha_{2}^{(3)}y'+\alpha_{3}^{(3)}z'+\alpha_{4}^{(3)}l'\\
\\l=\alpha_{1}^{(4)}x'+\alpha_{2}^{(4)}y'+\alpha_{3}^{(4)}z'+\alpha_{4}^{(4)}l'\end{array}\right\} (64)

so that by analogy of (63), it is also

\sum\limits _{n}\alpha_{m}^{(n)^{2}}=1,\qquad\sum\limits _{n}\alpha_{m}^{(n)}\alpha_{0}^{(n)}=0 (65)

We denote the determinant of the coefficient as A:

A=\left|\begin{array}{cccc}
\alpha_{1}^{(1)} & \alpha_{2}^{(1)} & \alpha_{3}^{(1)} & \alpha_{4}^{(1)}\\
\alpha_{1}^{(2)} & \alpha_{2}^{(2)} & \alpha_{3}^{(2)} & \alpha_{4}^{(2)}\\
\alpha_{1}^{(3)} & \alpha_{2}^{(3)} & \alpha_{3}^{(3)} & \alpha_{4}^{(3)}\\
\alpha_{1}^{(4)} & \alpha_{2}^{(4)} & \alpha_{3}^{(4)} & \alpha_{4}^{(4)}\end{array}\right|=\pm\alpha_{1}^{(1)}\alpha_{2}^{(2)}\alpha_{3}^{(3)}\alpha_{4}^{(4)} (66)

their sub-determinants we denote as usually as A_{m}^{(n)}. Resolving (62) into x, y, z, l must give the form now:

Ax=A_{1}^{(1)}x'+A_{2}^{(1)}y'+A_{3}^{(1)}z'+A_{4}^{(1)}l' etc.,

thus it must by according to (64)

\alpha_{m}^{(n)}=A_{m}^{(n)}:A (67)

If one substitutes these values into (66), if follows for the determinants of the sub-determinants:

\pm A_{1}^{(1)}A_{2}^{(2)}A_{3}^{(3)}A_{4}^{(4)}=A^{5}

[ 63 ] According to a known theorem, however, we have A^{n-1} when the number of the column is n, thus in our case we have A^{3}, therefore it must be

A=1\,; (68)

because A=-1 is excluded, since A is a steady function of the coefficient, and with an identical transformation x'=x etc. it evidently has the value +1. By (67) it is then

\alpha_{m}^{(n)}=A_{m}^{(n)} (69)

We can combine transformations (62) and (64) into the scheme (being intelligible without further explanation):

\left.\begin{array}{c|c|c|c|c|}
 & x' & y' & z' & l'\\
\hline x & \alpha_{1}^{(1)} & \alpha_{2}^{(1)} & \alpha_{3}^{(1)} & \alpha_{4}^{(1)}\\
\hline y & \alpha_{1}^{(2)} & \alpha_{2}^{(2)} & \alpha_{3}^{(2)} & \alpha_{4}^{(2)}\\
\hline z & \alpha_{1}^{(3)} & \alpha_{2}^{(3)} & \alpha_{3}^{(3)} & \alpha_{4}^{(3)}\\
\hline l & \alpha_{1}^{(4)} & \alpha_{2}^{(4)} & \alpha_{3}^{(4)} & \alpha_{4}^{(4)}\end{array}\right\} (XII)

If the substitution (XII) shall represent a Lorentz transformation, the coefficients: 1. must satisfy the conditions of orthogonality (63) and (65); 2. those containing the index 4 once, must be purely imaginary, all others must be real; 3. its determinant and \alpha_{4}^{(4)} must be positive. We have added conditions 2., so that from the real values x, y, z and an imaginary value of l, real values for x', y', z' and imaginary values for l' are emerging again and again. Yet, \alpha_{4}^{(4)} must be positive since \alpha_{4}^{(4)} is always the cosine of the imaginary angle \varphi between the l- and the l'-axis, thus [see (58)]:

\alpha_{4}^{(4)}=\cos\varphi=\frac{1}{\sqrt{1-\beta^{2}}}

One can see this most easily, when one derives the general transformation from the special substitution (57) in the way discussed above. This special transformation in which the y- and z-coordinate remains unchanged, can be found, when

[ 64 ]

\left.\begin{array}{r}
\alpha_{2}^{(2)}=\alpha_{3}^{(3)}=1,\ \alpha_{1}^{(1)}=\alpha_{4}^{(4)}=\frac{1}{\sqrt{1-\beta^{2}}},\\
\\-\alpha_{4}^{(1)}=\alpha_{1}^{(4)}=\frac{i\beta}{\sqrt{1-\beta^{2}}}\end{array}\right\} (70)

and if one sets all other coefficients to zero. Thus their scheme looks as follows:

\left.\begin{array}{c|c|c|c|c|}
 & x' & y' & z' & l'\\
\hline x & \frac{1}{\sqrt{1-\beta^{2}}} & 0 & 0 & \frac{-i\beta}{\sqrt{1-\beta^{2}}}\\
\hline y & 0 & 1 & 0 & 0\\
\hline z & 0 & 0 & 1 & 0\\
\hline l & \frac{-i\beta}{\sqrt{1-\beta^{2}}} & 0 & 0 & \frac{1}{\sqrt{1-\beta^{2}}}\end{array}\right\} (71)

For the sub-determinants of second order A_{mn}^{m'n'}, conditions apply corresponding to formulas (63) and (65). (The upper indices are always related to rows, the lower ones to the columns of A.) As the coefficients themselves, these sub-determinants are real when the index 4 occurs not at all or twice, and purely imaginary when its appears once.

According to a known theorem, it is for an arbitrary determinant A

A\left|\begin{array}{cc}
\alpha_{3}^{(3)} & \alpha_{3}^{(4)}\\
\alpha_{4}^{(3)} & \alpha_{4}^{(4)}\end{array}\right|=\left|\begin{array}{cc}
A_{1}^{(1)} & A_{1}^{(2)}\\
A_{2}^{(1)} & A_{2}^{(2)}\end{array}\right|

By (67) and (68) it follows from that:

A_{12}^{12}=A_{34}^{34}

or more general if we denote as B_{mn}^{m'n'} the sub-determinants supplementing A_{mn}^{m'n'}:

A_{mn}^{m'n'}=B_{mn}^{m'n'} (72)

Furthermore, a known theorem concerning the representability of a determinant as the sum of the production of sub-determinants, says:

A=\sum\limits _{m}\sum\limits _{n}A_{mn}^{m'n'}B_{mn}^{m'n'}

[ 65 ] By (68) and (72) we conclude from that:

\sum\limits _{m}\sum\limits _{n}A_{mn}^{m'n'2}=1 (73)

We further imagine determinant \mathfrak{A} as derived from A, by replacing the terms of the second row by the corresponding ones of the third row; it is of course zero. Thus by the theorem now employed:

\sum\limits _{m}\sum\limits _{n}\mathfrak{A}_{mn}^{1\ 2}\mathfrak{B}_{mn}^{1\ 2}=0

However, now it is

\mathfrak{A}_{mn}^{1\ 2}=A_{mn}^{1\ 2},\ \mathfrak{B}_{mn}^{1\ 2}=B_{mn}^{1\ 3}

thus by (72):

\sum\limits _{m}\sum\limits _{n}A_{mn}^{1\ 2}A_{mn}^{1\ 3}=0 (74)

Eventually we imagine determinant \mathfrak{A} as formed in a way, where in A not only the terms of the second row are replaced by the ones of the third row, but also those of the first are replaced by the corresponding ones of the fourth row. Then it is:

\mathfrak{A}_{mn}^{1\ 2}=A_{mn}^{1\ 2},\ \mathfrak{B}_{mn}^{1\ 2}=B_{mn}^{4\ 3}

thus

\sum\limits _{m}\sum\limits _{n}A_{mn}^{1\ 2}A_{mn}^{3\ 4}=0 (75)

Due to the equality of rows and columns in (73), (74), (75), one can permute the upper with the lower indices.

If one arranges the sub-determinants by this scheme:

\begin{array}{|c|c|c|c|c|c|}
\hline A_{14}^{14} & A_{24}^{14} & A_{34}^{14} & A_{23}^{14} & A_{31}^{14} & A_{12}^{14}\\
\hline A_{14}^{24} & A_{24}^{24} & A_{34}^{24} & A_{23}^{24} & A_{31}^{24} & A_{12}^{24}\\
\hline A_{14}^{34} & A_{24}^{34} & A_{34}^{34} & A_{23}^{34} & A_{31}^{34} & A_{12}^{34}\\
\hline A_{14}^{23} & A_{24}^{23} & A_{34}^{23} & A_{23}^{23} & A_{31}^{23} & A_{12}^{23}\\
\hline A_{14}^{31} & A_{24}^{31} & A_{34}^{31} & A_{23}^{31} & A_{31}^{31} & A_{12}^{31}\\
\hline A_{14}^{12} & A_{24}^{12} & A_{34}^{12} & A_{23}^{12} & A_{31}^{12} & A_{12}^{12}\\\hline \end{array}

then equations (73), (74), and (75) and their (not written) generalizations have the meaning: If one squares and adds the terms in the row or the column, then [ 66 ] one obtains the value 1; if one multiplies the corresponding terms of two different rows or columns, then one finds the value zero at the addition.

The coefficients \alpha_{m}^{n} and the sub-determinants A_{m,n}^{m',n'} will be used in the following in the definition of the four- and six-vectors.

In the special transformation (57), the sub-determinants [see (70)] are:

\left.\begin{array}{c}
A_{14}^{14}=A_{23}^{23}=1,\\
\\A_{12}^{12}=A_{31}^{31}=A_{24}^{24}=A_{34}^{34}=\frac{1}{\sqrt{1-\beta^{2}}}=\cos\varphi\\
\\A_{24}^{12}=A_{31}^{34}=-A_{12}^{24}=-A_{34}^{31}=\frac{i\beta}{\sqrt{1-\beta^{2}}}=\sin\varphi\end{array}\right\} (76)

all others are zero. The given scheme thus has the following shape:

\begin{array}{|c|c|c|c|c|c|}
\hline 1 & 0 & 0 & 0 & 0 & 0\\
\hline 0 & \frac{1}{\sqrt{1-\beta^{2}}} & 0 & 0 & 0 & \frac{-i\beta}{\sqrt{1-\beta^{2}}}\\
\hline 0 & 0 & \frac{1}{\sqrt{1-\beta^{2}}} & 0 & \frac{i\beta}{\sqrt{1-\beta^{2}}} & 0\\
\hline 0 & 0 & 0 & 1 & 0 & 0\\
\hline 0 & 0 & \frac{-i\beta}{\sqrt{1-\beta^{2}}} & 0 & \frac{1}{\sqrt{1-\beta^{2}}} & 0\\
\hline 0 & \frac{i\beta}{\sqrt{1-\beta^{2}}} & 0 & 0 & 0 & \frac{1}{\sqrt{1-\beta^{2}}}\\\hline \end{array} (77)

In this way, one easily confirms the given rules.


  1. A. Einstein, Zur Elektrodynamik bewegter Körper. Ann. d. Phys. 17, 891, 1905; Jahr. der Radioaktivität u. Elektronik 4, 411, 1907
  2. The relation of \varphi with respect to both field strengths, is irrelevant up to a certain degree. By § 5, (22) is valid for any linear combination of their coordinates. Therefore it is not of interest here, whether \varphi has the same meaning in both reference systems. By § 14, any of such linear combinations goes over in another combination of the same kind when transformed.
  3. P. Langevin, Scientia 10, 31, 1911.
  4. M. Laue, Phys. Zeitschr. 13, 118, 1912
  5. In section VII we will call such accelerations adiabatic-isopiestic.
  6. O. Lodge, London Transact. (A) 184, 727, 1893
  7. H. A. Lorentz, v. Amsterdam, Ziggingsverlag, Acac. v. Wet. 1, 74, 1892.
  8. It may be alluded to the fact, that velocity \mathfrak{q}' is related to another system as \mathfrak{v}. If both are to be related to the same system, the ordinary vector addition must of course apply to them. The velocity of light against a moving rod, related to a non-co-moving system, is for example still the vector sum of its velocity against the system and that of the rod; the explanation of Michelson's experiment, as it was given by us in § 2, thus remains valid (neglecting the modification forced by the Lorentz contraction) in relativity theory too.
  9. 9.0 9.1 A. Sommerfeld, Phys. Zeitschr. 10, 826, 1909.
  10. A. Sommerfeld, Phys. Zeitschr. 8, 841, 1907; Weberfestschrift, Leipzig 1912, p. 338.
  11. H. Minkowski, Raum und Zeit, Phys. Zeitschr. 10, 104, 1909. Also published as brochure. Leipzig. B. G. Teubner, 1909
  12. H. Minkowski, Die Grundgleichungen für die elektromagnetischen Vorgänge in bewegten Körpern, Göttinger Nachr. 1907, p. 1, and Mathematischen Ann. 68, 472, 1910, also separately published at B. G. Teubner, Leipzig 1911.
  13. The difference of the geometries in x, y, z, l- and x, y, z, u space is basically as follows: In the first we have to do with Euclidean geometry, yet it includes an imaginary coordinate; in the latter the coordinates are real, yet geometry becomes non-Euclidean [Klein]. To the imaginary Euclidean rotation around \varphi corresponds the real non-Euclidean rotation around \psi
  14. F. Klein, Phys. Zeitschr. 12, 17, 1911. V. Variczak, Phys. Zeitschr. 11, 93, 287, 586, 1910.
  15. Of these six degrees of freedom, three are related to rotations of the spatial axis-cross x y z, so that only three remain for the passage from a valid system to another one.
This is a translation and has a separate copyright status from the original text. The license for the translation applies to this edition only.
Original:
This work is in the public domain in the United States because it was published before January 1, 1923.

The author died in 1960, so this work is also in the public domain in countries and areas where the copyright term is the author's life plus 50 years or less. This work may also be in the public domain in countries and areas with longer native copyright terms that apply the rule of the shorter term to foreign works.

 
Translation:
This work is released under the Creative Commons Attribution-ShareAlike 3.0 Unported license, which allows free use, distribution, and creation of derivatives, so long as the license is unchanged and clearly noted, and the original author is attributed.