Abstract
Scalarfield cosmologies with a generalized harmonic potential and matter with energy density \(\rho _m\), pressure \(p_m\), and barotropic equation of state (EoS) \(p_m=(\gamma 1)\rho _m, \; \gamma \in [0,2]\) in Kantowski–Sachs (KS) and closed Friedmann–Lemaître–Robertson–Walker (FLRW) metrics are investigated. We use methods from nonlinear dynamical systems theory and averaging theory considering a timedependent perturbation function D. We define a regular dynamical system over a compact phase space, obtaining global results. That is, for KS metric the global latetime attractors of full and timeaveraged systems are two anisotropic contracting solutions, which are nonflat locally rotationally symmetric (LRS) Kasner and Taub (flat LRS Kasner) for \(0\le \gamma \le 2\), and flat FLRW matterdominated universe if \(0\le \gamma \le \frac{2}{3}\). For closed FLRW metric latetime attractors of full and averaged systems are a flat matterdominated FLRW universe for \(0\le \gamma \le \frac{2}{3}\) as in KS and Einstein–de Sitter solution for \(0\le \gamma <1\). Therefore, a timeaveraged system determines future asymptotics of the full system. Also, oscillations entering the system through Klein–Gordon (KG) equation can be controlled and smoothed out when D goes monotonically to zero, and incidentally for the whole Drange for KS and closed FLRW (if \(0\le \gamma < 1\)) too. However, for \(\gamma \ge 1\) closed FLRW solutions of the full system depart from the solutions of the averaged system as D is large. Our results are supported by numerical simulations.
Similar content being viewed by others
1 Introduction
Scalar fields have played important roles in the physical description of the universe [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21], particularly, in the inflationary scenario. For example, chaotic inflation is a model of cosmic inflation in which the potential term takes the form of the harmonic potential \(V(\phi )= \frac{m_\phi ^2 \phi ^2}{2}\) [18,19,20,21]. Scalar field models can be examined by means of qualitative techniques of dynamical systems [22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37], which allow a stability analysis of the solutions. Complementary, asymptotic methods and averaging theory [38,39,40,41,42,43,44] are helpful to obtain relevant information about the solutions space of scalarfield cosmologies: (i) in the vacuum and (ii) in the presence of matter [45, 46]. In this process one idea is to construct a timeaveraged version of the original system. By solving this version the oscillations of the original system are smoothed out [47]. This can be achieved for Bianchi I, flat FLRW, Bianchi III, and negatively curved FLRW metrics where the Hubble parameter H plays the role of a timedependent perturbation function which controls the magnitude of the error between the solutions of full and timeaveraged problems as \(H \rightarrow 0\) [45, 46].
The conformal algebra of Bianchi III and Bianchi V spacetimes, which admits a proper conformal Killing vector, was studied in [48]. In [49] the method of Lie symmetries was applied for Wheeler–De Witt equation in Bianchi Class A cosmologies for minimally coupled scalarfield gravity and Hybrid Gravity in General Relativity (GR). Several invariant solutions were determined and classified according to the form of the scalarfield potential by means of these symmetries.
Based on references [50,51,52,53] we started the “Averaging generalized scalarfield cosmologies” program [45]. The idea is to use asymptotic methods and averaging theory to obtain relevant information about the solutions space of scalarfield cosmologies in the presence of matter with energy density \(\rho _m\) and pressure \(p_m\) with a barotropic EoS \(p_m=(\gamma 1)\rho _m\) (with barotropic index \(\gamma \in [0,2]\)) minimally coupled to a scalar field with generalized harmonic potential (17). This research program has three steps according to three cases of study: (I) Bianchi III and open FLRW model [45], (II) Bianchi I and flat FLRW model [46], and (III) KS and closed FLRW.
In reference [45] Bianchi III metrics were studied and written conveniently as
where \({\mathbf {g}}_{H^2}= d \vartheta ^2 + \sinh ^2 (\vartheta )d \zeta ^2\) denotes the 2metric of negative constant curvature on hyperbolic 2space and the lapse function N was set to one. Moreover, functions A(t) and B(t) are interpreted as scale factors. Then we calculate the characteristic scale factor \(\ell \) to obtain
The formal definition of \(\ell \) is given in Eq. (47). For FLRW, it is the scale factor of the universe. By convention we set \(t=0\) as the present time.
In reference [45] latetime attractors of original and timeaveraged systems for LRS Bianchi III were found to be the following:

1.
A solution with the asymptotic metric
$$\begin{aligned}&ds^2=  dt^2 + \ell _{0}^2 \left( \frac{3 \gamma H_{0} t}{2}+1\right) ^{\frac{4}{3 \gamma }} \left( dr^2 + {\mathbf {g}}_{H^2}\right) , \end{aligned}$$(3)for \(0\le \gamma \le \frac{2}{3}\), where \(\ell _0\) is the current value of the characteristic scale factor \(\ell \) and \(H_0\) is the current value of the Hubble factor. It represents a matter dominated flat FLRW universe.

2.
A solution with the asymptotic metric
$$\begin{aligned}&ds^2=  dt^2 + \ell _{0}^2 \left( \frac{3 \gamma H_{0} t}{2}+1\right) ^{\frac{4}{3 \gamma }} \left( dr^2 + {\mathbf {g}}_{H^2}\right) , \end{aligned}$$(4)for \(\frac{2}{3}<\gamma <1\), which represents a mattercurvature scaling solution.

3.
A solution with asymptotic metric
$$\begin{aligned}&ds^2=  dt^2 + c_1^{2} dr^2 + \frac{(3 H_{0} t+2)^2}{4 c_1} {\mathbf {g}}_{H^2}, \end{aligned}$$(5)for \(1\le \gamma \le 2\), where \(c_1\) is a constant. It corresponds to the Bianchi III form of flat spacetime [54, p 193, eq. (9.7)].
In Ref. [45] the open FLRW model was studied, whose metric is given by
where \(d\Omega ^2= d\vartheta ^2 + \sin ^2 (\vartheta )\, d\zeta ^2\) and A(t) is the scale factor of the isotropic and homogeneous universe.
The latetime attractors are the following:

1.
A solution with asymptotic metric
$$\begin{aligned}&ds^2=  dt^2 + \ell _{0}^2 \left( \frac{3 \gamma H_{0} t}{2}+1\right) ^{\frac{4}{3 \gamma }} \left( dr^2 +\sinh ^2 (r) d\Omega ^2 \right) ,\nonumber \\ \end{aligned}$$(7)for \(0\le \gamma \le \frac{2}{3}\), corresponding to a flat matterdominated FLRW universe.

2.
A solution with asymptotic metric
$$\begin{aligned}&ds^2=  dt^2 + \ell _{0}^2 \left( H_0 t+1\right) ^{2} \left( dr^2+ \sinh ^2 (r) d\Omega ^2 \right) , \end{aligned}$$(8)for \(\frac{2}{3}<\gamma <2\), corresponding to a curvature dominated Milne solution ([54, Sect. 9.1.6, eq. (9.8)], [55,56,57,58]). In all metrics the matterdominated flat FLRW universe represents quintessence fluid if \(0< \gamma < \frac{2}{3}\).
Following our research program, in reference [46] case (II) was studied. The focus was in LRS Bianchi I model, with metric
where the functions A(t) and B(t) are interpreted as the scale factors, and in flat FLRW with metric
where A(t) is the scale factor of the homogeneous and isotropic universe.
Latetime attractors of the original and timeaveraged systems for Bianchi I are the following:

1.
For \(0\le \gamma <1\) the latetime attractor is a matterdominated FLRW universe mimicking de Sitter,
quintessence, or zero acceleration solutions with asymptotic metric
$$\begin{aligned}&ds^2=  dt^2 + \ell _{0}^2 \left( \frac{3 \gamma H_{0} t}{2}+1\right) ^{\frac{4}{3 \gamma }} dr^2 \nonumber \\&+ \ell _{0}^2 \left( \frac{3 \gamma H_{0} t}{2}+1\right) ^{\frac{4}{3 \gamma }} \left[ d \vartheta ^2 + \vartheta ^2 d \zeta ^2\right] . \end{aligned}$$(11) 
2.
For \(1<\gamma \le 2\) the latetime attractor is an equilibrium solution with asymptotic metric
$$\begin{aligned}&ds^2=  dt^2 + c_1^{2} {t^{\frac{4}{3}}} dr^2 + {c_2^{1}}{t^{\frac{4}{3}}} \left[ d \vartheta ^2 + \vartheta ^2 d \zeta ^2\right] , \end{aligned}$$(12)where \(c_1\) and \(c_2\) are constants. This solution can be associated with Einstein–de Sitter solution [54, Sec 9.1.1 (1)] with \(\gamma = 1\).
Latetime attractors of the original and timeaveraged systems for flat FLRW are the following:

1.
For \(0\le \gamma <1\) the latetime attractor is a matterdominated FLRW universe mimicking de Sitter,
quintessence, or zero acceleration solutions with asymptotic metric
$$\begin{aligned}&ds^2=  dt^2 + \ell _{0}^2 \left( \frac{3 \gamma H_{0} t}{2}+1\right) ^{\frac{4}{3 \gamma }} dr^2 \nonumber \\&+ \ell _{0}^2 \left( \frac{3 \gamma H_{0} t}{2}+1\right) ^{\frac{4}{3 \gamma }} r^2 \left[ d \vartheta ^2 + \vartheta ^2 d \zeta ^2\right] . \end{aligned}$$(13) 
2.
For \(1<\gamma \le 2\) the latetime attractor is an equilibrium solution with asymptotic metric
$$\begin{aligned}&ds^2=  dt^2 + \ell _{0}^2 \left( \frac{3 H_{0} t}{2}+1\right) ^{\frac{4}{3 }} dr^2 \nonumber \\&\ell _{0}^2 \left( \frac{3 H_{0} t}{2}+1\right) ^{\frac{4}{3 }} r^2 \left[ d \vartheta ^2 + \vartheta ^2 d \zeta ^2\right] . \end{aligned}$$(14)This solution can be associated with Einstein–de Sitter solution [54, Sec 9.1.1 (1)] with \(\gamma = 1\).
The chosen barotropic index \(\gamma \) can mimic one of several fluids of interest in earlytime and latetime cosmology. Typical values are \(\gamma =2\) corresponding to stiff matter, \(\gamma =\frac{4}{3}\) corresponding to radiation, \(\gamma =1\) corresponding to cold dark matter (CDM), \(\gamma =\frac{2}{3}\) corresponding to Dirac–Milne universe, and \(\gamma =0\) corresponding to cosmological constant (CC). According to our stability analysis, the ranges \(0\le \gamma<2, \; 0\le \gamma \le \frac{2}{3}, \; 0<\gamma <1\), and \(1<\gamma <2\) are found. Special cases \(\gamma =1\) and \(\gamma =2\), corresponding to bifurcations parameters where the stability changes, are treated separately. It is important to mention that stiff matter is a component present in a very early evolution and had a role before the last scattering epoch. The last scattering epoch is an important cornerstone in the cosmological history since after that, the cosmic microwave background (CMB) photons freely travelled through the universe providing a photographic picture of the universe at that epoch. Also, radiation is an early relevant cosmic component, although even today we have (tiny) traces of it. Moreover, CDM is an important component in current cosmology. The range \( 0<\gamma <\frac{2}{3}\) corresponds to a quintessence and \( \gamma = 0 \) represents the CC (“omnipresent” in cosmic evolution). In the current state of cosmology the dark components satisfy \(0\le \gamma <\frac{2}{3}\) (dark energy) and \(\gamma =1\) (CDM). The Dirac–Milne universe is characterized by \( \gamma = \frac{2}{3}\).
For FLRW metric, the characteristic length scale \(\ell \) coincides with the scale factor of the universe, i.e., \(\ell = A\) in Eq. (10). Thus, Friedmann’s usual scheme leads to
where z is the redshift and we use k to indicate if the model is a closed (\(k=1\)), flat (\(k=0\)), or open (\(k=1\)). If \(\gamma =\frac{2}{3}\) and using \(1+z=\ell _{0}/\ell \), we have from the above equations
Hence, if \(k=0\),
For vacuum \(\rho _m=0\) and \(k=1\) (open case)
Thus, we obtain a Dirac–Milne universe. The behavior \( H \left( z \right) \approx \left( 1 + z \right) \) is also satisfied in presence of matter (\(\rho _m\ne 0\)) and for \(k = 0\). More generically, for \(k=1\) and a fluid that dilutes over time for which \( \gamma > \frac{2}{3} \), then,
For \( \gamma > \frac{2}{3}\), the dominant term as \(z\rightarrow 1\) is given by (15). Namely, the asymptotic evolution is towards a Dirac–Milne type evolution. On the contrary, for \(\gamma <\frac{2}{3}\) the universe becomes matterdominated.
This paper, which is the third of the series, is devoted to the case (III) KS and positively curved FLRW metrics. We will prove that the quantity
where \({}^3\!R\) is the 3Ricci curvature of spatial surfaces (if the congruence \({\mathbf {u}}\) is irrotational), plays the role of a timedependent perturbation function which controls the magnitude of the error between the solutions of full and timeaveraged problems. The analysis of the system is therefore reduced to study the corresponding timeaveraged equations as the timedependent perturbation function D goes monotonically to zero for a finite time interval. The region where the perturbation function D changes its monotony from monotonic decreasing to monotonic increasing is analyzed by a discrete symmetry and by defining the variable \(T=D/(1+D)\) that maps \([0, \infty )\) to a finite interval [0, 1). Consequently, the limit \(D\rightarrow +\infty \) corresponds to \(T=1\) and the limit \(D\rightarrow 0\) corresponds to \(T=0\). The paper is organized as follows. In Sect. 2 we motivate our choice of potential and the topic of averaging in the context of differential equations. In Sect. 3 we introduce the model under study. In Sect. 4 we apply averaging methods to analyze periodic solutions of a scalar field with selfinteracting potentials within the class of generalized harmonic potentials [53]. In Sect. 4.1 KS model is studied by using Dnormalization, rather than Hubblenormalization, because Hubble factor is not monotonic for closed universes. FLRW models with \(k=+1\) (positive curvature) are studied in Sect. 4.2. In Sect. 5 we study the resulting timeaveraged systems for KS and positively curved FLRW models. In particular, in Sect. 5.1 KS model is studied. The FLRW model with \(k=+1\) is studied in Sect. 5.2. In Sect. 6 a regular dynamical system defined on a compact phase space is constructed. This allows to find global results for KS and closed FLRW models. Finally, in Sect. 7 our main results are discussed. In Appendix A the proof of the main theorem is given. In Appendix B numerical evidence supporting the results of Sect. 4 is presented.
2 Motivation
2.1 The generalized harmonic potential
In this research we investigate a scalar field \(\phi \) with generalized harmonic potential
where \(\mu ^3 b f\ll 1\) is interpreted as a perturbation parameter. When \(b=0\), the parameter \(\mu \) is related to the mass of the standard harmonic potential by \(\mu ^2=\frac{m_\phi ^2}{2}\). The potential satisfies \(V(\phi ) = \mu ^2 \phi ^2+{\mathscr {O}}\left( 1\right) \; \text {as} \; \phi \rightarrow \pm \infty \). Near the global minimum \(\phi =0\), the potential takes the form \(V(\phi ) = \phi ^2 \left( \frac{b \mu ^3}{2 f}+\mu ^2\right) \frac{\phi ^4 \left( b \mu ^3\right) }{24 f^3}+O\left( \phi ^5\right) \). Neglecting quartic terms, we have the corrected “mass term” \(m_\phi ^2=\left( \frac{b \mu ^3}{f}+ 2\mu ^2\right) \). Then, potential (17) can be reexpressed as
by introducing a new parameter \(\omega \) through equation \(b \mu ^3+2 f \mu ^2f \omega ^2=0\). Near the global minimum \(\phi =0\), we have from (18) that \(V(\phi ) = \frac{\omega ^2 \phi ^2}{2}+{\mathscr {O}}\left( \phi ^4\right) \; \text {as} \; \phi \rightarrow 0\). That is, \(\omega ^2\) can be related to the mass of the scalar field near its global minimum. The applicability of this reparametrization will be discussed at the end of Sect. 2.3.
Potential (18) has the following generic features:

1.
V is a realvalued smooth function \(V\in C^{\infty } ({\mathbb {R}})\) with \(\lim _{\phi \rightarrow \pm \infty } V(\phi )=+\infty \).

2.
V is an even function \(V(\phi )=V(\phi )\).

3.
\(V(\phi )\) has always a local minimum at \(\phi =0\); \(V(0)=0, V'(0)=0, V''(0)= \omega ^2> 0\), what makes it suitable to describe oscillatory behavior in cosmology.

4.
There is a finite number of values \(\phi _c \ne 0\) satisfying \(2 \mu ^2 \phi _c +f \left( \omega ^22 \mu ^2\right) \sin \left( \frac{\phi _c }{f}\right) =0\), which are local maxima or local minima depending on whether \(V''(\phi _c):= 2 \mu ^2+\left( \omega ^2 2 \mu ^2\right) \cos \left( \frac{\phi _c }{f}\right) <0\) or \(V''(\phi _c)>0\). For \(\left \phi _c\right >\frac{f(\omega ^22 \mu ^2)}{2 \mu ^2}= \phi _*\) this set is empty.

5.
There exist \(V_{\max }= \max _{\phi \in [\phi _*,\phi _*]} V(\phi )\) and \(V_{\min }= \min _{\phi \in [\phi _*,\phi _*]} V(\phi )=0\). The function V has no upper bound but it has a lower bound equal to zero.
Potentials (17) or (18) are related but not equal to the monodromy potential of [59] used in the context of loopquantum gravity, which is a particular case of the general monodromy potential [60]. The potential studied in references [59, 60] for \(p=2\), i.e., \(V(\phi )= \mu ^3 \left[ \frac{\phi ^2}{\mu } + b f \cos \left( \frac{\phi }{f}\right) \right] \), \(b\ne 0\), is not good to describe the latetime FLRW universe driven by a scalar field as shown by references [50, 51, 53] because it has two symmetric local negative minima which are related to Antide Sitter solutions. Setting \(\mu =\frac{\sqrt{2}}{2}\) and \(b \mu =2\) in Eq. (17) we recover the potential
that was studied by [50, 53]. Setting \(\mu =\frac{\sqrt{2}}{2}\), \(\omega =\sqrt{2}\), we have
Potentials (19) and (20) provide nonnegative local minima which can be related to a latetime accelerated universe.
Generalized harmonic potentials (18), (19) and (20) belong to the class of potentials studied in [61]. Meanwhile, the potential \(V(\phi )=\mu ^4 \left[ 1 \cos \left( \frac{\phi }{f}\right) \right] \), where \(\mu \) is a parameter, is relevant for axion models [62]. In [63] axionic dark matter with modified periodic potential \(V(\phi , \varPhi _*)= \frac{m_A^2 {\varPhi _*}^2}{2 \pi ^2}\left[ 1 \cos \left( \frac{2 \pi \phi }{\varPhi _*}\right) \right] \), where \(\varPhi _*\) is a parameter describing the basic state of the axion field, has been studied in the framework of the axionic extension of Einsteinaether theory. This periodic potential has minima at \(\phi =n \varPhi _*\), where \(n \in {\mathbb {Z}}\), whereas maxima are found when \(n \rightarrow m + \frac{1}{2}\). Near the minimum \(\phi =n \varPhi _* + \psi \) when \(\psi \) is small, \(V \rightarrow \frac{m_A^2 \psi ^2}{2}\), where \(m_A\) is the axion rest mass.
In reference [64] an axion model given by two canonical scalar fields \(\phi _1\) and \(\phi _2\) coupled via the potential
was investigated by combining standard dynamical systems tools and averaging techniques to investigate oscillations in EinsteinKG equations. As in references [45, 46] methods from the theory of averaging nonlinear dynamical systems allow to prove that timedependent systems and their corresponding timeaveraged versions have the same future asymptotic behavior. Thus, oscillations entering a nonlinear system through KG equation can be controlled and smoothed out as the Hubble factor H tends monotonically to zero.
2.2 Simple example of averaging problem
One approximation scheme which can be used to approximately solve the ordinary differential equation \(\dot{{\mathbf {x}}}= {\mathbf {f}}({\mathbf {x}}, t,\varepsilon )\) with \(\varepsilon \ge 0\) and \({\mathbf {f}}\) periodic in t is to solve the unperturbed problem \(\dot{{\mathbf {x}}}= {\mathbf {f}}({\mathbf {x}}, t,0)\) by setting \(\varepsilon =0\) at first and then, with the use of the approximated unperturbed solution, to formulate variational equations in standard form which can be averaged. For example, consider the usual equation of a damped harmonic oscillator
with given \(\phi (0)\) and \({\dot{\phi }}(0)\), where \(\omega ^2\) is the undamped angular frequency of the oscillator, and the parameter \(\epsilon =\zeta \omega \), with \(\zeta \) the damping ratio, is considered as a small parameter. The unperturbed problem
admits the solution
where \(r_0\) and \(\varPhi _0\) are constants depending on initial conditions. Using the variation of constants we propose the solution for the perturbed problem (22) as
such that
This procedure is called the amplitudephase transformation in chapter 11 of [44].
Then, Eq. (22) becomes
From Eq. (27) it follows that r and \(\varPhi \) are slowly varying functions of time, and the system takes the form \(\dot{y}= \varepsilon f(y)\). The idea is to consider only nonzero average of the righthandside keeping r and \(\varPhi \) fixed and leaving out the terms with average zero and ignoring the slowvarying dependence of r and \(\varPhi \) on t through the averaging process
Replacing r and \(\varPhi \) by their averaged approximations \({\bar{r}}\) and \({\bar{\varPhi }}\) we obtain the system
Solving Eq. (29) with \({\bar{r}}(0)=r_0\) and \({\bar{\varPhi }}(0)= \varPhi _0\), we obtain \({\bar{\phi }}= r_0 e^{\varepsilon t} \sin (\omega t\varPhi _0)\) which is an accurate approximation of the exact solution
due to
as \(\varepsilon \rightarrow 0^+\).
2.3 General class of systems with a timedependent perturbation function
Let us consider for example the EinsteinKG system
The similarity between (22) and (30) suggests to treat the latter as a perturbed harmonic oscillator as well and to apply averaging in an analogous way. However, in contrast to \(\varepsilon \), H is timedependent and it is governed by evolution equation (31). Then, a surprising feature of such approach is the possibility of exploiting the fact that H is strictly decreasing and goes to zero by promoting Hubble parameter H to a timedependent perturbation function in (30) controlling the magnitude of the error between solutions of the full and timeaveraged problems. Hence, with strictly decreasing H the error should decrease as well. Therefore, it is possible to obtain information about the largetime behavior of the more complicated full system via an analysis of the simpler averaged system of equations by means of dynamical systems techniques. This result is based on the monotony of H and its sign invariance.
With this in mind, in [65] the longterm behavior of solutions of a general class of spatially homogeneous cosmologies, when H is positive strictly decreasing in t and \(\lim _{t\rightarrow \infty }H(t)=0\), was studied. However, this analysis is not valid when the Hubble parameter is not a monotonic function as in the case of this study.
3 Spatially homogeneous and anisotropic spacetimes
The spatially homogeneous but anisotropic spacetimes are known as either Bianchi or KS cosmologies. In Bianchi models the spacetime manifold is foliated along the time axis with three dimensional homogeneous hypersurfaces. On the other hand, the isometry group of KS spacetime is \({\mathbb {R}} \times SO(3)\) and it does not act simply transitively on spacetime, nor does it possess a subgroup with simple transitive action. Hence, this model is spatially homogeneous, but it does not belong to the Bianchi classification. KS model approaches a closed FLRW model [66,67,68,69,70] when it isotropizes. In GR the Hubble parameter H is always monotonic for Bianchi I and Bianchi III. For Bianchi I the anisotropy decays on time for \(H>0\). Therefore, isotropization occurs [71]. Generically, in KS as well as for closed FLRW, the Hubble parameter is non monotonic and anisotropies would increase rather than vanish as H changes the sign. We refer the reader to [54, 72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96] and references therein for applications of KS models, spatially homogeneous, and LRS metrics. The typical behavior of KS metric for perfect fluids, Vlasov matter, etc., is that the generic solutions are past and future asymptotic to the nonflat LRS Kasner vacuum solution, which have a bigbang (or bigcrunch). Moreover, there exist nongeneric solutions which are past (future) asymptotic to the anisotropic Bianchi I matter solution and others to the flat Friedman matter solution. The qualitative properties of positivecurvature models and the KS models with a barotropic fluid and a noninteracting scalar field with exponential potential \(V(\phi )=V_0 e^{\lambda \phi }\), being \(\lambda \) a constant, were examined, e.g., in [33]. The main results are the following. For positively curved FLRW models and for \(\lambda ^2>2\) all the solutions start from and recollapse to a singularity, and they are not generically inflationary. For \(\lambda ^2<2\) the universe can either recollapse or expand forever. The KS model exhibits similar global properties of the closed FLRW models. In particular, for \(\lambda ^2>2\), all initially expanding solutions reach a maximum expansion and after that recollapse. These solutions are not inflationary nor does they isotropize. For \(\lambda ^2<2\) the models generically recollapse or expand forever to powerlaw inflationary flat FLRW solution. Intermediate behavior of KS as compared with closed FLRW is rather different.
3.1 General relativistic \(1+3\) orthonormal frame formalism
In this section we follow references [54, 97] where the \(1+3\) orthonormal frame formalism was presented. A cosmological model \(({\mathscr {M}}, {\mathbf {g}}, {\mathbf {u}})\) (representing the universe at a particular averaged scale) is defined by specifying the spacetime geometry through a Lorentzian metric \({\mathbf {g}}\) defined on the manifold \({\mathscr {M}}\) and a family of fundamental observers whose congruence of worldlines is represented by the four velocity field \( {\mathbf {u}}\), which will usually be the matter four velocity.
The following index conventions for tensors are used. Covariant spacetime indices are denoted by letters from the second half of the Greek alphabet (\(\mu , \nu , \rho \ldots = 0 \ldots 3\)) with spatial coordinate indices symbolized by letters from the second half of the Latin alphabet (\(i, j, k, \ldots = 1 \ldots 3\)). Orthonormal frame spacetime indices are denoted by letters from the first half of the Latin alphabet (\(a, b, c \ldots = 0 \ldots 3\)) with spatial frame indices chosen from the first half of the Greek alphabet (\(\alpha , \beta , \gamma , \ldots =1 \ldots 3\)). The “symmetrization” of two indices is indicated using parenthesis, while the “antisymmetrization” of two indices is indicated by square brackets and they are defined respectively by \(v_{(a b)}=\frac{1}{2} \left( v_{a b} + v_{b a}\right) ,\quad v_{[a b]}=\frac{1}{2} \left( v_{a b}  v_{b a}\right) ,\) and \(\delta _b^a\) is the Kronecker’s delta which is equal to 1 if \(a=b\) or equal to zero if \(a \ne b\). A system of units in which \(8\pi G=c=\hslash =1\) is used.
The following symbols are used. R is the scalar curvature of the spacetime, \(g_{\mu \nu }\) are the metric components, g is the determinant of the metric, \(\phi \) is the scalar field, and \(V(\phi )\) is the scalar field potential defined by (17). A semicolon “; ” as well as \(\nabla _a\) indicates covariant derivatives.
It is common to describe cosmological models in terms of a basis of vector fields \(\{{\mathbf {e}}_a\}\) and a dual basis of 1forms \(\{{\varvec{\omega }}^a\}\), \(a=0,1,2,3\). Any vector \({\mathbf {X}}\) can be written as \({\mathbf {X}}= X^a {\mathbf {e}}_a\) in terms of this basis. The components of the metric tensor \({\mathbf {g}}\) relative to this basis are given by
The line element can be symbolically written as
In any coordinate chart there is a natural basis, namely \(\{{\mathbf {e}}_a\}\) can be chosen to be a coordinate basis \(\{\partial /\partial x^i\}\) with the dual basis being the coordinate 1forms \(\{d x^i\}\), where \(d x^i(\partial /\partial x^j)= \delta ^{i}_{ j}\). The general basis vector fields \({\mathbf {e}}_a\) and 1forms \({\varvec{\omega }}^a\) can be written in terms of a coordinate basis as follows
Thus, any vector field \({\mathbf {X}}\) can be interpreted as a differential operator which acts on scalars as
In particular,
In terms of a coordinate basis the components of the metric tensor \({\mathbf {g}}\) relative to this basis are given by
The line element can be symbolically written as
Another special type of basis is the orthonormal frame, in which the four vector fields \({\mathbf {e}}_a\) are mutually orthogonal and of unit length with \({\mathbf {e}}_0\) timelike. The vector fields, thus, satisfy \( {\mathbf {g}}({\mathbf {e}}_a, {\mathbf {e}}_b)= \eta _{a b}\), where \(\eta \) is the Minkowski metric \(\eta _{a b}= \text {diag}(1,1,1,1)\).
Given any basis of vector fields \({\mathbf {e}}_a \), the commutators \([{\mathbf {e}}_a, {\mathbf {e}}_b]\) are vector fields and hence they can be written as a linear combination of the basis vectors \([{\mathbf {e}}_a, {\mathbf {e}}_b] = \gamma _{a b}^c {\mathbf {e}}_c\). The coefficients \(\gamma _{a b}^c(x^i)\) are called the commutation functions (which are 24 functions). For a coordinate basis \(\{\partial /\partial {x^i}\}\) the commutation functions are all zero. If we use an orthonormal frame, the 24 commutation functions are the basic variables and the gauge freedom is an arbitrary Lorentz transformation.
Applying the Jacobi identity for vector fields to \(\gamma _{a b}^c\) we obtain a set of 16 identities (Eqs. 1.18 in [54])
where we denote by \({\mathbf {e}}_a(f)\) the action of the vector field \({\mathbf {e}}_a\) on a scalar f as the differential operator \({\mathbf {e}}_a f= e_{a}^i \frac{\partial f}{\partial x^i}\) using coordinate basis \(\{\partial /\partial x^i\}\). The identities (39), in conjunction with Einstein field equations rewritten as^{Footnote 1}
and conservation equations
give firstorder evolution equations for some of the commutation functions and for some stress–energy tensor components and also provide a set of constraints involving only spatial derivatives, which is referred as the orthonormal frame formalism (Sect. 1.4, [54, pages 3135 and section 2], [97, pages 2675–2682]). For the moment we set \(\varLambda =0\).
It is wellknown that a unit timelike vector field \({\mathbf {u}}(x^i)\), \(u^a u_{a}=1\), determines a projection tensor
which at each point projects into the 3space orthogonal to \({\mathbf {u}}\). It follows that
Therefore, we can define two derivatives, one along the vector \(u^a\) defined by \(\dot{T^{a..b}_{c..d}}=u^{e}\nabla _{e}{T^{a..b}_{c..d}}\), and a projected derivative defined as \( D_{e} T^{a..b}_{c..d}= h^{a}_{f} h^{p}_{c}...h^{b}_{g} h^{q}_{d} h^{r}_{e}\nabla _{r} T^{f..g}_{p..q}\).
When \({\mathbf {u}}= \partial /\partial _t\) and f is an scalar, \(\dot{f}= f_{;b} u^{b}= \frac{\partial f}{\partial t}\) reduces to the usual time derivative of a function.
The covariant derivative of a unit timelike vector field \({\mathbf {u}}(x^i)\), \(u^a u_{a}=1\) can be decomposed in its irreducible parts as follows (see [54, page 18], [98, page 70])
where \(\sigma _{a b}\) is symmetric and tracefree, \(\omega _{a b}\) is antisymmetric and \(\sigma _{a b} u^{b}=0= \omega _{a b}u^{b}\). Physically, a timelike unit time vector is generally chosen as the four velocity of the fluid and the quantities \( \dot{u}_ {a}, \theta , \omega _ {ab}, \omega ^a, \sigma _ {ab} \) are called the acceleration vector, rate of expansion scalar, vorticity tensor, vorticity vector, and the rate of shear tensor, respectively. The magnitude of the shear tensor is
It follows that
where \(\eta ^{a b c d}\) is the totally antisymmetric permutation tensor such that \(\eta _{0123}= \sqrt{g}, \eta ^{0123}= 1/\sqrt{g}\), where g denotes the determinant of the spacetime metric tensor \({\mathbf {g}}\) with Lorentzian signature.
In Cosmology it is useful to define a representative length along the worldlines of \({\mathbf {u}}\) describing the volume expansion (contraction) behavior of the congruence completely by the equation
where H is the Hubble parameter defined by
In the orthonormal frame formalism, the components of the connection are simplified to
The spatial frame vectors are denoted by \(\{{\mathbf {e}}_{\alpha }\}\), where the indices chosen from the first half of the Greek alphabet run from 1 to 3 and \(\epsilon _{\alpha \beta \gamma }\) denotes the alternating symbol (\(\epsilon _{123}=+1\)). Notice that Greek indices are raised and lowered with the spatial metric tensor \(g_{\alpha \beta }= \delta _{\alpha \beta }\).
The commutation functions are decomposed into algebraically simple quantities, some of which have a direct physical or geometrical interpretation. Firstly, the commutation function \(\gamma ^c_{a b}\) with one zero index can be expressed as functions of geometrical quantities (46) of the timelike congruence \({\mathbf {u}}={\mathbf {e}}_0\) and the quantity
which is the local angular velocity of the spatial frame \(\{{\mathbf {e}}_{\alpha }\}\) with respect to a Fermipropagated spatial frame.
Eq. (1.61) of [54] gives
where \(\sigma _{\alpha \beta }\), \(\omega _\alpha \), and \(\dot{u}_\alpha \) are spatial components of \(\sigma _{a b}\), \(\omega _a\) and \(\dot{u}_a\). Secondly, spatial components \(\gamma ^{\mu }_{\alpha \beta }\) are decomposed into a 2index symmetric object \(n_{\alpha \beta }\) and a 1index object \(a_{\alpha }\) as follows
To incorporate the variety of matter sources in Einstein field equations the standard decomposition of the stress–energy tensor \(T_{a b}\) with respect to the timelike vector \({\mathbf {u}}\) is used,
where \(\mu \) is the total energy density, \(q_{a}\) is the energy current density, p is the isotropic pressure and \(\pi _{a b}\) is the anisotropic pressure tensor. It follows that
If the congruence \({\mathbf {u}}\) is irrotational (\(\omega _{a b}=0\)), the curvature of the 3spaces orthogonal to the congruence can be expressed as
where \(\varTheta _{a c} \) is the rate of expansion tensor given by
and \(R_{a b c d}\) is the Riemann tensor defined by
The tracefree spatial Ricci tensor is defined by
where
Also, the Weyl conformal curvature tensor can be expressed as
It is useful to define the electric part \(E_{a b}\) and magnetic part \(H_{a b}\) of the Weyl conformal curvature tensor relative to \({\mathbf {u}}\) according to
These tensors are symmetric, tracefree, and satisfy \(E_{a b} u^b =0= H_{a b} u^b\).
When performing the \(1+3\) decomposition for an irrotational congruence \({\mathbf {u}}_0\) the components of Weyl tensor are reduced to
where the magnitude of the shear tensor \(\sigma ^2\) is defined by (45).
The equations of the orthonormal frame formalism are the following. The Einstein field equations (1.65), (1.66), (1.67), and (1.68) in [54], where \({}^3\!S_{\alpha \beta }\) and \({}^3\!R\) are given by (1.69) and (1.70) in [54], respectively, the Jacobi identities (1.71), (1.72), (1.73), (1.74), and (1.75) in [54] and the contracted Bianchi identities (1.76) and (1.77) in [54]. This formalism was revisited in [97] where the authors discuss their applications in detail. Bianchi identities for Weyl curvature tensor are presented in [97] in a fully expanded form, as they are given a central role in the extended formalism. By specializing the general \(1 + 3\) dynamical equations it was illustrated how a number of interesting problems can be obtained. In particular, the simplest choices of spatial frames for spatially homogeneous cosmological models, locally rotationally symmetric spacetime geometries, cosmological models with an Abelian isometry group \(G_2\), and “silent” dust cosmological models were discussed.
3.1.1 Specialization for spherically symmetric models
In the “resource” paper [72] the \(1+3\) orthonormal frame formalism (as developed in [54, 97]) was specialized to write down the evolution equations for spherically symmetric models as a wellposed system of first order partial differential equations (PDEs) in two variables. This “resource” paper reviews a number of wellknown results properly cited in [72] and they are simply gathered together because of their functionality and in this context it serves to define all of the quantities. Therefore, we refer researchers interested in the formalism to reference [72] and references therein, and present essential equations now.
The metric for the spherically symmetric models is given by
where N, \(e_1{}^1\), and \(e_2{}^2\) are functions of t and r and N is the lapse function. The Killing vector fields (KVF) in spherically symmetric spacetime are given by [98] \(\partial _\zeta ,\quad \cos \zeta \ \partial _\vartheta  \sin \zeta \cot \vartheta \ \partial _\zeta , \sin \zeta \ \partial _\vartheta + \cos \zeta \cot \vartheta \partial _\zeta \). Frame vectors in coordinate form are
where \(e_3{}^3= e_2{}^2/ \sin \vartheta \). We see that frame vectors \({\mathbf {e}}_2\) and \({\mathbf {e}}_3\) tangent to the spheres are not groupinvariant because commutators \([{\mathbf {e}}_2, \partial _\zeta ]\) and \([{\mathbf {e}}_3, \partial _\zeta ]\) are zero but not with the other two Killing vectors. Frame vectors \({\mathbf {e}}_0\) and \({\mathbf {e}}_1\) orthogonal to the spheres are groupinvariant and the correspondingly commutator reads
We use the symbol \({\mathbf {e}}_a\) (in reference [54] \(\pmb {\partial }_a\) is used ) to denote the action of the vector field \({\mathbf {e}}_a\) on a scalar f as a differential operator.
Geometric objects of the \(1+3\) formalism (kinematic variables, spatial commutations functions) as well as the matter components are deduced as follows.
First, we define the four velocity vector field by \({\mathbf {u}}={\mathbf {e}}_0\) representing the congruence of worldlines. The representative length \(\ell (t,r)\) along worldlines of \({\mathbf {u}}={\mathbf {e}}_0\) describing the volume expansion (contraction) behavior of the congruence is reduced to [97]
where the Hubble parameter H(t, r) is brought to
Furthermore, we have the following restrictions on the kinematic variables (rate of shear tensor, vorticity tensor, acceleration vector)
The anisotropic parameter \(\sigma _{+}(t,r)\) in \(\sigma _{\alpha \beta }\) is defined by
The acceleration vector is calculated as \(\dot{u}_a= u_{a; b}u^{b}\) obtaining only one nonzero component in terms of the spatial derivatives of the lapse function given by \(\dot{u}_1 = {\mathbf {e}}_1 \ln N.\)
We have restrictions on spatial commutation functions (1index objects and 2index symmetric objects in Eq. (52))
where
The dependence of \(a_2\) and \(n_{13}\) on \(\vartheta \) is due to the fact that the chosen orthonormal frame is not groupinvariant. However, this is not a concern since dependence on \(\vartheta \) will be hidden.
On the matter components we have restrictions as follows,
The frame rotation \(\Omega _{\alpha \beta }\) is zero.
Furthermore, \(n_{13}\) only appears in equations together with \({\mathbf {e}}_2 n_{13}\) in the form of the Gaussian curvature of the spheres
which simplifies to
Thus, the dependence on \(\vartheta \) is hidden in the equations. In the following we will use \({}^2\!K\) as a dynamical variable instead of \(e_2{}^2\).
Spatial curvatures also simplify to
with \({}^3\!R\) and \({}^3\!S\) given by
Weyl curvature components simplify to
with \(E_+\) given by
To simplify notation we will write \({}^2\!K,\ \dot{u}_1,\ a_1\) as \(K,\ \dot{u},\ a\).
To summarize, essential variables are
and auxiliary variables are
So far, there are no evolution equations for N, p and \(\pi _+\). They need to be specified by a temporal gauge (for N) and by a fluid model (for p and \(\pi _+\)). Recall that the total energy density and total isotropic pressure of the matter fields are \(\mu \) and p, respectively.
Evolution equations including a nonnegative CC \(\varLambda \) are
Equations (73a) and (73b) come from the definition of H in (66) and the definition of \(\sigma _+\) in (68), respectively. Equation (73c) is the realization of eq. (1.65) in [54] for spherically symmetric metrics and by including a CC. The same occurs for Eq. (73d) which is the realization of eq. (1.66) in [54] in our case of study. Equation (73e) is the realization of the Jacobi identity (1.72) in [54] in our case. Equation (73f) is the realization of the contracted Bianchi identity (1.76) in [54] and Eq. (73g) is the realization of the contracted Bianchi identity (1.77) in [54] for spherically symmetric metrics and by including a CC.
Constraint equations are:
where spatial curvatures (given by eqs. (1.69) and (1.70) in [54]) are reduced to
Equation (74a) comes from Einstein equation (1.67) in [54]. Equation (74b) is Einstein equation (1.68) in [54] for \(\alpha =1\). Eq. (74c) is the definition \(a = {\mathbf {e}}_1 \ln e_2{}^2\) combined with the identity \(K=(e_2{}^2)^2\).
3.2 Special cases with extra Killing vectors
Spherically symmetric models with more than three KVF are either spatially homogeneous or static. Let us discuss the spatially homogeneous cosmological models. Spatially homogeneous spherically symmetric models consist of two disjoint sets of models, KS models and FLRW models. Static and selfsimilar spherically symmetric models have been studied in [72, 96, 99,100,101,102].
3.2.1 Kantowski–Sachs models
Spatially homogeneous spherically symmetric models (that have four Killing vectors with the fourth being \(\partial _r\)) are the socalled KS models [98]. The metric (64) simplifies to
i.e., N, \(e_1{}^1\), and \(e_2{}^2\) are now independent of r.
Spatial derivative terms of type \({\mathbf {e}}_1(\cdot )\) in Eqs. (73)–(74a) vanish and, as result, \(a=0=\dot{u}\). Since \(\dot{u}=0\), the temporal gauge is synchronous and we can set N to any positive function of t.
Spatial curvatures are given by
Constraint (74b) restricts the source by \( q_1 = 0\). Meanwhile, functions p, and \(\pi _+\) are still unspecified.
Evolution equations (73) for KS models with unspecified source reduce to
The remaining constraint equation (74a) reduces to
where we have substituted in Eq. (74a) the relation \(\tfrac{1}{2} {}^3\!R= K\) valid for KS metric.
3.2.1.1 Kantowski–Sachs models for perfect fluid and homogeneous scalar field. In Eqs. (76) and in the restriction (77) we can replace the expressions \(\pi _+=0, \varLambda =0, \mu = \frac{1}{2}{\dot{\phi }}^2 + V(\phi )+ \rho _m, p= \frac{1}{2}{\dot{\phi }}^2 + V(\phi )+ (\gamma 1)\rho _m\). Assuming that the energymomentum of the scalar field and matter are separately conserved and setting \(N\equiv 1\), we obtain the following equations for KS metric for perfect fluid and homogeneous scalar field
Again, in Eq. (83) we have substituted the relation \(\tfrac{1}{2} {}^3\!R= K\) valid for KS metric. As commented before, when \({\mathbf {u}}= \partial /\partial _t\) the dot derivative of a scalar f, given by \(\dot{f}= f_{;b} u^{b}= \frac{\partial f}{\partial t}\), denotes the usual time derivative.
3.2.2 FLRW models
Spatially homogeneous spherically symmetric models, that are not KS, are FLRW models (with or without \(\varLambda \)). The source must be a comoving perfect fluid (or vacuum).
The metric has the form
with
for closed, flat, and open FLRW models, respectively. \(\ell (t)\) is the scale factor of the universe. The frame coefficients are given by \(e_1{}^1= \ell ^{1}(t)\) and \(e_2{}^2= \ell ^{1}(t) f^{1}(r)\). Then, \(\sigma _+= \frac{1}{3}{\mathbf {e}}_0 \ln (e_1{}^1/e_2{}^2)\) vanishes. \(N=N(t)\) implies that \(\dot{u}=0\); i.e., the temporal gauge is synchronous and we can set N to any positive function of t. The Hubble scalar \(H = {\mathbf {e}}_0 \ln \ell (t)\) is also a function of t. For the spatial curvatures, \({}^3\!S\) vanishes because Eq. (85) implies \({\mathbf {e}}_1 a = K\), which is consistent with the fact that the frame vector \({\mathbf {e}}_1\) is not groupinvariant.
The evolution equation (73d) for \(\sigma _+\) and the constraint (74b) imply that \(\pi _+ =0= q_1\), i.e., the source is a comoving perfect fluid with unspecified pressure p. Also, note that \(\mu \) and p only depend on t and p is not specified yet.
From Eq. (70) the Gaussian curvature of the two spheres is \(K = \ell ^{2} f^{2}\). Meanwhile, from Eq. (71) we obtain
On the other hand,
for closed (\(k=1\)), flat (\(k=0\)), and open FLRW (\(k=1\)), respectively. We used k to indicate the choice of f in Eq. (85). Then,
The evolution equations simplify to
The constraint becomes
where we have substituted \(\frac{{}^3\!R}{2}=\frac{3k}{\ell ^2}\) (valid for FLRW). The vacuum (\(\mu =0\)) cases are: de Sitter model (\(\varLambda >0\), \(k=0\)), the model with \(\varLambda >0\), \(k=1\), the model with \(\varLambda >0\), \(k=1\), Milne model (\(\varLambda =0\), \(k=1\)) and Minkowski spacetime (\(\varLambda =0\), \(k=0\)) which is also static.

1.
The vacuum model with \(\varLambda >0\), \(k=1\) is past asymptotic to a model with negative H, and it is future asymptotic to de Sitter model with positive H. Indeed, for \(\varLambda > 0\) we have \(3H ^ 2 = 1 / a ^ 2 + \varLambda \). So, the scale factor has to satisfy \(a \ge a_{\text {crit}}=\sqrt{3 /\varLambda }\). Additionally, the scale factor a is not monotonic because H changes its sign. The orbits generated at a negative value of H with \(a > a_{\text {crit}}\) are such that the scale factor a decreases monotonically until reaching the value \(a_{\text {crit}}= \sqrt{3 /\varLambda }\) where H becomes zero. Then, H becomes positive because it is continuous and again the scale factor a starts growing from the smallest critical value \(a_{\text {crit}}\) to infinite at an exponential rate (in a de Sitter phase).

2.
The vacuum model with \(\varLambda >0\), \(k=1\) and positive H is past asymptotic to Milne model and future asymptotic to de Sitter model with positive H.
3.2.2.1 FLRW models for perfect fluid and homogeneous scalar field. Replacing in equations (87) and (88) expressions \(\pi _+=0, \varLambda =0, \mu = \frac{1}{2}{\dot{\phi }}^2 + V(\phi )+ \rho _m, p= \frac{1}{2}{\dot{\phi }}^2 + V(\phi )+ (\gamma 1)\rho _m\) and assuming that the energymomentum of the scalar field and matter are separately conserved, we obtain for the metric (84) the evolution/constraint equations
with \(k = 1,0,1\) for closed, flat, and open FLRW, respectively.
4 Averaging scalarfield cosmologies
For KS and positively curved FLRW metrics the Hubble scalar is not monotonic. This means that H cannot be used as a timedependent perturbation function as in references [45, 46]. However, the function (16) is monotonic in a finite timeinterval before changing monotony. The region where the perturbation function D changes its monotony can be analyzed by a discrete symmetry and by introducing the variable \(T=D/(1+D)\) that brings infinite to a finite interval.
For KS the normalization factor (16) becomes
where K denotes Gaussian spatial curvature of the 2spheres. Using the calculation (86) we obtain for closed FLRW the normalization factor
4.1 Kantowski–Sachs
We define normalized variables
where D, defined by Eq. (90), is the dominant quantity in Eq. (83). The function Q is the Hubble factor normalized with D. Such a solution is classified as contracting if \({Q}<0\), since H and Q have the same sign due to \(D>0\).
The function \(\varSigma \) is a measure of the anisotropies of the model normalized with D. When \(\varSigma \rightarrow 0\), the solution isotropizes. \(\varPhi \) is the “phase” in the amplitudephase transformation (25) and r is defined in Eq. (26).
The function \(\Omega ^2\) is the total energy of the harmonic oscillator (at the minimum) normalized with \(3D^2\). Indeed, \(\omega ^2 r^2/2\) represents the total energy density of the pure harmonic oscillator with potential \(\frac{\omega ^2}{2}\phi ^2\). This is the energy of the oscillator when oscillations are smoothed out and the scalar field approaches its minimum value.
Recall that the potential (18) satisfies \(V(\phi ) = \frac{\omega ^2 \phi ^2}{2}+{\mathscr {O}}\left( \phi ^4\right) \; \text {as} \; \phi \rightarrow 0\).
Then, we obtain
and the deceleration parameter is
System (93) is invariant for the simultaneous change \((t, \varSigma , Q, \varPhi ) \mapsto (t, \varSigma , Q, \varPhi )\). Setting the constant \(b \mu ^3+2 f \mu ^2f \omega ^2=0\implies f=\frac{b \mu ^3}{\omega ^22 \mu ^2}\), the fractional energy density of matter \(\Omega _m:= \frac{\rho _m}{3 H^2}= \frac{\rho _m}{3 Q^2 D^2}\) is parametrized by the equation
Assuming \(\omega ^2>2 \mu ^2\) and setting \(f=\frac{b \mu ^3}{\omega ^22 \mu ^2}>0\), we obtain
where
Replacing \(\dot{{\mathbf {x}}}= {\mathbf {f}}(t, {\mathbf {x}}) D\) with \({\mathbf {x}}= \left( \Omega , \varSigma , Q, \varPhi \right) ^T\) and \({\mathbf {f}}(t, {\mathbf {x}})\) as in Eq. (98) by \(\dot{{\mathbf {y}}}= H {\bar{f}}({\mathbf {y}})\) with \({\mathbf {y}}=\left( {\bar{\Omega }}, {\bar{Q}}, {\bar{\varSigma }}, {\bar{\varPhi }} \right) ^T\) with the time averaging (28) we obtain the timeaveraged system
Proceeding in an analogous way as in references [103, 104] we implement a local nonlinear transformation
where D is the normalization factor and its evolution equation is given by (103). Taking time derivative in both sides of (104) with respect to t we obtain
where \({\mathbb {D}}_{{\mathbf {x}}_0} {\mathbf {g}}(D, {\mathbf {x}}_0,t)\) is the Jacobian matrix of \({\mathbf {g}}(D, {\mathbf {x}}_0,t)\) with respect to the vector \({\mathbf {x}}_0\). The function \({\mathbf {g}}(D, {\mathbf {x}}_0,t)\) is conveniently chosen.
By substituting Eq. (96), which can be written as
along with Eqs. (103) and (104) in Eq. (106) we obtain
where \({\mathbf {I}}_4\) is the \(4\times 4\) identity matrix.
Then, we obtain
Using Eq. (103), we have \( \dot{D}= {\mathscr {O}}(D^2)\). Hence,
The strategy is to use Eq. (110) for choosing conveniently \(\frac{\partial }{\partial t} {\mathbf {g}}(0, {\mathbf {x}}_0,t)\) to prove that
where \(\bar{{\mathbf {x}}}=({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{\varPhi }})^T\) and \(\varDelta {\mathbf {x}}_0={\mathbf {x}}_0  \bar{{\mathbf {x}}}\). The function \(G({\mathbf {x}}_0, \bar{{\mathbf {x}}})\) is unknown at this stage. By construction we neglect the dependence of \(\partial g_i/ \partial t\) and \(g_i\) on D, i.e., we assume \({\mathbf {g}}={\mathbf {g}}({\mathbf {x}}_0,t)\) because the dependence of D is dropped out along with higher order terms in Eq. (110).
Next, we solve a partial differential equation for \({\mathbf {g}}({\mathbf {x}}_0,t)\) given by:
where we have considered \({\mathbf {x}}_0\) and t as independent variables. The right hand side of Eq. (112) is almost periodic with period \(L=\frac{2\pi }{\omega }\) for large times. Then, implementing the average process (28) on right hand side of Eq. (112), where slowvarying dependence of quantities \(\Omega _{0}, \varSigma _{0}, Q_0, \varPhi _0\) and \({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, {\bar{\varPhi }}\) on t is ignored through averaging process, we obtain
Defining
the average (113) is zero so that \({\mathbf {g}}({\mathbf {x}}_0,t)\) is bounded.
Finally, Eq. (111) transforms to
and Eq. (112) is simplified to
Theorem 1
Let be defined the functions \({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, {\bar{\varPhi }},\) and D satisfying timeaveraged equations (99)–(103). Then, there exist continuously differentiable functions \(g_1, g_2, g_3,\) and \(g_4\) such that \(\Omega , \varSigma , Q,\) and \(\varPhi \) are locally given by Eq. (104), where \(\Omega _{0}, \varSigma _{0}, Q_{0}, \varPhi _0\) are order zero approximations of \({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, {\bar{\varPhi }}\) as \(D\rightarrow 0\). Then, functions \(\Omega _{0}, \varSigma _{0}, Q_{0}, \varPhi _0\) and \({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, {\bar{\varPhi }}\) have the same limit on a time scale \(t D ={\mathscr {O}}(1)\). Setting \(\varSigma =\varSigma _0=0\) analogous results are derived for positively curved FLRW model.
Proof
The proof is given in Appendix A. \(\square \)
Theorem 1 implies that \(\Omega , \varSigma , Q\), and \(\varPhi \) evolve at first order in D according to the timeaveraged equations (99)–(103) on a time scale \(t D ={\mathscr {O}}(1)\).
According to Eq. (97) (Eq. (103), respectively), we have that D is monotonic decreasing when \(0< {Q}<1, {\varSigma }^2+ {\Omega }^2<1, {\varSigma }(1 {Q}^2 +3 {Q} {\varSigma })>0\) (\(0<{\bar{Q}}<1, {\bar{\varSigma }}^2+{\bar{\Omega }}^2<1, {\bar{\varSigma }}(1{\bar{Q}}^2 +3 {\bar{Q}} {\bar{\varSigma }})>0\), respectively). Unfortunately, since these regions of full system or averaged system phase space are not invariant for the flow, the monotonicity of D is not guaranteed for all t.
Remark 1
The initial region \(0<Q<1, \varSigma ^2+\Omega ^2<1, {\varSigma }(1Q^2 +3 Q \varSigma )>0\) is not invariant for the full system (93) and for the averaged equations (99)–(103). Hence, although D(t) remains close to zero for \(t< t^*\), where \(t^*\) satisfies \(\dot{D}(t^*)=0\), once the orbit crosses the initial region, D changes its monotony and it will strictly increase without bound for \(t>t^*\). Hence, Theorem 1 is valid on a time scale \(t D ={\mathscr {O}}(1)\).
4.2 FLRW metric with positive curvature
In this section we will study the model with FLRW metric with positive curvature:
For FLRW metric with positive curvature the field equations are obtained by setting \(k=+1\) in Eqs. (89).
Using similar variables as in Eqs. (92) with \(\varSigma =0\) and replacing the normalization factor \(D=\sqrt{H^2 + \frac{{}^3\!R}{6}}\), where \({}^3\!R\) denotes the 3Ricci curvature of spatial surfaces calculated in (86) by Eq. (91), we obtain the system
and the deceleration parameter is
The fractional energy density of matter \(\Omega _m:= \frac{\rho _m}{3 H^2}= \frac{\rho _m}{3 Q^2 D^2}\) is parametrized by the equation
Setting \(f=\frac{b \mu ^3}{\omega ^22 \mu ^2}>0\), we obtain the series expansion near \(D=0\)
where the vector function is defined as
Systems (118) and (121) are invariant for the simultaneous change \((t, Q, \varPhi ) \mapsto (t, Q, \varPhi )\). Replacing \(\dot{{\mathbf {x}}}= {\mathbf {f}}(t, {\mathbf {x}}) D\) with \({\mathbf {x}}= \left( \Omega , Q, \varPhi \right) ^T\), where \( {\mathbf {f}}(t, {\mathbf {x}})\) is given by Eq. (121), by \(\dot{{\mathbf {y}}}=D \bar{{\mathbf {f}}}({\mathbf {y}})\) with \({\mathbf {y}}=\left( {\bar{\Omega }}, {\bar{Q}}, {\bar{\varPhi }} \right) ^T\) with the time averaging (28), we obtain for \(\gamma \ne 1\) the following timeaveraged system
5 Qualitative analysis of timeaveraged systems
According to Theorem 1, in KS metrics and positively curved FLRW models the function (90) plays the role of a timedependent perturbation function controlling the magnitude of error between solutions of the full and timeaveraged problems with the same initial conditions as \(D\rightarrow \infty \). Thus, oscillations are viewed as perturbations as far as D is bounded. In the timeaveraged system Raychaudhuri equation decouples. Therefore, the analysis of the system is reduced to study the corresponding timeaveraged equations.
5.1 Kantowski–Sachs
With time variable \(\eta \) defined by \(\frac{d f}{d \eta }= \frac{1}{D}\frac{d f}{d t}\) the timeaveraged system (99)–(102) transforms to
where we have defined \({\bar{\Omega }}_m\) as
and it was interpreted as the timeaveraged values of \(\Omega _m:= \frac{\rho _m}{3 H^2}\). Then, the phase space is
Furthermore, we have the auxiliary equations
Evaluating the averaged values \(Q={\bar{Q}}, \varSigma ={\bar{\varSigma }}\) at Eqs. (130) and integrating the resulting equations, approximated solutions for \({e_1}^1\) and K as functions of t are obtained.
Recall that a set of nonisolated singular points is said to be normally hyperbolic if the only eigenvalues with zero real parts are those whose corresponding eigenvectors are tangent to the set. Since any point on a set of nonisolated singular points will have at least one eigenvalue which is zero, all points in the set are nonhyperbolic. However, a set which is normally hyperbolic can be completely classified according to its stability by considering the signs of eigenvalues in the remaining directions (i.e., for a curve in the remaining \(n1\) directions) (see [31, pp. 36]).
In the special case \(\gamma =1\) there exist two lines of equilibrium points which are normally hyperbolic

1.
\(K_{}: ({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}})=({\bar{\Omega }}_c, 0, 1)\) with eigenvalues
\(\{\frac{3}{2},1,0\}\), it is a saddle.

2.
\(K_{+}: ({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}})=({\bar{\Omega }}_c, 0, 1)\) with eigenvalues
\(\{\frac{3}{2},1,0\}\), it is a saddle.
Likewise, in the special case \(\gamma =2\) there exist two lines of equilibrium points which are normally hyperbolic

1.
\(L_{}: ({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}})=(0, {\bar{\varSigma }}_c, 1)\) with eigenvalues
\(\{\frac{3}{2},0,2(2+{\bar{\varSigma }}_c)\}\), it is stable for \({\bar{\varSigma }}_c\ge 2\) and a saddle for \({\bar{\varSigma }}_c<2\).

2.
\(L_{+}: ({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}})=(0, {\bar{\varSigma }}_c, 1)\) with eigenvalues
\(\{\frac{3}{2},0,2(2+{\bar{\varSigma }}_c)\}\), it is unstable for \({\bar{\varSigma }}_c\le 2\) and a saddle for \({\bar{\varSigma }}_c>2\).
Recall, the subindex ± indicates whether they correspond to contracting (“−”) or expanding (“\(+\)”) solutions. A solution is classified as expanding if \({Q}>0\) since H and Q have the same sign due to \(D>0\). The equilibrium points of the guiding system (127a)–(127c) are

1.
\(P_1: ({\bar{\Omega }},{\bar{\varSigma }},{\bar{Q}})=(0,1,1)\) with eigenvalues
\(\left\{ 2,\frac{3}{2},3 (\gamma 2)\right\} .\)

(i)
It is a sink for \(0\le \gamma <2.\)

(ii)
It is nonhyperbolic for \(\gamma =2\) (contained in \(L_{}\)).
For \(P_1\) we obtain
$$\begin{aligned}&\dot{D}=3 D^2,\quad \dot{H}=3 D^2,\quad \dot{{\sigma _+}}= 3 D^2,\nonumber \\&\dot{{e_1}^1}= D{e_1}^1,\quad \dot{K}= 4 D K. \end{aligned}$$Imposing initial conditions
$$\begin{aligned}&K(0)=1/c_1, \quad e_1^1(0)=c_1, \nonumber \\&H(0)=H_0, \quad D(0)=D_0,\quad \sigma (0)= \sigma _0, \end{aligned}$$(131)where \(t=0, \tau (0)=0\) is the current time and \(D_0^2=H_0^2+\frac{1}{3 c_1}\), we obtain by integration
$$\begin{aligned}&D(t)=\frac{{D_0}}{13 {D_0} t},\\&H(t)=\frac{{D_0}}{3 {D_0} t1}+{D_0}+{H_0},\\&\sigma _+(t)=\frac{{D_0}}{3 {D_0} t1}+{D_0}+ \sigma _{0},\\&e_1^1(t)^{2}=\frac{1}{{c_1}^2 (3 {D_0} t1)^{\frac{2}{3}}}, \quad K(t)^{1}=c_1 (3 {D_0} t1)^{\frac{4}{3}}. \end{aligned}$$The asymptotic metric at \(P_1\) is given by
$$\begin{aligned} ds^2&=  dt^2 + \frac{1}{{c_1}^2 (3 {D_0} t1)^{\frac{2}{3}}} dr^2 \nonumber \\&\quad + c_1 (3 {D_0} t1)^{\frac{4}{3}} (d\vartheta ^2 + \sin ^2 (\vartheta )\, d\zeta ^2). \end{aligned}$$(132)This point represents a nonflat LRS Kasner (\(p_1=\frac{1}{3}, p_2= p_3= \frac{2}{3}\)) contracting solution [54, Sect. 6.2.2 and Sect. 9.1.1 (2)]. This solution is singular at finite time \(t_0=\frac{1}{3D_0}\) and is valid for \(t>t_0\).

(i)

2.
\(P_2: ({\bar{\Omega }},{\bar{\varSigma }},{\bar{Q}})=(0,1,1)\) with eigenvalues
\(\left\{ 2,\frac{3}{2},63 \gamma \right\} .\)

(i)
It is a source for \(0\le \gamma <2.\)

(ii)
It is nonhyperbolic for \(\gamma =2\) (contained in \(L_{+}\)).
Evaluating at \(P_2\) we obtain
$$\begin{aligned}&\dot{D}=3 D^2,\quad \dot{H}=3 D^2, \quad \dot{{\sigma _+}}= 3 D^2,\nonumber \\&\dot{e_1^1}=D e_1^1, \quad \dot{K}= 4 D K. \end{aligned}$$Imposing initial conditions (131), we obtain by integration
$$\begin{aligned}&D(t)=\frac{{D_0}}{3 {D_0} t+1},\\&H(t)={D_0} \left( \frac{1}{3 {D_0} t+1}1\right) +{H_0},\\&\sigma _+(t)={\sigma _0}\frac{3 {D_0}^2 t}{3 {D_0} t+1},\\&e_1^1(t)^{2}=\frac{1}{{c_1}^2 (3 {D_0} t+1)^{\frac{2}{3}}},\; K(t)^{1}=c_1 (3 {D_0} t+1)^{\frac{4}{3}}. \end{aligned}$$The asymptotic metric at \(P_3\) can be written as
$$\begin{aligned} ds^2&=  dt^2 + \frac{(13 {D_0} t)^2}{{c_1}^2} dr^2 \nonumber \\&\quad + c_1 (d\vartheta ^2 + \sin ^2 (\vartheta )\, d\zeta ^2). \end{aligned}$$(133)This point represents a nonflat LRS Kasner (\(p_1=\frac{1}{3}, p_2= p_3= \frac{2}{3}\)) expanding solution [54, Sect. 6.2.2 and Sect. 9.1.1 (2)]. It is valid for all t.

(i)

3.
\(P_3: ({\bar{\Omega }},{\bar{\varSigma }},{\bar{Q}})=(0,1,1)\) with eigenvalues
\(\left\{ 6,\frac{3}{2},3 (\gamma 2)\right\} .\)

(i)
It is a sink for \(0\le \gamma <2.\)

(ii)
It is nonhyperbolic for \(\gamma =2 \) (contained in \(L_{}\)).
Evaluating at \(P_3\) we obtain
$$\begin{aligned}&\dot{D}=3 D^2,\quad \dot{H}=3 D^2, \nonumber \\&\dot{{\sigma _+}}= 3 D^2, \quad \dot{e_1^1}=3 D e_1^1, \quad \dot{K}=0. \end{aligned}$$Imposing initial conditions (131), we obtain by integration
$$\begin{aligned}&D(t)=\frac{{D_0}}{13 {D_0} t},\\&H(t)=\frac{{D_0}}{3 {D_0} t1}+{D_0}+{H_0},\\&\sigma _+(t)=\frac{3 {D_0}^2 t}{13 {D_0} t}+{\sigma _0},\\&e_1^1(t)^{2}=\frac{(13 {D_0} t)^2}{{c_1}^2},\quad K(t)^{1}=c_1. \end{aligned}$$This point represents a Taub (flat LRS Kasner) contracting solution (\(p_1=1, p_2= 0, p_3= 0\)) [54, Sect 6.2.2 and p 193, eq. (9.6)]. This solution is singular at finite time \(t_0\) and is valid for \(t>t_0\).

(i)

4.
\(P_4: ({\bar{\Omega }},{\bar{\varSigma }},{\bar{Q}})=(0,1,1)\) with eigenvalues
\(\left\{ 6,\frac{3}{2},63 \gamma \right\} .\)

(i)
It is a source for \(0\le \gamma <2.\)

(ii)
It is nonhyperbolic for \(\gamma =2 \) (contained in \(L_{+}\)).
Evaluating at \(P_4\) we obtain
$$\begin{aligned}&\dot{D}=3 D^2,\quad \dot{H}=3 D^2, \\&\dot{{\sigma _+}}= 3 D^2, \quad \dot{e_1^1}=3 D e_1^1, \quad \dot{K}=0. \end{aligned}$$Imposing initial conditions (131), we obtain by integration
$$\begin{aligned}&D(t)=\frac{{D_0}}{3 {D_0} t+1},\\&H(t)={D_0} \left( \frac{1}{3 {D_0} t+1}1\right) +{H_0},\\&\sigma _+(t)=\frac{3 {D_0}^2 t}{3 {D_0} t+1}+{\sigma _0},\\&e_1^1(t)^{2}=\frac{(3 {D_0} t+1)^2}{{c_1}^2}, \quad K(t)^{1}=c_1. \end{aligned}$$This point represents a Taub (flat LRS Kasner) expanding solution (\(p_1=1, p_2= 0, p_3= 0\)) [54, Sect 6.2.2 and p 193, eq. (9.6)].

(i)

5.
\(P_5: ({\bar{\Omega }},{\bar{\varSigma }},{\bar{Q}})=(0,0,1)\) with eigenvalues
\(\left\{ 3\frac{3 \gamma }{2},\frac{3}{2} (\gamma 1),23 \gamma \right\} .\)

(i)
It is a source for \(0\le \gamma <\frac{2}{3}.\)

(ii)
It is a saddle for \(\frac{2}{3}<\gamma <1\) or \(1<\gamma <2.\)

(iii)
It is nonhyperbolic for \(\gamma =\frac{2}{3}\) or \(\gamma =1\) (contained in \(K_{}\)) or \(\gamma =2\) (contained in \(L_{}\)).
Evaluating at \(P_5\) we obtain
$$\begin{aligned}&\dot{D}=\frac{3}{2} \gamma D^2,\quad \dot{H}=\frac{3}{2} \gamma D^2, \quad \dot{{\sigma _+}}= 0,\\&\dot{e_1^1}= D e_1^1, \quad \dot{K}=2 D K. \end{aligned}$$Imposing initial conditions (131) with \(\sigma _0=0\), we obtain by integration
$$\begin{aligned}&D(t)=\frac{2 {D_0}}{23 \gamma {D_0} t},\\&H(t)=\frac{2 {D_0}}{3 \gamma {D_0} t2}+{D_0}+{H_0},\\&\sigma _+(t)=0,\\&e_1^1(t)^{2}=\frac{\left( 1\frac{3 \gamma {D_0} t}{2}\right) ^{\frac{4}{3 \gamma }}}{{c_1}^2},\\&K(t)^{1}=c_1 \left( 1\frac{3 \gamma D_0 t}{2}\right) ^{\frac{4}{3 \gamma }}. \end{aligned}$$The corresponding solution is a flat matterdominated FLRW contracting solution with \({\bar{\Omega }}_m=1\). This solution is singular at finite time \(t_1=\frac{2}{3 \gamma D_0}\) and is valid for \(t>t_1\).

(i)

6.
\(P_6: ({\bar{\Omega }},{\bar{\varSigma }},{\bar{Q}})=(0,0,1)\) with eigenvalues
\(\left\{ \frac{3 (\gamma 2)}{2},\frac{3 (\gamma 1)}{2},3 \gamma 2\right\} .\)

(i)
It is a sink for \(0\le \gamma <\frac{2}{3}.\)

(ii)
It is a saddle for \(\frac{2}{3}<\gamma <1\) or \(1<\gamma <2.\)

(iii)
It is nonhyperbolic for \(\gamma =\frac{2}{3}\) or \(\gamma =1\) (contained in \(K_{+}\)) or \(\gamma =2 \) (contained in \(L_{+}\)).
Evaluating at \(P_6\) we obtain
$$\begin{aligned}&\dot{D}=\frac{3}{2} \gamma D^2,\; \dot{H}=\frac{3}{2} \gamma D^2, \\&\dot{{\sigma _+}}= 0, \quad \dot{e_1^1}= D e_1^1, \quad \dot{K}=2 D K. \end{aligned}$$Imposing initial conditions (131) with \(\sigma _0=0\), we obtain by integration
$$\begin{aligned}&D(t)=\frac{2 {D_0}}{3 \gamma {D_0} t+2},\\&H(t)={D_0} \left( \frac{2}{3 \gamma {D_0} t+2}1\right) +{H_0},\\&\sigma _+(t)={0},\\&e_1^1(t)^{2}=\frac{\left( \frac{3 \gamma {D_0} t}{2}+1\right) ^{\frac{4}{3 \gamma }}}{{c_1}^2},\\&K(t)^{1}=c_1 \left( \frac{3 \gamma D_0 t}{2}+1\right) ^{\frac{4}{3 \gamma }}. \end{aligned}$$The asymptotic metric at \(P_6\) is given by
$$\begin{aligned} ds^2&=  dt^2 + \frac{\left( \frac{3 \gamma {D_0} t}{2}+1\right) ^{\frac{4}{3 \gamma }}}{{c_1}^2} dr^2 \nonumber \\&\quad + c_1 \left( \frac{3 \gamma D_0 t}{2}+1\right) ^{\frac{4}{3 \gamma }} (d\vartheta ^2 + \sin ^2 (\vartheta )\, d\zeta ^2). \end{aligned}$$(134)The corresponding solution is a flat matterdominated FLRW universe with \({\bar{\Omega }}_m=1\). \(F_0\) represents a quintessence fluid for \(0<\gamma <\frac{2}{3}\) or a zeroacceleration model for \(\gamma =\frac{2}{3}\). In the limit \(\gamma =0\) we have \(\ell (t)\propto \left( 1+\frac{3 \gamma {D_0} t}{2}\right) ^{\frac{2}{3 \gamma }}\rightarrow \ell _0 e^{D_0 t}\), where \(D_0=H_0\), i.e., there is a de Sitter solution.

(i)

7.
\(P_7: ({\bar{\Omega }},{\bar{\varSigma }},{\bar{Q}})=(1,0,1)\) with eigenvalues
\(\left\{ \frac{3}{2},1,33 \gamma \right\} .\) This point is always a saddle because it has a negative and a positive eigenvalue. For \(\gamma =1\) it is a nonhyperbolic saddle (contained in \(K_{}\)). Evaluating at \(P_7\) we obtain
$$\begin{aligned}&\dot{D}= 3 \cos ^2(t \omega \varPhi ) D^2+{\mathscr {O}}\left( D^3\right) , \\&\dot{H}= 3 \cos ^2(t \omega \varPhi ) D^2+{\mathscr {O}}\left( D^3\right) , \\&\dot{{\sigma _+}}= 0, \quad \dot{e_1^1}= D e_1^1, \quad \dot{K}=2 D K. \end{aligned}$$In average \(\varPhi \) is constant. Then, setting for simplicity \(\varPhi =0\) and integrating the first two eqs. we obtain
$$\begin{aligned}&D(t)\approx \frac{4 \omega }{4 \alpha \omega +6 t \omega +3 \sin (2 t \omega )}, \\&H(t)\approx \frac{4 \omega }{4 \alpha \omega +6 t \omega +3 \sin (2 t \omega )}, \end{aligned}$$for large t. Then,
$$\begin{aligned} D(t)\approx \frac{2}{3 t}, \quad H(t)\approx \frac{2}{3 t}, \end{aligned}$$(135)as \(t\rightarrow \infty \). Finally,
$$\begin{aligned} e_1^1(t)= \frac{c_1}{t^{\frac{2}{3}}}, \quad K(t)= \frac{c_2}{t^{\frac{4}{3}}}, \quad \sigma =0. \end{aligned}$$(136)The line element (75) becomes
$$\begin{aligned} ds^2&=  dt^2 + c_1^{2} {t^{\frac{4}{3}}} dr^2 \nonumber \\&\quad + {c_2^{1}}{t^{\frac{4}{3}}} (d\vartheta ^2 + \sin ^2 (\vartheta )\, d\zeta ^2). \end{aligned}$$(137)Hence, the equilibrium point can be associated with Einstein–de Sitter solution [54, Sec 9.1.1 (1)] with \(\gamma = 1\). It is a contracting solution.

8.
\(P_8: ({\bar{\Omega }},{\bar{\varSigma }},{\bar{Q}})=(1,0,1)\) with eigenvalues
\(\left\{ \frac{3}{2},1,3 (\gamma 1)\right\} .\) This point is always a saddle because it has a negative and a positive eigenvalue. For \(\gamma =1\) it is a nonhyperbolic saddle (contained in \(K_+\)).
Evaluating at \(P_8\) we obtain
$$\begin{aligned}&\dot{D}=3 \cos ^2(t \omega \varPhi ) D^2+{\mathscr {O}}\left( D^3\right) , \\&\dot{H}= 3 \cos ^2(t \omega \varPhi ) D^2+{\mathscr {O}}\left( D^3\right) , \\&\dot{{\sigma _+}}= 0, \quad \dot{e_1^1}= D e_1^1, \quad \dot{K}=2 D K. \end{aligned}$$In average \(\varPhi \) is constant. Then, setting for simplicity \(\varPhi =0\) and integrating the first two equations we obtain
$$\begin{aligned}&D(t)\approx \frac{4 \omega }{4 \alpha \omega +6 t \omega +3 \sin (2 t \omega )}, \\&H(t)\approx \frac{4 \omega }{4 \alpha \omega +6 t \omega +3 \sin (2 t \omega )}. \end{aligned}$$Then,
$$\begin{aligned} D(t)\approx \frac{2}{3 t},\quad H(t)\approx \frac{2}{3 t}, \end{aligned}$$(138)as \(t\rightarrow \infty \). Finally,
$$\begin{aligned} e_1^1(t)= \frac{c_1}{t^{\frac{2}{3}}}, \quad K(t)= \frac{c_2}{t^{\frac{4}{3}}},\quad \sigma (t)=0. \end{aligned}$$(139)The line element (75) becomes
$$\begin{aligned} ds^2&=  dt^2 + c_1^{2} {t^{\frac{4}{3}}} dr^2 \nonumber \\&\quad + {c_2^{1}}{t^{\frac{4}{3}}} (d\vartheta ^2 + \sin ^2 (\vartheta )\, d\zeta ^2). \end{aligned}$$(140)Hence, the equilibrium point can be associated with Einstein–de Sitter solution [54, Sec 9.1.1 (1)] with \(\gamma = 1\). It is an expanding solution.

9.
\(P_{9}: ({\bar{\Omega }},{\bar{\varSigma }},{\bar{Q}})=\left( 0,\frac{23 \gamma }{\sqrt{(43 \gamma )^2}},\frac{2}{\sqrt{(4 3 \gamma )^2}}\right) \) with eigenvalues
\(\Big \{\frac{1}{3 \gamma 4}+1,\frac{3 \left( \gamma \sqrt{2\gamma } \sqrt{\gamma (24 \gamma 41)+18}2\right) }{6 \gamma 8}\),
\(\frac{3 \left( \gamma +\sqrt{2\gamma } \sqrt{\gamma (24 \gamma 41)+18}2\right) }{6 \gamma 8}\Big \}.\) It exists for \(0\le \gamma \le \frac{2}{3}\) or \(\gamma =2\).

(i)
It is a saddle for \(0\le \gamma <\frac{2}{3}.\)

(ii)
It is nonhyperbolic for \(\gamma =\frac{2}{3}\) or \(\gamma =2.\)
Evaluating at \(P_{9}\) for \(0\le \gamma <\frac{2}{3}\) we obtain the following:
$$\begin{aligned}&\dot{D}= \frac{3 \gamma D^2}{3 \gamma 4}, \quad \dot{H}= \frac{6 \gamma D^2}{(3 \gamma 4)^2}, \\&\dot{\sigma _{+}}= \frac{3 \gamma (3 \gamma 2) D^2}{(3 \gamma 4)^2}, \\&\dot{e_1^1}= \frac{6 (\gamma 1)D e_1^1}{3 \gamma 4}, \quad \dot{K}= \frac{6 \gamma D K}{3 \gamma 4}. \end{aligned}$$Imposing initial conditions (131), we obtain by integration
$$\begin{aligned}&D(t)= \frac{(3 \gamma 4) {D_0}}{3 \gamma ({D_0} t+1)4}, \\&H(t)=2 {D_0} \left( \frac{1}{43 \gamma }+\frac{1}{3 \gamma +3 \gamma {D_0} t4}\right) +{H_0},\\&\sigma _{+}(t)= \frac{3 (23 \gamma ) \gamma {D_0}^2 t}{(3 \gamma 4) (3 \gamma +3 \gamma {D_0} t4)}+{\sigma _0},\\&e_{1}^1(t)^{2}=\frac{(3 \gamma 4)^{4\frac{4}{\gamma }} (3 \gamma ({D_0} t+1)4)^{\frac{4}{\gamma }4}}{c_1^2},\\&K(t)^{1}=\frac{c_1 (43 \gamma ({D_0} t+1))^2}{(43 \gamma )^2}. \end{aligned}$$The line element (75) becomes
$$\begin{aligned} ds^2&=  dt^2 + \frac{(3 \gamma 4)^{4\frac{4}{\gamma }} (3 \gamma ({D_0} t+1)4)^{\frac{4}{\gamma }4}}{c_1^2} dr^2 \nonumber \\&\quad +\frac{c_1 (43 \gamma ({D_0} t+1))^2}{(43 \gamma )^2} \left[ d \vartheta ^2 + \sin ^2(\vartheta ) d \zeta \right] . \end{aligned}$$(141)This solution is singular at finite time \(t_2= \frac{1}{D_0}\left( \frac{4}{3 \gamma }1\right) \) and is valid for \(t>t_2\).
For \(\gamma =2\) we have
$$\begin{aligned}&\dot{D}= 3 D^2, \quad \dot{H}= 3 D^2, \quad \dot{\sigma _{+}}= 6 D^2, \nonumber \\&\dot{e_1^1}= 3 D e_1^1, \quad \dot{K}=6 D K. \end{aligned}$$Imposing initial conditions (131), we obtain by integration
$$\begin{aligned}&D(t)=\frac{{D_0}}{13 {D_0} t}, \\&H(t)= \frac{{D_0}}{3 {D_0} t1}+{D_0}+{H_0},\\&\sigma _{+}(t)=\frac{6 {D_0}^2 t}{3 {D_0} t1}+{\sigma _0},\\&e_{1}^1(t)^{2}=\frac{1}{(c_13 c_1 {D_0} t)^2}, \quad K(t)^{1}=c_1 (13 {D_0} t)^2. \end{aligned}$$This solution is singular at finite time \(t_3= \frac{1}{3 D_0}\) and is valid for \(t>t_3\).

(i)

10.
\(P_{10}: ({\bar{\Omega }},{\bar{\varSigma }},{\bar{Q}})=\left( 0,\frac{3 \gamma 2}{\sqrt{(43 \gamma )^2}},\frac{2}{\sqrt{(43 \gamma )^2}}\right) \) with eigenvalues
\(\Big \{\frac{3 (\gamma 1)}{43 \gamma },\frac{3 \left( \gamma +\sqrt{2\gamma } \sqrt{\gamma (24 \gamma 41)+18}2\right) }{86 \gamma }\),
\(\frac{3 \gamma +3 \sqrt{2\gamma } \sqrt{\gamma (24 \gamma 41)+18}+6}{6 \gamma 8}\Big \}.\) It exists for \(0\le \gamma \le \frac{2}{3}\) or \(\gamma =2\).

(i)
It is a saddle for \(0\le \gamma <\frac{2}{3}.\)

(ii)
It is nonhyperbolic for \(\gamma =\frac{2}{3}\) or \(\gamma =2.\)
Evaluating at \(P_{10}\) for \(0\le \gamma <\frac{2}{3}\) we obtain the following:
$$\begin{aligned}&\dot{D}= \frac{3 \gamma D^2}{3 \gamma 4}, \quad \dot{H}= \frac{6 \gamma D^2}{(3 \gamma 4)^2}, \\&\dot{\sigma _{+}}= \frac{3 \gamma (3 \gamma 2) D^2}{(3 \gamma 4)^2}, \\&\dot{e_1^1}=\frac{6 (\gamma 1) D e_1^1}{3 \gamma 4}, \quad \dot{K}=\frac{6 \gamma D K}{3 \gamma 4}. \end{aligned}$$Imposing initial conditions (131), we obtain by integration
$$\begin{aligned}&D(t)= \frac{(43 \gamma ) {D_0}}{3 \gamma ({D_0} t1)+4}, \\&H(t)= 2 {D_0} \left( \frac{1}{3 \gamma 4}+\frac{1}{3 \gamma +3 \gamma {D_0} t+4}\right) +H_0,\\&\sigma _{+}(t)=\frac{3 \gamma (3 \gamma 2) {D_0}^2 t}{(3 \gamma 4) (3 \gamma +3 \gamma {D_0} t+4)}+\sigma _0,\\&e_{1}^1(t)^{2}=\frac{\left( \frac{3 \gamma +3 \gamma {D_0} t+4}{43 \gamma }\right) ^{\frac{4}{\gamma }4}}{c_1^2},\\&K(t)^{1}= \frac{c_1 (3 \gamma ({D_0} t1)+4)^2}{(43 \gamma )^2}. \end{aligned}$$The line element (75) becomes
$$\begin{aligned} ds^2&=  dt^2 + \frac{\left( \frac{3 \gamma +3 \gamma {D_0} t+4}{43 \gamma }\right) ^{\frac{4}{\gamma }4}}{c_1^2} dr^2 \nonumber \\&\quad + \frac{c_1 (3 \gamma ({D_0} t1)+4)^2}{(43 \gamma )^2} \left[ d \vartheta ^2 + \sin ^2(\vartheta ) d \zeta \right] . \end{aligned}$$(142)For \(\gamma =2\) we have
$$\begin{aligned}&\dot{D}= 3 D^2, \quad \dot{H}= 3 D^2, \quad \dot{\sigma _{+}}= 6 D^2, \nonumber \\&\dot{e_1^1}= 3 D e_1^1, \quad \dot{K}=6 D K. \end{aligned}$$Imposing initial conditions (131), we obtain by integration
$$\begin{aligned}&D(t)=\frac{{D_0}}{3 {D_0} t+1}, \\&H(t)= {D_0} \left( \frac{1}{3 {D_0} t+1}1\right) +H_0,\\&\sigma _{+}(t)=\sigma _0\frac{6 {D_0}^2 t}{3 {D_0} t+1},\\&e_{1}^1(t)^{2}=\frac{1}{(3 c_1 {D_0} t+c_1)^2},\\&K(t)^{1}= c_1 (3 {D_0} t+1)^2. \end{aligned}$$ 
(i)
To study the dynamics at the invariant boundary \({\bar{\varSigma }}^2+ {\bar{\Omega }}^2=1\) which corresponds to vacuum solutions, we introduce cylindrical coordinates
The dynamics on the invariant surface is given by
In Table 1, the equilibrium points of system (144) are presented. The eigenvalues are obtained evaluating the linearization matrix of (144) at each point.
In Fig. 1 orbits in the invariant set \((\theta , {\bar{Q}})\) with dynamics given by (144) are presented. There it is illustrated that \(P_7\) and \(P_8\) are saddle points.
In Fig. 2 some orbits in the phase space of the guiding system (127a)–(127c) for \(\gamma =0\) corresponding to the CC are presented. In Fig. 2a orbits in the phase space \(({\bar{\varSigma }}, {\bar{Q}}, {\bar{\Omega }})\) are displayed. In Fig. 2b orbits in the invariant set \({\bar{\Omega }}=0\) are shown. Points \(P_2\), \(P_4\), and \(P_5\) are earlytime attractors. Points \(P_1, P_3\), and \(P_6\) are latetime attractors. Points \(P_7\), \(P_8\), \(P_9\), and \(P_{10}\) are saddle points.
In Fig. 3 some orbits of the phase space of the guiding system (127c) for \(\gamma =\frac{2}{3}\) are presented. In Fig. 3a some orbits in the phase space \(({\bar{\varSigma }}, {\bar{Q}}, {\bar{\Omega }})\) are displayed. In Fig. 3b some orbits in the invariant set \({\bar{\Omega }}=0\) are shown. For the value of \(\gamma =\frac{2}{3}\), \(P_5\) coincides with \(P_9\) and \(P_6\) coincides with \(P_{10}\). They are nonhyperbolic. Points \(P_2\) and \(P_4\) are earlytime attractors. Points \(P_1\) and \(P_3\) are latetime attractors. Points \(P_5\), \(P_6\), \(P_7\), and \(P_8\) are saddle points.
In Fig. 4 some orbits in the phase space of the guiding system (127a)–(127c) for \(\gamma =1\) which corresponds to dust are displayed. In Fig. 4a some orbits in the phase space \(({\bar{\varSigma }}, {\bar{Q}}, {\bar{\Omega }})\) are presented. In Fig. 4b some orbits in the invariant set \({\bar{\Omega }}=0\) are presented. Points \(P_{2}\) and \(P_{4}\) are earlytime attractors. Points \(P_{1}\) and \(P_{3}\) are latetime attractors. Points \(P_{5}\), \(P_{6}\), \(P_{7}\), and \(P_{8}\) are saddle points.
In Fig. 5 some orbits in the phase space of guiding system (127a)–(127c) for \(\gamma =\frac{4}{3}\) corresponding to radiation are presented. In Fig. 5a some orbits in the phase space \(({\bar{\varSigma }}, {\bar{Q}}, {\bar{\Omega }})\) are displayed. In Fig. 5b some orbits in the invariant set \({\bar{\Omega }}=0\) are shown. In both diagrams 5 and 6 points \(P_2\) and \(P_4\) are earlytime attractors. Points \(P_1\) and \(P_3\) are latetime attractors. Points \(P_5, P_6, P_7\), and \(P_8\) are saddle points. Points \(P_9\) and \(P_{10}\) do not exist.
In Fig. 6 some orbits in the phase space of guiding system (127a)–(127c) for \(\gamma =2\) which corresponds to stiff matter are presented. In Fig. 6a some orbits in the phase space \(({\bar{\varSigma }}, {\bar{Q}}, {\bar{\Omega }})\) are displayed. In Fig. 6b some orbits in the invariant set \({\bar{\Omega }}=0\) are shown. The line connecting points \(P_2, P_4\), and \(P_6\) (denoted by a dashed blue line) is invariant, and it is the earlytime attractor. The line connecting points \(P_1, P_3\), and \(P_5\) (denoted by a dashed blue line) is invariant and it is the latetime attractor. Points \(P_7\) and \(P_8\) are saddle points. Points \(P_9\) and \(P_{10}\) do not exist.
5.1.1 Latetime behavior in the reduce phase space
Now, we study the dynamics in the reduced phase space \({\mathbf {x}}=(\Omega , \varSigma , Q)\) where the effect of D in the dynamics was neglected. The results from the linear stability analysis combined with Theorem 1 lead to the following local results.
Theorem 2
Latetime attractors of full system (93) and timeaveraged system (127) as \(D\rightarrow 0\) for Kantowski–Sachs line element are

(i)
The anisotropic solution \(P_1\) with \({\bar{\Omega }}_m=0\) and line element (132) if \(0\le \gamma < 2\). This point represents a nonflat LRS Kasner \((p_1=\frac{1}{3}, p_2= p_3= \frac{2}{3})\) contracting solution with \(H<0\) [54, Sect. 6.2.2 and Sect. 9.1.1 (2)]. This solution is singular at finite time \(t_0=\frac{1}{3D_0}\) and is valid for \(t>t_0\).

(ii)
The anisotropic solution \(P_3\) with \({\bar{\Omega }}_m=0\) and line element (133) if \(0\le \gamma < 2,\) representing a contracting solution with \(H<0\). This point represents a Taub (flat LRS Kasner) contracting solution \((p_1=1, p_2= 0, p_3= 0)\) [54, Sect 6.2.2 and p 193, eq. (9.6)].

(iii)
The flat matterdominated FLRW universe \(P_6\) with metric (134) if \(0< \gamma < \frac{2}{3}\). \(P_6\) represents a quintessence fluid or a Dirac–Milne model for \(\gamma =\frac{2}{3}\). If \(\gamma \rightarrow 0\) we have \(\ell (t) \propto \left( \frac{3 \gamma D_{0} t}{2}+1\right) ^{\frac{2}{3 \gamma }}\rightarrow e^{D_0 t}\), where \(D_0=H_0,\) i.e., the de Sitter solution.
For global results when \(D\in [0, \infty )\) see Sect. 6.
5.2 FLRW metric with positive curvature
In FLRW metric with positive curvature timeaveraged system (123)–(125) transforms to
where D is defined by Eq. (91).
The equation for \({\bar{\Omega }}\) is simplified by setting \({\bar{\varSigma }}=0\) in Eq. (128) and we define \({\bar{\Omega }}_k\) as \({\bar{Q}}^2 {\bar{\Omega }}_k:= 1{\bar{Q}}^2\), where \({\bar{\Omega }}_k\) is interpreted as the timeaveraged values of \(\Omega _k:= \frac{1}{a^2 H^2}\). Then, the phase space is
In some special cases we relax the condition \({\bar{\Omega }}\le 1\) and consider \({\bar{\Omega }}>1\). In Fig. 7 the phase plane for system (145a), (145b), which correspond to closed FLRW, is presented for different values of the barotropic index.
Equilibrium points of (145a) and (145b) are

1.
\(P_5: ({\bar{\Omega }}, {\bar{Q}})= (0,1)\) with eigenvalues
\(\left\{ 23 \gamma ,\frac{3}{2} (\gamma 1)\right\} \).

(i)
It is a source for \(0\le \gamma <\frac{2}{3}\).

(ii)
It is a saddle for \(\frac{2}{3}<\gamma <1\).

(iii)
It is nonhyperbolic for \(\gamma =\frac{2}{3}\) and \(\gamma =1\).

(iv)
It is a sink for \(1<\gamma \le 2\).
This equilibrium point is related to the isotropic point \(P_5\) of KS. The asymptotic metric at \(P_5\) is given by
$$\begin{aligned} ds^2&=  dt^2 + \frac{\left( 1\frac{3 \gamma {D_0} t}{2}\right) ^{\frac{4}{3 \gamma }}}{{c_1}^2} dr^2 \nonumber \\&\quad + c_1 \left( 1\!\!\frac{3 \gamma D_0 t}{2}\right) ^{\frac{4}{3 \gamma }} \sin ^2 (r) (d\vartheta ^2 + \sin ^2 (\vartheta )\, d\zeta ^2). \end{aligned}$$(147)The corresponding solution is a flat matterdominated FLRW contracting solution with \({\bar{\Omega }}_m=1\).

(i)

2.
\(P_6: ({\bar{\Omega }}, {\bar{Q}})= (0,1)\) with eigenvalues
\(\left\{ \frac{3}{2}(\gamma 1),3 \gamma 2\right\} \).

(i)
It is a sink for \(0\le \gamma <\frac{2}{3}\).

(ii)
It is a saddle for \(\frac{2}{3}<\gamma <1\).

(iii)
It is nonhyperbolic for \(\gamma =\frac{2}{3}\) and \(\gamma =1\).

(iv)
It is a source for \(1<\gamma \le 2\).
This equilibrium point is related to the isotropic point \(P_6\) of KS. The asymptotic metric at the equilibrium point \(P_6\) is
$$\begin{aligned} ds^2&=  dt^2 + \frac{\left( \frac{3 \gamma {D_0} t}{2}+1\right) ^{\frac{4}{3 \gamma }}}{{c_1}^2} dr^2 \nonumber \\&\quad + c_1 \left( \frac{3 \gamma D_0 t}{2}+1\right) ^{\frac{4}{3 \gamma }} \sin ^2 (r) (d\vartheta ^2 + \sin ^2 (\vartheta )\, d\zeta ^2). \end{aligned}$$(148)\(P_6\) represents a quintessence fluid or a Dirac–Milne model for \(\gamma =\frac{2}{3}\). In the limit \(\gamma =0\) we have \(\ell (t) \propto \left( \frac{3 \gamma D_{0} t}{2}+1\right) ^{\frac{2}{3 \gamma }}\rightarrow e^{D_0 t}\), i.e., the de Sitter solution.

(i)

3.
\(P_7: ({\bar{\Omega }}, {\bar{Q}})= (1,1)\) with eigenvalues \(\{1,3 (\gamma 1)\}\).

(i)
It is a sink for \(0\le \gamma <1\).

(ii)
It is nonhyperbolic for \(\gamma =1\).

(iii)
It is a saddle for \(1<\gamma \le 2\).
This equilibrium point is related to the isotropic point \(P_7\) of KS. The line element (75) becomes
$$\begin{aligned} ds^2&=  dt^2 + c_1^{2} {t^{\frac{4}{3}}} dr^2 \nonumber \\&\quad + {c_2^{1}}{t^{\frac{4}{3}}} \sin ^2 (r) \; (d\vartheta ^2 + \sin ^2 (\vartheta )\, d\zeta ^2). \end{aligned}$$(149)Hence, the equilibrium point can be associated with Einstein–de Sitter solution [54, Sec 9.1.1 (1)] with \(\gamma = 1\). It is a contracting solution.

(i)

4.
\(P_8: ({\bar{\Omega }}, {\bar{Q}})= (1,1)\) with eigenvalues \(\{33 \gamma ,1\}\).

(i)
It is a source for \(0\le \gamma <1\).

(ii)
It is nonhyperbolic for \(\gamma =1\).

(iii)
It is a saddle for \(1<\gamma \le 2\).
This equilibrium point is related to the isotropic point \(P_8\) of KS. The line element (75) becomes
$$\begin{aligned} ds^2&=  dt^2 + c_1^{2} {t^{\frac{4}{3}}} dr^2 \nonumber \\&\quad + {c_2^{1}}{t^{\frac{4}{3}}} \sin ^2 (r) \; (d\vartheta ^2 + \sin ^2 (\vartheta )\, d\zeta ^2). \end{aligned}$$(150)Hence, the equilibrium point can be associated with Einstein–de Sitter solution [54, Sec 9.1.1 (1)] with \(\gamma = 1\). It is an expanding solution.

(i)

5.
\(E: ({\bar{\Omega }}, {\bar{Q}})= \left( \sqrt{\frac{3 \gamma 2}{3 \gamma 3}},0\right) \) with eigenvalues
\( \left\{ \frac{\sqrt{23 \gamma }}{\sqrt{2} },\frac{\sqrt{23 \gamma }}{\sqrt{2} }\right\} \). This point exists for \(0\le \gamma \le \frac{2}{3}\) or \(1<\gamma \le 2\) and can be characterized as

(i)
It is a saddle for \(0\le \gamma <\frac{2}{3}\).

(ii)
It is nonhyperbolic for \(\gamma =\frac{2}{3}\) or \(1<\gamma \le 2\).
This solution represents Einstein’s static universe. It is characterized by \(k= 1\), \({\dot{\ell }} = \ddot{\ell }=0\). It is usually viewed as a fluid model with a CC that is given a priori as a fixed universal constant [105,106,107,108,109,110,111,112].

(i)
In the special case \(\gamma =\frac{2}{3}\) there is one line of equilibrium points which are normally hyperbolic, \(M^{0}: ({\bar{\Omega }}, {\bar{Q}})= \left( 0, {\bar{Q}}_c\right) \) with eigenvalues \(\left\{ \frac{{\bar{Q}}_c}{2},0\right\} \), which is a sink for \({\bar{Q}}_c>0\) and a source for \({\bar{Q}}_c<0\). The first equation of guiding system (123)–(125) becomes trivial up to second order in the Dexpansion when \(\gamma =1\). Using Taylor expansion up to the fourth order in D the following timeaveraged system is obtained
Given
From Eq. (151b) we have
Substituting back Eq. (153) in Eq. (151) we have
Using the method of the integrating factor we define
to obtain
The integration constant can be absorbed in the indefinite integral. Then, we have
Substituting Eq. (157) in Eq. (153) we obtain
Then, substituting Eqs. (157) and (158) in Eq. (151c) we obtain the quadrature
Substituting Eqs. (157), (158) in Eq. (151a) we obtain under assumptions (152) the differential equation
Summarizing, system (151) admits the first integral (157)–(159), where \({{\bar{Q}}}\) satisfies the differential equation (160).
To analyze the asymptotic behavior of the solutions of Eq. (160) we introduce the variables \(x={{\bar{Q}}}(\eta ), \; y= {{\bar{Q}}}'(\eta )\) to obtain
The origin is an equilibrium point with eigenvalues \(\left\{ i \sqrt{2},i \sqrt{2}\right\} \). The dynamics of system (161) in the coordinates \((x, y/\sqrt{1+y^2})\) is presented in Fig. 8 where the origin is a stable center. According to the analysis at first order of the guiding system (123)–(125), Einstein’s static universe has coordinates \(E: ({\bar{\Omega }}, {\bar{Q}})= \left( \sqrt{\frac{3 \gamma 2}{3 \gamma 3}},0\right) \). When \(\gamma =1\), this point satisfies \({\bar{\Omega }} \rightarrow \infty \). However, by taking \(\gamma =1\) the equation for \({\bar{\Omega }}\) is decoupled and \({\bar{\Omega }}\) only takes arbitrary constant values. On the other hand, since \(\gamma =1\), we required higher order terms in Taylor expansion for obtaining system (151). Since extra \({\bar{\Omega }}\) coordinate is excluded from Fig. 8, Einstein’s static solution emerged. It is indeed a stable center in the \(({\bar{Q}}, {\bar{Q}}')\) phase space. In Fig. 8 the points \((x,y)=(1,0)\) and \((x,y)=(1,0)\) are saddles. Now, we study the dynamics in the reduced phase space \({\mathbf {x}}=(\Omega , Q)\), where the effect of D in the dynamics was neglected. The results from the linear stability analysis combined with Theorem 1 for \(\varSigma =0\) lead to the following local results.
Theorem 3
Latetime attractors of full system (118) and timeaveraged system (145) as \(D\rightarrow 0\) for closed FLRW metric with positive curvature line element are

(i)
The isotropic solution \(P_5\) with metric (147) if \(1< \gamma \le 2\). The corresponding solution is a flat matterdominated FLRW contracting solution with \({\bar{\Omega }}_m=1\).

(ii)
The flat matterdominated FLRW universe \(P_6\) with metric (148) if \(0< \gamma < \frac{2}{3}\). \(P_6\) represents a quintessence fluid or a Dirac–Milne model for \(\gamma =\frac{2}{3}\). In the limit \(\gamma =0\) we have
\(\ell (t) \propto \left( \frac{3 \gamma D_{0} t}{2}+1\right) ^{\frac{2}{3 \gamma }}\rightarrow e^{D_0 t},\) i.e., it corresponds to de Sitter solution.

(iii)
The equilibrium point \(P_7\) with metric (149) for \(0 \le \gamma <1\). The equilibrium point can be associated with Einstein–de Sitter solution.
For global results when \(D\in [0, \infty )\) see Sect. 6.
6 Regular dynamical system on a compact phase space for Kantowski–Sachs and closed FLRW models
According to Remark 1, Theorem 1 is valid on a finite time scale where D, given by Eq. (90), remains close to zero, but at a critical time \(t^*\) we have \(D'(t^*)=0\) and D becomes strictly increasing when \(t>t^*\) such that \(\lim _{t\rightarrow \infty }D(t)= \infty .\) A lower bound for \(t^*\) is estimated as \({\bar{t}}= \sup \{t>0: \varSigma (t)(1Q^2(t) +3 Q(t) \varSigma (t))>0\}\). If \( {\bar{t}}= \infty \) this would mean that \(\varSigma (t)(1Q^2(t) +3 Q(t) \varSigma (t))>0\) is invariant for the flow and \(D\rightarrow 0\) as \(t\rightarrow \infty , \eta \rightarrow \infty \), in contradiction to \(\lim _{t\rightarrow \infty }D(t)= \infty \). Then, generically \({\bar{t}}<\infty \). A similar result follows for closed FLRW for D defined by Eq. (91) and taking \(\varSigma =\varSigma _0 = {\bar{\varSigma }}=0\).
These results are supported by the numerical evidence in Sects. 7.1 and 7.1.
6.1 Kantowski–Sachs metric
In this section we analyze qualitatively the timeaveraged system (127) as \(D\rightarrow \infty \) by introducing the variable
that maps \([0, \infty )\) to a finite interval [0, 1). Therefore, the limit \(D\rightarrow +\infty \) corresponds to \(T=1\) and the limit \(D\rightarrow 0\) corresponds to \(T=0\). Then, we have the guiding system (127a)–(127c) extended with equation
We are interested in latetime or earlytime attractors, and in discussing relevant saddle equilibrium points of the extended dynamical system (127a)–(127c), (163). In this regard, we have the following results.

1.
\(P_1: ({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, T)=(0,1,1,0)\) with eigenvalues
\(\left\{ 2,\frac{3}{2},3 (2\gamma ), 3\right\} \). It is saddle.

2.
\(P_1^{\infty }: ({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, T)=(0,1,1,1)\) with eigenvalues
\(\left\{ 2,\frac{3}{2},3 (2\gamma ), 3\right\} \). It is a sink for \(0\le \gamma <2\).

3.
\(P_2: ({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, T)=(0,1,1,0)\) with eigenvalues
\( \left\{ 2, \frac{3}{2}, 3(2  \gamma ), 3 \right\} \). It is saddle.

4.
\(P_2^{\infty }: ({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, T)=(0,1,1,1)\) with eigenvalues
\( \left\{ 2, \frac{3}{2}, 3(2  \gamma ),3 \right\} \). It is a source for \(0\le \gamma <2\).

5.
\(P_3: ({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, T)=(0,1,1,0)\) with eigenvalues
\(\left\{ 6,\frac{3}{2},3 (2\gamma ),3\right\} \). It is saddle.

6.
\(P_3^{\infty }: ({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, T)=(0,1,1,1)\) with eigenvalues
\(\left\{ 6,\frac{3}{2},3 (2\gamma ),3\right\} \). It is a sink for \(0\le \gamma <2\).

7.
\(P_4: ({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, T)=(0,1,1,0)\) with eigenvalues
\( \left\{ 6,\frac{3}{2},63 \gamma ,3\right\} \). It is saddle.

8.
\(P_4^{\infty }: ({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, T)=(0,1,1,1)\) with eigenvalues
\( \left\{ 6,\frac{3}{2},63 \gamma ,3\right\} \). It is a source for \(0\le \gamma <2\).

9.
\(P_5: ({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, T)=(0,0,1,0)\) with eigenvalues
\(\left\{ 23 \gamma ,\frac{3}{2} (\gamma 1),3\frac{3 \gamma }{2},\frac{3 \gamma }{2}\right\} \). It is a source for \(0<\gamma <\frac{2}{3}\).

10.
\(P_5^{\infty }: ({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, T)=(0,0,1,1)\) with eigenvalues
\(\left\{ 23 \gamma ,\frac{3}{2} (\gamma 1),3\frac{3 \gamma }{2},\frac{3 \gamma }{2}\right\} \). It is a saddle.

11.
\(P_6: ({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, T)=(0,0,1,0)\) with eigenvalues
\( \left\{ \frac{3 (\gamma 2)}{2},\frac{3 (\gamma 1)}{2},3 \gamma 2, \frac{3 \gamma }{2}\right\} \). It is a sink for \(0<\gamma <\frac{2}{3}\).

12.
\(P_6^{\infty }: ({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, T)=(0,0,1,1)\) with eigenvalues
\( \left\{ \frac{3 (\gamma 2)}{2},\frac{3 (\gamma 1)}{2},3 \gamma 2,\frac{3 \gamma }{2}\right\} \). It is a saddle.

13.
\(P_7: ({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, T)=(1,0,1,0)\) with eigenvalues
\( \left\{ 1,3 (\gamma 1),\frac{3}{2}, \frac{3}{2}\right\} \). It is saddle.

14.
\(P_7^{\infty }: ({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, T)=(1,0,1,1)\) with eigenvalues
\( \left\{ 1,3 (\gamma 1),\frac{3}{2}, \frac{3}{2}\right\} \). It is a saddle.

15.
\(P_8: ({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, T)=(1,0,1,0)\) with eigenvalues
\( \left\{ 1,3(1 \gamma ), \frac{3}{2}, \frac{3}{2}\right\} \). It is saddle.

16.
\(P_8^{\infty }: ({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, T)=(1,0,1,1)\) with eigenvalues
\( \left\{ 1,3(1 \gamma ), \frac{3}{2}, \frac{3}{2}\right\} \). It is a saddle.

17.
\(P_9: ({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, T)=\left( 0,\frac{23 \gamma }{\left 43 \gamma \right },\frac{2}{\left 43 \gamma \right },0\right) \) with eigenvalues
\( \Bigg \{\frac{3 \left( \gamma +\sqrt{(2\gamma ) (\gamma (24 \gamma 41)+18)}2\right) }{2 \left 43 \gamma \right },\frac{3 \left( \gamma +\sqrt{(2\gamma ) (\gamma (24 \gamma 41)+18)}+2\right) }{2 \left 43 \gamma \right }\),
\(\frac{33 \gamma }{\left 43 \gamma \right }, \frac{3 \gamma }{\left 43 \gamma \right }\Bigg \}\). Exists for \(0\le \gamma \le \frac{2}{3}\) or \(\gamma =2\) and is a saddle.

18.
\(P_9^{\infty }: ({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, T)=\left( 0,\frac{23 \gamma }{\left 43 \gamma \right },\frac{2}{\left 43 \gamma \right },1\right) \) with eigenvalues
\( \Bigg \{\frac{3 \left( \gamma +\sqrt{(2\gamma ) (\gamma (24 \gamma 41)+18)}2\right) }{2 \left 43 \gamma \right },\frac{3 \left( \gamma +\sqrt{(2\gamma ) (\gamma (24 \gamma 41)+18)}+2\right) }{2 \left 43 \gamma \right }\),
\(\frac{3(1 \gamma ) }{\left 43 \gamma \right }, \frac{3 \gamma }{\left 43 \gamma \right }\Bigg \}\) . Exists for \(0\le \gamma \le \frac{2}{3}\) or \(\gamma =2\) and is a saddle.

19.
\(P_{10}: ({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, T)= \left( 0,\frac{3 \gamma 2}{\left 43 \gamma \right },\frac{2}{\left 43 \gamma \right }, 0\right) \) with eigenvalues
\(\Bigg \{\frac{3 \left( \gamma +\sqrt{(2\gamma ) (\gamma (24 \gamma 41)+18)}2\right) }{2 \left 43 \gamma \right }, \frac{3 \left( \gamma +\sqrt{(2\gamma ) (\gamma (24 \gamma 41)+18)}+2\right) }{2 \left 43 \gamma \right }\),
\(\frac{3 (1\gamma )}{\left 43 \gamma \right },\frac{3 \gamma }{\left 43 \gamma \right }\Bigg \}\). Exists for \(0\le \gamma \le \frac{2}{3}\) or \(\gamma =2\) and is saddle.

20.
\(P_{10}^{\infty }: ({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, T)= \left( 0,\frac{3 \gamma 2}{\left 43 \gamma \right },\frac{2}{\left 43 \gamma \right },1\right) \) with eigenvalues
\(\Bigg \{\frac{3 \left( \gamma +\sqrt{(2\gamma ) (\gamma (24 \gamma 41)+18)}2\right) }{2 \left 43 \gamma \right }, \frac{3 \left( \gamma +\sqrt{(2\gamma ) (\gamma (24 \gamma 41)+18)}+2\right) }{2 \left 43 \gamma \right }\),
\(\frac{3 (1\gamma )}{\left 43 \gamma \right },\frac{3 \gamma }{\left 43 \gamma \right }\Bigg \}\). Exists for \(0\le \gamma \le \frac{2}{3}\) or \(\gamma =2\) and is saddle.
In the special case \(\gamma =0\), there exist four lines of equilibrium points which are normally hyperbolic:

1.
\(I_{}: ({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, T)= \left( 0,0, 1, T_c\right) \) with eigenvalues
\(\left\{ 3,2,\frac{3}{2},0\right\} \) is a source.

2.
\(I_{+}: ({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, T)= \left( 0,0, 1, T_c\right) \) with eigenvalues
\(\left\{ 3,2,\frac{3}{2},0\right\} \) is a sink.

3.
\(J_{}: ({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, T)= \left( 0, \frac{1}{2}, \frac{1}{2}, T_c \right) \) with eigenvalues \(\left\{ 3,\frac{3}{2},\frac{3}{4},0\right\} \) is a saddle.

4.
\(J_{+}:({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, T)= \left( 0, \frac{1}{2}, \frac{1}{2}, T_c \right) \) with eigenvalues \(\left\{ 3,\frac{3}{2},\frac{3}{4},0\right\} \) is a saddle.
In the special case \(\gamma =1\) there exist four lines of equilibrium points which are normally hyperbolic, say,

1.
\(K_{}: ({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, T)=({\bar{\Omega }}_c, 0, 1, 0)\) with eigenvalues \(\left\{ \frac{3}{2},\frac{3}{2},1,0\right\} \) is a saddle.

2.
\(K_{+}: ({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, T)=({\bar{\Omega }}_c, 0, 1, 0)\) with eigenvalues
\(\left\{ \frac{3}{2},\frac{3}{2},1,0\right\} \) is a saddle.

3.
\(K_{}^{\infty }: ({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, T)=({\bar{\Omega }}_c, 0, 1, 1)\) with eigenvalues
\(\left\{ \frac{3}{2},\frac{3}{2},1,0\right\} \) is a saddle.

4.
\(K_{+}^{\infty }:({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, T)=({\bar{\Omega }}_c, 0, 1, 1)\) with eigenvalues
\(\left\{ \frac{3}{2},\frac{3}{2},1,0\right\} \) is a saddle.
In the special case \(\gamma =2\) there exist four lines of equilibrium points which are normally hyperbolic, say,

1.
\(L_{}: ({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, T)=(0, {\bar{\varSigma }}_c, 1, 0)\) with eigenvalues
\(\left\{ 3,\frac{3}{2},0,2 {\bar{\varSigma }}_c4\right\} \) is a saddle.

2.
\(L_{+}: ({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, T)=(0, {\bar{\varSigma }}_c, 1, 0)\) with eigenvalues
\(\left\{ 3,\frac{3}{2},0,42 {\bar{\varSigma }}_c\right\} \) is a saddle.

3.
\(L_{}^{\infty }: ({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, T)=(0, {\bar{\varSigma }}_c, 1, 1)\) with eigenvalues
\(\left\{ 3,\frac{3}{2},0,2 {\bar{\varSigma }}_c4\right\} \) is a sink for \({\bar{\varSigma }}_c>2\).

4.
\(L_{+}^{\infty }:({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, T)=(0, {\bar{\varSigma }}_c, 1, 1)\) with eigenvalues
\(\left\{ 3,\frac{3}{2},0,42 {\bar{\varSigma }}_c\right\} \) is a source for \({\bar{\varSigma }}_c<2\).
As before, the subindex ± indicates if they correspond to contracting (“−”) or to expanding (“\(+\)”) solutions. Superindex \(\infty \) refers to solutions with \(D\rightarrow \infty \).
For KS model the extended phase is four dimensional. To illustrate the stability of the normally hyperbolic lines we examine numerically some invariant sets. In Fig. 9 the dynamics at the invariant set \({\bar{\Omega }}=0\) corresponding to vacuum solutions is represented in the compact space \(({\bar{\varSigma }}, D/(1+D), {\bar{Q}})\) for \(\gamma =0\) and \(\gamma =2\).
For \(\gamma =1\) and \({\bar{\varSigma }}=0\), the model is reduced to the closed FLRW metric with dust. The stability of the lines \(K_{\pm }\) and \(K_{\pm }^{\infty }\) on this invariant set corresponding to isotropic solutions is illustrated in Fig. 10c.
Also, we refer to Figs. 13, 14, 15, 16, 17, 18, 19, and 20, where projections of some orbits of the full system and the averaged system are presented. In these figures it is numerically confirmed the result of Theorem 1 for KS metric. That is to say, solutions of the full system (blue lines) follow the track of the solutions of the averaged system (orange lines) for the whole Drange.
6.2 FLRW metric with positive curvature
Using the variable (162) the timeaveraged system for \(\gamma \ne 1\) (145) becomes the guiding system (145a) and (145b) extended with equation
We are interested in latetime or earlytime attractors and in discussing the relevant saddle equilibrium points of the extended system (145a), (145b) and (164). In this regard, we have the following results.

1.
\(P_5: ({\bar{\Omega }}, {\bar{Q}}, T)= (0, 1, 0)\) with eigenvalues
\( \left\{ 23 \gamma ,\frac{3}{2} (\gamma 1),\frac{3 \gamma }{2}\right\} \) is a source for \(0<\gamma <\frac{2}{3}\).

2.
\(P_5^{\infty }: ({\bar{\Omega }}, {\bar{Q}}, T)= (0, 1, 1)\) with eigenvalues
\( \left\{ 23 \gamma ,\frac{3}{2} (\gamma 1),\frac{3 \gamma }{2}\right\} \) is a sink for \(1<\gamma \le 2\).

3.
\(P_6: ({\bar{\Omega }}, {\bar{Q}}, T)=(0, 1, 0)\) with eigenvalues
\( \left\{ \frac{3 (\gamma 1)}{2},3 \gamma 2,\frac{3 \gamma }{2}\right\} \) is a sink \(0<\gamma <\frac{2}{3}\).

4.
\(P_6^{\infty }: ({\bar{\Omega }}, {\bar{Q}}, T)=(0, 1, 1)\) with eigenvalues
\( \left\{ \frac{3 (\gamma 1)}{2},3 \gamma 2,\frac{3 \gamma }{2}\right\} \) is a source for \(1<\gamma \le 2\).

5.
\(P_7: ({\bar{\Omega }}, {\bar{Q}}, T)=(1, 1, 0)\) with eigenvalues
\( \left\{ 1,3 (\gamma 1),\frac{3}{2}\right\} \). It is saddle.

6.
\(P_7^{\infty }: ({\bar{\Omega }}, {\bar{Q}}, T)=(1, 1, 1)\) with eigenvalues
\( \left\{ 1,3 (\gamma 1), \frac{3}{2}\right\} \) is a sink for \(0\le \gamma <1\).

7.
\(P_8: ({\bar{\Omega }}, {\bar{Q}}, T)=(1, 1, 0)\) with eigenvalues
\(\left\{ 33 \gamma ,1,\frac{3}{2}\right\} \) is a source for \(0\le \gamma <1\). It is saddle.

8.
\(P_8^{\infty }: ({\bar{\Omega }}, {\bar{Q}}, T)=(1, 1, 1)\) with eigenvalues
\(\left\{ 33 \gamma ,1,\frac{3}{2}\right\} \) is a source for \(0\le \gamma <1\).

9.
\(E_c: ({\bar{\Omega }}, {\bar{Q}}, T)=\left( \sqrt{\frac{{3 \gamma 2}}{{3 \gamma 3}}}, 0, T_c\right) \) with eigenvalues
\(\left\{ 0,\sqrt{\frac{(53 \gamma ) \gamma 2}{2 (\gamma 1)}},\sqrt{\frac{(53 \gamma ) \gamma 2}{2 (\gamma 1)}}\right\} \). This line of equilibrium points exists for \(0\le \gamma \le \frac{2}{3}\) or \(1<\gamma \le 2\) and can be characterized as a nonhyperbolic saddle for \(0\le \gamma <\frac{2}{3}\). For \(1<\gamma \le 2\) two eigenvalues are purely imaginary and one eigenvalue is zero. Then, it can be a center or a focus.
In the special case \(\gamma =0\) there exist two lines of equilibrium points which are normally hyperbolic, say,

1.
\(I_{}: ({\bar{\Omega }}, {\bar{Q}}, T)= \left( 0, 1, T_c\right) \) with eigenvalues
\(\left\{ 2,\frac{3}{2},0\right\} \) is a source.

2.
\(I_{+}: ({\bar{\Omega }}, {\bar{Q}}, T)= \left( 0, 1, T_c\right) \) with eigenvalues
\(\left\{ 2,\frac{3}{2},0\right\} \) is a sink.
In the special case \(\gamma =\frac{2}{3}\) there exists two lines of equilibrium points which are normally hyperbolic, say,

1.
\(M^{0}: ({\bar{\Omega }}, {\bar{Q}}, T)= \left( 0, {\bar{Q}}_c, 0\right) \) with eigenvalues
\(\left\{ {\bar{Q}}_c,\frac{{\bar{Q}}_c}{2},0\right\} \) is a sink for \({\bar{Q}}_c>0\) and a source for \({\bar{Q}}_c<0\).

2.
\(M^{\infty }: ({\bar{\Omega }}, {\bar{Q}}, T)= \left( 0, {\bar{Q}}_c, 1\right) \) with eigenvalues
\(\left\{ {\bar{Q}}_c,\frac{{\bar{Q}}_c}{2},0\right\} \) is a saddle.
In the special case \(\gamma =1\) there exist four lines of equilibrium points which are normally hyperbolic, say,

1.
\(K_{}: ({\bar{\Omega }}, {\bar{Q}}, T)=({\bar{\Omega }}_c, 1, 0)\) with eigenvalues
\(\left\{ \frac{3}{2},1,0\right\} \) is a saddle.

2.
\(K_{+}: ({\bar{\Omega }}, {\bar{Q}}, T)=({\bar{\Omega }}_c, 1, 0)\) with eigenvalues
\(\left\{ \frac{3}{2},1,0\right\} \) is a saddle.

3.
\(K_{}^{\infty }: ({\bar{\Omega }}, {\bar{Q}}, T)=({\bar{\Omega }}_c, 1, 1)\) with eigenvalues
\(\left\{ \frac{3}{2},1,0\right\} \) is a sink.

4.
\(K_{+}^{\infty }:({\bar{\Omega }}, {\bar{Q}}, T)=({\bar{\Omega }}_c, 1, 1)\) with eigenvalues
\(\left\{ \frac{3}{2},1,0\right\} \) is a source.
In Fig. 10 the dynamics of the averaged system (145) for \(\gamma =0\), \(\frac{2}{3}\) and of the averaged system (151) for \(\gamma =1\) is represented in the compact space \(({\bar{Q}}, D/(1+D), {\bar{\Omega }})\). In Figs. 13, 14, 15, 16, 17, 18, 19, and 20 projections of some solutions of the full system (93) and timeaveraged system (127) in the \((\varSigma , D/(1+D), \Omega ^{2})\) and \((Q, D, \Omega ^{2})\) space are presented with their respective projections when \(D=0\). In Figs. 21, 22, 23, and 24 projections of some solutions of the full system (118) and timeaveraged system (145) for \(\gamma \ne 1\) and of system (151) for \(\gamma =1\) in the \((Q, D/(1+D), \Omega ^{2})\) space are presented with their respective projection when \(D=0\). Figs. 21 and 25 show how the solutions of the full system (blue lines) follow the track of the solutions of the averaged system (orange lines) for the whole Drange. Figures 22, 23, 24, and 26 are evidence that the main theorem presented in Sect. 4 is fulfilled for the FLRW metric with positive curvature (\(k=+1\)) only when D is bounded. Precisely, the solutions of the full system (blue lines) follow the track of the solutions of the averaged system (orange lines) for the time interval \(t D ={\mathscr {O}}(1)\). However, when D becomes infinite (\(T\rightarrow 1\)) and for \(\gamma \ge 1\) we have the following conjecture. For closed FLRW model and \(1\le \gamma \le 2\) the solutions of the full system depart from the solutions of the averaged system.
6.2.1 Closed FLRW: regime \(\Omega >1\)
Now, we describe the regime \(\Omega >1\). We define
Substituting the form of potential (18) in constraint (89e) we obtain for closed FLRW models
Then,
Using definition (91) we obtain
The function \(U(\phi )\) defined by Eq. (165) satisfies \(U'(0)=U''(0)=U'''(0)=0\), and \(U^{(iv)}(0)=\frac{2}{f^2}\), which implies that \(\phi =0\) is a global degenerated maximum of order 2 for \(U(\phi )\). Therefore, \(U(\phi )\le 0\). Then, from \(\omega ^2> 2 \mu ^2\) and Eq. (168) it follows that \(\Omega \), \(\varSigma ^2\) and \(\frac{\rho _m}{3 D^2}\) can be greater than 1. This implies that we can have solutions with \(\Omega >1\) preserving the nonnegativity of the energy densities. That is, even if \(U(\phi )\le 0\), we have \( \frac{\omega ^2}{2}\phi ^2 + \frac{\left( \omega ^22 \mu ^2\right) }{2}U(\phi )\ge 0\) because the sign of term \(\frac{\omega ^2}{2}\phi ^2\) is dominant over the last term in Eq. (168).
This interesting behavior when \(\Omega >1\) can be seen in Figs. 7d, 8, 11 and 12, where we show the solutions of the full system (118) and the timeaveraged system (145) considering the values \(\gamma =\frac{4}{3}\) and \(\gamma =2\) and using as initial conditions the three data sets presented in Table 2.
This dynamical behavior related to spiral tubes has been presented before in the literature in [113] and it is related to the fact that the line of equilibrium points \(E_c\) (representing Einstein’s static universes) has purely imaginary eigenvalues. In [113] a comprehensive dynamical description for closed cosmologies when the matter source admits Einstein’s static model was presented. Moreover, theorems about the global asymptotic behavior of solutions was established. Results in [113, 114] disprove claims of nonpredictability and chaos for models close to Einstein’s model given in [115,116,117,118].
To illustrate the existence of spiral tubes we integrate the full system (118) and the timeaveraged system (145) using the fixed constants \(\mu =\sqrt{2}/2\), \(b=\sqrt{2}/5\), \(\omega =\sqrt{2}\), \(f=\frac{b \mu ^3}{\omega ^22 \mu ^2}=1/10 \ge 0\). We select \(\gamma =\frac{4}{3}\) and \(\gamma =2\) for the barotropic index (cases where \(E_c\) exists), and we use as initial conditions the three data sets presented in Table 2. In Figs. 11 and 12 projections of the orbits showing this behavior in the \((Q, D/(1+D), \Omega ^{2})\) space are presented with their respective projection when \(D=0\). Figure 11a, b show solutions for a fluid corresponding to radiation (\(\gamma =\frac{4}{3}\)). Figure 12a, b show solutions for a fluid corresponding to stiff fluid (\(\gamma =2\)).
7 Conclusions
This is the last paper of the “Averaging generalized scalarfield cosmologies” research program. We have used asymptotic methods and averaging theory to explore the solutions space of scalarfield cosmologies with generalized harmonic potential (17) in vacuum or minimally coupled to matter. Different from references [45, 46], here we have studied systems where Hubble scalar is not monotonic, but the systems admit a function D given by Eq. (16) playing the role of a timedepending perturbation function, which is decreasing for a finite time scale \(t< t^*\) where \(D'(t^*)=0\). For \(t> t^*\) monotony of the quantity D changes and this parameter increases without bound.
We have proved Theorem 1 which states that latetime attractors of full and timeaveraged systems are the same when the quantity D tends to zero. More specifically, according to Theorem 1 for KS metrics and positively curved FLRW models, the quantity D controls the magnitude of error between full timedependent and timeaveraged solutions as \(D\rightarrow 0\). Therefore, the analysis of the system is reduced to study the corresponding timeaveraged equation as \(D\rightarrow 0\). However, for KS metric the initial region \(0<Q<1, \varSigma ^2+\Omega ^2<1, \varSigma (1Q^2 +3 Q \varSigma )>0\) (and for closed FLRW the initial region \(Q>0\), respectively) is not invariant for the full system (93) and for the timeaveraged equations (99)–(103). According to Remark 1, Theorem 1 is valid on a time scale \(t <t^*\) where D remains close to zero, but D(t) changes its monotony at a critical time \(t^*\) becoming monotonic increasing without bound.
We have formulated Theorems 2 and 3 concerning the latetime behavior of our model valid when the evolution equation for D is decoupled, whose proofs are based on Theorem 1 and linear stability analysis. Hence, we can establish the stability of a periodic solution as it exactly matches the stability of the stationary solution of the timeaveraged equation. In particular, for KS metric the local latetime attractor of full system (93) and timeaveraged system (127) (where the evolution equation for D is decoupled) are the following.

(i)
The anisotropic solution \(P_1\) with \({\bar{\Omega }}_m=0\) if \(0\le \gamma < 2\), which represents a nonflat LRS Kasner (\(p_1=\frac{1}{3}, p_2= p_3= \frac{2}{3}\)) contracting solution with \(H<0\). This solution is singular at finite time \(t_1=\frac{1}{3D_0}\) and is valid for \(t>t_1\).

(ii)
The anisotropic solution \(P_3\) with \({\bar{\Omega }}_m=0\) if \(0\le \gamma < 2\), which represents a Taub (flat LRS Kasner) contracting solution (\(p_1=1, p_2= 0, p_3= 0\)) [54].

(iii)
The flat matterdominated FLRW universe \(P_6\) if \(0\le \gamma < \frac{2}{3}\). \(P_6\) represents a quintessence fluid or a Dirac–Milne model for \(\gamma =\frac{2}{3}\). In the limit \(\gamma =0\) we have the de Sitter solution.
We have commented that, although for \(t < t^*\), D(t) remains close to zero, once the orbit crosses the initial region, D changes its monotony, and it becomes strictly increasing without bound. Hence, Theorem 1 is valid on a time scale \(t D ={\mathscr {O}}(1)\). To investigate the region \(D\rightarrow \infty \) we have used the transformation of coordinates (162) that maps \([0, \infty )\) to a finite interval [0, 1). Therefore, the limit \(D\rightarrow +\infty \) corresponds to \(T=1\) and the limit \(D\rightarrow 0\) corresponds to \(T=0\). This defines a regular dynamical system over a compact phase space that allows to obtain global results. We have studied the stability of the fixed points in a compactified phase space. These numerical results support the claim that latetime attractors in the extended phase space \(({\mathbf {x}}, T)\), where \(T=\frac{D}{1+D}\) and \({\mathbf {x}}= (\Omega , \varSigma , Q)\) for both the original system and the timeaveraged are the same for KS. When the stability of the equilibrium point of the timeaveraged is analyzed in extended phase space, we find for KS metric that the extra variable T introduces equilibrium points “at infinity”, \(P_1^{\infty }\) which is a nonflat LRS Kasner solution and \(P_3^{\infty }\) which is Taub (flat LRS Kasner). They are contracting solutions and sink for \(0\le \gamma <2\) in the extended (global) phase space. Their analogous points \(P_1\) and \(P_3\) (with \(D=H=T=0\)) become saddle along the Taxis in the extended phase space. The only equilibrium point that remains a sink for KS for \(0\le \gamma < \frac{2}{3}\) in the extended phase space is \(P_6\).
Figures 13, 14, 15, 16, 17, 18, 19, and 20 are a numerical confirmation that main Theorem 1 presented in Sect. 4 is fulfilled for the KS metric. That is to say, the solutions of the full system (blue lines) follow the track of the solutions of the averaged system (orange lines) for the whole Drange.
On the other hand, local latetime attractors of full system (118) and timeaveraged system (145) (where the evolution equation for D is decoupled) for closed FLRW metric with positive curvature are the following:

(i)
The isotropic solution \(P_5\) if \(1< \gamma \le 2\). The corresponding solution is a flat matterdominated FLRW contracting solution with \({\bar{\Omega }}_m=1\).

(ii)
The flat matterdominated FLRW universe \(P_6\) if \(0 \le \gamma < \frac{2}{3}\). \(P_6\) represents a quintessence fluid or a Dirac–Milne model for \(\gamma =\frac{2}{3}\). In the limit \(\gamma =0\) we have the de Sitter solution.

(iii)
The equilibrium point \(P_7\) if \(0\le \gamma <1\). The equilibrium point can be associated with Einstein–de Sitter solution.
When the stability of the equilibrium point of the timeaveraged extended phase space for closed FLRW metric is analyzed in the extended phase space \(({\mathbf {x}}, T)\), where \({\mathbf {x}}= (\Omega , Q)\), for closed FLRW we find that the extra variable T introduces equilibrium points “at infinity”, \(P_5^{\infty }\) which is a sink for \(1<\gamma \le 2\) and \(P_7^{\infty }\) which is a sink for \(0 \le \gamma <1\). As for KS, the only equilibrium point that remains a sink for KS for \(0\le \gamma < \frac{2}{3}\) in the extended phase space is \(P_6\).
In Figs. 21, 22, 23, and 24 we have presented projections of some solutions of the full system (118) and timeaveraged system (145) for \(\gamma \ne 1\). Also, system (151) for \(\gamma =1\) in the \((Q, D/(1+D), \Omega ^{2})\) space are presented with its respective projection when \(D=0\). Figures 21 and 25 show how solutions of the full system (blue lines) follow the track of solutions of the averaged system (orange lines) for the whole Drange. Figures 22, 23, 24, and 26 are evidence that main theorem presented in Sect. 4 is fulfilled for FLRW metric with positive curvature (\(k=+1\)) only when D is bounded. Namely, the solutions of the full system (blue lines) follow the track of solutions of the averaged system (orange lines) for the time interval \(t D ={\mathscr {O}}(1)\). However, when D becomes infinite (\(T\rightarrow 1\)) and for \(\gamma \ge 1\), the solutions of full system (blue lines) depart from solutions of averaged system (orange lines) as D becomes large. Then, different from KS, for the full system and given \(\gamma \ge 1\) the orbits (blue lines) do not follow the track of solutions of the averaged system, while \(P_8^{\infty }\) and \(P_7^{\infty }\) are early and latetime attractor, respectively, as \(D\rightarrow \infty \). This is a rather different behavior from timeaveraged system, where they are saddle. This can be anticipated because when D becomes large, the approximation obtained under the assumption of small D fails.
Additionally, for closed FLRW we have found by numerical tools the existence of spiral tubes confined in a finite region of the phase space when the line of equilibrium points \(E_c\) (representing Einstein’s static universes) exist. This kind of dynamical structures have been presented before in reference [113] and they exist for any matter source that admits Einstein’s static model. Results in the line of [113] are of interest since they disprove the claims of nonpredictability and chaos for models close to Einstein’s model related to the existence of infinitely many homoclinic orbits whose \(\alpha \) and \(\omega \) limits are the same periodic orbit producing chaotic sets in the whole state space. Thus, a set of models in a neighborhood of Einstein’s model were claimed to be unpredictable and characterized by “homoclinic chaos” [115,116,117,118]. However, the asserted “homoclinic phenomena”, if they occur at all, must be confined to narrow regions of the phase space [113] (see also [114]).
Now, we summarize the results of the “Averaging generalized scalarfield cosmologies” research program. In reference [45] it was proved that for LRS Bianchi III the latetime attractors are a matterdominated flat FLRW universe if \(0\le \gamma \le \frac{2}{3}\) (mimicking de Sitter, quintessence or zero acceleration solutions), a mattercurvature scaling solution if \(\frac{2}{3}<\gamma <1\), and Bianchi III flat spacetime for \(1\le \gamma \le 2\). For FLRW metric with \(k=1\) the latetime attractors are flat matterdominated FLRW universe if \(0\le \gamma \le \frac{2}{3}\) and Milne solution if \(\frac{2}{3}<\gamma <2\). In all metrics, matterdominated flat FLRW universe represents quintessence fluid if \(0< \gamma < \frac{2}{3}\). In reference [46] for flat FLRW and LRS Bianchi I metrics it was obtained that latetime attractors of full and timeaveraged systems are given by flat matterdominated FLRW solution and Einstein–de Sitter solution. It is interesting to note that for FLRW with negative or zero curvature and for Bianchi I metric when the matter fluid corresponds to a CC, H asymptotically tends to constant values depending on initial conditions. That is consistent with de Sitter expansion. In addition, for FLRW models with negative curvature for any \(\gamma <\frac{2}{3}\) and \(\Omega _k>0\), \(\Omega _k \rightarrow 0\), or when \(\gamma >\frac{2}{3}\) and \(\Omega _k>0\) the universe becomes curvature dominated (\(\Omega _k \rightarrow 1\)). For flat FLRW and dust background from the qualitative analysis performed in paper [46] we have that \(\lim _{\tau \rightarrow +\infty }{\bar{\Omega }}(\tau )= \text {const.}\), and \(\lim _{\tau \rightarrow +\infty }H(\tau )=0\). Also, it was numerically proved that as \(H\rightarrow 0\), the values of \({\bar{\Omega }}\) give an upper bound for the values \(\Omega \) of the original system. Therefore, by controlling the error of the timeaveraged higher order system the error of the original system can also be controlled. Finally, in the present research we have proved that in KS metric the global latetime attractors of full and timeaveraged systems are two anisotropic contracting solutions, \(P_1^{\infty }\) which is a nonflat LRS Kasner and \(P_3^{\infty }\) which is a Taub (flat LRS Kasner) for \(0\le \gamma <2\), and \(P_6\) which is a matterdominated flat FLRW universe if \(0\le \gamma \le \frac{2}{3}\) (mimicking de Sitter, quintessence or zero acceleration solutions). For FLRW metric with \(k=+1\) global latetime attractors of timeaveraged system are \(P_5^{\infty }\) which is a flat matterdominated contracting solution that is a sink for \(1<\gamma \le 2\), \(P_6\) which is a matterdominated flat FLRW universe mimicking de Sitter, quintessence or zero acceleration solutions if \(0\le \gamma \le \frac{2}{3}\), and the point \(P_7^{\infty }\) which is an Einstein–de Sitter solution for \(0\le \gamma <1\) and large t. However, when D becomes infinite (\(T\rightarrow 1\)) and for \(\gamma \ge 1\) solutions of the full system (blue lines) depart from solutions of averaged system (orange lines) as D is large. Then, different from KS, for the full system and given \(\gamma >1\) the orbits (blue lines) do not follow the track of the averaged system and \(P_8^{\infty }\) and \(P_7^{\infty }\) are the early and latetime attractor, respectively, as \(D\rightarrow \infty \). This is a rather different behavior from the timeaveraged system, where they are saddle. Therefore, this analysis completes the characterization of the full class of homogeneous but anisotropic solutions and their isotropic limits with exception of LRS Bianchi V. Our analytical results were strongly supported by numerical results in Appendix B. We have shown that asymptotic methods and averaging theory are powerful tools to investigate scalarfield cosmologies with generalized harmonic potential.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This article is based on theoretical computations, and as such, no experimental data has been generated. All data used in our study are selfcontained in this article. So, there is no data to be deposited.]
Change history
13 December 2021
An Erratum to this paper has been published: https://doi.org/10.1140/epjc/s10052021099102
Notes
Where \(\varLambda \) is the cosmological constant. See eq. (23) of reference [97].
References
S. Foster, Class. Quantum Gravity 15, 3485 (1998)
J. Miritzis, Class. Quantum Gravity 20, 2981 (2003)
R. Giambo, F. Giannoni, G. Magli, Gen. Relativ. Gravit. 41, 21 (2009)
G. Leon, C.R. Fadragas, Dynamical Systems: And Their Applications (LAP Lambert Academic Publishing, Saarbrücken, 2012). arXiv:1412.5701 [grqc]
G. Leon, P. Silveira, C.R. Fadragas, Phasespace of flat Friedmann–Robertson–Walker models with both a scalar field coupled to matter and radiation, in Classical and Quantum Gravity: Theory, Analysis and Applications, ch 10. ed. by V.R. Frignanni (Nova Science Publisher, New York). arXiv:1009.0689 [grqc]
C.R. Fadragas, G. Leon, Class. Quantum Gravity 31(19), 195011 (2014)
D. González Morales, Y. Nápoles Alvarez, Quintaesencia con acoplamiento no mínimo a la materia oscura desde la perspectiva de los sistemas dinámicos. Bachelor Thesis, Universidad Central Marta Abreu de Las Villas, Santa Clara, Cuba (2008)
G. Leon, Class. Quantum Gravity 26, 035008 (2009)
R. Giambo, J. Miritzis, Class. Quantum Gravity 27, 095003 (2010)
K. Tzanni, J. Miritzis, Phys. Rev. D 89(10), 103540 (2014) [Addendum: Phys. Rev. D 89(12), 129902 (2014)]
R.J. van den Hoogen, A.A. Coley, D. Wands, Class. Quantum Gravity 16, 1843 (1999)
E.J. Copeland, A.R. Liddle, D. Wands, Phys. Rev. D 57, 4686 (1998)
A. Alho, C. Uggla, J. Math. Phys. 56(1), 012502 (2015)
R. Giambò, J. Miritzis, A. Pezzola, Eur. Phys. J. Plus 135(4), 367 (2020)
A. Cid, F. Izaurieta, G. Leon, P. Medina, D. Narbona, JCAP 1804, 041 (2018)
A.H. Guth, Phys. Rev. D 23, 347 (1981)
A.H. Guth, Adv. Ser. Astrophys. Cosmol. 3, 139 (1987)
A.D. Linde, Phys. Lett. B 129, 177–181 (1983)
A.D. Linde, Phys. Lett. B 175, 395–400 (1986)
A. D. Linde, Inationary theory versus ekpyrotic/cyclic scenario. Contribution to: Workshop on Conference on the Future of Theoretical Physics and Cosmology in Honor of Steven Hawking’s 60th Birthday, pp. 801–838, arXiv:hepth/0205259 [hepth]
A.H. Guth, J. Phys. A 40, 6811–6826 (2007)
E.A. Coddington, N. Levinson, Theory of Ordinary Differential Equations (MacGrawHill, New York, 1955)
J.K. Hale, Ordinary Differential Equations (Wiley, New York, 1969)
D.K. Arrowsmith, C.M. Place, An Introduction to Dynamical Systems (Cambridge University Press, Cambridge, 1990)
S. Wiggins, Introduction to Applied Nonlinear Dynamical Systems and Chaos (Springer, Berlin, 2003)
L. Perko, Differential Equations and Dynamical Systems, 3rd edn. (Springer, New York, 2001)
V.I. Arnold, Ordinary Differential Equations (MIT Press, Cambridge, 1973)
M.W. Hirsch, S. Smale, Differential Equations, Dynamical Systems and Linear Algebra (Academic Press, New York, 1974)
J. Hale, Ordinary Differential Equations (Robert E. Krieger Publishing Co., Inc, Malabar, 1980)
J.P. Lasalle, J. Differ. Equ. 4, 57–65 (1968)
B. Aulbach, Continuous and Discrete Dynamics Near Manifolds of Equilibria. Lecture Notes in Mathematics, vol. 1058 (Springer, Berlin, 1984)
R. Tavakol, Introduction to Dynamical Systems, ch 4. Part one (Cambridge University Press, Cambridge, 1997), pp. 84–98
A.A. Coley, Dynamical Systems and Cosmology (Kluwer Academic, Dordrecht, 2003), pp. 7–26. ISBN:1402014031
A. A. Coley, Dynamical Systems in Cosmology. Contribution to: Spanish Relativity Meeting (ERE 99), [arXiv:grqc/9910074 [grqc]]
B. Alhulaimi, EinsteinAether Cosmological Scalar Field Models. PhD Thesis, Dalhousie University (2017)
V.G. LeBlanc, D. Kerr, J. Wainwright, Class. Quantum Gravity 12, 513 (1995)
J.M. Heinzle, C. Uggla, Class. Quantum Gravity 27, 015009 (2010)
F. Dumortier, R.H. Roussarie, Canard Cycles and Center Manifolds (Memoirs of the American Mathematical Society, Providence, R.I, American Mathematical Society, 1996), p. 577
N. Fenichel, Geometric singular perturbation theory for ordinary differential equations. J. Differ. Equ. 31, 53–98 (1979)
G. Fusco, J.K. Hale, J. Dyn. Differ. Equ. 1, 75 (1988)
N. Berglund, B. Gentz, NoiseInduced Phenomena in SlowFast Dynamical Systems Probability and Applications (Springer, London, 2006)
M.H. Holmes, Introduction to Perturbation Methods (Springer Science+Business Media New York, 2013). ISBN:9781461454779
J. Kevorkian, J.D. Cole, Perturbation Methods in Applied Mathematics. Applied Mathematical Sciences Series, vol. 34 (Springer, New York, 1981). EBook ISBN:9781475742138
F. Verhulst, Methods and Applications of Singular Perturbations: Boundary Layers and Multiple Timescale Dynamics (Springer, New York, 2000). 9780387229669
G. Leon, E. González, S. Lepe, C. Michea, A.D. Millano, Eur. Phys. J. C 81, 414 (2021)
G. Leon, S. Cuéllar, E. González, S. Lepe, C. Michea, A.D. Millano, Eur. Phys. J. C 81, 489 (2021)
D. Fajman, G. Heißel, M. Maliborski, Class. Quantum Gravity 37(13), 135009 (2020)
A. Mitsopoulos, M. Tsamparlis, A. Paliathanasis, Mod. Phys. Lett. A 34(39), 1950326 (2019)
A. Paliathanasis, L. Karpathopoulos, A. Wojnar, S. Capozziello, Eur. Phys. J. C 76(4), 225 (2016)
G. Leon, F.O.F. Silva, Class. Quantum Gravity 38, 015004 (2021)
G. Leon, F.O.F. Silva, Generalized scalar field cosmologies: a perturbative analysis. arXiv:2003.03563 [grqc]
G. Leon, F.O.F. Silva, Class. Quantum Gravity 37(24), 245005 (2020)
G. Leon, F. O. F. Silva, Generalized scalar field cosmologies. arXiv:1912.09856 [grqc]
J. Wainwright, G.F.R. Ellis (eds.), Dynamical Systems in Cosmology (Cambridge University Press, Cambridge, 1997)
E.A. Milne, Relativity, Gravitation and World Structure (Oxford University Press, Oxford, 1935)
S.M. Carroll, Spacetime and Geometry (AddisonWesley, San Francisco, 2004), p. 513
V. Mukhanov, Physical Foundations of Cosmology (Cambridge University Press, Cambridge, 2005)
C. W. Misner, K. S. Thorne, J. A. Wheeler, Gravitation (W. H. Freeman and Company, San Francisco, 1973; reprint: Princeton University Press, New Jersey, 2017)
M. Sharma, M. Shahalam, Q. Wu, A. Wang, JCAP 1811, 003 (2018)
L. McAllister, E. Silverstein, A. Westphal, T. Wrase, JHEP 09, 123 (2014)
A.D. Rendall, Class. Quantum Gravity 24, 667 (2007)
G. D’Amico, T. Hamill, N. Kaloper, Phys. Rev. D 94(10), 103526 (2016)
A.B. Balakin, A.F. Shakirzyanov, Universe 6(11), 192 (2020)
S. Chakraborty, E. Gonzalez, G. Leon, B. Wang, Smoothing out oscillations of a coupled Axion model. arXiv:2107.04651v1 [grqc]
D. Fajman, G. Heißel, J.W. Jang, Class. Quantum Gravity 38(8), 085005 (2021)
A.S. Kompaneets, A.S. Chernov, Zh. Eksp. Teor. Fiz. (J. Exptl. Theoret. Phys. (U.S.S.R.)) 47, 1939 (1964)
A.S. Kompaneets, A.S. Chernov, Sov. Phys. JETP 20, 1303 (1965)
R. Kantowski, R.K. Sachs, J. Math. Phys. 7, 443 (1966)
A.B. Burd, J.D. Barrow, Nucl. Phys. B 308, 929 (1988)
J. Yearsley, J.D. Barrow, Class. Quantum Gravity 13, 2693 (1996)
M. Thorsrud, B.D. Normann, T.S. Pereira, Class. Quantum Gravity 37, 065015 (2020)
A. A. Coley, W. C. Lim, G. Leon, Spherically symmetric cosmology: Resource paper. arXiv:0803.0905 [grqc]
S. Byland, D. Scialom, Phys. Rev. D 57, 6065–6074 (1998)
C.R. Fadragas, G. Leon, E.N. Saridakis, Class. Quantum Gravity 31, 07501 (2014)
C.B. Collins, J. Math. Phys. 18, 2116 (1977)
E. Weber, J. Math. Phys. 25, 3279 (1984)
O. Gron, J. Math. Phys. 27, 1490–1491 (1986)
D. LorenzPetzold, Phys. Lett. B 149, 79–81 (1984)
J.D. Barrow, M.P. Dabrowski, Phys. Rev. D 55, 630–638 (1997)
D. Clancy, J.E. Lidsey, R.K. Tavakol, Class. Quantum Gravity 15, 257–272 (1998)
A.D. Rendall, K.P. Tod, Class. Quantum Gravity 16, 1705–1726 (1999)
D.M. Solomons, P. Dunsby, G. Ellis, Class. Quantum Gravity 23, 6585–6597 (2006)
S. Calogero, J.M. Heinzle, Physica D 240, 636–669 (2011)
G. Leon, E.N. Saridakis, Class. Quantum Gravity 28, 065008 (2011)
G. Leon, A.A. Roque, JCAP 05, 032 (2014)
F.G. Alvarenga, R. Fracalossi, R.C. Freitas, S.V.B. Gonçalves, Braz. J. Phys. 48(4), 370–379 (2018)
M. Zubair, S.M. Ali, Hassan. Astrophys. Space Sci. 361(4), 149 (2016)
J. Latta, G. Leon, A. Paliathanasis, JCAP 11, 051 (2016)
U. Camci, A. Yildirim, I. Basaran Oz, Astropart. Phys. 76, 29–37 (2016)
S. Jamal, G. Shabbir, Eur. Phys. J. Plus 132(2), 70 (2017)
R.J. Van Den Hoogen, A.A. Coley, B. Alhulaimi, S. Mohandas, E. Knighton, S. O’Neil, JCAP 11, 017 (2018)
J.D. Barrow, A. Paliathanasis, Eur. Phys. J. C 78(9), 767 (2018)
D. Fajman, G. Heißel, Class. Quantum Gravity 36(13), 135002 (2019)
G. Leon, A. Paliathanasis, N. Dimakis, Eur. Phys. J. C 80(12), 1149 (2020)
M. de Cesare, S.S. Seahra, E. WilsonEwing, JCAP 07, 018 (2020)
B.J. Carr, A.A. Coley, Phys. Rev. D 62, 044023 (2000)
H. van Elst, C. Uggla, Class. Quantum Gravity 14, 2673–2695 (1997). https://doi.org/10.1088/02649381/14/9/021. arXiv:grqc/9603026
H. Stephani, D. Kramer, M.A.H. MacCallum, C.A. Hoenselaers, E. Herlt, Exact Solutions of Einstein’s Field Equations, 2nd edn. (Cambridge University Press, Cambridge, 2003)
B.J. Carr, A.A. Coley, M. Goliath, U.S. Nilsson, C. Uggla, Class. Quantum Gravity 18, 303–324 (2001)
U.S. Nilsson, C. Uggla, Ann. Phys. 286, 292–319 (2001)
B.J. Carr, A.A. Coley, Class. Quantum Gravity 16, R31–R71 (1999)
M. Goliath, U.S. Nilsson, C. Uggla, Class. Quantum Gravity 15, 2841 (1998)
A. Alho, J. Hell, C. Uggla, Class. Quantum Gravity 32(14), 145005 (2015)
A. Alho, V. Bessa, F.C. Mena, J. Math. Phys. 61(3), 032502 (2020)
A.S. Eddington, Mon. Not. R. Astron. Soc. 90, 668–678 (1930)
E.R. Harrison, Rev. Mod. Phys. 39, 862–882 (1967)
G.W. Gibbons, Nucl. Phys. B 292, 784–792 (1987)
G.W. Gibbons, Nucl. Phys. B 310, 636–642 (1988)
A.B. Burd, J.D. Barrow, Nucl. Phys. B 308, 929–945 (1988) [Erratum: Nucl. Phys. B 324, 276 (1989)]
H. Noh, Jc. Hwang, J.D. Barrow, Phys. Rev. D 101(12), 123527 (2020)
J.D. Barrow, C.G. Tsagas, Class. Quantum Gravity 26, 195003 (2009)
J.D. Barrow, G.F.R. Ellis, R. Maartens, C.G. Tsagas, Class. Quantum Gravity 20, L155–L164 (2003)
J.M. Heinzle, N. Rohr, C. Uggla, Phys. Rev. D 71, 083506 (2005)
J.M. Heinzle, N. Rohr, C. Uggla, Phys. Rev. D 74, 061502 (2006)
H.P. de Oliveira, I.D. Soares, T.J. Stuchi, Phys. Rev. D 56, 730–740 (1997)
R. Barguine, H.P. de Oliveira, I.D. Soares, E.V. Tonini, Phys. Rev. D 63, 063502 (2001)
H.P. De Oliveira, A.M. Ozorio de Almeida, I.D. Soares, E.V. Tonini, Phys. Rev. D 65, 083511 (2002)
I.D. Soares, T.J. Stuchi, Phys. Rev. D 72, 083516 (2005) [Erratum: Phys. Rev. D 73, 069901 (2006)]
Acknowledgements
The research of Genly Leon and Esteban González was funded by Agencia Nacional de Investigación y DesarrolloANID through the program FONDECYT Iniciación grant no. 11180126. Alfredo D. Millano was supported by Agencia Nacional de Investigación y Desarrollo  ANID  Subdirección de Capital Humano/Doctorado Nacional/año 2020 folio 21200837. Claudio Michea was supported by Agencia Nacional de Investigación y Desarrollo  ANID  Subdirección de Capital Humano/Doctorado Nacional/año 2021 folio 21211604. Vicerrectoría de Investigación y Desarrollo Tecnológico at Universidad Católica del Norte is anknowleged by finacial support. Genly Leon thanks Bertha CuadrosMelgar for her useful comments. Ellen de los Milagros Fernández Flores is acknowledged for proofreading this manuscript and improving the English. We thank anonymous referee for his/her comments which have helped us improve our work.
Author information
Authors and Affiliations
Corresponding author
Additional information
The original online version of this article was revised. The acknowledgment was replaced and the correct acknowledgment reads as follows: The research of Genly Leon and Esteban González was funded by Agencia Nacional de Investigación y DesarrolloANID through the program FONDECYT Iniciación grant no. 11180126. Alfredo D. Millano was supported by Agencia Nacional de Investigación y Desarrollo  ANID  Subdirección de Capital Humano/Doctorado Nacional/año 2020 folio 21200837. Claudio Michea was supported by Agencia Nacional de Investigación y Desarrollo  ANID  Subdirección de Capital Humano/Doctorado Nacional/año 2021 folio 21211604. Vicerrectoría de Investigación y Desarrollo Tecnológico at Universidad Católica del Norte is anknowleged by finacial support. Genly Leon thanks Bertha CuadrosMelgar for her useful comments. Ellen de los Milagros Fernández Flores is acknowledged for proofreading this manuscript and improving the English. We thank anonymous referee for his/her comments which have helped us improve our work. The original article has been corrected.
Appendices
Appendix A: Proof of Theorem 1
Lemma 4
(Gronwall’s Lemma (Integral form)) Let \(\xi (t)\) be a nonnegative function summable over [0, T], which satisfies almost everywhere the integral inequality
Then, \(\xi (t)\le C_2 e^{C_1 t},\) almost everywhere for t in \(0\le t\le T\). In particular, if
almost everywhere for t in \(0\le t\le T\). Then, \( \xi \equiv 0\) almost everywhere for t in \(0\le t\le T\).
Lemma 5
(Mean value Theorem) Let \(U \subset {\mathbb {R}}^n\) be open, \({\mathbf {f}}: U \rightarrow {\mathbb {R}}^m\) continuously differentiable, and \({\mathbf {x}}\in U\), \({\mathbf {h}}\in {\mathbb {R}}^m\) vectors such that the line segment \({\mathbf {x}}+z \; {\mathbf {h}},\) \(0 \le z \le 1\) remains in U. Then, we have
where \({\mathbb {D}} {\mathbf {f}}\) denotes the Jacobian matrix of \({\mathbf {f}}\) and the integral of a matrix is understood as a componentwise.
1.1 Proof of Theorem 1
From Eq. (97) D is a monotonic decreasing function of t whenever \(0<Q<1, \varSigma ^2+\Omega ^2<1, \varSigma (1Q^2 +3 Q \varSigma )>0\). The last restriction holds by choosing \(Q>0, \varSigma >0\). In the last case we define the bootstrapping sequences
This sequence, however, is finite; that is, \(t_n < t^*\) with \(t^*\) such that \(\lim _{t\rightarrow t^*}D'(t)=0.\) If \(Q(t_n)< 0\) or \(\varSigma (t_n)< 0\) for some n we stop the integration because D changes its monotony to become a monotonic increasing function. However, \((t, \eta , \varSigma , Q, \varPhi ) \mapsto (t, \eta , \varSigma , Q, \varPhi )\) leaves invariant the system. Therefore, the solution is completed by using the above symmetry.
Given expansions (104), system (110) becomes
Let \(\varDelta {\mathbf {x}}_0(t)= (\Omega _0{\bar{\Omega }}, {\varSigma _0} {\bar{\varSigma }}, {Q_0} {\bar{Q}})^T\) and \(\varDelta \varPhi _0= \varPhi _0  {\bar{\varPhi }}\). Taking the initial conditions \(\Omega _0(t_n)={\bar{\Omega }}(t_n)= {\Omega _{n}}, \; \varSigma _0(t_n)={\bar{\varSigma }}(t_n)= {\varSigma }_{n},\) \( Q_0(t_n)={\bar{Q}}(t_n)= {Q}_{n}, \; \varPhi _0(t_n)={\bar{\varPhi }}(t_n)= {\varPhi }_{n},\) such that \(0<Q_n<1, \varSigma _n^2+\Omega _n^2<1, \varSigma _n(1Q_n^2 +3 Q_n \varSigma _n)>0,\) Eqs. (116) become
Explicit expressions for \(g_i\) obtained by integration of (A.7) are given by
where we have set four integration functions \(C_i(D, \Omega _{0}, \varSigma _{0}, Q_{0}, \varPhi _{0}), i=1, 2, 3, 4\) to zero. The functions \(g_i, i=1, 2, 3, 4\) are continuously differentiable such that their partial derivatives are bounded on \(t\in [t_n, t_{n+1}]\).
The second order expansion around \(D=0\) of system (115) is written as
Denoting \({\mathbf {x}}_0=(\Omega _0, \varSigma _0, Q_0)^T\), \(\bar{{\mathbf {x}}}=({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}})^T\), and \(\varDelta {\mathbf {x}}_0(t)= (\Omega _0{\bar{\Omega }}, {\varSigma _0} {\bar{\varSigma }}, {Q_0} {\bar{Q}})^T\) with \(0\le \varDelta {\mathbf {x}}_0:=\max \left\{ \Omega _0{\bar{\Omega }}, {\varSigma _0} {\bar{\varSigma }}, {Q_0} {\bar{Q}} \right\} < \infty \) in the closed interval \([t_n,t]\), Eqs. (115) are reduced to a 3dimensional system
plus Eq. (A.15), where the vector function \(\bar{{\mathbf {f}}}\) in Eq. (115) is explicitly given by
The last row corresponding to \(\dot{\varDelta \varPhi _0}\) was omitted. This vector function with polynomial components in variables \((y_1, y_2, y_3)\) is continuously differentiable in all its components.
Using the same initial conditions for \({\mathbf {x}}_0\) and \(\bar{{\mathbf {x}}}\), we obtain by integration
The terms of order \({\mathscr {O}}(D^2)\) under the integral sign in Eq. (A.17) come from the second order terms in the series expansion centered in \(D=0\) of \({\dot{\varDelta }} \Omega _0\), \({\dot{\varDelta }} \varSigma _0\), and \({\dot{\varDelta }} Q_0\) in Eqs. (A.12)–(A.14). These terms are bounded in the interval \([t_n, t_{n+1}]\) by \(M_1 D_n^2\), where
is finite by continuity of \({\bar{\Omega }}, \Omega _0, {\bar{\varSigma }}, \varSigma _0, {\bar{Q}}, Q_0, \varPhi _0\) in the interval \([t_{n},t_{n+1}]\). Taking the sup norm \( \varDelta {\mathbf {x}}_0=\max \left\{ \Omega _0{\bar{\Omega }}, {\varSigma _0} {\bar{\varSigma }}, {Q_0} {\bar{Q}} \right\} \) we have
for all \(t\in [t_n, t_{n+1}]\).
Using Lemma 5 we have
where
\({\mathbb {D}}\bar{{\mathbf {f}}}\) denotes the Jacobian matrix of \(\bar{{\mathbf {f}}}\) and the integral of a matrix is understood as a componentwise. We denote the matrix elements of \({\mathbb {A}}\) as
where \(a_{i j}\) are polynomial functions of \({\bar{\Omega }}, \Omega _0, {\bar{\varSigma }}, \varSigma _0, {\bar{Q}}, Q_0\), and they are explicitly given by
Furthermore, \({\mathbb {A}} \cdot \varDelta {\mathbf {x}}_0  \le 3 {\mathbb {A}}  \varDelta {\mathbf {x}}_0 \) where the sup norm of a matrix \( {} \left( \begin{array}{cc} a_{i j} \end{array} \right) {}\) is defined by \(\max \{a_{i j}, i=1,2,3, j=1,2,3\}\) with \(a_{i j}\) given by Eqs. (A.21). Define \(L_1= 3 \max _{s\in [t_n,t_{n+1}]} {\mathbb {A}}(s)\), which is constant by continuity of \({\bar{\Omega }}, \Omega _0, {\bar{\varSigma }}, \varSigma _0, {\bar{Q}}, Q_0\) in \([t_n, t_{n+1}]\). Therefore,
Using Gronwall’s Lemma 4 we have for \(t \in [t_n, t_{n+1}]\),
due to \(tt_n\le {t_{n+1}} {t_{n}} =\frac{1}{D_n}\). Then,
Furthermore, defining
which is finite by continuity of \({\bar{\Omega }}, \Omega _0, {\bar{\varSigma }}, \varSigma _0, \varPhi _0\) in the closed interval \([t_{n},t_{n+1}]\). We obtain from Eq. (A.15) that
due to \(tt_n\le {t_{n+1}} {t_{n}} =\frac{1}{D_n}\). Finally, it follows that the functions \(\Omega _{0}, \varSigma _{0}, Q_0, \varPhi _0\) and \({\bar{\Omega }}, {\bar{\varSigma }}, {\bar{Q}}, {\bar{\varPhi }}\) have the same asymptotics as \(D_n \rightarrow 0\). \(\square \)
Appendix B: Numerical simulation
In this section we present the numerical evidence that supports the main theorem presented in Sect. 4. Precisely, we numerically solve full and timeaveraged systems obtained for KS and FLRW with positive curvature metrics.
To this purpose an algorithm in the programming language Python was elaborated. This program solves the systems of differential equations using the solve_ivp code provided by the SciPy opensource Pythonbased ecosystem. The used integration method was Radau, which is an implicit Runge–Kutta method of the Radau IIa family of order 5 with relative and absolute tolerances of \(10^{4}\) and \(10^{7}\), respectively. All systems of differential equations were integrated with respect to \(\eta \), instead of t, with an integration range of \(40\le \eta \le 10\) for the original system and \(40\le \eta \le 100\) for the timeaveraged system. All of them were partitioned in 10,000 data points. For numerical simulations in Figs. 25 and 26 we have reduced the integration range to \(30\le \eta \le 10\) for the original system and \(30\le \eta \le 30\) for the timeaveraged system, partitioned in 5000 data points.
Furthermore, each full and timeaveraged systems were solved considering only one matter component. The chosen components were CC (\(\gamma =0\)), nonrelativistic matter or dust (\(\gamma =1\)), radiation (\(\gamma =\frac{4}{3}\)), and stiff fluid (\(\gamma =2\)). Vacuum solutions correspond to those where \(\Omega =\Omega _m\equiv 0\) and solutions without matter correspond to \(\Omega _m\equiv 0\).
Finally, we have considered the fixed constants \(\mu =\sqrt{2}/2\), \(b=\sqrt{2}/5\) and \(\omega =\sqrt{2}\), \(f=\frac{b \mu ^3}{\omega ^22 \mu ^2}=1/10 \ge 0\), such that the generalized harmonic potential becomes \(V(\phi )=\frac{\phi ^2}{2}+\frac{1}{100}(1\cos (10\phi ))\).
In Figs. 11 and 12 projections of the orbits showing this behavior in the \((Q, D/(1+D), \Omega ^{2})\) space are presented with their respective projection when \(D=0\). Figure 11a, b show solutions for a fluid corresponding to radiation (\(\gamma =\frac{4}{3}\)). Figure 12a, b show solutions for a fluid corresponding to stiff fluid (\(\gamma =2\)).
This dynamical behavior related to spiral tubes has been presented before in the literature in [113] and it is related to the fact that the line of equilibrium points \(E_c\) (representing Einstein’s static universes) has purely imaginary eigenvalues. We present numerical results in the same line of [113] in Figs. 11 and 12.
1.1 B.1 Kantowski–Sachs
For KS metric we integrate:
As initial conditions we use the seven data set presented in Table 3 for a better comparison of both systems.
In Figs. 13, 14, 15, 16, 17, 18, 19, and 20 projections of some solutions of the full system (93) and timeaveraged system (127) in the \((\varSigma , D/(1+D), \Omega ^{2})\) and \((Q, D/(1+D), \Omega ^{2})\) space are presented with their respective projections when \(D=0\). Figures 13 and 14 show solutions for a fluid corresponding to CC (\(\gamma =0\)). Figures 15 and 16 show solutions for a fluid corresponding to dust (\(\gamma =1\)). Figures 17 and 18 show solutions for a fluid corresponding to radiation (\(\gamma =\frac{4}{3}\)). Figures 19 and 20 show solutions for a fluid corresponding to stiff fluid (\(\gamma =2\)). Figures 13, 14, 15, 16, 17, 18, 19, and 20 are a numerical confirmation that main theorem 1 presented in Sect. 4 is fulfilled for the KS metric. That is, solutions of full system (blue lines) follow the track of solutions of averaged system (orange lines) for the whole Drange.
1.2 B.2 FLRW metric with positive curvature
For the FLRW metric with positive curvature (\(k=+1\)) we integrate:
For case \(\gamma =1\), for which the differential equation for \(\Omega \) in timeaveraged system (145) becomes trivial, we integrate timeaveraged system (151).
Independently of the value of \(\gamma \), we use as initial conditions ten data set presented in Table 4, where data sets I, II, and VII are the symmetrical counterpart with respect to Q of data sets i, ii, and vii. In Figs. 21, 22, 23, and 24 we present projections of some solutions of full system (118) and timeaveraged system (145) for \(\gamma \ne 1\) and of system (151) for \(\gamma =1\) in the \((Q, D/(1+D), \Omega ^{2}/(1+\Omega ^{2}))\) space with their respective projection when \(D=0\). For both systems the same initial data sets from Table 4 were considered. Figure 21a, b show solutions for a fluid corresponding to CC (\(\gamma =0\)). Figure 22a, b show solutions for a fluid corresponding to dust (\(\gamma =1\)). Figures 23a and 21b show solutions for a fluid corresponding to radiation (\(\gamma =\frac{4}{3}\)). Figure 24a, b show solutions for a fluid corresponding to stiff fluid (\(\gamma =2\)). Figures 21 and 25 show how solutions of full system (blue lines) follow the track of solutions of averaged system (orange lines) for the whole Drange. Figures 22, 23, 24, and 26 are evidence that main theorem presented in Sect. 4 is fulfilled for FLRW metric with positive curvature (\(k=+1\)) only when D is bounded. That is, solutions of full system (blue lines) follow the track of solutions of averaged system (orange lines) for the time interval \(t D ={\mathscr {O}}(1)\). However, when D becomes infinite (\(T\rightarrow 1\)) and for \(\gamma \ge 1\) solutions of full system (blue lines) depart from solutions of averaged system (orange lines) as D becomes large. This is clear because when D becomes large, the approximation obtained under the assumption of small D fails.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP^{3}
About this article
Cite this article
Leon, G., González, E., Lepe, S. et al. Averaging generalized scalarfield cosmologies III: Kantowski–Sachs and closed Friedmann–Lemaître–Robertson–Walker models. Eur. Phys. J. C 81, 867 (2021). https://doi.org/10.1140/epjc/s10052021095800
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052021095800