# 4: Einstein Relativity

- Page ID
- 5102

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\id}{\mathrm{id}}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\kernel}{\mathrm{null}\,}\)

\( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\)

\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\)

\( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)

\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)

\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vectorC}[1]{\textbf{#1}} \)

\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)In the 19th century it was discovered that the Maxwell Equations describing electric and magnetic fields, a grand synthesis of the results of many different experiments, unlike Newton's laws of motion, are not consistent with Galilean relativity. A priori, the solution was not clear. One possible reason for this inconsistency, taken seriously at the time, was that the principle of relativity is wrong; i.e., there actually is an absolute rest frame, and our motion could be detected with respect to it with the appropriate experiment. Indeed, there was a significant experimental program to detect our motion with respect to absolute rest defined by a medium called "the ether."

Another possibility, is that while the principle of relativity holds, its specific implementation as Galilean relativity does not. As you know, because you have studied special relativity, this is indeed the correct solution to the puzzle of the Maxwell Equations lack of invariance under a Galilean transformation.

It turns out that the "Galilean Boost" can be generalized to a "Lorentz Boost" that is also consistent with the principle of relativity. The primed and unprimed coordinate systems constructed as before, under a Lorentz boost are related as:

\[\begin{equation}

\begin{aligned}

t' & = \gamma (t-vx/c^2) \\ x' & = \gamma (x - vt), \\ y' & = y,\ {\rm and} \\ z' & = z

\end{aligned}

\end{equation} \label{eqn:LorentzBoost}\]

where \(\gamma \equiv 1/\sqrt{1-v^2/c^2}\). In the limit that \(c \rightarrow \infty\) this reduces to the Galilean boost. As can be easily shown (see the homework problem) the reverse transformation is the same rule with \(v \rightarrow -v\). Most importantly, the Maxwell equations *are* invariant under this transformation.

One of the more spectacular consequences of the Maxwell Equations is that one of their solutions is waves traveling at the speed of light. If the Maxwell equations are correct in all inertial frames, then this implies that these waves will be moving at the speed of light in all inertial frames. To your Galilean intuition this is quite startling as it violates the simple rule for addition of velocities you derived in the previous chapter.

The result can be easily demonstrated from the Lorentz transformation above. Here we sketch out the process, and you can fill in the details by performing the exercise that follows. Imagine a particle traveling at the speed of light. Let's parameterize its path through spacetime with the independent variable \(\lambda\) so that \(t = \lambda\) and \(x(\lambda) = c\lambda\). Then we have (by direct substitution into the Lorentz transformation) that \(t' = (\gamma/c)(c-v)\lambda\) and \(x'=\gamma (c-v)\lambda\). The speed of this particle in the primed frame is

\[\frac{dx'}{dt'} = \frac{dx'}{d\lambda}\frac{d\lambda}{dt'} = \frac{dx'}{d\lambda}\left(\frac{dt'}{d\lambda}\right)^{-1} = c.\]

Thus we see the Lorentz transformation tells us that a particle traveling at speed \(c\) in one frame will be traveling at speed \(c\) in another. This result is consistent with our claim that the Maxwell equations are invariant under the Lorentz transformation, since a consequence of the Maxwell Equations is that electromagnetic waves travel at speed \(c\).

Box \(\PageIndex{1}\)

**Exercise: 4.1.1:** Fill in the steps in the above derivation.

Unlike rotational coordinate transformations that preserve spatial distances between pairs of points, a Lorentz transformation does not. The spatial separation between \((x,t)\) and \((x+dx,t)\) is \(dx\). The spatial separation between these points in the prime frame is \(\gamma dx\), as one can see from the transformation rule. How can length depend on reference frame? Key to resolving this apparent paradox is the fact that in the primed frame the two events are not simultaneous. We won't sort out these apparent paradoxes here.

We will, however, introduce a quantity that, unlike spatial length, *is* invariant under Lorentz transformations. For Cartesian spatial coordinates, the square of the invariant distance between event \((t,x,y,z)\) and event \((t+dt,x+dx, y+dy, z+dz)\) is given by

\[ds^2 = -c^2 dt^2 + dx^2 + dy^2 + dz^2. \label{eqn:invdist}\]

This quantity has the following two-part physical interpretation:

- For \(ds^2 > 0\), \(\sqrt{ds^2}\) is the length of a ruler that connects the two events and is at rest in the frame in which the two events are simultaneous.
- For \(ds^2 < 0\), \(\sqrt{-ds^2/c^2}\) is the time elapsed on a clock that moves between the two events with no acceleration.

Why is this quantity invariant under boosts? That's a deep question, and I'm not sure we have the fullest possible answer yet sorted out. We do know that the Maxwell equations are a synthesis from experiments, their form is invariant under a Lorentz transformation, and the Lorentz transformation preserves the invariant distance.

