Abstract
Recently the most general completion of Brans–Dicke theory has appeared with energy exchanged between the scalar field and ordinary matter, given that the equation of motion for the scalar field keeps the simple wave form of Brans–Dicke. This class of theories contain undetermined functions, but there exist only three theories which are unambiguously determined from consistency. Here, for the first such theory, the action of the vacuum theory is found, which arises as the limit of the full matter theory. A symmetry transformation of this vacuum action in the Jordan frame is found which consists of a conformal transformation of the metric together with a redefinition of the scalar field. Since the general family of vacuum theories is parametrized by an arbitrary function of the scalar field, the action of this family is also found. As for the full theory with matter the action of the system is only found when the matter Lagrangian vanishes on-shell, as for example for pressureless dust. Due to the interaction, the matter Lagrangian is non-minimally coupled either in the Jordan or the Einstein frame.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Scalar–tensor gravitational theories are studied extensively as an alternative to General Relativity. Brans–Dicke theory [1] is a simple such theory which was initially formulated in terms of an action constructed from a metric \(g_{\mu \nu }\) and a scalar field \(\phi \), solely based on dimensional arguments, and with the matter Lagrangian being minimally coupled. The effective gravitational constant of the theory varies as the inverse of the scalar field, \(G\sim \frac{1}{\phi }\), and there is no dimensionful parameter in the vacuum theory. The theory respects Mach’s principle and the weak equivalence principle. In a modern context Brans–Dicke theory appears naturally from supergravity models, from string theories at low energies and from dimensional reduction of Kaluza–Klein theories [2,3,4,5,6,7]. An alternative way to derive Brans–Dicke theory is to construct directly the field equations of motion [8] respecting the simple scalar field equation \(\Box \phi =4\pi \lambda {\mathcal {T}}\), where \({\mathcal {T}}={\mathcal {T}}^{\mu }_{\,\,\,\,\mu }\) is the trace of the matter energy-momentum tensor \({\mathcal {T}}^{\mu }_{\,\,\,\,\nu }\) and \(\lambda \) is a dimensionless coupling. The demand for this derivation is that the energy-momentum tensor of the scalar field is made out of terms each of which involves two derivatives of one or two \(\phi \) fields, and \(\phi \) itself. The theory gives the correct Newtonian weak-field limit and in order to avoid the propagation of the fifth force, the coupling between matter and the massless field \(\phi \) should be suppressed, so \(\lambda \) should be very small. Recently there has arisen an increasing interest in cosmology in interacting models between dark matter and dark energy and such a mechanism can be useful to solve the coincidence problem [9,10,11,12,13,14,15,16,17]. However, usually such interactions are chosen ad hoc and do not arise by any physical theory. In [18] it was actually argued that observational evidence supports an interaction between dark matter and dark energy and a violation of the equivalence principle between baryons and dark matter. In any case it would be interesting to violate the standard conservation equation of \({\mathcal {T}}^{\mu }_{\,\,\,\,\nu }\) of Brans–Dicke theory. For example, in [19] an energy exchange model with a modified wave equation for \(\phi \) was considered (for other approaches with modified equations of motion see [20,21,22,23,24]). Useful pieces of information and exhaustive analysis of Brans–Dicke gravity can be found in [25,26,27]. We should note that if the interaction model is to be worked out at the level of an action, then there are various interactions of the matter Lagrangian with the scalar field, all having as limit the Brans–Dicke action in the absence of interactions. The number of such actions can increase in the presence of Newton’s constant \(G_{N}\) or a new mass scale. In [28], analyzing exhaustively the Bianchi identities, the general class of consistent theories generalizing Brans–Dicke theory was found, when the exact energy conservation of the matter stress tensor was relaxed, while preserving the equation \(\Box \phi =4\pi \lambda \mathcal {T}\). This class of theories is parametrized by one or two free functions of the scalar field, but it was found that there are only three theories, each with a specific interaction term, which are unambiguously determined by consistency. These unique and natural theories are certainly the predominant completions of Brans–Dicke theory. In the present paper we are going to focus on the first such theory whose equations of motion appear in Sect. 2 and they contain a new dimensionful parameter \(\nu \) (which is actually an integration constant). In order for the equivalence principle not to be violated at the ranges it has been tested, the parameters \(\lambda ,\nu \) should be chosen appropriately, and mechanisms such as Chameleon [29, 30] or Vainshtein (self screening) [31, 32], or even the existence of distinct conservation laws for baryonic and non-baryonic matter could contribute to this direction. Here, we will find in Sect. 3 the action of the vacuum part of this theory, study its symmetry transformation in Sect. 4, and only partially answer the question of its total action in Sect. 6. Moreover, in [28] the general family of the vacuum Brans–Dicke type of theories were found which satisfy the free wave equation for the scalar field, and this family is parametrized by one free function of \(\phi \). Here, the action of these vacuum theories will be also found in Sect. 5 and turns out to be a particular sector of Horndeski family.
2 Complete Brans–Dicke equations
We start with the complete Brans–Dicke theory presented in [28],
The parameter \(\nu \) is arbitrary and arises as an integration constant from the integration procedure (its dimensions are mass to the fourth). The parameter \(\lambda \ne 0\) is related to the standard Brans–Dicke parameter \(\omega _{BD}=\frac{2-3\lambda }{2\lambda }\) and controls the strength of the interaction in (2.3), while \(\nu \) controls the strength of the interaction in (2.4). This theory arises out of consistency given that the scalar field equation of motion is (2.3), and \(T^{\mu }_{\,\,\,\,\nu }\) is constructed from terms each of which involves two derivatives of one or two \(\phi \) fields and \(\phi \) itself. The right-hand side of Eq. (2.1) is consistent with the Bianchi identities, i.e. it is covariantly conserved on-shell, and therefore, the system of equations (2.1)–(2.4) is well defined. Moreover, it is the unique theory with an interaction term of the form \(\mathcal {T}^{\mu }_{\,\,\,\,\nu ;\mu } \sim \mathcal {T}^{\mu }_{\,\,\,\, \nu }\phi _{;\mu }\). For \(\nu =0\) it reduces to the Brans–Dicke theory [1] (in units with \(c=1\)),
The role of the new parameter \(\nu \) is manifest in (2.4) and measures the deviation from the exact conservation of matter. The Lagrangian of the Brans–Dicke theory is
where \(L_{m}(g_{\kappa \lambda },\Psi )\) is the matter Lagrangian depending on some extra fields \(\Psi \).
3 The vacuum Lagrangian
We will find here the action of the vacuum theory above by setting \({\mathcal {T}}^{\mu }_{\,\,\,\nu }\) to zero. Mimicking the action (2.9), we consider an action of the form
and we are looking to see if there are functions f, h such that Eqs. (2.1)–(2.4) with \({\mathcal {T}}^{\mu }_{\,\,\,\,\nu }=0\) arise under variation of (3.1). The action (3.1) is a sector of the Horndeski Lagrangian [33,34,35] which leads to the most general field equations with second order derivatives. Hopefully, the Lagrangian (3.1) will be sufficient for our purposes. Variation of (3.1) with respect to the metric gives, up to boundary terms,
where a prime denotes differentiation with respect to \(\phi \) and a; stands for the covariant differentiation with respect to \(g_{\mu \nu }\). Therefore, the gravitational field equation is
The trace of Eqs. (3.3) gives
In order for (3.3) to coincide with Eq. (2.1), the following conditions on the functions f, h should be satisfied:
Although Eqs. (3.5)–(3.7) form a system of three conditions for the two unknowns f, h, it is, however, consistent. Indeed, differentiating (3.5) with respect to \(\phi \) and combining with (3.6) we get
Also, subtracting Eqs. (3.6), (3.7) we obtain again (3.8). Thus, we are left with the system of the two equations (3.5), (3.8). The solution of this system is
where \(\texttt {c}\) is an integration constant.
What remains is the satisfaction of Eq. (2.3), namely \(\Box \phi =0\). The variation of (3.1) with respect to the scalar field gives, up to boundary terms,
The scalar field equation is
Using (3.4) to substitute R in (3.12) we obtain
Using Eqs. (3.6), (3.8) to get the quantity \(\frac{f''}{f}\) and also the solution (3.9), (3.10), we find that the coefficient of \(\phi ^{;\mu }\phi _{;\mu }\) in (3.13) vanishes. Therefore, the scalar field equation (3.13) becomes
where \(\epsilon =\text {sgn}(\nu +8\pi \phi ^{2})\), which means \(\Box \phi =0\). When \(\epsilon >0\), it is either \(\nu >0\) or \(\nu <0\), \(|\phi |>\sqrt{\frac{|\nu |}{8\pi }}\). When \(\epsilon <0\), it is \(\nu <0\), \(|\phi |<\sqrt{\frac{|\nu |}{8\pi }}\).
Finally, we choose the integration constant \(\texttt {c}=\frac{\eta }{\sqrt{8\pi }}\), where \(\eta =\text {sgn}(\phi )\), to normalize the action (3.1) to the Brans–Dicke action (2.9) in the limit \(\nu =0\). The result is that the vacuum system (2.1)–(2.4) admits a Lagrangian and its action is
4 Symmetry transformation of the vacuum action
In this section we will find a transformation of the fields \((g_{\mu \nu },\phi )\rightarrow (\hat{g}_{\mu \nu },\chi )\) such that the vacuum action (3.15) remains form invariant, i.e. it is written as
This transformation will therefore be a symmetry of the vacuum action in the Jordan frame. To be precise, we consider a conformal transformation of \(g_{\mu \nu }\) together with a field redefinition for \(\phi \), namely
If \(\hat{R}\), \(\hat{\Box }\) correspond to \(\hat{g}_{\mu \nu }\), we have the relation
where \(\hat{\omega }=\hat{\Omega }^{-1}\). Then, since \(\hat{\Box }\hat{\omega }=\hat{\omega }''\phi ^{|\mu }\phi _{|\mu }+\hat{\omega }'\,\hat{\Box }\phi \), the action \(S_{g}\) takes the form
where a | denotes covariant differentiation with respect to \(\hat{g}_{\mu \nu }\) and a prime denotes as usual a differentiation with respect to \(\phi \). After an integration by parts, Eq. (4.4) becomes, up to boundary terms,
and finally
The action (4.6) is also written as
In order for (4.7) to be identified with (4.1) we should have
where
Converting the \(\phi \)-derivatives in (4.8) into \(\chi \)-derivatives we get
Since \(\frac{2}{\hat{\omega }}\frac{\mathrm{d}\hat{\omega }}{\mathrm{d}\chi }=\frac{1}{\hat{\omega }^{2}} \frac{\mathrm{d}(\hat{\omega }^{2})}{\mathrm{d}\chi }\), we have from (4.8)
Substituting (4.12) into (4.11) we obtain
from which one furthermore gets a separable form,
where \(\text {sgn}(\nu +8\pi \chi ^{2})=\epsilon \).
For \(\epsilon >0\), integration of (4.14) gives
where \(\theta >0\) is integration constant and \(s=\text {sgn}(4\pi \phi +\sqrt{2\pi } \sqrt{\nu +8\pi \phi ^{2}})= \text {sgn}(\theta |4\pi \chi +\sqrt{2\pi }\sqrt{\nu +8\pi \chi ^{2}}|^{\pm 1} +\frac{2\pi \nu }{\theta } |4\pi \chi +\sqrt{2\pi }\sqrt{\nu +8\pi \chi ^{2}}|^{\mp 1})\), or inversely
where \(\theta '=\theta ^{\mp 1}>0\) and \(s'=\text {sgn}(4\pi \chi +\sqrt{2\pi } \sqrt{\nu +8\pi \chi ^{2}})= \text {sgn}(\theta '|4\pi \phi +\sqrt{2\pi }\sqrt{\nu +8\pi \phi ^{2}}|^{\pm 1}+\frac{2\pi \nu }{\theta '}|4\pi \phi +\sqrt{2\pi }\sqrt{\nu +8\pi \phi ^{2}}|^{\mp 1})\).
For \(\epsilon <0\) it is
where \(c_{1}\) is an integration constant, or inversely
Finally, since \(\phi (\chi )\) or \(\chi (\phi )\) has been found, the conformal transformation (4.2), which leaves the vacuum action \(S_{g}\) form invariant, is
From (4.15), (4.19) we see that in the Brans–Dicke limit \(\nu =0\), we get \(\chi \propto \phi ^{-1}\), \(\hat{g}_{\mu \nu }\propto \phi ^{2}g_{\mu \nu }\), which leads to a symmetry transformation of the Brans–Dicke action (2.9) [26].
5 The Lagrangian of generalized vacuum Brans–Dicke theories
Setting \({\mathcal {T}}^{\mu }_{\,\,\,\,\nu }=0\) in the system (2.1)–(2.4) an extended vacuum Brans–Dicke theory arises, which for \(\nu =0\) reduces to the vacuum Brans–Dicke theory. However, it was shown in [28] that this theory is not the most general vacuum theory respecting the wave equation \(\Box \phi =0\) and the standard assumption for \(T^{\mu }_{\,\,\,\nu }\) being a sum of terms with two derivatives. The most general such theory is
where the coefficients A, B, C satisfy the differential equations
The energy-momentum tensor \(T^{\mu }_{\,\,\,\nu }\) of Eq. (2.2) is easily seen to satisfy the system (5.4), (5.5) and it defines probably the most interesting vacuum theory. However, the solution of Eqs. (5.4), (5.5) in principle contains one arbitrary function of \(\phi \). Here, we will show that the general vacuum theory defined by the system (5.4), (5.5) arises from an action and we will find such an action in general. This contains an arbitrary function and provides the field equations (5.1)–(5.3).
We start with the Horndeski theory which consists of the most general Lagrangian [33], providing second order field equations for both the metric and the scalar field. This theory was recently rediscovered independently [34, 35] and cast in a simpler form, having the following structure:
where
The functions \(G_{i}\) (\(i=2,3,4,5\)) depend on the scalar field \(\phi \) and its kinetic energy \(X=-\frac{1}{2}\phi ^{;\mu }\phi _{;\mu }\), i.e. \(G_{i}=G_{i}(\phi ,X)\). The field equations for the metric and the scalar field stemming from the variation of (5.6) are, respectively, the following [36]:
A subscript \(\phi \) or X denotes a partial differentiation with respect to \(\phi \) or X, while \(X_{\mu \nu }=\frac{\partial X}{\partial g^{\mu \nu }}=-\frac{1}{2}\phi _{,\mu }\phi _{,\nu }\). Parentheses around a couple of indices mean symmetrization with the factor 1/2 included. Also, we denote \(f_{\mu \dots \nu }=f_{;\nu \dots \,;\mu }\) for a function f, while \(\phi _{\mu \nu }^2=\phi _{\mu \nu }\phi ^{\mu \nu }\) and \(\phi _{\mu \nu }^3=\phi _{\mu \nu }\phi ^{\nu \kappa }\phi ^{\mu }{_{\kappa }}\). Despite the fact of the appearance of higher derivatives in (5.11), (5.12), the field equations can be reduced to second order using appropriate identities.
Equations (5.11), (5.12) should coincide with equations (5.1), (5.3). All terms in (5.11), (5.12) multiplied by a X derivative of \(G_{5}\) contain more than two derivatives on \(\phi \). However, combining suitable such terms and using the formula connecting two successive derivatives with the Riemann tensor, terms with lower number of derivatives arise, which are multiplied by the Riemann tensor. Since there are no such structures in (5.1)–(5.3), all these terms should vanish. This requires that \(G_{5X}=0\), i.e. \(G_{5}=G_{5}(\phi )\). Similarly, various terms in (5.11), (5.12) multiplied by a X derivative of \(G_{4}\) contain more than two derivatives on \(\phi \) and therefore \(G_{4X}=0\), i.e. \(G_{4}=G_{4}(\phi )\). The existence of quantities of the form \(G_{3\mu }\phi _{\nu }\) in (5.11) makes it necessary that \(G_{3X}=0\), i.e. \(G_{3}=G_{3}(\phi )\). Finally, the existence of the term \((G_{2X}\phi ^{\mu })_{;\mu }\) in (5.12) leads to \(G_{2XX}=0\), i.e. \(G_{2X}=G_{2X}(\phi )\), which means \(G_{2}=\gamma _{2}(\phi )+g_{2}(\phi )X\). Thus, Eqs. (5.11) and (5.12) take the form
Now, again there are terms in (5.13) multiplied by \(G_{5}\) which contain more than two derivatives on \(\phi \), thus \(G_{5}=0\). Equations (5.13), (5.14) become
Equations (5.15), (5.16) are reexpressed as
Taking the trace of Eq. (5.17) we obtain the Ricci scalar as
Substituting this R into (5.18) we get
In order for (5.20) to coincide with the wave equation \(\Box \phi =0\) of (5.3) we should have equivalently
Equation (5.21) is immediately integrated to
with \(\gamma _{2o}\) an integration constant. Then Eq. (5.17) becomes
The gravitational equation (5.1) is written as
where A, B, C satisfy (5.4), (5.5). In order for (5.25) to coincide with (5.26) we should have
The action (5.6) that has resulted up to now is
where the coefficients \(g_{2},G_{3},G_{4}\) obey the system (5.22), (5.23), (5.27)–(5.29). Since the term \(G_{3}\Box \phi \) can be converted through an integration by parts to the term \(2G_{3\phi }X\), the action (5.31) reduces to the simpler form
where \(\textsf {f}=16\pi G_{4}\), \(\textsf {h}=8\pi (g_{2}-2G_{3\phi })\). Since the system of equations for \(g_{2},G_{3},G_{4}\) is pretty complicated, we will find equivalently from the action (5.32) the system of equations that the coefficients \(\textsf {f},\textsf {h}\) should satisfy. From Eqs. (3.3), (3.13) we obtain
For Eq. (5.34) to coincide with (5.3) one should have
Then for Eq. (5.33) to coincide with (5.1),
Substituting A, B, C from (5.37)–(5.39) into (5.4), (5.5), and using (5.35), we see that (5.4), (5.5) are identically satisfied. So, the action (5.32) is valid for the system (5.1)–(5.3) and we are left with Eqs. (5.35) and (5.36). The solution of (5.35) is
where \(\textsf {s}\) is integration constant. Equation (5.36) is satisfied for \(s\ne 0\). Finally, the action of the system (5.1)–(5.3) takes the form
The action (5.41), as well as the coefficients A, B, C of (5.37)–(5.39), has been expressed in terms of one arbitrary function \(\textsf {f}(\phi )\). The action (3.15) is included in (5.41) if we choose \(\textsf {s}=\frac{2\epsilon }{\lambda }\).
6 A total Lagrangian
Now we consider the total action \(S=S_{g}+S_{m}\) including the matter action
where \(L_{m}(g_{\kappa \lambda },\Psi )\) is the matter Lagrangian. The symbol \(\Psi \) denotes a collection of extra matter fields and \(J(\phi )\) is a function to be determined. The variation of \(S_{m}\) with respect to the metric gives
where the matter energy-momentum tensor is defined as
in the Jordan frame we are working with, where \(L_{m}\) is multiplied by the non-trivial factor \(J(\phi )\) in (6.1). The way \({\mathcal {T}}^{\mu \nu }\) arises from \(S_{m}\) is such that the gravitational equation (2.1) can be obtained. The variation of the total action is
and therefore the total gravitational equation of motion is
In order for (6.5) to coincide with Eq. (2.1), we should have \(J=\frac{f}{\phi }\), thus
Note that, for \(\nu =0\), it becomes \(J=1\). Therefore, a candidate total action for the complete Brans–Dicke theory (2.1)–(2.4) is
Notice that due to the interaction term in the conservation equation (2.4) with \(\nu \ne 0\), the matter Lagrangian is non-minimally coupled even in the Jordan frame. We have not yet finished deriving Eq. (2.1), since we have not discussed the derivation of Eqs. (2.3) and (2.4). As for (2.4), if (2.3) has been derived, then (2.4) is the consistency condition in order for the Bianchi identities to be satisfied which have indeed been verified in [28]. Thus, it remains to see if Eq. (2.3) is obtained under variation of (6.7) with respect to \(\phi \). It is evident that a variation of \(S_{m}\) with respect to \(\phi \) will produce a factor \(L_{m}\) which cannot be canceled by any other equation. More precisely, extending Eq. (3.11), we obtain
The scalar field equation is thus
The trace of Eq. (6.5) gives
Simplifying this equation, we finally get
Therefore, the field equation (2.3) is obtained only if on-shell the numerical value of the matter Lagrangian \(L_{m}\) is zero. For example, for a relativistic perfect fluid, an action functional has been constructed [37] where the matter Lagrangian is proportional to the pressure. Moreover, in [38] the on-shell Lagrangian, i.e. the value of the Lagrangian when the equations of motion hold, is again the pressure, thus for pressureless dust this on-shell value vanishes. Of course, an energy-momentum tensor is normally defined and enters the field equations, because this is computed off-shell.
The result of this section is that, in the case of matter, we have found an action functional of the form (6.7) for the complete Brans–Dicke theory only for particular matter Lagrangians, those which vanish on-shell. This is still meaningful, although of restricted applicability. This result, however, does not mean that we have shown that an action principle does not exist for arbitrary matter Lagrangians. It is an option that actions of a different, more complicated form than (6.7) could in principle exist and provide the full set of field equations with any matter content.
A notice of caution should be added at this point. It is true that if Eq. (2.4) had been derived, then Eq. (2.3) would arise from the satisfaction of the Bianchi identities. Note first that the conservation equation (2.4) is also written as
Comparing this equation with the last term in the action (6.7), the one containing \(L_{m}\), one could be tempted to apply the standard diffeomorphism invariance argument for this part of the action and obtain immediately Eq. (6.13). However, this is not correct because of the non-minimal coupling of \(L_{m}\) with \(\phi \).
The action (6.7), whenever applied, can be cast into a canonical form where the Einstein–Hilbert term is only minimally coupled. Of course, the following transformations are also valid in the vacuum case. We perform a new conformal transformation:
If \(\tilde{R}\), \(\tilde{\Box }\) correspond to \(\tilde{g}_{\mu \nu }\) and \(\tilde{\omega }=\tilde{\Omega }^{-1}\), the total action S defined from (3.1), (6.1), using (4.7), takes the form
Using that \(f\tilde{\omega }^{2}=\eta \), \(\frac{\tilde{\omega }'}{\tilde{\omega }}=\frac{1}{4} \frac{(\tilde{\omega }^{4})'}{\tilde{\omega }^{4}}=-\frac{4\pi \phi }{\nu +8\pi \phi ^{2}}\), we find an action with the Einstein–Hilbert term without non-minimal coupling, but with a non-standard kinetic term
In order to make this kinetic term canonical, we introduce a new scalar field \(\sigma (x)\), instead of \(\phi (x)\), by
The kinetic term in (6.16) inside the brackets is reexpressed as \(-\frac{1}{2}\epsilon \epsilon _{\lambda }\tilde{g}^{\mu \nu }\sigma _{,\mu }\sigma _{,\nu }\), where \(\epsilon _{\lambda }\) is the sign of \(\lambda \). This is a canonical kinetic term, so the field \(\sigma \) behaves as a usual scalar field in the new conformal frame. If \(\epsilon \epsilon _{\lambda }>0\), then \(\sigma \) is a normal field with positive energy. This is achieved even if the kinetic term in (6.7) is positive. Although \(\phi \) is “apparently” a ghost in this case, since it has the wrong sign, however, \(\sigma \) is not a ghost. On the opposite side, if \(\epsilon \epsilon _{\lambda }<0\), then \(\sigma \) is a ghost.
For \(\epsilon >0\), Eq. (6.17) is integrated to
where \(\sigma _{0}\) is integration constant. Redefining \(\sigma _{0}\), we can rewrite (6.18) in the form
where \(\phi _{0}\) is integration constant. In the case that the scalar field \(\phi \) is constant with value \(\phi =\phi _{0}\), it will be \(\sigma =0\). In this case there is no need for a conformal transformation and we may then set \(\tilde{\Omega }=1\). Thus, \(\phi _{0}^{2}=1-\frac{\nu }{8\pi }\) and the integration constant \(\phi _{0}\) has been determined (for \(\nu >0\) we should have \(\nu <8\pi \)). We redefine \(\sigma \) by absorbing the translational integration constant \(\sigma _{0}\) of (6.18) into \(\sigma \). Equation (6.18) can be inverted giving
where \(s=\text {sgn}(4\pi \phi +\sqrt{2\pi }\sqrt{\nu +8\pi \phi ^{2}})= \text {sgn}(e^{\sqrt{\frac{|\lambda |}{2}}\,\sigma }+2\pi \nu e^{-\sqrt{\frac{|\lambda |}{2}}\,\sigma })\). The action (6.16) becomes
where
For the physically more interesting case with \(\phi >0\), both absolute values in (6.21), (6.22) disappear. The Lagrangian (6.21) refers to the Einstein frame where the gravitational coupling is a true constant. In order for \(\sigma \) not to be a ghost, we should have \(\lambda >0\). In the Brans–Dicke limit \(\nu =0\) the coupling to \(L_{m}\) is a simple exponential function of \(\sigma \).
For \(\epsilon <0\), Eq. (6.17) is integrated to
where \(\sigma _{0}\) is integration constant. Redefining \(\sigma _{0}\), we can write (6.23) in the form
where \(\phi _{0}\) is integration constant. Again, for \(\phi =\phi _{0}\), \(\sigma =0\), and setting \(\tilde{\Omega }=1\) we get the condition \(\phi _{0}^{2}=\frac{|\nu |}{8\pi }-1\) (we should have \(|\nu |>8\pi \)). We redefine \(\sigma \) by absorbing the translational integration constant \(\sigma _{0}\) of (6.23) into \(\sigma \), and then \(-\frac{\pi }{2}<\sqrt{\frac{|\lambda |}{2}}\,\sigma <\frac{\pi }{2}\). Equation (6.23) can be inverted giving
The action (6.16) becomes
where
In order for \(\sigma \) not to be a ghost, we should have \(\lambda <0\).
7 Conclusions
Relieving the standard exact conservation of matter, but still preserving the simple wave equation of motion for the scalar field sourced by the trace of the matter energy-momentum tensor, it was one recently found the most general completion of Brans–Dicke theory. This class of theories contains three interaction terms in the non-conservation equation of matter and is parametrized by arbitrary functions of the scalar field. Keeping a single interaction term each time to express the energy exchange between the scalar field and ordinary matter, three uniquely defined theories arise from consistency, which form the prominent and natural complete Brans–Dicke theories. Here, for the first such theory, its vacuum part, which arises as the zero-matter limit, is studied. The Lagrangian of this vacuum theory is found in the so called Jordan frame, where the scalar field plays the role of the inverse gravitational parameter in the field equations. In this frame, a symmetry transformation of the vacuum action is also found, which consists of a conformal transformation of the metric together with a redefinition of the scalar field. Since the general family of vacuum theories is not exhausted by the above vacuum theory but contains a free function of the scalar field, the action of this family is found which is also parametrized by an arbitrary function and forms a subclass of the Horndeski theories. As for the full theory with matter, we have not been able to answer the question whether the complete Brans–Dicke theory with a general matter energy-momentum tensor arises or not from a Lagrangian. We have answered this question only in the case that the matter Lagrangian vanishes on-shell, as for example happens in the case of pressureless dust. Due to the interaction term in the conservation equation, the matter Lagrangian is non-minimally coupled even in the Jordan frame. In the Einstein frame where the Einstein–Hilbert term is minimally coupled, two forms of this full action have been found, one with a non-canonical kinetic term and one with a canonical kinetic term, with the matter Lagrangian still being non-minimally coupled, while these forms of the actions still make sense in the vacuum limit.
References
C. Brans, R.H. Dicke, Phys. Rev. 124, 925 (1961)
P.G.O. Freund, Nucl. Phys. B 209, 146 (1982)
T. Appelquist, A. Chodos, P.G.O. Freund, Modern Kaluza–Klein Theories (Addison-Wesley, Menlo Park, 1987)
E.S. Fradkin, A.A. Tseytlin, Phys. Lett. B 158, 316 (1985)
E.S. Fradkin, A.A. Tseytlin, Nucl. Phys. B 261, 1 (1985)
C.G. Callan Jr., E.J. Martinec, M.J. Perry, D. Friedan, Nucl. Phys. B 262, 593 (1985)
C.G. Callan Jr., I.R. Klebanov, M.J. Perry, Nucl. Phys. B 278, 78 (1986)
S. Weinberg, Gravitation and Cosmology: Principles and Applications of the General Theory of Relativity (Wiley, New York, 1972)
L. Amendola, Phys. Rev. D 60, 043501 (1999). arXiv:astro-ph/9904120
W. Zimdahl, D. Pavon, Gen. Relativ. Gravit. 36, 1483 (2004). arXiv:gr-qc/0311067
W. Zimdahl, D. Pavon, L.P. Chimento, A.S. Jakubi, 10th Marcel Grossmann Meeting on Recent Developments in Theoretical and Experimental General Relativity, Gravitation and Relativistic Field Theories (MG X MMIII), Rio de Janeiro, Brazil, 20–26 Jul 2003. arXiv:astro-ph/0404122
G. Olivares, F. Atrio-Barandela, D. Pavon, Phys. Rev. D 71, 063523 (2005). arXiv:astro-ph/0503242
S. Das, N. Banerjee, Gen. Relativ. Gravit. 38, 785 (2006). arXiv:gr-qc/0507115
S. del Campo, R. Herrera, D. Pavon, JCAP 0901, 020 (2009). arXiv:0812.2210 [gr-qc]
W. Zimdahl, AIP Conf. Proc. 1471, 51 (2012). arXiv:1204.5892 [astro-ph.CO]
D.R.K. Reddy, R. Santhi Kumar, Int. J. Theor. Phys. 52, 1362 (2013)
S. Das, A. Al Mamon, Astrophys. Space Sci. 351, 651 (2014). arXiv:1402.4291 [gr-qc]
O. Bertolami, F. Gil Pedro, M. Le Delliou. Phys. Lett. B 654, 165 (2007). arXiv:astro-ph/0703462
T. Clifton, J.D. Barrow, Phys. Rev. D 73, 104022 (2006). arXiv:gr-qc/0603116
L.L. Smalley, Phys. Rev. D 9, 1635 (1974)
O. Bertolami, P.J. Martins, Phys. Rev. D 61, 064007 (2000). arXiv:gr-qc/9910056
S. Das, N. Banerjee, Phys. Rev. D 78, 043512 (2008). arXiv:0803.3936 [gr-qc]
W. Chakraborty, U. Debnath, Int. J. Theor. Phys. 48, 232 (2009). arXiv:0807.1776 [gr-qc]
J.C. Hwang, Phys. Rev. D 53, 762 (1996). arXiv:gr-qc/9509044
Y. Fujii, K. Maeda, The Scalar-Tensor Theory of Gravitation. Cambridge Monographs on Mathematical Physics (Cambridge University Press, Cambridge, 2003)
V. Faraoni, Cosmology in Scalar–Tensor Gravity (Kluwer Academic Publishers, Dordrecht, 2004)
T. Clifton, P.G. Ferreira, A. Padilla, C. Skordis, Phys. Rep. 513, 1 (2012). arXiv:1106.2476 [astro-ph.CO]
G. Kofinas, Ann. Phys. (to appear). arXiv:1510.06845 [gr-qc]
J. Khoury, A. Weltman, Phys. Rev. Lett. 93, 171104 (2004). arXiv:astro-ph/0309300
J. Khoury, A. Weltman, Phys. Rev. D 69, 044026 (2004). arXiv:astro-ph/0309411
A.I. Vainshtein, Phys. Lett. B 39, 393 (1972)
A. De Felice, S. Tsujikawa, JCAP 1007, 024 (2010). arXiv:1005.0868 [astro-ph.CO]
G.W. Horndeski, Int. J. Theor. Phys. 10, 363 (1974)
C. Deffayet, S. Deser, G. Esposito-Farese, Phys. Rev. D 80, 064015 (2009). arXiv:0906.1967 [gr-qc]
C. Deffayet, X. Gao, D.A. Steer, G. Zahariade, Phys. Rev. D 84, 064039 (2011). arXiv:1103.3260 [hep-th]
A. Maselli, H.O. Silva, M. Minamitsuji, E. Berti, Phys. Rev. D 92(10), 104049 (2015). arXiv:1508.03044 [gr-qc]
B.F. Schutz, Phys. Rev. D 2, 2762 (1970)
J.D. Brown, Class. Quantum Gravity 10, 1579 (1993). arXiv:gr-qc/9304026
Acknowledgements
We wish to thank K. Ntrekis and E. Papantonopoulos for useful discussions.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3
About this article
Cite this article
Kofinas, G., Tsoukalas, M. On the action of the complete Brans–Dicke theory. Eur. Phys. J. C 76, 686 (2016). https://doi.org/10.1140/epjc/s10052-016-4505-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-016-4505-y