Showing that Lorentz transformations are the only ones possible


by bob900
Tags: lorentz, showing, transformations
bob900
bob900 is offline
#1
Nov12-12, 01:27 PM
P: 40
In a book ("The special theory of relativity by David Bohm") that I'm reading, it says that if (x,y,z,t) are coordinates in frame A, and (x',y',z',t') are coordinates in frame B moving with v in realtion to A, if we have (for a spherical wavefront)

[itex]c^2t^2 - x^2 - y^2 - z^2 = 0[/itex]

and we require that in frame B,

[itex]c^2t'^2 - x'^2 - y'^2 - z'^2 = 0[/itex]

then it can be shown that the only possible transformations (x,y,z,t) -> (x',y',z',t') which leave the above relationship invariant are the Lorentz transformations (aside from rotations and reflections).

I'm wondering how exactly can this be shown?
Phys.Org News Partner Science news on Phys.org
Internet co-creator Cerf debunks 'myth' that US runs it
Astronomical forensics uncover planetary disks in Hubble archive
Solar-powered two-seat Sunseeker airplane has progress report
dextercioby
dextercioby is offline
#2
Nov12-12, 02:28 PM
Sci Advisor
HW Helper
P: 11,866
To show it for a general Lorentz-Herglotz transformation is really difficult, you should only consider a (lorentzian) boost along Ox, for example, i.e. equal y to 0 and z to 0.

You should consider then x(x',t') and t(x',t') to be linear functions. Place some unknown coefficients and then determine them from physical assumptions.
Mentz114
Mentz114 is offline
#3
Nov12-12, 02:42 PM
PF Gold
P: 4,081
Any transformation of the form
[tex]\left[
\begin{matrix} a & \sqrt{a^2-1}\\
\sqrt{a^2-1} & a
\end{matrix} \right] \left[ \begin{matrix}dt\\
dx
\end{matrix} \right] = \left[ \begin{matrix}dt'\\
dx'
\end{matrix} \right]
[/tex]
will preserve -dt'2 + dx'2 = -dt2 + dx2. More restraints than preserving the interval are needed.

bob900
bob900 is offline
#4
Nov12-12, 03:29 PM
P: 40

Showing that Lorentz transformations are the only ones possible


Quote Quote by Mentz114 View Post
Any transformation of the form
[tex]\left[
\begin{matrix} a & \sqrt{a^2-1}\\
\sqrt{a^2-1} & a
\end{matrix} \right] \left[ \begin{matrix}dt\\
dx
\end{matrix} \right] = \left[ \begin{matrix}dt'\\
dx'
\end{matrix} \right]
[/tex]
will preserve -dt'2 + dx'2 = -dt2 + dx2. More restraints than preserving the interval are needed.
Why wouldn't something as simple as :

[itex]x' = x - k[/itex]

[itex]t' = \sqrt{t^2-2kx+k^2}[/itex]

work (where k is some constant)?

Seems like that, and any other similarly arbitrary transformation could work...
dextercioby
dextercioby is offline
#5
Nov12-12, 04:06 PM
Sci Advisor
HW Helper
P: 11,866
Quote Quote by Mentz114 View Post
[...]. More restraints than preserving the interval are needed.
Preserving the interval will ensure linearity of the transformations and only that.
Mentz114
Mentz114 is offline
#6
Nov12-12, 05:12 PM
PF Gold
P: 4,081
Quote Quote by dextercioby View Post
Preserving the interval will ensure linearity of the transformations and only that.
Yes.
Taking the Taylor expansion of the matrix and dropping terms of order a2 or greater gives the generator, I think. Exponentiating this gives a = cosh(something) but no idea what 'something' is. That's probably an illicit fudge, in any case.
bob900
bob900 is offline
#7
Nov12-12, 06:38 PM
P: 40
Quote Quote by dextercioby View Post
To show it for a general Lorentz-Herglotz transformation is really difficult, you should only consider a (lorentzian) boost along Ox, for example, i.e. equal y to 0 and z to 0.
So if given just the following pieces of information :

1. [itex]c^2 t^2 - x^2 - y^2 - z^2 = 0[/itex]
2. [itex] c^2 t'^2 - x'^2 - y'^2 - z'^2 = 0 [/itex]

