Special Relativity by David W Hogg

Download as pdf or txt
Download as pdf or txt
You are on page 1of 53
At a glance
Powered by AI
The document discusses the theory of special relativity and its key concepts such as time dilation, length contraction, relativity of simultaneity, spacetime diagrams, and the Lorentz transformations.

The document discusses principles such as Einstein's principle of relativity, Galilean relativity, and the constancy of the speed of light. It also discusses concepts such as reference frames, proper time, causality and the idea that nothing can travel faster than the speed of light.

The document discusses experiments such as the Michelson-Morley experiment and its implications for the luminiferous aether theory. It also discusses other experiments that provided evidence for concepts in special relativity such as time dilation.

Special Relativity

David W. Hogg
School of Natural Sciences
Institute for Advanced Study
Olden Lane
Princeton NJ 08540
hogg@ias.edu

1 December 1997

Contents
1 Principles of relativity
1.1 What is a principle of relativity? . . .
1.2 Einsteins principle of relativity . . . .
1.3 The Michelson-Morley experiment . .
1.4 The specialness of special relativity
2 Time dilation and length contraction
2.1 Time dilation . . . . . . . . . . . . .
2.2 Observing time dilation . . . . . . .
2.3 Length contraction . . . . . . . . . .
2.4 Magnitude of the effects . . . . . . .
2.5 Experimental confirmation . . . . . .

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

1
1
2
3
5

.
.
.
.
.

7
7
8
9
10
10

3 The
3.1
3.2
3.3
3.4
3.5
3.6

geometry of spacetime
Spacetime diagrams . . . . . . . . .
Boosting: changing reference frames
The ladder and barn paradox . . .
Relativity of simultaneity . . . . . .
The boost transformation . . . . . .
Transforming space and time axes .

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

13
13
13
15
16
16
17

4 The
4.1
4.2
4.3
4.4
4.5

Lorentz transformation
Proper time and the invariant interval . .
Derivation of the Lorentz transformation .
The Lorentz transformation . . . . . . . .
Velocity addition . . . . . . . . . . . . . .
The twin paradox . . . . . . . . . . . . . .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

19
19
20
20
21
22

5 Causality and the interval


5.1 The ladder and barn revisited . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.2 Causality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.3 Nothing can travel faster than the speed of light . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

25
25
26
26

6 Relativistic mechanics
6.1 Scalars . . . . . . . . . . . . . . . . . . . . . . . . .
6.2 4-vectors . . . . . . . . . . . . . . . . . . . . . . . .
6.3 4-velocity . . . . . . . . . . . . . . . . . . . . . . .
6.4 4-momentum, rest mass and conservation laws . .
6.5 Collisions . . . . . . . . . . . . . . . . . . . . . . .
6.6 Photons and Compton scattering . . . . . . . . . .
6.7 Mass transport by photons . . . . . . . . . . . . .
6.8 Particle production and decay . . . . . . . . . . . .
6.9 Velocity addition (revisited) and the Doppler shift
6.10 4-force . . . . . . . . . . . . . . . . . . . . . . . . .

29
29
29
30
30
31
32
33
34
34
34

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

7 Optics and apparent effects: special relativity applied


7.1 Doppler shift (revisited) . . . . . . . . . . . . . . . . . .
7.2 Stellar Aberration . . . . . . . . . . . . . . . . . . . . .
7.3 Superluminal motion . . . . . . . . . . . . . . . . . . . .
7.4 Relativistic beaming . . . . . . . . . . . . . . . . . . . .
7.5 The appearance of passing objects . . . . . . . . . . . .
7.6 A simpleminded cosmology . . . . . . . . . . . . . . . .

to astronomy
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

37
37
38
38
39
40
40

References

43

Index

45

ii

Preface

Acknowledgments

For me, the wonder of special relativity lies in its successful prediction of interesting and very nonintuitive phenomena from simple arguments with simple premises.
These notes have three (perhaps ambitious) aims:
(a) to introduce undergraduates to special relativity from
its founding principle to its varied consequences, (b) to
serve as a reference for those of us who need to use special relativity regularly but have no long-term memory,
and (c) to provide an illustration of the methods of theoretical physics for which the elegance and simplicity of
special relativity are ideally suited. History is a part of
all scienceI will mention some of the relevant events
in the development of special relativitybut there is no
attempt to present the material in a historical way.
A common confusion for students of special relativity
is between that which is real and that which is apparent. For instance, length contraction is often mistakenly
thought to be some optical illusion. But moving things
do not appear shortened, they actually are shortened.
How they appear depends on the particulars of the observation, including distance to the observer, viewing angles,
times, etc. The observer finds that they are shortened
only after correcting for these non-fundamental details of
the observational procedure. I attempt to emphasize this
distinction: All apparent effects, including the Doppler
Shift, stellar aberration, and superluminal motion, are
relegated to Chapter 7. I think these are very important aspects of special relativity, but from a pedagogical
standpoint it is preferable to separate them from the basics, which are not dependent on the properties of the
observer.
I love the description of special relativity in terms of
frame-independent, geometric objects, such as scalars and
4-vectors. These are introduced in Chapter 6 and used
thereafter. But even before this, the geometric properties of spacetime are emphasized. Most problems can be
solved with a minimum of algebra; this is one of the many
beautiful aspects of the subject.
These notes, first written while teaching sections of
first-year physics at Caltech, truly represent a work in
progress. I strongly encourage all readers to give me comments on any aspect of the text ; all input is greatly appreciated. Thank you very much.

Along with Caltech teaching assistantships, several NSF


and NASA grants provided financial support during the
time over which this was written. I thank the enlightened
members of our society who see fit to support scientific
research and I encourage them to continue.
My thanks go to the Caltech undergraduates to whom
I have taught this material; they shaped and criticized
the content of these notes directly and indirectly from
beginning to end. I also thank the members of Caltechs
astronomy and physics departments, faculty, staff and my
fellow students, from whom I have learned much of this
material, and Caltech for providing an excellent academic
atmosphere. I owe debts to Mathew Englander, Adam
Leibovich and Daniel Williams for critical reading of early
drafts; Steve Frautschi, David Goodstein, Andrew Lange,
Bob McKeown and Harvey Newman for defining, by example, excellent pedagogy; and mentors Michel Baranger,
Roger Blandford, Gerry Neugebauer and Scott Tremaine
for shaping my picture of physics in general.

email:

David W. Hogg
Princeton, New Jersey
November 1997

hogg@ias.edu

iii

iv

Chapter 1

Principles of relativity
These notes are devoted to the consequences of Einsteins (1905) principle of special relativity, which states
that all the fundamental laws of physics are the same
for all uniformly moving (non-accelerating) observers. In
particular, all of them measure precisely the same value
for the speed of light in vacuum, no matter what their
relative velocities. Before Einstein wrote, several principles of relativity had been proposed, but Einstein was
the first to state it clearly and hammer out all the counterintuitive consequences. In this Chapter the concept of
a principle of relativity is introduced, Einsteins is presented, and some of the experimental evidence prompting
it is discussed.
1.1

leaves out the phrase with respect to the Earth, but it


is there implicitly. In other words, you cannot contest a
speeding ticket on the strength of Galileos principle since
it is implicit in the law that the speed is to be measured
with respect to the road.
When Kepler first introduced a heliocentric model of
the Solar System, it was resisted on the grounds of common sense. If the Earth is orbiting the Sun, why cant we
feel the motion? Relativity provides the answer: there
are no local, observational consequences to our motion.
Now that the Earths motion is generally accepted, it has
become the best evidence we have for Galilean relativity.
On a day-to-day basis we are not aware of the motion of
the Earth around the Sun, despite the fact that its orbital
speed is a whopping 30 km s1 (100, 000 km h1 ). We are
also not aware of the Suns 220 km s1 motion around
the center of the Galaxy (e.g., Binney & Tremaine 1987,
Chapter 1) or the roughly 600 km s1 motion of the local
group of galaxies (which includes the Milky Way) relative to the rest frame of the cosmic background radiation
(e.g., Peebles 1993, Section 6). We have become aware
of these motions only by observing extraterrestrial references (in the above cases, the Sun, the Galaxy, and the
cosmic background radiation). Our everyday experience
is consistent with a stationary Earth.

What is a principle of relativity?

The first principle of relativity ever proposed is attributed


to Galileo, although he probably did not formulate it precisely. Galileos principle of relativity says that sailors on
a uniformly moving boat cannot, by performing on-board
experiments, determine the boats speed. They can determine the speed by looking at the relative movement of
the shore, by dragging something in the water, or by measuring the strength of the wind, but there is no way they
can determine it without observing the world outside the
boat. A sailor locked in a windowless room cannot even
tell whether the ship is sailing or docked .
This is a principle of relativity, because it states that
there are no observational consequences of absolute motion. One can only measure ones velocity relative to
something else.
As physicists we are empiricists: we reject as meaningless any concept which has no observable consequences,
so we conclude that there is no such thing as absolute
motion. Objects have velocities only with respect to
one another. Any statement of an objects speed must be
made with respect to something else.
Our language is misleading because we often give
speeds with no reference object. For example, a police
officer might say to you Excuse me, but do you realize
that you were driving at 85 miles per hour? The officer

Problem 11:
You are driving at a steady
100 km h1 . At noon you pass a parked police car. At
twenty minutes past noon, the police car passes you, travelling at 120 km h1 . (a) How fast is the police car moving
relative to you? (b) When did the police car start driving,
assuming that it accelerated from rest to 120 km h1 instantaneously? (c) How far away from you was the police
car when it started?
Problem 12: You are walking at 2 m s1 down a
straight road, which is aligned with the x-axis. At time
t = 0 s you sneeze. At time t = 5 s a dog barks, and
at the moment he barks he is x = 10 m ahead of you
in the road. At time t = 10 s a car which is just then
15 m behind you (x = 15 m) backfires. (a) Plot the
Actually,

there are some observational consequences to the


Earths rotation (spin): for example, Foucaults pendulum, the existence of hurricanes and other rotating windstorms, and the preferred direction of rotation of draining water. The point here is
that there are no consequences to the Earths linear motion through
space.

The sailor is not allowed to use some characteristic rocking or


creaking of the boat caused by its motion through the water. That
is cheating and anyway it is possible to make a boat which has no
such property on a calm sea

Chapter 1. Principles of relativity

positions x and times t of the sneeze, bark and backfire,


relative to you, on a two-dimensional graph. Label the
points. (b) Plot positions x0 and times t0 of the sneeze,
bark and backfire, relative to an observer standing still, at
the position at which you sneezed. Assume your watches
are synchronized.
Problem 13: If you throw a superball at speed v
at a wall, it bounces back with the same speed, in the
opposite direction. What happens if you throw it at speed
v towards a wall which is travelling towards you at speed
w? What is your answer in the limit in which w is much
larger than v?
Problem 14: You are trying to swim directly east
across a river flowing south. The river flows at 0.5 m s1
and you can swim, in still water, at 1 m s1 . Clearly if
you attempt to swim directly east you will drift downstream relative to the bank of the river. (a) What angle
a will your velocity vector relative to the bank make
with the easterly direction? (b) What will be your speed
(magnitude of velocity) va relative to the bank? (c) To
swim directly east relative to the bank, you need to head
upstream. At what angle c do you need to head, again
taking east to be the zero of angle? (d) When you swim at
this angle, what is your speed vc relative to the bank?
1.2

Einsteins principle of relativity

Einsteins principle of relativity says, roughly, that every


physical law and fundamental physical constant (including, in particular, the speed of light in vacuum) is the
same for all non-accelerating observers. This principle
was motivated by electromagnetic theory and in fact the
field of special relativity was launched by a paper entitled (in English translation) On the electrodynamics of
moving bodies (Einstein 1905). Einsteins principle is
not different from Galileos except that it explicitly states
that electromagnetic experiments (such as measurement
of the speed of light) will not tell the sailor in the windowless room whether or not the boat is moving, any
more than fluid dynamical or gravitational experiments.
Since Galileo was thinking of experiments involving bowls
of soup and cannonballs dropped from towers, Einsteins
principle is effectively a generalization of Galileos.
The
governing equations of electromagnetism, Maxwells equations
(e.g., Purcell 1985), describe the interactions of magnets,
electrical charges and currents, as well as light, which is
a disturbance in the electromagnetic field. The equations
depend on the speed of light c in vacuum; in other words,
if the speed of light in vacuum was different for two different observers, the two observers would be able to tell this
simply by performing experiments with magnets, charges
and currents. Einstein guessed that a very strong principle of relativity might hold, that is, that the properties
This paper is extremely readable and it is strongly reccomended
that the student of relativity read it during a course like this one.
It is available in English translation in Lorentz et al. (1923).

of magnets, charges and currents will be the same for all


observers, no matter what their relative velocities. Hence
the speed of light must be the same for all observers. Einsteins guess was fortified by some experimental evidence
available at the time, to be discussed below, and his principle of relativity is now one of the most rigorously tested
facts in all of physics, confirmed directly and indirectly
in countless experiments.
The consequences of this principle are enormous. In
fact, these notes are devoted to the strange predictions
and counterintuitive results that follow from it. The most
obvious and hardest to accept (though it has been experimentally confirmed countless times now) is that the following simple rule for velocity addition (the rule you must
have used to solve the Problems in the previous Section)
is false:
Consider a sailor Alejandro (A) sailing past an observer Barbara (B) at speed u. If A throws a cantaloupe,
in the same direction as he is sailing past B, at speed
v0 relative to himself, B will observe the cantaloupe to
travel at speed v = v0 + u relative to herself. This rule for
velocity addition is wrong. Or imagine that A drops the
cantaloupe into the water and observes the waves traveling forward from the splash. If B is at rest with respect
to the water and water waves travel at speed w relative to
the water, B will obviously see the waves travel forward
from the splash at speed w. On the other hand A, who
is moving forward at speed u already, will see the waves
travel forward at lower speed w0 = w u. This rule for
velocity addition is also wrong!
After all, instead of throwing a cantaloupe, A could
have shined a flashlight. In this case, if we are Galileans
(that is, if we believe in the above rule for velocity addition), there are two possible predictions for the speeds at
which A and B observe the light to travel from the flashlight. If light is made up of particles which are emitted
from their source at speed c relative to the source, then A
will observe the light to travel at speed c relative to himself, while B will observe it to travel at c + u relative to
herself. If, on the other hand, light is made up of waves
that travel at c relative to some medium (analogous to
the water for water waves), then we would expect A to
see the light travel at c u and B to see it travel at c (assuming B is at rest with the medium). Things get more
complicated if both A and B are moving relative to the
medium, but in almost every case we expect A and B to
observe different speeds of light if we believe our simple
rule for velocity addition.
Einsteins principle requires that A and B observe exactly the same speed of light, so Einstein and the simple
rules for velocity addition cannot both be correct. It turns
out that Einstein is right and the obvious rules for velocity addition are incorrect. In this, as in many things
we will encounter, our initial intuition is wrong. We will
try to build a new, correct intuition based on Einsteins
principle of relativity.
Problem 15: (For discussion.) What assumptions
does one naturally make which must be wrong in order for

1.3. The Michelson-Morley experiment

A and B to measure the same speed of light in the above two beams are recombined and the interference pattern
example? Consider how speeds are measured: with rulers is observed through a telescope at the output. The whole
and clocks.
apparatus is mounted on a stone platform which is floated
on mercury to stabilize it and allow it to be easily rotated.
Figure 1.1 shows the apparatus, and Figure 1.2 shows a
1.3 The Michelson-Morley experiment
simplified version.
In the late nineteenth century, most physicists were convinced, contra Newton (1730), that light is a wave and not
a particle phenomenon. They were convinced by interference experiments whose results can be explained (classically) only in the context of wave optics. The fact that
light is a wave implied, to the physicists of the nineteenth
century, that there must be a medium in which the waves
propagatethere must be something to waveand the
speed of light should be measured relative to this medium,
called the aether. (If all this is not obvious to you, you
probably were not brought up in the scientific atmosphere
of the nineteenth century!) The Earth orbits the Sun, so
it cannot be at rest with respect to the medium, at least
not on every day of the year, and probably not on any
day. The motion of the Earth through the aether can
be measured with a simple experiment that compares the
speed of light in perpendicular directions. This is known
as the Michelson-Morley experiment and its surprising result was a crucial hint for Einstein and his contemporaries
in developing special relativity.
Imagine that the hypothesis of the aether is correct,
that is, there is a medium in the rest frame of which
light travels at speed c, and Einsteins principle of relativity does not hold. Imagine further that we are performing an experiment to measure the speed of light c Figure 1.1: The Michelson-Morley apparatus (from Michelon the Earth, which is moving at velocity v (a vector son & Morley 1887). The light enters the apparatus at a, is
with magnitude v ) with respect to this medium. If we split by the beam splitter at b, bounces back and forth bemeasure the speed of light in the direction parallel to the tween mirrors d and e, d1 and e1 , with mirror e1 adjustable
Earths velocity v , we get c = c v because the to make both paths of equal length, the light is recombined
Earth is chasing the light. If we measure the speed of again at b and observed through the telescope at f. A plate
light in the opposite directionantiparallel to the Earths of glass c compensates, in the direct beam, for the extra
velocitywe get c = c + v . If we measure in q
the direc- light travel time of the reflected beam travelling through
2
the beam splitter an extra pair of times. See Figure 1.2 for
tion perpendicular to the motion, we get c = c2 v
because the speed of light is the hypotenuse of a right a simplified version.
triangle with sides of length c and v . If the aether
hypothesis is correct, these arguments show that the motion of the Earth through the aether can be detected with
a laboratory experiment.
The Michelson-Morley experiment was designed to
perform this determination, by comparing directly the
speed of light in perpendicular directions. Because it is
very difficult to make a direct measurement of the speed
of light, the device was very cleverly designed to make an
accurate relative determination. Light entering the apparatus from a lamp is split into two at a half-silvered
mirror. One half of the light bounces back and forth 14
times in one direction and the other half bounces back
and forth 14 times in the perpendicular direction; the
total distance travelled is about 11 m per beam. The
The

