To the Solution of a Spherically Symmetric Problem of General Relativity ()
1. Introduction
To demonstrate the problems discussed in the paper, consider the traditional formulation of the problem in General Relativity (GR). The basic equations of the general relativity specify the Einstein tensor which has the following form:
(1)
in which
are the components of the Ricci curvature tensor,
and
is the metric tensor specifying the line element
(2)
in a four-dimensional Riemannian space. The Einstein tensor is associated with the energy-momentum tensor as
(3)
where
(4)
is the relativity gravitational constant expressed in terms of the classical gravitation constant G and the velocity of light c. We consider the original GR which is a phenomenological theory based on the traditional model of space as a homogeneous isotropic continuum whose microstructure is ignored. Within the framework of this model, the energy-momentum tensor has the following form:
(5)
Here,
is the stress tensor induced in the continuum by gravitation,
is the 4-velocity vector and
is the continuum density. The energy-momentum tensor must satisfy four conservation equations, i.e.,
(6)
The Einstein tensor in Equation (1) has a special structure. As follows from Equation (3), it satisfies Equations (6), i.e.,
(7)
For the continuum which simulates an empty space (vacuum), we have
,
. Thus,
and, in accordance with Equation (3),
(8)
In four-dimensional empty Riemannian space, ten Equations (8) contain ten unknown components of the metric tensor
. As known [1], the set of Equations (8) is not complete—only six of these equations are mutually independent because the left-side parts of them identically satisfy Equations (7). Traditional approach is associated with four coordinate conditions [1] with which Equations (8) should be supplemented to arrive at the solution. However, the general form of these conditions is not known.
In the paper, this problem is demonstrated and discussed for the spherically symmetric problem which reduces to ordinary differential equations that can be solved analytically. The general form of the line element in Equation (2) in spherical coordinates
is
(9)
For a static problem, the components of the metric tensor depend on the radial coordinate only. Traditionally [1] [2] [3], Equation (9) is reduced to the following form:
(10)
in which
corresponds to the Euclidean space. According to the traditional transformation, put
and introduce a new coordinate
. Omitting the prime, we get
and arrive at Equation (10). However, the undertaken transformation is valid for the infinite space for which
and the difference between r and
is not significant. If we have in space a spherical object with radius
, we cannot determine the corresponding value of
and study the problem. We further consider the gravitation field for the sphere with given radius and cannot use the transformation resulting in Equation (10).
Consider the gravitation field in the outer empty space of the sphere with radius R (
). For the line element in Equation (9), the field equations, Equations (1), become [4]
(11)
(12)
(13)
where
. As can be seen, Equations (13) and (11) allow us to express
and
in terms of
. The general solution of these equations is [5]
(14)
in which
and
are the integration constants. Substituting Equations (14) in Equation (12), we can conclude that this equation is satisfied identically with any function
. It looks like this function can be arbitrary chosen and the GR solution corresponding to the line element in Equation (9) is not unique. As mentioned above, Equations (11)-(13) should be supplemented with an additional coordinate condition. Thus, the first problem discussed further is the problem of the coordinate condition.
Consider the internal space (
) of a solid sphere. The second problem is associated with conservation Equation (6). For the line element in Equation (9), this equation reduces to
(15)
For a static problem, we have
, i.e., the mixed components of the energy-momentum tensor coincide with the physical components of the stress tensor in spherical coordinates. Then, Equation (15) is the equilibrium equation analogous to the corresponding equation in the theory of elasticity [6]. In this theory, the equilibrium equation is supplemented with the compatibility equation [6] and the set of two equations allows us to determine two stresses
and
. However, the compatibility equation which states that the space inside the stressed sphere is Euclidean does not exist in the Riemannian space. Thus, the second problem discussed further occurs—GR does not provide the complete set of equations to determine the stresses induced in a solid continuum by gravitation.
To solve the foregoing problems, a special geometry of the Riemannian space is proposed in the paper. According to this geometry, the four-dimensional Riemannian space is assumed to be Euclidean with respect to space coordinates and Riemannian with respect to the time coordinate.
2. Spherically Symmetric Problem—Existing Solutions
Consider the solution corresponding to the Newton gravitation theory. For the Euclidean space, we have
and Equations (11)-(13) are satisfied identically. In terms of GR, the metric tensor corresponding to the Newton gravitation theory has the following components [1]:
(16)
Here,
(17)
is the so-called gravitation radius depending on the mass m of the spherical object which induces gravitation. The equilibrium Equation (15) reduces to [6]
(18)
Since the space is Euclidean with respect to coordinates
, we can introduce the radial displacement
and the strains
(19)
Eliminating
, we arrive at the compatibility equation
(20)
Note that this equation is valid for any displacement and strains which means that it can be used to solve linear and nonlinear problems. Assume that the sphere is linear elastic. Then the strains can be expressed in terms of stresses with the aid of Hooke’s law
Substituting the strains in Equation (20), we get the compatibility equation in terms of stresses. Adding this equation to Equation (18), we arrive at two equations for two stresses induced by gravitation.
To analyze the Newton solution, determine the escape velocity for the sphere with radius R. Using Equation (17), we can present the radial motion equation of the Newton theory as
(21)
Introduce a new variable u
(22)
Then, Equation (21) becomes
Integration yields
(23)
For the Euclidean space, the coordinate velocity u coincides with the physical velocity v. The minimum value of the escape velocity can be found from Equation (17) if we take
. Then,
(24)
As can be seen,
for a spherical object with radius
and the sphere with such radius becomes invisible. This result was obtained in the end of the 18th century by J. Michel and P. Laplace.
As known [3], there exist experiments which allow us to check the solution. We use here one of these experiments, particularly, the experiment that determines the shift angle for the light ray deviation from the straight trajectory in the vicinity of Sun. The experimental value is 1.75" [7], whereas the Newton theory yields only one half of this result.
Consider the Schwarzschild solution of GR equations. Return to Equations (14) and determine the integration constants
and
from the asymptotic condition according to which the solution must reduce to the classical solution in Equations (16) for
. Assuming that
, we get
,
and the solution in Equations (14) becomes
(25)
As can be seen, to obtain the final solution we need to assign the function
. The problem was solved in 1916 by K. Schwarzschild under the condition
. We discuss the modern form of this solution [4]. Originally, K. Schwarzschild used a different condition which can be reduced to
[8]. Putting
in Equations (25), we arrive at the following metric coefficients for an empty space:
(26)
This solution is singular at
. The sphere with radius
is referred to as the horizon of events of the Black Hole. This term is associated with the expression for the escape velocity corresponding to the Schwarzschild solution. The motion equation which generalizes Equation (21) has the following form [9]:
(27)
The solution of this equation that specifies the coordinate escape velocity is [9]
Physical escape velocity can be found with the aid of Equations (26) as
(28)
This result coincides with Equation (24) for the Newton theory and means that the Black Hole becomes invisible if
. Analysis of the shift angle for the light beam in the vicinity of Sun yields the result that is in agreement with the experimental value [3]. The Schwarzschild solution is characterized with an interesting property. To demonstrate it, consider the dynamics problem for which metric coefficients
and
depend on the radial coordinate r and time t. Then, the static field equations, Equations (11)-(13), are generalized as
Here,
are specified by Equations (11)-(13) and
. For the Schwarzschild solution, taking
, we can conclude that
and
,
. Thus, the equations for
and
are the same that for the static problem. Consequently, the static solution in Equations (26) is valid for the dynamic problem as well. This result is known as the Birkhoff theorem [4] according to which the solution of a spherically symmetric problem is static.
Consider the internal space of a solid sphere. The equilibrium Equation (15) becomes
(29)
This equation includes two stresses. Compatibility Equation (20) does not exist in the Riemannian space. Thus, the stresses cannot be found for the space with the metric coefficient
. If the sphere consists of a perfect incompressible fluid,
, where p is the pressure, Equation (29) reduces to
This equation, in principle, allows us to determine the pressure. We do not proceed, because a perfect incompressible fluid is not a proper continuum model in GR. In this model, perturbations propagate with infinitely high velocity, whereas in GR the velocity cannot be higher than c.
There exist some other solutions of a spherically symmetric GR problem based on various coordinate conditions [10] [11] [12] [13]. Particularly, consider the application of the so-called harmonic coordinate condition [3] which has the following form:
The solution of this equation in conjunction with Equations (25) is [10]
As can be seen, this solution is singular at
.
3. Spherically Symmetric Problem—Solution Based on a Special Geometry of Space-Time
To introduce the special geometry, undertake the following virtual experiment. Assume that we observe a solid sphere in space. According to GR, the gravitation inside the sphere induces internal Riemannian geometry for which the ratio of the sphere circumference to its diameter in not equal to π. As known [14], a three-dimensional object with Riemannian geometry can be embedded in a six-dimensional Euclidean space. However, observing the sphere in a three-dimensional Euclidean space, we can measure the length of the sphere circumference and the sphere diameter and conclude that the ratio of the measured parameters is equal to π just because we observe the sphere. The foregoing discussion allows us to suppose that gravitation induces the special Riemannian space such that the space is Euclidean with respect to space coordinates and is Riemannian with respect to time.
In spherical coordinates, the line element can be presented in this case as
(30)
The Einstein equations, Equations (1), have a cumbersome form and are not presented here (for example, the equation for
which is one of six equations contains 35 terms). The coefficients of these equations include coordinate
which means that the metric form (30) does not correspond to a spherically symmetric problem. So, we have two possible versions—to take
or
. The first three field equations in case
are
(31)
The rest equations are not presented here for the sake of brevity. The solution of the second Equation (31) is
. It does not satisfy the asymptotic condition
. Thus, the only one possible form of the line element corresponding to
is
(32)
In this case, Equations (1) become (we use contravariant tensor components to simplify the equations)
(33)
(34)
(35)
(36)
For the space with the line element in Equation (32), tensor E satisfies two conservation equations that follow from Equation (7). These equations take the simplest form if we use mixed tensor components, i.e.,
(37)
(38)
Thus, only two of Equations (33)-(36) are mutually independent. Consider Equations (35) and (36) which yield
(39)
These equations include two unknown functions and the problem of additional coordinate conditions does not occur. The general solution of Equations (39) is
Integration constants
and
can be found from the asymptotic condition according to which the obtained solution must reduce to equations (16) for
. The result is
and the final solution becomes
(40)
Substituting this solution in Equations (33) and (34), we can prove that they are satisfied identically. Thus, the Einstein equations and the asymptotic conditions are satisfied. The constructed space has the following line element:
(41)
The line element in Equation (41) corresponds to the so-called Gullstand-Painlever coordinates and was found in 1921-22 [15] [16] [17] [18] as a result of the coordinate transformation of the line element in Equation (10) corresponding to the Schwarzschild solution (26). Here, Equation (41) is not associated with the Schwarzschild Riemannian space. It corresponds to the special space introduced above which consists in the general case of a three-dimensional Euclidean space and the non-Newtonian coordinate which appears only in time. The total space is Riemannian—the non-zero components of the curvature tensor are
To analyze the obtained solution, determine the escape velocity. The motion equation analogous to Equation (27) is
Introducing a new variable
in accordance with Equations (22), we get
Using the following transformation
We can reduce this equation to
This is the Abel equation whose solution which satisfies the condition
is [19]
(42)
To determine the physical escape velocity, we need to transform the matrix of the metric coefficients to the diagonal form. To specify the line element of the space-time radial trajectory, take
in Equation (32) to get
Using identical transformations, we have
Substitution of Equations (40) and (42) yields
As can be seen, the expression for
corresponds to the Schwarzschild solution in Equations (26). Finally, we arrive at the following equation for the escape velocity:
This result coincides with Equation (28) for the Schwarzschild solution and means that the spherical object with radius R becomes invisible if
. However, there is a principal difference between the obtained and the Schwarzschild solutions—the metric coefficients in Equations (40) are not singular and
is not the radius of the horizon of events.
To determine the angle for the light beam deviation in the vicinity of Sun for the space with the line element in Equation (41), we follow the procedure used for the Schwarzschild solution [3]. Consider the light beam trajectory in the equatorial plane (
) of the sphere with radius R. The deviation angle can be found as [3]
(43)
Take
in Equation (41) and apply identical transformations to present it in the following form:
(44)
where
(45)
Geodesic line is specified by the following equations:
(46)
(47)
(48)
Here p is some parameter that is counted along the trajectory and can be arbitrary chosen. The solution of Equation (48) is
We can take the parameter p such that
and get
(49)
The first integral of Equation (47) is
(50)
Consider Equation (46). Using Equations (49) and (50), we can reduce it to
Integration yields
(51)
We can prove that
. Indeed, transform Equation (44) with the aid of Equations (49)-(51) as
However, for the light beam
, so
. Using Equation (50) to change
to
in Equation (51), we arrive at
(52)
Now, take into account that the light beam trajectory has a symmetric configuration and passes the sphere in the vicinity of its surface
. Then, at
we have
. This condition allows us to find
from Equation (52) and to present the result in the following form:
Finally, the corresponding term in Equation (43) becomes
As for the Schwarzschild solution [3], this integral can be reduced to elliptic integrals. However, integration can be considerably simplified if we take into account that the ratio
is small in comparison with unity. Particularly for Sun,
and we can linearize the functions
and
in Equations (45) with respect to the ratio
. Neglecting relatively small terms, we finally get
Then, Equation (43) yields
. For Sun, the numerical result is
which is in agreement with the experiment.
Now, assume that the metric coefficients
and
in Equation (32) depend on the radial coordinate and time. The field equations that generalize Equations (33)-(36) are
(53)
(54)
(55)
Here,
are specified by Equations (33)-(36). As can be seen, equations (55) coincide with Equations (35) and (36) whose solution in Equations (40) does not depend on time. Thus, the spherically symmetric problem for the space with the line element in Equation (41) has only a static solution. This result is analogous to the Birkhoff theorem in the Schwarzschild solution (Section 2).
Consider the internal space (
) of a solid sphere. Since the space with the line element in Equation (41) is Euclidean in coordinates
, the compatibility Equation (20) of the Newton theory is valid and, being added to the conservation equations, allows us to determine the stresses.
4. Conclusion
The special geometry of the four-dimensional Riemannian space induced by gravitation is proposed. This geometry is Euclidean with respect to the space coordinates and is Riemannian with respect to the time coordinate. Field equations for a spherically symmetric problem yield the solution known as Gullstrand-Painleve solution which, in contrast to the classical Schwarzschild solution, is not singular. The obtained solution allows us to suppose the existence of invisible spherical objects with finite level of gravitation.