is it "difficult" or actually impossible to show that the Lorentz transformation is the only possibility (aside from rotation [itex]x^2+y^2+z^2=x'^2+y'^2+z'^2[/itex] and t=t', and reflection x=-x', t=-t', etc.)?

You should consider then x(x',t') and t(x',t') to be linear functions. Place some unknown coefficients and then determine them from physical assumptions.
That I know how to do - what I'm trying to see is if the book is wrong in saying that you only need 1 and 2 above. Here's a quote from the book :
The question then naturally arises as to whether there are any other transformations that leave the speed of light invariant. The answer is that if we make the physically reasonable requirement that the transformation possesses no singular points (so that it is everywhere regular and continuous) then it can be shown that the Lorentz transformations plus rotations plus reflections are the only ones that are possible.
Fredrik
Fredrik is offline
#8
Nov12-12, 08:01 PM
Emeritus
Sci Advisor
PF Gold
Fredrik's Avatar
P: 9,018
I will use units such that c=1. I will also use the definition
$$\eta=\begin{pmatrix}-1 & 0 & 0 & 0\\ 0 & 1 & 0 & 0\\ 0 & 0 & 1 & 0\\ 0 & 0 & 0 & 1\end{pmatrix},$$ because I'm more used to this sign convention than the other one. The Minkowski form (pseudo-inner product) on ##\mathbb R^4## is defined by ##g(x,x)=x^T\eta x## for all ##x\in\mathbb R^4##. Define ##P=\{x\in\mathbb R^4|g(x,x)=0\}##. The OP is asking us to prove the following statement:
If ##g(\Lambda(x),\Lambda(x))=g(x,x)## for all ##x\in P##, then ##\Lambda## is a Lorentz transformation.
I don't know how to do that. I don't even know if it's possible. But I can prove a similar theorem that starts with a stronger assumption:
If ##\Lambda## is linear and ##g(\Lambda x,\Lambda x)=g(x,x)## for all ##x\in\mathbb R^4##, then ##\Lambda## is a Lorentz transformation.
Proof: Suppose that ##\Lambda## is linear and that ##g(\Lambda x,\Lambda x)=g(x,x)## for all ##x\in\mathbb R^4##. Let ##y,z\in\mathbb R^4## be arbitrary. We have $$g(\Lambda(y-z),\Lambda(y-z))=g(y-z,y-z).$$ If we expand this using the linearity of ##\Lambda## and the bilinearity of g, and use that ##g(\Lambda x,\Lambda x)=g(x,x)## for all ##x\in\mathbb R^4##, we see that ##g(\Lambda y,\Lambda z)=g(y,z)##. Since y,z are arbitrary, this means that we have proved the following statement: For all ##x,y\in\mathbb R^4##, ##g(\Lambda x,\Lambda y)=g(x,y)##. Now let ##x,y\in\mathbb R^4## be arbitrary. We have $$x^T\eta y=g(x,y)=g(\Lambda x,\Lambda y)=x^T\Lambda^T\eta\Lambda y.$$ Let ##\{e_\mu\}_{\mu=0}^3## be the standard basis for ##\mathbb R^4##. I will use the notation ##M_{\mu\nu}## for the component on row ##\mu##, column ##\nu##, of a matrix ##M##. For all ##\mu,\nu\in\{0,1,2,3\}##, we have
$$\eta_{\mu\nu}=e_\mu{}^T\eta e_\nu=e_\mu{}^T\Lambda^T\eta\Lambda e_\nu=(\Lambda^T\eta\Lambda)_{\mu\nu}.$$ So ##\Lambda^T\eta\Lambda=\eta##, and this means that ##\Lambda## is a Lorentz transformation.

