Peeter Joot's (OLD) Blog.

Math, physics, perl, and programming obscurity.

PHY450H1S. Relativistic Electrodynamics Tutorial 2 (TA: Simon Freedman). Two worked problems.

Posted by peeterjoot on January 30, 2011

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

What we will discuss.

\item 4-vectors: position, velocity, acceleration
\item non-inertial observers

Problem 1.


A particle moves on the x-axis along a world line described by

\begin{aligned}ct(\sigma) &= \frac{1}{{a}} \sinh(\sigma) \\ x(\sigma) &= \frac{1}{{a}} \cosh(\sigma)\end{aligned} \hspace{\stretch{1}}(2.1)

where the dimension of the constant [a] = \frac{1}{{L}}, is inverse length, and our parameter takes any values -\infty < \sigma < \infty.

Find x^i(\tau), u^i(\tau), a^i(\tau).


Parametrize by time.

First note that we can re-parametrize x = x^1 in terms of t. That is

\begin{aligned}\cosh(\sigma)&= \sqrt{1 + \sinh^2(\sigma)}  \\ &= \sqrt{ 1 + (act)^2 }  \\ &= a \sqrt{ a^{-2} + (ct)^2 }\end{aligned}


\begin{aligned}x(t) = \sqrt{ a^{-2} + (ct)^2 }\end{aligned} \hspace{\stretch{1}}(2.3)


Squaring and rearranging, shows that our particle is moving through half of a hyperbolic arc in spacetime (two such paths are possible, one for strictly positive x and one for strictly negative).

\begin{aligned}x^2 - (ct)^2 = a^{-2}\end{aligned} \hspace{\stretch{1}}(2.4)

Observe that the asymptotes of this curve are the lightcone boundaries. Taking derivatives we have

\begin{aligned}2 x \frac{dx}{d(ct)} -2 (ct) = 0,\end{aligned} \hspace{\stretch{1}}(2.5)

and rearranging we have

\begin{aligned}\frac{dx}{d(ct)}&= \frac{c t}{x} \\ &= \frac{ct}{\sqrt{(ct)^2 + a^{-2}}} \\ &\rightarrow \pm 1\end{aligned}

Is this timelike?

Let’s compute the interval between two worldpoints. That is

\begin{aligned}s_{12}^2&= (ct(\sigma_1) - ct(\sigma_2))^2 - (x(\sigma_1) - x(\sigma_2))^2  \\ &= a^{-2} (\sinh \sigma_1 - \sinh \sigma_2)^2 - a^{-2} (\cosh\sigma_1 - \cosh\sigma_2)^2 \\ &= 2 a^{-2} \left( -1 - \sinh\sigma_1 \sinh \sigma_2 + \cosh\sigma_1 \cosh\sigma_2 \right) \\ &= 2 a^{-2} \left( \cosh( \sigma_2 - \sigma_1) -1 \right) \ge 0\end{aligned}

Yes, this is timelike. That’s what we want for a particle that is realistic moving along a worldline in spacetime. If the spacetime interval between any two points were to be negative, we would be talking about something of tachyon like hypothetical nature.

Reparametrize by proper time.

Our first task is to compute x^i(\tau). We have x^i(\sigma) so we need the relation between our proper length \tau and the worldline parameter \sigma. Such a relation is implicitly provided by the differential spacetime interval

\begin{aligned}\left(\frac{d\tau}{d\sigma}\right)^2&= \frac{1}{{c^2}} \left(\frac{ds}{d\sigma}\right)^2 \\ &= \frac{1}{{c^2}} \left(\left( \frac{d(x^0)}{d\sigma}\right)^2-\left( \frac{d(x^1)}{d\sigma}\right)^2\right) \\ &= \frac{1}{{c^2}} \left( a^{-2} \cosh^2 \sigma - a^{-2} \sinh^2 \sigma \right) \\ &= \frac{1}{{a^2 c^2}}.\end{aligned}

Taking roots we have

\begin{aligned}\frac{d\tau}{d\sigma} = \pm \frac{1}{{a c}},\end{aligned} \hspace{\stretch{1}}(2.6)

We take the positive root, so that the worldline is traversed in a strictly increasing fashion, and then integrate once

\begin{aligned}\tau = \frac{1}{{ac}} \sigma + \tau_s.\end{aligned} \hspace{\stretch{1}}(2.7)

We are free to let \tau_s = 0, effectively starting our proper time at t=0.

\begin{aligned}x^i(\tau) = ( a^{-1} \sinh( a c \tau), a^{-1} \cosh( a c \tau ), 0, 0 )\end{aligned} \hspace{\stretch{1}}(2.8)

As noted already this is a hyperbola (or degenerate hyperboloid) in spacetime, with asymptote 1 (ie: approaching the speed of light).

Proper velocity.

The next computational task is now simple.

