Required math: calculus, hyperbolic functions
Required physics: relativity basics
We’ve seen in an earlier post that the invariance of the space-time interval in relativity means that we can use invariant hyperbolas to calibrate the axes of various observers. The use of hyperbolas, and hyperbolic functions, can be extended to provide something of an analogy to rotation in Euclidean space. The Lorentz transformation in one spatial and one time dimension is
where . This matrix can also be written in the form
where and . These two quantities satisfy the identity
so using the properties of the hyperbolic functions and we can set
From these definitions, we have also
Using this definition, we can demonstrate a few properties of the Lorentz transformation using the hyperbolic identities. Our starting point is
where the relation between and is that given above: . This matrix bears a resemblance to the rotation matrix in 2-d Euclidean space:
This matrix, when applied to a 2-d Euclidean vector, rotates it by an angle about the origin. We will see that the Lorentz transformation does something similar to a spacetime vector, if we can define something akin to a hyperbolic angle.
First, if we apply two transformations in order
That is, applying two separate transformations is equivalent to applying a single transformation with the sum of the arguments of the individual transformations.
In a similar way, we can show that
The first equation states that the inverse transformation is the same as that using the negative argument. This is similar to the condition in a Euclidean rotation, where rotating by the negative angle is the inverse of rotation by . The second condition says that if this amounts to the identity transformation in which nothing is changed. The third condition shows that the transformations are commutative, and follows directly from the addition property above.
These properties are all analogous to a rotation by an angle in 2-d Euclidean space, so we can think of the argument of the hyperbolic functions as a kind of hyperbolic angle, and of the Lorentz transformation as a ‘rotation’ in this hyperbolic angle. Because tends to as and to as , the hyperbolic angle also tends to these infinite values the closer gets to . Thus hyperbolic angles aren’t periodic like Euclidean angles, so we can’t push the analogy too far.
However, some other properties are common to both types of angle. Just as the length of a Euclidean vector doesn’t change under rotation, so too is the interval between two events in spacetime invariant under a hyperbolic rotation. We showed in another post that the interval is invariant under the Lorentz transformation, and this follows somewhat more easily using hyperbolic functions. Indeed if
and if the interval in the first system is then by direct calculation, and the identity , it follows that as well.
In fact, the hyperbolic transformation preserves not only the spacetime interval, but also the distinction between past and future in the separation of events. Past and future are meaningful only for events where , since for spacelike separations with , it is possible to find frames where the events are simultaneous () so, given the continuity of the transformations between frames, there will also be some frames where the same pair of events can have and so we can’t assign a definite order to events with a spacelike separation. Only for frames where it is impossible for to be zero is it possible to define a unique order for a pair of events. In timelike frames where , event 2 always follows event 1, while with , event 2 always precedes event 1.
If we consider a pair of timelike events with , we must also have, since , . From the transformation 17, we get
We now have to consider the two cases and ( is just the identity transformation so nothing changes). If , then and, since for all , we consider the case of the most positive value the second term can have and show that this still gives a negative value for :
where we’ve used the definition of the hyperbolic functions in terms of exponentials, and the fact that the exponential function is always positive:
If , then we again consider the most positive value of the second term to get
So either way, the sign of is preserved under the transformation. A similar calculation shows that intervals with are also preserved. In that case, since , still holds, we must now choose the most negative value for the second term in each case. So for , we get