Bifurcations in Ratra-Peebles quintessence models and their extensions
Franciszek Humieja, Marek Szydlowski

TL;DR
This paper uses bifurcation theory to analyze cosmological models with scalar fields, revealing generic evolution paths that explain both early inflation and late-time acceleration without initial singularities.
Contribution
It applies bifurcation theory to scalar field cosmology, identifying generic evolution scenarios that unify inflation and late acceleration.
Findings
Universe evolves from static or deSitter states to deSitter without singularities
Inflation emerges endogenously from the model's dynamics
Models unify early and late-time cosmic acceleration
Abstract
We have used the dynamical system approach in order to investigate the dynamics of cosmological models of the flat Universe with a non-minimally coupled canonical and phantom scalar field and the Ratra-Peebles potential. Applying methods of the bifurcation theory we have found three cases for which the Universe undergoes a generic evolution emerging from either the deSitter or the static Universe state and finishing at the deSitter state, without the presence of the initial singularity. This generic class of solutions explains both the inflation and the late-time acceleration of the Universe. In this class inflation is an endogenous effect of dynamics itself.
Click any figure to enlarge with its caption.
Figure 1
Figure 2
Figure 3
Figure 4
Figure 5
Figure 6
Figure 7
Figure 8
Figure 9
Figure 10
Figure 11
Figure 12
Figure 13
Figure 14
Figure 15
Figure 16| point | existence | ||
| any | |||
| no. | starting point | final point | |||
| 1. Generic de Sitter–de Sitter evolution | |||||
| (a) | unstable node | stable focus | |||
| (b) | unstable node | stable focus | |||
| (c) | unstable node | stable focus | |||
| 2. Non-generic de Sitter–de Sitter evolution | |||||
| (d) | saddle | stable node | |||
| (e) | saddle | stable focus | |||
| (f) | saddle | saddle | |||
| (g) | saddle | stable node/focus | |||
| (h) | saddle | stable node | |||
| point | existence | limit of | ||
| or** | ||||
| *For whole semicircle is an equilibrium set. | ||||
| **The sign of the infinite limit of for and depends on values of , and . | ||||
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Bifurcations in Ratra-Peebles quintessence models and their extensions
Franciszek Humieja
Astronomical Observatory, Jagiellonian University, Orla 171, 30-244 Kraków, Poland
Marek Szydłowski
Astronomical Observatory, Jagiellonian University, Orla 171, 30-244 Kraków, Poland
Mark Kac Complex Systems Research Centre, Jagiellonian University, Łojasiewicza 11, 30-348 Kraków, Poland
Abstract
We have used the dynamical system approach in order to investigate the dynamics of cosmological models of the flat Universe with a non-minimally coupled canonical and phantom scalar field and the Ratra-Peebles potential. Applying methods of the bifurcation theory we have found three cases for which the Universe undergoes a generic evolution emerging from either the de Sitter or the static Universe state and finishing at the de Sitter state, without the presence of the initial singularity. This generic class of solutions explains both the inflation and the late-time acceleration of the Universe. In this class inflation is an endogenous effect of dynamics itself.
1 Introduction
The main aim of cosmology is to study the structure and the evolution of the Universe at the large scale. In this context a crucial role plays the notion of a cosmological model obtained from general relativity. If we assume a spacetime with the maximal symmetry of the space-like section of constant time then the evolution of the Universe can be analysed with tools of dynamical systems methods. In principle, there are two advantages of such a treatment of the dynamics. Firstly, evolutional paths are represented in a geometrical way in the phase space—the space of all states of the system under consideration. Secondly, it gives many possibilities of visualisation how solutions (represented in the phase space by trajectories) depend on the initial conditions. Are they exceptional or typical in the phase space? This question is strictly related to a problem of the stability of solutions.
Right-hand sides of the dynamical system depend not only on the state variables (which form the vector of state) but also on parameters. These theoretical parameters are present in any effective theory of the Universe. We believe that their interpretation will emerge if we find more fundamental theory giving us better insight into their nature. Of course, theoretical investigations should be complemented with a statistical estimation of model parameters from the astronomical and astrophysical data.
From the theoretical point of view, it is important to know how the structure of the phase space changes under variation of model parameters. For such an investigation the bifurcation theory is dedicated. Its methods allows to obtain some critical (bifurcation) values of model parameters for which a topological structure of the phase space (modulo homeomorphism preserving the direction of time along trajectories) is not equivalent in the topological sense. If the dynamical system, decribing the evolution of the physical system, undergoes the bifurcation at some value of its parameter, one can classify all possible evolutional paths for all theoretically admissible values of parameters. Hence, in principle, two qualitatively different types can be distinguished. The first case is a the model with the parameter at the bifurcation value which decribes some state, epoch, of the Universe evolution. In this sense the model is fine-tuned as some exact value of the model parameter is required to describe the Universe dynamics. The second case is a model with other, non-bifurcation values of its parameter. The dynamics of the model is qualitatively indifferent with respect to the choice of the value of the model parameter.
Dynamical systems methods are a powerful tool to analyse the dynamics of physical systems and the application of these methods to analyse the cosmological models is very important as the stability conditions allow to constrain or even rule out some models [4]. The dynamical analysis can be enriched further with using the biffurcation theory methods. Recently, the problem of bifurcations in the FRW cosmology with perfect fluid and the cosmological constant was investigated in the work of Kohli and Haslam[14]. They demonstrated that as the cosmological constant parameter is varied, expanding de Sitter and contracting de Sitter universes emerge via fold bifurcation. This type of bifurcation occurs in a neighbourhood of the Minkowski spacetime in the phase space. Also, bifurcations play important role in the idea of the Jungle Universe. Following this approach to study the dynamics of FRW models filled with different barotropic fluids, the jungle cosmological dynamical system assumes the form of a generalised Lotka-Volterra system where the competitive species are replaced with fluids [19]. The problem of bifurcation is also strictly related to the problem of structural stability which denotes changes of the phase space structure under small change of right-hand sides of the system [15]. It is also interesting to discover the phenomenon of period-doubling bifurcation in strongly anisotropic Bianchi I quantum cosmology[3].
Basic description of the current acceleration of the Universe is provided by the cosmological constant , whose natural interpretation is the energy of the quantum vacuum. However, this energy could not be constant during the evolution of the Universe from early epochs to the current state. Hence, in order to include both inflation and late time acceleration in one model, it is necessary to introduce for example a tool making the vacuum energy dependent on time. Since the Einstein-Hilbert action must be covariant, one cannot just put . The solution is to lead in a scalar field together with potential , driving the evolution of . Such a postulate has been suggested for the first time in [18], assuming the power-law form of potential, , where . The scalar field approach for describing the late time acceleration of the Universe is known under a name of quintessence [23] (for the alternative approach to quintessence see [13]).
Apart from standard general relativity terms, it is considered the additional term in the Einstein-Hilbert action, describing the coupling between the gravity (represented by the Ricci scalar ) and the scalar field , where is the coupling constant. For this coupling is minimal, while for it is non-minimal. The non-minimal coupling arises from quantum corrections to the scalar field theory [5, 1, 12] and is necessary for the renormalisation procedure of the scalar field in the curved space [7, 10]. Moreover, a non-minimal coupling of the scalar field to the gravitation is widely used for modelling inflation [9, 17]. The generic cosmological evolution in the scalar field cosmology with non-minimal coupling, which does not possess a singularity was investigated by Hrycyna [11]. These types of evolution correspond to trajectories starting from an unstable de Sitter state and going to a stable de Sitter state.
Observational constraints on scalar field cosmological models have been recently investigated in [2]. Using the Bayesian methods different models of the scalar field cosmology were analysed. The evidence for which as approximation the information criterion BIC was used, indicated that the Ratra-Peebles potential were favoured.
We present the analysis of the dynamical system, describing the evolution of the universe111The word ‘universe’, started with a lower case letter, means the mathematical model of the Universe. with the dark energy as a scalar field with a potential. The application of bifurcation theory methods enables us to fully understand the dynamics of the system, which changes its qualitative properties under the variation of its parameters. The dynamical system under consideration includes both the canonical and the phantom scalar field models, which are distinguished by a value of the discrete parameter . We assume the power-law form of the potential with the exponent as a model parameter and the constant non-minimal coupling between the gravity and the scalar field, described by the non-zero parameter .
For the purpose of our investigation, we use elements of local bifurcation theory, whose basics we depict in Section 2. We discuss local bifurcations of codimension 1, as they appear in models under consideration. For getting more information about the bifurcation theory we refer readers to [6, 8, 16, 20, 22].
In Section 2 some short introduction to bifurcation theory is given. In Section 3 we derive the dynamical system from cosmological equations and the potential function, in terms of dimensionless phase space variables. In Section 4 we find equilibria of the dynamical system, analyse their stability properties, designate conditions they represent the de Sitter universe, find, on this basis, possible scenarios of the de Sitter–de Sitter evolution—which avoids the initial singularity and explains the inflation, as well as the late time acceleration—then prepare the full analysis of bifurcations of the local stability of equilibria for these scenarios. Next, Section 5 is devoted to the preparation the phase portraits of the system for non-singular scenarios on the Poincaré sphere. Finally, in Section 6, we plot the evolution of some physical parameters over the time, within non-singular evolutionary scenarios.
2 Elements of applied bifurcation theory
Let us start with some basics on the applied bifurcation theory. First, we give necessary, from the point of bifurcation theory’s view, notions of dynamical system theory. Then, we discuss definitions related with the topological equivalence of dynamical systems and bifurcations. Finally, we present a basic description of most important types of local bifurcations. We limit the discussion to bifurcations of codimension one in two-dimensional dynamical systems since this is the only kind of bifurcations that appears in our analysis. Definitions 1–9 are quoted from Kuznetsov’s book [16].
2.1 Dynamical systems
In deterministic processes, future and past states of a system can be revealed by knowing its present state and a law describing the evolution. The mathematical formalisation of this fact is the notion of a dynamical system.
A set of all possible states of a dynamical system is called a state space (or phase space). Usually, one distinguishes finite-dimensional systems defined in from those defined on manifolds. The state of a system changes with time , where is a number set. In case a system is called a continuous-time dynamical system, while for it is a discrete-time dynamical system.
An evolution law of a dynamical system determines the state of the system at time , provided the initial state is known. Description of the evolution is given by an evolution operator , which is a map
[TABLE]
transforming an initial state into some state at time ,
[TABLE]
Deterministic nature of dynamical systems is reflected in following two properties of the evolution operator. First of all,
[TABLE]
where is the identity map on , for all . The second property is
[TABLE]
which implies .
Now we are ready to give the formal definition of the dynamical system, which comes from [16].
Definition 1
A dynamical system is a triple , where is a time set, is a state space, and is a family of evolution operators parametrised by and satisfying properties (1) and (2).
In case of continuous-time systems, a family of evolution operators is called a flow. Moreover, in case of both continuous- and discrete-time systems, an orbit is an ordered subset of the state space ,
[TABLE]
Orbits in the state space of a dynamical system compose a phase portrait, which is the geometrical representation of the dynamical system.
Very often one identifies a continuous-time dynamical system with differential equations describing implicitly a law of evolution. Suppose that the state space of a system is . Then, differential equations related to the system are
[TABLE]
where , the state , is the parameter vector, and is a function (a vector field) of the class, with . We will frequently refer to dynamical systems without underlining its dependence on the parameter vector . Thus, differential equations will have the form
[TABLE]
Let us quote the following three important definitions, taken from [16], which are related to dynamical systems. First of them is an equilibrium, which is the special case of an orbit.
Definition 2
A point is called an equilibrium (or a fixed point) if for all .
An equilibrium is thus a point in which the system remains forever. For differential equations (4) in an equilibrium we have
[TABLE]
Subsequent definitions concern the notion of another special kind of orbits—cycles.
Definition 3
A cycle is a periodic orbit, namely a non-equilibrium orbit , such that each point satisfies with some , for all .
Definition 4
A cycle of a continuous-time dynamical system, in a neighbourhood of which there are no other cycles, is called a limit cycle.
2.2 Topological equivalence and bifurcations
Before introducing the notion of bifurcation, we should clarify what it means that phase portraits of two dynamical systems have the same qualitative features. For this purpose, let us quote from [16] the definition of topological equivalence of two dynamical systems.
Definition 5
A dynamical system is called topologically equivalent to a dynamical system if there is a homeomorphism mapping orbits of the first system onto orbits of the second system, preserving the direction of time.
Dynamical systems are very often studied in a vicinity of an equilibrium since it is possible to lead useful linear approximations there. Therefore, one may elaborate the topological classification of phase portraits near equilibrium points and hence the need for the following modification of Definition 5.
Definition 6
A dynamical system is called locally topologically equivalent near an equilibrium to a dynamical system near an equilibrium if there exists a homeomorphism that is
- (i)
defined in a small neighbourhood of ; 2. (ii)
satisfies ; 3. (iii)
maps orbits of the first system in onto orbits of the second system in , preserving the direction of time.
Consider the dynamical system (3) dependent on parameters . As parameters vary, the phase portrait of the system also varies. This results in two possibilities: either the system remains topologically equivalent to the original one, or its topology changes.
Definition 7
The appearance of topologically nonequivalent phase portrait under variation of parameters is called a bifurcation.
Thus, a bifurcation is a change of the topological type of the system. A value of parameters at which this change happens is called a bifurcation (critical) value.
If a bifurcation occurs when we fix any small neighbourhood of an equilibrium, then it is called a local bifurcation (or a bifurcation of an equilibrium). Otherwise, when a bifurcation cannot be determined by analysing only a small vicinity of an equilibrium, it is a global bifurcation.
It is often convenient to visualise how the occurrence of bifurcations depends on parameters of the system. For this purpose, let us introduce the definition of a bifurcation diagram taken from [16].
Definition 8
A bifurcation diagram of the dynamical system is a stratification of its parameter space induced by the topological equivalence, together with representative phase portraits for each stratum.
In the simplest case, the bifurcation diagram consists of a finite number of regions in the parameter space , inside which the phase portrait is topologically equivalent. These regions are separated by bifurcation boundaries, which are smooth submanifolds in (e.g. curves, surfaces).
Definition 9
A codimension of a bifurcation is the difference between the dimension of the parameter space and the dimension of the corresponding bifurcation boundary.
The equivalent and more practical definition says that a codimension is the number of independent conditions determining the bifurcation.
Bifurcations are divided into many types that differ in their course. It is possible to lead the most simple differential equations that represent a given type of bifurcation. These equations are called normal forms. In case of local bifurcations, every dynamical system having a local bifurcation of a specified type is locally topologically equivalent near an equilibrium to the normal form of this type of bifurcation.
2.3 Local bifurcations of codimension one in continuous-time systems
Let us introduce most important types of local bifurcations in continuous-time systems of at most two variables. We limit the discussion to bifurcations of codimension one. We present four types of bifurcations. Three of them are bifurcations of the saddle-node family: an elementary saddle-node, a transcritical, and a pitchfork bifurcation, while the last is a Hopf bifurcation.
Bifurcations of the saddle-node family (also called fold bifurcations) arise as a collision of equilibria, when a real eigenvalue crosses zero in a response to a change of a parameter. In the case of an elementary saddle-node bifurcation, two equilibria—one stable, the other unstable—coalesce and then disappear. In the case of a transcritical bifurcation, two equilibria—one stable, the other unstable—coalesce and then separate again, exchanging their stability properties. Finally, in the case of a pitchfork bifurcation there are two possibilities: in first of them, called supercritical, three equilibria—one unstable, surrounded by two stable—coalesce into one stable equilibrium, while in the other, called subcritical, three equilibria—one stable, surrounded by two unstable—coalesce into one unstable equilibrium. Normal forms for saddle-node family of bifurcations are
[TABLE]
where is the parameter with the critical value equal to zero. Bifurcation diagrams of the foregoing normal forms are shown in Figure 1.
A Hopf bifurcation (known also as an Andronov-Hopf bifurcation) arises, when real parts of two complex and conjugate eigenvalues crosses zero. It presents a collision of a stable or unstable equilibrium with a cycle, which shrinks to a point when the collision occurs. The normal form for this kind of bifurcation is
[TABLE]
which in polar coordinates is
[TABLE]
where is the parameter with the critical value equal to zero.
3 Dynamical equations
The scalar field approach describes the dark energy by the scalar field , which is affected by the potential . The total action is
[TABLE]
where
[TABLE]
is the Einstein-Hilbert action, and
[TABLE]
with corresponding to the canonical and the phantom scalar field respectively, and . The parameter is called the coupling parameter; if , the scalar field is non-minimally coupled to the gravity. Otherwise, the scalar field is minimally coupled to the gravity.
The variation of the total action (11) with respect to the metric tensor yields the field equation
[TABLE]
where the energy-momentum tensor for the non-minimally coupled scalar field is given by
[TABLE]
while the variation with respect to the scalar field gives the Klein-Gordon equation
[TABLE]
where .
We consider the spatially flat () Friedmann-Lemaître-Robertson-Walker (FLRW) metric
[TABLE]
where is the scale factor. This produces the Friedmann equation in the form
[TABLE]
the acceleration equation
[TABLE]
and the Klein-Gordon equation
[TABLE]
where is the energy density and is the pressure of the scalar field, which are connected by the linear barotropic equation of state
[TABLE]
where is the equation of state parameter.
Let us note, that from the Friedmann equation (18) we see that the total energy density of the scalar field consists of the kinetic energy density term , the potential energy density term , and the term related to the gravity-scalar field interaction . Dividing this equation by the critical density we obtain an energy conservation equation in the form
[TABLE]
where
[TABLE]
is the scalar field kinetic energy parameter and
[TABLE]
is the scalar field potential energy parameter.
We assume the inverse power-law form of the potential function (known as the Ratra-Peebles potential [18, 21])
[TABLE]
where is a dimensionless parameter, and is a dimensional constant. The pair of parameter values and , together with the usage of the power-law form of the potential, refer to the standard Ratra-Peebles quintessence model, while other values constitute extensions of this model.
Let us introduce following dimensionless real phase space variables
[TABLE]
Applying new variables, we obtain the following condition from the Friedmann equation (18)
[TABLE]
which, in terms of energy parameters (23–24), reads
[TABLE]
where
[TABLE]
The acceleration equation (19) yields
[TABLE]
where the equation of state parameter, in terms of new variables, is
[TABLE]
The left-hand side of equation (30) is equal to , where is the deceleration parameter; for accelerated expansion (or decelerated contraction) of the universe, and for decelerated expansion (or accelerated contraction) of the universe. Hence, we obtain
[TABLE]
which implies that for expansion of the universe is accelerated (contraction is decelerated), whereas for expansion is decelerated (contraction is accelerated).
Finally, using equations (20), (27) and (30), we obtain the dynamical system, expressed by dimensionless variables (26)
[TABLE]
where .
Formulae for (31) and for in the system (33) diverge to infinity as
[TABLE]
In order to analyse the dynamics at this limit, we can multiply right-hand sides of the system (33) by the non-negative term . This operation will produce a dynamical system which will be determined at the limit (34) and will have the same dynamical properties in other points as the previous system222Such an operation is also related to the reparameterisation of the time. Consider the system and multiply its both sides by a function . As a result of this operation, we obtain the new system , where , which has the same equilibria and is topologically equivalent to the original one. Thus, we obtain the system
[TABLE]
which is determined also at the limit (34).
From initial assumptions we have equivalent to , which implies . It also implies that the left-hand side of equation (27) is greater than zero. It yields the following condition of physicality on variables
[TABLE]
4 Equilibria, non-singular evolutionary scenarios and bifurcation diagrams of local stability
In this section, we will find equilibria of the dynamical system derived above, inspect stability of these points and conditions for representing the de Sitter state by them, distinguish, on this basis, evolutionary scenarios without singularity, and—finally—prepare bifurcation diagrams for these scenarios.
As the phase space is infinite, we will investigate firstly the finite region, and then go to the description at infinity. Finite equilibria of the system (35) together with existence conditions (resulting from the fact that ) are shown in Table 1, while eigenvalues and values of the equation of state parameter for equilibria are summarised in Table 2. Figures 3–6 present, in turn, bifurcation diagrams of the local stability of equilibrium points , , and , whose stability properties depend on values of parameters , and . Moreover, in these diagrams, there are put formulae for one-dimensional boundaries separating areas of the local topological equivalence.
We notice from Table 1 that, apart from the equilibrium line , finite equilibrium points are located only on the axes of phase space. If for a finite point but , then . According to equation (28), provided the condition (36) is satisfied, we have . On the other hand, when and , then and , which is greater than zero when the condition (36) is satisfied.
The region (36) has its boundaries at always at points and . The boundary of this region is the limit of the physicality of the system. If we have and on this boundary. If the line exists, the boundary has its extremum on this line at the point . We denote this point as .
In this paper, we will be investigating evolutionary scenarios of the universe, starting and finishing at the de Sitter state. The de Sitter universe is the solution to the Einstein field equations which assumes the dynamics of the universe to be dominated by the cosmological constant , so the matter component (both baryonic and dark) is neglected. In this model, the pressure and the energy density satisfy
[TABLE]
so the equation of state parameter is
[TABLE]
For the spatially flat universe () the scale factor , within the de Sitter model, depends on time as
[TABLE]
Solutions with the ‘’ sign in the exponent are frequently called anti-de Sitter states in contrast to the solutions with the ‘’ sign, called de Sitter states. The Hubble function in this case is equal
[TABLE]
By looking at the de Sitter universe presence conditions in Table 2 we can distinguish, using bifurcation diagrams (Figures 3–6), sets of parameters for which an evolution from the initial (stable in the past) de Sitter to the final (stable) de Sitter state is possible. We can divide these sets into two groups: representing generic and non-generic de Sitter–de Sitter evolution. The generic evolution takes place, when there exists a family of solutions favouring given conditions, while the non-generic evolution takes place if only one particular solution corresponds to conditions. For example, when a family of orbits comes out of a stable in the past equilibrium (like an unstable node or a focus) representing the de Sitter state (), and then finishes in a stable point also representing the de Sitter state, it is generic evolution. On the other hand, if for example a starting or a final point is a saddle, then there exists only one trajectory—a separatrix—which is able to reach this saddle (in the past or in the future, respectively), so the evolution is non-generic. Sets of parameters for which the evolution from the de Sitter state to the de Sitter state occurs have been shown in Table 3.
We will analyse generic evolutionary scenarios found in this work since they are more interesting than non-generic ones. Let us start with a discussion of bifurcations for these scenarios. Figures 8–9 present bifurcation diagrams of the local stability of equilibria on the nullcline and line under variation of the parameter for fixed and . This corresponds to generic evolutionary scenarios (a) and (b) in Table 3.
In Figure 8 we see the occurrence of two transcritical bifurcations on the nullcline. The first takes place for (belongs to the general bifurcation condition ) and concerns points and . For the point is a saddle and the point is an unstable node, while after the ‘collision’ they exchange their stability properties. The second transcritical bifurcation happens for (belongs to the general condition ) and concerns points and . The situation looks similarly as in the previous case: for the point is a saddle and the point is an unstable node, and these properties are exchanged between points after the bifurcation.
The local bifurcation diagram on the line for is shown in Figure 8. The only transition visible in this diagram refers to the point which undergoes a change from a stable focus via a stable degenerate node (the purple dot) for (in general ) into a stable node. In fact, this transition is not a bifurcation, because—despite the fact that flows near nodes and foci are neither orbitally nor smoothly equivalent—they are topologically equivalent, which has been shown in Example 2.1 of [16].
Figure 9 presents the local bifurcation diagram on the line for . For (in general ) another bifurcation appears when the point coalesces with the neutral line just to separate again as exceeds this bifurcation value. Point passes at this value of from a saddle into a stable focus, while the line still remains neutral, but the flow in its neighbourhood near reverses its direction—before the bifurcation the flow follows towards decreasing values of below the line and increasing values of above the line , while after the bifurcation the flow, as well below as above the line , reverses.
Furthermore, combining Figures 8, 8 and 9, we can notice that a bifurcation takes place also for in the point . For , as approaches from below, the saddle on the negative part of the nullcline and the stable node on the positive part of the axis are approaching the point. They both reach that point for , and then, when exceeds that value, the point becomes a stable node (intercepts the stability from the point ) and is moving towards increasing values of , while the point disappears (its coordinates become complex). It is so to speak a combination of the saddle-node and the transcritical bifurcation: the point behaves as in the saddle-node bifurcation, while the point behaves as in the transcritical bifurcation. In turn, for the bifurcation is reversed. For there is only the saddle on the negative part of axis, which reaches the point for , and when exceeds , it appears the saddle , moving towards increasing values of , while the point becomes a stable node (gives its instability to the point ) moving towards increasing values of . In that case, as well as in the previous one, the point behaves as in the saddle-node bifurcation and the point behaves as in the transcritical bifurcation. In general, these transitions take place for all values of different than [math] and .
Let us remark that within the range of parameters of both the generic evolutionary scenarios (a) and (b) there does not occur any bifurcation, therefore it is sufficient to prepare only one phase portrait for each scenario, and this portrait is representative for the whole set of parameters of a given scenario. Also for the non-generic scenarios (e) and (f), we see no bifurcation.
Bifurcation diagrams on both and axes under variation of the parameter are presented in Figures 11–11. The choice of the values of fixed parameters, i.e., and , corresponds to generic evolutionary scenario (c).
In Figure 11 we see the occurrence of two pitchfork bifurcations on the nullcline under variation of . The first, taking place for , is subcritical—stable point is surrounded by unstable points and for , and at the critical value of they coalesce into one unstable (saddle) point (this bifurcation emerges in general at and ). The second pitchfork bifurcation at appears when all points are unstable—two unstable nodes and , surrounding the saddle emerge, as exceeds this critical value, from the single saddle (in general, this bifurcation takes place for and ). Finally, for (belongs to the general bifurcation case ), it occurs the transcritical bifurcation between points and from which, before the bifurcation, the first is an unstable node and the latter is a saddle. Bifurcation at this point can be seen also in Figure 8, however there the parameter which was varied.
On the line , Figure 11 shows other bifurcations under variation of for fixed and . The saddle and the neutral line , which exist for , coalesce in . Above this value, and disappear and it appears the stable point ; the line emerges again at . For the stable point and the neutral line coalesce and, as exceeds the bifurcation value, the point becomes a saddle, while the line remains neutral, but the flow below and above it reverses.
Combining Figures 11 and 11 we see, that for , and all equilibrium points – coalesce in . It happens for any value of and at and refers to the case of the minimally coupled scalar field. Again, within the range of parameters of the generic scenario (c), we see no bifurcations, which means that one phase portrait will be representative for that case. In turn, the non-generic scenario (g) would require two portraits to be fully represented—the first for and the second for , while in case of the scenario (h) one portrait would be enough.
5 Phase portraits of the system
Now, we are ready for a discussion of phase portraits of the system for generic de Sitter–de Sitter evolutionary scenarios. Figures 12–14 present phase portraits of system (35) for the evolutionary scenarios (a)–(c). Each of them is representative for its case, as we noticed during the discussion of bifurcation diagrams of equilibria. Portraits have been drawn on the plane , which is an orthographic projection of the northern hemisphere and the equator of the unit Poincaré sphere
[TABLE]
on which the infinite plane had been projected. According to the definition of the Poincaré sphere, coordinates , are expressed by , as follows [20]
[TABLE]
and the circle is corresponding to the infinity of the plane, i.e., points for which .
From an analysis of the flow of the system (35) on the plane we obtain the information of the equilibria of the system at infinity; it has been summarised in Table 4.
On the line we have, according to equations (28) and (29), the kinetic energy parameter . Moreover, at the point , the density of energy related to the gravity-scalar field coupling has the limit , while at the point this limit is . On the semicircle, if , the kinetic energy has a finite value , and the coupling part of the energy is equal to zero, thus if , the point at infinity is non-physical, according to the condition (36). Hence, at points , we have and .
The phase portrait for the generic scenario (a), taking place for the canonical scalar field () with and , is presented in Figure 12. Within the physical region (36), the point , representing the de Sitter universe, is a global attractor to which trajectories from points () and () are approaching. De Sitter–de Sitter trajectories (from to —marked in purple) can be first either attracted by the saddle () or both two saddles and in turn ( both) before reaching the final point. As we can see, in this second case, the value can be exceeded during evolution, which means the sign of can be changed to negative for a certain time.
The flow for the generic scenario (b), representing the phantom scalar field () for parameters values and , has been shown in Figure 13, while in the left-hand side of Figure 14 enlargement of an area of the initial stage of an evolution has been outlined. In this case, an evolution from the de Sitter to the de Sitter state also starts at the point and finishes at the point . These orbits are transiting through the line at the point ; when a trajectory is approaching this point from below (in the sense of values of the coordinate), the equation of state parameter , and, after exceeding, decreases from the limit —at this point then, the system undergoes the so-called -singularity. After passing the point , orbits are heading towards the stable focus .
Finally, the flow for the generic scenario (c), for which , , and , is topologically equivalent to the flow for scenario (b), as we can see from bifurcation diagrams—comparing Figure 9 with 11 and Figure 8 with 11 we notice that in the range of parameters for scenarios (b) and (c), mutual positions of equilibria are the same, except the pair of points and , which undergoes a swap of positions and stability properties while passing between those two scenarios; we cannot, however, say it is a transcritical bifurcation of codimension 2 between these points, despite we have to vary values of both and parameters, because it is enough to change the value of one of these parameters to obtain the same bifurcation. Considering that the non-singular evolution starts from the point for scenario (b) and from the point for scenario (c), only the differences between portraits of the (b) and (c) cases are letters marking initial points of this kind of evolution and the shape of the non-physical region described by the condition 36 (it always has boundary at the point ). The last indicates that trajectories from the initial de Sitter point to the point being attracted on their way by the saddle, which lies on the nullcline, are also physically acceptable in the case (c), in contrast to the case (b). The comparison of differences of phase portraits for the scenarios (b) and (c) has been presented in Figure 14.
6 Evolution of physical quantities
In this section, we will investigate the evolution of physical quantities, such as , , , , over the cosmological time (the proper time of fundamental observers).
Let us notice firstly that the model we use allows us to determine explicitly only , and the quotient , which means that we are not able to calculate signs of and , because the model does not distinguish these signs333Notice that each of equations (18–20) contains , or the product . Moreover, the new time, introduced in the system (33), is an increasing function of the cosmological time for , and a decreasing function of for , which prevents from recognition of signs of and either directly from variables , or solutions of differential equations for and .. Knowing that currently , we can determine regions where goes to negative values by searching for points and checking a value of there.
In order to present the time evolution of the scale factor and its derivatives, we need to transform equations (27) and (30); thus we obtain respectively
[TABLE]
and
[TABLE]
where the overdot symbol () denotes a derivative with respect to . The reparameterisation of time for dynamical system (35) gives the new time which is related with by
[TABLE]
To reconstruct the time we need to determine the sign of and integrate the foregoing equation. In this work we assume arbitrarily such that at least to the third decimal place. Moreover, we put . Having the time , it is possible to calculate the scale factor directly from the definition of the Hubble function
[TABLE]
For every generic evolutionary scenario (a)–(c), there is no point on de Sitter–de Sitter orbits, for which , with the exception of the initial point for (a) and (b) scenarios, where the limit of can be equal to zero444In the case (a) the limit of in the point is always equal to zero, while in the case (b) this limit is zero only if ; for it diverges to infinity, while for (then the point is the proper node) this limit depends on the direction of the approaching, nevertheless for physical de Sitter–de Sitter trajectories it is never equal to zero.. This means, that all scenarios represent the expanding universe () at any finite time. Since corresponds to the static universe, scenarios (a) for any and (b) for represent the initially static universe, which means that the scale factor at . In case of scenarios (b) for and (c) for any it is at .
The evolution of physical quantities over the cosmological time for the evolutionary scenario (a) has been presented in Figure 15. The left column corresponds to an orbit passing near the equilibrium point , whereas the right column corresponds to an orbit passing near the equilibrium point . In plots we see the occurrence of initial static state (, and —from the side of ), and final de Sitter state (, and —from the side of ), between which a non-exponential evolution takes place. For trajectories attracted by the point it is possible for the universe to undergo a decelerated expansion (, ) for a particular interval of time. The kinetic energy density is changing from to [math] during the evolution.
Figure 16 shows the evolution of physical quantities over the cosmological time for the evolutionary scenarios (b) (the left column) and (c) (the right column). Two de Sitter states emerge from both sides of (, , ). During evolutions (b) and (c), it appears the discontinuity of , which takes place when the orbit intersects the equilibrium line . As the solution is approaching this line, the equation of state parameter . After the solution exceeds line , is decreasing from the limit ; it appears the decelerated expansion () for certain time. The kinetic energy is changing from to [math] throughout the evolution.
In Figures 15–16, we can see the presence of the initial exponential expansion, stretching to , which models the inflation in the early universe. The second exponential expansion, stretching to , describes the late time accelerated expansion, on the condition we add the matter content of the current universe. The full model, taking explicitly the matter component into account, can be an interesting aim of further research.
7 Conclusions
In the paper, we have used bifurcation theory methods to study the sensitivity of the model under a variation of the parameters. To show the power of these methods we have considered cosmological models which provide the explanation of the acceleration conundrum and are considered in the context of the inflation.
From our investigation, the following conclusions can be derived:
The application of bifurcation theory allow us to distinguish some class of emergent cosmological models from Einstein static universe and de Sitter universe. The first of these cases takes place for the canonical scalar field with the value of the non-minimal coupling parameter and the exponent appearing in the potential , while two other cases concern the phantom scalar field for and or for and . Furthermore, we have indicated five cases of non-generic de Sitter–de Sitter evolutionary scenarios for either canonical or phantom scalar field. 2. 2.
In the phase space, there are present evolutional paths without the initial singularity, allowing to explain both the inflation and the accelerated phase of the expansion at the late times. 3. 3.
There are two types of initial states from which the Universe starts the evolution. In the first scenario, the Universe is emergent from the de Sitter state and in the second one, the Universe is emergent from the static universe. 4. 4.
From the bifurcation analysis, we have obtained a pair of the critical values of the parameters which corresponds to bifurcation values. 5. 5.
We have demonstrated that the methods of the bifurcation theory allows us to distinguish the regions of parameter values with the generic and non-generic evolution paths.
Acknowledgement
The authors are very grateful to Orest Hrycyna and Adam Krawiec for comments and suggestions.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] B. Allen. Phase transitions in de Sitter space. Nucl. Phys. , B 226:228–252, 1983.
- 2[2] O. Avsajanishvili, Y. Huang, L. Samushia, and T. Kahniashvili. The observational constraints on the flat ϕ italic-ϕ \phi CDM models. Eur. Phys. J. , C 78(9):773, 2018.
- 3[3] M. Bachmann and H.-J. Schmidt. Period-doubling bifurcation in strongly anisotropic Bianchi I quantum cosmology. Phys. Rev. , D 62:043515, Jul 2000.
- 4[4] S. Bahamonde, C. G. Böhmer, S. Carloni, E. J. Copeland, W. Fang, and N. Tamanini. Dynamical systems applied to cosmology: dark energy and modified gravity. Phys. Rept. , 775-777:1–122, 2018.
- 5[5] N. D. Birrell and P. C. W. Davies. Conformal-symmetry breaking and cosmological particle creation in λ φ 4 𝜆 superscript 𝜑 4 \lambda{\varphi}^{4} theory. Phys. Rev. , D 22:322–329, Jul 1980.
- 6[6] S. Bosi and D. Desmarchelier. Local bifurcations of three and four-dimensional systems: A tractable characterization with economic applications. Math. Social. Sci. , 97:38–50, 2019.
- 7[7] C. G. Callan, Jr., S. Coleman, and R. Jackiw. A new improved energy-momentum tensor. Annals of Physics , 59:42–73, July 1970.
- 8[8] F. Dercole and S. Rinaldi. Dynamical systems and their bifurcations. In S. Cerutti and C. Marchesi, editors, Advanced Methods of Biomedical Signal Processing , chapter 12, pages 291–325. Wiley-Blackwell, 2011.