(The definition of "Lorentz transformation" goes like this: A linear ##\Lambda:\mathbb R^4\to\mathbb R^4## is said to be a Lorentz transformation if ##\Lambda^T\eta\Lambda=\eta##).
Fredrik
Fredrik is offline
#9
Nov12-12, 08:22 PM
Emeritus
Sci Advisor
PF Gold
Fredrik's Avatar
P: 9,018
Hm, it looks like I can also prove the following variant:
If ##\Lambda## is surjective, and ##g(\Lambda(x),\Lambda(y))=g(x,y)## for all ##x,y\in\mathbb R^4##, then ##\Lambda## is a Lorentz transformation.
With these assumptions, I can prove linearity by messing around with the expression
$$g(x,ay+bz)=g(\Lambda(x),\Lambda(ay+bz)).$$
bcrowell
bcrowell is offline
#10
Nov12-12, 08:53 PM
Emeritus
Sci Advisor
PF Gold
bcrowell's Avatar
P: 5,500
Quote Quote by Mentz114 View Post
Any transformation of the form
[tex]\left[
\begin{matrix} a & \sqrt{a^2-1}\\
\sqrt{a^2-1} & a
\end{matrix} \right] \left[ \begin{matrix}dt\\
dx
\end{matrix} \right] = \left[ \begin{matrix}dt'\\
dx'
\end{matrix} \right]
[/tex]
will preserve -dt'2 + dx'2 = -dt2 + dx2. More restraints than preserving the interval are needed.
Your a is just [itex]\gamma[/itex]. I don't think there is any additional constraint needed, other than that the transformations should take the t axis to a line x=vt for some real v, and also not flip the orientation of the positive t axis. (These criteria rule out a<1).
strangerep
strangerep is offline
#11
Nov12-12, 09:05 PM
Sci Advisor
P: 1,732
Quote Quote by bob900 View Post
So if given just the following pieces of information :

1. [itex]c^2 t^2 - x^2 - y^2 - z^2 = 0[/itex]
2. [itex] c^2 t'^2 - x'^2 - y'^2 - z'^2 = 0 [/itex]

is it "difficult" or actually impossible to show that the Lorentz transformation is the only possibility (aside from rotation [itex]x^2+y^2+z^2=x'^2+y'^2+z'^2[/itex] and t=t', and reflection x=-x', t=-t', etc.)?
Lorentz transformations are not the only possibility. The most general transformations of this kind are the conformal transformations. There's an older thread over in the tutorials forum which derives them, but from the point of view of finding transformations that leave the metric invariant up to a scale factor.

Alternatively, it is possible to find the conformal transformations by direct solution of the differential equations defining the transformation. The (messy, difficult) details can be found in Appendix A of this older text:

V. Fock, N. Kemmer (translator),
The theory of space, time and gravitation.
2nd revised edition. Pergamon Press, Oxford, London, New York, Paris (1964).

You might be able to access a copy at Library Genesis. ;-)

Fock also shows that if you assume only the relativity principle (equivalence of inertial observers) then the most general transformations are of linear-fractional form -- which are not the same as conformal transformations since the latter involve a quadratic denominator in general. But if we add the light principle (which is what you used above), then the "intersection" between linear-fractional and conformal transformations is indeed the Lorentz transformations.

Regarding what the book said about requiring that the transformations be well behaved everywhere: although the more general transformations fail to be nonsingular in general everywhere, there have been recent attempts to use them to construct foundations that might account for the success of the Lambda-CDM model in cosmology -- the singular part of the transformation only occurs at the radius of the universe. But this is probably a subject for the BTSM forum.
bob900
bob900 is offline
#12
Nov13-12, 12:30 AM
P: 40
Quote Quote by Fredrik View Post
So ##\Lambda^T\eta\Lambda=\eta##, and this means that ##\Lambda## is a Lorentz transformation.

