You are on page 1of 6

Physical time and physical space in general relativity

Richard J. Cook
Department of Physics, U.S. Air Force Academy, Colorado Springs, Colorado 80840

͑Received 13 February 2003; accepted 18 July 2003͒ This paper comments on the physical meaning of the line element in general relativity. We emphasize that, generally speaking, physical spatial and temporal coordinates ͑those with direct metrical significance͒ exist only in the immediate neighborhood of a given observer, and that the physical coordinates in different reference frames are related by Lorentz transformations ͑as in special relativity͒ even though those frames are accelerating or exist in strong gravitational fields. ͓DOI: 10.1119/1.1607338͔

‘‘Now it came to me:...the independence of the gravitational acceleration from the nature of the falling substance, may be expressed as follows: In a gravitational field (of small spatial extension) things behave as they do in space free of gravitation,... This happened in 1908. Why were another seven years required for the construction of the general theory of relativity? The main reason lies in the fact that it is not so easy to free oneself from the idea that coordinates must have an immediate metrical meaning.’’ 1 Albert Einstein I. INTRODUCTION I often start my lecture on the meaning of the line element in general relativity ͑GR͒ with the provocative statement, ‘‘In general relativity the Galilean transformation of classical mechanics is just as valid as the Lorentz transformation of special relativity, because all space–time coordinate transformations are equally valid in general relativity’’ ͑the democracy of coordinate systems͒. This statement invariably sparks a heated discussion about what is physically significant in GR and serves to introduce the following comments on the meaning of the spacetime metric. I claim no new results in the following—only that this approach to understanding the metric has been useful for the author and may be of some help to others who attempt the daunting task of teaching GR to undergraduates. II. REFERENCE FRAMES For our purpose, a reference frame will be defined as a collection of fiducial observers distributed over space and moving in some prescribed manner. Each fiducial observer ͑FO͒ is assigned space coordinates x i ( i ϭ 1,2,3) that do not change. ͓The FOs are ‘‘at rest’’ ( x i ϭ constant) in these coordinates.͔ Each FO carries a standard measuring rod and a standard clock that measure proper length and proper time at his/her location. The basic data of GR are the results of local measurements made by the FOs. ͑These are the ‘‘10,000 local witnesses’’ in the words of Taylor and Wheeler.2͒ In special relativity, the FOs usually sit on a rigid lattice of Cartesian coordinates in inertial space; there is a different set of FOs in a different inertial reference frame. In Schwarzschild space, the FOs reside at constant values of the Schwarzschild space coordinates ( r , ␪ , ␾ ), and, in an expanding universe, the FOs sit at constant values of the comoving Robertson–Walker space coordinates ( r , ␪ , ␾ ). In
214 Am. J. Phys. 72 ͑2͒, February 2004

this case, the distance between FOs changes with time even though each FO is ‘‘at rest’’ ( r , ␪ , ␾ ϭ constant) in these coordinates. III. PHYSICAL SPACE What is the distance d ᐉ between neighboring FOs separated by coordinate displacement dx i when the line element has the general form ds 2 ϭ g ␣␤ dx ␣ dx ␤ ?
3

͑1͒

Einstein’s answer is simple. Let a light ͑or radar͒ pulse be transmitted from the first FO ͑observer A ) to the second FO ͑observer B ) where it is reflected and returns to A . If the time between transmission and reception of the reflected pulse ͑as measured by A ’s standard clock͒ is d ␶ A , then the Einstein distance between A and B is defined by the radar formula d ᐉ ϭ c d ␶ A /2. Using the general metric ͑1͒ for light ( ds 2 ϭ 0), we find in the Appendix that this distance d ᐉ is given by the spatial metric d ᐉ 2 ϭ ␥ i j dx i dx j , where g 0ig 0 j . g 00 ͑2͒

␥i jϭgi jϪ

͑3͒

We call Eq. ͑2͒ the metric of physical space for the given reference frame. It measures proper distance at the point of interest, that is, local radar distance is the same as proper distance ͑the distance measured with a standard ruler͒. Notice that, when g 0 i 0, the spatial metric components ␥ i j are not simply the spatial components g i j of the full metric g ␣␤ . The example of Einstein’s rotating disk with measuring rods along the diameter and circumference, as depicted in Fig. 1, nicely illustrates the use of Eqs. ͑2͒ and ͑3͒. In inertial space with polar coordinates ( r 0 , ␪ 0 ) and origin at the center of the disk, the space–time metric reads ds 2 2 2 ϭϪ c 2 dt 2 ϩ dr 2 0 ϩ r 0 d ␪ 0 . A transformation to the frame rotating with the disk at angular velocity ⍀ ( r ϭ r 0 , ␪ ϭ ␪ 0 ϩ ⍀ t ) puts the metric into the form ds 2 ϭϪ 1 Ϫ

ͫ ͩ ͪͬ
⍀r c
2

c 2 dt 2 ϩ 2

ͩͪ

⍀ 2 r ͑ c dt ͒ d ␪ ϩ dr 2 c ͑4͒

ϩ r 2 d ␪ 2,

with nonzero metric components g 00ϭϪ ͓ 1 Ϫ ( ⍀ r / c ) 2 ͔ , g 0 ␪ ϭ g ␪ 0 ϭϪ ⍀ r 2 / c , g rr ϭ 1, and g ␪␪ ϭ r 2 on coordinates
214

http://aapt.org/ajp

IV. PHYSICAL TIME Physical time ˜ t in the immediate neighborhood of a particular fiducial observer O is that function of position coordinates x i and coordinate time x 0 ϭ ct that, when used to measure speed d ᐉ / d˜ t , places the speed of light ͑the one-way speed͒ at the invariant value c in all directions. Now the general line element ͑1͒ can be written in terms of the physical space metric ͑2͒ as ds 2 ϭϪ c 2 d˜ t 2ϩ d ᐉ 2, where d˜ t is defined by
Fig. 1. Einstein disk rotating about its center O with angular velocity ⍀ ͑viewed from inertial space͒. Standard measuring rods are laid end-to-end along the diameter and circumference of the disk and move with the disk.

͑8͒

d˜ t ϵ ͱϪ g 00dt Ϫ

g 0 i dx i c ͱϪ g 00

.

͑9͒

x ␮ ϭ ( ct , r , ␪ ). A glance at the metric ͑4͒ might miss that the spatial geometry in this reference frame is non-Euclidean. But application of Eqs. ͑2͒ and ͑3͒ gives the spatial metric d ᐉ 2 ϭ dr 2 ϩ r2 d␪2 , 1Ϫ͑ ⍀r/c ͒2 ͑5͒

which clearly shows no change of radial distance ( dr ϭ dr 0 ) and an increase in measured circumferential distance ͓from r d ␪ to r d ␪ /(1 Ϫ v 2 / c 2 ) 1/2] due to the Lorentz contraction of measuring rods placed end-to-end on the circumference and hence moving in the direction of their lengths with speed v ϭ ⍀ r . When three-space is flat, we can transform to Cartesian space coordinates for which the spatial metric takes the Euclidean form d ᐉ 2 ϭ ␦ i j dx i dx j , and the coordinates x i measure distance directly. We shall refer to such coordinates as ‘‘physical’’ space coordinates. But, when three-space is curved, global physical coordinates do not exist. We can, however, always transform to local Cartesian coordinates ˜ 1 , dx ˜ 2 , dx ˜ 3 in the immediate neighborhood of any chosen dx FO, in which case the local space metric takes the form ˜ 1 ͒ 2 ϩ ͑ dx ˜ 2 ͒ 2 ϩ ͑ dx ˜ 3 ͒2. d ᐉ 2 ϭ ͑ dx ͑6͒ ͑Here and in the following we use a tilde to denote differentials that may not be exact and, therefore, may not be inte˜ 1 , dx ˜ 2, grable to global functions.͒ The proper distances dx 3 dx ˜ are local physical coordinates measured from the given FO, and are written as differentials to suggest that they cannot be large. They are finite but small enough that curvature effects are negligible over the region they span. When the spatial metric is diagonal to begin with ͓ d ᐉ 2 ϭ ␥ 11( dx 1 ) 2 ϩ ␥ 22( dx 2 ) 2 ϩ ␥ 33( dx 3 ) 2 ͔ , the local physical spatial coordinates are ˜ 1 ϭ ͱ␥ 11dx 1 , dx dx ˜ 2 ϭ ͱ␥ 22dx 2 , dx ˜ 3 ϭ ͱ␥ 33dx 3 . ͑7a͒ ͑7b͒ ͑7c͒

