Abstract
We discuss the physical features of two recent classes of analytical solutions of the Einstein equations sourced by an exotic perfect fluid with equation of state \( P=-\rho /5\). These geometries depend on up to four parameters and are static and spherically symmetric. They describe compact spaces with naked central singularities.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Recently, two new families of static and spherically symmetric solutions of the Einstein equations (without cosmological constant) were proposed by Semiz [1]. The matter source is a perfect fluid with constant barotropic equation of state \( P =-\rho /5 \), where \(\rho \) and P are the fluid energy density and pressure, respectively [1]. One would like to understand the physical nature of these solutions and assess whether they can be useful to model regions of stars, at least as toy models. The equation of state \(P=-\rho /5\) is clearly unphysical, as one would be hard put to find realistic situations described by this fluid, but dark energy-like stars (and even phantom energy stars [2]) have been studied in the literature [3,4,5,6,7,8,9,10], as well as halos of exotic energy [11]. Although dark energy has pressure \(P<-\rho /3\) and there are all indications that, if it is responsible for the present acceleration of our universe, it has equation of state \(P \simeq -\rho \) [12], our situation with \(P=-\rho /5\) could still serve as a toy model for hypothetical objects formed by a negative pressure fluid. Moreover, from the mathematical point of view, simple solutions of the Einstein equations describing perfect fluids are relatively difficult to find. Although there are over one hundred analytical solutions of the Einstein equations sourced by perfect (and even imperfect) fluids that constitute potential candidates to model relativistic stars, or at least stellar regions [13, 14], almost all of them turn out to be unphysical for one reason or another [14]. Here we examine the new solutions of [1] to understand their physical features (or lack thereof). These geometries are written in Buchdahl coordinates but it is more instructive from the physical point of view to rewrite them in terms of Schwarzschild-like coordinates, which we do here.
We follow the notation of Ref. [15]: the metric signature is \({-}{+}{+}{+}\) and we use units in which the speed of light in vacuo c and Newton’s constant G are unity, while \( \kappa \equiv 8\pi G\) to keep with Ref. [1].
Semiz’s proposal consists of a four-parameter family of solutions of the Einstein equations with zero cosmological constant
where \({\mathcal {R}}_{ab}\) is the Ricci tensor of the metric \(g_{ab}\) and \({\mathcal {R}}\) is the Ricci scalar. The matter source is a perfect fluid with stress-energy tensor
where \(u^a\) is the fluid 4-velocity and the equation of state is \(P=-\rho /5\) [1]. These geometries are spherically symmetric and static in the appropriate coordinate range. There are two new classes of solutions in [1]: the most general family is parametrized by four constants \(\left( C_0, C_1, C_2, C_3 \right) \) and has line element
with \(C_1\ne 0\), \( C_0 +C_1r \ne 0\), and where
while \(d\varOmega _{(2)}^2 \equiv d\vartheta ^2 + \sin ^2 \vartheta \, d\varphi ^2\) is the line element on the unit 2-sphere. The energy density is [1]
and is non-negative provided that
which we assume in the following, while the limiting situation given by \(C_3=0\) corresponds to vacuum. The solution for \(C_1=0\) is not obtained continuously from Eqs. (3) and (5) in the limit \(C_1\rightarrow 0\) but requires a separate discussion [1]. This second family is parametrized by the remaining three constants [1]: we begin by analyzing this second family (or “special solution” in the nomenclature of [1]) in the following section.
2 Special solution \(C_1=0\)
This 3-parameter \(\left( C_0, C_2, C_3 \right) \) family of solutions is described by the line element [1]
with \(C_0\ne 0\) and where
In order to preserve the metric signature it must be \(g(r)>0\) (if g(r) becomes negative, the coordinates t and r switch their timelike and spacelike natures, as in the Schwarzschild geometry at the horizon \(r=2m\)).
We rewrite the line element (7) in terms of the areal radius \(R(r) = g(r)/|C_0|\). This relation is inverted by first obtaining
and solving for
The argument of the square root in the right-hand side must be non-negative to keep r real, which gives the limitation
on the range of the areal radius. The latter begins from zero at \(r_1=\frac{1}{2}\left( C_0 C_3-\sqrt{C_0^2 C_3^2+4C_0 C_2} \right) \), increases to the maximum
and then decreases until it vanishes again at \(r_2=\frac{1}{2}\left( C_0 C_3+\right. \) \(\left. \sqrt{C_0^2 C_3^2+4C_0 C_2}\right) \). The two coordinate charts \(r_1\le r \le C_0 C_3/2\) and \( C_0 C_3/2 \le r \le r_2\) cover the same physical region \( 0\le R \le R_\mathrm {max}\). We restrict ourselves to \(r_1\le r \le C_0 C_3/2\), in which \(dR/dr>0\), by choosing the negative sign in Eq. (2.5).
We write
and, substituting the relation between differentials
and using Eq. (14), the line element (7) becomes
The equation \(\nabla ^c R \nabla _c R =g^{RR}= 0 \) locating the apparent horizons (see, e.g., [16]) has \(R_\mathrm {max}\) as the only root, which is a single root and therefore there are no apparent horizons for \(R<R_\mathrm {max} \) (we discuss the physical meaning of the formal root \( R_\mathrm {max} \) below).
The energy density [1]
and the pressure \(P=-\rho /5\) (which are always non-zero) diverge at the origin \(R = 0\), which corresponds to \(r=r_1\), together with the Ricci scalar
therefore there is a naked spacetime singularity at the origin \(R=0\).
The Misner-Sharp-Hernandez mass \(M_\mathrm {MSH}(R)\) defined in spherical symmetry by [17, 18]
reads
for the geometry (16) and is negative in the region \( 0<R< 4R_\mathrm {max}/5 \) around the naked singularity. This fact is not surprising: it has been argued that the Misner-Sharp-Hernandez mass (to which the Hawking-Hayward quasilocal mass [19, 20] reduces in spherical symmetry [21]) is misbehaved near naked singularities, Cauchy horizons, or regions with the wrong asymptotic flatness [22, 23]. This is the case, for example, for the inner region of the Reissner–Nordström black hole near the Cauchy horizon, for the entire Schwarschild spacetime with negative mass, and for the Fisher–Janis–Newman–Winicour–Buchdahl–Wyman scalar field solution of the Einstein equations [24,25,26,27,28,29,30,31] for the parameter values for which there is a naked singularity [32].
Let us come to the maximum value \(R_\mathrm {max}\) of the areal radius which, in spite of being a formal root of the equation \(\nabla ^cR \nabla _c R=0\), does not describe a horizon but is instead the antipode of the origin \(R=0\) in a compact space. To see this fact, it is instructive to study the behaviour of radial null geodesics in this geometry. Consider the outgoing \((+)\) and ingoing \((-)\) congruences of radial null geodesics with tangents \(l_{(\pm )}^{\mu } =dx^{\mu }/d\lambda \), where \(\lambda \) is an affine parameter along these curves. These tangents have components \(l_{(\pm )}^\mu = \left( l^0, l^1, 0, 0\right) \) and the normalization \(l^{(\pm )}_{a} l_{(\pm )}^a=0\) yields
since a null vector can be rescaled by a function, we can choose \(l^0 =1\) (which means choosing the coordinate time t as the affine parameter along these null geodesics), obtaining
We then have the first order equations
which integrate to
where \(\lambda _0\) is an integration constant. Unfortunately this relation cannot be inverted explicitly.
Since
(with the upper sign for outgoing and the lower one for ingoing radial geodesics), near the origin \(R=0\) it is \(dR/dt \sim +\infty \) for outgoing and \(dR/dt \sim -\infty \) for ingoing geodesics. Furthermore, \(dR/dt=0\) at \(R=R_\mathrm {max}\). Outgoing radial null geodesics starting near the origin do so extremely fast but they slow down as they approach the maximum possible radius \(R_\mathrm {max}\), which can only be reached with zero velocity (see Fig. 1). A null geodesic starting exactly at \(R_\mathrm {max}\) does so with zero velocity \(dR/d\lambda \) and remains there. Ingoing radial null geodesics starting near the maximum radius \(R_\mathrm {max}\) are slow and accelerate as they get closer to the central naked singularity, which they approach with infinite velocity \(dR/d\lambda \rightarrow -\infty \).
We can also study radial timelike geodesics with tangents \( u^{\mu } =\left( u^0, u^1, 0, 0 \right) \). The normalization \(u^c u_c=-1\) gives
with the upper sign for outgoing and the lower one for ingoing geodesics. The timelike Killing vector \(\xi ^a =\left( \partial /\partial t \right) ^a\) guarantees the conservation of the energy per unit mass of the test particle E along these geodesic curves:
where \(u^0 >0 \) because these curves are future-oriented, hence E is strictly positive. Equation (28) then gives
which tells us that:
-
For a given energy E determined by the initial condition \(\left( R_0, \dot{R}_0 \right) \), radial motion is only possible if
$$\begin{aligned} R > R_\mathrm {min}\equiv \frac{|C_0|}{E^2} \end{aligned}$$(31)(otherwise \(u^1\) becomes imaginary). Ingoing radial motion stops at \(R_\mathrm {min}\) and a test particle cannot approach the origin, which is consistent with the fact that, according to Eq. (29), \(u^0=ER/|C_0| \rightarrow 0\) as \(R\rightarrow 0\).
-
Outgoing radial motion stops at \(R_\mathrm {max}\), where \(u^1\) vanishes for both outgoing and ingoing radial geodesics, and a particle starting initially at \(R_\mathrm {max}\) remains there irrespective of its initial energy.
-
Since R is limited by \( R_\mathrm {max}\), the possible energies are bounded from below,
$$\begin{aligned} E > \sqrt{ \frac{|C_0|}{ R_\mathrm {max} }} = \frac{2 |C_0|}{ \sqrt{C_0^2 C_3^2 +4 C_0 C_2}} \equiv E_\mathrm {min} \,; \end{aligned}$$(32)particles with energy below, or equal to, the minimum threshold \(E_\mathrm {min}\) do not move.
2.1 Case \(C_2 \ne 0\), \(C_3=0\)
In this case we are left with only two parameters \(\left( C_0, C_2 \right) \). Now \( g(r) = C_0 C_2 -r^2 \), which requires
The areal radius is
with \(r=0\) corresponding to \(R=C_0C_2/|C_0|\), while \( r=\sqrt{C_2 \, \text{ sign }(C_0) } \) corresponds to the origin \(R=0\) of the physical radial coordinate. The areal radius R(r) varies in the range
(where, in the last equality, we used the fact that \(C_0C_2>0\)) and is a decreasing function of r since \(dR/dr=-2r/|C_0| \) is always negative in the allowed range. Inverting the relation between radial coordinates, one obtains
which, in conjunction with
yields the line element
This geometry is the same as that of the previous case \(C_1=0\), \(C_3 \ne 0\) given by the line element (16), but now \(R_\mathrm {max}=|C_2|\). Again, the energy density is non-zero and the Ricci scalar diverges at the origin \(R=0\).
2.2 Case \(C_2=0 \,, C_3 \ne 0\)
For these parameter values, \(g(r)= r\left( C_0 C_3 -r \right) \) requires \(C_0 C_3\) to be positive and, therefore, we have the range \( 0\le r \le C_0 C_3\) of the Buchdahl radius. Correspondingly, the areal radius
varies in the interval
beginning from zero at \(r=0\), increasing to the maximum
and then decreasing until it vanishes again at \(r=C_0 C_3\). There are two coordinate charts \(0\le r \le C_0 C_3/2\) and \( C_0 C_3/2 \le r \le C_0 C_3\) covering the same physical region \(0 \le R \le R_\mathrm {max}\) and we restrict ourselves to the former, in which \(dR/dr>0\). Equation (39) yields
with roots
where we choose the lower sign for consistency with \(dR/dr>0\) and \( 0\le r\le C_0C_3/2\). Then \( g(r)=|C_0|R \) and
give the line element
which is the same as the line element (16), but with \(R_\mathrm {max}\) now given by Eq. (41). The Ricci scalar
diverges at the origin \(R=0\) (which corresponds to \(r=0\) in the chart with \(dR/dr>0\)), therefore there is a naked spacetime singularity there.
3 General solution \(C_1\ne 0\)
The line element for the generic family of Semiz solutions is (3) [1]. The presence of four parameters with relatively wide ranges now makes it difficult to reach definite conclusions and we focus on special cases.
3.1 \(C_3=0\) is Schwarzschild
When \(C_3 =0\), the energy density (5) and the pressure \(P=-\rho /5 \) vanish identically and this spacetime is empty. Since the geometry is also spherically symmetric and asymptotically flat (as we are going to show) it must be the Schwarzschild one, according to the Jebsen-Birkhoff theorem [15]. In fact, we have \( f(r) = 3\left( C_1 C_2+r \right) \), the areal radius is
and
then \(dr=|C_1|dR\), yielding the line element
where \(d\bar{t} \equiv |C_1| dt\). This geometry is asymptotically flat: by introducing the constant
(which is not necessarily positive) and rescaling the time coordinate according to \(t \rightarrow \bar{t} = |C_1| \, t\), the line element (49) is written as the Schwarzschild one
describing a black hole if \(m>0\) and a naked central singularity if \(m<0\).
3.2 Special case \(C_2=0\)
We have three parameters \(\left( C_0, C_1, C_3 \right) \) with \(C_1C_3 \le 0\) and now \(f(r)= 3r+C_3\left( C_0 + C_1 r\right) ^3\); the areal radius is
We have
which is positive for
To proceed, let us consider the situation \(r\ge -C_0/C_1\), in which case R increases in the interval
with \( R_\mathrm {min} \le R \le R_\mathrm {max} \) and
We have again a compact space. Rewriting the line element (3) in terms of the areal radius produces a cumbersome expression that does not depend only on R but contains also r(R) because the relation R(r) cannot be inverted explicitly.
3.3 The even more special case \(C_0=C_2=0\)
In this case we have only two parameters \(\left( C_1, C_3 \right) \), \( f(r)= r\left( 3+C_1^3 C_3 r^2 \right) \), and the areal radius is
where the last inequality follows from \(C_1 C_3 \le 0\). Since
the areal radius is an increasing function of r in the interval \(\left( 0, \frac{1}{|C_1| \sqrt{ |C_1 C_3|}} \right) \) with \(R(0)=0\), is maximum at \( \frac{1}{ |C_1| \sqrt{ |C_1 C_3|}} \) and then decreases, vanishing again at \(r= \sqrt{ \frac{3}{|C_1 C_3| C_1^2}}\). This compact space corresponds to the range
of the areal radius, with \( R \simeq r/|C_1| \) as \( r\rightarrow 0^{+}\). Equation (59) is inverted by first obtaining
and then solving for
where
while the two remaining roots are imaginary. Substituting the relation between differentials
and using
yield the line element
where
Again, the many combinations of parameters and the cumbersome metric coefficients do not lend themselves to a straightforward and transparent analysis, but it is clear that also in this case we have a compact 3-space of finite extent.
Using (3.20), the energy density (5) reduces to
as \(R\rightarrow 0^{+}\). Hence, \(\rho \) and P are singular at the origin, together with the Ricci scalar \({\mathcal {R}}\) and
As \(R\rightarrow 0^{+}\), we have the asymptotics
and \(g_{00} \rightarrow \infty \) while \(g_{11} \rightarrow 0\) as \(R\rightarrow 0\).
4 Conclusions
We have studied the nature of the new classes of static and spherically symmetric solutions of the Einstein equations given recently in Ref. [1] when the matter source is a perfect fluid with equation of state \(P=-\rho /5\). The analytical solutions of Ref. [1] that we analyzed (except for the Schwarzschild solution obtained for \(C_3=0\)) describe compact spaces with naked central singularities. The “general” family of solutions (3) and (5) always reduces to Schwarschild when the parameter \(C_3\) vanishes. In most other situations, the presence of three or four parameters and/or the cubic nature of the function R(r) hamper a complete description of the geometry. However, in all cases analyzed, except for the empty spacetime associated with \(C_3=0\), we find a compact space of finite volume (a feature mentioned in [1]).
The fact that the geometry, together with the energy density and the pressure, is singular at \(R=0\) is not necessarily the death knell for these solutions. In fact, it is deemed acceptable for fluid solutions of the Einstein equations to only model limited regions of relativistic stars, a procedure that is reflected in the authoritative Ref. [13] and in the more specialized literature. Indeed, even Newtonian stars are rarely modelled with a single fluid, corresponding to the fact that different regions at different temperatures and densities are described by different equations of state unless the stellar material is well mixed, which only happens in certain types of stars. Therefore, there is in principle the (physically well motivated) possibility of excising the singularity and replacing it with a more realistic geometry sourced by matter with a different equation of state. However, if one wants to describe a stellar interior with this exotic fluid, one must match it with an asymptotically flat Schwarzschild exterior. The fact that the solutions of [1] describe compact spaces points to a possible analogy with the Oppenheimer-Snyder model of gravitational collapse to a black hole [33]. In this model, a compact, positively curved Friedmann-Lemaître-Robertson-Walker universe collapsing to a Big Crunch is matched to a Schwarzschild exterior on the surface of a 2-sphere of symmetry [33], satisfying the Darmois-Israel junction conditions [34, 35]. However, in the Oppenheimer-Snyder model the matching is possible because the collapsing interior universe is filled by a dust with zero pressure everywhere. It is well known that the matching to a Schwarzschild exterior can only be done on a surface on which the pressure P(R) vanishes, otherwise the junction conditions are violated and there is a material layer on the matching surface, which is certainly not an ingredient of realistic stellar models. (This fact is highlighted in many studies of relativistic fluid balls [36,37,38,39,40,41,42,43] and fireballs [44].) However, for the fluid solutions of [1] under discussion, the pressure P(R) never vanishes. Therefore, the best that one could do is modelling a limited region of a stellar interior with the Semiz solutions for \(P=-\rho /5\). To be physical, this region should correspond to a positive Misner-Sharp-Hernandez mass \(M_\mathrm {MSH}\) and, therefore, should be sufficiently far away from the singularity at \(R=0\). The excised region containing the origin should be modelled with a different, non-singular, solution of the Einstein equations.Footnote 1 Then, the \(w=-1/5\) solution should be matched continuously with another “intermediate” solution with non-vanishing pressure on a surface of constant radius, and the pressure in this layer should then go to zero at larger radii to make it possible to match it to a Schwarzschild exterior, satisfying again the Darmois-Israel junction conditions. In the absence of a specific need for such an involved “star” model in astrophysics, we will not pursue this object further, limiting ourselves to pointing out the constraints for such a construction. Probably some of the phenomenology unveiled here for the geometries found in [1] also applies to other classes of perfect fluid solutions of the Einstein equations. Whether this is the case will be established in future work.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: There are no data associated with this article because of its theoretical and formal nature.]
Notes
There is a subtlety: matching a Semiz region with another fluid solution is in principle possible because the Semiz geometries solve the Einstein equations with zero cosmological constant \(\Lambda \). A non-zero \(\Lambda \) would be present in all spacetime regions and matching one of them with a Schwarzschild exterior is impossible [45].
References
İ. Semiz, arXiv:2007.08166 [gr-qc]
A. DeBenedictis, R. Garattini, F.S.N. Lobo, Phys. Rev. D 78, 104003 (2008)
G. Chapline, eConf C041213, 0205 (2004)
F.S.N. Lobo, Class. Quant. Grav. 23, 1525–1541 (2006)
N. Bilic, G.B. Tupper, R.D. Viollier, JCAP 02, 013 (2006)
R. Chan, M.F.A. da Silva, J.F. Villas da Rocha, Gen. Relativ. Gravit. 41, 1835–1851 (2009)
S.S. Yazadjiev, Phys. Rev. D 83, 127501 (2011)
F. Rahaman, R. Maulick, A.K. Yadav, S. Ray, R. Sharma, Gen. Relativ. Gravit. 44, 107–124 (2012)
D. Horvat, A. Marunović, Class. Quant. Grav. 30, 145006 (2013)
P. Bhar, Phys. Dark Univ. 34, 100879 (2021)
C. Armendariz-Picon, E.A. Lim, JCAP 08, 007 (2005)
L. Amendola, S. Tsujikawa, Dark Energy: Theory and Observations (Cambridge University Press, Cambridge, UK, 2010)
H. Stephani, D. Kramer, M. MacCallum, C. Hoenselaers, E. Herlt, Exact Solutions of the Einstein Field Equations (Cambridge University Press, Cambridge, 2003)
M.S.R. Delgaty, K. Lake, Comput. Phys. Commun. 115, 395–415 (1998)
R.M. Wald, General Relativity (Chicago University Press, Chicago, 1984)
V. Faraoni, Cosmological and Black Hole Apparent Horizons, Lect. Notes Phys. 907 (Springer, New York, 2015)
C.W. Misner, D.H. Sharp, Phys. Rev. 136, B571 (1964)
W.C. Hernandez, C.W. Misner, Astrophys. J. 143, 452 (1966)
S.W. Hawking, J. Math. Phys. 9, 598 (1968)
S.A. Hayward, Phys. Rev. D 49, 831 (1994)
S.A. Hayward, Phys. Rev. D 53, 1938 (1996)
V. Faraoni, A. Giusti, Symmetry 12, 1264 (2020)
V. Faraoni, A. Giusti, T.F. Bean, Phys. Rev. D 103, 044026 (2021)
I.Z. Fisher, Zh. Eksp, Teor. Fiz. 18, 636–640 (1948)
O. Bergmann, R. Leipnik, Phys. Rev. 107, 1157–1161 (1957)
A.I. Janis, E.T. Newman, J. Winicour, Phys. Rev. Lett. 20, 878–880 (1968)
H.A. Buchdahl, Int. J. Theor. Phys. 6, 407–412 (1972)
M. Wyman, Phys. Rev. D 24, 839–841 (1981)
D.D. Dionysiou, Astrophys. Space Sci. 88, 493 (1982)
A.G. Agnese, M. La Camera, Phys. Rev. D 31, 1280–1286 (1985)
K.S. Virbhadra, Int. J. Mod. Phys. A 12, 4831–4836 (1997)
V. Faraoni, A. Giusti, B.H. Fahim, Phys. Rept. 925, 1–58 (2021)
J.R. Oppenheimer, J.R. Snyder, Phys. Rev. 56, 455 (1939)
G. Darmois, Les Equations de la Gravitation Einsteinienne (Gauthier-Villars, Paris, 1927)
W. Israel, Nuovo Cimento B 44, (1966)1 Errata48, (1967) 463(E)
P.C. Vaidya, Phys. Rev. 174, 1615 (1968)
B. Mashhoon, M.H. Partovi, Ann. Phys. (NY) 130, 99 (1980)
D.C. Srivastava, S.S. Prasad, Gen. Relativ. Gravit. 15, 65 (1983)
A.H. Thompson, W.J. Whitrow, Mon. Not. R. Astron. Soc. 136, 207 (1967)
A.H. Thompson, W.J. Whitrow, Mon. Not. R. Astron. Soc. 139, 499 (1968)
H. Bondi, Mon. Not. R. Astron. Soc. 142, 333 (1969)
H. Bondi, Nature 215, 838 (1967)
V. Faraoni, F. Atieh, Phys. Rev. D 102, 044020 (2020)
J. Smoller, B. Temple, SIAM. J. Appl. Math. 58, 15 (1998)
V. Faraoni, S. Jose, A. Leblanc, Phys. Rev. D 105, 024030 (2022)
Acknowledgements
This work is supported, in part, by the Natural Sciences & Engineering Research Council of Canada (grant no. 2016-03803 to V.F.).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Fazlpour, B., Banijamali, A. & Faraoni, V. Geometry of static \(w=-1/5\) perfect fluid spheres in general relativity. Eur. Phys. J. C 82, 364 (2022). https://doi.org/10.1140/epjc/s10052-022-10349-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-022-10349-2