### Lorentz Contraction

Template:Special relativity
In physics, **length contraction** is the phenomenon of a decrease in length measured by an observer of objects which are traveling at any non-zero velocity relative to the observer. This contraction (more formally called **Lorentz contraction** or **Lorentz–FitzGerald contraction** after Hendrik Lorentz and George FitzGerald) is usually only noticeable at a substantial fraction of the speed of light. Length contraction is only in the direction parallel to the direction in which the observed body is travelling. This effect is negligible at everyday speeds, and can be ignored for all regular purposes. Only at greater speeds does it become relevant. At a speed of 13,400,000 m/s (30 million mph, 0.0447*c*), the contracted length is 99.9% of the length at rest; at a speed of 42,300,000 m/s (95 million mph, 0.141*c*), the length is still 99%. As the magnitude of the velocity approaches the speed of light, the effect becomes dominant, as can be seen from the formula:

- $L=\backslash frac\{L\_\{0\}\}\{\backslash gamma(v)\}=L\_\{0\}\backslash sqrt\{1-v^\{2\}/c^\{2\}\}$

where

*L*_{0}is the proper length (the length of the object in its rest frame),*L*is the length observed by an observer in relative motion with respect to the object,*v*is the relative velocity between the observer and the moving object,*c*is the speed of light,

and the *Lorentz factor*, *γ(v)*, is defined as

- $\backslash gamma\; (v)\; \backslash equiv\; \backslash frac\{1\}\{\backslash sqrt\{1-v^2/c^2\}\}\; \backslash $.

In this equation it is assumed that the object is parallel with its line of movement. For the observer in relative movement, the length of the object is measured by subtracting the simultaneously measured distances of both ends of the object. For more general conversions, see the Lorentz transformations. An observer at rest viewing an object travelling very close to the speed of light would observe the length of the object in the direction of motion as very near zero.

## Contents

## History

Length contraction was postulated by George FitzGerald (1889) and Hendrik Antoon Lorentz (1892) to explain the negative outcome of the Michelson-Morley experiment and to rescue the hypothesis of the stationary aether (Lorentz–FitzGerald contraction hypothesis).^{[1]}^{[2]}
Although both FitzGerald and Lorentz alluded to the fact that electrostatic fields in motion were deformed ("Heaviside-Ellipsoid" after Oliver Heaviside, who derived this deformation from electromagnetic theory in 1888), it was considered an ad hoc hypothesis, because at this time there was no sufficient reason to assume that intermolecular forces behave the same way as electromagnetic ones. In 1897 Joseph Larmor developed a model in which all forces are considered to be of electromagnetic origin, and length contraction appeared to be a direct consequence of this model. Yet it was shown by Henri Poincaré (1905) that electromagnetic forces alone cannot explain the electron's stability. So he had to introduce another ad hoc hypothesis: non-electric binding forces (Poincaré stresses) that ensure the electron's stability, give a dynamical explanation for length contraction, and thus hide the motion of the stationary aether.^{[3]}

Eventually, Albert Einstein (1905) was the first^{[3]} who completely removed the ad hoc character from the contraction hypothesis, by demonstrating that this contraction was not due to motion through a supposed aether, but was due to the change in the notions of space, time and simultaneity brought about by special relativity.^{[4]} Einstein's view was further elaborated by Hermann Minkowski and others, who demonstrated the geometrical meaning of all relativistic effects in spacetime.^{[5]}

## Basis in relativity

First it is necessary to carefully consider the methods for measuring the lengths of resting and moving objects.^{[6]} Here, "object" simply means a distance with endpoints that are always mutually at rest, *i.e.*, that are at rest in the same inertial frame of reference. If the relative velocity between an observer (or his measuring instruments) and the observed object is zero, then the proper length $L\_0$ of the object can simply be determined by directly superposing a measuring rod. However, if the relative velocity > 0, then one can proceed as follows: The observer installs a row of clocks that either are synchronized a) by exchanging light signals according to the Poincaré-Einstein synchronization, or b) by "slow clock transport", that is, one clock is transported along the row of clocks in the limit of vanishing transport velocity. Now, when the synchronization process is finished, the object is moved along the clock row and every clock stores the exact time when the left or the right end of the object passes by. After that, the observer only has to look after the position of a clock A that stored the time when the left end of the object was passing by, and a clock B at which the right end of the object was passing by *at the same time*. It's clear that distance AB is equal to length $L$ of the moving object.