The proof of Eq. ͑8͒ is by direct expansion of this equation using Eqs. ͑2͒, ͑3͒, and the definition ͑9͒ of d˜ t . We have 2 ˜ used the notation d t because for light ( ds ϭ 0), Eq. ͑8͒ shows that d˜ t is the time differential that gives the speed of ˜ light d ᐉ / d t the value c in all directions, that is, d˜ t is indeed the differential of physical time. At observer O ͓at dx i ϭ 0 in Eq. ͑9͔͒, the physical time increases at the same rate as the proper time ␶ 0 at that location ( d˜ t ϭ ͱϪ g 00dt ϭ d ␶ 0 ), and, at the coordinate displacement dx i from O , the physical time is synchronized with the clock at O by the Einstein synchronization procedure.3 By the Einstein synchronization procedure, we mean the process in which, when the clock at O reads time ˜ t 0 and this time is transmitted over the coordinate displacement dx i of length d ᐉ at the speed of light, the physical time at the end of this t 0 ϩ dl / c , that is, it contains the journey has the value ˜ t ϭ˜ retardation correction d ᐉ / c required to account for the finite and invariant propagation speed of the time signal. ͓That the definition ͑9͒ of the physical time differential d˜ t is consistent with the Einstein synchronization procedure follows from the fact that d˜ t is the time differential that gives the speed of light the value c in all directions.͔ Another way of saying this is that, in the immediate neighborhood of the given fiducial t ϭ constant) defines a observer O , the condition d˜ t ϭ 0 ͑or ˜ hypersurface of simultaneity. The all important point of this discussion is that, as a temporal coordinate, the physical time ˜ t is a very special one. It is the time actually used by the fiducial observer for measurements in his local reference frame. If it were not so, this observer would not measure the local light speed c . Thus the notion that all fiducial observers measure the same speed c for light ͑Einstein’s postulate͒ is equivalent to the notion that all fiducial observers use the physical time ˜ t in their local reference frames for the measurement of that speed. Also notice that, when we use local Cartesian coordi˜ i at a particular FO, the local line element ͑8͒ takes nates dx the Minkowski form t 2 ϩ ͑ dx ˜ 1 ͒ 2 ϩ ͑ dx ˜ 2 ͒ 2 ϩ ͑ dx ˜ 3 ͒2. ds 2 ϭϪ c 2 d˜ ͑10͒

But such differentials are not exact and cannot be integrated to give global Cartesian coordinates ͑if they could, the space would not be curved͒.
215 Am. J. Phys., Vol. 72, No. 2, February 2004

˜ ␮ is Equation ͑10͒ does not imply that the local frame dx inertial. The observer O can be moving arbitrarily, and there can be a gravitational acceleration in this frame. ͓The local
Richard J. Cook 215

metric g ␣␤ ( O ) ϭ ␩ ␣␤ is Minkowskian, but the derivatives of the metric ‫ ץ‬g ␣␤ / ‫˜ץ‬ x ␮ are not necessarily zero at this point.͔ We use phrases such as ‘‘the local reference frame’’ or ‘‘immediate neighborhood,’’ because the differential of physical time in Eq. ͑9͒ may not be an exact differential. If d˜ t is not exact, Eq. ͑9͒ defines the physical time only in a small neighborhood about O . That is to say, unless they are very close to one another, different FOs use different physical times for their interpretation of nature. Only when the differential of physical time is exact does there exist a single global physical temporal coordinate ˜ t ( x 0 , x i ) for all FOs. In this case, specific values of the physical time ͓˜ t ( x 0 , x i ) ϭ constant͔ define global hypersurfaces of simultaneity in the reference frame under consideration. Not ( x 0,x i ) is a global tice that, when d˜ t is exact, its integral ˜ temporal coordinate for which the line element ͑8͒, namely t 2 ϩ ␥ i j dx i dx j , ds 2 ϭϪ c 2 d˜ ͑11͒

is in Gaussian normal form, that is, g 00ϭϪ 1 and g 0 i ϭ g i 0 ϭ 0. This form of the metric implies that the FOs of such a reference frame are freely falling ͓ x i ϭ constant are geodesics of the metric ͑11͔͒, and the clocks of all the FOs run at the same rate and remain synchronized ͑no gravitational time dilation in this reference frame͒. These are the ‘‘comoving’’ ͑or ‘‘synchronous’’͒ reference frames.4 Only in such frames does a global physical time exist. Examples include the Robertson–Walker metrics of cosmology, the comoving coordinates used by Oppenheimer and Snyder in their early studies of gravitational collapse,5 and the inertial frames of special relativity. In all other reference frames ͑other than comoving ones͒ the differential of physical time is not exact, and there does not exist a global physical time coordinate. Gravitational time dilation is a symptom of the lack of a global physical time ˜ t ( x 0 , x i ). When the physical time differential is not exact, it often is possible to make it exact by means of an integrating factor t ϭ d˜ t / R is exact for some function R( x 0 , x i )]. In this ͓ d¯ case, integration gives what we call a ‘‘synchronous temporal coordinate’’ ¯ t ( x 0 , x i ), and the metric ͑8͒ is written in terms of this time coordinate as t 2 ϩ ␥ i j dx i dx j , ds 2 ϭϪ R 2 c 2 d¯ ͑12͒

