NON-NEWTONIAN GRAVITATIONAL FIELDS

Transcription

1 SOVIET PHYSICS JETP VOLUME 21, NUMBER 5 NOVEMBER, 1965 NON-NEWTONIAN GRAVITATIONAL FIELDS H. KERES Institute of Physics and Astronomy, Academy of Sciences, Estonian S.S.R. Submitted to JETP editor October 12, 1964 J. Exptl. Theoret. Phys. 48, (May, 1965) The solutions of Einstein's field equations are of two types: those which in nonrelativistic approximation (in the limit c-oo) satisfy the field equations of Newton's theory of gravitation (Newtonian gravitational fields), and those for which this condition is not fulfilled (non-newtonian gravitational fields). In the nonrelativistic approximation of Einstein's theory the two types can be designated appropriately as irrotational and rotational gravitational fields, respectively. The theory of irrotational gravitational fields is identical with Newton's gravitational theory. A rotational gravitational field is characterized by an ordinary Newtonian potential satisfying Poisson's equation and by a vector potential satisfying Laplace's equation. In a rotational gravitational field inertial systems of reference in the sense of Newtonian mechanics do not exist. The law of motion of a freely falling particle in a rotational gravitational field is Eq. (5.5), where <I> and a are the Newtonian and vector potentials and 1/J is given by (3.15). 1. INTRODUCTION IT is well known that when c-oo (by comparison with the velocities of material bodies) the mechanics of special relativity theory becomes identical with Newtonian mechanics, and relativistic inertial systems are transformed into Newtonian inertial systems. We can also consider more general reference systems characterized by a metric 1 > (1.1) where the coefficients Yik have nonvanishing finite limits when c-oo. Each point ~i = const moves uniformly in a straight line with respect to an inertial system (this is the inertial motion of a free material particle ); in the general case different points move in different directions at different velocities. Such reference systems can be defined with the aid of freely moving mass points. As c - oo they become the corresponding nonstatic reference systems of Newtonian mechanics, defined similarly with the aid of freely moving mass points. We have applied the same concept to the general theory of relativity, where there are no inertial systems in the sense of the special theory but there exist reference systems represented by (1.1). The world lines of points ~i = const are geodesics, 1 )Latin indices have the values 1, 2, 3; Greek indices have the values, 1, 2, 3. i.e., these points move like freely falling particles in a given gravitational field. Therefore the reference systems can be defined by means of freely falling mass points. In the Newtonian gravitational theory reference systems can be constructed completely analogously with the aid of freely falling mass points. These systems clearly correspond to the aforementioned relativistic reference systems, the correspondence being of the same character as in special relativity. In the limit c-oo, on exactly the same physical basis as for special relativity, the relativistic ( ~, t) systems become nonrelativistic ( ~. t) systems. Moreover, Einstein's equations written for a ( ~, t) system become the Newtonian equations of a gravitational field written for the corresponding nonrelativistic ( ~, t) system, [i] subject to the condition that the components Roijk of the curvature tensor approach zero as c - oo in the ( L t) system. If this additional condition is not fulfilled, then in the limit c-oo Einstein's equations are not transformed into Newton's equations. In other words, if the condition limroiik = (1.2) C is fulfilled in the ( L t) systems, then in the limit c- oo the gravitational field satisfies Newton's equations, and will be called a Newtonian gravitational field. If (1.2) is not fulfilled, then in the limit c - oo the gravitational field does not satisfy Newton's equations and will be called a non-newtonian gravitational field.

