Special Theory of Relativity by Ugarov
Special Theory of Relativity by Ugarov
Special Theory of Relativity by Ugarov
THEORY
OF
RELATIVITY
VA. UGAROV
CnEUV!AJlbHA51
TEOPVI51
OTHOCVITEJlbHOCTY1
B. A. YfAPOB
H3,nATEJibCTBO «HAYKA:.
MOCKBA
SPECIAL
THEORY
OF
RELATIVITY
V.A.UGAROV
TRA:-.ISLATED
FROM
THE IWSSIA"l'
BY
YURI
ATANOV
MIR PUBLISHERS
MOSCOW
Firs! published 1979
Revised from the 1977 Russian edition
Ha QN2AUIICKOM RSI>!Ke
The author
CONTENTS
!Preface
-§ 2.7. -
The-Lorentz transformalion as a consequence of the invariance M
of the interval between events . • • . • , . • • 63
-§ 2.8. Complex values in the STR. Symmetric designations . . • . . 65
'§ 2.9. A geometric illustration of the Lorentz transformation • • , , 69
Contents
SUPPLE.'o1ENT . 3t7
I. Who developed the special theory of relativity, and how,
(~ L. GmzbJr·)) . 3t7
II. The unsuccessful senrch for a medium for the propagation of light 328
III. Was Michelson's experiment "decisive" for the creation of the spe-
cial theory of relativity? . . . . . . . . . 345
IV. Why shouldn't the mass-velocity dependence, or the relativtslic
-- -
mass, be introduced? . . , . 350
V. Non-inertial fram~s of reference. The :;pecial theory ot relativity
and the advance to gravitational theury (the general theory of
to Contents
Appendix II. The basic formulae of electrodynamics in the Gaussian system 394
Bibliography • 399t
Index • . • . • . • • . . . • • . • . • . • . • • . • • • 40&
CHAPTER r
CLASSICAL MECHANICS
AND THE PRINCIPLE
OF RELATIVITY
object having a finite rest mass, in it. Points in space are usually
labelled by means of a coordinate system. With the help of the
material object we distinguish a point which is the origin of co·
ordinates The simplest coordinate system is the Cartesian syo;.
tern. Its construction begins with the tracing of three mutu.t!ly
perpendicular straight lines, i.e. the coordmnte X, Y, Z axes. !11
terms of physics, however, these are not just abstract strarg~rt
lines. Theoretically, the coordinate axes are rigid non-deformable •
solids. By the way, instruments, standards and other objects of
a given reference frame \\"ill be always fixed to them and there-
fore it should be borne in mind that a physical coordinate system
is always a material object.
In the Cartesian coordinate system points are quite easy to
label. From any point M in space one can construct the perpen·
diculars to the X, Y, Z axes or, in other words, project this point
on the coordinate axes. Having measured the distances of the
point projections from the origin along the X, Y, Z axes by means
of the chosen scale, 've obtain the numbers x, y, z, which are called
the Cartesian coordinates of the point. The distances can be mea':>·
ured via the step-by-step transposition of a unit scale along the
axis from the origin to the point projection on the axis. In fad,
such a procedure used for length measurements in everyday life
can also be used for determining the length of a stretch or an
object if it is at rest in a given coordinate system. As we shall
see later, the special theory of relativity furnishes a very con-
venient method of measuring distances without recourse to rigid
scales and their step-by-step transposition (see Chapter 2). Both
methods are equivalent, of course.
Thus through the introduction of the Cartesian coordinate S\ s-
tem every point in space acquires three numbers, that is the thi-ee
Cartesian coordinates x, y, z. The principal objective of physics,
however, is to study motion. Although mechanical motion is th•.!
simplest type of motion, its description requires time measure-
ments and therefore the coordinate system has to be of necesstly
supplemented by a clock. This clock is needed to register tile
occurrence of events at various points in space. How many clocl-s
are needed?
In classical mechanics they do not usually hesitate over the
answer to this question and l<'lcitly assllme that one clock restinJ;
in a given coordinate system is enough. It is useful to find o.1t
what this assumption implies. Let the clock be located at the
origin of the coordinate system. Events may happen at any points
. • The STR negates the existence of absolute solids (see Chapter 8) but lor
the coordinate axes it is just sufficient not to be very elastic.
Classical Mechanics and the Principle of Relativity 13
of the point at which the event happened, while the last one
specifies the moment of time at which it happened. We want to
know how the same four numbers x', y', z', t' look in another rei-
erence frame K' moving relative to the frame K.
From the very beginning we are compelled to restrict our prob-
lem and consider only those reference frames which move uni-
formly and rectilinearly relative to one another, and do not ro-
tate around the origin. In other words, none of the considered
M reference frames moves with
K
K'( . v !~oth~~elef~!~~- r~~~~~h~~
\ r! __...-g•later it will become clear
\ ~ ;1 that we deal here with th::!
0 collection of so-called iner-
tial frames of reference.
However, since such refer-
ence frames can be discrimi-
nated only on the basis of
Newton's laws, we shall post-
pone the definition and iden-
tification of such frames till
§ 1.5. For the present, we
'' shall consider the two frames
~~g~·:i~· t~~ea~bi~r~~f~edi~~cft~dm:~e: /n:. K and K' moving uniformly
z and x', y', z'. The frame K' moves rela· and rectilinearly (translu·
th·e to K at the velocity V. The radius tionwise) relative to each
vector of the point M is equal to the other, in terms of geometry.
vector ,. m th~ frame K and to r' in the Let us assume that the re-
~:~~n ~~~~c:~d~'=.. ~. \~-he;:c~rissut~~ ference frame K' moves re-
radtus vector of the origin 0'. lative to K at a velocity V.
Suppose that at a given mo·
ment of time t the radius vector of the point M in the frame K' is
equal tor'. Then it can be seen from Fig. 1.1 that r' = r-R,
where ,. is the radius vector of the same point in the frame K, and
R is the radius vector of the origin of the coordinate system K'
taken from the origin of K. This relation is valid for any moment
of time and R varies according to the familiar law R = Vt + R,J,
where Ro is the radius vector specifying the location of the origin
0' at the moment of time t = 0. Taking into account that at the
moment t = 0 both origins coincide, R = Vt, and we obtain the
coordinate transformation law in the vector form:
r'=r-Vf, (I. I)
where the components of the vector V are defined in the frame K.
Now we can resort to isotropy of space and rotate each of the
systems K and K' around its respective origin. It is convenient
Class/tal Methanlts and the Principle of Relativity 17
Fig. 1.2. The two reference frames K and K' with parallel axes move relative
to each other at the velocity V (Vis the velocity of motion of K' rei alive to K).
In classical physics coordinates of an Mevent" are transformed from the rcfer-
el:ce fr11me K Ia K' according to the formulae of the "Galilean transformation":
x'=x-Vf, Y'=y, z'=z, 1'=1.
at the point x 1 at the moment t~o and the other at the point x2 at
the moment t 2 (1 1 =f= 12). 15 it possible to select the frame K' in
v.hich both events would happen at the same point in space? Let
us find the x coordinates of these events in the frame K': xl =
= x1 - Vt 1, xl = x2 - Vt 2; and compose the difference x~-xl=x2 -
.__ x 1 - V (1 2 - t 1). Having bidden x2- xl = 0, we obtain the
equation from which the velocity of the frame K' relative to K is
determined: V = (x2 - x 1)/(t2- tt). The meaning of the result
is \'Cry simple: during the time period t2 - t 1 the frame K' suc-
ceeds in bringing the point xl to the place where the second event
occurred by a requisite moment. We see that it is always possible
to select a frame K' satisfying the required condition. It is pos-
silJle, however, only because classical mechanics permits the ve-
locity V to have any magnitude. In the theory of relativity, where
the velocity of a reference frame, just as any other material ob-
ject, is limited, the required frame is far from being always found.
Before proceeding to the Galilean principle of relativity, let us
agree on one term. For the ease of speech "various observers"
or "observers in different reference frames" are often mentione<:l.
In the past such a terminology provoked blustering arguments,
because there were many who imagined that it implied a ~objec
tive approach to physical measurements. But the presence of an
obser\·er is not at all mandatory as far as measurements are con·
cerned: they can be taken by means of instruments and without
man's assistance. It is indeed the case, for example, with space-
ships, even when there arc people aboard. "An observer from a
frame K" is, in fact, taken to mean a set of instruments resting
in this frame. One should not be surprised by the fact that instru-
ments placed in different reference frames will give different re-
sults for measured quantities associated with one and the same
phenomenon inasmuch as relative motion is a fundamental phy~i
cal quality. Objecti\'ity of la\\'s of nature manifests itself when
from results of observation in one reference frame one can find
results of observation of the same phenomenon in any other
frame. One may hope that after these remarks the appearance of
an "observer" on the pages of this book will not give rise to any
objections.
§ 1.4. The Galilean principle of relativity. Newton's second law.
The Galilean principle of relativity pertains to mechanical pheno-
mena exclusively; it was the first step toward the establishment
of the principle of relativity that later embraced all physics. Ga-
lilee noticed that uniform and rectilinear motion does not affect
mechanical phenomena. It is necessary to formulate precisely
what it means. As we already know, a reference frame is needed
to describe any physical phenomena, including mechanical ones.
Let us consider two reference frames moving uniformly and recti-
,. Special Tlteory of Relalfulfy
The fact that the acceleration of objects is the same for all ob-
servers in frames moving uniformly and rectilinearly relative to
each other, is immediately evident. But this result makes it pos-
sible for us to understand the statement that "the equations have
the same form in all reference frames". The fundamental equation
of classical mechanics is that expressing the second law of Ne\V-
ton. This equation relates a force F acting on a body and the ac·
celeration acquired by it due to the action of this force:
m-M-=F; (1.5)
• What is meant is a small objed possessing a mass, but still so minute that
there is no need to take into account its rotation. In mechanics, in thts case,
they speak of a m11ss point, but since we shall have to deal with points in space
far too much, the term "particle" is preferable.
Special Theory of Relaliuily
I
I___'_'"_'_"_'_"·--~--------------~----------
Coordloal0s aod
velocities of obje~ls Coordloales lo K 1
f
Tran;~k,'~r~~!~oo o
ing the second law of Newton in the frame K has the following
form, provided the force depends on a distance and time:
valid. And the first law of Newton is, in fact, equivalent to thi<;
statement. This law postulates that an inertial frame of reference,
i.e. a reference frame in which the law of inertia is valid, is
available. In other words, one can find a reference frame in which
a body that interacts with no other bodies, moves due to inertia,
i. e. uniformly and rectilinearly.
The law of inertia represents a special case of the law of con-
servation of momf"ntum. On the one hand, it is a consequence of
the second and the third laws of
Newton, and on the other hand, a
The Earth consequence of the second law anrl
rotation axis
the assumption about uniformity of
~
space (equivalence of all its points),
i.e. Newtonian mechanics assumes
the uniformity of space in any iner·
tial frame of reference.
~
Now suppose we have found one
inertial frame of reference. Then ac-
cording to the Galilean principle of
Fig. 1.3. The Foucault experi· relativity all reference frames mov-
menl rlcsign.:!d to dele<:! one of ing uniformly and rectilinearly rela-
IFRs. For the sake of simplicity tive to it will be inertial as well.
the drawing illustrates the Fou· Therefore, it is clear that there is an
~~~t aetf~;~~~~~ 1~eir~~t. f~~r~;.' infinite number of inertial frames of
pcrimenl was conducted in Pa· reference.
ris. but this circumstance does How does one find at least one
not change the matter. inertial frame of reference? Of course,
the discovery of such a frame is a
matter of experience. The famous pendulum experiment first con·
dueled by Foucault is suitable for the purpose. For the sake of
simplicity we shall describe the experiment the way it could be
conducted at one of the Earth's poles (Fig. 1.3). A heavy ball is
suspended on a thread which is attached to a frame constructed
at the Pole. The point of the pendulum suspension is located on
the Earth's axis. The attachment of the thread is free and so th~
frame does not carry the thread along in the process of rotation
around the Earth's axis. The equilibrium position of the pendulum
thread coincides with the Earth's axis. If one deflects the pendu-
lum from the equilibrium position and then lets it go without im-
parting an initial velocity, it will start oscillating in a certairt
plane. The two forces acting on the pendulum are the gravita-
tional force mg and that of the tensile stress T of the thread. Bolh
forces act in the plane P of the pendulum oscillations and cannot
remove the pendulum from that plane. If the second law of Newton
were strictly valid on the Earth, the plane of the pendulum oscil-
lations would maintain its orientation relative to the Earth. But
C/(J.ssic(J./ Mech(J.nics (J.nd the Principle of Re/(J.fivillf 2i
space and time seem very scholastic lo us. l·lov,.evN, they ::.houtd
not be underestimated. Here is a short excerpt from the book [II J:
"In conversations with one of lhe authors of this book at ,·ar-
ious limes over the years, Einstein emphasized his great respert
for Newton and, in particular, his admiration for Newton's cour-
age. He stressed that Newton was even better aware than his
17th century critics of the difficulties with the ideas of absolute
space and time. However, to postulale those ideas was the only
practical way at that time to get on with the task of describing
motion".
Of course, the natural question arises: why does classical me-
chanics based on such concepts of space and time that can hardly
be explained, function so efficiently? It turns out, however, that
these concepts are approximately correct and the departures from
them in everyday life are quite insignificant. The departures from
the classical ideas become clearly visible only when micropartic-
les are investigated and also in outer space conditions which
modern physics has already begun studying. Such investigations,
however, require special conditions and sufficiently complex equip·
men!.
To end this brief section it is necessary to give a concise pre-
sentation of the up-to-date approach to the problem. From the
modern point of view there is no absolute space and, consequently,
no absolute motion. All inertial frames of reference are equivalent.
The special theory of relativity shows that time readings for
events prove to be different in different inertial frames of reference.
Thus, time reading is found to depend on the state of motion. The
gravitational theory of Einstein goes still further. In terms of this
theory properties of space and time are not prescribed for ever
but are specified by objects located in space. Since in accordance
with dialectic materialism space and time are forms of existence
of matter, the conclusions of Einstein's theory of gravitation ap-
pear far more satisfactory than the Newtonian concepts of space
and time.
§ 1.7. How physics was approaching the theory of relativity.
From the point of view of modern physics it is useful to tra::e
how relativistic effects were showing well before the crea-
tion of the special theory of relativity. This section does not
claim to be an historic essay (Supplement II is closer to that). It
is intended only for promoting the understanding of the next two
sections, where, in fact, the first principles of the theory are pre-
sented.
No doubt, the first step to the development of the special theory
of relativity was the discovery by Galileo of the principle of rela·
tivity for mechanical phenomena.
The natural question arises: why did Galileo confine his prin·
Classical Mechanics and llle Principle of Relativity 31
if, say, there are such scales and clocks only in one frame? In
some literature one can come across a discourse to the point that
length scales and clocks can be transferred from one IFR into
another. There is no doubt that one should not do this. Transfer-
ring clocks and length scales from one IFR into another, we im-
part acceleration to them. Theoretically, acceleration varies the
length of scales and the clock rate. H~re are some straightforward
examples: drop a clock or a ruler on a stone ftoor. A clock may
just stop, and a ruler break. Even an atomic clock breal{s down
when atoms get destroyed. All that is the effect of acceleration.
But in order to obtain identical length and time standards in
different lFRs, one does not need to transfer anything from one
frame into another. lt is sufficient to take a pure substance in any
reference frame and its radiation will provide us with requir~d
standards. It should be emphasized how important it is to have
length and lime standards in each IFR which are truly identic..tl
with those in all other frames. Indeed the pri_n~iQ!e.....uLLel.aii\tity
iHl_d. t~J~!l!livalenc~_QLi!.IU.E.B.Sfn co_':~.Qi_natJon....w.ilhJhe _identity of
lengt_h and tune Standards maKe !fpossible to attain lli.e ·complete
identity of these reference frames.
So, every IFR has as many adequate clocks as needed. The
time of an event at a given point is the reading of the clock
located at the point where the event occurred at the moment of
the occurrence of the event. If two events occurred at different
points in space and the clocks at these points registered the same
time for the occurrence of these events, we have to regard these
events as simultaneous. But obviously the synchronism of events
occurring at different points in space depends on how the initial
time readings of these clocks were adjusted, the clock rates being
assumed absolutely identical. Thus the determination of the syn·
chronism of events and the adjustment of the initial lime readings
of all the clocks belonging to d given IFR, i.e. the clock syn-
chronization, are the same thing. It should be pointed out that the
clock synchronization, that is the determination of the synchronism
of events, can be accomplished in different ways. The advantages
of the synchronization suggested by Einstein will be explained
later on. All the same, it should be emphasized that the synchro-
nism of events is determined, and this determination can be ac·
complished not in a single way.
Here is the example showing how important it is to know how
to determine the synchronism of events. How is a velocity of a
particle found? Let a particle move along the x axis. To obtain
its velocity, one must know the position x 1 of the particle at the
moment t 1 and also its position x 2 at the moment 12• Provided
the motion is uniform the velocity is equal to (x2 -xl)/(t2 -tt).
But the arrival of the particle at the point x 1 is registered by a
Einstein Postulates. Lorentz Transformation
• There exists the voluminous literature uillustrating"' that the infinitely slow
tr~nsportalion of docks does not affect their rates. No doubt, it is plausible in
terms of physics. But inasmuch as the relativistic theory deals with relativistic
velocities and distances, a procedure of this kind is hardly of any interest to us.
Special Theory of Relativity
so the distances from each of the clocks to the reference one are
known.
2. At an arbitrarily chosen moment ! 1 a light signal is sent
from the reference clock to the clock to be synchronized. The liglit
signal travels in vacuo along the known path and its arrival is
registered by an observer or by means of a device.
3a. The reading of the clock at the inoment of the signal arrival
+
is to be set tot= t 1 r/c, where r is the distance to the reference
clock. The "initial" reading of the clock is thereby chosen, the
clock is "verified" against the reference one.
One may also use another equivalent method.
3b. Mirrors are set at all points where clocks are located in
crder to reflect light back to its source. If the reference clock
registers the return of the signal at the moment ! 2, the moment
registered by the clock at the mirror is to be set equal to t =
~t,+(t,+t,)/2.
The last procedure of clock synchronization has one delicate
point. Using procedure 3a we presume the velocity of light c
known. But we have already seen that two synchronized clocks
are necessary to determine the velocity of motion in one direc-
tion. On the other hand, the velocity of light is usually determined
from the motion of a beam along a closed path. In particular, the
velocity of light could be found by means of re~eclion from a
mirror, when only one clock is available. In this case one has to
make use of procedure 3b and to know the distance from the rei-
erence clock to the mirror. If this distance is equal to r, then
c = 2r/(t2 - tt). However, if the velocity of light propagating
"there" is not equal to that of light propagating "back", we are
not able to establish this fact. It is impossible to ascertain this
fact experimentally just because our clocks are synchronized to
give the value c for the velocity of light. The theory of relativity,
however, proceeds from the assumption that the velocity of light
in vacuo is the same in all directions. Besides, the totality of ex-
perimental data does not contradict either this statement or the
consequences of the theory of relativity.
Thus, we have come to a relativistic frame of reference compris·
ing a coordinate system of rigid axes and synchronized clocks
fixed rigidly to this system. Such clocks in a given IFR will be
referred to as a "set" of clocks. The synchronization procedure
according to Einstein is such that it can be performed in the same
manner in any IFR.
In accordance with the adopted rule for clock synchronization,
synchronism of events can also be determined as follows. Let two
events occur at the points of space equally removed from the
third point. If at the moment of the occurrence of the two events
the light signals are sent from the points of events to that third
Einstein Postu.lales. Lorentz Transformation
"
point, the events are assumed simultaneous if both signals reach
the third point at the same moment of time.
Of course, accelerated motion of bodies can be treated in the
framework of the STR, whereas accelerated motion of reference
frames, relative to inertial ones, cannot be considered. Since
length standards and clocks are rigidly fixed to their IFR, it is
clear that these standards and clocks should not be accelerated.
Otherwise, the study of an influence of acceleration on length
standards and clocks would make us examine their specific struc-
ture and de~rive the theory of its universal character.
§ 2.3. The direct consequences of Einstein's postulates (a few
imaginary experiments). The two dtrect consequences of Ein-
stein's postulates, "the relativity of .l~!!~lh_ scales:: and ".the- re~a
tivity of time intervals bet~veen _e-Ve®', can be obtained directly
from the postulates themselves. M.ost often they are obtained
from a transformation of coordinates and time of an event. This
transformation is compatible with the Einstein postulates and is
called the Lorentz transformation. However, this convenient me-
thod to be discussed in § 3.2 is not at all obligatory. Now we
shall describe a few "imaginary experiments" by means of whici-J
\\e shall draw necessary conclusion~aginary experiments play
a conspicuous role in conclusions of the STR".--::llley.::r"eJireSenrso·nfe-
hypothetical experiments nOt TO be nece~aTily con~uctea in p--rac:
lice. In fa_~t these are_on1y generalizat1ons permi~!i"i:tg 4efinile coil-
sequences ·to l:ieObfained ffom the given· premiSes.* Now We pass
over to a description of several imaginary exper1inents whose re-
sults we shall obtain once more when consequences of the LorentL
transformation are discussed.
We shall begin with a very simple imaginary experiment which
illustrates____ib_e _relativiry of synchronism, provided the second
Einstein postulate rs·satisfied. Later·on We shall obtain the same
result by different methods. The experiment is performed in the
Einstejn t~a_i~- _This term i"S1.-ppl1ed to a·ny train moViri"g uhi-
formly and rectilinearly at, preferably, a relativistic velocity. In
an imaginary experiment one can assume even such a thing. Tlte
middle of the train is easy to find precisely. _This is done in the
traj~); reference frame and does not present anya-tfl!£y_TlLes~UO
server r rs "lb~ated in th-e l'nT<fdTeClf flie·-rriin ana -observer 2 at
the station. Light signals are sent to observer I from the ends
of the train whiclt are equally removed from him. The imaginary
experiment is so performed that the signals travelling from the
(b) The comparison of clock rates in the frames K and K'. Ob·
serving clock rates in the two frames K and K' moving relati\e
to each other, one can only compare readings of one clock from
one frame with readings of several clocks from another frame,
because two clocks from different reference frames get together
at the same point in space only once. In one of the frames there
must be at least two clocks which are supposed to be synchronized
in the way described in § 2.2 of this chapter. For the sake of d~
finiteness we shall be comparing one clock from the frame K'
with two clocks from the frame K.
Let a clock and a light source be located at the origin 0' of the
frame K' (Fig. 2.2a). A mirror is set on the z' axis at the distance
z~ from the light source (and the clock) in the direction perpen-
dicular to that of the relative motion. A light signal is transmitted
from the source to the mirror from which it is reflected back and
returns to the point 0' in the time interval !J.t' = 2z0/c. Both the
Special Theory of Relativity
"light source and the mirror are at rest in the frame K' and the
signal travels "there" and "back" along the same straight line,
i.e. the z' axis.
Now let us consider the propagation of the same signal in the
frame K relative to which the source and the mirror move to the
right together with the frame K' at the velocity V. Although the
signal was sent fro_m the two coinci.dent origins 0 and 0', the
reflection from the mirror will occur at some other point x 1 of
the frame K and the reception of the retlected signal at the point
x2 of the x <Jxis. In this way the path of the signal in the frame K
!(' /( J('
I v
r+
Mtrror
(a) (b)
x,z'
Fig. 2.2. The "imaginary experiment" showing that the interval between two
ennis measured in terms o[ proper lime IS always less thdn the time interval
bCh\·een the same events registered by means of two clocks o[ any other refer-
ence frame. (The ~ltght clock" expenment.) (a) Tile calcu[ahon of the proper-
lime interval between the sendmg and reception of a ltght signal at the
oligin 0' o[ the coordinate system (b) The calculation of the l1me interval
bet\\'een the same events m the reference frame K relative to which a light
source and a mirror move.
,, K'
(a) (b)
fig. 2.3. The "nnagmary experiment" which perm1ts dctectmg the "contraction"
of the ruler's length when measured in d reference frame in which the ruler
nlO\·es uniformly and rectilinearly The ruler is ori!nted in parallel w1th its mo-
}:~~evek~ci:lhe (~~o:e~e le~~~~u~rm:n~u~r)~h{b:e~~~h n~!a:ur~~:~t a~f r~h~ ~~~;~:
length in the reference frame relative to which the ruler moves at the velocity V.
Eq. (2.4) gives the length of the ruler when measured in an)'
inertial frame of reference. In the frame in which the ruler is at
rest (B = 0) its length is equal to 10 . It is just the fact from
which we started our reasoning. Eq. (2.4) is asymmetric with
respect to the lengths I and !0, since it relates the proper length / 0
of the ruler in the frame K0 to the improper length I in any other
reference frame K.
Thus we have ascertained the relativity of time intervals be-
tween events and the relativity of the ruler's lengths or scal~s
directly from Einstein's postulates, the quantities, which, in clas-
sical mechanics, were equal in all inertial frames of reference.
52 ~pedal Theory of Relativity
K'
t IHumentt I
t;~tjr t;-rtt-.B)t
W'~~-~
Fig. 2.4. The dts·synchronization of the clocks of the frame K' in terms of the
frame K When the origins 0 and 0' coincide, two docks of the frames K and
K', which happen to be at this point, are set so that their readings are t = 0
and I'= 0 AI the moment t (by the frame K dock) the readings of the frame
K' dock can be found at the points x 1 = Vt and x2 =ct.
Meanwhile the time interval between the moment when the origins
0 and 0' coincide, and the moment when the origin 0' shifts to
the point x 1, is equal to 11 = t - 0 = t, when measured by the
clock of the frame K. According to Eq. (2.2)
,; ~1/l'. (2.7)
Thus we have come to the conclusion (Fig. 2.4) that at the
moment t (by the clock of the frame K. i.e., simultaneously in the
frame K) the clock of the frame K' shows different time when
located at different points in the frame K:
at the point x 2 =ct t;=r(l-B)t,
at the point x 1 = Vt t~ = 1/f.
And all this in spite of the fact that all the clocks from the set
of the frame K' have been synchronized within their own frame.
But the calculation shows that all these clocks are dis-synchron-
ized in the frame K. We have also found that a dis-synchroniza-
tion depends on what point of the frame K is selected for clock
-comparison. Let us find the difference of readings of clocks of
the frame K' at the points x 2 and x 1:
!it' =t;-t~ =fBt(B-1).
Einstein Postulates. Lorentz Tram/ormation 55
ference clock will show the time t~=l/1' (see Eq. (2.4)), while
the clock located at the point x will show the time
ft'(x, r~-(~~-vt)=:r(t -~x).)
/)=+-- (2.10)
---------- - -·- _J
Eqs. (2.5), (2.6) ~nd _(_2._10} constitut~ the Lorentz transforma-
tion. Of course, the derivation of Eq. (2.10) may seem clumsy and
eVen superfluous. Indeed, applying the· reasoning that has led us
to Eq. (2.5) to the transition from the frame K' to K, we obtain
x(x',t')~f(x'+Vt'). (2.11)
Solving Eq. (2.11) with respect to t' and substituting x' ac-
cording to Eq. (2.5), we immediately get Eq. (2.10):
e~:c~\ tp~1o~s~ct~:t"~dfl~~~nJ~~~~~~~~
a es o e even · sl__b~_JinJ:ar- In-
]lfea,Te e origin of the coordinates and the time be changed, i.e.
the transformation x=X + xo, y=jj +Yo.z=Z +
zo, t=l +
t0 be
performed. If the relationship between the coordinates of the event
is linear in the frames K and K', we obtain. for x', for example
x' =a 1x-ta2 y + a;JZ-1- a~t=
= a1X + a2fi + a3 Z + a~t + (a1xo + a2Yo + a3Zo +- a4/0),
where a~. a2, a3 and a4 are constants. From the last equation it
is seen that the origin has shifted in the frame K' as well, since
the expression in parentheses is the same for all points of the
Einstein Postulates. Lorentz Transformation 5T
r-- - -1- - -
- ;--v-, - - -1-
-v'l=D' . B-~
- ' . (215)
.
~1--;:;-
but
Therefore
r~ ~r;+r~ ~f(r 1 -Vt)+r.._ ~r[(r 1 +r.._)-Vi]-
r .L =r - r 1 =r -V~=/V~~)J
o.nd, consequently,
r'~ r(r- Vi)+ (I'- I) lfr~~ VJ,
t'~r(t-4,}
This is the Lorentz transformation in a vector form for an
arbitrary direction of the relative velocity. The equation for r'
corresponds to the classical Eq. (1.1) and transforms into it
when r =I.
Once again we shall postpone discussing the meaning of the
Lorentz transformation 1 (Eq. (2.16)) till we derive it by still
another method. That method will lead us to a realization that
the real physical world in which all phenomena of nature occur
is a four-dimensional manifold, the so-called ypace-tim~_· The
special theory _o_r rdaliY_ity wlli ~p__pear before us as th~ thepry of
-rour--diffienslQm!.l_~ace-time, ~s_well ~-~ thellleofy poSsessing an
015yious=_ge_ome!ri~!_c::Di~(IT!iLDUe tq __ ITS-jilf)'slca:l sco-pe-~nd a
~Possibility or a lurt~er _g~~{iiT£~~~on_ ~uch an afproach proved
to be of_ _eAr~m~ i[n~6fl_anc~Uo_ Ql,l[whole-viSion o the world and
the first step towarif the creation of the theory of gravitation.
§ 2.6. The propagation of the light wave profile. An interval
~~~~~:;ri~;e~:sin Lf!r~~ ~fnt~t I~R0;,h~ ~~~g~~r;h:xrr:r~~e%;
moving along the common x, x' axis at the velocity V in vacuo.
At the initial moment t = t' = 0, when the origins 0 and 0'
coincide, a light flash is triggered. According to the second Ein-
stein postulate light propagates in all directions in the frames K
and K' at the same velocity c. Consequently, the wave profile, i.e.
Einstein Postulates Lorentz Transformation 61
the surface of equal phases, will look like a sphere in each of the
frames K and K'. The equation of this sphere can be easily written
down:
In the frame K
x2 + y2 + z2= c2t2.
I
In the frame K'
x'2 + yf2+ z'2= c2t'2,
Even if we forget everything that was spoken about different time
readings t and t' in the frames K and K', we still can explain
now why we wrote t' instead of t for the frame K'. Let us sup·
pose the time in the frames be equal, i.e. t = t'. Then the radii
of the spheres turn out to be equal at a given moment t. Thus,
the same physical object, the wave profile, is equally described by
the two spheres of equal radii with their centres located at th~
two points 0 and 0'. This is an absurdity. Hence, one cannot
assume t = t'. Let us put down the equations in the form
c'l'- (x'+ y' +z'l -o,
c2(2- (x'2 + y'2 + z'~) = 0.
In this imaginary experiment we deal, in fact, with two events.
The first one consists in sending a signal from the origin x 0 = 0,
y 0 = 0, z0 = 0 at the moment t0 = 0, and the second in the arrival
of the signal at an arbitrary point of the sphere having the coor-
dinates x, y, z at the moment t. If one makes up the expression
~~u ~ ~ ~ ~ ~ ~ ~-
- -.,l"c'"'P~'x'~'y',-'z'',
that is referred to as the interval between these two events and
designated by s. the result obtained can be formulated as follow<;·
the square of the interval between the two events, consisting in
sending a signal from one point and its arrival at another, mu<;t
be equal to zero in any reference frame:
s'-0, s~-o. (2.17)
Of course, the interval between the events can be found not
only for the sending and arrival of a light beam. If the coordi·
nates of Event I are defined by the numbers X1, y1. Z1, 11 and the
coordinates of Event 2 by the numbers x 2, y 2, z2, t2, the interval
s 12 between these events is equal to
s,- -./ c' (1,- 1,)' '<c;-x,--:-;x,)',---,(y:-,--:y"',)'-c=(z,-:-::-::-z,")'.
The interval s 12 for arbitrary events, however, is not equal to zero.
Frequently it is convenient to consider events occurring at
infinitely near points and at infinitely near moments. Assuming
., Special Theory of Relativity
Since V12 depends not only on the absolute values of the vectors
V1 and V2 but also on the angle between them (which does not
enter explicitly in the last equation), this relationship can !Je
evidently satisfied only when the coefficient a is reduced to a con·
stant value. From the last equation it is clear that the constant a
can be equal only to unity. Hence,
ds 2 =ds'2;
from the equality of infinitesimal intervals it follows that
s=s',
i.e. the interval a is invariant with respect to the transformation
of coordinates and time, complying with the Einstein postulates.
(Note that the intervals s and s' cannot differ by an arbitrary
constant, since from s = 0 it follows that s' = 0.) We have al·
ready seen and shall make sure again that such a transformation
is the Lorentz transformation.
Thus, the expression c2t 2 - x 2 - y 2 - z2 must remain invariable
on transition from the frame K to K'. When the frames K and K'
are arranged the way it is shown in Fig. 1.2, then y = y', z = z'
and the sum y 2 + z2 becomes an invariant. In this case the ex·
pression
(2.18)
will be, in fact, the transformation invariant.
§ 2.7. The Lorentz transformation as a consequence of the in-
variance of the Interval between events. In the previous section
it was shown that the coordinates of two events must satisfy the
equation
c2t'2- x'2 = c2P- x2, or x'2- c2t'2 = x2- c2t2 (2.19)
This unit will not appear exceptional if one recalls that in as-
tronomy distances are measured in terms of time (and the velocity
of light), that is in light years.
So, if time is measured in light metres, the expression for the
invariant interval between events becomes quite simple:
(2.2!)
The easiest way to find a transformation satisfying Eq. (2.21)
is as follows. We know from § 2.5 that a transformation of coor-
dinates and time must be linear. Let us write down such a trans-
formation using indefinite constant coerficients in the form
X1 = OtX + b(r:, (2.22)
't'=a2 x+b2't.
Substituting Eq. (2.22) into the lert-hand side of Eq. (2.21)
and grouping the coefficients at x2, -r 2 and 2xr:, we obtain
x' 2 - -r 2 =x2(a~ -aD- 't' 2 (b~- bD + 2x-r(a 1b1 - a2b2 ) ===x2 --r2•
(2.23)
The last link of this equation is written down according to Eq.
(2.21); it must be identically satisfied for any x and -r. This re·
quires, however, the following equations to be complied with:
a~-a~=!, b~-b~=l, a1b1 -a2b2 =0. (2.24)
These equations are very easy to satisfy, having assumed the
coefficients a and b equal to hyperbolic functions (defined and
described in Appendix I, § 9):
a 1=cosh a.. a2 =sinh a~o b2 =cosh a2, b1=sinh a2.
In this case the first two equations of (2.24) are satisfied auto·
matica\ly. It follows from the third equation, rewritten as ada 2 =
= b2lb •. that tanh a. = tanh a2. and in order to satisfy this equa-
tion it is sufficient to assume a. = a2= a. Thus, the transforma-
tion (2.22) takes the form
X 1 =X COSh a+ 't sinh a,
(2.25)
't 1 =x sinh a+ 't cosh a.
The parameter a can depend only on the relative velocity V. It is
referred to as a velocity parameter and plays an important role
in the STR (see § 3.5). To define it, one should use the first
equation (2.25). Assuming x' = 0 for the origin 0', we obtain
~~-tanh a. (2.26)
Einstein Postulates. Lorentz Transformation 65
a,.~(~B ~B
0001
H) (a) I a,.~( ~! ~ -~BI')
iBroor
(b),
(2.41)
Einstein Poslulales. Lorentz Transformation 69
'j<' 'y
~/
'
'<
,-; ..
/, 1"'B~
/
(a)
Fig. 2.6. A geometric illustration of the Lorentz transformation The Lorentz
transformation reduces to the rotation of the ~ and T axes through the angle
To !h!rrctfi~aT ~~~~rodn!h;.,o~i~i~hi~ ;t~~i~k~U~~s ~ c~~;tdi:r~1 en~~g~a~~f:t~~
o;,
the O·t' axis and the straight lines 1' = const are parallel to the Ox axis (we
have passed over to the rectilinear oblique-angled syst!!m of coordinates). The
transition from the frame K to K' corresponds to the convergence of the r' and
Jf! axes (a); the inverse transition to the divergence of the T and x ax!!s (b).
The angle between the x and x' axes is defined from the relation
1p = arctan B. Thus, the Lorentz transformation reduces to a con-
version of the rectangular reference frame x, T to the oblique-
angled one x', T'; the x and T axes rotate around the origin in
the direction of the bisector of the coordinate angle through the
same angle cp =arctan B (see Fig. 2.6a). This is what rotation
through an imaginary angle means! In formal terms rotation of
a rectangular system just considered does not at all resemble ro-
tation of a Cartesian system of coordinates.
Our result shows that we cannot remain within the framework
of orthogonal axes x, T when considering inertial frames of ref·
erence and resorting to a geometric illustration of this transfor-
mation. Even if the axes of the initial frame are orthogonal, a
transition to any frame K' makes it oblique-angled. Fig. 2.6b illu-
strates the transition from the orthogonal frame K' to K accord·
ing to Eq. (2.30). But an emergence of oblique-angled coordinate<;
makes it necessary to distinguish between co- and contravariant
coordinates (see Appendix I. § 8). That is why it is so difficuit
to bypass these notions in the STR without hiding beyond the
number i (see§ 2.8).
CHAPTER 3
CONSEQUENCES
OF THE LORENTZ TRANSFORMATION.
THE CLASSIFICATION
OF INTERVALS AND THE PRINCIPLE
OF CAUSALITY. THE K CALCULUS
t;~r(t,--fx,).l x;~r(x,-Vt,),
t;=r(t,-fx 1) . x;=r(x 1 -Vt 1).
Making up the differences 12- t~ and x2- xi, i.e. subtracting
the lower equations from the upper ones, and designating 6.x =
=x2 -X~o !J.x'=x2-xl. M'=t2-t;, M=t 2 - t 1, we obtain
the necessary equations (the inverse transition equations are also
\\ritten out):
6x' ~ f(6x- M),V (3.1) 16x~ r (6x' +V
M'), (3.1')
u~r(M--f6x). (3.2) M~r(M+-fu). (3.2')
In fact. Eqs. (3.1) and (3.2) as well as Eqs. (3.1') and (3.2') are
the Lorentz transformations for differences of spatial coordinates
and times of the two events. These equations should be suppl~
mented with the relations !1y' = 1.y and !J.z' = !1z.
It immediately follows from Eq. (3.2) that two simultaneous
events in the frame K are not simultaneous in the frame K'. In-
deed, assuming !11 = 0 in Eq. (3.2). we obtain
llt'=-f*b.x. (3.3)
It is seen that 1.1' "4= 0, if 6.x -4= 0. But if !1x = 0 at !1t = 0 as
\Veil, the events either coincide or happen in the plane x =canst.
For such events 1t' = 0.
Two conditions follow from Eq. (3.2). Provided they are satis-
fied, one may ignore the relativity of time intervals between
events. First, one should suppose B « I; then r ;: : : I and the fol-
lowing expression can be written: !1t' = M- (VIc) (.1.x/c). The
second term in this expression can be ignored if the ratio IJ.x'r
74 Special Theory of Relativity
''here it is at rest. So, let the ruler be at rest in the frame K' and
the coordinates of its ends be xl and x~. By definition, its length
in the frame K' called, as we have indicated, the proper length
is equal to x2- x;. The proper length of the ruler is designated
by l 0, i.e. ! 0 = xl.- x]. Since the ruler is motionless in the fram~
K', one may not worry about the simultaneity of measurements of
the coordinates of its ends: its length can be measured by any con·
ventional means.
In the frame K the coordinates of the ruler's ends will be de-
termined according to the Lorentz transformation (see Eq.
(2.37a)):
x~=r (x2 - Vt 2), x~ =f(x 1 - Vt 1).
Having formed the difference x2 - x~, we obtain
x;- x;- r ((x2 - x,)- V (12 - t,)). (3.4)
o' o'
e:t----------------,:)
B
Fig. 3.1. Measurement of the length of a moving ruler.
know beforehand that the moving object has the form of a cube
in its own reference frame.
At a definite moment all photons emitted simultaneously (in
the frame fixed to the plate) at the points of the line AD will
reach the plate together with those emitted at the point 8 earlier
by the time interval lfc, I being the edge length of the cube. But
at that moment the point 8 was in the position 8'. The simul-
taneous determination of the
positions of the points A and B A B
D in the frame fixed to th~ f-ht.B c lj] tl/Fjil (b}
plate leads, in accordance Ltgkt tJ
with the conventional rule oi
length measurement, to the
Lorentz contraction: l' =
A ~
ni,,J
= l(l-p 2 )'''· On the other
hand, 88' ~(If c) u ~ ~1.
From Fig. 3.3b and c one
Lrght ! L1ght
tW
lsinp tcos~p
~
can realize that the picture
of a moving cube that would
be seen by a motionless id~
alized observer coincides with
the picture of a motionless {d) Ohserver
cube turned through a cer·
tain angle cp. This angle is fig. 3.3. Visual observation of a cube mov-
determined from the relation ing past an observer: (a) the mutual d1s·
sin cp = ~- This is a particu· posilion of the observer and the cube at
Jar case of a more general 0=0; (b) the visible p1clure oF the mov·
ing cube, (c) the possible inlerpretal10n
result: any three-dim~l of the visible picture by one obs!!rver. the
moving-objeCiiSSeen __turned rotation of the cube through the angle
jit -a --given fuOrn~~T. Tf- tfie f41 = arcsin j3: (d) the observation of the
cube is so positioned relative moving cube at the angle 0
to the observer that it is seen
at the angle a' relative to the x' axis when at rest, it will he
observed turned through another angle. If the cube is removed
far enough from the observer, light travelling from it can lle
taken for a parallel pencil of rays. When this pencil is observed
in the frame K. it propagates at the angle a to the x axis, as
seen by the observer from K. the angles a and a' being related
by the equation (see Eq. (7.11)):
cosB~(cosB' +~)/(! +~cosB').
/(1 Kl
L....u oi lo
/
l ~ .r,.r'
,.//"
:p'
1/
~
1-'llotqgrophJ.C plate
~
L
n"l v,' ----- 0
Source
t!rz.x"
L
Observer
(b)
f1g. 3.5. The deri\·alion of equations of the radial Doppler elfect: (a) an
observer moves away from a source; (b) an observer approaches a source.
pulse leaves the point 0 after the time interval T (by the clock
of the frame K). But at that moment the origin 0' is already at
the distance VT from 0. The velocity of light relative to 0' in the
frame K is equal to c- V, so that a light ray will need the
additional time VT/(c- V) to reach the origin 0'. Therefore, the
observer at 0 will receive the pulse after the time interval
(3.13)
o'If~----~x' -~r,
Source :
-----c+-
~xvrcose:
Obsef'l!er
{a) (h)
Fig. 3.6. The derivation of the Doppler effect equations: (o) the transverse
effect: (b) the general case.
~v~e~~ee~gr~~~~e~4~~nf2j!~~:-
be derived if the radiation at the angle to the direction of the
source motion is considered (Fig. 3.6b). If the first pulse is
emitted at the point A and the second at the point B, the path
difference of parallel rays travelling at the angle e to the velocity
direction is equal to VT cos e. It is clear from this that
T' = T- VT ~os 8 in terms of the observer, and, consequently,
w' = ---v-.
1--;:cose
Note that w' and w0 in this equation are mea·
now v = v(t) is the velocity of the object (and not of the ref-
erence frame). Owing to this circumstance the designations jl
and y have been introduced. When the velocity of the object varie.;
according to the equation v = v(t) the relationship between th?
final time interval "t and the time interval registered by the clock
of the frame relative to which the object moves is obtained by in-
tegration
' ----
./ ('('))'
"t--r0 =
..1 V I - --;- dt. (3.16)
~-#~ ~ ~ ~ ~ ~ ~ ~-
- vc' (MJ' (~x)' (~y)' (~z) 1 . (3.17)
i. e. si2~ 0, and the interval s12 must be real. In the frame K'
the events considered happen at one point in space and the time
interval between them is equal (with an accuracy to within the
factor c) to
(3.21)
llt' =I' ( llt- fa-6x )=r (1-{r 1f}~t =I' ( 1-7) 6t. (3.23)
Special Theory of Relaliulty
Assuming !lx' = 0 in Eq. (3.22), one can easily find the velocity
of the frame K' in which the two events in question are single-
positioned. From the right-hand side of the equation we immedi-
ate!) obtain the evident answer V = u. So, this is just the frame
co-moving with the particle. Another important consequence fol-
lows from Eq. (3.23). Let M = /2- t1 > OJhis.___impfu_Ltl!!_t
event_II happ_ened_af_ter event I. Is there such a fr_ame K' in which
-Slr< .0. i.e. th~ tirn_e ~iqUeilce of the events IS"""ii1VerSed i.SCo-nl-
pared to the Trame K? Eq. (3.23) shows the sign of !lt' to coincide
\\tith that of llt when (I - ~) > 0. But this condition is always
satisfied, since the velocity of an object v is always less than c.
(The reference frame is also a material body.) The same condi·
1~~~r~sal~ 1 ~~dse~t~~f~~~ ~'h';r~n~n\a~f 0Jq~v(~-~3) 0~~~~~i~[ th:i:~~~~:
sian (1 -f cA:t ). According to Eq. (3.18) l 12 ~ llx, and if
ct 12 > 112, eM> llx a fortiori. This implies that the ratio llx/c·~t
is less than unity; V/c is always less than unity, so that
{I -f ~) > 0 and, consequently, tl.l' > 0.
Hence, for these two events, considered in terms of the frames K
and K', the conCf_pis-"later_':_l!n~ "earlier" have an i_dentical,_ tQat
is absolute, character. In general, H {he intervaT-Oetween--events
is time-like (recall that the interval is the invariant quantity), the
time sequen~e_ of eyents r_emains the :Safll~_ih_r_ough.auJ a_ll IFR:>._
Tater on we sfia n _see llla1lfi_rs:~Do1Jb.e c;tse for_ intervals WhiCh
differ fronLiimedi.ke. ~_r_v~~-
What is the significance of the invariance of time sequence in
all inrrtial frames of reference? We have already ascertained that
two events separated by a time-like interval will be single-posi·
tioned in some reference frame. If one of them happened "earlier"
and the second "later", the first event may be the cause for the
origination of the second, i.eJ.he,L_!!!O:)_y_Jle_connecte_Q_frr__the c_au~e_
and-effect relationship. But in ITi1s case their time sequenceCai"lnot
depend on [he· choice of a reference frame. It is from our results
that the criterion for the possibility of the cause-and-effect rela·
tionship follows (the interval is time-like). As to the time sequence
of events, it automatically remains the same in all reference
frames.
of ~h~a~i~~~~~~ek~~~r~~l at~~~~~~Pn b~~!~~sn i;\?~~f~e~o!h~nfy b~icb~~~~
1 0
it provides the identical time sequence in all IFRs. It indicates
the physical opportunity of one event affecting another. It follows
from the inequality l'f2 < c2t~2 , determining a time-like interval,
that during the time passing between the two events light can
Consequen.:es of Lorentz Tran#ormafion K Calculus 93
a Jortwri cover the distance from the point where event I occurred
to the point where event II did, the product c(t 2 - t!) being the
path travelled by light during the lime (1 2 - tt). This means that
basically a certain interaction (signal) could propagate from the
point where event I occurred to the point where event II did
during the time interval between the events. Without claiming th~
generality in formulating the problem we shall assume that one
event can affect another only through a physical (force) inter-
action. Then, if event I happened, a "signal" about this fact can
reach the point where event II will happen prior to the moment
of occurrence of event II. This means that event I can be the cause
of event II, and event II can be the effect of event I. In this case
the events can have the cause-and-effect relationship. Thus, the
eve-nts separated by a time-like interval can have the cause-and-
effect relationship in terms of physics as well. It is understood
that they may not be in such a relation. We only point to thl\_
theoretical possibility. What is essential, the _time sequence c-an--)
~~~e~ea ft~~t~t!nc_:~~-~Se:_ol- sUCli_ irilemlls:-ihe--CamequeAce ~
(b) Now let us PaSS over to the consideration of intervals of
the opposite sign. Let us examine again the condition of the in-
terval invariance (Eq. (3.19)) and determine whether we can find
such a coordinate system K' in which the two given events I and
II happen simultaneously. This means that in this system tl2=0.
si
Hence 2 = -t;i < 0. The squared interval between the events
must be negative, and the interval proves to be imaginary. In the
frame K' the events in question happen at the same moment of
time, and the interval between them is reduced (with an accuracy
to within the number i) to the spatial intervall] 2 = is 12. That is
why imaginary intervals are referre_!)_t_g_as_ spa~.e-l.i_kln!etva-!5.
The condition -ror a-Spac-e-ltke ·intefval can also be written in the
form lt 2 > cl12·
Can one find the reference frame in which 6.t' = 0 for two given
events? Assuming M' = 0, we obtain from Eq. (3.2):
(3.24)
Since one can always choose the events so that l 12= 11x, it fol-
lows from the condition for a space-like interval that in thi~ case
~x > c-~t. Eq. (3.24) testifies that we can get V < c, that is,
basically, such a frame can be chosen. The ratio l!!x/c-M appears
in the third link of Eq. (3.23); as we have mentioned. it can ex-
ceed unity. But this means that the factor (I - f ,I:J.;t) can be
made negative by the appropriate choice of V.
94 Special Theory of Relativity
(3.28)
(3.29)
98 Special Theory of RelalirJily
+-1~ ~ 4~~
,.
-1
-f+~-1-~
I+ vc~,
f(•-f)-(•-f) _,__('_-_,__-¥-)'--'(,.'-___,-7'-'--'
)
- v' < 0. (3.31)
I+~~~ I++
Whence it is clear that v < c.
But is it possible to get the relative velocity of reference frames
exceeding c by means of consecutive transitions from one frame
to another? Strictly speaking, a reference frame is a system of
material objects, so that in order to answer the question we can
make use of the theorem just formulated. Certainly, in the STR
one cannot obtain the relative velocity of frames exceeding c in
any case. But now we shall derive this result once again by
another method, which is instructive by itself.
Let us introduce, aside from the frame K, two more frames, K'
and K". What is the relative velocity of the frames K and K" if,
on the one hand, the relative velocity of the frames K' and K".
and, on the other hand, that of the frames K and K' are known?
Let the relative velocity of K and K' be equal to V and that of K'
and K" be equal to W. Introducing the designations B1 = V/c
and B2 = Wjc and, correspondingly, l/f 1 = -y'I- a:.
l/f2 =
=-v't- Bt we get
x~rdx'+Vt'), t~r,(t'+~x'). (3.32)
Substituting Eq. (3.33) into Eq. (3.32), we find the explicit rela-
tionship between coordinates and time in the frames K and K"
x=f 1r2(x" + Wt"+ Vt"+B1B2x")=
~r,r,((1 +B,B,)x" +(V + W)t"}~
1 ~"t~, x").
..
t=f1f2(1+B1B2)(t"+f (3.35)
100 Special Theory of RelaUvitg
Designating
~~~~~ = t!;:;c' =U, (3.36)
-V 1--
u•.
,.
Then from Eqs. (3.34) and (3.35) one can get
xN+UI" t"+.fxn
X=------=- f = ----.
-VI-*' ~
Consequently, the_JwQ.__~!J.~ce~§:ive .~QLeni:t... .transformations Q.f
the r~~~eS-lLand ~olthe reference f~ames are egui-
~eri_L1o.._onetransformatiQ!!_ of the f-~w~-Yeloc1J.£Rife.t~~riii.Qea
according to Fq (3 36}-:-In allier worOS. the relative velocities of
~~f:~e~J;e~~~ma~!~ 4th~f s~~~ aac;~~~~~Pat-}~~-tll ~~~8 ~~o~~~ew:
ye]ocity greater than that of light.
Eq. (3.36) can readily be obtained by means of a complex ro-
tation (see § 2.8). In geometrical terms the transition from l(
to K' and then from K' to K" constitutes a consecutive rotation
in the plane (x, 't) through the angles fll• and fll 2 with tan fll• = iB 1
and tan q:2 = iD2.
The tangent of the resulting angle can be found according to
the conventional formula for the tangent of the sum of two angles
(~-~·+op,):
tanqJ 1 +tan ql2
tan fll I tan ql1 ·tan ql1 '
or
iD = iln+"t:·~; .
which is just Eq. (3.36) with B, Bt and B2 being replaced by their
respective values. The two last expressions show that the set of
the Lorentz transformations possesses the basic property of the
gf,_OJJ.P- (from the standpoint of the ma[hemat.cal group theory).
_two Lo~enlz transforma_t_iC!ns _a_gain _pro~~~e ~ L_o!et!_!~ !rit~!Qiffia:
Consequenees of Lorentz Transformation. K Calculus 101
(3.39)
In order to find the expression for the absolute value of the ve-
locity, it is sufficient to square and sum term wise Eq. (3.38); we
102 Special Theory of Relativity
It follows from Eqs. (3.39) and (3AO) that the angle between
the velocity direction and the corresponding x axis, as well as the-
absolute value of the velocity, change on transition from the frame
K' to the frame K (Fig. 3.8a). (Recall that the geometric axes x
and x' coincide.) Of course, the same occurs in classical me·
chanics as well, although it is described by other equations.
Now let us derive a useful formula resulting from Eq. (3.40).
We shall need it when studying Chapter 7. Using the first equa-
tion of (3.40). we compose the following expression:
(3.41)
(3.42)
(!-.:;;:)(!-;)
(3.43)
from which it immediately follows that if v'/c and VIc are less
than unity, then v < c. For the special case, when the velocity
was determined according to Eq. (3.28), the same theorem was
demonstrated above. Eq. (3.43) can be obtained, of course, by
squaring and summing up the left-hand and right-hand sides of
Eq. (3.26).
Consequences of Lorentz Transformation. K. Calculus 103
From Eqs. (3.38) and (3.39) one can readily obtain the equa·
1ions determining the variation of the direction of light rays on
transition [rom the frame K' to the frame K. In this case, having
.assumed v' = c in Eq. (3.43), we obtain, as it should be expected,
K B
tana.•:;r,:=='jfz
x,:r'
Ia) (b)
Fig. 3.8. (a) A particle moves in the plane (.r', y') in the frame K.'. The incli·
nation angle of its velocity to the .r' axis is equal to 0', with tan 0' = 7J'vlu'~·
In the frame K. the components fJ~ and u~ vary according to Eq {326). whence it
is clear that the angle a is not longer equal to 0' (see also Eq (339)). For
1he case shown in the diagram, a' > a. (b) Light propagates along the y' axis
in the frame K', i. e. along the perpendicular to the frame motion direction. Ob-
viously, u'~ = 0, u'v = c, a• = tt/2. In the frame K according to Eq (3 26),
u~ = V, t>v = c..,f! -D 2, '~hence tan 0 = ,Yr=R2/11. The aberration angle is
formed by the visible direction of incoming light in the frame K and the dircc·
1ion of hght in the frame K.', i e. the y axis. The aberration angle cz; = tt/2- 0.
Here we shall write the two equations which we shall need later:
K:; I = ~ ::: r, K:; I =rD. (3.50)
• In the coordinates Tone should write 011 1 = cT, Uut for the sJkc of Sim-
plicity we shall not do thi~.
!10 Special Theory of Relatlvlty
U= 1 !t,:;c2 ·
It is seen from the reasoning quoted that the moments of
occurrence of events and the time intervals between them prova
Special Theory of Relativity
'"
to be different for observers from different IFRs. To detect this,
let u~ return to the experiment analysed earlier and involving
an exchange of light signals between the observers A and A'. We
shall recall that the first "exchange" is performed at the moment
when the observers are located at one point. At that very moment
the clocks of the observers A and A' are set to the zero reading.
Then after the time interval T by his. clock the observer A sends
a signal directed to A'; according to the definition, the time in-
terval separating the reception of the first and the second signals
by the observer A' is equal to KT by his clock. However, the ob-
server A will ascribe the moment of time 1/ 2 (K 2 +I) T to the
reception of the signal at A' and will assume that the signals
sent by him at the intervals T will reach A' with the intervals
1/ 2 (K2 +I) T. As it was mentioned, the same interval in term-;
of the clock A' is equal to KT. Hence, the time interval between
the two identical events, the arrival of the first and the second
signal at A', proves to be different: in terms of A' it is equal i.o
J(T and in terms of A it is equal to 1/ 2 (1(2 +I) T. Thus, we dis·
covered that the time of the event. i.e. the arrival of the second
signal, is relative: it is equal to KT in terms of A' and
1/ 2 (K2 +I) T in terms of A. The time interval between the two
events proved to be different for A and A' too._All. this i!l_dicates
that t_tt~ time _oLan event as well as the time interval betWeen
-evem-s are relative values. · -- ---
Under what conditions will these values coincide? It happens
when KT-;;:::::; 1/2(K 2 +I) T. It can readily be inferred that it is
possible when K ::::: I or, as it is seen from Eq. (3.48), when
V{c--+0. Thus, the difference in time readings and the relativity
of time intervals between events can be neglected in those IFRs
whose relative velocitieS are small compared to that of light.
The proper time. The K calculus makes it possible to determine
readily a relationship of a time interval between two events that
occur in a certain IFR at one point in space and are, consequently,
registered by one clock (the proper-time interval), and a timr
int~rval betwzen the same events registered by two clocks of
another IFR in which the considered events occur at different
points.
Now let us go back to the exchange of light spots. If A sends
signals at the interval T by his clock, A' receives them at the in-
terval KT by his clock. Ho\\·ever, as we saw before (p. 108), this
+
interval is equal to 1/ 2 (K 2 I) T in terms of A. It is the ratio of
these quantities that gives the relationship between the proper-
time interval .l:t = KT and the time interval 1.t registered by two
docks of another I FR. This ratio is equal to
l!.t KT 2K . ~--V-'
Tt= l/2(K~+ I) T =~=~I --zr •
Consequences of Lorentz Transformation. K Cafc"ulus 113
where in the last link Eq. (3.48) is used. This result is o[ course
familiar to us.
Relativity of rulers' lengths (distances). Suppose we have two
motionless points in the reference frame where the observer t1'
is at rest. One may presume, although it is far from being oblig-
atory, that these pomts are a ruler·s ends. Let the ruler move
[rom the observer A and the observer A' be located at the end of
the ruler which is nearer to A. (Do not forget that the ruler is
oriented along the direction of the relative velocity.)
To determine the length o[ the ruler, the observer A sends a
signal at the moment t~. registered by his clock, and waits for it
to return after reflection from the far end of the ruler. Let the
moment of the signal return be t4 by the clock of A. Obviously,
the moment of the signal re[]ection is equal to 1/ 2 (!1 +
!4). Exactly
in the same manner, a signal can be sent to the near end of the
ruler (say, at the moment ! 2) and the moment of its return deter-
mined ([or example, t3 ). The moment of the signal reflection [rom
the near end is equal to 1/ 2 (1 2 +! 3). Both signals are reflected
simultaneously (by the clock of A) from both ends of the ruler,
provided the following condition is met:
~~+W-~~+~ ~~
In an imaginary experiment this condition can be satisfied !.:l~·
choosing the times of sending of the first and the second signals.
The first signal from A, however, will be received by the ob-
server A', located at the near end of the ruler, at the moment Kt 1
(recall that the initial readings of the clocks of A and A' coin-
cided when the observers were located at one point). The signal
reflected [rom the far end of the ruler and returning to A at lhr!
moment t 4 will pass A' at the moment !1/K. Indeed, the signal
recei\·ed by A' at the moment 14/K will get to the observer A at the
moment (t 4/K) ·K = h From the viewpoint of the observer A' tile
doubled length o[ the ruler 10 is determined as the time interval,
taken by light to reach the far end o[ the ruler and get back, multi-
plied by the velocity of light, i.e.
-4-(~- Kt 1)c=l0 (3.53)
As to the relationship between !2 and ! 3, it follows directly from
the definition of the coe[ficient K:
t,- J('t,. (3.54)
The imaginary experiments performed to measure length are
illustrated in Fig. 3.11, which does not require any special expla-
nations after the diagrams of Figs. 3.9 and 3.10 have been anal-
ysed.
114 Special Theory of Relativity
lo=lK22;' = ~·
where in the last equation the formula (3.50) is taken into ac-
count. This is exactly what we obtained earlier as Eq. (3.5).
This derivation shows quite distinctly how essential it is to find
the ruler's ends simultaneously when its length is determined.
Incidentally, note that the derivation of Eq. (2.4) involves, in
essence, a radar approach as well.
The Lorentz transformation. We have made sure that the K cal-
culus can be employed to derive all basic principles of the STR,
the Einstein postulates. The advantage of this derivation lies in
the fact that there is no need for an explicit introduction of a co-
ordinate system.
But, of course, the application of STR methods in physics re-
quires an explicit introduction of a reference frame. If so, the in-
troduction of the Lorentz transformation is outright inevitable.
The Lorentz transformation can be derived by means of the K
calculus.
Consider the two reference frames K and K' with the respective
observers A and A' registering the same event. In both frames the
Consequences of Lorentz Transformation. K Calculus 115
'
Fig. 3.11. The determination of the length Fig. 3.12. The derivation of
of a moving ruler. the Lorentz transformation.
point the signal is reflected (or, otherwise, the return signal is sent
immediately on the arrival of the direct one). First, it gets to the
observer A' at the moment t2; at the same moment A' sends his
stgnal in the direction of A. Now the single signal consisting, in
fact, of two signals propagates from A' to A. It is received by the
observer A at the moment t2 (Fig. 3.12).
The observer A will ascribe the coordinates to the event P as
follows. The time t of the event is just the half-sum of the time~
of sending and reception of the signal since the velocity of light
on the way "there" and ··back" is equal:
I~~ (1, + t,). (3.57)
The distance to the point where the event occurred can be found
if the propagation velocity of the signal c is multiplied by the
time which the signal takes to travel "there"; this time is equal to
116 Special Theory of Relalioity
half the total time spent by the signal. Since the signal travelled
a closed path during the time t2 - t~, the event coordinate x will
be determined by the observer A as
x~-l-(1 2 -l,)c. (3.58)
From Eqs. (3.57) and (3.58) we obtain
tl=t-f. /2=t+f. (3.59)
nut the observer A' will lind in exactly the same manner that
(3.60)
t+f=K(t'+f). (3.63)
Multiplying crosswise Eqs. (3.62) and (3.63), we immediately
obtain that the quantity
t 12 - ;:
2
=fl-*.
retains its value in all IFRs, i.e. is the invariant. Having written
(3.64)
Eqs. (3.62) and (3.63) in the form more convenient for solution
t'--f=K(t-7). (3.65)
THE FOUR-DIMENSIONAL
SPACE-TIME
'~!·
__: ___ ~~
I N - N---
0
.r
lll
Fig. 4.3. (a) The Lorentz transformation reduces to the rotation of the x
and T axes through the angle ~ = arctan 8 about the origin of coordinates to·
w_nrd the coordinate angle bi!oeetor and their new positions x', T'. The straight
lines x' =cons! are now parallel to the OT' axis, while the straight lines
~~:;' ~blf~u:.r:n:r:dall:~·st~mth~f ~~~r~~~~te~~e T~~v~ef:t~~~ty o;fer si~uW:n;~) 11 /~
dear!) sten: the events A. and A2 which are simultaneous in the frame K' (ly·
ing on the straight line T' = cons!) are not simultaneous in the frame I( To
fiild the respective moments in the frame 1(, we project them on the T axis by
means of straight hnes parallel to the x uis. (b) Here are two world lin~s
of objects (LL and MM). The relativity of the distance between moving objects
is seen very well To find the distance between them, one has to determine the
coordinates of these objects simultaneously Let one of the objects be located at
~1 t t~~i~!r! ~~c;;e~~- ~~T~n°fte~~s r~f~~/rr~h~es~?~~e 0~~~~~~s ob~e~~e .!o~f\h~
point P at the same moment. The sections NR and NP corresponding to the
distances between the objects have different lengths.
since in the frame K1 the events lying on the straight lines T' =
= const (Fig. 4.3a) are simultaneous. We see that in the frame K
these events occur at different moments of time t 1 and t2 . Of
course, this is only a geometric illustration of the relativity of
clock synchronization that we dealt with in § 2.4.
wo~ldvJrXe~~F~~~n~bj:~t~1 ~~oJf~;~~{f~~m~i\ut·;tdi1Je::n~w:el~~~
ilies. To determine the distance between them at a given moment
of time, the coordinates of these objects should be found simul·
126 Special Theory of Relufiuity
~"
to the x axis at the angle exceeding
n/4, the interval between events I
and 2 is time-like; if the angle is
less than n/4, the interval is space-
like. Finally, if this line is parallel
to the bisecting line, the interval is
light-like.
In the four-dimensional space the
equation describing the propagation Pse(Jt/o-Pyll!ogorean tl!eorcm
of light has the form c'l['l- x'l- AB 2~JJC 2-AC 2
points 0 and A". The unitary ruler in K' is equal to OA'; it i::.
seen from Fig. 4.7 that OA" < OA' = 1.
Suppose now that a unitary ruler is at rest in the frame K'
'ILl
(Fig. 4.8). Then its length is equal to OA' and its world lines ar~
parallel to the Or' axis, one of them being the or axis itself, and
another the straight line A'B. In order to determine simultane-
ously the coordina~es of the ruler's ~nds in terms of the frame K.
,~\
,l·
~ ~-~
'1 p
0
A'
BA
i
X
BL
0,0 :r:, ;r
Fig. 4.8. The case is illustra- Fig. 4.9. The geometric illustration of the relati-
ted when a ruler is at rest in vity of time intervals between two events Let a
the frarne K'. The world lines clock be at rest in the frame K' and be located
oi its ends are straight at the origin of coordinates 0. Its world line
. nes parallel to Qy' (the Ot' coincides with the Ot' axis. The readmg of this
~ ;is itself and the straight clock at the world point B' differs by a unit from
iine passing through B). The its readin~ at the point 0'. But in the frame K
ruler's length in K is deter-
mined by the intersection or ~e <r;i~~ o~ i~h~i~~~~n~~~!i;~\h f~ee w~~ ~~~~~
these world lines with the x wtlh the P.Oint B') at which the clock (located
axis (I = 0) and proves to be at this point and at rest in the frame K) will
equal to OB But OB<OA= indicate the lime determined by the section OB
=I, and we obtain the same relative to the readi(f. of another clock from K
:~~t~B a~IIQ,,g?~t I. ·,!~i!s i~~ije~r~hatththefifi~=
result: the ruler's length
ls the greatest in the frame
where Ute ruler LS o~t rest. interval, during which the clock from the frame
K' moves, is less in terms of K' than in terms
of K.
cide. Then the sections 08 and 0'8' correspond to the time read-
ings of the clocks of the systems K and K'.
Fig. 4.10. The same as in the preceding figure. only r~
now the clock is at rest at the origin oi the frame
K. The world line oi the clock is the 0-r axis. AI a"/_.
~~ee ~~i~~ts8 Jy\~~
c~~~h:i!~r~f:~~a\~n: ~~~~lelmt~ B / B'
At the world point 8' the reading of the moving clock will in~
crease by unity compared to that at the point 0'. But the point 8'
in the frame K is simultaneous with all events located at the
straight line T = canst passing through the
point 8'. In particular. the world line of the Wortdllneof
ctockQ.'
clock located at the point x 1 and at rest in K .,
passes exactly through the point 8'. This
means that H the moving clock of K' regis-
ters the proper-time interval 0'8', the time
interval registered by the two clocks of K
(located at the points 0 and xl) is equal to
08. It is seen in the figure that the time in-
terval registered by the clock of K' is less,
because 0'8' = I and 08 > I.
And if the clock is at rest in the system K.
it will register a time unit at the world point
8 (Fig. 4.10) which is simultaneous with the
point 8" in the system K' (08" is the read-
ing of the clock of the system K' which an 0 Qt a2 QJ r
observer from the system K will get at thl' Fig. 4.11. The differ-
point 8"). The point 8" is obtained as a re- ence between the
suit of the intersection of the straight line :gj~ft~~/i1h! c~r:C
parallel to the x' axis and passing through nate time registered by
~e J~Jn~ ~; '~~~s:~~e~~~, at~:- :o~~in~8;;o~ ~:en~c: 1 f~~~~~ r~~=~~r:~
will again register the longer time interval to which the object
than two motionless clocks .• The length of the . moves
world line afc (in the pseudo-Euclidean plane!) is directly associat-
ed with the proper time of the object, being just proportional to it:
ds = c dt:. Hence, the length of the "·orld line arc enables us to
conjecture about the proper time that was registered by the clock
fixed to the particle. It should be remembered, however, 'that one
should be careful in the evaluation of the arc length in the pseudo-
..
Euclidean plane. The "risk" is clearly_ visible f.rom the fact that th~
132 Special Theory of Relatloltg
"arc length" lor two points located at the finite spatial distance
from each other may turn out to be equal to zero. Think for your-
self why in the foregoing reasoning we obtained the correct results
on the basis of geometry. Naturally, the peculiarities of the pseudo·
Euclidean plane interfere with the interpretation of the results.
As an example let us consider the difference between the proper
time and the coordinate one, i.e. the time registered by the clock
of the system relative to which an object moves. Let the clock Q'
be at rest at the origin of the system K' and its world line be OA 3
(Fig. 4.11). As usual, the coinciding clocks at 0 and 0' indicate
t=O,t'=O.
The world lines of all clocks Q at rest in K are represented by
straight lines parallel to the "t" axis. At the world points A~. A2,
A3, ••. one can check the clock Q' against the clocks Q~o Q2, Q3, •••
synchronized in K and indicating the common, unified for K. time
at any world point A 1, A2, A3, ••.• Its value at the world point A 1
is equal to the length of the world line Q 1A 1• For the clock Q',
however, the length of the world line connecting 0' and A1 is
equal to OA 1• But OA~=Q 1 A?-OQi, from where it is clear
that OA 1 < OtA 1• This implies that the clock Q' checked against
the clocks Q~o Q2, ••• at rC'st in the frame K is slow compared to
thf' docks Q~. Q2, ••• synchronized in the frame K.
B
fig. 4.12. The world lines of two "twins". The world
line of the "traveller" is the broken line DAB, that of
the "stay-at-home" the straight line DB The "travel·
ler" undergoes an acceleration when he reverses his mo·
tion direction at the point 8 and thereby gets into a
non-inertial reference frame for this time interval. The
leongth of the world line of an object determines its
proper-time interval. The proper-time interval is obvi·
ously less for the "traveller" than for the "stay-a!•
home" (see the pseudo-Pythagorean theorem in Fig. 4.5),
dT = 7 = ~ll=~dx~':i+,~~~::~,+[•!l;lz[a dt =
~ ,.,;-,----·;.-(,.-.""•:""')"2 dt =,.,; 1- ?- dt.
We have obtained the familiar result (§ 3.3) and demonstrated
the invariance of the proper time (d• = ds/c). Here are the equa·
tions to be needed later:
dT~dtfy, ds~CdT, y~(J -~2 )-'1', ~(t)~v(I)/C. (5.1)
We see that the proper time of a particle is registered by a clock
of an instantaneous co-moving IFR. But these instantaneous
co-moving IFRs change during a finite time interval in the case
of a particle movi1;1g with an acceleration. The final proper time
of such a particle iS defined as the overall time registered by many
IFRs. As a matter of principle, the clock should not be rigidly
linked with the particle, since any acceleration affects the clock
rate. The proper time can be registered by the clock fixed rigidly
to the particle only if the acceleration to which this particle is
subjected does not affect the clock rate. The "proper time" can,
however, be readily obtained from the time registered by the clocl<
of the frame K (relative to which the particle moves) provided
fhat the time dependence of the particle velocity, i.e. v = v (t), is
known:
It is seen from the last equation and equations (5.1) that the
coordinate time, that is the time registered by all clocks of K. is
a function of the proper time •· From the equation ds = c dT one
can see that in addition to the proper time dT one may equally
use the interval ds, with all equations differing by various powers
of the invariant factor c.
Now let. us introduce the 4-vector velocity
136 Special Theory of Relativity
but the 4-velocilies have the components ii(yv, icy), Vi(y'v', icy').
Having substituted them in Eq. (5.8), we get
y'v: = r (Yvx- yV), y'v~ = yv 11 , y'v~ = Yr.Jz,
icv' ~ r (icy- iBvo,). (5.9)
It follows from the last equation of (5.9) that
V I
(5.10)
yr= r(1-f,-vx)'
Substituting this expression in the first three equations (5.9),
v~=f,f(r.Jx-V). v~=fr.J 11 , r.J~=fvz•
we shall obtain the equations for the velocity components in K'
which were derived in Chapter 3 from the Lorentz transforma-
tion.
Noh•, incidentally, that if in place of Eq. (5.8) of transition
from K to K' one uses the equations for the reverse transition
from K' to K, the following equation is obtained
f~r(1 +.);. o;). (5.10')
instead of Eq. (5.10). This way we obtain the value of y/y' in
terms of the velocity components in the frame K'. From Eq. (5.10').
188 Special Theory of RelatirJitg
(5.11)
(5.14)
~=wr=v2>0.
Due to the invariance of the square of the 4-vector norm (see Ap-
pendix I,§ I) one may regard the 4-vector acceleration as a space-
like vector (see the definition of the interval (Eq. (4.5)).
Let us write out the components of the 4-vector acceleration .;
in the notation of Eq. ( 4.7):
; ( Y ft<vv), f dl) ~( Y~ + y4pPv.-/;;; .!!J-). (a)
(5.17)
; (y ft (cy), y ft (yv)) ~ ( -;'c ~~1K , y ft (yo)). (b)
l!ft-=P. (5.19b)
f,IT+U)~O;
+
in other words, T U = canst.
Now we can pass over to the definition of a 4-momentum of a
particle P. As in the case of the 3-momentum (p = mv) we spec1fy
the 4-momentum as the product of the invariant (scalar) mass m
by the 4-velocity V, P
so that = m Therefore V.
P(mvv. imyc); (a) I P(mvc. myv). (b) (5.21)
As it will be clear later, the invariant mass m is expedientlv
called a rest mass. Analogously with Eq. (5.19) one may suppos'e
that the four-dimensional equation of motion has the form
iP ... IS.22)
-;rr=F
or in components
*(
4 ( ft.
Y
y
(myv), iy -ft. (myc)),
ft. (myc), y ft. (myv)).
(a)
(b)
letter \J supplied by indices, i.e. FUJ 1, ij2, \}3, \}4) or 'F(ijo, \} 1, ij2, ij3).
Equating 4-vectors, we equate their components. The first three
components of Eq. (5.24a) and the last three components of Eq.
l5.24b) are obtained as follows (a= I, 2, 3):
ft-<mvo)=P. (5.26)
But according to Eq. (5.23) du,/d-r; = ij,Jm, with the first three
components of ~ being determined by Eq. (5.26) and the compo-
nents u, by Eq. (5.5). Hence, Eq. (5.28a), for example, can he
rewritten in the following form:
tain
y'F~=fF~. y'F~=~. y'F~=F~. y'F'v'=-I'VF~.
In the considered case a particle moves relative to K' at the
velocity of the reference frame 1(0, i.e. at the velocity -V. Cons-:--
quently, y' = r, and we obtain the component transformation for-
mula for the force and the work accomplished by this force:
F;~F:, F; ~ F:o/1- H', F;~F',o,/1- B', F'v ~- VF',. (5.34)
lt is seen from the first three relations (5.34) that the force
components parallel to the relative motion velocity remain in-
variable. The force components normal to the relative motion ve-
locity change. It is easy to find out the meaning of the last relation
of (5.34). If the particle was at rest in the frame K0 , it moves at
the velocity -V in the frame K'. The work is performed only by
the force component Fx (all other components being normal ~o
the motion direction). The power developed by the force F~ in
the frame K0 is equal to -F~V which corresponds to the result
that we obtained.
From Eqs. (5.34) one sees that in non-relativistic case, whe11
n « I, the three-dimensional force does not change on transition
from one IFR to another. This fact wholly agrees with our intu-
itive ideas of the force invariance in any reference frame. However,
in the presentation of the STR and, in particular, in the derivation
of certain relations of the STR, when making use of the transfor-
mation of forces, one has to emphasize first of all the variation
of force components on transition from one IFR to another.
In a general case, using Eq. (5.30a), we obtain from Eq. (5.33)
y'F:=r[yF 11 -~y{Fv)]. y'f;=yf11, y'F:=yf;;,
y'(F'o')~ l']y(Fo)- VyF,].
Rewriting the last equations in the form
f~=fr[F:c--!}-(Fv)], F~='f-F 11 , F~=f,F 2 ,
(F'o'l~f.r!Fo- VF,] (5.35)
and taking into account Eq. (5.10), we obtain finally
mv!fli--=F, (5.39)
= Fv2, and from Eq. (5.38b) we obtain the following motion equd-
tion:
mv'4Jf-=F,
where y is a variable quantity.
Thus, in the two special cases permitting of an intercomparison
of Eqs. (5.38a) and (5.38b) we get a different dependence of mass
on velocity; this indicates that there is no universal dependen;:e
of mass on velocity. It is sound practice to use the invariant rest
mass (see Supplement IV).
As in classical mechanics, the equation of dynamics can al<>o
be written for the case when the rest mass of a particle varies
due to the exchange of energy and momentum with _,}he en-
vironment. If a particle loses the 4-vector momentum 11(111 ) =
= ( yll, f
yCD) per unit time due to convection, Eq. (5.22) should
be replaced by
4/i-=F+l1. !!ff=Fv+CD.
Here II and CD are the momentum and the energy delivered to a
particle through convection per unit time. Having composed the
product
iili=v 2 (11v-¢)=-~D(I,
we see that the quantity CD0 is the energy delivery rate in the frame
in which the parhc\e is at rest; it is t>qual to the rate of change of
the particle's rest energy. Indeed, differentiating Eq. (5.40), we
obtain
(5.41)
(l}O;;;;,-ll,u,=c2 ~~ = dd~o.
Relatlulstic Mechanics af a Particle ...
Assuming that the genuine mechanical force must satisfy the
condition
R,=n,+u, n:2"k ·
where p,, p11 , P:~& and p~. p;. p~ are the components of the thre~
dimensional relativistic momentum p = myv. In the extreme case
corresponding to a transition to classical mechanics when B _,.. 0,
-13 _,.. 0 and p~ -+ mv;, p., _,.. mv.,, ~-+ mc 2, the first relation of
(5.43) would lead to mv~ = mv"'- mV- ~~ . But the latter equa·
tion must yield the classical law of velocity summation: v~ =
= u.,- V. It will indeed be the case if C=O. That is how we prove
the validity of Eq. (5.32). It should be noted that the principle of
.correspondence between the classical and the relativistic expres-
sions for energy is not valid only because in the framework of the
Newtonian mechanics one could not detect the existence of the rest
-energy, and the additive constant was chosen without allowing for
the rest energy (see below).
It is seen from Eq. (5.32) that the total energy does not turn
into zero even when the velocity of an object is equal to zero
(y = I at v = 0). The energy of a free particle in the frame in
"h•ch it is at rest is equal to mc2 and is called the rest energy
$ 0. Although we dealt with a particle until now, its elementary
character was not discussed. Therefore, all equations derived are
quite applicable to any complex object (system) composed of di·
verse components. Naturally, m will then represent the total mass
.of an object, and v the velocity of its motion as a whole. The
RelatlvisUc Mechanics of a Particle 151
if the zero energy ;& 0 = mcJ 1s lal,cn 1nto account. The rest energ.J
(8 0 comprises all kinds of energy possessed by an object (or a
system). Eq. (5.46) shows that all kinds of energy increase y-fold
on transition from the proper (co-moving) frame to any oth'.!r
inertial frame. There was nothing o[ the kind in classical me-
chanics. On the other hand, the total energy o[ a particle (Eq.
(5.32)) and its kinetic energy (Eq. (5.45)) grow without bound
when v-+ c. This result has a plain physical meaning. A particle
whose rest mass differs from zero cannot attain the velocity equal
to c. This can be inferred from the fact that the particle would
require an infinite energy in order to achieve that velocity. Here
the limitedness of the velocity of light in vacuo shows up again.
When treating light quanta (photons) as relativistic particles (see
§ 7.6). one should bear in mind that they belong to another class
of particles and could not come into being as a result of acceler-
ation of conventional particles, that is through a dynamic transi-
tion. The limit transition v -+ c is carried out in nature, but t!le
1
te§m~~s~ xo~~~e~~~~i~r:;::~i;_r:n~r:n:t~mi.s ;h:efo~~~~h(~~
zeroth)
component of the 4-momentum of a free particle has a direct bear-
ing on the particle's energy. This is evident from the following
straightforward transformation:
+
Consequently, the 4-vector P is referred to as a 4-vector of energ,J-
momentum of a particle. From Eq. (5.7) and from the fact tllat
P V
= m it follows that
"jyl=-m2c2 ; (a) I 'P =m c
2 2 2• (b) (5.47}
+
The component transformation law for a 4·vector P is given by
Eqs. (5.42) and (5.43). It remains to rewrite Eq. (5.22) in th~
final form
P(p, if); (a) I :P(f. p). (b) (5.48}
(5.60)
where E is now the total energy of a system and P its total m~
mentum.
Let us confine ourselves to the simplest systems consisting of
individual particles. First suppose that the particles do not in-
teract with one another. Then the energy of such a system will
be the sum of energies of particles comprising the system:
(5.61)
In this case the rest mass of the system can be written as fol-
lows:
(5.63)
(5.64)
,., Spec(af Theory of Relottvity
or expressed otherwise
M= Lm•+*Lr~
' '
+*· (5.71)
(5.70) and (5.64), one should take a total energy of the system.
Assume that the system involves an electromagnetic field as well.
Designating the energy of the electromagnetic field by W, we
obtain from Eq. (5.70):
(4)
(5)
..
(see Eq. (3.16)) .
164 S(Jecial Theory of ReltJfit•if!l
From the expression for the time derivative of the velocity one
may -;ec the difference between a relativistic and non-relativistic
"constant" acceleration.
Ill. The motion of a charged particle in a constant uniform
electric field. Let us choose the following initial conditions: at the
moment t = 0 the coordinates of a charged particle x0 = y0 = 0,
.and its velocity v 0 is perpendicular to the field E. This corres-
ponds to the problem about a particle flying into a charged ca·
pacitor parallel to its plates (Fig. 5.1). Let us direct the x axis
along E and the y axis along v 0 . Then the motion of the particle
will take place in the plane (x, y). As far as it is possible, we
shall not discriminate between classical and relativistic equations
.of motion, writing them in the common form:
!f/;-=eE,
Flg. 5.1. An eledron llymg into the uniform electric lield of a capacitor is at
the origin of coordinates at the moment t = 0 The force exerted by the lield is
t~~e~te:x~to~~el~ia~s~c~it"s!~ueti~~t~fl ~he~~~~b~~~a~of~~~~~~n w':\~st~~~e~\e~ a~~o"b~
lem of the motion of a heavy point thrown horizontally in the gravitational field
at the velocity v0
y = ~~ Arcsinh c;~t .
Eliminating t from the expres-
sions for x and y, we have
.are the same not only in their appearance. The point is that a
magnetic field does not perform any work on a charged particle
and the energy of the particle remains constant (see Eqs. (5.20)
and (5.31)); of course, the expressions for energy in classical and
..
relativistic cases arc different. Using the relativistic relation
p=etV,
Now for definiteness let us solve Eq. (2). To define the vector
product [vk], rewrite Eq. (2) in components:
(5)
It is expedient to resort to a complex variable in the plane
(ur. u.,). Multiplying the second relation of (5) by the number i
and adding the result to the first one, we obtain -ft.
(vx +ivy) =
= -iw(vx+ ivy).
This equation can readily be integrated:
168 Special Theory of Relatiuity
(7)
(8)
v"--;;. {E + [•B]).
In order to obtain an acceleration in the relativistic case we shall
make use of Eq. (5.55), whence
%=?-~~ +~%-
According to Eq. (5.31) d8/dt = Fv = eEv, and according to
Eq. (5.32) iB"!c' =my, so that (cf. Eq. (5.38))
-Dret= ~y { B+(vBJ-fa-(Bv) }=
=~Vc,- m;ca v(Bv)=~.Uct-iv(Ev).
Ttc second term in the last link of the equation can be regarded
as an emergence of a certain friction (proportional to the veloc-
it) ); owing to this, one may realize in qualitative terms that the
acceleration of a particle decreases sharply as the particle's veloc-
ity approaches that of light. It is obvious, of course, that vel =
= V,e 1 with an accuracy to within ~ 2 • The motion of a charged
particle in constant electric and magnetic fields is presented in
detail in [9]. § 22; we should only point out here that in the ca;;~
of crossed (mutually perpendicular) fields for which £2- c2B 2 9=-
+ 0 holds (cf. § 6.5), a transition to a certain inertial frame of
reference may eliminate one of the fields and leave either an
electric or a magnetic field. Then in this reference frame one may
utilize the results obtained here.
V. The reaction motion in relativistic mechanics. As in the
previous problems, we shall be examining classical and relativ-
istic cases simultaneously. As an example, let us consider thl!
motion of a rocket which (together with the ejected gas) can be
treated as a closed system. We shall recall that the rocket pro-
pulsion is brought about due to the fact that during each time in-
terval it ejects a certain amount of substance at a definite velocity
with respect to the rocket. In accordance with the momentum con-
servation law the rocket shell with the left-over fuel acquires a
momentum in the direction opposite to the direction in which the
gas jet is ejected. Both in classical and in relativistic cases the
170 Special Theory of Relativity
+ dM)
written for different inertial
frames of reference. In transi-
tion from one inertial frame of
I sinh (dO). while the
momentum of the mass dM
direded oppositely is equal to
reference to another all veloci- dM sinh(O). Hence.
ties (and velocity increments)
add up in classical mechanics. - dM sinh (6) +
Therefore, it is immaterial that + (M +dM)sinh(d6)-0, (9)
Eq. (2) refers to different
IFRs; the final velocity can be Relativistic mechanics makes
obtained [)y summing (inte- it possible to take into account
grating) velocity increments any energy transformations,
over the total time interval so that here we can write the
during which the velocity of energy conservation law as
the rocket varies from 0 to V: well:
+
r~=-~~dV.
dMc 2 cosh (0)
(4) +(M +dM)c'cosh(d6) -Me'·
M, 0
(10)
This is just the method that
was used in derivation of Eq. But we may regard dO as
(3). Hence it is clear how im- a small quantity, so th:.~t
portant in this derivation is sinh(d6)"<da cosh(d6)"< 1:
the additivity of velocities in consequently, ignoring infini-
transition from one IFR to tesimal values of the second
.another. order dM ·dO, we obtain from
In the foregoing calculations Eo. (9)
the mechanical energy conser- dM sinh (6)- M d6, (II)
vation law was not used be-
cause, on the one hand, it is and from Eq. (10)
insufficient (the thermal ener-
gy is also significant here), and cosh6--l. (12)
on the other, it is not neces-
sary when the velocity of a Dividing termwise Eq. (II) by
rocket is calculated. Eq. (12), we get
dO=- d: tanhO,
de--pd:. (t3)
(in our case r = y since K' is associated with particle 1). It lol·
lows immediately from Eq. (I) that
x' K
t:,.x'
Fig. 5.2. Two points move in a laboratory frame at equal and oppositely rli·
retied velocities. Particle 1 is at rest In the frame K'.
since in our case y = r (in the frame K both particles have the
same velocities). However, from Eq. (5.10) it follows (do not
Relaflvistic Mechanics af a Particle 175
~:=- ~~~2.
This is just the relative velocity of particle 2. Find now v':
I +~2
v'=--'- I ,,=y'(I+~~ .
.'1/•-':'
Consequently,
lfff=mv' =my· y(l +~') "'2f/S,
for p ~ I and v = r. We have obtained the same result again, as
il should be.
§ 5.8. The conservation laws of relativistic mechanics. So far
we have discussed the energy and momentum conservation !awe;
for a material point, and now we have to dwell on the conserva-
tion laws for a system of n material points. The problem of con·
servation laws has two aspects. The first one involves the acquisi-
tion of relativistic laws of conservation in terms of a given I FR.
The second aspect pertains to the examination of the behaviour
of the quantities remaining constant on transition from one iner-
tial frame to another. Both of these problems are solved by ob-
vious methods for a system of non-interacting particles; in the case
of interacting particles these problems are very complicated.
Let us begin with a system of n non-interacting particles. The
motion equations and energy changes pertaining to the kth par~
ticle take the form (see Eqs. (5.27) and (5.31))
rolH~J+D. I rotH~J+eE,
rolli~-il; (a) rolli~-"it; (b)
(6.2)
(6.8)
In Eqs. (6.9) it is assumed lhat p = p(r, t), j = j(r, t), i.e. the
current and charge densities are the assigned functions of coort.!i-
nates and time. Eqs. (6.7) and (6.9) are equivalent to (6.2).
Next, we shall impart a four-dimensional meaning to the quan-
tities involved in the Maxwell equations and rewrite the Maxwell
·quations themselves in a four-dimensional form. However, we
shall proceed gradually, and the Maxwell equations (6.2) and
Maxwell Theory in a Relalivlsfic Form 183
+{'' s s, s,}
5
2
j" j 9 jz icp ' (a)
I +{'" s' s s'}
5 cp j"
2
ill iz •
(b) (6.12)
nol only a charge but also a current. We see, therefore, how easy
is the transition from a motionless charge (electrostatics) to a
moving one (current): it is just a transition from the charge's
proper reference frame to any other IFR. When a current origi-
nates due to charges displaced together with a moving medium or
objects, it is called a convection current. It is just a convection
current that turns up on transition from a proper frame to an
arbitrary IFR.
The formula j = pv contains the density of charges moving at
the velocity v. Otherwise, misunderstandings may arise. For
example, a current flows in metals, even though p = 0. Indeed,
the total charge density in metals comprises those of ions and free
+
electrons and is equal to zero: p = P+ P- = 0. But certainly,
a current can flow provided there is a regular motion of electron:.:
j = P+V+ + p_v_ = p-v-. because the velocity of a regular motion
of ions is equal to zero.
From Eqs. (6.15) we obtain directly a convection current origi-
nating on transition from the charge's "proper" frame. Thus, let
the frame K' be characterized by a given charge density p' and
the absence of a current (i' = 0). Consequently, in the frame K'
the 4-current density has the components ;' (0, 0, 0, icp' = icp0 ),
i.e. s~ = s~=s~ = 0, s; =lcp0. Then in accordance with Eq. (6.15a)~
for example, in the frame K
s,=r(-iBicpo)=rVPo, s2=s3=0, s4=ricflo. (6.16)
In the developed form the last relation of Eq. (6.16) has the fol·
lowing appearance:
s4 ;:=::;;; icp = 1/1 ~P~Itc• ,
frame K {that 1s the velocity of the frame K'; the same follows
from the relativistic velocity transformation formula (3.27)). There-
fore, Eq. (6.18) represents a convection current. As to the charg~
density transformation (see Eq. (6.17)), it is associated with the
volume change (since a density is a charge of a volume unit).
Since a volume transforms according to the law
d7"~d'll' 0 yl- V'lc',
and we consider the same physical volume containing the sam.:-
charge de, then
(6.21)
frame K:
(6.24)
Fig. 6.1. The Minkowski diagram illustrating the emergence of a charge density
in the frame K' in a current conductor which has a zero charge density in the
frame K. The total charge density caused by the ions and electrons in a conduc-
~~fthislh~q~:~s 1 be~~~0 in~~~~j~~si 5T~:n;~~~~d ~~~~~ ~( 1~: i:~ti~~e d~p1i~~e: 11by1 rd~r:
led lines, and the world lines of the electrons by slanted continuous lines. Be-
sides the reference frame K (with lhe x, t axes), also shown is the reference
[~!mxe :;:d <;}'~x~~e i;'·a~o a~~:~.na i~c~~ee hl&~~~-ot;n~~~~~~ -~~il=r~h:~~~e;:~s~l~
must be determined simultaneous[)' at all points, it has to be determined at all
~~~~!n~f i~h~h~b~~~~nKI~~n~a~~sx a~x~~u~js~~~b::Y~r'~o~s s~d ~~~~:~n~, u~i~~~:
tary segment in the frame K' will contain more ions than electrons. This fact
signifies the emergence of a positive charge density in the frame K'
the frame K the world lines of the ions are straight lines parallel
to the t axis while the world lines of the electrons are straig~tt
lines forming a certain angle a= arctan(v/c) with the r axis.
Fig. 6.1 shows the reference frames K(x, r) and K'(x', r'), the
world lines of ions (dotted lines), and the world lines of electrons
(thin continuous lines inclined to the "taxis at an angle 9). Inas-
much as metal is neutral on the average, each segment of the con-
ductor must emit an equal number of world lines of ions and
electrons. The charge density should be measured simultaneously
in each reference frame. In the frame K it is determined by the
number of world lines of ions and electrons crossing a unit of
length in this frame. For example, the charge density is defined
188 Spec-Ial Theory of RelallvUy
by the numller ul world lines of ions (taken wtth lilt: :.1gn ~+")
and the number of world lines of electrons (taken with the sign
"'-") going through the segment OA. A scale hyperbola cuts the
unit segments on the x and x' axes. It is these unit segments that
the charges must be related to. But in the frame K' the C(Jarge
den .. tly must be calculated for the whole conductor simultaneously.
In the frame K' simultaneous events ~re located on straight lin.•s
parallel to the x' axis, and on the x' axis itself. in particular. It
is seen, however, from Fig. 6.1 that the unit segment OA' accom-
modates more positive charges than negative ones. Accordingly,
the conductor will turn up to be charged positively in the frame
K' although it is neutral in the frame K. Surely, if one considers
a closed-type conductor in the frame K', its total charge will
remain c4ual to zero, but an electric dipole moment, not found
in the frame K, will be observed in the frame K' (see § 6.9 and
f,g, 6.4).
§ 6.3. An electromagnetic field tensor. In electrodynamics the
electric field strength E and magnetic induction B are convenient 4
ly expressed via the vector and scalar potentials A and 'P as fol-
lows*:
B- rot A, E- - grad~- OA/at. (6.25)
(6.27)
The last terms of Eqs. (6.26) and (6.27) are written on the
basi~ of the definition of 4-potential components. Similarly, using
the <D components, one can write down the remaining components
of the vectors E and B as well. We shall obtain equations similar
to Eqs. (6.26) and (6.27) from which it follows that all compo-
nents of the vectors E and B can be expressed via certain combi-
nations of derivatives of the 4-vector iiJ components with respect
• In previous chapters we utilized the letter B to denote the ratio of the ve-
~~\~Y i~~~c~i~~r~~t~r sj,st:~ ~~sthpar~t~nf.~: ~~~rB;cBl~a'fo t~~;~~~o~t~c1t~n~=r~~
we shall not be using the designation B = 11/c in this chapter, apart from thP
cases when misunderstandings are ruled out
Maxu;el/ Theory In a Re/allvlsiic Form 189
(6.28')
( -H
0 H,
0 H 11
-H, -icD,)
- icD 11
fa= Hy:r -H"' (6.31)
. 0 -icD:r. ·
icD" icD 11 icD:r. 0
In addition to the tensor f. it is also useful to introduce a tensor
of electric and magnetic moments of matter whose definition fol-
lows easily from Eq. (6.30):
m;~ = · /J;_ F,~~,- ft •. (6.32)
'V "'
It is abbreviated as follows: !In= (M, icP). Written in full it is
Recall that the summation is carried out here over the two in-
dependent pairs of the indices m and l, each of which runs from I
to 4. This way, Eq. (6.35) involves the sum of sixteen terms, each
being a product of two a, 11 and one of F, 11 components. We urg~
the readers who come across such equations for the first time to
write out (once in a lifetime) all sixteen terms. Here is the easiest
way to do this. First, we develop the sum with m taking the val-
ues I, 2, 3, 4. As before, the index l denotes summation. This way
we obtain a sum consisting of four terms in which the index m
is eliminated. Then we perform the summation over l in each of
these four terms. As a result all sixteen terms will be written out.
Then one should 5ubstitute a,~~ from the Lorentz matrix (see Eq.
(2.4la)) and components F, 11 from Eq. (6.29a) into these terms.
One can see at once that most terms of the sum (6.35) are equal
fo zero. Because of' this the summation in Eq. (6.35) can be much
s1mpler. Indeed, the q1,1antities a 1111, with m running from I to 4,
constitute the elements' of the first line of the Lorentz matrix (see
7-97
194 Special Theory of Relafivity
V cB;+~<.
~r{cB;-i-(iE:,)}~
c "'
~,
v i - V2jc2
lntercomparing the second and the last equation in this chain of
equations and dividing them by c, we get
8~+~~ v
Bz= .Yt-cV2Jc2 =r(a:+~t;}
In much the same way we obtain the transformation equations
for the other components:
E,~E;, E,~f(E;+VB;), E,~f(E;-vB;);
spectively), e.g.
Maxwell Theory In a Relativistic Form 195
(VB'l ~I 8:~ 8~
:I~- JVB;+kvB;~ v (-JB; + kB;).
8~
(VE'(~ V(-JE;+kE;).
Then Eq. (6.36) can be rewritten in the vector form:
E 1 ~(E' -(VB'() 1,
BL ~ f ( B~ + * (VE'J) L. ( 6.38)
Suppose that in the frame K' the magnetic field B' = 0. Then
in the frame K the relationship between E and 8 becomes very
simple. First of all, notice that [VE] = [VE.1] since [VEu] = 0.
From Eq. (6.38) we obtain
E=E;+rE'.L,
B~r+. [VE'J~-[,-[VE~]~,'.[V, fE~)~ (6.44)
~-f,-[V, Ei + f'E~]~,'.[VEJ,
Similarly, if in the frame K' the field E' is equal to zero or in the
frame K the field E is equal to zero, then
E~-[VBJ, E'~[VB'J, (6.45)
In both cases and in any inertial frame the fields turn out to be
mutually perpendicular. It follows from both the relativistic equa-
tions {6.38) and the approximate equations (6.41) for low veloci·
ties that if in one of the frames (say, K) an electric or a magnetic
field is equal to zero, electric and magnetic fields in all other
inertial frames of reference are perpendicular to each other. The
same result can be obtained by employing the Lorentz transforma-
tion invariants (see§ 6.5).
If the fields E' and B' are mutually perpendicular in a reference
frame K', there exists a reference frame K in which one of the
fields disappears. It will be shown in § 6.5 that the expression
c 8 2 - £2 remains invariant under the Lorentz transformation.
2
Consequently, if the condition c28' 2 - £' 2 < 0 is satisfied in the
frame K', one can obtain a purely electric field through the ap-
propriate choice of a reference frame, while in the case of
c2 8' 2 - £'2 > 0 one gels a purely magnetic field. We shall show
how to find the velocity V of the reference frame K. Suppose this
veloc1ty is perpendicular to 8' in the 'case of c28' 2 - £'2 < 0 and
to E' in the case of c28' 2 - £' 2 > 0. Then 8 11 = 0 in the form~r
case and Eu = 0 in the latter case. Now one has to ensure that
Maxwell Theory In a Relativistic Form 197
fj fi"
ment on light waves at the end of
§ 6.5). Obviously, provided there
exists one such frame, there should
be an infinite number of frames pos-
sessing the same property. In fact,
in any inertial frame of reference
K' moving rectilinearly and uniformly
relative to K in the direction coincid- ,. '
ing with the common direction of E
Fig. 6.2. A transition to the ref-
and B, the fields E' and B' will erence frame K in which an
remain parallel since the field com- electric and a magnehc field turn
ponents oriented along the motion out to be parallel.
direction do not vary.
In order to find at least one frame in which the fields are panli-
Jel, we shall proceed as follows. Suppose that the fields are paral-
lel in the frame K, i.e. rEB]= 0. Direct the velocity of the franll~
K' (in which the fields E' and B' are not parallel any more) along
the perpendicular to the fields E and B; assume that the x, x' axis
is directed along the velocity V (see Fig. 6.2). Then Ex= Bx = 0
and, since the vector cross product is equal to zero, E11 B:z- EzB 11 =
= 0. Substituting into this equation the components of E and 8,
expressed via the components of E' and B' according to Eq. (6.36),
we arrive at the following equation:
Thus, from the giv~n vectors E' anq B' in the frame K' one can
find the frame K in which E and B are parallel. The velocity di-
rection of this frame coincides with that of [E'B'], while the
'.'elocity magnitude is one of the roots of the quadratic equation
(6.48). Surely, from the two roots of Eq. (6.48) one should choose
the one for which V < c. The case E'B' = 0 was examined abov~.
one cannot obtain parallel fields here, but it is possible to g·~t
either a purely magnetic or a purely electric field.
§ 6.5. The electromagnetic field invariants. Although an elec·
tric field strength E and a magnetic field induction B vary under
the Lorentz transformation, there are some combinations of these
fields remaining invariable under it. These quantities are invari·
ants of antisymmetric 4-tensors of the second rank. We make use
of two such invariants (see Appendix I,§ 6):
li=F;k' 12=Fo,F:~o=~elktmF,_Flm'
Recalling the definitions of the tensorsF1~o and Fi~o
jj (cB, - iE), ~· (- iE, cB)
and taking into account that the first invariant is the sum of the
components F;~o squared and the second invariant represents the
pairwise products of the corresponding components of the tensors
F 1 ~o and Fi~o. we can write at once f 1 = 2(c 28 2 - £2), / 2 =
~ -2ic(BE).
Omitting immaterial constant factors, one can claim that an
electromagnetic field possesses two invariants (we shall not write
out the invariants of the tensor ~ and the combined invariants of
S: and f since they will not be needed):
11 =c 2 B2 -£2, 12 =BE.
From the existence of these! two invariants follow the results,
some of which have been mentioned before. If in some IFR the
fields E and Bare mutually orthogonal ([EB]= 0), they are also
orthogonal in any other inertial frame of reference. If in some
reference frame E = cB, this relationship holds in all inertial
frames of reference.
It should be noted here that both invariants are equal to zero
for a light wave in vacuo. These properties, i.e. B .l E and cB=E.
are maintained in any I FR.
Maxwell Theory In a Relallvlslic Form 199
Obviously, the initial field represents just the sum of the two
+
fields: E' = Ef E2, B' = B[ + Bi. However, the field transfor-
mation equations I and II are very simple and allow us to get th~
answer right away. In the frame K'
f = p,E' = p,E;. (6.50)
Using the first equation of (6.45), one can write down imme-
diately the electric field I in the frame K:
E,=-]VB,],
where 8 1 is the magnetic field in K. According to Eq. (6.36) the
electric field II in the frame K is equal to
E2 = Ef:d + r (E2vi + E~zk) ..... E~
in the case when r ~ I. The total electric field in K is equal to
the sum of E 1 and £2:
E=E,+E,=E;-]VB,]. (6.51)
¥
"v
time at a given point. And still, one may speak of the field motion
induced by a charge or magnet moving at a constant velocity,
since this field moves with them as a whole. The field transporta·
tion velocity is the velocity at which a charge or a magnet moves.
A motion of lines of force, however, is better not to be mentioned
since a motion velocity of lines of force has no physical meaning.
An auxiliary nature of lines of force is demonstrated particularly
well by the fact that they may just disappear in some reference
frame for a certain field.
Here is another example illustrating the relative character of
forces acting in an electromagnetic field. Consider a cylindrical
conductor carrying a current and a negative charge q moving
parallel to the conductor at the velocity V (Fig. 6.3). We shall
fix the frame K to the conductor, and the frame K' to the charge.
In the frame K the charge experiences the Lorentz force induced
by a magnetic field and directed at right angles to the conductor's
axis. Consequently, the charge approaches the conductor. In the
frame K', however, the charged particle is at rest and the magnetic
field has no effect on it. Then, what is the reason causing the
charge to deviate in terms of the frame K'?
Here one needs to re\'iew a microscopic description of what is
happening in a conductor. A current originates in a conductor
due to the motion of free electrons since positive ions and fixed
(valence) electrons cannot migrate along a conductor. Let the
202 Special Theory of Relativity
8= ~~~.
the vector B coincides with the tangent of a circle lying in a
plane perpendicular to the current's axis and having its centre on
it. The direction of the vector B is determined by the right-hand
screw rule. Hence, the force acting on the charge is directed
toward the conductor and is equal to
F= qVJlol =-~-~
2:rcr 4:rce 0 c~ r •
whence
K'
(a)
~ (6)
Comparing this result with Eq. (6.52), we see that these forces
are equal in a non-relativistic approximation (f !=::::I). Recalling
that the forces transform according to Eq. (5.34), we find that
both ways of describing an observed phenomenon give identical
results at any velocity V. The results pertaining to fields in the
frames K and K' are explained in Fig. 6.4.
In conclusion it should be emphasized that all the results per-
taining to forces which an electromagnetic field exerts on spa~e
charges, are obtained quite easily provided that the Lorentz force
204 Special Theory of Relatlully
(/v)- p (vB) .
.. We expect that the reader will not forget that the letter F supplemented
wtlh two submdkes represents a tensor f component. The components of the
4·force density have a single subindex,
Maxwell Theory ln a Relatlulsflc Form 205
1·=+((1>).
Thus we have obtained a 4-force density vector whose compo·
nents are written down together as follows:
Here the equations for a force density in the frame K are ex-
pressed through the fields in the frame K'. Usually a force density
is expressed in terms of the quantities referred to the frame in
which the force density is determined. Making use of Eqs. (6.17)
and (6.36), we obtain f(p(E +[VB]). i/c p(Ev)) for non-relati-
vistic velocities (ignoring the terms V2/c 2 ).
In conclusion we shall write out the motion equation for a
charged particle in a four-dimensional form:
(6.55)
(6.61)
B-?-[VEJ-"(H-[VD]). (6.75)
Pco11.t=r*
in complete agreement with Eq. (6.24).
It is worthwhile to consider Ohm's law in the case of moving
media, i.e. the material equation (6.70). We shall see that the
convection current pv and the conductivity current are closely
interlocked as it becomes obvious right after j and icp are com-
bined into a single 4-vector. The difference between a convection
current and a conduction current is caused by the choice of a ref-
erence frame. Therefore it is natural that both currents alike in-
duce a magnetic field.
We shall assume that a conductivity current represents a mo·
tion of charges with respect to a medium whereas a convection
current arises due to the presence of charges in a medium owing
to the motion of this medium.
re~tu~p:eok~a~~~. ab~:[J!!~ !r~~aerg~, ~~~~~t~s p~. t.f~:s~c~~~~ti~r;~
constitute jointly a 4-current which can be transformed to any
reference frame by means of Eq. (6.15a). Having expressed the j
components and the density p through j' and p' in the reference
frame K', we obtain
i,~r(i;+Vp'). i,~i;. i,~i;. p~r(p'+-;':-i;). (6.84)
(6.89)
in a three-dimensional form.
Let us separate the terms proportional to a conductivity a in
Eq. (6.91). For this purpose the left-hand and right-hand sides of
Eq. (6.91) arc multiplied by v. Introducing the usual designa-
tinns y and ~. we get
or
~-p=-7-+ 0 ~~v) +· (6.92)
Substituting Eq. (6.92) into Eq. (6.91), we finally obtain
f~pv+crv{E+[VBJ-f,-(Ev)}. (6.93)
Thus, the term "conductivity current" can be attributed to th!!
quantity jcond = j - pv. A field existing in a substance moving
relative to a given reference frame is often denoted by E•
E'~E+[VB).
214 Special Theory of Relativity
(6.96)
Let us examine now the boundary conditions for tangent com·
poncnts of field strengths. Considering first the reference frame K'
co-moving with the interface, we obtain the continuity condition
for tangent components of E' and H' in this frame. But in terms
of the frame K relative to which the interface moves at the veloc-
ity u, the field:. E and H take the following form (see Eqs. (6.41)
and (6.43))o
+
E' ~ E [uB[, H' ~ H- [uD[. (6.97)
Let us draw a perpendicular n to the interface plane and denote
the projection of the velocity u on this perpendicular by urr. Let us
find the projections of Eq (6.97) on the plane perpendicular to n.
Remembering that [nE} = [n, En+ Et) =[nEt), we shall wrile
the equation E;1 = El2 as [nE;J] = (nE/ 2), i. e.
[nEd+ [n [uB,[[ ~ [nE,] + [n [uB,]],
or
[n, E,- E,[ ~ u (n (B,- B,)) + (B,- 8 1) (un).
Since according to Eq. (6.96) nB 1 = nB 2, we finally obtain
[n, E,- E,[ ~ "• (B,- 8 1), (6.98)
<1nd similarly,
(6.99)
This equation, together with Eq. (6.96), constitutes the boundary
condJtions for field vectors.
§ 6.9. The transformation of electric and magnetic moments. If
\\t;> combine an electric and a magnetic moment P and M into a
~ingle antisymmctric tensor (6.33) we can immediately write trans-
formatiOn equations for components of these quantities.
Maxwell Theory in a Relativistic Form ,.
Let us denote a polarization and magnetization, determined in
the reference frame co-moving with substance, by po and MO re-
spectively. Then an observer relative to whom the substance moves
at the velocity V will get
M,~M~. M,~r(M:+VP~). M,~l'(M~-VP:).
Px=P~, P11 =f(P~-~M~). Pz=f(P~+fM2).
(6.100)
These equations clear up at once the relationship between thP.
three-dimensional vectors P and M introduced earlier. Here one
can repeat everything that was said about the relationship between
electric and magnetic fields. As a rule, magnetization is always
accompanied with polarization, and vice versa. P or M can hE'
equal to zero only in a specially chosen coordinate system. A pol-
arized but not magnetized object is both polarized and magnetized
in terms of an observer relative to whom this object moves. In-
deed, suppose that in the frame K' in which the object is at rest
M0 = 0, P 0 (P~, P~. P~) =I= 0.
Then in the frame K relative to which the object moves at the
velocity V,
Px = P~. P11 = fP~, Pz = l'P~.
M..:=O, Mg=l'VP~. Mz=-I'VP~-
then in the frame K relative to which the object moves at the ve-
locity V
Mx=M~, M 11 =fM~. Mz=fM~.
(6.101)
P..:=O, P 11 =-1'fM~. Pz=f?-M~.
216 _ _ _ _ __:S:;.:P'c:"=:"l_:_T_:::><cc"'.=_Y_:_'lc_Rc:'.::''_:_livc:ile_Y_ _ _ _ _ __
F
to j, and the loop itself move at
~~:.
the velocity V relative to the
frame K. Let us fix the frame K'
to the loop (Fig. 6.5). In accor-
K
;;---;-- dance with Eq. (6.24) a charge
p > 0 appears in the section BC
and a corresponding charge
I
p < 0 in the section AD. It is
obvious that the total charge
appearing in the loop ABCD i:c::
equal to zero. At the same time
z this loop possesses an electric
Fig. 6.5. Emergence of a dipole mo- moment directed along the y
ment of a current loop when cons•d- axis. We shall show that an ele-
ered m the reference frame I( relative mentarv calculation coincides
to wh1ch this loop moves. with cOnclusions of the STR.
Although there is no dipole mo-
ment m K' and only the zth component of M is present, Py =
=- r?- M~ emerges inK according to Eq. (6.101). In the frame
K' the rectangular current ABCD possesses the magnetic moment
IS where the vectorS is directed toward the negative z axis and is
Equal to ab (a and b being the sides of the rectangular loop). As-
suming for the sake of simplicity the cross-section of the conductor
to be equal to unity, we obtain M~=- i0 ab. The electric dipole mo-
ment emerging in the loop is not difficult to calculate. According
to Eq. (6.24) p = r.;.
i~. the distance between BC and AD is equal
to b. and the total charge in these sections is equal to pa. The di-
rection of this dipole moment coincides with that of the y axis.
Therefore, PH=pab=f~abi~=-?-rM~. just as it should be.
§ 6.10. Some problems involving the transformation of an elec-
tromagnetic field. The field of a uniformly moving charge. Tile
magnetic and electric fields of a uniformly moving charge are mo~t
-easily obtained by transformation of the fields existing in tht.!
fr2me K' in which the charge is at rf"!st. In the case of a point
Maxwell Theory in a Relati~;istic Form 217
where r'2
B~=o,
E~= 4:e *·
= x' + y' +
the frame K
2 2
s;=o,
E;=
z'2.
4:e *· B~=o.
E;= 4~e ~·
According to Eq. (6.36) we obtain in
Now \ve have to express r' entering into q/ via the charge coordi-
nates in the frame K. According to the Lorentz transformation
x'~r(x- Vt), y'~y. z'~z. (6.105)
and the expression for r' 2 \Viii be \Vritten as
r'2=x'2+ y'2+z''l= r2(x- Vt)2+y2+z2=
=1'2 [(x- Vt )+ Y~~z 2 ]=f2jR2,
2 r'=l'lli, (6.106)
!J!'~(x-V/)'+(1-f.'-)<u'+i'). (6.107)
Making use of Eq. (6.107), one can express the scalar potential q>,
defined in Eq. (6.104), through !.R:
E:: = r 2 4~~9P ·
In the frame K' the charge is located at the origin 0' (i.e. at the
point x' = 0). Its coordinates at the moment tin the frame K will
be as follows: x0 = Vt, y0 = 0, z0 = 0. Let us introduce one more
vector, R. directed from the point 0', where the charge is located
.r-Vt•R·C0$8
Fig. 6.6. To the calculation of an electric and a magnetic 6eld of a uniformly
moving charge.
When the ,·elocity of the charge is low, the fields in vacuo ar~
described by the following approximate relations:
E= 4~eo 7{:-
and
8= 4Jt~oc2 ef:3R.l =f;i- fe:~l. (6.113)
=e 1 (t-~)Ez+%-V(VE 2 ). (6.114)
F 11 =-~":~~ 2 V 2 • (6.118)
The force defined by Eq. (6.117) and observed in the reference
frame K relative to which the charges move, consists of the Cou-
lomb repulsion and the Ampere attraction (with an accuracy of the
factor 1/2). The force expressed in the form of Eq. (6.117) can be
used for the explanation of current interactions in conductors only
with certain stipulations. Neutral current-carrying conductors must
attract each other in these conditions. However, a current-carrying
conductor is neutral only in one reference frame (§ 6.1). That is
why the Coulomb repulsion ought to be taken into consideration.
For all that, it usually seems to be weaker than the attraction.
§ 6.1 t. An energy-momentum-tension tensor of an electromag-
netic field in vacuo. A transition to four-dimensional quantitie<;
combines the quantities whose interrelationship was imperceptible
in a three-dimensional approach. In the case of a free particle one
4-vector combines energy and momentum. An electric and a mag-
netic field constitute an electromagnetic field tensor in 4-space. An
energy and a momentum of an electromagnetic field turn out to be
components of a tensor which, apart from an energy (a scalar m
a three-dimensional case) and a momentum (a three-dimensional
vector), comprises also a three-dimensional-tension tensor of Max-
well. Here we shall have to quote the results of the Maxwell theory
in a three-dimensional form.
I. The energy conservation law for charges and a field. This law
follows directly from Maxwell's equations: multiplying Eq. (6.56a)
Maxwell Theory in. a Relativistic Form 223
~~ m 11 =f+~IDB). (6,t27)
Maxwell Theory ln a Relaflvlsttc Form 225
IfdY=Tt·
7
dP
(6.130)
(6.131)
The expressions
._,
226 Special Theory of Relallvlty
o~jgdr.
,f.
':Y
T~fl namp dS = r~ adr~ll
Xa
mfl dY = 0,
and Eq. (6.132) retains its validity all the same. Here we proceed
in much the same way as we did when selecting an expression for
the Poynting vector from the energy conservation theorem or find·
ing an expression for a displacement current density. Our selection
depends on the correctness of all of its consequences. The tension
tensor (6.128) in uacuo where D = eoE, B =~H. together with
the definition of a momentum (Eq. (6.133) ), yields reasonable
physical results.
In conclusion note that Eq. (6.132) makes it clear that the defi·
nitions of a momentum density and a tension tensor are closely
interrelated. Having redefined a definition for a momentum density.
\\"e modify at once an expression of Ta~ (see§ 6.12).
Let us summarize the results that we obtained for the case of
vacuum: as a consequence of the Maxwell equations, the momen·
tum density defined by Eq. (6.133) ought to be assigned to an
-electromagnetic field in uacuo. Then Eq. (6.132) expresses the New-
ton law: an increment of the total momentum of charges and of a
field in a volume "'F is equal to the sum of forces acting upon this
"\"Olume. These forces can be written down in the form of surface
forces, i.e. the forces acting on a surface enveloping the volume "'F.
A transition to four-dimensional terms can be accomplished .-ts
f
follows. First, let us prove that a 4-force density (see Eq. (6.54))
can be rewritten as a four-dimensional divergence of a tensor T,~~;:
/1 == +Fu,sk = aJx~.
Maxwell Theory l.a a Relafiuistic Form 227
(6.136)
(6.141)
But then, starting from the fifth link of Eq. (6.138), the subsequent
chain of equations will be rewritten as follows:
ponents yield~ the same expression c (BH- DE) tw1ce. Now the
equation of T1t components can be rewritten as follows (-/smo are
substituted for fmt):
Tur= -+F1mf11.,..+ 6stA. 16.146)
=-1-S:~~=-ic~=-icg"'. (6.149)
-fsJ:
r,. r,
-fs~~
r, -icg:r
= -+s
-fs" (6.151)
The upper left square comprising nine quantities defines a tension
tensor of Maxwell. It becomes a correct quantity in a relativistic
case when bordered with energy quantities 8 and w. Let us make
sure that having composed the tensor T,~e, we obtained the energy
and momentum conservation laws expressed in a three-dimensional
form by Eqs. (6.125) and (6.132). Consider now the spatial com-
ponents of a 4-force:
Iu =---ax; - C a
dTa!J 1 dSu
(icl) =
dTuiJ
ax;- - 7I dSu
---at
dTufl
=ax; dgu
-at· (6.152)
We took account of a three-dimensional momentum of an electro-
magnetic field in uacuo having the components ea = S«/c 2• Multi-
plying each component fa (a= I, 2, 3) by its respective unit
vector ma (a= I, 2, 3) and summing up the values thus ob-
tained, we get (f = f«m« is a three-dimensional Lorentz force}
(6.!53)
the last transition makes use of the symmetry of the tensor Te~.~·
Now then, we have arrived at the momentum conservation law
(Eq. (6.132)) and have made sure that the components T14, T24,
T34 are indeed proportional to electromagnetic field momentum
components. The expression TCl.~nClm~ can be considered not only
as a force acting on a surface element, but also as a momentum
flux through that surface element. The quantity Tce~m~ yields a
vector component of this flux. Surely, both these interpretations an~
equivalent.
Consider now f4• On the one hand, according to Eq. (6.54)
/,=~(vE)=+(fv), (6.157)
and on the other hand
~~ +divS+(vf)=O. (6.159)
g 11 =r(g~-;-T~ 11 ). (6.166)
=flxBx+ExDx- ED~BH.
(6.169)
The second link of Eq. (6.175} takes into account that the tem.wn
tensor of Maxwell is the same both in the Minkowski and in the
Abraham tensor; the third link of Eq. (6.175) is the identical tran'i-
cription of the second link. But the first two terms of the last link
of Eq. (6.175) can now be substituted according to Eq. (6.174) to
yield
(6.176)
In an isotropic medium
I
fA=So!lo(XmXe-1)*=
unpten =e,!'o(Xmx, -1)[EHI, (6.187)
8 toment
where
~ 0.2mnftlia
Xe = efeo, Xm = !li!J.o (6.188)
o~=-f~ru. (6.195)
The momentum components G~ and 0~ turn into zero, so that
G'=-~;ru. (6.196)
The appearance of the "minus" sign tn the last equatton is due to
the fact that the charge moves at the velocity -V relative to the
SpecliJl Theory of Relatioltg
frame K'. Comparing Eqs. (6.194) and (6.195) with the equations
transforming a momentum and energy of a particle on transition
from the proper frame of reference to an arbitrary one (see Eq.
(5.49)). we see that these equations are different. In former time<;
.an effort was made to treat an electron mass as an electromagnetic
one using the relation
m=U/c2• • (6.197)
Eq. (6.196) shows that such an interpretation gets into trouble
since to "confine" a charge some additional forces are required
neutralizing repulsion, i.e. the additional energy that was not ac-
counted for. Having taken into account mechanical stresses, we
can obtain the following relations:
(6 1a + 1 :x c-2 U1Ua)
and making use of the relationship
(6u-xc- 2U,Ut)(6 1a+ l : x c- 2U1Ua)=ll 1a, {6.208)
[4-xc-
iJx
(U•...!!__)'
11 ax,.
2 ] Q)u.- ...!!..._(~- xc- 2 U~cUm
iJxa ax~
OlDm)
ax,.
~
=- j.Lc( ll a + 1~ x c- 2U 1Ua) s
1 1• (6.209)
Maxwell Theory ln a Relatluistic Form 243
{~
iJx 11
-xc- 2 (u~: _!_)'}<Da=-
ax 11
J.i.c(0 1a + -'-c- 2U1U,_)s,.
I+~
(6.211)
The system (6.211) is more convenient as compared to the sys·
tern (6.209) since it comprises four equations, each of which in·
eludes only one component of a vector potential (a= I, 2, 3, 4).
For given external sources, the solution of the system (6.211) fully
defines the field generated by these sources in a moving medium.
If a moving medium has an interface, the system (6.211) should
be supplemented by requisite boundary conditions (see§ 6.8).
As an example of solving the equations obtained, let us consider
an electromagnetic field in a moving medium in the absence of
external sources, both currents and charges. Since in this case all
s, = 0, the system (6.21 I) turns into a system of the four uniform
equations:
{ ~- xc-
iJxll.
2(Uk_j_)'}
cl>,_=O.
ax_
(6.212)
Due to the additional condition (6.210) only three out of the four
quantities CD,_ are independent. Accordingly, we can assume CD 4 =0,
and treat the remaining three quantities CD 1, CD 2, 11)3 as components
of some tensor which we shall denote by A. Thus we see that in
the case of such a calibration the vector potential <Da for a moving
medium is a three-dimensional vector potential A.
In this case the system of equations (6.212) can be rewritten
in terms of the potential A:
Eq. (6.217) shows that the plane wave amplitude Ao differs from
zero only for those waves that satisfy the condition
d1um:
k 2 -fJil/rP=O, k2 -=E/tJ,
\\'e shall rewrite it in the form
From Eq. (6.219) requiring that the scalar product turn into
zero, it follows that in a moving medium the vector Ao is perpen·
dicular not to the wave propagation direction defined by the wave
vector k, but to a linear combination of the wave vector k and the
velocity vector V of the medium. In the two specific cases, when
a wave propagates in vacuo (n =I) and when a medium is sta-
tionary (ll = 0), Eq. (6.219) turns into the well-known relation of
free transverse electromagnetic waves: Ank = 0 from which it fol·
lows that in a free electromagnetic wave lhe vectors E, H, B and D
are perpendicular to the wave vector, that is to the wave propaga·
tion direction. In a moving medium, however, the waves are not
transverse, generally speaking. Indeed, in the case of a plane wave
(Eq. (6.216)) the fields E and B are determined according to Eq.
(6.215):
B = - i [kAoJeHIIJI-krl, E = - i(J)Aoei{IIJI-krl.
Whence it is seen that the vector B is perpendicular to the wa\8
vector k while the vector E is not (since the vector A0 is not trans·
verse according to the condition (6.219)).
Eq. (6.217) relating the wave vector k and frequency (I) of a
wave in a moving medium includes the scalar product kV. This
means that the wave propagation conditions depend on the angle
between the propagation direction, or the wave vector k, and the
velocity of a medium V. This circumstance indicates the pheno·
menan of carrying away of light by a moving medium. Let us
consider this phenomenon in detail in the case of small velocities.
Since the quantity 8 = VIc is small, we shaJI ignore aJI values
of 8 having degrees higher than one in Eq. (6.128). We shaJI get
fz--k + 1[~-2w(kV)]=O,
2 2
n ,-;
or
~-2kV(t-*)w-*=0.
246 Special Theory of RelatiFJlty
From the two signs in front of the first addendum on the right·
hand side one must choose the pill§ sign since in the case of
V = 0 we have to get the well-known relationship between w and
k in a stationary medium.
m I ' (6.221)
k=-v'eji"=-;
here we introduced the refraction index of a stationary medium n.
The quantity c/n is the phase velocity of light in a stationary me·
dium.
The angle between the vectors k and V being denoted by 9, Eq.
(6.220) takes the following form
T=.;- + V cos a (I-~) (6.222)
for the indicated choice of a sign.
Just as in the case of a stationary medium (see Eq. (6.221)), the
quantity w/k in Eq. (6.222) defines the phase velocity of light but
this time in a moving isotropic medium. Comparing Eqs. (6.222)
and (6.221), we see that the phase velocity of light in a moving
medium is different in different directions. If light propagates
along the motion of a medium (cos a= 1), the phase velocity
is equal to
-T=.;;-+(1-~)v.
H light propagates against the motion of a medium (cos a =
~-I). then
T=f-(t-,!r)v.
The factor (I -l/n2 ) is the so-called light drag coefficient which
was experimentally measured by Fizeau with water serving as a
moving medium.
§ 6.15. The field potentials in a moving conducting medium.
Prior to dealing with field equations in a moving conducting me-
dium we shall recall the main facts concerning the propagation vf
v.aves through a stationary medium in the presence of conduct-
ance.
In this case the Maxwell equations take the form
rotE=-li, rotH=D+J+aE,
(6.223)
divD=p, divB=O.
Maxwell Theory rn a Relativistic Form 247
Here p and 1 are the charge density and current density induced by
.. extraneous" sources. Subsequently we shall confine ourselves lo
consideration of equations (6.223) in the absence of "extraneous"
sources, i.e. assume p = 0 and 1 = 0. The solution of equations
(6.223) will be assumed in the form
E = Eaef (.tr-wf), D = Daet l.tr-llt),
H = Haett.tr-wtl, B = Baef(.tr-wtl, (6.224)
(6.232)
I.e. constant phase planes move along the axis at the velocity
Vp~t=-m/k'. (6.242)
This velocity up 11 is referred to as a phase velocity of a wave anJ
determines the wave propagation direction. The minus sign in Eq.
(6.242) means that the wave (6.238) propagates in the negative
direction of the z axis. However, if we move in the negative direc 4
tion of the z axis together with the wave, its amplitude, being
proportional to the factor ek""', will attenuate exponentially. It can
be seen that the wave (6.237) propagates in the positive direction
of the z axis at the same (in magnitude) phase velocity. The ampli·
tude of that wave is proportional to the factor e- 11 ~z and, conse·
quently, also attenuates in the propagation direction.
Thus, in a conducting medium there are two waves of a given
frequency propagating in opposite directions and possessing phase
velocities of equal magnitude. Amplitudes of each of these waves
attenuate exponentially in the propagation direction.
It follows from the Maxwell equations that the amplitudes EfJ
and H 0 are interrelated. This relationship can be expressed, for
example, by the first equation (6.227). Taking this equation into
account, we can write down the expressions for the fields (6.231)
in the form
E= Eoe"~' A•z. el (± k'z-t~m,
where both vectors k' and k" are directed along the z axis. Then
according to the third relation (6.227) the vector £ 0 is perpendi-
cular to the z axis. Let this vector be directed along the x axis:
Eo~ (£0, 0, 0). (6.245)
Then
H 0 ~(0. H 0 , 0), (6.246)
Ho=-dw kEo. (6.247)
Here we have used only the upper signs in Eq. (6.243), to make
things simpler.
It is seen from these equations that in a conducting medium the
~v;v~e o!n~l~ e~e~r~rc~~~ (;~~~:~c ~~le~ ~~~d~i:t~~ffyedisin a~::~~
k" = 0 and the phase displacement disappears.
The real physical fields E and H cannot be complex quantities
so that a physical meaning may be ascribed either to real or to
imaginary parts of Eq. (6.249). Taking, for example. the real parts
of these expressions, we get
Ex= Eoe-lt"zcos (k'z- eDt),
(6.250)
Hv=-d; I k IEoe-lt"zcos (k'z -(i)f <p). +
The imaginary parts of Eq. (6.249) also yield the equivalent solu-
tions:
Ex= Eoe-lt"z. sin (k'z- eDt),
(6.251)
Hv=-fc;l k IEoe--": sin (k'z -mt <p). +
In conclusion, let us analyse Eq. (6.232) for the wave vector k
in cases of low and high conductivity of a medium. Let us write
252 Special Theory of Relatlaity
down Eq. (6.232), having chosen the plus sign in it for the sake
of simplicity:
(6.252)
(6.255)
In this case the imaginary and real parts of the wave vector k
are equal in magnitude. The distance L over which the wave at-
tenuates e times is equal to
L=..!...~
It' 'V
2 .
·I O'(l)jl (6.257)
f,o..,=ar{E+(VB]), p"..,-crr(~E).
254 Spedol Thenrq of Rrlalioltg
where s,.., co1111 e. im, cond is defined by Eqs. (6.259), (6.260) and
(6.261). Taking into account Eq. (6.261), the last equation is re-
written as
a!,.,
vr,
-aF.,U =s,.
11
Let us substitute into this equation the quantity f,., from Eq.
(6.200) in which the tensor &m11111 is defined from Eq. (6.201). Then
the last equation becomes the equation describing the components
of the tensor F,.,. If we now express F,." in the obtained equation
through the field potentials according to Eq. (6.199), we shall
obtain the equation for field potentials in a moving conducting
medium:
{..;.-..;(u•....2....)'
iJxk c ax,
-a~(u,....2....)}<Dm=
iJx,
When the attenuation is low (k"« k'), Eq. (6.264) can be con·
sidered to define a wave possessing the wave vector k' and fre-
quency w, with its amplitude varying according to the exponential
law e~<-z. Suppose k" is a positive quantity. To make any conclu-
sions concerning the wave behaviour, one needs to know the wave
propagation direction, i.e. the sign of its phase velocity. The phase
velocity of the wave is equal to the ratio w/k'. Indeed, the plane
of a constant phase of the wave (6.264) is defined by the relation
CJ>t-k'z =canst, whence :z =f,-1- co;st. It is seen from the
last relation that the plane of a constant phase travels at the ve-
locity w!k'. When w/k' > 0, the wave (6.264) propagates in the
positive direction of the z axis. Then if k" > 0, the wave grows,
and if k" < 0, it attenuates. And when w/k' < 0, the wave prop-
agates in the negative direction of the z axis. Then if k" > 0,
the wave attenuates in its propagation direction (although its
amplitude does grow in the positive direction of the z axis). Thus,
to determine whether the wave grows or attenuates, it is not suffi-
cient to know the law according to which the wave amplitude
varies in space; one has to know the wave propagation direction
as well.
There is a simple method making it possible to find out whether
the wave grows or attenuates in the direction of its propagation.
Let us analyse the expression wk"!k'. When it is positive, the wave
grows in the direction of its propagation; in the opposite case the
wave attenuates. It can be easily seen that the expression wk"/k'
is the product of the phase velocity of the wave by the decrement
of its attenuation in space.
Let us consider now the solution of the dispersion equation
(6.263). Let the magnitude of the wave vector be equal to k and
Its direction form the angle 9 with the velocity vector V of a me-
diUm. In this case kV = k V cos e. The dispersion equation (6.263)
is a quadratic equation with respect to the frequency w. Solving
it for the case of low conductivity o and discarding all degrees of
o exceeding the first, we get
w1, 2 =(1+xf2)- 1{[xf2kV cos 9 ± ck -0f +if aJ.I.r [ 1 =F 8..0r9 ]}.
(6.265)
nc-;
where x= 1 1 , B=~. r=(l-82)-'h, and 6.= 1 +xf2 (1-
- 8 2 cos2 9). This equation shows that if in the frame of a sta-
Maxwell Theory In a Relativistic Form 257
tionary medium efJ. > BQJ10, i.e. x = (n 2 - 1)/c2 > 0, the imaginary
part of the frequency (I) is always positive for both solutions,
whatever the velocity V of motion of a medium. This means that
for a given wave vector k the wave (6.216) always attenuates with
time. The attenuation decrement is proportional to the conduc·
tivity o.
Now let us consider the case when the given characteristics of
the wave (6.216) are the frequency w and the wave propagation
direction defined by the angle 9. Then from the dispersion equa-
tion (6.263) one can determine the magnitude of the wave vector k
corresponding to the given values of w and e. The solutions of this
equation have the form k 1, 2 =kl. 2 +ik'{,2.ln the case of small o
we obtain after minor transformations
ck(-w(l +xf 2) {xBr2 cose+ yt;}- 1,
2ck'(-- cu~r (I -II' cos' e) (1 + Bcose v&r': (6.266)
ck~= -(I) (xBr2 cos a+ .../'6:) (I - xB2r 2 cos2 9)- 1,
2ckf{ = CO'flr (1 + Bcos a ..J'F:) (I - xB 2r 2cos29)-l 6. -'1•,
Here the quantity 6. is always positive due lr> the assumptions
made earlier. Using Eq. (6.266) one can obt<.• n expressions for
wk'{, dkb. They have the following form:
9-~
CHAPTER 7
OPTICAL PHENOMENA
AND THE SPECIAL THEORY
OF RELATIVITY
..
while in vacuo w = e0£2•
260 Special Theory of Relaflt•lty
The phase of the wave at the world point R(r, icf) cannot
c!epend on the choice of a reference frame. Therefore, the phase
u)t- kr must be an invariant of the Lorentz transformation. Con-
sequenUy,
(J)f- k,x- k 11 y- kzz= u/t'- k~x'- k~y'- k~z'. (7.6)
Substituting the transformation formulae for x', y', z' and t' from
Eq. (2.37) into the right-hand side of Eq. (7.6), we obtain
~-~-~-~-~0-~~-~~-~-~-~
This is an identity with ~espect to 1:.0 x, y, z. T~ing in!~ accou~t
that k=(i)/C and kx=csx, k 11 =cs11 • kz=csz (s 1s a umt
\ector whose direction coincides with that of k), we get
w=(j)'f(l+Bs~), ws,=(j)T(B+s~). ws 11 =(j)'s~. wsz=(J)'S~.
(7.7)
Here k'=~s'.
From these equations one can easily obtain the formulae describ-
ing the Doppler effect, that is the light wa\'elength variation when
emitted by a source moving relative to an observer, and an aber-
ration of light, that is the change in the direction of a light !Jeam
on transition from one inertial frame of reference to another. To
eliminate reiteration, howe\·er, we shall derive Eqs. (7.7) in a
somewhat different fashion and then, in the next section, investigate
their consequences.
We shall take the four-dimensional approach from the very
beginning. It has been already pointed out that the phase (j)t- kr
Optical Phenomena and Special Theory of Relativity 261
(7.13)
{hheisf:=~~eKe~~i~:i~~s~~~~ri~~n~a~~=ti~~Pfr~e~u:~~~t.wA3iff~~~~~v~~o~
the natural frequency w0 of the source. The observed frequency v).
depends not only on the relative velocity of the source and the ob-
server (B = V/c), but also on the angle 9 at which light comes.
to the observer.
In particular, if the radiation comes along the relative velocity
direction, we observe the so-called radial Doppler effect. If the-
frame K' is to the right of K, the source moves away from the ob-
server and light propagates in the direction opposite to the x axis.
Optical Phenomena and Special Theory of Relativity 263
w=mo~. T=To~~~~·
An observer receiving light from a source moving away !rom
him finds a frequency to decrease.
/(
Observer 8 =$ J'olfrce
~~
Light V x,.:z:'
(a)
/(
So/irce 9a0 Observer
~·
loi
v
light 8-:Jr/Z
x,x'
Observer
(C)
Fig. 7.1. The radial Doppler effect: (a) an observer and a source mo\·e away
irom each other; (b) an observer and a source draw together, (c) the transverse
Doppler effect.
On the other hand, when the frame K' is to the lert of K (see
Fig. 7.lb), cos a= I and a source approaches an observer:
./T+B ./~
w=mo/\Ji'=1.f• T=To'Vl+li'
The frequency of light received by an observer increases as com-
pared to the natural frequency w0 . To an accuracy of 8 2 terms the
last two formulae can be rewritten as follows (the easiest way is
to multiply both the radicand numerator and denominator by the
numerator):
c.>~c.> 0 (!-B), "~"<>(!+B).
eoo= I'w(t - .f cos a) =I' ((I) -fVcosa) =I' ((1)- kV). (J.I4)
r,.~
' (
ooo o)·
0 0 0 0
(7.17)
-iw' 0 0 w'
We shall also need the components of the tensor r;,. in the case
when a plane wave propagates in the (x', y') plane at the angle 9'
to the x' axis. Such a transition is accomplished through a simple
rotation of a coordinate system; the matrix of this coordinate trans-
formation takes the form
cos
_ _ ( sin 9'
6' - 6' 00)
sin
cos 9' 0 0
a 1, . -0 0 I 0 · (7.18)
0 0 0 I
Transforming the components of the tensor (7.17) through the use
of the ma-trix (7.18) according to the general rules of tensor trans·
..
, Special Theory of Relativity
_,
- w' cos29' - w' sin 9' cos 9'
( - w' sin 9' case'
-iw'cose')
-iw' sinS'
Ta~= 0 0 .
- iw' cos9' - iw' sin 9' w'
(7.19)
Therefore, specifically,
w' =w', S~=cw' case', t~.=-w' cos 2e'. (7.20)
Let us prove the following theorem: a plane wave limited in
space along its propagation direction (such a wave is som~
times called "a train of waves") possesses a momentum and
an energy making up a 4-vedor similar to a 4-vector of energy-
momentum of a material particle. (This theorem is a particular
case of the more general theorem*.) To prove the theorem we have
to know the formula defining a change in volume occupied by a
train of waves on transition from one inertial frame to another.
The difficulty arising here is caused by the fact that the train of
waves moves at the velocity of light c so that the volume of the
train cannot be measured in the proper frame of reference. It is.
impossible to introduce the reference frame moving at the velocity
of light! However, one can bypass the introduction of the proper
volume, having finally accomplished the limit transition to the ve-
locity of light.
Let a certain volume move as a whole in the frame K' at the
velocity v', \Vith its value being equal to 1"'0 in the proper frame of
reference. Then according to Eq. (3.28)
(7.21)
r' 'Vv~w •
l+cBcose'
the second equality follows from Eq. {3.41). Here v' is the motion
Yelocity in the frame K'. Now, passing to the limit r/ _. c, we get
the required formula:
'1"=1"',~~,. (7.22)
Let us find the total energy of a train of waves in the frame K'
(see Eq. (7. 19)):
(7.27)
dl'=+dt,
where dt' is the proper time. Having divided termwise the upper
equality by the lower one, we get
=canst·
(r-;r
-(--v---)
sln 2 9
dO. 5
1-- cos9
7
270 Special Theory of Relativity
where we have used Eqs. (7.16) and (7.12'). It ir. seen irom the
obtained formula that the angular dependence of radiation in the
frame K, relative to which the oscillator moves, differs essentially
from the angular dependence in the frame K', especially in the case
whPn V ~ c. In this case the maximum radiation is observed in a
direction forming an acute
angle with the oscillator's axis
(Fig. 7.2).
It is worthwhile to consid~r
how the radiation which is iso·
tropic in the reference frame K'
behaves in the ~rame K. All the
---'*'~~-,-----,--x,z' ~~~:~st:Y~~~r~8u~:ed~~(a~~~i})a~
= const-dQ' and
dl= f 2 (1 d/~cos9)
f2 (I con~\os 6) dfY =
const · dQ
Fig. 7.2. The variation in the angular =r"(l Bcos9)2
distribution of radiation emitted by a
~~r:/:n~:c;~:~~: ~~ :~a~s~:~hn t~e0 ~s~~~~ (1-+.'-)'
Iaior is at rest (B = 0) to the re£er· =canst· ( v )~dQ.
ence £rame K rel-'llive to which it t- 7 cos9
moves (B = 1/ 2 ). The maximum radia-
lLon dLrect1on IS seen to be inclined to-
ward the oscillator's motion direction From the last formula the
"searchlight effect" in K can be
The axis o£ the oscillat01 IS oriented
in the oscillator's motion direction.
seen. The radiation concentrate<;
around the direction 0 = 0,
since the value of the denominator is the least at cos 0 ~ I, with
the ratio V/c fixed.
§ 7.4. The pressure exerted by an electromagnetic wave (light)
on a surface. The pressure exerted on a surface of a body, i.e. the
force acting on a unit of area, is defined by the momentum flowing
across a unit of area and optical properties of the surface. The
momentum flow is expressed via the spatial components of the
energy-momentum-tension tensor T~IJ which for a plane wave takes
~i~fi~n t~~ r!~ri~n ~fJh~n (~h1e7 )w~~e(Jp~~~~::reesnd~ ~~;ntht:\pr~~i~:
then, as Eq. (7.17) shows, the tension tensor has only one com-
ponent differing from zero, that is T~;f = - w'. To find the momen-
tum flow across the given surface element, one has to define the
direction of the normal to this surface n(n~)- Then (see Chap-
ter 6) the momentum flow across the element dS with the normal n
Optical PhenomefUJ and Special Theory of Relativity 271
because only one term of the double summation differs from zero.
The magnitude of pressure acting on the unit of area normal to the
x' axis is equal to p' = n~ = T~., =I w' f. If a light pulse propa-
gates at the velocity c, the unit of area receives the energy per
unit of time equal to w'c = ~·
But we have seen that w' = p',
whence ........., \ n'(-1,0,0)
p'=~'/c. (7.32)
'\
lig~fni~e~~~naVyto t~~ep~e;:::; ~~ ~ -JS+-~m;;!L-f'--x'
an electromagnetic wave inci- Ohje::/
~f~~:; a~dud:~id~dbC: /;~o~~J~ _..~
ed that the wave is absorbed. Fig. 7.3. The calculation of pressure
Now let us determine the exerted by an electromagnetic wave on
force exerted on a wall by a a surface.
light wave incident on this wall
at a certain angle and reflected from it. Let the incident angle be
equal to 8. We shall denote the normal to the wall by n, and the
unit vectors directed along the propagation of the incident and
reflected waves by s and s' respectively. The momentum flow across
a unit of area will yield the pressure p whose components are as
follows:
Let us write out the magnitudes of normal pressure p/l for the
two most interesting cases. In the case of the normal incidence
(0 = 0) the pressure is equal to 2w if the wave is reHected com-
pletely and to w if it is fully absorbed. In the case of isotropic
radiation Px should be averaged over all directions, i.e. the average
value of cos2 a should be taken. But the average value of the
square of the direction cosine of the spatially-isotropic unit vector
is equal to 1!J. Thus in the case of a total absorption of isotropic
radiation the pressure is defined by the formula p = w/3.
Surely, all these formulae can be obtained by means of ele-
mentary reasoning. Proceeding from the magnitude of electromag-
netic field momentum density g = S/c 2 and that of the Poynting
vector in a plane wave S = we, we obtain g = w/c (w is the
energy density). When a plane wave falls on the wall at the
angle a. a unit of area takes up all the energy and momentum
per unit of time which are C'onfined within an oblique cylinder
whose base is formed by the unit of area and whose generatrix is
numerically equal to the light propagation velocity. The volume of
such a cylinder is equal to c cos a. Therefore I m2 of the wall takes
up the energy lC =we cos a during I s while the momentum Gx
transmitted in the direction perpendicular to the wall during I s
is equal to Gx = g cos a.c cos a= w cos 2 a. But the momentum
transmitted to a unit of area per unit of time is just equal to the
pressure p. Introducing as before the reHection coefficient R. we
get p = w(l + R)cos 2 a.
§ 7.5. The light frequency variation on reHection from a moving
surface (mirror). Let in the frame K a light beam propagate at
the angle ao to the x axis in the (x, y) plane. A mirror located
parallel to the y axis moves relative to the reference frame K at
the velocity V. The light beam reaching the mirror is reHected from
it. We shall find the frequency and propagation direction of the
reflected beam in terms of the frame K.
It is convenient to introduce the reference frame K' fixed to the
mirror. Then the problem is solved as follows. In the frame K the
4·vector of the light beam is specified, i.e. the frequency and prop-
agation direction of light are known. The frequency of light and
the beam direction in the frame K' are easy to find using the Lo-
rentz transformation formulae. In the frame K' in which the mirror
is at rest the routine law of reflection is valid: an angle of incid-
ence is equal to an angle of reHection. This implies that the 4-vec-
tor of the reflected beam differs from that of the incident beam
only by the sign of the wave vector component along the x axis.
To obtain the 4·vector of the reHected beam in the frame K. one
has lo apply the Lorentz transformation once more.
Now, let in the frame K the light beam of the frequency w0
propagate at the angle ao to the x axis in the plane (x, y). The
Optlcal Phenomena and Special Theory of Retali1.1ily 27J
Let us find the 4-vector k' of the same beam in the frame K'.
According to the Lorentz transformation (4.10a) we get
k; = r (k?+ iBk~). k~= k~. k;= kg, k~=l' (k~- iBkn. (7.34)
The component kl alters the sign on reflection from the m1rror
which is stationary in the frame K'. Therefore, the 4-vector k" of
the reflected beam will take the form
k;'=- r (k~ +iBk~). k; = k~. k; =k~, k~' = l'(k~- iDkn.
(7.35)
ln the frame K the reflected beam will ~e described by the 4-vector
k which is derived from the 4-vector k" via the inverse Lorentz
transformation from the frame K' to the frame K:
k,- r (k~ -iBk:)-- 1' 2 ((1 + B1)k1 + 2iBk:)-
--f'7{(I+B')cos60-2B), (7.36)
·j -~'
the frame K (F1g. 7.4a).
It is worthwhile to write out
the formulae pertaining to the
normal incidence of light on the
mirror. Let in the frame K the
-+~r'
angle of incidence 90 = 0. Then
we get
light one can easily derive the formula describing the pressure of
light. Indeed, let a photon fall on a surface of a body at an angle a.
The normal component of its momentum is equal to hw cos ate
(Fig. 7.5). On absorption of the photon the wall acquires just this
momentum along the normal's direction. If the photon is reflected,
the magnitude of the transmitted momentum depends on the reftec·
tion coefficient, that is the photon reflection probability; let us de·
note it by R. Then the momentum component transmitted normally
to the wall on reflection of the photon is equal to ( I+R) (hw/c)cos a
where R : :; ; ; I. If n denotes the number of photons in I m2, all the
photons confined within an oblique cylinder whose generatrix is.
equal to c will fall on I m2 ar<:!a
of the wall per I s. The base of
this cylinder is equal to I m2 ami
its volume to c cos a. Consequent·
ly, nc cos a photons will fall on
I m2 area of the wall per I s.
Provided all these photons get ab-
sorbed, the wall acquires the ener·
gy hwnc cos a and the normal mo-
mentum component
Fig. 7.5. Calculation of pressure-
nc cos a (I + R>-!7- cos a= produced by light The area of the
oblique cylinder base is equal to
=hoon(l +R)cos 2 a. S=l.
Hence, the final formula for the Doppier effect takes the form (d.
Eq. (7.13))
(7.64)
as before, ro' = r((a)-kV) (d. Eq. (7.14)), and for the aberration
angle (cf. Eq. (7.15))
tanO =:c.. sin 0'. (7.65)
{a} {6)
Fig. 7.6. (a) The Vavilov-Cherenkov radiation and the kinemallc explanallon of
its generation The positions of a unHormly mo\·ing particle are shown for the
moments of time It and lt. In the time Interval t,-1 1 the wave front will take
the position shown by a dotted circumference line (b) The Cherenkov cone di·
vides the space around the source into the regions of the anomalous and nor·
mal Doppler eftect
relative to K. Then w' = wo. It is seen from Eq. (7.64) that for
n > I, i.e. for such common media as, for example, water and
glass, Bn cos 9 may exceed unity even at V < c, and therefore the
denominator may turn into zero or even become a negative quan-
tit). Since an altered frequency sign implies, at the most, only an
alteration of an oscillation phase:
cos(-col)=cosco/, sin (-col)=-sincol=sin(col+ot/2),
Optical Phenomena and Special Theory of Relativity 285
The Ollly difference from the case of vacuum (cf. Eq. (7.15)) con-
sists in the refraction index n appearing in the denominator. Therl!
is no singularity at V = c/n.
And in conclusion we shall decide which expression for the
photon's momentum should be regarded as "correct". As it w.n.c;
pointed out in § 6.12, two different expressions for the photon's
momentum in a medium, pM.=fT-n and pA=-7;..
correspond to
different subdh·isions of the momentum density of an electromag-
netic field in a medium into "the momentum density of a field"
and "'the momentum density of a medium itself". Since considering
the Cherenkov effect we are interested in a complete momentum
being lost by an electron, and such a momentum is defined by the
expression gM, the employment of gM leads to the correct result"'.
• For more details see V. L. Ginzburg, UFN 110, 309 (1973); V. L. Ginz-
burg, V. A. Ugarov, UFN 118, 175 (1976).
CHAPTER 8
ON CERTAIN PARADOXES
OF THE SPECIAL THEORY
OF RELATIVITY
x,x'
Fig.. S.t. Two particles moving toward each other can "approach" at the velocity
exceeding t.
(a 1 - I)(a,- I)> 0,
which is correct since the condition imposed on a 1 and a 2 is satis-
fied. The case considered earlier corresponds to a 1 = a 2•
On Certain Paradoxes of Special Theory of RelatifJitg 289
Fig. 8.2. The intersection point of two moving stra1ght lines can move faster
than light.
This formula shows that if a-+ 0, the velocity V.-'t-+ lXI, i.e. it
can exceed c. This fact, however, by no means contradicts the
theory of relativity. In the first plac~. the intersection point of the
lines is not a material body. Secondly, this point cannot be utilized
to transmit a signal (information) because at any given moment
it is being formed by the new points of the two lines, i.e. the in·
tersection point cannot be "marked".
The case of an oblique incidence of a plane light wave on a
plane surface (Fig. 8.3) is of somewhat greater interest. Consider
the point of intersection of the
wave front with the plane x = 0
(the point A in Fig. 8.3). In the
course of time this point moves
to the right. It is easy to find
the velocity of its displacement:
having chosen the section BD
equal to c, we obtain AD=
= c/sin a. But AD is just the
path covered by the point A per
unit or time, i.e. the velocity of
the point A. Since sin a~ l,
Fig. 8.3. The point of contact of an In· this velocity can be easily made
ddent electromagnetic wave with a greater than c. To dramatize the)
plane surface can move at a faster- situation, let us imagine the
than-light velocity. plane x = 0 covered with a
luminescent paint. Then a lu-
minous point will run along the axis at a faster-than-light velocity.
Surely, a luminous point moving at the velocity u > c can be
realized simpler, so to speak, "manually". Arrange electric bulbs
along the x axis and switch them on one after another (indepen-
dently) from left to right with a given time lag. Naturally, you can
get a luminous point moving at any velocity. From this second
example it is seen that in this process no information can be trans-
mitted since each source radiates independently. But is it possible-
to attain faster-than-light velocities by means of a relatively slow
rotation of a solid body of a considerable radius? For example,
a disc of radius r = c rotating at the angular velocity co J::::::: t
would possess the linear velocity u J::::::: c and over at its rim. How-
ever, such a velocity cannot be reached due to relativistic properties
of the motion equation. As the linear velocity of some sections of
a body increases, the forces required to accelerate these sections
become greater and greater, and consequently the linear velocity
On Certain Paradoxes of Special Theory of Relatioify 291
Fig. 8.4. The light spot reflected from a rotating mirror can run along the re-
moved screen at a faster-than-light velocity.
tion index n < I and, consequently, v >c. All such cases relate
to a medium and to certain frequencies of electromagnetic waves.
For example, many substances have the refraction index n < I in
the range of hard X-rays. The same is true for plasma. But there
is no contradiction with the STR here again. The fact is that a
!i ~~:~e~~~~=~=~\~~~~~~c!t~~~i~~ !~fio~~dr~fra~tio~~~d~~~O:~~~-n~~
on the frequency of light passing through it, a signal can be trans-
mitted by means of electromagnetic waves whose frequency spec-
trum is sufficiently narrow (a group of waves). The velocity of a
signal is the velocity of energy transmission by such a group; .'IS
a more d~tailed analysis (see [36]) shows, the velocity of energy
transmission is defined by the group velocity. But the group veloc-
ity always turns out to be Jess than c, with the exception of th~
=~~:~~0 ~~ I~i~hi~~~0;io~~~~~e:e~~rt~et~~n~;~~~f vael;~~~p ~0:1~~~~
and consequently the signal transmission velocity, loses its mean-
ing. Thus, with the aid of wave processes, a signal is actually al·
ways transmitted at the velocity less than c.
Fig. 8.5. A rectangular l0op with an elastic thread stretching a sphere along the
frame's dtagonal. (a) The pict.ure observed m the proper reference frame J<O;
(b) the same pictur~ ob~ervcd u: the lrame K; (c) when the sphere is replaced
by a dumb·bcll, it expericnc{'s the actton oi a couple in terms of the reference
frame K.
Smce in the frame 1(0 the elastic forces are directed along the
thread, we can also write that
(8.1)
It is seen from this that Eq. (8.1) does not hold any more; in
the frame K the angle defining the thread direction and the anglc
defining the direction of the forces are by no means equal:
tana'-b/a-(b.'a,)(t-B')''·-r-'b.'a,-tana,,I', (8.4)
tan•"- Fo,/F,-(F1,/f'l,)/(l- D')'''-l'F1,f f'1,- I' tan a,. (8.5)
Although the sum of the forces remains equal to zero as before,
these forces in the frame K are directed at a certain angle to the
thread (Fig. 8.5b). At first glance this circumstance seems sur-
prising. Indeed, what happens, for example, if we cut the thread
at the section 2. In the frame K0 the acceleration must be parallel
to the- force direction at the initial moment, i.e. it is directed along
the thread (since this is an explicitly non-relativistic case, the con·
ventional law of Newton is quite applicable). It seems that in the
frame K the acceleration should be directed at a certain angle to
the thread since the direction of the thread and the direction of
the force F 1 do not coincide. These statements are clearly contra-
dictory, but the paradox is resolved simply: in relativistic dynamicc;
the acceleration does not, generally speaking, coincide with the
acting force direction and although the force is directed at an
angle to the direction of the thread, the acceleration is oriented
along the thread. The paradox itself provides a useful illustration
of the characteristics of the relativistic equation of dynamics.
Let us make sure that in both frames the acceleration of the
sphere is directed along the thread. It is convenient to write the
relativistic equation of motion in the form
m do/dt- v-• [P- (o/c') (Po)];
294 Spec/at Theory of Relativity
• II is eas~· to notice that Eqs (8.6) and (8.7) correspond to two exceptional
cases of the relativistic equation when the force and acceleration are parallel;
formerly the corresponding masses were referred to in this case as "transverse'~
;md "radwl" nJa5ses Then these Jathtr incongruous terms have been practically
discarded although they con,•ty the tensor character of the rtlationshlp belweeru
the force and acceleration in rtlativistic me1:hanics quite satisfactorily.
On Certain Paradoxes of Special Theory of Relatiuify 295
'r
paradox here. This paradox, however, represents a version of the
well-known paradox of the lever which we shall discuss now. Let
.a lever be at rest in the frame K0 (Fig. 8.6). It is in the state of
.equilibrium in spite of the fact that two forces, F~ and FZ. act on
it, each of which is directed along the respective coordinate axis.
fj'
-
'
r Fx-Fx0
X (0) {b)
:Fig. 8.6. The lever paradox. In the frame 1(0 the lever is in equilibrium and the
resultant Force moment is equal to zero. When the same lever is considered in
terms of the Irame K, the Force moment difrercnt From zero arises in accordance
with the Formulae lor length and force transformations. The STR provides a ve·
ry elegant explanation why the lever is at rest in terms of the frame K (see the
text).
F"=F~. Fu=F~....ji=Tff,
~.~f'.v~. t,~t:.
The difference of the moments of the forces Fll and Fu produces
.a torque in K
L~F,l,-F,t.~~f,-(l-B')~f'.~B'~f'.~-B'FJ,, (8.10)
296 Special Theory of RelativUy
wherE> Eq. (8.9) is used. Thus, the paradox consists in the follow·
ing. although it is well known that the lever is motionless, in the
frame K the lever is subjected to a force moment and, conse-
quently, must be rotating. The witty solution of this paradox
belongs to Laue. We have got used to a force moment inducing a
rotation, or, in other words, causing the appearance of the moment
of momentum in the system. In the frame K the force moment in-
deed defines the velocity at which the moment of momentum grO\vs,
but this growth is not associated with the rotation of the lever.
Then where does the increment of the moment of momentum come
from? Let us consider the work performed by the forces Fx and Fy
in the frame K. In the frame K the lever moves, and the force Fx
performs the work -F ..Y per unit of time. The force Fy performs
no work since it is oriented normally to the lever velocity direc-
tion. Consequently, at the end of the lever, i.e. at the point of ap-
plication of the force F x, the work is performed, and the energy of
the lever at this point increases by the quantity -Fx V per unit of
time. This means that the lever mass at the point of application of
the force increases by -FxV!c2 per unit of time. Multiplying this
quantity by the lever velocity V, we obtain the increment of the
momentum -fxB2. Hence, the moment of momentum grows by
-Fxl 11 B2 per unit of time. This is precisely the resultant moment
cited in Eq. (8.10). So, this additional moment does not describe
the rotation but defines the velocity at which the system's moment
of momentum varies. This explanation has some weak points. In
the STR there is no absolutely rigid bodies, and we must make
allowance for the deformation of the lever. In the foregoing rea.:;-
onings the lever was tacitly assumt>d to keep its form. In the
fr0ame K0 0 we must consider the lever's arms bent by the forces
Fx and Fu·
Considering this lever, we come across still another paradoxical
result. Suppose, no forces act on the lever till the moment t = 0
when F~ and F~ are "switched on" simultaneously in the frame K0 •
At ewry moment of time the equilibrium in the frame K0 will be
m<'intained. In the frame K, however, the forces will not be switched
on simultaneously since there will be a time interval when the force
F 1 is already ac-ting and the force F 2 has not been "switched on''
yet. Consequently, a force moment arises. The following simple
example shows that the forces applied at different points of the
body ue indeed essential. (The paradoxes appear, of course, when
a solid body is considered) Let in the frame Ko a solid bodv of the
length JO be located along the x 0 axis. No fofces act on th-is bod}
until the moment t = 0 when the oppositely directed equal forcel>
are switched on at both sides. In the frame K0 the equilibrium is
permanently maintained while in the frame K there is a time in-
terval during which the forces are not balanced and consequently
On Certain Paradoxes of Special Theory of Relativity 291
the body should start moving. We shall leave this paradox for the
reader to analyse.
§ 8.3. The tachyons. This is the name for the particles whose
velocity exceeds that of light in vacuo. From the very beginning
we should notify the reader that we speak of hypothetical particles:
the experimental attempts to observe such particles have not suc-
ceeded so far. But the very idea of their existence seems para·
doxical: the finite velocity of signal transmission is fundamental
for the STR, the ultimate value being that of the velocity c. Surely,
velocity per se has no limitations whatever (see § 8.1), but the
signal transmission is the propagation of energy and momentum.
The motion of particles to which we have got used can positively
serve as a signal. Besides, the conventional particles possessing a
finite rest mass, with which we have made ourselves familiar, can-
not reach the velocity of light. From the relativistic equation of
motion for such particles it follows that the velocity of light can
be reached only after an infinitely long time (not to mention the
fact that an infinitely high energy would be needed in that case).
Thus, the question about the faster-than-light velocity of particles
in our conventional world no longer arises.
One may, however, assume the existence of a special group of
particles whose conversion into conventional particles and back is
impossible. These particles, possessing faster-than-light velocities
from the very beginning of their existence could have been gen-
erated in certain nuclear transformations. The assumption con-
cerning the generation of tachyons was evoked by the picture of
photon generation: at the very beginning photons possess the ve-
locity o[ light, and do not emerge "dynamically", as a result of an
acceleration of conventional particles.
As in § 3.5 it can be shown that if the velocity of a particle v
exceeds c in one IFR, this is true in any other IFR. Consequently,
the conventional particles (photons) and tachyons form separate
groups of particles; the transition from one group of particles to
another by means of acceleration is impossible; the transition from
one IFR to another leaves a particle in the same group to which
it belonged in the initial IFR.
Assuming the existence of such particles, let us consider the
kinematic consequences of such an assumption.
So, let us assume that the velocity of a tachyon v determined by
the conventional means exceeds c, i.e. ~ = (v/c) > I. Then for the
interva I between two events, the positions of a tachyon at two
points in space at two moments of time, we get, as usual
ds 2 = c2 dt 2 - dx 2 =c2 (1- ~2 )dt 2 •
Here we consider the motion along the x, x' axis. As distinct
from the conventional particles, for a tachyon ds 2 < 0, i.e. the in·
298 Spet/al Theory of Relativity
ct K ct' K'
{b)
fig. 8.7. (a) The motion of a tachyon considered in two IFRs. In the frame I(
a tachyon moves to the right, in K' to the left. The bold line represents the
world line of the tachyon. (b) The reversal of the time sequence of events for
a moving tachyon.
N
earlier and which event occurs later.
The sequence of events in time is not
', involved in the definition of a cause-
ff· ------~--. ...........
c!1 and-effect relationship and cannot be
used in order to differentiate between
"-.,A' the cause and effect.
In our example the event to be con-
trolled in the frame K' is the absorp·
tion of a tachyon. This controlled ab-
I II sorption will always be preceded by
Fig. 8.9. The closed cause-and- the motion of the tachyon from the
effect cycle involving faster-than- point P toward 0. We shall have to
~~~h~~~~~alli~e}'~ist~o3~~f::e~~= for
take the absorption of the tachyon
the cause and its motion for the
frames. The first faster-than-light
signal AB is sent from the point effect. The cited definition of the cause
A; AA' is the simultaneity line and effect conHicts with the conven·
:e~ta~~er;!~~;~lifr~~ s\~~a~ 0frft g
tional statement that "the absolute
meaning of the notions 'earlier' and
of frame II which arrives at the
point D of frame I before the 'later' ... is a requisite condition for
first signal was sent (the point the concepts 'cause' and 'effect' to
A). The simultaneity lines and make sense". Of course, if the
the world lines of faster-than- "cause" and "effect" happen at one
light signals are drawn in accor-
dance with Fig 2 6b point in a given I FR. the cause must
precede the effect. But then the in-
terval between events is time-like a fortiori, and in any IFRs the
effect will happen "later" than the cause. The tachyons behave quite
differently. All "events" involving tachyons happen at different
points, when considered from our point of view. The reversal of the
sequence of events is of no significance.
Hence, the reversal of the sequence of events in time does not
contradict the conventional notions of the cause-and-effect relation-
ship. However, there is one condition that had to be satisfied on
all counts. It consists in the fact that it is impossible to exert in-
fluence on the past from the present. A signal sent from a given
point in space cannot get at it before it was sent.
If tachyons served as signals, it could be possible, as it is seen
from Fig. 8.9, to send a signal so that another signal caused !Jy
On Certain Paradoxes of Special Theory of Relatiolty 301
the former one will get at the initial point (the cause-and-effect
qcle) before the first signal was sent. Fig. 8.9 shows the world
lines of two bodies, I and //, which were at rest initially, then
moved uniformly and rectilinearly at equal velocities and finally
came to rest again. The world points A and A' are located at the
simultaneity line coinciding for both moving bodies. The world
points C and C' are located at the simultaneity line coinciding for
both resting bodies. The figure also illustrates the world lines of
two faster-than-light signals AB and CD. Having sent the signal
AB and then, on receiving it in another frame, the other signal CD,
we will receive the signal CD at the point D before the signal
from A was sent.
Thus, we have analysed the example of a closed cause-and-
effect cycle indicating explicitly the possibility of exerting influence
on the past. Certainly, this result pertains to any faster-than-light
signals, but when applied to tachyons, it implies that tachyons
themselves, unlike the conventional particles, cannot serve as
signals.
If one assumes that tachyons exist and the requirements of the
cause-and-effect cycle are satisfied, the resulting possibility of re-
versing the sequence of events in time for tachyons allows the
objectiOns concerning the "dynamic" properties of these particles
to be discarded. If one assumes the basic relations of the STR to
hold for tachyons, the transformation formulae for the velocity and
energy of a particle (see Chapters 3 and 5)
~'~ r~p~, l!''~fl!'(l-~B)
show that the tachyon's energy becomes negative in those ref-
erence frames where the sequence of events reverses its order and
where the sign of the velocity changes to the opposite since ~t
and !1t' are of opposite sign. The negative energy of a tachyon
is inadmissible since its existence would imply the possibility of
obtaining unlimited energy. In fact, the joint generation of a pair
of tachyons, one possessing the negative and the other the positive
energy, would not require any energy expense and the positi\·e
energy tachyon could perform useful work.
We have seen, however (see Fig. 8.8), that if in the reference
frame K a tachyon is emitted and absorbed, in the frame K' where
the tachyon's velocity obeys the condition v > c2/V the same pro-
cess can be described as an absorption of a tachyon moving in
the opposite direction and possessing the positive energy. This
circumstance makes it possible to avoid the difficulty associated
with the emergence of negative energies.
And, in conclusion, a few remarks concerning the momentum
and ene1gy of tachyons. In a unidimensional case (p"' = p) the
302 Special Theory of Relativity
Momentum
Fig. 8.10. Tachyons and conventional particles depicted in the plane (8, p).
t,
lll't'
t~-tl=+(t2-ti)= 1 I t2
-(1,-t,)-y'J-B', (8.20)
as it should be, since t2- ti
~in~:e,tf~~f~~~~~ ~~~r~~~
Fig. 8.11. The demonstration of the total
!~~m:.m; ~~s~~t ~~~rt~efr·~~~!~~:ar~~~·:
moving clock observed from In any reference frame the proper·time in·
the frame K is slow. We are terval b<'tween two events will turn out to
well aware of all this. Now be less than 1he 11m<! interval between the
we pass over to taking a de- same two e~ents registered by two clocks
cisive step: we need to com· of any other !FR.
pare the rates of clocks 1 and
JJ as observed from the frame K'. To pass judgement on the clock
rate, one should analyse the rate of one of the clocks, say clock 11.
However, we have only one direct reading of this clock: when
clock Jl was against clock 111, the latter showed 12 and the former
showed 12• The other reading of clock 11 has to be calculated (cf.
§ 2.4). We shall find where clock JJ was located and what it
showed at the moment clocks Ill and I were against each other.
Now Jet us analyse the situation in terms of the frame K'. When
clock Ill was against I, it showed the time tl =a/Vf. Clock 11
was at the distance x2- xl = (b- a)/r from clock I (see Eqs.
(8.17) and (8.18)). But when clock I was against Ill, their com-
mon coordinate was x\ = x3 = 0. Therefore, x2 = (b- a)/f is the
coordinate of clock 11 at the moment clocks 1 and Ill coincide. Now
it is easy to find the reading of clock 11 at the same moment of
time. We shall introduce x2 = (b- a)/f and t\ = a/Vf into the
formula
306 Sp.!cial Theory of Relativity
ercnce. All time measurements carried out in the STR are made
by means of clocks resting in one or another IFR. Having once
compared two clocks, we are no more capable of getting them to-
gether at one point in space without taking them out of the rei-
erence frame in which they were at rest during the initial com·
parison. Indeed, if the motion is rectilinear, one of the clocks
should be decelerated and then accelerated in the opposite direction
to attain the same velocity. In that case the clock whose direction
of motion was reversed will
find itself at the same point
as the clock against which ct '(.x)
the initial comparison was
made. All this can be seen
very well in the Minkowski
diagram where the world
lines of two clocks, I and //,
are depicted (Fig. 8.12).
The "clock paradox" is
very convenient to analyse by
means of K calculus (§ 3.7).
We shall make use of the Fig. 8.12. The world lines of two clocks 1
space-time chart of Fig. 8.12. and II. The world line OD corresponds to
It illustrates the world lines clock 1 resting in K. Clock II first mo~·es
umformly from clock I (the line OT), then
of three clocks: clock I lo- having altered the velocity to the equal
cated at the origin of K (the and oppositely dir~led velocity at the
line OD), clock II resting at pomt T. approaches clock 1 again. AI the
the origin of K' (the line OT) point D they gel together and their read·
ings can be compar~d again (the first in·
and, finally, clock Ill rest- tercompanson was made at the point 0).
ing in K" (the line TD). L('t This comparison of clocks amounts to
.JS find the measured time in- what is called the clock paradox The m·
tervals directly. At the mo· set illustrates the world lme of one clock
ment t = t' = 0, when th~ gelling back to the point D
origins 0 and 0' coincide, the
initial exchange of light signals occurs which takes no time since
clocks from K and K' are positioned at one point. Clocks II and Ill
get together at the world point T; at this moment a light signal is
sent from the point T to clock I. Let clock /1 register the proper-
time interval .it 2 between its encounters with clocks I and Ill.
Then, as we know, clock I must register the time interval k 1.-r2
between the encounter of clocks I and II and the arrival of the
light signal from T. But the signal from Twas sent at the moment
when clocks II and Ill were against each other, and therefore if
clock Ill registers the proper-time interval 1.-r3 between the en-
counter of clocks II and Ill till its arrival at the point D. it is
possible to find the time interval between the reception of the light
signal by clock I at the point E and the encounter of clocks I and
Special Theory of Relativity
Ill at the point D. We saw in § 3.7 that if the sign of the relative
velocity of the two reference frames changes to the opposite, the
coeffictent k changes to 1/k. Consequently, the time interval shown
in Fig. 8.12 by the section ED is equal to !i-r3fk. From the symmetry
of the imaginary experiment discussed here it is clear that 6.-r 2 =
=).,3. Designating the magnitude of this time interval by 6.-r, we
conclude that the time interval registered by clock I between its
encounters with clocks II and Ill is equal to
k (,h,)+ •;• ~ (k' +I)-¥-· (8.22)
LA B
Fig. 8.13. Path 1 between towns A and 8 is shorter than path fl although path
II differs from a straight line only at a short sechon. The difference m Length
is caused not so much by a curvilinear section as by the fact that path II is
not a straight line as a whole
curved portion of the world line. One often hears the objection that
the curved portion of the world line can be made as small a~
needed, i.e. an acceleration can be imparted for a very short time,
while the accumulated difference in time readings can be very
large. We should bear in mind, however, that an acceleration im-
parted during a short time interval in\'olves the immense forces,
and the reversal of a relativistic velocity direction is associated
with a considerable acceleration. Moreover, the difference in length
between a curved world line and a straight line connectmg the
same points is determined not by the length of the curved portion,
but by the overall curvature of the world line. This fad is very well
illustrated in Fig. 8.13: although path II from town A to town B
goes "along a straight line for almost all of the time", it is, no
doubt, longer than path I going from A to 8 along a straight line
connecting them. If an acceleration does not affect the clock's rate,
the length of the world line of a particle determines the proper-
time interval.
Until now we discussed time intervals registered by one or two
clocks. Going back to the initial problem, one may ask what
310 Spec/41 Theory of Relatitoity
-~c
-tcJ
)-
v·-(·;-·y~
~ r
I+* vlk)y
book:
ylkl = fy~kl( 1 + v~~oV).
The resulting momentum of the system is defined as the sum of
the momenta of individual particles:
p= L m~k)y(klv(k) (Po= L ~kly~k)v~·) = o).
Therefore,
P.¥= Lm~k)yllllv~J= l:m~•lfy~"'(v~Jo+ V)=
= r L m~k)y~k)v~~~o + r -¥r L ~klc2-y~·~ =
=fP.r,o+ rfs-8 =f-!r- V.
0
where u, is the velocity of the single body formed after the col-
lision. The first three equations of (8.26) for i = I, 2, 3 permit th~
three velocity components of the single body to be found. As to the
fourth equation (i = 4), it is written as
mb''vu' + m~2Jy121 = M 0y.
In the reference frame where the newly formed body is at rest
m(ll m121
It is seen from Eq. (8.27) that the rest mass M 0 of the newly
formed system contains the sum of the rest masses of the initial
particles m~ll+ m~2 ' and a certain additional mass associated with
the fact that the relativistic kinetic energy of the two particles (the
expression in brackets) has been transformed into some other
kinds of energy (e.g. heat). Thus, in relativistic mechanics th~
energy conservation law includes all kinds of energy (and not only
those usually taken into account in mechanics).
Finally, it should be stressed once more that the relations ob·
tained indicate the proportionality of rest mass and rest energy;
it is far more important to remember that this fact is valid only
in a proper reference frame. Generally speaking, the rest energy
and rest mass possess different properties under the Lorentz trans·
formation when treated in four-dimensional terms (§ 5.7). Thus,
speaking of a conversion of "mass" into energy is meaningless
although sometimes one hears such a statement.
Now let us go back to a zero rest mass. Of course, from the
classical standpoint a zero rest mass seems rather strange. We
have seen (§ 7.6) that a zero rest mass should be attributed to the
particles moving at the velocity c. In accordance with the con·
On Certaln Paradoxes of Special Theory of Relativity 31~
temporary ideas the particles of this kind are light quanta (pho-
tons) and neutrinos. As we know, the velocity c holds a privileged
position in the STR since in all experimentally feasible IFR this
\'elocity retains its value. We could finish here, but we would like
to make some more remarks.
Obviously, there is no contradiction in regarding the matter (in
its philosophical meaning) possf'ssing a finite rest mass to be
equivalent to the matter possessing a zero rest mass. We shall see
that the latter case is realized comparatively rarely in nature, but
basically it is feasible. These two forms of matter just mentioned
can pass into one another. Now we shall dwell on one example of
such a conversion. This is the formation of electron-positron pairs
by gamma quanta (high energy photons) and the reverse reaction
of collision between an electron and a positron (this reaction is
known under somewhat obsolete name of "annihilation" of par-
ticles). This reaction brings to an end the existence of particles
possessing a finite rest mass (an electron and a positron), leading
to the appearance of two photons. What is essential, this reaction
satisfies the momentum and energy conservation laws. Just as
photons possessing a zero rest mass, so an electron and a positron
possessing a finite rest mass are characterized by definite momenta
and energies. The corresponding quantities resulting from thi-:;
reaction remain the same; a photon as an objective reality is
defined by its momentum and energy. The photon's rest mass which
is equal to zero characterizes a photon none the less than a finite
rest mass of an electron and a positron.
If the collision of an electron and a positron is considered in
the frame fixed to the centre of inertia, that is the frame in which
the particles mo\'e toward each other at equal, but oppositely di-
rected, velocities v 1 and v2, the energy conservation law takes the
form
moc2 + moc2 2hv. (8.28)
,jt-(!'f-)' ,jt-(!'f-)'
This equation shows that the total energy of an electron and a po-
sitron is equal to the energy of two photons formed. If we take into
account that in the frame of the centre of inertia v1 = v2, the ob-
served frequency of these photons will be equal to
(8.29)
The right-hand side of Eq. (8.30) turns into zero only when all
the photons propagate in one direction. This result was obtained
in § 7.3· a limited train of plane waves has a zero rest mass.
However, two photons whose propagation directions form a certain
angle a possess a finite rest mass. Indeed, from the general for-
mula (8.30) we get
M 2c2 = ( 2 ~vr- ( l!:f- r(2 + 2cos0)= ( 2:v r (I- cos 2 {). (8.31)
~
al momentum. It is relevant
to recall that the basi:_ prop-
~t
erties of the 4-vector P coin-
cide with those of the 4-vec- HcZ The
tor V since P= m V. On the carria e
other hand, exper/?nce.
llTeCOit
ical physics, w1nner of the 1902 Nobel Prize in physics. The author
of the second work ( 1906, a brief preview of which had been pub-
lished in 1905) was the celebrated French mathematician Henri
Poincare (1854-1912), also famous for his research in physics and
the methodology of science. Finally, the third work (1905) \Vas
written by a virtually unknown clerk of the Swiss Federal Patent
Office, Albert Einstein (1879-1955).
It is common knowledge that new works of popular and favourite
writers and poets immediately attract universal attention, whereas
novices hav-e to battle against stiff odds. In science this naturai
tendency is, if anything, more pronounced. How come that, in the
case of STR. it was the other way round, and it was Einstein's
work that gained acclaim, nay, renown? A clear answer to this
question was given by Wolfgang Pauli in his well-known article
''Theory of Relativity", first published in 1921 in the then presti-
gious Mathematical Encyclopedia. Pauli's article was subsequently
reprinted and translated into other languages (the Russian trans-
lt~tion appeared in 1947). Pauli concludes his account of the history
of the special theory of relativity with the words: "It was Einstein,
finally, who in a way completed the basic formulation of this new
discipline. His paper of 1905 was submitted at almost the same
time as Poincare's article and had been written without previous
knowledge of Lorentz's paper of 1904. It includes not only all the
essential results contained in the other two papers, but shows an
entirely novel, and much more profound, understanding of th~
whole problem" [8). Another eminent physicist, Max Born, recalls
his impression after reading Einstein's paper: "Although I was
quite familiar with the relativistic idea and the Lorentz transfor-
mations, Einstein's reasoning was a revelation to me."
It is in this entirely new and profound elucidation of the problem,
making it a relevation, that the success of Einstein's work is root-
ed, which is what made it fundamental to the enunciation of the
special theory of relativity.
A perusal of the history of science primarily focuses on two
questions. The first is, How? How did ideas appear and evolve,
how was a discovery prepared and made? The second question is,
Who? Who made the discovery, voiced the idea, turned it into
"Hesh and blood", elaborated it and drove it home to the scientific
community? The question How? would appear to be the basic,
primary one: it is connected with the very content of science and
the methods of scientific research. The question Who? may seem
secondary; indeed, it has no bearing on the essence of the matter,
if we take, say, physics and not the psychology of scientific creath--
ity, the sociology of the academic milieu, or the life of this or
that person. Actually, it is difficult, if not impossible, to draw the
line between How? and Who? Science is advanced by people, and
Supplement 319
xI X-
I= .
Vt
v2 ,
' '
y =y, z =z, t =~
' t -*X
r:--vz
V 1 -cr ~~-cr
Supplement 321
II'
324 Supplement
• As far as I can judge, these comments comc1de w1th the view of Louis de
Broglie, expressed in an address on the occasion of the birth centenary of Poin·
care· "It needed but a little, and Henri Poincare rather than Albert Einstein
v.ould have been the first to enunc1ate the theory of relativity m all its general·
Hies, thereby giving French science the honour of the discovery .. However,
Poincare failed to make the decisiv~ step, leaving to Einstein the honour of per-
~e~·:~f~u~~ ~:a~}~;i~11~fi~he 0~:~!u~:~!~ti;yori;nc!~~e a~dd'ti~/~~\1~bl~~ ~~~0 ~e~~
physical nature of the connection between space and lime established by the
principle of relativity. Why did Poincare fail to pursue his conclusions to the
end? He doubtlessly possessed an extremely critical mind, perhaps because as
a scientist he was first and foremost a pure mathematician As mentioned before,
Poincare adopted a somewhat sceptical stance with regard to physical theories,
-holding that in grneral there existed an infinite numb<!r of logically equivalent
points of view and pictures of reality from which the scienllst, guided solely by
considerations of convenience. chose one Such nominalism probably prevented
h1m from concedmg that amidst all logically possible theories some were closer
to physical reality, or at least agreed better with the physicis\"s intuition and
\\ere therefore more useful That is why young Albert Emstein, who was only 25
at the lime and \\hose knowledge of mathematics \.\as m no way comparable
with the great French scientist's profound knowledge, was ablt'. beforl:! Poincare,
to find the synthesis \\hich at once removed all difficulties, using and Justifying
all the al\empts of his predecrssors. The coup de grdce was dealt by a r.1i~hty
intellect guided by a profound intuition of the nature of physical renlilv
"Yet Einstein's brilliant success should not let us forget that the problem of
relativity had been earlier and profoundly analysed by the viv1d mmd of Pam-
care. and that Poincare made a substantial contribution to the eventual solu-
tion of the problem Einstein would never have succeeded without Lorentz and
Poincare" (L De Broglie, YHenry Poincare, les theories de Ia physique." Le hv-
re du Centenaire de Ia Naissance de Henry Poincare 1854-1954, Paris, 1955)
I feel we must respect the point of view of de Broglie, whose attitude toward
the memory of Poincare was that of profound respect and maximum good-will.
Supplement_ _ _ _ _ _ _ _ _
,,
f"tg. S.t. (a) The change in the direction of mohon of a corpuscle in crossing
the interlace of two media 1 and II Alter crossing the interface V; > V•. but
Vf = Vt. and the direction of the velocity changes (b) Refraction of light cros-
:&ing the interlace of two media.
axis of which is t:qual to 41". However, tht. ellip!'e did not lie as it
should have for parallactic shift (Fig. S.2c).
Fig. S.2d shows how the aberration of light affects the apparent
displacement of a star. Star s, lying perpendicular to the plane of
the Earth's orbit, is observed from two diametrically opposite po-
_t s
,,
l'c ~
{C) (d)
sitions A and C. Over six months the angle of the direction toward
the star from these two points varies through 2q>. In Fig. S.2d,
angle q> is the angle between the direction at which an observ~r
\\ould see the stars from a stationary Earth (which, of course, is
impossible), and the apparent direction to the star s. Six months
later the same angle will be in the opposite direction, and the
difference between the apparent directions to the star s is 2cp. We
shall use a simple calculation to evaluate angle cp. Light from lhe
Supplement 333
North Star lalb normal to the plane of the Earth's orbit. The
motion of the Earth is perpendicular to the direction of the ray. The
;e~~iJr ;~s~h~e~~;,t~.!: a:c~n10~/cm~, 2~~~";v2~o~y41~~ T1~fshtw~!
the value Bradley obtained. He realized that he had failed to detect
the parallax of a fixed star (it was discovered a hundred years
later by Bessel) and instead discovered the aberration of light.
Bradley explained it on the basis of the corpuscular theory, which
we presented here. But the same result obtains for the wave theory
as well. Thus, the explanation of aberration posed no difficulty for
the wave theory. It did, however, involve an inevitable corollary
regarding the "luminiferous ether". It had to be assumed that light
travels through a medium at rest with respect to the heliocentric
system, otherwise it would not impinge normal to the plane of the
Earth's orbit.
It thus followed from the aberration of light that the ether was
stationary in a heliocentric frame of reference (Newton's absolute
system). The heliocentric system thus turns out to be a preferred,
r~~;~~,~~t 0 1
t~\ ~e r~~~~~~n~~e~~~:~~~~~r~i~~ g~eliff~:~v \~taf~i~~~
unpe
waves were electromagnetic waves of a specific frequency.
If we assume the existence of a luminiferous medium, its role
differs in no way from that of any material medium transmitting
\·ibrations. If the propagation speed of vibrations in a reference
system in which the medium is at rest is u, then in any other sys-
tem moving relative to the medium with the speed ± V the propa-
gation velocity of the oscillations will be c ± V. Under any wave
theory the velocity of the waves is independent of the motion of
the source, but it depends upon the motion of an observer relath·e
to the medium the oscillation of which produces the waves: in our
case the ether. Thus phenomena depend not only on the relative
velocities of bodies, but also on their velocities relath·e to the me·
dium
These assertions are best explained with the example of the Dop·
pier effect for sound waves in air. Let the air be at rest in a sys-
tem K where the velocity of sound is u; the source is moving re·
Jative to K (i.e. the air) with a velocity V, and the observer is at
rest in the system (Fig. S.Ja). Let us attach to the source a sys-
tem K' (motion toward the observer) or K" (motion frtJm the ob-
server). We can now reproduce the reasoning in § 3.4. Pulses are
sent from the source at intervals T' or T" (2n/T' and 2n/T" are
the proper frequencies w0 ). The receiver picks up t\\'O consecutive
signals at intervals T = T'- V~' = T' {I -f) in the first case.
/(I
/(1 : /(; I(" ':I( I('
! !
: t l ' ' '
~ ~I
f 0: 2 Obserrerat Obse!'Yer .roJ.ce at 0/lseroer
S011rce : SIJI.Jrce rest m K
11edllim at rest tn K rest inK
14} (6)
Fig. 5.3. Illustration of the derivation of the Doppler effect formula (or soun1.
(a} The observer and the air are at rest in the K. system, and the source 1s mo\'·
iug through the medium with the velocity V. (b) The source of the sound and
the air are at rest m the K system, and the ob~erver is moving through the air
with the velocity V
observers are connected with the systems K' and K". Signals ar~
emitted from the source at intervals T; they will reach the observer
inK' at intervals T'=T+ v~TV =(-'-v-)T· and the observ~r
1-v
in K" at intervals T"=T- v~TV =( 1 +If) T. Only now w0=
= 2n/T, wh~nce in receding we obtain a reduction in frequency
<il=Wo(l -f). and in approach an increase, ffi=Wo(l +f).
We find that th~ equations are different for the same relative
velocity of the source and the observer. Similarly to what was
done in § 3.4 for the case of wave radiation at an angle to thl!
direction of propagation, we obtain ro = Wo (I - ~cos 6) and w =
=-----v-.
t-vcos8
This example readily demonstrates that the ether assumption
violates the relativity principle. Of course, the relativity princip!~
Supplement
C 1 will register the arrival of the light beam before C2, the time
interval being
AI= c~V -c:f:v-=2l{r~. (S.II.l)
1-cr
Before considering the possibility of carrying out such an exper·
iment, note the following. In speaking of the velocity of light, the
ether assumption reduces solely to the assertion that there exi::.ts
a single reference frame in which the velocity of light in vacuo
is c. It is the one and only preferred system. In all other frames
moving relative to it with velocity V, the velocity of light in vacuo
is given by the classical rule of addition of velocities, c' = c ± V.
Our reasoning applies to a reference frame K connected with the
ether (or simply with the frame in which the velocity of light in
vacuo is c). It is assumed here that the signals received by the
photoelectric cells are registered in the K frame. But if we apply
the same reasoning to a frame K' in which the optical bench is at
rest we obtain exactly the same result. Simply, in that frame the
velocity of light in vacuo differs from that in K: c- V to the
right, and c +V to the l-eft (fig...: S.4). In the K frame, we recall,
+
c- V and c V would be simply the velocities with which light
reaches cells C 1 and C2 "'. It is not surprising that the rE>suits
ate the same in K and K', since in classical mechanics the timing
of events is absolute.
Thus, if we could measure the time difference .1t (S.Il.l) we
would thereby only prove the difference in the speed of light in
Supplement
The total time it takes the light beam to travel from P to S, and
back is double that amount, so that
(S.JI.3)
This time the difference depends on both L1 and L 2 and the ve-
locity V. If the condition L 1 = L 2 could be guaranteed the differ-
ence would depend on L 1 = L2 = L in this way:
(5.11.5)
This means that in the rotation of the apparatus the time difference
changes <!S follows·
0.1• =lit' -lit= 2 (Lt
c~
+ /.2) (1 - _L_)
~
~- L +La
c
1 B 2, (S.II.7)
tlt=cn(L20-Lw). (5.11.8)
Without rotating the apparatus, let us see how 6.1 varies with
a variation of the velocity B relative to the ether by 1.8. Differen-
tiating (S.II.8) with respect to B, we obtain
~
.6.8
= ~ (L,- L,,) 6
c ~u
(----"--=)
.yr=e2 = L -c L,o 68 •
20 2 (S II 9)
· ·
are many mmors and the path of the beams is virtually a circle.
Then the speed with which the light catches up with the turntable
\\hen it travels in the direction of rotation is c- V = c-OR
(where R is the radius of the turntable and Q is the angular veloc-
ity of rotation); for the beam travelling in the opposite direction
the velocity is c+ V= c + QR. The time it takes the beam to
travel around the circumference is 'f1 = 2n.R/(c- V) in the first
case, and 'f2 = 2nRf(c + V), in the second. The difference between
the two times is
th='f,-'f2=2nR(cb--dv-)= 4nc~V -;-V~~.
--;r
where S is the area of the turntable. Sagnac observed a shift in the
fringes that agreed nicely with this formula. The shift can be used
to determine the angular velocity Q.
If the Earth is used as the turntable its angular velocity can be
determined. This experiment was carried out in 1925 by Michelson
and Hey!. The angular velocity corresponded to the component of
the angular velocity of rotation of the Earth along a plumb line
at the point of observation. For the experiment two kilometres of
pipes were laid and a second circuit was built to determine the zero
point of displacement of the fringes. Michelson's result was
0.230 ± 0.005, the theoretica I figure being 0.236. Excellent agree-
ment!
Thus, unlike uniform translational motion of the Earth, its rota-
tion can be detected by various physical experiments.
Ill. Was Michelson's experiment "decisive" for the creation of
the special theory of relativity? Michelson's experiment is given
great prominence in virtually all books on the history of special
relativity. Most authors assume, one way or another, that speci<~.l
relati\'ity was an upshot of attempts to explain Michelson's ex-
periment, \\ hich is the theory's principal experimental basis
That is the place assigned to Michelson's experiment in the
only book in Russian devoted to the experimental foundations of
the STR, written by S. I. Vavilov in 1928: "The story of [Mich~l
son's experimentJ is set forth here in fairly great detail becau,e
the basic postulates of the relativity theory were formulated on 1ts
basis." And in his foreword Vavilov wrote, "After reading this bo"Jk
the reader will understand why it is adorned with a picture of Mi-
chelson."
This claim is repe~:~ted in virtually all our textbooks dealing
with the history of special relativity. In Y. B. Rumer and M.S. Ryv-
kin's The Theory of Relativity (Moscow, 1960) we find: "Unlike all
preceding investigators, Einstein saw the negative result of Mi-
chelson's ~xperiment as .. ,". Foreign authors toe the same line on
... Supplement
ing to the logical scheme which can be constructed after the theory
has been completed.
Thus, looking from this aspect at the academic presentation of
special relativity, we can see, that, if Shankland understood Ein-
stein correctly, the teaching of the theory did not even follow the
steps in its creation. A curious situation!
The question is not of denying the role of Michelson's experiment.
Its history and implementation cannot but arouse admiration. Mi-
chelson's experiment occupies an outstanding place in the history
of natural science. And yet it played a rather unfortunate part in
tne evolution of the traditional scheme of describing spec;al relo·
tivity.
When placed at the basis of instruction in the STR, Michelson's
experiment inevitably introduces the ether. It is impossible to ex-
plain 1ts meaning without speaking of the difficult search for a
material medium through which light propagates (see Supple-
ment II). But today we all know only too well that no such medium
1s necessary, and from the methodological point of view that is
where we should begin. There is absolutely no need to go back
to the intellectual atmosphere of the later nineteenth century.
Indeed, the ether played a prominent part in the physical views
of the 19th century. It was, in fact, the ether concept which sug-
gested to Maxwell the idea of the experiment ultimately carried
out by Michelson and MC'rley. But erroneous notions, which may
have played their part at a certain stage in the development of
science, are ultimately discarded. When Galilee enunciated his
inertia principle he immediately discarded Aristotle's doctrine that
motion had to be continuously supported. When the transformation
of mechanical energy into heat was discovered the phlogiston con-
cept had to be discarded. The theory of relativity began with the
rejection of absolute motion and the ether. But nowadays no one
brings up Aristotle's doctrines in expounding mechanics, no one
recalls phlogiston in lecturing on heat; why then should the ether
be kept in describing special relativity at school and college? The
introduction of the ether in modern expositions of special relativity
is, to say the least, strange. First one has to explain at length the
reason for introducing the ether, and then conclude by declaring
that it does not, after all, exist. Can such an approach be called
methodical?
It is sometimes said that there is no getting away from the ether:
it had to be postulated by analogy with the propagation of sound
or waves on water. One should only be sure to explain at the right
time that there is a substantial difference between the way electro-
magnetic and gravitational waves travel, on the one hand, and
elastic waves, on the other, and that matter is not required for the
propagation of electromagnetic waves. Light can propagate in the
::"'=-'-----------'S::tJ:pplemenl - - - - - - - - -
absence of matter m the conventional sense oi the word (posses.:iing
rest mass). So there is no reason for the ether arter alii
To this one could reply, "True, it is better not to introduce the
•ether', which doesn't exist anyhow, but special relativity is a com·
plicated thing. The road to it was long and difficult, and it lay
through the ether hypothesis, which was discarded when the need
for it passed. But it was a natural theory which appeared in the
search for a correct solution, it reflects the logic of human thinking,
and there is no harm in setting it forth." Everything in this reason·
ing is correct except one thing. Einstein arrived at special relativity
not ,·ia the ether (nor Michelson's experiment), but along a
simpler and clearer road. And if one speaks or the logic of human
thinking it is worth taking a closer look at Einstein's reasoning.
What role did Michelson's experiment play in Einstein's work?
We have already cited Einstein's statement as quoted by Shank-
land. But Shankland's article appeared after Einstein's death and
had not been, so to say, "authorized". Not long ago a letter writ-
ten by Einstein and containing a direct answer to the question was
discovered in the Einstein archive at Princeton, and it removes all
doubts. The story of the letter is as follows. On February 2, 1954,
a year before Einstein's death, a certain Mr Davenport wrote him,
saying that he was looking for evidence that Michelson had "in·
fluenced your thinking and perhaps helped you to work out your
theory of relativity." Not being a scientist, he asked Einstein for
"a brief statement in non-technical terms, indicating how Michelson
helped to pave the way, if he did, for your theory."
Einstein replied almost immediately, on February 9, 1954. It is
his last statement on the question. It seems obvious that he had
reflected about it before (after all, he had spoken of it with Shank·
land). The letter is clear and unequivocal. Here it is
"Dear Mr Davenport:
"Before Michelson's work it was already known that within
the limits of the precision of the experiments there was no influence
of the stale of motion of the coordinate system on the phenomen<l,
resp. their laws H. A. Lorentz has shown that this can be under-
stood on the basis of his formulation of Maxwell's theory for all
cases where the second power of the velocity of the system could
be neglected (effects of the first order)
"AcLOrding to the status of the theor}, tl was. however, natural
to expect that this independence would not hold for effects of
second and higher orders. To have shown that such expected effect
of the second order was de facto absent in one decisive case was
~~~~~~or~! t~r~t~~td ~r;~t~ ~~~u\l~~~~n°~f~~~h~l~~b~~~q~~ 11l~r~~e;~
the ingenious way by which he reached the very great required pre-
cision of measurement, is his immortal contribution to scientific
Supplement 349
mrel=mv=m/~. P=v/c,
which, by definition, depends upon the velocity, and try to give it
independent meaning.
Whether the relativistic mass should be introduced or not is a
purely methodological issue. Whether m,el should simply be con 4
for the conclusion to suggest itself that the ·'only difference" be-
tween them is that in the relativistic equation the mass depends
upon the velocity. The expression my is then taken from under the
derivative sign and declared the relativistic mass, with an inde-
pendent meaning attached to it. There are many objections against
such an interpretation; they will be set forth later on. On the other
hand, emphasis will be laid on the advantages of employing the
invariant rest mass.
A reasonable relativistic interpretation of mass should, like all
relativistic mechanics, in the final analysis, rely on four-dimen-
sional concepts. Although in many cases academic instruction is
so concise that the introduction of four-dimensional concepts is
impossible, we cannot forget that the construction of relativistic
mechanics (Chapter 5) inevitably requires the introduction of a
four-dimensional world. If we are forced to restrict ourselves to
three-dimensional formulations of relativistic mechanics, then in
interpreting its results we must go back to its very sources.
Let us recall briefly what we did at the beginning of Ch. 5. We
defined the 4-momentum ~ector a! the product of the 4-velocity and
a scalar, the rest mass: P = mV. As for the equation of motion,
the derivative iP/d-c has entered its left-hand part. It can be seen
from this (see also § 5.1) that the relativistic factor y under the
derivative sign in (5.37b) appeared because in 4-space-time we
employ invariant proper time inste!d of non-invariant coordinate
time. The first three component; of P include simply the first three
components of the 4-velocity V, which bear no relation to dyna-
mics. Thus, the factor y refers to the properties of 4-space-time, not
to the internal state of the particle.
When we introduced a scalar, the rest mass, then in 4-space the
quantity obtained exact transformational properties; in other words,
it is at once possible to indicate the law according to which it
changes in passing from one inertial frame of reference to another.
The rest mass is a scalar, i.e. invariant. This is a very important
P
point. Since 2 = - m2c2 (see (5.47)), it is apparent that the rest
mass is proportional to the square of the absolute value of the
energy-momentum 4-vector of a particle.
As in classical mechanics, we want to associate the mass with
the properties of the particle itself, in which case the only reason-
able method of introducing the mass is in terms of the rest mass.
One could, of course, say that a particle's acceleration to relativis-
tic velocities causes changes in its internal properties, notably
mass. But even if we do not touch the particle and introduce an-
other inertial reference frame, the particle's equation of motion will
remain (5.37b). Thus, taking "relativisti.:: mass" at face value, it
352 Su.pplement
A
K~.
ma ,
-/
m
/(
- ---- --
Ia) ro>
Fig. S.7. (a) A buggy \\.ith a suspended bead rofls down an inclined plane with-
constant acceleration a. In steady motion the thread of the pendulum is deOected
somewlwt from the normal to the inclined plane The Ioree of gravity and ten-
sion of the thread combine to yield a resultant imparting to the bead the accele-
rution, a, needed lor its motion together with the buggy This is the reasoning
of an observer in the mertial system K connected with the "stationary" inclined
plane. In this system the law of Newtonian d)namics holds: acceleration is
caused only by forces (b) The same buggy and bead ar<! eumined from the
point of view of system K' connected with the buggy, 11 hieh is moving wi\11
acceleration This IS a non-inertial system and the inertia Ioree -ma must be
introduced. The bead is at rest relative to the buggy. hence the resultant of the
three forces actmg on it- gravity, the tens1on of the thread, and the inertia
force- must vanish. It will readily be ob~en·ed that the angle of deOection of
the thread from the normal to the plane of the buggy is the same as in ca~e
(a). as it should he.
M +:•'r-mw'r
mg mg
w
""(a) 0 {h)
ll'ig. S.8. (a) A suspended bf'ad rotates together With the turntable of a cenlrl·
h.:gal machine. In steady motion the thread of the pendulum is dellected some-
what from the vertical away from the ax•s of rotation Compounded. the tension
of the thread and the force of gravity ~·ield a resultant force which g-ives the
bead the centripetal force equal to mro~r and directed towHd the rotation allis,
n('eded to mal.e the bead rotate together with the turntable. This IS the reason·
ing of an obsen•er in an inertial s~·sh!m K located outside the turntable. In
~~i~e~Y~~e'OJ~"J~~~o~~n5J{n°;doi 31~ oh~·1r~~~ I'~ nf~r~~= c(b)1rA~t~b:~~\e~~r ~~ 0 01~s t ~~~:
table, that is, in tf:C! non·inerlial s~·stem !<.', will describe the same phenomenon
t~~:;:~~~t 1 ~e t~:r:· B5Jt'~~:\ t~her~C!~1 ~e i~h~!f' r~~~~;~~n~e 't~~~~~~ o1 1~~~~~~~~i~
the force of gra\'ily, and the mC!rlia force. equal to -mro 2r CompoundC!d, they
yield the resultant force equal to zC!ro. From the reasoning (b) it follows that
angle a has the same! \·alue as in (a).
must deviate from the vertical; then the resultant of the force of
gravity and the tension of the thread for a given deftection from
the vertical can make for the required centripetal acceleration.
(b) Reasoning from the point of view of the non-inertial coor-
dinate system K' connected with the turntable. In this system the
bead is at rest, hence the resultant of all the forces acting on it is
zero. In addition to the force of gravity and the tension of thl!
thread we must introduce the centrifugal inertia force -muh. The
angle of deftection of the thread from the vertical, a, is, of course,
in both cases the same.
These two examples show how inertia forces can be used to pre-
serve Newton's second law in non-inertial coordinate systems.
These examples do not include certain other types of "inertia
forces", but their essential features are apparent from them. Inertia
forces are proportional to the "inert" mass of a body; they are
either constant over all space (Example I) or they increase in-
finitely with infinite recession from the axis of rotation (Example 2).
Galileo already knew that all bodies on Earth fall at the same
rate, i.e. that the force of gravity imparts them the same accele-
ration. But inertia forces possess the same property. Thus, mate-
rial bodies react identically to inertia forces and gravity forces.
And another peculiarity of gravity forces is known from experi-
ence: there is no shielding from them (it is, in principle, possible
to get rid of all other forces). That is why no direct experimental
venfication of Newton's first law is possible on or near the Earth.
Newton himself pointed out that to verify that law one would have
to get to a place where there are no gravitational fields; that is
why it was stressed in Chapter I that Newton's first law is a
postulate.
Einstein's gravitational theory possibly originated when he got
the idea of the equality of all frames of reference. It seems to con-
tradict everything discussed in this book, which has repeatedly
emphasized the special role of inertial frames of reference. But let
us not be in too great a hurry.
If it is impossible to get rid of either gravity or inertia, we can
try to regard inertia and gravity as different aspects of the same
phenomenon. Then Newton's first Jaw must be formulated diffe-
rently. The first part of Newton's statement of the Jaw remains the
same: free motion of a bOdy is motion with no forces acting on the
body, gravitation being excluded from the category of "force".
Formerly, according to Newton, free motion meant uniform motion
in a straight line. Now, according to Einstein, free motion is iner-
tial and under the action of gravity forces. Gravitation is no longer
a force. Now the action of forces is considered only when a body's
motion is deftected from free motion, which in the Newtonian
schem~ was called free fall. According to Einstein, inertia and
12-91
358 Supptemenf
'
r~x 1 m 1 +x2m 2 +x3 m3 ={;1 xam 11 , (A.I.I)
So, the concise summation rule prescribes the summation over two
identical indices appearing in one side of an equation; in the case
of Latin letter indices the summation runs over the values from
I to 4.
Appendix I
xnmn = x~m~.
and multiply its both sides by m;, i.e. an arbitrary unit vector
of the new coordinate system. The left-hand side yields
xumnm~ = xuau'i;
' we used the designation mutnV =cos (mn.
here /'--.
mV) =any: thus, a<lY
represents a cosine of the angle between the vector m<l of the old
system and the vector mV of the new one. On the right-hand side
~ve obtain the following chain of equalities:
Thus.
(A.I.5)
The new coordinates are expressed via the old ones linearly,
the coefficients being the cosines of the angles between the old and
the new coordinate axes. We have to find the coefficients of the
expansion of tbe old unit vectors in terms of the new ones. Let us
expand the old vector my via the new ones:
(A.l.6)
where a~~ are unknown coefficients. To find them, let us multiply
both sides of this equation by mV. Similarly to the foregoing for-
mula
(A.!.?)
We have obtained an obvious result: the coefficients of the expan·
sion of the unit vector m<l with respect to the new unit vectors are
the cosines a<lY" ·
Appendix I
The cosines of the angles between the old and new vectors can
be combined in the matrix:
and therefore,
x~=x 1 cos9+x2 sin9, x~=-x 1 sin9+x2 cos9. (A.I.IO)
Passing to the conventional notation x 1 = x, x: = y, we obtain
the well-known equations of analytical geometry:
+
x' =xcos9 y sin 9, y' =-.x sin 9 ycos9. +
We used these equations in the derivation of the Lorentz trans-
formation. We have obtained the equations of the direct transition
(from the unprimed to primed system).
r o o -iBr I
I 0
0
I 0
o I
0
O =1''+(-iBI')(-iBf)=f'(I-B')=I
;Br o o r
(the simplest way is to expand the determinant into the first row
elements). The Lorentz matrix determinant proves to be equal to
unity. This means that we deal with the proper Lorentz transfor-
mation, i.e. we stay in the systems of clockwise triads of un1t
coordinate vectors and do not pass to the systems of anticlockwise
triads.
Let us write the direct and the inverse Lorentz transformation
for coordinates in full:
x 1 =r(x~-iBx~). x2 =x~. x3 =x;. x4 =f(x;+iBx;). (A.1.16)
x~=r(x 1 +iBx~)· x~=x2 , x;=x3, x~=r(x~-iBx 1 ). (A.I.l7)
The comparison of the second and the last link of the writ~ chain
of equalities proves the invariance of the scalar product AB.
§ 3. The tensors. Vector quantities are a particular case of ten-
sors, mathematical quantities of much more complicated nature.
Prior to passing over to them, let us point out the most essentiat
points in the definition of a vector. In a given coordinate system
a vector represents a directed line segment characterized by its
own coordmates. But since a coordinate system is chosen at will,
the vector coordinates are random. What is important, however, is
that using the vector coordinates determined in one Cartesian sys-
tem, we can find its Cartesian coordinates in any other system by
means of Eq. (A.I.5). These are the transformation equation-;
which define the vector. Thus, the vectorial nature of quantities is
revealed under the transformation of coordinates.
To clear up the concept of a tensor by means of a specific
example, we shall recall how the 'relationship between the electric
induction vector D and the external electric field strength E is in-
troduced in electrostatics. By and large, the relation D = D(E) =
= D(£ 1, £ 2, £ 3 ) is unknown. Let us expand D into the compo-
nents Da:
The tensor quantities appear more often than it may seem &t
first glance. We shall give some examples of tensors of the second
rank in th~ 4-space. The products of the components of two vectors
c(c,) and b (bk) form a tensor. Indeed, let us compose the expres-
sion A,k = c,bk. The transformation formulae for the vector com-
ponents are known:
(A.l.32)
Consequently,
(A.I.36)
~DdS~\divDdl". (A.I.42)
s r
The same theorem takes the following form in the symmetric no-
tation:
where ntt are the components of the normal to the surface ele-
ment dS. Applying Eq. (A.l.43) to the vector
A~= ~x~ •
we shall obtain
I ~;: d1' ~ s~ t.,n.dS.
7
(A.I.44)
The co-factor A1k may differ from the minor ~ •• only in sign:
Au=(-1)'+-t ~~--
13'
380 Apperullx 1
the summation over k is not carried out here while k itself may
take on any value from I to n. If we compose the sum of the pro-
ducts of the elements of any row (or any column) and the minors
of another row (or another column), it will be equal to zero:
·-·i:. a(l.tA(I 1 =0
a~ I aa.tAat =DO,,.
DL=
l•u a., a.,
a21a22UzJ~ 4 ""II
a 3,t1J2a33 a 34
=
r0 1o0o mr
0010
0 I =
au a 42 au a 44 -iBf 0 0 r
Io 0o 01r
=I' 0I I 0 -iBf I0 0 01
0I I = f2 -B2 f 2 =1' 2 (1-B2)=1.
-iBr o o
The reader can easily ascertain that the multiplication of the
elements of the first row by the co-factors of the elements of other
rows yields zero.
3. Let us introduce a fully antisymmetric unit tensor of thot
nth rank. This is the tensor 6ctll ... , whose components alter sign
when any two indices are interchanged and all components differ·
ing from zero are equal either to +I or to -I. Any component of
an antisymmetric tensor 6a:ll .. , whose two indices are equal turns
into zero (the transposition of two such indices alters the campo·
nent's sign due to the antisymmetry of the tensor, but at the same
time we get the same component; thus, only zero can be equal to
itself when taken with an opposite sign). Thus, only those campo·
nents of the tensor 6a:ll .. , differ from zero whose all indices are
different. Suppose 6 1 ~ • , = I; then all the components differing
from zero are equal to +I if the arrangement aj3 ... t" is obtained
from the sequence I 2 ... n through an even number of transposi·
lions. If the number of such transpositions in the arrangement
aj3 .. "T is odd, the component 6all ... T is equal to -I. Making use
of a fully antisymmetric unit tensor, \Ve can rewrite the expre~·
"Appendix I ..,
sian for the determinant D,. as follows:
where the summation over the pairs of indices ap ... '~" is implied
this time.
In particular, we can write the determinant corresponding to the
Lorentz matrix:
4. Now we shall deal with the 4-space of the STR- First of all,
it should be pointed out that we have defined a fully antisymmetric
unit tensor OpypJ£ without proving it to be a tensor. We must
make sure that the components of this tensor have the same values
in all IFRs, i.e. under the Lorentz transformation. This can be
done quite easily. In accordance with the tensor component trans·
formation rule
Cv = 1- 6a yCa
6 11 •
This expression is equal to zero since both the minuend and the
subtrahend are the determinants with two equal rows and such
determinants are equal to zero. In much the same way it is proved
that Ca2 = 0. In geometrical terms the norm of the vector C is
equal to the area of a parallelogram constructed on the vectors a,
and a2.
:,l
The mixed product of three vectors a 11 a2, as is denoted by
(at. a 2, as) and defined as follows:
(a" a,, a,)~ a, [a,a 3) ~ a,.m,6.0,a,.a,0m, ~,6.,a,.a,.a~:~·::
F p• =i-OlklmFI,.Fim = i-a,aatbalcamdOilbcdat,a.tsF;sallamnF;" =
(A.I.52)
with the surface element dS, whose normal n has the unit vec-
tor components n<t, being subjected to the force
r. 0n.m 0• (A.I.56)
Let us discuss briefly the physical meaning of the stress tensor
-components. Let us return to the volume r
within the body expe·
riencing a deformation. The force acting on the surface element dS
confining the volume r depends on the value and direction of the
element dS, i.e. on the direction of the normal n relative to this
element. Let us denote this force by p,. dS, having pointed out that
its direction, generally speaking, does not coincide with the direc-
tion of the normal of the surface element dS (Fig. A.2a). The
vector p,. is the force per unit of area; it depends on the orienta-
tion of the surface element and is called the stress on the surface
element dS with the normal n. At each point of the deformed elas·
tic body any direction n has its corresponding stress vector p,.
ln each Cartesian reference frame it is possible to determine the
stresses p., pg, p~ acting on unit of area elements whose normals
Appendix I
The quanhl!es A~-' are the components ol the vedor A which are
()btained by means of the parallel projection of this vector on the
coordinate axes; according to the definition they are called the
contravariant components of the vector A.
The quantities
(A.I.60)
.are the orthogonal projections of the vector A on the coordinate
.axes and are referred to as the covariant components of the vee-
(b)
Fig. A.3. The definiton of the CO· and contravariant coordinates In a rectilinear
oblique-angled system of coordinates on the plane.
(A.I.71)
Appendix I ,..
It follows from Eqs. (A.I.70) and (A.J.71) that
m~ = a!mv = a:a~A.m~; mA. = a~A.m~ = a~A.a~m11 • (A. I. 72)
from Eq. (A.I.72) the coefficients a~ and a:r are seen to be re-
lated by the following expressions:
(A.l.73}
whence follow the formulae for the direct and inverse transforma-
tions of the contravariant coordinates of the vector r:
(A.I.76)
Here is the definition of a vector: the vector A is the quantity
whose covariant components are transformed under a transition:
to a new reference frame in the same manner as the basis vee·
tors m 11 • The contravariant components of vectors are transformed
as the contravariant coordinates X". Let us find the formulae for
the transformation of the components of the vector A. For cova-
riant components
A11 = Am11 = Aa~A.m~ = a:A. A~. (A.l.77}
The inverse transformation formula takes the form
A~= Am:= Aa!mv = a!Av. (A.I.78}
On the other hand, precisely as for the vector r we can write
(A.l.79}
whence
(A.l.80}
and consequently
(A.l.81}
We see that the transformation formulae for the covariant anrl
contravariant component-s of a vector are different.
390 Appefldlx 1
(A.I.85)
(A.I.91)
where
I 0 0 0)
0 -1 0 0
( (A.I.92)
g,,~ 0 0 -1 0 .
0 0 0 -1
Now go, defines the metric tensor of the pseudo-Euclidean space.
~j~;:rfa~~egJ~~~o~~~!~~~or:ntw~e:~~~i~ht~l~0~r~%ar~i::nd con-
A0=A0, A 1 =-A 1, A2 =-A 2, A3 =-A3 • (A.I.93)
The scalar product of two vectors and the norm of a vector are
defined by the following expressions:
AB=g All.Bv=A08°-A 18 1 -A 28 2 -A38 3 (A.I.94)
IA' I ~e..~"A'~ (A')'- (A')'- (A')'- (A')'.' (A.I.95).
Appendix I
Dividing the left-hand and the extreme right-hand sides of the last
equality by cosh2 x, we get
BIBLIOGRAPHY TO APPENDIX I
1. McConnell, A. J. Application of Tensor Analysis, N.Y. 1957.
This rationally compiled book contains all the necessary infor-
mation on tensor analysis utilized in physics. Having studied the
book, the reader becomes quite prepared mathematically ror rearj.
ing books devoted to the Riemannian geometry and the general
theory of relativity.
2. Kochin, N. E. Vector Calculus and Elements of Tensor Cal-
culus, Moscow, 1965 (in Russian).
The book presents the basic information on tensors in very easy
terms.
APPENDIX Tl
0 A==AA.-+r a;~=-~}.
(6.9)
D~-~liq>-7z~=-4np.
-%7-+div/=0. (6.4)
-iD,)
The tensors of an electromagnetic field in matter:
1J H, -H,
( Hz 0 HA -tD11
•=
f1 H 11 H~ 0 -iD 2 '
iDA iDy iDZ 0
Dz = f ( D~-fH~). H,~r(H;+fv;).
Appendix !1
BL~r{B\.++(VE'J): (6.38)
(6.49)
(6.53)
D++[VHI-•(!!++[YBI). (6.74}
8-+[VEI-•(H-+[VD[). (6.75)
whence
D 1 =eE1, B 1 =p.H 1, (6.76)
(l-••D')DL - • ( l - B~EL + (••- l)+[VHJ,
(6.77)·
(I ~ •• D•) BL- •0- B')HL- ,•• -I)+ [VIl~
D-•E++(••-I)[VH],
(6.78)
B-•H --!-(••- l)[VE].
The material equations in the rour-dimensional form:
/ 11,u,=eF1,u,, {0.79)·
F1,u 1 + F,tu 1 + Fllu, = p. (/ 1,u 1 + /,1u 1 + fuu,), (6.80)·
s1=fF1,u,. (6.81)·
s-+.-[EH).
398 Appendix II
r•1 ( f!, -
"= -fs
icg•)
w •
g' = -,~ = 4 ~, [EH],
·-
This list includes only those books which cover the subject of the theory of
relativity very substantially. Brief comments given for the readers' convenience
re8ect the personal views of the author of this book.
~The Principle of Relati~Jily, a collection of articles by the classics of the
felativistic theory, Moscow-Lenin~rad, 1935 (in Russian).
tic~~e b~~-ifhi;a~r:r~~~s a~th~~~e~n!keP?f"~~~~b~int~e~~r~"~nM~~~:i:~kiab!~~ ~~;
immediate forerunners of Einstein. The article by Einstein "On the Electrodyna-
mics of Moving Bodies" covers the special theory of relativity almost comple-
tely, except for the problems of thermodynamics Minkowski's report presents
the fundamentals of the STR in terms of four-dimensional geometrical physics.
2. The Principle of Relativity, a collection of articles on the special theory
ofT~i~lib~b'k ~~~~~~~ ~~~ ~~~ ~~~!~~~~-on
3 the STR published in the prc>vious
collecli.on of 1935. Some more articles by Poincare, Lorentz, Planck and Pauli
are added. The third part of the book is devoted to the history of the STR.
3. A. Einstein, Collected Works, Vol. I, Moscow, 1965; Vol. II, 1966; Vol. IV,
1967 (in Russian).
Volumes I and II include Einstein's works on the theory of relativity. Vol·
ume I contains papers- on both the STR and the general theory of relalivitr-
~~~uJec~~t~?;:r~h~af~;~~lyat~~~ a~tric:~~o 0~otr~~ 't~nEr~s:~~;r~ub\i:~!dti~~tflie~~~
separate editions (see refs. 4 and 5 below).
4. A Einstem, The Meaning of Relatiuity, Princeton, 1953.
A very concise and rather complicated presentation of the fundament.al ideas.
5. A. Einstein. Ober die spezieUe und die allgemeine Relalivifiilstheone (ge-
meinverstiindlich), Braunschweig, 1920.
licgn~~o~ids~=i~a~~~e~,i~~~~~~~he~~~bjf.feehxc;0~~~~~n~xposition" (gemein..,erslind-
6. L I Mandelshtam, Lectures on Physical Foundations of ttre Theory of Re-
ll:tivily. Complete Works, Vol. V, Moscow, 1950 A separate publication· Lec-
tures on Optics, Theory of Relativity and Quantum Mechanics, Moscow, 1972
(m Russtan).
The lectures given bh L. I. Mandelshtam and prepared for publication by his
~~!c%~Jordepa;ob1~1~sth:f t~:o~he~:Y:hThi'i~~~:~:C~r~f i~j~~t~~~Yr!~da~ 0 ~~~a~~~
audience and cannot be recommended to the reader who is new to the· subject.
The sophisticated reader, however, should get acquainted with these lectures by
all means.
/.'"C. Moeller, The Theory of Re/.atlui~, Oxford, 1952.
An extended course of university lectures covers a wide range of problems of
the STR and the GTR. II requires deep knowledge of physics and mathematics.
<00 Bibtiography
1 0 1
4~?bo~k ~~~~b~~· fi~~:r~~~c~T~ ~n~het~'::o;«e bT~ ':::~~~Yi:i {'h~ t:~ger
y 9
part. The first nine chapters are devoted to the exposition of the STR. While
-~1iR.gt:: :~fh;rer.lve~~~;~i~~~:~ t~~e~~~~e~~=li~~t~~~::isa~R~ackground for the
13. R. Becker, Theorle der Electrizttdt, Stuttgart, 1957.
A very clear and popular presentation of the principal problems of the STR:
the book is quite understandable for a student versed in eledrodynamics
14. W. Panofsky. M. Phillips, Classical Electricity and Magnetism, New York,
1955
In the second half of the book the reader will find an up-to-dale and interest-
~~fer~~~~ntation of the STR; every chapter is supplemented with problems and
Observer 19
~S:~~~y~eh~?~all~2( 210
Origin of coordinates 13 Signature 119
Simultaneity, relativity of 74
Skin effect 252
Pe1meability 209 Space-like interval 93
Pe1mittivity 209 Spatial dispersion 247
Phase velocity 250, 291 Stress tensor 383
Phase velocity cl t'leclromagnetic Synchronism of events 42, 44
waves 291 Synchronization of clocks 42
Photon 276
Photon rocket Ill
Sy~~~~ivi~r 0~ 05:-interacting particles
1· ~~ck·s constant 278 175
Hane wave limit~d h :;pace ZU~
Polarization 215
1-'oyutmg ~ector 223, ::!59
Pressure of light 270, Zl8 Tachyons 297
prn.-."r refe cr.:c frame 153 Tardyons 276
Proper til •. e 88, 112 Tensor mdices, convolution of 375
Propcr-1 ir.! Interval 49 Thread-and-level paradox 292
Proper !'me invariance 135 Time interval bt>tween events, relati-
Pseudo-Euclidean plane 123 vity of 83
Pseudo-Euclidean space liG, 120, 391 Time-like mterval 91
lour-dimensional !18 Total energy, law of conservation of
Pse!!do-E!!dit:!c::n thcore:n 127
"'
Total energy of a particle in a cOn·
'>cn·ative field 156
Radar method 105 Total energy of a system 157
Radial Doppler effect 84, 262 Total momentum oi a system 157
406
by 8 GNEDENKO