Abstract
This research focuses on scalar field cosmologies with a generalized harmonic potential. Our attention is centred on the anisotropic LRS Bianchi I and III metrics, Bianchi V metrics, and their isotropic limits. We provide a comprehensive overview of the first two metrics classes and offer new findings for Bianchi V metrics. We show that the Hubble parameter is a time-dependent perturbation parameter that controls the magnitude of the error between full-system and time-averaged solutions as it decreases, such that those complete and time-averaged systems have the same asymptotic behaviour. Therefore, oscillations entering the system can be controlled and smoothed out, simplifying the problem.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The cosmological paradigm is based on the assumption that the observable universe is homogeneous and isotropic. Most studies use the flat Friedmann–Lemaître–Robertson–Walker (FLRW) model. Researchers then study the evolution of perturbations, particularly within the inflationary theory. However, while inflation is the most successful explanation for the observed homogeneity and isotropy, it does not fully solve the problem since the FLRW metrics are proposed from the outset instead of starting with an arbitrary metric. Some have tried to consider an entirely arbitrary metric, which would be both inhomogeneous and anisotropic [1]; however, these calculations are incredibly complicated. Therefore, this paper focuses on homogeneous and anisotropic cosmology to extract analytical information.
This class of geometries exhibits exciting cosmological features in inflationary and post-inflationary epochs [2, 3]. Nine anisotropic Bianchi models exist based on the real three-dimensional Lie algebra classification. In these spacetimes, three-dimensional hypersurfaces are defined by the orbits of three isometries. An essential characteristic of the Bianchi models is that the physical variables depend only on time, which means that the field equations are a system of ordinary differential equations [4,5,6]. In recent years, the class of anisotropic geometries has gained much interest due to anisotropic anomalies in the Cosmic Microwave Background (CMB) and large-scale structure data. The origin of asymmetry and other measures of statistical anisotropy on the largest scales of the universe is a long-standing open question in cosmology. The “Planck Legacy” temperature anisotropy data show strong evidence of violating the Cosmological Principle in its isotropic aspect [7, 8].
Isotropization is a crucial concept in cosmology, as it refers to whether the universe can be described in an isotropic manner without fine-tuning. The family of spatially homogeneous Bianchi cosmologies is an important gravitational model that includes the Mixmaster Universe, as well as the isotropic FLRW spacetimes, which have been extensively studied and analyzed in various research works such as [9,10,11,12]. We find compelling, exciting solutions in General Relativity (GR) and cosmology. Some of such solutions are the FLRW models, which follow the Cosmological Principle. FLRW spacetimes are obtained as the limit of some Bianchi models where the anisotropy approaches zero. The flat, open, and closed FLRW geometries are respectively associated with the Bianchi I, III, and IX spacetimes [13]. Another exciting solution is the Taub-Kasner and Bianchi II solutions, which are part of the Belinski-Khalatnikov-Lifshitz (BKL) singularity geometric description. The singularity is present in models such as Bianchi type VIII and IX. Mixmaster dynamics form a class of spatially homogeneous solutions that show the asymptotic behaviour near the singularity and exhibit properties similar to BKL, making them a complicated oscillatory and chaotic model. The BKL conjecture is fundamental to quantum cosmology developments and efforts to quantize gravity.
Scaling solutions are helpful, particularly in addressing the Cosmic Coincidences problem. The de Sitter solution is related to the current accelerated expansion stage of the universe, where the scale factor increases exponentially with time. Einstein’s static solution allows the transition from an expanding universe to a contracting one and vice versa. The (Dirac)-Milne solution corresponds to a universe with zero acceleration, enabling the transition from a universe with decelerated expansion to an accelerated one. The Minkowski solution represents an empty universe, useful as a local approximation of spacetime in reasonably small regions and the presence of matter, as long as it does not self-gravitate. The de Sitter and Milne models have been thoroughly analyzed, even in nonlinear perturbations and matter such as KG fields, as described in [14]; the authors showed that negative Einstein metrics \({\textbf{g}}= - dt^2 + \frac{t^2}{9}\gamma _{ij} dx^ i dx^ j\) are a solution to the vacuum Einstein equations in \(3+1\) dimensions, where the Ricci tensor calculated for \(\gamma \) is \(R_{ij} [{\gamma }]= -\frac{2}{9} \gamma _{i j}\), and they are attractors of the Einstein–Klein–Gordon (EKG) system. The authors used the continuity equation and \(L^2\) metrics to control massive matter fields. This information is relevant as it provides a broader context for stability and isotropization analyses.
Reviews on modified gravity, which discusses cosmological problems like inflation, bounce and late-time evolution, cosmological finite-time singularities, and cosmological perturbations are [15,16,17,18]. In recent literature, the Dipole Cosmological Principle has been introduced. It suggests that the Universe is maximally Copernican and is still compatible with cosmic flow. This principle is the most symmetric approach that generalizes the FLRW ansatz in light of the emerging hints of a non-kinematic component in the CMB dipole. The Einstein equations in the Dipole Cosmological Principle lead to four ordinary differential equations instead of the two Friedmann equations in the FLRW model. The two new functions in this principle can be seen as an anisotropic scale factor that breaks the isotropy group from SO(3) to U(1) and a “tilt” that captures the cosmic flow velocity. The result is an axially isotropic, tilted Bianchi V/VIIh cosmology. This paradigm allows for model building and the dynamics of the expansion rate, anisotropic shear, and tilt in various examples [19,20,21,22], which is remarkable. In particular, the study [22] examined the cosmic evolution of the universe from the Big Bang to the future and discussed early and late-time attractors of the system for non-interacting cosmic fluids. In [23], a scalar field coupled to a vector field in an LRS Bianchi-I spacetime was studied, exhibiting an oscillatory dark energy equation of state.
Several studies, including [24,25,26,27,28,29,30,31,32,33,34,35] have applied averaging methods to analyze single field scalar field cosmologies, and scalar field cosmologies with two scalar fields that interact gravitationally with the matter in [36]. In [32], scalar field cosmology with a generalized harmonic potential was examined in flat and negatively curved FLRW and Bianchi I metrics. The conservation equations were considered with an interaction between the scalar field and matter. These references utilized asymptotic methods and the theory of averaging in nonlinear dynamical systems to obtain relevant information about the solution space. The standard dynamical systems approach faces challenges due to oscillations that enter the nonlinear system through the Klein–Gordon (KG) equations. Therefore, analyzing the oscillations using the averaging theory in nonlinear dynamical systems is necessary. This method proves that time-dependent systems and their corresponding time-averaged versions have the same late-time dynamics, as it has been observed to be true in some EKG systems where the Hubble parameter monotonically decreases and approaches zero. Thus, the most straightforward time-averaged system determines the future asymptotic behaviour, and late-time attractors of physical interest can be found depending on the values of free parameters. The Hubble parameter is a time-dependent perturbation parameter that controls the magnitude of the error between full-system and time-averaged solutions as it decreases. Therefore, the oscillations entering the system through the KG equation can be controlled and smoothed out, simplifying the problem. These results suggest that the oscillations arising from harmonic functions can be “averaged out”. Although time-averaged equations are helpful, they sometimes fail to predict long-term asymptotic behaviour accurately. Therefore, using the more general idea of a “time-dependent coordinate transform” as a unifying framework to replace many ad hoc averaging methods is convenient. Coordinate transforms and centre manifolds offer a more comprehensive and unified view of complex system modelling methodologies, such as averaging, homogenization, multiple scales, singular perturbations, two-timing, Wentzel–Kramers–Brillouin (WKB) theory, and more [37].
The cosmology program employs dynamical systems to analyze the behaviour of various cosmological models. The procedures involved are as follows: (1) use dynamical systems theory to accurately determine the feasible asymptotic states of cosmological models. This applies mainly when the governing equations constitute finite systems of autonomous ordinary differential equations. (2) Explore cosmological models as dynamic systems to understand their applications in the early universe. (3) Thoroughly examine the asymptotic properties of spatially homogeneous and inhomogeneous models in general relativity. (4) Conduct a detailed analysis of the outcomes of scalar field models with exponential potential, with and without barotropic matter. (5) Conduct a comprehensive scrutiny of the dynamic properties of cosmological models derived from effective actions. Utilize asymptotic methods and averaging theory to derive relevant information on the solution space of scalar-field cosmologies. Additionally, computational tools are employed to solve problems promptly and efficiently.
Based on references [29,30,31,32] we started the “Averaging generalized scalar-field cosmologies” program [33]. Asymptotic methods and averaging theory are used to investigate the solutions space of scalar-field cosmologies with non-minimal interaction with a matter source 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]\). The scalar field oscillates in a generalized harmonic potential. We investigated three cases of study: (I) Bianchi III and open FLRW model [33], (II) Bianchi I and flat FLRW model [34], and (III) KS and closed FLRW [35]. In reference [33], it was proved that for LRS Bianchi III, the late-time attractors are a matter-dominated flat FLRW universe if \(0\le \gamma \le \frac{2}{3}\), a matter-curvature scaling solution if \(\frac{2}{3}<\gamma <1\), and Bianchi III flat spacetime for \(1\le \gamma \le 2\). In the first case, the matter mimics de Sitter, quintessence or zero acceleration solutions. For FLRW metric with \(k=-1\), the late-time attractors are flat matter-dominated FLRW universe if \(0\le \gamma \le \frac{2}{3}\) and Milne solution if \(\frac{2}{3}<\gamma <2\). In all metrics, matter-dominated flat FLRW universe represents quintessence fluid if \(0< \gamma < \frac{2}{3}\). In reference [34] for flat FLRW and LRS Bianchi I metrics, it was obtained that late-time attractors of complete and time-averaged systems are given by flat matter-dominated FLRW solution and Einstein-de Sitter solution. Interestingly, for FLRW with negative or zero curvature and Bianchi I metric, when the matter fluid corresponds to a Cosmological Constant, H asymptotically tends to constant values depending on initial conditions. That is consistent with de Sitter’s 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, [34], we have that \(\lim _{\tau \rightarrow +\infty }{\overline{\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 \({\overline{\Omega }}\) give an upper bound for the values \(\Omega \) of the original system. Therefore, the error of the time-averaged higher-order system can also be controlled by controlling the error of the original system. Finally, in the KS metric, it can be proved that the global late-time attractors of complete and time-averaged systems are two anisotropic contracting solutions. These are a non-flat LRS Kasner and a Taub (flat LRS Kasner) for \(0\le \gamma <2\), and a matter-dominated flat FLRW universe if \(0\le \gamma \le \frac{2}{3}\) (mimicking de Sitter, quintessence or zero acceleration solutions). For closed cosmologies (Kantowski-Sachs, positively curved FLRW, etcetera), the quantity \(D=\sqrt{H^2 + \frac{{}^{(3)} R}{6}}\), where \({}^{(3)} R\) is the 3-Ricci curvature of spatial surfaces (if the congruence \({\textbf{u}}\) is irrotational), plays the role of a time-dependent perturbation function that controls the magnitude of the error between the solutions of complete and time-averaged problems. For FLRW metric with \(k=+1\) global late-time attractors of the time-averaged system are a flat matter-dominated contracting solution that is a sink for \(1<\gamma \le 2\), a matter-dominated flat FLRW universe mimicking de Sitter, quintessence or zero acceleration solutions if \(0\le \gamma \le \frac{2}{3}\), and an Einstein-de Sitter solution for \(0\le \gamma <1\) and large t. However, when D becomes infinite and for \(\gamma \ge 1\), solutions of the complete system depart from solutions of the averaged system as D is large. Then, different from KS, for the entire system and given \(\gamma >1\), the orbits do not follow the average system track as \(D\rightarrow \infty \). That is somewhat different behaviour from the time-averaged system, where they are saddle. We have shown that asymptotic methods and averaging universe are powerful tools to investigate scalar-field cosmologies with generalized harmonic potential. Therefore, these analyses complete the characterization of the whole class of homogeneous but anisotropic solutions and their isotropic limits, except LRS Bianchi V.
This paper focuses on scalar field cosmologies with generalized harmonic potential for Bianchi V models, and it is structured as follows: Sect. 2 summarizes the averaging techniques used; the attention is centred on the anisotropic LRS Bianchi I and III metrics. The research also explores the homogeneous and isotropic FLRW metrics. We provide a comprehensive overview of these metrics classes. For a physical application in Sect. 3, averaging techniques are used to find the late time and early time behaviour of the evolution of cosmological perturbations in vacuum for a flat FLRW metric, following the line of Ref. [27]. In Sect. 4, we discuss the Bianchi V metric, offering new qualitative findings analogous to the studies in references [33, 34]. Section 5 is devoted to conclusions.
2 Averaging of nonlinear dynamical systems
In general, in the theory of averaging for nonlinear dynamical systems, initial value problems
are studied. Here, \({\textbf{x}}\) and \({\textbf{f}}({\textbf{x}}, t, \varepsilon )\) belong to \({\mathbb {R}}^n\), and \(\varepsilon \) is a typically small perturbation parameter. An approach often used is to perform a Taylor expansion of \({\textbf{f}}\) in \(\varepsilon \) around \(\varepsilon =0\). For the periodic averaging method, the zeroth order term usually vanishes, and the standard form of the problem becomes
where \({\textbf{f}}^1\) and \({\textbf{f}}^{[2]}\) are T-periodic in t. The exponents represent the respective perturbative order, and the square bracket denotes the remainder of the series (Notation 1.5.2, p 13, [38]). To approximate this problem, one can solve it for \(\varepsilon =0\) (unperturbed problem) and use this solution to formulate variational equations in standard form, which can then be averaged.
To first order, the theory is then concerned with the question of to what degree solutions of (2) can be approximated by the solutions of an associated averaged system
with
Using methods derived from the theory of averaging nonlinear dynamical systems, we can prove that the late-time dynamics of time-dependent systems and their corresponding time-averaged versions are the same in the specific models we have examined. This result is true in some EKG systems where the Hubble parameter monotonically decreases and approaches zero. That means that simple time-averaged methods can determine future asymptotic behaviour. Therefore, we rely on amplitude-phase variables (as defined in p 22, 24-27, 42, 54, 361 of [38] and chapter 11 of [39]) for our analysis:
such that
A recent publication examined the LRS Bianchi III metric [26]
where \({\textbf{g}}_{H^2}= d \varphi ^2 + \sinh ^2 (\varphi )d \zeta ^2\) denotes the 2-metric of negative constant curvature on hyperbolic 2-space. This system can be compared to a harmonic oscillator with nonlinear damping, with the time-dependent aspect being determined by the coupling of the Einstein equations with the Klein–Gordon equation, as seen in
The study introduced the state vector \({\textbf{x}}=[\Sigma , \Omega , \Phi ]^{\mathrm T}\), where \(\Sigma \) is a dimensionless measure of the anisotropy, \(\Omega =r^2/(6H^2)\) and \((r, \Phi )\) are defined by (6). The system can be represented in quasi-standard form, as shown in Eq. (9)
which resembles the standard form (2) with H(t) acting as the perturbation parameter \(\varepsilon \). In a study by [28], averaging tools were used to analyze a system. The solution of the corresponding averaged system is referred to as \(\overline{{\textbf{y}}}(t)\). The study discovered that on time scales of \({\mathcal {O}}(H_*^{-1})\), where \(H_*\) is the value of H at a large truncation time \(t^*\), \(H(t^*)\), \(\textbf{y}(t) - \overline{{\textbf{y}}}(t) = {\mathcal {O}}(H_*)\). Additionally, the study found a case of averaging with attraction, and the error estimate for the \({\textbf{x}}\)-components holds for all times. In a more recent study conducted by [26], a general class of systems in the standard form (9) with \(H>0\) that is strictly decreasing in t and \(\lim _{t\rightarrow \infty }H(t)=0\) was studied to determine the long-term behaviour of solutions.
In references [33, 34] systems which are not in the standard form (9), but can be expressed as a series with center in \(H=0\) according to the equation
were studied. These systems depend on a parameter \(\omega \), which is a free angular frequency that can be tuned to make \({\textbf{f}}^0 ({\textbf{x}}, t)= {\textbf{0}}\). Therefore, systems can be expressed in the standard form (9). There, we studied a scalar-field cosmology with potential
by introducing an angular frequency \(\omega \in {\mathbb {R}}\) through conditions \(b \mu ^3+2 f \mu ^2-f \omega ^2=0\) and \(\omega ^2-2 \mu ^2>0\). Potential (11) has the following generic features:
-
1.
V is a real-valued 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\).
-
4.
There is a finite number of values \(\phi _c \ne 0\) satisfying \(2 \mu ^2 \phi _c +f \left( \omega ^2-2 \mu ^2\right) \sin \left( \frac{\phi _c }{f}\right) =0\) which are local maximums or local minimums depending on whether \(V''(\phi _c)<0\) or \(V''(\phi _c)>0\). For \(\left| \phi _c\right| >\frac{f(\omega ^2-2 \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 a lower bound equal to zero.
Near global minimum \(\phi =0\), we have \(V(\phi ) \sim \frac{\omega ^2 \phi ^2}{2}+{\mathcal {O}}\left( \phi ^3\right) , \quad \text {as} \; \phi \rightarrow 0\). That is, \(\omega ^2\) can be related to the mass of the scalar field near its global minimum. As \(\phi \rightarrow \pm \infty \) cosine- correction is bounded, then, \(V(\phi ) \sim \mu ^2 \phi ^2+{\mathcal {O}}\left( 1\right) \quad \text {as} \; \phi \rightarrow \pm \infty \). That makes it suitable to describe oscillatory behaviour in cosmology. The generalized scalar-field cosmologies with matter in LRS Bianchi III and the open FLRW model were investigated in Ref. [33].
By defining \({\textbf{x}}= \left( \Omega , \Sigma , \Omega _k, \Phi \right) ^T\), where
and imposing the condition \(b \mu ^3+2 f \mu ^2-f \omega ^2=0\), which defines an angular frequency \(\omega \in {\mathbb {R}}\). Then, order zero terms in the series expansion around \(H=0\) are eliminated assuming \(\omega ^2>2 \mu ^2\) and setting \(f=\frac{b \mu ^3}{\omega ^2-2 \mu ^2}\), which is equivalent to tuning \(\omega \).
Hence, we obtain the following system:
Replacing \(\dot{{\textbf{x}}}= H {\textbf{f}}({\textbf{x}}, t)\) where \({\textbf{f}}({\textbf{x}}, t)\) is defined by (13c) with \(\dot{{\textbf{y}}}= H \overline{{\textbf{f}}}({\textbf{y}})\), \({\textbf{y}}= \left( {\overline{\Omega }}, {\overline{\Sigma }}, {\overline{\Omega }}_k, {\overline{\Phi }} \right) ^T\) and \(\overline{{\textbf{f}}}({\textbf{y}})\) given by time-averaging
and introducing the new time variable \(f^{\prime }= df/d\tau \equiv \frac{1}{H} {\dot{f}}\), we obtain the averaged system:
As in references [24, 25, 33, 34], was proven Theorem 2, [33], which states: Let H, \({\overline{\Omega }}, {\overline{\Sigma }}, {\overline{\Omega }}_k\), and \({\overline{\Phi }}\) be defined functions that satisfy averaged equations (15). Then, there exist continuously differentiable functions \(g_1, g_2, g_3\) and \(g_4\), such that \(\Omega , \Sigma , \Omega _k\) and \(\Phi \) are locally given by
Then, functions \(\Omega _{0}, \Sigma _{0}, \Omega _{k0}, \Phi _0\) and averaged solution \({\overline{\Omega }}, {\overline{\Sigma }}, {\overline{\Omega }}_k, {\overline{\Phi }}\) have the same limit as \(t\rightarrow \infty \). Setting \(\Sigma =\Sigma _0=0\) derived comparable results for the negatively curved FLRW model.
In Ref. [33] were found the exact solutions associated with equilibrium points of the averaged system (15). They are summarized as follows.
-
1.
T is a Taub-Kasner solution (\(p_1=1, p_2= 0, p_3= 0\)) with \(a(t)= \frac{\left( 3 H_{0} t+1\right) }{c_2}\) and \(b(t)=\sqrt{c_2}\).
-
2.
Q is a non-flat LRS Kasner (\(p_1=-1/3, p_2= 2/3, p_3= 2/3\)) Bianchi I solution with \(a(t)= c_1^{-2}\left( {3 H_{0} t+1}\right) ^{-1/3}\) and \(b(t)={c_1^{-1}}{\left( 3 H_{0} t+1\right) ^{2/3}}\).
-
3.
D is a Bianchi III form of flat spacetime with \(a(t)=c_1^{-1}\) and \(b(t)=\frac{(3 H_{0} t+2)}{2 \sqrt{c_1}}\).
-
4.
F is a scalar field dominated solution which for large t behaves as a de Sitter solution with \(a(t)=c_1^{-1} {t^{2/3}}\) and \(b(t)={c_2^{-1/2}}{t^{2/3}}\).
-
5.
\(F_0\) is a Matter dominated FLRW universe with \(a(t)=\ell _{0} \left( \frac{3 \gamma H_{0} t}{2}+1\right) ^{\frac{2}{3 \gamma }}\) and \(b(t)=\ell _{0} \left( \frac{3 \gamma H_{0} t}{2}+1\right) ^{\frac{2}{3 \gamma }}\).
-
6.
MC is a matter-curvature scaling solution with \(a(t)=\ell _{0} \left( \frac{3 \gamma H_{0} t}{2}+1\right) ^{\frac{2}{3 \gamma }}\) and \(b(t)=\ell _{0} \left( \frac{3 \gamma H_{0} t}{2}+1\right) ^{\frac{2}{3 \gamma }}\), where \(c_1, c_2, \ell _0 \in {\mathbb {R}}^+\).
The results from the linear stability analysis, the Center Manifold calculations, and combined with Theorem 2, [33] lead Theorem 3, [33], which states: The late-time attractors of the full system and averaged system for the Bianchi III line element are:
-
(i)
The matter dominated FLRW universe \(F_0\) with line element
$$\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 + {\textbf{g}}_{H^2}\right) , \; 0< \gamma \le 2/3. \end{aligned}$$(17)\(F_0\) represents a quintessence fluid for \(0<\gamma <2/3\) or a zero-acceleration model for \(\gamma =2/3\). In the limit \(\gamma =0\), we have the de Sitter solution.
-
(ii)
The matter-curvature scaling solution MC with \({\overline{\Omega }}_m=3(1-\gamma )\) and line element
$$\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 + {\textbf{g}}_{H^2}\right) , \; 2/3<\gamma <1. \end{aligned}$$(18) -
(iii)
The Bianchi III flat spacetime D with metric
$$\begin{aligned}&ds^2= - dt^2 + c_1^{-2} dr^2 + \frac{(3 H_{0} t+2)^2}{4 c_1} {\textbf{g}}_{H^2}, \; 1\le \gamma \le 2. \end{aligned}$$(19)
The invariant set \(\Sigma =0\) of the Bianchi III corresponds to negatively curved FLRW models, or open FLRW model, with metric
In this invariant set, we have the system
and the averaged system:
Exact solutions associated with equilibrium points of the averaged system (22) are [33]:
-
1.
F is a scalar field dominated solution which for large t behaves as a de Sitter solution with \(a(t)= a_{0} \left( \frac{3 H_{0} t}{2}+1\right) ^{\frac{2}{3}}\).
-
2.
\(F_0\) is a matter dominated FLRW universe with \(a(t)=a_{0} \left( \frac{3 \gamma H_{0} t}{2}+1\right) ^{\frac{2}{3 \gamma }}\).
-
3.
C is a Milne solution with \(a(t)=a_{0} \left( H_0 t+1\right) \), where a(t) denotes a scale factor of metric (20) and \( a_0 \in {\mathbb {R}}^+\).
The results from the linear stability analysis, the Center Manifold calculations, and combined with Theorem 2 (for \(\Sigma =0\), open FLRW), [33] lead to Theorem 4, [33], which states: The late-time attractors of the full system and the averaged system are:
-
(i)
The matter dominated FLRW universe \(F_0\) with line element
$$\begin{aligned}&ds^2 = - dt^2 + a_{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 \\&\qquad \; 0< \gamma \le 2/3, \end{aligned}$$(23)where the metric for a two-sphere is \(d\Omega ^2 = d\varphi ^2 + \sin ^2 \varphi \, d\zeta ^2\). \(F_0\) represents a quintessence fluid or a zero-acceleration model for \(\gamma =2/3\). In the limit \(\gamma =0\), we have the de Sitter solution.
-
(ii)
The Milne solution C with \({\overline{\Omega }}_k=1, k=-1\) with line element
$$\begin{aligned} ds^2&= - dt^2 + a_{0}^2 \left( H_0 t+1\right) ^{2} \left( dr^2+ \sinh ^2 r d\Omega ^2 \right) ,\nonumber \\&\quad \; 2/3<\gamma <2. \end{aligned}$$(24)
Reference [34] investigated a generalized scalar-field cosmology with the matter in LRS Bianchi I and the flat FLRW model. For LRS Bianchi I model is used, the metric
where the functions a(t) and b(t) are interpreted as the scale factors.
Denoting \({\textbf{x}}= \left( \Omega , \Sigma , \Phi \right) ^T\) and using the condition \(b \mu ^3+2 f \mu ^2-f \omega ^2=0\), we obtain:
Replacing \(\dot{{\textbf{x}}}= H {\textbf{f}}({\textbf{x}}, t)\) with \({\textbf{f}}({\textbf{x}}, t)\) as defined in (26c) by \(\dot{{\textbf{y}}}= H \overline{{\textbf{f}}}({\textbf{y}})\) with \({\textbf{y}}= \left( {\overline{\Omega }}, {\overline{\Sigma }}, {\overline{\Phi }} \right) ^T\) and \(\overline{{\textbf{f}}}\) as defined by (14), and introducing the time variable \(f^{\prime }\equiv \frac{1}{H} {\dot{f}}\), we obtain the averaged system:
Proceeding analogously as in references [24, 25] but for three-dimensional systems instead of a 1-dimensional one, was proved Theorem 1 of [34] which states: Let the functions H, \({\overline{\Omega }}, {\overline{\Sigma }}\), and \({\overline{\Phi }}\) be defined as solutions of the averaged equations (27). Then, there exist continuously differentiable functions \(g_1, g_2\) and \(g_3\) such that \(\Omega , \Sigma , \Phi \) are locally given by a nonlinear transformation
where \(\Omega _{0}, \Sigma _{0}, \Phi _{0}\) are zero order approximations of \(\Omega , \Sigma , \Phi \) as \(H\rightarrow 0\). Then, functions \(\Omega _{0}, \Sigma _{0}, \Phi _0\) and averaged solution \({\overline{\Omega }}, {\overline{\Sigma }}, {\overline{\Phi }}\) have the same limit as \(t\rightarrow \infty \). Setting \(\Sigma =\Sigma _0=0\) matching results for flat FLRW model are derived.
Exact solutions associated with equilibrium points of the averaged system (27) are [34]:
-
1.
T is a Taub-Kasner solution (\(p_1=1, p_2= 0, p_3= 0\)) with \(a(t)=\frac{\left( 3 H_{0} t+1\right) }{c_2}\) and \(b(t)=\sqrt{c_2}\) where \(c_1, c_2, \ell _0 \in {\mathbb {R}}^+\).
-
2.
Q is a non-flat LRS Kasner (\(p_1=-1/3, p_2= 2/3, p_3= 2/3\)) Bianchi I solution with \(a(t)=c_1^{-2}\left( {3 H_{0} t+1}\right) ^{-1/3}\) and \(b(t)={c_1^{-1}}{\left( 3 H_{0} t+1\right) ^{2/3}}\).
-
3.
F is a scalar field dominated solution with \(a(t)=c_1^{-1} {t^{2/3}}\) and \(b(t)={c_2^{-1/2}}{t^{2/3}}\) which for large t behaves as a de Sitter solution.
-
4.
\(F_0\) is a Flat matter dominated FLRW universe with \(a(t)=b(t)=a_{0} \left( \frac{3 \gamma H_{0} t}{2}+1\right) ^{\frac{2}{3 \gamma }}\).
Results from the linear stability analysis, which are combined with Theorem 1 of [34], lead to the following Theorem 2, [34]: The late-time attractors of the full system and time-averaged system for the LRS Bianchi I line element are:
-
(i)
The flat matter dominated FLRW Universe \(F_0\) with the line element
$$\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 + d \varphi ^2 + \varphi ^2 d \zeta ^2 \right] , \;\nonumber \\&\quad 0< \gamma < 1. \end{aligned}$$(29)\(F_0\) represents a quintessence fluid if \(0<\gamma <2/3\) or a zero-acceleration model if \(\gamma =2/3\). Taking limit \(\gamma =0\) we have \(\ell (t)=\ell _{0} \left( \frac{3 \gamma H_{0} t}{2}+1\right) ^{\frac{2}{3 \gamma }}\rightarrow \ell _0 e^{H_0 t}\), i.e., a de Sitter solution.
-
(ii)
The scalar field dominated solution F with line element
$$\begin{aligned} ds^2&= - dt^2 + c_1^{-2} {t^{4/3}} dr^2 + {c_2^{-1}}{t^{4/3}} \left[ d \varphi ^2 + \varphi ^2 d \zeta ^2\right] , \;\nonumber \\&\qquad 1<\gamma \le 2. \end{aligned}$$(30)For large t, the equilibrium point can be associated with the de Sitter solution.
For \(\gamma =1\), \(F_0\) and F are stable because they belong to the stable normally hyperbolic line of equilibrium points. For \(\gamma =2\), F is asymptotically stable.
Flat FLRW metric. The metric is given by
In this case, the field equations are obtained by setting \(k=0\) and by substituting \(\Sigma =0\) to obtain the Taylor expansion:
Replacing \(\dot{{\textbf{x}}}= H {\textbf{f}}({\textbf{x}}, t)\) and \({\textbf{f}}({\textbf{x}}, t)\) as defined by (32c) with \(\dot{{\textbf{y}}}= H {\overline{f}}({\textbf{y}})\) where \({\textbf{y}}= \left( {\overline{\Omega }}, {\overline{\Phi }} \right) ^T\) with the time averaging (14), and introducing the new time variable \(f^{\prime }\equiv \frac{1}{H} {\dot{f}}\), we obtain the following time-averaged system:
The time-averaged Raychaudhuri equation for flat FLRW metric is obtained by setting \({\overline{\Sigma }}=0\) in eq. (27), which corresponds to flat FLRW models.
Exact solutions associated with equilibrium points of the averaged equations (33) are [34]:
-
1.
F with \(a(t)= a_{0} \left( \frac{3 H_{0} t}{2}+1\right) ^{\frac{2}{3}}\) where \(a_0 \in {\mathbb {R}}^+\).
-
2.
\(F_0\) is a flat matter dominated FLRW universe with \(a(t)=a_{0} \left( \frac{3 \gamma H_{0} t}{2}+1\right) ^{\frac{2}{3\gamma }}\).
Results from the linear stability analysis, which are combined with Theorem 1 of [34] (for \(\Sigma =0\)) and lead to Theorem 3, [34], which states: The late-time attractors of the full system and averaged system with \(\Sigma =0\) are:
-
(i)
The flat matter dominated FLRW Universe \(F_0\) with line element
$$\begin{aligned} ds^2&= - dt^2 + a_{0}^2 \left( \frac{3 \gamma H_{0} t}{2}+1\right) ^{\frac{4}{3 \gamma }}\left[ dr^2 + r^2 \left( d \varphi ^2 + \varphi ^2 d \zeta ^2\right) \right] ,\;\nonumber \\&\quad 0\le \gamma < 1. \end{aligned}$$(34)\(F_0\) represents a quintessence fluid if \(1<\gamma <2/3\) or a zero-acceleration model if \(\gamma =2/3\). We have \(a(t)=a_{0} \left( \frac{3 \gamma H_{0} t}{2}+1\right) ^{\frac{2}{3 \gamma }}\rightarrow a_0 e^{H_0 t}\) as \(\gamma \rightarrow 0\), i.e., a de Sitter solution is recovered.
-
(ii)
The scalar field dominated solution F with line element
$$\begin{aligned} ds^2&= - dt^2 + a_{0}^2 \left( \frac{3 H_{0} t}{2}+1\right) ^{\frac{4}{3 }} \left[ dr^2 + r^2 \left( d \varphi ^2 + \varphi ^2 d \zeta ^2\right) \right] , \;\nonumber \\&\quad \, 1<\gamma \le 2 \end{aligned}$$(35)For large t, the equilibrium point can be associated with the de Sitter solution.
3 Evolution of cosmological perturbations in vacuum
In this section, following the line of Ref. [27], we investigate the dynamics of linear scalar cosmological perturbations for a generic scalar field model by the methods of dynamical systems. We use the perturbation of a scalar field \(\phi _0\) in the background. The most generic scalar perturbed FLRW metric can be written as [40]
where the inhomogeneous perturbation quantities \(\alpha ,\,\beta ,\,\psi ,\,\gamma ,\,f_i,\,h_{ij}\) are functions of both t and \(\textbf{x}\). The quantity \(\psi (t,\textbf{x})\) is directly related to the 3-curvature of the spatial hyper-surface
For a scalar field, one also needs to take into account the perturbation of the scalar field \(\delta \phi (t,\textbf{x})\) and, for a perfect fluid, the perturbed energy-momentum tensor is
being \(v(t,\textbf{x})\) the velocity potential. In what follows, we will restrict ourselves to the case when there is no matter, but only a scalar field is present. The reason is simplicity. Suppose one wants to investigate cosmological perturbations in the presence of two matter components, e.g. a perfect fluid and a scalar field. In that case, one needs to consider entropy perturbations as well. A widespread practice in literature concentrates on a particular cosmological epoch when only one matter component is dominant. In that sense, even though not generic, our subsequent analysis is still relevant when the universe is a scalar field dominated, e.g. during the early inflationary epoch or the late-time acceleration. Of course, there is the gauge issue; the perturbation quantities defined above are not gauged invariant [15, 41,42,43,44]. In this sense, various gauge-invariant perturbation quantities have been introduced in the literature. In this article, we will consider the following three gauge-invariant perturbation quantities. There are several approaches for cosmological perturbations. The three more relevant are the Bardeen potentials introduced by Bardeen [40], who gave the first-ever gauge-invariant formulation for cosmological perturbations. These quantities are gauge-invariant perturbation quantities constructed solely out of metric perturbations. There are two such quantities in which, for the case of a single scalar field, both the Bardeen potentials are equal, and they were examined in [40,41,42,43,44]. Moreover, for single scalar field models, we can define comoving curvature perturbation coinciding with the 3-curvature perturbation of the spatial slice in the comoving gauge, which is given by \(\delta \phi =0\) for single scalar field models.
The evolution of comoving curvature perturbation at linear order was investigated in [15]. Another gauge-invariant perturbation variable that we will consider is the so-called Sasaki-Mukhanov variable [45, 46], or the scalar field perturbation in uniform curvature gauge, defined as \(\varphi _c \equiv \delta \phi - \frac{{\dot{\phi }}}{H}\psi \).
At the linear level, this variable follows the perturbation equation, which is valid strictly only in the absence of matter,
To obtain a dynamical system that describes the evolution of perturbations, we first introduce Cartesian spatial coordinates and make the Fourier transform of the perturbation variables. This results in \({\mathcal {H}}^{-2} \nabla ^2 \longrightarrow - k^2 {\mathcal {H}}^{-2}\).
At the background level, we consider a scalar field in vacuum (\(\rho _m=0\)) and a flat FLRW metric under the potential
Therefore, the KG equation is
and the Raychaudhuri equation is
Using the rules
in Eq. (41), then, we acquire the system
In Eq. (46b), we first note that \(\varphi _c\) is generally complex (as it came from Fourier transformation). So, we write \(\varphi _c=F_1+if_2\), where \(F_1\) and \(F_2\) are the real and imaginary parts of \(\varphi _c\), respectively. Moreover, the resulting equation has the structure
where the primes denote the derivative with respect to N,
that is the same for \(F_1\) and \(F_2\).
Generically, we denote \(F_i=r_i\cos \theta _i\) and \(F^{\prime }_i=r_i\sin \theta _i\) where \(i=1,2\). So, \( F^{\prime }=F \tan \theta \), where \(\frac{F^{\prime }}{F}=y\) has a period of \(\pi \). Hence, the mapping \(y=\tan \theta \) is two-to-one and, therefore, when \(\theta \) makes one revolution (\(0 \rightarrow 2\pi \)), y has to be traversed twice \(-\infty \rightarrow +\infty \) [27].
Following this line, Eq. (47) can be expressed then as
or, alternatively,
We also note that it is possible to get \(f_i\) from \(y_i\) through the expression
The sign of \(\tan \theta \) denotes whether the \(F_i(\tau )\) (for \(i=1\) it is the real part) will grow or decay as \(\theta \) ranges from \((-\pi ,\pi ]\).
Defining the variable
we deduce the equations
Deepening into the interpretation of the variable \(z= \frac{k^2}{{\mathcal {H}}^2}\), with \({\mathcal {H}}= a H\). Perturbations with \(k^2 {\mathcal {H}}^{-2}\ll 1\) are called long wavelength or super-horizon. Those with \(k^2 {\mathcal {H}}^{-2}\gg 1\) are considered short wavelengths or sub-horizon. Long wavelength perturbations are usually studied by choosing the idealized limiting value \(k=0\), corresponding to \(z = 0\). On the other hand, short wavelength perturbations correspond to \(z\rightarrow \infty \). We also note that in choosing \(z= \frac{k^2}{{\mathcal {H}}^2}\) as a dynamical variable, we have that the wave number k is absorbed in the definition when formulating the dynamical system. However, if we choose the reference time \(t=t_U\) (i.e., when \(N:= \ln a = 0\)) to be the time for setting initial data in the state space, then different choices of \(z_0= \frac{k^2}{H_0^2}\) for a given \(H_0\), and \(a(t_U)=1\), yield solutions with different wave number k [27].
Defining \({\textbf{x}}= \left( \Omega , \Phi , y, z \right) ^T\), where
with inverse
Recalling
we deduce the dynamical system
Taking series around \(H=0\) and setting \(\omega ^2>1\) and \(f=(\omega ^2-1)^{-1}\) we obtain the following system
In the equation for y, the leading terms as \(H \rightarrow 0\) are
Hence, defining
we obtain
After the averaging process (14), the leading terms are
Therefore, the leading terms as \(H\rightarrow 0\) of the full system (58) are expected to be
where \(c_1,c_2, c_3, c_4\) and \(c_5\) are integration constants, we also verify that in the limit \(\tau \rightarrow \infty \) both \({{\overline{\Omega }}} (\tau )\rightarrow 0\) and \({{\overline{z}}}(\tau ) \rightarrow 0\) meaning that we are in the presence of long wavelength perturbations. \(H (\tau )\rightarrow e^{c_1} c_3, y (\tau ) \simeq c_4-\frac{2 e^{-2 c_1} \left( \omega ^2-1\right) (3 \tau +2 c_1)}{3 c_3{}^2} \rightarrow \left( \omega ^2-1\right) (-\infty ), \Phi (\tau )\rightarrow c_5-\frac{e^{c_1} c_3 \left( \omega ^2-1\right) ^3}{4 \omega ^3}\).
System (63a)–(63b) has two equilibrium points
-
1.
\(({{\overline{\Omega }}}, {{\overline{z}}})=(0,0)\) with eigenvalues \(\left\{ -2,-\frac{3}{2}\right\} \). This point is a sink.
-
2.
\(({{\overline{\Omega }}}, {{\overline{z}}})=(1,0)\) with eigenvalues \(\{3,1\}\). This point is a source.
In Fig. 1 on the left is presented a phase plane for system (63a)–(63b). On the right, we show a numeric solution of system (63a)–(63b) for the initial conditions \({{\overline{\Omega }}}=0.1\) and \({{\overline{z}}}=0.1\).
Our research explores the spatiotemporal dynamics using the Fourier transform, focusing on long wavelengths, corresponding to \(z=0\). The Fourier transform is a crucial tool in modelling (chapter 7 of [37]). Additionally, as referenced elsewhere, one can use more direct techniques to model nonlinear systems [37, 47].
4 Bianchi V metric
We consider the Bianchi type-V metric in the form [48,49,50,51,52,53,54,55,56,57,58,59,60,61]
The Hubble factor is
The tensor of anisotropies has the form
and the 3-Ricci curvature is
The field equations are:
with constraint
Defining
we obtain the full system
where
Taking series around \(H=0\) and setting \(\omega ^2>1\) and \(f=(\omega ^2-1)^{-1}\) we obtain the following system
Replacing \(\dot{{\textbf{x}}}= H {\textbf{f}}({\textbf{x}}, t)\) with \({\textbf{f}}({\textbf{x}}, t)\) as defined in the third equation of (73) by \(\dot{{\textbf{y}}}= H \overline{{\textbf{f}}}({\textbf{y}})\) with \({\textbf{y}}= \left( {\overline{\Omega }}, {\overline{\Sigma }}, {\overline{\Omega }}_{k}, {\overline{\Phi }} \right) ^T\) and \(\overline{{\textbf{f}}}\) as defined by (14), we obtain the averaged system:
Introducing the new variable \(\tau = \ln a\), it follows the regular dynamical system:
defined on the phase space
We assume \(0\le \gamma \le 2\).
4.1 Dynamical system analysis of the averaged system for Bianchi V metric
In Table 1, we summarize the stability analysis for the equilibrium points of the system (75).
They are the following.
-
1.
\(P_1\) with coordinates \(({\overline{\Omega }}, {\overline{\Sigma }}, {\overline{\Omega }}_k)=(0,0,0)\) always exists. It represents the flat, matter-dominated FLRW solution. It is
-
(i)
a sink for \(0\le \gamma <2/3\),
-
(ii)
a saddle for \(2/3<\gamma<1,\quad 1<\gamma <2\),
-
(iii)
Non-hyperbolic for \(\gamma =2/3,1,2\).
-
(i)
-
2.
\(P_2\) with coordinates (1, 0, 0) always exists. It corresponds to the flat scalar field-dominated FLRW solution. It is
-
(i)
a saddle for \(\gamma \ne 1\),
-
(ii)
Non-hyperbolic saddle for \(\gamma =1\).
-
(i)
-
3.
\(P_3\) with coordinates (0, 0, 1) always exists. It corresponds to the curvature-dominated (Milne, \(k=-1\)) solution. It is
-
(i)
a sink for \(2/3<\gamma \le 2\),
-
(ii)
a saddle for \(0\le \gamma <2/3\)
-
(iii)
Non-hyperbolic for \(\gamma =2/3\).
-
(i)
-
4.
Points \(P_{4,5}\) with coordinates \((0, \pm 1, 0)\) always exist. They are anisotropic vacuum solutions. They are
-
(i)
a source for \(0\le \gamma <2\),
-
(ii)
Non-hyperbolic for \(\gamma =2\).
-
(i)
In Fig. 2, the dynamical behaviour for system (75) is depicted for different values of the equation of state parameter \(\gamma .\) The behaviour agrees with the stability analysis performed. Given this, we can formalize the following result
Theorem 1
The late-time attractors for the Bianchi V metric are
-
(a)
The flat matter-dominated FLRW solution \(P_1\) for \(0\le \gamma <\frac{2}{3}.\)
-
(b)
The curvature-dominated Milne solution \(P_3\) for \(\frac{2}{3}<\gamma \le 2.\)
4.2 Error estimation and numerical integration of solutions for Bianchi V metric
Proceeding in analogous way as in references [24, 25] we implement a local nonlinear transformation:
Taking time derivative in both sides of (77) with respect to t we obtain
where
is the Jacobian matrix of \({\textbf{g}}(H, {\textbf{x}}_0,t)\) for the vector \({\textbf{x}}_0\). The function \({\textbf{g}}(H, {\textbf{x}}_0,t)\) is conveniently chosen. By substituting (26b) and (77) in (79) we obtain
where \({\textbf{I}}_4\) is the \(4\times 4\) identity matrix.
Then we obtain
Using Eq. (13a), we have \( {\dot{H}}= {\mathcal {O}}(H^2)\). Hence,
The strategy is to use Eq. (83) for choosing conveniently \(\frac{\partial }{\partial t} {\textbf{g}}(0, {\textbf{x}}_0,t)\) to prove that
where \(\overline{{\textbf{x}}}=({\overline{\Omega }}, {\overline{\Sigma }}, {\overline{\Omega }}_k, {\overline{\Phi }})^T\) and \(\Delta {\textbf{x}}_0={\textbf{x}}_0 - \overline{{\textbf{x}}}\). The function \(G({\textbf{x}}_0, \overline{{\textbf{x}}})\) is unknown at this stage. By construction, we neglect dependence of \(\partial g_i/ \partial t\) and \(g_i\) on H, i.e., assume \({\textbf{g}}={\textbf{g}}({\textbf{x}}_0,t)\) because the dependence of H is dropped out along with higher order terms eq. (83). Next, we solve a partial differential equation for \({\textbf{g}}({\textbf{x}}_0,t)\) given by:
where we have considered \({\textbf{x}}_0\), and t as independent variables. The right-hand side of (85) is almost periodic of period \(L=\frac{2\pi }{\omega }\) for large times. Then, implementing the average process (14) on right hand side of (85), where slow-varying dependence of quantities \(\Omega _{0}, \Sigma _{0}, \Omega _{k0}, \Phi _0\) and \({\overline{\Omega }}, {\overline{\Omega }}_k, {\overline{\Sigma }}, {\overline{\Phi }}\) on t are ignored through averaging process, we obtain
Defining
the average (86) is zero so that \({\textbf{g}}({\textbf{x}}_0,t)\) is bounded. Finally, Eq. (84) transforms to
and Eq. (85) is simplified to
Lemma 2
(Gronwall’s Lemma (Integral form)) Let be \(\xi (t)\) 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 3
(Mean value theorem) Let \(U \subset {\mathbb {R}}^n\) be open, \({\textbf{f}}: U \rightarrow {\mathbb {R}}^m\) continuously differentiable, and \({\textbf{x}}\in U\), \({\textbf{h}}\in {\mathbb {R}}^m\) vectors such that the line segment \({\textbf{x}}+z \; {\textbf{h}}\), \(0 \le z \le 1\) remains in U. Then we have:
where \(D {\textbf{f}}\) denotes the Jacobian matrix of \({\textbf{f}}\) and the integral of a matrix is to be understood componentwise.
Theorem 4 establish the existence of the vector (78).
Theorem 4
Let \(H, {\overline{\Omega }}, {\overline{\Sigma }}, {\overline{\Omega }}_k, {\overline{\Phi }}\) be defined functions that satisfy averaged equations (74). Then, there exist continuously differentiable functions \(g_1, g_2, g_3\) and \(g_4\), such that \(\Omega , \Sigma , \Omega _k\) and \(\Phi \) are locally given by (77), where \(\Omega _{0}, \Sigma _{0}, \Omega _{k0}, \Phi _0\) are order zero approximations of them as \(H\rightarrow 0\). Then, functions \(\Omega _{0}, \Sigma _{0}, \Omega _{k0}, \Phi _0\) and averaged solutions \({\overline{\Omega }}, {\overline{\Omega }}_k, {\overline{\Sigma }}, {\overline{\Phi }}\) have the same limit as \(t\rightarrow \infty \). By setting \(\Sigma =\Sigma _0=0\), analogous results for the negatively curved FLRW model are derived.
Proof of Theorem 4
Defining \(Z= 1-\Omega ^2-\Sigma ^2- \Omega _{k}\) it follows from
that the sign of \(1-\Omega ^2-\Sigma ^2- \Omega _{k}\) is invariant as \(H\rightarrow 0\). From Eq. (13a) it follows that H is a monotonic decreasing function of t if \(0<\Omega ^2+\Sigma ^2+{\Omega _k}<1\). These allow us to define recursively bootstrapping sequences
such that \(\lim _{n\rightarrow \infty }H_n=0\) y \(\lim _{n\rightarrow \infty } t_n=\infty \).
Given expansions (16), Eqs. (83) become
Furthermore, Eqs. (89) become
Then, explicit expressions of the \(g_i, i=1, \ldots , 4\) are found by integration of (93):
where we can set four integration functions \(C_i(\Omega _{0}, \Sigma _{0}, \Omega _{k0}, \Phi _0), i = 1,2,3,4\) to zero. Functions \(g_i, i=1, \ldots , 4\) are continuously differentiable, such that their partial derivatives are bounded on \(t\in [t_n, t_{n+1}]\).
Let \(\Delta \Omega _0= \Omega _0 - {\overline{\Omega }}, \; \Delta \Sigma _0= \Sigma _0 - {\overline{\Sigma }}, \; \Delta \Omega _{k0}= \Omega _{k0}- {{\overline{\Omega }}_k}, \; \Delta \Phi _0= \Phi _0 - {\overline{\Phi }}\) be defined such that \(\Omega _0(t_n)={\overline{\Omega }}(t_n)= {\Omega _{n}}, \; \Sigma _0(t_n)={\overline{\Sigma }}(t_n)= {\Sigma }_{n}, \; \Omega _{k0}(t_n)={{\overline{\Omega }}_k}(t_n)= {\Omega _k}_{n},\; \Phi _0(t_n)={\overline{\Phi }}(t_n)= {\Phi }_{n},\) with \(0<\Omega (t_n) +\Sigma (t_n)^2 +{\Omega _k}(t_n)^2 <1.\)
Keeping the terms of second order in H, system (88) becomes
Denoting \({\textbf{x}}_0=(\Omega _0, \Sigma _0, \Omega _{k0})^T\), \(\overline{{\textbf{x}}}=({\overline{\Omega }}, {\overline{\Sigma }}, {\overline{\Omega }}_{k})^T\) the system (95) can be written as
plus Eq. (95d), which can be written symbolically as
where the vector function \(\overline{{\textbf{f}}}\) is given explicitly (last row corresponding to \(\Delta {\Phi }_0\) was omitted) by:
It is a vector function with polynomial components in variables (x, y, z). Therefore, it is continuously differentiable in all its components.
Let be \(\Delta {\textbf{x}}_0(t)= (\Omega _0-{\overline{\Omega }}, {\Sigma _0}- {\overline{\Sigma }}, {\overline{\Omega }}_k - \Omega _{k0})^T\) with \(0\le |\Delta {\textbf{x}}_0|:=\max \left\{ |\Omega _0-{\overline{\Omega }}|, |{\Sigma _0}- {\overline{\Sigma }}|, |\Omega _{k0} - {\overline{\Omega }}_k|\right\} \) finite in the closed interval \([t_n,t]\). Using same initial conditions for \({\textbf{x}}_0\) and \(\overline{{\textbf{x}}}\) we obtain by integration:
Using Lemma 3 we have
where \(D\overline{{\textbf{f}}}\) denotes the Jacobian matrix of \(\overline{{\textbf{f}}}\) and the integral of a matrix is to be understood componentwise, where the matrix \({\textbf{A}}=\left( a_{i j}\right) \) has polynomial components \(a_{i j} \left( \Omega _{0}, \Sigma _{0}, \Omega _{k0}, \Phi _0, {\overline{\Omega }}, {\overline{\Omega }}_k, {\overline{\Sigma }}, {\overline{\Phi }}\right) \). Taking sup norm \( |\Delta {\textbf{x}}_0|=\max \left\{ |\Omega _0-{\overline{\Omega }}|, |{\Sigma _0}- {\overline{\Sigma }}|, |\Omega _{k0}-{\overline{\Omega }}_k| \right\} \) and the sup norm of a matrix \({|} {\textbf{A}} {|}\) defined by \(\max \{|a_{ij}|: i=1,2,3, j=1,2,3\}\), we have
By continuity of polynomials \(a_{i j} \big (\Omega _{0}, \Sigma _{0}, \Omega _{k0}, \Phi _0, {\overline{\Omega }}, {\overline{\Omega }}_k, {\overline{\Sigma }}, {\overline{\Phi }}\Big )\) and by continuity of functions \(\Omega _{0}, \Sigma _{0}, \Omega _{k0}, \Phi _0\) and \({\overline{\Omega }}, {\overline{\Omega }}_k, {\overline{\Sigma }}, {\overline{\Phi }}\) in \([t_n, t_{n+1}]\) the following finite constants are found:
such that for all \(t\in [t_n, t_{n+1}]\):
due to \(t-t_n\le {t_{n+1}}- {t_{n}} =\frac{1}{H_n}\). Using Gronwall’s Lemma 2, we have for \(t \in [t_n, t_{n+1}]\):
Then,
Furthermore, from Eq. (95d) we have
Finally, taking the limit as \(n\rightarrow \infty \), we obtain \(H_n\rightarrow 0\). Then, as \(H_n \rightarrow 0\), functions \(\Omega _{0}, \Sigma _{0}, \Omega _{k0}, \Phi _0\) and \({\overline{\Omega }}, {\overline{\Sigma }}, {\overline{\Omega }}_k, {\overline{\Phi }}\) have the same limit as \(\tau \rightarrow \infty \). Analogous results for the negatively curved FLRW model are derived by setting \(\Sigma =\Sigma _0=0\). \(\square \)
Finally, we perform numerical integration for the complete system (71a)–(71f) and time-averaged system (73). We use six different initial conditions to generate solutions; they are presented in Table 2. In Fig. 3, we present the behaviour of the solutions starting in the initial conditions in a three-dimensional projection space \(({\overline{\Omega }},{\overline{\Sigma }}, H)\) for different values of the parameter \(\gamma .\) We chose this space, including H, to see that it tends to zero or a constant value near zero. In these plots, it is clear that the solutions of the full system (71a)–(71f) (in blue) have an initial oscillatory behaviour but then behave similarly to the solutions of the time-averaged system (73) (in orange). This result suggests that the solutions behave similarly as \(t\rightarrow \infty .\) In Fig. 4 we show some 2 dimensional projections in the \(({\overline{\Omega }},{\overline{\Sigma }})\) plane for the same values of \(\gamma \) where we see the same behaviour as before; the solutions have the same limit as \(t\rightarrow \infty .\)
5 Conclusions
After analyzing the results presented, it is clear that the oscillations caused by harmonic functions can be effectively smoothed out. This simplifies the problem and is equally advantageous for linear cosmological perturbations. It is important to note that the coefficients of equations governing linear cosmological perturbations contain background quantities. Therefore, it is crucial to have a comprehensive understanding of background dynamics for further perturbation analyses.
In Sect. 2, we review the main results of perturbation theory and some applications to different cosmological models.
In Sect. 3, we study the evolution of cosmological perturbations in a vacuum with a generic perturbed FLRW metric. Here we obtained averaged equations (63a)–(63b) with two equilibrium points: (a) the attractor \(({\overline{\Omega }},{\overline{z}})=(0,0)\) and (b) the source \(({\overline{\Omega }},{\overline{z}})=(1,0)\). We also find that the system (63a)–(63b) is integrable and that in the limit \(\tau \rightarrow \infty \) both \({{\overline{\Omega }}} (\tau )\rightarrow 0\) and \({{\overline{z}}}(\tau ) \rightarrow 0\) meaning that we are in the presence of long wavelength perturbations. \(H (\tau )\rightarrow e^{c_1} c_3, y (\tau ) \simeq c_4-\frac{2 e^{-2 c_1} \left( \omega ^2-1\right) (3 \tau +2 c_1)}{3 c_3{}^2} \rightarrow \left( \omega ^2-1\right) (-\infty ), \Phi (\tau )\rightarrow c_5-\frac{e^{c_1} c_3 \left( \omega ^2-1\right) ^3}{4 \omega ^3}.\)
In Sect. 4, we study the stability analysis of the equilibrium points for the Bianchi V metric and the behaviour of the solutions of the complete and time-averaged systems. In Sect. 4.1, we performed a detailed dynamical system analysis for the guiding system (75). We found that the late time attractors for the Bianchi V metric (of both the full and averaged systems) are (a) The flat matter-dominated FLRW solution \(P_1\) for \(0\le \gamma <\frac{2}{3}.\) and (b) The curvature-dominated Milne solution \(P_3\) for \(\frac{2}{3}<\gamma \le 2\). That result is consistent with the fact that the Bianchi V universe can isotropize to the FLRW with a negative spatial curvature.
In Sect. 4.2, we computed numerical solutions for the complete system (71a)–(71f) (shown in blue) as well as the time-averaged system (73). We demonstrated that both solutions exhibit the same behaviour in the limit of infinite time, which suggests that we can use perturbation methods to analyze the dynamics of cosmological models with the Bianchi V metric. By examining a simpler version of the dynamical system, we can obtain solutions that share the exact asymptotic behaviour without any oscillations.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This is a theoretical research project; no new data was used or created.]
References
D.S. Goldwirth, T. Piran, Inhomogeneity and the onset of inflation. Phys. Rev. Lett. 64, 2852–2855 (1990)
C.W. Misner, K.S. Thorne, J.A. Wheeler, Gravitation (Macmillan, New York, 1973)
P.J.E. Peebles, Principles of Physical Cosmology, vol. 27 (Princeton University Press, Princeton, 1993)
G.F.R. Ellis, M.A.H. MacCallum, A class of homogeneous cosmological models. Commun. Math. Phys. 12, 108–141 (1969)
M.A.H. MacCallum, G.F.R. Ellis, A class of homogeneous cosmological models: II. Observations. Commun. Math. Phys. 19, 31–64 (1970)
M. Goliath, G.F.R. Ellis, Homogeneous cosmologies with a cosmological constant. Phys. Rev. D 60(2), 023502 (1999)
P. Fosalba, E. Gaztanaga, Explaining cosmological anisotropy: evidence for causal horizons from CMB data. Mon. Not. R. Astron. Soc. 11 (2020)
M. Le Delliou, M. Deliyergiyev, A. del Popolo, An anisotropic model for the universe. Symmetry 12(10), 1741 (2020)
M.P. Ryan, L.C. Shepley, Homogeneous Relativistic Cosmologies, vol. 65 (Princeton University Press, Princeton, 2015)
C.W. Misner, The isotropy of the universe. Astrophys. J. 151, 431 (1968)
C.W. Misner, Mixmaster universe. Phys. Rev. Lett. 22(20), 1071 (1969)
N.J. Cornish, J.J. Levin, Mixmaster universe: a chaotic Farey tale. Phys. Rev. D 55(12), 7489 (1997)
J. Wainwright, G.F.R. Ellis, Dynamical Systems in Cosmology (Cambridge University Press, Cambridge, 1997)
D. Fajman, Z. Wyatt, Attractors of the Einstein–Klein Gordon system. Commun. Partial Differ. Equ. 46, 1–30 (2021)
A. De Felice, S. Tsujikawa, f(R) theories. Living Rev. Relativ. 13, 3 (2010)
S. Nojiri, S.D. Odintsov, Unified cosmic history in modified gravity: from F(R) theory to Lorentz non-invariant models. Phys. Rep. 505, 59–144 (2011)
S. Nojiri, S.D. Odintsov, V.K. Oikonomou, Modified gravity theories on a Nutshell: inflation. Bounce and late-time evolution. Phys. Rep. 692, 1–104 (2017)
S.D. Odintsov, V.K. Oikonomou, Dynamical systems perspective of cosmological finite-time singularities in \(f(R)\) gravity and interacting multifluid cosmology. Phys. Rev. D 98(2), 024013 (2018)
C. Krishnan, R. Mondol, M.M. Sheikh-Jabbari, Dipole cosmology: the Copernican paradigm beyond FLRW. JCAP 07, 020 (2023)
C. Krishnan, R. Mondol, M.M. Sheikh-Jabbari, A tilt instability in the cosmological principle. Eur. Phys. J. C 83(9), 874 (2023)
E. Ebrahimian, C. Krishnan, R. Mondol, M.M. Sheikh-Jabbari, Towards A realistic dipole cosmology: the dipole \(\Lambda \)CDM model 5 (2023)
A. Allahyari, E. Ebrahimian, R. Mondol, M.M. Sheikh-Jabbari, Big bang in dipole cosmology, 7 (2023)
J. Bayron Orjuela-Quintana, C.A. Valenzuela-Toledo, Anisotropic k-essence. Phys. Dark Univ. 33, 100857 (2021)
A. Alho, J. Hell, C. Uggla, Global dynamics and asymptotics for monomial scalar field potentials and perfect fluids. Class. Quantum Gravity 32(14), 145005 (2015)
A. Alho, V. Bessa, F.C. Mena, Global dynamics of Yang-Mills field and perfect-fluid Robertson–Walker cosmologies. J. Math. Phys. 61(3), 032502 (2020)
D. Fajman, G. Heißel, M. Maliborski, On the oscillations and future asymptotics of locally rotationally symmetric Bianchi type III cosmologies with a massive scalar field. Class. Quantum Gravity 37(13), 135009 (2020)
A. Alho, C. Uggla, J. Wainwright, Dynamical systems in perturbative scalar field cosmology. Class. Quantum Gravity 37(22), 225011 (2020)
D. Fajman, G. Heißel, J.W. Jang, Averaging with a time-dependent perturbation parameter. Class. Quantum Gravity 38(8), 085005 (2021)
G. Leon, F.O.F. Silva, Generalized scalar field cosmologies: theorems on asymptotic behavior. Class. Quantum Gravity 37(24), 245005 (2020)
G. Leon, F.O.F. Silva, Generalized scalar field cosmologies 12 (2019)
G. Leon, F.O.F. Silva, Generalized scalar field cosmologies: a global dynamical systems formulation. Class. Quantum Gravity 38(1), 015004 (2021)
G. Leon, E. González, A.D. Millano, F.O.F. Silva, A perturbative analysis of interacting scalar field cosmologies. Class. Quantum Gravity 39(11), 115003 (2022)
G. Leon, E. González, S. Lepe, C. Michea, A.D. Millano, Averaging generalized scalar field cosmologies I: locally rotationally symmetric Bianchi III and open Friedmann–Lemaître–Robertson–Walker models. Eur. Phys. J. C 81(5), 414 (2021) (Erratum: Eur.Phys.J.C 81, 1097 (2021))
G. Leon, S. Cuellar, E. Gonzalez, S. Lepe, C. Michea, A.D. Millano, Averaging generalized scalar field cosmologies II: locally rotationally symmetric Bianchi I and flat Friedmann–Lemaître–Robertson–Walker models. Eur. Phys. J. C, 81(6), 489 (2021) (Erratum: Eur.Phys.J.C 81, 1100 (2021))
G. Leon, E. González, S. Lepe, C. Michea, A.D. Millano, Averaging generalized scalar-field cosmologies III: Kantowski–Sachs and closed Friedmann–Lemaître–Robertson–Walker models. Eur. Phys. J. C 81(10), 867 (2021) (Erratum: Eur.Phys.J.C 81, 1096 (2021))
S. Chakraborty, E. González, G. Leon, B. Wang, Time-averaging axion-like interacting scalar fields models. Eur. Phys. J. C 81(11), 1039 (2021)
A.J. Roberts, Model Emergent Dynamics in Complex Systems (SIAM, Philadelphia, 2015)
J.A. Sanders, F. Verhulst, J.A. Murdock, Averaging Methods in Nonlinear Dynamical Systems. Applied Mathematical Sciences (Springer, New York, 2007)
F. Verhulst, Methods and Applications of Singular Perturbations: Boundary Layers and Multiple Timescale Dynamics, vol. 50 (Springer Science & Business Media, Berlin, 2005)
J.M. Bardeen, Gauge invariant cosmological perturbations. Phys. Rev. D 22, 1882–1905 (1980)
V.F. Mukhanov, H.A. Feldman, R.H. Brandenberger, Theory of cosmological perturbations. Part 1. Classical perturbations. Part 2. Quantum theory of perturbations. Part 3. Extensions. Phys. Rep. 215, 203–333 (1992)
R.H. Brandenberger, H. Feldman, V.F. Mukhanov, T. Prokopec, Gauge invariant cosmological perturbations: theory and applications, in The Origin of Structure in the Universe, 4 (1992)
R.H. Brandenberger, H. Feldman, V.F. Mukhanov, Classical and quantum theory of perturbations in inflationary universe models, in 37th Yamada Conference: evolution of the Universe and its Observational Quest, 7 (1993), p 19–30
R.H. Brandenberger, H. Feldman, V.F. Mukhanov, Gauge invariant cosmological perturbations, in International Conference on Gravitation and Cosmology, 1 (1992)
H. Kodama, M. Sasaki, Cosmological perturbation theory. Prog. Theor. Phys. Suppl. 78, 1–166 (1984)
V.F. Mukhanov, Quantum theory of gauge invariant cosmological perturbations. Sov. Phys. JETP 67, 1297–1302 (1988)
A.J. Roberts, Macroscale, slowly varying, models emerge from the microscale dynamics in long thin domains. IMA J. Appl. Math. 80(5), 1492–1518 (2015)
A.A. Coley, Dynamical Systems and Cosmology. Astrophysics and Space Science Library (Springer, Amsterdam, 2003)
A. Pradhan, A. Rai, Tilted Bianchi type V bulk viscous cosmological models in general relativity. Astrophys. Space Sci. 291, 149–160 (2004)
A. Pradhan, L. Yadav, A.K. Yadav, Viscous fluid cosmological models in LRS Bianchi type V universe with varying Lambda. Czech. J. Phys. 54, 487–498 (2004)
A. Pradhan, A.K. Yadav, L. Yadav, Generation of Bianchi type V cosmological models with varying Lambda-term. Czech. J. Phys. 55, 503–518 (2005)
T. Christodoulakis, T. Grammenos, Ch. Helias, P.G. Kevrekidis, A. Spanou, Decoupling of the general scalar field mode and the solution space for Bianchi type I and V cosmologies coupled to perfect fluid sources. J. Math. Phys. 47, 042505 (2006)
T. Singh, R. Chaubey, Bianchi type-V universe with a viscous fluid and Lambda-term. Pramana 68, 721–734 (2007)
C.P. Singh, S. Ram, M. Zeyauddin, Bianchi type-V perfect fluid space-time models in general relativity. Astrophys. Space Sci. 315, 181–189 (2008)
R. Bali, P. Kumawat, Bulk viscous L.R.S. Bianchi type V tilted stiff fluid cosmological model in general relativity. Phys. Lett. B 665, 332–337 (2008)
P.A. Terzis, T. Christodoulakis, Lie algebra automorphisms as Lie point symmetries and the solution space for Bianchi Type I, II, IV, V vacuum geometries. Class. Quantum Gravity 29, 235007 (2012)
S. Sarkar, Interacting holographic dark energy with variable deceleration parameter and accreting black holes in Bianchi type-V universe. Astrophys. Space Sci. 352, 245–253 (2014)
S. Ali, I. Hussain, A study of positive energy condition in Bianchi V spacetimes via Noether symmetries. Eur. Phys. J. C 76(2), 63 (2016)
A. Mitsopoulos, M. Tsamparlis, A. Paliathanasis, Constructing the CKVs of Bianchi III and V spacetimes. Mod. Phys. Lett. A 34(39), 1950326 (2019)
A. Mahmood, A.T. Ali, S. Khan, Concircular vector fields and the Ricci solitons for the LRS Bianchi type-V spacetimes. Mod. Phys. Lett. A 35(20), 2050169 (2020)
A. Paliathanasis, Classification of the Lie and Noether symmetries for the Klein–Gordon equation in anisotropic cosmology. Symmetry 15(2), 306 (2023)
Acknowledgements
A. D. Millano was supported by ANID Subdirección de Capital Humano/Doctorado Nacional/año 2020 folio 21200837, Gastos operacionales proyecto de tesis/2022 folio 242220121, and Vicerrectoría de Investigación y Desarrollo Tecnológico (VRIDT) at Universidad Católica del Norte(UCN). G. L. thanks to VRIDT-UCN the scientific and financial support through Resolución VRIDT No. 026/2023 and Resolución VRIDT No. 027/2023, and the support of Núcleo de Investigación Geometría Diferencial y Aplicaciones, Resolución Vridt No. 096/2022. The authors acknowledge the financial support of Proyecto de Investigación Pro Fondecyt Regular 2023, Resolución VRIDT No. 076/2023. G. L. thanks Emeritus Professor A.J. Roberts at the School of Mathematical Sciences, University of Adelaide, for helpful suggestions. The anonymous referee is acknowledged for their valuable comments.
Author information
Authors and Affiliations
Corresponding author
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 SCOAP3. SCOAP3 supports the goals of the International Year of Basic Sciences for Sustainable Development.
About this article
Cite this article
Millano, A.D., Leon, G. Averaging generalized scalar field cosmologies IV: locally rotationally symmetric Bianchi V model. Eur. Phys. J. C 84, 21 (2024). https://doi.org/10.1140/epjc/s10052-023-12366-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-023-12366-1