(The definition of "Lorentz transformation" goes like this: A linear ##\Lambda:\mathbb R^4\to\mathbb R^4## is said to be a Lorentz transformation if ##\Lambda^T\eta\Lambda=\eta##).
But how is this definition of the Lorentz transformation equivalent to the "standard" definition:

[itex]x' = \frac{x-vt}{\sqrt{1-v^2}}[/itex], [itex]t' = \frac{t-vx}{\sqrt{1-v^2}}[/itex], [itex]y'=y[/itex], [itex]z'=z[/itex]



?
Mentz114
Mentz114 is offline
#13
Nov13-12, 06:05 AM
PF Gold
P: 4,081
Quote Quote by bcrowell View Post
Your a is just [itex]\gamma[/itex]. I don't think there is any additional constraint needed, other than that the transformations should take the t axis to a line x=vt for some real v, and also not flip the orientation of the positive t axis. (These criteria rule out a<1).
No, a is not [itex]\gamma[/itex]. It can be anything you like. The values a < 1 are ruled out because we want a real result. This transformation keeps the interval invariant. It's still a long way short of the LT.

Frederik's calculation shows it's not trivial to get the LT from a few assumptions.
Fredrik
Fredrik is offline
#14
Nov13-12, 08:17 AM
Emeritus
Sci Advisor
PF Gold
Fredrik's Avatar
P: 9,018
Quote Quote by bob900 View Post
But how is this definition of the Lorentz transformation equivalent to the "standard" definition:

[itex]x' = \frac{x-vt}{\sqrt{1-v^2}}[/itex], [itex]t' = \frac{t-vx}{\sqrt{1-v^2}}[/itex], [itex]y'=y[/itex], [itex]z'=z[/itex]
This isn't the most general Lorentz transformation. This is just a boost in the x direction. A Lorentz transformation is a member of the Lorentz group, and the Lorentz group includes parity (=reversal of the spatial axes), time reversal, rotations and boosts (in arbitrary directions).

Let's consider the 1+1, dimensional case. If we write
$$\Lambda=\begin{pmatrix}a & b\\ c & d\end{pmatrix},$$ we can easily see that a≠0 and that c/a=-v. To see this, first note that
$$\Lambda\begin{pmatrix}1\\ 0\end{pmatrix}=\begin{pmatrix}a\\ c\end{pmatrix}.$$ In my notation, the upper component of a 21 matrix is the time coordinate. I will refer to it as "the 0 component", and the lower component, i.e. the spatial coordinate, as "the 1 component". I will also number the rows and columns of my 22 matrices from 0 to 1. For example, the 01 component of ##\Lambda## is b. If a=0, then the result above tells us that ##\Lambda## takes the time axis of the "old" coordinate system to the spatial axis of the "new" coordinate system. This corresponds to an infinite velocity difference, because the time axis is the (coordinate representation of) the world line of an object with velocity 0, and the spatial axis is the (coordinate representation of) the world line of an object with infinite velocity. This is why we can rule out a=0. This allows us to take a outside the coordinate matrix.
$$\Lambda\begin{pmatrix}1\\ 0\end{pmatrix}=\begin{pmatrix}a\\ c\end{pmatrix} =a\begin{pmatrix}1\\ c/a\end{pmatrix}.$$ Now we can interpret c/a as -v, because we know that ##\Lambda## maps the time axis to the line
$$t\mapsto t\begin{pmatrix}1 \\ -v\end{pmatrix},$$ i.e. the line with x'=-vt'.

Now consider the effect of ##\Lambda## on two coordinate matrices ##\begin{pmatrix}t_1\\ 0\end{pmatrix}## and ##\begin{pmatrix}t_2\\ 0\end{pmatrix}## with ##t_1<t_2##.
\begin{align}
\Lambda\begin{pmatrix}t_1\\ 0\end{pmatrix} =\begin{pmatrix}at_1\\ ct_1\end{pmatrix},\qquad
\Lambda\begin{pmatrix}t_2\\ 0\end{pmatrix} =\begin{pmatrix}at_2\\ ct_2\end{pmatrix}\end{align} The 0 components of the new coordinate pairs are ##at_1## and ##at_2## respectively. If a>0, then ##t_1<t_2## implies that ##at_1<at_2##, but if a<0, then ##t_1<t_2## implies that ##at_1>at_2##. So ##\Lambda## preserves the temporal order of events on the 0 axis when a>0, and reverses them when a<0. To get the specific result you want, we need to assume that a>0. We are now dealing with an orthochronous Lorentz transformation.

A similar argument shows that ##\Lambda## preserves the order of events on the spatial axis when d>0 and reverses them when d<0. So we also assume that d>0. We are now dealing with a proper Lorentz transformation. A Lorentz transformation that's both proper and orthochronous is sometimes called a restricted Lorentz transformation.

Because of the above, we will write ##\Lambda## as
$$\Lambda=\gamma\begin{pmatrix}1 & \alpha\\ -v & \beta\end{pmatrix},$$ where ##\gamma,\beta>0##.
\begin{align}
\begin{pmatrix}-1 & 0\\ 0 & 1\end{pmatrix} &=\eta =\Lambda^T\eta\Lambda =\gamma^2\begin{pmatrix}1 & -v\\ \alpha & \beta\end{pmatrix}\begin{pmatrix}-1 & 0\\ 0 & 1\end{pmatrix}\begin{pmatrix}1 & \alpha\\ -v & \beta\end{pmatrix}\\
&=\gamma^2\begin{pmatrix}1 & -v\\ \alpha & \beta\end{pmatrix}\begin{pmatrix}-1 & -\alpha\\ -v & \beta\end{pmatrix} =\gamma^2\begin{pmatrix}-1+v^2 & -\alpha-v\beta\\ -\alpha-v\beta & -\alpha^2+\beta^2\end{pmatrix}
\end{align}
The 00 component of this equality tells us that ##-1=\gamma^2(-1+v^2)##, which implies both that |v|<1 (because ##\gamma^2>0##) and that $$\gamma=\frac{1}{\sqrt{1-v^2}}.$$ The 01 and 10 components both tell us that ##\gamma^2(-\alpha-v\beta)=0##, which implies that ##\alpha=-v\beta##. The 11 component tells us that ##\gamma^2(-\alpha^2+\beta^2)=1##. So
\begin{align}1-v^2 &=\frac{1}{\gamma^2} =-\alpha^2+\beta^2 =-\beta^2v^2+\beta^2=\beta^2(1-v^2)\\
\beta &=1\\
\alpha &= -v\beta=-v.
\end{align} So our final result for ##\Lambda## is
$$\Lambda=\frac{1}{\sqrt{1-v^2}}\begin{pmatrix}1 & -v\\ -v & 1\end{pmatrix}.$$
If you prefer to write this out as a system of equations,
$$\begin{pmatrix}t'\\ x'\end{pmatrix}=\gamma\begin{pmatrix}1 & -v\\ -v & 1\end{pmatrix}\begin{pmatrix}t\\ x\end{pmatrix}=\gamma\begin{pmatrix}t-vx\\ -vt+x\end{pmatrix}$$ \begin{align}
t' &=\gamma(t-vx)\\
x' &=\gamma(x-vt).
\end{align}
bcrowell
bcrowell is offline
#15
Nov13-12, 10:27 AM
Emeritus
Sci Advisor
PF Gold
bcrowell's Avatar
P: 5,500
Quote Quote by Mentz114 View Post
No, a is not [itex]\gamma[/itex]. It can be anything you like. The values a < 1 are ruled out because we want a real result. This transformation keeps the interval invariant. It's still a long way short of the LT.

Frederik's calculation shows it's not trivial to get the LT from a few assumptions.
No, a is not simply anything you like. It's gamma. You can tell it's gamma because of the transformation's action on the t axis, which slants it with a slope v. Fredrik's calculation is unnecessarily complicated.
Mentz114
Mentz114 is offline
#16
Nov13-12, 10:45 AM
PF Gold
P: 4,081
Quote Quote by bcrowell View Post
No, a is not simply anything you like. It's gamma. You can tell it's gamma because of the transformation's action on the t axis, which slants it with a slope v. Fredrik's calculation is unnecessarily complicated.
Even if a were 1/v (say) the proper length would be invariant. a=γ and a=cosh(R) are two special cases. I'm addressing the question whether preserving the proper interval is sufficient to get the LT - and I'm asserting it is not.
bcrowell
bcrowell is offline
#17
Nov13-12, 10:53 AM
Emeritus
Sci Advisor
PF Gold
bcrowell's Avatar
P: 5,500
Quote Quote by Mentz114 View Post
Even if a were 1/v (say) the proper length would be invariant. a=γ and a=cosh(R) are two special cases. I'm addressing the question whether preserving the proper interval is sufficient to get the LT - and I'm asserting it is not.
You can't have a be anything but gamma, because v is defined by the action of the LT on the positive t axis.

Quote Quote by Mentz114 View Post
No, a is not [itex]\gamma[/itex].The values a < 1 are ruled out because we want a real result.
Actually this only rules out [itex]-1 \lt a lt 1[/itex]. What rules out all values of a<1 is the definition of v.
Erland
Erland is offline
#18
Nov13-12, 11:08 AM
P: 304
It is always assumed that the transformation is linear (at least if the origin is mapped to the origin, otherwise affine). But what is the physical reason for this assumption?


Register to reply

Related Discussions
Lorentz transformations General Math 35
lorentz transformations Special & General Relativity 5
lorentz transformation and lorentz-einstein transformations Special & General Relativity 1
lorentz transformations Special & General Relativity 4
What exactly are Lorentz transformations? Special & General Relativity 8