Fig. 2. On Einstein’s rotating disk, two firecrackers explode at points A and B on the disk’s edge equidistant from observers O and P . Observer O sees the two flashes at the same instant and concludes the explosions occurred simultaneously. Observer P , moving with the disk, sees the flash from B before that from A and concludes the explosions are not simultaneous. Thus, the question of simultaneity is ambiguous in this rigid rotating reference frame.

t is the rate of a fiducial clock on the time where Rϭ d ␶ 0 / d¯ ¯ scale t . Clearly R describes gravitational time dilation. A most important feature of the metric ͑12͒ is that equal values t A ϭ¯ t B for widely sepaof the temporal coordinate ¯ t , say ¯ rated events A and B , implies that these events occur simultaneously ͑according to the Einstein definition͒ in the given reference frame. This result follows because the condition for neighboring events to be simultaneous ( d˜ t ϭ 0) can be ¯ ¯ written as d t ϭ 0 and d t is integrable. Hence, the locus ¯ t ϭ constant is a global hypersurface of simultaneity. Examples of this case include the Schwarzschild metric in Schwarzschild coordinates and any other time-orthogonal metric with metric coefficients g 0 i ϭ 0. The final and probably most interesting case occurs when the physical time differential ͑9͒ is not exact and cannot be made exact by applying an integrating factor. In such reference frames, the question of whether widely separated events
216 Am. J. Phys., Vol. 72, No. 2, February 2004

are simultaneous has no unambiguous answer. In this case, there does not exist any temporal coordinate t ( x 0 , x i ) with the property that equal values of this coordinate for separated events implies simultaneity of those events. We call such frames ‘‘asynchronous’’ frames. It is bad enough ͑or ‘‘good enough’’ because it is true͒ that judgments of simultaneity are different in different reference frames ͑as in special relativity͒, but for the concept of simultaneity of separated events to become meaningless in a single reference frame ͑even a rigid one͒ is even more difficult to swallow ͑but equally true͒. That our notion of simultaneity at a distance loses meaning in an asynchronous reference frame is, in the author’s view, one of the most counterintuitive ideas in all of physics, and surprisingly little emphasis is given to it in many textbooks on general relativity. We can begin to understand how the concept of simultaneity becomes ambiguous by returning to Einstein’s rotating disk. Consider an observer at the center O of the disk and another at P on the edge of the rotating disk. Let two firecrackers explode at points A and B on the disk’s edge equidistant from observers O and P as in Fig. 2, and let the explosions be timed so that observer O sees the flashes at the same instant and concludes, therefore, that the flashes occur simultaneously. Observer P , who is also ‘‘at rest’’ in the rotating frame, sees the light from B before that from A because ͑from the vantage point of inertial space͒ he is moving toward the light coming from B and away from the light coming from A . Observer P concludes that the firecracker at B exploded before the one at A because he observed it first and the points A and B ͑where burn marks are left on the disk͒ are at equal distance from him. In this way we see how two observers, both at rest in a rigid reference frame, can disagree about the simultaneity of two events, and thus render the concept of simultaneity ambiguous. The hallmark of an asynchronous reference frame is that the metric components g 0 i not be zero, that is, that the metric tensor not be time-orthogonal. Examples of such metrics include rotating reference frames, the Kerr metric6 in Boyer– Lindquist coordinates7 representing a rotating black hole, ¨ del metric8 representing a model rotating uniand the Go
Richard J. Cook 216

ញ ) with coordinates x , y , z Fig. 3. Inertial reference frame labeled K ͑and K ¯ with velocity ͑or x ញ, y ញ, z ញ ) moves out along the ¯ x -axis of inertial frame K ¯ ¯ /d t . v ϭ dx

