Next Article in Journal
Hydromagnetic Flow of Micropolar Nanofluid
Next Article in Special Issue
Fingerprints of the Cosmological Constant: Folds in the Profiles of the Axionic Dark Matter Distribution in a Dyon Exterior
Previous Article in Journal
Core Stability and Symmetry of Youth Female Volleyball Players: A Pilot Study on Anthropometric and Physiological Correlates
Previous Article in Special Issue
Modifications of Gravity Via Differential Transformations of Field Variables
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Exponential Cosmological Solutions with Three Different Hubble-Like Parameters in (1 + 3 + k1 + k2)-Dimensional EGB Model with a Λ-Term

by
K. K. Ernazarov
1 and
V. D. Ivashchuk
1,2,*
1
Institute of Gravitation and Cosmology, Peoples’ Friendship University of Russia (RUDN University), 6 Miklukho-Maklaya Street, 117198 Moscow, Russia
2
Center for Gravitation and Fundamental Metrology, VNIIMS, 46 Ozyornaya Street, 119361 Moscow, Russia
*
Author to whom correspondence should be addressed.
Symmetry 2020, 12(2), 250; https://doi.org/10.3390/sym12020250
Submission received: 15 January 2020 / Revised: 31 January 2020 / Accepted: 2 February 2020 / Published: 6 February 2020
(This article belongs to the Special Issue Cosmology)

Abstract

:
A D-dimensional Einstein–Gauss–Bonnet model with a cosmological term Λ , governed by two non-zero constants: α 1 and α 2 , is considered. By restricting the metrics to diagonal ones, we study a class of solutions with the exponential time dependence of three scale factors, governed by three non-coinciding Hubble-like parameters: H > 0 , h 1 , and h 2 , obeying 3 H + k 1 h 1 + k 2 h 2 0 and corresponding to factor spaces of dimensions: 3, k 1 > 1 , and k 2 > 1 , respectively, with D = 4 + k 1 + k 2 . The internal flat factor spaces of dimensions k 1 and k 2 have non-trivial symmetry groups, which depend on the number of compactified dimensions. Two cases: (i) 3 < k 1 < k 2 and (ii) 1 < k 1 = k 2 = k , k 3 , are analyzed. It is shown that in both cases, the solutions exist if α = α 2 / α 1 > 0 and α Λ > 0 obey certain restrictions, e.g., upper and lower bounds. In Case (ii), explicit relations for exact solutions are found. In both cases, the subclasses of stable and non-stable solutions are singled out. Case (i) contains a subclass of solutions describing an exponential expansion of 3 d subspace with Hubble parameter H > 0 and zero variation of the effective gravitational constant G.

1. Introduction

Here, we deal with a D-dimensional Einstein–Gauss–Bonnet (EGB) model with a Λ term. This model is unique among the other higher dimensional extensions of General Relativity (GR) with the second order in the curvature terms since the equations of motion for this model are of the second order (in derivatives) as takes place in Einstein gravity. It is well known that the so-called Gauss–Bonnet term appeared in (super)string theory as a first order correction (in α ) to the (super)string effective action (e.g., the heterotic one) [1,2,3,4].
At present, the EGB gravitational model in diverse dimensions and its modifications (see [5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33] and the references therein) are rather popular objects for study in cosmology, e.g., for a possible explanation of the accelerating expansion of the Universe (i.e., solving the dark energy problem), which follow from supernova (type Ia) observational data [34,35,36]. It may be expected that the second order form of the equations of motion for these models will lead us to solutions that are in some sense close to those coming from GR and its higher dimensional extensions (e.g., avoiding the ghost branches at least).
For given D-dimensional manifold M with the metric g, the EGB model is a particular case of the Lovelock model [37] with the action:
S L o v e l o c k = M d D z | g | { k = 0 N α k L k [ g ] } ,
where N = [ D / 2 ] , α k are constants ( α 0 = 2 Λ ) and L k [ g ] is the k th term, for which a certain polynomial of Riemann tensor of k th power: L 0 [ g ] = 1 , L 1 [ g ] = R [ g ] (scalar curvature), L 2 [ g ] = G = R m n p q R m n p q 4 R m n R m n + R 2 (the Gauss–Bonnet term), etc. For even dimensions D = 2 m , the integral M d D z | g | L m [ g ] is topologically invariant, i.e., it has a zero variation with respect to the metric and contributes to the equations of motion. For the Riemannian metric g defined on a closed (oriented) manifold M, this invariant is proportional to the Euler characteristic χ ( M ) of this manifold; this was proven by S.S.Chern in [38] (the so-called Chern or Chern–Gauss–Bonnet theorem). The equations of motion for the Lovelock model have at most second order derivatives of the metric as takes place for the EGB model. It should be noted that at present, there exist several modifications of Einstein and EGB actions, which correspond to the F ( R ) , R + f ( G ) , and f ( R , G ) theories (e.g., for D = 4 ). These modifications are intensively studied in the literature devoted to cosmological, astrophysics and other applications; see [31,32,33] and the references therein.
In this paper, we restrict ourselves to diagonal metrics and study a class of cosmological solutions with the exponential time dependence of three scale factors, governed by three non-coinciding Hubble-like parameters: H > 0 , h 1 , and h 2 , corresponding to factor spaces of dimensions 3, k 1 > 1 , and k 2 > 1 , respectively, with a restriction imposed: S 1 = 3 H + k 1 h 1 + k 2 h 2 0 and D = 4 + k 1 + k 2 . This restriction forbids the solutions with a constant volume factor. We note that in the generic anisotropic case with Hubble-like parameters h 1 , , h n obeying S 1 = i = 1 n h i 0 ( n = D 1 ), the number of different (real) numbers among h 1 , , h n does not exceed three [26].
Here, we study two cases: (i) 3 < k 1 < k 2 and (ii) 1 < k 1 = k 2 = k , k 3 . We show that in both cases, the solutions exist only if α = α 2 / α 1 > 0 , Λ > 0 , and Λ obey certain restrictions, e.g., inequalities of the form: 0 < λ * ( k 1 , k 2 ) < Λ α < λ * * ( k 1 , k 2 ) (in (super)string inspired models, α is positive and corresponds to Regge slope parameter α , which is inverse proportional to the tension of the (super)string; non-zero Λ terms appear for non-critical (super)strings). The solutions under consideration are reduced to solutions of the polynomial master equation of fourth order or less, which may be solved in radicals for all k 1 > 1 and k 2 > 1 . In Case (ii) 1 < k 1 = k 2 3 , we present explicit exact solutions for Hubble-like parameters.
Here, we use our previous results from [25,26] in studying the stability of the solutions under consideration. We single out (for both Cases (i) and (ii)) the subclasses of stable and non-stable solutions (see Section 5). In the first case (i), we consider as an example a subclass of solutions describing the exponential expansion of the 3 d subspace with Hubble parameter H > 0 and zero variation of the effective gravitational constant G, which may be extracted from [29] for m = 3 , 3 < k 1 < k 2 , α > 0 , and a fixed value of Λ (depending on k 1 , k 2 , and α ) (see Section 6).
We note that earlier, the work in [30] dealt with exponential cosmological solutions with two non-coinciding Hubble parameters H > 0 and h obeying S 1 = 3 H + l h 1 0 and corresponding to three- and l-dimensional factor spaces ( l > 2 ) in the EGB model with a Λ term. In this case, there were two sets of solutions obeying: (a) α > 0 , Λ < α 1 λ + ( l ) and (b) α < 0 , Λ > | α | λ ( l ) , with λ ± ( l ) > 0 . Thus, the case of two (non-coinciding) Hubble-like parameters from [30] is drastically different from the case of three (non-coinciding) Hubble-like parameters, which is studied in this paper.
Remark 1.
We note that the solutions under consideration have non-trivial groups of symmetries (isometry groups) depending on the number of compactified dimensions of internal manifolds M 1 and M 2 of dimensions k 1 and k 2 , respectively. Here, we assume (from the physical set up) that the three-dimensional factor space M 0 is R 3 . This gives us the six-dimensional isometry subgroup G 0 = Isom ( R 3 ) , which is a semidirect product of O ( 3 ) (subgroup of rotations and reflections) and R 3 (subgroup of translations). For the choice M 1 = R l 1 × ( S 1 ) k 1 l 1 and M 2 = R l 2 × ( S 1 ) k 2 l 2 , we get two extra isometry subgroups G 1 = Isom ( R l 1 ) × ( U ( 1 ) ) k 1 l 1 × S k 1 l 1 and G 2 = Isom ( R l 2 ) × ( U ( 1 ) ) k 2 l 2 × S k 2 l 2 , where S r is the group of permutations of r elements, which correspond here to permutations of tori coordinates. Since we consider the case of non-coinciding Hubble-like parameters, the isometry group of the metric for any solution under consideration seems to be isomorphic to the direct product of subgroups G 0 , G 1 , and G 2 .