information in this section comes from Michelson & Morley


(1887) and the history of the experiment by Shankland (1964).
The demonstration of this is left as an exercise.

If the total length of travel of each beam is ` and one


beam is aligned parallel to v and the other is aligned
perpendicular, the travel time in the parallel beam will
be
tk =

`
`
`c
+
= 2
2
2 (c + v ) 2 (c v )
c v

(1.1)

because half the journey is made upstream and half


downstream. In the perpendicular beam,
t = q

`
2
c2 v

(1.2)

because the whole journey is made at the perpendicular


velocity. Defining v /c and pulling out common
factors, the difference in travel time, between parallel and

Chapter 1. Principles of relativity


Morley were therefore able to place upper limits on the
speed of the Earth v through the aether; the upper limits were much lower than the expected speed simply due
to the Earths orbit around the Sun (let alone the Suns
orbit around the Galaxy and the Galaxys motion among
its neighboring galaxies).
Michelson and Morley concluded that something was
wrong with the standard aether theory; for instance, perhaps the Earth drags its local aether along with it, so
we are always immersed in locally stationary aether. In
a famous paper, Lorentz (1904) proposed that all moving bodies are contracted along the direction of their motion by the amount exactly necessary for the MichelsonMorley result to be null. Both these ideas seemed too
much like fine-tuning a so-far unsubstatiated theory.

Einsteins explanationthat there is no aether and


that the speed of light is the same for all observers
(and in all directions)is the explanation that won out
eventually.k The Michelson-Morley experiment was an
attempt by sailors (Michelson and Morley) to deterFigure 1.2: The Michelson apparatus (from Kleppner & mine the speed of their boat (the Earth) without lookKolenkow 1973), the predecessor to the Michelson-Morley ing out the window or comparing to some other object, so
apparatus (Figure 1.1). The Michelson apparatus shows according to the principle of relativity, they were doomed
more clearly the essential principle, although it is less sensi- to failure.
tive than the Michelson-Morley apparatus because the path
Problem 16: With perfect mirrors and light source,
length is shorter.
the Michelson-Morley apparatus can be made more sensitive by making the path lengths longer. Why is a deperpendicular beams, is
vice with longer paths more sensitive? The paths can be
"
#
lengthened by making the platform larger or adding more
`
1
1
t =
p
(1.3) mirrors (see Figure 1.1). In what ways would such modic 1 2
fication also degrade the performance of the device given
1 2
imperfect mirrors and light source (and other real-world
For small x, (1 + x)n 1 + n x, so
concerns)? Discuss the pros and cons of such modifications.
` 2
t

(1.4)
2c
Problem 17: Show that under the hypothesis of a
Since the apparatus will be rotated, the device will swing stationary aether, the speed of light as observed from a
from having one arm parallel to the motion of the Earth platform moving at speed v, in the
direction perpendicuand the other perpendicular to having the one perpendic- lar to the platforms motion, is c2 v2 . For a greater
ular and the other parallel. So as the device is rotated challenge: what is the observed speed for an arbitrary anthrough a half turn, the time delay between arms will gle between the direction of motion and the direction in
which the speed of light is measured? Your answer should
change by twice the above t.
The lateral position of the interference fringes as mea- reduce to c + v and c v for = 0 and .
sured in the telescope is a function of the relative travel
It is worthy of note that when Michelson and Morley
times of the light beams along the two paths. When the
first designed their experiment and predicted the fringe
travel times are equal, the central fringe lies exactly in the
shift, they did not realize that the speed of light perpencenter of the telescope field. If the paths differ by one-half
dicular to the direction of motion of the platform would
a period (one-half a wavelength in distance units), the
be other than c. This correction was pointed out to them
fringes shift by one-half of the fringe separation, which
by Potier in 1881 (Michelson & Morley, 1887).
is well resolved in the telescope. As the apparatus is
rotated with respect to the Earths motion through the
aether, the relative travel times of the light along the two
k It was also Poincar
paths was expected to change by 0.4 periods, because (in
es (1900) explanation. Forshadowing Einthe aether model) the speed of light depends on direc- stein, he said that the Michelson-Morley experiment shows that
tion. The expected shift of the interference fringes was absolute motion cannot be detected to second order in v/c and so
perhaps it cannot be detected to any order. Poincare is also al0.4 fringe spacings, but no shift at all was observed as legedly the first person to have named this proposal a principle of
the experimenters rotated the apparatus. Michelson and relativity.

1.4. The specialness of special relativity


1.4

The specialness of special relativity

Why is this subject called special relativity, and not


just relativity? It is because the predictions we make
only strictly hold in certain special situations.
Some of the thought experiments (and real experiments) described in these notes take place on the surface
of the Earth, and we will assume that the gravitational
field of the Earth (and all other planets and stars) is
negligible. The laws of special relativity strictly hold
only in a freely falling reference frame in which the observers experience no gravity. The laws strictly hold when
we are falling towards the Earth (as in a broken elevator;
e.g., Frautschi et al., 1986, ch. 9) or orbiting around the
Earth (as in the Space Shuttle; ibid.), but not when we
are standing on it.
Does the gravitational field of the Sun affect our results? No, because we are orbiting the Sun. The Earth
is in a type of free fall around the Sun. Does the rotation of the Earth affect our results? Yes, because the
centrifugal force that is felt at the equator is equivalent
to an outward gravitational force. However, this effect is
much smaller than the Earths gravity, so it is even more
negligible.
In addition, we are going to assume that all light signals are travelling in vacuum. The speed of light in air
is actually a bit less than the speed of light in vacuum.
We will neglect this difference. The c that comes into
the general equations that we will derive is the speed of
light in vacuum, no matter what the speed at which light
is actually travelling in the local medium. Everything is
simpler if we just treat all our experiments as if they are
occurring in vacuum.
Problem 18: (Library excercise.) How much slower
(or faster) is the speed of light in air, relative to vacuum?
How do you think the speed will depend on temperature
and pressure? How much slower (or faster) is the speed
of light in glass and water, relative to vacuum. Give your
references.
Problem 19: You shine a flashlight from one end
zone of a football field to a friend standing in the other
end zone. Because of the Earths gravity, the beam of
light will be pulled downwards as it travels across the
field. Estimate, any way you can, the distance the light
will drop vertically as it travels across the field. What
deflection angle does this correspond to, in arcseconds?
Dont worry about getting a precise answer, just estimate the order of magnitude of the effect.

The fractional error that the Earths gravity introduces into the
experiments we describe must depend only on the acceleration due
to gravity g, the parameters of each experiment, and fundamental
constants. Fractional error is dimensionless, and the most obvious
fundamental constant to use is c. The ratio g/c has dimensions
of inverse time. This suggests that an experiment which has a
characteristic time or length ` will not agree with the predictions
of special relativity to better than a fractional error of about g/c
or ` g/c2 if it is performed on the surface of the Earth.

Chapter 1. Principles of relativity

Chapter 2

Time dilation and length contraction


This Chapter is intended to demonstrate the simplicity of special relativity. With one basic thought experiment the two most important effects predicted by the
mirror
theory are derived: time dilation and length contraction.
evacuated tube
For the beginning student of relativity, this is the most
0.5 m
lightbulb
important chapter.
shield
It is emphasized that the predicted effects are real,
photodetector
not just apparent.
Before starting, recall Einsteins (1905) principle of
relativity (hereafter the principle of relativity): there
is no preferred reference frame; no entirely on-board experiment can tell a sailor the speed of her or his boat. Its
first consequence is that the speed of light is the same in
all frames.
Figure 2.1: The schematic layout of a light-clock. The
round-trip distance (lightbulb to mirror to photodetector)
2.1 Time dilation
for the light is 1 m.
Consider two observers, Deepto (D) and Erika (E), moving relative to one another in spaceships. D measures Es
speed to be u with respect to Ds rest frame. By symmetry, E must also measure Ds speed to be u with respect
to Es rest frame. If this is not obvious to you, notice that
there is no absolute difference between D and E. If they
did not measure the same speed, which one of them would
measure a higher speed? In order for one to measure a
higher speed, one of them would have to be in a special
or preferred frame; the principle of relativity precludes
this.
Now imagine that D and E each carry a clock of a
certain very strange type. These light-clocks consist
of an evacuated glass tube containing a lightbulb, a mirror, a photodetector and some electrical equipment. The
photodetector is right next to the lightbulb (but separated by a light-blocking shield) and the mirror is 0.5 m
from the lightbulb (see Figure 2.1). When the clock is
started, the lightbulb flashes, light bounces off the mirror
and back into the photodetector. When the photodetector registers the light, it immediately signals the lightbulb
to flash again. Every time the photodetector registers a
light pulse, it flashes the bulb again.
The round-trip distance for the light inside the lightclock is 1 m and the speed of light c is roughly 3
108 m s1 , so the round-trip time for the light is roughly
3.3 109 s. The clock ticks off time in 3.3 ns (nanosecond) intervals. The speed of light is the same for all

observers, so c can be seen as a conversion factor between


time and distance. Under this interpretation, the clock
ticks off time in meters!
Imagine that D holds his light-clock so that the light is
bouncing back and forth at right angles to his direction of
motion with respect to E. D observes the light flashes in
his clock to make 1 m round trips in t = 3.3 ns intervals.
What does E observe? Recall that D is moving at speed
u with respect to E, so in Es rest frame the light in Ds
clock is not really making round trips. As it travels down
the tube and back, D is advancing in the perpendicular
direction; the light takes a zig-zag path which is longer
than the straight back-and-forth path (see Figure 2.2).
By the principle of relativity, E and D must observe the
same speed of light, so we are forced to conclude that
E will measure longer time intervals t0 between the
flashes in Ds clock than D will. (In this chapter, all
quantities that E measures will be primed and all that
D measures will be unprimed.) What is the difference
between t and t0 ?
In Es rest frame, in time t0 , D advances a distance
Now that the meter is defined in terms of the second, this is in
fact the interpretation of the speed of light that the International
Standards Organization accepts. The speed of light is defined to be
2.99792458 108 m s1 .
What is meant by measure here is explained in the next
SectionErika is a very good scientist!

Chapter 2. Time dilation and length contraction

prove that it is not possible for D to observe both timepieces to tick at the same rate while E observes them to
tick at different rates.
The reader might object that we have already violated relativity: if D and E are in symmetric situations,
how come E measures longer time intervals? We must be
y
y
careful. E measures longer time intervals for Ds clock
2
2
than D does. By relativity, it must be that D also measures longer time intervals for Es clock than E does. Indeed this is true; after all, all of the above arguments are
equally applicable if we swap D and E. This is the fundamentally counterintuitive aspect of relativity. How it
can be that both observers measure slower rates on the
x=0
x
others clock? The fact is, there is no contradiction, as
long as we are willing to give up on a concept of absoFigure 2.2: The trajectory of the light in Ds light-clock, as lute time, agreed-upon by all observers. The next two
observed by (a) D and (b) E. Note that the light follows Chapters explore this and attempt to help develop a new
a longer path in Es frame, so E measures a longer time intuition.
interval t0 .
Problem 21: Your wristwatch ticks once per second. What is the time interval between ticks when your
x0 = u t0 and the light in Ds clock must go a to- wristwatch is hurled past you at half the speed of light?
tal distance `0 = c t0 . By the Pythagorean theorem
(`0 )2 = (x0 )2 + (y)2 , where y is the total round- Problem 22: How fast does a clock have to move
trip length of the clock (1 m in this case) in its rest frame to be ticking at one tenth of its rest tick rate? One oneand for now it has been assumed that y = y0 (this will hundredth? One one-thousandth? Express your answers
be shown in Section 2.3). Since y = ` = c t, we find in terms of the difference 1 , where of course
v/c.
t
0
(2.1) Problem 23: Consider the limit in which  1, so
t = q
2
its inverse 1/ is a small number. Derive an approxima1 uc2
tion for of the form 1  which is correct to second
The time intervals between flashes of Ds clock are longer order in 1/.
as measured by E than as measured by D. This effect is
Problem 24: Consider the low-speed limit, in which
called time dilation. Moving clocks go slow.
 1. Derive an expression for of the form 1 + 
It is customary to define the dimensionless speed
which is correct to second order in .
and the Lorentz factor by
Problem 25: Prove (by thought experiment) that
u

(2.2) it is not possible for D to observe both his light-clock and


c
his wristwatch to tick at the same rate while E observes
1
them to tick at different rates. (Hint: Imagine that both
(2.3)
p
of Ds clocks punch a ticker tape and the experimentalists
1 2
compare the tapes after the experiment is over.)
Because (as we shall see later) nothing travels faster than
the speed of light, u is always less than c, so 0 < 1,
and 1. Using these new symbols, t0 = t.
2.2 Observing time dilation
Above we found that moving clocks go slow, but one
might object that we have shown only that these strange In the previous section, as in the rest of these notes, it is
light-clocks go slow. However, we can show that all clocks important to distinguish between what an ideally knowlare subject to the same time dilation. Suppose that in ad- edgeable observer observes and what an ordinary person
dition to his light-clock, D also has a wristwatch that ticks sees. As much as possible, the term to observe will be
every 3.3 ns, and suppose (incorrectly) that this watch is used to mean to measure a real effect with a correct exnot subject to time dilation; i.e., suppose that E observes perimental technique, while to see will be reserved for
the watch to tick with intervals of 3.3 ns no matter what apparent effects, or phenomena which relate to the fact
Ds speed. When D is not moving with respect to E the that we look from a particular viewpoint with a particwristwatch and light-clock tick at the same rate, but when ular pair of eyes. This means that we wont talk about
D is moving at high speed, they tick at different rates be- what is seen in detail until Chapter 7.
cause, by supposition, one is time-dilated and the other
Though E observes Ds clock to run slow, what she
is not. D could use the relative tick rates of the watch sees can be quite different. The time intervals between
and clock to determine his speed, and thereby violate the the flashes of Ds clock that she sees depends on the time
principle of relativity. It is left to the ambitious reader to dilation and the changing path lengths that the light tra-

(a) Ds frame

(b) Es frame

2.3. Length contraction

verses in getting to E. The path lengths are changing because D is moving with respect to E (see Figure 2.3). In
order to correctly measure the rate of Ds clock, E must
subtract the light-travel time of each pulse (which she
can compute by comparing the direction from which the
light comes with the trajectory that was agreed upon in
advance). It is only when she subtracts these time delays
that she measures the time between ticks correctly, and
when she does this, she will find that the time between
ticks is indeed t0 , the dilated time.

F4
F3

F2
F1
S2

S3

S4

a larger speed, which one could it be?) However, they


do not agree on the rate at which Ds clock ticks. While
E measures the distance between A and B to be `0 =
100 u t0, D measures it to be ` = 100 u t = `0 /. Since
> 1, D measures a shorter distance than E. D is moving
relative to the planets A and B, while E is stationary.
Planets A and B can be thought of as being at the ends
of a ruler stick which E is holding, a ruler stick which is
moving with respect to D. We conclude that moving ruler
sticks are shortened; this effect is length contraction, or
sometimes Lorentz contraction.
It is simple to show that length contraction acts only
parallel to the direction of motion. Imagine that both
E and D are carrying identical pipes, aligned with the
direction of their relative motion (see Figure 2.4). Let

S1
E
Figure 2.3: Observing the time delay. Because D is moving with respect to E, the flashes (F1 through F4 ) from his
clock travel along paths (S1 through S4 ) of different lengths
in getting to E. Hence different flashes take different times
to get to E. E must correct for this before making any statements about time dilation. It is after the correction is made
that E observes the predicted time dilation.
Problem 26: Consider a clock, which when at rest
produces a flash of light every second, moving away from
you at (4/5)c. (a) How frequently does it flash when
it is moving at (4/5)c? (b) By how much does distance between you and the clock increase between flashes?
(c) How much longer does it take each flash to get to your
eye than the previous one? (d) What, therefore, is the interval between the flashes you see?
You will find that the time interval between the flashes
you see is much longer than merely what time-dilation
predicts, because successive flashes come from further and
further away. This effect is known as the Doppler shift
and is covered in much more detail in Chapter 7
2.3

Length contraction

Imagine that E observes Ds clock to tick 100 times during


a journey from planet A to planet B, two planets at rest
in Es rest frame.
D must also observe 100 ticks during this same journey. After all, if we imagine that the clock punches a
time card each time it ticks and D inserts the time card
at point A and removes it at point B, it must have been
punched a definite number of times when it is removed. D
and E must agree on this number, because, for example,
they can meet later and examine the card.
In addition to agreeing on the number of ticks, D and
E also agree on their relative speed. (They must, because
there is total symmetry between them: if one measured

Figure 2.4: E and D carrying pipes to prove that there can be


no length changes perpendicular to the direction of motion.
us assume (incorrectly) that the large relative velocity
causes the diameter of Es pipe to contract in Ds frame.
If this happens, Ds pipe becomes larger than Es pipe,
so Es pipe fits inside Ds pipe. But E and D are interchangeable, so Ds pipe contracts in Es frame and Ds
pipe fits inside Es. Clearly it cannot be that both Ds
fits inside Es and Es fits inside Ds, so there is a contradiction; there can be no length changes perpendicular to
the direction of relative motion.
Note that because there are no length changes perpendicular to the direction of motion, we cannot explain
away time dilation and length contraction with length
changes in the light-clock perpendicular to the direction
of motion.
Problem 27: How fast do you have to throw a meter
stick to make it one-third its rest length?
Problem 28:
Two spaceships, each measuring
100 m in its own rest frame, pass by each other traveling
in opposite directions. Instruments on board spaceship A
determine that the front of spaceship B requires 5106 s
to traverse the full length of A. (a) What is the relative
velocity v of the two spaceships? (b) How much time
elapses on a clock on spaceship B as it traverses the full
length of A? (From French 1966.)
Problem 29:
That there can be no length contraction perpendicular to the direction of motion is often
demonstrated with the example of a train and its track;

10

Chapter 2. Time dilation and length contraction

i.e., if there were length changes perpendicular the train


would no longer fit on the track. Make this argument,
and in particular, explain why the train must fit on the
track no matter how fast it is going.

in one year) from the Earth. At what speed u must a 25year-old astronaut travel there and back if he or she is
to return before reaching age 45? By how much will the
astronauts siblings age over the same time?
This is the famous twin paradox, which we will cover
in
gory
detail in Section 4.5. For now, let us be simplistic
2.4 Magnitude of the effects
and answer the questions without thinking.
We want the elapsed time T 0 in the astronauts frame
As these example problems show, the effects of time dito
be
20 years as he or she goes a distance 2`0 , the dislation and length contraction are extremely small in everyday life, but large for high-energy particles and any tance from the Earth to Alpha Centauri and back in the
astronauts frame. The time and distance are related by
practical means of interstellar travel.
T 0 = 2`0 /u = 2`/(u). So we need u = 2`/T 0 . Dividing
Problem 210: In the rest frame of the Earth, the
by c, squaring and expanding we need
distance ` between New York and Los Angeles is roughly