\begin{aligned}u^i= \frac{dx^i}{d\tau} = c ( \cosh( a c \tau ), \sinh( a c \tau ), 0, 0) \\ \end{aligned} \hspace{\stretch{1}}(2.9)

Is this light like or time like? We can answer this by considering the four vector square

\begin{aligned}u \cdot u \end{aligned} \hspace{\stretch{1}}(2.10)

Time like vectors.

What is a light like or a time like vector?

Recall that we have defined lightlike, spacelike, and timelike intervals. A lightlike interval between two world points had (ct - c\tilde{t})^2 - (\mathbf{x} -\tilde{\mathbf{x}})^2 = 0, whereas a timelike interval had (ct - c\tilde{t})^2 - (\mathbf{x} -\tilde{\mathbf{x}})^2 > 0. Taking the vector (c \tilde{t}, \tilde{\mathbf{x}}) as the origin, the distance to any single four vector from the origin is then just that vector’s square, so it logically makes sense to call a vector light like if it has a zero square, and time like if it has a positive square.

Consider the very simplest example of a time like trajectory, that of a particle at rest at a fixed position \mathbf{x}_0. Such a particle’s worldline is

\begin{aligned}X = ( c t, \mathbf{x}_0 )\end{aligned} \hspace{\stretch{1}}(2.11)

While we interpret t here as time, it functions as a parametrization of the curve, just as \sigma does in this question. If we want to compute the proper time interval between two points on this worldline we have

\begin{aligned}\tau_b - \tau_0 &=\frac{1}{{c}} \int_{\lambda = t_a}^{t_b} \sqrt{ \frac{dX(\lambda)}{d\lambda} \cdot \frac{dX(\lambda)}{d\lambda} } d\lambda \\ &=\frac{1}{{c}} \int_{\lambda = t_a}^{t_b} \sqrt{ (c, 0)^2 } d\lambda \\ &=\frac{1}{{c}} \int_{\lambda = t_a}^{t_b} c d\lambda \\ &= t_b - t_a\end{aligned}

The conclusion (arrived at the hard way, but methodologically) is that proper time on this worldline is just the parameter t itself.

Now examine the proper velocity for this trajectory. This is

\begin{aligned}u = \frac{dX(\tau)}{d\tau} = (c, 0, 0, 0)\end{aligned} \hspace{\stretch{1}}(2.12)

We can compute the dot product u \cdot u = c^2 > 0 easily enough, and in this case for the particle at rest (but moving in time) we see that this four-vector velocity does have a time like separation from the origin, and it therefore makes sense to label the four-velocity vector itself as time like.

Now, let’s return to our non-inertial system. Is our four velocity vector time like? Let’s compute it’s square to check

\begin{aligned}u \cdot u = c^2 ( \cosh^2 - \sinh^2 ) = c^2 > 0\end{aligned} \hspace{\stretch{1}}(2.13)

Yes, it is timelike.

Spatial velocity.

Now, let’s calculate our spatial velocity

\begin{aligned}v^\alpha= \frac{dx^\alpha}{dt}=\frac{dx^\alpha}{d\tau} \frac{d\tau}{dt}\end{aligned} \hspace{\stretch{1}}(2.14)

Since ct = \sinh( a c \tau )/a we have

\begin{aligned}c = \frac{1}{{a}} a c \cosh( a c \tau ) \frac{d\tau}{dt},\end{aligned} \hspace{\stretch{1}}(2.15)


\begin{aligned}\frac{d\tau}{dt} = \frac{1}{{\cosh( a c \tau) }}\end{aligned} \hspace{\stretch{1}}(2.16)

Similarly from 2.8, we have

\begin{aligned}\frac{dx^1}{d\tau} = c \sinh( a c \tau )\end{aligned} \hspace{\stretch{1}}(2.17)

So our spatial velocity is \sinh/\cosh = \tanh, and we have

\begin{aligned}v^\alpha = (c \tanh( a c \tau), 0, 0)\end{aligned} \hspace{\stretch{1}}(2.18)

Note how tricky this index notation is. Four our four vector velocity we use u^i = dx^i/d\tau, whereas our spatial velocity is distinguished by a change of letter as well as the indexes, so when we write v^\alpha we are taking our derivatives with respect to time and not proper time (i.e. v^\alpha = dx^\alpha/dt).


From 2.9, we have

\begin{aligned}w^i (\tau) = \frac{ du^i }{d\tau} = a c^2 x^i(\tau)\end{aligned}

Observe that our four-velocity square is

\begin{aligned}w \cdot w = a^2 c^2 a^{-1} (-1)\end{aligned} \hspace{\stretch{1}}(2.19)

What does this really signify? Think on this. A check to verify that things are okay is to see if this four-acceleration is orthogonal to our four-velocity as expected

