Peeter Joot's (OLD) Blog.

Math, physics, perl, and programming obscurity.

Posts Tagged ‘spacetime event’

PHY450H1S. Relativistic Electrodynamics Lecture 2 (Taught by Prof. Erich Poppitz). Spacetime, events, worldlines, proper time, invariance.

Posted by peeterjoot on January 12, 2011

[Click here for a PDF of this post with nicer formatting]


No reading from [1] appears to have been assigned, but relevant stuff can be found in chapter 1.

From Professor Poppitz’s lecture notes, we have reading: pp.12-26: spacetime, spacetime points, worldlines, interval (12-14); invariance of infinitesimal intervals (15-17); geometry of spacetime, lightlike, spacelike, timelike intervals, and worldlines (18-22); proper time (23-24); invariance of finite intervals (25-26).

Followup for questions from last lecture.

Yes we have speed of light different in media. Example, speed of light in water is 3/4 vacuum speed due to high index of refraction. Also note that we can have effects like an electron moving in water can constantly emit light. This is called Cerenkov radiation.

Einstein’s relativity principle


\item Replace Galilean transformations between coordinates in differential inertial frames with Lorentz transforms between (\mathbf{x}, t). Postulate that these constitute the symmetries of physics. Recall that Galilean transformations are symmetries of the laws of non-relativistic physics.

Comment made that the symmetries impose the dynamics, and the symmetries provided the form of the Lagrangian in classical physics. Go back and revisit this.

\item Speed of light c is the same in all inertial frames. Phrased in this form, relativity leads to “relativity of simultaneity”.

PICTURE: Three people on a platform, at positions 1,3,2, all with equidistant separation. This stationary frame is labeled O. 1 and 2 flash light signals at the same time and in frame O the reception of the light signal by 3 is observed as arriving at 3 simultaneously.

Now introduce a moving frame with origin O' moving along the positive x axis. To a stationary observer in O' the three guys are seen to be moving in the -x direction. The middle guy (3) is eventually going to be seen to receive the light signal by this O' observer, but less time is required for the light to get from 1 to 3, and more time is required for the light to get from 2 to 1 (3 is moving away from the light according to the O' observer). Because the speed of light is perceived as constant for all observers, the perception is then that the light must arrive at 3 at different times.

This is very non-intuitive since we are implicitly trained by our surroundings that Galilean transformations govern mechanical behavior.

In O, 1 and 2 send light signals simultaneously while in O' 1 sends light later than 2. The conclusion, rather surprisingly compared to intuition, is that simultaneity is relative.



We will need to develop some tools to work with these concepts in a concrete fashion. It is convenient to combine space \mathbb{R}^{3} and time \mathbb{R}^{1} into a 4d “spacetime”. In [1] this is called fictitious spacetime for reasons that are not clear. Points in this space are also called “events”, or “spacetime points”, or “world point”. The “world line” is the trajectory for a particle in spacetime.

PICTURE: \mathbb{R}^{3} represented as a plane, and t up. For every point we can plot an \mathbf{x}(t) in this combined space.

Spacetime intervals for light like behaviour.

Consider two frames, one moving along the x-axis at a (constant) rate not yet specified.

“events” have coordinates (t, \mathbf{x}) in O and (t', \mathbf{x}') in O'. Because we now have to model the mathematics without a notion of simultaneity, we must now also introduce different time coordinates t, and t' in the two frames.

Let’s imagine that at at time t_1 light is emitted at \mathbf{x}_1, and at time t_2 this light is absorbed. Our space time events are then (t_1, \mathbf{x}_1) and (t_2, \mathbf{x}_2). In the O frame, the light will go a distance c(t_2 - t_1). This same distance can also be expressed as

\begin{aligned}\sqrt{ (\mathbf{x}_1 - \mathbf{x}_2)^2}.\end{aligned} \hspace{\stretch{1}}(5.1)

These are equal. It is convenient to work without the square roots, so we write

\begin{aligned}(\mathbf{x}_1 - \mathbf{x}_2)^2 = c^2 (t_2 - t_1)^2\end{aligned} \hspace{\stretch{1}}(5.2)


\begin{aligned}c^2 (t_2 - t_1)^2 - (\mathbf{x}_1 - \mathbf{x}_2)^2 =c^2 (t_2 - t_1)^2 - (x_1 - x_2)^2- (y_1 - y_2)^2- (z_1 - z_2)^2 = 0.\end{aligned} \hspace{\stretch{1}}(5.3)