Let's show that the invariant distance is indeed invariant under a Lorentz transformation. For specificity, take it to be the transformation appropriate for a boost in the \( +x \) direction with speed \(v \). For simplicity, we will take your two coordinate systems to be coincident at their origins (i.e. \(t=x=y=z=0\) is the same point as \(t'=x'=y'=z'=0\) ), use the origin as one point, let's call it point A, and \(t=dt, x=dx, y=dy, z = dz\) as the other, let's call it point B. The invariant distance between these two points is

\[ds^2 = -c^2 dt^2 + dx^2 + dy^2 + dz^2.\]

In the primed frame point A is the origin (by construction) and point B is labeled with \(t'=dt', x'=dx', y'=dy', z' = dz'\).

Thus the invariant distance in the primed frame is

\[(ds')^2 = -c^2 (dt')^2 + (dx')^2 + (dy')^2 + (dz')^2.\] We want to show that \( (ds')^2 = ds^2 \).

So we need to know how \(dt'\) and \(dx'\) etc., are related to \(dt\), \(dx\), etc. Since the boost is in the \(x\) direction by speed \(v\) we have, from Equation \ref{eqn:LorentzBoost}:

\[\begin{equation}

\begin{aligned}

dt' & = \gamma (dt-vdx/c^2) \\ dx' & = \gamma (dx - vdt), \\ dy' & = dy,\ {\rm and} \\ dz' & = dz.

\end{aligned}

\end{equation}\]

The easier direction to go here is to start with