2 NON-NEWTONIAN GRAVITATIONAL FIELDS 883 It is general knowledge that in both special and general relativity [ 2] the limiting transition c - oo denotes a transition from the more exact relativistic theory to its nonrelativistic (Newtonian) approximation. The theory that is obtained in the limit includes the Newtonian gravitational theory as a special case, but is broader as a whole than the Newtonian theory. 2. FIELD EQUATIONS In a coordinate system represented by (1.1) for c - oo Einstein's equations assume the limiting form[!] Here 2 > Roo = -4:rrGp, R;o =, P;n =. R;o = r.. ~- f; 8 ; (2.1) (2.2) (2.3) Pik is the Ricci tensor of three-dimensional space, consisting of the limiting values 'Vih === lim Y;n; (2.4) C-+ G is the gravitational constant; p is the density limit of matter giving rise to the gravitational field; fni = yisfks, f;k = 1/2Vik, o, y = det(yin). The covariant differentiation in (2.3) is performed with the aid of the coefficients Yik Equations (2.1) comprise the basis of the nonrelativistic approximation of Einstein's gravitational theory which we shall consider here. 3. SOLUTION OF FIELD EQUATIONS The general solution of the equation Pik = is Yin = x, ;x, k, (3.1) where xi( ~k, t) are three independent arbitrary functions. For any choice of the functions xi, (3.1) satisfies Pik =, as can be verified directly. On the other hand, if Yik( ~j. t) is a solution of Pik =, _the three-dimensional space S~ of the points gi = const with the metric tensor Yik is flat. Consequently, there exists a system of Cartesian rectangular coordinates xi related to the coordinates ~i by a transformation 2 ) A comma preceding an index denotes ordinary differentiation; a semicolon denotes covariant differentiation. (3.2) Since in the coordinate system xi the metric tensor components are oik while in the coordinate system ~i they are Yik by a tensor transformao tion the coefficients Yik are expressed in terms of (3.2) by means of (3.1). It is evident from (3.1) that a specific choice of the functions xi( ~k, t) determines Yik uniquely. However, two triplets xi( ~k, t) and xi( ~k, t) determine the same solution for Yik if, and only if, xi and xi are related by the orthogonal trans formation (3.3) having the time-dependent coefficients a~(t) and ai ( t ). Consequently, in the case of each solution for Yik there exists an infinite set of Cartesian rectangular coordinate systems that are mutually transformable by means of (3.3); we shall make use of these systems. Let Sx denote the three-dimensional space of the points xi= const defined by one of the rectangular coordinate systems pertaining to a given solution for Yik Equation (3.2) describes the motion of the space S~ relative to the space Sx. The velocity of this motion is calculated from (3.4) Taking xi ok =vi sxs k from (3.4), we obtain from ' ' ' (3.1): (3.5) (3.6) Equation (3.5) shows that the three-dimensional tensor rik has the components Aik in the xi, t coordinate system. According to (2.3), therefore, in the xi, t coordinate system the tensor equation Rio = assumes the form Ass,i - Ais,s =, or ro;, =, ro;k = 1l2(vi, k -- vk, ;). Finally, remembering that oln -y:y I at = r = Ass, (3. 7) (3.8) the equation R = - 47rGp, which is invariant under the transformation (3.2), assumes the following form in the xi, t system: since Ass, o +A,., rvr + ArsArs = -4:rtGp, (3.9) ar. I at= aa I at+ (oa I oxr)xr, o.

3 884 H. KERES Equation (3. 7) can be written in the form wi,k - Wk,i =, or [Vro] =, using the notation w23 = Wto w31 = w2, w12 = w3, and w = ( Wto w2, w3 ). It follows that ro = V'IJ, (3.1) where > (xi, t) satisfies Laplace's equation since, from (3.1), ~'il =, (3.11) 'l)l, ss = ffi1, I + ffi2, 2 + ffi3, 3 = ffi23, I + ffi31,2 + ffi12, 3, which vanishes identically according to (3.8). For an arbitrary function >, (3.1) and (3.11) comprise the general solution of (3.7). Considering that, according to (3.8), 2w = -V'xv, we obtain an equation for v from (3.1): [Vv] = -2V'. (3.12) This equation has the general solution v = V<p + [Va], (3.13) where rp (xi, t) is a second arbitrary function, and the vector a is determined from V (Va)- ~a= -2V'IJ, (3.14) which is obtained by substituting (3.13) into (3.12). Equation (3.14) can be satisfied by assuming ~a =, Va = -2'1J. (3.15) Equation (3.11) is then satisfied automatically. To solve (3.9) we take into consideration: A = ~<p, ffirsffir. = 2'1J, 8'1J, 8 = ~ ( 'IJ2). Then (3.9) can be written in the form of Poisson's equation: ~<D = -4nGp, <D = <p, o + 1/2v v - ' 2 (3.16) (3.17) The solution of (3.9) thus reduces to the determination of the ordinary Newtonian potential <P. The solution for the complete system (2.1) now proceeds as follows. We begin by determining a from the first equation of (3.15), and we then determine > from the second equation of (3.15), <P from (3.16), and finally rp from (3.17). We then have a specific form of vi= vi(xk, t) from (3.13), and can determine the functions xi( ~k, t) from (3.4); for example, with the initial condition t = we have xi= ~i. Substituting these functions into (3.1), we obtain the functions 'Yik( ~j. t) satisfying all equations of (2.1). 4. ROTATIONAL AND IRROTATIONAL GRAVITA TIONAL FIELDS We have seen that one of the field equations, Pik =, ensures the existence of Cartesian rectangular coordinate systems interrelated by the orthogonal transformations (3.3). Each of these coordinate systems is the basis of a three-dimensional space Sx of points xi = const, and the coordinate systems that are mutually transformable by means of orthogonal transformations with constant coefficients define a single identical space Sx. All spaces Sx have the Euclidean metric and move arbitrarily relative to each other. Therefore, to treat the nonrelativistic approximation of Einstein's theory we can use reference systems associated with Euclidean space and absolute time t, as is the case for the Newtonian gravitational theory. The gravitational field is characterized by the functions 'Yik( ~j. t ), which depend in turn on the functions xi( ~k, t) describing the motion of a space S~ relative to one of the spaces Sx We can therefore state that a gravitational field is characterized by a field of velocities vi(xk, t) associated in a space Sx with a given system of freely falling particles, since the points ~i = const of the space s~ move like freely falling particles. It follows that the properties of the field of velocities vi(xk, t ), which are independent of the coordinate system xi (or of the space Sx ), are at the same time properties of the gravitational field. if in some other space Sx the points ~i = const induce a velocity field vi ( xk' t)' then by virtue of (3.3) and (3.4) we have (4.1) Differentiating with respect to xk, using xs,k = a~ in accordance with (3.3), and multiplying by a~, we obtain whence it follows that where ;ik = a,iarkffi r + wik, (4.2) (4.3) is the angular velocity of space Sx relative to Sx. It is seen from (4.2) and (4.3) that if wik

4 NON-NEWTONIAN GRAVITATIONAL FIELDS 885 = Wik(t), i.e., 1/J,i = 1/J,i(t) on the basis of (3.1), or ', ih =, (4.4) then Wik = Wik(t ), so that (4.4) is also fulfilled for the space Sx. Therefore in all spaces Sx we have simultaneously either 1/J,ik = or 1/J,ik "'. Equation (4.4), or the inequality 1/J,ik "', is therefore independent of the choice of space Sx and can, in accordance with the foregoing discussion, be considered to characterize the gravitational field. We shall divide all gravitational fields on this basis into two classes. If 1/J,ik = we can choose a space Sx such that and at the same time Wik =. In some spaces Sx the velocity field vi (xk, t) is irrotational; vortices can be eliminated by the proper choice of Sx. Therefore the gravitational field is not characterized by the presence of vortices, and in the case 1/J ik = a gravitational field will be designated as i;rotational. If 1/J ik "' there are no spaces Sx for which Wik =. The inequality Wik "' now does not depend on the space Sx and characterizes the gravitational field. Therefore in the case 1/J,ik "' the gravitational field will be designated as rotational. As already mentioned in the Introduction, the Newtonian gravitational fields satisfy the limiting condition lim Ro;;~t = f;~t;;- f;;;" =. (4.5) C-+oo In the nonrelativistic approximation the theory of these gravitational fields is identical with the Newtonian theory of gravitation. However, in a space Sx this equation (4.5) has the form Wjk,i =, which is equivalent to (4.4). We thus see that Newtonian gravitational fields coincide in nonrelativistic approximation with the irrotational gravitational fields considered in our approximate theory, and that Newton's theory of gravitation is the theory of irrotational gravitational fields. The rotational gravitational fields are nonrelativistic approximations of non-newtonian gravitational fields. 5. LAW OF FREE FALL AND INERTIAL REFER ENCE SYSTEMS The equations of geodesics written for a coordinate system described by (1.1), c2 l26y + c2{ 'V } dsa. dsfl = ds2 a~ ds ds become in the limit c - oo: (5.1) We have here taken into account that, in accordance with (1.1), ds/c- dt, and the limiting values of the Christoffel symbols were calculated from formulas given in [tj. In view of the equations yrsxi,rxk,s = fjik derived from (3.1), together with (3.5), we can write (5.1) as Furthermore, using (3.4) we arrive at (5.2) (5.3) whence by differentiating with respect to t and using the equations xi ko =vi sxx k as well as (5.2), and (5.3), we obtain ' ' ' =vi, o + 1 /2(v v"),; + 2w;sX 8 (5.4) or, by virtue of (3.17) and (3.13), r. = v (<D + ' 2 ) ~v'ijl1 + [ v :: J. (5.5) This is the law of free fall in nonrelativistic approximation as written for a reference system with a Euclidean space Sx. It follows from (5.5) in conjunction with (3.15) that the gravitational force depends on a scalar potential <I> and a vector potential a, with the former satisfying Poisson's equation and the latter satisfying Laplace's equation. Let us consider, for example, a= (,, - 2/r) (r 2 = x 2 + y 2 + z 2 ). Then 1/J = - z/r 3 is the potential of a dipole located at the origin. Since 1/J ik >", the gravitational field here is rotational. 'we assume, furthermore, <I> = [in which case (3.17) has a solution for cp], so that the ordinary Newtonian attraction is not present. In this gravitational field the law of free fall (5.5) has the form i.. = v (' 2 ) + 2 rrv'ijlj. Here "ili/j "' r - 3 and "il ( 2 ) "' r -s. Therefore in the vicinity of the origin the dominant force is "il ( 2 ), while weak gyroscopic effects dominate at great distances from the center. We have seen in Sec. 4 that in an irrotational gravitational field a set of spaces Sx includes a more limited group of spaces (to be denoted by S~) for which wik =. Any space S~ is transformed into another by means of the orthogonal transformations (3.3); as a consequence of the condition Wik = Wik = we have, from (4.2), Wik =, or, from (4.3), a~a~ - '~'~ =, which from orthog-

5 886 H. KERES onality cal?- be written as a~a~ = or ak =, so that the ak are constants. The spaces S~ do not rotate relative to each other. By a suitable orientation of the rectangular coordinate axes the considered transformations can be put into the simple form (5.6) The equation wik = is a required condition for deriving the velocities vi from a scalar potential. Therefore, for each space S~ we can assume a= in (3.13). The law of free fall (5.5) then becomes xi= <D, ;. (5. 7) However, the function <P cannot be identical for all spaces S~. It is easily seen that by virtue of (5.6) it follows from the equations that xi= <D. '" (5. 8) From the set of possible potentials <P a single potential can be determined using the limiting conditions at infinity; for example, in the case of an isolated material system <P = is required at infinity. Then among the spaces S~ we distinguish a more limited class of spaces (denoted by Si) associated with this uniquely determined <P. Each space S~ is transformed into another by means of (5. 6); now by virtue of = <P it follows from (5.8) that iii= or ai = j3it + {3, where f3i and f3 are constants. By choosing a suitable origin of the rectangular coordinate system we obtain f3 = ; the transformation then becomes simply (5. 9) This shows that the spaces S~ move uniformly in straight lines with respect to each other. In these spaces the law of free fall has the form (5. 7) with a potential <P that is invariant under the transformations (5.9). We have thus presented a theory of irrotational gravitational fields in the customary form of the Newtonian gravitational theory. The spaces S~ are the inertial reference systems of Newtonian mechanics. The role of the conditions at infinity in determining these spaces must be emphasized. In a rotational gravitational field, if the conditions at infinity are not taken into account a preferred subset of spaces S~ cannot be distinguished in the set of spaces Sx. On the basis of (3.1) we can write (4.2) as 'ljl,; = a,i'~jl, 8 + oo; or V\jl = V'ljl + w, where w is the angular velocity of Sx relative to sx. rt therefore follows from v = V'I/J that w = o, i.e., V'I/J has an identical value only in the spaces Sx that do not rotate with respect to each other. If we now determine V'I/J uniquely by means of the limiting conditions at infinity, such as the requirement V'I/J = at infinity (giving an irrotational field at infinity ), then among the spaces Sx we distinguish a class of spaces (denoted by S~*) for which V'I/J has this uniquely determined value. The spaces s~* are interrelated by the transformations (5.6). It is impossible to separate out from the set of s~* a still more limited class of spaces that would correspond to Newtonian inertial systems. The form of the law of free fall (5.5) cannot be simplified for the spaces ~*. The vector potential a is an essential characteristic of a rotational gravitational field. Coriolis force terms cannot be eliminated from (5.5) by any choice of the reference system. 6. CONCLUSION We have seen that some solutions of Einstein's equations in nonrelativistic approximation ( irrotational gravitational fields) satisfy the field equations of the Newtonian theory, while others (rotational gravitational fields) do not. It follows that, either Newton's theory of gravitation does not account for all gravitational phenomena in nature and therefore requires nonrelativistic corrections, or a large class of solutions of Einstein's equations cannot be used to describe real gravitational fields. 1 H. Keres, JETP 46, 1741 (1964), Soviet Phys. JETP 19,1174 (1964). 2 G. C. McVittie, The General Theory of Relativity and Cosmology, Wiley, New York, 1956 (Russian transl., IlL, 1961). Translated by I. Emin 196