next up previous
Next: Summaryetc. Up: Lorentz Transformation Previous: Introduction

Derivations

As we will be interested in motion in one direction, say X direction, we can forget that our spacetime is 4-dimensional and consider only two dimensions: one spatial dimension and one time dimension. The simplest two-dimensional space-time is a two-dimensional Euclidean space tex2html_wrap_inline623 , so that a given observer can parametrize it with two real numbers, saying what is the time tex2html_wrap_inline625 and position tex2html_wrap_inline627 of a given instance in his reference frame. Another observer will, in general, assign a different pair of numbers to the same instance, say tex2html_wrap_inline629 and tex2html_wrap_inline631 . For each observer, however, the assignment of a pair of numbers to a point in spacetime is 1-1, that is for each point in spacetime there exists exactly one pair of numbers (t and x) assigned to it by a given observer, and vice versa -- a given observer can show exactly one point in spacetime corresponding to t and x observed by him. So if we have two observers, the time and space coordinates observed by one of them will be a 1-1 function of the time and space coordinates observed by the other. This can be symbolically written in the following form:

displaymath595

If we assure that the point (0,0) for the first observer corresponds to the point (0,0) for the second one [1] then the simplest nontrivial function will be the linear one, that is:

displaymath596

where tex2html_wrap_inline645 for i,j = 1,2.

The last expression written in matrix notation will take the form:

  equation24

The aim is to find specific form of the matrix entries tex2html_wrap_inline649 as functions of v. The physical assumption is that the numbers tex2html_wrap_inline649 depend only on the relative velocity of the observers, and if the velocity is 0 they constitute a unit matrix, i.e. if the observers do not move with respect to each other, they label the spacetime in the same way. Moreover, it is reasonable to assume that if the observer A perceives B moving at the velocity v then B perceives A moving at the velocity -v. Additionally we assume that space is isotropic, that is if both observers switch the space labeling, i.e. tex2html_wrap_inline659 and tex2html_wrap_inline661 , the matrix tex2html_wrap_inline649 does not change. Obviously, the velocity perceived by each of observers will change to the opposite; that is we have:

displaymath597

which gives us

displaymath598

If we compare the last expression with the formula (2.1), we can conclude that

  eqnarray71

To compute the velocity of the first observer with respect to the second one we take

displaymath599

then, as the reader can convince himself looking at the figure 1, the velocity of the first observer with respect to the second one will be tex2html_wrap_inline665 , which, since

displaymath600

is

  equation107

  figure113
Figure 1: This figure shows how to compute the velocity of the first observer tex2html_wrap_inline585 with respect to the second one tex2html_wrap_inline587 . We have to take two different points corresponding to the same position for the first observer (we have chosen (0,0) and (1,0)), and then compute tex2html_wrap_inline589 which is tex2html_wrap_inline591 as we start from (0,0). 

To compute the velocity of the second observer with respect to the first one ( tex2html_wrap_inline683 ) in terms of matrix elements tex2html_wrap_inline649 , we take the inverse of the relation (2.1):

  equation167

Substituting

displaymath601

to (2.4) we get

displaymath602

which, by the same argument as before, gives us

  equation208

As tex2html_wrap_inline687 , we get by (2.3) and (2.5)

displaymath603

which leads to

displaymath604

By (2.3), tex2html_wrap_inline689 gives v=0. In this case tex2html_wrap_inline649 becomes a unit matrix. When the observers move at nonzero velocity w.r. to each other tex2html_wrap_inline695 , so

  equation233

If we define tex2html_wrap_inline697 and tex2html_wrap_inline699 , then using (2.5), (2.6) and tex2html_wrap_inline701 we can rewrite (2.1) as:

  equation244

So far we have reduced the problem of finding 4 functions tex2html_wrap_inline703 , to the problem of finding two functions a(v) and b(v). To proceed further, consider a third observer, who moves with respect to the first one at the velocity v'. He will also move with respect to the second observer. Let tex2html_wrap_inline711 . As the relation (2.7) is true for any pair of observers we can write:

  equation265

and

eqnarray279

The last expression, after multiplication of matrices, yields:

  equation305

The expressions (2.8) and (2.9) represent the same transformation, therefore the matrix entries have to be the same. In particular if we compare diagonal elements, we get

eqnarray327

which gives us

displaymath605

or [2]

  equation334

What we have in (2.10), is that the quantity

  equation342

is the same for any v, as in (2.10) v and v'' are arbitrary. That is tex2html_wrap_inline719 , independent on velocity. This is a fundamental constant, that has to be determined experimentally.

Thus, we can write b(v) as tex2html_wrap_inline723 . Then (2.7) becomes:

  equation350

and the only function that remains to be established is a(v). To find the form of a(v), we observe, that if the third observer moves with respect to the second one at the velocity -v, where v is the velocity at which the second observer moves with respect to the first one, then the third observer is at rest with respect to the first one. That is, by (2.9) and (2.11)

  eqnarray364

Using (2.2) we can write (2.13) in the form:

displaymath606

As the last expression has to be true for any tex2html_wrap_inline625 and tex2html_wrap_inline627 , we find that

displaymath607

Apparently we have two choices for a: tex2html_wrap_inline739 . However, to be consistent with the case when v=0, where tex2html_wrap_inline649 becomes a unit matrix, we are bound to take the + sign,

  equation408

So finally the transformation becomes:

  equation413

Or

eqnarray427

If tex2html_wrap_inline747 we can write tex2html_wrap_inline749 , where c is a real number, that has a dimension of velocity; (2.15) takes then the form of the famous Lorentz transformation, where the constant c is now interpreted as a speed of light, or the upper limit of speed of an observer perceived by another one. For tex2html_wrap_inline755 we recover Galilean transformation. When tex2html_wrap_inline757 we get the so called elliptical rotation; if we rescale the time coordinate to make tex2html_wrap_inline759 , and then substitute tex2html_wrap_inline761 the transformation (2.15) becomes a simple rotation by an angle tex2html_wrap_inline763 in the T,X plane.


next up previous
Next: Summaryetc. Up: Lorentz Transformation Previous: Introduction

Janusz Murakowski
Fri Feb 28 11:30:55 EST 1997