verse. There is, of course, a time coordinate t in these metrics, but we must understand that the equality of this time, say t A ϭ t B for separated events A and B , does not mean that these events are simultaneous. ͑One wonders why such a thing is called a ‘‘time coordinate’’ at all, because it does not have the most fundamental features one associates with the word ‘‘time.’’͒ No doubt it is the conceptual problems surrounding the failure of simultaneity in such frames that motivates many authors to eliminate the metric terms containing g oi by transforming to a different reference frame in which these terms are zero. But, if one wishes to work in a rotating frame ͑such as the frame rigidly attached to earth͒, or if one wishes to study certain ‘‘frame dragging’’ effects, these terms are necessarily present and give rise to such interesting effects as Coriolis forces, the gravitomagnetic field, and the Sagnac effect.9,10 In fact, the experimental demonstration of the Sagnac effect ͑the different light travel times for propagation in opposite directions around a closed path in a rotating frame͒ using a ring-laser gyro11 or the global positioning system12 may be interpreted as a verification of the failure of simultaneity in rotating reference frames, because such an effect would be inconsistent with the invariant light speed c if a global physical time ͑or even a global synchronous temporal coordinate͒ existed. V. THE LORENTZ TRANSFORMATION Let us return now to the statement made in Sec. I that ‘‘In general relativity the Galilean transformation is just as valid as the Lorentz transformation.’’ Specifically, consider the Galilean transformation t, x ϭ¯ x Ϫ v¯ y ϭ¯ y, z ϭ¯ z, t ϭ¯ t, ¯ with metric, from an inertial frame K t 2 ϩ dx ¯ 2 ϩ dy ¯ 2 ϩ dz ¯ 2, ds 2 ϭϪ c 2 d¯ ͑14͒ ͑13a͒ ͑13b͒ ͑13c͒ ͑13d͒

description of the motion of frame K from the point of view ¯ . What then is it that makes the of the fiducial observers in K Lorentz transformation preferable to the Galilean transformation? The answer is that the Lorentz transformation is expressed in terms of the physical time and physical space coordinates in frame K instead of the coordinates ( ct , x , y , z ) used in the Galilean transformation, which are actually ¯ . This propphysical times and physical distances in frame K erty of the Lorentz transformation is convenient ͑but not necessary͒ for the calculation of physical quantities in the new frame. Let us show this explicitly. The metric ͑14͒, written in terms of the Galilean coordinates x ␮ ϭ ( ct , x , y , z ) reads ds 2 ϭϪ ͑ 1 Ϫ v 2 / c 2 ͒ c 2 dt 2 ϩ 2 ϩ dz 2 ,

ͩͪ

v dx ͑ c dt ͒ ϩ dx 2 ϩ dy 2 c

͑15͒

that is, the nonzero metric components are g 00ϭϪ (1 Ϫ v 2 / c 2 ), g 0 x ϭ g x 0 ϭ v / c , and g xx ϭ g y y ϭ g zz ϭ 1. Therefore the spatial metric, Eqs. ͑2͒ and ͑3͒, is d ᐉ 2ϭ dx 2 ϩ dy 2 ϩ dz 2 . 1 Ϫ v 2/ c 2 ͑16͒

Equation ͑16͒ can be expressed in terms of the physical space differentials dx ញ ϭ dx ˜ ϭ dx / ͱ1 Ϫ v 2 / c 2 , dy ញ ϭ dy ˜ ϭ dy , ញ ϭ dz ˜ ϭ dz which, in this case, are exact differentials and dz that integrate to global physical space coordinates

ញϭ x

x

ͱ1 Ϫ v 2 / c 2

,

͑17a͒ ͑17b͒ ͑17c͒

y ញ ϭy,

ញ ϭz z

ញ ( ϭ K ). We can also express the metric ͑15͒ in for frame K ញ in terms of the physical time differential in this frame K frame, Eq. ͑9͒, which also is an exact differential that integrates to the global physical time ញ t ϭ ͱ1 Ϫ v 2 / c 2 t Ϫ t ϭ˜
vx
2

c

ͱ1 Ϫ v 2 / c 2

.

͑18͒

If we substitute the transformations to physical variables ͑17͒ and ͑18͒ into the Galilean transformation ͑13͒, we obtain the Lorentz transformation

ញϭ x

¯ t x Ϫ v¯

ͱ1 Ϫ v 2 / c 2

,

͑19a͒ ͑19b͒ ͑19c͒

y ញ ϭ¯ y,

to another inertial frame K as depicted in Fig. 3. The time ¯ t ¯ , and is the time on synchronized clocks at rest in frame K frame K moves in the positive direction along the ¯ x axis at ¯ ¯ ¯ / d t as measure by the FOs in K . speed v ϭ dx We sometimes hear that Galileo’s transformation ͑13͒ is ‘‘wrong’’ and Einstein’s transformation ͑the Lorentz transformation͒ is ‘‘right.’’ But surely this statement cannot be correct when general relativity allows arbitrary space–time coordinate transformations, and Eq. ͑13͒ is a perfectly valid
217 Am. J. Phys., Vol. 72, No. 2, February 2004

ញ ϭ¯ z, z ញ tϭ
¯ x/c2 t Ϫ v¯

ͱ1 Ϫ v 2 / c 2

.

͑19d͒

Observe that the Galilean transformation, far from being wrong, is a fully correct kinematic description of the motion ញ ( ϭ K ) in terms of the space and time variables of of frame K ¯ frame K , and as soon as we express the Galilean transformation in terms of the physical time ញ t and physical space coorRichard J. Cook 217

ញ , it becomes the Lorentz transfordinates x ញ, y ញ, z ញ of frame K mation.
VI. THE UNIVERSAL LORENTZ TRANSFORMATION The local physical coordinates in different reference frames are related by a Lorentz transformation regardless of the motion of those frames. To see that this is so, consider two arbitrary reference frames ͑two sets of fiducial observers in relative motion͒ with space–time coordinates x ␮ and y ␮ connected by the coordinate transformation y ␮ ϭ y ␮ ( x ␯ ) or its inverse x ␮ ϭ x ␮ ( y ␯ ). At a particular fiducial observer X in ˜␮ the x -frame, we construct physical coordinates dx ϭ ( c d˜ t , dx ˜ 1 , dx ˜ 2 , dx ˜ 3 ) for which the metric ͑8͒ at this point takes the Minkowski form ds 2 ϭ ␩ ␣␤ dx ˜ ␣ dx ˜ ␤ . We think of ␮ dx ˜ as finite but small coordinate values covering a limited neighborhood about observer X . At the same event in the y -frame we similarly construct local physical coordinates dy ˜ ␮ measured from the fiducial observer Y of that frame who, at the instant under consideration, is at the same place as observer X . The metric at observer Y is also Minkowskian in the local physical coordinates of this observer, ds 2 ϭ ␩ ␣␤ dy ˜ ␣ dy ˜ ␤ , and there may be a gravitational field in either or both of these frames. The overall transformation ͑from local physical coordi˜ ␮ to coordinates x ␣ , then to coordinates y ␯ , and nates dx finally to local coordinates dy ˜ ␤ ) takes the Minkowski tensor ␩ ␮ ␯ into the same Minkowski tensor and, therefore, can only ␣ : be a Lorentz transformation ⌳ ␤
␣ dy ˜ ␣ϭ ⌳ ␤ dx ˜ ␤,

dx ˜ ϭr d␪, ˜ ϭ r sin ␪ d ␾ , dy ˜ ϭ dr / ͱ1 Ϫ r s / r , dz

͑23b͒ ͑23c͒ ͑23d͒

where we have taken the ˜ z -axis in the outward radial direcy -axis in the tion, the ˜ x -axis in the d ␪ -direction, and the ˜ ˜ d ␾ -direction. We think of c d t , dx ˜ , dy ˜ , dz ˜ as finite but small Minkowski coordinates measured from the given fiducial observer. Clearly the Schwarzschild metric ͑22͒ takes the t 2 ϩ dx ˜ 2 ϩ dy ˜ 2 ϩ dz ˜ 2 in these local coordiform ds 2 ϭϪ c 2 d˜ nates. Now consider freely falling fiducial observers ͑a different reference frame͒ who fall radially inward from rest at r ϭ ϱ . For this initial condition, the time equation of motion derived from the metric ͑22͒ reads

ͩ ͪ
1Ϫ ϭϪ

r s dt r d¯ t

ϭ 1,

͑24͒

where d¯ t is the differential of proper time at the falling observer. The radial equation of motion ͑once integrated͒ is dr d¯ t

ͱ

r sc 2 r

ϭϪ

ͱ

2 GM r

.

͑25͒

͑20͒ ͑21͒

with
␮ ␯ ␩ ␣␤ ϭ ␩ ␮ ␯ ⌳ ␣ ⌳␤ .

Fortuitously, this relativistic equation is the same as the corresponding Newtonian equation. ͓If readers are unfamiliar with the derivation of Eqs. ͑24͒ and ͑25͒, they may consult Ref. 2 where these results are simply derived as Eqs. ͑19͒ and ͑32͒ on pp. 3–22.͔ If we use Eqs. ͑23a͒, ͑23d͒, and ͑24͒ in Eq. ͑25͒, we find that the physical velocity of the fall is

dz ˜ d˜ t

Hence, the differential Lorentz transformation ͑20͒ is not limited to inertial frames, but applies to arbitrary spacetime coordinate transformations. ͑It applies to accelerating frames and frames in arbitrarily strong gravitational fields.͒ It follows that all of the tensors of special relativity in Minkowski coordinates, such as the electromagnetic field tensor F ␮ ␯ ( F 01ϭ E 1 , F 02ϭ E 2 , F 03ϭ E 3 , F 12ϭ B 3 , F 23ϭ B 1 , F 31ϭ B 2 , F ␣␤ ϭϪ F ␤␣ ), the four-momentum P ␮ ϭ m dx ˜ ␮ / d ␶ , the ␮␯ stress-energy tensor T , transform as in special relativity between local physical reference frames. A. Example: Transformation to a falling reference frame in Schwarzschild space Start with the static Schwarzschild metric, ds 2 ϭϪ ͑ 1 Ϫ r s / r ͒ c 2 dt 2 ϩ dr 2 1Ϫrs /r ͑22͒

ϭϪ

ͱ

r sc 2 r

.

͑26͒

Equation ͑26͒ is the velocity that enters the differential Lorentz transformation dន tϭ d˜ t Ϫ v dz ˜/c2

ͱ1 Ϫ v 2 / c 2

,

͑27a͒ ͑27b͒ ͑27c͒

dx ន ϭ dx ˜, dy ន ϭ dy ˜,

នϭ dz

˜ Ϫ v d˜ t dz

ͱ1 Ϫ v 2 / c 2

,

͑27d͒

ϩ r 2 ͑ d ␪ 2 ϩ sin2 ␪ d ␾ 2 ͒ ,

describing a nonrotating black hole of Schwarzschild radius r s ϭ 2 GM / c 2 in the Schwarzschild reference frame with coordinates ( ct , r , ␪ , ␾ ), and transform to a frame that falls radially inward from rest at infinity. For a fiducial observer at rest in Schwarzschild coordinates ( r , ␪ , ␾ ϭ constants), the local physical coordinate differentials are d˜ t ϭ ͱ1 Ϫ r s / r dt ,
218 Am. J. Phys., Vol. 72, No. 2, February 2004

to the local physical coordinates ( c ន t , dx ន , dy ន , dz ន ) of the falling fiducial observer. Notice that the physical fall velocity ͑26͒ approaches c as r approaches the Schwarzschild radius r s , and, for r Ͻ r s , the Lorentz transformation ͑27͒ fails because there can be no fiducial observers at rest in Schwarzschild coordinates ( r ϭ constant) at these values of r . As an example we note that, exactly as in special relativity, the differential Lorentz transformation leads to the velocity transformation

͑23a͒

ន xϭ u

˜ u x ͱ1 Ϫ v 2 / c 2 , 1 Ϫ v˜ u z/ c 2
Richard J. Cook

͑28a͒
218

˜ u y ͱ1 Ϫ v 2 / c 2 u ន ϭ , 1 Ϫ v˜ u z/ c 2
y

͑28b͒ ͑28c͒

ds 2 ϭ g 00͑ dx 0 ͒ 2 ϩ 2 g 0 i dx i dx 0 , ϩ g i j dx i dx j

͑A1͒

ន zϭ u

˜ u Ϫv , 1 Ϫ v˜ u z/ c 2
z

as follows. ͑This derivation is an abbreviation of a proof found in Ref. 4, pp. 233–236.͒ Light propagating from A to 0 determined by the null B does so in coordinate time dx out 2 condition ds ϭ 0:
0 2 0 ϩ g i j dx i dx j ϭ 0. g 00͑ dx out ͒ ϩ 2 g 0 i dx i dx out

˜ i / d˜ t to from the Schwarzschild physical components ˜ u i ϵ dx i i ន the physical velocity components u ន ϵ dx ន / d t in the freely falling frame. Similarly, the physical components of the electric and magnetic fields, charge, and current densities, and the components of the stress-energy tensor all transform under the Lorentz transformation ͑27͒ as they do in special relativity, so long as we use local physical coordinates in the two frames of interest. VII. CONCLUSION The above arguments attempt to make it clear that an essential difference between the special and general theories of relativity is that, in the former, there exist global physical coordinates ͑the Minkowski coordinates͒ but, in the latter physical coordinates ͑coordinates with direct metrical significance and a Minkowski metric͒ exist only in the immediate neighborhood of each fiducial observer. But aside from this essential difference, the Lorentz transformation still applies in general relativity for transformations between local physical coordinate frames in arbitrary relative motion and in arbitrary gravitational fields. The differential Lorentz transformation is not limited to local inertial reference frames, and by using local physical coordinates, students transfer essentially all they have learned in special relativity of the transformation properties of particles and fields to the broader context of general relativity ͑and they are not fooled into thinking that the more general coordinate markers allowed in general relativity in any way change the relations between physical quantities expressed in the Lorentz transformation͒. Recently the physics community has witnessed the publication of a truly outstanding undergraduate level textbook on general relativity by James B. Hartle. The local physical coordinates discussed in this paper are components on a local ‘‘orthonormal bases’’ in Hartle’s more elegant notation.13 The utility of working with local physical coordinates ͑the subject of this paper͒ is emphasized, in Hartle’s words, by the recommendation that we should ‘‘calculate in coordinate bases and interpret the result in orthonormal bases,’’ and our observation that transformations between local physical coordinate frames are Lorentz transformations is equivalent to Hartle’s statement that transformations between orthonormal bases are Lorentz transformations. Finally, it is worth noting that components on an orthonormal basis have traditionally been called ‘‘physical components.’’ APPENDIX: DERIVATION OF THE SPATIAL METRIC A formula for the Einstein length d ᐉ of the coordinate displacement dx i between fiducial observers A and B is easily derived from the general line element,

͑A2͒

The solution of this quadratic equation is
0 ϭ dx out

Ϫ g 0 i dx i Ϫ ͱ͑ g 0 i g 0 j Ϫ g 00g i j ͒ dx i dx j . g 00

͑A3͒

On the return path light travels the displacement Ϫ dx i and takes coordinate time
0 ϭ dx back

g 0 i dx i Ϫ ͱ͑ g 0 i g 0 j Ϫ g 00g i j ͒ dx i dx j . g 00

͑A4͒

0 The total coordinate time out and back is dx 0 ϭ dx out 0 ϩ dx back , and the proper time evolved on the clock at A in this time is

d ␶ Aϭ

ͱϪ g 00dx 0
c

ϭ

2 c

ͱͩ

gi jϪ

g 0ig o j dx i dx j . g 00

ͪ

͑A5͒

Therefore, the local radar distance d ᐉ ϭ c d ␶ A /2 is the radical in Eq. ͑A5͒, and the spatial metric reads d ᐉ 2 ϭ ␥ i j dx i dx j , with spatial metric tensor g 0ig o j . g 00 ͑A6͒

␥i jϭgi jϪ
1

͑A7͒

The quote is taken from C. W. Misner, K. S. Thorn, and J. A. Wheeler, Gravitation ͑W. H. Freeman and Company, San Francisco, CA, 1973͒, p. 5. It was pieced together from ‘‘Einstein’s Autobiography,’’ in Albert Einstein Philosopher-Scientist, edited by P. A. Schilpp ͑Library of Living Philosophers, Evanston, IL, 1949͒, pp. 65– 67. 2 E. F. Taylor and J. A. Wheeler, Spacetime Physics ͑W. H. Freeman and Company, New York, 1992͒, Chap. 2, pp. 39– 40. 3 A. Einstein, The Meaning of Relativity, 5th ed. ͑Princeton University Press, Princeton, NJ, 1955͒, pp. 27–28. 4 L. D. Landau and E. M. Lifshitz, The Classical Theory of Fields ͑AddisonWesley, Reading, MA, 1971͒, Chap. 11, pp. 290–295. 5 J. R. Oppenheimer and H. Snyder, ‘‘On continued gravitational contraction,’’ Phys. Rev. 56, 455– 459 ͑1939͒. 6 R. P. Kerr, ‘‘Gravitational field of a spinning mass as an example of algebraically special metrics,’’ Phys. Rev. Lett. 11, 237–238 ͑1963͒. 7 R. H. Boyer and R. W. Lindquist, ‘‘Maximal analytic extension of the Kerr metric,’’ J. Math. Phys. 8, 265–281 ͑1967͒. 8 ¨ del, ‘‘An example of a new type of cosmological solutions of EinK. Go stein’s field equations of gravitation,’’ Rev. Mod. Phys. 21, 447– 450 ͑1949͒. 9 I. Ciufolini and J. A. Wheeler, Gravitation and Inertia ͑Princeton University Press, Princeton, NJ, 1995͒, Chap. 6, pp. 315–374. 10 E. J. Post, ‘‘Sagnac effect,’’ Rev. Mod. Phys. 39, 475– 494 ͑1967͒. 11 F. Aronowitz, in Laser Applications, edited by M. Ross ͑Academic, New York, 1971͒, Vol. 1, pp. 134 –189. 12 D. W. Allan, M. A. Weiss, and N. Ashby, ‘‘Around-the-world relativistic Sagnac experiment,’’ Science 228, 69–70 ͑1985͒. 13 J. B. Hartle, Gravity: An Introduction to Einstein’s General Relativity ͑Addison-Wesley, San Francisco, CA, 2003͒, Chap. 7, pp. 152–158.

219

Am. J. Phys., Vol. 72, No. 2, February 2004

Richard J. Cook

219