\begin{aligned}w \cdot u &= a c^2 ( a^{-1} \sinh( a c \tau), a^{-1} \cosh( a c \tau ), 0, 0 ) \cdot c ( \cosh( a c \tau ), \sinh( a c \tau ), 0, 0) \\ &=c^3 ( \sinh(a c \tau)\cosh(a c \tau) - \cosh(a c \tau) \sinh(a c \tau) ) \\ &=0\end{aligned}

Spatial acceleration

A last beastie that we can compute is the spatial acceleration.

\begin{aligned}a^\alpha &= \frac{du^\alpha}{dt} \\ &= \frac{dv^\alpha}{d\tau} \frac{d \tau}{dt} \\ &= \frac{a c^2}{\cosh^2(a c \tau)} \frac{1}{{\cosh(a c \tau) }} \\ &= \frac{a c^2}{\cosh^3(a c \tau)} \\ \end{aligned}


Collecting all results we have

\begin{aligned}x^i(\tau) &= \left( a^{-1} \sinh( a c \tau), a^{-1} \cosh( a c \tau ), 0, 0 \right) \\ u^i(\tau) &= c \left( \cosh( a c \tau ), \sinh( a c \tau ), 0, 0\right) \\ v^\alpha(\tau) &= \left( c \tanh(a c \tau), 0, 0 \right) \\ w^i(\tau) &= a c^2 x^i(\tau) \\ a^\alpha(\tau) &= \left( \frac{a c^2}{\cosh^3 (a c \tau)}, 0, 0 \right).\end{aligned} \hspace{\stretch{1}}(2.20)

Problem 2. Local observers.

Basis construction.

Observations are made of either the three-vector, or the time like components of four-vectors, since these are the quantities that we can measure from our local observer frame. This is something that can be viewed in an approximate sense as being inertial, provided that we ignore the earth’s rotation, the rotation around the solar system, the rotation of the solar system in the galaxy, the rotation of the galaxy in the local cluster, and so forth. Provided none of these are changing too fast relative to our measurements, we can make the inertial approximation.

Example. If we want to measure energy, it is the timelike component of the momentum.

\begin{aligned}E = c p^0\end{aligned} \hspace{\stretch{1}}(3.25)

PICTURE: Let’s imagine a moving worldline in three dimensions. We can setup a frame and associated basis along the worldline of the particle, as well as a frame and basis for the stationary observer.

In class Simon used notation like \{ e_{\hat{o}}^i \}, and \{ e_{\hat{a}}^i \}, but also used e_{\hat{0}}^i, e_{\hat{1}}^i, e_{\hat{2}}^i, e_{\hat{3}}^i. It was fairly clear by the context what was meant, but lets avoid any more than one index at a time, and write \{ f^i \} for the frame moving along the worldline, and \{ e^i \} for the stationary frame.

Constructing a basis along the worldline.

For any timelike four-vector worldline we have a four-vector velocity of magnitude c, so we are free to define a timelike basis vector for our moving frame as

\begin{aligned}f^0 = u / c\end{aligned} \hspace{\stretch{1}}(3.26)

going back to the first problem for u^i we have

\begin{aligned}f^0 = ( \cosh( a c t ), \sinh( a c t), 0, 0 ) \end{aligned} \hspace{\stretch{1}}(3.27)

We are free to pick spatial unit vectors perpendicular to this, so for the y and z components it is natural to use

\begin{aligned}f^2 &= ( 0, 0, 1, 0 ) \\ f^3 &= ( 0, 0, 0, 1 )\end{aligned} \hspace{\stretch{1}}(3.28)

We need one more, that’s perpendicular to each of the above. By inspection one can pick

\begin{aligned}f^1 = ( \sinh( a c t ), \cosh( a c t), 0, 0) \end{aligned} \hspace{\stretch{1}}(3.30)

Did Simon use any other principle to define this last beastie? I missed it if he did. I see that this happens to be the unit vector proportional to x^i.

Consider the stationary observer.

For a stationary observer, our worldline and four velocity respectively, for some constant \mathbf{x}_0 is

\begin{aligned}X &= ( ct, \mathbf{x}_0 ) \\ \frac{dX}{d\tau} &= c ( 1, \mathbf{0}) \end{aligned} \hspace{\stretch{1}}(3.31)

Our time like unit vector is very simple

\begin{aligned}e^0 = \frac{1}{{c}} \frac{dX}{d\tau} = ( 1, \mathbf{0} ) \end{aligned} \hspace{\stretch{1}}(3.33)

For the spatial unit vectors we have many choices. One would be aligned from the origin to the position vector

\begin{aligned}e^1 = \left( 0, \frac{\mathbf{x}}{{\left\lvert{\mathbf{x}}\right\rvert}} \right),\end{aligned} \hspace{\stretch{1}}(3.34)

with e^2 and e^3 oriented in any pair of mutually perpendicular spatial directions. Another option would be simply pick a e^\alpha for each of the normal Euclidean basis directions