Thus the definition of simultaneity is crucial for measuring the length of moving objects. In Newtonian mechanics, simultaneity is absolute and therefore $L$ and $L\_0$ are always equal. Yet in relativity theory the constancy of light velocity in all inertial frames in connection with the relativity of simultaneity destroys this equality. So if an observer in one frame claims to have measured the object's endpoints simultaneously, the observers in all other inertial frames will argue that the object's endpoints were *not* measured simultaneously. The deviation between the measurements in all inertial frames is given by the Lorentz transformation. As the result of this transformation (see Derivation), the proper length remains unchanged and always denotes the greatest length of an object, yet the length of the same object as measured in another inertial frame is shorter than the proper length. This contraction only occurs in the line of motion, and can be represented by the following relation (where $v$ is the relative velocity and $c$ the speed of light)

- $L=L\_\{0\}/\backslash gamma.$

For example, a train at rest in S' and a station at rest in S with relative velocity of $v\; =\; 0\{.\}8c$ are given. In S' a rod with proper length $L\_0^\{\text{'}\}=30\backslash \; \backslash mathrm\{cm\}$ is located, so its contracted length $L\text{'}$ in S is given by:

- $L=L\_\{0\}^\{\text{'}\}/\backslash gamma=18\backslash \; \backslash mathrm\{cm\}.$

Then the rod will be thrown out of the train in S' and will come to rest at the station in S. Its length has to be measured again according to the methods given above, and now the proper length $L\_0\; =\; 30\backslash \; \backslash mathrm\{cm\}$ will be measured in S (the rod has become larger in that system), while in S' the rod is in motion and therefore its length is contracted (the rod has become smaller in that system):

- $L\text{'}=L\_\{0\}/\backslash gamma=18\backslash \; \backslash mathrm\{cm\}.$

Thus, as it is required by the principle of relativity (according to which the laws of nature must assume the same form in all inertial reference frames), length contraction is symmetrical: If the rod is at rest in the train, it has its proper length in S' and its length is contracted in S. However, if the rod comes to rest relative to the station, it has its proper length in S and its length is contracted in S'.

## Derivation

### Lorentz transformation

Length contraction can be derived from the Lorentz transformation in several ways:

- $\backslash begin\{align\}$

x' & =\gamma\left(x-vt\right),\\ t' & =\gamma\left(t-vx/c^{2}\right). \end{align}

#### Moving length is known

In an inertial reference frame S, $x\_\{1\}$ and $x\_\{2\}$ shall denote the endpoints of an object in motion in this frame. There, its length $L$ was measured according to the above convention by determining the simultaneous positions of its endpoints at $t\_\{1\}=t\_\{2\}\backslash ,$. Now, the proper length of this object in S' shall be calculated by using the Lorentz transformation. Transforming the time coordinates from S into S' results in different times, but this is not problematic, as the object is at rest in S' where it does not matter when the endpoints are measured. Therefore, the transformation of the spatial coordinates suffices, which gives:^{[6]}

- $x\text{'}\_\{1\}=\backslash gamma\backslash left(x\_\{1\}-vt\_\{1\}\backslash right)\backslash quad\backslash mathrm\{and\}\backslash quad\; x\text{'}\_\{2\}=\backslash gamma\backslash left(x\_\{2\}-vt\_\{2\}\backslash right).$

Since $t\_\{1\}=t\_\{2\}\backslash ,$, and by setting $L=x\_\{2\}-x\_\{1\}\backslash ,$ and $L\_\{0\}^\{\text{'}\}=x\_\{2\}^\{\text{'}\}-x\_\{1\}^\{\text{'}\}$, it follows that

- $L\_\{0\}^\{\text{'}\}=L\backslash cdot\backslash gamma.\; \backslash qquad\; \backslash qquad\; \backslash text\{(1)\}$

Thus the contracted length as measured in S is given by

- $L=L\_\{0\}^\{\text{'}\}/\backslash gamma.\; \backslash qquad\; \backslash qquad\; \backslash text\{(2)\}$

According to the relativity principle, objects that are at rest in S have to be contracted in S' as well. By exchanging the above signs and primes symmetrically, it follows:

- $L\_\{0\}=L\text{'}\backslash cdot\backslash gamma.\; \backslash qquad\; \backslash qquad\; \backslash text\{(3)\}$

Thus the contracted length as measured in S' is given by:

- $L\text{'}=L\_\{0\}/\backslash gamma.\backslash qquad\; \backslash qquad\; \backslash text\{(4)\}$

#### Proper length is known

Conversely, if the object rests in S and its proper length is known, the simultaneity of the measurements at the object's endpoints has to be considered in another frame S', as the object constantly changes its position there. Therefore, both spatial and temporal coordinates must be transformed: ^{[7]}

- $\backslash begin\{align\}$

x_{1}^{'} & =\gamma\left(x_{1}-vt_{1}\right) & \quad\mathrm{and}\quad & & x_{2}^{'} & =\gamma\left(x_{2}-vt_{2}\right)\\ t_{1}^{'} & =\gamma\left(t_{1}-vx_{1}/c^{2}\right) & \quad\mathrm{and}\quad & & t_{2}^{'} & =\gamma\left(t_{2}-vx_{2}/c^{2}\right) \end{align}

resulting in non-simultaneous differences:

- $\backslash begin\{align\}$

\Delta x' & =\gamma L_{0}\\ \Delta t' & =\gamma vL_{0}/c^{2} \end{align}

In order to obtain the simultaneous positions of both endpoints, the distance traveled by the second endpoint with $v$ during $\backslash Delta\; t\text{'}$ must be subtracted from $\backslash Delta\; x\text{'}$:

- $\backslash begin\{align\}$

L' & =\Delta x'-v\Delta t'\\

& =\gamma L_{0}-\gamma v^{2}L_{0}/c^{2}\\ & =L_{0}/\gamma

\end{align}

So the moving length in S' is contracted. Likewise, the preceding calculation gives a symmetric result for an object at rest in S':

- $L=L^\{\text{'}\}\_\{0\}/\backslash gamma$.

### Time dilation

Length contraction can also be derived from time dilation,^{[8]} according to which the rate of a single "moving" clock (indicating its proper time $T\_0$) is lower with respect to two synchronized "resting" clocks (indicating $T$). Time dilation was experimentally confirmed multiple times, and is represented by the relation:

- $T=T\_\{0\}\backslash cdot\backslash gamma$.

Suppose a rod of proper length $L\_0$ at rest in $S$ and a clock at rest in $S\text{'}$ are moving along each other. The respective travel times of the clock between the rod's endpoints are given by $T=L\_\{0\}/v$ in $S$ and $T\text{'}\_\{0\}=L\text{'}/v$ in $S\text{'}$, thus $L\_\{0\}=Tv$ and $L\text{'}=T\text{'}\_\{0\}v$. By inserting the time dilation formula, the ratio between those lengths is:

- $\backslash frac\{L\text{'}\}\{L\_\{0\}\}=\backslash frac\{T\text{'}\_\{0\}v\}\{Tv\}=1/\backslash gamma$.

Therefore, the length measured in $S\text{'}$ is given by

- $L\text{'}=L\_\{0\}/\backslash gamma$.

So the effect that the moving clock indicates a lower travel time in $S$ due to time dilation, is interpreted in $S\text{'}$ as due to length contraction of the moving rod. Likewise, if the clock were at rest in $S$ and the rod in $S\text{'}$, the above procedure would give

- $L=L\text{'}\_\{0\}/\backslash gamma$.

## Geometrical representation

The Lorentz transformation geometrically corresponds to a rotation in four-dimensional spacetime, and it can be illustrated by a Minkowski diagram: If a rod at rest in S' is given, then its endpoints are located upon the ct' axis and the axis parallel to it. In this frame the simultaneous (parallel to the axis of x') positions of the endpoints are O and B, thus the *proper* length is given by OB. But in S the simultaneous (parallel to the axis of x) positions are O and A, thus the *contracted* length is given by OA. On the other hand, if another rod is at rest in S, then its endpoints are located upon the ct axis and the axis parallel to it. In this frame the simultaneous (parallel to the axis of x) positions of the endpoints are O and D, thus the *proper* length is given by OD. But in S' the simultaneous (parallel to the axis of x') positions are O and C, thus the *contracted* length is given by OC.

Additional geometrical considerations show, that length contraction can be regarded as a *trigonometric* phenomenon, with analogy to parallel slices through a cuboid before and after a *rotation* in **E**^{3} (see left half figure at the right). This is the Euclidean analog of *boosting* a cuboid in **E**^{1,2}. In the latter case, however, we can interpret the boosted cuboid as the *world slab* of a moving plate.

In special relativity, Poincaré transformations are a class of affine transformations which can be characterized as the transformations between alternative Cartesian coordinate charts on Minkowski spacetime corresponding to alternative states of inertial motion (and different choices of an origin). Lorentz transformations are Poincaré transformations which are linear transformations (preserve the origin). Lorentz transformations play the same role in Minkowski geometry (the Lorentz group forms the *isotropy group* of the self-isometries of the spacetime) which are played by rotations in euclidean geometry. Indeed, special relativity largely comes down to studying a kind of noneuclidean trigonometry in Minkowski spacetime, as suggested by the following table:^{[A 1]}

## Experimental verifications

**
**

Any observer co-moving with the observed object cannot measure the object's contraction, because he can judge himself and the object as at rest in the same inertial frame in accordance with the principle of relativity (as it was demonstrated by the Trouton-Rankine experiment). So Length contraction cannot be measured in the object's rest frame, but only in a frame in which the observed object is in motion. In addition, even in such a non-co-moving frame, *direct* experimental confirmations of Length contraction are hard to achieve, because at the current state of technology, objects of considerable extension cannot be accelerated to relativistic speeds. And the only objects traveling with the speed required are atomic particles, yet whose spatial extensions are too small to allow a direct measurement of contraction.

However, there are *indirect* confirmations of this effect in a non-co-moving frame:

- It was the negative result of a famous experiment, that required the introduction of length contraction: the Michelson-Morley experiment (and later also the Kennedy–Thorndike experiment). In special relativity its explanation is as follows: In its rest frame the interferometer can be regarded as at rest in accordance with the relativity principle, so the propagation time of light is the same in all directions. Although in a frame in which the interferometer is in motion, the transverse beam must traverse a longer, diagonal path with respect to the non-moving frame thus making its travel time longer, the factor by which the longitudinal beam would be delayed by taking times L/(c-v) & L/(c+v) for the forward and reverse trips respectively is even longer. Therefore, in the longitudinal direction the interferometer is supposed to be contracted, in order to restore the equality of both travel times in accordance with the negative experimental result(s). Thus the two-way speed of light remains constant and the round trip propagation time along perpendicular arms of the interferometer is independent of its motion & orientation.
- Heavy ions that are spherical when at rest should assume the form of "pancakes" or flat disks when traveling nearly at the speed of light. And in fact, the results obtained from particle collisions can only be explained, when the increased nucleon density due to length contraction is considered.
^{[9]}^{[10]}^{[11]}^{[12]} - The ionization ability of electrically charged particles with large relative velocities is higher than expected. In pre-relativistic physics the ability should decrease at high velocities, because the time in which ionizing particles in motion can interact with the electrons of other atoms or molecules is diminished. Though in relativity, the higher-than-expected ionization ability can be explained by length contraction of the Coulomb field in frames in which the ionizing particles are moving, which increases their electrical field strength normal to the line of motion.
^{[13]}^{[14]} - In free-electron lasers, relativistic electrons were injected into an undulator, so that synchrotron radiation is generated. In the proper frame of the electrons, the undulator is contracted which leads to an increased radiation frequency. Additionally, to find out the frequency as measured in the laboratory frame, one has to apply the relativistic Doppler effect. So, only with the aid of length contraction and the relativistic Doppler effect, the extremely small wavelength of undulator radiation can be explained.
^{[15]}^{[16]} - The range of action of muons at high velocities is much higher than that of slower ones. The atmosphere has its proper length in the Earth frame, while the increased muon range is explained by their longer lifetimes due to time dilation (see Time dilation of moving particles). However, in the muon frame their lifetime is unchanged, but the atmosphere is contracted so that even their small range is sufficient to reach the surface of earth.
^{[14]}

## Reality of length contraction

In 1911 Vladimir Varićak asserted that length contraction is "real" according to Lorentz, while it is "apparent or subjective" according to Einstein.^{[17]} Einstein replied:

The author unjustifiably stated a difference of Lorentz's view and that of mineconcerning the physical facts. The question as to whether length contractionreallyexists or not is misleading. It doesn't "really" exist, in so far as it doesn't exist for a comoving observer; though it "really" exists,i.e.in such a way that it could be demonstrated in principle by physical means by a non-comoving observer.^{[18]}—Albert Einstein, 1911

## Paradoxes

Due to superficial application of the contraction formula some paradoxes can occur. For examples see the Ladder paradox or Bell's spaceship paradox. However, those paradoxes can simply be solved by a correct application of relativity of simultaneity. Another famous paradox is the Ehrenfest paradox, which proves that the concept of rigid bodies is not compatible with relativity, and reduces the applicability of Born rigidity. It also shows that for a co-rotating observer the geometry is in fact non-euclidean.

## Visual effects

Length contraction refers to measurements of position made at simultaneous times according to a coordinate system. This could naively lead to a thinking that if one could take a picture of a fast moving object, that the image would show the object contracted in the direction of motion. However, it is important to realize that such visual effects are completely different measurements, as such a photograph is taken from a distance, while length contraction can only directly be measured at the exact location of the object's endpoints. In 1959 Roger Penrose and James Terrell published papers demonstrating that length contraction instead actually shows up as elongation or even a rotation in a photographic image.^{[19]}^{[20]}^{[21]} This kind of visual rotation effect is called Penrose-Terrell rotation.^{[22]}

## Notes

## References

Template:Relativity