We can repeat the same argument for the primed frame. In this frame, at time t_1' light is emitted at \mathbf{x}_1', and at time t_2' this light is absorbed. Our space time events in this frame are then (t_1', \mathbf{x}_1') and (t_2', \mathbf{x}_2'). As above, in this O' frame, the light will go a distance c(t_2' - t_1'), with a similar Euclidean distance involving \mathbf{x}_1' and \mathbf{x}_2'. That is

\begin{aligned}c^2 (t_2' - t_1')^2 - (\mathbf{x}_1' - \mathbf{x}_2')^2 =c^2 (t_2' - t_1')^2 - (x_1' - x_2')^2- (y_1' - y_2')^2- (z_1' - z_2')^2 = 0.\end{aligned} \hspace{\stretch{1}}(5.4)

We get zero for this quantity in any inertial frame 1. This quantity is found to be very important, and want to give this a label. We call this the “interval”, or the “spacetime interval”, and write this as follows:

\begin{aligned}s_{12}^2 = c^2 (t_2 - t_1)^2 - (\mathbf{r}_2 - \mathbf{r}_1)^2\end{aligned} \hspace{\stretch{1}}(5.5)

This is a quantity calculated between any two spacetime points with coordinates (t_2, \mathbf{r}_2) and (t_1, \mathbf{r}_1) in some frame.

So far we have argued that c being the same in any two frames implies that spacetime events “separated by a zero interval” in one frame are “separated by a zero interval” in any other frame.

Invariance of infinitesimal intervals.

For events that are infinitesimally close to each other. i.e. t_2 - t_1 and \mathbf{r}_2 -\mathbf{r}_1 are small (infinitesimal), it is convient to denote t_2 - t_1 and \mathbf{r}_2 - \mathbf{r}_1 by dt and d\mathbf{r} respectively. We can then define

\begin{aligned}ds_{12}^2 = c^2 dt^2 - d\mathbf{r}^2,\end{aligned} \hspace{\stretch{1}}(6.6)


\begin{aligned}ds= \sqrt{c^2 dt^2 - d\mathbf{r}^2}.\end{aligned} \hspace{\stretch{1}}(6.7)

We will use this a lot.

We have learned that if s_{12} = 0 in one frame, then s_{12}' = 0 in any other frame. We generally expect that there is a relation s_{12}' = F(s_12) between the intervals in two frames. So far we have learned that F(0) = 0.

Let’s now consider the case where both of these intervals are infinitesimal. Then we can write

\begin{aligned}ds_{12}' = F(ds_{12}) = F(0) + F'(0) ds_{12} + \cdots = F'(0) ds_{12} + \cdots.\end{aligned} \hspace{\stretch{1}}(6.8)

We will neglect terms O(ds_{12})^2 and higher. Thus equality of zero intervals between two frames implies that

\begin{aligned}ds_{12}' \propto ds_{12}.\end{aligned} \hspace{\stretch{1}}(6.9)

Now we must invoke an assumption (principle) of homogeneity of time and space and isotropy of space. This interval should not depend on where these events take place, or on the time that the measurements were performed. If this is the case then we conclude that the proportionality constant relating the two intervals is not a function of position or space. We argue that this proportionality can then only be a function of the (absolute) relative speed between the frames.

We write this as

\begin{aligned}ds_{12}' = F(v_{12}) ds_{12}\end{aligned} \hspace{\stretch{1}}(6.10)

This argument can be turned around and we say that ds_{12} = \tilde{F}(v_{12}) ds_{12}'. Thus \tilde{F} = F, because there is no distinction between O and O'. We want to conclude that

\begin{aligned}ds_{12} = F(v_{12}) ds_{12}' = F(v_{12}) \tilde{F}(v_{12}) ds_{12}\end{aligned} \hspace{\stretch{1}}(6.11)

and then conclude that F = \tilde{F} = 1. This argument is to be continued. To complete this conclusion we will need to perform some additional math, once we cover finite intervals.


[1] L.D. Landau and E.M. Lifshits. The classical theory of fields. Butterworth-Heinemann, 1980.

Posted in Math and Physics Learning. | Tagged: , , , , , , | 1 Comment »