Abstract
We study evolution of manifolds after their creation at high energies. Several kinds of gravitational Lagrangians with higher derivatives are considered. It is shown analytically and confirmed numerically that an asymptotic growth of the maximally symmetric manifolds depends strongly on their dimensionality. A number of final metrics describing our Universe is quite poor if we limit ourselves with a maximally symmetric extra space. We show that the initial conditions can be a reason of nontrivial solutions (funnels) and study their properties.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The compact extra spaces is widely used idea. Their inclusion into physical theories helps to move forward on such issues as the grand unification [1, 2], neutrino mass [3], the cosmological constant problem [4, 5] and so on. Any multi-dimensional model has to lead to the effective 4-dim theory at low energies. This would imply relations between the observable four-dimensional physics and a metric of the higher dimensions.
One of the question remaining not clarified yet is: why specific number of dimensions are compactified and stable while others expand [6,7,8]? Which specific property of subspace leads to its quick growth? There are many attempts to clarify the problem, mostly related to introduction of fields other than gravity. It may be a scalar field [6, 9] (most used case), gauge fields [10]. A static solutions can be obtained using the Casimir effect [11] or form fields [12, 13]. Sometimes one of the subspace is assumed to be FRW space by definition [14]. Another possibility was discussed in [15, 16]: it was shown that if the scale factor a(t) of our 3D space is much larger than the growing scale factor b(t) of the extra dimensions, a contradiction with observations can be avoided.
The origin of our Universe is usually related to its quantum creation from the space-time foam at high energies [17, 18]. The probability of its creation is widely discussed, see e.g. [19]. Here we are interested in the subsequent classical evolution of the metrics rather than a calculation of this probability. Manifolds are nucleated having specific metrics. The set of such metrics is assumed to be very rich. After nucleation, these manifolds evolve classically forming a set of asymptotic manifolds, one of which could be our Universe. In this paper the asymptotic set of the maximally symmetric manifolds with positive curvature is studied in the framework of pure gravity with higher derivatives. We consider models of the f(R) gravity and a more general model acting in 5 and 6 dimensions. No other fields are attracted to stabilize an extra space. We have found out that a number of asymptotic solutions is quite limited. This conclusion was confirmed both analytically and numerically. There is a set of initial conditions that lead to a common asymptote of classical solutions. In Sect. 3 we have elaborated a method for prediction the asymptotic behavior of metric judging on the specific form of the initial metric. We also study the funnel solution [20] as the result of an inhomogeneity of initial metric.
The gravity with higher derivatives is widely used in modern research despite the internal problems inherent in this approach [21]. Attempts to avoid the Ostrogradsky instabilities are made [22] and extensions of the Einstein–Hilbert action attract much attention. Promising branch of such models is based on the Gauss–Bonnet Lagrangian and its generalization to the Lovelock gravity. These models were adjusted to obtain differential equations of the second order so that the Ostrogradsky theorem is not dangerous for such models.
A lot of papers devoted to the f(R)-gravity – the simplest extension of the Einstein–Hilbert gravity. Reviews [23, 24] contain description of the f(R)-theories including extension to the Gauss–Bonnet gravity. Examples of research with specific form of the function f(R) can be found in [25, 26]. Most of the research assume positive curvature of extra space metric, but as was shown in [27], hyperbolic manifolds can also be attracted to explain the observable acceleration of the Universe.
In the framework of the gravity with higher derivatives, a variety of regimes with expanding three and contracting extra dimensions has been found in [28,29,30,31,32]. The power-law and the exponential analytical behavior of scale-factors are studied in [33, 34]. Stability of specific extra space metrics is discussed in [5, 34,35,36]. The conclusion is that stable metrics do exist but their fraction is quite small. Here we consider a wider class of metrics depending on the initial conditions. It was found out that different initial metrics can lead to one and the same asymptotic solution.
Throughout this paper we use the conventions for the curvature tensor \(R_{ABC}^D=\partial _C\Gamma _{AB}^D-\partial _B\Gamma _{AC}^D+\Gamma _{EC}^D\Gamma _{BA}^E-\Gamma _{EB}^D\Gamma _{AC}^E\) and for the Ricci tensor \(R_{MN}=R^F_{MFN}\).
2 Destiny of subspaces: exact results
2.1 Setup and classical equations
In this section we analyze the classical behavior of the extra space metrics. This can be done on the basis of two well known frames – the Jordan frame and the Einstein one, which are connected by the conformal transformation [37]. There are intensive debates on the selection of the frame that should be used for appropriate description of the Nature [38]. Our analysis is mainly based on the Jordan frame.
Let a \(D=1+d_1+d_2\)-dimensional space-time \(T\times M_{d_1}\times M_{d_2}\) has been nucleated due to some quantum processes at high energies. The probability of this process is a subtle point and we do not discuss it in this paper. The entropy growth leads to evolution of subspaces, to those which are the maximally symmetric [39]. In this paper we study the classical evolution of subspaces \(M_{d_1}\) and \(M_{d_2}\) whose metric
is assumed to be maximally symmetric with a positive curvature. It is supposed that manifolds are born with accidental shape. Subsequently they acquire symmetries due to the entropy growth [39]. We start our study after the process of symmetrization is finished. In this section, we consider the following action
where R is the scalar curvature of a D-dimensional space-time. This action appears to be an appropriate tool to study the behavior of the system just after its nucleation.
Einstein’s equations of this theory are
where \(\square = \nabla _{A}\nabla ^{A}\) and \(f_R\equiv df(R)/dR\). Using the results given in Appendix A, we can write the nontrivial equations of this system as
in terms of metric (1). Here we have kept in mind \(\partial _t f_R=f_{RR}{\dot{R}}\) and \(\partial ^2_t f_R=f_{RRR}{\dot{R}}^2 + f_{RR}{\ddot{R}}\). According to (A13), the Ricci scalar is
For calculations it is convenient to consider the Ricci scalar R(t) as additional unknown function and the definition (7) as the fourth equation. Three equations of this system [for example, (4), (5), (7)] can be solved with respect to the higher derivatives \(\ddot{\beta }_1, \ddot{\beta }_2, {\ddot{R}}\). Then substituting \(\ddot{\beta }_1\) and \(\ddot{\beta }_2\) into equation (6), we obtain the equation
which plays the role of restricting the solutions of the coupled second order differential equations. This can be checked, for example, by writing the set of four Eqs. (4), (5), (7), (8) as an equivalent set of (six) coupled first-order equations plus one algebraic equation. The Eq. (8) reduces to the algebraic transcendental equation, i.e., it is a constraint. The complete set of initial conditions therefore requires specifying six pieces of information, namely \(\beta _1 (t_0), \beta _2 (t_0), R(t_0), {\dot{\beta }}_1 (t_0), {\dot{\beta }}_2 (t_0)\), and \({\dot{R}}(t_0)\). These initial conditions are not independent due to Eq. (8). The latter will be used to derive an exact relation between these initial data.
2.2 Analysis of numerical solutions and their asymptotes
The system of differential equations is highly nonlinear so that one could expect a rich set of its solutions. In this section a set of solutions is discussed. It will be also shown that solutions and their asymptotes depend on the dimensionality of the extra spaces. To perform numerical simulation one needs to specify the form of the function f(R) and the initial values of the functions \(\beta _1(t), \beta _2(t), {{\dot{\beta }}}_1(t), {{\dot{\beta }}}_2(t), \dot{R}(t)\) at \(t=0\). The initial value R(0) is found from auxiliary condition (8). Let
with the parameter values
Our choice being quite arbitrary doesn’t contain small parameters. Now we are ready to fix the subspace dimensions and perform numerical calculations.
2.2.1 The case \(d_1=3,d_2=3\)
Figure 1 shows the numerical solution of the system of Eqs. (4), (5) and (7) in various regions of time variation. The beginning of the motion is shown at the left panel. The time behavior of both functions \(\beta _1(t)\) and \(\beta _2(t)\) differ from each other due to difference in the initial conditions, see the capture of Fig. 1. The panel in the middle indicates similar asymptotic behavior of the solutions. The more detailed figure on the right panel helps to distinguish the functions \(\beta _1(t)\) and \(\beta _2(t)\).
Variation of the boundary conditions does not alter the asymptotes – see Fig. 2. This observation can be proved analytically. Suppose that the asymptotic behavior is as follows
which is usual for the De Sitter metric. In this case we can strongly simplify the equations of motion. At \(t \rightarrow \infty \) Eq. (7) gives
Equations (4), (5), (6) at \(t \rightarrow \infty \) are transformed into the system of algebraic equations
According to these equations, the subspaces are expanded with equal speed,
If we substitute these expressions in (12), then we obtain the equation for \(R_0\)
We note that the results at \(t \rightarrow \infty \) do not depend on the initial conditions and \(H_1, H_2, R\) are consistent with the numerical results. Nevertheless, the conclusion that the asymptotic behavior is independent of the initial conditions in their whole range is hasty. Indeed, if we change the parameter \({\dot{\beta }}_2(0)\) in the set displayed in Fig. 1 to the value \({\dot{\beta }}_2(0)=0.1\) or smaller, the behavior of solution changes drastically. As shown in Fig. 3 the stable solution is absent.
2.2.2 The case \(d_1=3,d_2=2\)
Numerical simulation reveals the fact that both subspaces expand equally (see the middle and the right plots in Fig. 4). Moreover, the rate of expansion at \(t\rightarrow \infty \) does not depend on the initial conditions. However, in contrast to the previous case, the expansion rate is proportional to \(\exp {(Bt^2)}\).
Let us check analytically that the asymptotes have the form
In this case Eq. (7) gives
and Eqs. (4), (5), (6) look as follows
Here we analyze theories with f(R) such that
which is true, for example, for theories with a polynomial function
though another class of models that does not satisfy this condition exists, see e.g. [40]. For our case, expressions
are true if we take into account (18). In turn, the Eqs. (19), (20), (21) acquire the simple form
It gives
and the final expression for the Ricci scalar (18) is as follows
According to (23) \(\frac{\displaystyle f}{\displaystyle f_R} \simeq n R(t) \sim t^2 \) at \(t \rightarrow \infty \). The latter being substituted into (28) gives the relation between the degree of the polynomial “n” in (23) and the dimensionality \(d_1\) and \(d_2\)
The choice made in this subsection \((n=3, d_1=3, d_2=2)\) satisfies this condition. The value of the parameters \(B_1 = B_2 = 0.00256\) was obtained numerically.
We conclude that interplay between the dimensionality of extra spaces and the form of the function f(R) influence the asymptotic behavior of the extra space metrics. This conclusion is true for those initial conditions that lead to stable solutions. As was shown numerically, if the derivatives \({\dot{\beta }}_{1}(0), {\dot{\beta }}_{2}(0)\) are small there are no stable solutions.
2.2.3 Extra space with constant volume, \(\beta _2(t)=const\)
The discussion above indicates that time dependence of extra space metric is determined by the initial conditions, though asymptotes have more universal character. The latter leads to growing volumes of both extra spaces. This means that such solutions are hardly applicable to description of our Universe. A more realistic case relates to the situation when one of the subspaces (say \(M_{d_2}\)) has a stationary radius \(e^{\beta _c}\),
while the other one, \(M_{d_1}\), expands. In this case, the system of Eqs. (4)–(7) admits an analytic solution. More definitely, the combination \(d_1 \cdot \) (4) \(-d_1\cdot \) (5 \(+\) (6) \(-f_R \cdot \) (7) gives
For a given function f(R) this equation determines R(t)
Substituting expressions (31) and (33) into Eqs. (4)–(7) leads to the following system of 4 equations
Subtracting Eq. (35) from (37), we obtain
that gives the connection
for \( d_1 \ne 1, \ \left. f_R \right| _{R=R_0} \ne 0 \)
Then the Eqs. (34)–(37) are reduced to
The solution of Eqs. (40) and (39) with respect to \(\beta _1(t)\) is
where \(H, \ R_0\) and \(\beta _c\) can be found from the last relations (40). Analytical solution (41) at \(t \rightarrow \infty \) describes the de Sitter space with nonzero Hubble parameter H.
The result looks promising, but our numerical simulation indicates that this solution is instable.
In this section we have obtained the set of asymptotic metrics in the framework of f(R) gravity. Dependence on the initial conditions appears to be nontrivial. Nevertheless, two issues should be clarified. Namely, the question on the stability of these solutions remains. Connection between the initial conditions and the asymptotes of the metric is also not clear.
3 Classical evolution of extra metric
3.1 Destiny of subspaces and initial conditions
This section is devoted to the problems mentioned above on more realistic basis. The fact is that f(R) theory with compact maximally symmetric extra dimensions can not reproduce the Minkowski space at low energies [41]. This means that modern de Sitter stage (which is extremely close to the Minkowski metric) can be achieved by the price of ultra-fine tuning of Lagrangian parameters. Therefore we have to start with a more general form of action.
The Gauss–Bonnet Lagrangian
is the appropriate starting point because of the absence of higher derivatives in the equations of motion. Lagrangian containing the Gauss–Bonnet term plus f(R) term (a function of the Ricci scalar) was used to describe the dark energy phenomenon [42]. Nevertheless we will use more general form of the pure gravitational action [43]
It is assumed that such Lagrangian is the basis of an effective theory [44]. In the following, the parameter \(b=1\) without the lost of generality. The Gauss-Bonnet term can be restored if \(c_1=-4, c_2 =1\).
In this section we develop the approach to study simultaneous evolution of two subspaces analytically. To make notations more familiar, we will denote \(M_{d_0}= T\times M_{d_1},\quad D=d_0+d_2, d_0=d_1+1\) (\(d_0 =4\) for our Universe) and consider metric of the form
where the indexes \(i, j, k, \ldots \) refer to the \(d_0\)-dim part of the metric, and \(a,b,\ldots \) to its extra-dimensional part; (x) and (y) mark the dependence on \(x^i\) and \(y^a\), respectively. The subspaces \(M_{d_1}\) and \(M_{d_2}\) are assumed to be maximally symmetric.
A substantial simplification of the field equations is achieved if we consider only those events for which the radius \(r_1 \equiv e^{2\beta _1(t)}\) of the subspace \(M_{d_1}\) is much larger size than the radius \(r_2 \equiv e^{2\beta _2(t)}\) of the space \(M_{d_2}\), or in terms of the Ricci scalars
We also suppose that the metrics of both spaces \(M_{d_1}\) and \(M_{d_2}\) vary slowly along \(d_0\) coordinates as compared to the extra coordinates \(y^a\). More specifically,
that is, each derivative \(\partial _k\) contains a small parameter \(\epsilon \).
This choice breaks the equivalence of these two subspaces and we can follow the method elaborated in [43]. It will be shown that the larger subspace grows constantly while the destiny of the smaller subspace depends on initial conditions.
Then metric (1) leads to the Ricci scalar in the form
Additional inequality
followed from agreement (46) means that the functions \(\beta _1 (t), \beta _2 (t)\) varies slowly. According to this inequality and relation (47) at hand we can perform the Tailor decomposition of the function f(R)
in the units \(m_D =1\). Here \( v_{d_2}= 2\pi ^{\frac{d_2+1}{2}}/\Gamma (\frac{d_2+1}{2})\) is the volume of \(d_2\)-dimensional sphere.
The Planck mass may be determined as a multiplier of the Ricci scalar \(R_{d_0}\) in expression (49). It is assumed that the field \(\beta _2\) has been settled in a potential minimum in the modern epoch of the Universe evolution and hence \(\beta _2 =\beta _c =const\) for the second subspace. In this case the observable Planck mass is
Here the asymptotes \(\beta _2(t=\infty )=\beta _c\) and \(\phi _c= d_2(d_2-1)e^{-2\beta _c}\) are written in the Jordan frame.
It is more familiar to work in the Einstein frame. To this end we have to perform conformal transformation
of the metric describing the subspace \(M_{d_0}\). That leads to the action in the Einstein frame in the form [43]
We have got Einstein gravity with the uniformly distributed scalar field
where our physical intuition works properly. The extra space volume \(v_{d_2}\) plays the role of the Planck mass square in the Einstein frame in \(m_D\) units. Remind for the future that the observable Planck mass (50) is written in terms of the Jordan frame.
The action (52) leads to the Einstein–Hilbert equations with a scalar field. Solutions to these equations, \(\beta _1(t)\) and \(\phi _2(t)\), evidently depends on initial conditions. Due to relation (55), knowledge of time dependence of \(\phi _2(t)\) means knowledge of the metric \(\beta _{2}(t)\). Our nearest aim is to study asymptotic behavior of functions \(\beta _1(t\rightarrow \infty ),\beta _{2}(t\rightarrow \infty )\).
The potential (54) with specific parameter values is represented in Fig. 5. We remind that the volume of the subspace \(M_{d_1}\) is much greater than the same for \(M_{d_2}\) from the beginning, see inequality (45).
There are two different types of the metrics evolution depending on initial conditions. The first case is realized when the space \(M_{d_2}\) is nucleated with the Ricci scalar \(\phi _{2,in}\) from the right of the potential maximum, see Fig. 5. The final stationary state is characterized by the field in the potential minimum at \(\phi _2=\phi _c=const=0.04\). It means that the Ricci scalar \(R_{d_2}\equiv \phi _c =const\) and hence the size of extra space \(M_{d_2}\) is also constant,
On the other hand, the constant term \(V_E(\phi _c)\) in the action (52) plays the role of the cosmological constant. Therefore, another subspace \(V_{d_0}\) is described by the De Sitter metric at \(t\rightarrow \infty \) provided that \(V_E(\phi _c)>0\). Its scale factor grows exponentially.
The second case is realized when the space \(M_{d_2}\) is nucleated with the Ricci scalar \(\phi _{2,in}\) from the left of the potential maximum, see Fig. 5 and the field \(\phi _2\) starts its classical motion to zero value. That means that the size of the extra space is increasing with time according to relation (56).
We conclude that a destiny of nucleated subspaces drastically depends on initial conditions, see also discussion in [38]. There are only two ways of metric evolution if one subspace is much greater than the other from the beginning.
3.2 Fixing parameters
The action (43) contains several parameters – \(c_1, c_2\) and those containing in the function f(R). Some connections between them should be imposed if we intend to consider this model as the ordinary scalar field acting in the Minkowski space. The first conditions
supply the energy density of the Universe be zero. The inequalities
are needed for the stability reasons. We also assume that the curvature of extra space is positive and the Planck mass is a real number – see (50). This leads to the additional inequalities
The algebraic equations (57) together with definition (54) give position of the potential minimum
and connection between the Lagrangian parameters
valid for the Minkowski metric of the space \(M_{d_0}\). Here we assume \(b\ne 1\) for generality.
Consider inequalities (58) and (59) in more detail. First inequality in (58) gives
Second inequality in (58) leads to the following expression:
Inequalities
are the result of expressions (59).
The action parameters must satisfy conditions (60)–(64) for the (43) model, so that it is realistic. The numerical values of the parameters used in Fig. 5 do satisfy these conditions.
3.3 Analysis of the metric dynamic
As shown above, there are different ways of the metric evolution depending on the initial conditions. In this Section, we analyze the space expansion before the modern horizon has been appeared. Numerical values of the physical parameters are chosen such that they satisfy conditions (60)–(64). Suppose that the second subspace \(M_{d_2}\) was nucleated with the Ricci scalar \(\phi _2 =\phi _{2,in}=0.02\), see Fig. 5 while the first extra space \(M_{d_0}\) was nucleated having much larger the Ricci scalar. The dynamic of the field \(\phi _2\) is evident due to mechanical analogy: it will move to the potential minimum at \(\phi _{2}=\phi _c=0.04\). Our interest is to evaluate the character of this motion as well as the dynamic of the larger subspace \(M_{d_0}\).
According to (52), the Lagrangian has the form
For our estimations, it is enough to approximate the kinetic term by the constant, \(K_E(\phi _{2,in})=K_E(0.02)\simeq 6\cdot 10^{-6}\) and the potential by a linear function \(V_E (\phi _2)\simeq V_E (\phi _{2,in})+V'_E (\phi _{2,in})(\phi _2- \phi _{2,in})\). These approximations are valid in a region around \(\phi _{2,in}\). In terms of new field
the Lagrangian acquires the form
in the vicinity of \(\phi _{2,in}\). Equation of motion for the scalar field is as follows
Following the spirit of the inflationary ideas we use here the slow roll approximation (the second derivative in (68) is omitted) and the gravitational part is reduced to equation
for \(d_1=3\) with denotation \(H={\dot{\beta }}_1(t)\). Therefore, the size of the first extra space grows as
while the size of the second extra space evolves along the slope of the potential in Fig. 5. Its motion is described by the solution
of Eq. (68) in the slow role approximation and relations (55), (66).
The formulas above are written in the units \(m_D=1\). Transition to the physical units can be performed by connection (50) between the observable Planck mass and D-dimensional Planck mass \(m_D\). The numerical values of the parameters, see capture of Fig. 5 gives \(m_D\simeq M_{Pl}/26\) where we have used \(\phi _2 =\phi _c=0.04\) at the potential minimum and have restored \(m_D\).
Now we can estimate the “Hubble” parameter H (69). Keeping in mind the value \(V_E(\phi _{2,in})\simeq 2.5\cdot 10^{-5}m_D^4\) taken from the potential curve in Fig. 5 we obtain \(H\sim 3\cdot 10^{-3}M_{Pl}\). The period of time growing from the scale \(m_D^{-1}\sim 10^{-31}\)cm to the inflationary scale \(10^{-27}\)cm is \(t\sim 10^4 /M_{Pl}\sim 10^{-39}\)sec where the scale factor is assumed to be growing as \(\simeq e^{Ht}\).
A remark is necessary. Up to now we study the rate of expansion in the Einstein picture. In the Jordan picture the expansion rate is different and can be found by application of formula (51)–(70)
If the field \(\phi _2\) moves slowly to its minimum as it is in most inflationary models, exponential grows of the main space remains the same qualitatively while the size of the second extra space tends to constant.
We have considered the first type of the metric evolution. The second type (the subspace \(M_{d_2}\) is also increasing) is realized if this subspace is nucleated with a small value of the Ricci scalar (from the left of the potential maximum in Fig. 5). To simplify our analysis, consider motion near \(\phi _2 =0\). In this case the functions \(K_E\) and \(V_E\) may be approximated by the first term in the Tailor decomposition,
Substitution of (55) leads to classical equation for \(\beta _2(t)\) which can be solved analytically. The result is
where \(C_i\) is a constant depending on initial conditions. Therefore the size of subspace \(M_2\) grows exponentially.
As the result, the first subspace \(M_{d_1}\) exponentially grows while the second space \(M_{d_2}\) has two variants of evolution. If it was born with the Ricci scalar \(R_{d_2}\) from the left of the potential maximum in Fig. 5, this subspace is expanded (its radius is proportional to \(\sqrt{2/\phi _2}\)). If it was born with the Ricci scalar \(R_{d_2} =\phi _2\) from the right of the potential maximum, this subspace volume tends to the finite value.
4 Funnel as a connection of two subspaces
Discussion in this section is devoted to consequences of the most promising case we have found – one extra space expands while the volume of the second one tends to constant. The particular coordinate could experience expansion or contraction depending on the initial conditions. The question is: what happens if the initial conditions are different in two areas of the manifold M?
Consider a manifold M with topology \(T \times M_1 \times M_2 \times M_3\), where \(M_1\) is 1-dimensional infinite flat space, and \(M_2, M_3\) are 2-dimensional spheres. We study the pure gravitational field action in the form (43) with the metric
Here A(u), \(\beta _1(u)\) and \(\beta _2(u)\) are functions of the Schwarzschild radial coordinate u, \(-\infty< u < \infty \). The Ricci scalar has the form
with prime denoting differentiation with respect to u. For the Ricci tensor squared we have
where
whereas the Kretschmann scalar is as follows
where
We are going to describe the structure of the funnel, which is the transition between the domain with (large \( M_2 \)/small \( M_1 \)) subspaces and the domain with subspaces (large \( M_1 \)/small \( M_2 \)) [20]. It is implied that the Minkowski metric is realized asymptotically which imposes the following restrictions
Here \(r_0=e^{\beta _c}\) is the radius of extra space at \(u\rightarrow \infty \). The value of \(r_0 = 1/\sqrt{-c}\) is connected with the physical parameter c according to formulas (55), (60), (61).
Numerical simulations were performed using the Ritz method which means that metric functions \(A(u), \beta _1(u), \beta _2(u)\) in (74) are approximated by trial functions. Let us choose the trial functions in the form
keeping in mind conditions (80), (81). Parameters \(\xi _1, \xi _2, \xi _3\) are not independent. Indeed, the integrand in (43) has to decrease faster than 1 / u when u tends to infinity in order to avoid divergences. The determinant grows as \(g \sim u^4\) so the content of square brackets in (43) should tend to zero faster than \(1/u^3\). It can be obtained by setting all the coefficients of terms \(u^n,n\ge -3\) equal zero in the Tailor series of the integrand. For terms \(u^n,n\ge -2\) it is achieved by the very choice of trial functions (82). For the term \(1/u^3\), the coefficient equals zero if the relation
holds. This relation between \(\xi _1, \xi _2\) and \(\xi _3\) makes them be dependent. In what follows we consider \(\xi _1,\xi _3\) as independent values, and \(\xi _2\) as their function. Parameters \(\xi _1, \xi _2, \xi _3\) are to be defined by the action minimization. Qualitative behavior of the extra space radii is represented in (Fig. 6).
Now we proceed the search of approximate metric in the following manner. The action \(S(\xi _1,\xi _3)\) appears to be a function of two variables after the substitution of trial functions (82) into action (43). Classical solutions should satisfy equations
or, according to the Ritz method, [45]
One of the ways to solve this system is to find a minimum of the auxiliary function
Note that if the trial functions are chosen absolutely correctly by accident, a minimum of the function \(\Omega _{min}=0\). Probability of such accurate choice is almost zero. So we just search for the values of parameters \(\xi _1, \xi _2(\xi _1,\xi _3), \xi _3\) which give the minimum of \(\Omega \), and consider the resulting trial functions as approximate solutions of (85).
The described minimization procedure for \(\Omega (\xi _1,\xi _2(\xi _1,\xi _3),\xi _3)\) gives the minimum at \(\xi _1^{*} = 9.96,\xi _2^*=9.57,\xi _3^*=1.85\) (see Figs 7, 8). One can also notice that the minimum is very deep. It means that the trial functions are chosen properly.
Note that parameters \(\xi _2, \xi _3\) have concrete physical sense. The asymptote of \(g_{00}\) is \(\sim 1 - \xi _2/u\), whereas for weak gravitational field we have \(g_{00} \sim 1 - 2m / u\). It means that the distant observer can ”feel” the parameter \(\xi _2\) as the mass of the object (Funnel): \(m = \xi _2/2\). The second parameter, \(\xi _3\) is related to the size of the funnel transition as \(d = r_0 + \xi _3\). Thus it is of interest to present values of these parameters in dimensional form. Using (50) and the set of values from the capture of Fig. 5 we obtain
For an external observer the funnel looks like a microscopic object with the mass of the order of the Planck scale. It does not interact with matter other than gravitationally and may serve as a dark matter candidate with nontrivial internal structure (Fig. 9).
5 Conclusion
General aim of this research is to analyze the role of initial conditions in asymptotic behavior of subspace metrics. On the basis of pure f(R) gravity we have shown that asymptotic behavior is the same for a wide set of the initial conditions. Exact asymptotes of the subspaces where obtained in an analytical form. On the other hand, the character of asymptotic depends on the topology and dimensionality of space. If the dimensionalities of extra spaces are \(d_1 =3, d_2=3\), their sizes are growing as \(e^{Ht}\) with the common Hubble parameter H in the Jordan frame. The behavior changes drastically for the case \(d_1 =3, d_2=2\). In this case the extra space sizes grow as \(e^{Bt^2}\) at \(t\rightarrow \infty \). We also obtain analytic result for asymptote of one extra space – formula (81) – provided that the size of another one is constant. This result is of purely academic interest. Indeed, as was shown in [41], 4-dim Minkowski space-time is incompatible with maximally symmetric compact extra spaces of nonzero curvature in the framework of pure f(R) gravity.
The results based on more complicated model (43) are more promising. The 4-dim Minkowski space-time and maximally symmetric compact extra spaces with positive curvature could coexist. The price is connection (61) between the parameters of the Lagrangian which may be considered as the strong fine tuning of the model. Three kinds of the solutions are found. One of them is characterized by expansion of both subspaces while the second solution describes expansion of one extra space and stabilization of the other. The third solution takes place when the initial conditions are different in separate points of a manifold. In this case, the nontrivial solution (funnel) could be formed. For observers, it looks like a point-like object of the order of the Planck mass and size. They can be considered as the dark matter candidates.
One can conclude that a number of final states of metric describing our Universe endowed by extra dimensions is quite poor if we limit ourselves with a maximally symmetric extra space. Inclusion of inhomogeneous extra spaces [41, 46, 47] improves the situation significantly.
References
N. Arkani-Hamed, S. Dimopoulos, G. Dvali, The hierarchy problem and new dimensions at a millimeter. Phys. Lett. B 429, 263–272 (1998). arXiv:hep-ph/9803315
K.R. Dienes, E. Dudas, T. Gherghetta, Grand unification at intermediate mass scales through extra dimensions. Nucl. Phys. B 537, 47–108 (1999). arXiv:hep-ph/9806292
N. Arkani-Hamed et al., Neutrino masses from large extra dimensions. Phys. Rev. D 65, 024032 (2002). arXiv:hep-ph/9811448
G.D. Starkman, D. Stojkovic, M. Trodden, Large extra dimensions and cosmological problems. Phys. Rev. D 63, 103511 (2001). arXiv:hep-th/0012226
U. Günther, P. Moniz, A. Zhuk, Nonlinear multidimensional cosmological models with form fields: stabilization of extra dimensions and the cosmological constant problem. Phys. Rev. D 68, 044010 (2003). arXiv:hep-th/0303023
B. Greene, J. Levin, Dark energy and stabilization of extra dimensions. J. High Energy Phys. 11, 96 (2007). arXiv:0707.1062
S.M. Carroll et al., Classical stabilization of homogeneous extra dimensions. Phys. Rev. D 66, 024036 (2002). arXiv:hep-th/0110149
S. Nasri, P.J. Silva, G.D. Starkman, M. Trodden, Radion stabilization in compact hyperbolic extra dimensions. Phys. Rev. D 66, 045029 (2002). arXiv:hep-th/0201063
S.V. Ketov, H. Nakada, Inflation from (R +\(\gamma \) R\(^{n}\)-2 \(\Lambda \) ) gravity in higher dimensions. Phys. Rev. D 95, 103507 (2017). arXiv:1701.08239
H. Kihara, M. Nitta, M. Sasaki, C.-M. Yoo, I. Zaballa, Dynamical compactification and inflation in Einstein–Yang–Mills theory with higher derivative coupling. Phys. Rev. D 80, 066004 (2009). arXiv:0906.4493
P. Candelas, S. Weinberg, Calculation of gauge couplings and compact circumferences from self-consistent dimensional reduction. Nucl. Phys. B 237, 397–441 (1984)
P.G.O. Freund, M.A. Rubin, Dynamics of dimensional reduction. Phys. Lett. B 97, 233–235 (1980)
Y. Kubyshin, V. Rubakov , I. Tkachev, Dynamics of compactification in Einstein-Yang-Mills theories, Int. J. Mod. Phys. A 4, 1409 (1989)
K.A. Bronnikov , S.G. Rubin, Black holes, cosmology and extra dimensions (2013). https://doi.org/10.1142/9789814374217
M. Yoshimura, Effective action and cosmological evolution of scale factors in higher-dimensional curved spacetime. Phys. Rev. D 30, 344–356 (1984)
K.A. Bronnikov, V.N. Melnikov, S.G. Rubin, I.V. Svadkovsky, Nonlinear multidimensional gravity and the Australian dipole. Gen. Relativ. Gravit. 45, 2509–2528 (2013). arXiv:1301.3098
H. van Elst, J.E. Lidsey, R. Tavakol, Quantum cosmology and higher-order Lagrangian theories. Class. Quantum Gravity 11, 2483–2497 (1994). arXiv:gr-qc/9404044
J.J. Halliwell, Introductory Lectures on Quantum Cosmology (1990). ArXiv e-prints (2009). arXiv:0909.2566
A. Chopovsky, M. Eingorn , A. Zhuk, Kaluza–Klein multidimensional models with Ricci-flat internal spaces: the absence of the KK particles (2013). arXiv:1311.0220
S.G. Rubin, Interpenetrating subspaces as a funnel to extra space. Phys. Lett. B 759, 622–625 (2016). arXiv:1603.03880
R.P. Woodard, The theorem of Ostrogradsky (2015). arXiv:1506.02210
B. Paul, Removing the Ostrogradski ghost from degenerate gravity theories. Phys. Rev. D 96, 044035 (2017). arXiv:1702.01269
A. de Felice, f(R) theories. Living Rev. Relativ. 13, 3 (2010). arXiv:1002.4928
S. Capozziello, M. de Laurentis, Extended theories of gravity. Phys. Rep. 509, 167–321 (2011). arXiv:1108.6266
T. Saidov, A. Zhuk, AdS non-linear multidimensional (D = 8) gravitational models with stabilized extra dimensions. Gravit. Cosmol. 12, 253–261 (2006). arXiv:hep-th/0604131
T. Saidov, A. Zhuk, A nonlinear multidimensional gravitational model R+R-1 with form fields and stabilized extra dimensions. Astron. Astrophys. Trans. 25, 447–453 (2006)
P.K. Townsend, M.N. Wohlfarth, Accelerating cosmologies from compactification. Phys. Rev. Lett. 91, 061302 (2003). arXiv:hep-th/0303097
S.A. Pavluchenko, Cosmological dynamics of spatially flat Einstein–Gauss–Bonnet models in various dimensions: high-dimensional \(\Lambda \)-term case. Eur. Phys. J. C 77, 503 (2017). arXiv:1705.02578
D. Sahdev, Towards a realistic Kaluza–Klein cosmology. Phys. Lett. B 137, 155–159 (1984)
D. Sahdev, Perfect-fluid higher-dimensional cosmologies. Phys. Rev. D 30, 2495–2507 (1984)
S.A. Pavluchenko, A. Toporensky, Effects of spatial curvature and anisotropy on the asymptotic regimes in Einstein–Gauss–Bonnet gravity. Eur. Phys. J. C 78, 373 (2018). arXiv:1709.04258
L.M. Sokołowski, Metric gravity theories and cosmology: II. Stability of a ground state in f(R) theories. CQG, 24, 3713–3734 (2007)
V.D. Ivashchuk, On cosmological-type solutions in multi-dimensional model with Gauss–Bonnet term. Int. J. Geom. Methods Mod. Phys. 7, 797 (2010). arXiv:0910.3426
V.D. Ivashchuk, On stable exponential solutions in Einstein–Gauss–Bonnet cosmology with zero variation of G. Gravit. Cosmol. 22, 329–332 (2016). arXiv:1612.07178
E.A. León, R. Núñez-López, A. Lipovka, J.A. Nieto, Higher dimensional cosmology: relations among the radii of two homogeneous spaces. Mod. Phys. Lett. A 26, 805–814 (2011). arXiv:1012.3556
S.A. Pavluchenko, Stability analysis of exponential solutions in Lovelock cosmologies. Phys. Rev. D 92, 104017 (2015). arXiv:1507.01871
K.A. Bronnikov , V.N. Melnikov, Conformal frames and D-dimensional gravity. Gen. Relativ. Quantum Cosmol. (e-prints). arXiv:gr-qc/0310112
S.V. Bolokhov, K.A. Bronnikov, On cosmology in nonlinear multidimensional gravity with multiple factor spaces. Gravit. Cosmol. 24, 154–160 (2018). arXiv:1803.04904
A.A. Kirillov, A.A. Korotkevich, S.G. Rubin, Emergence of symmetries. Phys. Lett. B 718, 237–240 (2012). arXiv:1205.1108
B. Li, J.D. Barrow, Cosmology of f(R) gravity in the metric variational approach. Phys. Rev. D 75, 084010 (2007). arXiv:gr-qc/0701111
K.A. Bronnikov, R.I. Budaev, A.V. Grobov, A.E. Dmitriev , S.G. Rubin, Inhomogeneous compact extra dimensions. JCAP 10, 001 (2017). arXiv:1707.00302
S. Nojiri, S.D. Odintsov, P.V. Tretyakov, Dark energy from modified F(R)-scalar-Gauss Bonnet gravity. Phys. Lett. B 651, 224–231 (2007). arXiv:0704.2520
K.A. Bronnikov, S.G. Rubin, Self-stabilization of extra dimensions. Phys. Rev. D 73, 124019 (2006). arXiv:gr-qc/0510107
C.P. Burgess, An introduction to Effective field theory. Annu. Rev. Nucl. Part. Sci. 57, 329–362 (2007). arXiv:hep-th/0701053
J.G. Martin, G. Wanner, From Euler, Ritz, and Galerkin to modern computing. Soc. Ind. Appl. Math. Review 54, 627–666 (2012)
S.G. Rubin, Scalar field localization on deformed extra space. Eur. Phys. J. C 75, 333 (2015). arXiv:1503.05011
S.G. Rubin, Inhomogeneous extra space as a tool for the top-down approach. Adv. High Energy Phys. 2018, 2767410 (2018). arXiv:1609.07361
Acknowledgements
The authors are grateful to Prof. V. Ivashchuk for helpful comments. The work was supported by the Ministry of Education and Science of the Russian Federation, MEPhI Academic Excellence Project (Contract N 02.a03.21.0005, 27.08.2013). The work of S.G.R. was also supported by the Ministry of Education and Science of the Russian Federation, Project N 3.4970.2017/BY. The work of S.G.R. and A.A.P. is performed according to the Russian Government Program of Competitive Growth of Kazan Federal University.
Author information
Authors and Affiliations
Corresponding author
Appendix A
Appendix A
Here some intermediate formulas used in Sect. 2 are presented. There are tree equations for two unknown functions \(\beta _1(t), \beta _2(t)\) that have to be analyzed. The equations for \((a_1,a_1), (a_2,a_2)\) and (00) components in (3) are important. All others are the same or trivial.
-
\((a_1 a_1)\) component gives
$$\begin{aligned} -\frac{1}{2}f(R) + \left( R_{a_1}^{a_1} +\nabla _{a_1}\nabla ^{a_1} - \square \right) f_R = 0, \end{aligned}$$(A1) -
\((a_2 a_2)\) component in (3) has the form
$$\begin{aligned} -\frac{1}{2}f(R) + \left( R_{a_2}^{a_2} +\nabla _{a_2}\nabla ^{a_2} - \square \right) f_R = 0, \end{aligned}$$(A2) -
and (00) component is
$$\begin{aligned} -\frac{1}{2}f(R) + \left( R_{0}^{0} +\nabla _{0}\nabla ^{0} - \square \right) f_R = 0. \end{aligned}$$(A3)
In the coordinates (1)
Intermediate formulas for the Ricci tensor
We have kept in mind that the space is the product of two maximally symmetric extra spaces and hence \(\partial _{a_1}f_R=0\). Choose trace of (3):
where \(\Box = \frac{1}{\sqrt{|g|}} \partial _{A} \sqrt{|g|} g^{AB} \partial _{B}\) is the relativistic D’Alambertian operator,
and
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
Lyakhova, Y., Popov, A.A. & Rubin, S.G. Classical evolution of subspaces. Eur. Phys. J. C 78, 764 (2018). https://doi.org/10.1140/epjc/s10052-018-6251-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-018-6251-9