2. The Cosmological Model

We start with the action of the model of the following form:
S = M d D z | g | { α 1 ( R [ g ] 2 Λ ) + α 2 L 2 [ g ] } ,
where g = g M N d z M d z N is the metric defined on a manifold M, dim M = D , | g | = | det ( g M N ) | , Λ is the cosmological term, R [ g ] is scalar curvature,
L 2 [ g ] = R M N P Q R M N P Q 4 R M N R M N + R 2
is the standard Gauss–Bonnet term, and α 1 , α 2 are nonzero constants.
We deal with the product manifold:
M = R × M 1 × × M n
equipped with the metric:
g = d t d t + i = 1 n B i e 2 v i t d y i d y i ,
where B i > 0 are arbitrary constants, i = 1 , , n , M 1 , , M n are one-dimensional manifolds (compact or noncompact ones), and n > 3 .
The action (2) leads us to the set of equations of motion, which are polynomial equations [25]:
E = G i j v i v j + 2 Λ α G i j k l v i v j v k v l = 0 ,
Y i = 2 G i j v j 4 3 α G i j k l v j v k v l i = 1 n v i 2 3 G i j v i v j + 8 3 Λ = 0 ,
i = 1 , , n , where α = α 2 / α 1 . Here:
G i j = δ i j 1 , G i j k l = G i j G i k G i l G j k G j l G k l
are, respectively, the components of two metrics on R n [16,17]. The first one is a usual two-metric (so-called “minisupermetric”), and the second one is a Finslerian four-metric. For n > 3 , we get a set of forth order polynomial equations.
For Λ = 0 and n > 3 , the set of Equations (5) and (6) has an isotropic solution v 1 = = v n = H only if α < 0 [16,17]. This result was generalized in [19] to the case Λ 0 (see also [26]).
It was shown earlier that there are no more than three different numbers among v 1 , , v n when either Λ = 0 [16,17] or Λ 0 and i = 1 n v i 0 [26].
Here, we consider a class of solutions to the set of Equations (5) and (6) of the following form:
v = ( H , H , H , h 1 , , h 1 k 1 , h 2 , , h 2 k 2 ) ,
where H is the Hubble-like parameter corresponding to a three-dimensional factor space, h 1 is the Hubble-like parameter corresponding to a k 1 -dimensional factor space with k 1 > 1 , and h 2 is the Hubble-like parameter corresponding to a k 2 -dimensional factor space with k 2 > 1 .
Here, we exclude from our consideration the case:
k 1 = k 2 = 3 .
The reason will be explained below.
We put:
H > 0 ,
since we are interested in accelerated expansion of the 3 d subspace.
We consider the ansatz (8) with three Hubble parameters H, h 1 , and h 2 , which obey the following restrictions:
H h 1 , H h 2 , h 1 h 2 , S 1 = 3 H + k 1 h 1 + k 2 h 2 0 .
The last restriction means that the total volume factor should not be constant.
By using the approach of [20], the set of ( n + 1 ) polynomial Equations (5) and (6), under the ansatz (8) and restrictions (11) imposed, was reduced in [29] to a set of three polynomial equations of the fourth, second, and first orders, respectively:
E = 0 ,
Q = 1 2 α ,
L = H + h 1 + h 2 S 1 = 0 ,
where E is defined in (5) and:
Q = Q h 1 h 2 = S 1 2 S 2 2 S 1 ( h 1 + h 2 ) + 2 ( h 1 2 + h 1 h 2 + h 2 2 ) .
Here and in what follows:
S k i = 1 n ( v i ) k .
Let us denote:
x 1 = h 1 / H , x 2 = h 2 / H .
Then, the restrictions (11) read:
x 1 1 , x 2 1 , x 1 x 2 , 3 + k 1 x 1 + k 2 x 2 0 .
Equation (14) in x variables reads as follows:
2 + ( k 1 1 ) x 1 + ( k 2 1 ) x 2 = 0 .
We see that for k 1 = k 2 = 3 , we get from the restriction (18): 1 + x 1 + x 2 0 , while (19) gives us the relation 1 + x 1 + x 2 = 0 , which is incompatible with the previous one. This is the reason for the exclusion of the case of equal dimensions in (9).
We get from (13) and (15) that:
H 2 = 1 2 α P ,
where:
P = P ( x 1 , x 2 ) = P ( x 1 , x 2 , k 1 , k 2 ) = ( 3 + k 1 x 1 + k 2 x 2 ) 2 ( 3 + k 1 x 1 2 + k 2 x 2 2 ) 2 ( 3 + k 1 x 1 + k 2 x 2 ) ( x 1 + x 2 ) + 2 ( x 1 2 + x 1 x 2 + x 2 2 ) .
We note that the relation (20) is obeyed for α P < 0 . Let us prove that:
P < 0 .
Indeed, using the relation (19), or 3 + k 1 x 1 + k 2 x 2 = 1 + x 1 + x 2 , we get:
P = ( 1 + x 1 + x 2 ) 2 ( 3 + k 1 x 1 2 + k 2 x 2 2 ) 2 ( 1 + x 1 + x 2 ) ( x 1 + x 2 ) + 2 ( x 1 2 + x 1 x 2 + x 2 2 ) = 2 + ( 1 k 1 ) x 1 2 + ( 1 k 2 ) x 2 2 < 0 ,
for k 1 > 1 , k 2 > 1 .
Hence, the solutions under consideration take place only if:
α > 0 .
The calculations gives us the following relation for the vector: v from (8)
G i j v i v j = 3 H 2 + k 1 h 1 2 + k 2 h 2 2 ( 3 H + k 1 h 1 + k 2 h 2 ) 2 ,
and:
G i j k l v i v j v k v l = 24 H 3 ( k 1 h 1 + k 2 h 2 ) + 36 H 2 [ k 1 ( k 1 1 ) h 1 2 + 2 k 1 k 2 h 1 h 2 + k 2 ( k 2 1 ) h 2 2 ] + 12 H [ k 1 ( k 1 1 ) ( k 1 2 ) h 1 3 + 3 k 1 ( k 1 1 ) k 2 h 1 2 h 2 + 3 k 1 k 2 ( k 2 1 ) h 1 h 2 2 + k 2 ( k 2 1 ) ( k 2 2 ) h 2 3 ] + k 1 ( k 1 1 ) ( k 1 2 ) ( k 1 3 ) h 1 4 + 4 k 1 ( k 1 1 ) ( k 1 2 ) k 2 h 1 3 h 2 + 6 k 1 ( k 1 1 ) k 2 ( k 2 1 ) h 1 2 h 2 2 + 4 k 1 k 2 ( k 2 1 ) ( k 2 2 ) h 1 h 2 3 + k 2 ( k 2 1 ) ( k 2 2 ) ( k 2 3 ) h 2 4 .
This may be obtained by using the relation from [17]:
G i j k l v i v j v k v l = S 1 4 6 S 1 2 S 2 + 3 S 2 2 + 8 S 1 S 3 6 S 4 .
Due to (5), (26), and (26), Equation (12) reads:
2 Λ = G i j v i v j + α G i j k l v i v j v k v l = H 2 V 1 + α H 4 V 2 ,
where:
V 1 = V 1 ( x 1 , x 2 ) = V 1 ( x 1 , x 2 , k 1 , k 2 ) = 3 k 1 x 1 2 k 2 x 2 2 + ( 3 + k 1 x 1 + k 2 x 2 ) 2
and:
V 2 = V 2 ( x 1 , x 2 ) = V 2 ( x 1 , x 2 , k 1 , k 2 ) = 24 ( k 1 x 1 + k 2 x 2 ) + 36 [ k 1 ] 2 x 1 2 + 2 k 1 k 2 x 1 x 2 + [ k 2 ] 2 x 2 2 + 12 [ k 1 ] 3 x 1 3 + 3 [ k 1 ] 2 k 2 x 1 2 x 2 + 3 k 1 [ k 2 ] 2 x 1 x 2 2 + [ k 2 ] 3 x 2 3 + [ k 1 ] 4 x 1 4 + 4 [ k 1 ] 3 k 2 x 1 3 x 2 + 6 [ k 1 ] 2 [ k 2 ] 2 x 1 2 x 2 2 + 4 k 1 [ k 2 ] 3 x 1 x 2 3 + [ k 2 ] 4 x 2 4 .
Here, we use the notation [ N ] k = N ( N 1 ) ( N k + 1 ) .
Using (20), we get:
λ = α Λ = V 1 4 P + V 2 8 P 2 ,
or equivalently,
V 2 ( x 1 , x 2 ) 2 P ( x 1 , x 2 ) V 1 ( x 1 , x 2 ) 8 ( P ( x 1 , x 2 ) ) 2 λ = 0 .
Thus, we are led to the polynomial equation in variables x 1 , x 2 of the fourth order or less (depending on λ ).
We call the relations (32) and (19) master equations. The set of these equations may be solved in radicals. Indeed, solving Equation (19):
x 2 = x 2 ( x 1 ) = 2 k 2 1 k 1 1 k 2 1 x 1
and substituting into Equation (32), we obtain another (master) equation in x 1 :
V 2 ( x 1 , x 2 ( x 1 ) ) 2 P ( x 1 , x 2 ( x 1 ) ) V 1 ( x 1 , x 2 ( x 1 ) ) 8 ( P ( x 1 , x 2 ( x 1 ) ) ) 2 λ = 0 ,
which is of fourth order or less depending on the value of λ and may be solved in radicals for all k 1 > 1 and k 2 > 1 . Here, we do not try to write the explicit solutions k 1 and k 2 for the general setup. It seems more effective for any given dimensions k 1 > 1 and k 2 > 1 to find the solutions just by using Maple or Mathematica. An example of a solution with k 1 = k 2 will be considered below.
In what follows, we use the identity:
( k 2 1 ) P ( x 1 , x 2 ( x 1 ) ) = ( k 1 1 ) ( k 1 + k 2 2 ) x 1 2 + 4 ( k 1 1 ) x 1 + 2 ( 1 + k 2 ) ,
following from (23) and (33).