2
4000 km. By how much is the distance shortened when
2
2`
observed from a jetliner flying between the cities? From
=
= (0.434)2
(2.7)
2
0
1

c
T
the Space Shuttle? From a cosmic ray proton traveling
at 0.9c?
This is a linear equation for 2 ; we find = 0.398. So the
In the rest frame, the distance is `; to an observer
astronaut must travel at u = 0.398c, and from the point
traveling at speed u along the line joining the cities, it is
of view of the siblings, the trip takes T = 2`/u = 21.8 yr.
`0 = `/. The difference is




p
2.5 Experimental confirmation
1
0
`` = 1
` = 1 1 2 `
(2.4)

As we have seen in the previous section, the effects of time


n
For  much smaller than unity, (1 + ) 1 + n , so for dilation and length contraction are not very big in our everyday experience. However, these predictions of special
speeds u  c or  1, we have
relativity have been confirmed experimentally. Time dila1 2
0
`` `
(2.5) tion is generally easier to confirm directly because Nature
2
provides us with an abundance of moving clocks, and beA jetliner takes about 6 h to travel from New York to cause in such experiments, it is generally more straightLos Angeles, so its speed is roughly u = 4000/6 km h1 forward to design procedures in which the delays from
or = 6 107 . Since  1, we have that ` `0 light travel time (discussed in Section 2.2) are not impor8107 m, or 0.8 microns! The Space Shuttle takes about tant. Of course in addition to experiments like the one
1.5 h to orbit the earth, on an orbit with radius roughly discussed in this section, both time dilation and length
contraction are confirmed indirectly countless times ev6500 km, so = 2.5 105 . Here ` `0 1.3 mm.
As for the cosmic ray proton, = 0.9, so it is no ery day in high energy physics experiments around the
longer true that  1; we gain nothing by using the world.
The first direct confirmation of time dilation was obapproximation. We find = 2.3 and so ` `0 = 2300 km.
tained by Bruno Rossi and David Hall, studying the
Problem 211: At rest in the laboratory, muons have decay of muons (in those days called mesotrons or
a mean life T of 2.2 106 s or 2.2 s, or in other words, mu mesons) as they descend through the Earths
the average time a muon exists from production (in a col- atmosphere. Muons are elementary particles produced
lision, say) to decay (into an electron and neutrinos) is at high altitude when cosmic rays (fast-moving pro2.2 s (Particle Data Group, 1994). If, as experimental- tons and other atomic nuclei) collide with atoms in the
ists, we need a sample of muons to have a longer mean Earths atmosphere. When produced more or less at
life of T 0 = 11 s, to what speed u must we accelerate rest in the laboratory, each muon has a mean lifetime
them? What distance `, on average, does one of these of = 2.5 106 seconds before it disintegrates. In0
high-speed muons travel before decaying?
deed, if one has N0 muons at time zero and then looks at
We want the muons to age at 1/5 their usual rate, so a later time t, the number of muons will have dropped
we want time dilation by a factor = 5. Inverting the to N (t) = N et/0 . If there were no such thing as
0
formula for we find
time dilation, the mean distance a muon moving at high
r
speed v = c could travel before disintegrating would be
1
= 1 2
(2.6) L = v0 . Similarly if at position zero one has N0 muons

moving at speed v down a tube, at a position x further


or in this case = 24/25. This makes u = 24c/25 and
` = u T = 630 m.
Problem 212: Alpha Centauri is a distance of ` =
4.34 light years (one light year is the distance light travels

The information in this section comes from Rossi & Hall (1941),
their extremely readable, original paper.
For those who care, muons are leptons, most analogous to electrons, with the same charge but considerably more mass. They are
unstable and typically decay into electrons and neutrinos.

2.5. Experimental confirmation

11

down the tube there would be only N (x) = N0 ex/L . would be measured in their own rest frame? (From French
As the speed of the muons approaches c, the mean range 1966.)
would approach c0 , or 750 m. Since the muons are created at high altitude, very few of them could reach the
ground.
However, we expect that time dilation does occur, and
so the mean life and range L of the moving muons
will be increased by the Lorentz factor (1 2 )1/2
to = 0 and L = v 0 . Although all the muons
will be moving at speeds close to c ( nearly 1), they
will have different particular values of and therefore
decay with different mean ranges. Bruno & Rossi measure the fluxes (number of muons falling on a detector
of a certain area per minute) of muons of two different
kinetic energies at observing stations in Denver and Echo
Lake, Colorado, separated in altitude by h = 1624 m
(Denver below Echo Lake). The higher-energy muons in
their experiment have Lorentz factor 1 18.8 (speed
v1 0.9986c) while the lower-energy muons have 2 6.3
(v2 0.987c). Because we expect the mean range L
of a muon to be L = v 0 , we expect the ratio of
ranges L1 /L2 for the two populations of muons to be
(1 v1 )/(2 v2 ) 3.0. The flux of higher-energy muons
at Denver is lower by a factor of 0.883 0.005 than it
is at Echo Lake, meaning that if they have mean range
L1 , eh/L1 = 0.883. The flux of lower-energy muons decreases by a factor of 0.698 0.002, so eh/L2 = 0.698.
Taking logarithms and ratios, we find that L1 /L2 = 2.89
as predicted. The results do not make sense if the time
dilation factor (the Lorentz factor) is ignored.
Problem 213: Consider a muon traveling straight
down towards the surface of the Earth at Lorentz factor 1 18.8. (a) What is the vertical distance between
Denver and Echo Lake, according to the muon? (b) How
long does it take the muon to traverse this distance, according to the muon? (c) What is the muons mean lifetime, according to the muon? (d) Answer the above parts
again but now for a muon traveling at Lorentz factor
2 6.3.
Problem 214: Charged pions are produced in highenergy collisions between protons and neutrons. They
decay in their own rest frame according to the law
N (t) = N0 2t/T

(2.8)

where T = 2 108 s is the half-life. A burst of pions is


produced at the target of an accelerator and it is observed
that two-thirds of them survive at a distance of 30 m from
the target. At what value are the pions moving? (From
French 1966.)
Problem 215:A beam of unstable K+ mesons, traveling at speed = 3/2, passes through two counters 9 m
apart. The particles suffer a negligible loss of speed and
energy in passing through the counters but give electrical pulses that can be counted. It is observed that 1000
counts are recorded in the first counter and 250 in the
second. Assuming that this whole decrease is due to decay of the particles in flight, what is their half-life as it

12

Chapter 2. Time dilation and length contraction

Chapter 3

The geometry of spacetime


Observers in different frames of reference, even if they
are observing identical events, may observe very different relationships between those events. For example, two
events which are simultaneous for one observer will not, in
general, be simultaneous for another observer. However,
the principle of relativity must hold, i.e., both observers
must agree on all laws of physics and in particular on the
speed of light. This principle allows detailed construction
of the differences between two observers measurements
as a function of their relative velocity. In this chapter we
derive some of these relationships using a very useful tool:
the spacetime diagram. With spacetime diagrams most
special relativity problems are reduced to simple geometry problems. The geometric approach is the most elegant
method of solving special relativity problems and it is also
the most robust because it requires the problem-solver to
visualize the relationships between events and worldlines.
3.1

Spacetime diagrams

Frances (F) and Gregory (G) live on planets A and B,


respectively, separated in space by ` = 6 1011 m (600
million km). Exactly halfway between their home planets, on the line joining them, is an interplanetary cafe (C),
at which they decide to meet at noon. F has a standardmodel spaceship which travels at speed c/5 (which corresponds to = 1/5), while Gs sporty model travels at
c/3 ( = 1/3). If we choose a coordinate system with
the x-axis pointing along the direction from A to B, we
can plot the trajectories, or worldlines, of F and G on a
diagram with distance x on the abscissa and time t on the
ordinate. Actually, to emphasize the geometry of special
relativity, we will use not t to mark time, but ct, which
has dimensions of distance. Such a plot, as in Figure 3.1,
is a spacetime diagram. Figure 3.1 is clearly drawn in the
rest frame of planets A and B: the planet worldlines are
vertical; the planets do not change position with time.
They meet at noon at the cafe. Their meeting is an
event: it takes place in a certain location, at a certain
time. Anything that has both a position and a time is
an event. For example, the signing of the United States
Declaration of Independence was an event: it took place
on 4 July, 1776, and it took place in Philadelphia, Penn Recall the idea, from Section 2.1, that c is merely a conversion
factor between time and distance.

13

sylvania. Each tick of a clock is an event: it happens at a


given time at the location of the clock. Events are 3+1dimensional pointsthey have three spatial coordinates
and one time coordinate. In the case of the meeting M
at the cafe of F and G, we needed only 1+1 dimensions
to specify it because we began by restricting all activity
to the x-axis, but in general 3+1 dimensions are needed.
On Figure 3.1, event M is marked, along with two other
events K and L, the departures of F and G.
Because we are marking time in dimensions of distance
ct, the inverse slope x/(ct) of a worldline at some time
ct is the speed of the corresponding object in units of c,
or in other words, . As we will see below, nothing can
travel faster than the speed of light. So, all worldlines
must be steeper than 45 on the spacetime diagram, except, of course, for the worldlines of flashes of light or
photons, which have exactly 45 worldlines. Radio, infrared, optical, ultraviolet, x-ray and gamma-ray signals
all travel on 45 worldlines maybe neutrinos do too .
Problem 31: The next day F decides to meet G at
the cafe again, but realizes that she did not arrange this
with G in advance. She decides to send a radio message
that will get to G at exactly the time he should depart.
When should F send this message?
We can answer this problem trivially by looking at
the spacetime diagram. If we drop a 45 line from event
L, Gs departure, going back in time towards planet A,
we can find the event at which it intersects Fs worldline. This is done in Figure 3.2; we see that it intersects
Fs worldline exactly at event K, the time of her departure. This means that F should send the radio message
at exactly the time she departs for the cafe.
3.2

Boosting: changing reference frames