\begin{aligned}e^1 &= ( 0, 1, 0, 0 ) \\ e^2 &= ( 0, 0, 1, 0 ) \\ e^3 &= ( 0, 0, 0, 1 )\end{aligned} \hspace{\stretch{1}}(3.35)

Observe, that we have (no sum) e^\alpha \cdot e^\alpha = -1 (and e^0 \cdot e^0 = 1).

Consider an inertial observer.

Now consider a slightly more complex case, where an observer is moving with some constant velocity \mathbf{V} = c \boldsymbol{\beta}. Our worldline is

\begin{aligned}X = ( ct, \mathbf{x}_0 + \boldsymbol{\beta} c t) .\end{aligned} \hspace{\stretch{1}}(3.38)

Let’s calculate the four velocity. We have

\begin{aligned}\frac{dX}{dt} = c ( 1, \boldsymbol{\beta} ).\end{aligned} \hspace{\stretch{1}}(3.39)

From this our proper time is

\begin{aligned}\tau = \frac{1}{{c}} \int_0^t c \sqrt{ (1, \boldsymbol{\beta})^2 } dt = \sqrt{1 - \boldsymbol{\beta}^2} t.\end{aligned} \hspace{\stretch{1}}(3.40)

Our worldline and four-velocity, parametrized in terms of proper time, with \gamma = (1 - \boldsymbol{\beta}^2)^{-1/2}, are then

\begin{aligned}X &= ( \gamma c\tau, \mathbf{x}_0 + \gamma \boldsymbol{\beta} c \tau) \\ u &= \gamma c ( 1, \boldsymbol{\beta} )\end{aligned} \hspace{\stretch{1}}(3.41)

For this system, let’s label the basis \{h^k\}. From above our time like unit vector is

\begin{aligned}h^0 = \gamma ( 1, \boldsymbol{\beta} )\end{aligned} \hspace{\stretch{1}}(3.43)

We observe that this has the desired time like property, (h^0)^2 = 1 > 0.

Now, let’s try Gram-Schmidt, subtracting the projection of h^0 on e^1 from e^1 and see what we get. Our projection is

\begin{aligned}\text{Proj}_{h^0}(e^1) &= \frac{e^1 \cdot h^0}{h^0 \cdot h^0} h^0 \\ &= (0, 1, 0, 0) \cdot \gamma (1, \boldsymbol{\beta}) \gamma (1, \boldsymbol{\beta}) \\ &= -\gamma^2 \beta_x (1, \boldsymbol{\beta}).\end{aligned}

We should have a space like vector normal to h^0 once we take the Gram-Schmidt difference

\begin{aligned}e^1 - \frac{e^1 \cdot h^0}{h^0 \cdot h^0} h^0 =(0, 1, 0, 0) + \gamma^2 \beta_x (1, \boldsymbol{\beta})\end{aligned} \hspace{\stretch{1}}(3.44)

Let’s compute the norm of this vector and verify that it is space like. We should also verify that it is normal to h^0 as expected. For the norm we have

\begin{aligned}-1 + \beta_x^2 + 2 \beta_x \gamma^2 (0, 1, 0, 0) \cdot (1, \boldsymbol{\beta})&=-1 + \beta_x^2 + 2 \beta_x \gamma^2 (-\beta_x) \\ &=\beta_x^2 ( 1 - 2 \gamma^2 ) -1 \\ &=\beta_x^2 \frac{1 - \boldsymbol{\beta}^2 - 2 }{1 - \boldsymbol{\beta}^2} -1 \\ &=-\beta_x^2 \frac{1 + \boldsymbol{\beta}^2}{1 - \boldsymbol{\beta}^2} -1 \\ \end{aligned}

This is less than zero as we expect for a spacelike vector. Good. Our second spacelike unit vector is thus

\begin{aligned}h^1 = \left( \beta_x^2 \frac{1 + \boldsymbol{\beta}^2}{1 - \boldsymbol{\beta}^2} +1 \right)^{-1/2} \left( (0, 1, 0, 0) + \gamma^2 \beta_x (1, \boldsymbol{\beta})\right)\end{aligned} \hspace{\stretch{1}}(3.45)

Let’s verify that these two computed spacetime basis vectors are normal. Their dot product is proportional to

\begin{aligned}((0, 1, 0, 0) + \gamma^2 \beta_x (1, \boldsymbol{\beta})) \cdot (1, \boldsymbol{\beta}) &= -\beta_x + \gamma^2 \beta_x ( 1 - \boldsymbol{\beta}^2 ) \\ &= -\beta_x + \beta_x \\ &= 0 \qquad \square\end{aligned}

We could continue this, continuing the Gram-Schmidt iteration using e^2 and e^3 for the remainder of the initial spanning set.

Doing so, we’d have