3. The Case k 1 k 2

Here, we put the following restriction k 1 k 2 . We write the relation (31) as:
λ = f ( x 1 ) V 1 ( x 1 , x 2 ( x 1 ) ) 4 P ( x 1 , x 2 ( x 1 ) ) + V 2 ( x 1 , x 2 ( x 1 ) ) 8 ( P ( x 1 , x 2 ( x 1 ) ) ) 2 .
Using the relation (33), we rewrite the restrictions (18) (respectively) as:
x 1 X 1 , x 1 X 2 , x 1 X 3 , x 1 X 4 ,
where:
X 1 = 1 ,
X 2 = k 2 + 1 k 1 1 ,
X 3 = 2 k 1 + k 2 2 ,
X 4 = 3 k 2 k 2 k 1 .

Extremum Points

The calculations give us:
d f d x 1 = C ( k 1 , k 2 ) ( x 1 X 1 ) ( x 1 X 2 ) ( x 1 X 3 ) ( x 1 X 4 ) ( k 2 1 ) P ( x 1 , x 2 ( x 1 ) ) 3 ,
where:
C ( k 1 , k 2 ) = 2 ( k 1 1 ) 2 ( k 2 k 1 ) ( k 1 + k 2 2 )
and X 1 , X 2 , X 3 , X 4 are defined in (38)–(41). Thus, the points of the extremum of the function f ( x 1 ) are excluded from our consideration due to the restrictions (11).
For the values λ i = f ( X i ) , i = 1 , 2 , 3 , 4 , we get:
λ 1 = λ 1 ( k 1 , k 2 ) = u ( k 2 , 3 + k 1 ) 8 ( k 1 + k 2 ) ( k 1 + 1 ) ( k 2 1 ) ,
λ 2 = λ 2 ( k 1 , k 2 ) = u ( k 1 , 3 + k 2 ) 8 ( k 1 + k 2 ) ( k 2 + 1 ) ( k 1 1 ) ,
λ 3 = λ 3 ( k 1 , k 2 ) = u ( 3 , k 1 + k 2 ) 16 ( k 1 + k 2 2 ) ( k 1 + k 2 ) ,
λ 4 = λ 4 ( k 1 , k 2 ) = v ( 3 , k 1 , k 2 ) 8 w ( 3 , k 1 , k 2 ) ,
where:
u ( m , l ) = l m 2 + ( l 2 8 l + 8 ) m + l ( l 1 ) ,
v ( m , l , k ) = ( k + l ) m 2 + ( m + l ) k 2 + ( m + k ) l 2 6 m l k , w ( m , l , k ) = ( k + l 2 ) m 2 + ( m + l 2 ) k 2 + ( m + k 2 ) l 2
+ 2 m l + 2 m k + 2 l k 6 m l k .
We note that:
λ i = λ i ( k 1 , k 2 ) > 0 ,
for all k 1 > 1 , k 2 > 1 , i = 1 , 2 , 3 , 4 .
For i = 1 , 2 , 3 , this relation follows from:
u ( m , l ) > 0 ,
for m > 1 , l > 1 . Indeed, for m 4 , l 4 , we get u ( m , l ) = m l ( m + l 8 ) + 8 m + l 2 l > 0 and u ( 4 , 3 ) = 26 , u ( 3 , 4 ) = 24 , u ( 3 , 3 ) = 12 , u ( 3 , 2 ) = 8 , u ( 2 , 3 ) = 4 , u ( 2 , 2 ) = 2 . For i = 4 , the relation (51) follows from the inequalities:
v ( m , l , k ) > 0 ,
w ( m , l , k ) > 0 ,
which are valid for natural numbers m , l , k obeying: m > 1 , l > 1 , k > 1 , and either m l , or m k , or l k . This is proven in Appendix A.
We also note that the following symmetry identities take place for the functions λ i ( k 1 , k 2 ) , i = 1 , 2 , 3 ,
λ 1 ( k 1 , k 2 ) = λ 2 ( k 2 , k 1 ) ,
λ 3 ( k 1 , k 2 ) = λ 3 ( k 2 , k 1 ) .
The function λ 4 ( k 1 , k 2 ) is symmetric with respect to variables since the functions v ( k 1 , k 2 ) and w ( k 1 , k 2 ) are symmetric.
For x 1 ± , we get:
λ = lim x 1 f ( x 1 ) = ( k 1 + k 2 6 ) k 1 k 2 + k 1 2 + k 2 2 + k 1 + k 2 8 ( k 1 1 ) ( k 2 1 ) ( k 1 + k 2 2 ) .
It may be readily verified that:
λ = λ ( k 1 , k 2 ) = λ ( k 2 , k 1 ) > 0
for all k 1 > 1 and k 2 > 1 . Indeed, ( k 1 + k 2 6 ) k 1 k 2 + k 1 2 + k 2 2 + k 1 + k 2 = ( k 1 + k 2 4 ) k 1 k 2 + ( k 1 k 2 ) 2 + k 1 + k 2 > 0 for k 1 2 and k 2 2 .
The points of the extremum obey the following relations:
X 2 X 1 = k 1 + k 2 k 1 1 ,
X 3 X 1 = k 1 + k 2 k 1 + k 2 2 ,
X 3 X 2 = ( k 1 + k 2 ) ( k 2 1 ) ( k 1 + k 2 2 ) ( k 1 1 ) ,
X 4 X 1 = 3 + k 1 2 k 2 k 1 k 2 ,
X 4 X 2 = ( 3 2 k 1 + k 2 ) ( k 2 1 ) ( k 1 1 ) ( k 2 k 1 ) ,
X 4 X 3 = ( 6 k 1 k 2 ) ( k 2 1 ) ( k 1 + k 2 2 ) ( k 2 k 1 ) .
It follows from the definitions of X i and (59)–(61) that:
X 2 < X 3 < 0 < X 1 = 1
for all k 1 > 1 and k 2 > 1 .
The corresponding relations for λ i λ j have the following form:
λ 2 λ 1 = ( k 2 k 1 ) ( k 1 + k 2 ) 2 ( k 1 1 ) ( k 2 1 ) ( k 1 + 1 ) ( k 2 + 1 ) ,
λ 3 λ 1 = ( k 1 1 ) ( k 2 3 ) ( k 1 + k 2 ) 8 ( k 2 1 ) ( 1 + k 1 ) ( k 1 + k 2 2 ) ,
λ 3 λ 2 = ( k 2 1 ) ( k 1 3 ) ( k 1 + k 2 ) 8 ( k 1 1 ) ( 1 + k 2 ) ( k 1 + k 2 2 ) ,
λ 4 λ 1 = ( k 1 1 ) ( 2 k 2 k 1 3 ) 3 2 ( k 1 + 1 ) ( k 2 1 ) ( k 1 + k 2 ) ω ,
λ 4 λ 2 = ( k 2 1 ) ( 2 k 1 3 k 2 ) 3 2 ( k 2 + 1 ) ( k 1 1 ) ( k 1 + k 2 ) ω ,
λ 4 λ 3 = ( k 1 1 ) ( k 2 1 ) ( 6 k 1 k 2 ) 3 8 ( k 1 + k 2 2 ) ( k 1 + k 2 ) ω ,
where ω = ω ( 3 , k 1 , k 2 ) ; see (50).
Here and in what follows, we put:
3 < k 1 < k 2 .
Using (66), (68), and (72), we get:
0 < λ 1 < λ 2 < λ 3 .
It follows from (63), (70), and (72) that:
( A + ) X 4 < X 2 , λ 4 > λ 2 , for 2 k 1 3 k 2 > 0 ,
( A ) X 4 > X 2 , λ 4 < λ 2 , for 2 k 1 3 k 2 < 0 ,
and:
( A 0 ) X 4 = X 2 , λ 4 = λ 2 , for 2 k 1 3 k 2 = 0 .
The graphical representations of the function λ = f ( x 1 ) for ( k 1 , k 2 ) = ( 5 , 6 ) , ( 4 , 6 ) , ( 4 , 5 ) are given in Figure 1, Figure 2 and Figure 3, respectively. These three sets obey the inequalities (74)–(76), respectively.
For λ i λ , we obtain:
λ 1 λ = z 1 2 ( k 1 1 ) ( k 1 + k 2 2 ) ( 1 + k 1 ) ( k 1 + k 2 ) ,
λ 2 λ = z 2 2 ( k 2 1 ) ( k 1 + k 2 2 ) ( 1 + k 2 ) ( k 1 + k 2 ) ,
λ 3 λ = z 3 8 ( k 1 1 ) ( k 2 1 ) ( k 1 + k 2 2 ) ( k 1 + k 2 ) ,
λ 4 λ = z 4 2 ( k 1 1 ) ( k 2 1 ) ( k 1 + k 2 2 ) ω ,
with ω = ω ( 3 , k 1 , k 2 ) (see (50)), where:
z 1 = 2 k 1 + 2 k 2 3 2 k 1 k 2 k 2 2 + 2 k 1 2 ,
z 2 = 2 k 1 + 2 k 2 3 2 k 1 k 2 k 1 2 + 2 k 2 2 , z 3 = 9 ( k 1 k 2 ) 2 ( ( k 1 2 6 k 1 + 6 ) k 1 + ( k 2 2 6 k 2 + 6 ) k 2 + 3 ( k 1 + k 2 ) k 1 k 2 4 ) 2 ( k 1 + k 2 )
+ ( 12 6 k 1 6 k 2 + ( k 1 + k 2 ) 2 ) k 1 k 2 ,
z 4 = ( k 2 k 1 ) 2 ( 4 ( k 1 + k 2 ) + ( k 1 k 2 ) 2 2 k 1 k 2 6 ) ,
It follows from (77) and (79) and inequalities z 1 < 0 , z 3 > 0 , proven in Appendix A, that:
λ 1 < λ < λ 3 .
For our new restriction (72), we obtain from (43):
C ( k 1 , k 2 ) > 0 .
Using this inequality and the relation (42), we find that the function λ = f ( x 1 ) is monotonically increasing in the interval ( X 1 = 1 , + ) from λ 1 to λ and that it is monotonically decreasing in the interval ( X 3 , X 1 ) from λ 3 to λ 1 .
In the case ( A + ) , the function λ = f ( x 1 ) is monotonically increasing in the intervals ( , X 4 ) and ( X 2 , X 3 ) from λ to λ 4 and from λ 2 to λ 3 , respectively, while it is monotonically decreasing in the interval ( X 4 , X 2 ) from λ 4 to λ 2 (see Figure 1). In this case, the points X 1 and X 2 are the points of the local minimum, and the points X 3 and X 4 are the points of the local maximum.
For the case ( A ) , the function λ = f ( x 1 ) is monotonically increasing in the intervals ( , X 2 ) and ( X 4 , X 3 ) from λ to λ 2 and from λ 4 to λ 3 , respectively, while it is monotonically decreasing in the interval ( X 2 , X 4 ) from λ 2 to λ 4 (see Figure 2). The points X 1 and X 4 are the points of the local minimum, and the points X 2 and X 3 are the points of the local maximum.
In the case ( A 0 ) , the function λ = f ( x 1 ) is monotonically increasing in the intervals ( , X 3 ) and from λ to λ 3 , respectively (see Figure 3). For this case, the point X 1 is the point of the local minimum, the point X 3 is the point of the local maximum, and the point X 2 = X 4 is the point of inflection.
Due to the inequalities (72) and (85), we get that X 3 is the point of the absolute maximum and X 1 is the point of the absolute minimum, i.e.,
λ 1 λ = f ( x 1 ) λ 3
for all x 1 R . Due to (37), the points X 1 , X 2 , X 3 , X 4 are forbidden for our consideration, and hence:
λ 1 < λ = f ( x 1 ) < λ 3 , λ = f ( x 1 ) λ 2 , λ 4 , λ
for all x 1 X 1 , X 2 , X 3 , X 4 . Let us denote the set of definitions of the function f for our consideration ( , ) * { x | x R , x X 1 , X 2 , X 3 , X 4 } . Since the function f ( x 1 ) is a continuous one, the image of the function f (due to the intermediate value theorem) is:
f ( ( , ) * ) = ( λ 1 , λ 3 ) * { λ ( λ 1 , λ 3 ) , λ λ 2 , λ 4 , λ } .
Thus, we are led to the following proposition.
Proposition 1.
The solutions to Equations (5) and (6) for ansatz (8) with 3 < k 1 < k 2 obeying the inequalities H > 0 , H h 1 , H h 2 , h 1 h 2 , S 1 = 3 H + k 1 h 1 + k 2 h 2 0 do exist if and only if α > 0 ,
λ 1 < λ = α Λ < λ 3
and:
α Λ λ 2 , λ 4 , λ ,
where λ 1 , λ 2 , λ 3 , and λ 4 are defined in (44)–(47), respectively. In this case, x 1 = h 1 / H X 1 , X 2 , X 3 , X 4 (see (38)–(41)), x 2 = h 2 / H = x 2 ( x 1 ) is given by (33), x 1 obeys the polynomial master equation (34) (of fourth order or less), and H 2 is given by (20) and (21).

4. The Case k 1 = k 2

Here, we consider the case k 1 = k 2 = k > 1 . We get from (19):
2 + ( k 1 ) ( x 1 + x 2 ) = 0 .
In this case, the relation (23) implies:
P = 2 + ( 1 k ) ( x 1 2 + x 2 2 ) .
We note that the solutions under consideration take place for:
k 3 .
Indeed, for k = 3 , the relation (92) reads: 1 + x 1 + x 2 = 0 , which contradicts the restriction 1 + x 1 + x 2 0 from (18).
Let us denote:
X α H 2 ,
α > 0 . It follows from (20):
X P = 1 2 .
Due to (95) and H > 0 , we have:
H = X / α .
The substitution of the relations (92) and (93) into Formulae (29) and (30) gives us:
V 1 = [ 2 ( 3 k ) + P k ( k 1 ) ] / ( k 1 ) 2 ,
V 2 = [ 4 k ( 3 k ) ( k + 1 ) + 3 P 2 ( k 1 ) 2 k ] / ( k 1 ) 3 .
Using (96), we rewrite the relation (31) as:
2 λ = 2 α Λ = X V 1 + X 2 V 2 .
This relation may be written as a quadratic relation:
A X 2 + B X + C = 0 ,
where:
A = 4 k ( 3 k ) ( k + 1 ) ,
B = 2 ( 3 k ) ( k 1 ) ,
C = 1 4 k ( k 1 ) 2 + 2 λ ( k 1 ) 3 .
Due to (94), we get A 0 . The discriminant D = B 2 4 A C has the following form:
D = 2 ( 3 k ) ( k 1 ) 2 ( F 8 λ f )
where:
F = F ( k ) = 2 ( 3 k ) + ( m + k 2 ) ( m + 2 k 3 ) k ,
f = f ( k ) = 2 ( k + 1 ) k ( k 1 ) > 0 .
It is proven in Appendix A that F = F ( k ) > 0 for all k > 1 , k 3 .
The solution to Equation (101) reads:
X = ( B + ε ¯ 1 D ) / ( 2 A ) , ε ¯ 1 = ± 1 .
We are seeking real solutions, which obey two restrictions:
D > 0 ,
X > 0 .
Here, the case D = 0 is excluded from the consideration since, as we will show below, it implies either x 1 = 1 or x 2 = 1 , which contradicts the restrictions (18).
The inequality (109) may be rewritten as:
λ < λ 1 for k < 3 ,
λ > λ 1 for k > 3 ,
where:
λ 1 = λ 1 ( k , k ) = F ( k ) / ( 8 f ( k ) ) .
(For a definition of λ 1 ( k , l ) see (44).)
The set of the two equations (92) and (93) has the following solutions:
x 1 = ( ε 2 E + 2 ) / ( 2 k 2 ) ,
x 2 = ( ε 2 E + 2 ) / ( 2 k 2 ) ,
where ε 2 = ± 1 and:
E = 4 k 2 P ( k 1 ) = ( k 1 ) X 1 4 k .
Here, we put:
E > 0 ,
since E = 0 implies the identity x 1 = x 2 , which is excluded by the restrictions (18). The relations (110) and (117) may be written as:
0 < X < k 1 4 k .
Now, we explain why the case D = 0 was excluded from our consideration. Let us put D = 0 . Then, we get from (108):
X = ( B ) / ( 2 A ) = ( k 1 ) / ( 4 k ( 1 + k ) )
and hence:
E = 4 k 2 ,
which implies either x 2 = 1 for ε 2 = 1 or x 1 = 1 for ε 2 = 1 . However, this is forbidden by the first two inequalities in (18).
Moreover, it is not difficult to verify that the relations (114), (115), and (118) imply all four inequalities in (18). Indeed, the violation of the first two inequalities in (18) leads us either to x 1 = 1 or x 2 = 1 , which may be valid only for E from (120) and ε 2 = 1 or ε 2 = 1 , respectively. However, due to the definition (116), the relation (120) implies (119), and hence, D = 0 , which contradict the relations (114) and (115). The violation of the third inequality in (18) gives us x 1 = x 2 , which implies E = 0 , but this is forbidden by (118). Now, let us verify the last inequality in (18). In our case, it reads:
x 1 + x 2 3 k .
From (114) and (115), we obtain:
x 1 + x 2 = 2 k 1 .
The relation (121) is satisfied due to (122) and k 3 .
Now, we analyze the inequalities in (118). We introduce a new parameter:
ε 1 = ε ¯ 1 sign ( 3 k ) .
Then, the relation (108) reads as follows:
X = k 1 4 k ( 1 + k ) + ε 1 D 2 | A | ,
ε 1 = ± 1 .
Let us consider the case ε 1 = 1 . The second inequality in (118) X < k 1 4 k is obeyed since 2 ( 1 + k ) > 2 . Now, we consider the first inequality X > 0 . We get:
0 < D < 2 | 3 k | ( k 1 ) .
Using the definition of D in (105), we obtain:
0 < 2 ( 3 k ) ( k 1 ) 2 ( F 8 λ f ) < 4 | 3 k | 2 ( k 1 ) 2 .
The relations (126) read as follows:
F < 8 λ f < F for k < 3 ,
F < 8 λ f < F for k > 3 ,
where:
F F 2 ( 3 k ) .
It may be verified that:
F 8 f = k 8 ( k 1 ) = λ = λ ( k , k ) ,
where λ ( k , l ) is defined in (57). Using (113) and (130), we rewrite the relations (127) and (128) as follows:
λ < λ < λ 1 for 3 > k ,
λ 1 < λ < λ for 3 < k .
Now, we put ε 1 = 1 . The inequality X > 0 is satisfied in this case. We should treat the inequality X < k 1 4 k . We obtain:
0 < D < 2 | 3 k | k ( k 1 ) ,
or:
0 < 2 ( 3 k ) ( F 8 λ f ) < | 3 k | 2 ( 2 k ) 2 .
The relations (134) read as follows:
F + < 8 λ f < F for k < 3 ,
F < 8 λ f < F + for k > 3 ,
where:
F + F 2 ( 3 k ) k 2 .
It may be verified that:
F + 8 f = λ 3 = λ 3 ( k , k ) ,
where λ 3 ( k , l ) is defined in (46). Using (113) and (138), we rewrite the relations (135) and (136) as follows:
λ 3 < λ < λ 1 for k < 3 ,
λ 1 < λ < λ 3 for k > 3 .
We note that:
λ 1 < λ < λ 3
for k > 3 , while:
λ 3 < λ < λ 1
for k < 3 (or k = 2 ). The inequalities in (142) follow from F + < F < F for k < 3 .
Proposition 2.
The solutions to Equations (5) and (6) for ansatz (8) with 1 < k 1 = k 2 = k , k 3 , obeying the inequalities H > 0 , H h 1 , H h 2 , h 1 h 2 , S 1 = 3 H + k h 1 + k h 2 0 , do exist if and only if α > 0 ,
λ 1 < λ = α Λ < λ 3
for k > 3 and:
λ 3 < λ = α Λ < λ 1
for k = 2 , where λ 1 = λ 1 ( k , k ) , λ 3 = λ 3 ( k , k ) are defined in (44) and (46). In this case, H obeys the relation (97) with X from (124), x 1 = h 1 / H and x 2 = h 2 / H are given by the relations (114) and (115) and λ obeys (131) and (132) for ε 1 = 1 and (139) and (140) for ε 1 = 1 with λ = k 8 ( k 1 ) .
The restrictions on λ for our solution may be explained just graphically as was done in the previous section for k 1 k 2 . Indeed, for k 1 = k 2 = k 3 , H 0 , we have the same relation (36) λ = f ( x 1 ) , where now:
d f d x 1 = C ¯ ( k ) ( x 1 X 1 ) ( x 1 X 2 ) ( x 1 X 3 ) ( k 1 ) P ( x 1 , x 2 ( x 1 ) ) 3
with:
C ¯ ( k ) = 2 ( k 1 1 ) 2 ( k 1 + k 2 2 ) ( k 3 ) .
Here, x 2 ( x 1 ) = 2 k 1 x 1 , and the restrictions (18) read as follows:
x 1 X 1 = 1 , x 1 X 2 = 1 + k k 1 , x 1 X 3 = 1 k 1 ,
see (38)–(40). The fourth inequality in (18) is obeyed identically (it was checked above).
The points X 1 , X 2 , X 3 are the points of the extremum of the function f ( x 1 ) . They are excluded from our consideration due to the restrictions (147). The function f ( x 1 ) tends to λ as x 1 tends to ± .
Using the relations (145) and (146) and P ( x 1 , x 2 ( x 1 ) ) < 0 , we get two cases.
For k > 3 , the function has two points of the minimum at X 1 and X 2 with λ 1 = f ( X 1 ) = f ( X 2 ) = λ 2 < λ and the point of the maximum at X 3 with λ 3 = f ( X 3 ) > λ . See the graphical representation of f ( x 1 ) for k = 4 in Figure 4. We note that the solution with k = 4 was presented recently in [39].
For k = 2 , the function has two points of the maximum at X 1 and X 2 with λ 1 = f ( X 1 ) = f ( X 2 ) = λ 2 > λ and one point of the minimum at X 3 with λ 3 = f ( X 3 ) < λ . The graphical representation of f ( x 1 ) for k = 2 is given in Figure 5.

5. The Analysis of Stability

Here, we study the stability of the solutions under consideration by using the results of [25,26,29] (for another approach, see also [22]).
Let us put the restriction:
det ( L i j ( v ) ) 0
on the matrix:
L = ( L i j ( v ) ) = ( 2 G i j 4 α G i j k s v k v s ) ,
where v = ( v i ) is given in (8).
We remind that for the general cosmological setup with the metric:
g = d t d t + i = 1 n e 2 β i ( t ) d y i d y i ,
we have the set of equations [25]:
E = G i j h i h j + 2 Λ α G i j k l h i h j h k h l = 0 ,
Y i = d L i d t + ( j = 1 n h j ) L i 2 3 ( G s j h s h j 4 Λ ) = 0 ,
where h i = β ˙ i ,
L i = L i ( h ) = 2 G i j h j 4 3 α G i j k l h j h k h l ,
i = 1 , , n .
Due to results of [26], a fixed point solution ( h i ( t ) ) = ( v i ) ( i = 1 , , n ; n > 3 ) to Equations (151) and (152) obeying the restrictions (148) is stable under perturbations:
h i ( t ) = v i + δ h i ( t ) ,
i = 1 , , n , as t + , if (and only if):
S 1 ( v ) = i = 1 n v i > 0 .
and it is unstable if (and only if):
S 1 ( v ) = i = 1 n v i < 0 .
In order to study the stability of the solutions, we should verify the relation (148) for the solutions under consideration. This verification was done (in fact) for the more general case (with dimension m > 2 instead of 3) in [29]. Adapting to our case ( m = 3 ), the proof of [29] is based on the first three relations in (11) and inequalities k 1 > 1 , k 2 > 1 , and 3 > 1 .
Thus, any solution under consideration is stable when the relation (155) is obeyed, while it is unstable when the relation (156) is satisfied.
Let us consider the case 3 < k 1 < k 2 . The relation (155) reads as:
3 + k 1 x 1 + k 2 x 2 = 1 + x 1 + x 2 > 0 ,
or equivalently,
x 1 > X 4 = 3 k 2 k 2 k 1 .
Here, Equation (19) was used. The non-stability condition (156) reads as:
3 + k 1 x 1 + k 2 x 2 = 1 + x 1 + x 2 < 0 ,
or, equivalently, as
x 1 < X 4 .
Proposition 3.
The solutions to Equations (5) and (6) for ansatz (8) with 3 < k 1 < k 2 , obeying the inequalities H > 0 , H h 1 , H h 2 , h 1 h 2 , S 1 = 3 H + k 1 h 1 + k 2 h 2 0 are stable if and only if x 1 > X 4 = 3 k 2 k 2 k 1 and unstable if and only if x 1 < X 4 .
Now, we consider the case 1 < k 1 = k 2 = k , k 3 . The exact solutions obtained in this section obey (11) (since x 1 1 , x 2 1 and x 2 x 3 ), and hence, the key restriction (148) is satisfied.
The stability condition (155) in this case reads as follows:
H ( 3 + k 1 x 1 + k 2 x 2 ) = H ( 1 + x 1 + x 2 ) = H 1 2 k 1 > 0 ,
(see (122)) or equivalently,
k > 3 .
The non-stability condition (156) reads as:
k < 3 ,
or k = 2 (since k > 1 ).
Thus, we are led to the proposition.
Proposition 4.
The solutions to Equations (5) and (6) for ansatz (8) with 1 < k 1 = k 2 = k , k 3 , obeying the inequalities H > 0 , H h 1 , H h 2 , h 1 h 2 , and S 1 = 3 H + k h 1 + k h 2 0 are stable for k > 3 and unstable for k = 2 .
The example of the stable solution with k = 4 was presented in [39].

6. Solutions Corresponding to Zero Variation of G

Here, we consider the special solutions to equations: (12)–(14) with H > 0 , 3 < k 1 < k 2 [29]
h 1 = 2 k 2 k 2 k 1 H , h 2 = 2 k 1 k 1 k 2 H .
Here:
H = | k 1 k 2 | ( 2 α P ) 1 / 2 ,
α > 0 ,
P = P ( k 1 , k 2 ) = ( k 1 + k 2 ) ( 3 ( k 1 + k 2 2 ) + k 1 ( 2 k 2 5 ) + k 2 ( 2 k 1 5 ) + 6 ) < 0 ,
and:
Λ = Λ ( k 1 , k 2 ) = Λ ( k 2 , k 1 ) = 1 4 α ( k 1 2 k 1 k 2 + k 2 ) 2 ( k 1 + k 1 ) × × [ k 1 k 2 ( 2 ( k 1 2 + k 2 2 ) + ( k 1 + k 2 ) ( 3 + 2 k 1 k 2 ) 8 k 1 k 2 ) 3 ( k 1 3 + k 2 3 ) ] .
These solutions describe the accelerated exponential expansion of “our” 3 d subspace and constant internal space volume factor or zero variation of the effective gravitational constant, which has the following form for the ansatz (8) [29]:
G = const × exp ( k 1 h 1 t k 2 h 2 t ) .
It follows from Proposition 1 that Λ ( k 1 , k 2 ) > 0 for 3 < k 1 < k 2 . Moreover, in this case, we have:
x 1 = 2 k 2 k 2 k 1 > 1 .
Due to the graphical analysis from Section 3, we get from (169) the following bounds:
0 < λ 1 ( k 1 , k 2 ) < Λ ( k 1 , k 2 ) α < λ ( k 1 , k 2 ) ,
for all 3 < k 1 < k 2 . Due to Proposition 3 the corresponding cosmological solution is stable since x 1 > X 4 ( X 4 = 3 k 2 k 2 k 1 < 0 ). The stability of this solution was proven earlier in [29].

7. Conclusions and Discussion

We considered the D-dimensional Einstein–Gauss–Bonnet (EGB) model with a Λ term and two non-zero constants α 1 and α 2 . The metric was chosen to be a diagonal “cosmological” one. We dealt with a class of solutions with the exponential time dependence of three scale factors, governed by three non-coinciding Hubble-like parameters H > 0 , h 1 , and h 2 , corresponding to factor spaces of dimensions 3, k 1 > 1 , and k 2 > 1 , respectively, with 3 H + k 1 h 1 + k 2 h 2 0 and D = 4 + k 1 + k 2 .
We studied the solutions in two cases: (i) 3 < k 1 < k 2 and (ii) 1 < k 1 = k 2 = k 3 . (the solutions under consideration with k 1 = k 2 = 3 were absent). We showed that in both cases, the solutions exist only if: α = α 2 / α 1 > 0 , λ = α Λ > 0 , and the dimensionless parameter of the model λ obeys certain restrictions, e.g., upper and lower bounds depending on k 1 and k 2 (see Proposition 1). In Case (ii), we found explicit relations for exact solutions (see Proposition 2).
It should be stressed here that our consideration was based on the Chirkov–Pavluchenko–Toporensky splitting trick from [20] (adapted to our case in [29]) and reducing the problem to master equation λ = f ( x 1 ) (31) on the ratio x 1 = h 1 / H . This master equation is equivalent to the polynomial Equation (34) for x 1 which is of fourth order (in the generic case) or less depending on the value of λ , and hence, it may be solved in radicals for all k 1 > 1 and k 2 > 1 . The key relation in our analysis for (i) 3 < k 1 < k 2 is the formula (42) for the derivative d f / d x 1 . In Case (ii) 1 < k 1 = k 2 3 , an analogous relation is given by Formula (145). Our restrictions on Λ for 3 < k 1 < k 2 were obtained by using the methods of mathematical analysis without any use of an algebraic approach to the equations of fourth (or third) order. It seemed that this (analytical) way was more economic, straightforward, and transparent for this task of cosmological origin. The latter may be illustrated by the following remarkable coincidence: in Case (i) 3 < k 1 < k 2 , the points of the extremum for our (smooth and bounded) function f ( x 1 ) were just four non-coinciding points: X 1 , X 2 , X 3 , X 4 from (38)–(41). These points were exactly four values of x 1 forbidden by restrictions H h 1 , H h 2 , h 1 h 2 , S 1 = 3 H + k 1 h 1 + k 2 h 2 0 . In Case (ii) 1 < k 1 = k 2 3 , we had three forbidden points: X 1 , X 2 , X 3 . It should be mentioned that an analogous approach was used earlier for the case of two Hubble-like parameters H, h from [30], but in that case, the master equation λ = f ( x ) , with x = h / H , had a simpler form, with the unbounded smooth function f ( x ) defined for x x , x + .
In both cases, the stability of the solutions (as t + ) in a class of cosmological solutions with diagonal metrics was analyzed, and subclasses of stable and non-stable solutions were singled out. In Case (i), we proved that the solutions were stable for x 1 = h 1 / H > X 4 = 3 k 2 k 2 k 1 and unstable for x 1 < X 4 (see Proposition 3). In Case (ii), the solutions were stable for k > 3 and unstable for k = 2 (this was proven in Proposition 4).
The first class of solutions (i) contained a subclass of stable solutions describing an exponential expansion of 3 d subspace with Hubble-like parameter H > 0 and zero variation of the effective gravitational constant G, which was a special case of the solutions studied in [29].
To a certain extent, the results obtained in this paper may be considered as unexpected ones. Indeed, if we compared these solutions (for three different Hubble-like parameters) with the analogous solutions from [30] obtained for two (non-coinciding) Hubble-like parameters H and h corresponding to factor spaces of dimensions three and l > 2 with 3 H + l h 0 , we found that our solutions took place only for α > 0 and Λ > 0 , while in the case of [30], we had two branches with (a) α > 0 , < Λ < α 1 λ + ( l ) and (b) α < 0 , Λ > | α | λ ( l ) , where λ ± ( l ) > 0 . The solutions from [30] do exist for any Λ ( , 0 ] (for α > 0 ), while in our case, such solutions were absent (The absence of solutions for Λ = 0 may be considered as a special “by product” result of this paper. In the case of two different Hubble parameters, such solutions do exist for α > 0 ; see Ref. [40].). Moreover, in our case, the allowed gap for Λ was bounded (at the top and the bottom), while in the case of [30], the gap for Λ was unbounded (either at the top or at the bottom).
For possible physical (e.g., cosmological) applications, one may keep in mind a dimensional reduction of the model under consideration to d = 4 , which leads us to the 4 d Horndeski-type model with a set of scalar fields. In this case, one will obtain a ( 1 + 3 ) -dimensional inflationary (cosmological) solution with Hubble parameter H and several scalar fields (coming from scale factors) with linear dependence on the time variable (governed by h 1 and h 2 ). The effective cosmological term Λ 0 = 3 H 2 will have a nontrivial dependence on the “bare” multi-dimensional cosmological constant Λ , the dimensions of factor spaces k 1 and k 2 , and the parameter α (for any root of polynomial equation for x 1 ).

Author Contributions

V.D.I. is responsible for mathematical model development and K.K.E.—for simulation model development. All authors reviewed the final mabuscript. All authors have read and agreed to the published version of the manuscript.

Funding

“RUDN University Program 5-100”, RFBR grant 19-02-00346.

Acknowledgments

The publication was prepared with the support of the “RUDN University Program 5-100” (recipient V.D.I., mathematical model development). The reported study was funded by RFBR, Project Number 19-02-00346 (recipient K.K.E., simulation model development). Here, certain key relations (e.g., (42) and (145)) were obtained by Maple.

Conflicts of Interest

The authors declare no conflict of interest.

Appendix A

Here, we prove several technical lemmas.
Lemma A1.
F = F ( k ) > 0 for all k > 1 , k 3 .
Proof. 
For k < 3 , we have a sum of two positive terms in (106), and hence, F > 0 in this case. For k > 3 , we denote k = 3 + p where p > 0 . We obtain:
F = 2 ( p ) + ( p + 4 ) ( 6 + 2 p ) ( 3 + p ) = 2 p 3 + 20 p 2 + 64 p + 72 .
Due to p > 0 , we have a sum of four positive terms in (A1), and hence, F > 0 for k > 3 .  □
Lemma A2.
Let:
v ( m , l , k ) = ( k + l ) m 2 + ( m + l ) k 2 + ( m + k ) l 2 6 m l k ,
where m , l , k are natural numbers. Then, v ( m , l , k ) = 0 only if m = l = k ; in other cases, v ( m , l , k ) > 0 .
Proof. 
Since v ( m , l , k ) is symmetric in variables, we put without loss of generality m l k . We have m = k + p + q , l = k + p , where p 0 and q 0 . We get:
v = v ( m , l , k ) = ( 2 p 2 + 2 q p + 2 q 2 ) k + 2 p 3 + 3 q p 2 + p q 2 .
For p = q = 0 ( m = k = l ), we have v = 0 . For p > 0 , q > 0 , we have w > 0 . If p = 0 ( k = l ) and q > 0 ( m > l ), we get w = 2 q 2 k > 0 for k > 1 . For q = 0 ( m = l ) and p > 0 ( l > k ), we find v = 2 p 2 k + 2 p 3 > 0 . The lemma is proven.  □
Lemma A3.
Let:
w ( m , l , k ) = ( k + l 2 ) m 2 + ( m + l 2 ) k 2 + ( m + k 2 ) l 2 + 2 k m + 2 k m + 2 l k 6 m l k ,
where m , l , k are natural numbers, which are not equal to one. Then, w ( m , l , k ) = 0 only if m = l = k. In other cases, w ( m , l , k ) > 0 .
Proof. 
Since w ( m , l , k ) is symmetric in variables, we put without loss of generality m l k . We have m = k + p + q , l = k + p , where p 0 and q 0 . We get:
w = w ( m , l , k ) = ( 2 p 2 + 2 q p + 2 q 2 ) ( k 1 ) + 2 p 3 + 3 q p 2 + q 2 p .
For p = q = 0 ( m = k = l ), we have w = 0 . For p > 0 , q > 0 , we have w > 0 (for all k). If p = 0 ( k = l ) and q > 0 ( m > l ), we get w = 2 q 2 ( k 1 ) > 0 for k > 1 . For q = 0 ( m = l ) and p > 0 ( l > k ), we find w = 2 p 2 ( k 1 ) + 2 p 3 > 0 . The lemma is proven.  □
Lemma A4.
For all 3 < k 1 < k 2 :
z 1 = 2 k 1 + 2 k 2 3 2 k 1 k 2 k 2 2 + 2 k 1 2 < 0 .
Proof. 
Let us denote:
k 1 = 4 + y 1 , k 2 = k 1 + 1 + y 2 .
Due to 3 < k 1 < k 2 , we get y 1 0 and y 2 0 . The substitution of (A7) into (A6) gives us:
z 1 = y 2 2 + ( 4 y 1 15 1 ) y 2 y 1 2 8 y 1 18 18 < 0 .
The lemma is proven.  □
Lemma A5.
For all 3 < k 1 < k 2 :
z 3 = 9 ( k 1 k 2 ) 2 3 ( ( k 1 2 6 k 1 + 6 ) k 1 + ( k 2 2 6 k 2 + 6 ) k 2 + ( k 1 + k 2 ) k 1 k 2 4 ) 2 ( k 1 + k 2 ) + ( 12 6 k 1 6 k 2 + ( k 1 + k 2 ) 2 ) k 1 k 2 > 0 .
Proof. 
Substituting (A7) into (A9), we obtain:
z 3 = ( y 1 + 1 ) y 2 3 + ( 5 y 1 2 + 25 y 1 + 20 ) y 2 2 + ( 8 y 1 3 + 70 y 1 2 + 191 y 1 + 145 ) y 2 + 4 y 1 4 + 48 y 1 3 + 209 y 1 2 + 383 y 1 + 234 234 > 0 ,
since y 1 0 and y 2 0 . The lemma is proven.  □

