Abstract
Full Text
PHYSICS
K. P. STANIUKOVICH
ONE GENERALIZATION OF EINSTEIN’S GRAVITATION EQUATIONS
(Presented by Academician N. N. Bogolyubov, 28 VII 1962)
The fundamental equation of Einstein’s general theory of relativity has, as is known, the form
[
R_i^k-\frac{1}{2}\delta_i^k R=\chi T_i^k,
\tag{1}
]
where (\chi=8\pi G/c^4,\; G=\frac{2}{3}\cdot 10^{-7}\ \mathrm{cm^3/g\cdot sec^2}) is the gravitational constant;
[
T_i^k=(P+\varepsilon)u_i u^k+\delta_i^k P+\overline{T}_i^k;
\tag{2}
]
[
\overline{T}i^k=\frac{1}{4\pi}\left[F\delta_i^k\right];}F^{kl}-\frac{1}{4}F_{lm}F^{lm
\tag{3}
]
(F_{ik}) are the components of the electromagnetic-field tensor; (\overline{T}_i^k) is the energy–momentum tensor of the electromagnetic field;
[
R_i^k=g^{kr}R_{ir}
=g^{kr}\left(\frac{\partial\Gamma_{ir}^l}{\partial x^l}
-\frac{\partial\Gamma_{il}^l}{\partial x^r}
+\Gamma_{ir}^l\Gamma_{lm}^m
-\Gamma_{il}^m\Gamma_{rm}^l\right)
\tag{4}
]
is the contracted curvature tensor (the Ricci tensor), where the Christoffel symbols are expressed in terms of the metric tensor
[
\Gamma_{kl}^i=\frac{1}{2}g^{im}
\left(
\frac{\partial g_{mk}}{\partial x^l}
+\frac{\partial g_{ml}}{\partial x^k}
-\frac{\partial g_{kl}}{\partial x^m}
\right).
\tag{5}
]
Since the Bianchi identity holds:
[
R_{ikl;\,m}^n+R_{imk;\,l}^n+R_{ilm;\,k}^n=0,
\tag{6}
]
then, multiplying the terms of this identity by (g^{ik}\delta_n^l), we obtain the expression (\partial R/\partial x^m-2R_{m,n}^n=0), which is analogous to the identity
[
R_{i;\,k}^k-\frac{1}{2}\frac{\partial R}{\partial x^i}
=
\left(R_i^k-\frac{1}{2}\delta_i^k R\right)_{;\,k}
=0.
\tag{7}
]
Taking (1) into account, it is necessary to conclude that
[
T_{i;\,k}^k=
\frac{1}{\sqrt{-g}}\,
\frac{\partial \sqrt{-g}\,T_i^k}{\partial x^k}
-\frac{T^{kl}}{2}\frac{\partial g_{kl}}{\partial x^i}
=0.
\tag{8}
]
However, this equation, which is supposed to express the law of conservation of the energy–momentum of matter, is meaningless. First, in a gravitational field the 4-momentum of matter (including the electromagnetic field) and the 4-momentum of the gravitational field must be conserved, which is not taken into account by equation (8); second, the integral
[
P_i=\frac{1}{c}\int T_i^k\sqrt{-g}\,ds_k,
\tag{9}
]
expressing the law of conservation of the 4-momentum only of matter, has meaning only when the condition
[
\frac{\partial \sqrt{-g}\,T_i^k}{\partial x^k}=0,
\tag{10}
]
is satisfied, and not condition (8).
Thus, the basic equation of relativity (1) turns out to be incorrect; it does not express a law of conservation of matter and the gravitational field.
Equation (1), as Einstein himself pointed out, was derived not from rigorous but from heuristic considerations, although its general structure does not give rise to doubts, since the metric of space is connected by this relation with the matter filling this space and creating its metric.
In order somehow to overcome the difficulties with conservation laws, which are not described by equation (1), Einstein also proposed introducing the so-called pseudotensor ((t_i^k)) of the energy–momentum of the gravitational field itself. By introducing this pseudotensor it was possible, in an artificial way, somehow to satisfy the integral conservation laws of 4-momentum. (It is true that a number of relativists asserted, and still assert, that general relativity is above conservation laws, stands over them, and that their fulfillment is not at all obligatory in Einstein’s theory. Such argumentation can hardly be regarded as convincing.)
One method of introducing the pseudotensor into the conservation law is given in (1), where (t_i^k) is determined from the relations
[
\frac{16\pi G}{c^4}(-g)(T^{ik}+t^{ik})
=
\frac{\partial^2}{\partial x^l \partial x^m}
\left[(-g)(g^{ik}g^{lm}-g^{il}g^{km})\right],
\tag{11}
]
and, identically, the equations
[
\frac{\partial}{\partial x^k}\left[(-g)(T^{ik}+t^{ik})\right]=0.
\tag{12}
]
The quantities (t^{ik}) are symmetric in the indices (i) and (k), and in the general case they do not have tensor character, since (t^{ik}) are defined through ordinary, not covariant, derivatives. However, since (t^{ik}) can be expressed through the quantities (\Gamma^i_{kl}), under linear transformations (t_i^k) behaves as a tensor. Sometimes (t_i^k) is introduced by varying the pseudoscalar of the field
[
G = g^{ik}(\Gamma^m_{il}\Gamma^l_{km}-\Gamma^l_{ik}\Gamma^m_{lm}).
]
With the identities (12), a conservation law holds for the quantities:
[
P^i=\frac{1}{c}\int (-g)(T^{ik}+t^{ik})\,d s_k.
\tag{13}
]
However, such a definition of the energy–momentum of the gravitational field is not unique or satisfactory. The gravitational field itself is not included in the basic equation (1) and therefore seemingly does not influence the metric of space, which is incomprehensible, since the gravitational field and gravitational waves, described by the pseudotensor (t_i^k), possessing energy, themselves create an additional gravitational field, i.e. change the metric of space.
Let us also note that in the study of gravitational waves there exists, depending on the method of derivation and the choice of coordinate system ((^2)) of the energy–momentum pseudotensor, an arbitrary possibility either to ascribe to the waves the transport of some definite energy, or, on the contrary, to consider that the transported energy is absent ((^2)), which, of course, is absurd.
In all formal attempts to develop general relativity it was assumed that the quantity (\varkappa = 8\pi G/c^4 = \mathrm{const}). It is true that Dirac, in his time, expressed the interesting supposition that the gravitational constant (G) may not be constant, but may vary with time ((^{3,4})). However, his ideas were of a general descriptive, not formal, character (for Dirac (G \sim \tau^{-1}), where (\tau) is a certain world time).
We shall make an attempt at a certain generalization of general relativity, more precisely, a generalization of the basic gravitational equation (1), assuming that
[
\varkappa=\varkappa(g_{ik}; R; x^i).
]
Let us write the basic equation, which is easily derived by the variational method, assuming that the scalar (R^* = B^{ik}R_{ik}), which has the dimension of energy density and is the Lagrangian of the field, is varied:
[
R_i^k - {}^1!/_{2}\,\delta_i^k R
=
A_i^r (T_r^k + t_r^k)
+
A_i^k R_l^m \frac{\partial B_m^l}{\partial \ln g}
+
\frac{1}{2}\left(A_i^k B_r^l R_l^r - \delta_i^k R\right),
\tag{14}
]
here (A_i^r) is a tensor generalizing the “gravitational constant” (\varkappa); (A_i^r B_r^k=\delta_i^k), (T_r^k) is the energy-momentum tensor of matter (particles with nonzero rest mass, including “gravitons”), (t_r^k) is the tensor or pseudotensor of the energy-momentum of fields, including the free gravitational field (particles with zero rest mass).
Since ((R_i^k - {}^1!/{2}\,\delta_i^k R)=0), the equation
[
\frac{1}{\sqrt{-g}}\,
\frac{\partial \sqrt{-g}\,A_i^r(T_r^k+t_r^k)}{\partial x^k}
-
\frac{A_r^l}{2}(T^{kr}+t^{kr})\frac{\partial g_{kl}}{\partial x^i}
+
\psi_{i;k}^k
=
0,
\tag{15}
]
will hold, where
[
\psi_i^k
=
A_i^k R_l^m \frac{\partial B_m^l}{\partial \ln g}
+
\frac{1}{2}\left(A_i^k B_l^r R_r^l-\delta_i^k R\right).
]
In order that the conservation law for the 4-momentum
[
P_r=\frac{1}{c}\int \sqrt{-g}\,(T_r^k+t_r^k)\,ds_k,
\tag{16}
]
be satisfied, it is necessary to assume that
[
\frac{\partial \sqrt{-g}\,(T_r^k+t_r^k)}{\partial x^k}=0.
\tag{17}
]
Then, starting from (15), we shall have
[
\frac{A_r^l}{2}(T^{kr}+t^{kr})\frac{\partial g_{kl}}{\partial x^i}
=
(T_i^k+t_i^k)\frac{\partial A_i^r}{\partial x^k}
+
\psi_{i;k}^k.
\tag{18}
]
Let us now represent (17) in the form:
[
\frac{\partial \sqrt{-g}\,T_r^k}{\partial x^k}
=
-
\frac{\partial \sqrt{-g}\,t_r^k}{\partial x^k}
=
f_r,
\tag{19}
]
where (f_r) is the force acting on matter from the gravitational field (and, conversely, acting on the field as the reaction of the matter to it). Suppose that
[
A_i^r f_r
=
\frac{A_r^l}{2}\sqrt{-g}\,T^{kr}\frac{\partial g_{kl}}{\partial x^i}.
\tag{20}
]
Then, from (19) and (20), we shall have
[
A_i^r\frac{\partial \sqrt{-g}\,T_r^k}{\partial x^k}
=
\frac{A_r^l}{2}\sqrt{-g}\,T^{kr}\frac{\partial g_{kl}}{\partial x^i}.
\tag{21}
]
It should be emphasized that the system of equations (14), (17), (18), (21) is complete and determines the components of the tensors (T_i^k), (t_i^k), (A_i^k), (g_{ik}).
Let us now consider a simpler case, assuming that (\varkappa\ne \mathrm{const}) and does not have tensor properties; (\varkappa) is again a scalar, but variable. Then equation (14) can be written in the form:
[
R_i^k - {}^1!/_{2}\delta_i^k R
=
\varkappa (T_i^k+t_i^k)
-
\delta_i^k R\frac{\partial \ln \varkappa}{\partial \ln g}.
\tag{22}
]
On contracting, we have (+\,R=-\varkappa T+4R\dfrac{\partial \lg \varkappa}{\partial \lg g}), where (t=t_i^i=0).
Covariant differentiation gives the equation
[
\frac{\partial \sqrt{-g}\,(T_i^k+t_i^k)}{\sqrt{-g}\,\partial x^k}
-\frac{1}{2}(T^{kl}+t^{kl})\frac{\partial g_{kl}}{\partial x^i}
+(T_i^k+t_i^k)\frac{\partial \ln \varkappa}{\partial x^k}
-\frac{1}{\varkappa}\frac{\partial \psi}{\partial x^i}=0,
\tag{23}
]
where (\psi=R\,\partial \ln \varkappa/\partial \ln g).
Let
[
\frac{\partial \sqrt{-g}\,(T_i^k+t_i^k)}{\partial x^k}=0;
\tag{24}
]
then the 4-momentum will be conserved:
[
P_i=\frac{1}{c}\int \sqrt{-g}\,(T_i^k+t_i^k)\,ds_k.
\tag{25}
]
In this case
[
\frac{1}{2}(T^{kl}+t^{kl})\frac{\partial g_{kl}}{\partial x^i}
=(T_i^k+t_i^k)\frac{\partial \ln \varkappa}{\partial x^k}
-\frac{1}{\varkappa}\frac{\partial \psi}{\partial x^i};
\tag{26}
]
[
\frac{\partial \sqrt{-g}\,T_i^k}{\partial x^k}
=\frac{\sqrt{-g}}{2}\,T^{kl}\frac{\partial g_{kl}}{\partial x^i}
=f_i.
\tag{27}
]
These relations can also be obtained from the more general ones (see above), by putting (A_i^r=\varkappa\delta_i^r).
Specifying (\varkappa=\theta(g_{ik})f(x^i;R)), we find that the system of equations, in particular, will determine (\theta), (f), and the 10 components of the tensor (t_i^k), which, splitting into two groups of 5 components each, will describe the field corresponding to particles with spin 2.
Thus, the formalism being developed logically shows that the fulfillment of the conservation laws of the energy–momentum of matter and field can be achieved only under the assumption that (\varkappa\ne\mathrm{const}).
The generalization made of Einstein’s equation may have application to cosmological models. In the case of stellar masses, near these stars the proper gravitational fields are always greater than the general background and therefore, for example, the effects of the Schwarzschild problem will not undergo changes.
I express my deep gratitude to G. A. Sokolik and N. P. Konopleva for discussing the results of this work.
All-Union Scientific Research
Institute of Electromechanics
Received
27 VII 1962
CITED LITERATURE
¹ L. D. Landau, E. M. Lifshitz, Field Theory, 4th ed., 1962, §§ 95, 99.
² L. Infeld, in the collection Newest Problems of Gravitation, IL, 1961, p. 200.
³ P. A. M. Dirac, Nature, 139, 323 (1937).
⁴ P. A. M. Dirac, Proc. Roy. Soc., A 165, 199 (1938).