Abstract
Scalar–tensor (ST) gravity is considered in the case where the scalar is an external field. We show that general relativity (GR) and usual ST gravity are particular cases of the external scalar–tensor (EST) gravity. It is shown with a particular cosmological example that it is possible to join a part of a GR solution to a part of a ST one such that the complete solution neither belongs to GR nor to ST, but fully satisfies the EST field equations. We argue that external fields may effectively work as a type of screening mechanism for ST theories.
Similar content being viewed by others
Notes
Similarly, for electromagnetism within an external spacetime geometry (that can be Minkowski in particular), one can use the action \(S[A]=-\frac{1}{4} \int F_{a b} F^{a b} \sqrt{- g} \, d^4x\) to derive the field equations. These are derived by setting \(\delta S / \delta A^a =0\). Note that the equation \(\delta S / \delta g^{a b} =0\) is wrong in general in this context.
This is obtained by varying (1) with respect to \(\Phi \), where \(\Phi \) is not an external field in the usual ST framework.
For observers living in the phase \(t>t_{+}\), this singular time corresponds to a big bang time whatever s in the case \(\omega >0\), but only if \(s=-1\) in the case \(\omega \le 0\).
This point is not just formal, it is physically meaningful. For instance, the age of a dust filled flat RW Universe within GR reads \(T_{ GR }=2/\left( 3H_{0}\right) \). On the other hand, the age of a dust filled flat RW Universe within BD, resulting from (14) and \(\omega \longrightarrow \infty \) differs from GR, since all the values in the interval \(]1/(3H_0),2/(3H_0)]\) can be achieved [29].
Abbreviations
- BD:
-
Brans–Dicke
- EST:
-
Scalar–tensor with an external scalar field
- GR:
-
General relativity
- RW:
-
Robertson–Walker
- ST:
-
Scalar–tensor
References
Capozziello, S., Faraoni, V.: Beyond Einstein’s gravity. Fundamental theories of physics, vol. 170. Springer, Berlin (2011)
Faraoni, V.: Cosmology in scalar–tensor gravity. Fundamental theories of physics, vol. 139. Kluwer Academic Publishers, Dordrecht (2004)
Fujii, Y., Maeda, K.: The Scalar–Tensor Theory of Gravitation. Cambridge University Press, Cambridge (2003)
Will, C.M.: The confrontation between general relativity and experiments. www.livingreviews.org/Irr-2014-4 (living reviews in relativity)
Hinterbichler, K., Khoury, J.: Phys. Rev. Lett. 104, 231301 (2010)
Koivisto, T.S., Mota, D.F., Zumalacarregui, M.: Phys. Rev. Lett. 109, 241102 (2012)
Khoury, J., Weltman, A.: Phys. Rev. Lett. 93, 171104 (2004)
Vainshtein, A.: Phys. Lett. B 39, 393 (1972)
Reuter, M., Weyer, H.: Phys. Rev. D 69, 104022 (2004)
Reuter, M., Weyer, H.: Phys. Rev. D 70, 124028 (2004)
Rodrigues, D.C., Letelier, P.S., Shapiro, I.L.: JCAP 04, 020 (2010)
Shapiro, I.L., Solà, J., Stefancic, H.: JCAP 01, 012 (2005)
Rodrigues, D.C., Chauvineau, B., Piattella, O.F.: JCAP 1509(09), 009 (2015). arXiv:1504.05119 [gr-qc]
Hassan, S.F., Rosen, R.A., Schmidt-May, A.: JHEP 1202, 026 (2012). arXiv:1109.3230 [hep-th]
Isham, C.J., Salam, A., Strathdee, J.A.: Phys. Rev. D 3, 867 (1971)
Damour, T., Kogan, I.I., Papazoglou, A.: Phys. Rev. D 66, 104025 (2002). arXiv:hep-th/0206044
de Rham, C., Gabadadze, G., Tolley, A.J.: Phys. Rev. Lett. 106, 231101 (2011). arXiv:1011.1232 [hep-th]
Hassan, S.F., Rosen, R.A.: JHEP 1107, 009 (2011). arXiv:1103.6055 [hep-th]
Weinberg, S.: Rev. Mod. Phys. 61, 1 (1989)
Unruh, W.G.: Phys. Rev. D 40, 1048 (1989)
Henneaux, M., Teitelboim, C.: Phys. Lett. B 222, 195 (1989)
Ellis, G.F.R., van Elst, H., Murugan, J., Uzan, J.P.: Class. Quant. Grav. 28, 225007 (2011). arXiv:1008.1196 [gr-qc]
Kluson, J.: Phys. Rev. D 91(6), 064058 (2015). arXiv:1409.8014 [hep-th]
Fernández Cristóbal, J.M.: Ann. Phys. 350, 441 (2014)
Böhmer, C.G., Tamanini, N.: Found. Phys. 43, 1478 (2013)
Will, C.M.: Theory and Experiment in Gravitational Physics. Cambridge University Press, Cambridge (1993)
Brans, C., Dicke, R.H.: Phys. Rev. 124, 925 (1961)
Gurevich, L.E., Finkelstein, A.M., Ruban, V.A.: Astrophys. Space Sci. 22, 231 (1973)
Chauvineau, B.: Gen. Relativ. Gravit. 39, 297 (2007)
Chauvineau, B.: Class. Quantum Grav. 20, 2617 (2003)
Bonnor, W.B., Vickers, P.A.: Gen. Relativ. Gravit. 13, 29 (1981)
Misner, C.W., Thorne, K.S., Wheeler, J.A.: Gravitation. Freeman, San Francisco (1973)
Hammer, F.: Astron. Astrophys. 152, 262 (1985)
Nottale, L., Hammer, F.: Astron. Astrophys. 141, 144 (1984)
Bonnor, W.B.: Class. Quantum Grav. 17, 2739 (2000)
Nishi, S., Kobayashi, T., Tanahashi, N., Yamaguchi, M.: JCAP 03, 008 (2014)
Landau, L.D., Lifshitz, E.M.: Mechanics, Third Edition: Volume 1 (Course of Theoretical Physics S). Butterworth-Heinemann, Oxford (1976)
Betoule, M., et al., SDSS Collaboration: Astron. Astrophys. 568, A22 (2014). arXiv:1401.4064 [astro-ph.CO]
Fabris, J.C., Goncalves, S.V.B., de Sa Ribeiro, R.: Grav. Cosmol 12, 49 (2006)
Capozziello, S., De Laurentis, M.: Phys. Rep. 509, 167 (2011). doi:10.1016/j.physrep.2011.09.003. arXiv:1108.6266 [gr-qc]
Capozziello, S., Harko, T., Koivisto, T.S., Lobo, F.S.N., Olmo, G.J.: JCAP 1304, 011 (2013). doi:10.1088/1475-7516/2013/04/011
Capozziello, S., Harko, T., Koivisto, T.S., Lobo, F.S.N., Olmo, G.J.: Universe 1(2), 199 (2015). doi:10.3390/universe1020199. arXiv:1508.04641 [gr-qc]
Acknowledgments
The authors thank Oliver Piattella for stimulating discussions on external scalar fields and helpful comments. The authors also thank CNPq (Brazil) for partial financial support. DCR and JCF also thank FAPES (Brazil) for partial financial support.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix 1: From diffeomorphism invariance to the stress tensor conservation
Consider the diffeomorphism
If the metric’s components are considered as functions of the coordinates (rather than as functions of the point), the difference \(\delta g_{ab}\equiv g_{ab}^{\prime }\left( x\right) -g_{ab}\left( x\right) \) (that is not the components’ variation at a given point) induced by (31) reads, at first order in \(\xi \) [32]
Following the same lines, any scalar field \(\phi \), while its numerical value at any point is a gauge invariant, is varied as \(\delta \phi \equiv \phi ^{\prime }\left( x\right) -\phi \left( x\right) =-\xi ^{c}\partial _{c}\phi \) by (31) if \(\phi \) is regarded as a function of the coordinates. The diffeomorphism results in the following matter sector of (1) variation
where the matter Lagrangian \(L_{m}\) is defined by \(S_{m}=\int d^{4}x\sqrt{-g }L_{m}\), and where the symbol \(\frac{\delta l}{\delta F}\) represents the usual functional derivative of l w.r.t. the field F. If the part \(L_{m}\) of the Lagrangian is a scalar, \(\int d^{4}x\sqrt{-g}L_{m}\) is an invariant integral and \(\delta S_{m}\) is then necessarily zero whatever \(\xi \). If none of the matter fields \(\Psi \) is external, each \(\Psi \) generates a Lagrange equation, and since all the \(\Psi \) occurrences in the total action (1) enters the matter sector, this Lagrange equation just reads \(\frac{\delta \left( \sqrt{-g}L_{m}\right) }{\delta \Psi }=0\). Thence, one gets, using the stress tensor definition \(T^{ab}=\frac{2}{\sqrt{-g}}\frac{ \delta \left( \sqrt{-g}L_{m}\right) }{\delta g_{ab}}\) and (32)
Since this occurs whatever \(\xi \), one gets, after some usual algebra, the conservation equation (3).
Let us remark that (3) is not recovered if the scalar field \(\Phi \) enters \(S_{m}\), for two reasons. The first one, relevant in the context of the present paper, is that \(\Phi \) is an external field, and then does not generate a Lagrange equation. Second, even in the case were \(\Phi \) would be non external, the resulting Lagrange equation \(\frac{\delta \left( \sqrt{-g}L\right) }{\delta \Phi }=0\) would not reduce to \(\frac{\delta \left( \sqrt{-g}L_{m}\right) }{\delta \Phi }=0\), since the matter sector does not contain all the scalar contributions to the action.
Appendix 2: On the continuity of \(\left( \Phi a^{2}\right) ^{\prime \prime } \)
At \(t=t_{m}\), one can easily compute the left and right limits of the second derivatives, using (13) with \(t_{0}=0\), (14), (27), (28), (29) and the continuity relations (22), (23), (24), (25). For the scale factor, one gets
and they are different, meaning that \(a^{\prime \prime }\) is discontinuous at \( t_{m}\) (thence that \(a^{\prime \prime }\left( t_{m}\right) \) does not exist). The same occurs for the scalar field
Now, consider the quantity \(\left( \Phi a^{2}\right) ^{\prime \prime }\). In the GR phase
Thence
In the BD phase
Thence, using (25),
and one gets
Since \(\left( \Phi a^{2}\right) ^{\prime }\left( t_{m}\right) \) is well-defined, \(\left( \Phi a^{2}\right) ^{\prime \prime }\) is then continuous at \(t_{m}\), with the value just calculated.
Appendix 3: The general linear barotropic case
In Sect. 3.2 it is presented a cosmological model whose matter content is a simple dust fluid. This simple kind of matter was used since the main purpose was to show the existence of nontrivial EST solutions. In this appendix we show that the existence of nontrivial EST solutions can also be found in systems with non negligible pressure, in particular we consider a barotropic fluid. It turns out that the case of a perfect fluid with a barotropic equation of state having the form \(P=n\epsilon \) is also tractable, leading to similar computations. Indeed, the BD solution reads in this case [28] (just considering theories with \(\omega >-3/2\))
with
where \(\widetilde{t}\) is a conformal time defined by
The constants \(\widetilde{B}, \widetilde{\Phi }_{0}, \widetilde{t}_{-}, \widetilde{t} _{+}\) and \(\widetilde{M}\) are the five integration constants. The GR solution \(a_{ GR }\left( t\right) \propto \left( t-t_{0}\right) ^{2/\left( 3+3n\right) }\) can be written, using the same conformal time, and choosing the origin of time such that \(t_{0}=0\),
The continuity of the scale factor and the scalar and of their derivatives with respect to t result in the continuity of their derivatives with respect to the conformal time \(\widetilde{t}\), since \(\frac{d}{d\widetilde{t} }=\frac{dt}{d\widetilde{t}}\frac{d}{dt}=a^{3n}\frac{d}{dt}\). These continuities at \(\widetilde{t}_{m}\) lead to a system that can be put on a form very close to (22)–(25),
The solution for the BD constants is then the same as for the dust case, just replacing the exponents \(p_{\pm }\) and \(q_{\pm }\) by \(P_{\pm }\) and \( \left( 1-n\right) Q_{\pm }\) respectively.
Appendix 4: A mechanical example with an external coordinate
This appendix aims to clarify the physical meaning of external fields by providing an additional example within a very simple context, that of a planar double pendulum.
Before considering the case with external coordinates, consider the usual Lagrangian for the double pendulum subject to a uniform gravitational acceleration whose norm is denoted by g [37],
with
where \(\theta _i\) is used as a shorthand notation for \(\theta _1, \theta _2\), the particle masses are denoted by \(m_1\) and \(m_2, m_1\) is supported by a wire of negligible mass of length \(l_1, m_1\) and \(m_2\) are connected by another wire of length \(l_2, \theta _1\) and \(\theta _2\) are the position angles of each of the particles in regard to a straight line parallel to the gravitational acceleration vector \(\varvec{g}\).
The equations of motion read
Considering that \(m_1\) is sufficiently large, the above equations can be written as
In this limit, the second pendulum has no effect on the first one. Alternatively, one can also consider the regime \(m_1 \gg m_2\) right in the Lagrangian (or the action), and the resulting Lagrangian reads
The last approximation is constituted by two parts, the first is a trivial one in which it was used that \(m_1 + m_2 \approx m_1\). The second part refers to the replacement \(L_2(\theta _i, \dot{\theta }_i) \rightarrow L_2(\theta _2, \dot{\theta }_2, t)\), in which \(L_2\) becomes a function of the second particle only, and the occurrence of \(\theta _1\) inside \(L_2\) is seen just as function of the time variable t, not a generalised coordinate with the same status of \(\theta _2\). This type of decoupling on the dynamics of the particles 1 and 2 is expected since, by requiring that \(m_1\) is sufficiently large, the extremum of the total action \(\int L dt\) should be achieved only when both \(m_2 \int L_2 dt\) and \(m_1\int L_1 dt\) are independently extremized. Hence, a consistent approach is the following: from the Euler–Lagrange equations of \(L_1\) one derives \(\theta _1(t)\); and with this result, the \(\theta _1\) solution is inserted into \(L_2\), which is then used to derive the \(\theta _2\) solution.
Another way of justifying why it is correct and necessary to use \(L_2(\theta _i, \dot{\theta }_i) \rightarrow L_2(\theta _2, \dot{\theta }_2, t)\), when the regime \(m_1 \gg m_2\) is considered, comes from the fact that the Euler–Lagrange equations of \(L_1(\theta _1, \dot{\theta }_1)\) leads to the Eq. (59), while the Euler–Lagrange equation of \(L_2(\theta _2,\dot{\theta }_2, t)\) leads to Eq. (60). Moreover, if one considers \(L_2\) as a function of \(\theta _1\) and derive its corresponding Euler–Lagrange equation, the derived equation is not compatible with Eq. (60). Hence it is wrong to deal with \(\theta _1\) in \(L_2\) as if it were a standard coordinate: \(\theta _1\) is an external coordinate in \(L_2(\theta _2, \dot{\theta }_2,t)\).
In the following a generalisation of the picture above presented will be considered. Eventually, the dynamics of the external coordinate may not be well known, that is, the Lagrangian \(L_1\) may be more complex. Since Eq. (60) does not depend on \(L_1\), one can use \(L_2\) in a more general situation in which \(L_1\) is unknown. In this setting, it will not be possible in general to derive the full solution of both \(\theta _1\) and \(\theta _2\), unless additional information is provided. Nonetheless we stress that it is correct to use Eq. (60) even though \(L_1\), and consequently \(\theta _1(t)\), is unknown.
Consider the Lagrangian
where L is given by Eq. (55), k is a dimensionless quantity, and \(L_3\) is any function that depends only on \(\theta _1\) and its derivatives (it may or may not depend on higher derivatives). Here it is not assumed that \(m_1 \gg m_2\). Nonetheless, for k sufficiently large the same argument used in the case in which \(m_1\) is sufficiently large can be used. Therefore the extremum of the action \(\int \tilde{L} dt\) will be achieved only when both \(\int L dt\) and \(\int L_3 dt\) are extremized, thus, in the regime \(k \gg 1\), one can write
where the explicit time dependence of L comes from the solution of \(\theta _1(t)\), which in turn can be directly derived from the equations of motion of \(\int L_3 dt\). It should be noted that even if the Lagrangian \(L_3\) is unknown, one can use the equation of motion of \(L_2\) with respect to \(\theta _2\), while \(\theta _1\) is seen as an external coordinate. In this case, \(\theta _1(t)\) will be an arbitrary function.
Appendix 5: A first test of an EST model with SN data
The main intention of the present paper is to show the existence of nontrivial solutions within the EST approach. It has been shown in other sections that the matching between GR and BD solutions, in the context of the EST approach, is possible. Although, for the moment, the resulting cosmological model is too simplified to constitute a realistic scenario, it is already possible to test the configuration here obtained with SN data. This is done here both to show that it is possible and as a first step towards testing EST models. To this end, we use the binned JLA sample [38]. The advantage of such sample is related to the binned process which lead to less important effects due to different calibration methods.
We match the flat CDM model of GR with the flat BD solutions used above. Of course, the observational test disfavour strongly the CDM with respect to the \(\Lambda \)CDM model. We use the expressions derived above, and consider three free parameters, the matching time \(t_m\), the parameter \(\omega \) and the Hubble parameter h. As usual, the fit is done looking for the values of these parameters that lead to the global minimum of \(\chi ^2\).
The results indicate that the global maximum of probability (or global minimum of \(\chi ^2\)) occurs for \(t_m = t_0\), where \(t_0\) is the present time, implying that the data favours no phase transition and the universe is still in the GR phase. The derived value of the minimum \(\chi ^2\) is not small in comparison to the standard cosmological model \(\Lambda \)CDM, but this is expected since this model includes no dark energy. The resulting fit is just as good as that of a pure CDM model. Likewise pure CDM, the minimum \(\chi ^2\), for this set of data, is \(\chi ^2 \approx 350\). There is a local maximum for \(t_m = 0\) corresponding to a pure BD phase, for the latter, the corresponding value is \(\chi ^2 \approx 353\). For comparison purposes, the minimum \(\chi ^2\) for \(\Lambda \)CDM is 29. The \(1 \sigma \) and \(2 \sigma \) confidence regions are displayed in Fig. 2. As expected, the higher is \(\omega \), more similar the dynamics of the BD and the GR phases become, and hence it becomes more probable for the transition to happen in an instant before \(t_0\).
A complete statistical study would imply to consider other tests and to introduce a mechanism to accelerate the expansion of the universe. This has in part been done in Ref. [39] in the context of the usual BD theory by including the possibility of \(\omega < - 4/3\), what has been excluded in our analysis. In that reference, it has been found, comparing the pure BD flat matter dominated phase with the \(\Lambda \)CDM, that the BD model is slightly favoured for \(\omega \lesssim - 4/3\).
Rights and permissions
About this article
Cite this article
Chauvineau, B., Rodrigues, D.C. & Fabris, J.C. Scalar–tensor theories with an external scalar. Gen Relativ Gravit 48, 80 (2016). https://doi.org/10.1007/s10714-016-2075-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10714-016-2075-9