We start with a recently introduced spherically symmetric geodesic fluid model (arXiv: 1601.07030) whose energy-momentum tensor (EMT) in the comoving frame is dust-like with nontrivial energy flux. In the non-comoving energy frame (vanishing energy flux), the same EMT contains besides dust only radial pressure. We present Einstein’s equations together with the matter equations in static spherically symmetric coordinates. These equations are self-contained (four equations for four unknowns). We solve them analytically except for a resulting nonlinear ordinary differential equation (ODE) for the gravitational potential. This ODE can be rewritten as a Lienard differential equation which, however, may be transformed into a rational Abel differential equation of the first kind. Finally, we list some open mathematical problems and outline possible physical applications (galactic halos, dark energy stars) and related open problems.
Analytic solutions of the coupled Einstein-matter equations for the stationary anisotropic and spherically symmetric case, without supplying any external input, are rather rare. The only example we know, a conformal flat generalization of the de Sitter space-time, has been published very recently ( [
In the present paper, we describe another model for which we derive an analytic solution except for one remaining ordinary differential equation. We start with a recently introduced irrotational geodesic fluid model whose energy-momentum tensor (EMT) in the frame comoving with the fluid is dust-like with nontrivial energy flux [
The paper is organized as follows. We define our model in Section 2. In Section 3, we introduce non-comoving coordinates and present the corresponding Einstein equations and the matter equations. In the course of integration of these equations in Section 4, we derive a nonlinear ODE for the gravitational potential. We reformulate this ODE in Section 5 as a Lienard differential equation and transform it into a rational Abel differential equation of the first kind. In Section 6, we list some open mathematical problems. Finally, possible physical applications (galactic halos, dark energy stars) and related open problems are outlined in Section 7.
Our model is defined by a self-gravitating, irrotational, pressure-less and stress free geodesic fluid whose EMT in the frame comoving with the fluid is dust-like with a nontrivial energy flux.
Therefore our model will be described by the following covariant set of equations (Greek indices run from 0 to 3 and we use the usual summation convention)
● Einsteins equations ( κ = 8 π G , c = 1 )
G μ ν = κ T μ ν (1)
with a EMT T μ ν , decomposed w.r.t. the unit and time-like fluid velocity vector u μ
T μ ν = ρ u μ u ν + q μ u ν + q ν u μ (2)
where ρ is the total energy density (comprising baryonic and the so called dark sector contributions) and q μ is the energy flux vector ( u μ q μ = 0 ) in the comoving frame.
● Constraints for u μ
Geodesic flow:
u λ ∇ λ u μ = 0 (3)
Irrotational flow:
∇ μ u ν − ∇ ν u μ = 0 (4)
The covariant derivative ∇ μ is given in terms of a torsion-free connection (Christoffel symbols).
● Covariant conservation of the EMT
∇ μ T μ ν = 0 (5)
which is a consequence of (1) (Bianchi identities).
Our fluid will be assumed to move with radial velocity v relative to the energy frame (EF). Such a choice of relative motion may be related to the observed motion of e.g. a galaxy relative to the microwave background [
For static spherically symmetric coordinates in the EF we use Schwarzschild (canonical) coordinates [
d s 2 = − e 2 ϕ ( r ) d t 2 + e 2 λ ( r ) d r 2 + r 2 d Ω 2 (6)
Then u μ and q μ are given by ( v = v ( r ) , q = q ( r ) )
u μ = β ( n μ + v s μ ) , q μ = q β ( v n μ + s μ ) (7)
with β = ( 1 − v 2 ) − 1 / 2 . The time-like and space-like unit vectors n μ and s μ are defined by
n μ = ( e − ϕ , 0 ) , s μ = ( 0 , e − λ ) . (8)
Sometimes it is convenient to use instead of λ ( r ) the mass function M ( r ) related to each other by
e 2 λ = ( 1 − 2 M r ) − 1 (9)
The EMT (2) reads in the energy frame (decomposition of T μ ν w.r.t. n μ and s μ ) [
T μ ν = ρ * n μ n ν + p r * s μ s ν (10)
where the energy density ρ * and the radial pressure p r * in the EF are related to the corresponding kinematic quantities in the comoving frame by
ρ * = ρ 1 + v 2 , p r * = − ρ * v 2 (11)
In (11) we have used the relation
q = − ρ * v (12)
which follows from the requirement of the vanishing energy flux in the EF [
With the metric (6) and the EMT (10) we obtain for the Einstein Equation (1) [
κ ρ * = 2 M ′ r 2 (13)
κ p r * = 1 r 2 ( − 1 + ( 1 − 2 M r ) ( 1 + 2 r ϕ ′ ) ) (14)
0 = ( ϕ ″ + ϕ ′ 2 + ϕ ′ r ) ( 1 − 2 M r ) − ( ϕ ′ + 1 r ) ( M r ) ′ (15)
Here and in what follows a prime denotes differentiation of a function w.r.t. to its argument.
The matter equations consist of two parts:
● The generalized Tolman-Oppenheimer-Volkoff (TOV) equation, following from the space-like part of (5) (or, more directly, from (13)-(15))
( ρ * + p r * ) ϕ ′ + 1 r 2 ( r 2 p r * ) ′ = 0 (16)
● The geodesic flow constraint (3) [
v v ′ β 2 + ϕ ′ + 0 (17)
The irrotational flow constraint (4) is automatically satisfied in spherically symmetric coordinates.
To integrate the set of independent equations (14)-(17) we will proceed in three steps:
● Equation (17) can easily be integrated
v 2 = 1 − e 2 ϕ (18)
● Insertion of ρ * = − p r * / v 2 from (11) and (18) into the TOV-Equation (16) leads to
( r 2 p r * ) e 2 ϕ ϕ ′ e 2 ϕ − 1 + ( r 2 p r * ) ′ = 0 (19)
which again can easily be integrated
p r * = α r 2 ( 1 − e 2 ϕ ) − 1 / 2 (20)
where α is an integration constant.
For p r * to be real valued we have to require
ϕ ( r ) ≤ 0 (21)
● Next we insert (20) into the 2nd Einstein Equation (14) and solve for M / r
1 − 2 M r = κ α ( 1 − e 2 ϕ ) − 1 / 2 + 1 1 + 2 r ϕ ′ (22)
Insertion of (22) into the 3rd Einstein Equation (15) leads, after some straightforward manipulations, to a nonlinear ordinary differential equation (ODE) for the gravitational potential
( ( r 2 ϕ ′ ) ′ + 2 r 2 ϕ ′ 2 ) ( ( 1 − e 2 ϕ ) 3 / 2 + κ α ( 1 − e 2 ϕ ) ) + κ α 2 ( 1 + r ϕ ′ ) ( 1 + 2 r ϕ ′ ) e 2 ϕ = 0 (23)
Comment: The weak field limit ( ϕ = 0 ( ε ) ) of (23) yields (cp. [
( r 2 ϕ ′ ) ′ = γ 2 ( − 2 ϕ ) − 3 / 2 (24)
where we have put γ = − κ α , ( γ = 0 ( ε 5 / 2 ) ) .
The result (24) turns out to be equal to the corresponding equation obtained for the stationary solution of the nonrelativistic darkon fluid model in [
κ ρ = γ r 2 ( − 2 ϕ ) − 3 / 2 (25)
Then positivity of ρ requires
γ > 0 (26)
Note that a positive energy density yields a negative radial pressure according to (11).
With the transformation
r → x = log r , ϕ ( r ) → φ ( x ) = − 2 ϕ ( r ) (27)
the ODE (23) becomes the autonomous ODE
( φ ′ 2 − φ ″ − φ ′ ) ( ( 1 − e − φ ) 3 / 2 − γ ( 1 − e − φ ) ) = γ e − φ ( 1 − φ ′ ) ( 1 − φ ′ / 2 ) . (28)
The further transformation
φ → f = 1 − e − φ (29)
leads to the mixed Lienard differential equation
f ″ + g 1 ( f ) f ′ + g 2 ( f ) f ′ 2 + g 0 ( f ) = 0 (30)
with
g 0 ( f ) = γ ( 1 − f ) 2 ( f 3 / 2 − γ f ) − 1
g 1 ( f ) = ( f 3 / 2 + γ f 2 − 3 2 γ ) ( f 3 / 2 − γ f ) − 1
g 2 ( f ) = γ 2 ( f 3 / 2 − γ f ) − 1 (31)
To transform (30) into an Abel differential equation we proceed as usual [
With f ( x ) → y ( f ) ,
y ( f ) = ( 1 − γ f − 1 / 2 ) − 1 ( f ′ ( x ) ) − 1 (32)
we obtain from (30)
y ′ ( f ) = h 2 ( f ) y 2 ( f ) + h 3 ( f ) y 3 ( f ) (33)
with
h 2 ( f ) = 1 + γ 2 f − 1 / 2 − 3 2 γ f − 3 / 2
h 3 ( f ) = γ f − 3 / 2 ( 1 − f ) 2 ( 1 − γ f − 1 / 2 ) . (34)
By the further transformation
f → x = f 1 / 2 , u ( x ) = y ( f ) (35)
we obtain from (33), (34) a rational Abel differential equation
u ′ ( x ) = H 2 ( x ) u 2 + H 3 ( x ) u 3 (36)
with
H 2 = 2 x 3 + γ x 2 − 3 γ x 2
H 3 ( x ) = 2 γ ( x − γ ) ( 1 − x 2 ) 2 x 3 (37)
Unfortunately (36) does not belong to the known integrable cases of rational Abel differential equations. But, as shown in [
x = F ( z ) , u ( x ) = P ( z ) w ( z ) + Q ( z ) (38)
where F, P and Q are arbitrary functions of z satisfying F ′ ≠ 0 and P ≠ 0 .
A computer algebra routine has been presented in [
From the results of Section 5 follow immediately the following open mathematical problems:
● For which values of γ does the Lienard Equation (30) has positive solutions f(x) with 0 ≤ f ( x ) ≤ 1
● Check by means of the computer program presented in [
● If the answer is no, elaborate numerical solutions for Equation (36).
● Stability of the stationary solutions.
Analytic or numerical results for the gravitational potential ϕ ( r ) from solutions of either the nonlinear ODE (23) or any of its equivalent forms given in Section 5 will be suitable for the description of either galactic halos or of dark energy stars.
A star in circular motion in a gravitational potential ϕ ( r ) possesses the tangential velocity v t g ( r ) given by the relationship
v t g 2 = r ϕ ′ (39)
which holds also in the general relativistic case (see [
For the description of galactic halos, we need gravitational potentials ϕ which vanish for r → ∞ . But in the nonrelativistic case, described by (24), solutions vanish already for a finite but very large distance as shown in [
Problem 1: Will admissible solutions (see Section 6) of the Lienard Equation (30) extend up to x → + ∞ or will they end at finite x?
The numerical results for the RCs in the nonrelativistic case as shown in ( [
We do not expect any essential modifications of the weak field limit at large radii for the relativistic model presented in this paper.
On the other hand, at small scales, our nonrelativistic model seems to show numerically a vanishing RC already at a very small but nonzero radius [
Problem 2: Behavior of the gravitational potential ϕ ( r ) for r → 0 in the weak field limit as well as for the case of strong fields.
As has been already stated, our model shows a negative radial pressure for a positive energy density. Therefore, it is predestinated for the description of anisotropic dark energy (DE) stars. To do that, we have to take a solution of our model as interior solution which has to be matched with the exterior Schwarzschild solution.
Recent treatments of anisotropic DE stars are to be found in [
In our model, no such external inputs are needed. But in order to proceed, we have to succeed in finding (approximate) analytic expressions or numerical results for the gravitational potential.
Stichel, P.C. (2018) Anisotropic Geodesic Fluid in Non-Comoving Spherical Coordinates. Journal of Modern Physics, 9, 207-214. https://doi.org/10.4236/jmp.2018.92014