\((ds')^2 = -c^2 (dt')^2 + (dx')^2 + (dy')^2 + (dz')^2\) and work our way toward showing that this equals \(-c^2 dt^2 + dx^2 + dy^2 + dz^2\) so let's do that. By completing the exercise below you will see that these are indeed equivalent, and thereby show that the invariant distance between two infinitesimally separated points in spacetime is invariant under a Lorentz transformation.

Box \(\PageIndex{2}\)

**Exercise 4.2.1:**

Show that \((ds')^2 = -c^2 (dt')^2 + (dx')^2 + (dy')^2 + (dz')^2\) is the same as \(-c^2 dt^2 + dx^2 + dy^2 + dz^2\) if the two coordinate systems are related by a Lorentz transformation; i.e., complete the demonstration as set up in the text immediately above. To give you a little less writing to do, feel free to drop the \(y\) and \(z\) coordinates (and their primed versions) since their transformation is trivial. Keep in mind that \(1/\gamma^2 = 1-v^2/c^2\).

Rather than the Lorentz transformation itself, the key thing to take away from this chapter is the definition of the invariant distance. We will be using it for the rest of the course, generalized to spacetimes with "curvature." Before doing so, we give some exercises here in which you get to make use of the invariant distance to solve problems in the more familiar context of a flat spacetime, the so-called Minkowski space you are familiar with from special relativity. A Minkowski space is simply a spacetime that can be labeled with \(t,x,y,z\) such that the invariant distance is given by Equation \ref{eqn:invdist}.

In Minkowski space, as one of the homework problems asks you to show, a finite (as opposed to infinitesmial) version of the invariant distance equation is also true:

\[(\Delta s)^2 = -c^2 (\Delta t)^2 + (\Delta x)^2 + (\Delta y)^2 + (\Delta z)^2\]

for trajectories that are straight lines, with \(\Delta s \equiv \int d\lambda \frac{ds}{d\lambda}\) also invariant under Lorentz transformations.

To demonstrate some of the utility of the invariant distance equation let's use it to derive the phenomenon of time dilation. Specifically, let's calculate the time that elapses on a clock traveling in a straight line at speed \(v\) from \(x_1,t_1\) to \(x_2, t_2\). We will find that it is *not* \(t_2 - t_1\).

First, let's draw the trajectory of the clock on two spacetime diagrams: one with a coordinate system in which the clock is moving with speed \(v\) and the other with a coordinate system that has the clock at rest.

The time that elapses on the clock as it travels between these two points will be \(t'_2-t'_1\). We know this because we assume it is a good clock and the primed coordinate system has been constructed so that this is the case for clocks at rest in the primed coordinate system. (We also assume the same about the construction of the unprimed coordinate system, that a clock at rest there, will show a time elapsed of \(t_2-t_1\) as it travels, without spatial translation, from a spacetime point with time coordinate \(t_1\) to a spacetime point with time coordinate \(t_2\)).

For the first coordinate system we have an invariant distance between points 1 and 2:

\[\begin{equation*}

\begin{aligned}

(\Delta s)^2 = -c^2(t_2 - t_1)^2 + (x_2 - x_1)^2 = -c^2(\Delta t)^2 + (\Delta x)^2.

\end{aligned}

\end{equation*}\]

For the prime system we have an invariant distance between points 1 and 2:

\[\begin{equation*}

\begin{aligned}

(\Delta s')^2 = -c^2(t'_2 - t'_1)^2.

\end{aligned}

\end{equation*}\]

Now we set them equal and solve for \(t'_2 - t'_1\):

\[\begin{equation*}

\begin{aligned}

-c^2(t'_2 - t'_1)^2 & = -c^2(\Delta t)^2 + (\Delta x)^2 \\ \\ (t'_2 - t'_1)^2 & = (\Delta t)^2 - \frac{(\Delta x)^2}{c^2} \\ \\ {\rm note} \; & {\rm that,} \; \frac{(\Delta x)^2}{(\Delta t)^2} = v^2 \\ \\ (t'_2 - t'_1)^2 & = (\Delta t)^2\Big(1 - \frac{v^2}{c^2}\Big) \\ \\ t'_2 - t'_1 & = \gamma^{-1}\Delta t

\end{aligned}

\end{equation*}\]

So we see that the time elapsed on the clock is not \(\Delta t = t_2 -t_1\) but instead \(\Delta t/\gamma \).

Note that we could also have just calculated \( (\Delta s)^2\) in the unprimed frame and used our physical interpretation of \( \sqrt{-(\Delta s)^2/c^2} \) (for \( (\Delta s)^2 < 0\) ) as the time that elapses on a clock traveling from point 1 to point 2.

Box \(\PageIndex{3}\)

**Exercise 4.3.1: **In the above derivation we identified \( \Delta x / \Delta t\) as the speed of the clock \(v\). Why is this justified?

## Summary and Discussion

In our study of spatial geometry we came to view coordinates as mere labelings of points in a space, with no physical significance on their own. Physical significance came through a rule that related infinitesimal differences in the coordinate values of a pair of points to an infinitesimal distance, \(ds\). Now we have extended space to spacetime with the introduction of a temporal coordinate, that so far we have always called \(t\). Once again we label all the points in a spacetime with coordinates that have no physical significance on their own. Physical meaning comes through a rule relating infinitesimal differences in the coordinate values of a pair of points to something observable, although in this case the rule is a bit more complicated.

You might ask why the rule is more complicated; why is it the way it is? To which one could answer, "we do not know; we just work here!" To expand on this, we do not know why the rule is as it is, but we have discovered through experiments, and abstraction from these experiments, that this rule works. Through the exercises and homework problems you can see how this rule naturally incorporates the phenomenon of time dilation. You could also work out for yourself how it incorporates the phenomenon of Lorentz contraction. The rule basically encapsulates what we have *discovered* about the local structure of spacetime.

The rule is telling us about the local structure of spacetime in the sense that it is telling us about time spans and lengths associated with points that are only separated by infinitesimal amounts. This local aspect is preserved as we move on, in subsequent chapters, to study the global structure. Thus the infinitesimal invariant distance is an important concept in our study of the expansion of the universe.

In the table below we summarize the physical meaning of \(ds^2\) and the rules relating coordinate separations to observables for a variety of spaces/spacetimes and coordinate systems. So far the spacetimes we have introduced have been static; not evolving in time. In the next chapter we will introduce a dynamic spacetime, a 1+1-dimensional analog of the expanding spacetime we appear to inhabit, and then begin to study the observable consequences of these changes over time.

## HOMEWORK Problems

Problem \(\PageIndex{1}\)

Show, by solving for \(x\) and \(t\) that the inverse Lorentz transformation is the same as the forward transformation but with \(v \rightarrow -v\). Explain what this has to do with the principle of relativity.

Problem \(\PageIndex{2}\)

Show that for straight paths in spacetime, that \((\Delta s)^2 = -c^2 (\Delta t)^2 + (\Delta x)^2\) follows from \(ds^2 = -c^2 dt^2 + dx^2\). Hint: all straight paths in spacetime (at least the flat spacetime of special relativity we are studying now) can be parametrized via: \(t-t_0=\lambda, x=x_0 +v\lambda\).

Problem \(\PageIndex{3}\)

Events A and B occur 10 meters and 100 ns apart in time in frame 1. If they occur 95 ns apart in frame 2, what must their spatial separation be in frame 2?

Problem \(\PageIndex{4}\)

An astronaut leaves Earth and then returns to find their twin is much older. Assume one twin stays at rest on the Earth while the other departs at speed v and then turns around and comes back to their twin once again at speed v. Assume the time elapsed for the stay-at-home twin, between departure and return, is \(t_2 -t_1\). How much time elapses for the astronaut twin between departure and return? Draw a spacetime diagram in a frame that has the stay-at-home twin at a fixed location and make use of the invariant distance.