Heather (H) and Juan (J) are two more residents of planets A and B respectively. (A and B are separated by
` = 6 1011 m in the x-direction.) Early in the morning
(at event P ) H sends J a radio message. At event Q, J
receives the message. A time later in the day, H sends J
One could say 4-dimensional, but it is customary among relativists to separate the numbers of space and time dimensions by a
plus sign. The reason for this will be touched upon later.
As we will see in Chapter 6, neutrinos travel at the speed of
light only if they are massless; this is currently a subject of debate.

14

Chapter 3. The geometry of spacetime

ct

ct

3l
2

G
l

es
sa
g

3l
2

5l
2

G
5l
2

Figure 3.1: Worldlines of F and G meeting at the cafe, and


worldlines of their home planets A and B, and the cafe itself,
C. The event of Fs departure is K, of Gs is L, and of their
meeting is M . This diagram is in the rest frame of A, B,
and C because these objects have vertical worldlines. Note
that the time (vertical) axis is marked in units of distance
ct.

Figure 3.2: When should F send the radio message to G? By


dropping a 45 line (dotted) from event L to Fs worldline,
we find that she should send it right when she departs; at
event K.

says that the speed of light is the same in both frames, so


the radio signals will still have 45 worldlines. Thus, the
spacetime diagram in Ks frame must be that pictured in
another message at event R, and J receives it at event S. Figure 3.4.
The transformation from Hs frame to Ks is a boost
The spacetime diagram with these events and the worldlines of H, J and the messages is shown in Figure 3.3. The transformation because it involves changing velocity. The
diagram is drawn in what we will call Hs frame or Hs boost transformation is central to special relativity; it is
rest frame, because it is a reference frame in which H is the subject of this and the next chapter.
at rest.
Problem 32: Re-draw the events and worldlines of
While this is all going on, Keiko (K) is travelling at Figures 3.3 and 3.4 from the point of view of an observer
speed u between planets A and B. How do we re-draw moving at the same speed as K relative to H and J but
the spacetime diagram in Ks frame, a reference frame in in the opposite direction.
which K is at rest? First of all, K is moving at speed
u relative to H and J, so in Ks frame H and J will be Problem 33: A rocket ship of proper length `0 travmoving at speed u. Thus, Hs and Js worldlines in Ks els at constant speed v in the x-direction relative to a
frame will have equal but opposite slope to that of Ks frame S. The nose of the ship passes the point x = 0 (in
worldline in Hs frame. Time dilation (Section 2.1) says S) at time t = 0, and at this event a light signal is sent
that moving clocks go slow, so in Ks frame, events P from the nose of the ship to the rear. (a) Draw a spaceand R will be separated in time not by but by t0 = time diagram showing the worldlines of the nose and rear
. Same for Q and S. (All quantities in Ks frame will of the ship and the photon in S. (b) When does the signal
be primed.) Length contraction (Section 2.3) says that get to the rear of the ship in S? (c) When does the rear
moving ruler sticks are shortened. This means that the of the ship pass x = 0 in S? (After French 1966.)
distance separating the parallel worldlines of two objects Problem 34: At noon a rocket ship passes the Earth
moving at the same speed (the ends of the ruler stick) is at speed = 0.8. Observers on the ship and on Earth
shorter by a factor 1/ in a frame moving at speed u than agree that it is noon. Answer the following questions,
it is in the frame at which the two objects are at rest. H and draw complete spacetime diagrams in both the Earth
and J, therefore, are separated by not ` but x0 = `/ in and rocket ship frames, showing all events and worldlines:
the horizontal direction. Einsteins principle of relativity (a) At 12:30 p.m., as read by a rocket ship clock, the

3.3. The ladder and barn paradox

15

ct

ct
J

H
l

x
P

Figure 3.3: Spacetime diagram with worldlines of H, J, and


the radio messages (dotted), along with the sending and
receiving events. This diagram is drawn in Hs rest frame;
her worldline is vertical.
ship passes an interplanetary navigational station that is
fixed relative to the Earth and whose clocks read Earth
time. What time is it at the station? (b) How far from
Earth, in Earth coordinates, is the station? (c) At 12:30
p.m. rocket time, the ship reports by radio back to
Earth. When does Earth receive this signal (in Earth
time)? (d) The station replies immediately. When does
the rocket receive the response (in rocket time)? (After
French 1966.)

l
Figure 3.4: Spacetime diagram with worldlines of H, J, and
the radio messages along with the sending and receiving
events, now drawn in Ks rest frame. Note the time dilation
and length contraction.

is shorter and it will fit in the barn, or is P right that it


isnt and wont?
If we draw spacetime diagrams of the ladder and barn
in both frames we get Figure 3.5, where the front and
back of the barn are labeled G and H respectively and
the front and back of the ladder are J and K respectively.
In Ns frame, indeed, events C and D are simultaneous,
ct (a) Ns frame

ct

(b) Ps frame
J

3.3

The ladder and barn paradox

Farmers Nettie (N) and Peter (P) own a barn of length `


and a ladder of length 2`. They want to put the ladder
into the barn, but of course it is too long. N suggests
that P run with the ladder at speed u = 0.866c. At this
speed = 2, so the ladder will be shortened by enough
to fit into the barn. P objects. P argues that if he is
running with the ladder, in his frame the ladder will still
have length 2` while the barn will be shortened to length
`/2. The running plan will only make the problem worse!
They cannot both be right. Imagine P running with
the ladder through the front door of the barn and out
the back door, and imagine that the barn is specially
equipped with a front door that closes immediately when
the back of the ladder enters the barn (event C), and a
back door that opens immediately when the front of the
ladder reaches it (event D). Either there is a time when
both doors are closed and the ladder is enclosed by the
barn, or there is not. If there is such a time, we will say
that the ladder fits, and if there is not, we will say that
it does not fit. Who is right? Is N right that the ladder

C
l
ladder

C
G

K
l
barn

H
x

2l

l
2

ladder

D
x
barn

Figure 3.5: Worldlines of the front and back of the barn (G


and H) and the front and back of the ladder (J and K) and
events C and D in the rest frames of (a) N and (b) P. While
events C and D are simultaneous in Ns frame, they are not
in Ps.
so there is a brief time at which the ladder fits inside the
barn. In Ps frame, strangely enough, the events are no
longer simultaneous! Event D happens long before event
C, so there is no time at which the ladder is entirely inside
the barn. So indeed both N and P are correct: whether or
not the ladder fits inside the barn is a frame-dependent
question; it depends on whether or not two events are
simultaneous, and simultaneity is relative.

16

Chapter 3. The geometry of spacetime

3.4

Relativity of simultaneity

ct

How can we synchronize two clocks that are at rest with


respect to one another but separated by a distance `? The
simplest thing to do is to put a lightbulb halfway between
the two clocks, flash it, and have each clock start ticking
when it detects the flash. The spacetime diagram in the
rest frame S for this synchronizing procedure is shown in
Figure 3.6, with the light bulb at the origin and the two
clocks at x = `/2. The flash is marked as event F and
the detections of the flash as events G and H. Thereafter,
the clock ticks are shown as marks on the clock worldlines.
Simultaneous ticks lie on horizontal lines on the spacetime

ct

H
x
F
Figure 3.7: The clocks as observed in frame S 0 along with
events F , G, H, and the subsequent ticks. Although the
clocks are synchronized in S they are not in S 0 . Note that
the lines of simultaneity (horizontal in S) are slanted in S 0 .

lines of simultaneity

A simple thought experiment to demonstrate this consists


of two clocks, synchronized and at rest in S, exchanging
photons simultaneously in S, as shown in Figure 3.8. In

H
x
F

Figure 3.6: Synchronizing clocks at rest in frame S by flashing a lightbulb halfway between them at event F and having
each clock start when it detects the flash (events G and H).
After the two clocks receive the flashes, they tick as shown.
Lines of simultaneity connect corresponding ticks and are
horizontal.
diagram, because they occur at the same value of the time
coordinate. In fact, the horizontal lines can be drawn in;
they are lines of simultaneity.
Now consider a new frame S 0 which is moving at speed
+u = c in the x-direction with respect to S. In this new
frame, the worldlines of the clocks are no longer vertical
because they are moving at speed u, but by Einsteins
principle of relativity the flashes of light must still travel
on 45 worldlines. So the spacetime diagram in S 0 looks
like Figure 3.7. Note that in S 0 the lines of simultaneity
joining the corresponding ticks of the two clocks are no
longer horizontal. What does this mean? It means that
two events which are simultaneous in S will not in general
be simultaneous in S 0 .
3.5

The boost transformation

We have seen in the previous section that horizontal


lines of simultaneity in one frame become tilted in another frame moving with respect to the first, but can we
quantify this? We can, and it turns out that the lines
of simultaneity in frame S acquire slope in frame S 0
(which moves at speed + c with respect to S) just as the
lines of constant position in S acquire slope 1/ in S 0 .

Figure 3.8: Clocks at rest and synchronized in frame S exchanging photons. They emit photons simultaneously at
events A and B, the photons cross paths at event C, and
then are received simultaneously at events D and E.
S they emit photons simultaneously at events A and B;
the photons cross paths at event C; and then are received
simultaneously at events D and E. In S 0 events A and
B are no longer simultaneous, nor are events D and E.
However, light must still travel on 45 worldlines and the
photons must still cross at an event C halfway between
the clocks. So the spacetime diagram in S 0 must look like
Figure 3.9, with the square ABED in S sheared into a
parallelogram, preserving the diagonals as 45 lines. We
know that the slope of the lines of constant position transform to lines of slope 1/; in order to have the diagonals
be 45 lines, we need the lines of simultaneity to transform to lines of slope .
This is really the essence of the boost transformation, the transformation from one frame to another moving with respect to it: the transformation is a shear or

3.6. Transforming space and time axes

17

(a)

ct

(b)

ct

ct
ct

x
x
x

x
Figure 3.10: Spacetime diagrams in frames (a) S 0 and (b) S,
each showing the time and space axes of both frames.

Figure 3.9: Same as Figure 3.8 but in frame S 0 .


crunch along 45 lines. A shear is a linear transformation that does not involve rotation, but squashes
coordinates along one direction, allowing them to expand
along the perpendicular direction. In this case, these directions are photon trajectories or 45 worldlines. We
will derive the symbolic form of the boost transformation
in Chapter 4, but for now these geometrical facts are all
we need.
Problem 35: Prove, using whatever you need (including possibly Figures 3.8 and 3.9), that if the clock
world lines have slope 1/ in some frame, the lines of simultaneity will have slope . The shorter the proof, the
better.
3.6

Transforming space and time axes

One extremely useful way of representing the boost transformation between two frames on spacetime diagrams is
to plot the space and time axes of both frames on both
diagrams. This requires us to utilize two trivial facts:
(a) the spatial axis of a frame is just the line of simultaneity of that frame which passes through the origin event
(x, ct) = (0, 0) and (b) the time axis is just the line of constant position which passes through (0, 0). So if we (arbitrarily) identify origin events in the two frames, we can
plot, in frame S 0 , in addition to the x0 and ct0 axes, the
locations of the x and ct axes of frame S (Figure 3.10(a)).
We can also plot both sets of axes in frame S. This requires boosting not by speed +c but rather by c and,
as you have undoubtedly figured out, this slopes the lines
in the opposite way, and we get Figure 3.10(b). Again
we see that the transformation is a shear. Note that the
boost transformation is not a rotation, at least not in the
traditional sense of the word!
The directions along which the squash and expansion take place
are the eigenvectors of the transformation. The ambitious reader is
invited to calculate the two corresponding eigenvalues.
The zero of time and space are arbitrary, so, with no loss of generality, we can assign these values so that the origin events coincide.

We are now in a position to answer the question posed


at the end of Section 2.1: How can it be that two observers, moving relative to one another, can both observe
the others clock to tick more slowly than their own?
Imagine that observers at rest in S and S 0 both draw
lines of constant position separated by 1 m of distance
and lines of simultaneity separated by 1 m of time (3.3 ns)
through the spacetime maps of their frames. In S, the Sobservers lines of constant position are vertical, and lines
of simultaneity are horizontal. The S 0 -observers lines of
constant position have slope 1/ and lines of simultaneity
have slope , as seen in Figure 3.11. simultaneity. In
S, the horiztonal distance between the S 0 -observers lines
of constant position is (1 m)/. Look carefully at Figure 3.11, which shows the ticks of each observers clock
along a line of constant position. If we travel along the
S 0 -observers line of constant position, we find that we encounter ticks of the S 0 clock less frequently than lines of
simultaneity in S. On the other hand, if we travel along
the S-observers line of constant position, we find that we
also encounter ticks of the S clock less freqently than lines
of simultaneity in S 0 . That is, both observers find that the
others clock is going slow. There is no contradiction.
This point is subtle enough and important enough
that the reader is advised to stare at Figure 3.11 until
it is understood.

18

Chapter 3. The geometry of spacetime

ct

ct

Figure 3.11: Spacetime diagram in frame S, showing the


spacetime grids drawn by the observer at rest in S (solid) and
the observer at rest in S 0 (dotted). The S-observers clock
ticks with solid dots and the S 0 -observers with open dots.
Note that when travelling along a dotted line of constant
position, clock ticks are encountered less frequently than
solid lines of simultaneity and when travelling along a solid
line of constant position, clock ticks are encountered less
frequently than dotted lines of simultaneity. This explains
how both observers can observe the others clock to run
slow.

Chapter 4

The Lorentz transformation


In this Chapter the invariant interval is introduced
and the Lorentz transformation is derived and discussed.
There is a lot of algebra but it is straightforward and the
results are simple. The twin paradox is explained in
terms of geodesics.
4.1

Proper time and the invariant interval

In 3-dimensional space, two different observers can set up


different coordinate systems, so they will not in general
assign the same coordinates to a pair of points P1 and P2 .
However they will agree on the distance between them.
If one observer measures coordinate differences x, y
and z between points A and B, and another, with a
different coordinate system, measures x0 , y0 and z 0 ,
they will both agree on the total distance r, defined by
(r)2

(x)2 + (y)2 + (z)2


= (x0 )2 + (y0 )2 + (z 0 )2 .

(4.1)

We would like to find a similar quantity for pairs of events:


some kind of length in 3+1-dimensional spacetime that
is frame-independent, or the same for all observers. There
is such a quantity, and it is called the invariant interval
or simply interval, it is symbolized by (s)2 and defined
by
(s)2

(c t)2 (r)2
(c t)2 (x)2 (y)2 (z)2 , (4.2)

where t is the difference in time between the events, and


r is the difference in space or the distance between the
places of occurence of the events.
To demonstrate this, recall Section 2.1 in which we
considered the flashes of a lightclock carried by D. In Ds
frame the flashes are separated by time ct = 1 m and
distance x = 0. The interval between flashes is therefore
(s)2 = (ct)2 (x)2 = 1 m2 . In Es frame ct0 =
(1 m) and x = u (1 m)/c, so the interval is (s0 )2 =
2 (1 u2 /c2 ) (1 m2 ). Since (1 u2 )1/2 , (s0 )2 =
(s)2 = 1 m2 . Any other observer moving at any other
speed w with respect to D will measure different time and
space separations, but a similar argument will show that
the interval is still 1 m2 .
The proper time between two events is the time
experienced by an observer in whose frame the events
19

take place at the same point if there is such a frame. As


the above example shows, the square root of the invariant
interval between
the two events is c times the proper time,
p
or c = (s)2 . The proper time is the length of time
separating the events in Ds frame, a frame in which both
events occur at the same place. If the interval is positive,
there always is such a frame, because positive interval
means |c t| > |r| so a frame moving at vector velocity
v = (r)/(t), in which the events take place at the
same point, is moving at a speed less than that of light.
If the interval between two events is less than zero,
i.e., (s)2 < 0, it is still invarant even though there is no
frame in which both events take place at the same point.
There is no such frame because necessarily it would have
to move faster than the speed of light. To demonstrate the
invariance in this case, consider the clock-synchronizing
procedure described in Section 3.4: two flashes are emitted together from a point halfway between the clocks, separated by one meter. The clocks start when the flashes
arrive, two events which are simultaneous in their rest
frame. In the rest frame the two starting events are
separated by c t = 0 and x = 1 m. The interval
is (s)2 = 1 m2 . In the frame moving at speed u
with respect to the rest frame, the clocks are separated
by (1 m)/ and they are moving so the light takes time
(0.5 m)/[(c+u)] to get to one clock and (0.5 m)/[(cu)]
to get to the other so c t0 is c times the difference between these, or u (1 m)/c. Light travels at c so the
displacement x0 is the c times the sum, or (1 m). The
interval is (s0 )2 = 1 m2 , same as in the rest frame.
Since any other relative speed w could have been used,
this shows that the interval is invariant even if it is negative.
Sometimes the proper distance is defined to be
the distance separating two events in the frame in which
they occur at the same time. It only makes sense if the
interval
pis negative, and it is related to the interval by
= |(s)2 |.
Of course the interval (s)2 can also be exactly equal
to zero. This is the case in which (c t)2 = (r)2 , or
in which the two events lie on the worldline of a photon.
Because the speed of light is the same in all frames, a
interval equal to zero in one frame must equal zero in all
frames. Intervals with (s)2 = 0 are called lightlike or
null while those with (s)2 > 0 are called timelike

20

Chapter 4. The Lorentz transformation

and (s)2 < 0 are called spacelike. They have different


causal properties, which will be discussed in Chapter 5.
4.2

Derivation of the Lorentz transformation

It would be nice to have algebraic formulae which allow


us to compute the coordinates (ct0 , x0 , y0 , z 0 ) of an event in
one frame given the coordinates (ct, x, y, z) of the event in
some other frame. In this section we derive these formulae by assuming that the interval is invariant and asking
what kind of boost transformation will preserve the interval?, making one or two appeals to common sense on
the way.
We want to find the linear transformation that takes
the coordinates (ct, x, y, z) of a 4-displacement in frame
F to the coordinates (ct0 , x0 , y0 , z 0 ) it has in frame G so
that the interval is invariant and G is moving at speed
u = c in the x-direction with respect to F.
In Section 2.3, we argued that there are no length
distortions in the directions perpendicular to the direction
of motion. This means that the y- and z-coordinates of
an event in F must be the same as those in G;

We also know that between any two events, the interval s2 is the same in all frames. When y = z = 0,
(s)2 = (c t)2 (x)2 . Combined with the above two
matrix elements, the requirement that (s)2 = (s)02
implies
Lt0 x =
Lx0 x =

(4.7)

So we find that the transformation of the coordinates


from one frame F to another G that is moving in the
x-direction at relative speed +u = c is given by

0 0
ct
ct

x0

0 0
x (4.8)
0 =
y 0
0
1 0 y
z0
0
0
0 1
z
4.3

The Lorentz transformation

The Lorentz transformation (hereafter LT) is very important and deserves some discussion. The LT really
transforms differences (c t, x, y, z) between the
coordinates of two events in one frame to differences
0
y = y
(c t0 , x0, y0 , z 0 ) in another frame. This means that
z0 = z
(4.3) if one is going to apply the LT directly to event coorLinearity requires that the x0 and t0 components must dinates, one must be very careful that a single event is
at the origin (0, 0, 0, 0) of both frames. In the previous
be given by
section, we placed event P at the origin of both frames.
c t0 = Lt0 t c t + Lt0 x x
A simple consistency check we could apply to the LT
0
is
the
following: If we boost to a frame moving at u, and
x = Lx0 t c t + Lx0 x x
(4.4)
then boost back by a speed u, we should get what we
where the Li0 j are constants; or, in matrix form,
started with. In other words, LTs with equal and opposite
 0  


speeds should be the inverses of one another. If we change
ct
Lt0 t Lt0 x
ct
u u, we have and , so boosting the
=
(4.5)
x0
Lx0 t Lx0 x
x
coordinates (ct0 , x0) in frame K back to H and giving the
From the previous chapter, we know that two events new coordinates double-primes, we have
that occur in F at the same place (so x = 0) but
ct00 = ct0 + x0
separated by time c t occur in G separated by time
= ( ct x) + ( ct + x)
c t0 = c t and therefore separated in space by x0 =
= 2 (ct x 2 ct + x)
c t0 = c t, where, as usual (1 2 )1/2 .
This implies
= 2 (1 2 ) ct
Lt0 t
Lx0 t

=
=

(4.6)

The reader may ask: why need the transformation be linear? It


needs to be linear because straight worldlines (i.e. constant-velocity
worldlines) in one frame must transform into straight worldlines in
all other frames.
For a review of matrix algebra, see the excellent textbook by
Strang (1976). In short, a column vector multiplied by a matrix
makes another column vector according to the rule

y1
y2
y3
y4

a11
a21
a31
a41

a12
a22
a32
a42

a13
a23
a33
a43

a14
a24
a34
a44

a11x1 + a12 x2 + a13 x3 + a14 x4


a21x1 + a22 x2 + a23 x3 + a24 x4
a31x1 + a32 x2 + a33 x3 + a34 x4
a41x1 + a42 x2 + a43 x3 + a44 x4

x1
x2
x3
x4

This is easily generalized to larger or smaller dimensions.

00

=
=
=
=

ct
(4.9)
0
0
ct + x
( ct x) + ( ct + x)
2 ( ct 2 x ct + x)

= 2 (1 2 ) x
= x,

(4.10)

so indeed, the boost of u is the inverse of the boost of


u.
The LT as defined above has the primed frame (K)
moving at speed +u with respect to the unprimed frame
(H). This is not a universal convention, but I will try to
stick to it.
There is a more general class of transformations, Poincar
e tranformations, which allow translations of the coordinate origin as well
LTs (which include boosts and, as we will see, rotations).

4.4. Velocity addition

21

The group of all LTs includes all linear transformations that preserve the interval . This means that LTs
include space rotations with no boost, for example

1
0
0
0
0 cos sin 0

(4.11)
0 sin cos 0
0
0
0
1

Problem 45: Denote by E the event on the ct-axis


of a spacetime diagram that is a proper time c from the
origin. What is the locus of all events on the spacetime
diagram that are separated from the origin by the same
proper time?
The answer should be a hyperbola that asymptotes to
the line ct = x but which is horizontal on the spacetime
diagram right at E.

LTs also include boosts in arbitrary directions, not just


the x-direction. For an arbitrary relative velocity u =
(ux , uy , yz ) of frame S 0 with respect to S, the corresponding LT is

x
y
z
(1) x y
(1) x z
1 + (1) x2
x

2
2
2

2
(1)

(1) y z
(1) x y
y

1 + 2
y

2
2
(1) y z
(1) z2
(1) x z
z
1
+
2
2
2

(4.12)
where we define

Problem 46: Denote by F the event on the x-axis of


a spacetime diagram that is a distance ` from the origin.
What is the locus of all events which are separated from
the origin by the same interval as F ?
4.4

Velocity addition

We are now in a position to derive the correct velocity


addition law that replaces the simple but incorrect one
suggested in Section 1.2: If A moves at speed +u in the
x-direction with respect to B, and A throws a cantaloupe
at speed +v in the x-direction relative to himself, at what
speed w does B observe the cantaloupe to travel? The
x ux/c
simple but incorrect answer is w = u + v. The correct
y uy /c
answer can be quickly calculated with a Lorentz transz uz /c
formation. Call the throwing event T and put it at the
2
2
2
2
origin
of both frames, so (ctT , xT ) = (ct0T , x0T ) = (0, 0),
x + y + z
where As frame gets the primes. Now imagine that at
(1 x2 y2 z2 )1/2
(4.13)
some time t0 later in As frame, the cantaloupe explodes,
0
0
(see, e.g., Jackson, 1975, Chapter 11). And, of course, this explosion event E must occur at coordinates (ct , vt )
in As frame. In Bs frame, by definition, T occurs at the
any composition of arbitrary LTs is also an LT.
origin, but by applying the LT with speed u (defining
Problem 41:
Transform the events A (ct, x) = u/c and accordingly) E now occurs at
(0, 0), B (0, 1 m), C (1/2 m, 1/2 m), D (1 m, 0), and E
(1 m, 1 m) into a frame S 0 moving at speed +0.6c in
ct = ct0 + vt0
the x-direction with respect to the unprimed frame S.
x = ct0 + vt0
(4.14)
Draw spacetime diagrams of both frames showing the five
events.
The speed w measured by B is simply x/t or
To check your answer: notice that A, C, and E all lie
on a 45 worldline, as do B, C, and D. The LT must
ct0 + vt0
w = c
transform 45 worldlines to 45 worldlines because the
ct0 + vt0
speed of light is c in all frames.
u+v
=
(4.15)
Problem 42: Write down the transformation from a
1 + uv/c2
0
frame S to a frame S moving at +0.5c in the x-direction
and then to another frame S 00 moving at +0.5c in the which is less than u + v. Spacetime diagrams for this
x-direction relative to S 0 . What is the complete trans- calculation are shown in Figure 4.1.
formation from S to S 00 ? What relative speed between
frames S and S 00 does your answer imply?
ct
ct

Problem 43: Show that the transformations given


for a coordinate rotation and for a boost in an arbitrary
direction preserve the interval.
Problem 44: Do space reflections and time-reversals
preserve the interval?
In

fact, the astute reader will notice that there are linear transformations which preserve the interval but involve reversing the direction of time or reflecting space through a plane. These do indeed
satisfy the criteria to be LTs but they are known as improper LTs
because they do not correspond to physically realizable boosts. On
the other hand, they do have some theoretical meaning in relativistic quantum mechanics, apparently.

A
C

T
(a)

(b)

T
x

Figure 4.1: Spacetime diagrams of the throw T and explosion E of C by A, as observed by (a) A and (b) B for the
purposes of computing the velocity addition law.

22

Chapter 4. The Lorentz transformation

Problem 47: In an interplanetary race, slow team X


is travelling in their old rocket at speed 0.9c relative to the
finish line. They are passed by faster team Y, observing
Y to pass X at 0.9c. But team Y observes fastest team Z
to pass Ys own rocket at 0.9c. What are the speeds of
teams X, Y and Z relative to the finish line?
The answer is not 0.9c, 1.8c, and 2.7c!

ct

R
L
M

Problem 48: An unstable particle at rest in the


lab frame splits into two identical pieces, which fly apart
in opposite directions at Lorentz factor = 100 relative
to the lab frame. What is one particles Lorentz factor
relative to the other? What is its speed relative to the
other, expressed in the form 1 ?
Problem 49: Determine the transformation law for
an arbitrary 3-vector velocity v = (vx , vy , vz ).
4.5

The twin paradox

Lin (L) and Ming (M) are twins, born at the same time,
but with very different genes: L is an astronaut who likes
to explore outer space, and M is a homebody who likes
to stay at home on Earth and read novels. When both
L and M turn 20, L leaves on a journey to a nearby star.
The star is ` = 30 light years away and L chooses to travel
out at speed u = 0.99c and then immediately turn around
and come back. From Ms point of view, the journey will
take time T = 2`/u 60 yr, so L will return when M is
80. How much will L have aged over the same period?
In Section 2.1 we learned that moving clocks go slow,
so L will have aged by T 0 = T /, where (1 2 )1/2
and u/c. For u = 0.99c, = 7, so L will have
aged less than 9 yr. That is, on Ls arrival home, M will
be 80, but L will only be 28! Strange, but in this special
relativistic world, we are learning to live with strangeness.
During his journey, Ming starts to get confused about
this argument. After all, there is no preferred reference
frame. If one looks at the Earth from the point of view
of Mings rocket, one sees the Earth travel out at speed u
and come back. So isnt Ls clock the one that runs slow,
and wont L the one who will be younger upon return?
How can this be resolved?
In Figure 4.2, the worldlines of L and M are plotted in the rest frame of the Earth (frame S), with Ls
departure marked as event D, Ls turnaround at the distant star as T and her return home as R. You will recall that in Section 4.1 we saw that along a worldline,
the proper time, or time elapsed for an observer travelling along the worldline, is the square root of the interval
(s)2 = (c t)2 (x)2 . M does not move, so x = 0
and the proper time for him is just tDR . L moves very
quickly, so (x) is not zero, so her proper time out to
event T and back again will be much smaller than simply
tDR . Smaller, of course, by a factor 1/.
Lets draw this now in Ls frame. But we have a problem: just what frame do we choose? Do we choose the
Do not regard this statement as a position on the nature/nurture debate.

Figure 4.2: Worldlines of the twins L and M in frame S,


with Ls departure marked as D, turnaround as T and return
home as R.
frame S 0 that is Ls rest frame on her way out to the
star, or the frame S 00 that is Ls rest frame on the way
back? We cannot choose both because they are different frames: L changes frames at event T . This breaks
the symmetry and resolves the paradox: M travels from
event D to event R in a single frame with no changes,
while L changes frames. Ls worldline is crooked while
Ms is straightk .
It is easy to show that given any two events and a set
of worldlines that join them, the worldline corresponding
to the path of longest proper time is the straight line. Just
as in Euclidean space the straight line can be defined as
the shortest path between two points, in spacetime the
straight worldline can be defined as the path of longest
proper time. This is in fact the definition, and straight
worldlines are called geodesics.
Problem 410:
Prove that the straight worldline
joining any two events E and F is the line of maximum
proper time. Hint: begin by transforming into the frame
in which E and F occur at the same place.
Problem 411: Imagine that every year, on their respective birthdays, each twin sends the other a radio message (at the speed of light). Re-draw Figure 4.2 on graph
paper and draw, as accurately as possible, Ls birthday
messages in red and Ms birthday messages in blue. How
many messages does each twin receive? At what ages to
k Another, fundamentally incorrect, but nonetheless useful, way
to distinguish the twins is to imagine that despite their genetic differences, they are both avid coffee drinkers. If they each spend the
entire time between events D and R drinking coffee, L experiences
no trouble at all, but M finds that he spills his coffee all over himself at event T. After all, his spaceship suffers a huge acceleration at
that time. L experiences no such trauma. This explanation is fundamentally flawed because if we allow for gravitational forces, there
are many ways to construct twin paradoxes which do not involve
this asymmetry.

4.5. The twin paradox


they receive them?
Problem 412: Imagine that rather than taking one
long trip out and back, Ming in fact takes five shorter
trips out and back, but all at the same speed , and
elapsing the same total time (on Lins clock) for all the
trips, as in the single-trip case. What effect does this have
on Mings aging relative to Lins, as compared with the
single-trip case? Estimate how much less a commercial
airline pilot ages relative to her or his spouse over her or
his lifetime.

23

24

Chapter 4. The Lorentz transformation

Chapter 5

Causality and the interval


The sign of the interval (s)2 (i.e., whether it is positive or negative) is discussed in terms of causality in this
Chapter. If one event can affect another causally, the interval between them must be positive. By preserving the
interval, therefore, the Lorentz transformation preserves
also the causal structure of the Universe, provided that
nothing travels faster than light. This is the reason for
that universal speed limit.
5.1

The ladder and barn revisited

Recall the ladder and barn paradox discussed in Section 3.3, in which N is at rest with respect to a barn, and
P is carrying a long ladder but running so that it will be
length contracted and therefore fit.
Confused by the discussion of relativity of simultaneity in Chapter 3, N decides to prove that ladder does
indeed fit into the barn by replacing the back door with
an incredibly strong, rigid, and heavy back wall that does
not open. Now when P enters the barn, he cannot leave,
and the question is: does the front door ever close at all?
If it closes, the ladder must be really inside the barn in
all frames because there is no back door through which
it can be exiting. Thus instead of asking whether event
C happens before or after D, a frame-dependent question, we are asking whether C happens at all. This is a
frame-independent question.
In Ns frame, event C, the closing of the front door,
must happen because the front of the ladder does not hit
the back wall until event C has occurred. That is, the
ladder does not even know that the back door has been
replaced by a brick wall until event C has occurred, so
if event C, the closing of the front door, happened when
the back door was open, it must still happen now that
the back door is no longer there.
In Ps frame the front of the ladder hits the back of
the barn before the back of the ladder enters, as we saw
in Section 3.3. But does this mean that the ladder will
stop and event C will no longer happen? To answer this
question, we will have to actually do some Physics for the
Events are frame-independent entities in the sense that if an
event occurs in one frame, it must occur in all. One cannot
undo the fact that one sneezed by changing frames! On the other
hand, relationships between events such as simultaneity are framedependent or relative.

25

first time in these notes.


If I am standing at one end of a long table of length
` and I push on the table to move it, how quickly can
someone standing at the other end feel the table move?
My pushing on the table sets up a compression wave that
travels at the speed of sound cs in the table. The person
at the other end feels the push when the wave gets there,
at a time `/cs after I push. In everyday experience, this
time is fairly short, so we are not aware of the time delay
between the push at one end and the feeling at the other.
But if we stand at opposite ends of a very long, stretched
slinky, this time delay is easily observable.
Because, as we will see, no object or piece of matter
can ever travel faster than the speed of light and because
all information is transferred via either matter or light
itself, no information or signal or, in particular, compression wave, can ever travel faster than the speed of light.
This means that no matter how rigid and strong I build
my table, the earliest possible time that the person at the
other end can feel my push is at a time `/c after I push,
where c is now the speed of light.
Why this digression? Because it applies to the problem at hand. Sure, in Ps frame, the front of the ladder
hits the back of the barn before the back of the ladder
enters, but this information cannot reach the back of the
ladder until some finite time after the collision. So the
back of the ladder doesnt know that anything has gone
awry at the front and it continues to move. When does
the back of the ladder learn of the fronts collision? To
answer this we need to draw spacetime diagrams. Figure 5.1 shows the spacetime diagrams in the two frames.
Event D is the collision of the ladder with the back wall,
and we have added event E, the earliest possible moment at which the back of the ladder can learn of the
collision at the front. This event is separated from the
collision event by a photon trajectory, because the maximum speed at which the information can travel is the
speed of light. In both frames we see that the back of the
ladder enters the barn and event C occurs before the back
of the ladder learns about the collision. In other words,
the back of the ladder makes it into the barn and the
door closes behind it. What does this imply? It implies
that the ladder must be compressible or fragile. The fact
that the speed of sound in the ladder cannot exceed the
speed of light ensures that all materials are compressible.

26

Chapter 5. Causality and the interval

ct (a) Ns frame

ct

G
J

E
C
l

C
G

K
l

(b) Ps frame

H
x

2l

l
2

D
x

B in all frames. After all, it is impossible for R to catch


the ball before Q throws it!
If indeed events A and B are the throwing and catching of a ball, we can say something about their x and
t coordinates. The spatial separation x between the
events must be less than the time (in dimensions of distance) c t between the events because the ball cannot
travel faster than the speed of light. For such a pair of
events the interval

Figure 5.1: Same as Figure 3.5 but now event D is a collision


(5.1)
(s)2 = (c t)2 (x)2
rather than an exit. The news of the collision cannot travel
faster than the speed of light so it cannot reach the back of must be positive. Events with positive interval must octhe ladder before event E.
cur in the same order in all frames because activity at the
earlier event can affect activity at the later event. Such
Loosely speaking, this is because a totally incompress- a pair of events has a timelike spacetime separation, and
ible substance has an infinite sound speed, and that is it is sometimes said that A is in the causal history of B,
not allowed. There are many fun problems in relativity or B is in the causal future of A.
In the case of events C and D in the ladder-and-barn
based on this type of argument, discussion of which is
paradox,
the interval between the events is negative, and
prevented by lack of space. One important application is
any
signal
or information or matter traveling between the
a proof that dark (i.e., not burning nuclear fuel), compact
events
would
have to travel faster than the speed of light.
objects more massive than about three times the mass of
Thus
activity
at each of these events is prevented from
the Sun must be black holes: any other material, even a
affecting
activity
at the other, so there is no logical or
crystal composed of pure neutrons, can only hold itself
physical
inconsistency
in having a boost transformation
up under that kind of pressure if it is so rigid that the
change
their
order
of
occurence.
Such a pair of events
speed of sound in the material would necessarily exceed
has
a
spacelike
spacetime
separation.
They are causally
the speed of light!
disconnected.
Problem 51: Imagine a plank of length ` supported
For completeness we should consider events D and E
at both ends by sawhorses in a gravitational field of ac- in the ladder-and-barn paradox. These events are sepceleration g. One support is kicked out. What is the arated by a photon world line or (c t)2 = (x)2 , so
minimum time the other end of the plank could know the interval is zero between these events. Such a pair of
that the one end has lost its support? Roughly speaking, events is said to have a lightlike or null spacetime sepawhat distance y will the one end fall before the other ration. Two events with a null separation in one frame
can know? How much does the board bend, and, to or- must be have a null separation in all frames because the
der of magnitude, what does this tell you about, say, the speed of light is the same in all frames.
Youngs modulus of the board?
Problem 52: Imagine a wheel of radius R consisting
of an outer rim of length 2 R and a set of spokes of
length R connected to a central hub. If the wheel spins
so fast that its rim is travelling at a significant fraction of
c, the rim ought to contract to less than 2 R in length
by length contraction, but the spokes ought not change
their lengths at all (since they move perpendicular to their
lengths). How do you think this problem is resolved given
the discussion in this Section? If you find a solution to
this problem which does not make use of the concepts
introduced in this Section, come see me right away!

5.3

Nothing can travel faster than the speed of


light

The well-known speed limitnothing can travel faster


than the speed of lightfollows from the invariant causal
structure of the Universe. If one event is in the causal
history of another in one frame, it must be in that causal
history in all frames, otherwise we have to contend with
some pretty wacky physics. For instance, reconsider the
above example of Q and R playing catch. Imagine that
Q and R are separated by ` in their rest frame S, and
Q throws the ball to R at twice the speed of light. The
spatial separation between events A and B is x = ` and
5.2 Causality
the time separation is ct = `/2. Now switch to a frame
S 0 moving at speed v in the direction pointing from Q to
Event order is relative, but it is subject to certain conR. Applying the Lorentz transformation, in this frame
straints. By changing frames in the ladder-and-barn para

dox, we can make event D precede, be simultaneous with,
1
0
t = `
v
(5.2)
or follow event E. But we cannot make any pair of events
2
change their order simply by changing frames. For in The reader who objects that special relativity is already fairly
stance, if Quentin (Q) throws a ball to Rajesh (R), the
event of the throw A must precede the event of the catch wacky will be ignored.

5.3. Nothing can travel faster than the speed of light


which is less than zero if v > 1/2. In other words, in
frames S 0 with v > 1/2, event B precedes event A. I.e.,
in S 0 R must catch the ball before Q throws it. A little
thought will show this to be absurd; we are protected
from absurdity by the law that nothing, no object, signal
or other information, can travel faster than the speed of
light. Thus we have been justified, earlier in this chapter,
and elsewhere in these notes, in assuming that nothing
can travel faster than the speed of light.

27

28

Chapter 5. Causality and the interval

Chapter 6

Relativistic mechanics
6.1

Scalars

also discuss the 3-displacement r separating P and Q.


Again, they may disagree on the coordinate values of this
A scalar is a quantity that is the same in all reference 3-vector, but they will agree that it is equal to the vector
frames, or for all observers. It is an invariant number. that separates points P and Q. They will also agree on
For example, the interval (s)2 separating two events A the length of r and they will agree on the angle it makes
and B is a scalar because it is the same in all frames. with any other vector s, say the vector displacement beSimilarly, the proper time between two events on a tween P and R (Richmond, VA). In this sense the points
worldline is a scalar. In Chapter 2, the number of ticks of and 3-vector are frame-independent or coordinate-free obDs clock in going from planet A to planet B is a scalar jects, and it is in the same sense that events and 4-vectors
because although observers disagree on how far apart the are frame-independent objects.
ticks are in time, they agree on the total number.
With each 4-displacement we can associate a scalar:
It is worth emphasizing that the time interval t be- the interval (s)2 along the vector. The interval associtween two events, or the distance x between two events, ated with ~x is
or the the length ` separating two worldlines are not
(s)2 = (c t)2 (x)2 (y)2 (z)2
(6.2)
scalars: they do not have frame-independent values .
6.2

4-vectors

Because of the similarity of this expression to that of the


dot product between 3-vectors in three dimensions, we
also denote this interval by a dot product and also by
|~x|2 :

Between any two distinct events A and B in spacetime,


there is a time difference c t and three coordinate differ2
ence x, y and z. These four numbers can be written
~x ~x |~x| (c t)2 (x)2 (y)2 (z)2 (6.3)
as a vector ~x with four components, which is called a 4vector :
and we will sometimes refer to this as the magnitude or
~x = (c t, x, y, z)
(6.1) length of the 4-vector.
We can generalize this dot product to a dot product
The 4-vector ~x is actually a frame-independent object, between any two 4-vectors ~a = (a , a , a , a ) and ~b =
t x y z
although this is a fairly subtle concept. The components (b , b , b , b ):
t x y z
of ~x are not frame-independent, because they transform
by the Lorentz transformation (Section 4.3). But event
~a ~b at bt ax bx ay by az bz
(6.4)
A is frame independent: if it occurs in one frame, it must
occur in all frames, and so is event B, so there is some It is easy to show that this dot product obeys the rules
frame-independent meaning to the 4-vector displacement we expect dot products to obey: associativity over addior 4-displacement between these events: it is the 3+1- tion and commutativity. The nice result is that the dot
dimensional arrow in spacetime that connects the two product produces a scalar. That is, the dot product of
events.
any two 4-vectors in one frame equals their dot product
The frame-independence can be illustrated with an in any other frame.
When frames are changed, 4-displacements transform
analogy with 3-dimensional space. Different observers set
up different coordinate systems and assign different coor- according to the Lorentz transformation. Because 4dinates to two points P and Q, say Pittsburgh, PA and displacements are 4-vectors, it follows that all 4-vectors
Queens, NY. Although both observers agree that they transform according to the Lorentz transformation. This
are talking about Pittsburgh and Queens, they assign provides a simple (though slightly out-of-date) definition
different coordinates to the points. The observers can of a 4-vector: an ordered quadruple of numbers that
transforms according to the Lorentz transformation.
Forget high schoolwhere all single-component numbers were
Because scalars, by definition, do not change under
probably referred to as scalars.
The convention in these notes is to denote 4-vectors with vector
a Lorentz transformation, any 4-component object which
hats and 3-vectors with bold face symbols.
transforms according to the Lorentz transformation can
29

30

Chapter 6. Relativistic mechanics

be multiplied or divided by a scalar to give a new fourcomponent object which also transforms according to the
Lorentz transformation. In other words, a 4-vector multiplied or divided by a scalar is another 4-vector.
Problem 61: Show that the 3+1-dimensional dot
product obeys associativity over addition, i.e., that
~a (~b + ~c) = ~a ~b + ~a ~c

(6.5)

and commutativity, i.e., that ~a ~b = ~b ~a.


Problem 62: Show that the dot product of two
4-vectors is a scalar. That is, show that for any two 4vectors ~a and ~b, their dot product in one frame S is equal
to their dot product in another S 0 moving with respect
to S.
Problem 63: Show that 4-vectors are closed under
addition. That is, show that for any two 4-vectors ~a and
~b, their sum ~c = ~a + ~b (i.e., each component of ~c is just
the sum of the corresponding components of ~a and ~b) is
also a 4-vector. Show this by comparing what you get by
Lorentz transforming and then summing with what you
get by summing and then Lorentz transforming.
6.3

4-velocity

where (vx , vy , vz ) are the components of the 3-velocity


v = dr/dt. Although it is unpleasant to do so, we often
write 4-vectors as two-component objects with the first
component a single number and the second a 3-vector. In
this notation
~u = ( c, v)
(6.9)
What is the magnitude of ~u? There are several ways
to derive it, the most elegant is as follows. The magnitude
|~u|2 must be the same in all frames because ~u is a fourvector. Let us change into the frame in which the object
in question is at rest. In this frame ~u = (c, 0, 0, 0) because
v = (0, 0, 0) and = 1. Clearly in this frame |~u|2 = c2
or |~u| = c. It is a scalar so it must have this value in all
frames. Thus |~u| = c in all frames. This trivial proof
is a good model for problem-solving in special relativity:
identify something which is frame-independent, transform
into a frame in which it is easy to calculate, and calculate
it. The answer will be good for all frames.
The reader may find this a little strange. Some particles move quickly, some slowly, but for all particles, the
magnitude of the 4-velocity is c. But this is not strange,
because we need the magnitude to be a scalar, the same in
all frames. If I change frames, some of the particles that
were moving quickly before now move slowly, and some
of them are stopped altogether. Speeds (magnitudes of
3-velocities) are relative; the magnitude of the 4-velocity
has to be invariant.

What is the 3+1-dimensional analog of velocity? We


want a 4-vector so we want a four-component object that
transforms according to the Lorentz transformation. In Problem 64: Apply the formula for the magnitude
of a 4-vector to the general 4-velocity ( c, vx , vy , vz )
3-dimensional space, 3-velocity v is defined by
to show that its magnitude is indeed c.
r
dr
v lim
=
(6.6)
t0 t
dt
6.4 4-momentum, rest mass and conservation
where t is the time it takes the object in question to
laws
go the 3-displacement r. The naive 3+1-dimensional
generalization would be to put the 4-displacement ~x Just as in non-relativistic 3-space, where 3-momentum
in place of the 3-displacement r. However, this in it- was defined as mass times 3-velocity, in spacetime 4self wont do, because we are dividing a 4-vector by a momentum ~p is mass m times 4-velocity ~u. Under this
non-scalar (time intervals are not scalars); the quotient definition, the mass must be a scalar if the 4-momentum
will not transform according to the Lorentz transforma- is going to be a 4-vector. If you are old enough, you may
tion. The fix is to replace t by the proper time have heard of a quantity called relativistic mass which
corresponding to the interval of the 4-displacement; the increases with velocity, approaching infinity as an object
approaches the speed of light. Forget whatever you heard;
4-velocity ~u is then
that formulation of special relativity is archaic and ugly.
~x
~u lim
(6.7) The mass m of an object as far as we are concerned is its
0
rest mass, or the mass we would measure if we were at
rest with respect to the object.
When we take the limit we get derivatives, and the proper
Rest mass is a scalar in that although different obtime is related to the coordinate time t by =
servers
who are all moving at different speeds with respect
t (where, as usual, (1 2 )1/2 and |v|/c), so
to the object may, depending on the nature of their measuring apparati, measure different masses for an object,
d~x
~u =
they all can agree on what its mass would be if they were
d


at rest with respect to it. In this respect rest mass is like
dt dx dy dz
=
c , , ,
the proper time scalar: the only observers whose clocks
d d d d
actually measure the proper time between two events are


dt dx dy dz
the observers for whom the two events happen in the same
=
c ,
, ,
dt dt
dt
dt
place. But all observers agree on what that proper time
= ( c, vx , vy , vz )
(6.8) is.

6.5. Collisions

31
and we will make use of the fact that for small , (1+)n
1 + n . At low speed,

The 4-momentum ~p is thus


p~ m ~u
= ( m c, m vx , m vy , m vz )
= ( m c, m v)

(6.10)

Again, by switching into the rest frame of the particle, we


find that |~p| = m c. This is also obvious because ~p = m ~u
and |~u| = c. As with 4-velocity, it is strange but true
that the magnitude of the 4-momentum does not depend
on speed. But of course it cannot, because speeds are
relative.
Why introduce all these 4-vectors, and in particular the 4-momentum? In non-relativistic mechanics, 3momentum is conserved. However, by Einsteins principle, all the laws of physics must be true in all uniformly
moving reference frames. Because only scalars and 4vectors are truly frame-independent, relativistically invariant conservation of momentum must take a slightly
different form: in all interactions, collisions and decays
of objects, the total 4-momentum is conserved. Furthermore, its time component is energy E/c (we must divide
by c to give it the same dimensions as momentum) and its
spatial components make up a correct, relativistic expression for the 3-momentum p. We are actually re-defining
E and p to be
E
p

m c2
mv

(6.11)

Please forget any other expressions you learned for E or


p in non-relativistic mechanics. Those other expressions
are only good when speeds are much smaller than the
speed of light.
A very useful equation suggested by the new, correct
expressions for E and p is
v=

p c2
E

(6.12)

By taking the magnitude-squared of ~p we get a relation between m, E and p |p|,



|~p|2 = m2 c2 =

p = m v (1 2 )1/2
1 v2
mv + m 2 v
2 c
mv

E
c

2
p2

(6.13)

which, after multiplication by c2 and rearrangement becomes


E 2 = m2 c4 + p2 c2
(6.14)
This is the famous equation of Einsteins, which becomes
E = m c2 when the particle is at rest (p = 0).
If we take the low-speed limits, we should be able to
reconstruct the non-relativistic expressions for energy E
and momentum p. In the low-speed limit v/c  1,
A friend of mine once was passed by a youth-filled automobile,
the contents of which identified him as a physicist and shouted Hey
nerd: E = mc2 ! What has just been discussed explains why he
ran down the street after the automobile shouting Only in the rest
frame!

= m c2 (1 2 )1/2
1
m c2 + m v2
2

(6.15)

i.e., the momentum has the classical form, and the energy
is just Einsteins famous m c2 plus the classical kinetic
energy m v2 /2. But remember, these formulae only apply
when v  c.
Conservation of 4-momentum is just like conservation
of 3-momentum in non-relativistic mechanics. All the 4momenta of all the components of the whole system under study are summed before the interaction, and they
are summed afterwards. No matter what the interaction,
as long as the whole system has been taken into account
(i.e. the system is isolated), the total 4-momentum ~p before must equal the total 4-momentum ~q after. In effect
this single conservation law ~p = ~q summarizes four individual conservation laws, one for each component of the
4-momentum.
6.5

Collisions

It is now time to put conservation of 4-momentum into


use by solving some physics problems. The essential technique is to sum up the total 4-momentum before and
total 4-momentum after and set them equal. But just
as in non-relativistic mechanics, there are tricks to learn
and there are easy and difficult ways of approaching each
problem.
In non-relativistic mechanics, collisions divide into
two classes: elastic and inelastic. In elastic collisions,
both energy and 3-momentum are conserved. In inelastic
collisions, only 3-momentum is conserved. Energy is not
conserved because some of the initial kinetic energy of the
bodies or particles gets lost to heat or internal degrees of
freedom. In relativistic mechanics, 4-momentum, and in
particular the time component or energy, is conserved in
all collisions; no distinction is made between elastic and
inelastic collisions. As we will see, this is because the correct, relativistic expression we now use for energy takes
all these contributions into account.
In Figure 6.1, a ball of putty of mass m is travelling
at speed v towards another ball of putty, also of mass
m, which is at rest. They collide and stick forming a
new object with mass M 0 travelling at speed v0 . In a
non-relativistic world, M 0 would be 2m and v0 would be
v/2, a solution that conserves non-relativistic momentum
but not non-relativistic energy; classically this collision
is inelastic. But in a relativistic world we find that the
non-relativistic predictions for v0 and M 0 are not correct
and both energy and 3-momentum will be conserved.

32

Chapter 6. Relativistic mechanics

(a)

(b)
m

Figure 6.1: (a) A ball of putty of mass m travels at speed


v towards an identical ball which is at rest. (b) After the
collision the balls are stuck together and the combined lump
has mass M 0 and speed v0 .

a tourist becomes less massive as he or she burns calories climbing the steps of the Eiffel Tower. Or, a spinning football hits a football player with more force than
a non-spinning one. All these statements are true, but
it is important to remember that the effect is very very
small unless the internal energy of the object in question
is on the same order as m c2 . For a brick of 1 kg, that
energy is 1020 Joules, or 3 1013 kWh, or my household
energy consumption over about ten billion years (roughly
the age of the Universe). For this reason, macroscopic
objects (like bricks or balls of putty) cannot possibly be
put into states of relativistic motion in Earth-bound experiments. Only subatomic and atomic particles can be
accelerated to relativistic speeds, and even these require
huge machines (accelerators) with huge power supplies.

Before the collision, the 4-momentum of the moving


ball is ~pm = ( m c, m v, 0, 0), where I have aligned the
x-axis with the direction of motion, and of course
(1v2 /c2 )1/2 . The 4-momentum of the stationary ball is
~ps = (m c, 0, 0, 0), so the total 4-momentum of the system
is
Problem 65: Suppose the two balls of putty in Fig(6.16) ure 6.1 do not hit exactly head-on but rather at a slight
p~ = p~m + ~ps = ([ + 1] m c, m v, 0, 0)
perpendicular displacement, so in the final state the comAfter the collision, the total 4-momentum is simply
bined lump is spinning? How will this affect the final
0
0
0
0
0
0 0
~q = ( M c, M v , 0, 0)
(6.17) speed v ? And the final mass M ? Imagine now that you
stop the combined lump from spinningwill its mass be
0
02 2 1/2
greater than, equal to, or less than M 0 ?
where (1 v /c )
.
By conservation of 4-momentum, ~q = ~p, which means
that the two 4-vectors are equal, component by compo- 6.6 Photons and Compton scattering
nent, or
Can something have zero rest mass? If we blindly substitute m = 0 into Einsteins equation E 2 = m2 c4 +p2 c2 we
0 M 0 c = [ + 1] m c
0
0 0
M v = mv
(6.18) find that E = p c for a particle with zero rest mass (here
p is the magnitude of the 3-momentum). But v = p c2 /E,
0
so
such massless particles would always have to travel at
The ratio of these two components should provide v /c;
v
=
c, the speed of light. Strange.
we find
v
v
0
Of
course photons, or particles of light, have zero rest
>
(6.19)
v =
+1
2
mass, and this is why they always travel at the speed
of light. The magnitude of a photons 4-momentum is
The magnitude of ~q should be M 0 c; we find
zero, but this does not mean that the components are
2
all zero; it just means that when the magnitude is calcuv
M 02 = [ + 1]2 m2 2 m2 2
lated, the time component squared, E 2 /c2 , is exactly canc 


celled
out by the sum of the space components squared,
2
v
=
1 + 2 + 2 1 2
m2
p2x + p2y + p2z = |p|2 . Thus the photon may be massc
less, but it carries momentum and energy, and it should
2
= 2 ( + 1) m
obey the law of conservation of 4-momentum. This was
p
0
beautifully predicted and tested in the famous Compton
M =
2 ( + 1) m
> 2m
(6.20) scattering experiment. We outline the theory behind this
experiment here.
Figure 6.2 shows the schematic for Compton scatterSo the non-relativistic answers are incorrect, and most
0
ing.
A photon of initial 3-momentum magnitude Q (or
disturbingly, the mass M of the final product is greater
energy
Qc) approaches an electron of mass m that is esthan the sum of the masses of its progenitors, 2 m.
sentially
at rest. The photon scatters off of the electron,
Where does the extra rest mass come from? The anleaving
at
some angle to the original direction of motion,
swer is energy. The collision is classically inelastic. This
and
with
some
new momentum Q0 (or energy Q0 c). The
means that some of the kinetic energy is lost. But energy is conserved, so the energy is not actually lost, it is electron leaves at some other angle and some speed
just converted into other forms, like heat in the putty, or v. The idea of the experiment is to beam photons of
rotational energy of the combined clump of putty, or in known momentum Q at a target of stationary electrons,
0
vibrational waves or sound traveling through the putty. and measure the momenta Q of the scattered photons
Strange as it may sound, this internal energy actually as a function of scattering angle . We therefore want to
derive an expression for Q0 as a function of .
increases the mass of the product of the collision.
Relativity does not provide the principal reason that one can
The consequences of this are strange. For example, a
brick becomes more massive when one heats it up. Or, lose weight by excercising; you do the math.

6.7. Mass transport by photons

33
6.7

Q
before

after
Q

Figure 6.2: Before and after pictures for Compton scattering.

Mass transport by photons

Consider a box of length L and mass m at rest on a


frictionless table. If a photon of energy E  m c2 is
emitted from one end of the box (as shown in Figure 6.3)
and is absorbed by the other, what is the reaction of the
box?

Before the collision the 4-momenta of the photon and


m
electron are
p~ = (Q, Q, 0, 0)
(6.21) Figure 6.3: A thought experiment to demonstrate that there
2
~pe = (m c, 0, 0, 0)
(6.22) is a mass = E/c associated with a photon of energy E.
respectively, and after they are

We know the previous section that a photon of energy


(6.23) E carries momentum E/c, so to conserve momentum, the
emission of the photon must cause the box to slide back(6.24) wards at a speed v given by m v = E/c (where it is
~qe = ( m c, m v cos , m v sin , 0)
respectively, where we have aligned coordinates so the okay to use the classical formula m v for momentum be2
initial direction of the photon is the x-direction, and the cause we stipulated E  m c so  1). The photon
is absorbed a time t later, and the box must stop movscatter is in the x-y plane. The conservation law is
ing (again to conserve momentum). In time t, the box
~p + ~pe = ~q + ~qe
(6.25) moves a distance
~q = (Q0 , Q0 cos , Q0 sin , 0)

but there is a trick. We can move both the photon 4momenta to one side and both the electron momenta to
the other and square (where ~a2 is just ~a ~a):
(~p ~q )2 = (~qe ~pe )2

xb = v t =

E
t
mc

and then stops, while the photon moves a distance

(6.26)

~p ~p + ~q ~q 2 ~p ~q = ~pe ~pe + ~qe ~qe 2 ~pe ~qe (6.27)

(6.31)

xp = c t = L

E
t
mc

(6.32)

For all photons ~p ~p = 0 and for all electrons ~p ~p = m2 c2 . and then gets absorbed. Because the forces associated
Also, in this case, p~ ~q = Q Q0 Q Q0 cos and ~pe ~qe = with the emission and absorption of the photon are to m2 c2 , so
tally internal to be box, we do not expect them to be
2 Q Q0 (1 cos ) = 2 (1 ) m2 c2
(6.28) able to transport the center of mass of the box (see, e.g.,
Frautschi et al., 1986, Chapter 11 for a non-relativistic
0
But by conservation of energy, ( 1) m c is just Q Q , discussion of thisit is a consequence of conservation
and (a b)/ab is just 1/b 1/a, so we have what we are of momentum). But because the box moved, the center of mass can only have remained at rest if the photon
looking for:
transported some mass from one end of the box to the
1
1
1

=
(1 cos )
(6.29) other. To preserve the center of mass, the ratio of masses,
Q0
Q
mc
/m must be equal to the ratio of their displacements
This prediction of special relativity was confirmed in a xb/xp , so
xb
E
beautiful experiment by Compton (1923) and has been re=m
= 2
(6.33)
xp
c
confirmed many times since by undergraduates in physics
lab courses. In addition to providing quantitative con- The transmission of the photon thus transports a mass
firmation of relativistic mechanics, this experimental re- = E/c2 .
sult is a beautiful demonstration of the fact that photons,
This does not mean that the photon is massive. The
though massless, carry momentum and energy.
rest mass of a photon is zero. It only shows that when
Quantum mechanics tells us that the energy E of a
a photon of energy E is emitted, the emitter loses mass
photon is related to its frequency by E = h , and we
m = E/c2 and when it is absorbed the absorber gains
know that for waves travelling at speed c, the frequency
mass m = E/c2 .
and wavelength are related by = c/, so we can rewrite the Compton scattering equation in its traditional Problem 66: In Chapter 5 we learned that no signal
can travel through a solid body at a speed faster than that
form:
h
of light. The part of the box which absorbs the photon,
0
=
(1 cos )
(6.30)
mc
therefore, wont know that a photon has been emitted

34

Chapter 6. Relativistic mechanics

from the other end until the photon actually arrives ! Recast this argument for mass transport by photons into a
form which does not rely on having a box at all.
6.8

The speed is just the ratio of x and t-components, so

Particle production and decay

Problem 67: A particle of mass M , at rest, decays


into two smaller particles of masses m1 and m2 . What
are their energies and momenta?
Before decay, the 4-momentum is (E/c, p) = (M c, 0).
After, the two particles must have equal and opposite 3momenta p1 and p2 in order to conserve 3-momentum.
Define p |p1 | = |p2 |; in order to conserve energy E1 +
E2 = E = M c2 or
q
q
p2 + m21 c2 + p2 + m22 c2 = M c
(6.34)
This equation can be solved (perhaps
numericallyit is
p
apquartic) for p and then E1 = m21 c4 + p2 c2 and E2 =
m22 c4 + p2 c2 .

v0
c

v0

2 1 m v1 + 2 1 m v2
2 1 m c + 2 1 m v1 v2 /c
v1 + v2
1 + v1 v2 /c2

(6.37)

This is a much simpler derivation than that found in Section 4.4!


Consider now a photon in S with 4-momentum ~q =
(Q, Q, 0, 0). In frame S 0 the 4-momentum is
q~0 = (2 Q +

v2
v2
2 Q, 2 Q +
2 Q, 0, 0)
c
c

(6.38)

Clearly this is still travelling at the speed of light (as it


must) but now its new 3-momentum is
r

v2 
1 + v2
Q = 2 1 +
Q=
Q
c
1 v2
0

(6.39)

This change in momentum under a boost is the Doppler


Problem 68: Solve the above problem again for the shift, and is discussed in more detail in the next Chapter.
case m2 = 0. Solve the equations for p and E1 and then
take the limit m1 0.
6.10 4-force
Problem 69: If a massive particle decays into photons, explain using 4-momenta why it cannot decay into We now have 4-velocity and 4-momentum, and we know
a single photon, but must decay into two or more. Does how to use them. If we want to construct a complete,
your explanation still hold if the particle is moving at high invariant dynamics, analogous to Newtons laws but valid
speed when it decays?
in all reference frames, we are going to need 4-acceleration
Problem 610: A particle of rest mass M , travelling
at speed v in the x-direction, decays into two photons,
moving in the positive and negative x-direction relative
to the original particle. What are their energies? What
are the photon energies and directions if the photons are
emitted in the positive and negative y-direction relative
to the original particle (i.e., perpendicular to the direction
of motion, in the particles rest frame).
6.9

Velocity addition
Doppler shift

(revisited)

and

and 4-force. Recall that we defined a 4-vector to be a


four component object that transforms according to the
Lorentz transformation. For this reason, the 4-velocity
~u and 4-momentum ~p are defined in terms of derivatives
with respect to proper time rather than coordinate time
t. The definitions are ~u d~x/d and ~p m~u, where ~x is
spacetime position and m is rest mass.
For this same reason, if we want to define a 4-vector
form of acceleration, the 4-acceleration ~a, or a 4-vector
~
the force, 4-force K, we will need to use

d~u
d
d~
p
d

(6.40)
The fact that the 4-momentum transforms according to
the Lorentz transformation makes it very useful for de~
K
(6.41)
riving the velocity addition law we found in Section 4.4.
In frame S, a particle of mass m moves in the x-direction
Because ~p = (E, p), we have
at speed v1 , so its 4-momentum is


~ = dE , dp .
p~ = (1 m c, 1 m v1 , 0, 0)
(6.35)
K
(6.42)
d d
where 1 (1 v12 /c2 )1/2 . Now switch to a new frame
S 0 moving at speed v2 in the x-direction. In this frame Because t = (where, as usual, (1
v2 /c2 )1/2 ), the spatial part of the 4-force is related to
the 4-momentum is
Newtons
force F , defined as F dp/dt, by

v2
~p0 =
2 1 m v1 ,
2 1 m c +
c
dp

v2
=F
(6.43)
2 1 m v1 +
2 1 m c, 0, 0
(6.36)
d
c
I acknowledge French (1966) for pointing out this problem with
Also, if the rest mass m of the object in question is a
the above argument.
constant (not true if the object in question is doing work,
~a

6.10. 4-force

35

because then it must be using up some of its rest energy!),


we have that
~p p~ = m2 c2
d
(~p p~)
d
d~
p
d~
p
p~ + ~p
d
d
~
p~ K

= 0
= 0

(6.44)

~ are
i.e., if the rest mass is not changing then ~p and K
orthogonal. In 3+1-dimensional spacetime, orthogonality
is something quite different from orthogonality in 3-space:
it has nothing to do with 90 angles.
The 4-force is only brought up here to whet the
readers appetite. We will actually have to make use of it
in the (currently non-existent) Chapter on electricity.

36

Chapter 6. Relativistic mechanics

Chapter 7

Optics and apparent effects: special


relativity applied to astronomy
Up to now, we have always stipulated that observers
making measurements are endowed with divine knowledge and excellent data analysis skills (recall Section 2.2).
For example, in Chapter 2, when E measured the rate
of Ds clock, she did not simply measure the time between light pulses she received, she corrected them for
their light-travel times in getting from Ds clock to her
eyes. The corrections E made to the arrival times were
only possible because E was informed of Ds trajectory
before the experiment. Unfortunately, in many experiments, we do not know in advance the trajectories of the
objects we are studying. This is especially true in astronomy, a subject which, among other things, attempts
to reconstruct a 3+1-dimensional history of the Universe
from a set of 2-dimensional telescope pictures which span
a very brief duration in time (in comparison with the age
of the Galaxy or Universe).
In this chapter we discuss the appearance of objects
to real observers.
7.1

Doppler shift (revisited)

light at intervals of proper time e, and that its distance


from us D is much greater than c e. The question we
want to answer is this: If the light pulse emitted at time
0 arrives at Earth at time t = D/c, how much later does
the next pulse arrive?
The next pulse is emitted a time te = e , later
(where (1 2 )1/2 , v/c, and v |v|), at which
time the object is x = v te cos further away, so the
flash takes additional time x/c to get to us. The time
interval tr between reception of the flashes is therefore
tr

v
te cos
c
= (1 + cos ) e .

= te +

(7.1)

If the motion is basically away from the Earth ( < ),


the time interval tr is longer than e . The analysis
still holds if we take the two events not to be flashes, but
successive crests of an electromagnetic wave coming from
the object. The observed period is longer than the restframe period; the observed frequency is lower than the
rest-frame frequency; the light is shifted to the red.
It is customary in astronomy to define a dimensionless
redshift z by

Consider an object moving with respect to the Earth


and which we are observing from Earth. Without loss
tr
of generality, we can choose the coordinate system for
(1 + z)
e
the Earths rest frame that puts the Earth at the spatial
origin, the moving object a distance D away on the pos= (1 + cos ) .
(7.2)
itive x-axis, and puts the objects trajectory in the x-y
plane. Its velocity vector v makes an angle with the In the simple case = 0 (radial motion) the redshift is
given by
line of sight, as shown in Figure 7.1.
s
1+
v
(1 + z) = (1 + ) =
,
(7.3)
1

and when = (inward radial motion) the redshift z is


negative, we call it a blueshift and it is given by
D
s
1
Figure 7.1: An object moving at relativistic velocity v with
(1 + z) = (1 ) =
.
(7.4)
respect to the Earth (symbolized by ) at an angle to
1+
the line of sight. Note that this is a diagram of space rather
Even when the motion is perfectly tangential, =
than spacetime.
/2, there is a redshift which originates solely in the
Let us imagine that the moving object emits pulses of factor. This is known as the second-order redshift and
37

38

Chapter 7. Optics and apparent effects

it has been observed in extremely precise timing of highvelocity pulsars in the Galaxy. Of course all of these redshift effects are observed and have to be corrected-for in
tracking and communication between artificial satellites.
Interestingly, the Doppler shift computed here, for the
ratio of time intervals between photon arrivals in two different frames, is just the reciprocal of the Doppler shift
formula computed in Section 6.9, for the ratio of photon
energies in two different frames. In quantum mechanics,
the energy of a photon is proportional to the frequency of
light, which is the reciprocal of the time interval between
arrivals of successive wave crests. Quantum mechanics
and special relativity would be inconsistent if we did not
find the same formula for these two ratios. Does this mean
that special relativity requires that a photons energy be
proportional to its frequency?

where, as usual, v/c and (1 v2 /c2 )1/2 . Since


the photons also travel at speed c in Vs frame, we can
re-write this in terms of the distance r0 to the star and
elevation angle 0 in Vs frame:
~x = (r0 , r0 cos 0 , r0 sin 0 , 0)

(7.9)

Solving for 0 ,
cos 0 =

cos +
1 + cos

(7.10)

i.e., V observes the star to be at a different angular position than that at which U does, and the new position
does not depend on the distance to the star.
This effect is stellar aberration and it causes the positions on the sky of celestial bodies to change as the
Earth orbits the Sun. The Earths orbital velocity is
1
4
Problem 71:
The [O ii] emission line with rest- 30 km s ( = 10 ), so the displacement of an obframe wavelength 0 = 3727
A is observed in a distant ject along a line of sight perpendicular to the plane of the
4
galaxy to be at = 9500
A. What is the redshift z and orbit (i.e., cos = 0) is on the order of 10 radians or
20 arcseconds, a small angle even in todays telescopes.
recession speed of the galaxy?
Light travels at speed c, so the observed wavelength Despite this, the effect was first observed in a beautiful

is related to the observed period T by c T = . The rest- experiment by Bradley in 1729.


Notice that as the speed v is increased, the stars are
frame wavelength 0 is related to the rest frame period
displaced further and further towards the direction of moby c = 0 . So
tion. If U is inside a uniform cloud of stars and at rest
9500
A
T

=
;
(7.5) with respect to them, V will see a non-uniform distribu(1 + z)
=

0
3727
A
tion, with a higher density of stars in the direction of her
motion relative to the star cloud and a lower density in
z = 1.55. Assuming the velocity is radial,
s
the opposite direction.
1+
(1 + z) =
1
7.3 Superluminal motion
(1 + z)2 (1 + z)2

= 1+
(1 + z)2 1
,
=
(1 + z)2 + 1

It is observed that two components of the radio galaxy


(7.6) 3C 273 are moving apart at = 0.8 milliarcseconds per
year (Pearson et al 1981; recall that a milliarcsecond is
in this case we get = 0.73. The galaxy is receding from 1/1000 of 1/3600 of a degree). From the known rate of
expansion of the Universe and the redshift of the radio
us at 0.73c.
galaxy, its distance D from the Milky Way (our own
galaxy) has been determined to be 2.6 109 light years
7.2 Stellar Aberration
(a light year is the distance light travels in one year).
Imagine two observers, Ursula (U) and Virginia (V), both If we multiply by D we get the tangential component
at the same place, observing the same star, at the same of the relative velocity of the two components. Because
time, but with V moving in the x-direction at speed v rel- there can also be a radial component, the velocity comative to U. In Us frame, the star is a distance r away and ponent we derive will be a lower limit on the speed of the
at an elevation angle with respect to the x-axis. Light object. Converting to radians we find = 4 109 raditravels at speed c, so for any photon coming from the star, ans per year, so the tangential component of the velocity
the 4-displacement ~x between the event of emission E is roughly 10 light years per year! This is faster than
twice the speed of light, the maximum relative speed at
and observation O in Us frame is
which we should ever observe two objects to move. Rela~x = (ct, x, y, z)
tive speeds exceeding 2c have now been observed in many
= (r, r cos , r sin , 0)
(7.7) radio galaxies, and recently even in a jet of material flowwhere the time component is negative because emission ing out of a star in our own galaxy (Hjellming & Rupen

happens before observation. We apply the Lorentz transformation to get the components in Vs frame
~x = (ct0 , x0, y0 , z 0 )
= ( r r cos , r cos + r, r sin , 0)
(7.8)

Do not confuse this effect with parallax, which also causes the
positions to change, but in a manner which depends on distance.
The paper is Bradley (1729); an excellent description and history of the experiment is Shankland (1964).
In cosmology, there are many different ways of defining the distance betweeen two objects, reviewed by Weinberg (1972, Chapter 14). The proper motion distance is used in this context.

7.4. Relativistic beaming

39

1995); the effect has been dubbed superluminal motion.


Is relativity wrong and can things really exceed the speed
of light?
Figure 7.2 depicts an object moving at a relativistic
speed v = |v| at an angle to the line of sight. The
object is nearly moving directly towards the Earth, so
is close to radians or 180 . The object emits flashes at
events A and B, which are separated in time by te in
the Earths rest frame. The distance between the events
is much smaller than the distance D of the object from
the Earth.

A
D

Figure 7.2: An object moving at relativistic velocity v on


a trajectory that is nearly straight towards the Earth. The
object emits flashes at points A and B.
What is the time interval tr between the receptions
of the two flashes at the Earth? Flash A takes time D/c
to get to us, but flash B takes only D/c + (v te cos )/c
to get to us because the object is closer (note that cos
is negative). So
tr = te + te cos ,

(7.11)

where v/c. The tangential separation of events A


and B as seen from the Earth is y = v te sin , so the
inferred tangential velocity component is
vinferred =

y
sin
=
c,
tr
1 + cos

(7.12)

which can be much bigger than c if 1 and cos 1.


(It is worthy of note that there are many other possible
explanations for observed superluminal motions. If the
radio galaxy contains a huge searchlight that sweeps
its beam across intergalactic material, the speed of the
patch of illumination can certainly exceed the speed of
light. Galaxies can act as gravitational lenses which
distort and magnify background objects; this magnification can make slowly-moving objects appear superluminal. The moving patches could be foreground objects,
although this now appears very unlikely.)

(angular area, measured in square arcseconds, square degrees, or steradians) occupied by the object. The dimensions of brightness are energy per unit time per unit solid
angle. Thus if two objects emit the same amount of light,
the more compact one is brighter. Brightness is a useful
quantity in astronomy because it is independent of distance: as a lightbulb is moved away from an observer,
the amount of light from the bulb entering the observers
eye or telescope goes down as the inverse square of the
distance, but the solid angular size of the bulb also goes
down as the inverse square of the distance. The brightness is constant.
Okay, the brightness of an object is independent of distance, but how does it depend on how the object is moving relative to the observer? Doppler shift (Sections 6.9
and 7.1) affects both the energy E (or momentum Q) of
the photons and the rate of production of the photons
(i.e., number of photons emitted per unit time). In addition, the photon directions are different for the observer
than for someone in the rest frame of the object (as in
stellar aberation, Section 7.2), so the fraction of emitted photons entering the observers eye or telescope will
also be affected by the objects speed and direction. For
the same reason that in stellar aberration (Section 7.2)
observed star positions are shifted into the direction of
motion of the observer, emitted photons are beamed
into the direction of motion of the emitter.
Say the emitting object is at rest in frame S 0 , the
rest frame, but moving at speed v = c in the positive
x-direction in frame S, the frame of the observer. In its
rest frame, the object emits photons of energy E 0 = Q0 c
at rate 0 (photons per unit time). A photon emitted
in a direction 0 relative to the x-axis in frame S 0 has
4-momentum
~p = (Q0 , Q0 cos 0 , Q0 sin 0 , 0)

(7.13)

where the y-direction has been chosen to make pz = 0


(Section 6.6). In frame S it will have some different momentum Q and angle and the 4-momentum will be
p~ = (Q, Q cos , Q sin , 0)

(7.14)

but it must be related to the 4-momentum in S 0 by the


Lorentz transformation, so
Q0
Q0 cos 0

= Q Q cos
= Q cos Q

(7.15)

Problem 72: What is the minimum possible value The first equation is just the Doppler shift (Sections 4.4
of that could account for the observed proper motion and 7.1); the ratio gives
in 3C 273? Assume that one component is not moving
cos
cos 0 =
(7.16)
tangentially with respect to the Earth and the other is.
1 cos
which is exactly the same as the stellar aberration equation (Section 7.2).
In the rest frame S 0 the object emits isotropically, so
Consider an object emitting photons in all directions
isotropically. The brightness of the object is proportional the rate per unit solid angle (measured in steradians,
2
to the amount of radiation (energy per unit time) which or radians ) is just
the object emits into the pupil of the observers eye or
d0
0
=
(7.17)
telescope, and inversely proportional to the solid angle
0
d
4
7.4

Relativistic beaming

40

Chapter 7. Optics and apparent effects

which is independent of . In the observer frame S, however, this will no longer be true. Consider the solidangular ring of angular width d at angle . This ring
has solid angle
d = sin d
(7.18)

D
X

to observer

but the photons emitted into that ring in S are emitted


into a different ring in S 0 with solid angle
d0 = sin 0 d0

(7.19)

where and 0 are related by (7.16). Taking the derivative


of (7.16)
0

sin d

sin d
(cos )( sin d)
+
=
1 cos
(1 cos )2


2
1
= sin d
(1 cos )2
sin d
=
(7.20)
2 (1 cos )2

so the ratio of solid angles is


d
= 2 (1 cos )2
d0

(7.22)

or in terms of redshift, (1 + z)4 !


Problem 73: Plot the observed brightness I as a
function of angle according to an observer at rest in
S observing an object radiating isotropically in its rest
frame S 0 .
7.5

Y
Figure 7.3: A plank of rest dimensions X Y moves at speed
perpendicular to the line of sight to a distant observer.
Problem 74: What is the apparent position of corner C to the observer in Figure 7.3 at the time that the
light from corners A and B reach the observer? From this
information, as well as length contraction, compute the
apparent locations of all four corners.

Problem 75:
(7.21) D?

the square root of which is the ratio of energies E 0 /E (by


the Doppler shift) or the ratio of rates of photon production 0 / (by the same). Putting it all together, since the
inferred brightness is proportional to the energies times
the rate divided by the solid angle, the ratio of brightness
I/I 0 between the observer and rest frames is
I
4
= [ (1 cos )]
I0

The appearance of passing objects

Consider a rectangular plank of rest dimensions X Y


moving at speed v = c in the x-direction, perpendicular
to the line of sight to a distant observer, as shown in
Figure 7.3. The light coming from the corners marked A
and B get to the observer before the light coming from
corner C by a time interval Y /c. For this reason, at any
instant of time, the plank will appear rotated to the
observer, as you will show in the problems. There is a nice
discussion of this apparent rotation effect in French (1966,
pp. 149152). The apparent rotation actually needs to be
taken into account by astrophysicists modeling features in
relativistic jets emitted by radio galaxies and stars (e.g.,
Lind & Blandford 1985).
The rest dimensions are the dimensions the object has in its
rest frame.

7.6

Why doesnt the observer see corner

A simpleminded cosmology

We know that the Universe is expanding. In fact, we


know that except for a few, very close neighbours, other
galaxies are receding from our own and recession speed
is proportional to distance from us. This effect is known
as the Hubble flow, named after the astronomer who first
discovered it (Hubble, 1929). This Hubble flow is naturally explained by a simple cosmological scenario in which
the Universe begins with an explosion, and this scenario
does not require our galaxy to be at the center.
Consider an infinite Lorentz frame S 0 with a small
rock at rest at the origin. At time t0 = 0 in this frame, the
rock explodes into countless tiny fragments with masses
small enough to ensure that gravitational forces do not
significantly affect the constant-velocity (speed and direction) trajectories. At time t0 > 0, there is some distribution of fragments in space, with the faster-moving
fragments further out from the explosion point. Because
all fragment world lines are constant-velocity and pass
through the event (0,0,0,0) in S 0 , the vector displacement
r0 in frame S 0 of a fragment with velocity v 0 is given by
r0 = v 0 t0 .
Now consider another frame S which also has the explosion at the origin, but which is moving along with one
of the fragments not at rest in S 0 . In S, all the fragments
have constant-velocity worldlines that pass through the
event (0,0,0,0). Therefore in S also, the displacement r
at time t > 0 of a fragment with velocity v is given by
r = v t. That is, at any time t > 0, recession speed is
proportional to distance from the origin even though the
origin is not at (or even at rest with respect to) the center
of the explosion.
If at time t = t0 (now) we live on a fragment (the

7.6. A simpleminded cosmology

41

Milky Way) ejected by a huge explosion (the Big Bang)


which occurred at time t = 0, and the fragments are not
heavy enough to have significantly affected each others
velocities via gravitational forces, then by the above argument we expect to see other nearby fragments (other
galaxies) receding from us, with their recession speeds
proportional to their distances from us; i.e. we expect a
spherically symmetric Hubble flow even if we are not at
the center of the Universe.
Of course when we look at an extremely distant object
now, we are not seeing the object at its current position
r(t0 ), but rather at its position r(te ) at time te when it
emitted the light that is now reaching us. Also, we have
no direct measure of the distance re = |r(te )|, but we
can infer it from the redshift z of the light that it emits
in, say, its hydrogen recombination lines (the rest-frame
frequencies of which we know). What is the relationship
between z and re ?

ct
ct o O
re
ct e

The Big Bang occurs at event B, the origin (c t = x = 0);


the fragment emits light at event E (c t = c te , x = re);
and we observe the light at event O, now (c t = c t0 ,
x = 0).
It should be obvious from the diagram that c t0 =
re/ + re , where = |v|/c and that the proper time
BE elapsed for the fragment between B and E is given
by (c BE )2 = (re /)2 re2 . From these relations and
the fact that the redshift z is given by 1 + z = t0 /BE
(Section 7.1) it is easy to show that
re = c t0

2z + z 2
2(1 + z)2

(7.23)

(the student is encouraged to show this). It should be


obvious, both from Figure 7.4 and the above equation,
that the maximum value for re is c t0 /2 when z ,
and that for small z, re = c t0 z.
In addition to inference from redshift, the distance
to a fragment can be determined several other ways. If
one knows the size of the fragment, its angular diameter
can be measured, and the ratio of the quantities should
provide the distance re. For this reason, re is referred
to as the angular diameter distance to the object, and
is often denoted dA . If the intrinsic luminosity L of a
fragment is known, its flux F can be measured, and the
relation F = L/(4r2 ) can be used to determine a distance. However, the luminosity distance dL determined
in this way is different from dA by four factors of (1 + z)
because of the effect of redshift on brightness discussed
in Section 7.4.
The cosmology presented in this section is a simple
Milne cosmology, a more general version of which (including gravity) is described by Milne (1934). Most cosmologists now believe that the expansion of the Universe
is governed by general relativity, but it is nonetheless true
that most cosmological observations can be explained by
this simple kinematic model.

re

x
B

re

Figure 7.4: The spacetime diagram used to derive the


redshift-distance relation in a simpleminded cosmology.
World lines of the Earth (vertical) and the fragment (slope
1/) are shown. Event B is the big bang, E the emission
of light and O its observation now on Earth.
Figure 7.4 is the spacetime diagram for a fragment
moving in S (where S is our rest frame) at velocity v, with
coordinates aligned so that v points in the x-direction.

Experienced cosmologists will notice that equation (7.23) is


identical in form to the equation derived, via general relativity, for
the angular diameter distance in a spatially curved, isotropic, homogeneous, empty space. See, e.g., Weinberg (1972) or Peebles
(1993) for the general-relativistic derivation.

42

Chapter 7. Optics and apparent effects

References
Binney J. & Tremaine S., 1987. Galactic Dynamics.
Princeton University Press, Princeton.

Newton I., 1730. Opticks. (Reprinted by Dover, New


York, 1979.)

Bradley J., 1729. Philosophical Transactions of the


Royal Society 35 637.

Particle Data Group, 1994. Review of particle


properties. Physical Review D 50 11731825.

Compton A. H., 1923. Physical Review 22 409.

Pearson T. J., Unwin S. C., Cohen M. H., Linfeld R. P.,


Readhead A. C. S., Seielstad G. A., Simon R. S. &
Walker R. C., 1981, Nature, 290 365368.

Einstein A., 1905. Zur Elektrodynamik bewegeter


K
orper. Annalen der Physik 17. (English
translation: On the electrodynamics of moving
bodies, reprinted in Lorentz et al., 1923.)

Peebles P. J. E., 1993. Principles of Physical


Cosmology. Princeton University Press, Princeton.

Einstein A., 1911. Uber den Einfluss der Schwerkraft


auf die Ausbreitung des Lichtes. Annalen der Physik
35. (English translation: On the influence of
gravitation on the propagation of light, reprinted in
Lorentz et al., 1923.)

Poincare H., 1900. Relations entre la physique


experimentale et la physique mathematique.
Rapports presentes au Congr`es International de
Physique de 1900 (Paris) 1 129.
Purcell E. M., 1985. Electricity and Magnetism.
McGraw-Hill, New York.

Frautschi S. C., Olenick R. P., Apostol T. M. &


Goodstein D. L., 1986. The Mechanical Universe.
Cambridge University Press, Cambridge.

Rossi B. & Hall D. B., 1941. Variation of the rate of


decay of mesotrons with momentum. Physical
Review 59 223228.

French A. P., 1966. Special Relativity. W. W. Norton &


Co., New York.

Shankland R. S., 1964. Michelson-Morley Experiment.


American Journal of Physics 32 1635.

Hjellming R. M. & Rupen M. P., 1995, Episodic ejection


of relativistic jets by the X-ray transient GRO
J1655-40, Nature 375 464468.

Strang G., 1976, Linear Algebra and its Applications.


Harcourt Brace Jovanovich, San Diego.

Hubble E., 1929. A relation between distance and radial


velocity among extra-galactic nebulae. Proceedings
of the National Acadamy of Sciences 15 168173.

Weinberg S., 1972. Gravitation and Cosmology:


Principles and Applications of the General Theory of
Relativity. John Wiley & Sons, New York.

Jackson J. D., 1975. Classical Electrodynamics, 2 ed.


John Wiley & Sons, New York.
Kleppner D. & Kolenkow R. J., 1973. An Introduction
to Mechanics. McGrawHill, New York.
Lind K. R. & Blandford R. D., Semidynamical models
of radio jets: Relativistic beaming and source counts,
Astrophysical Journal 295 358367.
Lorentz H. A., 1904. Electromagnetic phenomena in a
system moving with any velocity less than that of
light. Proceedings of the Academy of Sciences of
Amsterdam 6. (Reprinted in Lorentz et al., 1923.)
Lorentz H. A., Einstein A., Minkowski H. & Weyl H.,
1923. The Principle of Relativity. Perrett W. &
Jeffery G. B., translators. Dover Publications Inc.,
New York.
Milne E. A., 1934. A Newtonian expanding universe.
Quarterly Journal of Mathematics 5 6472.
Michelson A. A. & Morley E. W., 1887. On the relative
motion of the Earth and the luminiferous ether.
American Journal of Science 134 333345.
43

44

References

Index
compressibility, 5.1
compression waves, 5.1
Compton, 6.6
Compton scattering, 6.6
confirmation, experimental, 2.5, 6.5
conservation of 4-momentum, 6.4, 6.5, 6.6, 6.7, 6.8
constant position, lines of, 3.2, 3.4, 3.5, 3.6
contraction of length, 2.3, 2.5, 3.5, 3.2, 3.6
coordinates of events, 4.1, 4.2, 4.3
coordinate transformations, 4.2
cosmic background radiation, 1.1
cosmology, 7.3, 7.6
decay, of particle, 6.8
Declaration of Independence, 3.1
Denver, 2.5
diagrams, spacetime, 3.1, 3.5, 3.6
dilation of time, 2.1, 2.2, 2.4, 2.5, 3.2, 3.5, 3.6
displacement, 6.2
distances between events, 4.1
distances, in cosmology, 7.3, 7.6
Doppler shift, 2.2, 6.9, 7.1, 7.4
dot product, 6.2
dynamics, 6.10
E = m c2 , 6.4, 6.7
Earth, gravitational field of, 1.4
Earth, motion of, 1.1, 1.3, 1.4, 7.2
Echo Lake, 2.5
Eiffel Tower, 6.5
eigenvectors of boost transformation, 3.5
Einstein, 1.2, 1.3
elastic collisions, 6.5
electromagnetism, 1.2
electrons, 6.6
elevators, 1.4
emission line, 7.1
empiricism, 1.1
energy, 6.4, 6.5, 6.6, 6.10
events, 3.1, 4.1, 5.2
events, order of, 5.2, 5.3
exercise, physical, 6.5
expansion, of the Universe, 7.6
experiments, 1.1, 1.2, 1.3, 2.2, 2.4, 2.5
experimental confirmation, 2.5, 6.5, 6.6, 7.2
flashlights, 1.2
force, 6.10
frame-independent vs frame-dependent, 3.3, 4.1, 6.1,
6.2, 6.3
free-fall, 1.4
French, 6.7, 7.5

Note that this index is in terms of Section numbers,


not page numbers.
3+1 dimensions, 6.2
3-displacement, 6.2
3-force, 6.10
3-momentum, 6.4, 6.5, 6.6
3-vector, 6.2
3-velocity, 6.3
3C 273 (radio galaxy), 7.3
4-acceleration, 6.10
4-displacement, 6.2
4-force, 6.10
4-momentum, 6.4, 6.5, 6.6
4-vector, 6.2
4-velocity, 6.3
aberration, stellar, 7.2
absolute motion, 1.1, 1.2
absolute time, 2.1
addition of velocities, 1.2, 1.3, 4.4, 6.9
aether theory, 1.3
Alpha Centauri, 2.4
apparent rotation, of passing objects, 7.5
apparent vs real effects, 2.2, 7.1, 7.2, 7.3, 7.4, 7.5
associativity, of dot product, 6.2
astronomy, 7.1, 7.2, 7.3, 7.4, 7.6
barns, 3.3, 5.1
beaming, relativistic, 7.4
before and after, 6.4, 6.5, 6.6
big bang, 7.6
black holes, 5.1
Blandford, 7.5
blueshift, 7.1
boost transformation, 3.2, 3.4, 3.5, 3.6, 4.2, 4.3
boost transformation, eigenvectors of, 3.5
Bradley, 7.2
brightness, 7.4
cafe, interplanetary, 3.1
cantaloupes, 1.2, 4.4
causal history, 5.2, 5.3
causal future, 5.2, 5.3
causality, 5.1, 5.2, 5.3, 6.7
causally disconnected events, 5.2
center of mass, 6.7
centrifugal force, 1.4
clocks, 2.1
clocks, synchronization of, 3.4, 3.5, 4.1
coffee, 4.5
collisions, 6.4, 6.5, 6.6
commutativity, of dot product, 6.2
45

46
frequency of light, 6.6, 7.1
galaxies, radio, 7.3, 7.5
Galaxy, 1.1, 1.3
Galileo, 1.1, 1.2
geodesic, 4.5
gravitational lensing, 7.3
gravity, 1.4
h (Plancks constant), 6.6
Hall, 2.5
heat, 6.5
high school, 6.1
Hjellming, 7.3
Hubble, 7.6
Hubble flow, 7.6
hyperbolae of constant interval, 4.3
incompressibility, 5.1
inelastic collisions, 6.5
inner product, 6.2
interference (of light), 1.3
internal energy, 6.5
International Standards Organization, 2.1
interval, invariant, 4.1, 4.2
invariant interval, 4.1, 4.2
invariant quantities, 4.1
inverse Lorentz transformation, 4.3
isolated system, 6.4
K-mesons, 2.5
kinetic energy, 6.5
ladder and barn paradox, 3.3, 5.1
law, civil, 1.1
law, physical, 1.2
length contraction, 2.3, 2.5, 3.2, 3.5, 3.6
length, of 4-vector, 6.2
leptons, 2.5
life, mean, 2.4, 2.5
light as particles, 1.2, 6.6, 6.7
light as waves, 1.2, 1.3
light-clock, 2.1
light year, 7.3
lightlike interval, 4.1, 5.2
limits, low and high-speed, 2.1, 6.4
Lind, 7.5
linearity of the boost transformation, 4.2, 4.3
lines of constant position, 3.2, 3.4, 3.5, 3.6
lines of simultaneity, 3.4, 3.5, 3.6
Local Group of galaxies, 1.1
Lorentz, 1.2, 1.3
Lorentz contraction, 2.3
Lorentz factor , 2.1
Lorentz transformation, 4.2, 4.3, 6.9
Lorentz transformation, in definition of 4-vector, 6.2
Los Angeles, 2.4
magnitude, of 4-vector, 6.2
mass, 6.4
matrix algebra, 4.2
media (for waves), 1.2, 1.3
meter sticks, 2.3
Michelson, 1.3

Index
Michelson experiment, 1.3
Michelson-Morley experiment, 1.3
Milne, 7.6
Milne cosmology, 7.6
mirror, 1.3
mean life, 2.4, 2.5
mean range, 2.5
momentum, 6.4, 6.5, 6.6
Morley, 1.3
motion, relative and absolute, 1.1, 1.2
muons, 2.4, 2.5
nature/nurture debate, 4.5
neutrinos, 3.1
neutron stars, 5.1
New York, 2.4
Newton, 1.3, 6.10
null interval, 4.1, 5.2
[O II] emission line, 7.1
order of events, 5.2, 5.3
orthogonality, in 3+1 dimensions, 6.10
paradox of the ladder and barn, 3.3, 5.1
paradox of the twins, 2.4, 4.5
parallax, 7.2
particle decay, 6.8
Pearson, 7.3
Philadelphia, 3.1
photons, 6.6, 6.7, 6.8, 7.1
physics, 5.1, 5.3, 6.4, 6.5
pions, 2.5
pipe, 2.3
Pittsburgh, 6.2
Plancks constant h, 6.6
Poincare, 1.2
police officer, 1.1
Potier, 1.3
primed frame, 4.3
principle of relativity, see relativity
proper distance, 4.1
proper motion, 7.3
proper time, 4.1
putty, 6.5
quantum mechanics, 6.6, 7.1
Queens, 6.2
radio galaxies, 7.3, 7.5
range, mean, 2.5
redshift, 7.1, 7.6
reference frame, 2.1, 3.2
reflections of space axes, 4.3
relative motion, 1.1
relativistic beaming, 7.4
relativistic mass, 6.4
relativity, galilean, 1.1, 1.2
relativity of simultaneity, 3.3, 3.4
relativity, principle of, 1.1, 1.2, 1.3, 1.4
rest frame, 3.2, 6.4
rest mass, 6.4, 6.5, 6.6
reversal of time axis, 4.3
Richmond, 6.2

Index
rigidity, 5.1
Rossi, 2.5
rotation, apparent, of passing objects, 7.5
rotational energy, 6.5
rotations of space axes, 4.3
ruler stick, 2.3
Rupen, 7.3
sailors, 1.1, 1.2, 1.3
scalars, 6.1, 6.2
scattering, 6.6
seeing vs observing or measuring, 2.2, 7.1, 7.2, 7.3, 7.4
Shankland, 7.2
shear, boost transformation as, 3.5, 3.6, 4.2
siblings, 2.4
simultaneity, lines of, 3.4, 3.5, 3.6
simultaneity, relativity of, 3.3, 3.4, 3.5
slinkies, 5.1
sneezes, 1.1
sound, speed of, 5.1
soup, 1.2
space reflections, 4.3
space rotations, 4.3
Space Shuttle, 1.4, 2.4
spacelike interval, 4.1, 5.2
spacetime diagram, 3.1, 3.2, 3.6
speed of light as conversion factor, 2.1, 3.1
speed of light in vacuum, 1.2, 1.4, 2.1, 6.6
speed of light as speed limit, 5.1, 5.3, 7.3
speed of light in air, glass, etc, 1.4
speed of sound, 5.1
spinning wheel, 5.1
stars, positions of, 7.2
stellar aberration, 7.2
straight lines, 4.2, 4.5
Sun, motion of, 1.1, 1.3
superballs, 1.1
superluminal motion, 7.3
swimming, 1.1
symmetry arguments, 2.1, 2.3, 3.6, 4.3, 4.5, 6.3
synchronization of clocks, 3.4, 3.5, 4.1
time dilation, 2.1, 2.2, 2.4, 2.5, 3.2, 3.5, 3.6
time reversals, 4.3
timelike interval, 4.1, 5.2
twin paradox, 2.4, 4.5
ugliness, 6.4
Universe, expansion of, 7.6
vector, 6.2
velocity, 3- and 4-, 6.3
velocity addition, 1.2, 1.3, 4.4
velocity, relative and absolute, 1.1, 1.2, 1.3, 6.3
wave, compression, 5.1
wave theory of light, 1.2, 1.3
wavelength of light, 6.6, 7.1
Weinberg, 7.3, 7.6
wheel, spinning rapidly, 5.1
work, 6.10
worldlines, 3.1
wristwatches 2.1

47

You might also like

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy