Abstract
We study the phase space of the quintom cosmologies for a class of exponential potentials. We combine normal forms expansions and the center manifold theory in order to describe the dynamics near equilibrium sets. Furthermore, we construct the unstable and center manifold of the massless scalar field cosmology motivated by the numerical results given in Lazkoz and Leon (Phys Lett B 638:303. arXiv:astro-ph/0602590, 2006). We study the role of the curvature on the dynamics. Several monotonic functions are defined on relevant invariant sets for the quintom cosmology. Finally, conservation laws of the cosmological field equations and algebraic solutions are determined by using the symmetry analysis and the singularity analysis.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Recent observations coming from type I-a Supernovae (SNIa), large scale structure (LSS) formation, and the cosmic microwave background (CMBR) Radiation [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16], indicates the universe is expanding with an accelerated rate without been settled until now a definitive model to account for this phenomena. One of the current alternatives models for such acceleration of the expansion is the yet unknown form of matter named dark energy. Several models of dark energy use a single scalar field, e.g., the so called phantom field and the quintessence field [17, 18]. Furthermore, one can consider models with two fields, in particular combining quintessence and phantom fields one can built up the so-called quintom models [19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45]. These models admits the crossing of the boundary \(w=-1\) with w being the equation of state parameter of the cosmic fluid. This behavior has been investigated in several cosmological theories, for example: h-essence cosmologies [28, 29]; holographic dark energy [46,47,48,49]; inspired by string theory [33]; by considering spinor matter [37, 38]; for arbitrary potentials [40,41,42,43,44]; using isomorphic models consisting of coupled oscillators [50], Pais–Uhlenbeck oscillator [51]; inspired in scalar tensor theories [52,53,54,55,56] as well as in modified theories of gravity [57, 58]. Furthermore, interacting quintom in nonminimal coupling has been studied in [59], and quintom with nonminimal derivative coupling was studied in [60]. An extension of the quintom scenario, in which the scalar fields are coupled through a kinetic interaction, have been studied in [61, 62] while an interacting quintom model was recently constructed by the application of the generalized uncertainty principle (GUP) in the scalar field Lagrangian [63]. In particular, the second scalar field of the quintom model in [63] corresponds to higher-order derivatives given by the GUP. Furthermore, one of the particularly exciting solutions of quintom type models is that they can provide a classically stable bouncing solution. This was first pointed out in [61] and two important extensions were made in [62] and [63], which discussed the Lee-Wick and Horndeski realizations, respectively. The cosmology of the quintom model with exponential potentials was investigated in [30] and [31, 32]. More specifically, [31, 32] the potential accounts for the interaction between the conventional scalar field and the phantom field. In contrary with [30] where no such interaction was assumed. In [31] was found that the interaction term dominates over the mixed terms of the potential. This simplification has important consequences such that the existence of scaling attractors excludes the existence of phantom attractors, as a difference with the results in [32]. Some of these results were extended in [40], for arbitrary potentials. In the recent years still there an special interest in this kind of models with the phantom crossing behavior [67,68,69,70,71,72,73]. In line with this interest, we stress in this paper a deep insight about the model proposed in [31].
The plan of the paper it follows. In Sect. 2 we make a general description of the model under study and we present the field equations. In Sect. 2.1 are presented several monotonic functions defined on invariant sets of the phase space using the results summarized in the Appendix A. The equilibrium points of the model for any curvature choice using H-normalization are discussed in Sect. 2.2. In Sect. 2.2.1 we make the analysis of zero-curvature models with two scalar fields, one a linear function of the other. Furthermore, in Sect. 2.3 we present some improvements of the results from reference [31]. In particular, in Sect. 2.3.1 we discuss the normal expansion with undetermined coefficients of arbitrary order that is used to construct the unstable and center manifold up to fourth order in [74] for flat FRW metric. We explicitly state in the Appendix B the main techniques to use, following the approach of [75,76,77]. In Sect. we introduce an alternative of the variables used in [31] for flat FRW models than renders the phase space in compact form. Moreover, in Sect. 3 we propose several normalization procedures for investigating models with flat and non flat spatial curvature, that allows to circumvent some technical problems that arises, for example when the crossing through \(H=0\), where H is the Hubble factor, happens. The integrability of the quintom cosmological model is studied in Sect. 4. In particular we apply two different methods to determine the integrability, the symmetry analysis and the singularity analysis. Finally, in Sect. 5 we discuss our results and draw our conclusions.
2 The quintom model
In this work we consider the so-called two-field quintom with Lagrangian [31]:
where the scalar field \(\phi \) represents quintessence and \(\psi \) represents a phantom field, and we include a co-moving perfect fluid in the gravitational action. We use the Friedmann–Robertson–Walker (FRW) line element given in spherical coordinates by:
The curvature of spatial slices is given by:
where k identifies the three types of FRW universes: closed, flat, and open, respectively.
The field equations derived for the line element (3) in the context of General Relativity, are given by
where \(H =\frac{\dot{a}(t)}{a(t)}\) denotes the Hubble function, while the dot denotes differentiation with respect to variable t. Moreover, for the barotropic index of the background matter, \(\gamma ,\) we assume that it takes values only in the interval \(0<\gamma <2.\)
For the stability analysis of cosmological models one can apply linearization around fixed points, Monotonic Principle [78], the Invariant Manifold Theorem [75,76,77, 79, 80], the Center Manifold Theorem [75,76,77, 81], and Normal Forms (NF) theory [75,76,77].
We introduce the following normalized variables
the Friedmann equation becomes
For convenience we shall write \(q\equiv -\ddot{a} a/\dot{a}^2\) (the deceleration factor) in terms of the new variables as
The new variables (6) can be used to rewrite the system (5) as a system of first-order ordinary differential equations (ODEs):
The primes denote derivative with respect to \(\tau =\log a^3.\)
2.1 Invariant set and monotonic functions
By following the procedures in the Appendix A, we can find the invariant sets.
Remark 1
The sets \(\{\mathbf {x}\in \mathbb {R}^4| x_\phi ^2- x_\psi ^2+y^2+z^2\lesseqqgtr 1\}\), \(\{\mathbf {x}\in \mathbb {R}^4| n x_\phi +m x_\psi \lesseqqgtr 0\}\), \(\{\mathbf {x}\in \mathbb {R}^4| y\lesseqqgtr 0\}\), and \(\{\mathbf {x}\in \mathbb {R}^4| z\lesseqqgtr 0\}\) are invariant sets of (9)–(12).
By using the equations \(\frac{d}{d\tau }\ln (-1+x_\phi ^2- x_\psi ^2+y^2+z^2)=\frac{2}{3} q\), and \(\frac{d}{d\tau }\ln (n x_\phi +m x_\psi )=\frac{1}{3}(q-2)\), it follows from Proposition 10 that the sign of \({}^3\!R\) and the sign of \(n x_\phi +m x_\psi \) are invariant. From equations (9)–(12) it is obvious that any combination of signs for y and z is an invariant set for the flow.
Remark 2
For \({}^3\!R=0\), \(\{\mathbf {x}\in \mathbb {R}^3| x_\phi ^2- x_\psi ^2+y^2\leqq 1\}\) are invariant sets of the flow of (9)–(12).
Defining on this sets the function \(Z=x_\phi ^2-x_\psi ^2+y^2-1\) that has directional derivative along the flow given by \(Z'=\alpha Z\) where \(\alpha \) is a continuous real-valued non-vanishing function on \(\mathbb {R}^3\) given by \(\alpha =x_\phi ^2-x_\psi ^2-y^2\). Hence, by applying Proposition 10, the desired result follows. In the same way it is proved that \(y=0\) is an invariant set of the flow by defining \(\alpha =1+q-3\left( mx_\phi +nx_\psi \right) \). Combining the former results we can prove that the 2-dimensional set \(\Gamma =\left\{ \mathbf {x}\in \mathbb {R}^3: 0<x_\phi ^2-x_\psi ^2<1,y=0\right\} \) is invariant under the flow. Notice that the equilibrium points O and \(C_\pm \) studied in [31] are in the boundary of \(\Gamma \).
Below: \(\Phi (\mathbf{x}_0,t)\) is the unique solution of the system satisfying \(\Phi (\mathbf{x}_0,0)=\mathbf{x}_0\); \(O(\mathbf{x}_0)\) denotes the unique orbit passing through \(\mathbf{x}_0\); \(\alpha (\mathbf{x}_0)\) means the past attractor or \(\alpha \)-limit of \(\mathbf{x}_0\), defined by \(\alpha (\mathbf{x}_0)=\{\mathbf{y}: \exists \{t_n\}_{n\ge 1}, t_n\rightarrow -\infty , \lim _{n\rightarrow +\infty } \Phi (\mathbf{x}_0,t_n)=\mathbf{y}\}\); and \(\omega (\mathbf{x}_0)\) means the future attractor or \(\omega \)-limit of \(\mathbf{x}_0\), defined by \(\omega (\mathbf{x}_0)=\{\mathbf{y}: \exists \{t_n\}_{n\ge 1}, t_n\rightarrow +\infty , \lim _{n\rightarrow +\infty } \Phi (\mathbf{x}_0,t_n)=\mathbf{y}\}\).
Proposition 1
Let \(\mathbf{x}_0\in S_1:=\{\mathbf{x}: n x_\phi +m x_\psi \ne 0, x_\phi ^2- x_\psi ^2+y^2+z^2\ne 1\}\) such that \(O(\mathbf{x}_0)\) is bounded. Then, \(\alpha (\mathbf{x}_0)\subset \{\mathbf{x}: x_\phi ^2- x_\psi ^2+y^2+z^2=1\}\) and \(\omega (\mathbf{x}_0)\subset \{\mathbf{x}:n x_\phi +m x_\psi =0\}.\)
Proof
Let \(W_1=\frac{\left( n x_\phi +m x_\psi \right) ^4}{\left( x_\phi ^2- x_\psi ^2+y^2+z^2-1\right) {2}}, W_1'=-{\textstyle {8\over 3}} W_1.\) Thus, \(W_1\) is positive and strictly monotone along orbits of the invariant set \(S_1\). The boundary of \(S_1\) is the invariant set \(\bar{S_1}{\setminus } S_1=\{\mathbf{x}: n x_\phi +m x_\psi = 0\}\cup \{\mathbf{x}: x_\phi ^2- x_\psi ^2+y^2+z^2=1\}\). Let be any initial state \(\mathbf{x}_0\in S_1\) such that \(O(\mathbf{x}_0)\) remains bounded. Therefore, \(a:=\inf _{\mathbf{x}\in S_1}W_1(\mathbf{x})=0\) is attained at \(\{\mathbf{x}: n x_\phi +m x_\psi = 0\}\) and \(b:=\sup _{\mathbf{x}\in S_1}W_1(\mathbf{x})=\infty \) is attained at \(\{\mathbf{x}: x_\phi ^2- x_\psi ^2+y^2+z^2=1\}\). By the Monotonicity Principle (Theorem 1), \(\alpha (\mathbf{x}_0)\subset \{\mathbf{x}: x_\phi ^2- x_\psi ^2+y^2+z^2=1\}\), \(\omega (\mathbf{x}_0)\subset \{\mathbf{x}:n x_\phi +m x_\psi =0\}.\) \(\square \)
Proposition 2
Consider \(\mathbf{x}_0\in S_2:=\{\mathbf{x}: z> 0,\;nx_\phi +mx_\psi \ne 0\}\) such that \(O(\mathbf{x}_0)\) is bounded. Then \(\alpha (\mathbf{x}_0)\subset \{\mathbf{x}: z=0\}\) and \(\omega (\mathbf{x}_0)\subset \{\mathbf{x}:n x_\phi +m x_\psi =0\}.\)
Proof
Let \(W_2=\frac{\left( n x_\phi +m x_\psi \right) ^2}{z^{2}}, W_2'=(\gamma -2) W_2.\) Thus, \(W_2\) is positive and strictly monotone along orbits of the invariant set \(S_2\). Hence, the boundary of \(S_2\) is the invariant set \(\bar{S_2}{\setminus } S_2=\{\mathbf{x}: n x_\phi +m x_\psi = 0\}\cup \{\mathbf{x}: z=0\}\). Let be any initial state \(\mathbf{x}_0\in S_1\) such that \(O(\mathbf{x}_0)\) remains bounded. By Theorem 1, \(\alpha (\mathbf{x}_0)\subset \{\mathbf{x}: z=0\}\), \(\omega (\mathbf{x}_0)\subset \{\mathbf{x}:n x_\phi +m x_\psi =0\}.\) \(\square \)
Proposition 3
Let \(\mathbf{x}_0\in S_3:=\{\mathbf{x}: x_\phi ^2- x_\psi ^2+y^2+z^2\ne 1,\; z>0\}\) such that \(O(\mathbf{x}_0)\) is bounded. Then:
-
if \(\gamma >{\textstyle {2\over 3}}\), \(\alpha (\mathbf{x}_0)\subset \{ \mathbf{x}: x_\phi ^2- x_\psi ^2+y^2+z^2=1\}\) and \(\omega (\mathbf{x}_0)\subset \{ \mathbf{x}:z=0\}\).
-
if \(\gamma <{\textstyle {2\over 3}}\), \(\alpha (\mathbf{x}_0)\subset \{ \mathbf{x}:z=0\}\) and \(\omega (\mathbf{x}_0)\subset \{ \mathbf{x}: x_\phi ^2- x_\psi ^2+y^2+z^2=1\}\).
Proof
Let \(W_3=\frac{z^4}{\left( x_\phi ^2- x_\psi ^2+y^2+z^2-1\right) ^{2}}, W_3'=-{\textstyle {2\over 3}} (3\gamma -2)W_3.\) \(W_3\) is positive monotonic decreasing (increasing) in the invariant set \(S_3\) for non-zero curvature models provided \(\gamma >{\textstyle {2\over 3}}\) (\(\gamma <{\textstyle {2\over 3}}\)). \(\bar{S_3}{\setminus } S_3= \{\mathbf{x}:z=0\}\cup \{ \mathbf{x}: x_\phi ^2- x_\psi ^2+y^2+z^2=1\}\). Let be \(\mathbf{x}_0\in S_3\) such that \(O(\mathbf{x}_0)\) is bounded. By Theorem 1 we conclude. \(\square \)
Proposition 4
Let \(\mathbf{x}_0\in S_4:=\big \{(x_\phi ,\,x_\psi ,y): 0<x_\phi ^2-x_\psi ^2<1,y=0\big \}\), such that \(O(\mathbf{x}_0)\) is bounded. Then, \(\alpha (\mathbf{x}_0)\subset C:=\{\mathbf{x}: x_\phi ^2-x_\psi ^2=1\}\) and \(\omega (\mathbf{x}_0)\subset \{\mathbf{x}:n x_\phi +m x_\psi =0\}.\)
Proof
Let be \(W_4=\frac{(nx_\phi +mx_\psi )^4}{(1-x_\phi ^2+x_\psi ^2)^2}, W_4'=\frac{4(q-2)}{3(1-x_\phi ^2+x_\psi ^2)}W_4.\) Notice \(q={\textstyle {1\over 2}}\left( 3(x_\phi ^2-x_\psi ^2)+1\right) <2\) since \(y=0\) and \(0<x_\phi ^2-x_\psi ^2<1.\) Then, \(W_4\) is positive and strictly monotone along orbits of the invariant set \(S_4\). \(\bar{S_4}{\setminus } S_4=\{\mathbf{x}: n x_\phi +m x_\psi = 0\}\cup \{\mathbf{x}: x_\phi ^2- x_\psi ^2=1\}\). Let be any initial state \(\mathbf{x}_0\in S_4\) such that \(O(\mathbf{x}_0)\) remains bounded. By Theorem 1 we find \(\alpha (\mathbf{x}_0)\subset C:=\{\mathbf{x}: x_\phi ^2-x_\psi ^2=1\}\) and \(\omega (\mathbf{x}_0)\subset \{\mathbf{x}:n x_\phi +m x_\psi =0\}.\) \(\square \)
Remark 3
In [31] it was devised the monotonic function \( W_5=\frac{x_\phi ^4}{(1-x_\phi ^2+x_\psi ^2)^2}, {W_5}'=-2{W_5},\) defined in the invariant set of zero-curvature models with dust matter. There it was argued that the orbits initially near the hyperbolas (representing massless scalar field cosmologies) tends asymptotically to the flat FRW universe. On the other hand, from the monotonic function \(W_4\) we can conclude that (for zero-curvature models) the orbits which initially near the hyperbolas tends asymptotically to either the matter scaling (MS) solutions (equilibrium points like T) or (in the absence of scaling solutions) to powerlaw solutions (equilibrium points like P).
Remark 4
The previous gallery of monotonic functions can be used to ruled out, according to Proposition 11, the existence of homoclinic orbits, recurrent orbits and more complex behavior in several invariant sets. The dynamics is dominated by equilibrium points and heteroclinic orbits joining it. Therefore, some global results can be found from the linear (local) analysis of equilibrium points.
2.2 The equilibrium points
The system (9)–(12) admits six types of equilibrium points (with both z and y non-negative) denoted by \(M,\;F,\;C_\pm ,\;P,MS,\) and CS. In Tables 1 and 2 we offer some partial information of these equilibrium points like the location, conditions for existence, dynamical character and some additional information. For zero-curvature models (with dust background, i.e., \(\gamma =1\)), the equilibrium point MS and P reduces respectively to the points T and P, investigated in [31].
The equilibrium point M represents the Milne universe, it has negative curvature. It is no hyperbolic if \(\gamma ={\textstyle {2\over 3}}.\) F denotes the flat FRW universe and it is no hyperbolic if \(\gamma ={\textstyle {2\over 3}}\) or \(\gamma =2.\) For \(\gamma <2/3\) (resp. \(\gamma >2/3\)) the eigenvalues of M (resp. F) are \((-,-,+,+)\) and the eigenvalues of F (resp. M) are \((-,-,+,-)\). In this case both equilibrium points act locally as saddles. The 3-dimensional stable subspace of F (resp. M) intersects the 2-dimensional unstable subspace of M (resp. F) at the z axis. This means that the orbits initially at this axis are asymptotic to the past to the Milne (resp. flat FRW) universe and to the flat FRW (resp. Milne) universe toward the future.
The equilibrium sets given by the hyperbolas \(C_\pm \) were investigated in [31], the same analysis done in that reference is valid in our more general context. In the former section we conjecture that they are local sources for the quintom phase-space. In fact, if \(\delta >1\) then part of the hyperbola is a local attractor to the past, and part of it is a saddle. If \(\delta <1\) then the entire hyperbola is a local attractor to the past.
The equilibrium point P denotes a zero-curvature power-law inflationary model if \(\delta <1/3\), corresponding to the equilibrium point with the same label investigated in [31]. It is worth noticing that the results of [31] concerning to this equilibrium point applies here only in the case of zero-curvature models with a dust background. It is non hyperbolic if \(\delta ={\textstyle {1\over 3}}\) or \(\delta ={\textstyle {\gamma \over 2}}.\) P is a local inflationary attractor if either \(0<\gamma<2/3,\;\delta <\gamma /2\) or \(2/3<\gamma<2,\; \delta <1/3.\) If \(2/3<\gamma <2\) and \(1/3<\delta <\gamma /2\) then it is no longer a local inflationary solution nor an attractor for non-zero curvature models. However in this case the eigenvalues are \((+,-,-,-)\) and then, the equilibrium point has a 3-dimensional stable subspace. If \(0<\gamma <2/3\) and \(\gamma /2<\delta <1/3\) the eigenvalues of P are \((-,-,-,+).\) Hence, although an inflationary solution, P is not longer a local attractor. In this case the stable subspace is 3-dimensional.
The equilibrium point MS represents a matter scaling model. It is no hyperbolic if \(\gamma =0\) or \(\gamma ={2}/{3}\) or \(\gamma =2.\) If \(2/3<\gamma <2\) the eigenvalues are \((-,+,-,-).\) In this case the equilibrium point behaves like a saddle, the stable subspace being 3-dimensional. Otherwise the equilibrium point is stable. If either \(0<\gamma \le {2}/{9},\;\delta >{\gamma }/{2}\) or if \({2}/{9}<\gamma \le {2}/{3},\;{\gamma }/{2}<\delta \le {4\gamma ^2}/{(9\gamma -2)}\), the equilibrium point behaves as an stable node. If \({2}/{9}<\gamma < {2}/{3},\;\delta >{4\gamma ^2}/{(9\gamma -2)}\) there are two complex eigenvalues and the orbits spiral-in toward MS in a 2-dimensional subspace.
As stated in [31], point P is the local attractor for zero-curvature models provided there are not scaling regimes. As we have seen, for some region in the parameters space the equilibrium points P and MS exist in the same phase portrait with P having eigenvalues \((-,-,-,+)\) (i.e, a saddle) and MS being a local attractor (i.e., all its eigenvalues having positive real part). If \(0<\gamma \le 2/3,\; 1/3<\delta <1\) or \(2/3<\gamma<2,\; \gamma /2<\delta <1\) the eigenvalues of P are \((+,-,-,+).\) In the latter case, the stable subspace of P is 2 dimensional and then it is the local attractor for zero-curvature models without matter.
Furthermore, the equilibrium point CS denotes curvature scaling models. It is no hyperbolic if \(\gamma ={2}/{3}\) or \(\delta ={3}/{7}.\) It is stable if \({2}/{3}<\gamma <2,\;\delta >{3}/{7},\) and then, with negative curvature. If \({2}/{3}<\gamma<2,\;{3}/{7}<\delta \le {4}/{9},\) then the eigenvalues are negative real and CS behaves as a stable node. If \({2}/{3}<\gamma <2,\;\delta >{4}/{9}\) the orbits spiral-in toward CS in a 2-dimensional subspace (since in this case two eigenvalues are complex conjugated). Otherwise, CS is unstable. Its stable subspace is 3-dimensional if either \(\gamma >2/3,\; 0<\delta <3/7\) or \(0<\gamma<2/3,\; 3/7 <\delta \le 4/9\). This subspace is 2-dimensional if \(0<\gamma<2/3,\; 0<\delta <3/7.\)
2.2.1 A flat FRW model with one scalar field a linear function of the other
Consider the 2-dimensional invariant set \(n x_\phi +m x_\psi =0, x_\phi ^2-x_\psi ^2+y^2+z^2=1\). Let \(m\ne 0\) such that \(x_\psi =-nx_\phi /m\). Therefore, \((1-\frac{n^2}{m^2})x_\phi ^2+y^2+z^2=1\). The dynamics is governed by the equations:
defined on the phase plane: \(\Psi =\big \{(x_\phi ,y): 0\le \left( 1-\frac{n^2}{m^2}\right) x_\phi ^2+y^2\le 1,\; y\ge 0\big \}.\) We have two cases: Case (i) if \(m^2\ge n^2,\) the phase plane \(\Psi \) is the half of the ellipse \(0\le (1-{n^2}/{m^2}) x_\phi ^2+y^2\le 1\). Case (ii) if \(m^2< n^2,\) the phase space is the first quadrant of the hyperbola \(0\le (1-{n^2}/{m^2}) x_\phi ^2+y^2\le 1.\) The conditions for existence and the dynamical behavior of the equilibrium points are presented in Table 3.
In Fig. 1 it is shown some orbits of the system (13)–(14) for (a) \(m=0.6, n=0.5, \gamma =1\), (b) \(m=0.9, n=0.2, \gamma =1\), (c) \(m=2.0, n=0.5, \gamma =1\), (d) \(m=0.9, n=0.2, \gamma =0.1\) and (e) \(m=0.5, n=0.6, \gamma =1\). The shadowed region represents the physical portion of the phase plane which is either half ellipse or half hyperbola.
2.3 Flat FRW geometry and dust matter
For the flat FRW geometry and dust matter dynamics is governed by the vector field [31]:
defined in the phase space given by
Here the prime denotes differentiation with respect to a new time variable \(\tau =\log a^3,\) where a is the scale factor of the space-time. The deceleration factor \(q\equiv -\ddot{a} a/\dot{a}^2\) can be written as
In Table 4 is is presented some information concerning the equilibrium points \(O, C_{\pm }, T, P\) reported in [31]. The stability of the system is as follows [31]: Case (i) If \(m<\sqrt{n^2+1/2},\) the point P is an stable node and T does not exists. Case (ii) For \(\sqrt{n^2+1/2}<m\le \sqrt{n^2+4/7},\) the point T is a stable node and P is a saddle point. Case (iii) For \(\sqrt{n^2+4/7}<m<\sqrt{1+n^2},\) point T is a spiral node and the point P is a saddle. Case (iv) For \(m>\sqrt{1+n^2}\) the point T is a spiral node whereas the point P does not exist.
For \({}^3\!R=0, z=0\), that is, the quintom cosmological model (1) with potential (2) in the spatially flat geometry and without any other matter source, the dynamical system is reduced to
defined on the phase plane
In the Fig. 2 are presented some orbits in the phase plane of the system (20)–(21) for three choices of the parameters. This figures depict the typical behavior of the quintom model with exponential potential and no other matter component (vacuum quintom), where the P is always an stable node. The shadowed region corresponds to the physical region. The region \(w<-1\) is reached provided \(m^2-n^2<0\), so the crossing does indeed occur in the case \(m=0.5, n=0.6\) whence P is a phantom-like solution. For \(m=0.6, n=0.5\) the equation of state remains above \(w=-1\) and P is a quintessence-like solution, and for \(m=n=0.2\), \(w=-1\), such that P represents a de Sitter solution.
Remark 5
For \({}^3\!R=0, z=0\), the sets \(\{\mathbf{x}\in \mathbb {R}^2: m x_\phi +n x_\psi =0\}\) and \(\{\mathbf{x}\in \mathbb {R}^2:\frac{x_\phi -x_\psi }{m+n}-1=0\}\) are invariant sets of the flow of (20)–(21).
Defining \(\Psi _1=m x_\phi +n x_\psi \), we show that \(\Psi _1'=\Psi _1 \left( x_{\phi }^2-x_\psi ^2-1\right) \). Such that \(\{\mathbf{x}: \Psi _1=0\}\) is an invariant set. Defining \(\Psi _2=\frac{x_\phi -x_\psi }{m+n}-1\), we show that \(\Psi _2'=\Psi _2 \left( x_{\phi }^2-x_\psi ^2-1\right) \). Such that \(\{\mathbf{x}: \Psi _2=0\}\) is an invariant set.
2.3.1 Normal expansion up to arbitrary order
In this section we obtain the normal form expansion for an arbitrary point lying on the curve \(C_-\) [74].
Proposition 5
Let be the vector field \(\mathbf{X}\) given by (15)–(17) which is \(C^\infty \) in a neighborhood of \(\mathbf{x}^*=(x_{\phi }^*,x_{\psi }^*,y^*)^T\in C_-.\) Let \(m\ge n>0,\) and \(x_{\psi }^*\in \mathbb {R},\) such that \(\lambda _3=1-n x_\psi ^*+m\sqrt{1+{x_\psi ^*}^2}\notin \mathbb {Z}\), then, there exist constants \(a_r,\, b_r,\, c_r,\; r\ge 2\) (non necessarily different from zero) and a transformation of coordinates \(\mathbf{x}\rightarrow \mathbf{y},\) such that (15)–(17) has normal form
defined in neighborhood of \(\mathbf{y}=(0,0,0).\)
Proof
Applying a linear coordinate transformation the linear part of \(\mathbf{X}\) is reduced to
By the hypothesis \(m\ge n>0 \implies \lambda _3^->1\; \forall x_{\psi }^*\in \mathbb {R}.\) Therefore, the eigenvalues of \(\mathbf{J}\) are different and \(\mathbf{J}\) is diagonal; then, the corresponding eigenvectors \(B=\left\{ \mathbf{x}^\mathbf{m}{} \mathbf{e}_i:=x_1^{m_1} x_2^{m_2} x_3^{m_3}{} \mathbf{e}_i | m_j\in \mathbb {N}, \sum m_j=r, i,j=1,2,3\right\} \) form a basis of \(H^r.\) Let denote \(\lambda _1=0, \lambda _2=1, \lambda _3=1-n x_\psi ^*+m\sqrt{1+{x_\psi ^*}^2}\). Let \(\mathbf{L_J}\) be the linear operator that assigns to \(\mathbf{h(y)}\in H^r\) the Lie bracket of the vector fields \(\mathbf{J y}\) and \(\mathbf{h(y)}\):
Applying this operator to monomials \(\mathbf{x}^\mathbf{m}{} \mathbf{e}_i\), where m is a multiindex of order r and \(\mathbf{e}_i\) basis vector of \(\mathbb {R}^3\), we find
The eigenvectors in B for which \(\Lambda _{\mathbf{m},i}\equiv (\mathbf{m}\cdot {\varvec{\lambda }})-\lambda _i\ne 0\) form a basis of \(B^r=\mathbf{L}_\mathbf{J}(H^r)\) and those such that \(\Lambda _{\mathbf{m},i}=0,\) associated to the resonant eigenvalues, form a basis for the complementary subspace, \(G^r,\) of \(B^r\) in \(H^r.\)
Since \(\lambda _1=0,\) and \(\lambda _3\notin \mathbb {Z}\) by hypothesis, the resonant equations of order r has a unique solution:
Then, \(\left\{ x_1^r \mathbf{e}_1, x_1^{r-1} x_2 \mathbf{e}_2,x_1^{r-1} x_3 \mathbf{e}_3\right\} ,\) form a basis for \(G^r\) in \(H^r.\)
By applying Theorem 2, we have that there exists a coordinate transformation \(\mathbf{x}\rightarrow \mathbf{y},\) such that (15)–(17) has normal form (23)–(25) where \(a_r, b_r\) and \(c_r\) are some real constants. The values of of all these constants can be uniquely determined, up to the desired order, by inductive construction in r. \(\square \)
Now we integrate the truncated system (23), (24) (25) up to order N with initial condition \(\left( y_1(t_0),y_2(t_0),y_3(t_0)\right) =(y_{10},y_{20},y_{30}).\)
-
1.
If \(y_{10}=0,\) then \(y_1(t)=0,\) \(y_2(t)=y_{20}e^{\tau -\tau _0}\) and \(y_3(t)=y_{30}e^{\lambda _3\left( \tau -\tau _0\right) }\) for all \(t\in \mathbb {R}.\) Then, the orbit approach the origin as \(\tau \rightarrow -\infty \) provided \(\lambda _3>0.\)
-
2.
If \(y_{10}\ne 0,\) we obtain the quadratures
$$\begin{aligned} \tau -\tau _0&=\int _{y_{10}}^{y_1} \left( \sum _{r=2}^N a_r \zeta ^r\right) ^{-1} \mathrm {d}\zeta , \end{aligned}$$(30)$$\begin{aligned} y_2(\tau )&=y_{20} e^{\tau -\tau _0} \prod _{r=2}^N \exp \left[ b_r\int _{\tau _0}^\tau y_1(t)^{r-1} \mathrm {d} t\right] , \end{aligned}$$(31)$$\begin{aligned} y_3(\tau )&=y_{30}e^{\lambda _3\left( \tau -\tau _0\right) } \prod _{r=2}^N \exp \left[ c_r\int _{\tau _0}^\tau y_1(t)^{r-1} \mathrm {d} t\right] . \end{aligned}$$(32)
The \(y_1\)-component of the orbit passing through \((y_{10},y_{20},y_{30})\) at \(\tau =\tau _0\) with \(y_{10}\ne 0\) is obtained by inverting the quadrature (30).
The other components are given by
2.3.2 Normal expansion to third order for \(C_-\)
In this section we show normal form expansions for the vector field (15)–(17) defined in a vicinity of \(C_-\) expressed in the form of Proposition 6 (see [74])
Proposition 6
Let be the vector field \(\mathbf{X}\) given by (15)–(17) which is \(C^\infty \) in a neighborhood of \(\mathbf{x}^*=(x_{\phi }^*,x_{\psi }^*,y^*)^T\in C_-.\) Let \(m\ge n>0,\) \(x_{\psi }^*\in \mathbb {R},\) such that \(\lambda _3^-=1-n x_\psi ^*+m\sqrt{1+{x_\psi ^*}^2}\notin \mathbb {Z}\), then, there exist a transformation to new coordinates \(x\rightarrow z,\) such that (15)–(17), defined in a vicinity of \(\mathbf{x}^*,\) has normal form
where \(c_2=-n+\frac{m x_\psi ^*}{\sqrt{1+{x_\psi ^*}^2}}\) and \(c_3=-\frac{n x_\psi ^*}{2\left( 1+{x_\psi ^*}^2\right) }+\frac{m}{2\sqrt{1+{x_\psi ^*}^2}}.\)
Proof
Fist step: transforming to the Jordan form
Using a linear coordinate transformation the system (15)–(17) is transformed to
where \(\mathbf{x}\) stands for the phase vector \(\mathbf{x}=\left( x_1,\,x_2,\,x_3\right) ^T,\)
with \({X}_{(1,1,0),1}=\frac{1}{{x_{\psi }^*}}\), \({X}_{(0,0,2),1}=m {x_{\psi }^*}\sqrt{1+{x_{\psi }^*}^2}-n \left( 1+{x_{\psi }^*}^2\right) \), \({X}_{(2,0,0),2}=-\frac{{x_{\psi }^*}}{2 \left( {x_{\psi }^*}^2+1\right) }\), \({X}_{(0,2,0),2}=\frac{3}{2 {x_{\psi }^*}}\), \({X}_{(0,0,2),2}=\frac{1}{2} {x_{\psi }^*} \left( -2 m \sqrt{1+{x_{\psi }^*}^2}+2 n {x_{\psi }^*}-1\right) \), \({X}_{(1,0,1),3}=-n+\frac{m {x_{\psi }^*}}{\sqrt{1+{x_{\psi }^*}^2}},\) \({X}_{(0,1,1),3}=-\frac{ \left( -m \sqrt{1+{x_{\psi }^*}^2}+n {x_{\psi }^*}-1\right) }{{x_{\psi }^*}}\); and
with \({X}_{(3,0,0),1}=-\frac{1}{2 \left( {x_\psi ^*}^2+1\right) }\), \({X}_{(1,2,0),1}=\frac{1}{2 {x_\psi ^*}^2}\), \({X}_{(1,0,2),1}=-\frac{1}{2}\), \({X}_{(2,1,0),2}=-\frac{1}{2 \left( {x_\psi ^*}^2+1\right) }\), \({X}_{(0,3,0),2}=\frac{1}{2 {x_\psi ^*}^2}\), \({X}_{(0,1,2),2}=-\frac{1}{2}\), \({X}_{(2,0,1),3}=-\frac{1}{2 \left( {x_\psi ^*}^2+1\right) }\), \({X}_{(0,2,1),3}=\frac{1}{2 {x_\psi ^*}^2}\), \({X}_{(0,0,3),3}=-\frac{1}{2}\).
Second step: simplifying the quadratic part By the hypotheses the eigenvalues \(\lambda _1=0,\lambda _2=1,\lambda _3^-=1-n {x_{\psi }^*}^2+m \sqrt{1+{x_{\psi }^*}^2}\) of \(\mathbf{J}\) are different. Hence, its eigenvectors form a basis of \(\mathbb {R}^3.\) The linear operator
has eigenvectors \(\mathbf{x}^\mathbf{m}{} \mathbf{e}_i\) with eigenvalues \(\Lambda _{\mathbf{m},i}=m_1\lambda _1+m_2\lambda _2+\lambda _3 m_3-\lambda _i,\) \(i=1,2,3,\) \(m_1,m_2,m_3\ge 0,\) \(m_1+m_2+m_3=2.\) The eigenvalues \(\Lambda _{\mathbf{m},i}\) for the allowed \(\mathbf{m},i\) are \(\Lambda _{(1,1,0),1}=1\), \(\Lambda _{(0,0,2),1}=2\left( 1-n {x_{\psi }^*}+m \sqrt{1+{x_{\psi }^*}^2}\right) \), \(\Lambda _{(2,0,0),2}=-1\), \(\Lambda _{(0,2,0),2}=1\), \(\Lambda _{(0,0,2),2}=1-2 n {x_{\psi }^*}+2 m \sqrt{1+{x_{\psi }^*}^2}\), \(\Lambda _{(1,0,1),3}=0\), \(\Lambda _{(0,1,1),3}=1\).
To obtain the normal form of (35)–(37) wee must look for resonant terms, i.e., those terms of the form \(\mathbf{x}^\mathbf{m}{} \mathbf{e}_i\) with \(\mathbf{m}\) and i such that \(\Lambda _{\mathbf{m},i}=0\) for the available \(\mathbf{m},i.\) Only one term of second order is resonant : \(\Lambda _{(1,0,1),3}=0\rightarrow c_2 y_1 y_3 \mathbf{e}_3.\)
The required function
to eliminate the non-resonant quadratic terms is given by
The quadratic transformation
with \(\mathbf{h}_2\) defined as in (42) is the coordinate transformation required in Theorem 2. By applying this theorem we prove the existence of the required constant \(c_2.\) Now, let us calculate the value of \(c_2.\)
By applying the transformation (43) the vector field (38) transforms to
Since
we have
i.e., \(c_2=X_{(1,0,1),3}=-n+\frac{m {x_{\psi }^*}}{\sqrt{1+{{x_{\psi }^*}}^2}}.\)
The vector field \(\tilde{\mathbf{X}}_3(\mathbf y)\) introduced above has the coefficients:
where \(\delta =\sqrt{{x_\psi ^*}^2+1},\) \({\Delta }_{{ 1}}=2 {x_\psi ^*}-n\left( 3 {x_\psi ^*}^2+1\right) ,\) \({\Delta }_{{ 2}}=4 n\left( -4 {x_\psi ^*}^2+n\left( 3 {x_\psi ^*}^2+2\right) {x_\psi ^*}-2\right) +5 {x_\psi ^*},\) \({\Delta }_{{ 3}}=-4 n {x_\psi ^*} \left[ n {x_\psi ^*}-2\right] -5.\)
Third step: simplifying the cubic part
After the last two steps, the Eq. (38) is transformed to
As we will see later on, there is only one term of order three which is resonant: \(\Lambda _{(2,0,1),3}=0\rightarrow c_3 z_1^2 z_3 \mathbf{e}_3.\) Therefore, as in the last step, in order to eliminate non-resonant terms of third order we will consider the coordinate transformation \(\mathbf{y}\rightarrow \mathbf{z}\) given by
where
is defined by
where \(\Lambda _{(1,2,0),1}=2\), \(\Lambda _{(1,0,2),1}=2 \big (m\sqrt{1+{x_\psi ^*}^2}-n {x_\psi ^*}+1\big )\), \(\Lambda _{(0,1,2),1}=2 m\sqrt{1+{x_\psi ^*}^2}-2 n {x_\psi ^*}+3\), \(\Lambda _{(1,0,2),2}=2 m\sqrt{1+{x_\psi ^*}^2}-2 n {x_\psi ^*}+1\), \(\Lambda _{(0,3,0),2}=2\), \(\Lambda _{(0,1,2),2}=2 \left( m\sqrt{1+{x_\psi ^*}^2}-n {x_\psi ^*}+1\right) \), \(\Lambda _{(2,0,1),3}=0\), \(\Lambda _{(0,2,1),3}=2\), \(\Lambda _{(0,0,3),3}=2 \left( m\sqrt{1+{x_\psi ^*}^2}-n {x_\psi ^*}+1\right) \), are the eigenvalues of the operator linear operator
associated to the eigenvectors \(\mathbf{x}^{\mathbf{m}}{} \mathbf{e}_i.\) The associated eigenvectors form a basis of \(H^3\) (the space of vector fields with polynomial components of third degree) because the eigenvalues of \(\mathbf{J}\) are different.
The transformation (49) is the required by Theorem (2). By using this theorem we prove the existence of the required constant \(c_3.\) To find its we must to calculate
where \(\mathbf{e}_i,\; i=1,2,3,\) is the canonical basis in \(\mathbb {R}^n.\) Then,
Observe that the transformation \(\mathbf{h}_3\) does not affect the value of the coefficient of the resonant term of order \(r=2.\) Then, the result of the proposition follows. \(\square \)
Using the normal form (35), (36), (37) one can calculate approximated invariant manifolds of the origin [74].
If \(\lambda _3^->0\), the unstable manifold of the origin is, up to order \({O}(|\mathbf{z}|^4)\), is \(W^u_{{loc}}({\mathbf 0})=\{\left( z_1,z_2,z_3\right) \in \mathbb {R}^3: z_1=0, z_2^2+z_3^2<\delta ^2\}\) where \(\delta \) is a real value small enough. Therefore, the dynamics of (35)–(37) restricted to the unstable manifold, is given, up to order \(\mathbf{O}(|\mathbf{z}|^4),\) by \(z_1\equiv 0,\, z_2(\tau )=e^{\tau } z_{20},\, z_2(\tau )=e^{\lambda _3^-\tau } z_{30},\) where \(z_{20}^2+z_{30}^2<\delta ^2.\) This means that \(\lim _{\tau \rightarrow -\infty } \left( z_1(\tau ), \, z_2(\tau ),\, z_3(\tau )\right) =\left( 0,0,0\right) .\) Then, the origin is the past attractor for an open set of orbits of (35)–(37).
For \(\lambda _3^->0\), the center manifold of the origin is, up to order \({O}(|\mathbf{z}|^4)\), \(W^c_{{loc}}({\mathbf 0})=\{\left( z_1,z_2,z_3\right) \in \mathbb {R}^3: z_2=z_3=0, |z_1|<\delta \}\) where \(\delta \) is a real value small enough. Or as a graph in the original variables defined by
By taking the inverse, up to fourth order, of (52) we have the expression for \(z_1\):
Substituting (54) in (51)–(53) we have that the center manifold of the origin is given by the graph: \(\{(x_1,x_2,x_3)\in \mathbb {R}^3: x_1=\frac{{x_\psi ^*} x_2^3}{2 \left( {x_\psi ^*}^2+1\right) {}^{5/2}}-\frac{x_2^2}{2 \left( {x_\psi ^*}^2+1\right) {}^{3/2}}- \frac{{x_\psi ^*} x_2}{\sqrt{{x_\psi ^*}^2+1}}+O\left( {|x_2|^4}\right) , x_3=O\left( {|x_2|^4}\right) , |x_2|<\delta \}\) for \(\delta >0\) small enough.
2.4 Compact variables formulation
The Friedman equation for \(k=0\) can be written as
It is clear that when \(H^2 +{\textstyle {1\over 6}}\dot{\psi }^2 +{\textstyle {2\over 3}} V(\phi ,\psi )=0\) we obtain for nonnegative potential the trivial solution. Since this solution is not relevant in our set up we consider \(H^2 +{\textstyle {1\over 6}}\dot{\psi }^2 +{\textstyle {2\over 3}} V(\phi ,\psi )\ne 0\).
We introduce the new formulation
where \(\bar{D}:=\sqrt{H^2 +{\textstyle {1\over 6}}\dot{\psi }^2 +{\textstyle {2\over 3}} V(\phi ,\psi )}\). They satisfy
That is, we have five variables and two constraints.
Therefore, we can study the reduced system
defined in the compact phase space
where the prime means derivative
and \(\varepsilon =\pm 1\) appears due to (57) cannot be solved globally for \(\bar{H}\), but \(\bar{H}=\pm \frac{\sqrt{3-3 X_{\psi }^2-2 Y^2}}{\sqrt{3}}\), and it corresponds to the sign of H, where \(\epsilon =+1\) corresponds to ever expanding universe and \(\epsilon =-1\) corresponds to ever contracting universes. The equilibrium points/lines have coordinates \((X_\phi , X_\psi , Y)\):
-
1.
\(O_{\pm }:=(0,0,0)\). For \(\epsilon =+1\) we obtain a representation of the point O referred in Table 4.
-
2.
\(C_\pm :=(\pm 1, X_\psi ^{\star }, 0)\) referred in Table 4.
-
3.
\(P_\pm :=\Big (\frac{m \epsilon }{\sqrt{-2 m^2+3 n^2+3}},-\frac{n \epsilon }{\sqrt{-2 m^2+3 n^2+3}},\)
\(\sqrt{3} \sqrt{\frac{m^2-n^2- 1}{2 m^2-3 n^2-3}}\Big )\). The point P referred in Table 4 is recovered by setting \(\epsilon =+1\).
-
4.
\(T_\pm :=\Big (\frac{m \epsilon }{\sqrt{4 \left( m^2-n^2\right) ^2+2 m^2-n^2}},-\frac{n \epsilon }{\sqrt{4 \left( m^2-n^2\right) ^2+2 m^2-n^2}},\)
\(\frac{\sqrt{3} \sqrt{m^2-n^2}}{\sqrt{4 \left( m^2-n^2\right) ^2+2 m^2-n^2}}\Big )\). The point T referred in Table 4 is recovered by setting \(\epsilon =+1\).
-
5 (a)
\(S_1:=\left( -\frac{m}{\sqrt{3 n^2-2 m^2}}, \frac{n}{\sqrt{3 n^2-2 m^2}},\sqrt{3} \sqrt{\frac{m^2- n^2}{2 m^2-3 n^2}}\right) \).
-
(b)
\(S_2:=\left( \frac{m}{\sqrt{3 n^2-2 m^2}}, -\frac{n}{\sqrt{3 n^2-2 m^2}},\sqrt{3} \sqrt{\frac{m^2-n^2}{2 m^2-3 n^2}}\right) \). The static solutions \(S_1\) and \(S_2\) exists for \(n>0, -n\le m\le n\).
-
(c)
\({}_{\pm } S_3:=(X_\phi ^{\star }, \pm 1, 0)\). The lines \({}_{\pm }S_3\) exists for \(-1\le X_\phi ^{\star }\le 1\).
They are located at the curve \(S:= 3 X_{\psi }^2+2 Y^2-3=0\), and they represent static universes, \(\bar{H}=H=0\).
-
5 (a)
In Fig. 3a–d are presented some orbits in the phase plane of the system (58), (59), (60) for the four choices of the parameters chosen in [31] and \(\varepsilon =+1\).
The static universe configurations cannot by discussed in the framework of [31]. This illustrates the applicability of this formulation in compact variables. This case is shown in Fig 3e.
3 Alternative normalization
Due the negative sign of the kinetic energy of the phantom field, it is possible that H can be zero in a finite time. If so, the variables in [31] are not well defined as \(H\rightarrow 0.\) They can diverge in a finite parameter time, whence the resulting system is not a dynamical system. To avoid this difficulty we will use a set of dynamical variables similar to those introduced in [82] section III.E, instead of the ones used in [31], for investigating negative (and zero curvature models). For investigating positive curvature models we shall make use of similar variables to those defined in [82] section VI.A.
3.1 Negative and zero curvature models
In this section we extent the analysis presented by one of us in [83], since now it is included the possibility of the crossing through \(H=0\).
Let us introduce the following set of normalized variables: \((D,\,U_\phi ,\,U_\psi ,\,W,\,\Omega )\), given by
This choice of phase-space variables renders the Friedmann equation as
By definition \(-1\le D\le 1.\) Then,
From the requirement of the non-negativeness of the energy densities of quintom and matter, follows \(\Omega =\Omega _m D^2\ge 0\) and \(\Omega _{de} D^2\equiv U_\phi ^2-U_\psi ^2+W^2\ge 0\). \(\Omega _m,\, \Omega _{de},\, \Omega _k\) denotes the fractional energy densities of dark matter, dark energy and “curvature”. Then, from (65) follows that \(\Omega \) is bounded as \(\Omega _{de}\) is. However, we cannot guaranteed that the variables \(U_\phi ,\, U_\psi ,\) W are bounded. In this sense, the dynamical system constructed from the variables (63) is unbounded (then, non-compact). Hence, we cannot guaranteed that the system admits both future and past attractors. Numerical experience (see for instance [31]) supports the conjecture that past and future attractors can exists depict unboundedness.
For \(D\ne 0\) (i.e., \(H\ne 0\)) the variables (6) are related with those in [31] via
The equation of state (EoS) parameter, w, and the deceleration parameter, q, can be stated in terms of our variables as
where
The evolution equations for (63) are
where we have defined the new independent variable
The ODEs (69) define a flow on the state space
Observe that the variable D does not decouples from the other variables. Hence, the system is of higher dimension (5-dimensional) that the system we can obtain by using the variables defined in [31] (4-dimensional in the case of negative curvature).
Remark 6
In the case \(D=0\) we find from (65) and from the requirement of non-negativeness of the energy densities of the sources, that \(\Omega =0\) and \(U_\phi ^2-U_\psi ^2+W^2=0.\) Then, \(Q|_{D=0}=-3 W^2\le 0\Rightarrow D'|_{D=0}=-\frac{1}{3} Q|_{D=0}= W^2\ge 0.\) From the last inequality we can conclude that the submanifold \(D=0\) is not invariant for models with \(W>0,\) but acts as a membrane . For massless scalar field (MSF) cosmologies, the submanifold \(D=0\) is invariant and is equivalent to the set \(\Omega =0,U_\phi ^2-U_\psi ^2=0\).
The dynamical system (69) is invariant under the transformation of coordinates
Thus, it is sufficient to discuss the behavior in one part of the phase space. The dynamics in the other part being obtained via the transformation (72).
Remark 7
Let be defined in the interior of the phase space the function
This function is a monotonic function in the regions \(0<D<1\) and \(-1<D<0\) for \(\Omega >0\) and \(n\,U_\phi + m\,U_\psi \ne 0.\) From the expression of M we can see immediately that either \(D^2\rightarrow 1\) or \(\Omega \rightarrow 0,\) or \(n\,U_\phi + m\,U_\psi \rightarrow 0\) or \(\left| n\,U_\phi + m\,U_\psi \right| \rightarrow +\infty \) (which means that \(U_\phi \) or \(U_\psi \) or both diverge) or \(\Omega _k\rightarrow 0\) asymptotically. Particularly, M is a monotonic decreasing function for models with \(0<D<1\) (i.e., for ever expanding models) and takes values in the interval \((0,+\infty ).\) Since \(M\rightarrow 0\) as \(\Omega \rightarrow 0\) or as \(n\,U_\phi + m\,U_\psi \rightarrow 0\) (since its denominator is always bounded), then, the future asymptotic state of the system for ever expanding models corresponds to models with \(\Omega =0\) or to models where \(n\,U_\phi + m\,U_\psi =0.\) Since \(M\rightarrow +\infty \) as \(\left| n\,U_\phi + m\,U_\psi \right| \rightarrow +\infty \) or as \(D \rightarrow 1\) or as \(\Omega _k\rightarrow 0\), then the past asymptotic state of the system for ever expanding models corresponds to models where at least one of the variables \(U_\phi \) or \(U_\psi \) diverges, or to models with H large, or to flat models.
The asymptotic dynamics for contracting models can determined from the asymptotic dynamics of ever expanding models by means of the coordinate transformation (72).
Remark 8
The existence of the monotonic function (73) in our state space rules out any periodic, recurrent, or homoclinic orbit in the interior of the phase space. Therefore, some global results can be found from the linear (local) analysis of equilibrium points.
In the Table 5 it is displayed the conditions for existence and the eigenvalues of the linearized system around each equilibrium point of the system (69). In Table 6 we give the cosmological parameters associated to the equilibrium points. In the following we will characterize them.
The sets of equilibrium points \(V_{1,2}\) and \({}_{\pm }K_{\pm }\) and the isolated equilibrium points \({}_{\pm }M\) are located in the invariant set of MSF cosmologies without matter. The isolated equilibrium point \({}_{\pm }F\) is located in the invariant set of MSF cosmologies with matter.
\(V_{1,2}\) are degenerated equilibrium points. They represent flat vacuum static solutions \(\left( \Omega _{de}\rightarrow 0, \Omega _{m}\rightarrow 0,\Omega _{k}\rightarrow 0\right) .\)
The arcs \({}_{\pm }K_{\pm }\) denotes cosmological models dominated by dark energy (\(\Omega _{de}\rightarrow 1\)) particularly by its kinetic energy. The DE mimics a stiff fluid solution. The stable (resp., unstable) manifold of \({}_{-}K_{\pm }\) (resp., \({}_{+}K_{\pm }\) ) is at least 3-dimensional in the full phase space.
The equilibrium points \({}_{\pm }M\) denotes the Milne’s universe. They are non hyperbolic for \(\gamma =\frac{2}{3}.\) The equilibrium points \({}_{\pm }F\) represent the flat FRW universe. They are non-hyperbolic if \(\gamma =\frac{2}{3}\) or \(\gamma =2.\) For \(\gamma >\frac{2}{3},\) both \({}_{\pm }M\) and \({}_{\pm }P\) acts locally as saddles. The unstable (resp., stable) manifold of \({}_{-}M\) (resp. \({}_{+}M\)) is 3-dimensional in the full phase space. The equilibrium point \({}_{+}M\) (resp. \({}_{-}M\)) is unstable (resp. stable) to perturbations in D and in W. The stable (resp., stable) manifold of \({}_{-}F\) (resp. \({}_{+}F\)) is 3-dimensional. Whereas, the unstable (resp. stable) manifold \({}_{-}F\) (resp. \({}_{+}F\)) is 2-dimensional in the full phase space. If we restrict the dynamics to the invariant sets with \(D^2=1\) the dimensionality of all the above invariant sets reduces in one unity.
The isolated equilibrium points \({}_\pm SF\) and \({}_\pm CS\) denotes scalar field dominated solutions and curvature scaling solutions, respectively. They are located in the invariant set \(W>0,\Omega =0.\) The equilibrium points \({}_\pm MS\) (belonging to the invariant set \(W>0,\Omega >0\)) represents flat matter scaling solutions. Observe that the equilibrium points \({}_\pm MS\) and \({}_\pm SF\) coincide as \(\delta \rightarrow \frac{\gamma }{2}^+\) and \({}_\pm CS\) and \({}_\pm SF\) coincide as \(\delta \rightarrow \frac{1}{3}^+.\) Additionally, \({}_+ SF\) (resp., \({}_- SF\)) coincides with a point in the arc \({}_+K_+\) (resp., \({}_-K_-\)) as \(\delta \rightarrow 1^-.\) These values of \(\delta \) where equilibrium points coincide corresponds to bifurcations.
Due the symmetry (72) it is sufficient to characterize the behavior of the equilibrium points \({}_+ SF,\) \({}_+ CS,\) and \({}_+ MS.\) The dynamical character of their counterparts in the “negative” branch \({}_- SF,\) \({}_- CS,\) and \({}_- MS\) is determined by the symmetry (72).
The equilibrium point \({}_+SF\) is non hyperbolic in the full phase space if either \(\delta ={\textstyle {1\over 3}}\) or \(\delta ={\textstyle {\gamma \over 2}}\) or \(\delta =0.\) However, if we restrict our attention to the flow in the invariant set \(D=1,\) the eigenvalue \(2\delta \) plays no role in the dynamics (it appears due the “extra” dimension, D). In fact, if \(\delta =0,\) the eigenvalues of the system restricted to \(D=1\) are \((-2/3,-1[\times 2],-\gamma \)). Then, \({}_+SF\) represents a de Sitter solution, and it is the tractor in the invariant set \(D=1.\) If \(\delta <0\) and \({\textstyle {2\over 3}}<\gamma <2\) then, \({}_+SF\) is the future attractor (in the full phase space) for (ever) expanding models and it represents a phantom field. Using the symmetry (72) we find that, if \(\delta <0\) and \({\textstyle {2\over 3}}<\gamma <2\) then, \({}_-SF\) is the past attractor for contracting models and it represents a phantom field. If \(0<\delta <{\textstyle {1\over 3}}\) and \({\textstyle {2\over 3}}<\gamma <2,\) then \({}_+SF\) represents a solution dominated by a quintessence field, and it is the future attractor for the flow restricted to the invariant set \(D=1\). If \(0<\delta <{\textstyle {1\over 3}}\) and \({\textstyle {2\over 3}}<\gamma <2,\) then \({}_-SF\) represents a solution dominated by a quintessence field, and it is the past attractor for the flow restricted to the invariant set \(D=-1\).
The equilibrium point \({}_+CS\) represents a solution with negative curvature. It is non hyperbolic if \(\delta ={\textstyle {1\over 3}}.\) It is a saddle point for the full phase space, since it have always at least a positive eigenvalue. It is never a source (all the eigenvalues are not simultaneously with positive real parts) for the class of ever expanding models. By using the symmetry argument we find that \({}_-CS\) is never a global attractor (or sink) for contracting models. But, if we restrict our attention to the flow in the invariant set \(D=1\) we find that in this case \({}_+CS\) is the future attractor provided \(\delta >{\textstyle {1\over 3}}\) and \({\textstyle {2\over 3}}<\gamma <2.\) In other words, one can say that if \({\textstyle {2\over 3}}<\gamma <2\) the spatial curvature destabilizes \({}_+SF\) at the bifurcation value \(\delta ={\textstyle {1\over 3}}\) and that the stability is transferred to the equilibrium point \({}_+CS\) (of course, this argument is valid only in the invariant set \(D=1\)).
The equilibrium point \({}_+MS\) represents a cosmological solution where DE tracks DM (it means that the DE EoS parameter scales as the DM EoS parameter). It is non hyperbolic for \(\gamma ={2}/{3}\) or \(\gamma =2.\) It is in general a saddle point. However, when the dynamics is restricted to the invariant set \(D=1\) it can be the future attractor (for ever expanding models) provided \(0<\gamma <{\textstyle {2\over 3}}\) and \(\delta >{\textstyle {\gamma \over 2}}.\) From our hypothesis, this is not a region of physical interest. However, if we do not restrict the value of \(\gamma \) to be \(>{\textstyle {2\over 3}}\) the above fact can be interpreted as follows. If \(0<\gamma <{\textstyle {2\over 3}}\) the matter destabilizes \({}_+SF\) at the bifurcation value \(\delta ={\textstyle {\gamma \over 2}}\) and that the stability is transferred to the equilibrium point \({}_+MS.\) Otherwise, whenever \(0<\gamma <{\textstyle {2\over 3}}\) and \(\delta <{\textstyle {\gamma \over 2}}\) the late time attractor in the invariant set \(D=1\) is the equilibrium point \({}_+SF.\)
These equilibrium points are such that \(n\,U_\phi + m\,U_\psi =0.\) Hence, by the structure of the function (73), for ever expanding models (i.e., for \(0<D<1\)), the late time behavior is determined by the local behavior of either \({}_+ SF\) or \({}_+ CS\) or \({}_+ MS.\) By making use of the symmetry (72) it is possible to determine the early time behavior of contracting models (i.e, for \(-1<D<0\)) from the local behavior of either \({}_- SF\) or \({}_- CS\) or \({}_- MS.\) Combining the above linear analysis, with the information we have using monotonic functions we have the following
Proposition 7
The past and future attractors of the quintom model with \(k=0,-1\) are as follows:
-
1.
For \(D=-1\):
-
(a)
The past attractors are:
-
(i)
\({}_-SF\) if \(\frac{2}{3}\le \gamma \le 2,\,0\le \delta <{\textstyle {1\over 3}}\) or \(0\le \gamma \le {\textstyle {2\over 3}},\, 0\le \delta <{\textstyle {\gamma \over 2}}\).
-
(ii)
\({}_-CS\) if \({\textstyle {2\over 3}}<\gamma <2,\,\delta >{\textstyle {1\over 3}}\).
-
(iii)
\({}_-MS\) if \(0<\gamma <{\textstyle {2\over 3}},\,\delta >{\textstyle {\gamma \over 2}}\).
-
(i)
-
(b)
The future attractor is \({}_-K_\pm \,\text {if}\;\,n U_\psi ^\star \pm m\sqrt{1+{U_\psi ^\star }^2}>-1\).
-
(a)
-
2.
For \(-1<D<0\)
-
(a)
The past attractor is \( {}_-SF\) if \(0\le \gamma \le 2,\,\delta <0\).
-
(b)
The future attractor lies on \({}_-K_\pm \,\text {if}\;\,n U_\psi ^\star \pm m\sqrt{1+{U_\psi ^\star }^2}>-1\).
-
(a)
-
3.
For \(0<D<1\)
-
(a)
The past attractor is \({}_+K_\pm \) if \(n U_\psi ^\star \pm m\sqrt{1+{U_\psi ^\star }^2}<1\).
-
(b)
The future attractor is \( {}_+SF\) if \(0\le \gamma \le 2,\,\delta <0\).
-
(a)
-
4.
For \(D=1\)
-
(a)
The past attractor is \({}_+K_\pm \) if \(n U_\psi ^\star \pm m\sqrt{1+{U_\psi ^\star }^2}<1\).
-
(b)
The future attractors are
-
(i)
\({}_+SF\) if \(\frac{2}{3}\le \gamma \le 2,\,0\le \delta <{\textstyle {1\over 3}}\) or \(0\le \gamma \le {\textstyle {2\over 3}},\, 0\le \delta <{\textstyle {\gamma \over 2}}\)
-
(ii)
\({}_+CS\) if \({\textstyle {2\over 3}}<\gamma <2,\,\delta >{\textstyle {1\over 3}}\).
-
(iii)
\({}_+MS\) if \(0<\gamma <{\textstyle {2\over 3}},\,\delta >{\textstyle {\gamma \over 2}}\).
-
(i)
-
(a)
3.2 Positive curvature models (\(k=+1\))
For investigating positive curvature models we shall make use of variables similar to those defined in [79] section VI.A. We reproduce the results found by one of us in [80].
Let us introduce the normalization factor
Observe that
(i.e., at a singularity). This means that it is not possible that \(\hat{D}\) vanishes at a finite time.
Let us introduce the following normalized variables
\((Q_0,\,\hat{U}_\phi ,\,\hat{U}_\psi ,\,\hat{W},\,\hat{\Omega })\), given by
From the Friedmann equation we find
and by definition
By the restrictions (77), (78), the state variables are in the state space
As before, this state space is not compact.
Let us introduce the time coordinate
\(\hat{D}\) has the evolution equation
where
This equation decouples from the other evolution equations. Thus, a reduced set of evolution equations is obtained.
There is also an auxiliary evolution equation
It is useful to express some cosmological parameters in terms of our state variables.
Observe that the system (80), (81) is invariant under the transformation of coordinates
Thus, it is sufficient to discuss the behavior in one part of the phase space. The dynamics in the other part being obtained via the transformation (82).
Remark 9
The function
is monotonic in the regions \(Q_0<0\) and \(Q_0>0\) for \(Q_0^2\ne 1,\, n\,\hat{U}_\phi +n\,\hat{U}_\psi \ne 0,\, \hat{\Omega }>0.\) Hence, there can be no periodic orbits or recurrent orbits in the interior of the phase space. Furthermore, it is possible to obtain global results. From the expression N we can immediately see that asymptotically \(Q_0^2\rightarrow 1\) or \(n \hat{U}_\phi +m\tilde{U}_\psi \rightarrow 0\) or \(\hat{\Omega }\rightarrow 0.\)
In the Table 7 it is summarize the location, existence conditions and the eigenvalues of the linearized system around each equilibrium point. In the following we will characterize the dynamical behavior of the cosmological solutions associated with them.
The equilibrium points \({}_\pm \hat{K},{}_\pm \hat{F}, {}_\pm \hat{SF}\) and \({}_\pm \hat{MS}\) represents flat FRW solutions. They corresponds to the same cosmological solutions as the not hatted ones. We submit the reader to the early sections for the physical interpretation of them. Although \({}_\pm \hat{CS}\) represent a curvature scaling solution, it is different from \({}_\pm {CS}\) in the sense that it represents a positive curvature model.
By the above discussion, we will focus here on the dynamical character of the equilibrium points, not in its physical interpretation. As before, due the symmetry (82), we will characterize the equilibrium points corresponding to the “positive” branch. The dynamical behavior of the equilibrium points in the “negative” branch is determined by the transformation (82).
Observe that the equilibrium points \({}_\pm \hat{MS}\) and \({}_\pm \hat{SF}\) coincide as \(\delta \rightarrow \frac{\gamma }{2}^+\) and \({}_\pm \hat{CS}\) and \({}_\pm \hat{SF}\) coincide as \(\delta \rightarrow \frac{1}{3}^-.\) Additionally, \({}_+ \hat{SF}\) (resp., \({}_- \hat{SF}\)) coincides with a point in the arc \({}_+\hat{K}_+\) (resp., \({}_-\hat{K}_-\)) as \(\delta \rightarrow 1^-.\) These values of \(\delta \) where equilibrium points coincide corresponds to bifurcations. Combining the above linear analysis, with the information we have using monotonic functions we have the following
Proposition 8
The past and future attractors for the quintom model with \(k=1\) are as follows:
-
1.
For \(Q_0=-1\)
-
(a)
The past attractors are:
-
(i)
\({}_-\hat{SF}\) if \(0\le \gamma \le 2,\,\delta <{\textstyle {\gamma \over 2}}\).
-
(ii)
\({}_-\hat{MS}\) if \(0<\gamma <2,\,\delta >{\textstyle {\gamma \over 2}}\).
-
(i)
-
(b)
The future attractor is \({}_-\hat{K}_\pm \) if \(n U_\psi ^\star \pm m\sqrt{1+{U_\psi ^\star }^2}>-1\).
-
(a)
-
2.
For \(-1<Q_0<0\)
-
(a)
The past attractor are:
-
(i)
\({}_-\hat{SF}\) if \(\frac{2}{3}\le \gamma \le 2,\,\delta <{\textstyle {1\over 3}}\) or \(0\le \gamma \le {\textstyle {2\over 3}},\,\delta <{\textstyle {\gamma \over 2}}\).
-
(ii)
\({}_-\hat{MS}\) if \(0<\gamma <{\textstyle {2\over 3}},\,\delta >{\textstyle {\gamma \over 2}}\).
-
(i)
-
(b)
The future attractor is \({}_-\hat{K}_\pm \) if \(n U_\psi ^\star \pm m\sqrt{1+{U_\psi ^\star }^2}>-1\).
-
(a)
-
3.
For \(0<Q_0<1\)
-
(a)
The past attractor is \({}_+\hat{K}_\pm \,\text {if}\;n U_\psi ^\star \pm m\sqrt{1+{U_\psi ^\star }^2}<1\).
-
(b)
The future attractor is
-
(i)
\({}_+\hat{SF}\) if \(\frac{2}{3}\le \gamma \le 2,\,\delta <{\textstyle {1\over 3}}\)
or \(0\le \gamma \le {\textstyle {2\over 3}},\, \delta <{\textstyle {\gamma \over 2}}\).
-
(ii)
\({}_+\hat{MS}\) if \(0<\gamma <{\textstyle {2\over 3}},\,\delta >{\textstyle {\gamma \over 2}}\).
-
(i)
-
(a)
-
4.
For \(Q_0=1\)
-
(a)
The past attractor is \({}_+\hat{K}_\pm \) if \(n U_\psi ^\star \pm m\sqrt{1+{U_\psi ^\star }^2}<1\).
-
(b)
The future attractors are:
-
(i)
\({}_+\hat{SF}\) if \(0\le \gamma \le 2,\,\delta <{\textstyle {\gamma \over 2}}\).
-
(ii)
\({}_+\hat{MS}\) if \(0<\gamma <2,\,\delta >{\textstyle {\gamma \over 2}}\).
-
(i)
-
(a)
4 Integrability and algebraic solution
In this section we examine the integrability for the gravitational field equations of the quintom model by using two methods for the study of the integrability of dynamical systems. In particular we apply the symmetry analysis, we determine point transformations which leaves invariants the differential equations which provide also conservation laws. The second method that we assume is the singularity analysis where we are able to write the algebraic solution for the cosmological quintom model of our consideration.
4.1 Symmetry analysis
The symmetry analysis has an important role for the study of the integrability and the determination of analytical solutions in gravitational theories [84,85,86]. There is a plethora of applications in the literature of the symmetry analysis in cosmological studies, in the dark energy models and in the modified theories of gravity, for instance see [87,88,89,90,91] and references therein.
Consider now the point-like Lagrangian for the quintom cosmological model (1) with potential (2) in the spatially flat geometry and without any other matter source
The field equations are the Euler–Lagrange equations of the later point-like Lagrangian plus the Hamiltonian constraint
which is the first Friedmann equation.
By following the Noether symmetry analysis, for a recent review on the approach and more details for the method we refer the reader to [90], we find that the Lagrangian (84) admits the following two Noether symmetries, except the trivial autonomous symmetry,
where the corresponding Noetherian conservation laws
The three conservation laws, \(\mathcal {H}\), \(\ \Phi _{1}\) and \(\Phi _{2}\) are linear independent, and in-involution, that is \(\left\{ \Phi _{1},\Phi _{2}\right\} =0,~\left\{ \Phi _{1},\mathcal {H}\right\} =0\) and \(\left\{ \Phi _{2},\mathcal {H}\right\} =0\), where \(\left\{ ,\right\} \) denotes the Poisson bracket. Thus, we can refer that the gravitational field equations described by the Lagrangian (85) form a Liouville integrable dynamical system [92].
Notice that the above conservation laws can be written in terms of the phase plane variables as
such that at the invariant set \(\{\mathbf{x}\in \mathbb {R}^2: n x_\phi +m x_\psi =0\} \) we have the trivial charge \(\Phi _1=0\), whereas in the invariant set \(\{\mathbf{x}\in \mathbb {R}^2:\frac{x_\phi -x_\psi }{m+n}=1\}\) we have the trivial charge \(\Phi _2=0\).
Because of the nonlinearity of the differential equations it is not possible to write the analytical solution in closed-form by using well-known functions. Hence, we continue our analysis with the singularity analysis where the solution can be written by using Laurent expansions.
4.2 Singularity analysis
Except from the symmetry analysis, singularity analysis is another approach to study the integrability of a given dynamical system. In singularity analysis integrability is not concerned with the display of explicit functions but with the demonstration of a specific property, such that: the existence of a Laurent series for each of the dependent variables. The series may not be summable to an explicit form, but does represent an analytic function apart from any singular points. Moreover, the essential feature of this Laurent series is that it is an expansion about a particular type of movable critical point, a pole.
While the symmetry analysis is related with the existence of closed-form solutions or solutions expressed in terms of well-known first-order differential equations. There is a choice of the type of definitions for the symmetries which can be applied in the symmetry analysis, where different conclusions can be occurs. On the other hand, singularity analysis is straightforward in its application as it does not offer so many choices. Both methods are complementary [93].
The main steps for the application of the singularity analysis for a given differential equation are described by the ARS algorithm (from the initial of Ablowitz, Ramani and Segur) [94,95,96]. The latter algorithm has been used in various cosmological models to determine the integrability and write algebraic solutions, for instance see [97,98,99,100,101,102] and references therein. For a demonstration on the application of the ARS algorithm we refer the reader in the review of Ramani et al. [103].
Consider the dynamical system (15), (16) and (17 ) which describes the evolution of the universe in a spatially flat FRW universe. We search for singular behaviour of the form
where \(t_{0}\) is an arbitrary constant and denotes the position of the singularity. Thus we find the unique leading-order behavior to be
with constraint equation
From the latter it follows that two of the coefficients of the leading-order terms are arbitrary constants. In particular are the two constants of integrations, recall that \(t_{0}\) is the third integration constant. Hence, we can conclude that equations (15), (16) and (17 ) form an integrable dynamical system. However, in order to verify it we proceed with the next steps of the ARS algorithm.
In order to determine the resonances, we substitute in the dynamical system 15), (16) and (17) the following expressions
in which \(\varepsilon _{1},~\varepsilon _{2},~\varepsilon _{3}\) are infinitesimal parameters. We follow the steps described in [103] for the determination of the resonances in systems of differential equations we find the three resonances to be
Resonance \(s_{1}=-1\) is important to exist in order the singularity analysis to succeed. In particular it is related with the movable singularity. On the other hand, the values zero of the other two resonances tell us that two of the coefficient terms for the leading-order behavior are integration constants of the problem. Moreover, because \(s_{2},~s_{3}= 0\), the solution of the dynamical system is expressed by Right Painlevé series, that is,
where the first coefficient constants \(x_{\phi _{1}},~x_{\psi _{2}}\) and \( y_{1}\) are calculated to be
Thus we can conclude that the dynamical system (15), (16 ) and (17) passes the singularity test and its algebraic solution is given by the Right Painlevé Series (101), (102), (102). From the latter we can infer that the leading-order term (94), i.e. the dominant behavior close to the singularity is an unstable solution.
We perform the same analysis for the complete dynamical system (9 ), (10), (11) and (12), where we find similar results. In particular the leading-order behavior is
with constraint equation
and resonances \(s_{1}=-1\), \(s_{2}=0\), \(s_{3}=0\) and \(s_{4}=0\). Hence, we have the following proposition.
Proposition 9
The dynamical system described the four first-order equations (9), (10), (11) and (12), passes the singularity test with leading-order terms given by (107). The algebraic solution is given by the Right Painlevé Series
where \(\mathbf {x=}\left( x_{\phi },x_{\psi },y,z\right) \) and constraint equation (109). From the form of the Laurent expansions we refer that the leading-order term describe a past attractor for the dynamical system.
5 Concluding remarks
We discussed some results concerning the asymptotic dynamics of quintom cosmologies with exponential potential. Using in a combined way several tools of the dynamical systems theory such as the linear stability analysis, Normal Forms calculations, Center manifold and Invariant Manifold Theorems, by developing Monotonic functions and implementing numerical solutions, one can find information bout the early time and late time behavior and at the intermediate stages of the evolution.
We have divided the analysis of the negative curvature and zero curvature models from the analysis of positive curvature models.
For negative or zero curvature models the physical behavior of a typical quintom cosmology as as follow. For ever expanding cosmologies, near the big-bang a typical model behaves like a flat FL model with stiff fluid (i.e. the dark energy mimics a stiff fluid) represented by the equilibrium set \({}_+K_+\) or by \({}_+K_-\) (parameterized by the real value \(U_\psi ^\star \)) depending if \(n U_\psi ^\star + m\sqrt{1+{U_\psi ^\star }^2}\) or \(n U_\psi ^\star - m\sqrt{1+{U_\psi ^\star }^2}\) is less than 1. If \({\textstyle {2\over 3}}<\gamma <2\) and \(\delta <0\) the late time dynamics is determined by \({}_+SF\), i.e. the model is accelerating, close to flatness (\(\Omega _k\rightarrow 0\)) and dominated by phantom dark energy (\(\Omega _{de}\rightarrow 1\)). This means, that typically, ever expanding quintom model crosses the phantom divide (it EoS parameter takes values less than \(-1\)). The intermediate dynamics is will be governed to a large extent by the fixed points \({}_+CS,\) \({}_+MS,\) and \({}_+M,\) which have a lower dimensional stable manifold. For H large and positive (i.e., in the invariant set \(D=1\)), the late time dynamics is determined by the equilibrium point \({}_+SF\) provided \(\delta <{\textstyle {1\over 3}}\) which represents quintessence (\(-1< q < 0\), i.e. \(-1< w < -{\textstyle {1\over 3}}\) ) or a phantom field (\(q < -1\), i.e. \(w < -1\)) if \(\delta > 0\) or \(\delta < 0\) respectively. If \(\delta =0\) it represents a de Sitter cosmological model. Curvature dominates the late time evolution in the invariant set \(D=1\) whenever \({\textstyle {2\over 3}}<\gamma <2\) and \(\delta >{\textstyle {1\over 3}}.\)
On the other hand, for contracting models, the typical behavior is, in one sense, the reverse of the above, that is, if \({\textstyle {2\over 3}}<\gamma <2\) and \(\delta <0\) the early time dynamics is determined by \({}_-SF\), i.e. the model is accelerating, close to flatness (\(\Omega _k\rightarrow 0\)) and dominated by phantom dark energy (\(\Omega _{de}\rightarrow 1\)). The intermediate dynamics is will be governed to a large extent by the fixed points \({}_-CS,\) \({}_-MS,\) and \({}_-F,\) which have a lower dimensional stable manifold. For H large and negative (i.e., in the invariant set \(D=-1\)), the early time dynamics is determined by the equilibrium point \({}_+SF\) provided \(\delta <{\textstyle {1\over 3}}.\) Curvature dominates the early time evolution in the invariant set \(D=1\) whenever \({\textstyle {2\over 3}}<\gamma <2\) and \(\delta >{\textstyle {1\over 3}}.\) A typical model behaves at late times like a flat FL model with stiff fluid (i.e. the dark energy mimics a stiff fluid) represented by the equilibrium set \({}_-K_+\) or by \({}_-K_-\) (parameterized by the real value \(U_\psi ^\star \)) depending if \(n U_\psi ^\star + m\sqrt{1+{U_\psi ^\star }^2}\) or \(n U_\psi ^\star - m\sqrt{1+{U_\psi ^\star }^2}\) is greater than \(-1.\)
The physical interpretation of the equilibrium points corresponding to positive curvature models was given in [83]. The physical behavior of a typical closed quintom cosmology is as follows [83]. For ever expanding cosmologies, near the big-bang a typical model behaves like a flat FRW model with stiff fluid represented by the equilibrium set \({}_{+}\hat{K}_{+}\) or by \({}_{+}\hat{K}_{-}\), depending on the choice of the values of the free parameters m, n and \(x_\psi ^{\star }\). If \(\delta < 1/3\) and \(0< Q_0 < 1\) the late time dynamics is determined by \({}_{+} \hat{SF}\), (with the same physical properties as \({}_{+} {SF}\)). The intermediate dynamics will be governed to a large extent by the fixed points \({}_{+}\hat{CS}\), \({}_{+}\hat{MS}\) and \({}_{+}\hat{F}\) which have the highest lower-dimensional stable manifold. For flat models (i.e., in the invariant set \(Q_0 = 1\)), the late time dynamics is determined by the equilibrium point \({}_{+} \hat{SF}\) provided \(\delta <1/2\) or \({}_{+} \hat{MS}\) provided \(\delta >1/2\) .
For contracting models, the typical behavior is, in one sense, the reverse of the above. If \(\delta <1/3\) and \(-1<Q_0<0\) the early time dynamics is determined by \({}_{-} \hat{SF}\). The intermediate dynamics will be governed to a large extent by the fixed points \({}_{-} \hat{CS}\), \({}_{-} \hat{MS}\), \({}_{-} \hat{F}\) which have the highest lower-dimensional stable manifold. For flat models (i.e., in the invariant set \(Q_0=-1\)), the early time dynamics is determined by the equilibrium point \({}_{-} \hat{SF}\) (or \({}_{-} \hat{MF}\) ) provided \(\delta <1/2\) (\(\delta >1/2\)). A typical model behaves at late times like a flat FRW model with stiff fluid (i.e. the dark energy mimics a stiff fluid) represented by the equilibrium set \({}_{-} \hat{K}_{+}\) or by \({}_{-} \hat{K}_{-}\) depending on the choice of the values of the free parameters m, n and \(x_\psi ^{\star }\).
Furthermore, we applied the symmetry analysis and the singularity analysis to determine the integrability of the quintom model. By using the Noether point symmetries in the case of the flat FRW geometry without any matter source we found that the point-like Lagrangian admits three linear-independent conservations laws which are in involution. Therefore, the field equations form a Liouville integrable dynamical system. However, because of the nonlinearity of the field equations that analytical solution can not be written in close-form expression.
On the other hand, by using the singularity analysis we were able to prove the integrability either when matter source exists and also the spatial curvature is not zero. We wrote the analytic solution of the field equations by using Painlevé Series by starting from a unstable singular solution.
The two methods, symmetries and singularities, are complementary, while in a future analysis will be of special interest to determine new analytical solutions for other kind of potentials.
References
A.G. Riess et al., Supernova Search Team Collaboration. Astron. J. 116, 1009 (1998). arXiv:astro-ph/9805201
B.P. Schmidt et al., Supernova Search Team Collaboration. Astrophys. J. 507, 46 (1998). arXiv:astro-ph/9805200
W.L. Freedman et al., HST Collaboration. Astrophys. J. 553, 47 (2001). arXiv:astro-ph/0012376
J.R. Mould, Astrophys. J. 529, 786 (2000). arXiv:astro-ph/9909260
P. Astier, J. Phys. Conf. Ser. 110, 012005 (2008)
P. Astier et al., The SNLS Collaboration. Astron. Astrophys. 447, 31 (2006). arXiv:astro-ph/0510447
A.G. Riess et al., Supernova Search Team Collaboration. Astrophys. J. 607, 665 (2004). arXiv:astro-ph/0402512
J. Dunkley et al., WMAP Collaboration. Astrophys. J. Suppl. 180, 306 (2009). arXiv:0803.0586 [astro-ph]
D.N. Spergel et al., WMAP Collaboration. Astrophys. J. Suppl. 170, 377 (2007). arXiv:astro-ph/0603449
D.N. Spergel et al., WMAP Collaboration. Astrophys. J. Suppl. 148, 175 (2003). arXiv:astro-ph/0302209
A.C.S. Readhead, Astrophys. J. 609, 498 (2004). arXiv:astro-ph/0402359
J.H. Goldstein, Astrophys. J. 599, 773 (2003). arXiv:astro-ph/0212517
J.K. Adelman-McCarthy et al., SDSS Collaboration. Astrophys. J. Suppl. 175, 297 (2008). arXiv:0707.3413 [astro-ph]
J.K. Adelman-McCarthy et al., SDSS Collaboration. Astrophys. J. Suppl. 162, 38 (2006). arXiv:astro-ph/0507711
M. Tegmark et al., SDSS Collaboration. Phys. Rev. D 74, 123507 (2006). arXiv:astro-ph/0608632
M. Tegmark et al., SDSS Collaboration. Phys. Rev. D 69, 103501 (2004). arXiv:astro-ph/0310723
V. Sahni, A. Starobinsky, Int. J. Mod. Phys. D 15, 2105 (2006). arXiv:astro-ph/0610026
E.J. Copeland, M. Sami, S. Tsujikawa, Int. J. Mod. Phys. D 15, 1753 (2006). arXiv:hep-th/0603057
B. Feng, X.L. Wang, X.M. Zhang, Phys. Lett. B 607, 35 (2005). arXiv:astro-ph/0404224
H. Wei, R.G. Cai, Phys. Lett. B 634, 9 (2006). arXiv:astro-ph/0512018
H.M. Sadjadi, M. Alimohammadi, Phys. Rev. D 74, 043506 (2006). arXiv:gr-qc/0605143
Z.K. Guo, Phys. Lett. B 608, 177 (2005)
M.-Z. Li, B. Feng, X.-M. Zhang, JCAP 0512, 002 (2005)
B. Feng, M. Li, Y.-S. Piao, X. Zhang, Phys. Lett. B 634, 101 (2006)
M.R. Setare, Phys. Lett. B 641, 130 (2006)
W. Zhao, Y. Zhang, Phys. Rev. D 73, 123509 (2006)
M.R. Setare, E.N. Saridakis, Phys. Lett. B 671, 331 (2009). arXiv:0810.0645 [hep-th]
H. Wei, R.G. Cai, Phys. Rev. D 72, 123507 (2005). arXiv:astro-ph/0509328
H. Wei, R.G. Cai, D.F. Zeng, Class. Quant. Gravit. 22, 3189 (2005). arXiv:hep-th/0501160
Z.K. Guo, Y.S. Piao, X.M. Zhang, Y.Z. Zhang, Phys. Lett. B 608, 177 (2005). arXiv:astro-ph/0410654
R. Lazkoz, G. Leon, Phys. Lett. B 638, 303 (2006). arXiv:astro-ph/0602590
X.F. Zhang, H. Li, Y.S. Piao, X.M. Zhang, Mod. Phys. Lett. A 21, 231 (2006). arXiv:astro-ph/0501652
Y.F. Cai, M.Z. Li, J.X. Lu, Y.S. Piao, T.T. Qiu, X.M. Zhang, Phys. Lett. B 651, 1 (2007). arXiv:hep-th/0701016
S. Zhang, B. Chen, arXiv:0806.4435 [hep-ph]
S. Zhang, B. Chen, Phys. Lett. B 669, 4 (2008). arXiv:0806.4435 [hep-ph]
J. Sadeghi, M.R. Setare, A. Banijamali, F. Milani, Phys. Lett. B 662, 92 (2008). arXiv:0804.0553 [hep-th]
Y.F. Cai, J. Wang, Class. Quant. Gravit. 25, 165014 (2008). arXiv:0806.3890 [hep-th]
E. Dil, Adv. High Energy Phys. 2016, 3740957 (2016). arXiv:1610.07870 [physics.gen-ph]
E.N. Saridakis, P.F. Gonzalez-Diaz, C.L. Siguenza, Class. Quant. Gravit. 26, 165003 (2009). arXiv:0901.1213 [astro-ph]
R. Lazkoz, G. Leon, I. Quiros, Phys. Lett. B 649, 103 (2007). arXiv:astro-ph/0701353
M. Alimohammadi, H.M. Sadjadi, Phys. Lett. B 648, 113 (2007). arXiv:gr-qc/0608016
M. Alimohammadi, Gen. Relat. Gravit. 40, 107 (2008). arXiv:0706.1360 [gr-qc]
M.R. Setare, E.N. Saridakis, Int. J. Mod. Phys. D 18, 549 (2009). arXiv:0807.3807 [hep-th]
G. Leon, Y. Leyva, J. Socorro, Phys. Lett. B 732, 285 (2014). arXiv:1208.0061 [gr-qc]
Y.F. Cai, E.N. Saridakis, M.R. Setare, J.Q. Xia, Phys. Rep. 493, 1 (2010). arXiv:0909.2776 [hep-th]
X. Zhang, Int. J. Mod. Phys. D 14, (1597). arXiv:astro-ph/0504586
X. Zhang, F.Q. Wu , Phys. Rev. D 72, 043524. arXiv:astro-ph/0506310
X. Zhang, Phys. Rev. D 74, 103505. arXiv:astro-ph/0609699
E.N. Saridakis, Phys. Lett. B 661, 335 (2008). arXiv:0712.3806 [gr-qc]
M.R. Setare, E.N. Saridakis, Phys. Lett. B 668, 177 (2008). arXiv:0802.2595 [hep-th]
G. Pulgar, J. Saavedra, G. Leon, Y. Leyva, JCAP 1505, 046 (2015). arXiv:1408.5885 [gr-qc]
E. Elizalde, S. Nojiri, S.D. Odintsov, Phys. Rev. D 70, 043539 (2004). arXiv:hep-th/0405034
P.S. Apostolopoulos, N. Tetradis, Phys. Rev. D 74, 064021 (2006). arXiv:hep-th/0604014
K. Bamba, S. Nojiri, S.D. Odintsov, Phys. Rev. D 77, 123532 (2008). arXiv:0803.3384 [hep-th]
K. Bamba, C.Q. Geng, S. Nojiri, S.D. Odintsov, Phys. Rev. D 79, 083014 (2009). arXiv:0810.4296 [hep-th]
M.R. Setare, E.N. Saridakis, JCAP 0903, 002 (2009). arXiv:0811.4253 [hep-th]
S. Nojiri, S.D. Odintsov, eConf. C 0602061, 06 (2006). [Int. J. Geom. Meth. Mod. Phys. 4, 115 (2007)] [arXiv:hep-th/0601213]
S. Bahamonde, M. Marciu, P. Rudra, JCAP 1804(04), 056 (2018). arXiv:1802.09155 [gr-qc]
M. Marciu, Phys. Rev. D 93(12), 123006 (2016)
N. Behrouz, K. Nozari, N. Rashidi, Phys. Dark Univ. 15, 72 (2017)
E.N. Saridakis, J.M. Weller, Phys. Rev. D 81, 123523 (2010). arXiv:0912.5304 [hep-th]
A. Paliathanasis, M. Tsamparlis, Phys. Rev. D 90(4), 043529 (2014). arXiv:1408.1798 [gr-qc]
A. Paliathanasis, S. Pan, S. Pramanik, Class. Quant. Gravit. 32(24), 245006 (2015). arXiv:1508.06543 [gr-qc]
Y.F. Cai, T. Qiu, Y.S. Piao, M. Li, X. Zhang, JHEP 0710, 071 (2007). arXiv:0704.1090 [gr-qc]
Y. F. Cai, T. t. Qiu, R. Brandenberger and X. m. Zhang, Phys. Rev. D 80, 023511 (2009). arXiv:0810.4677 [hep-th]
Y.F. Cai, D.A. Easson, R. Brandenberger, JCAP 1208, 020 (2012). arXiv:1206.2382 [hep-th]
T. Qiu, Mod. Phys. Lett. A 25, 909 (2010). arXiv:1002.3971 [hep-th]
J. Sadeghi, M.R. Setare, A. Banijamali, Phys. Lett. B 678, 164 (2009). arXiv:0903.4073 [hep-th]
A.R. Amani, Int. J. Theor. Phys. 50, 3078 (2011)
M.R. Setare, A. Rozas-Fernandez, Int. J. Mod. Phys. D 19, 1987 (2010). arXiv:0906.1936 [hep-th]
M. Shen, L. Zhao, Chin. Phys. Lett. 31(1), 010401 (2014)
J. Sadeghi, B. Pourhassan, Z. Nekouee, M. Shokri, Int. J. Mod. Phys. D 27(03), 1850025 (2017). arXiv:1708.04319 [hep-th]
J. Socorro, P. Romero, L.O. Pimentel, M. Aguero, Int. J. Theor. Phys. 52, 2722 (2013). arXiv:1305.1640 [gr-qc]
G. Leon, R. Cardenas, J.L. Morales, arXiv:0812.0830 [gr-qc]
S. Wiggins, Introduction to Applied Nonlinear Dynamical Systems and Chaos (Springer, New York, 1990)
S. Wiggins, Introduction to Applied Nonlinear Dynamical Systems and Chaos (Springer, New York, 2003)
D.K. Arrowsmith, C.M. Place, An Introduction to Dynamical Systems (Cambridge University Press, Cambridge, 1990)
V.G. LeBlanc, D. Kerr, J. Wainwright, Class. Quant. Gravit. 12, 513 (1995). cited in [43]
R. Tavakol, Introduction to Dynamical Systems (ch. 4, Part one, Cambridge University Press, Cambridge, 1997), pp. 84–98
B. Aulbach, in Continuous and Discrete Dynamics near Manifolds of Equilibria, Lecture Notes in Mathematics, N0. 1058, Springer, cited in “Dynamical Systems in Cosmology”, ed. by J. Wainwright, G.F.R. Ellis (Cambridge University Press, Cambridge, 1984)
J. Carr, Applications of Center Manifold Theory, Springer, cited in “Dynamical Systems in Cosmology”, ed. by J. Wainwright, G.F.R. Ellis (Cambridge University Press, Cambridge, 1981)
A.A. Coley, Dynamical Systems and Cosmology (Kluwer, Dordrecht, 2003)
G. Leon, Y. Leyva, E. N. Saridakis, O. Martin and R. Cardenas, Falsifying Field-based Dark Energy Models, in Dark Energy: Theories, Developments and Implications, Space Science, Exploration and Policies, ed. by Lefebvre K, Garcia R (Nova Science Publishers, New York, 2010). ISBN: 978-1-61668-271-2. arXiv:0912.0542 [gr-qc]
S.D. Maharaj, P.G.L. Leach, R. Maartens, Gen. Relat. Gravit. 23, 261 (1991)
P.G.L. Leach, R. Maartens, S.D. Maharaj, Int. J. Nonlinear Mech. 24, 575 (1992)
M.C. Kewyama, K.S. Govinder, S.D. Maharaj, J. Math. Phys. 53, 033707 (2012)
S. Basilakos, M. Tsamparlis, A. Paliathanasis, Phys. Rev. D 83, 103512 (2011)
L. Karpathopoulos, S. Basilakos, G. Leon, A. Paliathanasis, M. Tsamparlis, L. Karpathopoulos, S. Basilakos, G. Leon et al., Gen. Relativ. Gravit. 50, 79 (2018). arXiv:1709.02197 [gr-qc]
P.A. Terzis, N. Dimakis, T. Christodoulakis, Phys. Rev. D 90, 123543 (2014)
M. Tsamparlis, A. Paliathanasis, Symmetry 10, 233 (2018)
A. Borowiec, S. Capozziello, M. De Laurentis, F.S.N. Lobo, A. Paliathanasis, M. Paolella, A. Wojnar, Phys. Rev. D 91, 023517 (2015)
V.I. Arnold, Mathematical Methods of Classical Mechanics, 2nd edn. (Springer, New York, 1989)
A. Paliathanasis, P.G.L. Leach, IJGMMP 13, 1630009 (2016)
M.J. Ablowitz, A. Ramani, H. Segur, Lettere al Nuovo Cimento 23, 333 (1978)
M.J. Ablowitz, A. Ramani, H. Segur, J. Math. Phys. 21, 715 (1980)
M.J. Ablowitz, A. Ramani, H. Segur, J. Math. Phys. 21, 1006 (1980)
S. Cotsakis, P.G.L. Leach, J. Phys. A 27, 1625 (1993)
S. Cotsakis, J. Demaret, Y. De Rop, L. Querella, Phys. Rev. D 48, 4595 (1993)
P.G.L. Leach, S. Cotsakis, J. Miritzis, Gravit. Cosmol. 7, 311 (2001)
A. Paliathanasis, P.G.L. Leach, Phys. Lett. A 380, 2815 (2016)
A. Paliathanasis, J.D. Barrow, P.G.L. Leach, Phys. Rev. D 94, 023525 (2016)
A. Paliathanasis, EPJC 77, 438 (2017)
A. Ramani, B. Grammaticos, T. Bountis, Phys. Rep. 180, 159 (1989)
Acknowledgements
G. L. thanks to Department of Mathematics and to Vicerrectoría de Investigación y Desarrollo Tecnológico at Universidad Católica del Norte for financial support. AP acknowledges financial supported of FONDECYT Grant No. 3160121. JLM acknowledges to Consejo Nacional de Ciencia y Tecnología (CONACYT) of Mexico for financial support throughout the Phd program on Water Sciences and Technology, Grant No. 003497.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Invariant sets and monotonic functions
In the following we shall investigate some invariant sets that can be trivially identified and we construct properly monotonic functions defined on them.
Recall the definition and results:
Definition 1
(Invariant set) Let \(S\subset \mathbb {R}^n\) be a set. S is called an invariant set under the vector field
if \(\mathbf {y}\in S\) implies \(\mathbf {x}(\tau , \mathbf {y})\in S\) (where \(\mathbf {x}(0, \mathbf {y})=\mathbf {y}\)) for all \(\tau \in \mathbb {R}.\) If we consider the property valid for \(\tau \ge 0\) we say that S is positively invariant. On the other hand, if the property is valid for \(\tau \le 0\) we say that S is negatively invariant.
Proposition 10
(Proposition 4.1, [79] p. 92) Consider the autonomous vector field (A1) with flow \(\mathbf {g}^\tau .\) Let be defined a \(C^1\) function \(Z:\mathbb {R}^n\rightarrow \mathbb {R}\) which satisfies \(Z'\equiv \nabla Z\cdot \mathbf{X}(\mathbf {x})=\alpha Z\) where \(\alpha :\mathbb {R}^n\rightarrow \mathbb {R}\) is a continuous function. Then, the subsets of \(\mathbb {R}^n\) defined by \(\{\mathbf {x}\in \mathbb {R}^n| Z(\mathbf {x})\lesseqqgtr 0\}\) are invariant sets for the flow \(\mathbf {g}^\tau .\)
Definition 2
(Definition 4.8 [79], p. 93) Let \(\mathbf {g}^\tau (\mathbf {x})\) be a flow on \(\mathbb {R}^n,\) let S be an invariant set of \(\mathbf {g}^\tau (\mathbf {x})\) and let \(Z:S\rightarrow \mathbb {R}\) be a continuous function. Z is monotonic decreasing (increasing) function for the flow \(\mathbf {g}^\tau (\mathbf {x})\) means that for all \(\mathbf {x}\in S,\) \(Z(\mathbf {g}^\tau (\mathbf {x}))\) is a monotonic decreasing (increasing) function of \(\tau .\)
The existence of a continuous monotone function on an invariant set S simplifies the orbits in S significantly. As states the following proposition.
Proposition 11
(Proposition 4.2 ([79], pp 93)) The existence of a continuous monotone function on an invariant set S implies that S contains no equilibrium points, periodic orbits, recurrent orbits or homoclinic orbits.
Theorem 1
(Monotonicity Principle (Proposition A.I in [78] developed in collaboration with M Glaum, cited as Theorem 4.12 in [79])) Let \(\mathbf {g}^\tau (\mathbf {x})\) be a flow on \(\mathbb {R}^n\) with S an invariant set. Let \(Z: S\rightarrow \mathbb {R}\) be a \(C^1\left( \mathbb {R}^n\right) \) function whose range is the interval \((a,\;b)\) where \(a\in \mathbb {R} \cup \{-\infty \},\) \(b\in \mathbb {R} \cup \{+\infty \},\) and \(a<b.\) If Z is decreasing on orbits in S, then for all \(\mathbf {x}\in S\), \(\omega (\mathbf {x})\subset \{\mathbf {s}\in {\bar{S}}{\setminus } S|lim_{\mathbf {y}\rightarrow \mathbf {s}} Z(\mathbf {y})\ne b \}\) and \(\alpha (\mathbf {x})\subset \{\mathbf {s}\in {\bar{S}}{\setminus } S|lim_{\mathbf {y}\rightarrow \mathbf {s}} Z(\mathbf {y})\ne a \}.\)
Appendix B: Normal forms for vector fields
Let \(\mathbf{X}:\mathbb {R}^n\rightarrow \mathbb {R}^n\) be a smooth vector field satisfying \(\mathbf{X}(\mathbf{0})=\mathbf{0}.\) We can formally construct the Taylor expansion of \(\mathbf{x}\) about \(\mathbf{0},\) namely, \(\mathbf{X}=\mathbf{X}_1+\mathbf{X}_2+\cdots +\mathbf{X}_k+{O}(|\mathbf{x}|^{k+1}),\) where \(\mathbf{X}_r\in H^r,\) the real vector space of vector fields whose components are homogeneous polynomials of degree r. For \(r=1\) to k we write
Observe that \(\mathbf{X}_1=\mathbf{DX(\mathbf {0})}{} \mathbf{x}\equiv \mathbf{A}{} \mathbf{x},\) i.e., the matrix of derivatives.
We have the following result
Theorem 2
(theorem 2.3.1 in [77]) Given a smooth vector field \(\mathbf X(\mathbf{x})\) on \(\mathbb {R}^n\) with \(\mathbf{X(0)=0},\) there is a polynomial transformation to new coordinates, \(\mathbf{y},\) such that the differential equation \(\mathbf{x}'=\mathbf{X}(\mathbf{x})\) takes the form \(\mathbf{y}'=\mathbf{J}\mathbf{y}+\sum _{r=1}^N \mathbf{w}_r(\mathbf{y})+{O}(|\mathbf{y}|^{N+1}),\) where \(\mathbf{J}\) is the real Jordan form of \(\mathbf{A}=\mathbf{D X}(\mathbf{0})\) and \(\mathbf{w}_r\in G^r,\) a complementary subspace of \(H^r\) on \(B^r=\mathbf{L_A}(H^r),\) where \(\mathbf{L_A}\) is the linear operator that assigns to \(\mathbf{h(y)}\in H^r\) the Lie bracket of the vector fields \(\mathbf{A y}\) and \(\mathbf{h(y)}\):
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3
About this article
Cite this article
Leon, G., Paliathanasis, A. & Morales-Martínez, J.L. The past and future dynamics of quintom dark energy models. Eur. Phys. J. C 78, 753 (2018). https://doi.org/10.1140/epjc/s10052-018-6225-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-018-6225-y