Lorentz transformation
From Free net encyclopedia
A Lorentz transformation (LT) is a linear transformation that preserves the spacetime interval between any two events in Minkowski space, while leaving the origin fixed (=rotation of Minkowski space). The transformation describes how space and time coordinates are related as measured by observers in different inertial reference frames. Poincaré (1905) named them after the Dutch physicist and mathematician Hendrik Lorentz (1853-1928). They form the mathematical basis for Albert Einstein's theory of special relativity. The Lorentz transformations remove contradictions between the theories of electromagnetism and classical mechanics. They were derived by Larmor (1897) and Lorentz (1899, 1904). In 1905 Einstein derived them under the assumptions of Lorentz covariance and the constancy of the speed of light in any inertial reference frame.
Contents |
Details
In a given coordinate system <math>(x^a)</math>, the spacetime interval between two events <math>A</math> and <math>B</math> with coordinates <math>(t_1, x_1, y_1, z_1)</math> and (<math>t_2, x_2, y_2, z_2)</math> respectively is given by:
- <math>s^2 \,= - c^2(t_2 - t_1)^2 + (x_2 - x_1)^2 + (y_2 - y_1)^2 + (z_2 - z_1)^2 </math>
and is an invariant.:
- <math>x^a x_a \, = x'^a x'_a</math>
i.e.,
<math>\eta_{ab}'x'^ax'^b \, = \eta_{cd} x^c x^d</math>
where <math>\eta_{ab}</math> is the Minkowski metric
- <math>\eta_{\mu\nu}=
\begin{bmatrix} -1&0&0&0\\ 0&1&0&0\\ 0&0&1&0\\ 0&0&0&1 \end{bmatrix}</math>
and the Einstein summation convention is being used. From this relation follows the linearity of the coordinate transformation:
- <math>x'^a \, = \Lambda ^a{}_b x^b + C^a</math>
where <math>C^a</math> and <math>\, \Lambda ^a{}_b</math> satisfy:
- <math>\Lambda^a{}_b \eta _{ac} \Lambda^c {}_d \,= \eta _{bd}</math>
- <math>C^a \eta_{ac} \Lambda ^c{}_b \, = 0</math>
- <math> \eta_{ab} C^a C^b \, = 0</math>
Such a transformation is called a Poincaré transformation. The <math>C^a</math> represents a space-time translation; when <math>C^a \, = 0</math>, the transformation is a Lorentz transformation.
Taking the determinant of the first equation gives
<math>\det (\Lambda ^a{}_b) \, = \pm 1</math>
Lorentz transformations with <math>\det (\Lambda ^a{}_b) \, = + 1</math> are called proper Lorentz transformations and consist of spatial rotations and boosts. Those with <math>\det (\Lambda ^a{}_b) \, = - 1</math> are called improper Lorentz transformations and consist of (discrete) space and time reflections.
A quantity invariant under Lorentz transformations is known as a Lorentz scalar.
Lorentz transformation for frames in standard configuration
Given two observers <math>S_1</math> and <math>S_2</math>, each using a Cartesian coordinate system to measure space and time intervals, <math>\, (t_1, x_1, y_1, z_1)</math> and <math>\, (t_2, x_2, y_2, z_2)</math>, assume that the coordinate systems are oriented so that the relative velocity of <math>S_1</math> and <math>S_2</math> is v along the common <math>x_1</math>-<math>x_2</math> axis with parallel (but not common) <math>y_2</math> and <math>y_1</math> axes (same for the <math>z_2</math> and <math>z_1</math> axes). Also, assume that their origins meet at the common time <math>t_1</math>=<math>t_2</math>=0. Then the frames are said to be in standard configuration (SC). The Lorentz transformation for frames in SC can be shown to be:
- <math>t_1 = \gamma (t_2 - \frac{v x_2}{c^{2}})</math>
- <math>x_1 = \gamma (x_2 - v t_2) \,</math>
- <math>y_1 = y_2 \,</math>
- <math>z_1 = z_2 \,</math>
- where
- <math>x_1</math> is the x component (in <math>S_1</math>) of the position of a point (or object) stationary relative to observer <math>S_1</math>,
- <math>x_2</math> is the x component (in <math>S_2</math>) of the position of the same point (or object) that is stationary relative to observer <math>S_1</math> (moving with respect to <math>S_2</math>),
- <math>t_1</math> is the time since time zero (in <math>S_1</math>) of observer <math>S_1</math>,
- <math>t_2</math> is the time since time zero (in <math>S_1</math>) of observer <math>S_2</math> (as seen by observer <math>S_1</math>),
- <math>y_1</math> and <math>y_2</math> are both the y component of the position of a point in both reference frames (same with <math>z_1</math> and <math>z_2</math>),
- <math>\gamma \equiv \frac{1}{\sqrt{1 - v^2/c^2}}</math> is called the Lorentz factor,
- <math>c</math> is the speed of light in a vacuum, and
- <math>v</math> is the relative velocity between the two observers.
- where
This Lorentz transformation is called a boost in the x-direction and is often expressed in matrix form as
- <math>
\begin{bmatrix} c t_1 \\x_1 \\y_1 \\z_1 \end{bmatrix} = \begin{bmatrix} \gamma&-\frac{v}{c} \gamma&0&0\\ -\frac{v}{c} \gamma&\gamma&0&0\\ 0&0&1&0\\ 0&0&0&1\\ \end{bmatrix} \begin{bmatrix} c t_2\\x_2\\y_2\\z_2 \end{bmatrix}. </math>
where the coordinate <math>t_2</math> is replaced by <math>ct_2</math> (and similarly for <math>t_1</math>).
The Lorentz transformations in SC may be cast into a more useful form by introducing a parameter <math>\phi</math> called the rapidity or hyperbolic parameter through the equation:
- <math>e^{\phi} \equiv \gamma \left( 1 + \frac{v}{c} \right)</math>
The Lorentz transformations in SC are then:
- <math>c t_1-x_1 \, = e^{\phi}(c t_2 - x_2)</math>
- <math>c t_1+x_1 \, = e^{- \phi}(c t_2 + x_2)</math>
- <math>y_1 \, = y_2</math>
- <math>z_1 \, = z_2</math>
General boosts
For a boost in an arbitrary direction with velocity <math>\vec{v}</math>, it is convenient to decompose the spatial vector <math>\vec{r}</math> into components perpendicular and parallel to the velocity <math>\vec{v}</math>: <math>\vec{r}=\vec{r}_\perp+\vec{r}_\|</math>. Then only the component <math>\vec{r}_\|</math> in the direction of <math>\vec{v}</math> is 'warped' by the gamma factor:
- <math>t' = \gamma \left(t - \frac{\vec{r} \cdot \vec{v}}{c^{2}} \right)</math>
- <math>\vec{r'} = \vec{r}_\perp + \gamma (\vec{r}_\| - \vec{v} t)</math>
where now <math>\gamma \equiv \frac{1}{\sqrt{1 - \vec{v} \cdot \vec{v}/c^2}}</math>. The second of these can be written as:
- <math>\vec{r'} = \vec{r} + \left(\frac{\gamma -1}{v^2} (\vec{r} \cdot \vec{v}) - \gamma t \right) \vec{v}</math>
These equations can be expressed in matrix form as
- <math>
\begin{bmatrix} c t' \\ \vec{r'} \end{bmatrix} = \begin{bmatrix} \gamma&-\frac{\vec{v^T}}{c}\gamma\\ -\frac{\vec{v}}{c}\gamma&I+\frac{\vec{v} \cdot \vec{v}^T}{v^2}(\gamma-1)\\ \end{bmatrix} \begin{bmatrix} c t\\\vec{r} \end{bmatrix} </math>, where <math>I</math> is the identity matrix.
Lorentz and Poincaré groups
The composition of two Lorentz transformations is a Lorentz transformation and the set of all Lorentz transformations with the operation of composition forms a group called the Lorentz group.
Under the Erlangen program, Minkowski space can be viewed as the geometry defined by the Poincaré group, which combines Lorentz transformations with translations.
Special relativity
One of the most astounding predictions of special relativity was the idea that time is relative. More precisely, each observer carries their own personal clock and time flows different for different observers. This was a direct prediction from the Lorentz transformations and is called time dilation. Time dilation was also used to prove that simultaneity varies between reference frames.
Lorentz transformations can also be used to prove that magnetic and electric fields are the same force. The reason they are interpreted differently is due to Lorentz transformations done on the charges moving relative to the observer. Changing reference frames shows that an electric field will look like both a magnetic and electric field to a moving observer. There also exist frames in which a magnetic and electric field can be observed as a single magnetic, or electric field.
The correspondence principle
For relative speeds much less than the speed of light, the Lorentz transformations reduce to the Galilean transformation in accordance with the correspondence principle. The correspondence limit is usually stated mathematically as <math>v \rightarrow 0</math>.
History
The transformations were first discovered and published by Joseph Larmor in 1897, although Woldemar Voigt had published a slightly different version of them in 1887, for which he showed that Maxwell's equations were invariant. In 1905, Henri Poincaré named them after the Dutch physicist and mathematician Hendrik Antoon Lorentz (1853-1928) who had published a first order version of these transformations in the 1890s and the final version in 1899 and 1904. The development of these transformations was encouraged by the null result of the Michelson-Morley experiment.
The Lorentz transformations were published in 1897 and 1900 by Joseph Larmor and by Hendrik Lorentz in 1899 and 1904. Voigt (1887) had published a form of the equations
- <math> t' = t - vx/c^2, \;\;x' = x - vt, \;\; y' = {y}/ {\gamma},\;\; z' ={z}/ {\gamma}</math>
which incorporated relativity of simultaneity ("local time") and time dilation. For Voigt, clocks ran slower by the factor <math>\gamma ^2</math> which is greater than the now accepted value of <math>\gamma</math> predicted by Larmor (1897). Note that Voigt equations have a length expansion in the transverse direction. Voigt derived these transformations as those which would make the speed of light the same in all reference frames. Lorentz believed Voigt's transformations were equivalent to his (apparently not seeing the significance of the different time dilation) and wrote
- "In a paper which to my regret has escaped my notice all these years, Voigt has applied a transformation equivalent to [the Lorentz treansformation]. The idea of the transformations used above might therefore have been borrowed form Voigt and the proof that it does not alter the form of the equations for the free ether is contained in his paper" (Lorentz 1913)
In a similar vein, Larmor and Lorentz, who believed the luminiferous aether hypothesis, were seeking the transformations under which Maxwell's equations were invariant when transformed from the ether to a moving frame.
Henri Poincaré in 1900 attributed the invention of local time to Lorentz and showed how Lorentz's first version of it (which applies to invariant clock rates) arose when clocks were sychronised by exchanging light signals which were assumed to travel at the same speed against and with the motion of the reference frame (see relativity of simultaneity).
Larmor's (1897) and Lorentz's (1899, 1904) final equations were not in the modern notation and form, but were algebraically equivalent to those published (1905) by Henri Poincaré, the French mathematician, who revised the form to make the four equations into the coherent, self-consistent whole we know today. Both Larmor and Lorentz discovered that the transformation preserved Maxwell's equations. Paul Langevin (1911) said of the transformation
- "It is the great merit of H. A. Lorentz to have seen that the fundamental equations of electromagnetism admit a group of transformations which enables them to have the same form when one passes from one frame of reference to another; this new transformation has the most profound implications for the transformations of space and time".
See also
- Carroll group
- Electromagnetic field
- Galilean transformation
- Principle of relativity
- Special relativity
External links
- Nothing but Relativity There are many ways to derive the Lorentz transformation without invoking Einstein's constancy of light postulate. The path preferred in this paper restates a simple, established approach.
- The Paradox of Special Relativity. This webpage poses a problem, the solution of which is the Lorentz transformation, which is presented graphically in its next page.
- "A note on relativity before Einstein", Brit. Journal Philos. Science, 37, 232-34 (1986). A brief discussion of the work of Voigt, Larmor and Lorentz.
- Warp Special Relativity Simulator. A computer program demonstrating the Lorentz transformations on everyday objects.
- A history of special relativity, including a discussion of the independent derivations of the Lorentz transformations by Voigt and Larmor.
References
- Template:Cite web
- Ernst, A.and Hsu, J.-P. (2001) “First proposal of the universal speed of light by Voigt 1887”, Chinese Journal of Physics, 39(3), 211-230.
- Langevin, P. (1911) "L'évolution of l'espace et du temps", Scientia, X, 31-54
- Larmor, J. (1897) "Dynamical Theory of the Electric and Luminiferous Medium" Philosophical Transactions of the Royal Society, 190, 205-300.
- Larmor, J. (1900) Aether and Matter, Cambridge University Press
- Lorentz, H. A. (1899) "Simplified theory of electrical and optical phenomena in moving systems", Proc. Acad. Science Amsterdam, I, 427-43.
- Lorentz, H. A. (1904) "Electromagnetic phenomena in a system moving with any velocity less than that of light", Proc. Acad. Science Amsterdam, IV, 669-78.
- Lorentz, H. A. (1913) The theory of electrons (book)
- Poincaré, H. (1905) "Sur la dynamique de l'électron", Comptes Rendues, 140, 1504-08.
- Voigt, W. (1887) "Über das Doppler'sche princip" Nachrichten von der Königlicher Gesellschaft den Wissenschaft zu Göttingen, 2, 41-51.
- Thornton, S., Marion, J., (2004) Classical Dynamics of Particles and Systems Fifth Edition, Thomson Learning, 546-579.ca:Transformació de Lorentz
cs:Lorentzovy transformace da:Lorentz-transformation de:Lorentz-Transformation el:Μετασχηματισμοί Λόρεντζ es:Transformación de Lorentz fr:Transformation de Lorentz gl:Transformación de Lorentz ko:로렌츠 변환 it:Trasformazione di Lorentz he:טרנספורמציות לורנץ nl:Lorentztransformatie ja:ローレンツ変換 pl:Transformacja Lorentza pt:Transformação de Lorentz ru:Преобразования Лоренца sk:Lorentzova transformácia sv:Lorentztransformation zh:洛仑兹变换