References

  1. Zwiebach, B. Curvature squared terms and string theories. Phys. Lett. B 1985, 156, 315. [Google Scholar] [CrossRef]
  2. Fradkin, E.S.; Tseytlin, A.A. Effective field theory from quantized strings. Phys. Lett. B 1985, 158, 316–322. [Google Scholar] [CrossRef] [Green Version]
  3. Fradkin, E.S.; Tseytlin, A.A. Effective action approach to superstring theory. Phys. Lett. B 1985, 160, 69–76. [Google Scholar] [CrossRef] [Green Version]
  4. Gross, D.; Witten, E. Superstrings modifications of Einstein’s equations. Nucl. Phys. B. 1986, 277, 1. [Google Scholar] [CrossRef]
  5. Ishihara, H. Cosmological solutions of the extended Einstein gravity with the Gauss–Bonnet term. Phys. Lett. B 1986, 179, 217. [Google Scholar] [CrossRef]
  6. Deruelle, N. On the approach to the cosmological singularity in quadratic theories of gravity: The Kasner regimes. Nucl. Phys. B 1989, 327, 253–266. [Google Scholar] [CrossRef] [Green Version]
  7. Nojiri, S.; Odintsov, S.D. Introduction to modified gravity and gravitational alternative for Dark Energy. Int. J. Geom. Meth. Mod. Phys. 2007, 4, 115–146. [Google Scholar] [CrossRef] [Green Version]
  8. Cognola, G.; Elizalde, E.; Nojiri, S.; Odintsov, S.D.; Zerbini, S. One-loop effective action for non-local modified Gauss–Bonnet gravity in de Sitter space. Eur. Phys. J. C 2009, 64, 483–494. [Google Scholar] [CrossRef] [Green Version]
  9. Elizalde, E.; Makarenko, A.N.; Obukhov, V.V.; Osetrin, K.E.; Filippov, A.E. Stationary vs. singular points in an accelerating FRW cosmology derived from six-dimensional Einstein–Gauss–Bonnet gravity. Phys. Lett. B 2007, 644, 1–6. [Google Scholar] [CrossRef] [Green Version]
  10. Bamba, K.; Guo, Z.-K.; Ohta, N. Accelerating Cosmologies in the Einstein–Gauss–Bonnet theory with dilaton. Prog. Theor. Phys. 2007, 118, 879–892. [Google Scholar] [CrossRef] [Green Version]
  11. Toporensky, A.; Tretyakov, P. Power-law anisotropic cosmological solution in 5+1 dimensional Gauss–Bonnet gravity. Grav. Cosmol. 2007, 13, 207–210. [Google Scholar]
  12. Pavluchenko, S.A.; Toporensky, A.V. 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 2009, 24, 513–521. [Google Scholar] [CrossRef] [Green Version]
  13. Kirnos, I.V.; Makarenko, A.N. Accelerating cosmologies in Lovelock gravity with dilaton. Open Astron. J. 2010, 3, 37–48. [Google Scholar] [CrossRef] [Green Version]
  14. Pavluchenko, S.A. On the general features of Bianchi-I cosmological models in Lovelock gravity. Phys. Rev. D 2009, 80, 107501. [Google Scholar] [CrossRef] [Green Version]
  15. Kirnos, I.V.; Makarenko, A.N.; Pavluchenko, S.A.; Toporensky, A.V. The nature of singularity in multidimensional anisotropic Gauss–Bonnet cosmology with a perfect fluid. Gen. Relativ. Gravit. 2010, 42, 2633–2641. [Google Scholar] [CrossRef] [Green Version]
  16. Ivashchuk, V.D. On anisotropic Gauss–Bonnet cosmologies in (n + 1) dimensions, governed by an n-dimensional Finslerian 4-metric. Grav. Cosmol. 2010, 16, 118–125. [Google Scholar] [CrossRef] [Green Version]
  17. Ivashchuk, V.D. On cosmological-type solutions in multidimensional model with Gauss–Bonnet term. Int. J. Geom. Meth. Mod. Phys. 2010, 7, 797–819. [Google Scholar] [CrossRef] [Green Version]
  18. Maeda, K.-I.; Ohta, N. Cosmic acceleration with a negative cosmological constant in higher dimensions. JHEP 2014, 1406, 95. [Google Scholar] [CrossRef] [Green Version]
  19. Chirkov, D.; Pavluchenko, S.A.; Toporensky, A. Exact exponential solutions in Einstein–Gauss–Bonnet flat anisotropic cosmology. Mod. Phys. Lett. A 2014, 29, 1450093. [Google Scholar] [CrossRef] [Green Version]
  20. Chirkov, D.; Pavluchenko, S.A.; Toporensky, A. Non-constant volume exponential solutions in higher-dimensional Lovelock cosmologies. Gen. Relativ. Gravit. 2015, 47, 137. [Google Scholar] [CrossRef] [Green Version]
  21. Ivashchuk, V.D.; Kobtsev, A.A. On exponential cosmological type solutions in the model with Gauss–Bonnet term and variation of gravitational constant. Eur. Phys. J. C 2015, 75, 177. [Google Scholar] [CrossRef] [Green Version]
  22. Pavluchenko, S.A. Stability analysis of exponential solutions in Lovelock cosmologies. Phys. Rev. D 2015, 92, 104017. [Google Scholar] [CrossRef] [Green Version]
  23. Pavluchenko, S.A. Cosmological dynamics of spatially flat Einstein–Gauss–Bonnet models in various dimensions: Low-dimensional Λ term case. Phys. Rev. D 2016, 94, 084019. [Google Scholar] [CrossRef] [Green Version]
  24. Canfora, F.; Giacomini, A.; Pavluchenko, S.A.; Toporensky, A. Friedmann dynamics recovered from compactified Einstein–Gauss–Bonnet cosmology. Grav. Cosmol. 2018, 24, 28. [Google Scholar] [CrossRef] [Green Version]
  25. Ernazarov, K.K.; Ivashchuk, V.D.; Kobtsev, A.A. On exponential solutions in the Einstein–Gauss–Bonnet cosmology, stability and variation of G. Grav. Cosmol. 2016, 22, 245–250. [Google Scholar] [CrossRef]
  26. Ivashchuk, V.D. On stability of exponential cosmological solutions with non-static volume factor in the Einstein–Gauss–Bonnet model. Eur. Phys. J. C 2016, 76, 431. [Google Scholar] [CrossRef] [Green Version]
  27. Ivashchuk, V.D. On Stable Exponential Solutions in Einstein–Gauss–Bonnet Cosmology with Zero Variation of G. Grav. Cosmol. 2017, 22, 329–332. [Google Scholar] [CrossRef] [Green Version]
  28. Ernazarov, K.K.; Ivashchuk, V.D. Stable exponential cosmological solutions with zero variation of G in the Einstein–Gauss–Bonnet model with a Λ term. Eur. Phys. J. C 2017, 77, 89. [Google Scholar] [CrossRef] [Green Version]
  29. Ernazarov, K.K.; Ivashchuk, V.D. Stable exponential cosmological solutions with zero variation of G and three different Hubble-like parameters in the Einstein–Gauss–Bonnet model with a Λ term. Eur. Phys. J. C 2017, 77, 402. [Google Scholar] [CrossRef] [Green Version]
  30. Ivashchuk, V.D.; Kobtsev, A.A. Stable exponential cosmological solutions with 3- and l-dimensional factor spaces in the Einstein–Gauss–Bonnet model with a Λ term. Eur. Phys. J. C 2018, 78, 100. [Google Scholar] [CrossRef] [Green Version]
  31. Nojiri, S.; Odintsov, S.D.; Oikonomou, V.K. Modified Gravity Theories on a Nutshell: Inflation, Bounce and Late-time Evolution. Phys. Rept. 2017, 692, 1–104. [Google Scholar] [CrossRef] [Green Version]
  32. Benetti, M.; Santos da Costa, S.; Capozziello, S.; Alcaniz, J.S.; De Laurentis, M. Observational constraints on Gauss–Bonnet cosmology. Int. J. Mod. Phys. 2018, 27, 1850084. [Google Scholar] [CrossRef] [Green Version]
  33. Nojiri, S.; Odintsov, S.D.; Oikonomou, V.K. Unifying Inflation with Early and Late-time Dark Energy in F(R) Gravity. arXiv 2019, arXiv:1912.13128. [Google Scholar]
  34. Riess, A.G.; Filippenko, A.V.; Challis, P.; Clocchiatti, A.; Diercks, A.; Garnavich, P.M.; Gilliland, R.L.; Hogan, C.J.; Jha, S.; Kirshner, R.P.; et al. Observational evidence from supernovae for an accelerating universe and a cosmological constant. Astron. J. 1998, 116, 1009–1038. [Google Scholar] [CrossRef] [Green Version]
  35. Perlmutter, S.; Aldering, G.; Goldhaber, G.; Knop, R.A.; Nugent, P.; Castro, P.G.; Deustua, S.; Fabbro, S.; Goobar, A.; Groom, D.E.; et al. Measurements of Omega and Lambda from 42 High-Redshift Supernovae. Astrophys. J. 1999, 517, 565–586. [Google Scholar] [CrossRef]
  36. Kowalski, M.; Rubin, D.; Aldering, G.; Agostinho, R.J.; Amadon, A.; Amanullah, R.; Balland, C.; Barbary, K.; Blanc, G.; Challis, P.J.; et al. Improved cosmological constraints from new, old and combined supernova datasets. Astrophys. J. 2008, 686, 749–778. [Google Scholar] [CrossRef] [Green Version]
  37. Lovelock, D. The Einstein tensor and its generalizations. J. Math Phys. 1971, 12, 498. [Google Scholar] [CrossRef]
  38. Chern, S.-S. On the Curvatura Integra in a Riemannian Manifold. Ann. Math. 1945, 46, 674–684. [Google Scholar] [CrossRef] [Green Version]
  39. Ernazarov, K.K.; Ivashchuk, V.D. Examples of Stable Exponential Cosmological Solutions with Three Factor Spaces in EGB Model with a Λ-Term. Grav. Cosmol. 2019, 25, 164–168. [Google Scholar] [CrossRef] [Green Version]
  40. Ivashchuk, V.D.; Kobtsev, A.A. Exponential cosmological solutions with two factor spaces in EGB model with Λ=0 revisited. Eur. Phys. J. C 2019, 79, 824. [Google Scholar] [CrossRef]
Figure 1. The function λ = f ( x 1 ) for k 1 = 5 , k 2 = 6 .
Figure 1. The function λ = f ( x 1 ) for k 1 = 5 , k 2 = 6 .
Symmetry 12 00250 g001
Figure 2. The function λ = f ( x 1 ) for k 1 = 4 , k 2 = 6 .
Figure 2. The function λ = f ( x 1 ) for k 1 = 4 , k 2 = 6 .
Symmetry 12 00250 g002
Figure 3. The function λ = f ( x 1 ) for k 1 = 4 , k 2 = 5 .
Figure 3. The function λ = f ( x 1 ) for k 1 = 4 , k 2 = 5 .
Symmetry 12 00250 g003
Figure 4. The function λ = f ( x 1 ) for k 1 = k 2 = 4 .
Figure 4. The function λ = f ( x 1 ) for k 1 = k 2 = 4 .
Symmetry 12 00250 g004
Figure 5. The function λ = f ( x 1 ) for k 1 = k 2 = 2 .
Figure 5. The function λ = f ( x 1 ) for k 1 = k 2 = 2 .
Symmetry 12 00250 g005

Share and Cite

MDPI and ACS Style

Ernazarov, K.K.; Ivashchuk, V.D. Exponential Cosmological Solutions with Three Different Hubble-Like Parameters in (1 + 3 + k1 + k2)-Dimensional EGB Model with a Λ-Term. Symmetry 2020, 12, 250. https://doi.org/10.3390/sym12020250

AMA Style

Ernazarov KK, Ivashchuk VD. Exponential Cosmological Solutions with Three Different Hubble-Like Parameters in (1 + 3 + k1 + k2)-Dimensional EGB Model with a Λ-Term. Symmetry. 2020; 12(2):250. https://doi.org/10.3390/sym12020250

Chicago/Turabian Style

Ernazarov, K. K., and V. D. Ivashchuk. 2020. "Exponential Cosmological Solutions with Three Different Hubble-Like Parameters in (1 + 3 + k1 + k2)-Dimensional EGB Model with a Λ-Term" Symmetry 12, no. 2: 250. https://doi.org/10.3390/sym12020250

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop