||This article has no lead section. (August 2012)|
||It has been suggested that Synchronous coordinates be merged into this article. (Discuss) Proposed since July 2014.|
Proper time in general relativity
In the special theory of relativity, choice of coordinates is limited by the requirement for a special kind of spacetime metric: the Minkowski metric. In the general theory of relativity, there is no such requirement so that the choice of reference frame is not limited: the three space coordinates x1, x2, x3 can take any values that define the positions of bodies in space while the time coordinate x0 can be measured by clocks with any possible adjustment. The problem thus arises how one can determine the real distances and time intervals by the values of x0, x1, x2, x3.
First one must determine the true time (proper time), written by the symbol τ, with a coordinate x0. Consider two very close events that occur practically in the same point of space. The interval ds between these two events is cdτ where dτ is the proper time interval that separates them. Substituting x1 = x2 = x3 = 0 (making all space coordinates equal to zero) in the general expression for the metric ds2 = gik dxi dxk, one obtains
or, for the time between any two events in the same point of space
The relationship eq. 2 defines the proper time between events in the same place through changes in the time coordinate x0. Note that, according to the above formulae, g00 is positive:
One must make a difference between the condition eq. 3 and the condition made when choosing the signature (the signs of the principal values of the gik tensor). A gik tensor that does not satisfy the signature condition does not correspond to any real gravitational field, that is, to any real spacetime metric. If gik does not satisfy the condition eq. 3, it means only that the respective reference frame cannot be defined by real bodies; if the signature condition is fulfilled then by a proper coordinate transformation one can make g00 positive (an example of such frame is the rotating reference frame).
Synchronization over the whole space
In the special relativity theory, the space distance element dl is defined as the intervals between two very close events that occur at the same moment of time. In the general relativity theory this cannot be done, that is, one cannot define dl by just substituting dx0 = 0 in ds. The reason for this is the different dependence between proper time and time coordinate x0 in different points of space.
To find dl in this case, one can first synchronize time over the whole space in the following way (Fig. 1): Send a light signal from some space point B with coordinates xα + dxα into a very close point A with coordinates xα and then immediately reflect back the signal from A to B. The time necessary for this operation (measured in point B), multiplied by c is, obviously, the doubled distance between the two points.
The squared interval, with separated space and time coordinates, is:
where, as usual, a repeated Greek index within a term means summation by values 1, 2, 3. The interval between the events of signal arrival in point A and its immediate reflection back is zero (two events in the same time at the same point). Equation ds2 = 0 solved for dx0 gives two roots:
which correspond to the propagation of the signal in both directions between A and B. If x0 is the moment of arrival/reflection of the signal in A, the moments of signal departure from B and its arrival back in B correspond, respectively, to x0 + dx0 (1) and x0 + dx0 (2). The solid lines on Fig. 1 are the world lines of points A and B with coordinates xα and xα + dxα, respectively, while the dashed lines are the world lines of the signals. Fig. 1 supposes that dx0 (2) is positive and dx0 (1) is negative, which, however, is not necessarily the case: dx0 (1) and dx0 (2) may have the same sign. The fact that in the latter case the value x0 (A) in the moment of signal arrival at A may be less than the value x0 (B) in the moment of signal departure from B does not contain a contradiction because clocks in different points of space are not supposed to be synchronized. It is clear that the full "time" interval between departure and arrival of the signal in point B is
The respective proper time interval is obtained from the above relationship according to eq. 1 by multiplication by , and the distance dl between the two points – by additional multiplication by c/2. As a result:
This is the required relationship that defines distance through the space coordinate elements.
Space metric tensor
Let one rewrite eq. 6 in the form
is the three-dimensional metric tensor that determines the metric, that is, the geometrical properties of space. Equations eq. 8 give the relationships between the metric of the three-dimensional space and the metric of the four-dimensional spacetime.
In general, however, the metric gik depends on x0 so that the space metric eq. 7 changes with time. Therefore, it doesn't make sense to integrate dl: this integral depends on the choice of world line between the two points on which it is taken. It follows that in general relativity the distance between two bodies cannot be determined in general; this distance is determined only for infinitesimally close points. Distance can be determined also for finite space regions only in such reference frames in which gik does not depend on time and therefore the integral ∫dl along the space curve acquires some definite sense.
The tensor –γαβ is inverse to the contravariant 3-dimensional tensor gαβ. Indeed, writing equation gikgkl = in components, one has:
Determine gα0 from the second equation and substitute in the first to obtain
which was to be demonstrated. This result can be presented otherwise by saying that gαβ are components of a contravariant 3-dimensional tensor corresponding to metric eq. 7:
The determinants g and γ composed of elements gik and γαβ, respectively, are related to each other by the simple relationship:
In many applications, it is convenient to define a 3-dimensional vector g with covariant components
From the third of eqs. 9, it follows
Simultaneity in general relativity
Synchronization of clocks located at different space points means that events happening at different places can be measured as simultaneous if those clocks show the same times. Let us see if this is possible in general relativity (in curved space).
It is obvious that such synchronization should be done by exchange of light signals between points. Consider again propagation of signals between infinitesimally close points A and B in Fig. 1. The clock reading in B which is simultaneous with the moment x0 in A lies in the middle between the moments of sending and receiving the signal in B; this is the moment
Substitute here eq. 5 to find the difference in "time" x0 between two simultaneous events occurring in infinitesimally close points as
This relationship allows clock synchronization in any infinitesimally small space volume. By continuing such synchronization further from point A, one can synchronize clocks, that is, determine simultaneity of events along any open line. The synchronization condition can be written in another form by multiplying eq. 16 by g00 and bringing terms to the left hand side
or, the "covariant differential" dx0 between two infinitesimally close points should be zero.
However, it is impossible, in general, to synchronize clocks along a closed contour: starting out along the contour and returning to the starting point one would obtain a Δx0 value different from zero. Thus, unambiguous synchronization of clocks over the whole space is impossible. An exception are reference frames in which all components g0α are zeros.
Note the inability to synchronize all clocks is a property of the reference frame and not of the spacetime itself. It is always possible in infinitely many ways in any gravitational field to choose the reference frame so that the three g0α become zeros and thus enable a complete synchronization of clocks. To this class are assigned cases where g0α can be made zeros by a simple change in the time coordinate which does not involve a choice of a system of objects that define the space coordinates.
In the special relativity theory, too, proper time elapses differently for clocks moving relatively to each other. In general relativity, proper time is different even in the same reference frame at different points of space. This means that the interval of proper time between two events occurring at some space point and the time interval between the events simultaneous with those at another space point are, in general, different from one another.
As concluded from eq. 17, the condition that allows clock synchronization in different space points is that metric tensor components g0α are zeros. If, in addition, g00 = 1, then the time coordinate x0 = t is the proper time in each space point (with c = 1). A reference frame that satisfies the conditions
is called synchronous frame. The interval element in this system is given by the expression
with the space metric tensor components identical (with opposite sign) to the components gαβ:
In synchronous frame time, lines are geodesics in the four-dimensional spacetime. These lines are normal to the hypersurfaces t = const. Indeed, the 4-vector normal to this hypersurface ni = ∂t/∂xi has covariant components nα = 0, n0 = 1. The respective contravariant components at conditions eq. 18 are again nα = 0, n0 = 1, that is, coincide with the components of the 4-vector u i tangential to the time lines.
Conversely, these properties can be used to construct synchronous frame in any spacetime. To this end, choose some time-like hypersurface as an origin, such that has in every point a normal along the time line (lies inside the light cone with an apex in that point); all interval elements on this hypersurface are space-like. Then draw a family of geodesics normal to this hypersurface. Choose these lines as time coordinate lines and define the time coordinate t as the length s of the geodesic measured with a beginning at the hypersurface; the result is a synchronous frame.
Such a construct, and hence, choice of synchronous frame, is always possible. Moreover, such choice is not unique. Metric of type eq. 19 allows any transformation of space coordinates that does not depend on time and, additionally, a transformation brought about by the arbitrary choice of hypersurface used for this geometric construct.
An analytic transformation to synchronous frame can be done with the use of the Hamilton–Jacobi equation. The principle of this method is based on the fact that particle trajectories in gravitational fields are geodesics.
The Hamilton–Jacobi equation for a particle (with a unit mass) in a gravitational field is [clarification needed].