Abstract
We investigate how the cosmological equation of state can be used for scrutinizing extended theories of gravity, in particular, the Palatini \(f({{\mathcal {R}}})\) gravity. Specifically, the approach consists, at first, in investigating the effective equation of state produced by a given model. Then, the inverse problem can also be considered in view of determining which models are compatible with a given effective equation of state. We consider and solve some cases and show that, for example, power-law models are (the only models) capable of transforming barotropic Equations of State into effective barotropic ones. Moreover, the form of equation of state is preserved (only) for \(f({{\mathcal {R}}})={{\mathcal {R}}}\), as expected. In this perspective, modified Equations of State are a feature capable of distinguishing extended gravity with respect to general relativity. We investigate also quadratic and non-homogeneous effective Equations of State showing, in particular, that they contain the Starobinsky model and other ones.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
General relativity (GR) was a very successful theory from the very beginning, soon showing to be a self-consistent description of gravitational interaction more precise than Newtonian gravity at local (e.g. Solar System) scales addressing anomalies like the Mercury perihelion precession, bending of light rays by massive bodies, etc.
On the other hand, deviations appeared very soon at bigger scales and when non-vacuum solutions were considered, mainly in clusters of galaxies [1, 2], galactic dynamics [3, 4] up to cosmological scales [5, 6]. In general, these deviations require large amounts of some “dark” components evading an explanation in the framework of the standard model of particle to be addressed at fundamental level.
In many instances, these deviations produce tensions between the gravitational models and observations, last but not least the one connected with the recent Hubble parameter \(H_0\) revealed comparing measurements at local and very large scales (see [7] for a review). Generally, some authors consider GR essentially correct and juggle with the matter sources to fit data (see [8,9,10]), others consider deviations as an indication that we need to modify the interaction between gravity and matter, ideally without introducing exotic sources (see, e.g. [11,12,13,14,15,16]). Currently, we do not even reach a consensus on whether the issue is a matter of scales (since deviations appear at scales higher than galactic ones) or a matter of interaction between gravity and matter (since they appear in non-vacuum solutions).
However, maintaining GR as correct leads to introduce dark sources which gravitational effects are clearly observed at astrophysical and cosmological scales although they yet eluded all attempts to be revealed at fundamental level. In order to fit observations, a standard model has been obtained where visible sources amount to 3-5% of the observed matter-energy budget [8,9,10].
On the other hand, adopting the alternative gravity approach, we witnessed a plethora of models which is honestly difficult to be kept under control, even challenging the realistic predictivity of these models.
In this debate, one can deal with approaches where the same basic foundations of GR are questioned [17], and then we deal with modified gravity, and models where GR is recovered as a particular case on in a particular limit. In this case, we deal with extended gravity [18].
Even in specific restricted classes of models, e.g. \(f({{\mathcal {R}}})\) gravity, one introduces, in general, (analytic) functions with countable infinities of parameters. Consequently, one would need to fix infinitely many experiments to even calibrate models before being able to make predictions.
Usually, the situation is mitigated by (more or less arbitrarily) fixing a small subset of models, depending on a finite number of parameters, and making predictions within this subset. The predictions depend on the model parameters, they can be matched with observations determining best-fit values (see, e.g. [19,20,21,22,23]), then making real predictions and occasionally even being falsified. However, we have no solid theoretical reasons to select a subset rather than another class of models. Of course, we have indications from fundamental physics (e.g. quantum gravity) that some modifications are naturally required (see [24,25,26,27,28,29]). However, these ones do not seem to be stringent enough yet, especially there is no consensus on the form of effective actions involving gravity. Similarly, there are classical arguments (see, e.g. [30,31,32,33]) to lean in one direction rather than another. Clearly, none is stringent enough to reach a general consensus, yet.
It does not really matter if we look at the current situation from the viewpoint of dark sources or modified gravity. In any case, effective models of gravity cannot be considered fully satisfying at scales much higher than Solar System or much smaller than laboratory ones. On the other hand, being gravity the leading interaction from Planck to cosmological scales, we should be satisfied only with a theory which covers 60 orders of magnitude in distance energy, which is unsurprisingly hard to be achieved, even because many of these scales are completely observationally unexplored.
The \(H_0\)-tension indicates that (unless a spectacular systematic issue eventually emerges) there is something we are missing in the evolution of the universe where the same model is used from local scales up to the last scattering surface. This could be related to the Equation of State (EoS) of dark energy or some dynamical issue. In particular, there is a general consensus that anticipating the occurrence of recombination era would go in the direction of mitigating cosmological tensions either by some new physics [34] or by improving the datasets [35, 36].
Here, we are going to consider the problem of characterizing the effective EoS from the specific viewpoint of Palatini \(f({{\mathcal {R}}})\) gravity [18, 37,38,39,40,41,42,43]. The choice is due to the fact that Palatini \(f({{\mathcal {R}}})\)-gravity naturally implements the Ehlers–Pirani–Schild (EPS) axiomatics, making clear how to extend GR. See [30,31,32,33, 44] for a discussion.
It is well known that Palatini \(f({{\mathcal {R}}})\) gravity is equivalent, in vacuum, to Einstein gravity with a cosmological constant [45]. However, assuming a non-vacuum framework, Palatini models describe conformal relations between Einstein and Jordan frames with a prominent role played by matter. In these models then all is pretty similar to standard GR, exactly equal in vacuum. The only effect is that real matter is described in the Jordan frame, while gravitational effective sources are described in the Einstein frame (and the two frames are conformally related). In cosmology, EoS is not preserved under conformal transformations and this fact could be relevant in selecting models consistent with observations [23, 37, 46].
As we argued above, we have very few results which claims something about the whole class of Palatini \(f({{\mathcal {R}}})\) gravity models [45, 47, 48]. Therefore, it is possible to investigate how constraints on \(f({{\mathcal {R}}})\) gravity can be achieved by effective EoS.
Instead of considering the standard approach consisting in i) fixing a family of models by choosing given functions of \(f({{\mathcal {R}}})\) depending on a finite number of parameters; ii) making predictions; and iii) finally fitting observations, we try to go the other way around, looking for which models support a given effective EoS.
There are many surveys that are beginning to collect data to provide suitable dark energy EoS; see, e.g. [49]. We shall show how, given this information, one can use it to determine which Palatini \(f({{\mathcal {R}}})\) gravity models produce effective EoS. The approach is completely different from the one usually adopted, namely fixing a family of \(f({{\mathcal {R}}})\) models and fitting the parameters vs observations. From the present point of view, one can really adopt an inverse scattering approach where underlying cosmological models are fixed by observations [50].
This gives some perspective to extended gravity: to some extent, we are arguing if there is a mathematical equivalence between changing source sector and the interaction. This allows to provide some information about the map which implements the equivalence [51].
The layout of the paper is the following. In Sect. 2, we outline the Palatini \(f({{\mathcal {R}}})\) gravity deriving the field equations and the main conformal properties. Section 3 is devoted to the main features of Palatini \(f({{\mathcal {R}}})\) cosmology, while Sect. 4 is a detailed discussion of the EoS and how it can be used to select Palatini \(f({{\mathcal {R}}})\) cosmology models. Conclusions are drawn in Sect. 4.
2 Palatini \(f({{\mathcal {R}}})\) gravity
Let us assume a spacetime \({{\mathcal {M}}}\) of dimension \(\dim ({{{\mathcal {M}}}})=4\). We start from the fundamental fields \((g_{\mu \nu }, \tilde{\Gamma }^\alpha _{\beta \mu })\), namely a Lorentzian metric and an independent, possibly non-metric, connection on spacetime M.
An important remark is necessary at this point. In EPS formalism, \(g_{\mu \nu }\) is a Lorentzian metric on spacetime. It comes from light rays, and it defines protocols to measure distances and time lapses. The connection \(\smash {{\tilde{\Gamma }}^\alpha _{\beta \mu }}\) is independent of \(g_{\mu \nu }\). It is here assumed to be torsionless describing the free fall of material points. As such, we cannot really distinguish between two connections with the same geodesic trajectories just parameterized differently. Traditionally, such two connections are called projectively equivalent. This is just because parameterizations of geodesics in spacetime are not endowed with a direct physical meaning, and we are looking for trajectories in spacetime from the very beginning.
This is also a good framework to state the equivalence principle in its weakest form: there exists a single projective structure represented by a single connection describing the free fall of all forms of matter.
Different formulations of the equivalence principle need to be discussed: in general, we still can choose coordinates so that, at an event x, the metric g is constant and the connection \(\tilde{\Gamma }\) vanishes, though not along a whole worldline, as Fermi coordinates show to be possible in the standard GR [30,31,32,33, 44].
As said, the connection \( {\tilde{\Gamma }}^\alpha _{\beta \mu }\) is not assumed to be metric a priori. It defines curvature tensors, \(\smash {{\tilde{R}}^\alpha {}_{\beta \mu \nu }}\) and its Ricci contraction \(\smash {{\tilde{R}}_{\beta \nu } = {\tilde{R}}^\alpha {}_{\beta \alpha \nu }}\), which depend on the connection only. We can also define
which depends on both the connection and the metric. It is the scalar curvature.
The dynamics is given by the Lagrangian
where \(f({{\mathcal {R}}})\) is a regular function and the matter Lagrangian depends on the metric, the matter fields \(\Phi \) up to their first derivatives. It is worth noticing that the case \(f({{\mathcal {R}}})= \frac{1}{2\kappa } {{\mathcal {R}}}\) is the standard GR in Palatini formulation.
The field equations are obtained by independent variation with respect to the fields g and \(\Gamma \)
where \(T_{\mu \nu }\) is the global stress-energy tensor, and \(T=g^{\mu \nu } T_{\mu \nu }\) is its trace. We can contract the first equation with \(g^{\mu \nu }\) to obtain the master equation
We can introduce a new conformal metric \({\tilde{g}}_{\mu \nu } = \varphi g_{\mu \nu }\) to solve the second equation. By fixing the conformal factor \(\varphi = \chi f'({{\mathcal {R}}})\) for any constant \(\chi \), the second equation becomes
The function \(f({{\mathcal {R}}})\) can be chosen so that the master equation has a discrete set of zeros. For example, any analytic function, different from \(f({{\mathcal {R}}})= c{{\mathcal {R}}}^2\), will do the job, although one can also consider less regular cases, still having a discrete set of zeros. Whenever the master equation has a discrete set of zeros, one can express \({{\mathcal {R}}} = {{\mathcal {R}}}(T)\) as a function of matter content, in a discrete set of branches and the theory can be solved on each branch. This allows, in field equations, solutions for curvature or matter, depending on what we want to represent.
In vacuum, for \(T=0\), \({{\mathcal {R}}}\) is constant and the function \(f({{\mathcal {R}}})\) can be traded with a cosmological term in field equations. This is the core of the universality theorem, saying that all Palatini \(f({{\mathcal {R}}})\) models, in vacuum, behave as the standard Einstein theory with a cosmological constant with a discrete spectrum dictated by the zeros \({{\mathcal {R}}}= {{\mathcal {R}}}_i(0)\) of the master equation [45].
In view of the second field equation, the connection \(\tilde{\Gamma }^\alpha _{\mu \nu }\) is then metric on-shell, namely along solutions. Since the two metrics are conformal, we have
where \({}^*\nabla _\epsilon \) denotes the covariant derivative in the cases where it does not depend on any connection. Here, covariant derivatives \(\nabla _\alpha \) are with respect to the metric g, the indices in \({}^*\nabla ^\alpha \ln \varphi = g^{\alpha \beta }{}^*\nabla _\beta \ln \varphi \) are raised by the metric g. The conformal factor is assumed to be positive within the region of interest \(U\subset {{{\mathcal {M}}}}\) (which sets some constraint on how to fix the constant \(\chi \)), \(\nabla _{\beta \nu } \ln \varphi = \nabla _\beta \nabla _\nu \ln \varphi \) is the second covariant derivative, which is symmetric on scalar 0-forms as \(\ln \varphi \), and \(\Box \ln \varphi = g^{\beta \nu }\nabla _{\beta \nu } \ln \varphi \) is the d’Alembert operator.
Let us stress that, as for any field equation linear in the Ricci tensor, the first field equation can be recast as follows, once one takes into account the solution of the second equation,
The relation above is the Einstein tensor equation with respect to the metric \({\tilde{g}}\) with an effective stress-energy tensor \({\tilde{T}}_{\mu \nu }\) depending on the real stress-energy tensor \(T_{\mu \nu }\) and the conformal factor \(\varphi \).
An important remark is in order at this point. As a matter of fact, the physical core of Palatini \(f({{\mathcal {R}}})\) gravity, in the EPS perspective, is the possible conformal mismatch between the metric g, describing distances, and the metric \({\tilde{g}}\), describing free fall. In Palatini \(f({{\mathcal {R}}})\) gravity, one does not assume they are the same metric as one does in standard GR, but it is left to dynamics to determine their mutual relation (which means that also in standard GR, one does not need to assume it but it is enforced by the choice of the Hilbert-Einstein action).
Let us comment that protocols to measure times and distances are today set in a quantum framework, which, by the way, is coherent with special relativity, while it is yet not known if it is coherent with general covariance principle. On the other hand, the free fall of a material point is a genuinely GR issue, and nobody can check if it is coherent with a quantum framework yet. However, there are some checks which tell us that the conformal factor does not change much within the Solar System. These tests are much harder to support experimentally at galactic or cosmological scales.
Of course, we cannot exclude that, eventually, it will turn out that standard GR is the right theory from the beginning and the conformal factor will actually be constant, that is why standard GR is regarded as a special Palatini \(f({{\mathcal {R}}})\) gravity, just for a linear \(f({{\mathcal {R}}})= \frac{1}{2\kappa } {{\mathcal {R}}} + \Lambda \).
Since the field equation (7) is in the Einstein form, then the left-hand side obeys the contracted Bianchi identities. Thus, \({\tilde{T}}_{\mu \nu }\) is conserved with respect to \({\tilde{g}}\), namely \({\tilde{\nabla }}_\mu {\tilde{T}}^{\mu \nu }=0\), where \({\tilde{\nabla }}_\mu \) denotes the covariant derivative with respect to \({\tilde{g}}\) and, of course, indices of \({\tilde{T}}_{\mu \nu }\) are raised by \({\tilde{g}}\).
Because of this form of the field equations, using the metric \({\tilde{g}}\) is called the Einstein frame(work), while using the metric g is called the Jordan frame. Endless discussions have been spent to discuss whether the true physical metric on \({{\mathcal {M}}}\) is, g or \({\tilde{g}}\), regarding the other one as a mathematical trick [37].
It is worth noticing that, in EPS formulation, there is no reason to believe that one should do everything with one metric only. As a matter of fact, EPS point of view is that quantum mechanics and the local non-gravitational metric g may be conformal but not equal to the metric \({\tilde{g}}\), which describe the free fall of macroscopic material points.
Of course, none of these interpretations is relevant to the formulae we write down here; they just explain the names we use to denote objects. When we call \({\tilde{T}}_{\mu \nu }\) the effective stress-energy tensor, we exactly mean that it encodes gravitational effects, not quantum effects. If we set up quantum experiments to test matter composition, we expect to see \(T_{\mu \nu }\), not \(\tilde{T}_{\mu \nu }\). If it can sound strange that we never realized the conformal mismatch between the two frameworks, actually this is precisely the case since we are not able to resolve GR at quantum level, yet. In fact, only Newtonian gravity can be successfully tested on quantum systems [52]. These goals, at the moment, are quite far to be achieved for GR and the other relativistic theories of gravity [53].
If it is there, the discrepancy will sooner or later appear clearly. Nowadays one can reasonably expect to see effects at galactic or cosmological scales, which are, by the way, exactly the scales at which dark sources become relevant while they are not yet detected at laboratory scales.
By the way, arguing that Einstein frame is characterized by Einstein-like field equations is just wrong. Of course, field equations can be also recast as Einstein equations for g; namely as
Also, in this case, \({\hat{T}}_{\beta \nu }\) is called the Jordan stress-energy tensor, it is conserved with respect to the metric g, namely \(\nabla _\beta {\hat{T}}^{\beta \nu }=0\) (indices raised by g, here). We shall not use this below, but it just shows that it is not true that field equations in Jordan frame are not in Einstein form. Distinguishing Jordan and Einstein frames needs to be done at the level of action functionals, not at the level of field equations [54, 55].
One can finally show that the real stress-energy tensor \(T_{\mu \nu }\) is conserved with respect to g, namely \(\nabla _\mu T^{\mu \nu }=0\) since it comes as a variational derivative of a covariant matter Lagrangian \(L_m[g, \Phi ]\).
Although one can show this directly [56], we can also have a direct hint by the fact that \(T_{\mu \nu }\) does not depend on the gravitational Lagrangian we couple to it. Clearly \(T_{\mu \nu }\) is conserved in standard GR.
3 Palatini \(f({{\mathcal {R}}})\) cosmology
After the above discussion on Palatini \(f({{\mathcal {R}}})\) gravity, we want to apply it to cosmology, namely to spatially flat, homogeneous and isotropic Friedman–Lemaître–Robertson–Walker (FLRW) cosmology. Let us define
where g is the FLRW metric, defined after the line element \(ds^2=g_{\mu \nu }dx^{\mu }dx^{\nu }\). We choose to normalize the scale factor \(a_o= a(t_o) = 1\) to unity today at time \(t_o\). In this normalization, the scale factor a(t) is assumed dimensionless with \([k]= L^{-2}\), and \([r]=[ct]=L\). It is worth saying that here we have two metrics and, in principle, we should declare which one is required to be spatially homogeneous and isotropic.
In view of the master equation, we can see that the conformal factor \(\varphi \) is a function of time t only. Suppose g is in FLRW form in coordinates \((t, r, \theta , \phi )\), then we have
where we set \(d{\tilde{t}} = \sqrt{\varphi (t)} dt\) and \({\tilde{a}}(\tilde{t})= \sqrt{\varphi (t)} a(t)\). Hence, \({\tilde{g}}\) is in FLRW form in coordinates \(({\tilde{t}}, r, \theta , \phi )\); therefore, it is spatially homogeneous and isotropic.
If we restrict to a conformal factor such that \(\varphi (t_o)=1\), the conformal transformation preserves the normalization of the scale factor, namely also \({\tilde{a}}({\tilde{t}}_o)=1\).
The second step is that being the metric in FLRW form, it means that the corresponding Einstein tensor, as well as the Jordan tensor
is a perfect fluid stress-energy tensor. In other words, there exist two functions of time, \(\rho (t)\) and p(t), and a future-directed timelike unit-vector \(u^\mu \) such that
where \(\rho \) and p are called the energy-density and pressure of the fluid. On the other hand, \({\tilde{\rho }}\) and \({\tilde{p}}\) are the effective energy-density and pressure. Immediately we have \( u^\mu = \sqrt{\varphi } {\tilde{u}}^\mu \) and \(\tilde{u}_\mu = \sqrt{\varphi } u_\mu \), so that \(g(u, u)=-1={\tilde{g}}({\tilde{u}}, {\tilde{u}})\).
In view of the relation (7) between stress-energy tensors, we have
from which, we get the relations between real and effective sources, namely
On each branch of the theory, we have \({{\mathcal {R}}}={{\mathcal {R}}}(T)\) and \(T=3p-\rho \), which expresses also f and \(f'\) as a function of p and \(\rho \). In other words, we have
As we supply the EoS, \(p=p(\rho )\), for real matter, this is a parameterized form of EoS, \({\tilde{p}}={\tilde{p}}({\tilde{\rho }})\), for effective matter.
Let us stress that the change of EoS, when changing from Jordan to Einstein frame, can be considered as the only effect introduced by the Palatini \(f({{\mathcal {R}}})\) cosmology. It is worth discussing how this change can occur and how it can put constraints on related models to be matched with observations.
4 Selecting Palatini \(f({{\mathcal {R}}})\) cosmologies from EoS
Suppose we measure \({\tilde{H}}({\tilde{z}})\) that is equivalent, according to standard cosmology, to know the (total) effective density \({\tilde{\rho }}({\tilde{a}})\). Then, by conservation, we have \({\tilde{p}}= -\left( {\tilde{a}} {\tilde{\rho }}' +\frac{1}{3}{\tilde{\rho }}\right) \). Once we have \(\left( {\tilde{\rho }}({\tilde{a}} ), {\tilde{p}}({\tilde{a}} )\right) \), that is equivalent to have the effective EoS in the implicit form \(\tilde{F}({\tilde{\rho }}, {\tilde{p}})=0\), we can investigate which \(f({{\mathcal {R}}})\) models reproduce the observed effective behaviour. See also [50] for a general discussion.
For example, it is possible to show that deviations from the barotropic EoS are signals of dynamics departing from power-law models. On the other hand, if we have a quadratic EoS, this is strong constraint on possible dynamics one can consider. In other words, measuring \({\tilde{H}}({\tilde{z}})\) gives a lot of information on the sources related to the EoS.
Let us start by reviewing some particular models. After we shall consider the inverse problem, i.e. how to constrain \(f({{\mathcal {R}}})\) cosmologies by real and effective EoS.
4.1 The Starobinsky model
Let us start from the Starobinsky model, namely \(f({{\mathcal {R}}})= \frac{1}{2\kappa }\left( {{\mathcal {R}}} + \epsilon {{\mathcal {R}}}^2\right) \). The master equation in this case is
and consequently
If the real matter is barotropic, namely the real EoS is \(p=w\rho \), we have the effective sources as
These are already effective EoS in a parameterized form, with \(\rho \) as a parameter. This already shows that effective matter is not even barotropic, in fact we have
We see that the effective EoS is not barotropic since \({\tilde{w}}\) is not constant (unless one expands around a configuration or \(w=\frac{1}{3}\)). Albeit, in a sense, this is an exact EoS to the extent in which the real EoS is assumed to be exact. From an observational point of view, the dark energy EoS \(w_{\rm DE}(z)\), which is aimed to be measured by several cosmological surveys, cannot be exactly barotropic if we want to describe the evolution of cosmic fluid where the global EoS is not always strictly constant.
We can also eliminate the parameter \(\rho \) to have the effective EoS in implicit form as \({\tilde{F}}({\tilde{\rho }}, {\tilde{p}})=0\). In fact, starting from (18), we can divide and solve for \(\rho \)
Summing and eliminating \(\rho \), we have
which is the effective EoS.
4.2 Power-law models
Let us discuss now power-law models, \(f({{\mathcal {R}}})= \frac{1}{2\kappa } {{\mathcal {R}}}^n\), with \(n\not =2\). Also in this case, the master equation is particularly simple
and consequently
If the real matter is barotropic, namely the real EoS is \(p=w\rho \), we have effective sources as
This means that, in the case of power-law models, a barotropic EoS is mapped in a barotropic one and vice versa.
4.3 The inverse problem
Suppose we want to go the other way around, that is we measure an EoS and we want to reconstruct the related \(f({{\mathcal {R}}})\) cosmological model.
For the sake of simplicity, let us first consider a barotropic real EoS, \(p=w\rho \), and a different barotropic effective EoS, \({\tilde{p}} = {\tilde{w}} {\tilde{\rho }}\). By specializing to this case we have the relation between real and effective sources as well as the master equation
which integrates to
This result shows that models with \(f({{\mathcal {R}}})= c{{\mathcal {R}}}^n\) send real barotropic sources in (different) effective barotropic sources. If one wants to preserve the barotropic index, namely having \(\tilde{w}=w\) that is possible if and only if
Therefore, standard GR is the only model in which effective and real EoS coincide.
Furthermore, it is worth noticing that \(w=\frac{1}{3} ={\tilde{w}}\), as well as \(w=-1={\tilde{w}}\), are solutions for any n so that, given both EoS, the function \(f({{\mathcal {R}}})\) is not, in general, uniquely determined by a single correspondence of EoS, but rather by the map which transforms any real EoS in the corresponding effective EoS.
If we had a reason to believe in a specific model, the direct problem would be fine. It makes predictions about the gravitational sector which may be confirmed or disproved. But currently we do not. If we do not consider dark sources, we have no (or very little) reasons to go beyond the standard GR. Also considering dark sources, one can go for modifying the matter or the gravitational sector. Preferring to modify the gravitational sector, the motivation remains purely phenomenological: one should set up a model capable of reproducing an observed phenomenology.
Solving the equation for \(f({{\mathcal {R}}})\), in general, is not easy but it gives us a different information about the model rather than the direct problem. However, there are more cases in which it can be done.
4.4 The linear effective EoS
Let us consider an effective EoS like
which is defined up to a factor that we can fix without changing the EoS itself. Thus, with no loss of generality, we can set \(\gamma =1\) to parameterized all non-barotropic cases. This is the simplest modification of barotropic EoS, and it allows non-zero pressure in vacuum. We also assume barotropic real EoS, i.e. \(p=w\rho \). Then, we have
from which we obtain
We can now perform the transformation \(f({{\mathcal {R}}})= \Lambda + \alpha {{\mathcal {R}}} + {{\mathcal {R}}}^2 F({{\mathcal {R}}})\) (hence \(f' = \alpha + 2{{\mathcal {R}}} F + {{\mathcal {R}}}^2 F'\)) so that the condition becomes
Assuming the analytic function \(F({{\mathcal {R}}})= a_0+ a_1{{\mathcal {R}}}+\frac{1}{2}a_2 {{\mathcal {R}}}^2+\dots \) and for generic values of the parameters, we get
giving rise to a recurrence formula to compute the following coefficients from the previous ones. Whether this formal series truncates to a polynomial depends on specific values of \(\alpha , \beta , w\).
4.5 The quadratic effective EoS
Let us now consider an effective EoS like
As a special case, we get the Starobinsky model for
Let us change coordinates \(({\tilde{\rho }}, {\tilde{p}})\mapsto ({\tilde{e}}, {\tilde{p}})\) by setting \({\tilde{e}}=\alpha {\tilde{p}} + \beta {\tilde{\rho }}\) (hence \({\tilde{\rho }}= \frac{1}{\beta } {\tilde{e}}-\frac{\alpha }{\beta }{\tilde{p}} \)) so that the effective EoS becomes
Then, we can consider the equations for the new pressure and density together with the master equation and use these to write a differential equation for the function \(f({{\mathcal {R}}})\) alone. We proceed as above and, from the master equation, we get
Then we make a linear combination of the equations for the effective sources obtaining
while from the equation for the effective pressure, using the effective EoS in the form (35), we have
from which we get
and then
The last equation is nonlinear and already quite difficult to study, although the effective EoS we selected is not very complicated. However, it contains the information we are looking for, being a differential equation for the function \(f({{\mathcal {R}}})\). It provides us with all possible Palatini \(f({{\mathcal {R}}})\) models reproducing the effective EoS we started from. It is no surprising that among solutions we find \(f({{\mathcal {R}}})= a_1{{\mathcal {R}}} + a_2 {{\mathcal {R}}}^2\). In general, if we expand the equation as a polynomial in \({{\mathcal {R}}}\), it is possible to get equations to link \((a_1, a_2, \alpha ,\beta , \gamma , \lambda , w)\).
What we would like to do now is providing EoS parameters \(\alpha , \beta , \gamma , \lambda , w\) and computing \(a_1, a_2\) to determine f. However, in this case, we already see that we have a 4-degree polynomial (with no constant term), thus we get 4 equations. With 2 unknowns, we have little hope to determine them uniquely. In fact we can define \(\epsilon =\epsilon (\alpha ,\beta ,\gamma ,\lambda , w)\) but we are left with 3 equations from which we cannot solve for \(\kappa \), which is left undetermined, i.e. they are constraints for \(\alpha ,\beta ,\gamma ,\lambda , w\).
However, in this case we can try and solve for \(\alpha , \beta , \gamma , \lambda \) and we obtain
where we set \(a_1=\frac{1}{2\kappa }\) and \(a_2=\epsilon \). That is exactly the Starobinsky model for any value of c.
However, this shows precisely that Starobinsky models account for a 1-parameter family of models with effective EoS as
which, however, are a 3-parameters family. Thus, we expect other models producing the same type of effective EoS.
In fact, Starobinsky model is not the only model producing effective EoS in the form (33). As a matter of fact, if we assume a function
and we repeat the above argument, we see that the effective EoS is in the form (33) with
Then, we do not get more up to a polynomial of degree 10.
Finally, we also have
with effective EoS
However, even if this is in the form (33), one can simplify it to a linear effective EoS as
although generically not homogeneous as a barotropic law. The same happens for the model with
which is clearly a generalisation of the Starobinsky one.
5 Conclusions and perspectives
Gravitational theories have a notoriously tricky relation with observations. It is well known that, by defining observables, as generally invariant quantities purely metric covariant theories, in vacuum, have no observables at all [57,58,59,60,61]. Gravitational observables arise only when matter is adopted to probe theories. Specifically, in cosmology, we need to understand how observable quantities relate to the theoretical framework, like, for example, that given by the cosmological principle defining some preferred observers. Certainly, in cosmology, we have many constraints on what we can measure, making it a coarse-grained approach.
In this perspective, surveys like Euclid can provide information about the (effective) EoS of dark sources. Thus, one should investigate what information we can achieve within theories of gravity like extended gravity or modified gravity.
Here, we showed that, with the exception of standard GR, any Palatini \(f({{\mathcal {R}}})\) model comes with a non-trivial map between real and effective EoS, in the sense that standard GR is the only theory which preserves EoS.
If we assume barotropic real EoS, power-law models are the only models in which effective EoS are also barotropic, with the exception of \(f({{\mathcal {R}}})= c{{\mathcal {R}}}^2\) which is degenerate since, for it, the master equation is identically satisfied.
When we take non-barotropic effective EoS, we can also study which models are allowed. This is done by starting from the definition of effective pressure and density together with the master equation and turn this into a (nonlinear) differential equation for the model function \(f({{\mathcal {R}}})\). This function is not easy to be solved even in the simplest cases. However, if we expand in series of \(f({{\mathcal {R}}})\), we can compute approximations of general solutions.
Generically, we can solve the conditions for \(f'\). For example, we can solve Eq.(30) on two different branches to obtain \(f'= A({{\mathcal {R}}}, f)\) which, together with the trivial equation \({{\mathcal {R}}}'=1\), can be considered as a solution of the dynamical system defined by the vector field
which shows that, at least locally, one has solutions for \(f({{\mathcal {R}}})\).
Here, we considered simple toy models with a single real barotropic fluid and still we obtained effective EoS which are non-trivial. Future investigations have to be devoted to extend to general real EoS and mixtures. Having nonlinear EoS is not really difficult to be dealt with. See, for example, [19, 20]. After all, EoS are themselves an approximation of matter equations, which are certainly valid in a regime and extending it out of this domain is problematic. For example, ordinary matter is described as dust today since one can neglect non-gravitational interactions among far away galaxies, but of course such an assumption is at least questionable in the early universe.
Moreover, we already showed that when one allows mixtures, the cosmic evolution is determined by the total abundance \(\Omega (a)\). However, there are different mixtures producing the same function \(\Omega (a)\). Still we need to define results which hold for any \(f({{\mathcal {R}}})\) to realize if Palatini approach can be physically sound.
Let us consider the conjecture stating that given an EoS, one can find \(f({{\mathcal {R}}})\) which produce it. We already proved that different models can send a single real EoS to a single effective EoS. We still have no evidences that two correspondences between real and effective EoS cannot be reproduced by different models. If this is the case, namely, we can have different models which cannot be distinguished in cosmology, which is very interesting.
If there are specific effective EoS that cannot be produced at all would be also very interesting since it would allow to disprove all Palatini \(f({{\mathcal {R}}})\) models at a time. Finally, as we said, if there is a one-to-one correspondence between \(f({{\mathcal {R}}})\) and a map between real and effective EoS would be a proof which could be tested, in principle, by observations. Clearly, the approach can work also for other theories of gravity like teleparallel or symmetric teleparallel ones [17, 62]. This will the topic of forthcoming studies.
Data Availability Statement
Data sharing is not applicable to this article as no datasets were generated or analysed during the current study.
References
F. Zwicky, Die Rotverschiebung von extragalaktischen Nebeln. Helvetica Physica. Acta. 6, 110–127 (1933)
F. Zwicky, On the masses of Nebulae and of clusters of Nebulae. Astrophys. J. 86, 217 (1937)
K.C. Freeman, On the disks of spiral and S0 galaxies. Astrophys. J. 160, 811 (1970)
V.C. Rubin, J.W.K. Ford, Rotation of the andromeda nebula from a spectroscopic survey of emission regions. Astrophys. J. 159, 379 (1970)
V. Trimble, Existence and nature of dark matter in the universe. Ann. Rev. Astron. Astrophys. 25, 425–472 (1987)
A.G. Riess, et al., Observational evidence from supernovae for an accelerating universe and a Cosmological Constant, In: AJ 116, (1998) 1009-1038; arXiv:astro-ph/9805201
E. Di Valentino, L. A. Anchordoqui, O. Akarsu, Y. Ali-Haimoud, L. Amendola, N. Arendse, M. Asgari, M. Ballardini, S. Basilakos, E. Battistelli, et al. Snowmass2021 - Letter of interest cosmology intertwined II: the hubble constant tension, Astropart. Phys. 131 (2021), 102605; arXiv:2008.11284 [astro-ph.CO]
Planck Coll. http://www.rssd.esa.int/index.php?project=Planck
F. Melchiorri, B.O. Melchiorri, L. Pietranera, B.O. Melchiorri, Fluctuations in the microwave background at intermediate angular scales. Astrophys. J. 250, L1 (1981)
E. Komatsu et al., Five-year wilkinson microwave anisotropy probe (WMAP) observations: cosmological interpretation, 2009 ApJS 180 330; arXiv:0803.0547 [astro-ph]
S. Capozziello, M. De Laurentis, The dark matter problem from f(R) gravity viewpoint. Annalen Phys. 524, 545 (2012)
M. Milgrom, A modification of the Newtonian dynamics as a possible alternative to the hidden mass hypothesis. Astrophys. J. 270, 365 (1983)
P.D. Mannheim, D. Kazanas, Exact vacuum solution to conformal weyl gravity and galactic rotation curves. Astrophys. J. 342, 635–638 (1989)
S.Nojiri, S.D. Odintsov, Introduction to modified gravity and gravitational alternative for dark energy, in: eConf C0602061 (2007) 06, Int. J. Geom. Meth. Mod. Phys. 4 115-146; hep-th/0601213
L. Fatibene, M. Francaviglia, Extended theories of gravitation and the curvature of the universe - do we really need dark matter? in : Open Questions in Cosmology, Edited by Gonzalo J. Olmo, Intech (2012), ISBN 978-953-51-0880-1; https://doi.org/10.5772/52041
A. Borowiec, M. Kamionka, A. Kurek, M. Szydłowski, Cosmic acceleration from modified gravity with Palatini formalism. J Cosmol Astropart. Phys. 02, 027 (2012)
S. Capozziello, V. De Falco, C. Ferrara, Comparing equivalent gravities: common features and differences, Eur. Phys. J. C 82 (2022) no.10, 865; arXiv:2208.03011 [gr-qc]
S. Capozziello, M. De Laurentis, Extended theories of gravity. Phys. Rept. 509, 167 (2011). arXiv:1108.6266 [gr-qc]
P. Pinto, L. Del Vecchio, L. Fatibene, M. Ferraris, Extended cosmology in palatini \(f({\cal{R} })\)-theories. J. Cosmol. Astropart. Phys. 11, 044 (2018)
L. Del Vecchio, L. Fatibene, S. Capozziello, M. Ferraris, P. Pinto, S. Camera, Hubble drift in Palatini \(f({\cal{R} })\)-theories. Eur. Phys. J. Plus 134, 5 (2019)
S. Nojiri, S.D. Odintsov, Unified cosmic history in modified gravity: from\(F(R)\)theory to Lorentz non-invariant models, Phys.Rept. 505 (2011) 59-144; arXiv:1011.0544
S. Nojiri, S.D. Odintsov, Modified gravity with negative and positive powers of the curvature: unification of the inflation and of the cosmic acceleration. Phys. Rev. 68, 123512 (2003)
S .Capozziello, M.F. De Laurentis, L. Fatibene, M. Ferraris, S. Garruto, Extended Cosmologies, SIGMA 12 (2016), 006, 16 pages; arXiv:1509.08008
M. Sami, A. Toporensky, P.V. Tretjakov, S. Tsujikawa, The fate of (phantom) dark energy universe with string curvature corrections. Phys. Lett. B 619, 193 (2005)
S. Nojiri, S.D. Odintsov, Accelerating cosmology in modified gravity: from convenient \(F(R)\) or string-inspired theory to bimetric F(R) gravity. IJGMMP 11(02), 1460006 (2014). arXiv:1306.4426 [gr-qc]
A. Ashtekar, E. Bianchi, A short review of loop quantum gravity. Rep. Prog. Phys. 84, 042001 (2021)
R. Loll, Quantum gravity from causal dynamical triangulations: a review. Class. Quantum Grav. 37, 013002 (2020)
J. Ambjorn, M. Carfora, A. Marzuoli, The geometry of dynamical triangulations, Lecture Notes in Physics Monographs (LNPMGR, volume 50)
S. Surya, The causal set approach to quantum gravity. Living Rev. Relativ. 22(1), 1–75 (2019)
J. Ehlers, F.A.E. Pirani, A. Schild, The Geometry of Free Fall and Light Propagation, in: General Relativity, ed. L.O.’Raifeartaigh (Clarendon, Oxford, 1972)
M. Di Mauro, L. Fatibene, M. Ferraris, M. Francaviglia, Further extended theories of gravitation: part I. Int. J. Geom. Methods Mod. Phys. 7(5), 887–898 (2010)
V. Perlick, Characterization of standard clocks by means of light rays and freely falling particles. Gen. Rel. Grav. 19(11), 1059–1073 (1987)
S. Capozziello, A. Chiappini, L. Fatibene, A. Orizzonte, The generally covariant meaning of space distances. Eur. Phys. J. Plus 135, 948 (2020). arXiv:2011.06297 [gr-qc]
S. Capozziello, M. Benetti, A.D.A.M. Spallicci, Addressing the cosmological \(H_0\) tension by the Heisenberg uncertainty. Found. Phys. 50(9), 893 (2020)
M. Benetti, S. Capozziello, Connecting early and late epochs by f(z)CDM cosmography. JCAP 12, 008 (2019)
W. Yang, S. Pan, S. Vagnozzi, E. Di Valentino, D.F. Mota, S. Capozziello, Dawn of the dark: unified dark sectors and the EDGES Cosmic Dawn 21-cm signal. JCAP 11, 044 (2019)
G. Allemandi, M. Capone, S. Capozziello, M. Francaviglia, Conformal aspects of Palatini approach in extended theories of gravity. Gen. Rel. Grav. 38, 33 (2006)
G.J. Olmo, Palatini Approach to Modified Gravity: \(f(R)\) Theories and Beyond. Int. J. Mod. Phys. D 20, 413–462 (2011). arXiv:1101.3864 [gr-qc]
V. Faraoni, Palatini gravity as a fixed point. Phys. Lett. B 665(4), 135–138 (2008)
T. Sotiriou, V. Faraoni, \(f(R)\)theories of gravity, Reviews of Modern Physics, vol. 82, Issue 1, pp. 451-497
A. Borowiec, M. Kamionka, A. Kurek, M. Szydłowski, Cosmic acceleration from modified gravity with Palatini formalism. J. Cosmol. Astropart. Phys. 2012(02), 027 (2012)
A. Kozak, A. Borowiec, Palatini frames in scalar-tensor theories of gravity. Eur. Phys. J. C 79, 335 (2019)
A. Wojnar, Giant planet formation in Palatini gravity. Phys. Rev. D 105(12), 124053 (2022)
L. Fatibene, S. Garruto, Extended theories of gravitation. Int. J. Geom. Meth. Mod. Phys. 13(5), 1650070 (2016)
A. Borowiec, M. Ferraris, M. Francaviglia, I. Volovich, Universality of einstein equations for the Ricci Squared Lagrangians. Class. Quantum Grav. 15, 43–55 (1998)
L.Fatibene, Relativistic theories, Gravitational theories, and General Relativity, http://www.fatibene.org/book.html
E. Barausse, T.P. Sotiriou, J.C. Miller, A no-go theorem for polytropic spheres in Palatini \(f(R)\) gravity. Class. Quantum Grav. 25, 062001 (2008)
A. Mana, L. Fatibene, M. Ferraris, A further study on Palatini \(f({\cal{R} })\)-theories for polytropic stars. JCAP 10, 040 (2015)
Euclid Collaboration, Euclid preparation: VII. Forecast validation for Euclid cosmological probes 642(642), A191 (2020)
S. Capozziello, V.F. Cardone, E. Elizalde, S. Nojiri, S.D. Odintsov, Observational constraints on dark energy with generalized equations of state. Phys. Rev. D 73, 043512 (2006)
L. Fatibene, M. Francaviglia, Mathematical equivalence versus physical equivalence between extended theories of gravitation. Int. J. Geom. Methods Mod. Phys. 11(1), 1450008 (2014). arXiv:1302.2938 [gr-qc]
M. Aspelmeyer, Č Brukner, D. Giulini, G. Milburn, Focus on gravitational quantum physics. New J. Phys. 19(5), 050401 (2017)
B. Altschul, Q.G. Bailey, L. Blanchet, K. Bongs, P. Bouyer, L. Cacciapuoti, S. Capozziello, N. Gaaloul, D. Giulini, J. Hartwig et al., Quantum tests of the Einstein Equivalence Principle with the STE-QUEST space mission. Adv. Space Res. 55, 501 (2015)
G. Magnano, L.M. Sokolowski, On physical equivalence between nonlinear gravity theories. Phys. Rev. D 50, 5039–5059 (1994)
L. Fatibene, S. Garruto, Extended gravity. Int. J. Geom. Methods Mod. Phys. 11, 1460018 (2014). arXiv:1403.7036 [gr-qc]
M. Ferraris, M. Ferraris, Francaviglia, The Lagrangian approach to conserved quantities in general relativity, in Mechanics. analysis and geometry: 200 years after Lagrange. (North-Holland Delta Ser, North-Holland, Amsterdam, 1991), pp.451–488
C. Rovelli, What is observable in classical and quantum gravity? Class. Quantum Grav. 8, 297 (1991)
R. Utiyama, Invariant theoretical interpretation of interaction. Phys. Rev. 96, 191 (1956)
U. Bruzzo, The global Utiyama theorem in Einstein-Cartan theory. J. Math. Phys. 28, 2074 (1987). https://doi.org/10.1063/1.527417
J. Janyska, Higher order Utiyama invariant interaction In: Rep. Math. Phys. 59 (2007), 63
L. Fatibene, M. Ferraris, G. Magnano, Constraining the physical state by symmetries. Ann. Phys. 378, 47 (2017)
Y.F. Cai, S. Capozziello, M. De Laurentis, E.N. Saridakis, f(T) teleparallel gravity and cosmology. Rept. Prog. Phys. 79(10), 106901 (2016)
Acknowledgements
This paper is based upon work from COST Action CA21136 Addressing observational tensions in cosmology with systematics and fundamental physics (CosmoVerse) supported by COST (European Cooperation in Science and Technology). It is also supported by INdAM-GNFM. We acknowledge the contribution of Istituto Nazionale di Fisica Nucleare (CSN4 iniziativa specifica QGSKY and CSN2 esperimento Euclid), the local research project Metodi Geometrici in Fisica Matematica e Applicazioni (2021) of Dipartimento di Matematica of University of Torino (Italy). LF acknowledges the Department of Applied Mathematics of University of Waterloo (ON-Canada) for the invitation as a visitor researcher and the financial support for the sabbatical leave.
Funding
Open access funding provided by Università degli Studi di Torino within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Focus Point on Tensions in Cosmology from Early to Late Universe: The Value of the Hubble Constant and the Question of Dark Energy. Guest editors: S. Capozziello, V.G. Gurzadyan.
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/.
About this article
Cite this article
Camera, S., Capozziello, S., Fatibene, L. et al. The effective equation of state in Palatini \(f({{\mathcal {R}}})\) cosmology. Eur. Phys. J. Plus 138, 180 (2023). https://doi.org/10.1140/epjp/s13360-023-03676-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjp/s13360-023-03676-0