\begin{aligned}h^2 \propto e^2 - \frac{e^2 \cdot h^1}{h^1 \cdot h^1} h^1 - \frac{e^2 \cdot h^0}{h^0 \cdot h^0} h^0.\end{aligned} \hspace{\stretch{1}}(3.46)

After scaling so that h^2 \cdot h^2 = -1, we’d then have

\begin{aligned}h^3 \propto e^3 - \frac{e^3 \cdot h^2}{h^2 \cdot h^2} h^2 - \frac{e^3 \cdot h^1}{h^1 \cdot h^1} h^1 - \frac{e^3 \cdot h^0}{h^0 \cdot h^0} h^0.\end{aligned} \hspace{\stretch{1}}(3.47)

Projections and the reciprocal basis.

Recall that for Euclidean space, when we had orthonormal vectors, we could simplify the Gram-Schmidt procedure from

\begin{aligned}e^{k+1} \propto f^{k+1} - \sum_{i=0}^k \frac{f^{k+1} \cdot e^i}{e^i \cdot e^i} e^i,\end{aligned} \hspace{\stretch{1}}(3.48)


\begin{aligned}e^{k+1} \propto f^{k+1} - \sum_{i=0}^k \left( f^{k+1} \cdot e^i \right) e^i.\end{aligned} \hspace{\stretch{1}}(3.49)

However, for our non-Euclidean space, we cannot do this. This suggests a nice intuitive motivation for the reciprocal basis. We can define, for any normalized basis \{f^i\} in our Minkowski space (no sum)

\begin{aligned}e_i = \frac{e^i}{e^i \cdot e^i}\end{aligned} \hspace{\stretch{1}}(3.50)

Now our Gram-Schmidt iteration becomes

\begin{aligned}e^{k+1} \propto f^{k+1} - \sum_{i=0}^k \left( f^{k+1} \cdot e^i \right) e_i,\end{aligned} \hspace{\stretch{1}}(3.51)

and we identify, for a four vector b, the projection onto the chosen basis vector, as (no sum)

\begin{aligned}\text{Proj}_{e^i}(b) = (b \cdot e^i) e_i.\end{aligned} \hspace{\stretch{1}}(3.52)

In particular, we have for the resolution of identity (now with summation implied again)

\begin{aligned}b = (b \cdot e^i) e_i.\end{aligned} \hspace{\stretch{1}}(3.53)

This is nice and it allows us to work with four vectors in their entirety, instead of in coordinates. We have

\begin{aligned}x = x^i e_i = x_i e^i,\end{aligned} \hspace{\stretch{1}}(3.54)


\begin{aligned}x^i &= x \cdot e^i \\ x_i &= x \cdot e_i\end{aligned} \hspace{\stretch{1}}(3.55)

Also note that e^\alpha = -e_\alpha and e^0 = e_0, just as the coordinates themselves vary sign with index raising and lowering dependent on whether they are time like or space like.

We’ve seen that the representation of the basis can be chosen to depend on the observer, and for the stationary observer, we had simply

\begin{aligned}e^0 &= (1, 0, 0, 0) \\ e^1 &= (0, 1, 0, 0) \\ e^2 &= (0, 0, 1, 0) \\ e^3 &= (0, 0, 0, 1),\end{aligned} \hspace{\stretch{1}}(3.57)

with a reciprocal basis e^i \cdot e_j = {\delta^i}_j

\begin{aligned}e_0 &= (1, 0, 0, 0) \\ e_1 &= -(0, 1, 0, 0) \\ e_2 &= -(0, 0, 1, 0) \\ e_3 &= -(0, 0, 0, 1).\end{aligned} \hspace{\stretch{1}}(3.61)

An alternate basis for the inertial frame.

Given the same h^0 as defined above for the inertial frame, let’s define an alternate h^1, subtracting the timelike component from the worldline of the particle itself. Let

\begin{aligned}X &= ( \gamma c \tau, \mathbf{x}_0 + \gamma \boldsymbol{\beta} c \tau ) \\ h^0 &= \gamma ( 1, \boldsymbol{\beta} ) \\ Y & = X - (X \cdot h^0) h^0 \end{aligned}

The dot product above is

\begin{aligned}X \cdot h^0&=( \gamma c \tau, \mathbf{x}_0 + \gamma \boldsymbol{\beta} c \tau ) \cdot \gamma (1, \boldsymbol{\beta}) \\ &=\gamma^2 c \tau - \gamma (\boldsymbol{\beta} \cdot \mathbf{x}_0) - \gamma^2 \boldsymbol{\beta}^2 c \tau \\ &=\gamma^2 c \tau ( 1 - \boldsymbol{\beta}^2) - \gamma (\boldsymbol{\beta} \cdot \mathbf{x}_0) \\ &=c \tau - \gamma (\boldsymbol{\beta} \cdot \mathbf{x}_0)\end{aligned}

Our rejection of h^0 from X is then

