1: %\documentclass[aps,onecolumn,prd,superscriptaddress,preprintnumbers,nofootinbib]{revtex4}
2: \documentclass[prd,showpacs]{revtex4}
3: %\usepackage{showlabels}
4: \usepackage{graphicx}
5: \usepackage{latexsym}
6: \usepackage[all]{xy}
7:
8: \newcommand{\bea}{\begin{eqnarray}}
9: \newcommand{\eea}{\end{eqnarray}}
10: \newcommand{\be}{\begin{equation}}
11: \newcommand{\ee}{\end{equation}}
12:
13: \begin{document}
14:
15: \title{Dynamics of nonlocal cosmology}
16: \author{Tomi Koivisto}
17: \email{T.Koivisto@thphys.uni-heidelberg.de}
18: \affiliation{Institute for Theoretical Physics, University of Heidelberg, 69120 Heidelberg,Germany}
19:
20: \begin{abstract}
21:
22: Nonlocal quantum corrections to gravity have been recently proposed as a possible solution to the cosmological fine-tuning problems.
23: We study the dynamics of a class of nonlocal actions defined by a function of the inverse d'Alembertian of the Ricci scalar.
24: Power-law and exponential functions are considered in detail, but we also show a method to reconstruct
25: a nonlocal correction that generates a given background expansion. We find that even the simplest terms can,
26: while involving only Planck scale constants, drive the late time acceleration without changing early cosmology.
27: This leads to a sudden future singularity, which however may be avoided by regularizing the d'Alembertian.
28: We also consider the Einstein frame versions of these models.
29:
30: \end{abstract}
31:
32: \pacs{98.80.-k,95.36.+x,04.50.-h}
33:
34: \maketitle
35:
36: \section{Introduction}
37:
38: The observed acceleration of the universe requires the presence of a tiny energy density that corresponds
39: to a cosmological constant of the order $\Lambda \sim 10^{-120}$ in Planck units. This has motivated the consideration of
40: dynamical alternatives to the cosmological constant \cite{Copeland:2006wr}. These alternatives usually introduce new fields
41: \cite{Uzan:2006mf}, by either adding quintessence in the matter sector or by modifying gravity. In the quintessence
42: models the constant term is promoted to a potential function $\Lambda \rightarrow m_\varphi\varphi^2$ of the cosmon field $\varphi$
43: \cite{Wetterich:1987fm}, and in the modified gravity models one instead considers a curvature-dependent effective cosmological term $R +
44: \Lambda \rightarrow R + \mu^{2(n+1)}/R^n$ \cite{Carroll:2003wy}. Typically one still requires an explanation for the tiny constants
45: $m_\varphi,\mu \sim 10^{-33}$ eV within both of these approaches (in addition to the vanishing of the usual $\Lambda$). Recently a new,
46: nonlocal variant was suggested \cite{Deser:2007jk} in the form $R + \Lambda \rightarrow R + Rf(\Box^{-1}R)$, where the function
47: $f(\Box^{-1}R)$ of the inverse d'Alembertian acting on the curvature could involve constants of (roughly) the order one in Planck units.
48: This seems a worthwhile starting point.
49:
50: Quantum loop effects are well known to generate nonlocal corrections to the effective action of gravity \cite{Donoghue:1994dn}.
51: Nonlocality arises naturally in string theory, and is considered as the most likely resolution of the black hole information paradox
52: \cite{Giddings:2006sj}. Cosmological effects have been shown to arise from nonlocal corrections which were proposed as a cure to the
53: unboundedness of the Euclidean gravity action \cite{Wetterich:1997bz}. The resulting curvature dependence of the
54: effective Newton's constant may then easily pass the local gravity experiments, but could be constrained by
55: its cosmological effects, especially on nucleosynthesis. String-inspired forms of nonperturbative gravity could also
56: be asymptotically free and thereby describe bouncing cosmologies \cite{Biswas:2005qr,Biswas:2006bs}. The cosmological impact of the
57: particular (logarithmic) form of quantum corrections expected at the leading order has been computed and a small possible
58: effect on the expansion rate was found \cite{Espriu:2005qn,Cabrer:2007xm}. However, since it is a nonrenormalizable theory,
59: long-distance modifications of gravity which could become significant at low curvature cannot be excluded,
60: and in particular they could be responsible for the observed acceleration of the universe
61: \cite{Barvinsky:2003kg,Hamber:2005dw,Deser:2007jk}.
62:
63: Let us note also that nonlocal cosmology has gained recently interest in the context of string field theory, with various
64: applications to incorporate bounces, model dark energy and generate nongaussianities during inflation
65: \cite{Aref'eva:2004vw,Aref'eva:2006et,Aref'eva:2007uk,Aref'eva:2007yr,Calcagni:2005xc,Calcagni:2007ru,Barnaby:2007yb,Barnaby:2008fk}.
66: For recent clarifications about the degrees of freedom in nonlocal field theories, see \cite{Barnaby:2007ve,Calcagni:2007ef}.
67:
68: In this paper we focus on the cosmological consequences of the class of actions describing additions to
69: general relativity as a function $f$ of the inverse d'Alembertian (i.e. covariant Laplacian) acting on the curvature (i.e. Ricci) scalar. The
70: dynamics of the cosmological background expansion is studied with the main aim to find solutions naturally incorporating the present acceleration
71: of the universe. Then it is crucial to uncover in detail whether these models could feature a viable sequence of radiation dominated,
72: matter dominated and accelerating eras. In particular, we then study the dynamics in two simple cases: when the function $f$ is
73: of the
74: power-law and of the exponential form. We are then able to find the conditions for the late acceleration to occur, and to determine the
75: parameters of the model required for observationally consistent evolution of the universe. We also consider an alternative approach, where we
76: decide on the background cosmological expansion history and reconstruct the form of the function $f$ to generate the given expansion.
77: In general, such a procedure is difficult to perform analytically, and it may yield functions which are very complicated, unstable or
78: singular. Therefore we mainly consider the approach of choosing a simple form of the function and studying its consequences, which can be
79: then uniquely determined. In fact, we find that the evolution is qualitatively similar regardless of whether $f$ is exponential or a
80: power-law.
81:
82: In these models the acceleration of universe does not lead into a de Sitter stage, but instead ends in a singularity, where
83: the pressure diverges at a finite time, when the scale factor has expanded a finite amount. This is a so called future sudden singularity
84: \cite{Barrow:2004xh}, which is different from the big rip singularities present in phantom dark energy models, described by
85: a diverging scale factor at some finite moment of time. According to the classification of Ref.\cite{Nojiri:2005sx}, the sudden future
86: singularity is labeled type II. We show that in the singularities may be avoided by regularizing the d'Alembertian operator.
87:
88: The plan of the paper is as follows. In Section \ref{sektio} we write down the basic equations, introducing the model
89: and it's presentation as a biscalar-tensor theory in \ref{multi} and writing down the cosmological equations in \ref{cosmo}. We also
90: discuss the Einstein
91: frame version of the theory in \ref{einstein}. In Section \ref{tosisektio} we then study cosmological dynamics
92: from various points of view. The initial conditions are conceptually important in these theories, and in this particular
93: class of models we can set the initial conditions at the radiation-dominated era according to the analytical solutions presented in subsection
94: \ref{radi}. We find also analytically the conditions for the matter-dominated era to end. These are derived in subsection \ref{mati} for the
95: power-law and the exponential model. Numerical computations show the details of the evolution and reveal the generality of the singularity.
96: The approach to singularity and its avoidance is studied analytically in a particular case in subsection \ref{dari}. An alternative
97: route to finding solutions is given in subsection \ref{reco} as a reconstruction method and it is applied in a discussion
98: of scaling solutions in the special case of exponential $f$. In Section \ref{conclu} we present our conclusions.
99:
100: %There are many attempts to generate a small amount of dark energy \cite{Straumann:2006tv,Uzan:2006mf,Copeland:2006wr,Nojiri:2006ri}.
101:
102: \section{The nonlocal model}
103: \label{sektio}
104:
105: In this Section we specify our nonlocal action and rewrite it as a multi-scalar-tensor theory \cite{Damour:1992we} with extra
106: kinetic couplings. The cosmological equations are then written as generalizations of the standard Friedmann and continuity
107: equations, and this is again recasted into more useful form by a change of variables. Finally, the corresponding
108: system is considered in the Einstein frame.
109:
110: %A nonlocal action of the form
111: %\be
112: %S = \int d^n x \sqrt{-g}\left[ \frac{1}{2\kappa^2}R\left(1+F(\Box^{-1}R,\dots,\Box^{-m}R)\right) + \mathcal{L}_m\right]
113: %\ee
114: %may be turned into a scalar-tensor theory of the form
115: %\be
116: %S = \int d^n x \sqrt{-g}\left[ \frac{1}{2\kappa^2}\left(R(1+F(\phi_1,\dots,\phi_m)) + \sum_{k=1}^m\xi_k(\Box^k\phi_k-R)\right)
117: %+ \mathcal{L}_m\right]
118: %\ee
119:
120: \subsection{Multi-scalar-tensor theory}
121: \label{multi}
122:
123: We consider the following simple example of a nonlocal action \cite{Deser:2007jk,Nojiri:2007uq}
124: \be
125: S = \int d^n x \sqrt{-g}\left[ R\left(1+f(\Box^{-1}R)\right) + 2\kappa^2\mathcal{L}_m \right]. \label{eka}
126: \ee
127: Introducing the Lagrange multiplier $\xi$ to rename the inverse d'Alembertian as $\phi$, we may rewrite the action in the
128: form
129: \be
130: S = \int d^n x \sqrt{-g}\left[R\left(1+f(\phi)\right) + \xi(\Box\phi -R) + 2\kappa^2\mathcal{L}_m\right].
131: \ee
132: More general action involving $m$ different powers $\Box$ acting on $R$ can be recasted into a multi-scalar-tensor theory by
133: introducing $2m$ scalar fields \cite{Nojiri:2007uq}. Here we restrict to the case where only the first power $\Box^{-1}$ appears in
134: the action.
135: Integrating partially and neglecting the boundary terms, as usual, we can then eliminate the double derivative,
136: \be
137: S = \int d^n x \sqrt{-g}\left[R\left(1+f(\phi)-\xi\right) - \nabla_\alpha\xi\nabla^\alpha\phi + 2\kappa^2\mathcal{L}_m\right]. \label{s3}
138: \ee
139: This is a peculiar kind of double-scalar-tensor theory, where massless, nonminimally coupled scalars have a kinetic-type interaction resembling
140: of the nonlinear sigma model. From the form (\ref{s3}) it is clear that one may not eliminate the kinetic coupling by a field redefinition.
141: However, it turns out to be convenient to make yet one more manipulation of the action. If we use, instead of the field $\xi$, the field
142: \be
143: \Psi(\phi,\xi) \equiv f(\phi) - \xi
144: \ee
145: as our dynamical variable, it becomes transparent that we may consider a double-scalar-tensor theory, with only one of the scalar degrees of
146: freedom is nonminimally coupled to gravity. The pair of the scalar fields still has the unusual kinetic-type coupling\footnote{By
147: the rescaling $\phi \rightarrow
148: \int\sqrt{2f'(\phi)}d\phi$ one could yet turn the kinetic term of $\phi$ into the canonical
149: form, but this would not be helpful in the following.},
150: \be
151: S = \int d^n x \sqrt{-g}\left[(1+\Psi)R -
152: f'(\phi)(\partial\phi)^2 + \nabla_\alpha\Psi\nabla^\alpha\phi + 2\kappa^2\mathcal{L}_m\right].
153: \ee
154: We get the field equations
155: \bea
156: G_{\mu\nu} & = & \kappa^2 T_{\mu\nu} - \frac{1}{2}\nabla_\alpha\xi\nabla^\alpha\phi g_{\mu\nu} + \nabla_{(\mu}\phi\nabla_{\nu)}\xi -
157: \left(g_{\mu\nu}\Box-\nabla_\mu\nabla_\nu-G_{\mu\nu}\right)(f(\phi)-\xi) \\
158: & = & \kappa^2 T_{\mu\nu} + T^\phi_{\mu\nu} + T^\Psi_{\mu\nu} + T^X_{\mu\nu}, \label{efe}
159: \eea
160: where the effective energy momentum tensors for the two fields and for their coupling read as
161: \bea
162: T^\phi_{\mu\nu} & = & f'(\phi)\left[-\frac{1}{2}(\partial\phi)^2 g_{\mu\nu} + \nabla_\mu\phi\nabla_\nu\phi\right], \label{set_phi} \\
163: T^\Psi_{\mu\nu} & = & -\left(G_{\mu\nu} + g_{\mu\nu}\Box-\nabla_\mu\nabla_\nu \right)\Psi, \label{set_psi} \\
164: T^X_{\mu\nu} & = & \frac{1}{2}\nabla_\alpha\Psi\nabla^\alpha\phi g_{\mu\nu} - \nabla_{(\mu}\phi\nabla_{\nu)}\Psi. \label{set_x}
165: \eea
166: The first piece reduces to canonical kinetic terms, when $f=\phi$.
167: Because of the additional coupling to the other field, $f'(\phi)>0$ does not now necessarily imply that the field is a ghost.
168: The second part corresponds to the usual nonminimal coupling of a standard
169: Brans-Dicke field $\Psi$, and is also well-known to be consistent contribution to
170: field equations both at the quantum and classical level given $\Psi>-1$. The last piece is linear in the
171: derivatives of both the scalar fields, which may not be an unproblematical feature.
172:
173: The equations of motion are
174: \bea \label{fields}
175: \Box\Psi & = & f''(\phi)(\partial\phi)^2 + 2f'(\phi)R, \\
176: \Box \phi & = & R,
177: \eea
178: where the Ricci curvature could be solved from the trace of field equations,
179: \be \label{trace}
180: (1-\frac{n}{2})(1+\Psi) R = \kappa^2 T - (\frac{n}{2}-1)\left(f'(\phi)(\partial\phi)^2 - \nabla_\alpha\Psi\nabla^\alpha\phi\right) - (n-1)\Box \Psi.
181: \ee
182: Since minimally coupled, the matter tensor is conserved, $\nabla^\mu T^m_{\mu\nu}$, which may be used to check the system of
183: equations (\ref{efe}-\ref{trace}) as it is not an independent condition \cite{Koivisto:2005yk}.
184:
185: Let us consider the case $f = f_0 R/\Box$. From the equations of motions (\ref{fields}) one sees that $\Box \phi$ is now proportional to the
186: $\Box\Psi$. It is thus possible to eliminate one degree of freedom. This is similar to the so called nonlinear gravity theories
187: defined by a function of $R$: in such a class of theories there is an extra scalar degree of freedom, which vanishes only in the
188: unique case of the Einstein-Hilbert action that is linear in $R$. Here we then noticed that multiplying the curvature term by a
189: function of $\Box R$ is equivalent to introducing two additional scalar fields, and the unique case of a linear function again
190: allows one to integrate out one scalar degree of freedom.
191:
192: One could also consider generalizing the D'Alembertian operator $\Box$ with regulating terms like
193: $\Box - \epsilon R + (\gamma/\kappa^2) R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma} \dots$, where $\epsilon$ and $\gamma$ are
194: dimensionless numbers \cite{Wetterich:1997bz}. If we make the substitution $\Box^{-1} \rightarrow (\Box - h(R))^{-1}$
195: in the original action (\ref{eka}), by similar steps as before we end up with a generalized Lagrangian,
196: \be \label{h_lag}
197: S = \int d^n x \sqrt{-g}\left[R\left(1+f(\phi)-\xi - h'(\chi)\xi\phi\right) +
198: (h'(\chi)\chi-h(\chi))\xi\phi - \nabla_\alpha\xi\nabla^\alpha\phi + 2\kappa^2\mathcal{L}_m\right].
199: \ee
200: If one considers a linear function $h(\chi)$, it is possible to eliminate the degree of freedom $\chi$. Even with a general $h(\chi)$, in
201: the case of linear $f(\phi)$, one may eliminate one degree of freedom since $\xi$ can be related to $\phi$. Thus, with linear $f$ and linear $h$,
202: Eq.(\ref{h_lag}) becomes an action for a single scalar nonminimally coupled to gravity.
203: We return to this interesting special case in \ref{dari}.
204:
205: \subsection{Cosmological equations} \label{cosmo}
206:
207: Having now the general equations at hand, we may see how they become in cosmology.
208: In a flat Friedmann-Robertson-Walker (FRW) background,
209: \be
210: ds^2 = -dt^2 + a^2(t)d\mathbf{x}^2
211: \ee
212: we get the Friedmann equations
213: \be
214: 3H^2(1+\Psi)=\kappa^2\rho_m + \frac{1}{2}\left(f'(\phi)\dot{\phi}^2 - \dot{\Psi}\dot{\phi}\right) - 3H\dot{\Psi}
215: \ee
216: \be
217: -(2\dot{H}+3H^2)(1+\Psi) = \kappa^2p_m + \frac{1}{2}\left(f'(\phi)\dot{\phi}^2 - \dot{\Psi}\dot{\phi}\right) + \ddot{\Psi} + 2H\dot{\Psi}
218: \ee
219: The equations of motion for the fields are then
220: \be
221: \ddot{\phi}+3H\dot{\phi}=-6(\dot{H}+2H^2),
222: \ee
223: \be
224: %\ddot{\xi}+3H\dot{\xi} = 6f'(\phi)(\dot{H}+2H^2).
225: \ddot{\Psi}+3H\dot{\Psi} = f''(\phi)\dot{\phi}^2 -12f'(\phi)(\dot{H}+2H^2).
226: \ee
227: Introduce the dimensionless variable
228: \be
229: X \equiv \frac{\dot{\phi}}{2H} = \frac{\phi^*}{2}
230: \ee
231: together with the e-fold derivative $y^* \equiv dy/d\log{a}$.
232: We define the energy density fraction of matter as usual,
233: \be
234: \Omega_m \equiv \frac{8\pi\rho_m}{3 H^2},
235: %\quad X \equiv \frac{\dot{\phi}}{2H} = \frac{\phi^*}{2}.
236: \ee
237: We then have a complete set of dimensionless variables. The dynamical system may then be written as
238: \bea \label{om_evol}
239: \Omega_m^* & = & 3(w_m-w_{eff})\Omega_m, \\ \label{psi_evol}
240: \Psi^{**} & = & \frac{3}{2}(w_{eff}-1)\Psi^* - 6f'(\phi)(1-3w_{eff}) + 4f''(\phi)X^2, \\ \label{x_evol}
241: X^* & = & \frac{3}{2}\left[(w_{eff}-1)X + 3w_{eff}-1\right].
242: \eea
243: where
244: \be
245: w_{eff} = \frac{3w_m\Omega_m + 2f'(\phi)(X^2-3) + 4f''(\phi)X^2 - (1+X)\Psi^*}{3(1+\Psi-6f'(\phi))}.
246: \ee
247: The first equation simply expresses the usual matter conservation law, and the two following equations are the conservation laws for
248: our two scalar fields.
249:
250: The fixed points of the system, defined by $\Omega_m^*=\Psi^*=X^*=0$ are as follows.
251: \begin{itemize}
252: \item It is possible to construct scaling solutions with $w_{eff}=w_m$ and with arbitrary $\Omega_m$ if the coupling is of the form
253: $f(\phi) \sim e^{\alpha\phi}$, where $\alpha=3(1-w_m)^2/(2-6w_m)$. However, this is a very special case with not only the form
254: but the parameters of the coupling fixed. Therefore we do not consider this possibility further.
255: \item In the case of effectively complete radiation domination, $w_{eff}=1/3$, we automatically have a fixed point, since with $X=0$ the equations
256: are identically satisfied. The matter density and the field $\Psi$ are then related by the $\Omega_m=1+\Psi$. In the very early universe,
257: when we have exactly $w_{eff}=w_m=1/3$, the correct initial condition is $\Psi=0$. The evolution begins when $w_{m}$ drops below $1/3$, as we discuss
258: in the following subsection.
259: \item If $f'=f''=0$ the equations are again identically satisfied with arbitrary $\Psi$, and now $X=3(1-w_{eff})^2/(2-6w_{eff})$ and $1+\Psi=\Omega_m$.
260: The most relevant case is of course $\Psi=0$, which corresponds to standard cosmology. The field $\phi$ keeps growing, as we see in the following,
261: but it depends on the form of the coupling whether this means that the effect of nonlocal gravity is becoming significant.
262: \end{itemize}
263: In fact we note that the information about the fixed points in this system throws light only on some special corners of the phase space, and for more
264: satisfactory understanding of the nonlocal dynamics we now turn into other considerations.
265: The system of alternative variables normalized by $f(\phi)$, say $\Omega_m/f(\phi)$, would feature additional fixed points
266: in the special case of exponential potential \cite{Jhingan:2008ym}. We will also find and generalize these same solutions in
267: subsection (\ref{reco}).
268:
269: \subsection{The Einstein frame}
270: \label{einstein}
271:
272: Though we will work mainly in the usual Jordan frame, we will briefly consider the Einstein frame version of these models in this
273: subsection. Perform the Weyl rescaling \cite{Wands:1993uu,Faraoni:2006fx}
274: \be \label{weyl}
275: \tilde{g}_{\mu\nu} \equiv (1+\Psi)^{\frac{2}{n-2}}g_{\mu\nu} \equiv e^{\frac{2}{n-2}\varphi}g_{\mu\nu}.
276: \ee
277: The action becomes
278: %\be
279: %\label{se}
280: %S = \int d^n x \sqrt{-\tilde{g}}\left[\tilde{R} - \frac{n-1}{n-2}\frac{1}{\Psi^2}(\tilde{\nabla}\Psi)^2 -
281: %\frac{1}{\Psi}f'(\phi)(\tilde{\nabla}\phi)^2 + \frac{1}{\Psi}\tilde{\nabla}_\alpha\Psi\tilde{\nabla}^\alpha\phi +
282: %\frac{2\kappa^2}{\Psi^2}\mathcal{L}_m(\tilde{g}\Psi^{-2/(n-2)}). \right]
283: %\ee
284: \be
285: \label{se}
286: S = \int d^n x \sqrt{-\tilde{g}}\left[\tilde{R} - \frac{n-1}{n-2}(\tilde{\nabla}\varphi)^2 -
287: e^{-\varphi} f'(\phi)(\tilde{\nabla}\phi)^2 + \tilde{\nabla}_\alpha\varphi\tilde{\nabla}^\alpha\phi +
288: 2\kappa^2e^{-2\varphi} \mathcal{L}_m(\tilde{g}e^{-\varphi}). \right]
289: \ee
290: Now $\Psi$ has also acquired a kinetic term. The curvature coupling has been removed in this frame, but the matter sector has now become nonminimally coupled.
291: Since there remains the derivative coupling term, things have not simplified so much as in the Einstein frame of the Brans-Dicke class of theories.
292: However, the metric rescaling provides also here a useful alternative viewpoint to the system.
293: The field equation is
294: \be
295: \tilde{G}_{\mu\nu} =
296: \tilde{T}_{\mu\nu} +
297: \tilde{T}^\phi_{\mu\nu} +
298: \tilde{T}^\varphi_{\mu\nu} +
299: \tilde{T}^X_{\mu\nu},
300: \ee
301: where we have again decomposed the left hand side to four contributions,
302: \bea
303: \tilde{T}^\phi_{\mu\nu} & = & {f'(\phi)}e^{-\varphi}\left[-\frac{1}{2}(\tilde{\nabla}\phi)^2 \tilde{g}_{\mu\nu}
304: + \tilde{\nabla}_\mu\phi\tilde{\nabla}_\nu\phi\right], \\
305: \tilde{T}^\Psi_{\mu\nu} & = & \left(1+\frac{1}{n-2}\right)\left[-\frac{1}{2}(\tilde{\nabla}\varphi)^2
306: \tilde{g}_{\mu\nu}
307: + \tilde{\nabla}_\mu\varphi\tilde{\nabla}_\nu\varphi\right], \\
308: T^X_{\mu\nu} & = & \left[\frac{1}{2}\tilde{\nabla}_\alpha\varphi\tilde{\nabla}^\alpha\phi \tilde{g}_{\mu\nu} -
309: \tilde{\nabla}_{(\mu}\phi\tilde{\nabla}_{\nu)}\varphi\right].
310: \eea
311: Note that none of the four energy momentum tensors is conserved. Matter, as well as the field $\phi$, is coupled nonminimally to the field
312: $\varphi$. The equation of motion for this field may be written as
313: \be
314: \left(\frac{e^\varphi}{2f'(\phi)}-\frac{2(n-1)}{(n-2)}\right)\tilde{\Box}\varphi =
315: \left(\frac{f''(\phi)}{2f'(\phi)} +
316: e^{-\varphi}\right)(\tilde{\nabla}\phi)^2 - \tilde{\nabla}_\alpha\varphi\tilde{\nabla}^\alpha\phi -
317: \frac{\kappa^2\tilde{T}}{(\frac{n}{2}-1)e^{2\varphi/(n-2)}}.
318: \ee
319: This could be derived either by varying the action (\ref{se}) or by conformally transforming the equation (\ref{fields}) and using
320: \be
321: \tilde{R} = \frac{1}{1-\frac{n}{2}}\tilde{T} + \frac{n-1}{n-2}(\tilde{\nabla}\varphi)^2
322: - e^{-\varphi}f'(\phi)(\tilde{\nabla}\phi)^2 - e^{-\varphi}\tilde{\nabla}_{(\mu}\phi\tilde{\nabla}_{\nu)}\varphi .
323: \ee
324: Then, to find the equation of motion for the field $\phi$ in the Einstein frame, it is most convenient to note from Eqs.(\ref{fields})
325: that $\tilde{\Box}\phi = \frac{1}{2}(\tilde{\Box}\Psi-f''(\phi)(\tilde{\nabla}\phi)^2)/f'(\phi)$.
326:
327: The Einstein frame cosmology can then be obtained from the Jordan frame solutions by carefully taking into account the conformal dimension of each
328: quantity. From the scaling (\ref{weyl}) we see that the scale factor, being a squareroot of a component of the metric, has conformal dimension
329: half, $\tilde{a}=e^{\varphi/2}a$. The invariance of the line-element then requires $d\tilde{t}=e^{\varphi/2}dt$. From this already
330: follows that the Hubble rate in the Einstein frame is
331: \be
332: \tilde{H} = e^{-\varphi/2}(H+\frac{1}{2}\dot{\varphi}),
333: \ee
334: and that its derivative may be written as
335: %\be tama on vaarin
336: %\frac{1}{\tilde{H}^2}\frac{d\tilde{H}}{d\tilde{t}} = \frac{1}{2}\varphi^* + \frac{\varphi^{**} +
337: % \frac{\dot{H}}{H^2}(\varphi^* + 1)}{1+\frac{1}{2}\varphi^*}.
338: %\ee
339: \be
340: \frac{1}{\tilde{H}^2}\frac{d\tilde{H}}{d\tilde{t}} =
341: \frac{1}{1+2\varphi^*}\left[\frac{\varphi^{**}}{2+\varphi^*}+\left(\frac{H^*}{H}-\frac{1}{2}\varphi^*\right)\right].
342: \ee
343: This dimensionless quantity gives directly the effective equation of state in the Einstein frame. As a manifestation
344: of the matter nonconservation, we have $\tilde{\rho}_m = e^{-2\varphi}\rho_m$. It follows that
345: \be
346: \tilde{\Omega}_m = \frac{\Omega_m}{e^{\varphi}(1+\frac{1}{2}\varphi^*)^2}
347: \ee
348: gives the relative amount of matter.
349:
350: \section{Cosmological dynamics}
351: \label{tosisektio}
352:
353: In this Section we will study cosmology at four different epochs: radiation dominated, matter dominated, accelerating, and a general
354: scaling. We can then find different approximations which are helpful in analytical considerations in these four cases.
355: Numerical solutions are given in table \ref{tab} and the figures \ref{appro} and \ref{eosn}.
356:
357: \subsection{Radiation domination: Initial conditions}
358: \label{radi}
359:
360: Consider the radiation dominated epoch. We assume that the nonlocal corrections are negligible. By definitions, we may always write
361: \be \label{ricci}
362: R=3(1-3w_{eff})H^2.
363: \ee
364: Assuming standard gravity with matter and radiation as sources, we have
365: \be \label{expansion}
366: 3w_{eff} = \frac{1}{1+ra}, \quad \left(\frac{H}{H_0}\right)^2 = \frac{\Omega^0_r}{a^4}(1+ra),
367: \ee
368: where the fraction of nowadays relative matter density, $\Omega^0_m = 3\rho^0_m/(8\pi G H_0^2)$ and nowadays relative
369: radiation density $\Omega^0_r=3\rho^0_r/(8\pi G H_0^2)$ is denoted $r \equiv \Omega^0_m/\Omega^0_r$. When all matter is
370: relativistic, $R$ vanishes identically. Thus $\phi$ should also vanish. When part of the matter becomes nonrelativistic,
371: $R$ begins to evolve (even if the universe is dominated by radiation). The scalar field $\phi$ is given as the solution to
372: the equation $\phi = \Box R$. Explicitly, we get
373: \be \label{di}
374: \phi(t) = -\int_{t_i}^t \frac{dt'}{a^3(t')}\int_{t_i}^ta^3(t'')R(t'')dt'' +
375: \dot{\phi}_i\int_{t_i}^t\left(\frac{a_i}{a(t')}\right)^3dt' + \phi_i.
376: \ee
377: Note that this does not depend on the form of $f(\phi)$, since the scalar $\phi$ is just a way of reexpressing $R/\Box$.
378: We consider exclusively the retarded solutions to respect causality.
379: In our models, we then set $\phi_i=\dot{\phi}_i=0$ at an initial, completely radiation dominated time $t_i$. When $R$ vanishes, $\phi=\Box R$
380: should also together with its derivatives. Using the expansion (\ref{expansion}), we can then reduce the double integral (\ref{di}) into the
381: form
382: \be
383: \phi(a) = -3r\int_{a_i}^a\frac{da'}{{a'}^2\sqrt{1+ra'}}\int_{a_i}^{a'}\frac{a''da''}{\sqrt{1+ra''}}
384: \ee
385: which one may perform analytically, yielding
386: \be \label{ini1}
387: \phi(a) = \frac{4(a-a_i)}{raa_i}-2\log{\frac{a}{a_i}} +
388: (ra_i-2)\sqrt{1+ra_i}\left(\log\frac{(1+\sqrt{1+ra})(1-\sqrt{1+ra_i})}{(1-\sqrt{1+ra})(1+\sqrt{1+ra_i})}
389: - \frac{2\sqrt{1+ra}}{ra} + \frac{2\sqrt{1+ra_i}}{ra_i}\right).
390: \ee
391: Obviously, the solution depends on the moment $a_i$ at which we assume the matter in the universe to become nonrelativistic.
392: One then obtains the derivative of the field,
393: \be \label{ini2}
394: X(a) = \left(2 + (ra_i-2)\frac{\sqrt{1+ra_i}}{\sqrt{1+ra_i}}\right)\frac{1}{ra} - 1.
395: \ee
396: Using the solution for $\phi$, the other scalar field $\xi$ may then be computed as
397: \be \label{di2}
398: \xi(t) = \int_{t_i}^t \frac{dt'}{a^3(t')}\int_{t_i}^ta^3(t'')R(t'')f(\phi(t''))dt'' +
399: \dot{\xi}_i\int_{t_i}^t\left(\frac{a_i}{a(t')}\right)^3dt' + \xi_i.
400: \ee
401: The value of $\xi$ thus depends on the form of $f(\phi)$, and has to be therefore considered separately for each form of the nonlocal
402: term $f$. Analytic solutions may be difficult to find, unlike for $\phi$. Once $\xi$ is then solved,
403: it is however straightforward to obtain $\Psi=f-\xi$, and its time first derivative. These then completely fix the initial conditions for our
404: system.
405:
406: In principle, due to the nonlocal property, the initial conditions could carry information from inflation or even from a pre-Planck era, if
407: there effectively $R \neq 0$. Here we just assume that $\phi$ begins to evolve from zero when matter becomes nonrelativistic. Furthermore,
408: we have assumed above that this happens instantaneously at a given epoch $a=a_i$ (in our numerical examples this is $a_i=e^{-23}$).
409: In reality each particle species begins to contribute to the trace $T_m$ when the temperature of the
410: universe has dropped below the mass of the particle. Thus a more precise calculation should consider $r$ replaced by $r_*(a)$ in
411: Eq.(\ref{expansion}) and
412: elsewhere, $r_*(a)$ being a function which is zero as $a\rightarrow 0$, but is ''kicked'' to a slightly larger value each time
413: some particle becomes nonrelativistic, and thus only eventually reaches $r_*(a) \rightarrow r$. Here we have approximated this a function
414: as the step function $r_*(a) = r\theta(a-a_i)$, since the thermodynamic details of the very early universe seem not to be important for our
415: conclusions. This is because the solution (\ref{ini2}) is an attractor. One may note this easily by inserting $X+\delta X$ to
416: the Eq.(\ref{x_evol}), which then yields
417: \be
418: (\delta X)^* = -\frac{1}{2}\left(3-\frac{1}{1+ar}\right)\delta X.
419: \ee
420: Thus the evolution of $\phi$ tends to a similar track with the solution (\ref{ini1}). A different initial condition will only set a different
421: normalization for the field. However, since values of the field in Eq.(\ref{ini1}) will be of the order of $\phi \sim 10^{-7}$ in the early
422: universe, these differences are negligible when the correction terms become important. Note however, that in the case where the nonlocal
423: corrections would be large at high $R$, one should be careful with the early radiation history.
424:
425: %Consider first a power-law function $f(\phi) = f_0\phi^n$. We assume that in the solution (\ref{phi1}), only the first
426: %term is important. This
427: %is justified for sufficiently small $a$, i.e. at early enough times. Thus we have
428: %\bea \label{powf}
429: %f(a) = (-4)^nf_0(ra)^{-n} \label{pow1}
430: %\eea
431: %Using the expansion $(1+ra)^{-1/2} \approx 1 - \frac{1}{2}ra + \frac{3}{8}(ra)^2 + \mathcal{O}(r^3a^3)$ in the integral
432: %(\ref{di2}), one
433: %gets\footnote{The
434: %integral (\ref{di2} could also be performed exactly with $f \sim a^{-n}$ as the source. The first integral is expressed
435: %in terms of
436: %hypergeometric functions and the final result in terms of Meijer functions. Here it however suffices for us to use the
437: %expansion to see that
438: %that in fcat $\xi$ may be neglegted at early times.}
439: %\be \label{pow2}
440: %\xi \approx (-4)^{n-1}3n f_0\left[\frac{1}{(3-n)(2-n)} - \frac{7-2n}{2(3-n)^2(4-n)}ra + \mathcal{O}(a^2r^2) \right]
441: %(ra)^{2-n},
442: %\ee
443: %in the leading order in $(ra)$. We thus suppose that we are sufficiently deep in the radiation era that $ra \ll 1$. We
444: %then notice that
445: %the leading contribution to $\Psi = f-\xi$ is given by $f$ (\ref{pow1}), whereas the contribution from $\xi$
446: %(\ref{pow2}) is expected to be of
447: %the order $(ra)^2$ smaller. We can thus neglect the latter.
448: %As our initial conditions, we then set
449: %\bea \label{ini3}
450: %\Psi(a) = (-1)^nf_0\left(\frac{4}{ra}\right)^{n}, \\ \label{ini4}
451: %\Psi^*(a) = (-1)^{n+1}n f_0\left(\frac{4}{ra}\right)^n
452: %\eea
453: %Note that these had to be derived taken into account the finite amount of nonrelativistic matter in the universe during
454: %the radiation
455: %domination. In a exclusively radiation-filled universe $R=r=0$, and our results would be insensible. One might, however,
456: %note that our
457: %approximation is consistent with the equations of motion (\ref{om_evol}-\ref{x_evol}) with $w_{eff}=w_m=0$.
458: %Eq.(\ref{om_evol}) simply states that
459: %universe in this approximation stays radiation dominated. Eq.(\ref{x_evol}) reduces to $X^*=-X$, which is satisfied by the solution
460: %Eq.(\ref{ini1},\ref{ini2}). Similarly, the solution (\ref{ini3},\ref{ini4}) satisfies the equation (\ref{psi_evol}).
461: %Consider next an exponential function $f(\phi) = f_0 e^{\alpha\phi}$. Inserting this to the
462: %\bea
463: %F(a) & \approx & f_0\left(1-\frac{3\alpha}{2} ra + \frac{5\alpha}{8}r^2 a^2 - \frac{173\alpha}{240}r^3a^3\right) \\
464: %Y(a) & \approx & \alpha f_0\left(-\frac{3}{2}ra + \frac{5}{4}r^2 a^2 - \frac{173\alpha}{80}r^3a^3\right)
465: %\eea
466: %We note that for an exponential coupling, the leading order correction is always of the order of the scale of the coupling $f_0$, whereas
467: %in the power-law case, the contribution to the coupling is suppressed at early times by $(ra^3)^n$.
468:
469: \subsection{Matter domination: Conditions for growth of nonlocalities}
470: \label{mati}
471:
472: At late enough matter era, when $a \gg a_i$, the field (\ref{ini1}) is approximated by
473: \be \label{mlimit}
474: \phi(a) = -2\left(\log{\frac{ra}{4}} + 1 \right).
475: \ee
476: This limit also confirms our claim that at late enough era the dependence on the initial conditions is negligible, since the $a_i$ is canceled
477: out from the limit (\ref{mlimit}). The field derivative during matter domination follows immediately,
478: \be \label{mlimitx}
479: X(a) = - 1.
480: \ee
481: This means that during an e-fold $\Box^{-1}R$ drops by $-2$. To analyze the evolution of the other field, we must then specify
482: the function $f$. We consider two cases: an exponential and a power-law form.
483:
484: \subsubsection{Exponential model} Consider the exponential case, $f(\phi) = f_0e^{\alpha\phi}$.
485: One may note that the pure exponentials models are ruled out because they feature a constant shift of the effective Newton's constant by
486: $f_0$, since the constant $(1+f_0)/(2\kappa^2)$ then multiplies the standard Einstein-Hilbert term. This however may be avoided by simple
487: reformulations of the model, and the exponential case is still an interesting example.
488: We can now write
489: \be
490: f(a) = \hat{f}_0a^{-2\alpha}, \quad \hat{f}_0 \equiv \left(\frac{4}{re}\right)^{2\alpha}f_0.
491: \ee
492: One can then easily see that the leading contribution in the integral (\ref{di2}) is growing with $a$ proportional to $\xi \sim a^{-2\alpha}$
493: only when $\alpha<0$ The solution is then
494: \be
495: \Psi = \frac{6-4\alpha}{3-4\alpha}\hat{f}_0a^{-2\alpha}.
496: \ee
497: This solution satisfies the evolution Eq.(\ref{psi_evol}) in the limit $w_{eff}=0$.
498: Since the coupling is growing, the correction term will inevitably become significant at some point. However, whether the nonlocal energy density
499: then becomes dominant with respect to dust density, depends on the model. The effective equation of state of the universe is approximated by
500: \be
501: w_{eff} \approx 4\alpha(\alpha-1)\hat{f}_0a^{-2\alpha}.
502: \ee
503: Thus, only if $f_0<0$, do we expect the nonlocal energy density to dominate the matter density. When this happens, our solution
504: (\ref{mlimit}) is no longer valid.
505: The approximations for the two fields are compared to numerical results in the right panel of figure \ref{appro}.
506: When $\alpha<0$, the numerical example for an $f_0>0$ case is depicted in the right panel of figure \ref{eos_no}, and numerical
507: examples for $f_0<0$ cases are depicted in the right panel of figure \ref{eosn}.
508:
509: \subsubsection{Power-law model.} Consider the power-law case, $f(\phi) = f_0\phi^n$. For convenience we approximate $\log{\frac{1}{4}ra}+1 \approx \log{ra}$ and
510: $\sqrt{1+ra} \approx \sqrt{ra}$. Then the solution to the double integral (\ref{di2}) with the lower boundary terms dropped may be written as
511: \be \label{pot1}
512: \xi(a) = -f_0\left[\left(2\log{\frac{1}{ra}}\right)^n + (\frac{4}{3})^n
513: \frac{n}{(ra)^\frac{3}{2}} \Gamma(n,\frac{3}{2}\log{\frac{1}{ra}})\right].
514: % \approx -f_0\left[\left(2\log{\frac{1}{ra}}\right)^n + \frac{2}{3}n\left(2\log{\frac{1}{ra}}\right)^{n-1}\right] \right],
515: \ee
516: From the fact that the incomplete Gamma function behaves asymptotically as $\Gamma(n,x) \approx
517: e^{-x}x^{n-1}(1+\mathcal{O}(\frac{1}{x}))$, we see that the second term in Eq.(\ref{pot1}) scales as $\sim (\log{ra})^{n-1}$.
518: Therefore the first term, which scales as $\sim (\log{ra})^n$, will eventually dominate. Taking into account the contribution from
519: $f(\phi)$ which is equal to $\xi$'s leading contribution, the coupling $\Psi$ reads
520: \be \label{appro2}
521: \Psi(a) = 2 f_0\left(2\log{\frac{1}{ra}}\right)^n\left(1 - \frac{n}{6\log{\frac{1}{ra}}}\right).
522: \ee
523: One notes that this satisfies the evolution equation Eq.(\ref{psi_evol}) consistently up to the order $\sim \left(\log{\frac{1}{ra}}\right)^{n-2}$.
524: Again we have a very simple condition for the nonlocal contribution to grow during an Einstein-de Sitter phase: if $n>0$, the effect
525: of the nonlocal terms increases during matter domination, otherwise not. Yet one may check what happens when these terms cannot be compleletely
526: neglected. The effective equation of state of our solution is approximated by
527: \be
528: w_{eff} \approx (-1)^nf_0\frac{2^{n+1}}{3}n(\log(ra))^{n-1}\left(1+\frac{n-1}{2\log{(ra)}}\right).
529: \ee
530: If $(-1)^n f_0 > 0$, we expect that the standard matter domination may be interrupted by the growing nonlocal contribution, but since dust dilutes
531: more slowly than the effective nonlocal density, acceleration will not follow. The case $(-1)^n f_0 < 0$ finally represents a scenario where
532: $\Omega_m
533: \rightarrow 0$ asymptotically, and the nonlocal contribution will eventually dominate the energy density.
534: The approximations for the scalar fields are compared to numerical results in the left panel of figure \ref{appro}.
535: When $n>0$, the numerical example for a case with $(-1)^{n+1}f_0>0$ is depicted in the left panel of figure \ref{eos_no}, and numerical
536: examples for the opposite cases are depicted in the left panel of figure \ref{eosn}.
537:
538:
539: \subsection{Dark energy domination: A sudden singularity and its avoidance}
540: \label{dari}
541:
542: Given the conditions above, the universe will enter into an accelerating era. From numerical experimentation, we find that in the
543: above simple cases this always leads to a so called sudden future singularity \cite{Barrow:2004xh}. This is type II singularity in the
544: classification of Ref.\cite{Nojiri:2005sx}. There the second derivative of the scale factor
545: diverges at a finite time and when the universe has expanded a finite amount since $a_i$. In addition the first derivative remains finite.
546: In terms of effective fluid quantities this means that pressure goes to infinity, while the energy density is finite.
547:
548: To avoid evolution into such a singularity, several effects have been proposed in frameworks of other models. The backreaction of conformal quantum
549: fields might appear near the singularity and change the evolution \cite{Nojiri:2004ip}. Nonperturbative quantum geometric effects can
550: also resolve the future sudden singularity \cite{Sami:2006wj}. Here we show also that by slight modification of the nonlocal
551: model by allowing a regulator term $h(R)$ the singularity may cease to exist.
552:
553: For definitiveness and simplicity,
554: let us consider the special case of linear coupling and a linear regulator term,
555: \be
556: f(x) = -\tau x, \quad h(x)=\epsilon x.
557: \ee
558: As discussed in the end of section (\ref{cosmo}), the action (\ref{h_lag}) allows to integrate out two scalars.
559: %We define $\tau = -2f_0$ and for definitivess consider the regulator $h(R) = \epsilon R$.
560: Then $\Psi = -\tau\phi$. The cosmological equations now simplify to \cite{Wetterich:1997bz}
561: \bea
562: 3H^2(1-\tau\phi+\frac{1}{2}\epsilon\phi^2) & = & - \frac{1}{4}\dot{\phi}^2 + 3(\tau-\epsilon\phi)H\dot{\phi}, \\ \label{hube1}
563: -(2\dot{H}+3H^2)(1-\tau\phi+\frac{1}{2}\epsilon\phi^2) & = & (\frac{1}{4}+\epsilon)\dot{\phi}^2 + (\tau-\epsilon\phi)(\ddot{\phi}+2H\dot{\phi}),
564: \label{hube2} \\
565: \ddot{\phi} + 3H\dot{\phi} & = & 6(\tau-\epsilon\phi)(2H^2+\dot{H})^2. \label{hube3}
566: \eea
567: The matter sources have been dropped, which is at least near the singularity is a good approximation since there matter becomes
568: negligible, $\Omega_m \rightarrow 0$. We can write the Friedmann equation (\ref{hube1}) as a first order differential equation,
569: \be \label{diff}
570: \frac{da}{a} = \frac{d\phi}{2}\frac{\tau-\epsilon\phi}{1-\tau\phi+\frac{1}{2}\epsilon\phi^2}\left[1+
571: \sqrt{1-\frac{1}{3}\frac{(1-\tau\phi+\frac{1}{2}\epsilon\phi^2)}{(\tau-\epsilon\phi)^2}}\right].
572: \ee
573: This can be integrated. In the case $\epsilon=0$, the solution is
574: \bea \label{arel}
575: \frac{a}{a_0} = \sqrt{
576: \frac{(\tau\phi_0-1)(1+y)(1-y_0)}{(\tau\phi-1)(1+y_0)(1-y)}}e^{y_0-y}, \\ \nonumber y \equiv 1+\frac{1}{3\tau^2}(\tau\phi-1).
577: \eea
578: %\frac{(\tau\phi_0-1)}{(\tau\phi-1)}
579: %\exp{\left[-\sqrt{1+\frac{1}{3\tau^2}(\tau\phi-1)} + \tanh^{-1}\sqrt{1+\frac{1}{3\tau^2}(\tau\phi-1)} -
580: %\frac{1}{2}\log{\frac{\tau\phi-1}{\tau^2}}\right]}.
581: Because of difficulties in inverting this relation, we proceed by considering cosmology as a function of the scalar field $\phi$. From Eq.(\ref{diff}), we
582: can relate the Hubble rate to the time derivative of the field for each value of the scalar. Then, we can relate effective density $\rho_\phi = 3H^2$
583: to the square of the field
584: derivative, given the value of the field. To find a similar expression for the effective pressure $p_{eff} = -(2\dot{H}+3H^2)$, we must first use equation
585: (\ref{hube2}) and solve $\ddot{\phi}$ by using (\ref{hube3}). The full result of this algebra, taking into account a nonzero $\epsilon$, is
586: \be \label{pres}
587: w_\phi = \frac{-6(1+\tau(\phi+5\tau)) + c(\tau,\phi,\epsilon)\epsilon
588: - 4\sqrt{6}(1-6\epsilon)(\tau-\epsilon\phi)^2
589: \sqrt{6+\frac{2\phi}{\tau-\epsilon\tau} +
590: \frac{-2+\epsilon\tau}{(t-\epsilon\tau)^2}}
591: }{3(-2 + 2\tau(\phi + 3\tau) - \epsilon\phi(\phi + 12\tau) + 6\epsilon^2\phi^2)},
592: \ee
593: where
594: \be
595: c(\tau,\phi,\epsilon) = -3(-8+(1+2\epsilon(-7+24\epsilon))\phi^2+4(7-24\epsilon\tau\phi + 48\tau^2)).
596: \ee
597: Consider first the case that $\epsilon=0$. We then see that the equation of state diverges at finite $\phi_{crit} = 3\tau-\frac{1}{\tau}$.
598: The relation (\ref{arel}) shows that this happens at a finite value of the scale factor, and the Friedmann equation (\ref{hube1}) shows that the
599: density is also finite at $\phi = \phi_{crit}$. Thus we have a future sudden singularity.
600:
601: We then restore the regulator term $\epsilon>0$ into the operator to show that then the singularity may disappear. Now,
602: the denominator of (\ref{pres}) vanishes if
603: \be \label{divp}
604: \phi_{crit} = \frac{\tau-6\epsilon\tau \pm
605: \sqrt{(6\epsilon-1)(2\epsilon-\tau^2)}}{\epsilon-6\epsilon^2}
606: \ee
607: One may adjust $\epsilon$ in such a way that the denominator in (\ref{pres}) is always
608: nonzero, i.e. that the equation for the critical $\phi_{crit}$ as given by equation (\ref{divp}) does not have real solutions.
609: To achieve this when
610: the absolute value of $\tau$ exceeds $|\tau|>1/\sqrt{3}$, one has to set $1/6 \le \epsilon
611: \le \tau^2/2$. When the absolute value of $\tau$ is smaller, $|\tau|>1/\sqrt{3}$, one has to set
612: $\tau^2/2 \le \epsilon \le 1/6$. Thus we have shown that there are values of $\epsilon$ which completely
613: remove the singularity.
614:
615: \subsection{Reconstruction of cosmology}
616: \label{reco}
617:
618: One might approach the dynamical problem from the other way and ask what kind of modifications $f$ would be needed to generate a given expansion history.
619: Previously such reconstructions have been considered for scalar-tensor theories \cite{Boisseau:2000pr}, vector-tensor theories
620: \cite{Koivisto:2008ig,Koivisto:2008xf}, coupled scalar theories \cite{Tsujikawa:2005ju}, $f(R)$ theories \cite{Capozziello:2005ku}
621: and the Gauss-bonnet theory \cite{Nojiri:2006je}; for reviews, see \cite{Sahni:2006pa, Nojiri:2006be}.
622:
623: Since our action contains an arbitrary function $f$, one might think that by adjusting the function suitably one could model an arbitrary background
624: expansion. The recipe for finding the function $f$ can be given quite simply. A given expansion history $a(t)$ is equivalent to a given function
625: $w_{eff}(a)$. Therefore, the variable $X(a)$ and thus the field $\phi(a)$ can be found by integrating the equation of motion (\ref{x_evol})
626: \be \label{x_evol2}
627: X^* = \frac{3}{2}\left[(w_{eff}-1)X + 3w_{eff}-1\right].
628: \ee
629: It is possible to derive a similar equation for the other field $\Psi$ as well,
630: \be \label{psi_evol2}
631: \Psi^{**} + \frac{1}{2}(7-3w_{eff})\Psi^* + 3(1-w_{eff})\Psi = -3(1-w_{eff}) + 3\Omega_m(1-w_m).
632: \ee
633: Therefore, a given background expansion indeed determines uniquely the form of both the fields $\phi$ and $\Psi$. One can write the Friedmann equation
634: in the form
635: \be \label{friedmann_2}
636: 1+\Psi = \Omega_m + \frac{1}{3}(2f'(\phi)X - \Psi^*)X - \Psi^*.
637: \ee
638: It is then straightforward to insert the solutions for $\phi$ from Eq.(\ref{x_evol2}) and the solutions for $\Psi$ from Eq.(\ref{psi_evol2}) into
639: the Friedmann
640: Eq.(\ref{friedmann_2}) to find $f'(\phi)$ as a function of the scale factor $a$. The coupling as a function of the scale factor is then given by the
641: integral
642: \be \label{coupling}
643: f(a) = \int_{a_i}^a 2aX(a)f'(\phi) da.
644: \ee
645: If one is then able to invert $\phi(a)$ to get $a(\phi)$, the functional form of the coupling is finally found as $f(\phi) = f(a(\phi))$.
646: We demonstrate this procedure with an explicit example below.
647:
648: Consider cosmological expansion with the constant effective equation of state $w_{eff}=w$. We can then easily solve $\phi$ from Eq.(\ref{x_evol2}),
649: \be \label{w_phi}
650: \phi(a) = \frac{2(1-3w)}{w-1}\log{a} + \phi_1a^{\frac{3}{2}(w-1)} + \phi_0,
651: \ee
652: and check that the result also agrees with the integral (\ref{di}), $\phi_1$ and $\phi_0$ being the integration constants. In equation
653: $(\ref{psi_evol2})$ we set now $\Omega_m(1-w_m) = \Omega^0_m a^{3(w-w_m)}(1-w_m)$. The equation is then solved by
654: \be \label{w_psi}
655: \Psi(a) = -1 + \left(\frac{w_m-1}{w-1}\right)\Omega_m^0a^{3(w-w_m)} +
656: \frac{\Psi_1}{a^{2}} + \frac{\Psi_2}{a^{\frac{3}{2}(w-1)}},
657: \ee
658: where the two first terms give the special solution, simply a constant, and the two last terms give the general solution to the homogeneous
659: equation with the
660: constants $\Psi_1$ and $\Psi_2$ which should be interpreted as the boundary conditions.
661: To get a nice expression for $f'(\phi)$ from the Friedmann
662: equation (\ref{friedmann_2}), we approximate $\phi(a)$ by the constant and the logarithmic term in (\ref{w_phi}). This is justified when
663: $w<1$, so that the second term decays fastest, and when $a$ is large enough. Similarly, if we assume again large enough $a$, and
664: %that matter which decays faster than curvature, $w_m>-1/3$, and that
665: the effective expansion is nonphantom when the physical matter content doesn't decay faster than dust, or more generally
666: $w > 2w_m-1$, then the solution (\ref{w_psi}) may be approximated by setting $\Psi_2=0$. Then we obtain
667: \be
668: f'(\phi(a)) =
669: \frac{3(w-w_m)(3-w-2w_m)\Omega_m^0 a^{2+3(w-w_m)} + (w-1)(1+3w)\Psi_1}{2(1-3w)^2a^2}
670: \ee
671: and by integrating furthermore
672: \be
673: f(\phi(a)) =
674: \frac{-2(3-w-2w_m)\Omega_m^0 a^{2+3(w-w_m)} + (w-1)(1+3w)\Psi_1}{4\left(1+w(3w-4)\right)a^2},
675: \ee
676: where the integration constant should be dropped as it corresponds to a constant shift of $\kappa^2$. By inverting the relation Eq.(\ref{w_phi}) we
677: finally get the function as
678: \be
679: %f(\phi) = -\frac{(1+3w)}{(1-3w)}\frac{\Psi_1}{4}\exp{\left[\frac{(1-w)}{(1-3w)}(\phi-\phi_0)\right]}.
680: f(\phi) = \frac{1}{4\left(1+w(3w-4)\right)}
681: \left[ (w-1)(3w+1)\Psi_1e^{\frac{(1-w)}{(1-3w)}(\phi-\phi_0)}
682: +
683: 2(w+2w_m-3)\Omega^0_me^{\frac{3}{2}\frac{(1-w)(w_m-w)}{(1-3w)}(\phi-\phi_0)}\right].
684: \ee
685: The main result about this example is that expansion with a constant equation of state (with or without matter) corresponds to an exponential
686: coupling. Details are discussed below.
687:
688: We find two possibilities: a vacuum solution and a scaling solution.
689: \begin{itemize}
690: \item
691: In the case that $w < w_m - 2/3$ the asymptotic form of the matter coupling becomes tdominated by the first term inside the square
692: brackets at large times. Thus, if we assume the effective equation of state to be more negative the $\Psi_1$-term dominates at large $a$ instead of
693: the matter term. Since the matter has diluted away, this corresponds to the vacuum solutions found by Jhingan {\it et al} \cite{Jhingan:2008ym}.
694: As a function of $\alpha$, the expansion rate of the vacuum corresponds to
695: \be
696: w_{eff} = \frac{\alpha-1}{3\alpha-1}.
697: \ee
698: With the addition of dust, these solutions become unstable. Thus one cannot reach them from the matter-dominated era.
699: \item
700: If either the boundary condition is exactly $\Psi_1=0$, or the expansion is less accelerating by
701: $w > w_m - 2/3$, then we find that the second term inside the square brackets dominates asymptotically and the solution is
702: determined solely by the matter content. As one can deduce from Eq.(\ref{w_psi}), in this solution the ratio
703: $\Omega_m/\Psi$ is a constant. In fact this is a scaling solution, since effective fractional matter density $\Omega_m/(1+\Psi)$
704: is asymptotically a constant, since $\Psi$ grows quickly to large values. This corresponds to a huge gravitational constant,
705: which can be immediately excluded on observational grounds. The effective equation of state of this scaling solution is given
706: as a function of $\alpha$ by
707: %\be \label{scaling}
708: %w_{eff} = \frac{1}{2}(1-w_m) - \alpha\sqrt{3}\sqrt{12\alpha^2+3(1-w_m)^2-4(1+3w_m)\alpha}.
709: %\ee
710: \be \label{scaling}
711: w_{eff} = \frac{1}{2}(1+w_m) - \alpha - \frac{1}{6}\sqrt{24\alpha - 36w_m + (3-6\alpha+3w_m)^2}.
712: \ee
713: Since this is positive definite for $w_m=0$ and $\alpha<0$, one
714: cannot use
715: it to obtain accelerating from the dust dominated
716: era.
717: \end{itemize}
718:
719: %Furthermore, the second may not either be relevant for dark energy, since the evolution seems to be stable only for $w_{eff}=w$. $\Psi$
720: %\be
721: %f'(\phi) = -\frac{3}{2}\Omega_m\left(\frac{w-1}{3w-1}\right)^2\frac{1}{a^{3(1+w_m)}},
722: %\ee
723: %which after an integration yields
724: %\be
725: %f(\phi) = \frac{\Omega_m(1-w)}{2(3w-1)(1+w_m)}\exp{\left[\frac{3(1-w)(1+w_m)}{2(1-3w)}(\phi-\phi_0)\right]}.
726: %\ee
727:
728: %In general, the reconstruction procedure can be difficult to perform analytically, and it may give to functions which are complicated,
729: %unstable or singular.
730:
731: %Therefore we mainly consider the approach of choosing a simple form of the function and studying its consequences which can be then
732: %uniquely determined. In fact, we find that the evolution is qualitatively similar regardless of whether we the $f$ is exponential or a power-law.
733:
734: \begin{table}
735: \begin{tabular}{|c|c|c|c|c|}
736: \hline
737: $n$ & $f_0$ & $w_{eff}$ & $\phi$ & $\Psi$ \\
738: \hline
739: $1$ & $1.852216e-02$ & $-9.701123e-02$ & $-1.705136e+01$ & $-6.316559e-01$ \\ \hline
740: $2$ & $-1.068728e-03$ & $-2.366542e-01$ & $-1.673209e+01$ & $-5.597827e-01$ \\ \hline
741: $3$ & $6.090079e-05$ & $-4.194428e-01$ & $-1.656208e+01$ & $-4.989559e-01$\\ \hline
742: $4$ & $-3.487378e-06$ & $-6.412859e-01$ & $-1.643555e+01$ & $-4.461259e-01$\\ \hline
743: $5$ & $2.013315e-07$ & $-8.990863e-01$ & $-1.633576e+01$ & $-4.010074e-01$\\ \hline
744: $6$ & $-1.172498e-08$ & $-1.196474e+00$ & $-1.625593e+01$ & $-3.629566e-01$\\ \hline
745: $7$ & $6.875924e-10$ & $-1.517736e+00$ & $-1.618961e+01$ & $-3.302487e-01$\\ \hline
746: $8$ & $-4.063656e-11$ & $-1.891849e+00$ & $-1.613562e+01$ & $-3.027929e-01$ \\ \hline
747: $9$ & $2.412112e-12$ & $-2.252064e+00$ & $-1.608829e+01$ & $-2.783980e-01$\\ \hline
748: $10$ & $-1.440718e-13$ & $-2.665776e+00$ & $-1.604892e+01$ & $-2.576894e-01$\\ \hline
749: \end{tabular}
750: \caption{\label{tab} Numerical values for the power-law model with different exponents $n$. We report the scale $f_0$ which yields
751: $\Omega^0_m = 0.3$. For even $n$ this number must be negative. The following three columns then give the effective equation of the state and the values
752: of the two fields evaluated today.
753: }
754: \end{table}
755:
756: \begin{figure}
757: \begin{center}
758: \includegraphics[width=0.45\textwidth]{appro.eps}
759: \includegraphics[width=0.45\textwidth]{approe.eps}
760: \caption{\label{appro} Evolution of the scalar fields and comparison with the analytic approximations.
761: The left panel is the power-law model with $n=3$ (row 3 in Table \ref{tab}) and the right panel is the exponential
762: model with $\alpha=-0.5$.
763: The lower solid (blue)
764: line is the numerical solution for $\phi$ (divided by ten to fit into figure), and the dashed (black) line is the approximation (\ref{ini1}). The
765: upper solid (cyan) line is the numerical solution for $\Psi$, and the dashed (red) line the approximation (\ref{appro2}). We note that even
766: after the universe has begun to accelerate, the matter-dominated solutions for the fields remain reasonable approximations.
767: }
768: \end{center}
769: \end{figure}
770:
771: \begin{figure}
772: \begin{center}
773: \includegraphics[width=0.45\textwidth]{eospkor.eps}
774: \includegraphics[width=0.45\textwidth]{eosekor.eps}
775: \caption{\label{eos_no}
776: The cosmological evolution leading to (nonaccelerating) effects from nonlocal corrections.
777: \newline
778: Left panel:
779: The power-law model with $\alpha=6.0$ and $f_0=10^{-6}$.
780: The solid (magenta) line is $\Omega_m/(1+\Psi)$, and the dashed (red) line is the $w_{eff}$.
781: One notes that the effect of $f$ slowly decays and the universe asymptotically
782: returns to the standard Einstein-de Sitter stage.
783: For curiosity, we plot also the evolution in the Einstein frame.
784: The dotted (black) line is $\tilde{\Omega}_m$, and the dash-dotted (blue) line is the $\tilde{w}_{eff}$, and
785: These are understood as functions of the logarithm of the Einstein frame scale factor $\tilde{a}$.
786: %In this frame $\tilde{\Omega}_m$ becomes negligible, but the expansion is asymptotically identical tothe dust dominated universe.
787: \newline
788: Right panel:
789: The exponential model with $\alpha=-1.0$ and $\hat{f}_0=10^{-6}$.
790: The solid (magenta) line is $\Omega_m/(1+\Psi)$, and the dashed (red) line is the $w_{eff}$.
791: This is a scaling solution where we may consistently have $\Omega_m/(1+\Psi)>1$ because there can be negative
792: effective energy sources. Here $w_{eff}$ settles to the value given by (\ref{scaling}).
793: The evolution is plotted also in the Einstein frame.
794: The dotted (black) line is $\tilde{\Omega}_m$, and the dash-dotted (blue) line is the $\tilde{w}_{eff}$, and
795: these are understood as functions of the logarithm of the Einstein frame scale factor $\tilde{a}$.
796: In both frames we find asymptotic expansion with a nonzero constant effective equation state for the exponential model.}
797: \end{center}
798: \end{figure}
799:
800: \begin{figure}
801: \begin{center}
802: \includegraphics[width=0.45\textwidth]{eosn.eps}
803: \includegraphics[width=0.45\textwidth]{eos_e.eps}
804: \caption{\label{eosn}
805: The cosmological evolution leading to the acceleration and singularity in various cases.
806: \newline
807: Left panel:
808: The power-law model with $n=3$ and $n=6$ (rows 3 and 6 in Table \ref{tab}).
809: The solid (magenta) line is $\Omega_m$, and the dashed (red) line is the $w_{eff}$ for $n=3$.
810: The dotted (black) line is $\Omega_m$, and the dash-dotted (blue) line is the $w_{eff}$ for $n=6$.
811: The onset of acceleration leads to a singularity in the effective equation of state. The evolution
812: is steeper for larger $n$. With smaller $n$, the relative amount of matter $\Omega_m$, begins to decrease earlier
813: and $w_{eff}$ drops later to minus infinity.
814: \newline
815: Right panel:
816: The exponential model with $\alpha=-0.1$ and $\alpha=-0.5$.
817: The solid (magenta) line is $\Omega_m$, and the dashed (red) line is the $w_{eff}$ for $\alpha=0.1$.
818: The dotted (black) line is $\Omega_m$, and the dash-dotted (blue) line is the $w_{eff}$ for $\alpha=0.5$.
819: The onset of acceleration leads to a singularity in the effective equation of state. The evolution
820: gets steeper for more negative $\alpha$. To set $\Omega_m=0.3$ today fixes $f_0= -0.296$ for $\alpha=-0.1$
821: and $f_0=-0.140$ for $\alpha=-0.5$.}
822: \end{center}
823: \end{figure}
824:
825:
826: \section{Conclusions}
827: \label{conclu}
828:
829: We studied the dynamical evolution of cosmological expansion in a class of nonlocal gravity models extending general relativity
830: by the addition of terms of the type $f(R/\Box)$, which are motivated by quantum corrections to the gravity action.
831: The corrected action was rewritten as a multi-scalar-tensor theory, where several aspects of the theory such as
832: its physical degrees of freedom, become more transparent. We also considered Weyl rescaling, but since the Einstein frame
833: of these theories was not practical we performed our main analysis in the physical Jordan frame. The main result of this
834: paper is the first explicit demonstration that these models can explain the present acceleration of the universe with
835: simple forms of $f(R/\Box)$ involving only Planck scale constants.
836:
837: In particular, power-law models and exponential models were used as examples. Schematically, we may summarize the different possibilities of
838: cosmological evolution in the exponential model as follows:
839: \begin{displaymath}
840: \xymatrix{
841: f=f_0e^{\alpha\phi} \ar[r]^{\alpha<0} \ar[d]_{\alpha>0} & \text{Nonlocal effect} \ar[d]_{f_0>0} \ar[dr]^{f_0<0} & & \\
842: \text{Matter domination} & \text{Scaling, Eq.(\ref{scaling})} & \text{Acceleration} \ar[r] & \text{Singularity}
843: }
844: \end{displaymath}
845: Note that in the case $\alpha>0$ one may have effects in the early universe.
846: The power-law model features analogous possibilities. Now however the scaling is not exact, but the significance of the nonlocal
847: correction decays and leads back to the usual Einstein - de Sitter stage. Schematically, we summarize this as:
848: \begin{displaymath}
849: \xymatrix{
850: f=f_0\phi^n \ar[r]^{n>0} \ar[d]_{n<0} & \text{Nonlocal effect} \ar[d]_{(-1)^{n}f_0>0} \ar[dr]^{(-1)^{n}f_0<0} & & \\
851: \text{Matter domination} & \text{Slows down expansion} \ar[l] & \text{Acceleration} \ar[r] & \text{Singularity}
852: }
853: \end{displaymath}
854: Again, though this was not in the focus of the present study, $n<0$ may lead to a decaying effect which, with large enough scale $f_0$, can influence
855: the evolution of the early universe.
856: Let us note that in both of the above cases, the conditions for acceleration to occur at late times imply $f'(\phi)>0$. According to
857: Eq.(\ref{set_phi}), this is precisely the condition for the field $\phi$ not to be a ghost. The consistency condition for the other field,
858: $\Psi>-1$, ensuring the positivity of the graviton energy, is satisfied by all of the models we have considered.
859:
860: We sketched also a reconstruction method and applied it to find scaling solutions including matter and vacuum solutions with constant $w_{eff}$.
861: These vacuum solutions have been found previously and shown to feature a possible de Sitter expansion \cite{Nojiri:2007uq} or effective dark
862: energy with a range of equations of state extending to phantom regime \cite{Jhingan:2008ym}. We confirmed and generalized these solutions, and
863: noted that by addition of matter they become unstable, and thus cannot be reached in realistic cosmology. This shows that a detailed analysis of
864: dynamics, without neglecting the effect of matter, is necessary in assessment of the cosmological relevance of these models. One could draw some
865: analogy with previous findings about the cosmological evolution in the Gauss-Bonnet dark energy
866: \cite{Nojiri:2005vv}, or in the gravity models of the $f(R)$ type \cite{Carroll:2003wy}: though standard cosmological solutions
867: could be (approximately) recovered at higher curvature and accelerating solutions would exist in vacuum at low curvature, the conditions for
868: the cosmological dynamics to connect the first with the other may be very nontrivial \cite{Koivisto:2006xf,Amendola:2006we}. To address the
869: cosmological viability, it is also crucial to
870: investigate the perturbations, as in the two classes of models mentioned above \cite{Koivisto:2005yc,Koivisto:2006ai}; for the
871: present models this is left for future study. The form of the modifications is such that the impact to local gravity
872: experiments could be expected to be negligible, but this should be checked in detail as well.
873:
874: A rather dramatic prediction of these models is that the present acceleration is a manifestation of our universe plunging into
875: a sudden singularity.
876: Though it awaits in the future and thus does not affect our present observations, its presence
877: may be considered as an unpleasant property of the models signalling the need to choose more carefully the phenomenological
878: gravity action.
879: In our tentative example, we showed explicitly the disappearance of the singularity by shifting $\Box \rightarrow \Box +
880: \epsilon R$. Finally, it is worth mentioning that the particular form of nonlocalities studied here is a direct
881: generalization of an action previously considered in the quite different context of stabilizing the
882: Euclidean gravity \cite{Wetterich:1997bz}. It is interesting that one may constrain nonperturbative quantum corrections to gravity by their
883: cosmological effects at the present day, and that nonlocality may provide the required new physics to such seemingly detached major problems as the
884: black hole information paradox and the fine-tuning of the cosmological constant.
885:
886: %\section{Alternative variables}
887: %The dimensionless energy contributions, in some analogy with usual cosmological $\Omega$'s, may be written as
888: %\be
889: %\tilde{\Omega}_m = \frac{3\rho_m}{8\pi G H_0^2(1+\Psi)}, \quad
890: %\tilde{\Omega}_\phi = \frac{2f'(\phi)X^2}{3(1+\Psi)}, \quad
891: %\tilde{\Omega}_\Psi = \frac{(\frac{1}{3}X-1)\Psi^*}{1+\Psi}.
892: %\ee
893: %The Friedmann equation then reads
894: %\be
895: %1 = \tilde{\Omega}_m +
896: %\tilde{\Omega}_\phi +
897: %\tilde{\Omega}_\Psi
898: %\ee
899: %The dynamical system is then
900:
901: \bibliography{nl}
902:
903: \end{document}
904:
905: