This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
= 0,
for all k, ko = Ikl,
a^(k)= ^
a(k,a)E(i(a),
(23.76)
a-0
is imposed at say, time w=0, it will hold for all times.
Quantizations of Scalar in Constant-Linear-Acceleration Frames
375
References 1.
J. D. Bjorken
and S. D. Drell, Relativistic
Quantum
Fields.
Vol. 2
(McGraw-Hill Book Company, New York, 1965) p. 14. C. N. Yang and R. L. Mills, Phys. Rev. 96, 191 (1954), see note added in proof on p. 193.
The
standard canonical formalism in quantum mechanics is not applicable to the quantization of a Lagrangian with an explicit time dependence. 2.
The Wu transformation does not change the curvature of spacetime, so it implies that the spacetime of CLA frames is flat (i.e., the Riemann curvature tensor vanishes), just like the spacetime of inertial frames.
G
M0ller,TAe Theory of Relativity (Oxford Univ. Press, London, 1952), p. 285. 3.
I. M. Gel'fand and G.E. Shilov, Generalized
Functions
Vol. 1 (transl. by E.
4.
J. P. Hsu, Phys. Letters. 119B, 328 (1982). (See appendix C.) It is shown that
Saletan, Academic Press, New York, 1964) p. 185. a gauge-invariant fermion Lagrangian with external spacetime symmetry groups (e.g., Lorentz and Poincare groups) dictates the presence of two distinct gauge fields: the conventional Yang-Mills fields b ^ = (b', b^k) and the new scale gauge fields ej^ . 5.
The commutator of two gauge covariant derivatives v^ gives a gauge curvature tensor RnVab : [V(i,vv]i|)= (- i/4)R (iv ab o ab ii), where R ^ 1 3 = d^o v a b - d^^
+ ojn ac (o v d Ncd - a\-acc°(idbllcd- (This gauge curvature tensor R,j,vab
resembles the Riemann curvature tensor R ^ ^ f o r curved spaces.
The
spacetime of CLA frames with the metric tensor gKV given by (23.2) and (23.3) is flat because the Riemann curvature tensor vanishes.)
The
connection co^ab can be expressed in terms of the vierbein by imposing a constraint v ^ e v a = a^e v a + r ^ v e ^ a + w^ ac e v b Ti c b = 0 , where r*-
is the
Christoffel symbol given in (22.12). 6.
For the Gupta-Bleuler method, see M. Kaku, Quantum Modern Introduction
7.
Field Theory,
A
(Oxford Univ. Press, New York, 1993) pp. 112-114.
In contrast, unphysical bosons (ghost particles) in Yang-Mills fields do not satisfy a free equation and can interact with other particles to give unphysical contributions which upset the unitarity and gauge i n v a r i a n c e
376
Principle of Relativity in the Physics of Accelerated Frames
of scattering amplitudes.
It is much more involved to remove these
unphysical contributions in gauge theory. See, for example, J. P. Hsu and J. A. Underwood, Phys. Rev. D 12, 620 (1975); J. P. Hsu and E.C.G. Sudarshan, Phys. Rev. D 9, 1678 (1974); M. Kaku, Quantum Field Theory, A Introduction
Modern
(Oxford Univ. Press, New York, 1993) pp. 298-306.
Quantizations of Scalar in Constant-Linear-Acceleration Frames
377
24. Group and Lie Algebra Properties of Accelerated Spacetime 24a.
The Wu transformation
Transformations
with acceleration
in an arbitrary
direction
The symmetry principles are at the very heart of our understanding of the physical world.
Symmetry in physics means that observable results are not
changed under a transformation. Transformations of spacetime can be understood as a change of observer's viewpoint.
To understand symmetry physically, it is
necessary to know mathematically the group properties of the transformation and the associated Lie algebra. 1 The Wu transformation is one of the simplest spacetime transformations beyond the Lorentz and Poincare transformations in which one can hope to discuss field theory and particle physics. Even with such a minimal generalization of the Lorentz group, the group properties and the associated algebra of such spacetime transformations for accelerated frames are much more involved. Specifically, the Lie algebra of the generators of the Wu transformation fails to close. 1 Let xj1 denote inertial coordinates in Minkowski spacetime and x1* denote coordinates for the non-inertial frame. 2
Take the (constant) direction of
1
acceleration to be the x -axis in both frames. Then the Wu transformation is 3
x°=yu
(24.1) a
A-
oYo;
"oYo
x,2 = x 2 , «oYo
«oYo
378
x,3 = x 3 .
(24.2)
Here u = a 0 x°+p 0 , for some constants a 0 and - l < p 0 < l , Y0 = (l-Po)"
1/2
2
- Because Y = (l-u )~
are non-linear in general.
1/2
Y = ( 1 - U2 \2 -)l / 2
and
2
is a function of x these transformations
Despite the l/ct 0 terms, these expressions are
continuous in a 0 . When the velocity u of the accelerating frame is in an arbitrary spatial direction u/kt in the inertial frame, the finite Wu transformation takes the following general form:
X'U U
?=UY
k
=xk
+
-
1
Po
u„ v 2
oYo
a
(24.3)
oYo
_
(Y-D —
u
(24.4)
ho«0. u
Uo
where we have used the metric tensor T)^V = (1,-1,-1,-1). In other words, we have the relation, U[ = -u1 - (-u x ,-u y ,-u z ) for i=l,2,3. To see the generators of the Wu transformation, we first expand the finite transformation in a 0 for given f50 to obtain
X° = WY0 + PoYol" - ^ " I + a oYoW
ipoW(3Yg) + 42
: X k + ( Y o - D l - ^ ^ - l + WpoYo
+ wa 0 Y 0
PoY^I-^
+
— u
+ 0(a2),
(24.5)
u u
|w(3Y2-2) — + 0(a2).
u
Group and Lie Algebra Properties of Accelerated Spacetime Transformations
(24.6)
379
Next we assume p 0 = 0(a 0 ) and expand the transformation in powers of p 0 to obtain 1
xf - x " + p 0 H L ( _ T 1 ^ 4 -n^5°)x v + a 0 H L [ _ T ^ 4 - i r ^ x V ,
(24.7)
where equations (24.5) and (24.6) have been combined together. The coefficients of |30 and a 0 give the generators of the Wu transformations.
For example, the
coefficients of a 0 involve an additional factor x°. The source of this additional factor is the fact that the constant acceleration has the dimension of inverse length, in contrast to the dimensionless constant velocity. This additional factor implies that these are new Lie algebra elements. To continue to compute the Lie algebra would require bracketing these new elements with the others. Clearly this would introduce further new generators with factors. Therefore, there are infinitely-many generators in the Lie algebra.
This conclusion holds in general for finite Wu
transformations between non-inertial frames. 1
24b. Generators
of the Wu transformation
in cotangent
spacetime
We have seen that there are complications associated with the generators in equations (24.7) for the finite Wu transformation. It is more convenient instead to fix a spacetime point and
consider the effects of
an infinitesimal CLA
transformation on the cotangent space at this point. Here the transformations of the differential 4-vectors dxj1 and dx^ can be obtained from (24.3)-(24.4), and can be approximated by
380
dw! =Y(Wdw + u - d r ) - W d w + (po + a o w)H-^L + 0(2),
(24.8)
dri = d r + (y - U ^ -2 ^ u + Y uWdw = d r + (p 0 + a 0 w ) u W d w + 0(2), u u
(24.9)
Principle of Relativity in the Physics of Accelerated Frames
for small a 0 and p0, where we have kept W fixed and used u(w) -» p 0 +a 0 w for small acceleration a 0 . To transform from F to F], i.e., (dw,dx,dy,dz) to (dwi.dxi, dy^dzj) while preserving the invariance of ds2 in (35), one can first re-scale dw, (dw,dx,dy,dz) -* (Wdw,dx,dy,dz),
(24.10)
and then perform a rotation in the 4-dimensional cotangent spacetime dx,l=(Wdw,dx,dy,dz). However, if one first performs a rotation, (dw,dx,dy,dz)-»(dw',dx',dy',dz')=(Y[dw+pdx], ytdx+pdw], dy, dz),
(24.11)
and then re-scales the time differential dw', (dw',dx',dy',dz') - (Wdw',dx',dy',dz'),
(24.12)
one does not get the transformation from F to Fj because the invariance of ds2 has been upset.
In particular, (Wdw')2-dx'2-dy'2-dz'2
*
(Wdw)2-dx2-dy2-dz2.
Therefore, the group operations of a scale-change and that of a 4-dimensional rotation cannot be combined. The separation of these two group operations is necessary in order to see the fact that the Lorentz group generators are actually hidden in the accelerated Wu transformations. Using matrix notation, the CLA transformations of the differentials dx*1 can be expanded as follows
I
dwA
/dw*\
/dw*
dy J-
< 24 - 13 >
j;i[i-pyo. P y i m 2 o. P z i m 3o]H 5 dz/
Mz
/
Mz
Group and Lie Algebra Properties of Accelerated Spacetime Transformations
381
im
10
/O -1 -10 = 0 0 X) 0
0 0 0 0
Px = Pox + «ox w .
fo o o -i\ ,30 Jo o o o
/o o -l o\
0 0 0 0
,20
etc.
0 0 0 -10 0 H) 0 0
0 0 0'
10 0 0 0 -10 0 0
dw* = Wdw,
for small velocities and accelerations. This expansion and the following treatment also hold for the small arbitrary velocity function u(w) discussed previously. With a locally re-scaled time differential dw*=Wdw, transformation (24.13) is formally the same as the Lorentz transformation, except that the velocity P = (px>Py>Pz) m 0k = K k a r e
m
is
now
time-dependent.
The dimensionless "boost-generators"
d e f m e c j by
3A
0k
apk Poi=0,aoi=0
10 -1 -10 ,0 0 H) 0
0 0 0 0
(o o -l o\
0\ 0 0 0'
0 0 0 -10 0 0 0 0
0 0 0
0 0 0 -1
0 0 0 0
0 -1\ 0 0 0 0 0 0'
1 (24.14)
Pk =(Pl,P2,P3) = (-Px.-Py>-Pz) = -P •
By explicit calculation, the Lie algebra of the Wu transformation closes on the set m"™ , where m^ v = -m v , 1 are given in (24.49) for m k o , and
0 12 _ | 0 -lm 0 0
0 0 1 0
0 -1 0 0
0) 0 0 0^
-lm
23
00 0 0 0 0 0 0 iO 0 0 - 1 ,
V) o i o
/oo oo^ -lm
31
0 0 0 1 .0 0 0 0 \> -1 0 0 '
(24.15)
The dimensionless generators m |lv satisfy the well-known commutation relations
382
Principle of Relativity in the Physics of Accelerated Frames
[ m ^ . m ^ l = i[r! va m^ --n^m^ - f m ' f t ^ m ™ ) .
(24.16)
It is interesting to observe that the group of the scale-change of dw is quite different from the 4-dimensional rotational group because the scale change W cannot be obtained through a succession of small changes in the acceleration a 0 . Rather, this particular scale-change W of the time differential dw can only be obtained by exponentiation of a 4x4 matrix C with a spacetime-dependent function InW
exp[-i(ln W) C]
/Wdw\ dx Idy Mz
1 0 C= 0 0
0 0 0 0
0 0 0 0
0 0 0 0
(24.17)
where C and Ac are respectively defined by C= iaAc / aW and
/dw*\ dx dy Vdz£ /
-[i+<w-i)c][S
(l 0 0 0 \ 0 1 0 0 0 0 10
(24.18)
V) o o i'
We note that the momentum 4-vector p1* has the same transformation property as dx*1 because of the relation p | 1 =mdx , Vds. Consider the effect of the infinitesimal form of
exp--£•%,,
and expf-ibDoo)
(24.19)
on the momentum 4-vector p>\ where J ^ is the 'angular-momentum' operator in the 4-momentum space and D 0 o may be termed a 'scale-change' operator:
Group and Lie Algebra Properties of Accelerated Spacetime Transformations
383
Juv = i(Pn3*v - p v aV) = -Jvn>
Doo = i(Poa*o).
a\ =
ap v
.
(24.20)
We have
l - | i ^ v J , v W = P x +«aXPa.
ei0 = -p* = (-pj, - aj,w),
ik E
(-ibDoo)p' = +bp0&o .
=0,
dXi=(-dx,-dy,-dz),
< 24 - 21 >
(24.22)
where i, k =1,2,3- The transformation relations in (24.21) for the momentum 4vector are equivalent to the CLA transformation for the differentials dx1*. One can verify that the operators J1™ and D 0 0 separately form closed Lie algebras. These operators satisfy the commutation relations
Ij^japj
=
{LvajnP _r)vUj^a _ ^ a j v P
+ T ] rfjvaj j
(24.23)
[DO0,D00] = 0.
24c.
(24.24)
The Wu algebra in a modified classification
momentum
space and the
of particles
Since x^ is not a 4-vector, one cannot have the conventional covariant generators in the underlying spacetime. In order to construct generators of the Wu algebra, it is essential to use the coordinate 4-vector dx11 of the cotangent spacetime.
Physically, the cotangent spacetime can be interpreted as the 4-
dimensional momentum space. A particle's contravariant 4-momentum p11 is given in (19.29).
384
Principle of Relativity in the Physics of Accelerated Frames
In the momentum space, the p^ are variables while W is fixed, just as in the cotangent spacetime, the d x*1 are variables while W is fixed. In analogy to (24.10), we may introduce a rescaled momentum vector
p^=(Wp°,p),
(24.25)
so that the invariant energy-momentum relation in (19.30) can be expressed in terms of p^ and the metric (4.10):
VfP'=m
2
.
(24.26)
Following Wigner, this invariant relation can be employed to define little groups for both inertial and CLA frames.
The differential Wu transformation in the
momentum space (associated with both CLA frames and inertial frames) can be written as
p'K=Atp v ,
A^v = 6£ + e£,
(24.27)
E^V = -E V ^.
(24.28)
Based on the infinitesimal form of /§, one can obtain infinitesimal generators m |iV , which are 4x4 matrices and satisfy the commutation relation (24.16). Note that
A^, has precisely the same form as that in the Lorentz
transformations except that the time-independent velocity p o is now replaced by a time-dependent velocity p. Thus, it involves three parameters for spatial rotations and three for p u r e boosts, where these parameters involve both constant acceleration and velocity. It can be verified that the generators of the differential Wu group in general are given by the operators
Group and Lie Algebra Properties of Accelerated Spacetime Transformations
385
W"v = i(p^8 v - p v 8"),
8V = — = r, vX 8 x , 3PV
(24.29)
which also satisfies the commutation relation, [W F , W ap | = i(ri va W^
- T ^ W ^ - T T * W V P H-TI^W™].
(24.30)
In the 4-momentum space, apart from the invariant (24.26), one can construct another invariant
W^W»\
where
W = iE^aPpvWa|J.
(24.31)
The invariant TJ v p ^ * in (24.26) has a clear physical interpretation as the square of the mass of a particle. To see the physical meaning of W^W^, we make a transformation to the rest frame of the particle, p11 = (Wp°, 0, 0, 0) = (m, 0, 0, 0). We have
W° = 0,
W1 = ie i 0 i k mW j k ,
(24.32)
where the commutation relation of the operators, W'/m, i=l,2,3, behaves like the usual rotational matrices in the 3-dimensional space.
Thus, W'/m can be
identified as the spin operator in linearly accelerated frames. This identification is consistent with the limit of zero acceleration in which the Wu transformation reduces to the Lorentz transformations. In light
of previous discussions, the
differential Wu
spacetime
transformation enables us to generalize Wigner's results for the little group for inertial frames to non-inertial frames. In particular, we can classify elementary
386
Principle of Relativity in the Physics of Accelerated Frames
particles according to the two invariants, , n ( i v p | J p v and W^W1*, in the momentum space as follows
•n |lv P ,l P v >°>
VP^PV T
=0
>
lnvP|iPv =°>
r 1|lv p ,1 p v <0,
s=0,l,2,3„... (bosons)
(24.33)
s = l / 2 , 3/2, 5/2,,... (fermions)
(24.34)
s=+s
(24.35)
- "s-
continuous s
(24.36)
(tachyons).
(24.37)
These results hold for both inertial frames and non-inertial frames with constantlinear-accelerations.
They show a deeper and broader physical meaning for the
fundamental concepts of mass and spin.
Group and Lie Algebra Properties of Accelerated Spacetime Transformations
387
References 1.
D. Fine and J. P. Hsu, "Generalized Wu Transformations and Their Group Properties," UMass Dartmouth preprint, 2006.
2.
Lorentz and Poincare invariance alone implies that the space time coordinates of an inertial frames must be denoted by the 4-variables x1* = (w,x,y,z), so that physical laws can be written in the 4-dimensional symmetry form.
This
symmetry principle dictates that we treat all 4 variables (w,x,y,z) on an equal footing. It is natural for them all to have the same dimension (e.g., length) and to be measured using the same unit (e.g., centimeter or meter). 3.
Jong-Ping Hsu and Leonardo Hsu, Nuovo Cimento B 112, 575 (1997) and Chin. J. Phys. 3 5 , 407 (1997). Jong-Ping Hsu, Einstein's Relativity and BeyondNew Symmetry Approaches, (World Scientific, Singapore, 2000), Chapters 2223.
388
Principle of Relativity in the Physics of Accelerated Frames
25. Coordinate Transformations
for Frames with a
General-Linear-Acceleration 25 a.
Spacetime Poincare
transformations
based
on limiting
Lorentz
and
invariance
Inertial frames are idealizations or approximations of non-inertial frames with small accelerations or during short time intervals.
Experiments have
established that physical laws in inertial frames display the 4-dimensional symmetry of the Lorentz and Poincare groups. However, almost all physical frames of reference in the universe are, strictly speaking, non-inertial because of the longrange action of the 'gravitational force.' Thus, it is not completely satisfactory that the basic laws of physics and the universal constants are understood or known only in inertial frames but not in non-inertial frames.^^ In particular, we already know that the speed of light is not a universal constant in non-inertial frames. The principle of limiting Lorentz and Poincare invariance (4-dimensional symmetry) has been used to derive a simple generalization of the Lorentz transformation, i.e., a spacetime transformation involving a constant velocity and a constant linear-acceleration. 2 This set of transformations forms the Wu group, which includes the M0ller group and the Lorentz group as limiting cases. 3 A In this chapter, we apply the same limiting Lorentz and Poincare invariance to generalize spacetime transformations for frames with arbitrary accelerations along a straight line.
These non-inertial frames are called general-linear-acceleration (GLA)
frames. Physically, non-inertial frames are not equivalent to inertial frames. The 4dimensional spacetime (w,x,y,z) of non-inertial frames can be considered a generalization of the Minkowski spacetime for inertial frames. Let us call such a spacetime "general taiji (GT) spacetime." Since the constant c of the speed of light
389
has no operational meaning in GLA frames, we use w (with the dimension of length) rather than t (or ct) for the generalized evolution variable and call it the "GT time" (or simply time) for GLA frames.5 With the help of such GLA transformations, the basic wave equations, truly universal constants and physical properties of spacetime for both inertial and noninertial frames can be discussed. In addition, the quantization of gauge fields in GT spacetime with non-constant metric tensors could shed light on the quantum theory of gravity. 6 Let us consider first the implications of limiting 4-dimensonal symmetry for spacetime transformations between a simple non-inertial frame Fc(w,x,y,z) (with constant linear acceleration a 0 ) and an inertial frame Fj( wi,X[,yi,zi). Suppose that the frame Fc has both its velocity and acceleration directed along parallel x and x( axes and that the origins of Fc and F[ coincide at the time w=Wi=0. We have transformations for the constant-linear-acceleration frame Fc(x) and an inertial frame Fi(xj)4
wi=YPx + - ^ - + a 0 + w 0 ,
x!= Y x + ^ — + b 0 + x 0 ,
«oYo
y i = y + y0,
z ^ z + z,,,
«oVo
(25.1) aG=——.
b0 =
«oYo
, «o7o
|3 = |30+a0W,
Y= , A/l_p2
Yo=-r ^_
•' p
2
where the velocity p = |3(w) is a linear function of the time w. The transformation (25.1) with the condition x& = (w o ,x o ,y o ,z o )=0 is called the Wu transformation. It reduces to the Nteller transformation when |30= 0 and xg = 0, provided that we make a change of the time variable, w = ( l / a 0 ) t a n h ( a 0 w * ) . 2 One can verify that in the limit of zero acceleration, a 0 -^-0, the transformation (25.1) reduces to the 4dimensional transformation
390
Principle of Relativity in the Physics of Accelerated Frames
wi =Yo(w + p0x) + w 0 , ^ =Yo(x + P0w) + x 0 , y i = y + yQ, z r = z + z 0 .
(25.2)
Thus, the limiting 4-dimensional symmetry of the Lorentz and Poincare invariance is satisfied.
The differential form of the Wu transformation (25.1) for constant-
linear-acceleration is given by
dw! = v(Wcdw + pdx),
dxj = y(dx + pWcdw), dyj = dy, dz : = dz;
(25.3)
WC=Y2(Y82+«0X).
Thus we have
ds 2 = g^dx^dx* = dw,2 - dx 2 - dy,2 - dz,2,
(25.4)
gqxv=(W 2 (w,x), -1,-1,-1),
where gC(lv is the metric tensor for the spacetime of constant-linear-acceleration frames. Now let
us
consider a
generalization of
the
inhomogeneous Wu
transformation (25.1) to the most general non-inertial frame F(w,x,y,z) moving with an arbitrary velocity p(w) or arbitrary acceleration a(w) along the x-axis,
P(w) = p1(w) + p 0 ,
a(w) = ^
w l =^ , dw dw
p(0) = p o ,
a(0) = a o .
(25.5)
The last two initial conditions are related to the fact that the origins of F(w,x,y,z) and Fj(Wi,Xi,yl7Z]) coincide at the GT time w=W]=0.
The velocity p(w) is an
arbitrary function of the GT time w and characterizes the
general-linear-
acceleration in the x-direction of a non-inertial frame F. This function must be given in order to specify
the
acceleration of a
non-inertial frame.
Coordinate Transformations for Frames with a General-Linear Acceleration
If
391
p = J e o w 2 / 2 + a 0 w + p 0 , then the non-inertial frame has a constant jerk J e o and a variable acceleration d p / d w = J e o w + aOJ which is linear in the time w. When the jerk J e o vanishes, the non-inertial frame has a constant acceleration a 0 . One of the simplest generalizations of the constant-acceleration case (25.3) is to write the local relation for F(x) and F[( Xj) in the following form,
dwj = y(Wadw + pdx), dxT = y(dx + pWbdw), dy] = dy, dzj = dz;
Y= , *
,
P = Pi(w) + p 0 ,
(25.6)
p2
where in general, the two functions W a =W a (w, x) and W b =W b (w, x) may be different, in contrast to the constant-linear-acceleration case in (25.1).
The
differential form (25.6) is a minimal departure from the Wu transformations (25.3) for constant accelerations. The limiting 4-dimensional symmetry dictates that the two unknown functions Wa(w, x) and
Wb(w, x) must satisfy the following two integrability
conditions for the differential equations in (25.6)
—(vW a ) = — (Yp), ax aw
— (vPWb) = — (Y). ax aw
(25.7)
Since y and p are functions of w only, (25.6) and (25.7) lead to the results
wj = YPX + J*YA(w)dw,
xj = YX + J*YPB(w)dw,
(25.8)
where we obtain Wa and W b , Wa =Y2a(w)x + A(w) (W b =Y 2 a(w)x + B(w)), from (25.7) and substitute them in (25.6) to carry out the integration. The guiding principles of limiting 4-dimensional symmetry and minimal departure from (25.1) suggest
392
Principle of Relativity in the Physics of Accelerated Frames
that the two integrals in (25.8) have the following forms involving an arbitrary acceleration function a(w) 7
JyA(w)dw =YP
(25.9) a(w)Yo
/ Y|3B( w)dw = y
+ b0.
(25.10)
«(W)Y0
Such a generalization for spacetime transformations is essentially an assumption guided by the 4-dimensional symmetry of the Lorentz and Poincare groups and by minimal departure from the Wu and M0ller transformations for constant-linear-acceleration frames.
By differentiations of (25.9) and (25.10), we
can determine the two functions A(w) and B(w),
A(w) = J Yo
PJe « 2 (W)YO
B(w) = -Jyl Pa2(w)Yo
. , , da dp Je(w) = —- = ^ , dw d w 2
,__ , -. (25.11)
where J e (w) is the 'jerk,' which is the third-order time derivative of the coordinates. From equations (25.8) through (25.10), we obtain a simple and general spacetime transformations for non-inertial frames with the most general linearacceleration^
(25.12)
W! = Y P {
«(W)YSJ a0Yo
X,=Y
{
«(w)Yo,
"oYo
^ o . yi = y+y 0 . Z[ = z+z 0 ,
where the two constants of integration a 0 =-p 0 /(a 0 Y 0 ) and b 0 = - l / ( a 0 Y 0 ) are determined by the limiting 4-dimensional symmetry as a(w) = a 0 -> 0.
Coordinate Transformations for Frames with a General-Linear Acceleration
The
393
relations in (25.12) may be termed "general taiji (GT) transformations" for a frame F(x) with a general linear acceleration a(w), which is an arbitrary function of w. In the following discussions, we shall set x£ = 0. The GT transformations for the differentials dx1* and dxj1 can be obtained from (25.12):
dw] =v(Wadw + pdx), dx! =Y(dx + pWbdw), dy! = dy, d z I = d z ;
1N ax + —
W a = Y 2 ax + —
V
a Yo
TS.
(25.13)
Je(w) ; 0 . P«2Yo
The invariant interval ds2 in GLA frames can be obtained from (25.13), ds 2 = g„ v dx^dx v ,
gOO=W2,
(25.14)
g01=gl0=U,
Je(w)
WZ Y2
2 2 a Yo
g l l = g22 = 8 3 3 = - l .
•0,
U = Je(w) 2 2 a Yo
Mathematically, transformation (25.13) can be obtained by making the replacement (dw, dx) -* (dw*, dx*)=(W*dw, dx-Udw), where W* = Y2(ax + l / Y o ) , and then performing a 4-dimensional rotation in the w-x plane with y and z axes fixed:
dw] = y(dw * +(Sdx*),
dw* = W * dw,
394
dx] = y(dx* +pdw*),
dy] = dy,
dx* s dx - Udw.
Principle of Relativity in the Physics of Accelerated
Frames
dz t = dz;
When the jerk J e (w) = da(w)/dw vanishes, we have a(w) = a 0 and one can see that the GT transformation (25.12) reduces to the Wu transformation (25.1) for a constant-linear-acceleration frame Fc(x) in which the time axis is everywhere orthogonal to the spatial coordinate curves. The contravariant metric tensors for a general non-inertial frame can be obtained from (25.14):
„oo
1
w2 + u2'
„oi
„io
U
w2 + u2' (25.15)
g11 _
-W2
W2+U2
„22
„33 _
i
Using (25.14) and (25.15), one can verify that gaTgYfJ = 5g and that all other components vanish. If x£ = 0, the inverse of the GT transformation (12) is found to be
P(W)=WL±POZKYO)J
(25.16)
Xi + l / ( a 0 Y 0 )
y = yi.
z = zi-
a(w)Yo
If a specific function for p(w) is given and one can solve for the time w in terms of p(w), then the first equation in (25.16) can be written in the form w=w(p).
For
example, the simplest generalization of constant-linear acceleration is the case with a constant jerk, J e o =constant or p = J e o w 2 / 2 + a 0 w + p 0 . When w is positive, we have
1 w = — -a0 + TJal + 2Jeo(P-Po) Jeo
Coordinate Transformations for Frames with a General-Linear Acceleration
(25.17)
395
where p = p(w) is given by (25.16), so that we have the transformation for time, W=W(W],X]).
25b.
Physical implications
and discussion
The coordinates x^ specified by the metric tensor in (25.15) for a general-linearacceleration frame are the general taiji (GT) spacetime.
They are the preferred
coordinates for the general taiji transformation with limiting 4-dimensional symmetry.^ Other choices of coordinates will not satisfy the limiting 4-dimensional symmetry. Thus, the present theory of spacetime for general-linear-acceleration frames is not a general covariant theory, in contrast to the general theory of relativity.
Furthermore, the Riemann curvature tensor of the GT spacetime
vanishes, as implied by the GT transformation (25.12). Other physical implications are as follows:
(A) Spacetime-Dependent Speed of Light in Non-Inertial Frames It is known that the law for the propagation of light is ds=0 in an inertial frame. Thus, the propagation of light in a non-inertial frame is described by the same invariant law (25.14) with ds=0. In order to see the property of light in a GLA frame, let us consider some specific and simple cases. Suppose a light signal moves along the x-axis, i.e., dy=dz=0, the speed of light PLX is found to be
dx PLX= —
dw
2/
-2\ Je(w)
= Y (ax + Yo ) + d£^-, 2 2 a
y
dy
dz
„
-r- = -r-
= 0
dw
>
„.,„. (25.18)
dw
which is certainly different from the speed of light PL = 1 (derived from ds 2 = d w 2 - d x 2 = 0 ) in an inertial frame.
If the signal moves in the y-direction, i.e.,
dx=dz=0, eq. (25.14) with ds=0 leads to the speed of light p L y ,
396
Principle of Relativity in the Physics ofAccelerated Frames
dy PLy = -t. • dw
/
\ 1 ax + —
.
Yo
Je(w) 22 a Yo
•fk=_dz. = o . dw dw
(25.19)
(B) The Velocity-Addition Laws in Non-Inertial Frames In general, the law for velocity addition can be obtained from (25.13),
dxj dwj
d x / d w + pWb Wa+pdx/dw '
dy, dwj
Y (W a +pdx/dw)'
dy/dw
(25.20)
dzj dw[
dz/dw v(Wa + pdx/dw)
In particular, if pL = d x i / d w j = 1 , then the velocity-addition law (25.20) leads to the same spacetime-dependent speed of light (25.18) in GLA frames.
(C) The General Taiji Group Let us consider two other GLA frames F and F", which are respectively characterized by arbitrary velocities p'(w'), p"(w"), initial accelerations a' 0 ,a" 0 , and initial velocities p' 0 ,p" 0 - We have GT transformations among Fj, F, F' and F". One can show that the GT transformation between F'(x') and F"(x") has the same form as that for F and F frames. Other group properties can also be verified. Thus, the general taiji transformations form a group, which may be called 'general taiji (GT) group.'10
This GT group involves one arbitrary acceleration
function a(w) and two parameters, i.e., the initial acceleration a 0 and the initial velocity p 0 . The GT group includes the Wu and M0ller groups (for constant linear accelerations) and the Lorentz and Poincare groups as special limiting cases. (D) Physical Time in Inertial and Non-Inertial Frames The usual time t (measured in seconds, for example) and the universal constant c (measured in m/s) do not exist within this theory in general.
The
physical time w, called taiji time, has the dimension of length and can be realized
Coordinate Transformations for Frames with a General-Linear Acceleration
397
physically by 'computerized clocks'^ (see chapter 18). Since the variable speed of light is given by the function (25.18), it is very complicated to use such a nonconstant speed of light to synchronize clocks in a GLA frame F(w,x,y,z). However, it is not necessary in general to use light signals to synchronize clocks. 2 One can use a grid of 'computer clocks' in F to realize the taiji-time w. A computer clock can accept information concerning its position in the F[ frame, obtain W] from the nearest Fj clock, and then compute and display w using the inverse transformation of (25.12).
In the case of constant jerk, we have the transformation of time w
(25.17), which includes the transformation of time, w = Y0(W] - p0Xi) in relativity theory as a special limiting case when J e o -» 0, and a 0 -» 0. In a GLA frame, time w is restricted by p2(w) < 1 and space is limited by x > - l / ( a ( w h o . as shown in (25.12) and (25.16).
(E) Classical Electrodynamics in Inertial and Non-Inertial Frames Let us consider classical electrodynamics in GLA Frames. For a continuous charge distribution in space, the invariant action for the electromagnetic fields and their interaction is assumed to be
Sem— f L f + ^ v f ^ f s d \
,
-£g = J-detg^
(25.21)
/
1
=VW 2 + U 2 = Y 2 ax + — >o, Y2,
f|iv ~~ ^V a v ~^v a n
—
^nav ~^v a n'
where D v denotes the partial covariant derivative.
The most general Maxwell
equations for both inertial and non-inertial frames can be derived from the action S
398
Principle of Relativity in the Physics ofAccelerated Frames
(F) Truly Universal Constants in Both Inertial and Non-inertial Frames Since the speed of light c in an accelerated frame F is no longer a universal constant, the invariant action for a charged particle moving in the electromagnetic 4-potential a^x) in a GLA frame is assumed to be
S= f
f-mds-ea^dx 1 "] ,
e = -1.6021891xl(r20-\/4^g-an,
(25.22)
where e is the electric charge. The action S is formally the same as that in a CLA frame. ^ Following the same reasoning as that for CLA frames, 2 the truly universal and fundamental constants in both inertial and non-inertial frames are the quantum constant, J =3.5177293xlO~ 38 g-cm, and the electric charge given by (25.22) [or a e = e 2 /(4rcJ)
=1/137.036].
It is interesting that these universal
constants for non-inertial frames with general-linear-accelerations turn out to be precisely the same as those in taiji relativity, which was formulated solely on the basis of the first principle of relativity. 5
(G) Generalized Klein-Gordon and Dirac Equations for Non-inertial Frames The general Klein-Gordon and Dirac equations for both inertial and noninertial frames are
g^ v (iJD ( i -ea^)(iJD v -ea v )-m 2 <|> = 0,
jrfi(ia[i-ea(i)x11+iij(a^r^)ti)+|(a[ilnV^g)ijr^-m^ = 0,
where f r l \ r v i = 2gM'v(x).
(25.23)
(25.24)
The Dirac equation (25.24) can be derived from a
symmetrized Lagrangian.H
Coordinate Transformations for Frames with a General-Linear Acceleration
399
1.
For early discussions of spacetime transformations for accelerated frames, see A. Einstein, Jahrb. Rad. Elektr. 4, 411 (1907); L. Page, Phys. Rev. 49, 254 (1936); C. Ntoller, Danske Vid. Sel. Mat. Fys. 20, No. 19 (1943); T. Fulton, F. Rohrlich and L. Witten, Nuovo Ciment, XXVI, 652 (1962) and Rev. Mod. Phys. 34, 442 (1962); E. A. Desloge and R. J. Philpott, Am. J. Phys. 55, 252 (1987).
2.
For more recent discussions based on limiting 4-dimensional symmetry, see Jong-Ping Hsu and Leonardo Hsu, Nuovo Cimento B 1 1 2 , 575(1997) and Chin. J. Phys. 3 5 , 407 (1997); 4 0 , 265 (2002). Jong-Ping Hsu, Einstein's Relativity
and Beyond
- New Symmetry
Approaches,
(World Scientific,
Singapore, 2000), Chapters 21-23. 3.
C. M0ller, Danske Vid. Sel. Mat. Fys. 20, No. 19 (1943); see also The Theory
4.
See ref. 2 and Jong-Ping Hsu and Leonardo Hsu, in JingShin
of Relativity (Oxford university press, 1952), Chapter VII. Theoretical
Physics Symposium in Honor of Professor Ta-You Wu (Editors J. P. Hsu and L. Hsu, World Scientific, 1998) pp. 393-412. 5.
Such a taiji time w appears naturally in the theory of spacetime for inertial frames based solely on the first postulate of relativity, without making any postulate regarding the speed of light. See Jong-Ping Hsu and Leonardo Hsu, Phys. Lett., A196, 1 (1994) and ref. 2
6.
See, for example, Ed. J. P. Hsu and D. Fine, 100 Years of Gravity and Accelerated Frames—The Deepest Insights of Einstein and Yang-Mills (World Scientific, 2005) pp. xix-xxxvii and Chapters A, C, and D.
7.
The generalization with this replacement a 0 -» a(w) (for the accelerations in the denominators of (25.9) and (25.10)) is crucial. Mathematically, this replacement implies that the two variables w and x in W(w,x) cannot be separated.
In contrast, a general transformation for GLA frames was
discussed in a previous paper based on the separation of w and x in W(w,x). See J. P. Hsu, in FRONTIERS OF PHYSICS AT THE MILLENNIUM, SYMP (Ed. Y. L.
400
Principle of Relativity in the Physics of Accelerated Frames
Wu and J. P. Hsu, World Scientific, 2001). The generality in this conference paper turned out to be restricted and hence, not completely satisfactory because
the
additional
assumption
of
separation
of
variables,
W(w,x)=Wi(w)W2(x), prevents the general-linear-acceleration transformation from being full realized. 8.
Note that although both transformations in (25.12) and (20.3) involve an arbitrary function p(w), the factor [X+1/(CX(W)YO)] that [x+l/(a 0 Yo)]
in
in
(25.12) differs from
(25.3). Following the steps in (19.30)-(19.31) and using
(25.13H25.14), one can show that (dp^/dxj) x =(m/ Y pW b )d( Y W a /W)/dw^ constant, for a particle at rest in the accelerated frame F. This result is in sharp contrast to constant (dpjVdx^x in (20.21). 9.
This is analogous to the fact that Cartesian coordinates are the preferred coordinates for the Lorentz transformations.
10.
Jong-Ping Hsu, Chin. J. Phys. 40, 265 (2002).
11.
Such a Lagrangian involves (iJ/2) [apr^a^^ - (3^1(3)^^].
r^ can be related to
the constant Dirac matrix va by I4* = yae£, where the tetrad, e£, a=0,l,2,3, is a set of four mutually orthogonal unit vectors.
In field theory with the
Poincare or the de Sitter group as the gauge group, the gauge invariant Lagrangian must have the tetrad as a 'scale gauge field,' in addition to the usual gauge fields. See J. P. Hsu, Phys. Lett. 119B, 328 (1982).
Coordinate Transformations for Frames with a General-Linear Acceleration
401
26. A Taiji Rotational Transformation with Limiting 4-Dimensional Symmetry 26a. A smooth connection between rotational and inertial frames The 4-dimensional symmetry framework is the foundation of relativity theory and is perhaps the most thoroughly tested symmetry principle in the 20th century. It is the mathematical manifestation of the Poincare-Einstein principle of relativity, i.e., the 4-dimensional symmetry (or invariance) of physical laws, which is extremely powerful in helping us to understand physics. 1 The power of 4-dimensional symmetry will be demonstrated by an analysis from the novel viewpoint of rotating non-inertial frames. "Is it conceivable that the principle of relativity also holds for systems which are accelerated relative to each other?" This was the question the young Einstein asked in 1907.2 The answer to Einstein's question is affirmative only in a limiting sense because any non-inertial frame must reduce to an inertial frame in the limit of zero acceleration, as discussed in section 18a. This indicates that the 4-dimensional symmetry of physical laws must hold in the limit of zero acceleration for all non-inertial frames. We call this the principle of limiting 4-dimensional symmetry. As we have seen in previous chapters, we are able to obtain a "minimal generalization" of the Lorentz transformation for noninertial frames with constant-linear-accelerations. A "minimal generalization" means that the resultant equations involve a minimal departure from the limiting case of zero acceleration. The resultant spacetime transformations for frames with constant-linear-acceleration have shown that a "constant acceleration" is better defined relativistically as a constant change in a particle's energy per unit distance traveled rather than the traditional definition of the rate of change of velocity with time in an inertial frame or laboratory. In this chapter, we show that the affirmative answer to Einstein's question also holds in a limiting sense for rotational frames. 3 The principle of
402
"limiting 4-dimensional symmetry" enables us to obtain a satisfactory minimal extension of the conventional classical rotational transformation to a frame whose origin moves in a circle of non-zero radius around a fixed point in an inertial frame.
Our results are consistent with high
energy
involving unstable particles in a circular storage ring
experiments
and are smoothly
connected to the 4-dimensional transformations for inertial frames in the limit of zero acceleration.
Furthermore, they turn out to support Pellegrini-Swift's
analysis of the Wilson experiment, 4 in which they pointed out that rotational transformations cannot be locally replaced by Lorentz transformations. 26b. A taiji rotational transformation with limiting
4-dimensional
symmetry Suppose Fi(wI)xi,yi,Zi) is an inertial laboratory frame and F(w,x,y,z) is a non-inertial frame whose origin moves in a circle of radius R around the origin of Fj with an 'angular velocity' Q in such a way that the y-axis of the F frame always points to the origin of F^x^). Physical quantities without the subscript "i" are those measured by observers in the orbiting frame F(w,x,y,z). In our discussions, we use Wi and w, respectively, as the evolution variables in ¥i and F. As previously described, this 'time' w can be physically realized in an orbiting frame without relying on light signals.
To avoid
confusion, let us call w the "taiji time" which will reduce to Einstein time in the limit of zero acceleration. An operational meaning for w will be given later. Based on limiting 4-dimensional
symmetry considerations
and
the
classical rotational transformation W] = w,
X; = xcos(Qw)-ysin(Qw), (26.1)
yi = x sin(Qw) + y cos(Qw),
Zj = z;
we write the general rotational transformation for F^x^) and F(xV) in the form: W! = Aw + Bp-p,
xj = Gxcos(FQw) - E(y - R) sin(FQw),
y! =Ixsin(FQw) + H(y-R)cos(FQw),
zI=z;
A Taiji Rotational Transformation
(26.2)
403
p=(x,y),
S = (x, y-R), p = £ J x S ,
Q = (0,0,fi).
Note that the constant 'angular velocity' Q is measured in terms of w by observers in F:
Q--ZZ-. dw
(26.3)
Thus, the angular velocity Q has the dimension of inverse length and hence, the 'velocity' p = QxS and Qw are dimensionless. The functions A, B, E, F, G, H and I may, in general, depend on the coordinates x^ and will be determined b y the limiting 4-dimensional symmetry principle. In the limit R-*0 and small Q (or IQxSI=p«l), transformation (26.1) should reduce to the classical rotational transformation (26.1). Thus, we have -E-G-H-I-l,
F-l,
for small Q.
(26.4)
Furthermore, when R=0, the rotational transformation (26.1) must exhibit an x-y symmetry. This implies that -E = G = H = I;
for R = 0.
(26.5)
On the other hand, in the limit where R-»<x> and Q-»0 such that their product RQ = p 0 is a non-zero constant velocity along the xi-axis, (26.1) must reduce to the 4-dimensional form
Wl
=Y 0 (W + P 0 X),
^ =Y 0 (X + P 0 W),
yi-y,
zI=z;
(26.6)
Note that we have yY = -oo instead of y{ = y because R+»<*> in this limit. Finally, the existence of the limiting spacetime transformation should hold for both finite and differential
forms of the transformation.
have the well-defined differential form,
404
Principle of Relativity in the Physics of Accelerated Frames
Thus, we also
dw] = v0(dw + p 0 dx),
dxj = -y0(dx + p 0 dw),
dyj = dy,
dz t = dz.
(26.7)
The limiting requirements in (26.6) and (26.7) lead respectively to
and
A = B = G = -EF = y0,
(26.8)
H = 1.
(26.9)
These limiting 4-dimensional symmetry relations in (26.5), (26.8) and (26.9) do not lead to a unique solution for the unknown functions.
This situation is
analogous to the case in which gauge symmetry does not uniquely determine the electromagnetic action 5 and one must in addition postulate a minimal electromagnetic coupling. Here, we postulate the minimal generalization of the classical rotational transformation (26.1). Based on the relations in (26.5), (26.8) and (26.9), it is natural for our transformation to have the following two properties: (i) The functions A, B, G, I and - E are simply extended from Y 0 =(l-p 0 2 )- 1 / 2 to y = ( l - p 2 ) - 1 / 2 , where p=S£2, for non-vanishing 'angular velocity' £2 and finite R. (ii) Only the function H depends on R, i.e., H =y for R = 0 and H = 1 for R-»oo. Thus, the limiting relations (26.5), (26.8), (26.9) together with the requirement of a minimal generalization of (26.1) lead to the simplest and the most natural solution for the unknown functions in (26.1): A = B = G = I =Y=(1-P2)-1/2,
E = -Y, (26.10)
F-l,
rR/Ro) H =(1+R/Ro)
where p= IQXSI < 1 and H is also obtained by requiring it to be the simplest function involving only the first power of Y- AS we shall see below, this simplest solution (26.10) turns out to be consistent with all existing experiments of particles'
energy-momentum
in high energy
accelerators
involving
rotational motion. The exact general rotational transformation of spacetime is thus given by (26.1) and (26.10) wi = Y(W + p-p ) = Y(W + xRQ),
xi = Y[xcos(Qw)-(y-R)sin(Qw)], (26.11)
A Taiji Rotational Transformation
405
yi = y[xsin(Qw) + (H/y)(y-R)cos(Qw)],
Z\ = z.
It is necessary for A, B, G, I and -E in (26.2) to approach y in the limit R-><*> so that
the
rotational
spacetime
4-dimensional symmetry.
transformation
satisfies
the
limiting
To avoid confusion, let us call (26.11) the "taiji
rotational transformation" in which wi and w are the evolution variables. us call (w,r) the 'limiting
Cartesian coordinates'
Let
to distinguish them from the
usual Cartesian coordinates (wi,ri). The metric tensor g^ v for the space of a rotating frame is given in (26.19) below. The presence of the y-factor and the 'scaling factor' H in (26.11) are new properties implied by the
limiting
4-dimensional symmetry. It is tedious but straightforward to show that the set of taiji rotational transformations (26.11) form a "taiji rotational group" which includes the Lorentz group as a special case. 26c.
Physical
properties
of
the
taiji
rotational
transformation
Presumably, the physical effects related to the terms R/Ro in (26.10) can be observed only in rotational motion with a large R. When the term R/Ro is small and negligible, H / y - 1 .
In this case, the taiji rotational transformation
(26.11) become very simple and closely resembles the classical form (26.1). I n fact, all previous rotational experiments have been performed under the condition R=0. It appears that this approximation is sufficient for experiments in Earth laboratories.
From now on, we shall ignore R/Ro so that (26.11)
becomes W] = y(w +p-p ) = y(w + xRQ),
xj = y[xcos(Qw)-(y-R)sin(Qw)], (26.12)
yi = y[xsin(Qw) + (y-R)cos(Qw)],
Z\ = z .
The inverse transformation of (26.12) is then w = (wj -yxRQ)/y ,
x = [xj cos(Qw) + yi sin(Qw)]/y, (26.13)
y - R = [-xj sin(Qw) + yi cos(Qw)] / y,
406
z = Z\.
Principle of Relativity in the Physics of Accelerated Frames
We stress that the exact taiji rotational transformation (26.11) can only be expressed by using the limiting
Cartesian coordinates
for the rotating frame F
and cannot be written in terms of say, cylindrical coordinates, in sharp contrast to the conventional classical rotational transformation. This property is dictated by the limiting 4-dimensional symmetry and is analogous to the fact that Cartesian coordinates are preferred in the Lorentz transformation. In order to discuss experimental results, it suffices to concentrate on t h e special case R=0 of (26.11): wi = yw,
xj =Y[xcos(Qw)-ysin(Qw)],
zI=z;
y- ,
1
,
yi =Y[xsin(Qw) + ycos(Qw)],
p = pQ.
(26.14)
Let us compare the taiji rotational transformation (26.14) and the classical rotational transformation (26.1): (A) The taiji rotational transformation and the Lorentz transformation are both exact and consistent with four-dimensional symmetry. In contrast, the classical rotational transformation (26.1) and the Galilean transformation
are
only approximately true to the first order in the 'velocity' p. (B) The taiji rotational transformation (26.14) predicts that the length 2
2 1/2
a rotating radius (x + y )
of
is contracted by a y factor:
x 2 + y 2 = 7 2 [ x 2 + y 2 ],
(26.15)
i n d e p e n d e n t of the variables w and wj.
If
one replaces
a
rotational
transformation during a very short time interval by a Lorentz transformation, one would be led to a completely different conclusion, namely, that a rotating radius does not contract because it is always perpendicular to the direction of motion.
The property (26.15) is interlocked with the flat spacetime of t h e
rotating frame, as shown in (26.14). (C) For a fixed y, (26.14) gives Ati = yAt which is independent of the spatial distance between two events, if we set w = ct and wi = cti. That is, clocks at rest relative to a rotating frame and located at a distance p = (x 2 + y 2 ) 1 / 2 from the
A Taiji Rotational Transformation
407
center of rotation slow down by a factor of y = (1 - p 2 ) _ 1 / 2 in comparison with clocks in the inertial frame Fi. Because there is no relativity for accelerated frames, this is an absolute effect in that observers in both ¥\ and F agree that it is the accelerated clocks that are slowed. This effect is implied by the limiting four-dimensional symmetry. Certain properties of the taiji rotational transformation (26.14) have been confirmed
by high-energy particle kinematics experiments and "lifetime
dilatation", 6 as we shall see later. In a sense, the unexpected relation (26.15) has been indirectly verified because the confirmed results (see equations in (26.31) and (26.32) below) are intimately related to the presence of the y factors i n (26.14) and, hence, (26.15). 26d.
The metric tensors for the spacetlme of rotating
The transformation of the contravariant 4-vectors
frames
dx{l=(dwi,dxi,dyi,dzi)
and dxtMdw^x.dy.dz) can be derived from (26.11) dw] = y[dw +(Y2£22wx)dx + (Y2Q2wy)dy], dxj = y{[ COS(QW) + Y2£22X2 cos(Qw) - y2£32xy sin(Qw)]dx
-[sin(Qw) + Y2£22y2 - Y2&2xy]dy - [Qxsin(Qw) + Qy cos(Qw)]dwl,
dyi = Y{[ sin(Qw) + i2Q2x2 sin(Qw) + y2Q2xy cos(Qw)]dx
+[cos(Qw) + Y2Q2y2 cos(Qw) + Y2Q2xy sin(Qw)]dy
+[Qx cos(Qw) - Qy sin(Qw)]dwl,
dzT = dz.
408
Principle of Relativity in the Physics of Accelerated Frames
(26.16)
To find the metric tensor g^v in the rotating frame F with R = 0, it is convenient to use (26.11) to write ds2=dwi2 - dxj2 - dyi2 - dzj2 in the following form first: ds 2 =d(vw)2 -(x 2 +y2)Y2Q2dw2 -d(Yx)2 -d(vy)2 -dz 2 +2yQyd(Yx)dw - 2QYxd(yy)dw.
(26.17)
Then with the help of the relation dy = Y3£22(xdx+ydy), (26.17) can be written as ds2 = gRVdx^dxv,
n, v = 0, l, 2,3;
(26.18)
where the non-vanishing components of g^v are given by goo-L
gii—Y2[l + 2 Y 2 Q 2 x 2 -Y 4 Q 4 x 2 (w 2 -x 2 -y 2 )],
g33=-l>
g22 = -y2 1 + 2Y2Q2y2 - Y 4 QV(w 2 - x2 - y2) (26.19)
goi - Y2[£2y + Y2Q2wx],
gl2=-Y
4
go2 = Y2[-"x + Y2£22wyl,
Q2xy2-Y2Q2(w2-x2-y2)|.
The contravariant metric tensor g^v is found to be g 0 0 =Y- 2 [l-a 4 w 2 (x 2 + y 2 )] ,
g33--l,
g11 = - Y - 2 [Y" 2 (1 - Q2x2) - 2Y_2Q3wxy + Q6w2y2(x2 + y 2 )l
g22 =- v - 2 [ Y - 2 (l-Q 2 y 2 ) + 2Y-2Q3wxy + Q6w2x2(x2 + y2)],
A Taiji Rotational Transformation
(26.20)
409
g 0 1 = - Y " 2 - Q y - Y~ 2 Q 2 WX + Q 5 w 2 y ( x 2 + y 2 ) ,
g 0 2 = -Y" 2 [QX - Y_2Q2wy - Q 5 w 2 x(x 2 + y 2 ) I,
g 12 = Y-2[Y"2£22xy - Y" 2 Q 3 W(X 2 - y 2 ) + Q 6 w 2 xy(x 2 + y 2 ) 1.
The components of this tensor can be obtained using
t h e momentum
transformation (26.29) below and the invariant relation, pi v Pi v = g^P^Pv All other components in (26.19) and (26.20) are zero. Indeed, we have also verified g^xgXv =6vn based on (26.19) and (26.20). 26e.
The invariant action for electromagnetic fields particles
in rotating frames
and charged
and truly fundamental
We are now able to write the invariant action Sem in
a
constants
rotating frame for
a charged particle with mass m and charge e moving in the 4-potential a^:
Sem = / [ - m d s - e a ^ - i f ^ v ( - d e t g a p ) 1 / 2 d 4 x ] ,
fnv-'Vv-^vV
ax—S--,
(26.21)
(26.22)
where ds is given by (26.18) and (26.19). Each term in (26.21) must have t h e same dimension of mass-length. In other words, ea„ must have the dimension of mass. This can be satisfied if e and a„ are related to the usual charge e measured in electrostatic units (esu) and the usual 4-potential A^ in special relativity (SR) by the relation
e = - = -1.6021891xl0- 2 0 V4^ (g cm) 1 7 2 ,
410
Principle of Relativity in the Physics of Accelerated Frames
(26.23)
a^w.r)-
A^(t,r) SR
where e/c is in Heaviside-Lorentz
units
and
the
symbol
*» denotes
correspondence. If one directly uses w as the evolution variable and does not set electric c h a r g e 7 for rotating frames is
w=ct in (26.21), then the truly universal e
which happens to be the same as the charge measured in electromagnetic
unit (emu). Also, the potential a^ has the dimension ( g / c m ) 1 / 2 , so that e a f has the correct dimension of mass. The Lagrange equation of motion of a charged particle can be derived from (26.21). We obtain
^
= ef^vu\
u
v
~ .
Un = g^vU\
(26.24)
where Du^= u w v dx v , and ;v denotes covariant differentiation with respect to x v . Starting with the invariant action (26.21) and replacing the second term with
- J a / ^ - d e t g x p d4x
(26.25)
for a continuous charge distribution in space, we obtain the invariant Maxwell equations in a rotating frame
fv;v-f.
^ + 3 ^ +3 ^ = 0 .
(26.26)
Based on gauge invariance and the taiji rotational invariance of the action (26.21), the electromagnetic potential must be a covariant vector a (l i n non-inertial frames.
Since the force F and the fields E and B are naturally
related to a change of the potential a^ with respect to a change of coordinates (i.e., x^, by definition), the fields E and B are naturally identified with components of the covariant tensor f^
as given by (26.22) in non-inertial
A Taiji Rotational Transformation
411
frames. Equation (26.22) can also be written in terms of partial covariant derivatives, f^ = a ^ - ava^ = a ^ - a ^ , and the metric tensor g^v behaves like a constant under covariant differentiation, gnV;n = 0. 26f.
The 4-momentum and the 'lifetime dilation' of a particle at r e s t in a rotating frame
Although the speed of light is not a universal constant in a rotating frame F, we still can formulate a covariant four-momentum p ^ = (p 0 , pO b y using w, with the dimension of length, rather than the more traditional t, with the dimension of time, as the evolution variable in the Lagrangian formalism. From the invariant action Sf =-/mds =JLdw for a 'non-interacting particle' with mass m in the rotating frame F, we have the spatial components of the covariant four-momentum,
P i = - ^ = m g v i ^ - = gvipv, av1 ds L
1 = 1,2,3;
(26.27)
=- m Vv v ^ v V -
where L and p; both have the dimension of mass and v^ > dxM/dw= (l,v'). The zeroth component p 0 (or the Hamiltonian) with the dimension of mass is defined as usual
Po = v l — - L = m g v 0 - ^ - = g v 0 p v . av1 ds
(26.28)
The taiji rotational transformation of the differential operators a/dx^ and d/dxv- can be calculated from the inverse of (26.16). The covariant momentum p^ has the same transformation properties as the covariant differential operator d/dxv-. This can also be seen from the quantum-mechanical relation p ^ a / a x K Thus, we have
412
Principle of Relativity in the Physics of Accelerated Frames
PIO - Y 1 ( p o + ^ y p i - " x p 2 ) ,
Pn = -Y"2£22WXI po +v"2 vcos(Qw)-Q 2 xix-Q 3 wxiy raj
+Y~2 -Y sin(Qw) - Q2xjy + Q3wX]X p 2 ,
Pi2 = [-Y~2a2wyi]p0 + y'21 Y sin(Qw) - Q2yTx - Q3wyjy L
+Y"2 Y cos(Qw) - Q 2 yiy + Q 3 wyixlp 2 ,
(26.29)
Pl3=P3Let us consider t h e kinematical properties of a particle.
Suppose a
1
particle is at rest in the rotating frame F, so that dx = 0 and hence, ds = dw. Based on p v =mdx v /ds in (26.27), the contravariant momenta are p* =0, i= 1,2,3, and p° = m. In this case the covariant momenta of this particle in F are P! = my2(Qy + Y2£32WX) ,
p 0 = m,
(26.30) 2
2
2
p 2 = mY (-Qx + Y Q wy),
p 3 = 0.
This difference between p ^ and p ^ is due to the presence of the metric tensor components goi and go 2 . Its covariant momenta, as measured in an inertial frame Fi, are given by (26.29)-(26.30):
Pio = ym,
pn = niY[Qxsin(Qw) + Qy cos(Qw)], (26.31)
Pi 2 = -mY[Qxcos(Qw)-Qysin(Qw)l ,
pj3 = 0.
It is gratifying that the expression for the energy of a rotating particle Pio in (26.31) agrees with the results of high energy experiments performed i n
A Taiji Rotational Transformation
413
an inertial
laboratory
frame
Fj.
If one uses 2
the
classical
rotational
2
transformation (26.1), one would obtain pio =m(l+ p Q ) for the energy of such a particle at rest in F, which is clearly inconsistent with high
energy
experiments. For the decay of a particle orbiting in a storage ring, the particle can be considered to be at rest in the frame F. The taiji rotational transformation (26.14) gives
Awj = yAw,
y= I
p = pQ.
(26.32)
Since w and W] both have the dimension of length, (26.32) can be understood as the dilation of the decay length which is the quantity that is directly measured in experiments measuring the dilation of the decay lifetime of muons in flight in a storage ring. 6 Again, this is an absolute effect in that observers in both Fi and F agree that it is the accelerated muons whose mean decay length is dilated. If one replaces a rotational transformation during a very short time interval by a Lorentz transformation, one obtains the same expression for the time interval Ati= yAtj or, AW[ = vAwj with wi =ct[ and wj = ctj, by imposing the condition Ax'i =0 for the two events.
There is a conceptual difference however, as the time
dilatation effect implied by the Lorentz transformations is relative rather than absolute. In this connection, we note that the relation wi = w for any p = pQ * 0 in the classical rotational transformation (26.1) is inconsistent with the muon experiment in a storage ring. The new transformation (26.11) has several advantages for purposes of analyzing physical phenomena in rotating reference frames. relative
to the
Lorentz
transformation
is
that
since
One advantage we
transformation from first principles, there are no conceptual
derive
our
difficulties
arising from the improper use of a transformation designed to treat only inertial reference
frames.
Secondly, the coordinates involved
in
our
transformation are physically meaningful and operationally defined.
In
contrast, the arbitrary coordinate systems devised for non-inertial frames based on general relativity have, in general, no correspondence with physically measurable distances and times.8
414
Principle of Relativity in the Physics of Accelerated Frames
References 1.
C. N. Yang, "Einstein's impact on theoretical physics", Physics Today, June
2.
A. Einstein, Jahrb. Rad. Elektr. 4, 411 (1907).
3.
Jong-Ping Hsu a n d
1980, pp. 42-49.
Symposium
Leonardo Hsu, in
JingShin
Theoretical
Physics
in Honor of Professor Ta-You Wu (Ed. J. P. Hsu and L. Hsu, World
Scientific, Singapore; New Jersey.) pp. 393-412; see also Nuovo Cimento B 112, 575 (1997); and Leonardo Hsu and Jong-Ping Hsu, Nuovo Cimento B 112, 1147 (1997). 4.
G. N. Pellegrini and A. R. Swift, Am. J. Phys. 6 3 , 694-705 (1995) and
5.
J. J. Sakurai, Invariance
6.
F. J. M Farley, J. Bailey and E. Picasso, Nature 217, 17-18 (1968).
references therein. Principles
and Elementary
Particles,
Princeton
Univ. Press, 1964) p. v, pp. 3-5, and p. 10. 7.
Jong-Ping Hsu and Leonardo Hsu, Phys. Letters A 196, 1 (1994).
8.
We quote from Moller "We note that in the usual covariance formulation, it is admissible to use coordinate clocks of an arbitrary rate, provided that the time t defined by these coordinate clocks gives a reasonable chronological ordering of events.
Also, for non-inertial frames, the space and time
coordinates are arbitrary and lose every physical significance in the covariance formulation."
(C. M0ller, The Theory
of Relativity
(Oxford,
London, 1969) p. 226).
A Taiji Rotational Transformation
415
27. Epilogue We end this account of a broader view of relativity by summarizing the general physical implications of Lorentz and Poincare invariance, including an overview of different relativity theories and their relationships (as shown in Figure 27.1) and several generalizations of the spacetime
transformation
equations to include frames with a general linear acceleration (as shown in Figure 27.2). In his well-known book, The Theory of Relativity,! Pauli discussed the following interesting question 'Could one not avoid such radical deductions with experiment, retaining
by rejecting the constancy
and yet retain of the velocity
agreement of light and
only the first postulate? '
This question has been raised independently by W. Ritz, 2 Tolman,3 Kunz 4 and Comstock.5
Our answer to this question is unambiguously affirmative,
in
contrast with the previous answers given by Pauli and others. The PoincareEinstein principle of relativity (i.e., the form of a physical law is the same i n any inertial frame) is indeed a fundamental and necessary component of any theory if it is to correctly explain and predict phenomena in the physical world. In particular, we have shown that the theory of taiji relativity can be formulated solely on the basis of the first principle of relativity, i.e., the Poincare-Einstein principle, without assuming the constancy of the speed of light. Einstein's second postulate of special relativity, namely that the speed of light c is a universal
constant, is not
a necessary
component of
an
experimentally consistent theory, according to our analysis of taiji relativity. Although the constant c has been described as "the foundation stone of Einstein's special t h e o r y of relativity"^ and "so i m p o r t a n t in the
four-
dimensional picture, [playing] such a fundamental role in the special theory of
416
relativity...that it has to be fundamental," 7 the particular
definitions
and second that lead to c being a universal constant are not crucial or parts of a relativistic
theory.
of
meter
necessary
Alternative definitions for the unit of time, such
as that for the common-second under which c is not a universal constant, also lead to experimentally consistent theories. The understanding of this property is crucial for understanding the primacy of the Poincare-Einstein principle of relativity or the Lorentz and Poincare invariance. Furthermore, such an understanding enables one to see the big picture of relativity theories, as shown in Figure 2 7 . 1 , which was hidden beneath the relationship between
the
principle of relativity and our concept of time. Once the spacetime properties of inertial frames and the n a t u r e of physical laws in those frames are understood, the next question we can ask is Can the principle of relativity be used as a limiting principle understanding the physics of accelerated frames?
for
In other words, can one
generalize the Lorentz transformations for inertial frames to non-inertial frames with linear accelerations or rotations?
Which physical constants of
inertial frames remain constants in non-inertial frames? We have seen that we can answer these questions as well.
Based on
limiting Poincare and Lorentz invariance, we have obtained and discussed some of the simplest generalizations of the Lorentz transformation to non-inertial frames with constant-linear-accelerations
and
general-linear-accelerations.
(See Figure 27.2.) It can also be used to derive a relativistic transformation for rotating coordinate systems. These results suggest that the physical laws and taiji spacetime of non-inertial frames are more closely related to the limiting Poincare
and
Lorentz
invariance
than
to general
relativity
with
the
gravitational field equation and the equivalence principle. It is natural to hope that basic physical theories of the future can be formulated and understood on the basis of a unified spacetime transformation for both inertial and n o n inertial frames. From this viewpoint, the physics of Yang-Mills fields, matter fields and gravitational field in non-inertial frames, especially the quantum aspects of fields, is far from being understood.
This presents an ongoing challenge to
physicists and mathematicians.
Epilogue
417
Nevertheless, we can already see certain basic aspect of physics in the future. Truly universal constants should be inherent characteristics of the physical world, independent of human convention. Therefore, they should be the same in all relativity theories and should be universal in both inertial and non-inertial frames of reference. According to this criterion, the constants J and e (or a e = e 2 /J »1/137) in quantum electrodynamics are truly universal, while h and c are not. This result has been substantiated by the generalization of quantum electrodynamics for inertial frames to non-inertial frames with a linear acceleration or rotation. Furthermore, we must also take the human convention of physical units into consideration. Inherent constants of nature should be independent of the human conventions of units. It follows that the constant J is not inherent in nature, as shown in Appendix A. The results of these analyses appear to indicate that the only truly universal (and fundamental) constants in physics are the dimensionless coupling constants of Yang-Mills gauge fields and matter fields.8
418
Principle of Relativity in the Physics of Accelerated Frames
References 1.
W. Pauli, The Theory of Relativity
(translated by G. Field, Pergmon Press,
London, 1958) pp. 6-9. 2.
W. Ritz, 'Recherches
critiques sur I'electrodynamique generale', Ann.
Chim. Phys., 13, 145 (1908); [for an English translation, see R. S. Fritzius, in Lorentz
and Poincare Invariance—100
Years of Relativity,
Jong-Ping Hsu
and Yuan-Zhong Zhang (World Scientific, 2001) pp. 196-215.]; 'Sur les theories electromagnetiques de Maxwell-Lorentz', Arch. Sci. Phys. Nat., 16, 260 (1908); 'Du role de l'ether en physique', Riv. Sci., Bologna, 3, 260 (1908) . 3.
R. C. Tolman, Phys. Rev., 30, 291 (1910) and 31, 26 (1910).
4.
J. Kunz, Amer. J. Sci., 30, 1313 (1910).
5.
D. F. Comstock, Phys. Rev., 30, 267 (1910).
6.
D. Halliday and R. Resnick, Fundamentals
of Physics
(3rd. edition, J o h n
Wiley, 1988) p. 543. 7.
P. A. M. Dirac, Sci. Am. 208, 48 (1963).
8.
Perhaps, the gravitational coupling constant -^GN with the dimension of length (in natural units) is an exception, because it may be viewed as the coupling constant in a generalized Yang-Mills field with the spacetime translation gauge group whose generators cannot be represented by constant matrices.
This translation group appears natural for gravity
because spacetime symmetry implies the conservation of the e n e r g y momentum tensor which is the source of gravitational field.
(See Appendix
D.)
Epilogue
419
Special relativity (universal 1-way speed of light)
Common relativity (common time)
Extended relativity (universal 2-way speed of light)
Other relativity theories.
additional postulate
Taiji relativity (the first postulate of relativity only)
Figure 27.1. "Tree" of relativity theories showing the logical connection between taiji relativity, based solely on the Principle of Relativity, and other relativity theories for which an additional postulate has been made.
420
Principle of Relativity in the Physics of Accelerated Frames
Spacetime transformation between two inertial frames (p=p0= constant; Vo = (1-p Q 2)-i/2) W! = Yo (w - P 0 x), x, = Yo (x - P 0 w),
y' = y,
?o - *
z' = z ;
P=P 0 +«o w
V Spacetime transformation between an inertial frame and a frame with a Constant-Linear-Acceleration [P=P 0 +a 0 W,
/
Y=(l_p2)-l/2]
\
W!=vP
yi=y,
Xi=Y "oYo
«oYo
I
aoYo)
Z!=z;,
«oYo
p=p 0 +a 0 w -*• p=p(w) = arbitrary
V Spacetime transformation between an inertial frame and a frame with a General-Linear-Acceleration [ p=p(w) = arbitrary, y = ( 1 - P 2 )" 1/2 ]
WI=YP
,
1 a(w) Y 2 ,
Po «oYo
Xi=Y k
a(w) Y Sj a0Yo
yi = y>
z r =z; :
Figure 27.2. The hierarchy of spacetime transformations between inertial and accelerated frames from least to most general.
Epilogue
421
This page is intentionally left blank
D.
Appendices
This page is intentionally left blank
Appendix A. Systems of Units and the Development of Relativity Theories Aa.
Units, convenience
and physical necessity
"Natural units" is a system of units used widely by theoretical and particle physicists in which the vacuum speed of light c and Planck's constant h are defined to be dimensionless with unit magnitude. All physical quantities are expressed in terms of a power of the same single unit 1 . A desirable feature of natural units is that the equations expressing physical laws are simpler to write down and have fewer constants obscuring the essential physics they embody. One may ask however, if the natural unit system is simply a calculational convenience or whether there is a physical justification for setting c and h to one. In order to connect natural units to the internationally accepted SI system of units, one must be able to define operationally each of the base SI units in terms of one single unit in a physically meaningful way.
For example, one might arbitrarily
decide that 1 meter is equivalent to 5 kelvin, but such an equivalence would not be physically meaningful.
On the other hand, saying that 1 second is equivalent to
299 792 458 meter is physically meaningful because the success of the special theory of relativity has established that space and time are on an equal footing in a four-dimensional spacetime and because the ultimate speed possible in our universe is 299 792 458 meter in one second as measured by our independently defined units of meter and second. This issue of a physical justification for natural units is intimately related to a question which students sometimes ask: "What is the minimum number of units and fundamental constants which are necessary for physics?" In this appendix, we argue that there is indeed a physical basis for the natural unit system.
We discuss possible definitions for all the base SI units in
terms of a single unit and the implications of the natural unit system for the status of constants such as the speed of light c and Planck's constant h.
425
In the following section, we discuss how the dimensions of mass, length, and time can be expressed in terms of the same single unit using the results of special relativity and quantum mechanics. In sections Ac and Ad, we derive definitions for the remaining four "base" SI units in terms of our single unit and discuss units for other common physical quantities. Finally, in section Ae, we discuss the status of some common physical constants in light of the new definitions.
Ab.
Time, length, and mass
Ab. 1 Time and length Prior to the twentieth century, space and time seemed to be completely different entities and thus different units, the meter and second, were invented to measure the two.
From a modern viewpoint however, the theory of special
relativity implies that space and time are not independent and separate, but parts of a four-dimensional spacetime. This view is reflected in the fact that in the SI system, the unit of length, meter, is defined in terms of the unit of time, second 2 . Such a
definition is possible because in
our
physical laws, four
coordinates-three spatial and one temporal-are necessary to specify the spacetime location of an event. Although there is nothing wrong with using different units to express these four quantities it is logically simpler to use the same single unit, either meter or second.
As an analogy, there is nothing wrong with expressing
north-south distances in meters and east-west distances in miles.
Doing so,
however, introduces an extra conversion constant that is clearly artificial and unnecessary.
The mathematical form of physical laws is much simpler when
distances in both directions are expressed using the same unit. The same is true for intervals of both space and time. In order to create a physically meaningful equivalence between the meter and the second, there must be a physical phenomenon that involves both dimensions of length and time. The maximum speed c of a particle with a nonimaginary mass provides a convenient conversion factor between the two units. For practical reasons of precision and reproducibility, the unit of time second is chosen
426
Appendices
to be the base unit in the SI system. The modern (1983) definition of the meter is then "The meter is the length of the path traveled by light in vacuum during a time interval of 1/299792458 of a second." 2
From a purely theoretical point of view,
either the meter or the second could be used as the fundamental unit, with all other units defined in terms of it. In the natural unit system, a unit of length such as the meter is customarily chosen to be the base unit. One could imagine that had the four-dimensional nature of spacetime been understood from the very beginning, we might now only talk about the dimension of length, instead of the dimensions of length and time and only a single unit for both spatial and temporal intervals would have arisen, rather than the two separate units of second and meter. In fact, some textbooks on special relativity 34 purposely write the Lorentz transformations using the same unit for both spatial and temporal coordinates to emphasize this point. Thus, we see that the constant c = 299792458 m / s originates from an incomplete understanding of physics and is merely a conversion factor between the human-defined dimensions of length and time 5 . Although expressing length and time intervals in terms of a single unit may seem more complex because of our familiarity with using both meter and second, a single unit system is simpler from a logical standpoint, since it requires only a single definition for a single unit. Furthermore, since one of the primary goals of physics is to explain the diverse phenomena around us using the smallest possible set of laws, it is also desirable to use the simplest system of units, i.e., one with the smallest number of independent units.
Ab.2
Time and mass At present, the definition of the kilogram, the SI unit of mass, is based on the
international prototype of the kilogram, a cylindrically-shaped object made of a platinum-iridium alloy stored at the International Bureau of Weights and Measures in Sevres, France. This definition is independent of the definitions of the second and meter.
However, just as the four-dimensional symmetry of our universe
indicates that a single unit is sufficient to express both spatial and time intervals, the dual wave-particle nature of matter allows the unification of the unit of mass
Systems of Units and the Development of Relativity Theories
427
with that of time and length. The strength of a particle's gravitational interactions, its resistance to acceleration as a result of an applied force, and the wavelength of a photon with an energy equal to the particle's rest mass are all physically related quantities and thus can be expressed in terms of the same unit. As before, in order to develop a physically meaningful equivalence between the unit of mass and the unit of time (or length), there must be a physical phenomenon involving both types of quantities. energy provides just such a phenomenon.
The equivalence of mass and
When both lengths and times are
expressed using the same unit using the conversion 1 m = 1/299792458 s (i.e., c=l), the relation E = mc2 = m implies that both energy and mass can be expressed in terms of the same unit.
The equation E = m = hv then gives a quantitative
relationship between a particle's mass and the frequency of a photon with an energy equal to the particle's rest mass. Thus we see that, Planck's constant h (=2nh) can be used as a conversion factor between our units of mass and time. Using the fact that 1 meter is equivalent to 1/299792458 of a second, we have h = 6.626... x 10 3 4 J-s = 6.626... x lO 3 4
g m
s = 6.626...xlO
34
2
(
) kg-s = 1 299792458
so that 1 kg is equivalent to 135639274 x 1042 S"1 or similarly, that 1 kg is equivalent to 4.524... x 1041 m 1 . Using h as the conversion factor, the definition "The kilogram is the mass of a body at rest whose equivalent energy equals the energy of a collection of photons whose frequencies sum to 135 639 274 x 1042 hertz" 6 has been proposed for the kilogram. We now see that expressing distances, time intervals, and masses in terms of the same unit is not merely an artificial choice made for purposes of simplifying some mathematical calculations.
Instead, it is a reflection of our understanding
that in our universe, these three quantities are all related in a fundamental way through the four-dimensional symmetry of spacetime and the wave-particle duality of matter.
Expressing all three using the same unit leads to the simplest
mathematical form for physical theories.
428
Appendices
Furthermore, we see that rather than being fundamental constants which are inherent properties or "characteristic numbers" of our universe, Planck's constant h and the speed of light c are merely conversion factors between the different units that humans have invented as a result of an incomplete understanding of physics.
Ab.3
Practical considerations At present, the SI unit kilogram is not defined in terms of atomic quantities
because the stability and reproducibility of the mass of the international prototype of the kilogram is better than that of any atomic standard which we can yet achieve. 6
However, with continuing advances in technology and increasing
precision in measurements 7 , it is only a matter of time before a redefinition in terms of atomic quantities, takes place.
From a theoretical viewpoint however,
there is no need to wait for practical measurements to reach a particular threshold of precision. If the kilogram were to be redefined in terms of the frequency of a collection of photons, one side effect would be the fixing of the value of Planck's constant h. This is analogous to the case where the redefinition of the meter in 1983 had the effect of fixing the speed of light to an exact value, with no uncertainty.
This
further emphasizes the fact that h and c are human inventions, which can be given an exact value, rather than an inherent characteristic of our universe, which one could never measure with infinite precision. While the particular redefinition of the kilogram proposed above has the effect of setting the value of Planck's constant h to one, an equivalent and possibly more desirable definition would be "The kilogram is the mass of a body at rest whose equivalent energy equals the energy of a collection of photons whose angular frequencies sum to 852 246 694 x 1042 s 1 ."
This definition would result in a
corresponding conversion factor of 1 kg = 8.522... x 1050 s"1 = 2.843... x 1042 nr 1 since h, rather than h, would then be the conversion factor. For the remainder of this paper, we will use this alternate definition (i.e., h = c =1) because it is more consistent with the natural units in use today.
Systems of Units and the Development of Relativity Theories
429
Ac.
Other SI base units Although the ability to express lengths, masses, and time intervals using the
same single unit implies that all physical quantities can be expressed in terms of powers of that one unit (see section Ad for a discussion of electric charge), one can also develop corresponding redefinitions for the other base SI units.
The
classification of the ampere, kelvin, candela, and mole as "base" units is a historical one and does not imply that those units are truly independent of the meter, second, and kilogram 8 . For example, the definitions of the ampere, mole, and candela are already dependent on the definitions of the meter, second, and kilogram in the SI unit system.
Ac. 1
Current As stated above, the SI unit of current ampere is already defined in terms of
other base SI units. Thus, its classification as a "base" SI unit is only a historical artifact. The present definition is "The ampere is that constant current which, if maintained in two straight parallel conductors of infinite length, of negligible circular cross-section, and placed 1 meter apart in vacuum, would produce between these conductors a force equal to 2 x 10 7 newton per meter of length." 9 This definition can be rewritten in terms of the unit second as follows: "The ampere is that constant current which, if maintained in two straight parallel conductors of infinite length, of negligible circular cross-section, and placed 1 second apart in vacuum, would produce between these conductors a force equal to 5.683... x 1035 second 2 per second of length." The distance of 1 second used in this definition is of course, much larger than the 1 meter used in the present definition, but a force of 5.683... x 1035 second 2 is equal to 2 x 10"7 newton.
In natural units, a force of 1 s~2 can be interpreted as the
applied force which causes a mass of 1 s-1 (about 1.173 x 10 51 kg) to accelerate at 1 s 1 (about 2.998 x 10 8 m-s 2 ). We derive the conversion factor between ampere and second using the relation
430
Appendices
written in Gaussian units where F/ £ is the force per unit length between two infinite current-carrying wires, Jj and I2 are the currents in the two wires, c is the speed of light, and d is the perpendicular distance between the wires. The relation written in SI units cannot be used because that it is used to fix the value of u.0 and thus leads to an identity. In natural units, c = 1. Inserting 2 x 10 7 newton per meter for ¥/(, 1 ampere for both Jj and I2, and 1 meter for d, we obtain the conversion 1 ampere = 5.331... x 1017 second 1 = 1.778... x 109 meter 1 . Ac. 2
Luminous intensity The candela, like the ampere, is already defined in terms of other SI units.
The definition of the SI unit of luminous intensity is: "The candela is the luminous intensity, in a given direction, of a source that emits monochromatic radiation of frequency 540 x 1012 hertz and that has a radiant intensity in that direction of 1/683 watt per steradian." 10 One candela is thus equivalent to 1/683 watt per steradian for radiation with a frequency of 540 THz (approximately green light with a wavelength of 555 nm). Converting the unit watt to our single base unit, using the conversion factors obtained in section II, we obtain 1 watt = 9.479... x 1033 s 2 = 1.055... x 1017 nr 2 . A new definition expressed entirely in terms of the base unit second would then read "The candela is the luminous intensity, in a given direction, of a source that emits monochromatic radiation of frequency 540 x 1012 hertz and that has a radiant intensity in that direction of 1.388... x 10 31 s-2 per steradian." Thus, 1 candela = 1.388... x 10 31 s 2 = 1.544... x 10 14 nr 2 for 540 THz radiation. Ac. 3
Mole
As with the ampere and candela, the mole is already defined in terms of other units and is not an independent unit.
As a unit, the mole is similar to
Systems of Units and the Development of Relativity Theories
431
"dozen" in that it represents a specific number of individual objects. The present definition is: " l . T h e mole is the amount of substance of a system which contains as many elementary entities as there are atoms in 0.012 kilogram of carbon 12; its symbol is 'mol.' 2. When the mole is used, the elementary entities must be specified and may be atoms, molecules, ions, electrons, other particles, or specified groups of such particles." 11 This definition can be re-written in terms of the unit second as: " l . T h e mole is the amount of substance of a system which contains as many elementary entities as there are atoms in an amount of carbon 12 with an equivalent energy equal to a collection of photons whose angular frequencies sum to 1.023... x 1049 s 1 ; its symbol is 'mol.' 2. When the mole is used, the elementary entities must be specified and may be atoms, molecules, ions, electrons, other particles, or specified groups of such particles."
Ac.4
Temperature
The present definition of the SI unit of temperature is "The kelvin, unit of thermodynamic temperature, is the fraction 1/273.16 of the thermodynamic temperature of the triple point of water." 12
This is somewhat similar to the
definition of the mole, which is also based on a particular substance. However, just as special relativity shows that space and time are both parts of the four-coordinate and quantum mechanics demonstrates that mass and frequency (or wavelength) are simply different aspects of the same quantity, the kinetic theory of gases demonstrates that temperature is not an independent characteristic of a system, but simply one type of energy scale. For example, the temperature of a monatomic ideal gas is related to the average kinetic energy of its _ 3 individual gas molecules through E = -kBT. Since energy has the dimension of
432
Appendices
mass in natural units, the unit kelvin will be dimensionally equivalent to the kilogram, the inverse meter, and the inverse second. To establish a physically meaningful conversion factor between the kelvin and these other units, we note that Boltzmann's constant ke already provides a conversion between the energy and the temperature of a system. In analogy with using c and ti as conversion factors among the meter, second, and kilogram, a conversion which fixes the value of Boltzmann's constant kB to one (kB = 1) is desirable and results in the equivalencies 1 kelvin = 1.309... x 1 0 u second"1 = 436.7... meter 1 . A new definition of the unit kelvin might then be "The kelvin, unit of thermodynamic temperature, is the thermodynamic temperature of a system whose energy is equal to the energy of a collection of photons whose angular frequencies sum to 1.309... x 10 11 s 1 ." As was the case for the speed of light c and Planck's constant ti, we see from kinetic theory that the Boltzmann constant kB is not a fundamental constant of nature either, but instead the result of the different units humans have devised as a result of an incomplete understanding of the atomic basis of temperature and energy. In this sense, the Boltzmann constant is similar to Joule's constant, which was used to relate mechanical energy (in joules) and heat (in calories). When it was realized that both were the same type of quantity, the unit joule was used to express both and Joule's constant of 4.184 J/cal became merely another conversion constant.
Ac. 5
Practical considerations As with the current definition of the kilogram, the current definition of the
kelvin is based on a macroscopic physical property of a substance because such a definition offers greater stability and reproducibility than allowed by our knowledge of the value of kB.u
The precision with which kB is known is limited by
the precision with which we can measure the values of Avogadro's number NA and the gas constant R. In the future, if the precision with which these two constants are known can be improved to the point where the uncertainty in kB is roughly one
Systems of Units and the Development of Relativity Theories
433
part in 10 7 , then serious consideration would be given to defining the unit kelvin in terms of atomic quantities.
Ad.
Other units Table I lists some common quantities and their units in both the SI and the
natural unit system. In it, we have taken the base unit to be the meter in order to be consistent with the commonly used system of natural units. Note that electrical charge is dimensionless in the natural unit system. The electron charge in natural units can be obtained from the definition of the fine structure constant a = eV(ficJ = e2 = 1/137.036, since h and c are both equal to 1 in natural units. The electron charge is then e = a 1/2 = 0.08542 and a charge of 1 coulomb is equal to 5.332 x 1017. It is also interesting to note that angular momentum is dimensionless in the natural unit system. Thus in quantum mechanics, angular momentum is quantized in integers and half integers.
Ae.
Status of the fundamental
constants
From the previous discussion, it is clear that not all of the quantities we call "fundamental physical constants" are alike. Levy-Leblond14 grouped the fundamental physical constants into two categories, (1) Constants characterizing whole classes of physical phenomena (such as the electric charge e and the universal gravitational constant G), and (2) Universal constants (such as c and h) which act as concept or theory synthesizers (for example, Planck's constant h synthesizes the concepts of momentum and wavelength through the relation p = h/X). From the point of view of natural units, the dimensionless constants in the former category are true fundamental constants in the sense that they are inherent properties of our universe and have values which are not determined by human convention. 15 Constants in the latter category are not fundamental constants in the sense that they are historical products of an incomplete physical understanding of our universe and their particular values are determined by human convention. If we were to rebuild physics from the ground up knowing what we do today and
434
Appendices
using the logically simplest set of units (natural units, which requires only one definition) the constants in the former category would still appear as parameters in our theories, whose values could only be determined by experiment, while constants in the latter category would not appear at all.16 Thus, many of the papers in metrology which discuss the measurement of the fundamental physical constants 13 ' 17 ' 18 are discussing two different types of experiments.
One is an
experiment which seeks to determine more precisely one of the fundamental numbers which characterize our universe. Another is an experiment which seeks to determine more
precisely the
conversion factor
between the
historically
independent definitions of two units. One criterion which can be used to determine the category to which a particular constant belongs is if the value of a constant can be made unity by a suitable definition of units, then that constant is merely a conversion factor between different human-invented units. This is analogous to the criterion that if the value of a constant can be made exact by a suitable definition of units, then that constant is not a true fundamental constant. For example, quantities such as c, ft, and kB are not fundamental constants because they can be made to have the value unity by suitable definitions of second, meter, kilogram, and kelvin. The vacuum permittivity \x0 and permeability E0 are likewise merely conversion constants. Although they are not equal to one under present definitions of the units, they could be made unity by a suitable redefinition of the ampere. In contrast, if the value of a constant cannot be made equal to one by a suitable choice of units, then that quantity is a true fundamental constant.
For
example, the electron charge e or the weak mixing angle 8W (found in the unified electroweak theory) are fundamental constants since they are dimensionless and cannot, under any circumstances, be made to have the value one. The Josephson constant JK and the von Klitzing constant RK are JK = 4xe and RK = (lue2)-1 in natural units and are also fundamental constants, although we would not want to treat e, a, JK, and RK as four independent multiples of each other.
fundamental constants, since they are all powers or At present, the only quantities which qualify as
independent fundamental constants under this criterion are the coupling constants
Systems of Units and the Development of Relativity Theories
435
for each of the three fundamental forces - G (gravitational), a and e„ (electroweak) and as (strong). 15 Table 2 gives values of some common constants in natural units.
Af.
Discussion and conclusion Although the determination of conversion constants such as c or h is of no
interest to the theoretician, it is of great importance to experimental physics. Despite the fact that all units can be operationally defined in terms of a single unit, the present state of technology is such that better accuracy and precision is obtained by using a system (the SI) in which at least some of the units are defined independently.
Furthermore, even after some future time at which technology
progresses to the point where all of the SI units can be defined in terms of a single unit, the awkwardness of some of the new definitions, the need to communicate with other disciplines, and plain old inertia will likely conspire to preserve the use of multiple units and unit systems (c.f., the continuing widespread use of British units in the United States). Natural units are not merely a calculational convenience, but have a conceptual basis rooted in the nature of our physical universe.
For example,
because physical laws have the same form in all inertial frames and the three spatial coordinates and time appear in coordinate transformations in a very symmetric way, both distances and time intervals should logically be expressed in the same units.
Without this four-dimensional symmetry, there would be no
physical basis for defining the meter in terms of the second or vice versa. Similarly, the dual wave-particle nature of matter in our universe provides a physical basis for defining mass in terms of length or time. The use of natural units also provides a criterion for deciding which of the "fundamental constants" are truly fundamental and inherent characteristics of our universe and which are merely conversion constants resulting from an imperfect understanding of the connections between physical quantities.
At this point, it
appears that the only true fundamental constants are the coupling constants associated with the gravitational, electroweak, and strong.
436
Appendices
References 1. J. D. Jackson, Classical Electrodynamics
(John Wiley and Sons, New York, 1999),
3rd ed., pp. 775-776. 2. Barry N. Taylor (ed.), NIST Special Publication 330: The International System of Units (SI) (National Institute of Standards and Technology, Gaithersburg, MD, 2001), p. 5. 3. Edwin F. Taylor and John A. Wheeler, Spacetime Physics (W. H. Freeman, New York, 1992), 2nd ed. 4. T. A. Moore, A Traveler's Guide to Spacetime:
An Introduction
to the Special
Theory of Relativity (McGraw-Hill, New York, 1995). For earlier emphasis on this point, see H. Poincare, "On the dynamics of the electron", Rend. Acad. Sci. Paris 140, 1504 (1905) and Rend. Circ. Mat. Palermo 21, 129 (1906). 5. Reference 3, p. 5. 6. B. N. Taylor and P. J. Mohr, "On the redefinition of the kilogram," Metrologia 36, 63-64 (1999). 7. Edwin R. Williams, Richard, L. Steiner, David B. Newell, and Paul T. Olson, "Accurate Measurement of the Planck Constant," Phys. Rev. Lett. 81, 2404-2407 (1998). 8. V. S. Tuninsky, "Unit systems based on the fundamental constants," Metrologia 36, 9-14 (1999). 9. Reference 2, pp. 6-7. 10. Reference 2, pp. 8-9. 11. Reference 2, p. 8. 12. Reference 2, p. 7. 13. B. W. Petley, "The role of fundamental constants of physics in metrology," Metrologia 29, 95-112 (1992). 14. J.-M. Levy-Leblond, "On the conceptual nature of the physical constants," Rivista del Nuovo Cimento 7, 187-214 (1977). 15. The fact that the gravitational coupling constant G is not dimensionless is intimately related to the fact that the energy-momentum tensor is the source of the gravitational field. This property makes the gravitational coupling constant
Systems of Units and the Development of Relativity Theories
437
distinct from all other coupling constants in gauge field theories such as the electroweak theory or quantum chromodynamics. 16. In a recent column in Physics Today (F. Wilczek, "Analysis and Synthesis I: What matters for matter," Physics Today 56(5), 10-11 (2003)), Frank Wilczek states that parameters such as e, h, and the mass of the electron me can be eliminated by a suitable choice of a system of units for length (h2/me e2), time (Ti3/mee?), and mass {me). This is much the same as choosing a system of natural units, in which parameters such as c, h and kB are eliminated. As Wilczek mentions later in the article, for a more complete theory, parameters such as the fine structure constant a inevitably come in. 17. Peter J. Mohr and Barry N. Taylor, "CODATA recommended values of the fundamental physical constants: 1998," Rev. Mod. Phys. 72, 351-495 (2000). 18. V. Kose and W. Woger, "Fundamental constants and the units of physics," Metrologia 22, 177-185 (1986).
438
Appendices
Quantity
SI
natural
time
s
m
length
m
m
mass
kg
m1
electric current
A
nr 1
temperature
K
m-1
amount of substance
mol
m1
luminous intensity
cd
m-2
velocity
m s4
dimensionless
2
m1
acceleration
m s
force
N = kg m s 2
nr 2
energy
J = kg m2 s 2
m1
momentum
m kg s"1
m1
angular momentum
m2 kg s-1
dimensionless
electric charge
C = As 2
dimensionless 3
1
m1
electric potential
V = m kg s- A
electric field
V nr 1 = m kg s~3 A 1
nr 2
magnetic field
Am- 1
m2
resistance
W = m2 kg s-3 A 2
dimensionless
capacitance
F = nr 2 kg 1 s4 A2
m
inductance entropy
2
2
H = m kg s- A JK
2
1
m dimensionless
Table I. Units of common quantities in the SI and natural unit system. The meter is used as the single unit in the natural unit system, as is customary.
Systems of Units and the Development of Relativity Theories
439
Value in natural units
Constant
Value in SI units
speed of light (c) Planck's constant (h)
299 792 458 — s 1.055... x 10-34 J • s
fine structure constant (a)
1/137.0...
1/137.0
weak mixing angle (ew)
0.2224...
0.2224
Boltzmann constant (kB)
1.381... x l O 2 3 — K
1
Gravitational constant (G)
Vacuum permittivity (E0) Vacuum permeability ((*<,)
3
6.673... x l O 1 1 - ^ 2r kg-s F 8.854... x 10 1 2 — m N A
4 j t x 10" 7 —*• 2
1 1
2.611... x l O 7 0 m2
l/4n 4JI
Table 2. Values of common physical constants in SI and natural unit systems.
440
Appendices
Appendix B. Can one Derive the Lorentz Transformation from Precision Experiments?
The following is the text of a term paper written by one of the authors (LH) for an undergraduate
research seminar in the fall semester of 1990.
some of the impetus
for the work described in this book.
section numbering
It provided
For consistency,
the
has been changed to Ba, Bb,...Be. Because the rest of the paper
has been taken verbatim, some of the notation and formatting is different from that in the other parts of this book.
Abstract: Investigation of two derivations of the Lorentz transformation from the results of three fundamental experiments reveals that an additional theoretical assumption has been made, making the special relativity transformations the inevitable result.
A more careful derivation shows that the three fundamental
experiments of special relativity are not enough to determine a space-time transformation uniquely.
"This is a nice presentation and idea. Clearly written." I. F. S.
441
Ba.
Introduction Ever since its introduction in
1905 by
Einstein's paper, "On the
Electrodynamics of Moving Bodies," the theory of special relativity has generated much discussion and has had a profound impact on physics. By putting space and time on an equal footing and postulating the equivalency of all inertial frames, the theory changed the whole framework within which physics is done and the way in which physical laws are formulated. As J. D. Jackson points out, relativistic effects play a significant role in physics, "from the lowest energies in atomic systems (where the precision is so high that the tiny relativistic effects must be included) to the highest laboratory energies in the giant particle accelerators (where relativistic effects are gross and must enter even the crudest considerations)." ° Because so much of the theory is based on two postulates which, though familiar now, seemed to fly in the face of common sense at the time, a fair amount of effort has been devoted to trying to replace the foundational postulates with laboratory observations, i.e., to
derive the
Lorentz transformations
from
experimental results such as the Michelson-Morley experiment, measurements of the Doppler shift, and so on. In this paper, I will discuss two such attempts, one made by H. P. Robertson 1 in 1949, and a much more recent one made by Dieter Hils and John L. H a l l 2 (following a parameterization of the space-time transformation by R. Mansouri and R. Sexl 3 " 5 ) just this past year. Both start with a general linear transformation containing a number of unknown parameters and, using previous experimental results, obtain values for the parameters which uniquely fix the transformation to be the one obtained by Lorentz. However, I believe that in the two derivations, the
authors have, perhaps unconsciously, made
certain
assumptions which inevitably led them to the Lorentz transformation.
In this
paper, I will discuss what these assumptions are and then, using a transformation even more general than the ones used by Robertson or Hils and the same experimental data, see to what extent the transformation parameters can really be fixed. The derivations of the Lorentz transformation by Robertson and Hils used the results of only three experiments to completely specify the transformation
442
Appendices
parameters. These are the Michelson-Morley, Kennedy Thorndike, and Ives-Stilwell experiments. Before going on, here is a quick summary of these three fundamental experiments of special relativity and their results.
Bb.
Three classical
tests of special
relativity
The earliest experiment which suggested that the then modern view of physics needed revising was the Michelson-Morley experiment, first performed in 1881 by A. A. Michelson alone, and again with greater precision in 1887 in a collaboration with Edward Morley 6 . This experiment was originally designed to determine the velocity of the earth with respect to the ether, a hypothetical medium that permeated the universe and was responsible for the transmission of electromagnetic waves. The setup consisted of a number of full and half-silvered mirrors, a light source, and an observing telescope. Light from the source was split into two equal beams by a half-silvered mirror. The two beams would travel mutually perpendicular paths, one aligned parallel with the Earth's motion through the ether, of equal length before being recombined by the half-silvered mirror to form an interference pattern. The light in the first arm would travel at the velocity of light plus or minus the speed of the Earth through the ether while the second beam would travel only at the speed of light. The beams would thus take different amounts of time to travel equal path lengths and would be out of phase when recombined to produce a pattern of light and dark bands. By observing the change in the interference pattern as the setup was rotated by 90 degrees, one could calculate the velocity of the Earth relative to the ether. As we know, no change was ever observed in the interference pattern. The motion of the Earth through the ether, if indeed there was an ether, was undetectable. Since this experiment has been performed at many orientations and times of the year, the null result is usually interpreted as meaning: The time required for light to travel a distance L and back is independent of its direction. Since Lorentz and Fitzgerald showed that a particular length contraction along the direction of motion could provide the same null result to the MichelsonMorley experiment as an isotropic speed of light, modern versions of the
Can One Derive the Lorentz Transformation from Precision Experiments?
443
experiment have sought to test the isotropy of an "etalon of length" in space. One such test was carried out by A. Brillet and J. L. Hall7. A He-Ne laser, a Fabry-Perot cavity and a servo mechanism forming a feedback loop are mounted on a rotating optical bench.
The laser beam passes through the cavity with the servo
continuously adjusting the frequency of the laser so that its beam satisfies standing wave boundary conditions inside the cavity. Thus, changes in the length of the cavity are seen as changes in the frequency of the laser light. Part of the beam is diverted from the loop, directed upwards along the table's axis of rotation, and combined with the beam of a non-rotating, highly stable laser. The combined beam is then fed into a beat detector, the beats being produced because of the differing frequency of the two beams, and the output of the beat detector is finally sent to a computer which stores the information over the course of the table's rotation. If space is not isotropic and lengths are contracted along a particular direction, then the frequency of the He-Ne laser will change periodically as the length of the cavity changes in response to its orientation, and the beat frequency will change periodically. Taking into account many sources of errors, Brillet and Hall found that one could rule out the possibility of a length contraction to a very high degree of accuracy (AL/L would have to be < 1 x 10" 15 ). The second of the three experiments, chronologically, is the KennedyThorndike test, the results of which were first published in 1932. 8 The original purpose was to see whether absolute time could be ruled out experimentally, since the results of all other experiments to date could be explained by means other than modifying the concept of absolute time as found in the Galilean transformation. The setup for the experiment resembles that of the Michelson-Morley experiment except that the two arm lengths are different from each other. Light from a source is split into two beams by a half silvered mirror, the beams travel in two different directions and are reflected back upon themselves. The half-silvered mirror then recombines the two beams and reflects them into a telescope for observation of their interference pattern. If there really was absolute time, it would manifest itself as a change in the interference pattern over time as the velocity of the apparatus through space changed due to the rotational motion of the Earth. Over a period of several days'
444
Appendices
observation however, no change in the interference pattern could be found that might correspond to the changing velocity of the earth. Kennedy and Thorndike noted that "there is no effect corresponding to absolute time unless the velocity of the solar system in space is no more than about half that of the earth in its orbit," a possibility that has been ruled out by modern astronomical measurements. The usual interpretation of this null result is: The time for light to travel out to a point and back in an inertial frame is independent of the velocity of the inertial frame. As with the Michelson-Morley experiment, modern Kennedy-Thorndike experiments have utilized lasers to make very precise measurements.
In a very
recent experiment by D. Hils and J. L. Hall2, a setup similar to the one described above (different lasers were used and the apparatus could not rotate) for a modern Michelson-Morley experiment was used to try to detect a 24 hour sidereal variation in the beat frequency corresponding to the earth's rotation. This measurement is the physical equivalent to that made by the original KT experiment, comparing the transformation of time and length in a moving frame.
Again, the looked for
variation could not be found with any certainty and so the original null result is reconfirmed, but to a level of accuracy 300 times better than the first attempt. The third and last experiment to be described here is the Ives-Stilwell experiment 9 , which measured the second-order Doppler shift of a moving light source by comparing the spectra produced by stationary and moving hydrogen canal rays (an old term for positively charged ions produced in a gas by electrical discharge).
The ions were produced in an arc between some filaments and a
grounded aluminum electrode and then accelerated between that and a second electrode held at some high voltage. In order to eliminate the effects of the first order shift (which would have masked any second order effects), one must measure the spectrum of the moving particles at right angles to the particles' direction of motion. Since this is extremely difficult to accomplish experimentally, Ives and Stilwell instead took two simultaneous measurements of the rays, one with and one opposite to their direction of motion, resulting in one red and one blue shifted line, where the second order displacement can be calculated by comparing the center of gravity of the two lines with the line produced by a stationary source. They discovered that
Can One Derive the Lorentz Transformation from Precision Experiments?
445
the wavelength of the light emitted from the moving ions was shifted by a factor of (l-v 2 /c 2 )" 1 / 2 , where v is the velocity of the emitting ions with respect to the observer. As with the previous two experiments, modern reproductions of the IvesStilwell experiment have used lasers and beat frequency detectors.
In one
10
version , the frequency of the beam from a laser was tuned to a particular transition of Neon atoms at rest while another was tuned to the same transition of moving Neon atoms. The two beams were combined and the beat frequency of the combined beam was measured for several velocities of the moving Neon atoms to measure the Doppler shift of the frequency of the transition. Now let us see how the results of these experiments are used to determine a unique space-time transformation.
Be.
Deriving the Lorentz
transformation?
The first of the two attempts to find a purely experimental basis for the Lorentz transformation was made by H. P. Robertson 1 in 1949. Following is a short summary of his work and my criticism of his derivation. To start, Robertson defines two inertial frames; 2 , a "rest" frame with coordinates T, | , T) and t, (or 1°, I 1 ; \2, and g3) where % is the time coordinate, and S, a moving frame with coordinates t, x, y, and z (or x°, x 1 , x 2 , and x 3 ), with t the time coordinate. He also defines the metric
(0)
do2=
2
Y^d?lW=dT2--l(ds=2+dr,2+di;2),
(i,v=0
C2
assuming that the speed of light is isotropic in the 2 frame. The problem is to find the transformation T which expresses the greek letters in terms of the roman ones. In the most general case, we have
(1)
1**= 2 afx 1 ,
(1 = 0,1,2,3.
i=0
446
Appendices
Using appropriate symmetry arguments, the 16 coefficients can be reduced to four parameters as follows. Take the components of the velocity vector of the S frame measured from the 2 frame as v" (a = 1, 2, 3) so the equation of motion for the spatial origin of the S frame is
x = a"t,
?a=agt,
x1=x2=x3=0,
for
(2)
d£
.-. a ° = a ° v a ,
dx
(ag-O).
If time is to work normally on both frames, ax cannot be zero. Now consider a light signal propagated from the origin at t = 0 which is reflected at coordinates p a (a = 1, 2, 3) and returns to the origin at t 0 . The outgoing signal is on the light cone defined by the equation
Ao 2 =v^(a^At+agAx a )(a^At + a^Ax b ) = 0, (3) Ax"-xg-x^,
tA-0,
tB = t,
xa=0,
x|=xa,
while the reflected light is described by the equation
Y,v(agAt + a^Axa)(a^At + a^Axb) = 0, (4) tA-to.
tB-t,
x*=0,
xa=xa.
Assuming that the speed of light is the same in both directions along a line in the S frame, the point (t 0 /2, p a ) must satisfy both equations. Setting the equations equal to each other, we find that all the cross terms must vanish, or
Can One Derive the Lorentz Transformation from Precision Experiments?
447
(5)
Y^aga^tp a = g 0 a t p a = 0 ,
gv=y^avr
Since this must hold for all p a , equations (2) and (5) give
(6)
= a°(a° - v°a«/c 2 ) = 0.
g 0 a = a°a° -\*frl
To simplify the transformation without loss of generality, one can align the axes of both frames such that the relative motion is purely along the i^axis. Then v 2 = v 3 = 0. By choosing the rest of the axes in the two frames to be parallel, requiring azimuthal symmetry about the x-axis, and constraining all motion to be in the x or | direction, the transformation equations simplify to
T = a
n
0
va
t +
i
2
X
'
T = a
'
?
2>''
(7)
§ = va$t + ajx,
£ = a2z.
The metric (0) can now be rewritten in terms of t, x , y, and z as
da2= (g 0 dt) 2 -4 (gldx) 2 + (g 2 ) 2 (dy 2 + dz 2 )
,
(8) g 0 (v) = a ° V l - v 2 / c 2 ,
g l (v)
= ajVl-v2/c2,
g2(v) = a 2 .
Of course, as v goes to 0, all g's and a's should become 1. To determine the remaining parameters, Robertson now turns to the three aforementioned experiments. As stated above, the results of the Michelson-Morley experiment tell us that the time required for light to travel out to a point and back is independent of the direction. Using (8), Robertson finds that the time it takes for
448
Appendices
light to travel out a distance L in a direction making an angle h with the x-axis and back is
(9)
t=-t-[(g 1 (v)cosh) 2 + (g 2 (v)sinh) 2 ] + -^[[g 1 (v)cos(h
2 + 3l )] + [g 2 (v)sin(h +
n)] 2 ].
For this expression to be independent of h, a necessary condition is
(10)
gi(v)-g 2 (v),
where both g's are positive, since the a's are positive. Next, Robertson uses the Kennedy-Thorndike experiment to further fix the values of the g's. From (9) and (10), the time it takes for light to travel a distance L in any direction is
(ID
t=
Lgl(v)
—K-
Therefore, the difference in time At for the two light beams to return to the mirror which initially split them is related to the difference in the lengths of the arms of the interferometer AL by the equation:
(12)
At=
gl v AL \> cgo(v)
The parameter v in this equation is the velocity of the apparatus, which changes periodically as a result of the earth's orbit about the sun and its rotation about its own axis. A change in At would appear as a shift in the interference pattern. Because the pattern did not change over a long period, Robertson deduces that the ratio gi/g 0 is independent of v and since g/go = 1 when v=0 (both are identically 1), this ratio must hold for all v.
Can One Derive the Lorentz Transformation from Precision Experiments?
449
To summarize to this point, we have determined that gl = g2= g 3 . Setting all three equal to g(v), the transformation T then looks like 9
/ \ t+vx/c ;
g( v ) I
.
/ \
x+vt
Mv)j
,'
2
2
Vl-v2/c2
(13)
i = g(v)y,
2
Vl-v2/c2
£ = g(v)z.
To find definite values for g, Robertson turns to the Ives-Stilwell experiment. He introduces a third reference frame S', moving with velocity v' with respect to 2 where v' > v, with clocks set such that at t = t' = 0, the origins of S and S' coincide. By setting d§/dx = v' and dx/dt = u in (13), the velocity u of S' with respect to S is found to be
(14)
U= - V V l-w'/c
Suppose that there is a light source at the origin of S' which is co-moving with that frame. Its equations of motion relative to the S frame are obtained by setting x', y', and z' to 0
1 = g(v') ,
x + vt V l - v2 / c 2
= g(v)-T=^ 2
Vl-v' /c
2
(15) v't
/ \
vt + x
^ g ( vVl-v' ' ) x =2/c- 72 ^ H Vl^v 2
/c2
and solving for x and t
(16)
450
t = p t',
x = upt',
p
gfv") = _s_i. v
i
i ) Vl-u2/c2
Appendices
If the light source sends out a signal at some t'< 0, while it's approaching an observer R located at the origin of S, the signal will be received by R at a time
(17)
t+=t +
^pt'-HP^(l-iV. c
c
c
Two signals sent by the moving source separated by a time At' would be seen by observer R separated by a time
(18)
At+=(l--)pAf. c
For a periodically emitting source, we can think of the wavelength of the radiation emitted as X' = c At' in the S' frame and
(19)
^+=(l-iL)pv c
in the S frame. By a similar argument, radiation emitted as the source is moving away from the observer has its wavelength altered like
(20)
X._=(l + -)pX'. c
The same radiation emitted from a source stationary to the observer has wavelength X' = X, so the center of gravity of the two shifted lines is displaced from the non-moving source's line by an amount
(21)
A^ = -(X + +X_)-X = (p-l)X = X
g(v') g (v)
2c^
Can One Derive the Lorentz Transformation from Precision Experiments?
451
In their experiment, Ives and Stilwell determined that the second order Doppler shift AXA could be given by the expression u 2 /2c 2 . Since this result holds for motion of the source at an arbitrary angle from the x axis and there is no correlation between v and the x-component of u, Robertson determines g(v) and g(v') to both be unity (to second order). Thus he claims to have arrived at the familiar Lorentz transformation and four-dimensional metric, purely on the basis of experimental results. While each step in this derivation seems reasonable, I believe that Robertson has made an unwarranted assumption near the beginning of his calculation which has made the Lorentz transformation the inevitable result. It comes while he is reducing the number of undetermined coefficients in the transformation T. When we consider a light signal being sent out from the origin and reflected back from a point, Robertson writes: "We agree to set the auxiliary clock situated at x a =p a [in the S frame] in such a way that it records the time t 0 /2 for the...reflection" (emphasis his). In other words, he has constrained the velocity of light along a line in S to be equal in both directions along that line. Now, even before this, Robertson had assumed that the speed of light is isotropic in his "rest" frame 2. This is a perfectly reasonable assumption and is useful for simplifying the discussion, but, in order to truly derive a transformation using only experimental results, one should not put any restrictions on the speed of light in any other frames. Putting his assumption about the speed of light in S together with the results of the Michelson-Morley experiment, we soon arrive at the conclusion that the speed of light must be isotropic in all inertial frames. This constraint results in a great loss of generality and contradicts an earlier statement made by Robertson, "No assumption is here made concerning the velocity of light...in S." Later on, we shall see how the absence of this constraint affects the derivation. The second derivation of the Lorentz transformation is more direct. The parameterization of the general transformation and calculations were first done by Reza Mansouri and Roman Sexl in a 1977 series of papers 3 " 5 using the best data available at the time.
In 1990, Dieter Hils and John Hall used modern laser
techniques to greatly improve the resolution of the Kennedy-Thorndike experiment
452
Appendices
and using Mansouri and Sexl's framework, confirmed their Lorentz derivation to a much higher level of confidence 2 . In this derivation, one first writes down a general linear transformation between two frames, S the preferred frame, and S', the moving frame:
t=a(v)T + ex,
y=d(v)Y,
x=b(v)(X-vT),
z=d(v)Z,
(22)
where a(v) = l + a - l
+...
b(v) = l + p [ - | + ...
(23)
d(v) = 1 + 6 | - | +...
As before, the three spatial axes in both frames have been aligned and the relative motion of S and S' is restricted to the x-direction. Hils and Hall set e by the convention for clock synchronization and determine a(v), b(v), and d(v) from experimental data. Using Einstein's method of clock synchronization, they fix
(24)
The speed of a light signal traveling at an angle 6 with respect to the x-axis is then
c(8) = V(c cose) 2 +(c sine) 2 = V(x/t) 2 +(y/t) 2 (25) 2
= c l + (±-p + 5)^-sin e + ([5-a-l)^-
Can One Derive the Lorentz Transformation from Precision Experiments?
453
to second order. This result holds quite generally since we have already fixed c to be azimuthally symmetric around the x-axis. With e determined, a
is the only unknown parameter left in the
transformation between t and T. From the results of modern measurements of the Doppler shift it is determined to be
(26)
a= - i ± 1 0 " 7 . 2
The most accurate Michelson-Morley experiments, showing that the speed of light is independent of 9, fixes
(27)
i - p + 6 = 0±5xl(T9.
And in light of this value, the Kennedy-Thorndike experiment performed by Hils and Hall, showing that the two way speed of light does not depend on the velocity of the reference frame, gives us
(28)
p - a - l = 0±7xl0"5.
Therefore, we can deduce that
(29)
|3 = i ± 7 x l O " 5 ,
5 = 0±7xl0"5.
Putting these figures into (25), we see that c is now a universal constant to an accuracy of 7 x 10~5, the biggest uncertainty in any of the three measurements, and equations (22) now have the form of the Lorentz transformation to second order. However, this derivation has the same problem as Robertson's. By using Einstein's method of synchronization to determine the parameter e, Hils and Hall have, just as Robertson did, constrained the speed of light along a line to be the
454
Appendices
same in both directions along that line. This is evident from (25), where sine is squared so that c(6) = c(9 + n). An additional effect of choosing e to be -v/c 2 that Robertson's assumption does not have is that in order for this set of transformation equations to have four dimensional symmetry, the parameters a, p, and 5 MUST assume the values -1/2, 1/2, and 0 respectively. This fact is noted indirectly when Hils and Hall mention that "the kinematical parameters a(v), b(v), and d(v) might be determined by theory." Then the remainder of the derivation is merely a check to see whether or not the results of the three experiments are consistent with the four-dimensional symmetry of physical laws. Since this framework has been verified again and again by countless experiments, most notably high energy particle experiments, the verification of those values for the parameters is rather trivial. Once e has been set in that manner, the Lorentz transformation is the only possibility with fourdimensional symmetry permitted by (22). For any other values of a, p, and 5, we get only three-dimensional symmetry (Galilean invariance) at best, which has been conclusively ruled out by experiment. In sum, my criticism concerning the previous derivations is that by using the Einstein clock synchronization convention, both have actually assumed that the one-way speed of light is the same in both directions along a line in the moving frame, instead of deducing it from any experimental results.
Of course, for
purposes of setting up any kind of clock system at all, one may assume an isotropic and constant speed of light in a "rest" or "preferred" frame. However, in order to truly derive a transformation from experimental results, one should not make the least assumption regarding the speed of light in any other frame.
With this in
mind, let us now see how precisely a space-time transformation can be specified based on the results of the three experiments.
Bd.
A more general
form
To start with, I choose x' = A(v) x + B(v) ct = D(v)[A'(v) x + B'(v) ct],
Can One Derive the Lorentz Transformation from Precision Experiments?
455
(30)
y' = D(v) y,
z' = D(v) z,
b't'= E(v) ct + F(v) x = D(v)[E'(v) ct + F'(v) x]
as a parameterization of a more general form for a linear transformation between reference frames S (a "rest" frame) and S' (a moving frame) than either of those proposed by Robertson or Hils and Hall. The coordinates in S and S' are (ct, x, y, z) and (b't1, x', y', z') respectively and v is the velocity of S' with respect to S. As in the previous derivations, I have aligned the coordinate axes such that the motion of S' is along the x-axis of the S frame and have introduced azimuthal symmetry about the axis of motion (y and z transform in the same way). Also, I have assumed that the speed of light is isotropic in S only, so we can use Einstein's procedure to synchronize the clocks in S. In the moving frame, the speed of light is not, in general, isotropic, so we can only write b't' in the transformation equations, instead of ct'. Although we don't yet know of a relation between t and t' and so cannot separate b' from t', I make the further assumption that the time coordinates are linearly related and write
(31)
t ' = M (v) t + N(v) x.
Physically, this relation can be realized for any choice of M and N since the rate of ticking and reading of a clock can be arbitrarily adjusted and all (31) means is that an S' clock located at x shows the time Mt + Nx while an S clock at the same position shows time t. In using the above equations, I have defined my metric in S to be
(32)
(ct) 2 - x 2 - y 2 - z 2 = a2.
To begin the determination of the seven parameters (A, B, D, E, F, M, and N), we start with the requirement that an object located at the origin of S' and co-moving with that frame must have a velocity v in the rest frame. Introducing the condition x'= 0 in (30), we get
456
Appendices
(33)
x=v t
0 =A'(v) x + B'(v) ct,
=
_B^v)_c A'(v)
Next, we use the results of the Michelson-Morley experiment, which tell us that: For a given v, the time required for light to make a trip out to a point and back is independent of the direction. This is equivalent to saying that the speed of light, averaged over a round trip, is the same in any direction. Suppose that we are in the rest frame S watching the (moving) apparatus in S' from the side (see Fig. 1). We see the light signal traversing the vertical arm of the experiment make a triangular path as shown below. The velocity of this light beam measured from the moving frame is (using (30))
dx dt
(34)
dx; 1 ) 2 + < d y "j 2
1
dt
+
dt
dt
=
DA/C2-V2
M + Nv
dt'
=
DcVi-p 2
M + Nv
Q = c
A - half-silvered mirror A light source
B.
B - mirror
^
observing telescope
Fig. 1. Our view of simplified MM experiment
Can One Derive the Lorentz Transformation from Precision Experiments?
457
where 8 = v/c. From the same vantage point, we see the horizontal beam describe a path as shown in (35). The average speed of this light beam is (taking the arm lengths to be L' measured from S')
dt
^Jm] dt'
J*?) dt'
dt
df
=DA'(v) +
B-(v)c M + Nv
(35) ) -A'(v)c + B'(v)c tf^.^^-ftdil-ol-D dt "' dt " dt' ') ~ M - N v
L' c'+
V 2V C. C„avg '
,
J l l ) 7 [c'+ c'.J
8 ~A~ Cllavd
1
Dc A ' 2 - B ' 2 A' M + Nv
Setting the horizontal and vertical averages equal to each other and using (33), we determine that
D c £ Z = Dc
M + Nv
A^-F 2 ^
A. =
_l£>
A' M + Nv
v
(36) .-. A' = v,
B' = -Pv,
where y = (1 - B 2 '" 1/2 . I have taken the positive root of A to make the x and x' axes parallel rather than antiparallel. We now apply the Kennedy-Thorndike results, first writing the metric given by (32) in terms of primed variables
(37)
458
(BF-EA)- 2 [(b't') 2 (A 2 -B 2 )-x' 2 (E 2 -F 2 ) + 2b't'X'(EB-AF)]-D- 2 [y' 2 +z' 2 ] = d o 2 .
Appendices
At this point, Robertson used the metric to find an expression for the time it takes for a light signal to make a trip out to a point and back in the moving frame and made this expression independent of the direction of the trip and v. Since we do not have expressions for M and N, it is impossible for us to do the analogous step without creating an expression loaded with more unknown parameters than we will eventually be able to solve for. To circumvent this problem, we opt for a different, but equivalent interpretation of the Kennedy-Thorndike experiment. The unchanging interference pattern seen in the original experiment and the constant frequency of the cavity laser in modern experiments indicate that the recombining light beams in the interferometer maintain the same absolute and relative phases as the velocity of the apparatus changes. We might say that this test shows that the final phase of a light signal making a round trip between two points is independent of the velocity the observer. Therefore, instead of making time be the round-trip invariant, I will use a quantity I call the "light path," equal to c't' (b' = c' where the motion of light is concerned). The light path is the distance traveled by a light beam in a time t' and since the wavelength of the light does not depend on the type of clock synchronization we use (relation between t and t'), requiring the round trip light path to be invariant is the same as requiring the final phase of the light signal to be independent of the direction of its trip. Solving for c't' from the metric (c't' = b't' when do 2 = 0), we obtain
(38)
[ c , t , ] ( e ) = fcos9(A'P-E'B') 2
+ r(E'A'-B'F)
A' -B' 2
where
(39)
x' = fcos9,
y' 2 +z' 2 = f 2 s i n 2 e .
So the round trip light path is
(40)
[er](8)+[cr](8 + B ) -
at) T 2 2 A' -B'
Can One Derive the Lorentz Transformation from Precision Experiments?
459
The Kennedy-Thorndike experiment requires that this expression be independent of velocity. As we can see from (30), the parameters A', E', and D must reduce to 1 and B' and F' must become 0 when v=0, so
(41)
(E'A'-B'P) = 1 A' 2 -B' 2 .v-o '
.
(E'A'-B'F)_ 1 A' 2 -B' 2
for all v. Using (36), the relation between E' and F' is then
(42)
Y E' =
1-PYF'.
Finally, we turn to the Ives-Stilwell experiment to try to determine the remaining parameters D, E', F', M and N. In order to proceed, we must make one last, small assumption regarding the invariant form of a plane wave. I postulate that, as in special relativity, the form for a plane wave which is invariant under (30) is
(43)
exp[i(x°k 0 -r-k)] = exp[i(x'°kb-r'«k')].
Under this very reasonable assumption, the transformation equations of the wave four-vector are
k 0 = D(E'k'0 + B'k'x) = D(E'k'0 - Ypk'x),
(44)
k x =D(A'k x +Fk'o) = D( Y k x + Fkb),
where kx=kocos9,
ky=kosine,
k' x =kt)Cos9',
k'y=kbsin9'.
(45)
460
Appendices
Note that for this part, I have rotated the coordinate axes so that the wave has no z dependence to simplify the ensuing math. In the Ives-Stilwell experiment, only the second order Doppler shift was measured.
In order to eliminate the first order shift, the light source must be
viewed perpendicularly to its direction of motion. This is equivalent to setting 9 = 90 degrees. We first use the k x and k y equations to solve for k 0 ,
k x =0 = D(YkoCOs6' + F'k'o),
cos9 = -F'/y,
(46) k y = Dk'o Vl-cos 2 e' = Dk' 0 -\/l-F' 2 /Y 2 = k,o
•
Using the relation between E' and F obtained above and the transformation equation for k 0 , we find
(47)
k0=D
Y
I Y
Y
Setting the expressions for k 0 in (46) and (47) equal to each other gives
DkbT/l-P 2 / y 2 =D^fl-,
F' = -py,
(48) E,
I-PY(-PY)
....
I have chosen F' to be negative so that t' and t will have the same sign. The only remaining task is to determine D, M and N. Since k=2itA, we can rewrite (47) as
(49)
X = YV/D,
Can One Derive the Lorentz Transformation from Precision Experiments?
461
so to second order accuracy
(50)
2.2
_1 = ( D _ 1 ) +
D < 2 r2
From the Ives-Stilwell experiment, we know that the second order wavelength shift AXA of a moving light source is related to its velocity by V 2 /2c 2 . For our proposed transformation to correctly predict the outcome of this experiment, we see that we must have D = 1.
Be.
Discussions and conclusions
Having culled as much information as possible out of the three fundamental experiments, we can now write the transformation equations (30) as
x' = Y(x-pct),
y' = y,
(51) b't' = y(ct-px),
z' = z,
with the invariant metric
(52)
(b't')2-x'2-y'2-z'2=s2=(ct)2-x2-y2-z2.
Notice that at no point did we ever postulate a method of clock synchronization, as Robertson or Hils and Hall did, which would have been equivalent to assuming a certain relation between t and t' (or equivalently, c and b'). As a result, it is impossible, on the basis of these three experiments alone, to separate the variables b' and t' in the transformation or to determine the parameters M and N. By choosing a method of clock synchronization equivalent to that of special relativity and thus assuming that the speed of light was the same in
462
Appendices
both directions along a line joining the two clocks, Robertson and Hils and Hall have actually fixed the speed of light to be a universal constant.
Without this
stipulation, we see that an infinite number of transformations, all consistent with the results of the three experiments, are allowed, corresponding to arbitrary choices of M and N. Each of these transformations has the Lorentz group properties (this is evident because v'/c' is independent of M and N) and four-dimensional symmetry, reducing the "tests of the isotropy of light" to mere tests of the four dimensional symmetry of natural laws. In the future, consideration of these many possibilities may lead to new ways of looking at physics. It is my belief that no experiment to date contains enough information to exactly specify a transformation. To do so, one would have to devise a method to measure the one way velocity of light without introducing a method of clock synchronization, a task whose feasibility is a much debated subject.
In the
meantime, more and more accurate versions of these experiments will challenge the limits of our measurement ability and provide more and more precise verification of the four-dimensional symmetry of our world.
Can One Derive the Lorentz Transformation from Precision Experiments?
463
References 0.
J. D. Jackson, Phys. Today 40, No. 5, 34 (1987).
1.
H. P. Robertson, Rev. Mod. Phys. 21, 378 (1949).
2.
D. Hils and J. L. Hall, Phys. Rev. Lett. 64, 1697 (1990).
3.
R. M. Mansouri and R. U. Sexl, J. Gen. Rel. Grav. 8, 497 (1977).
4.
R. M. Mansouri and R. U. Sexl, J. Gen. Rel. Grav. 8, 515 (1977).
5.
R. M. Mansouri and R. U. Sexl, J. Gen. Rel. Grav. 8, 809 (1977).
6.
A. A. Michelson and E. W. Morley, Am. J. Sci. 34, 333 (1887).
7.
A. Brillet and J. L. Hall, Phys. Rev. Lett. 42, 549 (1979).
8.
R. J. Kennedy and E. M. Thorndike, Phys. Rev. 42, 400 (1932).
9.
H. E. Ives and G. R. Stilwell, J. Opt. Soc. Am. 28, 215 (1938); 31, 369 (1941).
10.
M. Kaivola, O. Poulsen, E. Riis, and S. A. Lee, Phys. Rev. Lett. 54, 255 (1985).
464
Appendices
Appendix C. Quantum Electrodynamics in Both Linearly Accelerated and Inertial Frames Ca.
Quantum electrodynamics
based
on taiji
relativity
In an inertial frame, the 4-dimensional symmetry of the Lorentz and Poincare groups is shared by both special relativity and taiji relativity.
Thus,
the usual formalism of quantum field can be applied to field theory based on taiji relativity.
In fact, the following discussion on quantum electrodynamics holds
for all relativity theories, including special relativity, common relativity, and extended relativity, provided
one
consistently
uses
the
4-coordinate
x^ =(w,x,y,z). For quantum electrodynamics (QED) in an inertial frame, the invariant action Sq; involving Dirac's electron field i|>, the photon field a^, is assumed to take the usual form, 1
S q = f L d 4 x,
Oe-f^-4-. 4rc
I - ^ ( i ^ - e a p - m ] ^ - I f^f »\
Y
V+YV=
2TT,
(C.l)
(C.2)
137
where d x=dwd3r, and we have used t h e natural units for simplicity.
Each term
in the Lagrangian density I has the dimension of l/(length) 4 . For quantization of Dirac fields, the "canonical momentum" Jtb conjugate toip b , b=l,2,3,4, and the Hamiltonian density for a free electron are defined as
(C.3)
465
For free photon (a ) and electron (i|>) fields, we have
a^(w,r) = 4 = 2,\Jl/(2p0)
[a(p,a)e^(a)exp(-ip-x)
p;a
+ at(p,a)e^(a)exp(ip-x)],
(C.4)
^(w,r) = -j= N •\/m/p0[b(p,s)u(p,s)exp(-ip-x) p;s + dt(p,s)v(p,s)exp(ip-x)],
p-x = p |i x^,
(C.5)
where [a(p,a), at(p'.a')] = 5 p p ,5 a a , ; [b(p,s), bt(p',s')] = 6 p p ,5 s s , t
[d(p,s), dt(p' lS ')] = 5 pp ,8 ss ,
f
(C6)
and all other commutators such as [a(p,a), a(p',a')] and [at(p,a), at(p',a')] vanish. Commutators for quantized fields t|j(w,r) and a^(w,r) can be derived from (C.4)-(C6). The Dirac equation based on taiji relativity can be derived from (CI), i J j - [ v (-iV - ea) + pDm + ea0h|> ,
where
2
«XD=CY(V> Y°Y>
Y°Y3) a n d PD=Y° a r e
tne usuaI
(C.7)
constant Dirac matrices.
In view of the equations of motion (C.7), we must use the taiji-time w in a general frame as the evolution variable for a state
466
Appendices
. 30^Cw) = H ( s ) dw
H<S>=H0<S>+H,(S>,
(S)
(C.8)
because the evolution of a physical system is assumed to be described by a Hamiltonian operator which has the same transformation property as the taiji-time w or /5w. The usual covariant formalism of perturbation theory can now be applied. 2
To illustrate
this, let
us
briefly
consider
the
interaction
representation and the S-matrix based on taiji relativity. The transformations of the state vector <J>(w) and operator O from the Schrodinger representation to the interaction representation are
(C.9)
O(w) = 0 (I) (w) = exp[iH 0 (s) w]0 (s) exp[-iH 0 (s) w]-
(C10)
Because 0 (S) and O(w) are the same for w=0, we have,
. d
=H(w)q,(w))
H =exp[iH 0 (s) w]H (s) exp[-iH 0 (s) w],
O(w) = exp[iH o (s) w]O(0)exp[-iH o (s) w].
(C.ll)
(C.12)
The U-matrix can be defined in terms of the taiji-time w: *(w)=U(w,w 0 )*(w 0 ), U(w 0 ,w 0 )=l. It follows from (C.ll) and (C.12), that
iaUCw1Wo)=
H,(W)U(W,W 0 ).
(C.13)
3w If a physical system is in the initial state <J>. at taiji-time w0, the probability of finding it in the final state <J>f at a later taiji-time w is given by
l(
Quantum Electrodynamics in Both Linearly Accelerated and Inertial Frames
(C.14)
467
The average transition probability per unit taiji-time for Oj -* <sf is
IU fi (w,w 0 ) - 6 fi l 2 (C.15)
(w - w 0 )
As usual, we can express the S-matrix in terms of the U-matrix, i.e. S=U(°°,- °°) and obtain the following form
I^J
<_ftj
yy
S= 1 - i f H,(w)dw + ( - i ) 2 f dw f H^wJH^wOdw' + —00
(C.16)
—00
For w-dependent operators, one can introduce a w-product W* (corresponding to the usual chronological product), so that (C.16) can be written in an exponential form: 00
00
S = W*fexp[-i f H ^ x ^ d w d 3 ^ } ,
fu^x^dh
In natural units, L1M, a^, and \p2/i
= H,(w).
(C.17)
all have the dimension of inverse
length and consequently, the classical electron radius r e and electron Compton wavelength Xe, for example, are given by r e =ae/m e
and
X e =l/m e ,
(C.18)
respectively. To obtain the rules for Feynman diagrams in taiji QED, we follow the usual quantization procedure and define LTQED by adding a gauge fixing term to the Lagrangian (C.l),
LTQ_ED = L - ^ - ( a % ) 2 2p •*
(C.19)
where p is a gauge parameter. As usual, we define the M-matrix as follows:
468
Appendices
Sif = 6 i f -i(2K)454( P f (tot)_ p .(tot) ) [
n
(n/V)]
1/2
Mif,
(C.20)
ext par
where "ext par" denotes external particles and nj = rrij/poj for spin 1/2 fermions and l/2poj for bosons.
Because of the 4-dimensional symmetry in (C.19) and
(C.20), the rules for writing M[( are formally the same as those in the usual QED, except that certain quantities (e.g., w, p^ and e) have different dimensions from the corresponding quantities in conventional QED. To wit, (a) the covariant photon propagator is now given by -ih^v -(l-p)k M ,k v /(k 2 +ie)] 2
k 2 =k M .k^,
(C.21)
(k +is) (b) the electron propagator is
(C.22) (v^Pn-m+ie)
(c) the electron-photon vertex is
-iey^
(C.23)
and (d) each external photon line has an additional polarization 4-vector e„(a). Furthermore, each external electron line has u(s,p) for the absorption of an electron and u(s,p) for the emission of an electron, etc. Other rules such as taking the trace with a factor of - 1 for each closed electron loop, integration with d 4 k/(2jt) 4 over a momentum k^ not fixed by the conservation of four-momentum at each vertex, etc. are the same as usual. Thus, if one calculates scattering cross sections and decay rates (with respect to the taiji-time w) of a physical process, one will get formally the same result as that in conventional QED.1 Let us consider an example. For a scattering
Quantum Electrodynamics in Both Linearly Accelerated and Inertial Frames
469
process l+2-*3+4+....+N, the differential cross section da, which has the dimension of area, is given by
*\](.PvP2r
~ (mim 2 ) 2
v
'
d3pN • (2jt) 3 2 p ON (2^)454(P1 + P2 - P 3 - P 4 • - - P N ) S O ,
mi
(C.24)
where p0=Vp2+m2 and S0 denotes a factor l/(n!) for each kind of (n) identical particles in the final state. If the initial particles are unpolarized, one takes the average over initial spin states. When there is no external fermion in a process, then [next fer (2mfer)] in (C.24) is replaced by 1. Cb.
Experimental measurements of dilations of decay-lengths and decay-lifetimes in inertial frames
Since the time t is undefined in taiji relativity, one may wonder: How can taiji relativity explain the well-established experimental results of the "lifetime dilatation" of unstable particles? The answer is that experiments that purport to measure the mean lifetime of unstable particles in flight actually measure the mean decay-lengths rather than the lifetimes, where the decay length is the distance traveled by an unstable particle before decaying. Furthermore, the decay-length dilatation can be calculated and it can be shown that in the quantum field theory based on taiji relativity, this length is dilated by a factor of y. For a specific example, see section lOf. Cc.
Quantum electrodynamics of bosons in accelerated and inertial frames
Quantum scalar field operators obey equation (23.35) in CLA frames. This suggests that we use the taiji-time w in a general frame as the evolution variable for a state
470
Appendices
i a»
g3
Cw)_ H ( S ) ( w ) ^(S) ( w ) dw
j
H<
S
>=H 0 < S > + H/ S >,
(C.25)
which is the same as (C.8). The reason is that the evolution of a physical system is assumed to be described by a Hamiltonian operator which has the same transformation property as 3/ew. A covariant partial derivative is the same as an ordinary partial derivative, D^ = a^, when they operate on scalar functions. We note that the form (C25) is no longer true if the Hamiltonian involves spinor fields; in this case, the time derivative do has to be replaced by the 'gauge covariant derivative' Vo, according to equation (23.48). There is a class of phenomena in particle physics and in the conventional quantum field theory in which the particles move with constant velocities as measured in an inertial frame. 2 For these physical phenomena, it is natural to assume that the usual covariant formalism of perturbation theory can also be applied to QED of scalar bosons in CLA frames, which are smoothly connected to inertial frames in the limit of zero acceleration. Thus, we assume that equations (C.9) to (C.23) hold also for CLA frames. In this case, one can define the S-matrix and obtain the generalized Feynman rules in both linearly accelerated and inertial frames. To obtain the rules for Feynman diagrams in CLA frames, we follow the usual procedure 1 and assume LSQED to be LSQED - LSp - -fg&i^/Vp),
(C.26)
LSp = •fg[g^v(isi, - e a ^ * * ^ - ea v }* - m 2 ***] - ±-fgf^fv»
f(iv =D^av - Dya^ = e^a.v -
flya^,
,
e = -^4mxe,
where p is a gauge parameter. The theory is gauge invariant, namely, physical results are independent of the gauge parameter p. To see that there is a "conservation" of 4-momentum at each vertex of the Feynman diagram in CLA frames, let us consider the wave function *(w,x) =
Quantum Electrodynamics in Both Linearly Accelerated and Inertial Frames
471
<J>(x) for a "free particle" given by (23.23) with the phase P given by (23.19) and the condition (23.21) for a plane wave. In CLA frames, one can verify that
P = kiofx 1 + l / a o Y £ b 3 a 0 + k l l f x 1 + l / a 0 Y o ) v 3 a 0 P dw (YkIO + 7|3kii)W = ko,
-2-P = kI0Yp + kin = k b 1
ax
(C.27)
- 2 - P = k2)
ax z
- i - P - k3,
ax^
where we have used (a/aw)Yp = Y 3 a Q and (a/aw) Y = Y 3 a 0 P- Thus, the relation
i — e-iP = k w e - i p ax"1
(C.28)
holds for a "free wave" in CLA frames. However, the zeroth component p 0 (or k0) of the covariant 4 - m o m e n t u m depends on the Wu factor W(w,x), as shown in (22.9), and is not conserved in a particle collision process.
Fortunately, the conservation of "momentum" in a
collision process, e.g., a+b^c+d, as observed in CLA frames can be expressed in terms of
(p 0 /W, p 1 ; p2, p 3 ) ^ Pn ^ ( po, Pi, F>2, P3).
(C29)
g ^ v P n P v = (PO/W) 2 - ( P i ) 2 - ( p 2 ) 2 - (P3) 2 = ^ v p ^ p v , ^ v _ ( 1 , - 1 , - 1 , - 1 ) .
The rescaled momentum 4-vector py is not a 4-vector under the Wu or the MWL transformation. However, the momentum space of py is formally more similar to the space of the 4 - m o m e n t u m p t
in inertial frames than that of the true
4-momentum p as far as the S-matrix and Feynman rules are concerned.
For
the scattering process a+b^c+d, we have the following relations for momenta:
472
Appendices
Poa + P o t r v(Pioa+ PlOb + P[Plla+ P u b ^ ' +
Pla+ P lb= v(Pna+ Pllb
P2a+ P2b= Pl2a+ Pi2b>
P[PlOa+ Prob^' (C3°)
P3a+ Pab= Pl3a+ Pl3bJ
Poc+ Pod= Y(Pioc+ PlOd+ P[Pllc+ PudD'
Plc+ Pld= V(PUC+ Pud
+
P2C+ P2d= PI2C+ Pl2d>
P[PlOc+ PlOdl)'
P3C+ P3d= PI3C+ Pl3d;
P = P>
which can be derived from the inverse transformation of (22.10) and (C.29). Since the 4-momentum is conserved in the inertial frame F], i.e., p IOc + Pjod= Pioa+ p I 0 b = constant and p [c + p I d = p, a + p I b = constant, we have the conservation of the rescaled momentum in CLA frames
Poc+Pod=Poa+Pob
and
(C31>
Pc+Pd=Pa+Pb>
at the "instant of collision," so to speak. Although both sides of the equations in (C.31) are, in general, not constant as shown in (C.30), they must be the same at the instant of collision.
In this sense, we have conservation of e n e r g y -
momentum for both inertial and non-inertial frames.
Based on the Wu
transformation for coordinates and 4-momenta, we have
J V X I e x p t - i p , ^ ) = (2n)454(Pl) = J " . ^ d 4 x e - i P < x >
= (2 n )48( Y p 0 - YPPi)8( Y pi - YPPO)O(P2)&(P3),
(C.32)
= (2K)48(PO)S(PI)6(P2)8(P3),
Quantum Electrodynamics in Both Linearly Accelerated and Inertial Frames
473
°lPOWPl) 8(Pl0)8(pn) = 8(YP0 - YPPl)5(YPl - YPPO) = — — = 8(po)5(pi), J(Pix/px) where we have used (23.8), (22.10) and (19.14). In the last equation, J(kft/k)J is the Jacobian of the p a w i t h respect to the px which can be calculated using (22.10). This result is the 2-dimensional generalization of the case given by (23.20) w i t h K = 0 .
3
1-dimensional
In a CLA frame, the integral of a "plane
wave" over the "whole spacetime" is limited and complicated by the presence of a "black wall" (i.e., a wall singularity) at x =-l/(a 0 Y 0 2 )- The integration can be carried out by a change of variables and this amounts to using variables in an inertial frame as a crutch to obtain the result.
The relation (C.31) or (C.32)
implies that momentum is conserved at a vertex in the generalized Feynman rules in CLA frames.
These properties of equations (C.27) through (C.32) are
convenient for writing down the generalized Feynman rules for
quantum
electrodynamics in CLA frames. As usual, if there are no identical particles in the final state, we define the relationship between the M and S matrices for initial (i) and final (f) states as follows:
Sfi = 6 f i - i ( 2 I t ) V ( p f ( t o t ) _ p . ( t o t ) ) [
F] ( n j / V ) ] 1 / 2 M f i , ext par
(C.33)
where "ext par" denotes external particles, nj = mj/cokj for spin 1/2 fermions and nj = l/2cokj for bosons. Note that the S-matrix elements for physical processes which are observed and measured in CLA frames are defined only for those cases in which the momenta of the initial and final states are constant in an inertial frame. Because of the 4-dimensional symmetry in
(C26) and
(C.33), the
generalized Feynman rules for writing the amplitude Mfi are formally the same as those in the usual QED in the natural units. The generalized Feynman rules for the amplitude Mfi in both constant-linear-acceleration frames and inertial frames are as follows:
474
Appendices
(a) The covariant photon propagator is given by -ihM,y-(l-p)ykv/(k2+is)] (k 2 +ie) where p = 1 is the Feynman gauge, and p = 0 the Landau gauge. (b) The scalar boson propagator is
(p^
- m 2 + ie)
(C.35)
(c) The vertex <J>(p )+Y(K,|J.) -» <J>(p') is
- i e ( p , i + p^),
(C.36)
where Y(k,M.) is an incoming photon line toward the vertex with the alteration momentum kx and a polarization index n. (d) The vertex 0+y(n) -> 4>+Y(V) has the factor
2i e 2 V .
(C.37)
(e) Each external photon line with an index n has a polarization vector e^. (f)
A factor 1/2 for each closed loop containing only two photon lines, e.g.,
0+4> -* Y(|I)+Y(V) -» O+0.
Other rules such as integration with d 4 k/(2re) 4 (=W _ 1 d 4 k/(2n) 4 ) over a momentum k^ not fixed by the "conservation" of momentum at each vertex etc. are the same as usual.
Quantum Electrodynamics in Both Linearly Accelerated and Inertial Frames
475
Cd.
Feynman rules for OJD with fermions in both CLA and inertial frames To obtain the rules for Feynman diagrams of spinor QED in CLA frames, we
have to replace the time derivative do = a/aw by the gauge covariant time derivative Vo, according to equation (23.48). We follow the usual quantization procedure and define LTQED by adding a gauge fixing term in the Lagrangian density,
LTQED = L - •fg&^p/lp,
(C.38)
L= V - g ^ O v , , - e a ^ - -f^gm^,
(C.39)
Vn = ( f l 0 + ! O k W ) Y ° Y k , ^ , 6 2 , 9 3 ) ,
where p is a gauge parameter. As usual, the M-matrix is defined in (C.33). One can verify that v^et-iPM " G(w))
= k | j e(-iP(x)
- G(w)) ;
(C40
)
for a "plane wave" (23.57) of a free fermion in CLA frames. The generalized Feynman rules for the amplitude M n of QED in both CLA frames and inertial frames are as follows: (a) The covariant photon propagator is given by (C.34). (b) The electron propagator is
Y^Pn=n%-
(C.41)
(Y^PH - m + ie)
(c) The electron-photon vertex is
- ieYl\
476
(C.42)
Appendices
(d) Each external photon line has an additional factor e ^ a )
Each external
electron line has u(s,p) for the annihilation of an electron and u(s,p) for the creation of an electron.
Each external positron line has v ( s , p ) for
the
annihilation of a positron and v(s,p) for the creation of a positron. Other rules such as taking the trace with a factor (-1) for each closed electron loop, integration with d 4 k/(2n) 4 over a momentum k^ not fixed by the conservation of alteration momentum at each vertex are the same as usual. Thus, if one calculates scattering cross sections and decay rates (with respect to the taiji-time w) of a physical process, one will get formally the same result as in conventional QED.
For example, let us consider the decay rate
r( 1^-2+3+...+N) for a physical process l-»2+3+...+N. It is given by the expression
„ ., , lim ISfjl2 d 3 x z d 3 p 2 d 3 x 3 d 3 p 3 X7, r(1^2+3+... + N) = w ^ _ J — ~^l (2jt)3
d3xNd3pN (2^~
_ f_L_ | M ,2 r n (2m. )1 d 3 P2 fer J -J203 P 1 IM fi' Lext fer (2^)32a)p 2
d3 x
PN
(2KP2(X>
(2JI)
6
(p
i
+ p
2 " p3 " p4 • - - P N ) S O ,
where Sfl is the S-matrix element between the initial state i and the final state f given by (C.33). The decay rate r( 1^2+3+...+N) has the dimension of inverse length and S 0 denotes a factor 1/n! for each kind of (n) identical particles in the final state. (2mf er )]
When there is no external fermion in a process, then [n e xt fer
in (C.43) is replaced by 1.
l/r(l-*2+3+...+N).
The decay length D is given by D =
For a scattering process 1+2^3+4+....+N, the differential cross
section do, which has the dimension of area, is given by
l
do = 4At/^ [ ( p 1 .=p 2
\7 ) 2 - (/ m
1m2
) \27]111/ 2/ 7
IMf fli |2[ e x t " f e r (2m f e r ) J ] r l
L
PYt
fW
d3p
J
(2^)32o)p3
Quantum Electrodynamics in Both Linearly Accelerated and Inertia! Frames
All
u PN (2„)3 2copN
{2n)
464(p
i + P2 " P 3 " P 4 • - - P N ) S o,
(C.44)
where pi = p i, i = 1, 2, 3 and po = cop = ( p 2 + m 2 ) 1 / 2 . If the initial particles are unpolarized, one takes the average over initial spin states. When there is no external fermion in a process, then [n e x t fer (2mf e r)] in (C.44) is replaced by 1. Ce.
Some QED results in both CLA and inertial frames Let us consider some well-known physical processes in QED1 to illustrate
the generalized Feynman rules in both CLA frames and inertial frames, and see how the conventional results in inertial frames are modified if they are measured in a laboratory with constant-linear-acceleration. A. Electron Scattering from a Point-Like
Proton
According to the generalized Feynman rules, the amplitude Mf j for such an electron scattering from a point-like proton, e(p; + p(Pj) -» e(pf) + p(Pf) with the exchange of a photon v(q), where q ^ p f y - p ^ , is given by
Mfi-u(sf,pf) [-ie Y (*]u(si,pi)[— i j i 2 : —lu(Sf > Pf)[-ieYC]u(Si I Pi) >
(C.45)
where we have used the Feynman gauge for the photon propagator (p =1). The S-matrix element Sf; in (C.33) takes the form
Sfi - - i(2,)4 6 4(P f +
Pf
_ pt - p,) [ | L | L | L | L J_] 1/2 Mf .
;
(C46)
where m and M are, respectively, masses for the electron and the proton. differential cross section is given by (C.44), ,
478
mM
7
md3p f
Md3pf
Appendices
The
x(2Jl)454(Pf+Pf-P.-P.)i
( C 4 7 )
where po = Wpf = (pf 2 +m 2 ) 1/2 , wpf = (P^+M 2 ) 172 and IMfil2 is given by
'Mfi'2 = i m ^ a ? P f P f P i " P i
+ Wi
'~Pf ~ m2Pf'Pi
- M2pf-pi + 2M2m2].
(C.48)
Since Pf-pf = Pf^pf^, etc. we see that the differential cross section is formally the same as the one given by the conventional theory in an inertial frame, except that each individual momentum is not constant in CLA frames, da(CLA frame) = do(inertial frame).
(C.49)
The origin of this identical result is the limiting 4-dimensional symmetry which dictates the invariance of the action or the S-matrix. After integration, (C.49) gives the total cross section which can be pictured as the effective size of the target particle, in this case, a proton. This effective size of the proton depends of the strength of the interaction. For the electromagnetic interaction, the coupling strength is a e ~ 1/137 ~ lO-2, the weak interaction coupling strength is about 10~12. The size (or cross section) of a proton is about 10 -24 cm2 from the viewpoint of the electron.
But from the
viewpoint of a neutrino, which has only weak interactions with the proton, the size of a proton is extremely small, about 10 -44 cm2. B. Compton Scattering The S-matrix element for the Compton scattering process, y(k) + e(pi) -» y(k') + e(pf), is given by
sfi - - i^mk'
+
P f - k - P t) [^f-^^^l^Mfi'
(C50)
Quantum Electrodynamics in Both Linearly Accelerated and Inertial Frames
479
where a>k = lkl= Ikl, copf ="\pf 2 +m 2 and the M-matrix element is given by
Mfl =u(sf,p f ) {[-ie
a
+ [-ie
Y
Ea][
a Y
E'a][—: r ][-iev v ev] Y^(Pin+kn)-m+ie
: T ][-ieY v £'v]}u(si,pi), Y^(Pin-kV)-m+ie
(C.51)
according to the generalized Feynman rules. We obtain the result that the differential cross section for the Compton scattering is also the same as that in an inertial frame, do
Com P ton( CLA
frame
) -
do
c o m p t o n ( i n e r t i a l frame).
(C.52)
C. Self-Mass of the Electron The self-mass of the electron is given by the expression
6m
, = I
/
d4k -i^uv oK/ . ) }4 _ _ ^ [- ie -* [k 0 ko+ie]
-i
YH
J
[-i e [ Y P(pi p -k p )-m+ie]
= 5m(inertial frame).
YV]
(C.53)
This is consistent with the fact that the (rest) mass of the electron in an inertial frame is the same as that of the electron in CLA frames, as shown in (23.8). D. Anomalous Magnetic Moment of the Electron The anomalous magnetic moment of the electron can be found from the calculation of the vertex correction,
- i e Y^ -» - i e yV - i e A^
480
(C.54)
Appendices
due to higher order interactions. Up to the third order, we have
**- f (ln) 7 7 L^ - 4 ^ 1J b*][L J
(kak°+iE)
x
~
][-ISY"]
Y P(p' p -kp)-m+i E
J
[—^^ ][-ieY X ]. Y a (p a -k a )-m+iE
(C.55)
The result can be written in the form
AH = I*Gi(q 2 ) + ^ - q vo^G2(q2),
q^ - p'„ - py.
(C.56)
The anomalous magnetic moment of the electron measured in a CLA frame is the same as that measured in an inertial frame, a
( 2^e
\ ) =G2(0)i n ertial frame.
(C.57)
Finally, we note that these discussons for QED can also be applied to n o n inertial frames with a constant rotational motion, since we have the taiji rotational transformations (26.11) with limiting 4-dimensional symmetry.
Quantum Electrodynamics in Both Linearly Accelerated and Inertial Frames
481
References 1.
2.
3.
482
See, for example, J. J. Sakurai, Advanced Quantum Mechanics (Addison-Wesley, Reading, MA, 1967) pp.171-172 and pp. 181-188; S. Weinberg, The Quantum Theory of Fields, vol. I, Foundations (Cambridge University Press, New York, N.Y., 1995) pp.134-147. J. D. Bjorken and S. D. Drell, Relativistic Quantum Mechanics (McGraw-Hill, New York, 1964) chapter 7. There is another class of phenomena in which particles move with a constant acceleration relative to an inertial frame. In this case, such particles are at rest relative to a particular CLA frame. The physical laws governing this class of phenomena appear to be more involved. For example, consider the mathematical law governing the decay of unstable particles. In quantum field theory, the decay rate for accelerated unstable particles is formally the same as in (17.72) with a time-dependent factor r(p)=r0(i-p2)i/2. I. M. Gel'fand and G.E. Shilov, Generalized Functions Vol. 1 (transl. by E. Saletan, Academic Press, New York, 1964) p. 185.
Appendices
Appendix D Yang-Mills Gravity with Translation Gauge Symmetry in Inertial and Non-inertial Frames Da.
Translation
gauge transformations
and an 'effective
metric
tensor' in flat spacetime The limiting 4-dimensional symmetry of the Lorentz and Poincare groups leads to generalized spacetime transformations for non-inertial frames, as we have discussed in chapter 19. For non-inertial frames with constant-linear-accelerations, we have discussed the Wu transformation and the generalized MWL transformation. The existence of these spacetime transformations implies that the spacetimes of both inertial and non-inertial frames have zero Riemann-Christoffel curvature tensor. This provides a simple mathematical framework for discussions of YangMills theory of gauge fields in both inertial and non-inertial frames. 1 It is well-known that the form of basic interactions for strong, weak and electromagnetic forces in the physical world can be determined by gauge symmetry of actions involving quadratic gauge curvatures.2 Yang-Mills theory is characterized by two basic features; (A) a gauge invariant action involving quadratic gauge curvature, and (B) an underlying flat spacetime, in harmony with the grand tradition of all classical and quantum fields. However, Einstein's theory of gravity based on general coordinate invariance is a departure from this tradition. Dyson stressed that "the most glaring incompatibility of concepts in contemporary physics is that between Einstein's principle of general coordinate invariance and all the modern schemes for a quantum-mechanical description of nature. "3 it would be very interesting if gravity could be understood within the framework of Yang-Mills theory with the spacetime translation gauge symmetry. The spacetime translation symmetry is particularly interesting because it implies the conserved energymomentum tensor which is the source of the gravitational field.
483
The relation between such a translation gauge theory and fiber bundles is not completely clear.
Usually, a fiber bundle over the 4-dimensional spacetime
manifold attaches to each point of spacetime some internal space. In Yang-Mills theory, the internal gauge group is associated with the internal space. However, the spacetime translation group is associated with the external spacetime rather than an internal space. In this connection, we note that Einstein's gravitational field is a metric which determines the Levi-Civita connection on the tangent vector bundle, while Yang-Mills fields are connections on principle fiber bundles.
Besides, the
Hilbert-Einstein action involves a linear spacetime curvature, while the Yang-Mills action involves a quadratic gauge curvature.
Thus, both Einstein's gravitational
field and the translation gauge field are not exactly the same as the Yang-Mills field. Nevertheless, we shall assume that Yang-Mills' approach to an internal gauge group can be generalized to the external spacetime translation group.
Such a
framework facilitates the quantization of gauge fields by the conventional method and hopefully, may shed light on a theory of quantum gravity based on Yang-Millstype action involving quadratic gauge curvature. In Einstein's theory of gravity, the structure of couplings for g^v is very complicated and also has non-trivial difficulties in both technical and conceptual aspects from the viewpoint of quantum field theory. However, as a classical field theory, one of the strengths of general relativity lies in its successful equation of motions for objects and light rays, based on the metric g |lv dx |1 dx v , which was first discussed by Einstein and Grossmann.4 As for renormalizable quantum field theory, Yang-Mills fields have the best track record in theory and experiment, providing that the underlying spacetime is flat. Yang-Mills fields with spacetime translation gauge symmetry have special features which provide a natural union of the Einstein-Grossmann metric and the gravitational Yang-Mills field. The union of the two implies that (i) The framework is applicable to all general frames of reference (both inertial and non-inertial) in which the spacetime is characterized by the vanishing Riemann-Christoffel curvature tensor.
(ii) The 'effective Einstein-
Grossmann metric' originates physically from a spin-2 Yang-Mills field in flat spacetime.
484
Appendices
The formulations for electromagnetic and Yang-Mills fields associated with internal gauge groups have been developed extensively.
They are based on the
replacement a!1-^+igB^xa) where xa is the constant matrix representations of the gauge groups which have little to do with external spacetime. For external gauge groups related to spacetime, e.g., the de Sitter group or the Poincare group, the gauge invariant Lagrangian involving fermions turns out to be richer in content. 5 Let us concentrate on a specific simple external gauge group of translations T(4) in flat spacetime. The translation group T(4) is the Abelian subgroup of the Poincare group. This group is particularly interesting because it is the minimal gauge group related to the conserved energy-momentum tensor that couples to a spin-2 field ^v.
However, the generators of the translational group are the
displacement operators, p^ = id^ (J=l) in inertial frames.
In a general frame
(inertial or non-inertial) with a metric tensor P ^ , we replace a^ by D^, i.e., the partial covariant derivative with respect to the Levi-Civita connection (or the metric tensor P^ in flat spacetime. Thus, the replacement in Yang-Mills gravity takes on the different form D, - D ^ - i g ^ D ' - V D * , where D^ = P(lvDv in such a gauge theory.
The generators of this non-compact
translation group do not have a constant matrix representation. It is precisely this unique property that leads naturally to an 'effective Einstein-Grossmann metric' in flat spacetime.
Such an effective metric emerges for matter fields (as shown in
equations (D.5) and (D.6) below). Furthermore, the displacement operator of the translation gauge group dictates that the coupling constant g in J ^ must have the dimension of length and that the interaction cannot have both attractive and repulsive forces, in sharp contrast to the dimensionless real coupling constants in electrodynamics and other Yang-Mills theories associated with internal gauge groups.
Yang-Mills Gravity with Translation Gauge Symmetry
485
The new formalism of external gauge symmetry for translations in flat spacetime leads to a gauge-invariant action involving fermions. It suggests that (a) the massless Yang-Mills spin-2 field in flat spacetime can be identified as the gravitational gauge field,^
(b) a new gravitational gauge equation can be
formulated in both inertial and non-inertial frames and (c) an 'effective metric' G^vdx|idxv can be used to describe the motion of classical objects in flat spacetime.
In the post-Newtonian approximation, the present gauge field
equation is consistent with classical tests such as the perihelion shift of the Mercury and the time delay of radar echoes. Let us consider translation gauge symmetry, i.e., the local spacetime translation with an arbitrary infinitesimal vector gauge-function A^x),
x11 — x'^1 = x* + A"(x),
X M | l = (w,x,y,z).
(D.l)
The basic point is that this transformation has a dual interpretation: (i) a shift of the spacetime coordinates by an infinitesimal vector gaugefunction A^(x), and (ii) an arbitrary infinitesimal transformation. These two mathematical implications of the transformation (D.l) dictate the following gauge transformation of spacetime translations for physical quantities in the Lagrangian of fields
Q . * l - f » (X) -* Q / 1 - " "
1
(x) = (Q.*l-*m
(X)
ax 'Hl
X
_ A * ( x f o Q . ; : i - > (X))
ax'Hm
dxvi
flxPn
...
axvm ax'"1
where n m , v m , a ra , p m are spacetime indices.
486
flxPl
...
Appendices
,
ax' an
(D.2)
The spinors o|)(x) and D ^ transform, by definition, as a scalar function Q(x) and
a covariant vector
Q^x)
respectively
under
the
translation gauge
transformation
Q.(x) - Q.$(x) = (Q.(x) - Ax(x)^Q.(x)j,
D^(x) - (D^(x)) $ = (D V I|<X)-A x (xfoD ¥ ,|<x))-^-
ax11,
An
_ (A^)$
= AM-
_ A ^ A 1 1 + A^A 1 *,
(D.3)
T^v -*• (T^v) = T^v - A a^T^ - T(I(XavAa - T^a^A".
We use D^, to denote the partial covariant derivative with respect to the metric tensor P,,v(x) in a general reference frame. The translation gauge transformation (D.2) is formally similar to the Lie variations in the coordinate transformation. For an example of P,„(x) in the flat spacetime of a general reference frame, let us consider the accelerated Wu transformation between an inertial frame Fj(wi,Xi,yi,Zi) and a non-inertial frame F(w,x,y,z).
The Wu transformations
preserve the invariant infinitesimal interval7
ds 2 = dw 2 - dx 2 - dy 2 - dz,2 = P^dx^dx*,
(D.4)
P^ = (W 2 ,-1,-1,-1) - (y4[vo2 + a x ] 2 , - l , - l , - l ) .
All constant-linear-acceleration frames of reference have the metric tensor of the form P^ =(W 2 ,-1,-1,-1). 8 > 9 The metric tensor P|lv(x) for a general frame of
Yang-Mills Gravity with Translation Gauge Symmetry
487
reference with zero Riemann-Christoffel curvature tensor may be called the Poincare metric tensor. In the limit of zero acceleration, a 0 -» 0, P|iv(x) in (D.4) reduces to the Minkowski metric tensor T)^ = (1,-1,-1,-1) of inertial frames. In order to see the relation of such a spin-2 field ^v(x)
to the gravitational
field, let us consider the kinetic term in the Lagrangian of a scalar field $: (1/2) P|lv(x)D|i
In the presence of the spin-2 field ^ ( x ) , the translation gauge
symmetry dictates the replacement, D^, -» D^ - ig4yvDv = ]^VDV.
i p ^ D ^ D v * - |p^J |ia (D a
G a |5 - P^ V J^aJvp = Pap + 2g<|>ap + g ^ ^ a ^ p o .
Thus, we have
(D.5)
^4- = ^O ,
where the function Gap formally resembles a metric tensor. One can see from (D.5) that it appears as if the geometry of the spacetime is changed from a Euclidean spacetime to a non-Euclidean spacetime due to the presence of the spin-2 field ^ ( x ) . As suggested by the action for a quantum field involving the kinetic term in (D.5), the action S p for the motion of classical objects effectively is assumed to take the form,
b
Sp=-/mdsei,
ds*. = G(iVdx"1dxv,
(D.6)
a
where G(lvdx^dxv denotes the effective Einstein-Grossmann metric for motions of classical objects. This action (D.6) for particles suggests a simple and natural union of the Einstein-Grossmann metric for motions of classical objects with the Yang-Mills field for gravity with a flat-spacetime translation gauge group: namely, that the spin-2 gauge field and its interaction with fermion matter actually take place in a flat spacetime and that only the equation of motion of classical objects is derived from
488
Appendices
the classical action in (D.6) which happens to have a form similar to the EinsteinGrossmann metric g (lv dx |i dx v . From the viewpoint of Yang-mills theory, the presence of the effective metric tensor Gap in (D.5) and (D.6) indicates that the underlying symmetry is the translation gauge symmetry in flat spacetime rather than the general covariance in curved spacetime.
Db.
Yang-Mills
theory with translation
gauge
symmetry
The present theory of Yang-Mills gravity is formulated on the basis of the translation gauge symmetry and the postulate of the effective metric tensor in (D.6) for the motion of a classical particle in such a spin-2 fields. However, from the field-theoretic viewpoint, the real physical spacetime is still flat and fundamental metric tensor is still P|iv(x) in general frames of reference.
the
Thus,
G|iv(x) in (D.6) is treated merely as an "effective metric tensor" for the motion of a classical object in the presence of the spin-2 gauge field, in the sense that the 4dimensional effective interval is ds^ = G^vdx^dxv in the action (D.6) for classical objects such as planets, stars or light rays. We note that the Poincare metric tensor P^v(x) is a purely geometrical property of spacetime and does not contain the physical field
=
postulate the following gauge-invariant fermion action S^ in a general frame:
SV = JLV4-P d \
|r^,r v l = 2P'iV(x),
L^i^A^-fA^r^-mw,
r"-=Yae£,
P = det(P(IV),
Yang-Mills Gravity with Translation Gauge Symmetry
(D.7)
(D.8)
489
A ^ = J„ V D>,
Dvy = Bvy,
< D - 9)
J^-PKV + S V '
where ya and ejj are respectively the constant Dirac matrices and the tetrads, while A^ is the translational gauge-covariant derivative.
If one considers e{M^v in the
action (D.7) as an 'effective tetrad,' Eav =eUJ(lv, then the corresponding 'effective metric tensor' is E aa E b)5 ri ab = egJ^eJJJv(5r|ab = P^J^Jvp = G ap , which is the same as that in (D.5). The translational gauge transformation (D.2) leads to L,j, -» L^ - A d^L^.
Therefore, the fermion Lagrangian V-P L^ changes only by a divergence,
(D.IO)
where we have used the gauge transformation,
i£p -»Tpp* = [(l - A°a 0 h£p ](l - aKAK).
This gauge transformation can be obtained using
P^v - A ^ P ^ - P^flvAP - P ^ A " - [(1 - A°a„ )Pap](5« - ^ A a jjflP - dvAP )
for an infinitesimal vector function A^(x).
The last term in (D.IO) does not
contribute to the action (D.7) because of Gauss' theorem. Thus, the action S^, is translational gauge invariant.
Dc.
Gravitational
action with quadratic
gauge-curvature
As usual, the gauge-curvature (or the gauge-field strength) is given by the
490
Appendices
commutator of two gauge covariant derivatives A^ = J(IVDV:
[ V D \ JapDP] = ( V D v J a p ) - J ^ D ^ p ) ) ^ - C,apDP.
(D.11)
The gauge-curvature C^ap satisfies the algebraic identities, (i) cyclicity, C^p + Cap^ + CP(Aa = 0, and (ii) antisymmetry, C^p = - C a(ip . These identities can be directly verified. By examining all possible terms of the scalar quadratic gauge-curvature such as
C,p„C^,
C a , a C % , etc.
using the anti-symmetric property (ii) and by interchanging dummy indices, we find that there are only two independent quadratic terms,
C ^ O * " and C ^ C P p
for the T(4) gauge curvature. All other terms can be expressed in terms of these two quadratic terms. For example, we have
C,apC^=2C,apC^.
Thus, the T(4) gauge invariant Lagrangian density is naturally assumed to be a linear combination of these two independent terms, C^ a pC^ a + fC^a C^pp. For simplicity, the constant f is chosen to be f = - 1 , i.e., one has the simplest linearized equation when a gauge condition is imposed. In this case, the linearized gauge field equation turns out to be the same as the linearized Einstein's equation in general relativity. Thus, we postulate the action for the spinor-tensor fields to be
Yang-Mills Gravity with Translation Gauge Symmetry
491
S^ = J l ^ i f * d4x,
L^ = - J - L a p C ^ a - C , a V O + L^, 2g2
(D.12)
where L^V-P changes only by a divergence under the gauge transformation (D.2) Note that the quadratic gauge-curvature in (D.12) can be written as
1
2g
Dd.
n 2
2
c¥afp^-cvaaa*f
Linearlized
equations
of the tensor
field
and the Hamilton-Jacobi
equation for particles
For simplicity, let us choose inertial frames rather than general non-inertial frames in the following discussions of experimental implications. One of the ways to do this is to consider the case, PM.V =1 V>
(D 13)
J u v = i V + g
-
where all tensors indices are raised and lowered by r ^ .
For weak fields, the
linearized gauge equation for spin-2 field can be derived from (D.12)
<3)/V -<>\*Xv - V A ( A S " ^ i l + V v f i " V^vfi = - g V
(D.14)
where n and v are understood to be symmetrized, and
=
-[w^v^>-{dv^)iy^
is the energy-momentum tensor of a free fermion.
In the calculations of the
effective metric tensor and the gravitational quadrupole radiation, it is not
492
Appendices
necessary to symmetrize \i and v explicitly in the gauge-field equation. The gauge symmetry allows us to impose the usual gauge condition for the massless spin-2 field in (D. 14),
aV^v+t
(D.15)
The gauge equation (D.14) takes a simple form:
^ V -1 wN>S = -gV,
(D.i6)
which turns out to be formally the same as the linearized Einstein's equation for a weak gravitational field. The classical particle action (D.6), with the effective interval d 2 s e j leads to the variation
dx>* 5SD = - m G „ - ^ - S x \
(D.17)
if one considers only the actual path with one of its end points variable. 10 Thus we have the Hamilton-Jacobi equation for a particle with mass m,
I ^ S p ) ( d v S p ) - m 2 = 0,
In the
I^Gvx - 8£.
(D.18)
Newtonian limit, (D.16) with the only non-vanishing component,
TQO = m5 3 (r), leads to
g2m (8:tr)
Also, I 0 0 in the Hamilton-Jacobi equation (D.18) has the usual result
Yang-Mills Gravity with Translation Gauge Symmetry
493
I00 = 1 +
2Gm
in this limit, where G is the gravitational constant. Based on these results, together with P"" in (D.18) and G^ in (D.6), we obtain the relation
g = V8*G ,
| g < t o o - 8 l > l l - - ^ r > etc.|,
(D.19)
by solving (D.16) with the spherical coordinate, x*1 =(w,r,e,cp) to the first order approximation.
De.
The gauge field equation
In inertial
and non-inertial
frames
In order to show that the theory is viable beyond the
first-order
approximation (D.19), let us compare the result (D.18) with the perihelion shift of the Mercury, 10-11 which is sensitive to the coefficient appearing in the secondorder term in I 0 0 or Goo-
We
solve the non-linear gauge field equations by the
method of successive approximation and carry out the related post-Newtonian approximation to the second order. To accomplish this calculation and to have a well-defined gauge fields, we include the usual gauge condition (D.15), so that the total Lagrangian in a general frame takes the form
LtV=P = JL^ -
- L D ^
- I D ^ | D v j v a -IDJI)}^.
(D.20)
We derive the following exact gauge field equations in a general frame
H"v + |A | l v =-g 2 T | l v ,
494
(D.21)
Appendices
UT - D x ( j ^
v
-j£c°V4V
+ C^pJ
vX
)-C i a PD v J a p + C' 1 PpD v Jg-C^pD v J^,
A^=D4D^-iDvjH-ip^DaD,JXa-|D0D°jH,
where n and v are understood to be symmetrized. It suffices to consider an inertial frame and a static and spherically symmetric system, in which gauge fields are produced by an object at rest with mass m. Based on symmetry considerations, 12 the non-vanishing components of the exterior solutions ^ ( r )
are 22(r)sin28,
where x1* =(w,r,8,(p). To solve the static gauge field, let us write
Joo=Jo=S,
J22 _ T2
-Jn-Jl-R,
"
2
_
i ^ 3 — = JJ 33 = T .
J22 _- ~- 2 - 2 - . ~
T1-
(D.22)
r ' sin' 6
For (n,v) = (0,0),(1,1),(2,2),(3,3), the gauge-field equation (D.21) can be written respectively as
AfR2dS)+2RidS+fRA+dR drl drl r dr I dr dr
+
2R)f_R(dS+2dT)_2T2 r A dr dr r
+
2TR r
(D.23)
1 d 1 d + ? - - = — (S-R + 2T) + — — (S-3R + 4T)- — (R-T) 2r dr 4dr
R
d§ dr
+2f3
dS 0 d T d . I ILAI + li dr r r dr r r 3 + | — + 2 dr dr
2T
(D.24)
r
-R(— + 2 — ) - - T ^ + - T R dr dr r r
Yang-Mills Gravity with Translation Gauge Symmetry
495
+§ IA^S-R + 2T)-^-A( S + R) + 2
4 dr
2r dr
dr
+
r
r
- ( -
+
(D.25)
)+ —
r dr r
|-L(RA+dR) 2 dr dr
r2
T2\
R.dT, I dr
A(R-T)
r3
3R_2T _ R ( d S + 2 d T ) _ 2 T 2 3 3 dr dr r r r ){
+
2TR r
+i J -2i L (2 S - R + 2 T ) - l -3- 7 - ( R - T ) + 4 ( R - T ) 4r dr r dr r4
after tedious but straightforward calculations. The equation for the component (n,v) = (3,3) is the same as equation (D.25). The second-order approximation of the fields in (D.23) through (D.25) are solved and hence, (D.22) leads to the following results
r
r
L 2r 2 '
R- J
a
°
r
a
OP |^
r2 U §
(D.26)
r2
The parameter a 0 can be determined by the Newtonian approximation of g$oo
S = l + g<|)oo = 1 - — , r
a0=-Gm.
(D.27)
Equations (D.22) and (D.26) lead to the second order approximation of the gauge field g<|)00:
496
Appendices
g^oo
2^2 Cm 2r 2
Gm
g