Professional Documents
Culture Documents
CHRONOMETRIC
INVARIANTS
ON DEFORMATIONS AND THE CURVATURE OF
ACCOMPANYING SPACE
AMERICAN
RESEARCH
PRESS
Abraham Zelmanov
CHRONOMETRIC
INVARIANTS
On Deformations and the Curvature of
ACCOMPANYING SPACE
(1944)
2006
All rights reserved. Electronic copying and printing of this book for individual or
non-commercial/academic use can be made without permission or charge. Any part
of this book being cited or used howsoever in other publications must acknowledge
this publication.
No part of this book may be reproduced in any form whatsoever (including storage
in any media) for commercial use without the prior permission of the copyright
holder. Requests for permission to reproduce any part of this book for commercial
use must be addressed to the translators.
This book was typeset using BaKoMa-TEX typesetting system
This book can be ordered in a paper bound reprint from:
Books on Demand, ProQuest Information and Learning
(University of Microfilm International)
300 N. Zeeb Road, P. O. Box 1346, Ann Arbor, MI 48106-1346, USA
Tel.: 1-800-521-0600 (Customer Service)
http://wwwlib.umi.com/bod/
This book can be ordered on-line from:
Publishing Online, Co. (Seattle, Washington State)
http://PublishingOnline.com
Many books can be downloaded for free from the Digital Library of Science at the
Gallup branch of the University of New Mexico:
http://www.gallup.unm.edu/smarandache/eBooks-otherformats.htm
Many papers can be downloaded for free from the online version of the quarterly
issue American journal, Progress in Physics:
http://www.ptep-online.com; http://www.geocities.com/ptep_online
This book has been peer reviewed and recommended for publication by:
Prof. Florentin Smarandache, Department of Mathematics and Sciences,
University of New Mexico, 200 College Road, Gallup, NM 87301, USA
Prof. Jeremy Dunning-Davies, Department of Physics, University of Hull,
Hull HU6 7RX, England
ISBN: 1-59973-011-1
American Research Press, Box 141, Rehoboth, NM 87322, USA
Standard Address Number: 297-5092
Printed in the United States of America
Contents
Contents
4
Chapter 2
THE MATHEMATICAL METHODS
2.1
2.2
2.3
2.4
2.5
2.6
2.7
2.8
2.9
2.10
2.11
2.12
2.13
2.14
2.15
2.16
2.17
2.18
2.19
2.20
2.21
2.22
Reference frames . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
An observers reference space. Sub-tensors. . . . . . . . . . . . . .64
Time, co-quantities, and chr.inv.-quantities . . . . . . . . . . . . . . 66
The potentials . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
Chr.inv.-differentiation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
Changing the order of chr.inv.-differentiation. . . . . . . . . . . .71
The power quantities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
The space metric . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
The chr.inv.-vector of velocity . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
The chr.inv.-tensor of the rate of space deformations . . . . 82
Deformations of a space . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
Transformations of space elements . . . . . . . . . . . . . . . . . . . . . . . 88
Christoffels symbols in chr.inv.-form . . . . . . . . . . . . . . . . . . . . 89
General covariant differentiation in chr.inv.-form . . . . . . . 91
The Riemann-Christoffel tensor in chr.inv.-form . . . . . . . . 93
Chr.inv.-rotor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
The chr.inv.-vector of the angular velocities of rotation.
Its chr.inv-rotor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
Differential rotations. Differential deformations . . . . . . . . 101
Differential rotations of a space . . . . . . . . . . . . . . . . . . . . . . . . . 102
The system of locally independent quantities . . . . . . . . . . . 104
The chr.inv.-tensors of the space curvature . . . . . . . . . . . . 111
On the curvature of space . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
Chapter 3
RELATIVISTIC PHYSICAL EQUATIONS
3.1
3.2
3.3
3.4
3.5
Contents
Contents
Foreword
Foreword
10
Foreword
In other words, using purely mathematical methods of the General Theory of Relativity, Zelmanov showed that any observer
forms his world-picture from a comparison between his observational results and some standards he has in his laboratory the
standards of different objects and their physical properties. So the
world we see as a result of our observations depends directly
on that set of physical standards we have, so the visible world
depends directly on our considerations about some objects and
phenomena.
The mathematical apparatus of physical observable quantities
and those results it gave in relativistic cosmology were the first
results of Zelmanovs application of his Anthropic Principle to the
General Theory of Relativity. To obtain the results with general
covariant methods (standard in the General Theory of Relativity),
where observation results do not depend on the observers reference properties, would be impossible.
Unfortunately, Zelmanovs scientific methods arent very popular with todays physicists. Most theoreticians working in General
Relativity dont use his very difficult methods of chronometric
invariants, although the methods afford more opportunities than
regular general covariant methods. The reason is that Zelmanov
put his scientific ideas into the code of this difficult mathematical
terminology. It is of course possible to understand Zelmanovs ideas
using his mathematical apparatus in detail; he patiently taught
several of his pupils. For all other scientists it has proved very
difficult to understand Zelmanovs mathematical methods from his
very compressed scientific articles with formulae, without his personal comments.
Herein I present Zelmanovs dissertation of 1944, where his
mathematical apparatus of chronometric invariants has been described in all the necessary details. The dissertation also contains
numerous results in cosmology which Zelmanov had obtained using
the mathematical methods. It is impossible to find a more detailed
and systematic description of the theory of chronometric invariants, than the dissertation. Even the book Elements of the General Theory of Relativity [8], which Vladimir Agakov had composed
from Zelmanovs lectures and articles, gives a very fragmented account of the mathematical methods that prevents a reader from
learning it on his own. The same can be said about Zelmanovs
original papers, each no more than a few pages in length. Anyway
the dissertation is the best for depth of detail. Sometimes Zelmanov
Foreword
11
Foreword
12
which are satisfying to the properties b b = 1 and hi b = 0 required to such projecting operators. (Other components of the tensor
h are: h = g + b b , h
= g + b b .)
A real observer rests with respect to his reference body (bi = 0).
In other word, he accompanies to his reference body in all its
Greek suffixes are the space-time indices 0, 1, 2, 3, Latin ones are the spatial
indices 1, 2, 3. So the space-time interval is ds2 = g dx dx .
14
motions. Such person is known as accompanying observer. Projections of four-dimensional quantities onto the time line and spatial
section of such an accompanying observer (i. e. the observable projections) are invariant in respect to transformations of time along
the spatial section. Zelmanov therefore called such projections
chronometrically invariant quantities, i. e. bearing the property
of chronometric invariance. Therefore all quantities observed by
a real observer (who rests in respect to his references) are chronometric invariants.
So, meaning a real observer (bi = 0), we have
gi0
1
, b0 = g0 b = g00 , bi = gi b =
,
b0 =
g00
g00
and also
1
h00 = 0 ,
h00 = g 00 +
, h00 = 0 ,
g00
h0i = 0 ,
h0i = g 0i ,
hi0 = 0i = 0 ,
gi0
hi0 = 0 ,
hi0 = g i0 ,
h0i =
,
g00
g0i g0k
, hik = g ik ,
hik = gki = ki .
hik = gik +
g00
Thus, the chr.inv.-projections of a world-vector Q are
Q0
,
hi Q = Qi ,
b Q =
g00
while chr.inv.-projections of a symmetric world-tensor of the 2nd
rank, for instance Q , are
Q00
Qi
,
hi b Q = 0 ,
hi hk Q = Qik .
g00
g00
Physically observable properties of the space are derived from
the fact that the chr.inv.-differential operators
b b Q =
1
=
,
g00 t
t
are non-commutative
2
2
,
=
F
i
i
i
2
c
t
x t t x
=
+ 2 vi
i
i
x
x
c
t
=
A
ik
i
k
k
i
2
c
t
x x
x x
2
and also from the fact that the chr.inv.-metric tensor hik may not
be stationary. The observable characteristics are the chr.inv.-vector
of gravitational inertial force Fi , the chr.inv.-tensor of angular ve-
15
w vi
1
w
,
g00 = 1 2
Fi =
i
g00 x
t
c
1 vk
1
vi
g0i
Aik =
+ 2 (Fi vk Fk vi ) ,
vi = c
,
g00
2 xi xk
2c
1 hik
1 hik
ln h
ik
k
,
D =
,
Dk =
,
Dik =
2 t
2 t
t
where w is gravitational potential, vi is the linear velocity of the
space rotation,
1
g0i g0k
= gik + 2 vi vk
hik = gik +
c
g00
is the chr.inv.-metric tensor, which possesses all the properties of
the fundamental metric tensor g in the spatial section. (Here
h = det khik k, hg00 =g, while g = det kg k). Observable inhomogeneity of the space is set up by the chr.inv.-Christoffel symbols
1
hjm
hkm
hjk
ijk = him jk,m = him
+
xk
xj
xm
2
F = 2c2 b a ,
A = ch h a ,
D = ch h d ,
where a = 12 ( b b ), d = 12 ( b + b ).
In this way, for any equations obtained using general covariant
methods, we can calculate their physically observable projections
on the time line and the spatial section of any particular reference
body and formulate the projections in terms of their real physically
observable properties, from which we obtain equations containing
only quantities measurable in practice.
Zelmanov deduced chr.inv.-formulae for the space curvature.
He followed that procedure by which the Riemann-Christoffel tensor was built: proceeding from the non-commutativity of the second derivatives of an arbitrary vector
i k Ql k i Ql =
2Aik Ql
...j
+ Hlki Qj ,
c2 t
16
Hlki =
il
kl
j
m j
+ m
il km kl im ,
k
x
xi
1
(Hlkij Hjkil + Hklji Hiljk ) ,
4
which possesses all the algebraic properties of the RiemannChristoffel tensor in this three-dimensional space and, at the same
time, the property of chronometric invariance. Therefore Zelmanov
called Ciklj the chr.inv.-curvature tensor as the tensor of the observable curvature of the observers spatial section. Its contraction
term-by-term
i
Ckj = Ckij
= him Ckimj ,
C = Cj = hlj Clj
ik
R00
,
g00
ijk
R
Y ijk =c 0 ,
g00
Z ijkl = c2Rijkl .
Chapter 1
PRELIMINARY NOTICES
1.1
18
This supposition defines the cosmological theory as relativistic, because the supposition considers the Einstein equations
1
G = T g T + g ,
2
, = 0, 1, 2, 3
(1.1)
19
At the same time those cases where the constant is non-zero have
mathematical interest rather than physical meaning.
Contemporary cosmology peculiarly identifies the Metagalaxy,
supposed infinite, with the Universe as a whole. For this reason
we use the terms neighbourhood and large scale in the second
initial supposition, according to which we assume volumes elementary, if the volumes contain so many galaxies that matter inside
the volumes can be assumed to be continuously distributed (see
also 1.11).
1.2
The world-metric
g0i = 0 ,
i = 1, 2, 3 .
(2.1)
k
,
R2
k = 0, 1 ,
R = R (t) ,
(2.2)
dx2 + dy 2 + dz 2
1 + k (x2 + y 2 + z 2 )
4
i2 .
(2.3)
20
Properties of matter
p = p (t) ,
(3.2)
(3.3)
T 0j =
(3.4)
T ik
(3.5)
where
p dx dx
p
2 g ,
T = + 2
ds ds
c
c
(3.6)
dx
1
=
, 0, 0, 0
ds
g00
(3.7)
is a four-dimensional velocity, which characterizes the mean motion of matter in the neighbourhood of every point (irregular deviations from the mean motion are taken into account with the
21
scale parameter p). Formula (3.6) coincides with the formula for the
energy-momentum tensor of an ideal fluid , the density of which
is and the pressure is p. Hence matter, in the idealized universe
we are considering, can be considered as an ideal fluid, which,
having a homogeneous density and pressure in accordance with
(3.2), is at rest with respect to the non-static space. In other words,
the ideal fluid undergoes expansions/contractions, accompanied by
the non-static space. The pioneering work in relativistic cosmology
undertaken by Einstein and Friedmann, did not take the pressure
into account. Friedmann was the first to consider the static models,
so the case of > 0, p = 0 is known as Friedmanns case of an
inhomogeneous universe. The first to introduce p > 0, was Lematre [15, 16].
1.4
One of the consequences, which could be deduced from the Einstein equations of gravitation, is the relativistic law of energy
T
ln g
T +
T = 0 .
(4.1)
x
x
As a result of (2.3) and (3.33.5), the equations (4.1) with = 0
take the form
R
p
+ 2 = 0,
+ 3
(4.2)
R
c
where the dot denotes differentiation with respect to time. The
equations (4.1) with = 1, 2, 3 become the identities
0 = 0.
(4.3)
0 6 k t ,
(4.4)
Ideal in the sense of the absence of viscosity, not in the sense of incompressibility.
We do not take the works of de Sitter [9, 10], Lanczos [13], Weyl [14], and
Lematre [11] into account, because they considered the empty models.
22
(4.5)
(4.6)
(4.7)
dE
= 0,
dt
(4.8)
E = M c2 ,
(4.9)
it is evident that
and because
R
p
+ 3 2 + ,
(5.1)
3 2 =
c R
2
c
the identity
0 = 0,
(5.2)
and the equation
R 2
R
k
p
+
2
=
+ .
(5.3)
+
2
c2 R 2
c2 R
R2
2
c2
from (5.1) and (5.3), we obtain
Eliminating R
3
R 2
c2 R 2
+3
k
= + .
R2
(5.4)
23
Equations (5.1) and (5.3), as well as (5.4) and (4.2), are the main
equations of the relativistic theory of a homogeneous universe (the
cosmological equations). So, we will refer to the equations (5.1)
and (5.3), and also to their consequence (5.4), as the cosmological
equations of gravitation.
It is easy to see that the cosmological equation of energy is a
consequence of the cosmological equations of gravitation.
1.6
There are only two independent equations of the cosmological equations, namely (4.2) and (5.4)
R
p
+ 3
+ 2 =0
R
c
.
(6.1)
k
R 2
3 2 2 + 3 2 = +
R
c R
p = p (t) ,
R = R (t) .
(6.2)
To find the functions we need to add a third independent equation to the system. It could be, for instance, the equation of state,
which links density and pressure. A form of the curves themselves
(6.2) could be found without the third equation, if we were to make
valid limitations on density and pressure. Usually one studies the
curve of the third function of (6.2) under the supposition that
dp
6 0.
dR
On the one hand, for any substance, we have
> 0,
p > 0,
T > 0,
(6.3)
(6.4)
(6.5)
(6.6)
24
So, in general, we have
p
.
(6.7)
c2
Therefore, instead of (6.3), we can write
p
dp
6 0.
(6.8)
>3 2,
p > 0,
c
dR
We will limit our tasks here, because we will consider only nonempty models those models, where
>3
> 0.
1.7
(6.9)
2 2 2
c R + R k ,
2
3
(7.1)
see [5, 12, 17, 18] and [1], p. 359405, for instance.
In this case one makes a tacit supposition (which is physically
reasonable) that the essential positive function R (t) is continuous
everywhere, where the function exists. Moreover, one supposes its
derivative continuous under R 6= 0 (besides, see 1.13). The main
results the case > 0 (6.9) give will be discussed in the next section.
We will show here only several of the main properties of the function R (t), obtained in another way, similar to the way we will
consider in 4.194.23. First of all, it is evident that numerical
values of R, between which the function R (t) (under the aforementioned supposition) is monotone, are:
(1) zero;
(2) finite minimal values;
(3) finite values, which are asymptotic approximations of R from
above or from below (under the conditions t + or t );
(4) finite maximal values;
(5) infinity.
For all the finite values of R we write respectively, instead of
(3.1) and (3.4),
= c2 + 3p R + c2R ,
3R
(7.2)
2
(7.3)
3R 2 + 3kc2 = R2 + c2R2 .
25
(7.6)
From this we can conclude that the transit of the model through
the state of minimum volume, the asymptotic approach of the
model to a static state, and the static models in general, can occur
only when > 0, k = +1.
When R transits its maximum numerical value, i. e. when the
model evolves through the state of its maximum volume, then R
is nonpositive. Then, by formulae (7.2) and
becomes zero and R
(7.3), we obtain
(7.7)
3k > R2 ,
0 T R .
(7.8)
26
R 1 < R 2 ,
1 > 2 ,
(7.9)
(7.10)
27
28
k = 1
M 1 O1
M2
M1
M1
=0
O1
M1
M1
<0
O1
O1
O1
k = +1
>0
A1
A2
Considering contemporary cosmology, we select five main problems, which define its main sections. Three of them define sections
of the relativistic theory itself the dynamics, the three-dimensional geometry, and the thermodynamics of models of the Universe. The fourth links the relativistic theory to Classic Mechanics.
The fifth compares the theory with observational data.
The main part of relativistic cosmology is the dynamics of the
Universe. It consists of: (1) studies of the evolution of the models,
the main results of which are given in 1.71.8; (2) studies of the
stability of the models (this problem is not actually in the literature
yet, besides the aforementioned stability of the Einstein models, see
1.8). The dynamics borders on the space geometry from one side,
and on the thermodynamics from the other side.
Related to the space geometry are the questions: which are the
space curvature and the topological structure of the space? The
main results of the studies are given in that part of 1.2, which is
related to the properties of three-dimensional space.
29
dQ
dx
,
(9.1)
g
d >
g x
ds
(V ) > 0 .
t
(9.2)
30
r 2
6 2 = 8 + c2 .
r2
r
(9.6)
31
= ,
= 2 2 2 ,
k = 0, 1 ,
(9.7)
2
R
r
R
c r
and taking into account
=
8
,
c2
(9.8)
Accompanying space
As we have seen, the three-dimensional space in which the relativistic theory of a homogeneous universe operates is an accompanying
space a space which moves in company with matter at any of its
points. Therefore the matter is at rest (on the average) with respect
of the space. So expansions or contractions of the space imply the
analogous expansions or contractions of the matter itself.
It is evident that the accompanying space is primary from the
physical viewpoint. For this reason determining the geometric
properties of such a space is of the greatest importance. In particular, the question Is the space infinite, or not? is the same as
the question Is the real Universe spatially infinite, or not?, in a
reasonable physical sense of the words. Geometric characteristics
of the accompanying space are directly linked to observational data,
because the data characterize cosmic objects, which are at rest (on
the average) with respect of the space.
We can say that relativistic cosmology studies relative motions
of the elements of matter as the analogous motions of the elements
of the accompanying space, and deformations of matter are considered as the analogous deformations of the accompanying space.
The idea of studying motions in this way is very simple. In fact,
let us consider, for instance, two points
x = ,
x=,
(10.1)
32
located on the x axis. The distance between the points along the
axis can be expressed by the integral
Z
a dx ,
(10.2)
J=
(10.3)
From the usual viewpoint the cosmological equations are considered as the equations of the whole Universe, defining its radius R.
From this viewpoint the quantities
C=3
k
,
R2
(11.1)
R
(11.2)
R
are the tripled curvature and the relative rate of the volume expansion of the accompanying space as a whole. The quantities and p
D=3
Note, one sometimes means by the radius of the Universe, the radius of the
R .
space curvature which, as is evident, equals
k
33
are the average density and the average pressure of matter in the
Universe. From such a viewpoint, of course, the next supposition
is essential:
Supposition A The Einstein equations are applicable to the whole
Universe.
This supposition, of course, is a far-reaching extrapolation (for
instance, see [1], p. 331). At the same time, building the theory
of the world as a whole, the supposition cannot be replaced by
another now, because the others have proved less fruitful than it at
this time.
When we, from this standpoint, apply the homogeneous cosmological equations to the real Universe, we suppose, first, that:
Supposition B If we consider the Universe in the frames of the
large scale, we can assume the Universe homogeneous.
In this case, of course, in general, it is not supposed that this scale
coincides with that scale we have mentioned in 1.1. This supposition cannot be justified by any theoretical suppositions (physical
or astronomical, or otherwise), at least at this time. Moreover, it
is unknown as to whether the homogeneous state of the whole
Universe is stable or not (for instance, see [1], p. 482). Applying
the homogeneous models to the real Universe in any special case,
we need to set forth a scale, starting from which the Universe
will be supposed homogeneous. Contemporary applications of the
aforementioned models to the real Universe identify the Universe
with the Metagalaxy. In this case it is supposed:
Supposition C The Metagalaxy contains the same quantity of matter inside volumes less than the sphere of radius 10 8 parsecs
and more than the sphere of radius 10 5 parsecs.
Next, the contemporary applications of the relativistic models to
the real Universe suppose that:
Supposition D The red shift in the spectra of extragalactic nebulae,
proportional (at least, in the first approximation) to the distances between them and our Galaxy, is a result of mutual galactic recession (of the expansion of the accompanying space).
The radius 108 parsecs is in order of the distances up to the weakest in their
light intensity of the extragalactic nebulae, observed with the 100in reflector. The
radius 105 parsecs is in order of distances between the galaxies nearest to one
another. It is evident that elementary must be supposed volumes of the order of
1020 cubic parsecs.
34
35
has numerous drawbacks, which indicate that the theory is inapplicable to the real Universe. Some of the drawbacks were mentioned
in the previous 1.11, where we discussed Suppositions A and B.
Other the drawbacks (they will be discussed in 1.14 and 1.15)
are derived from comparison between the theory and observational
data. Finally, the remaining drawbacks can be formulated as notations on those properties of the models which are unreasonable
from their physical sense or from more general considerations.
As examples of such properties of the cosmological models, we
mentioning the follows:
1. The special state of infinite density. From the physical viewpoint, it is senseless to consider the real Universe under transit through this state. So it is senseless to apply the cosmological models to the real Universe under those conditions;
2. To consider the contemporary state of the Universe we observe as exceptional. This point, as we will see in the next
section, is a peculiarity of all the asymptotic and monotone
models (see [1], p. 399 etc.);
3. To suppose the cosmological constant non-zero, having physically unproved suppositions as a basis. Eddington (see [28],
Chapter XIV) attempted to join relativistic cosmology and
Quantum Mechanics. He attempted to show that the value
of the cosmological constant is positive > 0, k = +1 in this
case, so the real Universe must be of the type A2 . However
his speculations are very artificial and questionable;
4. The finiteness (the closure) of the space is a drawback from
the general viewpoint. The supposition that space is closed,
as Einstein and Friedmann made in their first models, had
been recognized by them as artificial after the theory of a
non-static infinite universe had been created [12, 29].
As we can see from 1.7 and 1.8 (for instance, see Table 1.1 in
p. 28), there are no non-static models which would be free of all
the aforementioned properties, or even of three of them. Naturally:
All the models, which are free of the 1st property (the models
of the second kind), possess all the remaining three properties
A2
> 0 , k = +1 ;
(12.1)
M2
We
36
All the models, which are free of the 2nd property (the oscillating models), have the 1st property and also one of the
others the 3rd or the 4th property
> 0 , k = +1
;
(12.2)
O1
< 0 , k = 0, 1
All the models, which are free of the 3rd property (the models
with = 0), have the 1st property and also one of the others
the 2nd or the 4th property
k = +1 ,
O1
;
(12.3)
=0
k = 0, 1 , M1
All the models, which are free of the 4th property (the spatially infinite models), have the 1st property and also one of
the others the 2nd or the 3rd property
> 0 , M1
k = 0, 1
.
(12.4)
< 0 , O1
1.13
Let us consider some peculiarities of the evolution of the homogeneous models we have enunciated in 1.12.
Essential is that R, and consequently any fixed volume, becomes
zero under the special state of infinite density. Let us consider the
lower border of the changes of R, where R has a break, however R
itself is not zero (see 1.7), reaching a numerical value Rs > 0. Then
we can assume that has a singularity, namely, it becomes infinite
when R = Rs > 0 (a positive pressure is necessary, see [3] p. 72 and
p. 82, or [1] p. 399 etc.).
Examining (7.3) we can see that infinite density under finite R
R
= ,
R
37
(13.1)
38
models which, being free of the 1st property or of the 2nd and 4th
properties in their sum, are impossible under = 0.
Similar considerations stimulate one to consider the cases of
6= 0 (for instance, see [16]).
If we wish to obtain models which are free of the 1st property
or of the 2nd and the 3th properties, then we arrive at the models
with k = +1. Let us recall the final remarks in 1.2 in relation to
it. In accordance with 1.2, the positive space curvature leads to
the closure of space, necessary in only those models which are
symmetric with respect of any of their points (the homogeneous
models). In general, the relation between the curvature and the
coherence properties, consisting of many more factors, has much
greater possibilities.
1.14
The red shift discovered by Slipher (see [10] and [7], p. 301 etc.)
increases with distance and was initially considered in relation to
the empty models [10, 31, 14, 11]. Lematre [15] began to consider
the non-empty non-static models in the time between two events,
which suggested qualitative grounds for them, namely, Hubbles
discovery that galaxies are approximate distributed homogeneous
in space [32], and Hubbles discovery that red shift is approximately
proportional to distance [33, 34].
The observational data he used gave numerical bounds of the
following quantities:
Using Supposition E (see 1.11), the average density of matter
in the Universe, 1031 gramcm3 . In accordance with
the late bounding, the average density is 1030 gramcm3
[35, 36];
Using Supposition D, the data gave the relative speed of linear
39
A 1 , M1 , M 2
k = +1
>0
k = 0, 1 ,
M1
.
(14.3)
= 0,
k = 1 ,
M1
< 0,
k = 1 ,
O1
3
R R
,
, ...
, lm ;
R R
N (lm ) , lm ; n ,
k
R2
= 0,
= 0,
(14.5)
(14.6)
These are true, because the cosmological equations under conditions (14.1),
> 0 (which is impossible in the models A1
(14.2) with > 0, k = +1 become R
and O1 ).
40
and also
4
N () , ; n ,
R R
,
, ...
R R
= 0,
dN
R R
5
, ; n,
,
, ... = 0.
d
R R
(14.7)
(14.8)
41
compare (14.4) and (14.6) with the data (b). We can also obtain
the numerical value of T , which is in (14.4). This numerical
value can be compared with the data (a).
Hubble [37] followed the first approach. He used a method developed by himself and Tolman [38]. Using the assumed numerical
value T 6000 , he found the values of and k2 to be positive for
R
R 1.45 108 parsecs (this value of R is in the order of the radius of
the contemporary volume of the space). He had also obtained the
large value 6 1027 gramcm3 and the type M1 .
The second approach had been realised in McVitties works ,
who used McCreas formulae [43]. Assuming 1030 gramcm3 ,
he obtained negative values of and k2 negative (he assumed
R
R 108 109 parsecs), the Universes kind to be O1 , and T 7000
7500 .
The results we have mentioned above show that the theory of
a homogeneous universe, with suppositions C, D, and E, deviates
from the contemporary observational data. Moreover, as it follows
from Hubbles work, this difference applies to the classical mechanical theory of the Metagalaxy as well as to the relativistic
cosmological theory. McVittie explained the difference, supposing
that the reason is that data (a), which, affecting the quantitative
bounds significantly, are inexact. Eddington [44] explained it by
arguing that other observational data are inexact. At the same time,
to eliminate the difference, we actually need to take the extreme
numerical values of the possible empirical data. Therefore we will
examine Suppositions C, D, and E.
To explain the difference via the falsity of Supposition E, we
need very large masses of dark intergalactic matter (which does
not undergo any interactions that we could observe). To eliminate the difference we can reject Supposition D (as had been
shown in the Hubble study), however it requires the degeneration
of photons which is hypothetical and physically unexplained.
On the contrary, by the falsity of Supposition C, Shapley proposed
[45, 46] his explanation of the difference, having a basis in observational data.
42
1.15
The Harvard studies (Shapley and others) differ from the studies
made at the Mount Wilson observatory (Hubble and others). Although the former studies penetrated less into the depths of space
than did the latter studies, they do however take more facts into
consideration (higher percentage of galaxies in the region studied).
For these reasons the Harvard studies complement the Mount Wilson data. In points of dispute, the Harvard studies take, possibly,
greater weight. Collecting the results, we make the following points:
1. Many galactic clusters of up to hundreds of galaxies exist. The
tendency for galaxies to concentrate themselves into clusters
is under discussion. Hubble thinks the tendency less clear
than does Shapley. At the same time, the fact that the tendency itself exists is indisputable [47, 48];
2. From the galaxies which are not more distant than about
3106 parsecs, about two thirds are located in the northern
galactic hemisphere [35]. This results from the fact that the
massive galactic cluster in the Virgo constellation is in the
northern hemisphere;
3. From the galaxies which are not more distant than about
3 107 parsecs, the larger part is located in the southern hemisphere [49, 47, 50, 46]. As shown by Shapley (see ibid.), this
result does not contradict the Hubble data that both hemispheres have the same quantity of galaxies, which are not
more distant than 108 parsecs [47, 36];
4. The number of galaxies (not more distant than about 3 107
parsecs) in the strip 30 120 , which covers the South Pole,
being calculated for 1 square degree of the strip, has a gradient from the beginning of the strip to its end [50, 46];
5. The coefficient of proportionality between the red shift and the
galactic distances is different in the two hemispheres [50, 46].
The 1st and 2nd results do not contradict Supposition C. They
suggest, exclusively, that the Universe is certainly inhomogeneous
and anisotropic on a scale less than the aforementioned. The 3rd
result indicates that a density gradient in the Metagalaxy along
one of its radial directions, and also an anisotropy produced by the
gradient, exist. So Supposition C is very inaccurate. The 4th result
indicates that an essential density gradient in the Metagalaxy, and
also an essential anisotropy in the observed direction, exist. So
43
g0i
= 0,
t
(15.1)
i = 1, 2, 3 .
(15.2)
44
suppositions would be sufficient for determining theoretical correlations between the observable values. His suppositions could be
sufficient for some qualitative conclusions on the evolution of the
observable fragment of the Universe. So these would be enough
for some steps toward building the theory of an inhomogeneous
universe. As a result, it is possible that the aforementioned correlations in which McCrea was interested can be obtained only in the
framework of the completed theory of an inhomogeneous universe.
1.16
45
(16.2)
3. The fragment we are considering can be spanned, step-bystep, by coordinate nets which accompany the substance. In
other words, numerous conditions, making such coordinates
possible, take a place in the given fragment of the Universe.
Because the substance (galaxies) is the skeleton of the Universe, and because we use the accompanying coordinates in
observational tests of the theory, the aforementioned coordinates have more physical meaning than coordinates accompanying the whole of the matter on the average . We note that
under the suppositions we have made above, we have
T0i m = 0 ,
(16.3)
By studying an element of the Universe, we mean a fragment we are considering as any infinitesimal (finite) volume, which contains this element.
This is a liquid, or better, a gas, where galaxies are molecules.
Both kinds of the accompanying coordinates are the same in a homogeneous
universe.
46
thus we obtain, finally
T0i = T0i
(16.4)
The way to build the theory of an inhomogeneous universe To retain considerations on the Universe as a whole from the beginning of the study. To split the study into the following
stages.
1. Consider the evolution of an element of an inhomogeneous
anisotropic universe. The main point here is the following
problem: is the evolution of universes of kind O2 really possible, and what are the conditions of their evolution (if this
kind of evolution can exist)? Actually, this is the question:
can the oscillating models, which do not transit through the
special state of infinite density, exist, and what are the conditions? If the answer is in the negative, then the assumed
idealization is not applicable to the real Universe.
The minimum of those scales where the second of the assumed
suppositions is reasonable, is of the same order as that mentioned
in 1.11. To study the Universe on this scale would be most desirable. At the same time, we can also use a scale, larger than the
minimum, only if the elements of the Universe we have in the
scale are infinitesimal in comparison to the Metagalaxy
(if the Metagalaxy is infinite, then its elements can be assumed as
large as desirable). Taking the latter into account, results of the 1st
stage of the study can be applicable to very large fragments of the
Universe.
From the 1st stage of this study, we can go to the 2nd stage or,
by passing this stage, directly to the 3rd stage, where the problem
of space curvature has a special meaning. For this reason, we must
take space curvature into account in the 1st stage of the study.
2. Consider the case where the Metagalaxy is spatially finite.
Analogously to the previous stage, the question about applicability of the type O2 to all the elements of the Metagalaxy (and
the conditions of its evolution, if it is applicable) has a special
meaning here. In other words, we ask: are the special states
of the infinite density absent throughout the four-dimensional
volume, where the Metagalaxy is? If the answer is in the
negative, then the assumed idealization is not applicable or,
probably, the Metagalaxys spatial boundedness cannot exist
eternally.
47
3. Consider the case where the Metagalaxy is spatially unbounded and infinite (that is the Universe). The next question has
a special meaning here: are any peculiarities in this fourdimensionally infinite volume, the Universe, absent, and what
are the conditions of the peculiarities (if they exist)? To answer this question in the negative implies inapplicability of the
accepted idealization, or that the Lambert concept (see p. 44)
is true. In connection with the aforementioned question about
the spatial infinitude of the Universe, the question about the
space curvature has a special meaning. Unfortunately, the
correlation between the curvature and the topological structure of space has not been studied sufficiently : the data we
have under consideration are apparently, exhausted with
some of the sufficient conditions of the spatial infinitude
(see [57], p. 234 and 239). It is necessary to note that to apply
any result we obtain in three-dimensional geometry to the
case where time is everywhere orthogonal to space, requires
further study.
As a matter of fact, before we study an element of an inhomogeneous universe, we need to build a mathematical apparatus, according to the physical contents of the problem . We need to first
find those equations by which we will study the Universe in each
of its elements.
1.17
48
+ ,
+
3
+
D
c2 t
3
2
c2
1
D2 + C = + ,
3c2
p
+ D + 2 = 0.
t
c
(17.1)
(17.2)
(17.3)
1 V
,
V t
3
V C = 0.
t
(17.5)
(17.6)
49
50
dx dx
,
ds ds
> 0.
(18.1)
This case correlates the condition (4.7) in a homogeneous universe and, like the same case in homogeneous universe, can be
called Friedmanns case.
To clarify that the Friedmann case in an inhomogeneous universe relates to the same case in a homogeneous universe and to the
general case of an inhomogeneous universe, we are going to make
a list of those factors which are expected in the transfer from a
homogeneous universe to an inhomogeneous one.
Factors which do not link to the presence of pressure
1. Anisotropy of deformations of elements of the accompanying
space.
2. Inhomogeneity of their density.
That is, here Zelmanov supposed the matter a substance without radiations.
Editors comment. D. R.
Compare (18.1) with formula (3.6) under the condition (4.7).
Note that the density gradient in explicit form cannot appear in the
cosmological equations, because no derivatives of the time component of the energymomentum tensor with respect to spatial coordinates exist in the initial relativistic
equations. This can be explained from the physical viewpoint, because the term
density gradient has no meaning with respect to a single element of the Universe.
51
3. A field of forces, which act on test-bodies only in their motions with respect to the coordinates we are considering (the
coordinates which accompany to substance).
4. The correlation between the Riemannian curvature and twodimensional directions (i. e. anisotropy of the curvature).
5. Inhomogeneity of the Riemannian curvature along all twodimensional directions (i. e. inhomogeneity of the curvature) .
Factors linked to the presence of pressure
6. Viscosity, which manifests under anisotropy of the deformations.
7. Divergence of the three-dimensional stress tensor; in other
words, inhomogeneity of pressure, linked to inhomogeneity
of density.
8. A field of forces, which put the inhomogeneity of pressure
into equilibrium.
9. A heat flux, linked to the inhomogeneity of pressure.
10. A flux of momentum, linked to the heat flux.
It is evident that the facts of the first group are different to the
case we are considering from the Friedmann case in a homogeneous
universe, the facts of the second group are different to the general
case of an inhomogeneous universe.
The Friedmann case in the theory of a homogeneous universe
is inapplicable to thermodynamics. At the same time, this case is
sufficient for dynamics and observational tests of the theory, and
is that sole case which is applicable for comparing the theory with
Classical Mechanics in strong form. Taking these as a basis for
building the theory of an inhomogeneous universe, we can say that
the Friedmann case cannot be applicable to thermodynamics; it is
The mean curvature gradient in explicit form cannot appear in the cosmological
equations, because it must include the third derivatives of components of the metric
tensor.
As it has been obtained in the theory of a homogeneous universe (see 1.3),
matter can be assumed to be an ideal fluid. Then, from the physical viewpoint, it
can be a consequence of not only the absence of the viscosity, but also the presence
of the viscosity under isotropy of the deformations. In other words, this is the
fact we have also in Classical Hydrodynamics (for instance, see [58], p. 544, under
the conditions a = b = c 6= 0 and f = g = h = 0). Note that the viscosity of the fluid,
consisting of molecules-galaxies, is four orders greater than the viscosity of water.
It can easy be calculated, taking masses, volumes, and peculiar velocities of galaxies
into the calculation.
52
the sole case whereby we have any hope of finding a strong analogy
to the equations of Classical Mechanics. At the same time, because
numerous factors are linked to light pressure in an inhomogeneous
universe, we have no knowledge of how much the Friedmann case
(and its consequences) differ from the general case in the spheres
of dynamics, geometry, and its observational tests. We are limiting
our attention by the Friedmann case here, because mathematical
simplicity and physical obviousness recommend to first consider
influences of only one of the groups of the factors, namely the first
group of the factors, because those factors can be in action even in
the absence of any factors of the second group (the last factors of
the aforementioned are in action under only the presence of some
of the factors of the first group). In our opinion, any reasons that
pressure and its linked factors can be infinitesimal in the fragment
of the Universe we observe in the present time, have secondary
meanings.
The next case, after the Friedmann case, could be considered as
an approximation to the case of an inhomogeneous universe . This
is the case of
p dx dx
p
T = + 2
(18.2)
2 g , > 0 , p > 0 ,
c
c
ds ds
i. e. an ideal fluid the mix of a substance and radiations under
the 7th and the 8th factors. This case corresponds to the general
case of a homogeneous universe, and it is the general case, where
the condition (4.6) remains unchanged.
To obtain the cosmological equations and their analysis we need
to prepare the necessary mathematical apparatus and also methods
to interpret numerous mathematical results we will obtain. These
tasks will also be included in this work.
We have given a brief survey of the theory and the tasks of our
work. Looking forwards, we propose the following plan. To prepare
the necessary mathematical apparatus (Chapter 2); To apply the apparatus to equations of physics (Chapter 3); To use the equations to
obtain the cosmological equations and their consequences, considering the Friedmann case in an inhomogeneous universe (Chap. 4).
Keeping in mind that programme we have set forth in 1.16, we
will complete each of the Chapters with results, more than it would
be necessary.
It has been partially developed by the author, but the results are not included
in this work.
53
Considering the proposed contents of Chapter 2, we must first consider the following problem: is the use of some special coordinate
frames of the systems accompanying the Universes substance, possible and appropriate?
Most simple are those coordinates where
g0 = 0 .
(19.1)
g g = 0 ,
x
(19.2)
xi = xi (x1 , x2 , x3 ) ,
i = 1, 2, 3 ,
(19.3)
= 0, 1, 2, 3 .
(19.4)
54
2.82.12 introduce the chr.inv.-metric tensor, the chr.inv.tensor of the space deformations, the correlation between the
tensors, and also consequences of this correlation. Equation
(11.22), giving the correlation, is the most important result of
the entire study.
55
(19.5)
F.
(19.6)
Using only the relativistic equation of the four-dimensional interval ds2 as a basis for this study, Chapter 2 does not use any
additional equations or additional physical requirements.
1.20
56
world-tensor in chr.inv.-tensor form. Finally, introducing chr.inv.tensor quantities which characterize states of matter, deformations
of space, space curvature, and forces acting in the space, we must
obtain equations of the law of gravitation and the law of energy in
chr.inv.-tensor form. So the main task of Chapter 3 is to translate
the main relativistic tensor quantities and the equations into the
specific language of the mathematical apparatus of chronometric
invariants (see the apparatus itself in Chapter 2), clarifying the mechanical sense of the power quantities simultaneously.
Let us make a list of the main themes contained in Chapter 3.
A. 3.13.3 give three-dimensional tensor equations for components of the world-metric tensor and also for Christoffels
world-symbols of the 1st and the 2nd kind. Very significant in
the consequences (see 3.143.17) is the fact that the aforementioned tensor world-quantities Q, all indices of which are
not zero, are linked to the appropriate three-dimensional tensor quantities T of the same indices by the linear equations
Q = T + a,
(20.1)
57
F.
3.183.24 develop the equations of Einsteins law of gravitation into chr.inv.-tensor form. As a result, we obtain the
scalar equation of gravitation, the vector equation, and the
tensor equation. The equations consist of only chr.inv.-tensor
quantities, which characterize states of matter, its evolution,
the space deformations, and forces acting in the space. It
is interesting that the vector equation can be considered as
a differential equation with respect to the angular velocity
vector of the geodesic precession (see 4.10).
In particular, this result has the following consequences. The physical sense
of the supposition (see 1.15) that time is everywhere orthogonal to space g0i = 0
(15.2), which was unknown to Friedmann and McCrea, is the absence of the Coriolis
effect (the absence of the dynamic absolute rotation, in the terminology of the
g0i
= 0 (15.1) is merely
Chapter 4). The physical sense of the conditions g00 = 1,
t
that those forces which could put the pressure gradient into equilibrium, are absent.
58
All the results of Chapter 3 are not linked to any limiting suppositions, related to kinds of matter or relative motions of the coordinate systems we use. The entire problem statement and the results
are independent of both the mathematical viewpoint and the physical viewpoint. This fact, in our opinion, suggests the following. The
mathematical apparatus of chronometric invariants we give in Chapter 2 could be a natural form of physical equations in those cases,
where the complex of coordinate systems, which are at rest with respect to each other, plays a special part. One such case is relativistic
cosmology, because it uses accompanying coordinate frames.
1.21
59
(21.1)
(21.2)
which we obtain by contraction of equation (21.1); and (2) the tensor equation
1
(21.3)
Bik hki B = 0 ,
3
which becomes an identity after contraction (see the main form
of the cosmological equations).
After the foregoing has been established, we formulate the main
task of our cosmological problem (see the beginning of 1.18) more
precisely. So the main task of Chapter 4 is to obtain the cosmological equations for the Friedmann case in an inhomogeneous universe, and also numerous their consequences thereof, which characterize: (1) factors, which are unnatural in homogeneous models;
(2) effects of the unnatural factors on the evolution of the main
isotropic characteristics of an arbitrary element of an inhomogeneous universe (the evolution of its volume being the main task).
Chapter 4 will also be arranged into numerous thematic sections.
A. 4.14.4 introduce suppositions on those kinds of matter
which pertain to the Friedmann case, and also coordinates
accompanying the substance. To describe deformations and
relative rotations of elements of the substance, we use quantities characterizing the analogous motions of the elements
of the space. We also introduce the possibility of using the
accompanying coordinates, on a basis of general suppositions
on motions of the substance.
B. 4.54.8 give the cosmological equations in their main
form, and also set forth the possibility of introducing the
primary coordinate of time at any given point of the space
(this possibility is derived from the fact that the vector Fi
60
C.
4.94.13 consider the factors of anisotropy and also relations between anisotropy and inhomogeneity. Let us mention
of those results that: (1) the vector cosmological equation, in
its mechanical sense, is a differential equation with respect
to the angular velocity vector of the geodesic precession;
(2) dynamic absolute rotations cannot disappear or appear,
which is a peculiarity of this factor of anisotropy; (3) the
law of transformations of the vector i under deformations
of the element; (4) the deformations can be anisotropic in the
absence of other factors of anisotropy, which is a peculiarity
of only the anisotropy of deformations; (5) the presence of
inhomogeneities in a finite volume is necessary, if the volume
is isotropic; (6) a static model, which differs from the Einstein
static model, can manifest when i 0.
D. 4.144.18 consider the scalar cosmological equations, generalizing the equations of the theory of a homogeneous universe. Using the scalar equations, we obtain the laws of transformations of the mean curvature of the space and of the
density of the substance under transformations of the volume
of the element. We also make some preparations in consideration of possible kinds of evolution of the volume under transformations of an arbitrary time coordinate. Let us mention
of those results that: (1) anisotropy of the space curvature
does not act directly on the evolution of the isotropic characteristic of the element; (2) the mass and energy of the
element remain unchanged (as for a homogeneous universe
when = 0); (3) the mean curvature of the space can change
sign, if the anisotropy factors are present in the space; (4) the
mean curvature (taken in an element) undergoes changes due
to the space deformations, just as in homogeneous universe,
if the element of an inhomogeneous universe is isotropic.
E.
F.
61
For this reason, only the kinds M and O are possible under McCreas suppo1
1
sitions (see 1.15).
Chapter 2
2.1
Reference frames
The general transformations of coordinates of a system S into coordinates of any other system S 0
x 0 = x 0 (x0 , x1 , x2 , x3 ) ,
= 0, 1, 2, 3
(1.1)
x0 = x0 (x0 , x1 , x2 , x3 )
0
xi = xi (x0 , x1 , x2 , x3 ) ,
i = 1, 2, 3
(1.2)
dxi =
xi
dxj
xj
(1.5)
and also
dxj = 0 ,
In
(1.6)
63
so we obtain
dxi = 0 .
(1.7)
xj 0 0 xj i 0
dx +
0 dx .
x0 0
xi
(1.8)
(1.9)
We distinguish the term reference frame from the term coordinate frame. We will say that coordinate frames S and S 0 are
of the same reference frame, if the conditions (1.3) and (1.9) are
true for them. Besides this, the systems S and S 0 are of the same
reference frame, because
00
xk
0.
x0 0
(1.10)
00
00
xk x0
xk xj
xk
=
+
,
0
0
x0 x0
x0
xj x0
(1.3) and (1.10) give
00
xk
0,
x0
(1.11)
(1.12)
Let us take any reference frame and operate only with transformations (1.4).We can modify them with the system of transformations:
64
(1) where the spatial coordinates change but the time coordinate
remains unchanged
)
0
0
x 0 = x0
,
(1.13)
0
0
xi = xi (x1 , x2 , x3 )
and (2) where the time coordinate changes but the spatial coordinates remain unchanged
)
0
0
x0 = x0 (x0 , x1 , x2 , x3 )
.
(1.14)
0
0
x i = xi
Let us suppose that we have a relation which is true in this reference frame. For its form to remain unchanged under any pointtransformations of the four coordinates inside the reference frame
it is a necessary and sufficient condition that the relation must
retain its form, first, under the transformations (1.13) and second,
under the transformations (1.14). So the relation must retain its
form under the transformations
0
xi = xi (x1 , x2 , x3 ) ,
(1.15)
(1.16)
x0 = x0 (x0 , x1 , x2 , x3 ) .
2.2
65
(1 + t) = t0 + rt1 +
(2.2)
g 00 = g 00 ,
0
g0i
= g0j
g 0i = g 0j
xj
0 ,
xi
0
xi
,
xj
0
gik
= gjl
xj xl
0
0 ,
xi xk
g ik = g jl
(2.3)
xi xk
.
xj xl
(2.4)
0 =
x x x
2 x x
+
g
,
x 0 x 0 x 0
x 0 x 0 x 0
(2.5)
2 x x 0
x x x 0
+
x 0 x 0 x
x 0 x 0 x
(2.6)
= 00,0 ,
0
0i,0
xj
= 0j,0
0 ,
xi
xj
= 00,j
0 ,
xi
xj xl
0
0i,k
= 0j,l
0
0
xi xk
0
00,i
(2.7)
Compare formula (2.6) with (33) of [62], p. 412. Formula (2.5) can be obtained
from (2.6) without problems.
66
000 0
k0i 0
=
=
000
l0j
i000
k0
xj x
,
0
xi xl
i0
j x
00 j
0ik 0
00i 0
0jl
00j
xj xl
0
0
xi xk
xj
0 ,
xi
.
(2.8)
w
> 0.
c2
(2.11)
THEOREM We assume that A00...0 is the component of a worldtensor, all superscripts of which are significant, while all m subscripts are zero. Next, we assume that B00...0 is the time component
As you can see, the prefix co here and below has a different sense to that in
Weyls geometry (for instance, see [7], p. 380).
We call this theorem Zelmanovs theorem. Editors comment. D. R.
67
The potentials
a = const ,
= 0, 1, 2, 3,
(4.1)
A0 = p
(g00 )a
(
g00 )a
A = const ,
(4.2)
h
i
(g0i )a = (
g00 )a Ai + (
g0i )a A0 ,
1
Ai = p
(
g00 )a
"p
p
(g0i )a
(g00 )a
(
g0i )a
(
g00 )a
(4.3)
(4.4)
We denote the transformed quantities by a tilde, while the symbol a marks the
same quantities at the world-point (4.1).
68
(
vi )a (vi )a
.
Ai =
(e
w )a
c 1 2
c
(4.5)
Chr.inv.-differentiation
,
x0
,
xi
(5.1)
are, generally speaking, non-invariant with respect of the transformations (1.14). In fact, we have
x0
=
,
0
0 6=
x0
x0 x0
x0
(5.2)
x0
=
+
.
0
0 6=
i
0
i
i
x
x x
xi
x
(5.3)
2.5 Chr.inv.-differentiation
ordinate
69
x0 = x0 (
x0 , x
1 , x
2 , x
3 )
xi = x
i
(5.4)
(
g0i )a = 0 .
(5.5)
Hence we have
(g00 )a
x0
x
0
2
= 1,
(g00 )a
x0
x
i
+ (g0i )a = 0 .
(5.6)
x
=
,
(5.7)
x
0 a
x0 a x
0 a
x
i
xi
x0
a
x0
x
i
therefore
p
=
,
x
0 a
(g00 )a x0 a
(g0i )a
.
x
i a
xi a (g00 )a x0 a
(5.8)
(5.9)
(5.10)
(5.11)
,
x0
g00 x0
(5.12)
g0i
i
i
g00 x0
x
x
(5.13)
70
1
x0
1
=p 0
,
00
2 x0 0 x0
x
0
g
0
00
x
0
g00
x0
p
=s
g00 x0
(5.14)
g0i
g0i
x0
= i
=
+ 00
0
i
0
0
g00 g00 x
x g00 x
x
xi x xi
00
0 x
0
g
+ g0i
0
00
g0
x0
1
x0
s
p 0
=
00i 0 0 .
0
0
0
0
i
x
g00 x
x
0 2
g00 x
x0
0
g00
0
x
(5.15)
dx
dx
=
=
=
,
(5.16)
ds
x
x0 ds
g00 x0
ds
xi =const
xi =const
xi =const
xi
.
xi
(5.17)
g0i =0
Let us give other formulae expressing the operators of chr.inv.differentiation. It is evident that
c2
= 2
,
0
c w x0
x
(5.18)
c vi
=
+ 2
.
c w x0
xi
xi
(5.19)
If we introduce
w
,
c
=
+
.
c v0 x0
x
x
t=
then we have
x0
,
c
c2
= 2
,
c w t
t
71
(5.20)
(5.21)
(5.22)
(5.23)
vi
=
+ 2
.
c w t
xi
xi
(5.24)
Q0 = Q ,
(5.25)
Q0
Q
=
,
x
x 0
(5.26)
(6.2)
72
=
=
i
i
i
x t t x
x
t
t xi
c2
vi
c2
=
+
c2 w t c2 w t
xi c2 w t
c2
c2
vi
2
2
=
c w t xi
c w t c2 w t
2
=
+
2
c2 vi w
c2
w
c2
+
+
+
(c2 w)2 xi t c2 w xi t (c2 w)3 t t
c2
c2
2
c 2 vi
2
vi
2
2
2
2
i
w) t
c w t x
(c w)2 t t
(c2
2
c2 v i
c2 vi w
=
2
3
2
w) t t
(c w) t2
1
vi
vi
c2
w
w
= 2
,
= 2
c w xi
(c w)2 xi
t t
t t
(c2
=
i
k
k
i
i
k
k
x x
x x
x x
x
xi
2
2
vk
vi
=
+
+
+ 2
i
k
i
2
x x
c w t xk
x c w t
vi
vi
2
vk
+ 2
k i k 2
c w t c2 w t
x x
x c w t
vk
2
vk
1 vk
vi
2
= 2
+
i
2
2
c w t x
c w t c w t
c w xi t
2
2
vi
w
vk
vk
+
+
+ 2
+
(c w)2 xi t c2 w xi t c2 w t xk
2
vi
vk
2
vi vk w
vi v k
+
+
(c2 w)2 t t (c2 w)3 t t (c2 w)2 t2
c2
vk
2
vk
vi
vk vi w
2
c2 w t xi
(c w)2 t t (c2 w)3 t t
vi
2
1
w
vi
vi
2
2
k
2
k
w x t (c w) x t c w xk t
(6.3)
+ 2
2
2
2
2
i
k
c w x
(c w) t
x
(c w)2
vi
vi
vk
w
w
=
xi
t
t
(c w)2 xk
t
vk
vk
vi
vi
vi
w
=
k + 2
i
i
x
x
c w x
t
c w
1
vk
w
.
xk
c2 t
t
73
(6.4)
1
2
c2
c2 w
vi
vk
k
xi
x
w
vi
i
t
x
+
(6.5)
1
(Fi vk Fk vi ) ,
2c2
(6.6)
1
= 2 Fi ,
i
i
c
t
x t t x
2
2
k i = 2 Aik .
i
k
c
t
x x
x x
2
(6.7)
(6.8)
,
xi t t xi
c2
t
2
2
Q
Q
2
Q
.
=
A
ik
xi xk
xk xi
c2
t
2
(6.9)
(6.10)
Q
and the quantities Fi and Aik , respectively. Hence, Fi and Aik
t
are chr.inv.-quantities as well. Because they contain the potentials
w and vi , we will refer to them as the power quantities the
power vector Fi and the power tensor Aik .
74
2.7
w0 = 0
(7.1)
is true everywhere inside a four-dimensional volume in a coordinate system S 0 . Then, in another coordinate frame S of the same
reference frame, we have
0 0 2
x
= 1.
(7.2)
g00
x0
The inverse is also true: formula (7.1) is a consequence of (7.2).
Thus, we can always set the scalar potential to zero throughout
the given four-dimensional volume, if we introduce a new time
0
coordinate x0 in accordance with the condition (7.2).
Setting the power vector to zero in the given four-dimensional
volume in the given reference frame is the necessary and sufficient
condition for making the scalar potential and the derivative from
the vector potential with respect to time, zero (throughout the
volume).
Really, if we have
w 0,
vi
0
t
(7.3)
(7.4)
(7.6)
75
g00 = g00
,
g
=
g
,
0i
00
x0
x0 xi
thus
x
0
c2 w
c vi
x
0
,
.
=
= 2
0
2
i
x
e
x
c w
e
c w
On the other hand
d
x0 =
x
0 0 x
0 i
dx
+
dx .
x0
xi
(7.7)
(7.8)
(7.9)
t=
in the alternative form
dt =
x0
,
c
x
0
t =
,
c
(7.10)
(7.11)
(7.12)
(7.13)
(7.14)
can be totally integrable under the necessary and sufficient conditions (any three of the four equations below can be accepted as the
conditions ),
Q P
N Q
P N
N
+P
+Q
0
x y
y u
u x
R Q
N R
Q N
,
(7.15)
N
+Q
+R
0
y z
z u
u y
N P
R N
P R
+R
+P
0
N
z x
x u
u z
The
76
P
R Q
P R
Q P
+Q
+R
0.
y z
z x
x y
(7.16)
Assuming
N = (c2 w) ,
u = t,
P = v1 ,
x = x1 ,
Q = v2 ,
y = x2 ,
R = v3 ,
(7.17)
z = x3
(7.18)
(7.19)
(7.20)
(8.1)
x0 )2 d 2 ,
ds2 = (d
(8.2)
d 2 =
gik dxi dxk
(8.3)
is, evidently, the square of a spatial linear element. Let us transform (8.3) to an arbitrary time coordinate x0 . At the world-point
77
x0 x0
x0
+
g
=0
0i
x
0 x
i
x
0
g00
x0 x0
x0
x0
+
g
+
g
+ gik = gik
0i
0k
x
i x
k
x
k
x
i
0
0
0
Eliminating x0 , x i , xk from (8.4), we obtain
x
x
x
g0i g0k
.
gik = gik
g00
(8.4)
(8.5)
(8.6)
g0i g0k
,
g00
(8.7)
(8.8)
where we have
vi v k
.
(8.9)
c2
Formula (8.5) shows that hik must be invariant with respect to
the transformations (1.14). We can also see this fact directly, thus
gik = hik +
hik = gik +
g0i g0k
=
g00
0
00
00
x0
0 x
0 x
0
=
+ g0i k + g0k
+ gik +
x x0
x
xi
00
00
00
00
00
00
0 x x
0 x
0 x x
0 x
g00
+
g
g
+
g
00
0i
0k
x0 x0
x0
x0 x0
x0
+
=
2
0
x0
0
g00
x0
00
0 x
g00
0
This equation can also be obtained from other considerations for instance,
see [64], p. 200201.
78
00
0 x
g00
i
0
0
x0
0 x
0 x
0
=
g0i
g0k
gik
+
k
k
x x
x
xi
"
00 00
00 2
1
x x
0 x
+
+
0 0 2 g00 0
x
xi xk
x
0
g00
x0
0 0 2 0 0
0 0 2 0 0
x
x
x
x
0
0
0
0
+ g00
g0i
+
g
g
+
00 0k
x0 xk
x0
xi
0 0 2 0 0 0 0 #
0 0
x x
g0k
g0i
x
0 0
0
=
g
+ g0i g0k
+
= h0ik .
ik
0
0
i
k
x
x x
g00
(8.10)
(8.11)
0
g13
g23
g33
(8.12)
are different only in their signs, then their adjuncts, derived from
the matrix elements with the same indices i, k = 1, 2, 3, are equal.
So we have
g ik .
hik =
(8.13)
(8.14)
(8.15)
79
and also that the quantities g and hik equal to the adjuncts of
the determinants of g (3.16) and hik (3.17), multiplied by g or h,
respectively. Then, because of (8.14), we have
g00 =
g
,
h
w
h,
g = 1 2
c
(8.18)
(8.19)
(8.20)
and the square of the length of the vector-potential itself (the coinvariant)
(8.21)
vi v i = hik v i v k = hik vi vk .
Because of
g00 g 0i + g0j g ji = g0i = 0 ,
(8.22)
(8.23)
we have
g 0i =
An
vi
,
1 w2 c
c
1
(8.24)
80
g 00 =
vj v j
c2
.
(8.25)
2
1 w2
c
It is also possible to introduce operations of general covariant
differentiation. The operations are non-invariant with respect to
the transformations of the time coordinate. For this reason we will
introduce chr.inv.-differentiation, which, being the generalization
of general covariant differentiation, is invariant with respect to
the aforementioned transformations of time. In this process we
will need to differentiate hik , hik , and h with respect to the time
coordinate. Therefore, we will first clarify the kinematic sense of
those quantities, which are derived from this differentiation. The
first such quantity is chr.inv.-velocity, which will be introduced in
the next section.
2.9
We assume that a point-mass moves with respect to a given reference frame. The vector of its velocity with respect to this reference
frame is
dxi
dxi
ui =
(9.1)
=c 0
dt
dx
which, as it is easy to see, is a co-vector. Let us take a world-point
on the world-line of this particle. Applying the necessary choice of
time coordinate x
0 , we set the potentials to zero at the point. Next,
we transform the velocity co-vector
u
i = c
dxi
,
d
x0
(9.2)
g00 =
,
g
=
,
(9.4)
0i
x0
x0 xi
we have
g0j
d
x0 = g00 dx0 + dxj ,
(9.5)
g00
dxi
1
dxi
=
,
j
0
0
g
d
x
g00 + 0j dx0 dx
g00 dx
(9.6)
c2
c2 ui
.
w vj u j
81
(9.7)
x0 x 0
x0 x0
x0
=
=
=1
0
0
0
x0
x 0 x0
x
x
,
(9.8)
0
x0
x0 x 0
x0 x0
x0
=
=
+
0 =0
xj
x 0 xj
x0 0 xj
xj
0 2
x0 x0
x0
x
0
0
,
g
=
g
+
g
,
(9.9)
g00 = g00
00
0j
0j
x0 0
x0 0 xj 0
x0 0
we obtain
p 0
0
0
g00 dxi
1
dxi
=
=
0
0
0 0 + g 0 dxj 0
p 0
j 0 dx0 0
g0j
g
dx
dx
00
0j
g00 + p 0
g00 dx0
s
2
0
x
dxi
g00
0
x0
=
=
2
0
00
00
0
0
0
g00 x0 0 x 0 dx0 + x j dxj + g00 x0 0 xj 0 +g0j x0 0 dxj
x
x
x
x x
x
g00 dxi
=
=
0
00
0
00
0
x
x
x
x
x
0
j
j
g00 0 0
dx + g00
+ j 0 dx + g0j dx
0
x x0
x0 xj
x
i
g00 dx
1
dxi
(9.10)
=
=
.
j dx0
g
g00 dx0 + g0j dxj
0j
dx
g00 +
g00 dx0
Hence, we can introduce the chr.inv.-velocity vector, in brief
the chr.inv.-velocity
c2 ui
i
u 2
.
(9.11)
c w vj u j
The chr.inv.-velocity can also be introduced from other considerations. Let us introduce the covariant differential of time
dx0 = g0 dx = g00 dx0 + g0j dxj .
This
(9.12)
82
dx
Because 0 is a chr.inv.-invariant (see 2.3), the quantity
g00
g00 dxi
dxi
g00
=
(9.13)
dx0
g00 dx0 + g0j dxj
is a chr.inv.-vector: the chr.inv.-velocity we have introduced, divided by c.
2.10
(10.1)
ul
ul
+ hil k + (il,k + kl,i ) ul ,
i
x
x
(10.2)
where pl,q are three-dimensional Christoffel symbols (the subsymbols) of the 1st kind
1 hpq
hlq
hpl
+
.
(10.3)
pl,q =
2 xl
xp
xq
This sub-tensor of the deformation rates, as is easy to see, is
a co-tensor. However, we can introduce the chr.inv.-tensor of the
deformation rates ik , replacing the co-velocity with the chr.inv.velocity, and also co-differentiation with chr.inv.-differentiation,
respectively. So we have
2 ik = hkl
l
ul
u
+ hil
+ ( il,k + kl,i ) ul ,
i
x
xk
where we denote
pl,q
1
=
2
hpq
hlq
hpl
+
l
p
x
x
xq
(10.4)
(10.5)
83
u 0
(10.6)
ik = Dik .
(10.7)
2Dik
ul 0 ,
2
(10.8)
l
u
c
u
= 2
,
s
x
c w xs
ul
ul
c2
= 2
hkl i + hil k .
c w
x
x
(10.9)
(10.10)
w
e = 0,
(10.12)
u
l u
l
+
h
.
(10.13)
il
x
i
x
k
On the other hand, we can write the co-tensor of the deformation rates under the condition ul 0 (10.8), in general, as follows
kl
e ik = h
2D
2ik = hkl
and so we have
2.11
ul
ul
+
h
,
il
xi
xk
e ik =
e ik .
D
(10.14)
(10.15)
Deformations of a space
84
where pq,j are finite (as it easy to see, we can assume pq,j
symmetric with respect to its indices p and q). Generally speaking,
hik are functions of t (the space undergoes deformations), so the
geodesic distances between the given points in the space and the
point a change with time. Let us also introduce an auxiliary reference frame, defining it by the conditions: (1) this auxiliary system
is fixed with respect to the initial reference frame of the point a in
such a way that if ui is the chr.inv.-velocity of the auxiliary system
with respect to the initial system (the ui is measured in the initial
system), then at the point a we have
i
u 0;
(11.3)
2
= 0.
t
(11.4)
suppose that the derivatives we are considering exist and are finite.
85
where
dxi
(11.6)
dt
is the velocity of the space (measured at the point xi in the reference frame), which is locally-stationary at the point a with respect
to the space. Introducing
ui =
pq =
c2 pq,j j
(hpq )a
pq,j j
+
(x aj ) + 2
u ,
t
t
c w
pq = 2c2
(11.7)
(11.8)
(11.9)
+ 2ik + i k up (xq aq )+
+
x x
xk xi
xi xk
(11.10)
2 up
iq kq
q
(xq aq )+pq i k (xq aq )+
u
+
+
x x
xk
xi
uq
uq
+ iq k +kq i = 0 .
x
x
At the point a, taking the first of the equalities (11.3) into
account, we have
ui = 0 ,
(11.11)
then
q
q
u
u
+ (kq )a
= 0.
(11.12)
2 (ik )a + (iq )a
xk a
xi a
In other words, because
(ik )a =
(ik )a = 2
(hik )a
,
t
(11.13)
c2 (hik )a
,
c2 (w)a
(11.14)
86
we have
q
q
(hik )a
u
u
c2
(hkq )a
=0
+ (hiq )a
+ 2
i
t
c (w)a
x a
xk a
(11.15)
(hik )a
c2
uq
uq
hkq i + hiq k
.
= 2
t
c w
x
x
a
(11.16)
2 ik = hkq
+
h
+ ( iq,k + kq,i ) u
q ,
(11.17)
iq
xi
xk
where u
q is the chr.inv.-velocity of the space (measured in the
reference frame) with respect to the locally stationary space at the
point a. It is evident that
q
u
= uq ,
(11.18)
2 ( ik )a = 2Dik = 2
.
(11.20)
hkq i + hiq k
c w
x
x
a
We have thus obtained the chr.inv.-tensor of the deformation rates of the space at the point a with respect to the locally-stationary
space at the point a. Comparing (11.20) and (11.16), we obtain
(hik )a
(11.21)
= 2 (Dik )a .
t
Because the point a is arbitrary, we can, in general, write
hik
(11.22)
= 2Dik .
t
Zelmanov called equation (11.22) the theorem on the space deformations,
see 2.13. Editors comment. D. R.
87
Thus, at any point of the space, the chr.inv.-derivative of the covariant chr.inv.-metric tensor with respect to time is twice the covariant chr.inv.-tensor of the deformation rates of this space (with
respect to the locally-stationary space at this point).
ik
Let us consider h . Because
t
hij hjk = hki = ik ,
we have
hij
(11.23)
hjk
hij jk
=
h ,
t
t
(11.24)
hjk
= 2Dik .
t
(11.25)
hik
= 2Dik .
t
(11.26)
h11 2D12 h13 h11 h12 2D13
+ h21 2D22 h23 + h21 h22 2D23 =
h31 2D32 h33 h31 h32 2D33
= 2h Di1 hi1 + Di2 hi2 + Di3 hi3 = 2hhik Dik .
(11.27)
we obtain
(11.28)
1 h
= 2D .
h t
(11.29)
88
(L1a )
1 h11
D11
=
a x 1 =
a x 1 ,
t
2 h11 t
h11
(12.2)
1 (L1a )
D11
=
.
1
La
t
h11
(12.3)
23
ab
v
u
u h22 h23
t
=
h32 h33
x2 x 3
a
a
=
b x1 b x2
23
ab
,
i
i
i
i
a x = consta , b x = constb
(12.4)
89
then we have
23
Sab
1
h 11
h11 23
ab =
=
h +h
t
t
t
2 hh11
Dhh11 hD11 23
=
ab ,
hh11
23
D11
1 Sab
= D 11 .
23
t
h
S
(12.5)
(12.6)
ab
11
123
abc
Because
123
h abc
a x 1 a x 2 a x 3
= b x 1 b x 2 b x 3
c x 1 c x 2 c x 3
a xi = constia
b xi = constib
c xi = constic
(Vabc )
1 h 123 hD 123
abc = abc ,
=
t
2 h t
h
(12.7)
(12.8)
1 (Vabc )
= D.
Vabc
t
(12.9)
We will use two species of Christoffel symbols of the 1st kind, see
(10.3) and (10.5); the co-symbols
hjk
hij
1 hik
+
(13.1)
ij,k =
xi
xk
2 xj
90
1 hik
hjk
hij
ij,k =
+
.
2
xj
xi
xk
(13.2)
(13.3)
= hkl ij,l .
(13.4)
Let us find formulae for the Christoffel chr.inv.-symbols, employing the theorem on the space deformations (11.22). Because
vj
,
=
+
xj
xj
c2 t
(13.5)
hik
hik
2
=
+ 2 Dik vj .
xj
xj
c
(13.6)
we have
Therefore, we obtain
1
(Dik vj + Djk vi Dij vk ) ,
c2
1
k
ij = kij + 2 Dik vj + Djk vi Dij v k .
c
ij,k = ij,k +
(13.7)
(13.8)
It is necessary to highlight various properties of the chr.inv.Christoffel symbols corresponding to the analogous properties of
the co-symbols. The first of these is their symmetry
ij,k = ji,k ,
k
ij
= kji .
(13.9)
(13.10)
ij,k + kj,i =
hik
.
xj
Finally, because
lnh v
1 j
i
j
j
j
ij + 2 Di vj + Dj vi Dij v =
+ 2 D,
c
xi
c
and taking (13.8) and (13.5) into account, we obtain
ln h
j
ij =
.
xi
(13.11)
(13.12)
(13.13)
91
i Qk =
Qk l
ik Ql ,
dxi
(14.1)
Qk k l
+ il Q ,
dxi
(14.2)
Qjk l
ij Qlk lik Qjl ,
dxi
(14.3)
i Qk =
i Qjk =
Qkj
lij Qkl + kil Qlj ,
(14.4)
dxi
Q jk j lk k jl
i Q jk =
+ il Q + il Q ,
(14.5)
dxi
and so forth. In general, chr.inv.-derivative notation is different to
regular covariant derivative notation merely by an asterisk before
their and Christoffel symbols.
It is clear that the chr.inv.-derivative of a sub-tensor quantity
will be a chr.inv.-quantity if the differentiated sub-tensor is also a
chr.inv.-quantity.
Zelmanov
i Qkj =
92
Regular divergence can be defined as a covariant derivative contracted with one of the upper indices of the differentiated quantity.
For this reason we will refer to the quantity, obtained from chr.inv.differentiation in this way, as chr.inv.-divergence. For instance,
Qi
ln h i
i
i Q =
+
Q,
(14.6)
xi
xi
1 h Qi
i
i Q =
,
(14.7)
xi
h
Qij l i ln h i
i
i Qj =
ij Ql +
Qj ,
(14.8)
xi
xi
Q ji j il ln h ji
ji
i Q =
+ il Q +
Q .
(14.9)
xi
xi
In relation to chr.inv.-differentiation, the metric sub-tensors are
the same as for regular covariant differentiation. Really,
j hik =
hik l
hik
ji hlk ljk hil =
ji,k jk,i (14.10)
j
x
xj
We therefore have
j hki =
j hik = 0 .
hki
lji hkl + kjl hli = kji + kji ,
xj
(14.11)
(14.12)
j hki = 0 .
(14.13)
(14.14)
Finally, because
hqi j hqk = 0
(14.15)
hiq j hqk = 0 .
(14.16)
(14.17)
93
j hik = 0 .
(14.18)
So the operation of chr.inv.-differentiation, as well as the operation of regular covariant differentiation, is commutative with respect to the raising, lowering, or substitution of indices.
We can accordingly re-write formula (10.4) as follows
2 ik = hkl i ul + hil k ul
(14.19)
(14.20)
Let us denote
pq = p ( q ) .
(15.1)
ij Qk ji Qk = i ( j Qk ) j ( i Qk ) =
( j Qk ) lij ( l Qk ) lik ( j Ql )
xi
j ( i Qk ) + lji ( l Qk ) + ljk ( i Ql ) =
x
Qk l
Qk l
Q
=
jk l
ik l
xi xj
xj xi
Ql m
Ql m
l
lik
Q
+
Q
=
m
m
jl
jk
il
xj
xi
2
l
2
l
jk
Qk
Qk
ik
j i
Ql
=
xi xj
x x
xi
xj
=
94
Ql l Ql
Ql l Ql
l
ik
ik
jk
xi
xj
xj
xi
2
Qk
l m
+ lik m
+
jl jk il Qm = 2 Aij
t
c
l
l
jk m l
ik
m l
+
ik
jm
jk
im Ql .
xj
xi
l
jk
(15.2)
ij Qk ji Qk = i j Qk j
i Qk =
j Qk lij l Qk + kil j Ql
i
x
j i Ql + lji l Qk kjl i Ql =
x
k
Qk k l
Q
k l
=
+ jl Q j
+ il Q +
xi
xi xj
x
l
l
Q l
Q l
k
m
k
m
+ il
jl
=
+ jm Q
+ im Q
xj
xi
2 k
k
2 k
k
jl
Q
Q
il
=
Ql +
xi xj
xj xi
xi
xj
l
l
Ql k Ql
k Q
k Q
+ kjl
+
+
il
il
jl
xi
xj
xj
xi
2
Qk
+ kil ljm kjl lim Qm = 2 Aij
t
c
k
k
jl
il
m k
m k
+ il jm jl im Ql .
xj
xi
=
(15.3)
l
jk m l
lik
l
+ ik jm m
jk im ,
j
x
xi
(15.4)
we can write
ij Qk ji Qk =
2
Qk
l
A
Ql ,
+ Hkji
ij
2
c
t
(15.5)
ij Qk ji Qk =
2
Qk
k l
Aij
Q.
Hlji
2
t
c
(15.6)
95
+ m
(15.7)
ik jm jk im ,
xj
xi
l
the chr.inv.-Riemann-Christoffel mixed
as a base, we call Hkji
tensor. Lowering the upper index and using (13.11)
l
hnl Hkji
= hnl
ik,n
jk,n
+
nj,l
lj,n
ik
xj
xi
+ ( ni,l +
=
lik ljk m l
m l
+ ik jm jk im =
xj
xi
li,n ) ljk
m
ik jm,n
m
jk im,n
(15.8)
=
ik,n
jk,n
we obtain, after rearrangement of its dummy indices, the chr.inv.Riemann-Christoffel covariant tensor
Hkjin =
ik,n
jk,n
(15.9)
the structure of which has the relationship to the Riemann-Christoffel covariant co-tensor
Kkjin =
ik,n
jk,n
(15.10)
=
xj
xi
xj
xi
Sites of different indices in the Riemann-Christoffel tensor, and also their
meanings, are different in various publications, because of different notation for
the Riemann-Christoffel tensor (for instance, see [8], p. 91 and [7], p. 130). We are
following Eddington here.
96
( jk,n + jn,k ) =
ik,n
in,k
j
x
xi
2
2
hkn
hkn
2
hkn
4
=
=
A
= 2 Aji Dkn ,
ji
c2
c
xj xi
xi xj
t
we have
1
2
(Hkjin + Hnjik ) = 2 Aji Dkn ,
2
c
and also
(15.11)
(15.12)
1
(Hkjin + Hkijn ) = 0 .
(15.13)
2
Thus, the chr.inv.-tensor Hkjin as well as Kkjin is antisymmetric
with respect to the inner pair of indices and, in contrast to Kkjin ,
generally speaking, is antisymmetric with respect to the outer pair
of indices. It is possible to show that Hkjin has, generally speaking,
no other symmetric properties that are typical for Kkjin . However,
to set one of the tensors Aik or Dik to zero will be sufficient for
obtaining the tensor Hkjin by the symmetric properties.
We will refer to the chr.inv.-tensor of the 2nd rank
l
Hkj = Hkjl
= Hkjin hin ,
(15.14)
obtained as a result of the contraction of the chr.inv.-RiemannChristoffel tensor by the second pair of indices, as Einsteins
chr.inv.-tensor. Because of (15.4), we have
Hkj =
l
kj m l
lkl
l
+ kl jm m
kj ml ,
xj
xl
(15.15)
2
lkj m l
ln h l ln h
=
+ kl jm +
kj
,
xj xk
xl
xl
(15.16)
lkj
lkl
l
m l
+ m
kl jm kj ml ,
xj
xl
lkj
2 ln h
m l
l ln h
=
+ kl jm +
kj
,
xl
xj xk
xl
Kkj =
Kkj
(15.17)
(15.18)
(15.19)
2.16 Chr.inv.-rotor
97
2
ln h 2 ln h
2
= 2 Ajk D ,
(15.20)
j
k
k
j
x x
x x
c
so we have
1
1
(Hkj Hjk ) = 2 Ajk D .
2
c
(15.21)
(15.22)
Chr.inv.-rotor
Let us introduce by analogy with regular three-dimensional calculus, the contravariant sub-tensor of the 3rd rank ijk , which is
completely defined by its component
1
123 =
h
(16.1)
and its antisymmetry with respect to any pair of its indices. We also
introduce the covariant sub-tensor ijk . The sub-tensor ijk has the
same symmetric properties (for instance, see [8], p. 78), and
123 = h .
(16.2)
p q
pqk ijk = hi hj hj hi ,
(16.3)
p ijk = 0 .
(16.4)
98
(16.5)
1 , x
2 , x
3 , which set the
Actually, considering coordinates x
0 , x
potentials to zero at the world-point we are considering, we have
e
ep ijk
p ijk =
(16.6)
p ijk = 0 .
(16.7)
1 ijk
aij ,
2
(16.8)
k =
1
ijk bij .
2
(16.9)
1 ijk
pqk aij ,
2
(16.10)
pqk k =
1 pqk
ijk bij ,
2
(16.11)
(16.12)
2.16 Chr.inv.-rotor
99
b pq = pqk k .
(16.13)
It is evident that if the sub-vectors k and k are mutually conjuncted, then the sub-tensors apq and b pq are mutually conjuncted
as well. If k and k are chr.inv.-vectors, then apq and b pq are
chr.inv.-tensors. It is clear that formulae (16.816.9) and (16.12
16.13) set the unique mutual link between sub-vectors and antisymmetric dual sub-tensors of the 2nd rank.
The regular definition of the rotor (vortex) rp of a vector k is
rp () = qkp q k .
(16.14)
r () = qkp q k .
(16.15)
It is evident that the operation of building chr.inv.-rotors is invariant with respect to transformations of the time coordinate. This
operation coincides with the operation of building regular co-rotors
when the potentials are set to zero at the world-point we are considering. It is also evident that the chr.inv.-rotor of a chr.inv.-vector
is a chr.inv.-vector.
Let us introduce the antisymmetric tensor of the 2nd rank aij
dual to the vector k . So we have
1
ijk aij .
2
Substituting (16.16) into (16.15), we have
k =
1 qkp
1
ijk q aij + qkp aij q ijk =
2
2
1 qkp
1
= ijk q aij = qpk ijk q aij =
2
2
1 q p
1
q p
= hi hj hj hi q aij = i aip j apj ,
2
2
and so
p
r () = j apj ,
(16.16)
r () =
(16.17)
(16.18)
qkp q k = j apj .
(16.19)
In general, the vortex of a vector is antisymmetric tensor of the 2nd rank. However, in the particular case of three-dimensional space, the vortex can be assumed
the vector dual to the tensor. We also use this representation here (see [8], p. 7980).
100
1 k
r (u)
2
(17.1)
aij =
1
(i uj j ui ) ,
2
(17.3)
and so we have
1 ijk
(17.4)
aij .
2
It easy to see that the sub-vector (17.2) and the sub-tensor
(17.3) are co-vector and co-tensor, respectively. At the same time,
we can introduce the chr.inv.-vector of the angular velocities k
and its chr.inv.-dual tensor aij , by replacing this co-vector with the
chr.inv.-vector and co-differentiation with chr.inv.-differentiation
in the equations (17.2) and (17.3)
k =
1 k
r ( u) ,
2
(17.5)
1 ijk
i uj ,
2
(17.6)
1
( i uj j ui ) ,
2
(17.7)
aij =
so we arrive at
1 ijk
aij .
(17.8)
2
Taking the chr.inv.-rotor from the chr.inv.-vector of the angular
velocities, because of (16.18) or (16.19), we obtain
k
r ( ) = j aij ,
(17.9)
101
where
ij
a =
1 il j
h l u hjl l ui .
2
(17.10)
(17.11)
jl
2 c2 w
xi
k =
1 ijk ul
hjl i .
x
2
(17.13)
ek =
ek.
(17.14)
r ( ) = Ri ( ) .
(17.15)
2.18
j aij =
1 il j
h jl u hjl jl ui .
2
(18.1)
jl ui = lj ui +
i
2
u
i n
Ajl
u
Hnlj
2
c
t
(18.2)
jl uj = lj uj +
j
2
u
A
Hnl un .
jl
2
t
c
(18.3)
j aij =
j
1 il j
1
u
1
Hni un
h lj u + 2 Ai
j
t
2
c
2
102
1 jl i
1
h lj u = l hil j uj hjl j ui +
2
2
j
1
u
1
+ 2 Ai
Hni un .
j
t
c
2
(18.4)
(18.5)
where
j uj = ,
(18.6)
j
= hik ik = hik ik = j .
(18.7)
Therefore we arrive at
j aij =
j
1
1
u
1
l hil il + ail + 2 Ai
Hni un ,
j
2
c
2
t
j
2
u
j aij = j hij ij + 2 Ai
Hji uj ,
j
t
c
or, in the alternative form
j
2
u
r ( ) = j hij ij + 2 Ai
Hji uj .
j
t
c
2.19
(18.8)
(18.9)
(18.10)
(19.1)
measured with respect to the reference frame that is locallystationary at this point. We can then write
ij
= ij ( t; x1 , x2 , x3 ; 1 , 2 , 3 ) ,
(19.2)
k = xk ak .
(19.3)
where
Let us suppose that for any numerical value of the time coordinate in the time interval we are considering, it is possible to find
103
ij
xk
ij
=
xk
0
(19.6)
ij
Therefore we have
ij
xk
= Dij .
Dij
.
xk
k ij 0 = k Dij .
(19.7)
(19.8)
(19.9)
(19.10)
j ij 0 = j Dij ,
j hij ij
= j hij D Dij .
0
The
(19.11)
(19.12)
(19.13)
104
and hence
i 0 ,
(19.14)
(19.15)
u 0
h
i
= j hij ij
,
0
h
i
Ri ( ) = j hij ij
.
j aij
ij
(19.16)
(19.17)
(19.18)
(19.19)
It is apparent from this algebra that the fact that the locallystationary reference frame at the point is not unique, does not
affect our conclusions. This result also holds in the case where the
locally-stationary system does not rotate at this point, with respect
to the space. In this case, at the point, we have
(19.20)
ij
(19.21)
k = 0 ,
a = 0.
2.20
105
(20.1)
eik = Aik .
A
(20.2)
It is evident that we can superimpose only 10 additional conditions on the 16 derivatives of the potentials. For this reason we
introduce 10 chr.inv.-quantities, which, being dependent on the
potentials and their first derivatives, can take any numerical values
at any given world-point as a result of the transformations of the
time coordinate. Since we have interest in the first derivatives of
the potentials, we can write
1
1
B + B
x
0 =
B
2
,
(20.3)
x
i = xi
(20.4)
(20.5)
=
,
x a
B
0
2x
B
=
,
x x
B
2x
0
x x
B
.
B
(20.6)
(20.7)
106
Because
g00 = g00
we have
c2 w
e =B
e
c2 w
x
0
x0
2
g0i =
c2 w
,
1+ B0
= B c2 w
g00
vi = vi +
,
x
0
+ g0i
xi
x
0
,
x0
Bi + Bi
1 2
c w
,
c
1 + B0
(
vi )a = (vi )a +
Bi 2
c w a .
c
(20.8)
(20.9)
(20.10)
Next, let us consider the chr.inv.-derivatives and the chr.inv.covariant derivatives of the potentials. First, this is
w
e
w
e
B
c2 w
BB00
=
=
+ c2
2 .
x
0
x0
1 + B0 c2 w x0
(1 + B0 )
Y =
and then we can write
Hence,
c2
w
,
2
2
(c w) x0
(Ye )a = (Y )a +
c2
2 B00
(c2 w)a
(20.11)
(20.12)
(20.13)
(20.14)
w
e
c vi w
e
w
e
w
e
B
w
=
=
+ 2
=
+
i
i
i
0
c w x
x
x
x
1 + B0 xi
(c2 w)BB0i
c vi
w
B
+
w (1 + B0 ) x0
(1 + B0
cvi BB00
c vi w
w
B
=
+
+
+
2
c2 w x0
1 + B0 xi
(1 + B0 )
(c2 w)B
c vi
+
2 B0i + c2 w B00 .
(1 + B0 )
+
2
)
c2
(20.15)
107
c2
c vi w
c2 c vi
e
w
e
e
e
= Fi + 2
+
+ c vi Y
c2 w
e x
e x
c w
e x
0
i c2 w
0
,
cvi w
c2 c vi
c2
w
+
= Fi + 2
+ cvi Y
c2 w xi c2 w x0
c w x0
we obtain
c2 c vi
e
e
+ c vi Y =
Fi + 2
c w
e x
0
a
c2 cvi
c vi
2
= Fi + 2
+ c vi Y + c
B00 + c2 B0i .
c w x0
c2 w a
(20.16)
(20.17)
vi
vi
c w
c2 vi
c2 vi
=
= 2
= 2
2
0
0
0
c w x0
x
x
c w x
c w x0
2
1 + B0
(1 + B0 )
(20.18)
we obtain
Fei +
2
w
e
c2 c vi
ei + c
=
F
2
0
2
c w
e x
c w
e x
i
2
2
c vi
w
c
c
= Fi + 2
2
0
c w x
c w xi
c2 w
c2 w
e
= Fi + 2
c2 w
e x
c w xi a
i a
c2 w
2
Bi + c2 B0i
+
c
B
00
c2 w x0 a
(20.19)
(20.20)
Y
=
Fei + 2
i
c w
e x
i
a
(20.21)
c2 w
c vi
2
2
= Fi + 2
+
c
v
Y
+
c
B
+
c
B
.
i
00
0i
c w xi
c2 w a
a
108
Y
=
i
c2 w
e x
x
0
c2 w
i
a
(20.22)
vi
cvi
w
2
+
c
+
2c
v
Y
+
2c
B
+
B
.
i
00
0i
x0
c2 w a
xi
a
We denote
vi
w
+
c
+ 2cvi Y ,
x0
xi
c vi
2
e
B00 + B0i .
i a = i a + 2c
c2 w a
i =
then
c2
2
c w
(20.23)
(20.24)
+
=
xi
c xi 1 + B0
+
cvi vk
vi w Bk + Bk
2
+
2
0
c w x
c w x0 1 + B0
+ vi
(1 + B0 )
1 2
Bl + Bl
,
lik vl
c w lik
1 + B0
c
(20.25)
ik l =
x
i
c2 w
e x
0
a
cvi vk l
(c2 w)a
vk
=
+
l
ik
xi
c2 w x0
c2
a
cvi w
c2
w
c vi
2
+
+
c
B00 +
(c2 w)a xi
c2 w x0 a
c2 w a
i
(c2 w)a h
Bk
2
+ c B0i
Bik lik a Bl .
+ (vi )a B0k +
c
c
(20.26)
vi
i
x
e
x
0
x
0
2 x
2c c w
c2
e lik vl = 1 vk + vi + 1
i
k
2
2
x
2 x
2c c w
a
(c2 w)a
c vk
c vi
l
+
v
vi
k
l
ik
x0
x0
2c2
a
(
cvi w
c2
w
c vi
2
+ 2
+c
B00 +
(c2 w)a xi
c w x0 a
c2 w a
c vk w
Bk
w
c2
2
+ c B0i
+ 2
+
+
c
(c2 w)a xk
c w x0 a
)
cvk
Bi
1h
2
2
+c
B
+
c
B
+
(vi )a B0k +
00
0k
c2 w a
c
2
i 1
i
h
+ (vk )a B0i +
c2 w a Bik lik a Bl .
c
Because of (20.10), (20.16), and (20.17), we have
cvi w
c2
w
(c2 w)a
+
+
2c2
(c2 w)a xi
c2 w x0 a
cvi
Bk
2
2
+c
B00 + c B0i
=
c2 w a
c
1
c2 c vi
vk )a Fei + 2
+
c
v
Y
+
= 2 (
i
2c
c w
e x
0
a
1
c2 c vi
+ 2 (vk )a Fi + 2
+ c vi Y +
2c
c w x0
a
1 cvi vk
1
+
B00 + (vk )a B0i ,
2 c2 w a
2
and so obtain
(
vi
1 vk
1
e i c vi Ye +
+ k + 2 vk
i
x
2 x
2c
)
(
vi
1 vk
e l
e
e
+ k +
+ vi k c vk Y ik vl =
x
2 xi
a
109
(20.27)
(20.28)
110
i l
1 h
v
c
v
Y
+
v
c
v
Y
ik vl
k
i
i
i
k
k
2c2
cvi vk
+ 2
B00 + (vk )a B0i + (vi )a B0k +
c w a
i
(c2 w)a h
+
Bik lik a Bl ,
c
+
2 x
2c
vi
1
1 vk
e l
e
vi vk Y ik vl =
+ k +
x
c
2 xi
a
1
1
+ 2 vk i + vi k vi vk Y lik vl +
2c
c
a
cvi vk
+ 2
B00 + (vk )a B0i + (vi )a B0k +
c w a
i
(c2 w)a h
+
Bik lik a Bl .
c
Denoting
Xik =
vi
1 vk
1
+
+ 2 vi k + v k i
i
k
x
2 x
2c
1
vi vk Y lik vl ,
c
we can write
c v i vk
e
Xik a = Xik a +
B00 + (vk )a B0i +
c2 w a
h
i
1
+ (vi )a B0k + (c2 w)a Bik lik a Bl .
c
(20.29)
(20.30)
(20.31)
(20.32)
No numerical values of w, vi , Y , i , and Xik at the worldpoint can prevent selection of the unique set of the coefficients
e i, X
eik any preassigned
B, Bi , B giving the quantities w
e , vi , Ye ,
numerical values. Indeed, let us assume that w
e has a numerical
value. Then the first of the equalities (20.10) gives B. Assuming vi ,
we obtain Bi from the second of the equalities (20.10). Assuming
Ye , we obtain B00 from (20.14). Assuming i , we obtain B0i from
111
(Hkjin Hnjik ) =
xj
xj
2
2
jk,n
jn,k
+
ik,l ljn + jk,l lin .
i
x
xi
Hkjin =
Because
1 ik,n
in,k
jk,n
jn,k
+
=
xj
xj
xi
xi
2
2
2
2
2
1
hkn
hin
hik
hnk
=
+
j
i
j
k
j
n
x x
x x
xj xi
4 x x
2
2
2
2
hik
hin
hkn
hjn
j n+ j k i j i k +
x x
x x
x x
x x
2
2
2
2
hjk
hnk
hjk
hjn
+ i n+ i j + i n i k =
x x
x x
x x
x x
2
2
2
2
1
hin
hjk
hik
hjn
+ i n j n i k ,
=
x x
x x
x x
2 xj xk
(21.1)
(21.2)
(21.3)
(21.4)
112
we have
2
1
1 2 hin
hjk
(Hkjin Hnjik ) =
+
j
k
2
2 x x
xi xn
2
2
hik
hjn
j n i k ik,l ljn + jk,l lin .
x x
x x
(21.5)
Taking that part of the Riemann-Christoffel chr.inv.-RiemannChristoffel tensor, which is antisymmetric with respect to its inner
indices and outer pairs, we select that part which is symmetric
with respect to rearrangements of the outer and inner pairs of the
indices. As a result, we have
1 1
1
1
Hkjin Hnjik =
Hkjin Hnjik + Hjkni Hiknj +
2
2 2
2
(21.6)
1 1
1
(Hkjin Hnjik ) (Hjkni Hiknj ) ,
+
2 2
2
and it is easy to see,
1 1
1
(Hkjin Hnjik ) (Hjkni Hiknj ) =
2 2
2
2
2
2
2
1
hin
hjk
hik
hjn
=
+ i n j n i k
j
k
x x
x x
x x
4 x x
2
2
2
2
hni
hkj
hnj
hki
k j n i+ k i+ n j =
x x
x x
x x
x x
1
= 2 (Ajk Din + Ain Djk Aik Djn Ajn Dik ) ,
c
1 1
1
(Hkjin Hnjik ) + (Hjkni Hiknj ) =
2 2
2
2
2
2
1
hin
hin
1 2 hjk
hjk
=
+
+
+
xk xj
xn xi
4 xj xk
4 xi xn
2
2
1 2 hik
hik
1 2 hjn
hjn
+
+
xn xj
xk xi
4 xj xn
4 xi xk
(21.7)
(21.8)
4 xi xn xn xi
4 xj xn xn xj
2
1 2 hjn
hjn
+
+ lin jk,l lik jn,l ,
4 xi xk
xk xi
113
(21.9)
we can write
1
2Aji Dkn + Ain Djk +
c2
+ Anj Dik + Ajk Din + Aki Djn .
Hkjin = Skjin +
(21.10)
(21.12)
Skjin = Snjik ,
(21.13)
Skjin = Sjkni ,
(21.14)
(21.15)
(21.16)
114
Because
Skjin =
1
2
1
1
(Hkjin Hnjik ) + (Hjkni Hiknj ) ,
2
2
(21.17)
1
1
(Hkjin + Hjkni ) 2 (Aji Dkn + Akn Dji ) ,
2
c
Skj =
1
1
(Hkj + Hjk ) 2 Ajl Dkl + Akl Djl .
2
c
(21.18)
(21.19)
1
Ajk D + Ajl Dkl + Akl Djl ,
2
c
1
Ajk D + Ajl Dkl + Akl Djl ,
c2
(21.20)
(21.21)
(21.22)
S = H.
(21.23)
1 aij bkn
Kkjin ,
4
(21.24)
(21.25)
1 aij bkn
Skjin ,
4
(21.26)
(21.27)
115
1
hrq K .
2
(21.28)
(21.30)
hence
(21.31)
1 ijp kls
hik hjl ,
2
1 ijp
apq kls brs hik hjl Z ab =
2
1
= hia hjq hiq hja hkb hlr hkr hlb hik hjl Z ab =
2
1
= (hak hql hkq hal ) hlr Z ak hkr Z al = Zrq hrq Z ,
2
(21.32)
Srq =
(21.33)
Z = hik Zik ,
(21.34)
S = 2Z .
(21.35)
116
2.22
2 hin
hin
hin
2
=
=
+
v
D
+
k in
j
k
j
k
2
x x
x
xj xk
x
c
vj 2 hin
vj vk
2 vk
+ 2
+ 2
Din +
+ 2
c w t xk
xj
c w t
c
2 hin
2
Din
2 vj w
v
=
2 2
Din +
k
2
j
j
k
x
x x
c
c c w xk
vj vk
2
Din vk Din
2 vk
2
+ 2
+
Din +
+ 2 vj
xk
c
t
c
c xj c2 w t
2 hin
2
Din
2 vk
1
=
+
F
v
+ 2 vk
k j Din +
xj
xj xk
c
c2 xj
c2
2
Din
Din
2
Din
+ 2 vj
+
v
v
v
,
k
j
k
xk
xj
t
c
c4
(22.1)
and also
1
2
2
2 hin
hin
+
xj xk
xk xj
2
2 hin
+ 2 jk Din +
c
xj xk
2
Din
+ vk j Din ) 4 vj vk
+
c
t
=
2
( vj k Din
c2
2
+ 2 ljk Din vl + lki Dnl vj + lkn Dil vj +
c
+ lji Dnl vk + ljn Dil vk ,
+
where we denote
vj
1 vk
1
+ k 2 (Fk vj + Fj vk ) ljk vl .
jk =
j
x
2 x
2c
Therefore, we have
2
2 hjk
2 hik
2 hjn
1
hin
+
=
xi xn
xj xn
xi xk
2 xj xk
2
2
1 2 hin
hin
1 2 hjk
hjk
+ k j +
+ n i
=
x x
x x
4 xj xk
4 xi xn
(22.2)
(22.3)
117
2
2
1 2 hik
hik
1 2 hjn
hjn
+ n j
+ k i
x x
x x
4 xj xn
4 xi xk
1
2 (jk Din + in Djk jn Dik ik Djn )
c
1
2 ( vj k Din + vk j Din + vi n Djk + vn i Djk
c
vj n Dik vn j Dik vi k Djn vk i Djn ) +
1
Din
Djk
Dik
Djn
+ 4 v j vk
+ vi v n
vj v n
vi v k
t
t
t
t
c
1
2 ljk Din vl +lki Dnl vj +lkn Dil vj +lji Dnl vk +
c
+ ljn Dil vk + lin Djk vl + lnj Dkl vi + lnk Djl vi +
+ lij Dkl vn + lik Djl vn ljn Dik vl lni Dkl vj
lnk Dil vj lji Dkl vn ljk Dil vn lik Djn vl
lkj Dnl vi lkn Djl vi lij Dnl vk lin Djl vk =
2
2
1 2 hin
hin
1 2 hjk
hjk
+ k j +
+ n i
=
x x
x x
4 xj xk
4 xi xn
2
2
2
2
1
hik
hik
1
hjn
hjn
+ n j
+ k i
x x
x x
4 xj xn
4 xi xk
1
2 ( jk Din + in Djk jn Dik ik Djn )
c
1h
2 vj ( k Din n Dik ) + vk ( j Din i Djn ) +
c
i
+ vi ( n Djk k Djn ) + vn ( i Djk j Dik ) +
1
Din
Djk
Dik
Djn
+ 4 v j vk
+
+ vi v n
vj v n
vi vk
t
t
t
t
c
1h
+ 2 ljk (Dil vn + Dnl vi Din vl ) + lin (Djl vk +
c
+ Dkl vj Djk vl ) ljn (Dil vk + Dkl vi Dik vl )
i
lik (Djl vn + Dnl vj Djn vl ) .
We then obtain
(22.4)
118
h
i
1
lin jk,l lik jn,l = lin 2 Dil vn +Dnl vi Din v l
c
h
i
1
jk,l 2 Djl vk + Dkl vj Djk vl
c
h
i
1
l
ik 2 Dil vk + Dkl vi Dik v l
c
h
i
1
(22.5)
hence,
1
jk Din + in Djk
c2
1h
jn Dik in Djk 2 vj ( k Din n Dik ) +
c
Kkjin = Skjin
1
Din
+ vn ( i Djk j Dik ) + 4 vj vk
+
c
t
Djk
Dik
Djn
+
+ vi v n
vj v n
vi vk
t
t
t
1
+ 4 vj vk Dil Dnl vi vn Djl Dkl + vj vn Dil Dkl +
c
1h
+ vi vk Djl Dnl + 4 v l Djl vk + Dkl vj Djk vl Din
c
vl Djl vn + Dnl vj Djn v l Dik + v l Dil vn + Dnl vi
i
Din vl Djk + vl Dil vk + Dkl vi Dik v l Djn +
+
1 l
v vl Djk Din + Djn Dik .
4
c
(22.6)
119
Introducing
vj
1 vk
1
+
2 (Fk vj + Fj vk ) ljk vl
jk =
xk
2 xj
2c
(22.7)
instead of jk , i. e.
jk = jk
1
Djl vk + Dkl vj Djk v l vl ,
2
c
(22.8)
1
Din
Djk
+ 4 vj vk Dil Dnl
+ vi vn Djl Dkl
t
t
c
(22.9)
Dik
Djn
l
l
vj vn Dil Dk
vi vk Djl Dn
+
t
t
1h
+ 2 vk ( j Din i Djn ) + vj ( k Din n Dik ) +
c
i
+ vi ( n Djk k Djn ) + vn ( i Djk j Dik ) .
Comparing formulae (22.7) and (20.31), we verify that the conditions
)
vi = 0
(22.10)
e jk = 0
vi = 0
ejk = 0
X
(22.11)
(22.12)
120
g0i = 0
.
(22.13)
g0k
g0j
+
=
0
x
j
x
k
We now have a possibility of finding the geometrical definition
of the space curvature (see the geometrical definition of space at
the beginning of 2.2). We assume a world-point
x = a ,
= 0, 1, 2, 3 ,
(22.14)
(22.15)
g0i g0k
.
g00
(22.16)
(22.18)
i
1 he
e in Djk
e jn Dik
e ik Djn . (22.19)
jk Din +
2
c
e jk = X
ejk ,
(22.20)
121
where
e+
S=K
i
2he
ejl D j ,
XD X
l
2
c
e =X
eik hik .
X
(22.22)
(22.23)
(22.25)
122
1
1
C = K,
3
6
(22.26)
where
C = hik Cik .
(22.27)
So, because of what has been said above, we can write the
Riemannian curvature CR of the space in the given world-point
(along the two-dimensional direction we are considering) and also
its mean curvature CN in the point as follows
CR (U ) = Zrq U r U q = Srq U r U q
and
CN =
1
1
Z = S.
3
6
1
S
2
(22.28)
(22.29)
Chapter 3
3.1
The main task of this section is to put the equations of the General Theory of Relativity into chronometrically invariant (chr.inv.tensor) form. We will first consider the metric world-tensor.
In Chapter 2, we have obtained the covariant metric tensor
equations (2.9), (2.10), and (8.9)
w 2
g00 = 1 2 ,
c
w vi
,
g0i = 1 2
c
c
gik = hik +
(1.1)
(1.2)
vi v k
,
c2
(1.3)
1
1 w2
c
g 0i =
2
vj v j
c2
vi
,
1 w2 c
c
1
g ik = hik ,
and the fundamental determinant g, equation (8.19)
w
g = 1 2
h.
c
(1.4)
(1.5)
(1.6)
(1.7)
124
3.2
Because
we have
2
w w
g00
=
,
c2
c2 x0
x0
(2.1)
1
w w
1 2
.
3
c
c
t
(2.2)
2
w w
g00
=
,
c2
c2 xi
xi
(2.3)
00,0 =
and so we obtain
and also
1
w
1
w vi
g0i
1
=
v
i
c3 x0
c
c2 x0
x0
1 g00
1
w
1
w w
vi
g0i
=
v
+
1
c
=
i
2 xi
c3 x0
c2
c2
xi
x0
x0
1
w 2
1 w
,
= 2 1 2 F i + 4 vi
c
c
c
t
(2.4)
(2.5)
we have
1
w 2
1 w
1 2 Fi + 4 vi
.
2
c
c
c
t
2
w w
g00
= 2 1 2
,
i
x
c
c xi
(2.7)
1
w w
1
.
c2
c2 xi
(2.8)
0i,0 =
and so we obtain
(2.6)
g0j
1
w
1
w vj
=
v
,
1
j
xi
c3 xi
c
c2 xi
gij
2
w
1
vi
vj
=
D
+
v
+
v
ij
j
i
x0
x0
x0
c2
c2
c2
(2.9)
(2.10)
125
and, hence
1 gij
1
w
g0j
g0i
1
2 x0
c
c2
xi
xj
1 vj
1
vi
1
w
vi
+ 2 vj 0 3 vj i +
Dij +
i
j
2 x
2c
2c
x
x
x
1
w
1
vj
1 vj
1
w
vj
2 vi 0 + 2 vi 0 + 3 vi j
x
x
c3 xi
2c
c
2c
x
1
w
1
w
1 vj
vi
3 vi j = 1 2 Dij +
+
c
x
c
c
2 xi
xj
1
1
1
w
+ 2 (Fi vj Fj vi ) + 2 Fj vi + 3 vj i =
2c
c
c
x
1
w
1
1
w
= 1 2 Dij + Aij + 2 Fj vi + 3 vj i .
c
c
c
c
x
(2.11)
Thus, we arrive at
0i,j =
1
w
1
1
w
1 2 Dij + Aij + 2 Fj vi + 3 vj i .
c
c
c
c
x
= 3 vj i + vi j
2 xi
2c
x
x
xj
x0
1
w
1
w
vi
vj
1 2
1 2 Dij
+ j +
2c
c
c
c
xi
x
1
vi
vj
1
w
1 2
2 vj 0 + vi 0 =
2c
c
c
x
x
1 vj
1
vi
Dij
+
+
(F
v
+
F
v
)
,
i
j
j
i
2 xi
2c2
xj
(2.12)
(2.13)
and hence
ij,0 =
1
w
1 vj vi
1
1 2 Dij
+
+
(F
v
+F
v
)
.
i j
j i
c
c
2 xi xj
2c2
(2.14)
Finally, because
hij
gij
1
= k + 2
xk
x
c
vj
vi
vj
+ vi k
xk
x
(2.15)
126
we have
1 gjk
1 hjk
gik
gij
hik
hij
+
=
+
+
2 xi
2 xi
xj
xk
xj
xk
1
vj
vi
vk
vk
+ 2 vi
+
v
+
j
2c
xj
xk
xi
xk
1 h
vi
vj
+ vk
+
+
vi (Fj vk Fk vj ) +
2c4
xi
xj
i
+ vj (Fi vk Fk vi ) vk (Fi vj + Fj vi ) + 2Fk vi vj , .
(2.16)
and so
vj vi
1
1
v
A
+v
A
+
+
v
i jk
j ik
k
xi xj
c2
2
1
1
2 vk (Fi vj + Fj vi ) + 4 Fk vi vj .
2c
c
ij,k = ij,k +
(2.17)
1
w 2
1 w
,
1
F i + 4 vi
2
2
c
c
c
t
0i,0 =
0i,j =
ij,0
1
w w
1
,
c3
c2 t
1
w w
1
,
c2
c2 xi
1
w
1
1
w
1 2 Dij + Aij + 2 Fj vi + 3 vj i ,
c
c
c
c
x
1
w
1 vj vi
1
=
+
+ 2 (Fi vj +Fj vi ) ,
1 2 Dij
c
c
2 xi xj
2c
vj vi
1
1
v
A
+
v
A
+
+
v
i jk
j ik
k
xi xj
c2
2
1
1
2 vk (Fi vj + Fj vi ) + 4 Fk vi vj .
2c
c
ij,k = ij,k +
(2.18)
(2.19)
(2.20)
(2.21)
(2.22)
(2.23)
127
0k
g 00,0 + g 00,k
vj v j w
1
c2
1 2
= 3 2
c
c c w
t
1
w k
1 c2
w
1
v Fk 5 2
vj v j
=
3
2
c
c
c c w
t
c2 w
1
w
+ 1 2 vk F k ,
= 3 2
c c w t
c
hence
000 =
c2 w
1
w
k
F
.
v
+
1
k
c3 c2 w t
c2
(3.1)
(3.2)
1 k w 1
w 2 k 1 k w
v
1
F 4v
,
c4
t c2
c2
c
t
k00 =
1
w 2 k
1
F .
c2
c2
(3.3)
(3.4)
1 c2
vj v j w
+
1
c2 c2 w
xi
c2
1
1
1 vk v k w
+ 2 v k Dik + Aik + 2 Fk vi 2 2
=
c
c
c c w xi
1 c2 w
1 k
1
k
k
+
v
+
A
+
v
F
D
,
= 2 2
k
i
i
i
c c w xi
c2
c2
(3.5)
c2 w
1
1
k
k
k
+
v
D
+
A
+
v
F
k
i
i
i
c2 w xi
c2
c2
(3.6)
g 00 0i,0 + g 0k 0i,k =
we obtain
00i =
and also
1 w k
1
k
,
1 2 Di +Ak
i + 2 vi F
c
c
c
1
w
1
k
=
+
v
F
.
1 2 Dik + Ak
i
i
c
c
c2
g k0 0i,0 +g kl 0i,l =
k0i
(3.7)
(3.8)
128
g 00 ij,0 + g 0k ij,k =
c2
c c2 w
vi
1 vj
1
Dij
+
+
(F
v
+
F
v
)
+
i j
j i
xj
2 xi
2c2 (
1 c2
1
c2
+
ij,k v k 3 2
v k vi Ajk + vj Aik +
2
c c w
c c w
)
vi
1 vj
1
+ vk
+ j 2 (Fi vj + Fj vi )
x
2 xi
2c
vk v k
1 c2
1 c2
k
5 2
1 2
Dij
v Fk vi vj =
c
c c w
c c2 w
1 c2
1 c2
ij
c c2 w
c 3 c2 w
1 c2
v kFk vi vj ,
5 2
c c w
that is
vk v k
1 c2
Dij +
=
ij 1 2
c
c c2 w
1
1
k
k
+ 2 vk vi Ak
+
v
A
v
v
v
F
,
+
j i
i j k
j
c
c4
(3.9)
0ij
(3.10)
D
+
vk Dj + Ak
ij
ij
j vi +
2
2
c c w
c
i
1
k
.
+ Dik + Ak
i vj + 2 vi vj F
c
129
(3.13)
(3.14)
we get
kij
k
ij
1
1
Dij v k = kij 2 Dik vj + Djk vi ,
c2
c
1
1
k
k
k
k
k
2 vi Dj + Aj + vj Di + Ai + 2 vi vj F .
c
c
(3.15)
(3.16)
130
We will apply the Christoffel symbols, when we deduce equations for the dynamics of a point-mass in order to find the mechanical sense of the quantities Fi and Ajk . However, before we do it
that, we need to consider the problem of the square of the velocity
of light, and also introduce the mass, energy, and momentum of a
test point-body.
3.4
g0i
g0i g0k
dxi dxk ,
ds2 =
g00 dx0 + dxi + gik
g00
g00
ds
dxi
dxk
= 1 hik
g00
g00
g00
dx0
dx0
dx0
(4.1)
(4.2)
(4.3)
(4.4)
g00
i
dxi
u
=
.
dx0
c
We therefore obtain
2
i k
ds
u u
= 1 hik
g00
dx0
c2
ds
uj u
g00
=1
.
dx0
c2
(4.5)
(4.6)
(4.7)
and, hence
ds = 0
(4.8)
uj uj = c2 .
(4.9)
131
d
x0
,
ds
E = mc2 ,
(5.1)
(5.2)
c d
x
.
(5.3)
ds
At the given world-point in the coordinates x
( = 0, 1, 2, 3) we
have chosen we have
p i = m0
g00 = 1 ,
g0i = 0
(5.4)
and hence
and so we obtain
d
x0
d
x0 = d
x0 = p
,
g00
x0
m0 d
m= p
.
g00 ds
(5.5)
(5.6)
dx
d
x
p 0 = 0
g00
g00
(5.7)
is a chr.inv.-invariant in any arbitrary system of the spatial coordinates x ( = 0, 1, 2, 3) of the given reference frame. For this reason,
in general, we have
m0 dx0
m=
(5.8)
g00 ds
and, because of (4.7),
m0
m= r
.
i
ui u
1
c2
(5.9)
132
expressed by formula (5.2). So, with 3.4 as a basis, we can say that
the energy of a point-mass equals its dynamic mass, multiplied by
the square of the velocity of light.
Because d
xi is a chr.inv.-vector, i. e.
d
xi = dxi ,
(5.10)
c dxi
.
(5.11)
ds
This is the equation of the chr.inv.-vector of momentum. As we
have obtained
dxi
1 dx0
dxi
g00
,
(5.12)
=
g00 ds
ds
dx0
p i = m0
(5.13)
=
+ uj j ,
dt
t
x
take the form
(6.1)
d
j
.
(6.2)
=
+ u
dt
t
xj
We will refer to the operator as the operator of the total derivative with respect to the time coordinate.
Let us find the relation between the chr.inv.-total derivative
with respect to time, on one the hand, and, on the other hand, the
derivative with respect to local time and the partial derivative with
respect to time
vj j
d
c2
c2 uj
+ 2
u
= 2
+ 2
=
k
j
c w t c w vk u x
c w
dt
t
c2 w
c2
1
c2
1 + 2 vj uj
uj
.
= 2
+ 2
2
c w
c
t c w c w vk uk xj
(6.3)
133
We know that
1+
vj u j
c2 w
1 j
v
u
=
1
+
=
,
j
c 2 w vk u k
c2
c2 w v j u j
hence we have
d
d
1
c2
= 2
1 + 2 vj uj
dt
c
dt
c w
(6.4)
(6.5)
d
=
dt
1
d
.
1
dt
1 2 (w + vj u j )
c
(6.6)
Because
vj u j
dx0
dxj
w
w
1
=
g
+
g
=
1
=
00
0j
dx0
dx0
c2
c2
c2
1
w 2
=
1 2 ,
1
c
1 + 2 vj u j
c
(6.7)
u uk c d
d
k
= 1
.
c2
dt
ds
(6.8)
(6.9)
= 1 + 2 vj uj 2
+ uj j .
dt
c
x
c w t
(6.10)
u uk cdE
dE
k
= 1
.
(6.11)
c2
dt
ds
134
dQk
Qk
Qk
=
+ uj
dt
t
xj
(6.12)
of any sub-vector Qk is not sub-vector. At the same time, it is possible to introduce the sub-vector
Qk
dQk
+ kjl Ql uj =
+ j Qk uj ,
dt
t
(6.13)
dQk
Qk j Qk
=
+ u
,
dt
t
xj
(6.14)
dQk k l j
Qk
+ jl Q u =
+
dt
t
j Qk uj .
c2
dQk k l j
1
1 + 2 vnun
+ jl Q u = 2
dt
c w
c
k
dQ
1
(6.15)
(6.16)
dQk k l j
+ jl Q u =
dt
1
1 2 (w + vn un )
c
l j
dQk
1
k
l j
k
k
k
+ jl Q u + 2 Dj vl + Dl vj Djl v Q u .
dt
c
(6.17)
135
Comparing (5.11) and (5.13), and taking formula (5.9) into account, we obtain
i
cdxi
u
.
(6.18)
=r
k
ds
u u
1 k2
c
Because of (6.9) and (6.18), we have
r
j
u un dQk
dQk k l j
n
k
l dx
.
+ jl Q u = c 1
+ jl Q
dt
c2
ds
ds
(6.19)
Applying the obtained formulae to the momentum of a pointmass, and supposing that its rest-mass m0 remains unchanged, we
can, in particular, write
r
k
j
l
u un d 2 xk
dp
n
k l j
2
k dx dx
. (6.20)
+
+ jl p u = m0 c 1
jl
dt
c2
ds2
ds ds
Because the sub-vector of momentum is chr.inv.-vector, the
sub-vector of the total derivative of momentum with respect to
time is also a chr.inv.-vector.
3.7
2
ds
ds ds
, , = 0, 1, 2, 3 ,
(7.1)
(7.2)
Substituting (6.8), (5.9), (5.2), (5.12), (6.9), and (6.10) term-byterm, and supposing that the rest-mass of the point-body we are
considering remains unchanged, we have
d 2 x0
d
dx0
d mc2
1 j
=
1+
v
u
=
m0 2 =
m0
j
ds
ds
ds
ds c2 w
c2
mc2
1
dE
dp j
1 j dw
= 2
+ 2
1+
vj u
+ vj
+
ds
(c w)2
c w ds
c2
ds
136
m j dvj
+ 2
u
=
ds
c w
c3
1
1
upup
c2
c2
c2 w
dE
dp j
+
+ vj
dt
dt
mc2
1 n j vj
i j vj
v
u
u
u
u
+
1
+
+
m
n
c2 w
t
xi
c2
)
mc4 1 j 1 n c2 w i w
+ 2
1+ 2 vj u
1+ 2 vn u
.
+u
(c w)2
c2 w t
c
c
xi
(7.3)
= 3 2
ds ds
c (c w)2
2
1 + 1 vnun
2
c2 w
w
c
2
=
+ 1 2 vl F l
p
c w t
c
u u
1 p2
c
m
c2
1 n2
w
c4
l
+
v
= r
.
1+
v
u
F
n
l
p c2 w
(c2 w)2 t
c2
up u
3
c 1 2
c
m0 000
(7.4)
dx
2m0 00i
c2 1 + 12 vnun
i
1
u
l
c
r
r
+ 2 vi F
=
2
q
p
c
c w
up u
uq u
c 1
1
c2
c2
m
c2
1
=2 r
1 + 2 vnun
2
p c w
c
u u
c3 1 p2
c
1 i
c2 i w
l
l i
l
2
u
+
v
+
A
u
+
v
u
F
.
D
v
l
i
l
i
i
xi
c2
c w
(7.5)
p
p c2 w
u u
up u
3
c 2 1 p2
c 1
c
c2
vj
1
i j
ui uj i Dij ui uj 2 vj uj Fi ui n
ij u u vn +
x
c
2
2
1
+ 2 vj uj vl Dil + Ali ui + 4 vj uj vl F l .
c
c
Hence, we have
r
2 0
u un
d x
w
n
3
0 dx dx
1
m0 c 1 2
+
=
c2
ds2
ds ds
c
2 c2 2 w
k
dE
dp
1
=
+ m 1 + 2 vnun
+ vk
+
dt
c2 w t
dt
c
c2
1
1
j w
u
+ m 1 + 2 vnun
+ m 1 + 2 vnun 2
j
c w
c
x
c
2 w
2
2
2
c
1
c
j vj
2
+
u
m 1 + 2 vnun
c
c w
t
c2 w t
2
vj
1
+ m ui uj i m 1 + 2 vnun
vk F k
c
x
c2
1
1 n
i w
u
+
2m
1
+
vn u
2m 1 + 2 vnun 2
c
xi
c2
c w
i
vj i j
i j
u u +
Dik + Ak
i vk u + mDij u u m
xi
1
1
1
+ 2m 1 + 2 vnun 2 vmum vk F k + 2 mvnun Fi ui +
c
c
c
i
1
+ mvk kijui uj 2m 2 vnun vk Dik + Ak
i u
c
1
dE
2
4 m (vnun ) vk F k =
+ mDij ui uj mFi ui +
c
dt
k
dp
k i j
k
k
k i
+ vk
+ ij p u mF + 2m Di + Ai u .
dt
137
(7.6)
(7.7)
138
dE
+ mDij ui uj mFi uj +
dt
k
dp
k i j
k
k
k i
+ vk
+ ij p u mF + 2m Di + Ai u = 0 .
dt
(7.8)
The left side of equation (7.8) is co-invariant, however this formula is unchanged under transformation of the time coordinate,
because it is a consequence of one of the four geodesic equations,
which have world-tensor nature. For this reason we can use the
method to vary the potentials here (see 2.4).
Assuming all the vk are zero, we obtain
dE
+ mDij ui uj mFj uj = 0 .
dt
(7.9)
v 2 = v3 = 0
v 3 = v1 = 0
v =v =0
1
(7.11)
i
dpk k i j
+ ij p u mF k + 2m Dik + Ak
i u
dt
(7.12)
i
dpk k i j
+ ij p u mF k + 2m Dik + Ak
i u = 0
dt
(7.13)
are true for any choice of the time coordinate (in any reference
frame).
139
(8.1)
= m0
ij
ds
ds ds
ds2
ds ds
i
m0 h
1
k
k
k
2 Djk + Ak
j vi + Di + Ai vj + 2 vi vj F
c
c
k
i j
(8.2)
u u
1
dp
r
=
+ kij pi uj
p
p
dt
u
u
u u
c2 1 p2
c2 1 p2
c
c
2
1
n 2 k
i
2 mvnun Dik + Ak
u
m
(v
u
)
F
.
n
i
c
c4
Because of (3.18), (6.8) and (5.9), we obtain
2
c2
m0
dx0 dx0
w 2
= 2 1 2 Fk 2
m0 k00
ds ds
c
c w
c
140
1 + 12 vnun
c
p
u u
1 p2
c
2
c2
m
1
upup
c2
1+
1 n 2 k
vn u F .
c2
(8.3)
=2
2m0 k0i
i + 2 vi F
ds ds
c
c
c
1 + 12 vnun
c2
2m
i
c
2
u = r
(8.4)
p
p
c w
up u
u
u
p
2
c 1
1
c
c2
c2
i
1
1
m k
1 + 2 vnun
u
+
v
u
F
.
Dik + Ak
m
i
c
c2
Hence,
m0 c
u up
p
c2
d 2 xk
dx dx
+ k
2
ds
ds ds
i
dpk k i j
2
+ ij p u 2 m vn un Dik + Ak
i u
dt
c
2
1
1
2
4 m (vnun ) F k m 1 + 2 vnun F k +
c
c
i
1 n k
+ 2m 1 + 2 vn u
Di + Ak
i u +
c
1
1
+ 2m 1 + 2 vnun 2 vmum F k =
c
c
k
i
dp
=
+ kij pi uj mF k + 2m Dik + Ak
i u .
dt
=
(8.5)
dx dx
= 1,
ds ds
(8.7)
141
ingly, only three of the four equations (7.9) and (7.13) are independent. The identity which links equations (7.9) and (7.13) can
be obtained from the condition (8.7) or, equivalently, from formula
(4.3). As a result, we obtain
2
m0 c dx0
cdxi
c dxk
hik m0
m0
= m0 c 2
(8.8)
g00 ds
ds
ds
and, taking (5.8), (5.2), and (5.11) into account,
E2
hik pi pk = m20 c2
c2
or, in the alternative form
(8.9)
E2
pj p j = m20 c2 .
(8.10)
c2
Formula (7.13) can be considered as the main equations for the
dynamics of a point-mass, and also as the theorem of momentum.
Formula (7.9) can be considered as the theorem of energy, which
is a consequence of the main equations (7.13), because of equation
(8.9) or equation (8.10).
Let us show how to obtain (7.9) from (7.13), using (8.9) and
under the supposition that m0 remains unchanged. Under this supposition, equation (8.9) leads to
k
2 dE
i k dhik
i dp
E
p
p
2h
= 0.
p
ik
dt
dt
c2
dt
Because of (6.2) and also (13.11) of 2.13, we have
(8.11)
dhik
(8.12)
= 2Dik + ( ij,k + kj,i ) uj .
dt
For this reason, we obtain
k
dE
dp
i j
k i j k
u .
(8.13)
+ ij p u
= mDij u u +
dt
dt
Finally, considering (8.13) and (7.13) together, we obtain (7.9).
3.9
1
ijk Ajk .
2
(9.1)
142
(9.2)
(9.3)
dpk k i j
+ ij p u = mF k 2m ijk i uj 2mDik ui .
dt
Equation (9.4) and also equation (7.9), namely
dE
= mFj uj mDij ui uj ,
dt
(9.4)
(9.5)
retain their form in all reference frames, and hence, also in the
at any given point locally-stationary reference frame. However the
chr.inv.-tensor Dik , by its very definition, is zero in the locallystationary reference frame, so we have, at the given point of this
reference frame
dpk k i j
(9.6)
+ ij p u = mF k 2m ijk i uj ,
dt
dE
= mFj uj .
(9.7)
dt
Hence, setting the potentials to zero at the world-point we are
considering, we have at this point
dpk
(9.8)
+ kij pi uj = mF k 2mijk i uj ,
dt
dE
(9.9)
= mFj uj .
dt
On the other hand, the equations in an arbitrary reference
frame have the classic form (in curvilinear coordinates)
dpk
+ kij pi uj = k 2m ijk i uj ,
dt
dE
= j u j ,
dt
(9.10)
(9.11)
143
1
Te0k = Jk ,
c
1 e ij
,
Teij = 2 U
c
(10.1)
(10.2)
(10.3)
where is the density of the moving substance, J k is the momentum density (or, equivalently, the density of the mass flux), U ij is
the three-dimensional tensor of the kinematic (absolute) stresses,
which is the sum of the tensor of the regular (relative) stresses and
the tensor of the density of the momentum flux . The world-point
we are considering is characterized by the conditions
g00 = 1 ,
g0i = 0 ,
(10.4)
and also
g0 g0 Te
Te00
=
= Te00
g00
g00
Te00
= .
g00
(10.5)
(10.6)
See [8], p. 231, and also [1], p. 70. Further, we will use to denote the local
density of matter. In the homogeneous models, regular density and pressure
coincide with the local density and pressure.
144
and hence,
g0 Tek
Tek
p0 = p
= Te0k
g00
g00
Tek
1
p 0 = Jk .
c
g00
(10.7)
(10.8)
Tek
Tk
p0 = p0 ,
g00
g00
so, in general, we have
Teij = T ij ,
(10.9)
(10.10)
(10.11)
T00
= ,
g00
(10.12)
Tk
1
0 = J k,
c
g00
(10.13)
1 ij
U .
(10.14)
c2
Let us find formulas for the components of the covariant, mixed,
and contravariant energy-momentum tensors. Because of (10.2),
we obtain
w 2
(10.15)
T00 = 1 2 .
c
Because of (10.13), we obtain
1
w
T0k =
(10.16)
1 2 J k.
c
c
Since
T00 = g0 T0 = g00 T00 + g0k T0k ,
(10.17)
T ij =
(10.18)
145
1
vj J j .
c2
(10.19)
(10.20)
(10.21)
(10.22)
T ij = g i Tj = g i0 T0 + g ik Tk ,
(10.23)
(10.24)
(10.25)
(10.26)
(10.29)
(10.30)
146
00
Because
c2
c2 w
2
2
1
j
jk
v
J
+
v
v
U
.
j
j
k
c2
c4
(10.31)
(10.32)
(10.33)
(10.34)
Finally, because
Ti = g j Ti = g j0 T0i + g jk Tki ,
(10.35)
w 2
T00 = 1 2
1
w
,
1 2 (Ji + vi )
T0i =
c
c
Tij = 2 ( vi vj + vi Jj + vj Ji + Uij )
c
(10.36)
(10.37)
(10.25),
(10.38)
1
T00 = + 2 vj J j
c
1
w
1 2 Jk
T0k =
c
c
1 c2
1
1
j
Ti0 = 2
Ji + + 2 v j J j v i + 2 v j U i
c c w
c
c
1
j
j
T i = 2 vi J j + U i
c
(10.39)
+
v
J
+
v
v
U
j
j
k
c2 w
c2
c4
T 0k =
1 c2 k
1
jk
J
+
v
U
j
c c2 w
c2
T ij =
1 ij
U
c2
147
(10.40)
T = T00 + Tj ,
(10.41)
(10.42)
and denoting
j
U = Uj ,
we have
(10.43)
T =
1
U
c2
(10.44)
0 =
1
U.
c2
(10.45)
3.11
T
ln g
T +
T = 0 .
(11.1)
x
x
This gives four equations. We consider first the time equation
( = 0)
ln g
T0
T
+
T0 = 0 .
(11.2)
0
x
x
Because of (10.39), we have
j
T0
T00
T0
=
+
=
x
x0
xj
148
1
1
vj
1
J j
1
w
+ 3 Jj
+ 3 vj
3 Jj j +
c t
c
c
c
x
t
t
1
w J j
1
w J j
1
j
1 2
1 2
+
+
=
2 Fj J .
c
c xj
c
c
t
c
xj
(11.3)
(11.4)
1
w
1
k 1
+
v
F
vk J i + Uki =
1 2 Dik + Ak
i
i
2
2
c
c
c
c
2
c
w
1
1
w
+ 2 vj J j
= 3 2
1 2 Fj J j +
c c w
c
t
c
w
w
+ J i i + 1 2 Dik U ik .
x
c
+
We finally get
ln g
ln g 0 ln g j
T
=
T
+
T0 =
0
0
x
x0
xj
1
1 c2 w
w
1
=
2 2
+ 1 2 D + 2 vj J j +
c
c c w t
c
c
ln h
1
1 c2 w
w
+
+
1 2 Jj =
2 2
j
j
c
c c w x
x
c
1 c2 w
1
j
j w
= 3 2
+
+ 2 vj J + J
c c w t
c
xj
1
w
j ln h
+
D + J
,
1 2
c
c
xj
(11.5)
149
hence
T0
ln g
T
+
T0 =
0
x
x
1
w
2
1
=
1 2
+ D + j J j 2 Fj J j + 2 Dik U ik
c
c
t
c
c
(11.6)
2
1
+ D + j J j 2 Fj J j + 2 Dik U ik = 0 .
t
c
c
3.12
(11.7)
ln g
Ti
i T +
Ti = 0 .
(12.1)
x
x
Following 3.11, we obtain
j
Ti
Ti0 Ti
1
c2
1
=
+
=
J i + + 2 vj J j v i +
0
j
2
2
2
x
x
x
c (c w)
c
v
Ji
1
1 c2
1
i
j w
+ 2 vj U i
+ + 2 vj J j
+
2 2
t
c
t
c c w t
c
j
1 j vj 1 J j
1 j vj 1 Ui
+ 2 Ui
+ vj
+ vj
+ vi
+ J
t c2
t
t c2
t
t c2
c
j
1 j vi
1 J j
1 U
1
c2
J
2 vi j 2 ij = 2 2
2
j
x
x
c
c
c x
c (c w)2
1
1
1 c2
j w
j
J i + + 2 v j J vi + 2 v j U i
2 2
c
c
t
c c w
j
v
1
1 j vj
1 Ji 1 Ui
i
2
+ 2 vj J j
+ 2 Ui
2
t c
t
c
c t
c xj
1
J j
1 c2
1 j vi
j vj
2 vi
+
J
,
J
+
xj
t
xj
c
t
c 2 c2 w
c2
(12.2)
150
Hence, we get
l
i
i
i
c
c2
c w xi
1
1
w
1
k
1 2 Dik + Ak
+ 2 vj J j +
i + 2 vi F
c
c
c
c
1 c2
1
1
j
j
J
+
+
v
J
v
+
v
U
k
j
k
j
k +
c c2 w
c2
c2
1 c2
1 h
+
ij Dij + 2 vl Djl + Alj vi +
2
c c w
c
i 1
1
w j
l
l
l
1 2 J + kij
+ Di + Ai vj + 2 vi vj F
c
c
c
h
i
1
1
k
k
k
2 Djk + Ak
v
+
D
+
A
v
+
v
v
F
i
j
i j
j
i
i
c
c2
w
1
1 c2
1
j
+ 2 vj J j
2 v k J j + Uk = 2 2
+
c
c c w
c
xi
1 vj
1
1
j
+ J j i + 2 kij Uk 4 vi Djk U jk .
c x
c
c
Finally,
ln g
ln g 0 ln g j
T
=
T
+
Ti =
i
i
x
x0
xj
1
1 c2 w
w
1 c2
2 2
+ 1 2 D
=
c
c c w t
c
c c2 w
1
1
j
J i + + 2 v j J j vi + 2 v j U i
c
c
2
1 c
ln h 1
w
j
2 2
+
vi J j + U i =
j
j
2
c c w x
x
c
2
1
c
1
1
j w
j
= 2 2
J i + + 2 v j J vi + 2 v j U i
c (c w)2
c
c
t
1
1 j ln h
1 c2
j w
2 DJi 2 Ui
+ 4 2
Ui
j
c
c
x
c c w
xj
1
ln h
1 c2
w
Jj j .
2 vi D + J j
j
2
2
c
x
c c w x
(12.3)
(12.4)
151
Hence, we have
ln g
Ti
1
1
T
+
T
=
+ 2 vj J j F i +
i
i
2
x
x
c
c
vi j
vj
1
Ji
j
j
j J
+ 2 Fj Ui
DJi j Ui +
t
xi
x
c
1
1
1
2 vi
+ D + j J j 2 Fj J j + 2 Djk U jk =
c
t
c
c
(
1
Ji
j
j
j
j
= 2
+ DJi + j Ui 2Aij J Fj hi + Ui +
t
c
)
2
1
j
j
jk
+ vi
+ D + j J 2 Fj J + 2 Djk U
t
c
c
and (12.1) can be written in the form
Ji
1
j
j
j
+ DJi + j Ui 2Aij J Fi 2 Fj Ui +
t
c
2
1
+ D + j J j 2 Fj J j + 2 Djk U jk = 0 .
+ vi
t
c
c
(12.5)
(12.6)
Ji
1
j
j
+ DJi + j Ui 2Aij J j Fi 2 Fj Ui = 0 ,
c
t
(12.7)
and this sub-vector equation is valid for any choice of the time
coordinate, because its left side is a chr.inv.-vector. Thus, for any
choice of the time coordinate, we have
2
1
(12.8)
vi
+ D + j J j 2 Fj J j + 2 Djk U jk = 0
t
c
c
and hence, we obtain the equation
2
1
+ D + j J j 2 Fj J j + 2 Djk U jk = 0 ,
t
c
c
(12.9)
152
So, just as for the geodesic equations, the method of varying the
potentials has found four equations from only a subset of them (see
the explanation of this fact in 3.7).
Because
hik
Ji J k
hik J k
J k
=
Ji
=
+ 2DikJi =
+ 2DikJ i ,
t
t
t
t
t
(12.10)
we can write
j
J k
1
k
jk
jk
=0
+ DJ k +2 Djk +Ak
j J F 2 Fj U + j U
c
t
(12.11)
(13.1)
The energy E and the momentum pk inside the volume, evidently take the form
E = V c2 ,
(13.3)
pk = V J k .
(13.4)
dE
E
=
,
(13.5)
dt fix t
k
dp
pk
=
.
(13.6)
dt fix
t
(13.7)
=
+ D c2 V ,
t
t
Hence,
pk
=
t
J k
+ DJ k V .
t
dE
+ D c2 V ,
=
dt fix
t
k k
dp
J
k
V.
=
+ DJ
dt fix
t
153
(13.8)
(13.9)
(13.10)
(13.12)
The rule for differentiating determinants holds for chr.inv.differentiation as well as in covariant differentiation. Hence, the
equalities
p a xi = 0 , p b xi = 0 , p c xi = 0
(13.13)
lead to the equality
so we have
p abc = 0 ,
ijk
(13.14)
p V = 0 .
(13.15)
154
dE
+ Dij V U ij Fj p j = Fj p j j p j c2 ,
dt fix
(13.18)
2 ln g
ln g
+ +
.
G =
x
x x
x
(14.1)
2 ln g
ln g
G00 = 00
+
.
(14.2)
0 0
00
x0
x0 x0
x
Because of (3.17) and (3.18), we obtain
2
000 k00 1
c2 2 w
c2
w
00
=
=
+ 2
0
k
4
2
2
x
x
x
c w t2
c (c w) t
1
w l vl
w F l
l w
+
2 vl F
+ 1 2 vl
+ 1 2 F
t
t
c
t
c
c
1
w 2
w
w F k
+ 2 1 2 2 Fk k + 1 2
=
c
c
c
x
c xk
2
c2
w
1
1
c2 2 w
l w
= 4
v
F
l
c2 w t2
c (c2 w)2 t
c2
t
1
w k w
1
w 2 1
F k
k
4 1 2 F
2 1 2
Fk F +
.
xk
c
c
xk
c
c
c2
0
0
k 0
k i
0
0 = 00 00 + 200 0k + 0i 0k =
2
c4
w
1
w 2
l w
l 2
+ 2 vl F
vl F
= 6
+ 1 2
c (c2 w)2 t
t
c
(14.3)
F
+
1
Dk + Alk vl F k +
4
2
k
2
c
c
x
c
2
1
w
1
w 2
+ 2 1 2
+ 2 1 2 vl F l
c
c
c
c
2
1
i
k
k
i
k 2
Dik Dki + Ak
A
+
+A
F
+
F
=
D
v
v
k
k
i k
i
c2 i
c4
2
c2
w
1
2
l w
= 4
+ 2 vl F
+
c (c2 w)2 t
c
t
2
w
w
1
w 2 k i
i
Di Dk + Ak
+ 4 1 2 Fk k + 2 1 2
i Ak .
c
c
x
c
c
155
2 ln g
1
1 c2 w
w
= 2
2 2
+ 1 2 D =
x0 x0
c t
c c w t
c
2
2
2
2
c w w
c
w
1
1 w 2 D
1 2
= 4 2
+
+
+
,
c2 w t2 t
c (c w)2 t
c2
c
t
ln g
0 ln g
k ln g
=
00
00
00
x
x0
xk
1 c2 w w
1 c2 w w
= 4 2
+ 1 2 vl F l 2 2
+ 1 2 D +
c c w t
c
c c w t
c
ln h
1
w 2
1 c2 w
+ 2 1 2 Fk 2 2
+
=
c
c
c c w xk
xk
2
c2
w
w
1
1
l
= 4
+
v
F
l
c (c2 w)2 t
c2
t
1
w k w
1
w 2 k ln h
+ 2 1 2 F
.
4 1 2 F
c
c
xk
c
c
xk
(14.4)
(14.5)
(14.6)
We finally obtain
G00 =
1 w 2
1 2
c2
c
D
1
j
j
+ Djl Dl +Alj Al + j F j 2 Fj F j .
t
c
(14.7)
156
3.15
2 ln g
ln g
0i
G0i = + 0 i +
0i
.
(15.1)
x
x0 xi
x
Because of (3.19) and (3.20), we obtain
00i
k0i
c2
1
w w
0i
=
0
k
3
2
2
x
x
x
(c w) t xi
c
v
c2
2w
1
l
2
+ Dil + Ali + 2 vi F l
+
i
c w t x
t
c
1 1
l
1
+ vl
Di + Ali + 2 vi F l 2 Dik + Ak
i +
t
c
c
c
1
w k
1
k w
k
k
=
Di + Ai + 2 vi F
+ 2 vi F
+ 1 2
c
xk
c xk
c
2
1 c2
1
w
2w
c w w
= 3 2
+
1
Fk
+
c c w c2 w t xi
t xi
c3
c2
1
1
w k
k
1 2
Di + Ak
Dik + Ak
i + 2 vi F
i +
c
c
c xk
1
1 c2
2w
c2 w w
+ 2 vi F k = 3 2
+
c
c c w c2 w t xi
t xi
1
w
1
k
k
1 2
Dik + Ak
i 2 Di + Ai Fk +
k
c
c
x
c
2
1
vi
1 c
vi
+ 2Fk k + 4 2
vk F k
c
c c w
x
t
1
w F k
1
k
3 vi 1 2
2 Fk F
.
c
c
c
xk
0
0
k 0
0
k
k
0
i = 00 i0 + 00 ik + 0k i0 + 0k ij =
c2 w
c2 w
1
w
+
5 2
+ 1 2 vk F k 2
c w xi
c c w t
c
1
1
w
+ Dil + Ali + 2 vi F l vl + 3 1 2 F k ik Dik +
c
c
c
(15.2)
i
i
c2
c2
c
c2
1
1h
j
j
Dk + Ak + 2 vk F j kij 2 Djk + Ak
j vi +
c
c
i
1
1
1
k
+ Dik + Ak
= 3 2
i vj + 2 vi vj F
c
c c w
w
c2 w l
1
l
l
+
D
+
A
+
v
F
vl
2
+
i
i
i
c w xi
c2
t
1
w
1
w
+ 5 vn F n i 5 1 2 vn F n Dil + Ali vl
c
x
c
c
1
w
1
w
2
k
7 1 2 vk F
vi 3 1 2 Dik F k
c
c
c
c
vi
1 vk
1
+ k F k + 2 (Fk vi + Fi vk ) F k +
x
2 xi
2c
1
1
w
l
k
k
l
l
+ ik vl F 2 vk F Di + Ai vl + 5 vi 1 2
c
c
c
w
1
1
2
Dkl + Alk vl F k + 2 vk F k 3 Dik + Ak
+
i
c
c
xk
l
1
w
1
w
+ 3 1 2 Dik + Ak
Dk + Alk vl + 5 1 2
i
c
c
c
c
2
c
1
w
w
l
Dik + Ak
2
Fk k +
i vk vl F + 5 vi 1 2
c w
c
c
x
2
1
1
w
+ Dkl + Alk vl F k + 2 vk F k
+
1 2
c
c
c
1
w
1
w
j
j
Dk + Ak kij + 3 1 2 kij vk F j 3 1 2
c
c
c
c
1
w
j
j
Dik + Ak
Dk + Ak vj 5 1 2
i
c
c
1
w k j
j
j
Dj Dk + Ak
Dik + Ak
v
F
v
1
v
k j
i
i
j Ak +
c3
c2
+
157
158
2
1
1
1
k
k
j
k 2
= 3 2
D
+
A
v
F
+
v
F
k
k
j
j
2
4
c
c
c c w
w
c2 w
1
l
l
l
+ vl Di + Ai + 2 vi F
2
c w xi
c
t
vi
1
w
1 vk
j
j
+
Fk +
1 2 kij Dk + Ak 2
xk
c
c
2c xi
+
1
1 c2
w
1 c2
+ 4 vk F k F i 4 2
vk F k i + 2 2
2c
c c w
x
c c w
w
1
1
w
k
+
D
F
v
1
Dik + Ak
ik
i
i
xk
c2
c3
c2
1
1 c2
j
k
k w
k
k j
Fk F + 2 2
+ Dj Dk + Aj Ak .
F
2c2
c c w
xk
(15.3)
2 ln g
1
1 c2 w
w
+
1
D
=
x0 xi
c xi
c2 c2 w t
c2
1
c2
w w
1 c2
2w
c3 (c2 w)2 xi t
c3 c2 w xi t
1
w D
w
3 D i + 1 2
.
c
x
c xi
ln g
0 ln g
k ln g
= 0i
0i
=
0i
x
x0
xk
c2 w
1
1
l
l
l
= 3 2
+ vl Di + Ai + 2 vi F
c w xi
c
c
1 c2 w
w
1
w
2 2
1 2
+ 1 2 D
c c w t
c
c
c
2
ln h
w
1
1 c
k
k
k
Di + Ai + 2 vi F 2 2
+
=
c
c c w xk
xk
c2 w
1 1
1
l
l
l w
= 3 2
2
+
v
D
+A
+
v
F
+
l
i
i
i
c c w c w xi
c2
t
1 w
1
w
k
k ln h
+
Di + Ai
1 2
+ 3D i
c
x
c
c
xk
(15.4)
159
1
1 c2
k
k
k
k w
v
D
D
+
A
+
A
k
i
i
i
i
c2
c2 c2 w
xk
1
w k ln h
1
+ 2 vk DF k
3 vi 1 2 F
k
c
c
x
c
2
1 c
1
1
c2 w
k w
2 2
=
+
F
c c w
xk
c3 c 2 w
c2 w xi
w
1
1 w
1
w
l
l
l
1 2
+ 3D i
+ vl Di + Ai + 2 vi F
c
t
c
x
c
c
ln h
w
1 c2
Dik + Ak
Dik + Ak
i
i
xk
c2 c 2 w
xk
1
w
ln h
1 c2
k w
3 vi 1 2 F k
.
F
c
c
xk
c2 c 2 w
xk
(15.5)
This gives
D
1
w
1
k Dik + Ak
2 Ak
Fk
G0i = 1 2
i
i
c
c
x
c i
vi
1 vk
1
1
w
k
k
2
F
v
F
v
1
i
k
i
xk
2c xi
2c4
c3
c2
1
j
j
k F k 2 Fk F k + Djk Dk + Ak
A
j k .
2c
j
j
+ Dj Dl + Aj Al + j F 2 Fj F
.
2 vi
c
t
c
3.16
(15.6)
(15.7)
2 ln g
ij
ln g
+
.
(16.1)
Gij = + i
j
ij
x
xi xj
x
Because it will entail more difficult algebra than that used for G00
and G0i , we will summarize all the necessary terms step-by-step.
160
First, we have
0ij
kij
ij
=
.
x
x0
xk
+ 2 2
t
t
c c w
c c w
vi
vj
1 c2 vi
+ 4 2
Djl + Alj
+ Dil + Ali
t
t
c c w
vl
1
vj
+
Djl + Alj
+ vl
Djl + Alj + 2 vl F l
t
t
t
c
vl
1 c 2 vj
+ 4 2
Dil + Ali
+ vl
Dil + Ali +
t
c c w
t
2
1
1 c vi vj
F l
l vi
l vl
+ 6 2
F
=
+ 2 vl F
+ vl
t
t
t
c
c c w
(16.2)
(16.3)
D
+
vl Dj + Alj vi +
(1 )ij = 2 2
ij
ij
2
2
c (c w)
c
(16.4)
i
w
1
+ (Dil + Ali vj + 2 vi vj F l
,
c
t
(
vi
Dij
1 vj
+
+
t
xj
t 2 xi
l
ij
1
c2 vl
l
2 (Fj vi + Fi vj ) ij 2
+ vl
+
c w t
t
2c
)
1 c2
1 c2
l
l vi
l
l vj
,
+ 2 2
+ 2 2
D + Aj
D + Ai
t
t
c c w j
c c w i
1
(1 )ij = 2
c
(16.5)
(1 )ij =
161
(16.6)
(16.7)
(16.8)
+
v
+
Djk + Ak
+
l
j
k
k
2
2
x
x
t
xk
c
c
1
1 k vj
k
k vj
k
k
+ Di +Ai
+ 2 vi
+
D +Aj + 2 F
xk
xk
c
xk j
c
1
1 k vi
1
F k
k
k
+ 2 vj
+
A
F
+
v
v
=
D
+
i
j
i
i
xk
xk
c
xk
c2
c4
(16.9)
k
ij
1 lij
(2 )ij =
+
vl
+
c2
xk
t
1
k
k vi
k
k vj
,
+ Di + Ai
+ 2 Dj + Aj
c
xk
xk
1
1 k vj
k
k
+
A
F
,
D
+
(2 )ij = 2 vi
j
xk
c
xk j
c2
1
1 k vi
k
k
,
D + Ai + 2 F
(2 )ij = 2 vj
xk
c
xk i
c
(2 )ij =
1
F k
v
v
.
i
j
c4
xk
(16.10)
(16.11)
(16.12)
(16.13)
0 0
k 0
0 k
l
k
i
j = i0 j0 + i0 jk + ik j0 + ik jl .
v
+A
D
i0 j0 = 4 2
l
i
i
c2 w xj
c (c w)2 xi xj
(16.14)
162
1
c2
1
2
c
1
+ 2
c
1
+ 4
c
c2 w
c2 w
vl Djl + Alj 2
j
w x
c w xi
c2 w
l
l
vj vl F l 2
+ vk Dik + Ak
i vl Dj + Aj +
c w xi
1
l
k
k
vi vl F l vk Djk + Ak
j + 2 vj vl F vk Di + Ai +
c
l 2
vi vj vl F
= (3 )ij + (3 )ij + (3 )ij + (3 )ij ,
vi vl F l
c2
where we denote
c2 w
c4
1
w w
(3 )ij = 4
vl Dil +Ali 2
2
2
i
j
c w xj
c (c w) x x
c2 w
l
l
k
k
l
l
+ vk Di +Ai vl Dj +Aj ,
vl Dj +Aj 2
c w xi
c2 w
1
l
k
k
,
v
v
F
+
v
+
A
D
i
l
k
j
j
c2 w xj
c6
1
c2 w
l
k
k
(3 )ij = 6 vj vl F 2
+ vk Di + Ai ,
c
c w xi
(3 )ij =
(3 )ij =
2
1
vi v j v l F l .
c8
(16.15)
(16.16)
(16.17)
(16.18)
(16.19)
(F
v
+
F
v
)
+
Djk + Ak
i k
k i
j
2 xi
2c2
xk
l
k
k
+ ljk vl Dik + Ak
i + ik vl Dj + Aj
l
2
k
k
l
2 vk vl Di + Ai Dj + Aj ,
c
1
(4 )ij = 4 vi Djk F k
c
1 vk vj
1
k l
k
(F
v
+F
v
)
j k
k j F + jk vl F
2 xj xk
2c2
l
2
k
l
l
k
k
l
2 vk F vl Dj + Aj vl Dj + Aj Dk + Ak ,
c
1
(4 )ij = 4 vj Dik F k
c
1 vk vi
1
+
(F
v
+
F
v
)
F k + lik vl F k
i
k
k
i
2 xi xk
2c2
l
2
l
2 vk F k vl Dil + Ali vl Dik + Ak
+
A
,
D
i
k
k
c
2
1
2
(4 )ij = 6 vi vj 2vl Dkl + Alk F k 2 vl F l
.
c
c
163
(16.20)
(16.21)
(16.22)
(16.23)
(16.24)
164
1 k
1
l
l
l
l
l
+
+
A
v
+
D
+
A
v
+
v
v
F
D
i
k
i
k
k
k
i
i
c2 jl
c2
l
1
k
k
l
+ 4 Dkl Dlk +Alk Ak
l vi vj + vi vl Dj +Aj Dk +Ak +
c
1
+ 2 vi vj vl Dkl + Alk F k + vj vk Dil + Ali Dlk + Ak
l +
c
1
k
l
l
+ vl vk Dil + Ali Djk + Ak
j + 2 vj vk F vl Di + Ai +
c
l
1
1
k
k
+ 2 vi vj vk Dl + Al F + 2 vi vl F l vk Djk + Ak
j +
c
c
1
2
= (5 )ij + (5 )ij + (5 )ij + (5 )ij ,
+ 4 vi vj v l F l
c
(16.25)
where we denote
1 l
vl Djk + Ak
j
c2 ik
1
1
2 kjl vk Dil + Ali + 4 vl vk Dil + Ali Djk + Ak
j ,
c
c
1
1
(5 )ij = 5 vi kjl Dkl + Alk 2 kjl vk F l +
c
c
l
1
1
l
l
k
k
,
+
A
v
F
v
+
A
+ 2 vl Djk + Ak
D
+
D
l
k
j
k
k
j
j
c
c4
1
1 l
k
(5 )ij = 2 vj lik Dlk + Ak
l 2 ik vl F +
c
c
1
1
k
l
l
,
v
F
v
+
A
+ 2 vk Dil + Ali Dlk + Ak
+
D
k
l
l
i
i
c
c4
(5 )ij = lik kjl
1
(5 )ij = 4 vi vj
c
k
2
1
l
k
l k
l
l
l 2
Dk Dl + Ak Al + 2 vl Dk + Ak F + 4 vl F
.
c
c
(16.26)
(16.27)
(16.28)
(16.29)
2 ln g
ln h
1 c2 w
=
2 2
+
=
xi xj
xi
c c w xj
xj
2w
2 ln h
1
c2
w w
1 c2
= 2 2
2 2
+
.
c (c w)2 xi xj
c c w xi xj
xi xj
(16.30)
165
2
ln h
ln h
ln h 1
v
=
=
+
D
=
j
xi xj
xi
xj
xi
xj
c
1
h
w i
2 ln h
=
+
1
D +
v
j
xi xj
c2 w xi
c2
1 vi
1 D
vj vi
2 ln h
D + 2 vi j =
+ 2
+ 2
c xj
c
x
xi xj
c w t
w
1
c2
1 D
1 vi
v
+ 2 vj i + 2 D j +
D
j
x
c4 c2 w xi
c
x
c
2
2
ln h
vi
1
c
1
D
+
D
+ 2 vi j =
+ 4 vj 2
c w t
c
c
x
xi xj
1
1
D
D
1
D
vi 1
.
+
v
4 vi vj
D
F
v
+
v
i j
i
j
2
j
2
2
j
i
c
c
x
x
c
t
x c
2 ln g
2w
1
c2
w w
1 c2
= 2 2
2 2
+
i
j
2
i
j
x x
c (c w) x x
c c w xi xj
2
vi 1
ln h 1
1
D
D
+
2D
Fi vj 2 v i j + v j
+
xj c2
xi xj
c
c
x
xi
+
(16.31)
(16.32)
1
D
vi v j
= (6 )ij + (6 )ij + (6 )ij + (6 )ij ,
4
c
t
where we denote
ln h
1
w w
c2
+
j
i
2
2
x x
c (c w)2 xi xj
1
c2
2w
vi
+ 2
+
D
F
v
,
i
j
c2
c w xi xj
xj
(6 )ij =
(16.33)
(6 )ij =
1 D
vi
,
c2 xj
(16.34)
(6 )ij =
1 D
vj
,
c2 xi
(16.35)
1
D
vi v j
.
4
c
t
(16.36)
(6 )ij =
166
ln g
0 ln g
k ln g
ij
= ij
ij
.
x
x0
xk
(16.37)
1 c2
1 h l
0 ln g
=
D
+
vl Dj +Alj vi +
ij
ij
ij
0
2
2
2
x
c c w
c
i
2
1
1 c w w
(16.38)
+ Dil +Ali vj + 2 vi vj F l 2 2
+ 1 2 D =
c
c c w t
c
= (7 )ij + (7 )ij + (7 )ij + (7 )ij + (7 )ij ,
where we denote
1
c2
ij Dij +
c2 (c2 w)2
i w
1 h l
1
l
l
l
l
+ 2 vl Dj + Aj vi + Di + Ai vj + 2 vi vj F
,
c
c
t
(7 )ij =
1
(7 )ij = 2 D
c
l
1 vj
1
vi
+ j Dij 2 Fi vj + Fj vi ij vl ,
2 xi
2c
x
1
vi D vl Djl + Alj ,
4
c
1
(7 )ij = 4 vj D vl Dil + Ali ,
c
(7 )ij =
(7 )ij =
1
vi vj D vl F l .
c6
1
k ln g
k
= ij 2 Djk + Ak
ij
j vi +
k
x
c
1
1 c2 w ln h
k
k
k
+ Di +Ai vj + 2 vi vj F
2 2
+
=
c
c c w xk
xk
= (8 )ij + (8 )ij + (8 )ij + (8 )ij ,
(16.39)
(16.40)
(16.41)
(16.42)
(16.43)
(16.44)
167
where we denote
1 k c2 w
1
k ln h
(8 )ij = 2 ij 2
ij
+ 2 D kij vk ,
k
k
c
x
c
c w x
(16.45)
(8 )ij =
(16.46)
c2 w
1
1
k
k
k
k ln h
v
+A
+
D
+A
,
D
i
j 2
j
j
c2
c2 j
xk
c w xk
c2 w
1
1
k
k ln h
(8 )ij = 2 vj 2 Dik +Ak
+
D
+A
,
i
i
i
c
c
xk
c2 w xk
1
1 c2
k w
k ln h
(8 )ij = 4 vi vj 2 2
+F
.
F
c
c c w
xk
xk
(16.47)
(16.48)
()ij =
8
X
(n )ij ,
n=1
()ij =
8
X
n=1
(n )ij ,
()ij =
8
X
(n )ij ,
()ij =
n=1
8
X
(16.49)
(n )ij ,
n=1
we can write
Gij = ()ij + ()ij + ()ij + ()ij + ()ij .
(16.50)
(16.51)
+ 2
xj
c t
c t 2 xi
n=1
1
1
1
2 (Fi vj + Fj vi ) + 2 kij Fk 4 vl Djl + Alj Fi
2c
c
c
vi
1
1
4 vl Dil + Ali Fj + Hij + 2 Djk + Ak
+
j
xk
c
c
168
vj
1
2
1
+ 2 Dik Djk + 2 Ak
Djk +
Dik + Ak
i
2
k
x
c
c
c i
1 vk
vj
1 k
1
k
k
+ 2 Aj Dik 2 Di + Ai
+ k
x
c
c
2 xj
1
1
1 vk vi
2 (Fj vk +Fk vj ) 2 Djk +Ak
+
j
2c
c
2 xi xk
2w
1
1 c2
1
2 (Fi vk + Fk vi ) 2 2
2 D
i
j
2c
c c w x x
c
vi
1
1
1
1 vj vi
Fi vj 2 DDij + 2 D
+
xj c2
c
c
2 xi xj
1
1
2
2 (Fi vj + Fj vi ) = Hij + 2 Aij D 2 Ak
Ajk
2c
c
c i
2
2w
c
1 Dij
1
k
2
1 vj vi
1
1 k
+
(F
v
+F
v
)
F
i j
j i
k .
t 2 xi xj
2c2
c2 ij
+
(16.52)
2w
c2
1 c2
w
vj
+
+ 2
Fj
= 2 2
c w xi xj
c c w xi
t xi
i Fj
1 Fj
1 c2
w
1 vi k
+ 2 vi
2 2
F j i + 2 Fj
ij Fk =
t
t
c
c c w x
c
c2
vj
1
2w
= 2
2 Fj vi kij Fk ,
i
j
i
t x
c
c w x x
(16.53)
so we have
c2
2w
1
( i Fj + j Fi ) 2 Fi Fj = 2
c w xi xj
c
vi
1 vj
1
+
(F
v
+
F
v
)
kij Fk .
i j
j i
xj
t 2 xi
2c2
(16.54)
1
Aji D + Ajk Dik + Aik Djk .
2
c
(16.55)
169
(16.56)
1
1 k vj
1
l
+ 2 Djk F k
Djk + Ak
j 4 Fj vl F + 2 F
k
k
x
c
c
c
x
1 1 vk
1
vj
2
+ k 2 (Fj vk + Fk vj ) F k
c 2 xj
2c
x
D
ln h
k
l
l
k
k
jl Dk + Ak
+ Dj + Aj
=
xj
xk
D
1
2
k
k
k
= 2 vi k Dj + Aj
2 Ajk F
c
xj
c
+
(16.57)
or, finally,
1
()ij = 2 vi
c
k hkj D
Djk
k Ak
j
2
k
+ 2 Ajk F .
c
(16.58)
k
k
k
k
()ij = 2 vj k hi D Di k Ai + 2 Aik F .
(16.59)
c
c
Formulae (16.8), (16.13), (16.19), (16.24), (16.29), (16.36), (16.43),
and (16.48) give
1
1
(n )ij = 4 vi vj 2 Fk F k +
c
c
n=1
F k
D
k ln h
l
k
l k
+
+
F
+
D
D
+
A
A
+
,
k l
k l
xk
xk
t
8
X
(16.60)
170
so we obtain
(n )ij =
1
vi v j
c4
D
1
k
k
+
F
F
.
+Dkl Dlk +Alk Ak
k
k
l
t
c2
k
k
k
k
2 vi k hj D Dj k Aj + 2 Ajk F
c
c
1
2
k
k
k
k
2 vj k hi D Di k Ai + 2 Aik F +
c
c
1
D
1
k
k
+ Dkl Dlk +Alk Ak
+ 4 vi v j
+
F
F
,
k
k
l
c
t
c2
(16.61)
(16.62)
because
Akj = Ajk ,
3.17
Aki = Aik .
(16.63)
G00
,
g00
(17.1)
(17.2)
Gk
M k = c 0 ,
g00
(17.3)
N jk = c2 Gjk
(17.4)
171
D
1
j
j
+ Djl Dl + Alj Al + j F j 2 Fj F j .
t
c
(17.5)
j
j hi D Di j Ai + 2 Aij F 2 vi L .
c
c
(17.6)
1
w
1
w
Gk0 = g k0 G00 + g ki G0i = 3 v k 1 2 L
1 2
c
c
c
c
2
1
j hkj D Dkj j Akj + 2 Akj Fj 2 v k L =
c
c
1
w
2 kj
kj
kj
kj
= 1 2
j h D D
j A + 2 A Fj
c
c
c
(17.7)
L=
It is evident that
2
M k = j hkj D Dkj j Akj + 2 Akj Fj .
c
Comparing (17.6) and (17.8), we have
1
w
1
G0i =
1 2 Mi 2 v i L .
c
c
c
F
+
F
F
F
i j
j i
i j
i kj
2
c2
1
1
1
2 v i M j 2 vj M i + 4 v i v j L .
c
c
c
(17.8)
(17.9)
(17.10)
Because
hjp hkq
Dpq
D jk
h h
=
Dpq
=
t
t
t
D jk
D jk
=
+ 2D jp Dpk + 2Dkq Dqj =
+ 4D jl Dlk ,
t
t
jp kq
(17.11)
172
we obtain
kl
jl k
+ 2D jl Dlk + DD jk + D jlAk
l + D Al 2A Al +
1 j k k j
1
1
F + F 2 F j F k 2 vjMk
+
2
c
c
1 k j
1 j k
1 D jk
jk
2v M + 4v v L=S 2
+
c
c
c
t
(17.12)
kl
jl k
+ 2D jl Dlk + DD jk + D jlAk
l + D Al 2A Al +
1 j k k j
1
+
F + F 2 F jF k
2
c
and, hence
D jk
+ 2D jl Dlk + DD jk + D jlAk
l +
t
1 j k k j
1
j
+ DklAl 2AjlAk
F + F 2 F j F k.
l +
2
c
N jk = c2 S jk +
(17.13)
(17.14)
1
(L + N ) ,
c2
(17.15)
(17.16)
Because
hij
D jk
Dik
hij
Dik
=
D jk
=
2Dij D jk ,
t
t
t
t
(17.17)
173
we obtain
Dik
k l
+ DDik + Dil Ak
l + Dl Ai
t
1
1
2Ali Ak
i F k + k Fi 2 Fi F k .
l +
2
c
Nik = c2 Sik +
(17.18)
D
1
j
+ D2 2Alj Al + j F j 2 Fj F j ,
t
c
(17.19)
1 D
2
j
2
l
l j
j
j
+D + Dj Dl Aj Al + 2 j F 2 Fj F . (17.20)
G = S + 2 2
c
t
c
We now collect the formulae we have obtained. Using formula
(20.18) of 2.20, and introducing the concise notation
e
i = i
we have
1
Fi ,
c2
ei
= i
1 i
F ,
c2
D
j
j
ej F j
+ Djl Dl + Alj Al +
L=
t
2
M k = j hkj D Dkj j Akj + 2 Akj Fj
c
Nik
= c
Sik
Dik
k l
+
+ DDik + Dil Ak
l + Dl Ai
t
1 e k ek
2Ali Ak
i F + Fi
l +
2
N = c2 S +
D
j
ej F j ,
+ D2 2Alj Al +
t
(17.21)
1
D
j
2
l
l j
e
j
G = S + 2 2
+ D +Dj Dl Aj Al + 2 j F ,
c
t
Zelmanov
(17.22)
(17.23)
(17.24)
regularly called tensor quantities, contracted with the chr.inv.e (17.21) in one index, their physical chronometrically invariant
operator
divergence. As a matter of fact, the physical chr.inv.-divergence and regular chr.inv.divergence (the contraction with i in one index, see 2.14) are not the same. For
instance, i Qi and i Qij are the regular chr.inv.-divergences of the chr.inv.ei Qi and
ei Qij are
vector Qi and the chr.inv.-tensor of the 2nd rank Qij , while
the physical chr.inv.-divergences of the same quantities. Editors comment. D. R.
174
1
w 2
1
L
c2
c2
1
w
1
1 2 Mi 2 vi L
G0i =
c
c
c
1
1
Gij = 2 Nij + vi Mj + vj Mi 2 vi vj L
c
c
1
G = 2 (L + N ) .
c
G00 =
3.18
(17.25)
(17.26)
c2 + U + c2 .
L=
2
3.19
(18.3)
(18.4)
(19.2)
(19.3)
175
i
1 h
c2 + U c2 .
vi L +
2
c
2
(19.4)
Because formula (19.4) holds for any choice of the time coordinate, we can apply the method to vary the potentials. Setting all
values of vi to zero, we obtain
Mi = Ji .
(19.5)
Formula (19.5) retains its form for any choice of the time coordinate, because of its chr.inv.-tensor (namely chr.inv.-vector) nature. Therefore (19.4) leads to, besides (19.5), the equality
L=
c2 + U + c2 ,
2
(19.6)
which coincides with early obtained formula (18.4) and is a chr.inv.tensor as well.
3.20
(20.1)
(20.2)
176
c2 + U c2 = 0 .
+ vj (Mi Ji ) 2 vi vj L +
c
2
(20.4)
is also true for any choice of the time coordinate. Next, we suppose that
v1 6= 0 ,
v 2 = v3 = 0 ,
(20.7)
then (20.6) takes the form (after v1 has been excluded)
i
1h
2 (M1 J1 ) 2 L +
c2 + U c2 = 0
c
2
.
M2 J2 = 0 ,
M3 J3 = 0
(20.8)
c2 + U + c2 .
2
(20.9)
(20.10)
The equalities retain their form for any choice of the time coordinate because of their chr.inv.-tensor nature. It is evident that the
equalities coincide with formulae (19.5) and (18.4).
3.21
(21.1)
177
L + N = 0 c2 + 4c2 .
3.22
(21.3)
c2 + U + c2
L=
k
k
.
(22.1)
M = J
1
1
It is easy to see that the first of the equations (the chr.inv.invariant) is equivalent to the equation
1
G00 = T00 g00 T + g00 ,
(22.2)
2
the second (chr.inv.-vector) equation is equivalent to
1
(22.3)
Gk0 = T0k g0k T + g0k ,
2
which coincides with the equations
Gk0 = T0k ,
(22.4)
D
j
j
ej F j = c2 + U + c2 ,
(22.6)
+ Djl Dl +Alj Al +
t
2
178
2
j hkj D Dkj j Akj + 2 AkjFj = J k ,
c
Dik
k l
l k
+ DDik + Dil Ak
l + Dl Ai 2Ai Al +
t
1 e k ek
1 k 2
k 1 k
2 k
+
i F + Fi = Ui hi U + hi c +c hi .
2
2
2
c2 Sik +
(22.7)
(22.8)
Alk = qlk q ,
lk
qlk j
Ali Ak
q = jil qkl q j =
l = Ail A = jil
q
q
= hj hki hi hkj q j = hki j j + i k ,
j
Alj Al = 2j j .
(22.9)
(22.10)
(22.11)
(22.13)
k l
lk
lk
jlk
Dil Ak
Dil j + jli Dlk j . (22.14)
l + Dl Ai = Dil A + D Ali =
Using (22.1022.14) and also (19.18), (19.19) of 2.19, we can rewrite equations (22.6), (22.7), and (22.8), respectively, in the forms
D
j
ej F j = c2 +U + c2 ,
+ Djl Dl 2j j +
t
2
Rk ( ) = rk ()
2 jlk
j Fl + J k ,
c2
(22.16)
Dik
+ DDik + jlk Dil j + jli Dlk j
t
1
ei F k +
e k Fi =
2 i k hki j j +
2
1
1
= Uik hki U + hki c2 + c2 hki .
2
2
c2 Sik +
(22.15)
(22.17)
179
as follows
c2 S+2
D
j
j
ej F j = c2U +4c2. (22.18)
+D2+Djl Dl Alj Al +2
t
D
j
ej F j = c2U +4c2. (22.19)
+D2+Djl Dl +2j j +2
t
1
g00 G = T00 g00 ,
2
1 k
g G = T0k g0k ,
2 0
where the second coincides with (22.4)
Gk0
Gk0 = T0k ,
1 jk
g G = T jk g jk .
2
(23.1)
(23.2)
(23.3)
(23.4)
(23.5)
1 jk
h (L + N ) = U jk c2 hjk .
2
(23.8)
180
1
2
2
(N L) = c + c
k
k
(23.9)
M = J
N jk hjk (L + N ) = U jk c2 hjk
2
is equivalent to the system (22.1), which is the first chr.inv.-tensor
form of the equations of gravitation. For this reason, we will refer
to the system (23.9) as the second chr.inv.-tensor form of the equations of gravitation.
Using (17.22) and (17.23),we re-write equations (23.6) and (23.8)
of the system (23.9) in component form (having lowered the index
i in 23.8). As a result we obtain
1 2
j
j
c S + D2 Djl Dl 3Alj Al = c2 + c2 ,
(23.10)
2
Dk
1
k l
i
+ DDik + Dil Ak
c2 Sik hki S +
l + Dl Ai
2
t
1 e k ek
D
k
(23.11)
+
2Ali Ak
+
F
+
h
i
i
l
i
2
t
1
j
j
ej F j = Uik c2 hki .
+ D2 + Dlj Dl Alj Al +
2
Dik
+ DDik + jlk Dil j + jli Dlk j
t
1 e k ek
D
k
k
2i +
i F + Fi hi
+
2
t
1
j
ej F j = Uik c2 hki .
+ D2 + Djl Dl j j +
2
c2 Zik +
(23.13)
D 1 2
j
ej F j = c2U +2c2. (23.14)
c2 Z+
+ D +Djl Dl +j j+
t 2
2
181
Dik
1 e k ek
1 k
k
ki =
(24.1)
+
h U ,
i F + Fi Ui
t
2
2 i
D e j
=
+ j F + U ,
(24.2)
t
2
ik = c2 Sik + DDik ,
(24.3)
= c2 S + D2 ,
(24.4)
k l
jlk
Dil j + jli Dlk j .
ik = Dil Ak
l + Dl Ai =
(24.5)
= Alj Al = 2j j ,
=
j
Djl Dl
(24.7)
(24.8)
2
k = j hkj D Dkj j Akj + 2 Akj Fj J k =
c
2
= Rk ( ) rk () + 2 jlk j Fl J k .
c
It is also evident that
j
j = ,
j = ,
j = 0 ,
(24.6)
j = .
(24.9)
(24.10)
+ c2 = + + c2
k
,
(24.11)
=0
182
(24.12)
(24.13)
(24.14)
Dik = Dki
(24.15)
(24.16)
> 0.
(24.17)
(24.19)
Chapter 4
4.1
0.
0.
(1.2)
4.2
(1.4)
184
and, hence
u 0
(2.1)
ui 0 .
(2.2)
x0 , x
1 , x
2 , x
3 ) ,
xi = xi (
i = 1, 2, 3
(2.3)
exist, where the functions are finite, simple, continuous, and differentiable in the volume Q, and satisfy the equations
0
xi
xi j
+
u
=0
x
0
x
j
(2.4)
d
x0 = dx0
,
(2.6)
i
i
x
00
j0
d
xi =
dx
+
dx
0
0
x0
xj
we have
v
i =
x
i
.
x0 0
(2.7)
In the 4.1 and 4.2 above, we did not mention that the velocity is finite and
unique, because the properties were implicit from physical considerations.
185
xi
0,
x0 0
we have
xi x
j
xi
+
= 0.
x
0
x
j x0 0
Therefore, we obtain
0
xi
xi j
+
v
= 0.
x
0
x
j
(2.8)
(2.9)
(2.10)
and because
xi j
j = 0
v
u
x
j
0
(2.11)
(x1 , x2 , x3 )
6 0 ,
(
x1 , x
2 , x
3 )
(2.12)
i .
v
i u
(2.13)
we get
So the coordinate frame S 0 moves in company with the substance, and hence, S 0 is of the reference frame which accompanies
the volume Q.
4.3
186
00 > 0 ,
p0 = 0
(3.1)
T = 00
dx dx
,
ds ds
It is evident that
00 > 0 .
(3.2)
T00 = 00
dx0 dx0
,
ds ds
(3.3)
T0i = 00
dx0 dxi
,
ds ds
(3.4)
dxi dxk
.
ds ds
(3.5)
T ik = 00
i = 1, 2, 3 ,
(4.1)
(4.2)
(4.3)
(4.4)
Ji = 0,
(4.5)
U ik = 0 .
(4.6)
187
188
also the quantities hik and h) are dependent on the time coordinate.
In particular, transformations of the volume
of the substances
We are going to consider the system of the equations of gravitation. This system in the case (3.2) can be considered as a system
of 10 equations with respect to 10 unknowns: one quantity , three
uk and 6 of 10 independent quantities g . At the same time, the
equations can be considered as equations that define from 9 of
the components g when uk and one other component of g are
given. Introducing the accompanying reference frame, we apply
this approach to the equations of gravitation. Therefore, the system
of the equations of gravitation in the accompanying reference frame
can be considered, for instance, as a system, which define the value
of , the 3 value of vi , and the 6 values of hik (when w is given by
a special choice of the time coordinate).
So, we can write the equations of gravitation in the accompanying reference frame as formulae (24.1124.13) of 3.24: the first
chr.inv.-form
+ c2 = + + c2
k
,
(5.1)
=0
k 2
k
k
k
k
2 k
2i + i + i + i = hi c + c hi
2
the second chr.inv.-form
3 + = + 2c2 + 2c2
=0
,
(5.2)
1
1
2ki hki + ik hki + ik hki +
2
2
+ ik + c2 hki = hki
2
the scalar equation of gravitation
+ + + 2 = c2 + 4c2 .
(5.3)
189
Dik
1 e k e k
ik =
(5.4)
i F + Fi ,
+
2
t
=
D e j
+ j F ,
t
(5.5)
ik = c2 Sik + DDik ,
(5.6)
= c2 S + D2 ,
(5.7)
k l
jlk
ik = Dil Ak
Dil j + jli Dlk j ,
l + Dl Ai =
(5.8)
k
k
j
ki = Ali Ak
l = i + hi j ,
(5.9)
= Alj Al = 2j j ,
j
= Djl Dl ,
2
k = j hkj D Dkj j Akj + 2 AkjFj =
c
2
= Rk ( ) rk () + 2 jlk j Fl .
c
(5.10)
(5.11)
(5.12)
(5.13)
> 0,
(5.14)
> 0,
(5.15)
T0,
(5.16)
T0.
(5.17)
190
The equations of the law of energy (see formulae 12.9 and 12.11 of
3.12), because of (4.3) and (4.6), take the form
+ D = 0 ,
t
(6.1)
F k = 0 .
(6.2)
(6.3)
3 2
c + 3c2
2
1
1
1
2 ki hki + ik hki + ik hki + ik = 0 .
3
3
3
(7.1)
(7.2)
Adding the first of equations (5.1) and the equation (7.1) term Or
191
by-term, we obtain the first of equations (5.2). The last, in its connection with the first of equations (5.1), gives (7.1). Hence, equation
(7.1), in connection with (7.2), leads to the third of equations (5.1).
Therefore, the system
+ c2 = + + c2
2
2
3 + = + 2c + 2c
(7.3)
1
1
1
3
3
3
k
=0
(7.5)
(7.7)
= Djl Dl
1 2
D ,
3
(7.8)
1 2
D + .
3
(7.9)
Dik
,
(7.10)
ik =
t
192
D
,
t
k = j hkj D Dkj j Akj = Rk ( ) rk () .
(7.11)
(5.12)
Let us write equations (6.1), (6.3) and the system (7.3), taking
equalities (5.9), (5.10), (7.57.7), (7.97.12) into account,
+ D = 0 ,
t
(7.13)
Fi = 0 ,
(7.14)
D 1 2
+ D + 2j j = c2 + c2 ,
t
3
2
(7.15)
1 2 1
D + 3j j + c2 Z = c2 + c2 ,
3
2
1
1
Dik hki D + D Dik hki D +
t
3
3
1
1
jlk
+ j Dil hil D + jli j Dlk hlk D =
3
3
1 k
1 k
k
j
2
k
= 2 i hi j + c Zi hi Z ,
3
3
Rk = rk ,
(7.16)
(7.17)
(7.18)
(7.19)
We take equations (7.137.17) and (7.18) as the main chr.inv.form of the cosmological equations.
4.8
Equality (7.14) implies that the substance falls freely in the field of
gravitational inertial forces. This is self-evident because there are
no other forces under the conditions (4.5) and (4.6). Equality (7.14)
leads to numerous consequences, one of which will be considered
now that there is a possibility of choosing the primary coordinate
of time at any point of the space.
We
193
We assume that condition (7.14) holds everywhere in a fourdimensional volume Q. We introduce a coordinate of time such that
the condition
w=0
(8.1)
holds throughout the volume. Then, because of (7.14), we obtain
vi
= 0.
t
(8.2)
(8.3)
i = 0
(8.4)
in the volume Q (see formulae 23.18 and 23.28 of 2.23). So, numerical values of 5 quantities (w,
e Y , i ) of the 14 locally independent
quantities we considered in 2.20 are defined throughout the volume Q. Next, we need to find numerical values of the other 9
quantities (vi and Xik ) at any point of the volume Q. We assume
that, at a space point A at a moment t = t0 , we have
vi = 0 ,
(8.5)
Xik = 0 .
(8.6)
vq
(8.8)
=
t xp
xp t
and (8.2) holds throughout the volume Q, we have everywhere in
that volume
vi
vk
+ k = 0.
(8.9)
x
t xi
Hence, formula (8.7) remains unchanged at the point A for all
numerical values of t in the volume Q. It is evident that (8.6) also
194
Hik = Sik ,
If the condition
(8.10)
Cik = Zik .
(8.11)
Aik = 0 ,
(8.12)
Characteristics of anisotropy
1B, i=k
3
Bik = Bik = B ik =
,
(9.1)
0,
i 6= k
where we denote
B = Bj .
(9.2)
1
hik B ,
3
Bik =
1 k
h B,
3 i
B ik =
1 ik
h B.
3
(9.3)
195
(9.4)
(9.5)
2
2
2
j j = B 2
3
3
(9.6)
Absolute rotations
196
and hence
Aik
=0
t
(10.2)
Aik
= 0.
t
(10.3)
197
1 ijk
Ajk .
2
(10.4)
Because
or, in other word,
ijk = 0 ,
(10.5)
1
ijk = ,
h
(10.6)
we obtain
ijk
= 0,
t
(10.7)
ijk
1 h
1
= D
.
=
h t
t
h
(10.8)
ijk
= ijk D .
t
(10.9)
i
= i D .
t
i
i h
= h i D h i D .
h =
+ h
t
t
t
So, we arrive at
i
h = 0,
t
(10.10)
(10.11)
(10.12)
V i = 0 ,
t
(10.13)
198
(10.15)
(10.16)
D h11 1 . (10.18)
h11 1 =2 D11 1 Dh11 1 = 2
h11
t
h11 0
0
hik = 0 h22 h23
(10.19)
0 h32 h33
and hence
2
D11 = h11 D11 ,
h11 =
so that
1
,
h11
D11
D11
= 11 .
h11
h
h11 1 2
1
D11
q
= D 11
t
h
h 1 2
11
(10.20)
(10.21)
(10.22)
(10.23)
199
1 k
h D = 0,
3 i
(11.1)
1
(11.2)
Dik hki D 6= 0 .
t
3
So, in contrast to the dynamical absolute rotation, which can
not appear or disappear, the deformation anisotropy under the
presence of the absolute rotation or the curvature anisotropy
(or, under both factors) can disappear for a moment and then
appear again.
B. If at the point we have
(11.3)
j = 0 ,
Zik
1 k
h Z 0,
3 i
1
1
Dik hki D + D Dik hki D 0 ,
t
3
3
(11.4)
(11.5)
200
1 k
k
V D i hi D 0 .
t
3
C.
(11.6)
1 k
h D0
3 i
(11.7)
are true, then (11.4) are true there as well. So, when the
dynamical absolute rotation is absent and the deformation isotropy remains unchanged, the curvature isotropy manifests.
In other words, mechanical isotropy leads to geometrical isotropy.
D. If at the point conditions (11.4) and (11.7) hold, then the condition (11.3) is true in the point. So, if the space deformation
and the space curvature retain their isotropy unchanged, then
the dynamic absolute rotation is absent.
4.12
We suppose that conditions (11.3), (11.4), and (11.7) hold in a fourdimensional volume. Then we have
0,
Akj 0 ,
j Akj 0 ,
(12.1)
(12.2)
D 1 2
+ D = c2 + c2 ,
t
3
2
1 2
D + c2 Z = c2 + c2 ,
3
D
= 0,
xi
(12.3)
(12.4)
(12.5)
201
0 (x0 , x1 , x2 , x3 )
x
0 = x
(12.6)
x
i = xi ,
i = 1, 2, 3
so that throughout the aforementioned volume, we have
vi 0 ,
(12.7)
e jk 0 .
(12.8)
eik Zik
C
(12.9)
and so
k C
e 0.
eik 1 h
C
3 i
(12.10)
(12.11)
Z
= 0.
xi
(12.12)
= 0.
xi
(12.13)
=
,
t
t
=
i
x
xi
(12.14)
202
+ D = c2 + c2 ,
t
3
2
1 2
D + c2 C = c2 + c2 ,
3
D
C
= 0,
= 0,
= 0,
i
i
x
x
xi
+ D = 0 .
t
(12.15)
(12.16)
(12.7)
(12.18)
Dik 0 ,
(13.1)
hik 6 k t .
(13.2)
k 6 k t .
(13.3)
(13.4)
(13.5)
(13.6)
(13.7)
k = 0
203
(13.8)
= ,
2
(13.9)
Z = + ,
(13.10)
Zik
1 k
h Z = 0.
3 i
(13.11)
D
1
3 2
+ c2 Z + 3j j = 2j j +
c .
t
2
2
Differentiating (7.16) term-by-term, we obtain
2 D 2
1
c Z + 3j j = c2
D
+
.
3
t
t
2
t
2
3
(14.1)
(14.2)
last two of the equalities are direct consequences of (13.9) and (13.10).
204
2
1
+ D c2 Z + 3j j = D 2j j .
(14.3)
t 3
2
3
If, at a given point, we have
2j j 0 ,
(14.4)
2
1
+ D c2 Z + 3j j = 0 ,
t 3
2
1
3
h c2 Z + 3j j = 0 ,
t
2
(14.5)
(14.6)
or, after the primary time coordinate has been used (see 4.8),
1
3
(14.7)
h c2 C + 3j j = 0 .
t
2
In the case where (14.4) is a consequence of the equalities
0,
j j 0 ,
(14.8)
which imply that the space is isotropic at this point (see 3.11),
equations (14.6) and (14.7) take the forms, respectively
3
hZ = 0,
t
3
hC = 0.
t
(14.9)
(14.10)
Thus we see that the equalities (14.5) and (14.6) are generalizations of the equalities (17.4) and (17.6) of 1.17. So (17.4) and
(17.6) can be realized at any given point, if the space is isotropic at
this point and the isotropy remains unchanged.
4.15
h = 0
t
(15.1)
205
M
= 0,
(15.2)
t
where M is the mass of a volume element of the accompanying
space, or equivalently, the mass of an element of the substance in
the space.
Because this space accompanies the substance (in other words,
this is the accompanying space (see formula 6.2 of 3.6), we have
so that
dM
M
=
,
dt
t
dM
= 0.
dt
Because the energy of the element is
E = M c2 ,
we have
(15.3)
(15.4)
(15.5)
dE
= 0.
(15.6)
dt
Instead of the equality (7.13), which is a particular case of (12.9)
in 3.12, we can use the equality
dE
= 0,
(15.7)
dt fix
(15.8)
dE
=0
(15.9)
dt
for any choice of the time coordinate, so the mass and energy of
the element of the substance remain unchanged.
Finally, we can write the density of the element at this point,
because of (13.2) and (13.3) of 3.13, in the form
= ,
h
Formula
6k t .
(15.10)
206
4.16
h 6 0
(16.1)
is true at the point we are considering, we can write criteria for
the extrema as follows: the necessary criteria of the minimum
2 h
h
> 0,
(16.2)
= 0,
t
t2
the sufficient criteria of the minimum
2 h
h
= 0,
> 0,
(16.3)
t
t2
the necessary criteria of the maximum
h
2 h
6 0,
(16.4)
= 0,
t
t2
the sufficient criteria of the maximum
2 h
h
= 0,
< 0.
(16.5)
t
t2
On the one hand, we have
h
c2 h
= 2
,
t
c w t
2
2
c2
c2 w h 2 h
h
=
,
+
c2 w
c2 w t t
t2
t2
h
= hD,
t
h
D
2
h
=
,
+
D
t2
t
(16.6)
(16.7)
Here and in what follows, where we do not say the inverse, we mean regular
extrema.
h
w
hD,
= 1 2
t
c
2 h
w 2 D
w
2
.
+ D D
= h 1 2
t2
c
t
t
207
(16.8)
D
> 0,
t
D
> 0,
t
D
6 0,
t
D
< 0.
t
(16.9)
(16.10)
(16.11)
(16.12)
The criteria, and hence the maxima and minima are independent of our choice of time coordinate. Note that the criterion
for non-accelerated transformations of the volume (thisis the necessary criterion for the inflection point of the function h) is
2 h
=0
(16.13)
t2
or, in the alternative form
2
w
c2
D
D
+ D2
= 0,
(16.14)
2
c w
t
t
so the accelerated and non-accelerated transformations are dependent on our choice of time coordinate. Taking a time coordinate
so that
w = 0,
(16.15)
D
+ D2 = 0 ,
t
(16.16)
208
4.17
Considering
the cosmological equations, we see that the function
6
(17.1)
= h.
Denoting chr.inv.-differentiation with respect to time by an asterisk, we can write
ln h
D=
=3 ,
(17.2)
t
2
D
(17.3)
=3
2 .
= 0,
= 0,
= 0,
= 0,
> 0,
> 0,
6 0,
< 0.
(17.4)
(17.5)
(17.6)
(17.7)
3
,
2
+ 3j j = 3 2 .
2
(17.8)
(17.9)
209
+ 3 = 0,
(17.10)
= + ,
2
2c
2
(17.11)
+ 3 2 2 = + ,
2
c
c 2
(17.12)
c2
and the equation (14.3), after its multiplication by 2 term-byterm, takes the form
= .
(17.13)
Any of the four equations (17.1017.13) can be obtained as a
consequence of the other three. So equation (17.12), because of equations (17.10) and (17.13), is the first integral of equation (17.11).
Therefore we can, in particular, take (17.10), (17.12), (17.13) as the
initial equations. Instead of the latter, we can also take
Z
= dt ,
(17.14)
where the dot implies regular differentiation with respect to an
arbitrary time coordinate. Eliminating the curvature criterion, we
arrive at two cosmological equations, namely
+3 = 0
,
(17.15)
2
3
dt = +
3 2 2+ 2 2
c
c
Z
2
3
3 2 2+ 2 2
(17.16)
dt = 3 + ,
c
c
which leads to
,
3
6k t .
(17.17)
Compare the equations with equations (4.2), (5.1), (5.4) for homogeneous
models (see 1.4 and 1.5).
210
211
We fix the spatial coordinates, so we consider xi , , and as functions of only the time coordinate. At the same time, the time coordinate is linked to the function by a mutually-unique relation in
every interval, where this function undergoes monotonic changes.
Therefore, in each of the aforementioned intervals, we can consider
and as functions of . Inspecting (17.13), we see that
Z
=,
= d .
(18.1)
3 3
+
=
+ ,
2
2
c
2c
2 2
(18.2)
3 2
3
+
= + 2 ,
2
2
c
c
(18.3)
212
0.
(18.4)
0,
(18.5)
i. e. when the mechanical isotropy, and hence the geometrical isotropy, remain unchanged at the given point we are considering
(see 4.11). Because of (18.4), and taking (18.1) into account, we
obtain
(18.6)
= const T 0 .
So, in this case, we have 0. In other words, three kinds of
the curvature criterion are possible under conditions (18.5):
(1) the curvature criterion is positive;
(2) the curvature criterion equals zero;
(3) the curvature criterion is negative.
We introduce notation for the cases: I1 , I2 , I3 . In addition, we
introduce
R = R (t)
(18.7)
so that, at the point we are considering, we have
R
= ,
c2 2
k
,
R2
k = 0; 1 .
(18.8)
(18.9)
> 0.
(18.10)
213
j j = 0 ,
(18.11)
i. e. under anisotropic (generally speaking) deformations in the absence of the dynamical absolute rotation at the point we are considering.
Because of (18.10), and taking (18.1) into account, we conclude
that the curvature criterion does not decrease if increases, and
also that the curvature criterion does not increase if decreases. It
is evident that the following cases are possible:
(1) the curvature criterion is positive for the minimum numerical value of , so the curvature criterion is positive for all
numerical values of in the interval we are considering;
(2) the curvature criterion equals zero at one of the boundaries,
or inside the interval. In particular, when transits from
smaller numerical values to the larger ones, the negative curvature criterion can become positive;
(3) the curvature criterion is negative for the maximum numerical value of , and hence the curvature criterion is also negative for all numerical values of in the interval.
We will refer to the cases as II1 , II2 , and II3 .
Case III (the general case):
T0.
(18.12)
When a volume element we are considering approaches the asymptotic state of infinite density, we have
p = 0 ,
p = 0 ,
p = 0.
(19.1)
214
q = 0 ,
q > 0.
(19.2)
(19.3)
+ .
(19.4)
r 6= 0
r = 0 ,
(19.5)
and (18.3) leads to (19.4) and, hence (19.3). From the foregoing we
conclude that: in the cases I1 , I2 , I3 , II1 , II2 , II3 , III3 the asymptotic,
minimum, and collapsed states of the infinite density are impossible; in the cases III1 and III2 the aforementioned states are possible only under the specific evolution of the curvature criterion.
On the possibility of states which are not prohibited by the foregoing results, see 4.25.
When the volume element approaches the special state of infinite density, we have
.
0,
(19.6)
It is evident that under the specific sequence by which approaches infinity, the special states of infinite density are conceivable in all the cases of 4.18 (see 4.25 for the details).
4.20
We assume that
(20.1)
215
(20.2)
(20.8)
0,
0,
(21.1)
so formulae (18.2) and (18.3) give, in their limits,
3
= 2 + ,
2c2
(21.2)
216
=
+ 2 .
c2
(21.3)
= 0,
>0
(21.4)
6 2 + ,
2c2
(21.5)
while (18.3) transforms into (21.3). So, both in an unchanged volume and in minimum volume we have
3
< ,
(21.6)
2c2
3
> 2 .
(21.7)
c2
Let us consider the cases where the cosmological constant is
positive, zero, or negative, just as we did in 4.20.
With the cosmological constant positive, equation (21.7) implies
that the transit through the state of minimum volume and also the
asymptotic approach to the state of unchanged volume from above
are impossible in the cases I2 , I3 , II2 , II3 , III3 , while the asymptotic
approach from below is impossible in the cases I2 , I3 , II3 , III3 .
If the cosmological constant is zero, equations (21.6) and (21.7)
imply that the transit through the state of minimum volume and
also the asymptotic approach to the state of unchanged volume
(from above or below) are impossible in the cases I1 , I2 , I3 , II1 , II2 ,
II3 , III3 .
Finally, if the cosmological constant is negative, equations (21.6)
and (21.7) imply that the transit through the state of the minimum
volume and also the asymptotic approach to the state of unchanged
volume are impossible in the cases I1 , I2 , I3 , II1 , II2 , II3 .
4.22
= 0,
60
(22.1)
> 2 + ,
2c2
(22.2)
=
+ 2 ,
c2
so that
c2
217
(22.3)
(22.4)
3
> 2 .
c2
(22.5)
1 = 0 = 2 ,
> 0 > 2 .
(23.2)
(23.3)
218
4.24
In 4.194.23 we ascertained numerous prohibitions and limitations on the evolution of the volume element, due to equations (18.1)
and (18.3) or equivalently, by equations (7.13), (7.15), (7.16). So
the problem we have stated in 4.17 has been solved. It is easy
to see the prohibitions are generalizations of those prohibitions
on the evolution of any element of a homogeneous universe, the
cosmological equations resulted when the pressure becomes zero.
The prohibitions can also be found by considering an area of
real deformations of the element in the plane , , the area, where
> 0,
2 > 0 .
Because of (18.3), equation (24.2) leads to
c2
+ 2 .
6
3
(24.1)
(24.2)
(24.3)
= 3
.
(24.5)
2
+ ,
,
(24.6)
+ .
(24.7)
219
0.
(24.8)
Finally, if the cosmological constant is negative, then the ultimate curve is monotonic (like the previous case) decreasing function.
In this case the curve is convex with respect to the abscissa axis
and intersects the axis at the point
r
=3
,
(24.9)
(24.10)
(24.11)
6 0.
(24.12)
= .
(24.13)
The special states of infinite density are all points on the ordinate axis. The asymptotic, minimum, and collapsed states of infinite
density are the points
= 0,
= +
(24.14)
on this axis.
The states of unchanged volume, the minimum volume, and the
maximum volume are points on the ultimate curve. The asymptotic
220
approach to a state of unchanged volume is, it is easy to understand, the approach to the point of this state along a curve, a tangential line to which at this point is the same as the tangential line
to the ultimate curve.
4.25
We will label each kind of evolution of the volume element by various letters, denoting the states the element evolves through (the
states are boundaries of the monotonic change of the volume). In
this terminology, the kinds of evolution we consider in the theory
of a non-empty homogeneous universe will be denoted as follows:
A1 sA (expansion) or As (contraction);
A2 aD (expansion) or Da (contraction);
M1 sD (expansion) or Ds (contraction);
M2 DmD ;
O1 sM s ;
O2 . . . mM mM . . .
It is evident that the number of kinds of evolution of the element
which are conceivable inside the interval of its monotonic transformations is 18, if the volume expands, and the same number if the
volume contracts (6 kinds of minimum value and 3 kinds of the
maximum value). Let us make a list of the kinds of evolution when
the element expands (by changing the subscript letters we obtain
the corresponding kinds of contraction).
1. Transformations of the volume, limited by its finite value only
from below: aD, mD.
2. Transformations of the volume, limited by its finite value
from below and above: aA, aM , mA, mM .
3. Transformations of the volume, limited by its finite value only
from above: pA, pM , qA, qM , rA, rM , sA, sM .
4. Unlimited transformations: pD, qD, rD, sD.
The kinds aD, mD and the corresponding kinds of contraction
are impossible in the cases (see 4.20 and 4.21)
II2 , II3 ;
III3
>0:
I 2 , I3 ;
< 0 : I , I , I ; II , II , II ; III ,
1
221
< 0 : I , I , I ; II , II , II
1
I 1 , I 2 , I3 ;
III3 .
(25.3)
>0:
I 2 , I3 ;
II3 ; III3
< 0 : I , I , I ; II , II , II
1
I 2 , I3 ;
II3 ;
III3 .
(25.5)
The kinds pD, qD, rD and the corresponding kinds of contraction are impossible in the cases (see 4.19 and 4.20)
)
III3
> 0 : I1 , I2 , I3 ; II1 , II2 , II3 ;
.
(25.6)
6 0 : I1 , I2 , I3 ; II1 , II2 , II3 ; III1 , III3
The kind sD and the corresponding kind of contraction are
impossible in the cases (see 4.19 and 4.20)
)
= 0 : I1 ;
II1 ;
III1
.
(25.7)
< 0 : I1 , I2 , I3 ; II1 , II2 , II3 ; III1
We have listed those cases for each type of evolution prohibited
by the limitations we have obtained from equations (7.13), (7.15),
(7.16) in 4.194.23. Considering the ultimate curve in an area
of real deformations (see 4.24), we see that each kind is possible
(more exactly, permitted by equations 7.13, 7.15, and 7.16) in all
222
where we denote
2
,
x x
(26.3)
=F
1 , x
2 , x
3 ; g00 , g01 , . . . , g33 ;
x
0 , x
x
3 x
3
(26.4)
g 00
g 00
g 33
2 g 2 g
2 g
,
,...,
;
, 0 1,..., 3 1 .
x
0 x
1
x
3
x
0 x
0 x
x
x
x
However,
I1
>0
aD (A2 ), mD [ M2 ]
sA (A1 )
sM [ O1 ]
sD (M1 )
223
I2
I3
sD (M1 )
sD (M1 )
sD (M1 )
sD (M1 )
sM [ O1 ]
sM [ O1 ]
=0
sM [ O1 ]
<0
sM [ O1 ]
II1
>0
aD (A2 ), mD
aA, aM , mA, mM
sA (A1 )
sM
sD (M1 )
II2
II3
sA (A1 )
sM [ O1 ]
sD (M1 )
sD (M1 )
sM [ O1 ]
sD (M1 )
sD (M1 )
sM [ O1 ]
sM [ O1 ]
=0
sM [ O1 ]
<0
sM [ O1 ]
aA, aM , mA, mM
pA, pM , qA, qM , rA, rM
sA (A1 )
sM
aA, aM , mA, mM
pA, pM , qA, qM , rA, rM
sA (A1 )
sM
III3
sD (M1 )
sA (A1 )
sM
aD (A2 ), mD
aA, aM , mA, mM
sD (M1 )
aD (A2 ), mD
aA, aM , mA, mM
pA, pM , qA, qM , rA, rM
sA (A1 )
sM
pD, qD, rD
sD (M1 )
aD (A2 ), mD
aA, aM , mA, mM
pA, pM , qA, qM , rA, rM
sA (A1 )
sM
pD, qD, rD
sD (M1 )
sD (M1 )
aD (A2 ), mD
aA, aM , mA, mM
pA, pM , qA, qM , rA, rM
sA (A1 )
sM
pD, qD, rD
sD (M1 )
III2
Table 4.3 Kinds of evolution of the element in Case III (the general case).
<0
=0
>0
aD (A2 ), mD
aA, aM , mA, mM
pA, pM , qA, qM , rA, rM
sA (A1 )
sM
pD, qD, rD
sD (M1 )
III1
224
225
In such a case we can use the general theorem concerning integrals, which satisfy the given initial conditions for
x
3 = a
3 = const ,
x0 , x
1 , x
2 ) ,
g = f (
= f3 (
x0 , x
1 , x
2 ) .
x
3
(26.5)
(26.6)
(26.8)
where we denote
x x
f = f
.
(26.10)
x
x
a
Thus, 10 values of f are linear functions of 10 values of f a ,
6 of which can be given arbitrarily. Forthis reason, we can preassign the 6 values of f instead of f a .
The foregoing implies that at a given point of the space, preassigning numerical values of w, v 1 , v 2 , v 3 as functions of the time
We suppose that all the necessary requirements of continuity and differentiability are realized.
Beside the regular requirements of continuity and that their continuous first
derivatives must exist.
The index a here implies that we consider all the functions, which have
been contained by the brackets, along the world-line of the point (26.8) of the
accompanying space in the harmonic coordinate frame.
226
(26.11)
w
= 0,
xi
(26.12)
vi = 0 ,
(26.13)
Equations (7.13) and (7.15) establish the 6th value of all numerical values of hik and ;
Equation (7.15) establishes the value of Z ;
So we see that to presuppose all 6 values of f ik when (26.11) has been
presupposed, is prohibited by the cosmological equations for the given point.
227
228
The r
oles of absolute dynamic rotation and deformation anisotropy
j j = 0 .
(28.1)
0,
= const ,
(28.2)
4.28 The roles
of absolute rotation and anisotropy
and on the other hand
c2 Z = 3
.
2
229
(28.3)
In 4.14 we saw (it is also seen from formula 28.3) that, if the
isotropy is at the point and remains unchanged, then the mean
curvature at the point transforms in company with transformations
of the volume of the element just as for a homogeneous universe.
Considering formula (28.2), we obtain (see Table 4.1, taking 28.3
into account) that the kinds of evolution of the volume element,
possible for a given cosmological constant and mean curvature (in
the sense of its sign or if it is zero), are the same as for a homogeneous universe. Moreover, we saw in 4.18 that equations (7.13),
(7.15), (7.16), under the conditions (28.2) at the given point, can be
transformed into their regular form for a homogeneous universe.
The dynamic absolute rotation is absent when the deformations
are anisotropic
We assume that the dynamic absolute rotation at this point is
again absent, while the deformation anisotropy is present
> 0,
j j = 0 .
(28.4)
.
2
(28.5)
(28.6)
230
nonpositive mean curvature, only those kinds of evolution are possible which are also possible for a homogeneous universe for the
same cosmological constant and the same nonpositive curvature.
The presence of the dynamic absolute rotation when the deformations are anisotropic
We assume that the deformation anisotropy and the dynamical
absolute rotation are present at the point we are considering. Let
us consider the general case, where can be greater than, equal
to, or less than 2j j . Then it is evident that we have
T0,
c2 Z T 3
.
2
(28.7)
(28.8)
Bibliography
1. Tolman R. C. Relativity, thermodynamics, and cosmology. Clarendon
Press, Oxford, 1934.
2. Milne E. A. Relativity, gravitation, and world-structure. Clarendon
Press, Oxford, 1935.
3. Robertson H. P. Proc. Nat. Acad. Sci. USA, 15, 822, 1929.
4. Einstein A. Berlinere Berichte, 142, 1917
5. Friedmann A. Zeitschrift fur
Physik, 10, 377, 1922.
6. Einstein A. Berlinere Berichte, 235, 1931.
7. Eddington A. S. The mathematical theory of relativity. 3rd exp. ed.,
GTTI, Moscow, 1934.
Springer, Berlin, 1928.
8. Levi-Civita T. Das absolute Differentialkalkul.
9. de Sitter W. Kon. Ned. Acad. Amsterdam Proc., 19, 1217, 1917.
10. de Sitter W. Monthly Notices, 78, 3, 1917.
11. Lematre G. Journal of Mathematical Physics, 4, 188, 1925.
12. Friedmann A. Zeitschrift fur
Physik, 21, 326, 1924.
13. Lanczos K. Physikalische Zeitschrift, 23, 539, 1922.
14. Weyl H. Physikalische Zeitschrift, 24, 230, 1923.
15. Lematre G. Ann. Soc. Sci. Bruxelles, 47A, 49, 1927; Monthly Notices,
91, 483, 1931.
16. Lematre G. Bull. Astron. Inst. Netherlands, 5, 273, 1930.
17. Heckmann O. Gottingene Nachrichten, 97, 1932.
18. Robertson H. P. Review of Modern Physics, 5, 62, 1933.
19. Eddington A. S. Monthly Notices, 90, 668, 1930.
20. Tolman R. C. Proc. Nat. Acad. Sci. USA, 14, 268, 1928.
21. Tolman R. C. Proc. Nat. Acad. Sci. USA, 14, 701, 1928.
22. Tolman R. C. Physical Review, 37, 1639, 1931.
23. Tolman R. C. Physical Review, 38, 797, 1931.
24. Tolman R. C. Physical Review, 39, 320, 1932.
25. Milne E. A. Quart. Journal of Math., 5, 64, 1934.
26. McCrea W. H. and Milne E. A. Quart. Journal of Math., 5, 73, 1934.
27. Eigenson M. S. Zeitschrift fur
Astrophysik, 4, 224, 1932.
28. Eddington A. S. Relativity theory of protons and electrons. Cambridge
Univ. Press, Cambridge, 1936.
29. Einstein A. and de Sitter W. Proc. Nat. Ac. Sci. USA, 18, 213, 1932.
232
30.
31.
32.
33.
34.
35.
36.
37.
38.
39.
40.
41.
42.
43.
44.
45.
46.
47.
48.
49.
50.
51.
52.
53.
54.
55.
56.
57.
58.
59.
60.
61.
62.
63.
64.
Bibliography
Tolman R. C. Physical Review, 38, 1758, 1931.
Lanczos K. Zeitschrift fur
Physik, 17, 168, 1923.
Hubble E. P. Astrophysical Journal, 64, 321, 1926.
Hubble E. P. Proc. Nat. Acad. Sci. USA, 15, 168, 1929.
Hubble E. P. and Humason M. L. Astrophysical Journal, 74, 43, 1931.
Shapley H. and Ames A. Harvard Annals, 88, 43, 1932.
Hubble E. P. Astrophysical Journal, 79, 8, 1934.
Hubble E. P. Astrophysical Journal, 84, 517, 1936.
Hubble E. P. and Tolman R. C. Astrophysical Journal, 82, 302, 1935.
McVittie G. C. Monthly Notices, 97, 163, 1937.
McVittie G. C. Cosmological theory. Ch. IV. Methuen Monographs,
London, 1937.
McVittie G. C. Monthly Notices, 98, 384, 1938.
McVittie G. C. Zeitschrift fur
Astrophysik, 14, 274, 1937.
McCrea W. H. Zeitschrift fur
Astrophysik, 9, 290, 1935.
Eddington A. S. Monthly Notices, 97, 156, 1937.
Shapley H. Proc. Nat. Acad. Sci. USA, 24, 148, 1938.
Shapley H. Proc. Nat. Acad. Sci. USA, 24, 527, 1938.
Shapley H. Monthly Notices, 94, 791, 1934.
Shapley H. Proc. Nat. Acad. Sci. USA, 21, 587, 1935.
Shapley H. Proc. Nat. Acad. Sci. USA, 19, 389, 1933.
Shapley H. Proc. Nat. Acad. Sci. USA, 24, 282, 1938.
McCrea W. H. Zeitschrift fur
Astrophysik, 9, 98, 1939.
Mason W. R. Philosophical Magazine, 14, 386, 1932.
Fesenkov V. G. Doklady Acad. Nauk USSR, new ser., 15, 125, 1937.
Fesenkov V. G. Soviet Astron. Journal, 14, 413, 1937.
Krat V. A. Proc. Phys.Math. Soc., Kiev Univ., ser. 3, 193637.
Eigenson M. S. Doklady Acad. Nauk USSR, new ser., 26, 759, 1940.
Cartan E.-J. La ge ometrie des espaces de Riemann (The geometry of
Riemannian spaces). ONTI, MoscowLeningrad, 1936.
Lamb H. Hydrodynamics. 5th ed., Cambridge Univ. Press, Cambridge, 1930.
Lanczos K. Physikalische Zeitschrift, 23, 537, 1922.
Fock V. A. Soviet Physics JETPUSSR, 9, 375, 1939.
Eisenhart L. P. Trans. Amer. Math. Soc., 26, 205, 1924.
Kochin N. E. Vector calculus and the foundations of tensor analysis.
6th ed., GONTI, MoscowLeningrad, 1938.
Cartan E.-J. Integral invariants. GITTL, MoscowLeningrad, 1940.
Landau L. D. and Lifshitz E. M. The classical theory of fields. GITTL,
MoscowLeningrad, 1939.
Index
absolute rotation 195
chr.inv.-velocity 143, 195
accompanying frame of reference 184
local 183
anisotropy
degree of anisotropy 195
geometrical 195
of the curvature 199
of deformations 195, 199
mechanical 195
chr.inv.-curvature
invariant 114
of the 2nd rank 113
of the 4th rank 113
chr.inv.-differentiation 68
chr.inv.-operators 70
chr.inv.-divergence 92
physical divergence 173
chr.inv.-form of the equation of
gravitation 177, 180
chr.inv.-metric tensor 78
chr.inv.-rotor 99
chr.inv.-tensor of the rate of deformations 82
chr.inv.-tensors 66
chr.inv.-vector of velocity 81
co-differentiation 68
cosmological equations
chr.inv.-form 192
of energy 49, 190
of gravitation 49, 190
cosmological principle 17
co-tensors 66
curvature of space 121
Einsteins chr.inv.-tensor 96