\begin{aligned}Y &= ( \gamma c \tau, \mathbf{x}_0 + \gamma \boldsymbol{\beta} c \tau ) - (c \tau - \gamma (\boldsymbol{\beta} \cdot \mathbf{x}_0)) \gamma( 1, \boldsymbol{\beta}) \\ &= ( \gamma^2 (\boldsymbol{\beta} \cdot \mathbf{x}_0), \mathbf{x}_0 + \gamma \boldsymbol{\beta} c \tau - c \tau \gamma \boldsymbol{\beta} + \gamma^2 (\boldsymbol{\beta} \cdot \mathbf{x}_0) \boldsymbol{\beta} ) \\ &= ( \gamma^2 (\boldsymbol{\beta} \cdot \mathbf{x}_0), \mathbf{x}_0 + \gamma^2 (\boldsymbol{\beta} \cdot \mathbf{x}_0) \boldsymbol{\beta} ) \\ &= \gamma^2 (\boldsymbol{\beta} \cdot \mathbf{x}_0)(1, \boldsymbol{\beta}) + (0, \mathbf{x}_0)\end{aligned}

We can verify that this is spacelike by computing the square

\begin{aligned}Y^2 &= \gamma^2 (\boldsymbol{\beta} \cdot \mathbf{x}_0)^2 - \mathbf{x}_0^2 + 2 \gamma^2 (\boldsymbol{\beta} \cdot \mathbf{x}_0) (1, \boldsymbol{\beta}) \cdot (0, \mathbf{x}_0) \\ &= \gamma^2 (\boldsymbol{\beta} \cdot \mathbf{x}_0)^2 - \mathbf{x}_0^2 - 2 \gamma^2 (\boldsymbol{\beta} \cdot \mathbf{x}_0)^2 \\ &= -\gamma^2 (\boldsymbol{\beta} \cdot \mathbf{x}_0)^2 - \mathbf{x}_0^2 \\ &< 0.\end{aligned}

A final normalization of this yields

\begin{aligned}h^1 = (\gamma^1 (\boldsymbol{\beta} \cdot \mathbf{x}_0)^2 + \mathbf{x}_0^2)^{-1/2} \left( \gamma^2 (\boldsymbol{\beta} \cdot \mathbf{x}_0)(1, \boldsymbol{\beta}) + (0, \mathbf{x}_0) \right)\end{aligned} \hspace{\stretch{1}}(3.65)

It’s easy enough to verify that we have h^1 \cdot h^0 as desired.

A followup note on the worldline basis.

Note that we can construct the spatial vector f^1 in 3.30 systematically without use of any sort of intuition. We get this by Gram-Schmidt directly

\begin{aligned}f^1 &\propto e^1 - (e^1 \cdot e^0) e_0 - (\underbrace{e^1 \cdot e^2}_{=0}) e_2 - (\underbrace{e^1 \cdot e^3}_{=0}) e_3 \\ &= (0, 1, 0, 0) - (0, 1, 0, 0) \cdot ( \cosh(ac\tau), \sinh(ac\tau), 0, 0) e_0 \\ &= (0, 1, 0, 0) + \sinh(ac\tau) ( \cosh(ac\tau), \sinh(ac\tau), 0, 0) \\ &= (\sinh(ac\tau) \cosh(ac\tau), 1 + \sinh^2(ac\tau), 0, 0 ) \\ &= (\sinh(ac\tau) \cosh(ac\tau), \cosh^2(ac\tau), 0, 0 ) \\ &\propto (\sinh(ac\tau), \cosh(ac\tau), 0, 0 ) \qquad \square\end{aligned}

It’s also noteworthy to observe that we have f^i \cdot f^j = 0, i \ne j, and f^0 \cdot f^0 = 1 and f^\alpha \cdot f^\alpha = -1, as desired.

Relating the Lorentz transformation and coordinate transformations.

We are familiar now with the tensor form of the Lorentz transformation. This takes coordinates to coordinates

