Abstract
A \((n+1)\)-dimensional gravitational model with Gauss–Bonnet term and a cosmological constant term is considered. When ansatz with diagonal cosmological metrics is adopted, the solutions with an exponential dependence of the scale factors, \(a_i \sim \exp { ( v^i t) }\), \(i =1, \dots , n \), are analyzed for \(n > 3\). We study the stability of the solutions with non-static volume factor, i.e. if \(K(v) = \sum _{k = 1}^{n} v^k \ne 0\). We prove that under a certain restriction R imposed solutions with \(K(v) > 0\) are stable, while solutions with \(K(v) < 0\) are unstable. Certain examples of stable solutions are presented. We show that the solutions with \(v^1 = v^2 =v^3 = H > 0\) and zero variation of the effective gravitational constant are stable if the restriction R is obeyed.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
This paper is devoted to a D-dimensional gravitational model with the so-called Gauss–Bonnet term. It is governed by the action
where \(g = g_{MN} \mathrm{d}z^{M} \otimes \mathrm{d}z^{N}\) is the metric defined on the manifold M, \({\dim M} = D\), \(|g| = |\det (g_{MN})|\) and
is the quadratic “Gauss–Bonnet term” and \(\Lambda \) is the cosmological term. Here \(\alpha _1\) and \(\alpha _2\) are non-zero constants. The appearance of the Gauss–Bonnet term was motivated by string theory [1–3].
At present, the so-called Einstein–Gauss–Bonnet (EGB) gravitational model which is governed by the action (1.1) and its modifications are intensively used in cosmology; see [4–23] and references therein, e.g. for explanation of accelerating expansion of the Universe following from supernovae (type Ia) observational data [24–26].
Here we consider the cosmological solutions with diagonal metrics governed by n scale factors depending upon one variable, where \(n > 3\); \(D = n + 1\). We study the stability of solutions with an exponential dependence of the scale factors with respect to the synchronous time variable t,
\(i = 1, \dots , n\). In our analysis we restrict ourselves to a class of perturbations which depend on t and do not touch the diagonal form of the metric.
For possible physical applications solutions describing an exponential isotropic expansion of 3-dimensional flat factor-space, i.e. with
and small enough variation of the effective gravitational constant G are of interest. We recall that G (for 4d metric in Jordan frame; see Remark 4 in Sect. 4) is proportional to the inverse volume scale factor of the internal space; see [27–29] and the references therein. Due to experimental data, the variation of G is allowed at the level of \(10^{-13}\) per year and less. The most stringent limitation on G-dot (coming from the set of ephemerides) was obtained in Ref. [30],
allowed at 95 % confidence (\(2{\sigma }\)).
Here we reduce the set of cosmological equations to the (mixed) set of algebraic and differential equations
where \(h = h(t) = (h^i(t) = \dot{a}_i(t)/ a_i(t))\) is the set of so-called “Hubble-like” parameters, corresponding to scale factors \(a_i(t)\); \(f_0(h)\) and \(f_i(\dot{h},h)\) are polynomials of the fourth order in \(h^i\); \(f_i(\dot{h},h)\) are polynomials of the first order in \(\dot{h}^i\). The fixed point solutions \(h^i(t) = v^i\) (\(i = 1, \dots , n\)) correspond to exponential solutions of (1.3). They obey a set of \(n+1\) polynomial equations of the fourth order. We analyze the stability of the fixed point solutions by imposing the following restriction:
which guarantees the local resolution of Eq. (1.7) in the vicinity of the point \((\mathbf{0}, v) \in {\mathbb R} ^{2n}\): \( \dot{h}^i = \varphi ^i(h)\) with \(\varphi ^i(v) = 0\), \(i = 1, \dots , n\). Here \(\mathbf{0} = (0, \dots , 0) \in {\mathbb R} ^{n}\).
We also impose another restriction on v:
which means that the solutions with constant volume scale factor are not considered here. We note that a solution with \(\sum _{k = 1}^{n} v^k = 0\) obeying (1.4) gives an enormously big value of the variation of G: \(\dot{G}/G = 3 H\), where H is the Hubble parameter; see Remark 5 in Sect. 4 below. This value of G-dot contradicts the observational restrictions, e.g. (1.5). We recall that the present value of H is \((6.929 \pm 0.157) \cdot 10^{-11} \ \mathrm{year}^{-1}\) [31] (with 95 % confidence level).
The main result of the paper is the following one: fixed point solutions \(h(t) = v\) to Eqs. (1.6) and (1.7), which obey restrictions (1.8) and (1.9), are stable if and only if \(\sum _{k = 1}^{n} v^k > 0\). This result is in agreement with the approach of Pavluchenko from Ref. [22]; see Remark 2 in Sect. 3 below.
The paper is organized as follows. In Sect. 2 the equations of motion for a D-dimensional EGB model are considered. For diagonal cosmological metrics the equations of motion are equivalent to a set of Lagrange equations corresponding to a certain “effective” Lagrangian. The Lagrange equations for a certain choice of the lapse function (corresponding to the synchronous time variable) are reduced to the set of equations (1.6) and (1.7). Section 3 is devoted to an analysis of the stability of the exponential solutions with constant Hubble-like parameters: here a set of equations for perturbations \(\delta h^i(t)\) (obtained in linear approximation) is studied and a general solution to these equations is found. The main proposition on the stability of the exponential solutions (Proposition 2) is proved. In Sect. 4 some examples of stable cosmological solutions with exponential behavior of the scale factors are presented.
2 The model
2.1 The set-up
Here we consider the manifold
with the metric
where \(i = 1, \dots , n\); \(M_1, \ldots , M_n\) are 1-dimensional manifolds (either \( {\mathbb R} \) or \(S^1\)) and \(n > 3\). The functions \({\gamma }(t)\) and \(\beta ^i(t)\), \(i = 1,\ldots , n\), are smooth on \((t_{-},t_{+})\).
For physical applications we put \(M_1 =M_2 = M_3 = {\mathbb R} \), while \(M_4, \ldots , M_n\) may be considered to be compact ones (i.e. coinciding with \(S^1\)).
The integrand in (1.1), when the metric (2.2) is substituted, reads as follows:
where
\(\gamma _0 = \sum _{i =1}^{n} \beta ^i\) and
are, respectively, the components of two metrics on \( {\mathbb R} ^{n}\) [15, 16]. The first one is the “minisupermetric” – 2-metric of pseudo-Euclidean signature and the second one is the Finslerian 4-metric [15, 16]. Here we denote \(\dot{A} = \mathrm{d}A/\mathrm{d}t\) etc. The function f(t) in (2.3) is irrelevant for our consideration (see [15, 16]).
In the derivation of (2.4) the following identities [15, 16] were used:
Here and in the following \(S_k = S_k(v) = \sum _{i =1}^n (v^i)^k\).
The definitions (2.5) and (2.6) imply
The equations of motion corresponding to the action (1.1) have the following form:
where
It may be shown (along lines as in [16] for the case \(\Lambda = 0\)) that the field equations (2.11) for the metric (2.2) are equivalent to the Lagrange equations corresponding to the Lagrangian L from (2.4).
Thus, Eqs. (2.11) read as follows:
\(i = 1,\ldots , n\); and L is defined in (2.4).
Now we put \(\gamma = 0\). By introducing “Hubble-like” variables \(h^i = \dot{\beta }^i\), Eqs. (2.14) and (2.15) may be rewritten as follows:
where \(\alpha = \alpha _1/\alpha _2\),
and
\(i = 1,\ldots , n\). Thus, we are led to the autonomous system of first-order differential equations on \(h^1(t), \ldots , h^n(t)\) (see [15, 16] for \(\Lambda = 0\)).
Due to (2.16) we have
In the following we will use instead of (2.16), (2.17) an equivalent set of equations: (2.16) and
We note that the following identity is valid:
\(i = 1,\ldots , n\).
Equations (2.16) and (2.21) are dependent, since
This identity may be proved by using two relations:
following from (2.16) and (2.19).
2.2 Useful relations
In the following we use the definitions
For the isotropic case
we get
\(i = 1,\ldots , n\).
Here we deal with the ansatz which contains two Hubble parameters,
where H appears m times and h appears l times, \(n = m + l\). In the following we adopt the following for the indices: \(\mu , \nu , \ldots = 1, \ldots , m\); \(\alpha , \beta , \dots = m + 1, \ldots , n\). Thus, \(v^{\mu } = H\) and \(v^{\alpha } = h\).
We obtain
and
We also denote
We note that \(S_{ij} = S_{ji}\) and \(S_{ii} = 0\). For the isotropic case (2.27) we obtain
For the ansatz (2.29) we obtain
Here we denote \(S_{\mu \nu } = S_{HH}\) for \(\mu \ne \nu \); \(S_{\mu \alpha } = S_{\alpha \mu } = S_{Hh}\); \(S_{\alpha \beta } = S_{hh}\) for \(\alpha \ne \beta \).
2.3 Polynomial equations for solutions with constant \(h^i\)
Let us consider the following solutions to Eqs. (2.16) and (2.21):
with constant \(v^i\), which corresponds to the solutions
where \(\beta ^i_0\) are constants, \(i = 1,\ldots , n\).
In this case we obtain the metric (2.2) with the exponential dependence of the scale factors
where the \(B_i > 0\) are arbitrary constants.
For the fixed point \(v = (v^i)\) we have the set of polynomial equations
where \(L_i\) is defined in (2.19), \(i = 1,\ldots , n\). For \(n > 3\) this is the set of fourth-order polynomial equations.
Here and in the following we use Eqs. (2.7), (2.8), and the following formulas:
\(i = 1,\ldots , n\) (\(S_k = \sum _{i =1}^n (v^i)^k\)).
Proposition 1
For any solution \(v = (v^1,\dots ,v^n)\) to the polynomial equations (2.41), (2.42) with \(n > 3\) there are no more than three different numbers among \(v^1,\ldots ,v^n\), if \(\sum _{i=1}^n v^i \ne 0\).
Proof
Let us suppose that there exists a non-trivial solution \(v = (v^1,\dots ,v^n)\) with more than three different numbers among \(v^1,\dots ,v^n\). Due to (2.44), (2.42), and \(\sum _{i=1}^n v^i \ne 0\) we get \(C_0 + C_1 v^i + C_2 (v^i)^2 + C_3(v^i)^3 = 0\), \(i = 1,\ldots , n\), with some real numbers \(C_0\), \(C_1\), \(C_2\), and \(C_3 \ne 0\). Let us consider the cubic equation \(C_0 + C_1 x + C_2 x^2 + C_3 x^3 = 0\). Any number \(v^i\) obeys this equation and hence at most three numbers among the \(v^i\) may be different. Thus, we are led to a contradiction. The proposition is proved. The case \(\Lambda = 0\) was considered earlier in [15, 16]. \(\square \)
Remark 1
In the pure Einstein case (\(\alpha = 0\)) with \(\Lambda > 0\) we get two exponential solutions with \(v^1 = \dots = v^n = H\) and \(n(n- 1) H^2 = 2 \Lambda > 0\); a solution with \(H > 0\) is an attractor for cosmological solutions with diagonal metrics, as \(t \rightarrow + \infty \), see [32, 33] (for \(\varphi = 0\)). Thus in this case (\(\alpha = 0\)) we have an isotropization for \(t \rightarrow + \infty \), while for \(t \rightarrow + 0\) we have a Kasner-like behavior of scale factors near the singularity: \(a_i(t) \sim t^{p_i}\) with Kasner parameters \(p_1, \dots , p_n\) obeying \(\sum _{i =1}^{n} p_i = \sum _{i =1}^{n} p_i^2 = 1\). In the case of the EGB model with \(\Lambda \)-term we have for certain \(\Lambda \) and \(\alpha \) isotropic exponential solutions with \(v^1 = \dots = v^n = H\) (see Sect. 4 below), but we also may have partially anisotropic (PA) solutions, which obey \(\sum _{i =1}^{n} v^i \ne 0\), with \(v = (H,\dots , H, h,\dots ,h)\) or \(v = (H,\dots , H, h,\dots ,h, z,\dots ,z)\), and also solutions with \(\sum _{i =1}^{n} v^i = 0\) may occur. For \(\sum _{i =1}^{n} v^i = 0\) (and certain \(\Lambda \) and \(\alpha \)) one may obtain examples of totally anisotropic exponential solutions with non-coinciding parameters among \(v^1, \dots , v^n\). Some of the exponential PA solutions are stable (see below) and they are attractors of certain subclasses of general solutions. The appearance of three (or less) independent scale factors in the model under consideration is a feature of exponential (e.g. attractor) solutions, when the restriction \(\sum _{i =1}^{n} v^i \ne 0\) is imposed. We also note that the metric (2.40) may be analyzed on symmetries (apparent or hidden) by using the results of Ref. [34], i.e. Killing vectors, isometry group, coset structure G / H etc., may be presented. Proposition 2 may also be generalized to the Lovelock case [35], which may be a subject of a separate publication.
Now let us consider the ansatz (2.29) with two Hubble parameters H and h with two restrictions imposed,
In this case the set of \(n+1\) equations (2.16), (2.17) is equivalent to the set of three equations
where \(Y_{H} = Y_{\mu }\), \(Y_{h} = Y_{\alpha }\) (\(\mu = 1, \dots , m\), \(\alpha = m + 1, \dots , n\)).
Due to (2.44) we have
and hence, by using (2.19), (2.43), we obtain
where
For \(m > 1\) and \(l > 1\) the quadratic form has the signature \((-,+)\). Due to \(m H + lh \ne 0\) the set of equations (2.46) is equivalent to another set of equations
According to (2.23) \(E = 0\) implies \( h^i Y_i = m H Y_H + l h Y_h = 0 \) and hence the third equation in (2.50) may be omitted. Using the restrictions (2.45), Eqs. (2.30) and (2.48), we reduce the set of equations (2.50) to the following set of equations:
where Q(H, h) is defined in (2.49).Footnote 1 Thus, for the anisotropic solutions with two different Hubble parameters H and h and non-static volume factor (see (2.29) and (2.45)) the set \((n+1)\) polynomial equations of fourth order (2.41) and (2.42) is equivalent to the set of the two equations (2.51) and (2.52) of fourth and second order, respectively.
3 Stability of fixed point solutions \(h^i(t) = v^i\)
Here we study the stability of static solutions \(h^i(t) = v^i\) to Eqs. (2.16) and (2.17) in a linear approximation in the perturbations. We put
\(i = 1,\ldots , n\). By substitution of (3.1) into Eqs. (2.16) and (2.17) we obtain in linear approximation the following relations for the perturbations \(\delta h^i\):
where
We recall that \(v_i = G_{ij} v^j\), \(L_i(v) = 2 v_{i} - \frac{4}{3} \alpha G_{ijks} v^j v^k v^s\) and \(i,j,k,s = 1, \dots , n\).
We put the following restriction on the matrix \(L =(L_{ij}(v))\)
i.e. the matrix L should be invertible.
Here we restrict ourselves to exponential solutions (2.40) with non-static volume factor, proportional to \(\exp (\sum _{i = 1}^{n} v^i t)\), i.e. we put
Then we get from Eq. (2.42)
Due to definition (2.19) we have
and hence
We rewrite Eq. (3.6) as
Due to \(L_i(v) = L_1\) and (3.2) we get
Hence Eq. (3.3) reads
or, equivalently,
\(i = 1, \dots , n\). Here we used the restriction (3.7).
Thus, the set of linear equations on perturbations (3.2), (3.3) is equivalent to the set of linear equations (3.2), (3.15), which has the following solution:
\(i = 1, \dots , n\). We recall that \(K(v) = \sum _{k = 1}^{n} v^k\).
Due to (3.16) the following proposition is valid.
Proposition 2
The fixed point solution \((h^i(t)) = (v^i)\) (\(i = 1, \dots , n\); \(n >3\)) to Eqs. (2.16), (2.17) obeying the restrictions (3.7), (3.8) is stable under perturbations (3.1) (as \(t \rightarrow + \infty \)) if \(K(v) = \sum _{k = 1}^{n} v^k > 0\) and it is unstable (as \(t \rightarrow + \infty \)) if \(K(v) = \sum _{k = 1}^{n} v^k < 0\).
It follows from (2.34) that in the isotropic case the matrix (3.5) reads
Since the matrix \((G_{ij}) = (\delta _{ij} - 1)\) is invertible (or non-degenerate) for \(n > 1\) (its inverse is \((G^{ij}) = (\delta ^{ij} - \frac{1}{n-1})\)), the matrix \((L_{ij})\) is invertible if and only if \(\varphi (H) \ne 0\).
Now let us consider the matrix (3.5) for the anisotropic case (2.29) with the two Hubble parameters obeying (2.45).
For the ansatz (2.29) we obtain
Here \(S_{HH}\), \(S_{Hh}\) and \(S_{hh}\) are defined in (2.35), (2.36), and (2.37), respectively. But here we have a remarkable coincidence (see (2.49)):
which implies \(L_{\mu \alpha } = L_{\alpha \mu } = 0\) due to Eq. (2.52). Thus under the assumed restrictions (2.45) the matrix \((L_{ij})\) has a block-diagonal form
This matrix is invertible if and only if \(m > 1\), \(l > 1\), and
We recall that the \(m \times m\) matrix \((G_{\mu \nu })\) and \(l \times l\) matrix \((G_{\alpha \beta })\) are invertible only for \(m > 1\) and \(l > 1\), respectively.
Remark 2
Recently, in Ref. [22] a criterion for the stability of fixed point solutions in the model under consideration (and its extension to the Lovelock case) was used. In our notations (see Sect. 1) it reads
\(i = 1, \dots , n\). It can readily be verified that for generic functions \(f_0, f_i\) in Eqs. (1.6), (1.7) the criterion (3.25) is not a necessary and/or a sufficient condition for the stability of the fixed point solutions. Fortunately, for a special choice of functions, e.g. for \(f_0(h) = E(h)\), \(f_i(\dot{h}, h) = Y_i(\dot{h}, h) + \frac{1}{3} E(h ) = U_i(\dot{h}, h) \) (see (2.22) and (3.13)), it gives a correct result since in this case
\(i = 1, \dots , n\). Equation (3.26) is also valid for \(f_i(\dot{h}, h) = \lambda U_i(\dot{h}, h)\) with \(\lambda \ne 0\), e.g. for the choice \(\lambda = -1\) used in [22]. We also note that in our notations \(2\Lambda = \Lambda _P\), where \(\Lambda _P\) is the \(\Lambda \)-term from Ref. [22].
4 Examples
Here we consider several examples of exponential solutions and analyze their stability.
4.1 Isotropic solution
Let us consider the isotropic solution \(v \,{=}\, (v^i) \,{=}\, (H,\ldots ,H)\) to Eqs. (2.41), (2.42) for \(n > 3\). Due to \(G_{ij}v^i v^j = n(1-n) H^2\) and (2.28), Eq. (2.41) reads as follows:
Equation (2.42) is also equivalent to (4.1) due to the relation
\(i = 1, \dots , n\), which follows from (2.19), (2.28), and (2.43).
Let \(\Lambda = 0\). The trivial solution \(H =0\) is valid for any \(\alpha \). This is the unique solution for \(\alpha > 0\). For \(\alpha < 0\) we have two non-trivial solutions [15, 16] with
This solution was generalized in [19] to the case \(\Lambda \ne 0\).
Let us consider the case of generic \(\Lambda \) in detail. First, we put \(\alpha > 0\). Then a solution to Eq. (4.1) does exist if and only if \(\Lambda \ge 0\). For \(\Lambda = 0\) we get \(H = 0\), while for \(\Lambda > 0\) we have two non-zero solutions for H with \(H^2 > 0\):
where
Now we put \(\alpha < 0\). A solution to Eq. (4.1) exists only if \(\Lambda \le \Lambda _{cr}\), where
is the maximum value of the function \(F(H^2)\) from (4.1). For \(0< \Lambda < \Lambda _{cr}\) (and \(\alpha < 0\)) we have two solutions for \(H^2\) (or four solutions for H), which are given by the relation
For \(\Lambda = \Lambda _{cr}\) and \(\alpha < 0\) we get one solution for \(H^2\) (or two solutions for H):
The case \(\Lambda = 0\) (and \(\alpha < 0\)) was mentioned above (two solutions for \(H^2\), or three for H). For \(\Lambda < 0\) (and \(\alpha < 0\)) we obtain one solution for \(H^2\) (or two solutions for H):
Due to (3.18) the matrix \((L_{ij})\) is invertible for all solutions but \(H = H_{cr}\) from (4.8) for \(\alpha < 0\), since only in this case \(\varphi (H) = 0\). The relation \(H = H_{cr}\) takes place only for \(\Lambda = \Lambda _{cr}\) and \(\alpha < 0\) and hence this case will be excluded from our analysis. Since \(K(v) = n H\), the trivial solution \(H=0\) for \(\Lambda =0\) should also be excluded from our consideration. It follows from Proposition 2 that all isotropic solutions \(v = (v^i) = (H,\ldots ,H)\) obeying \(H > 0\) and \(H \ne H_{cr}\) for \(\alpha < 0\) are stable while all isotropic solutions obeying \(H < 0\) and \(H \ne H_{cr}\) for \(\alpha < 0\) are unstable.
Using (2.28), (2.43), and (3.4) we obtain \(C_i(v) = - (n-1)H \varphi (H) \ne 0\), \(i = 1, \dots , n\), for \(H \ne 0\) and \(H \ne H_{cr}\) for \(\alpha < 0\). Under these restrictions on H, the solution for perturbations (3.16), (3.17) reads as follows:
\(i = 1, \dots , n\). Equation (4.10) was obtained earlier in [22].
4.2 Anisotropic solutions with two Hubble parameters
In this subsection we consider several examples of anisotropic solutions to Eqs. (2.41), (2.42) of the form \(v =(H, \ldots , H, h, \ldots , h)\), where H is the Hubble-like parameter corresponding to the m-dimensional isotropic subspace with \(m \ge 3\) and h is the Hubble-like parameter corresponding to the l-dimensional isotropic subspace with \(l>1\). Here we put \(H > 0\).
4.2.1 Solution for \(m = 3\), \(l = 2\), and \(\Lambda = 0\).
Let us consider the case \(m = 3\), \(l = 2\), \(\Lambda = 0\). We have the following solution to the set of polynomial equations (2.51), (2.52) with \(H > 0\):
In the approximate form this solution was found earlier in [17], in analytic form (different from (4.12), (4.13)) it was obtained in [19].
Using (2.35) and (2.37) we get
Equations (3.24) are valid and hence the first restriction (3.7) is satisfied. The second restriction (3.8) is also satisfied since \(K(v) = 3 H + 2 h > 0\). Thus, due to Proposition 2, the solution is stable, in agreement with [22].
4.2.2 Solution for \(m = l = 3\) and \(\Lambda = 0\)
Now we consider solutions with \(m = 3\), \(l = 3\), and \(\Lambda = 0\). There are two solutions to Eqs. (2.51), (2.52) with \(H > 0\):
and
For the first solution we get
while for the second one we obtain
In both cases Eqs. (3.24) are satisfied and hence the first restriction (3.7) is valid. The second restriction (3.8) is also valid for any of these solutions since \(K(v_1) = 3 H_1 + 3 h_1 = - \frac{3}{2} \alpha ^{-1/2} < 0\) and \(K(v_2) = 3 H_2 + 3 h_2 = \frac{3}{2} \alpha ^{-1/2} > 0\). According to Proposition 2 the first solution (4.15) is unstable, while the second one (4.16) is stable.
4.2.3 Solution for \(m=11\), \(l=16\) and \(\Lambda = 0\)
For \(\Lambda = 0\) the solution (2.40) with \(v=(v^i)\) from (2.29), \(m=11\), \(l=16\), and
was found in [21]. This solution describes the zero variation of the effective cosmological constant G.
The calculations give us
Due to (3.24) the symmetric matrix \((L_{ij})\), which has a block-diagonal form, is invertible, i.e. the condition (3.7) is satisfied.
Using (3.9) and (3.11) we find \((C_i) = (C_{\mu } = 12 H, C_{\alpha } = 18H)\). From (3.16) we get the following solution for perturbations:
where \(H= \frac{1}{ \sqrt{15 \alpha }}\), \(i = 1, \dots , 27\). Thus, the solution (4.19) is stable, as \(t \rightarrow + \infty \).
4.2.4 Solution for \(m=15\), \(l=6\), and \(\Lambda = 0\)
Now we consider another exponential solution (2.40) from [21] with \(v=(v^i)\) from (2.29), \(m=15\), \(l=6\), \(\Lambda = 0\), and
We get
According to (3.24) the symmetric block-diagonal matrix \((L_{ij})\) is non-degenerate.
By using (3.9) and (3.11) we get \((C_i) = (C_{\mu } = \frac{14}{3} \alpha ^{-1/2}, C_{\alpha } = \frac{20}{3} \alpha ^{-1/2})\). Due to (3.16) the solution for perturbations reads
\(i = 1, \dots , 21\). Hence, the solution (4.23) is stable as \(t \rightarrow + \infty \).
Remark 3
The stability of this solution as well as the previous one was also proved in Ref. [23] by using rather tedious calculations based on Eqs. (3.3) and (3.6) without using the identity (3.13).
4.2.5 Solutions with \(m \ge 3\), \(l > 1\) and certain \(\Lambda > 0\)
Here we consider the following solution to Eqs. (2.51), (2.52) for \(m > 2\), \(l > 1\) and \(\alpha < 0\):
which is valid for
and
which implies the fulfilment of the restriction (3.7) (here \(m >2\) and \(l > 1\)). Since \(K(v) = m H\) we see from Proposition 2 that the cosmological solution (2.40) with H, h from (4.27) is stable for \(H > 0\) and unstable for \(H < 0\).
4.3 A subclass of solutions with zero variation of G
The 4d effective gravitational constant is proportional to the inverse volume scale factor of the internal space (see [27–29]), i.e.
where \(a_i(t) = \exp (\beta ^i(t))\).
Remark 4
Here \(G = G_\mathrm{eff}^{J}(t)\) is the 4-dimensional effective gravitational constant which appears in (the multi-dimensional analog of) the so-called Brans–Dicke–Jordan (or simply Jordan) frame [36]. In this case the physical 4-dimensional metric \(g^{(4)}\) is defined as a 4-dimensional section of the multi-dimensional metric g, i.e. \(g^{(4)} = g^{(4,J)}\), where \(g = g^{(4,J)} + \sum _{i=4}^{n} a^{2}_i (t) dy^i \otimes dy^i\). When the Einstein–Pauli (or simply Einstein) frame is used, we put \(g^{(4)} = g^{(4,E)} = (\prod _{i=4}^{n} a_i (t)) g^{(4,J)}\) [36, 37] and hence we get the effective gravitational constant to be an exact constant: \(G_\mathrm{eff}^{E} = G_\mathrm{eff}^{J}(t) \prod _{i=4}^{n} a_i(t) = \mathrm{const} \) [36].
For the solutions (2.40) we obtain the following relations:
which imply
Now, let us consider a subclass of cosmological solutions (2.40) which obey restriction (3.7) and describe an exponential isotropic expansion of a 3-dimensional flat factor-space with \(v^1 = v^2 =v^3 = H >0\) with zero variation of G. Then we get from (4.33) \(K_\mathrm{int}(v) = 0\) and hence \(K(v) = \sum _{i=1}^{n} v^i = 3H + K_\mathrm{int}(v) = 3H > 0\). According to Proposition 2 any solution from this subclass is stable. Three solutions from the previous subsection: (4.19), (4.23), and (4.27) with \(m =3\) (and \(l > 1\)) belong to this subclass.
Remark 5
It should be noted that for \(K(v) = 0\) and \(v^1 = v^2 =v^3 = H >0\) we obtain \(K_\mathrm{int}(v) = - 3H\) and hence \(\frac{\dot{G}}{G} = 3H > 0\).
5 Conclusions
We have considered the \((n+1)\)-dimensional Einstein–Gauss–Bonnet (EGB) model with the \(\Lambda \)-term. By using the ansatz with diagonal cosmological metrics, we have studied the stability of solutions with exponential dependence of the scale factors \(a_i \sim \exp { ( v^i t) }\), \(i =1, \dots , n \), with respect to the synchronous time variable t in dimensions \(D > 4\).
The problem was reduced to the analysis of the stability of the fixed point solutions \(h^i(t) = v^i\) to Eqs. (2.16) and (2.21), where \(h^i(t)\) are Hubble-like parameters.
In this paper a set of equations for perturbations \(\delta h^i\) was considered (in linear approximation) and the general solution to these equations was found. We have proved (in Proposition 2) that the solutions with non-static volume factor, i.e. with \(K(v) = \sum _{k = 1}^{n} v^k \ne 0\), which obey restriction (3.7), are stable if \(K(v) > 0\), while they are unstable if \(K(v) < 0\).
We have also proved (in Proposition 1) that for any exponential solution with \(v = (v^1,\ldots ,v^n)\) there are no more than three different numbers among \(v^1,\ldots ,v^n\), if \(\sum _{i=1}^n v^i \ne 0\).
Here we have presented several examples of stable cosmological solutions with exponential behavior of the scale factors. Among them the isotropic solution \(v =(H, \ldots , H)\) and several anisotropic solutions with two Hubble parameters \(v =(H, \ldots , H, h, \ldots , h)\) were considered. The isotropic solution is stable if \(H > 0\) and \(H \ne H_{cr}\) for \(\alpha < 0\) (see (4.8)). For the anisotropic case our examples deal with the Hubble-like parameter \(H > 0\) corresponding to m-dimensional flat subspace with \(m \ge 3\) and the Hubble-like parameter h corresponding to l-dimensional flat subspace with \(l > 1\). This subclass of (anisotropic) solutions contains the following cases: (i) \(m = 3\), \(l = 2\), \(\Lambda = 0\); (ii) \(m = l = 3\), \(\Lambda = 0\); (iii) \(m=11\), \(l=16\), \(\Lambda = 0\); (iv) \(m=15\), \(l=6\), \(\Lambda = 0\); (v) \(m \ge 3\), \(l > 1\), \(\Lambda > 0\). We have also shown that general solutions with \(v^1 = v^2 =v^3 = H > 0\) and zero variation of the effective gravitational constant are stable if the restriction (3.7) is obeyed.
Notes
For the general reduction scheme see [20].
References
B. Zwiebach, Curvature squared terms and string theories. Phys. Lett. B 156, 315 (1985)
D. Gross, E. Witten, Superstrings modifications of Einstein’s equations. Nucl. Phys. B 277, 1 (1986)
R.R. Metsaev, A.A. Tseytlin, Two loop beta function for the generalized bosonic sigma model. Phys. Lett. B 191, 354 (1987)
H. Ishihara, Cosmological solutions of the extended Einstein gravity with the Gauss-Bonnet term. Phys. Lett. B 179, 217 (1986)
N. Deruelle, On the approach to the cosmological singularity in quadratic theories of gravity: the Kasner regimes. Nucl. Phys. B 327, 253–266 (1989)
S. Nojiri, S.D. Odintsov, Introduction to modified gravity and gravitational alternative for Dark Energy. Int. J. Geom. Meth. Mod. Phys. 4, 115–146 (2007). arXiv:hep-th/0601213
G. Cognola, E. Elizalde, S. Nojiri, S.D. Odintsov, S. Zerbini, One-loop effective action for non-local modified Gauss-Bonnet gravity in de Sitter space. Eur. Phys. J. C 64(3), 483–494 (2009).arXiv:0905.0543
E. Elizalde, A.N. Makarenko, V.V. Obukhov, K.E. Osetrin, A.E. Filippov, Stationary vs. singular points in an accelerating FRW cosmology derived from six-dimensional Einstein-Gauss-Bonnet gravity. Phys. Lett. B 644, 1–6 (2007). arxiv:hep-th/0611213
K. Bamba, Z.-K. Guo, N. Ohta, Accelerating cosmologies in the Einstein-Gauss-Bonnet theory with dilaton. Prog. Theor. Phys. 118, 879–892 (2007). arXiv: 0707.4334
A. Toporensky, P. Tretyakov, Power-law anisotropic cosmological solution in 5+1 dimensional Gauss-Bonnet gravity. Grav. Cosmol. 13, 207–210 (2007). arXiv: 0705.1346
S.A. Pavluchenko, A.V. Toporensky, A note on differences between \((4+1)\)- and \((5+1)\)-dimensional anisotropic cosmology in the presence of the Gauss-Bonnet term. Mod. Phys. Lett. A 24, 513–521 (2009)
I.V. Kirnos, A.N. Makarenko, Accelerating cosmologies in Lovelock gravity with dilaton. Open Astron. J. 3, 37–48 (2010). arXiv: 0903.0083
S.A. Pavluchenko, On the general features of Bianchi-I cosmological models in Lovelock gravity. Phys. Rev. D 80, 107501 (2009). arXiv: 0906.0141
I.V. Kirnos, A.N. Makarenko, S.A. Pavluchenko, A.V. Toporensky, The nature of singularity in multidimensional anisotropic Gauss-Bonnet cosmology with a perfect fluid. Gen. Relativ. Gravit. 42, 2633–2641 (2010). arXiv: 0906.0140
V.D. Ivashchuk, On anisotropic Gauss-Bonnet cosmologies in (n + 1) dimensions, governed by an n-dimensional Finslerian 4-metric. Grav. Cosmol. 16(2), 118–125 (2010). arXiv: 0909.5462
V.D. Ivashchuk, On cosmological-type solutions in multidimensional model with Gauss-Bonnet term. Int. J. Geom. Meth. Mod. Phys. 7(5), 797–819 (2010). arXiv: 0910.3426
D.A. Ratanov, Multidimensional cosmology in the model of gravitation with Gauss-Bonnet adding, Magister dissertation (under the supervision of V.D. Ivashchuk), Inst. of Gravit. and Cosmol., RUDN, Moscow, pp. 1–30 (2011) (in Russian)
K.-I. Maeda, N. Ohta, Cosmic acceleration with a negative cosmological constant in higher dimensions. JHEP 1406, 095 (2014). arXiv:1404.0561
D. Chirkov, S. Pavluchenko, A. Toporensky, Exact exponential solutions in Einstein-Gauss-Bonnet flat anisotropic cosmology. Mod. Phys. Lett. A 29, 1450093 (11 pages) (2014). arXiv:1401.2962
D. Chirkov, S.A. Pavluchenko, A. Toporensky, Non-constant volume exponential solutions in higher-dimensional Lovelock cosmologies. Gen. Relativ. Gravit. 47, 137 (33 pages) (2015). arXiv: 1501.04360
V.D. Ivashchuk, A.A. Kobtsev, On exponential cosmological type solutions in the model with Gauss-Bonnet term and variation of gravitational constant. Eur. Phys. J. C 75, 177 (12 pages) (2015). arXiv:1503.00860
S.A. Pavluchenko, Stability analysis of exponential solutions in Lovelock cosmologies, Phys. Rev. D 92, 104017 (2015). arXiv: 1507.01871
K.K. Ernazarov, V.D. Ivashchuk, A.A. Kobtsev, On exponential solutions in the Einstein–Gauss–Bonnet cosmology, stability and variation of G. Grav. Cosmol. 22(3), 245–250 (2016)
A.G. Riess et al., Observational evidence from supernovae for an accelerating universe and a cosmological constant. Astron. J. 116, 1009–1038 (1998)
S. Perlmutter et al., Measurements of Omega and Lambda from 42 High-Redshift Supernovae. Astrophys. J. 517, 565–586 (1999)
M. Kowalski, D. Rubin et al., Improved cosmological constraints from new, old and combined supernova datasets. ApJ 686(2), 749–778. arXiv: 0804.4142
K.A. Bronnikov, V.D. Ivashchuk, V.N. Melnikov, Time variation of gravitational constant in multidimensional cosmology. Nuovo Cimento B 102, 209–215 (1998)
V.N. Melnikov, Models of G time variations in diverse dimensions. Front. Phys. China 4, 75–93 (2009)
V.D. Ivashchuk, V.N. Melnikov, On time variations of gravitational and Yang-Mills constants in a cosmological model of superstring origin. Grav. Cosmol. 20(1), 26–29 (2014). arxiv: 1401.5491
E.V. Pitjeva, Updated IAA RAS planetary ephemerides-EPM2011 and their use in scientific research. Astron. Vestnik 47(5), 419–435 (2013). arXiv: 1308.6416
P.A.R. Ade et al., [Planck Collaboration], Planck 2013 results. I. Overview of products and scientific results. Astron. Astrophys. 571, A1 (2014). arXiv: 1303.5076
V.D. Ivashchuk, V.N. Melnikov, Exact solutions in multidimensional cosmology with cosmological constant. Theor. Math. Phys. 98(2), 212–217 (1994)
U. Bleyer, V.D. Ivashchuk, V.N. Melnikov, A.I. Zhuk, Multidimensional classical and quantum wormholes in models with cosmological constant. Nucl. Phys. B 429, 177–204 (1994)
V.D. Ivashchuk, On symmetries of target space for \(\sigma \)-model of \(p\)-brane origin. Grav. Cosmol. 4(3), 217–220 (1998). arXiv:hep-th/9804102
D. Lowelock, The Einstein tensor and its generalizations. J. Math. Phys. 12(3), 498–501 (1971)
M. Rainer, A. Zhuk, Einstein and Brans-Dicke frames in multidimensional cosmology. Gen. Relativ. Gravit. 32, 79–104 (2000). arXiv:gr-qc/9808073
V.D. Ivashchuk, V.N. Melnikov, Multidimensional gravity with einstein internal spaces. Grav. Cosmol. 2(3), 211–220 (1996). arXiv:hep-th/9612054
Acknowledgments
This paper was funded by the Ministry of Education and Science of the Russian Federation in the Program to increase the competitiveness of Peoples’ Friendship University (RUDN University) among the world’s leading research and education centers in the 2016-2020 and by the Russian Foundation for Basic Research, grant Nr. 16-02-00602.
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
Ivashchuk, V.D. On stability of exponential cosmological solutions with non-static volume factor in the Einstein–Gauss–Bonnet model. Eur. Phys. J. C 76, 431 (2016). https://doi.org/10.1140/epjc/s10052-016-4284-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-016-4284-5