Abstract
We construct a generic asymptotic solution for modified gravity near a sudden singularity. This solution contains a fluid source with no equation of state and is function-counting stable, that is it has eleven independent arbitrary functions of the spatial coordinates as dictated by the Cauchy problem of the theory. We further show that near the sudden singularity the solution has a shock wave character with the same number of free functions in the Jordan and Einstein frame.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Barrow [1] introduced sudden future singularities in general relativistic cosmology as a counterexample to the expectation that closed Friedmann universes recollapse if the strong energy condition holds [2]. Sudden singularities in general relativity are geodesically complete in the smooth [3], or the distributional sense [4] They are also generally stable with respect to various kinds of small cosmological fluctuations [5], and quantum particle production or regularization schemes [6,7,8]. Sudden singularities can also be anisotropic [9], and have other interesting properties, e.g., they do not destroy extended objects like cosmic string loops [10].
Sudden singularities are in fact of a different nature than most other dynamical singularities encountered in cosmology [11, 12], in that they can be extended to solutions that have the full number of free functions necessary of a general solution to the field equations [13]. This property, which we call function-counting stability, has an extensive history and was one sought for and extensively studied very early in the history of the subject, cf. [14,15,16,17,18], and more recently in [19,20,21,22], for reviews and more general related issues, see [23,24,25,26].
The extension of the general relativistic, homogeneous and isotropic sudden singularity solution to the case of modified gravity theories is not automatic: for the case of f(R) gravity it was found in [27], while for Brans–Dicke theory the sudden singularity was constructed in [28]. For the Brans-Dicke theory, we know that the sudden singularity is function-counting stable with respect to generic perturbations [29], but for modified gravity we only know this to be true for any regular solution of the theory [21], and no such result is known for the sudden singularity solution found in [27]. It is the purpose of this paper to prove the function-counting stability of the f(R)-sudden singularity, and also show that the constructed solution has a shock wave character, hence it is ‘mild’ in the sense of Refs. [30, 31].
In the next two Sections, we prove function-counting stability in the Jordan and Einstein frame representation of the quadratic f(R) theory, and in Sect. 4 we establish the Tipler–Krolac conditions and the behaviours of the expansion of the geodesic congruence and its higher-order derivatives that imply the shock wave character of the general solution. Some aspects are briefly given in the last Section. Below we set \(8\pi G =1\) and follow the Landau–Lifshitz sign conventions [18].
2 Jordan frame sudden singularity
We shall consider the \(R+\epsilon R^2\) theory in the Jordan frame with a matter source given by a fluid with stress energy tensor \( T_{j}^{i}= (\rho +p)u^{i}u_{j}-p\delta _{j}^{i}, \) where the unit 4-velocity of the fluid \(u^{i}=(u^{0},u^{\alpha })\) has \(u^{0}=u_{0}\), and \(u_{i}u^{i}=1\), so that, \( u_{0}^{2}=1+u_\alpha u^\alpha , \) the three arbitrary components \(u^\alpha \) of the velocity vector field determine \(u^0\). We shall assume that \(\epsilon >0\). Barrow has shown that this theory admits an exact solution with a sudden singularity for any Friedmann model with line element \(ds^2=dt^2-a^2 (t)d\Omega ^2\), where t is the proper time and \(d\Omega ^2\) the 3-metric of the flat, open or closed spatial sections. The solution is given by [27],
with \(0<q\le 1\) and \(3<n<4\), \(t_s\) is the time of the sudden singularity, \(a_s=a(t_s)\), while the fluid pressure and energy density \(p,\rho \) are two unconnected functions, that is there is no assumed equation of state between them. This solution exists in the interval \([0,t_s]\), and there is a big rip singularity at \(t=0\) where the expansion rate H diverges, being continuous on \((0,t_s)\), cf. [11]. We note the important fact that geodesics at \(t_s\) can be continued past the sudden singularity [3], and this fact makes sudden singularities milder than all other kinds of cosmological singularities. At \(t_s\), the pressure diverges to plus infinity, but the scale factor \(a_s\) is finite (note that a is zero at \(t=0\), but \(\dot{a}\) blows up there [11]), while the higher derivatives of the scale factor diverge as well. A sudden singularity is generically different from a big bang, or a big rip, or even various other types of milder singularities that may develop during the evolution (cf., [11]), [12] for a fuller discussion and complete classification of the various types of dynamical singularity that may arise in a cosmological setting).
We assume normal Jordan frame coordinates in a small neighborhood of the sudden singularity, that is a Gaussian normal coordinate system (or ‘synchronous’ coordinates in other terminology [32, 18], p. 286), \((\tilde{t},\tilde{x},\tilde{y},\tilde{z})\), where (t, x, y, z) are standard normal coordinates and \(\tilde{t}=(t^2-x^2-y^2-z^2)^{1/2}\) (defined such that the quantity under the square root is positive), and also \(\tilde{x}=x/t,\tilde{y}=y/t, \tilde{z}=z/t\), where \(\tilde{t}=\text {const.}\) being spacelike hypersurfaces orthogonal to the timelike geodesics given by \(\tilde{x},\tilde{y},\tilde{z}=\text {const.}\), and with \(\partial /\partial t\) future pointing. Below we drop the tildes. In these coordinates, the spacetime metric has the form,
with the spatial metric being \(\gamma _{\alpha \beta }=\gamma _{\alpha \beta }(t,x,y,z)\).
We now assume that the metric (2) has a future sudden singularity at time \(t_s>0\). Following the standard procedure worked out in the references quoted above (e.g., [17], Sect. 4, [29]), we seek a quasi-isotropic approximation of the metric in the synchronous system in the vicinity of the sudden singularity, keeping only the principal terms in its expansion in powers of \(t-t_s\), where the spatial metric assumes an expansion of the form,
where the coefficients in the formal series are functions of the space coordinates. We can think of this expansion as being in terms of the new variable \(\tau =t-t_s\) (related linearly to the proper time t), for which the sudden future singularity has now been shifted to the origin. With this understanding, we shall keep the notation t for the proper time below for reasons of simplicity. Further, we do not include a term proportional to \(t^q\) in the metric expansion (3), in accordance with the defining property of a sudden singularity that for \(n\in (N,N+1)\), the \((N+1)\) derivative of the metric diverges while all derivatives of orders less or equal to N are finite (or zero), cf. [27].
We shall show below that the expansion (3) represents a general solution of field equations of the \(R+\epsilon R^2\) theory in the neighborhood of a sudden singularity that contains precisely 11 arbitrary functions of the spatial coordinates, such a number is required for generality in this case (i.e., function-counting stability).
For the metric (2), the \(R+\epsilon R^2\) field equations split in the usual way into their \(\left( {\begin{array}{c}0\\ 0\end{array}}\right) \), \(\left( {\begin{array}{c}\beta \\ \alpha \end{array}}\right) \), and \(\left( {\begin{array}{c}0\\ \alpha \end{array}}\right) \) components. Using the expansion (3) and after some algebra we find the required asymptotic forms for the density, pressure, and spatial fluid velocity as follows: From the \(\left( {\begin{array}{c}0\\ 0\end{array}}\right) \) component, we obtain the expansion for the energy density,
from the trace of the \(\left( {\begin{array}{c}\beta \\ \alpha \end{array}}\right) \) component, we have for the pressure,
while from the dominant term of the \(\left( {\begin{array}{c}0\\ \alpha \end{array}}\right) \) components, we find,
In the expansions (4), (5), and (6), all coefficients are functions of the basic spatial functions a, b, c, d, e that appear in Eq. (3). The coefficient \(p_{n-4}\) in Eq. (5) will be useful in Sect. 4, and so we give it here for convenience,
with \(e=\text {Tr}e_{\alpha \beta }\). We then find that the only further constraint comes from Eq. (5), namely, we obtain,
while no other constraint is possible from the remaining field equations. Hence, taking into account Eqs. (4), (5), (6), and (8), we find \(6+1+6+1+1=15\) independent functions from the initial data: \(6+1+6\) come from \(a_{\alpha \beta }, b_{\alpha \beta }\), and \(c_{\alpha \beta }\), and the remaining two come about because the coefficients \(d_{\alpha \beta }\), and \(e_{\alpha \beta }\) appear in the expansion coefficients only through their traces d, e,Footnote 1 while \(p, \rho ,u_{\alpha }\) are fully determined (no other free functions in them). Subtracting the 4 coordinate covariances which may still be used to remove four functions, leaves 11 independent arbitrary functions of the three space coordinates on a surface of constant t time. This is exactly the maximal number of independent arbitrary spatial functions expected in a local representation of part of the general solution of the quadratic equations near a sudden singularity. Hence, the solution (2) and (3) is function-counting stable.
3 Conformal frame sudden singularity
The corresponding metric in the conformal frame is given by,
Since in Jordan frame \(g_{00}=1\) and \(g_{0 \alpha }=0\), we have,
Also, differentiating with respect to t in (10), we obtain,
thus,
All coefficients are functions of the spatial coordinates. (We note that if we set \((e^{\phi })_{0}=1\) in (10), we would gauge-fix the lapse to be equal to one also conformally, something we choose not to do in the following.) Then the conformal frame field equations are,
where,
and the potential expansion is found to be,
The coefficients in the expansions of the density, pressure and spatial velocities are not so complicated as those in the Jordan frame, and so we can give them here directly. From the \(\left( {\begin{array}{c}0\\ 0\end{array}}\right) \) component of (15), we have,
thus,
From the \(\left( {\begin{array}{c}\beta \\ \alpha \end{array}}\right) \) component of (15), we get,
so the trace gives,
Using (22) and (23), the \((n-4)\)-order terms are,
and so we find that,
(This last relation for \(\tilde{c}_{\alpha \beta }\) was also found in Refs. [13, 29].) From the \(\left( {\begin{array}{c}0\\ \alpha \end{array}}\right) \) component of (15), we get,
Taking into account (20) and (22), we find,
Finally, from (16), we find that,
and for the \((n-4)\)-order term, we obtain,
so that,
We note that the conservation laws of the conformal equations following from (17) and (18) do not give any additional constraint on the initial data.
In the conformal frame, we may therefore count as follows. We expect \(6 \times \tilde{g}_{\alpha \beta }\), and \(6 \times \dot{\tilde{g}}_{\alpha \beta }\), plus 5 from \(\tilde{u}_{\alpha }, \tilde{p}\) and \(\tilde{\rho }\), and 2 additional from \(\phi \) and \(\dot{\phi }\) giving a total of 19 independent functions. Subtracting 4 constraints and 4 by the coordinate covariances, we are left with 11 free functions for general solution. From Eqs. (21), (23), (25), (27), and (30), we get \(6+6+1=13\) free functions from \((\tilde{a}_{\alpha \beta }, \tilde{b}_{\alpha \beta }, \tilde{c}_{\alpha \beta })\), plus \(1+1+0=2\) free functions from \(({\phi }_{0}, {\phi }_{1}, {\phi }_{n-2})\). Subtracting the 4 coordinate covariances in our found solution, we see that there are \(15-4=11\) independent functions of the three space coordinates. This proves function-counting stability in the conformal frame with the same number of free functions as that required for stability on the Jordan frame, namely 11 functions.
4 Shock waves
We shall define the extrinsic curvature in synchronous coordinates in the standard way, \(K_{\alpha \beta }=\partial \gamma _{\alpha \beta }/\partial t\), and denote its trace by \(K=\text {Tr} K_{\alpha \beta }\). For a geodesic congruence, K is the expansion of the congruence, that is the fractional rate of change in its cross-sectional volume. Near the singularities predicted by the singularity theorems in general relativity, \(K\rightarrow -\infty \), that is the congruence collapses to zero volume and a conjugate point forms showing that spacetime itself collapses.
However, at the moment of a sudden singularity, we have \(K\rightarrow b,b>0, \) instead of collapse, which means that the congruence passes without intersecting through a minimum nonzero volume determined by b. The hypersurface containing this volume has a discontinuity only in the second derivatives of the spatial metric, that is \(\dot{K}\rightarrow \infty \). This is called a shock wave, a situation with singularities appearing only in the second derivatives of the metric. This effect has been shown to occur in general relativity [3], as well as in Brans-Dicke theory [29].
Below we show that the sudden singularity constructed in this paper also has a shock wave character like the two cases mentioned above. In fact, the present situation is even milder than those in general relativity and Brans-Dicke theory as we shall now show: the discontinuities in the metric appear only in the third derivatives of the metric.
The asymptotic behaviours of the Jordan frame components of the Ricci tensor on approach to the sudden singularity are, \(R_{00} \sim t^0\), \(R_{0\alpha } \sim t^0\), and \(R_{\alpha \beta } \sim t^0\), and also \(u^0 \sim t^0\), \(u^{\alpha } \sim t^{4-n}\). Hence, the Tipler [30] and Krolak [31] conditions follow, while using the Ricci tensor and velocity asymptotics, the strong energy condition \(R_{ij}u^{i}u^{j} \ge 0\) gives directly,
or, using (8), we find that,
In quadratic theory, the strong energy condition becomes,
and therefore since the pressure must diverge to \(+\infty \) at the sudden singularity [27], using Eq. (7) we find that,
Using the field equations in the Jordan frame, we obtain the following asymptotics for the extrinsic curvature and its derivatives:
These results imply the (generalized) shock wave nature of the general solution in both Jordan and conformal frames.
It is easy to see that the shock wave behaviour is also present in the conformal frame. The asymptotic behaviours of the components of the Ricci tensor in the conformal frame frame on approach to the sudden singularity are, \(\tilde{R}_{00} \sim t^{n-4}\), \(\tilde{R}_{0\alpha } \sim t^0\), and \(\tilde{R}_{\alpha \beta } \sim t^{n-4}\), and also \(\tilde{u}^0 \sim t^0\), \(\tilde{u}^{\alpha } \sim t^{4-n}\). The strong energy condition \(\tilde{R}_{ij}\tilde{u}^{i}\tilde{u}^{j} \ge 0\) then gives,
that is,
For the extrinsic curvature and its derivative we get,
and therefore we find that \(\tilde{K}\rightarrow \tilde{b},\,\dot{\tilde{K}} \rightarrow -\infty \), which means that the shock wave behaviour is also a feature of the conformal frame.
We therefore find that the shock wave behaviour is invariant under the the conformal transformation and occurs in both conformally related frames.
5 Discussion
In this paper we studied the nature of generic cosmological solutions near the sudden singularity in the \(R+\epsilon R^2\) modified gravity with a fluid source having unconnected p and \(\rho \) in the Jordan and Einstein frames. We showed that such solutions exist and are general in the sense of having 11 free functions, that is equal to the required number for a general solution of the theory. This solution admits a shock wave interpretation, that is near the sudden singularity is very mild, further to being geodesically complete (as can be seen by an argument similar to that in [3]).
Since the generic form (3) of the ‘sudden’ metric in the asymptotic region is the same for an smooth f(R) theory (cf. [27], discussion after Eq. (14)), we expect our results to continue to hold for any f(R) theory such that the conformal potential \(V(\phi )\) at the origin satisfies \(V''(0)>0\) (that is when spacetime is flat). Therefore it appears that the sudden metric (1) is function-counting stable in all these frameworks, whereas in general such a conclusion is not true for other vacuum or fluid-filled solutions. We believe that this result adds to the physical plausibility of the sudden singularity solutions.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This is a theoretical study and no experimental data.]
Notes
The reason for this is the fact that in the f(R) field equations, the symbols \(d_{\alpha \beta },e_{\alpha \beta }\) enter only in the higher order terms. These terms are proportional to \(\nabla \nabla R \) and \(\Box R\), with R the scalar curvature, and so only the trace of the Ricci curvarure enters in these terms and no other of its components.
References
J.D. Barrow, Class. Quantum Gravity 21, L79 (2004)
J.D. Barrow, G.J. Galloway, F.J. Tipler, Mon. Not. R. Astron. Soc. 223, 835 (1986)
J.D. Barrow, S. Cotsakis, Phys. Rev. D 88, 067301 (2013). arXiv:1307.5005
Z. Keresztes, L.A. Gergely, AYu. Kamenshchik, Phys. Rev. D 86, 063522 (2012)
J.D. Barrow, S.Z.W. Lip, Phys. Rev. D 80, 043518 (2009)
J.D. Barrow, A.B. Batista, J.C. Fabris, S. Houndjo, Phys. Rev. D 78, 123508 (2008)
J.D. Barrow, A.B. Batista, J.C. Fabris, S. Houndjo, Phys. Rev. D 84, 123518 (2011)
J. de Haro, J. Amoros, E. Elizalde, Phys. Rev. D 85, 123527 (2012)
J.D. Barrow, C.G. Tsagas, Class. Quantum Gravity 22, 1563 (2005)
A. Balcerzak, M. Dabrowski, Phys. Rev. D 73, 101301 (2006)
S. Cotsakis, I. Klaoudatou, J. Geom. Phys. 55, 306–315 (2005). arXiv:gr-qc/0409022
S. Cotsakis, I. Klaoudatou, J. Geom. Phys. 57, 1303–1312 (2007). arXiv:gr-qc/0604029
J.D. Barrow, S. Cotsakis, A. Tsokaros, Class. Quantum Gravity 27, 165017 (2010)
E.M. Lifshitz, I.M. Khalatnikov, Sov. Phys. JETP 12, 558 (1961)
E.M. Lifshitz, I.M. Khalatnikov, Sov. Phys. JETP 12, 108 (1961)
E.M. Lifshitz, V.V. Sudakov, I.M. Khalatnikov, Sov. Phys. JETP 13, 1298 (1961)
E.M. Lifshitz, I.M. Khalatnikov, Adv. Phys. 12, 185 (1963)
L. Landau, E.M. Lifshitz, The Classical Theory of Fields, 4th edn. (Pergamon, Oxford, 1975)
I.M. Khalatnikov, A.Y. Kamenshchik, A.A. Starobinsky, Class. Quantum Gravity 19, 3845 (2002)
I.M. Khalatnikov, A.Y. Kamenshchik, M. Martellini, A.A. Starobinsky, J. Cosmol. Astropart. Phys. 03, 001 (2003)
S. Cotsakis, S. Kadry, D. Trachilis, Int. J. Mod. Phys. A 31, 1650130 (2016). arXiv:1212.2412
I.M. Khalatnikov , A.Y. Kamenshchik, A.A. Starobinsky, JETP 129(4), 486–494 (2019) (ZhETF 156, No. 4, 581-584 (2019)). arXiv:1312.0237 [astro-ph.CO]
I.M. Khalatnikov, A.Y. Kamenshchik, Phys. Usp. 51, 609–616 (2008) arXiv:0803.2684 [gr-qc]
J.D. Barrow, Phys. Rev. D 89, 064022 (2014). arXiv:1401.4344
J.D. Barrow, Some generalities about generality, in The Philosophy of Cosmology. ed. by K. Chamcham, J. Silk, J.D. Barrow, S. Saunders (Cambridge University Press, Cambridge, 2017)
S. Cotsakis, A.P. Yefremov, Philos. Trans. R. Soc. A 380, 20210191 (2022). https://doi.org/10.1098/rsta.2021.0191. arXiv:2203.16443
J.D. Barrow, Class. Quantum Gravity 21, 5619 (2004)
J.D. Barrow, Class. Quantum Gravity 37, 065014 (2020). arXiv:1909.09519
J.D. Barrow, S. Cotsakis, D. Trachilis, Eur. Phys. J. C 80, 1197 (2020)
F.J. Tipler, Phys. Lett. A 64, 8 (1977)
A. Krolak, Class. Quantum Gravity 3, 267 (1986)
R. Penrose, Techniques of Differential Topology in Relativity (SIAM, Philadelphia, 1972)
Acknowledgements
We are grateful to an anonymous referee for constructive comments. The research of S.C. was funded by RUDN university scientific project number FSSF-2023-0003.
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. SCOAP3 supports the goals of the International Year of Basic Sciences for Sustainable Development.
About this article
Cite this article
Antoniadis, I., Cotsakis, S. & Trachilis, D. Sudden shock waves in modified gravity. Eur. Phys. J. C 83, 491 (2023). https://doi.org/10.1140/epjc/s10052-023-11690-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-023-11690-w