\begin{aligned}{x'}^i = {L_j}^i x^j\end{aligned} \hspace{\stretch{1}}(3.66)

Specifying just the coordinates and not the basis associated with the coordinates leaves out some valuable seeming information. For instance, is the basis associated with the pre and post transformed coordinates the same?

For example, suppose that our basis for the primed coordinates is \{f_i\}, construction of the four vector (in its entirety) out of its coordinates and this basis requires the sum

\begin{aligned}X &= {x'}^i f_i \\ &= ({L_j}^i f_i) x^j \end{aligned}

This interior sum {L_j}^i f_i is a linear combination of the primed basis vectors, but we see that these are in fact a set of vectors, and can be considered the basis for the unprimed coordinates. We could for example write

\begin{aligned}e_i = {L_j}^i f_i.\end{aligned} \hspace{\stretch{1}}(3.67)

With such a description, our Lorentz transformation becomes just a mechanism to map vectors in one basis into another. To make this clear, let’s work in the opposite order, and suppose that we have a pair of bases \{e_i\} and \{f_i\}. For any vector X we can calculate the coordinates utilizing the reciprocal frame.

\begin{aligned}X = (X \cdot e^i) e_i = (X \cdot f^j) f_j.\end{aligned} \hspace{\stretch{1}}(3.68)


\begin{aligned}x^i &= X \cdot e^i \\ {x'}^i &= X \cdot f^i.\end{aligned} \hspace{\stretch{1}}(3.69)

This is

\begin{aligned}{x'}^k f_k = x^j e_j.\end{aligned} \hspace{\stretch{1}}(3.71)

Dotting with f^i we have

\begin{aligned}{x'}^i = x^j (e_j \cdot f^i).\end{aligned} \hspace{\stretch{1}}(3.72)

In this form we see explicitly that the Lorentz transformation is in fact the “direction cosines” associated with a change of basis. Specifically, we can write

\begin{aligned}{L_j}^i = e_j \cdot f^i\end{aligned} \hspace{\stretch{1}}(3.73)

I like this as a way to view the Lorentz transformation, since the explicit inclusion of the basis sets involved makes the geometry clear.

A coordinate calculation example.

I have gone to the effort of calculating some basis representations in a lot more detail than we covered in the tutorial, and explore some of the ideas further. This seemed important to get a feel for what we were discussing, and to see how the pieces fit together.

Let’s do one more simple example, where we look at the coordinates of a four vector in the coordinate system where the time like direction is the proper velocity, and also eliminate the the y and z coordinates from the mix to simplify it further. For such a system we have only two choices for our spatial basis vector (we can alter the sign).

For our spacetime point, consider the worldline for a particle moving at a constant velocity. That is

\begin{aligned}X = (ct, p_0 + \beta c t).\end{aligned} \hspace{\stretch{1}}(3.74)

As before our proper time is

\begin{aligned}\tau = \sqrt{1 - \beta^2} t,\end{aligned} \hspace{\stretch{1}}(3.75)

allowing us to re-parametrize the worldline, and have a proper time parametrized velocity

\begin{aligned}X &= (\gamma c \tau, p_0 + \beta \gamma c \tau) \\ u &= \gamma (1, \beta)\end{aligned} \hspace{\stretch{1}}(3.76)

Let’s utilize the standard basis for the stationary frame, and denote this \{e^i\}

\begin{aligned}e^0 &= (1, 0) \\ e^1 &= (0, 1)\end{aligned} \hspace{\stretch{1}}(3.78)

and calculate a basis \{f^i\} for which f^0 = u is the time like direction. By Gram-Schmidt, our space like basis vector is

\begin{aligned}f^1 &\propto e^1 - (e^1 \cdot f^0) f_0 \\ &= (0,1) - (0, 1) \cdot \gamma (1,\beta) \gamma (1, \beta) \\ &= (0,1) - \gamma^2 (-\beta) (1, \beta) \\ &= (\gamma^2 \beta, 1 + \beta^2 \gamma^2 ) \\ &= \left(\gamma^2 \beta, \frac{1}{{1-\beta^2}}(1 -\beta^2 + \beta^2 \right) \\ &= \left(\gamma^2 \beta, \gamma^2 \right) \\ &\propto - \gamma (\beta, 1) \end{aligned}

The negative sign here is a bit of sneaky move and chosen only after calculating the coordinates of the vector in this frame, so that at speed \beta = 0, the coordinates in frames \{e^i\} and \{f^i\} are the same. Our basis is then

\begin{aligned}f^0 &= \gamma(1, \beta) \\ f^1 &= -\gamma(\beta, 1) \end{aligned} \hspace{\stretch{1}}(3.80)

One can quickly verify that f^0 \cdot f^0 = 1, f^1 \cdot f^1 = -1, and f^0 \cdot f^1 = 0. Our reciprocal frame, defined so that f^i \cdot f_j = {\delta^i}_j is

\begin{aligned}f_0 &= \gamma(1, \beta) \\ f_1 &= \gamma(\beta, 1) \end{aligned} \hspace{\stretch{1}}(3.82)

With this basis our coordinate representation is

\begin{aligned}X = \underbrace{(X \cdot f^0)}_{x^0} f_0 + \underbrace{(X \cdot f^1)}_{x^1} f_1,\end{aligned} \hspace{\stretch{1}}(3.84)

and we calculate our coordinates to be

\begin{aligned}x^0 &= c \tau - \gamma p_0 \beta \\ x^1 &= \gamma p_0 \end{aligned} \hspace{\stretch{1}}(3.85)

As a check one can verify that X = x^0 f_0 + x^1 f_1 as expected. So we see that in a frame for which the proper velocity is the time like basis vector, our particle is at rest (moving only in time).

Some interesting information can be extracted after making the coordinate calculation. It is interesting to note that the position x^1 = \gamma p_0 equals p_0 when \beta = 0. When the particle is observed at rest in one frame, it remains at rest in the frame for which its proper velocity is the time like direction (the particle’s rest frame). Furthermore, when the particle is observed moving, the position in the particles rest frame is always greater than the observed position x_0 \gamma \ge x_0. In other words, the particle’s position appears closer to the origin in the observer’s frame than it is in the rest frame (it’s position is contracted).

Also see that the rest frame time matches the observer frame time when the particle is observed at rest (\beta = 0). The time in the rest frame is always less than the time in the observer frame and by increasing beta we can shift the initial time position of the particle in its rest frame as far backwards as we like. Similarly, if the particle is observed moving backwards in the observer frame, the initial time position of the particle in the rest frame can be pushed as far forward in time as we like.

An initially confusing aspect of the given non-inertial worldline.

For the worldline

\begin{aligned}X = \frac{1}{{a}} ( \sinh( a c \tau ), \cosh( a c \tau) ),\end{aligned} \hspace{\stretch{1}}(3.87)

we calculated

\begin{aligned}u &= c ( \cosh( a c \tau ), \sinh( a c \tau) ) \\ f^0 = u/c &= ( \cosh( a c \tau ), \sinh( a c \tau) ) \\ f^1 &= ( \sinh( a c \tau ), \cosh( a c \tau) ).\end{aligned} \hspace{\stretch{1}}(3.88)

The curious thing about this basis is that when one calculates the rest frame coordinates

\begin{aligned}x^0 &= X \cdot f^0 = 0 \\ x^1 &= X \cdot f^1 = -\frac{1}{{a}},\end{aligned} \hspace{\stretch{1}}(3.91)

the timelike coordinate is zero uniformly? We can verify easily that the position four vector is recovered as expected from X = x^0 f_0 + x^1 f_1, but it still seems irregular that we have no timelike coordinate?

Oh! I see. This is a spacelike four vector. Look at the length

\begin{aligned}X^2 = \frac{1}{{a^2}} ( \sinh^2 ( a c \tau) - \cosh^2 (a c \tau) ) = -\frac{1}{{a^2}} < 0.\end{aligned} \hspace{\stretch{1}}(3.93)

Because it is spacelike in one frame, it can only be (just) spacelike in its rest frame.

By calculating this coordinate, we also see that a choice of

\begin{aligned}f^1 = -( \sinh( a c \tau ), \cosh( a c \tau) ),\end{aligned} \hspace{\stretch{1}}(3.94)

would have been a better one. Then our particle’s coordinate in the rest frame would be 1/a at t=0. With the initial choice of the basis vector f^1, it’s coordinate ends up being the inverse of its position at t=0.

Split of energy and momentum (VERY ROUGH NOTES).

\paragraph{Disclaimer.} At the very end of the tutorial Simon jotted some very quick notes, and I’ve included what I got of those without editing below. I have yet to go through these and make something coherent of them.

In a coordinate representation, the timelike component of our momentum was obtained by extracting the first coordinate

\begin{aligned}p^0 = (p^0, p^1, p^2, p^3) \cdot (1, 0, 0, 0).\end{aligned} \hspace{\stretch{1}}(3.95)

This was (after scaling) was our energy term E = c p^0, and we can extract this in the observer frame by dotting with our observer frame timelike basis vector e^0

\begin{aligned}E_\text{observer} = c p \cdot e^0 \equiv c p^0\end{aligned} \hspace{\stretch{1}}(3.96)

In the observers reference frame, where u^i = c ( 1, 0, 0, 0), and p^i = m u^i, we have

\begin{aligned}{p}^i = (m c, 0, 0, 0)\end{aligned} \hspace{\stretch{1}}(3.97)

\begin{aligned}{u'}^i_\text{observed} = c \gamma (( 1, v/c , 0, 0)\end{aligned} \hspace{\stretch{1}}(3.98)

\begin{aligned}u^i_\text{observer} c (1, 0, 0, 0)\end{aligned} \hspace{\stretch{1}}(3.99)

\begin{aligned}{u'}^i_\text{observer} =\begin{bmatrix}\gamma & \gamma v/c  & 0 & 0 \\ \gamma v/c  & \gamma  & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0\end{bmatrix}\end{aligned} \hspace{\stretch{1}}(3.100)

\begin{aligned}p^0 = \gamma m c\end{aligned} \hspace{\stretch{1}}(3.101)

Frequency of light from a distant star (AGAIN VERY ROUGH NOTES).

Suppose we have a star far away. What is the frequency of the light emitted

\begin{aligned}\hat{\omega} = \omega e^{- a c \tau }\end{aligned} \hspace{\stretch{1}}(3.102)

FIXME: derive.

where \omega is the emitted frequency.

FIXME: This implied an elapsed time before the star would no longer be visible?


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s

%d bloggers like this: