Gauss-Bonnet models with cosmological constant and non zero spatial curvature in $D=4$

In the present paper the possibility of eternal universes in Gauss-Bonnet theories of gravity in four dimensions is analysed. It is shown that, for zero spatial curvature and zero cosmological constant, if the coupling is such that $0<f'(\phi)\leq c \exp(\frac{\sqrt{8}}{\sqrt{10}}\phi)$, then there are solutions that are eternal. Similar conclusions are found when a cosmological constant turned on. These conclusions are not generalized for the case when the spatial curvature is present, but we are able to find some general results about the possible nature of the singularities. The presented results correct some dubious arguments in [54], although the same conclusions are reached. On the other hand, these past results are considerably generalized to a wide class of situations which were not considered in [54].


Introduction
One of the main interests in higher derivative gravity theories is that they can describe inflation by the addition of a higher order curvature to the Einstein-Hilbert action [1]- [2]. This is achieved without the addition of dark energy or scalar fields. An important role in this context is played by the Gauss-Bonnet invariant, since it appears in QFT renormalization in curved space times [3]. In addition, the Gauss-Bonnet term arises in low-energy effective actions of some string theories. For instance, the treelevel string effective action has been calculated up to several orders in the α ′ expansion in [4]- [5]. The result is that there is no moduli dependence of the tree-level couplings. However, one loop corrections to the gravitational couplings have been considered in the context of orbifold compactifications of the heterotic superstring [6]. It has been shown in that reference that there are no moduli dependent corrections to the Einstein term while there are non trivial curvature contributions. They appear as the Gauss-Bonnet combination multiplied by a function of the modulus field.
The results described above partially motivated the study of cosmological consequences of the Gauss-Bonnet term. In four dimensions, this term does not have any dynamical effect. However, when this term is non-minimally coupled with any other field such as a scalar field φ, the resulting dynamics is non trivial. Several cosmological consequences has been exploited in recent literature, and we refer the reader to [7]- [29] and references therein. But the aim of the present letter is not focused in inflationary aspects of the theory, instead in the characterization of singular and eternal solutions of the theory. It is important to mention that there exist preliminary works on this subject, examples are given in [32]- [49]. In particular, the results of [32]- [34] suggest the existence of singular solutions as well as regular solutions. The singular solutions are confined to an small portion of the phase space, while the non singular fill the rest. This situation is different than in GR, where the Gauss-Bonnet term is absent, and the powerful Hawking-Penrose theorems apply [52].
In the present work we are going to provide evidence for these claims, when a cosmological constant is turned on or when the spatial curvature is vanishing. In addition, some partial results about the case with k = ±1 will be also presented.
This work is organized as follows. In section 2, generalities of Gauss-Bonnet models are briefly reviewed. Section 3 reviews some general arguments given in [54] for zero spatial curvature and vanishing cosmological constant. These arguments are valid for any model of these characteristics. Section 4 contains an analysis of eternal universes which avoid some dubious arguments in [54]. The calculations presented in this section are particularly explicit, since they are an important part of this paper. In section 5 the results of section 4 are generalized to the case where the cosmological constant is turned on. In section 6, the results of section 3 are generalized for the case in which the scalar curvature k is turned on. The obtained results are not as universal as the ones in section 3, but some partial conclusions concerning the possible type of singularities can be obtained. In section 7 the results of section 4 are partially generalized to the case where the spatial curvature is turned on. Section 8 contains a discussion of the obtained results and open perspectives.

Gauss-Bonnet equation
The model that will be considered here is a generalization of the Gauss-Bonnet one. Recall that a pure Gauss-Bonnet gravity model is described in D-dimensions by the following action with G being the Gauss-Bonnet invariant The signature to be employed in the following is (−, +, ..., +). The equations of motions δS = 0 that arise by minimizing the action with respect to variations δg µν are the following In four dimensions, the term √ −gG can be expressed as a total derivative (2.4) Therefore in D = 4 and with a manifold without boundary, this model is irrelevant. However, the following modified action is non trivial from the physical point of view, as the Gauss-Bonnet is coupled to the real scalar field φ by the coupling f (φ). Due to this coupling, this modified lagrangian it is not a total derivative and contributes to the equations of motion.
In the following, a Gauss-Bonnet model with a potential V (φ) will be considered, as in references [50]- [51]. The equation for the scalar field φ in this case is given by The equations of motion for the metric g µν are more involved. The variation of the action throws the However, by taking into account the following identities which are consequences of the Bianchi identities, the last expression can be written as [30] The equations (2.6) and (2.7) are the full system of equations describing the theory.
The following discussion is focused on the isotropic and homogeneous vacuums of the model with zero spatial curvature. The corresponding distance element for these vacuums is given by The formulas for the Levi-Civita connection and the curvature of this background are well known, they are explicitly The other components are all zero.

Models without potential with flat spatial metric
For the case V (φ) = 0, by assuming that the spatial curvature is k = 0, the corresponding equations of motion (2.6) and (2.7) reduce toφ Our aim is to characterize the behavior of the solutions of these equations, without finding explicit solutions.

General analysis
The following analysis is focused on the two equations (3.9)-(3.10). From equation (3.9) it is immedi- This implies that the inequality is satisfied during the whole evolution of the universe. On the other hand, the equation (3.10) can be expressed by use of (3.9) as followṡ where in the last step (3.9) was taken into account. The last identity is equivalent to It may be easily seen that the right term is a total derivative, thus the last equality can be expressed as 5φ In other words d dt By integrating the last inequality the following bound is obtained with C 0 being the value of the quantity H(2 +ḟ H) at t = 0. This bound is valid for times t > 0.
Furthermore, it can be easily generalized for two arbitrary times t 1 and t 2 such that t 2 > t 1 , with the left hand of the inequality referred to the time t 2 and the right hand to t 1 .
The inequality (3.13) derived above has important consequences. Assume for a moment that the initial condition is such that C 0 < 0. The inequality (3.12) shows that the factor 2 +ḟ H ≥ 1, therefore this case corresponds to H < 0. Thus, for this initial condition, the universe is contracting at t = 0.
By taking into account (3.13) and that 2 +ḟ H ≥ 1 it follows that (3.14) Thus the universe is always contracting in the future if it is contracting at t = 0. This is an universal conclusion, no matter the form of the coupling f (φ). Furthermore, for the past, the equation (3.13) is Again, in the last step the inequality 2 +ḟ H ≥ 1 was taken into account.
Suppose now that the initial condition is C 0 > 0. Then For the past, the equation (3.13) is converted into Thus, if the universe is expanding at t = 0, it was expanding always in the past. Again, this is an universal conclusion, without reference to the particular form of the coupling f (φ). These results show in particular that there are no cyclic cosmologies for these models.
We have made the analogous analysis when a cosmological constant Λ = 0 is turned on. But we have obtained no universal conclusions in this case. In fact, when the curvature is turned on, the resulting inequalities are analogous to the ones above but with the replacement C 0 → C 0 + Λt. In particular, cyclic cosmologies are allowed when the cosmological constant is turned on.

The behavior of the scalar field
Consider now the behavior of φ andφ. First, by taking into account thatḟ (φ) = f ′ (φ)φ, the equation (3.9) becomes a quadratic algebraic relation forφ. Its solution iṡ If the negative branch is chosen in (3.18) then the time derivative is given by It is convenient to express this formula as (3.20) By taking into account that x for x >> 1, one can draw several conclusions. First, it follows from (6.93) that if f ′ (φ) → ±∞ and H is finite, thenφ → 0.
If instead H 2 f ′ (φ) → 0 then H 3 f ′ (φ) → 0 and again it is seen from (6.93) and that Now, ifφ is interpreted as a function of the two variables (f ′ (φ), H) given by (3.19), then the properties shown above show that it vanishes at the point (f ′ m , 0) and at any point of the infinite. The fact thatφ is a continuous function shows that it must have a minimum and a maximum somewhere.
In fact, the restriction of this function to any straight line in the space (f ′ (φ), H) connecting the point (f ′ m , 0) with some point of at the infinite interpolates between the two zeros continuously. The Bolzano theorem implies the presence of a minimum or a maximum in any of these directions. These directions are parametrized an "angular" coordinate ϑ and since the functionφ is well behaved, these extrema varies continuously with the angle. As the angular coordinate 0 ≤ ϑ < 2π is compact, it follows that there should exist a global minimumφ 1 and a global maximumφ 2 . Thereforė and, by simple integration of the last expression, it follows that This means that the values of φ are bounded by two linear time functions, and therefore are bounded for any finite time value t.

The possibility of eternal universes
Consider again the equations (3.9)-(3.11) with the branch in whichφ is bounded, that is, the branch described by (6.93). In the following, it will be assumed that f ′ (φ) and f ′′ (φ) are not divergent for any finite value of φ. Suppose that the universe falls into a singularity at a given finite time, which can be chosen when t → ±0, by a shift of time. The choice t → 0 is for simplicity, the singularity may be at any value t 0 by a choice of a convenient parametrization. Our aim is to find situations in which this assumption gives a contradiction. In these situations, the universe will be eternal.
The analysis given in the present section avoid some dubious arguments presented in [54], although similar conclusions are obtained. The dubious argument is the one below the formula (3.21) of that paper. We suspect that this formula may be a trivial one due to a numerical computer error. Thus, the present analysis will avoid such types of arguments. Since the results of this section are crucial, the calculations will be as explicit as possible and will not rely in any computer algorithm. All the tools to be used in the following sections are all analytical and its validity can be seen directly.
Assume first that the singularity in the curvature comes from the behavior H → ±∞ when t → 0, either from negative or positive times. Since one is working in the branch for whichφ is bounded, the first equation (3.9) shows that otherwiseφ → ±∞, which is not in the selected branch. The last is a necessary condition, and implies thatφ → 0 at t → 0 in such a way that Hφ → −1/f ′ (φ 0 ), φ 0 being the value of φ at the singularity.
The third equation (3.11), together with the fact that In these terms, there are several situations to analyse. In all the following sections, the case f ′ (φ) > 0 or f ′ (φ) < 0 will be considered. The reason is that, otherwise, the bounds (4.25) may not be satisfied, and this bounds are crucial for the following.

The case of unbounded scalar field accelerationφ and H → ±∞
A first possibility is that the accelerationφ is divergent at the singularity. From (4.23) it follows that this possibility is equivalent to From (3.10), and by taking (3.9) into account, it follows thatφ → 0 implies that As it will be shown below, this is impossible to satisfy. Asφ is divergent, since it has been assumed that f ′ (φ) is never zero. But the term multiplyingḢ in (4.25) tends to zero. Thus,Ḣ should be much more divergent that H 2 , as it should cancel the divergent second term in (4.25). This second term diverges asφH 2 , which clearly explode faster than H 2 ifφ → ±∞. Thus, it follows thatḢ >> H 2 near the singularity and this, together with (3.11) imply thaẗ The last two relations (4.25)-(4.26) combine to give This limit is not true, since 1 + Hḟ (5.57), and this quantity is divergent as H 4 . Furthermore, this quantity is also multiplyingḢ in (4.27), which is also highly divergent.
This contradiction shows that, for this branch, it is impossible to have a singularity with unbounded acceleration for H → ±∞. Thus, the only possibility is that H is finite.
The case of unbounded scalar field accelerationφ, H 2 < ∞ andḢ → ±∞ Assume that H → H 0 and thatḢ is divergent. Then from (3.9) it follows, for t → 0, thaẗ On the other hand (3.10) can be expressed, by use of (3.9) as followṡ This is equivalent to Thus, near the singularity where in the last step the equalityf = f ′ (φ)φ + f ′′ (φ)φ 2 was used, together with the asymptotic behavior (4.28). Hereφ 0 is the velocity of the scalar field, which is not necessarily zero in this case, but we are working in the branch in which it is finite. Now, the left hand of (5.62) is bounded by definition, sinceφ 0 and H 0 are finite by our assumptions. But the right hand of (5.62) can be expressed as 5φ 2 Both terms multiplyingḢ in the right hand are positive defined, and it is impossible to fix a value of H 0 and φ 0 for which they cancel. Thus, the right hand is divergent, but the left is not which is absurd. Thus, there does not exist such singularity in this type of models, in the chosen branch, if H 0 is different from zero.
Clearly, there is an indetermination of the type 0.∞ in both equations. But taking into account thaẗ ) and by taking into account (4.32) and that f ′′ (φ) is finite in this branch, it is obtained that The contradiction between (4.33) and (4.31) shows that this regime also does not exist.

The case with bounded scalar field accelerationφ
A further possibility is that the limit (4.23) is finite, which means that the accelerationφ is bounded. This implies that where l 0 is a finite number. There are three possibilities to consider. One is that H → 0 and thaṫ H → ±∞ in such a way that (4.34) holds. But this possibility is easily ruled out as follows. From Thus, another necessary condition is that . (4.38) This, combined with the formulas (4.23) and (4.34) shows that The last condition puts several restrictions on the behavior near the singularity. First, note that the solution ofḢ + H 2 = 0 is H = c/t. This suggest that it is convenient to parametrize H near the singularity as with h(t) being a function of time that goes to zero faster than linearly. The condition (4.39) is then As h(t) goes to zero faster than linearly, the last equation can be satisfied only if c = 1 and with g(t) a function that goes to zero at t → 0, not necessarily analytical. Therefore Here m(t) goes to zero faster than t 5 , and is not necessarily analytic. The conclusion is that, near the singularity . (4.44) Another way to justify this expression is to postulate that with q(t) going to zero at t → 0. The condition H 2 (Ḣ + H 2 ) → cte at t → 0 becomes .
Thus q ′ (t) = 1 + l(t) with l(t) → 0 when t → 0. Therefore q(t) = t + k(t) with k(t) → 0 when t → 0 faster than linearly. However (4.45) shows that k ′ (t)/t 4 tends to a constant. Integration of this expression will lead again to (4.44). Now, the expression (4.44) combined with (4.36) and (4.37) imply thaẗ with ǫ > 0 and s(t) containing the terms that go to zero even faster than t 2+ǫ . One may consider the possibility thatf goes to zero not like any power law, for instance asf (φ) = −1 + αt 2 u(t) with u(t) → 0 as t → 0 and non analytical. But we will argue below that this is not the case. The last condition may be integrated to giveḟ where r(t) goes to zero faster than t 3+ǫ . Finally, the fact thaẗ where w(t) goes to zero faster than linearly. All the obtained expressions are valid in an small interval near t = 0.
There are further consequences that can be drawn from the obtained expressions. By taking into account (4.44), (4.46) and (4.48) the equation (3.9), namelẏ is converted near the singularity into But the coefficients proportional to t 5 match only if This matching is in fact the justification for proposing thatf (φ) = −1+αt 2+ǫ +s(t) near the singularity instead of a genericf (φ) = −1 + αt 2 u(t) with u(t) → 0 as t → 0. Without this dependence, there will not be matching between the quintic terms. Now, with the value of α just found it follows by integratingf (φ) = −1 + αt 2+ǫ + s(t) with respect to time thaṫ where r(t) goes faster than t 5 and is not necessarily analytic.
It should be emphasized that the matching of the quintic terms are necessary, but they do not insure the existence of a solution. In fact, it is possible already to derive some inconsistencies which suggest the existence of a huge class of models for which there are eternal solutions. The last condition may be combined with (4.48) to get further consequences which are impossible to satisfy. The approximation (4.48) may be integrated to give where W (t) is the primitive of w(t), and grows faster than quadratically. Both (4.49) and (4.50) combined give thaṫ up to higher order terms. Now, the left hand side may be expanded to obtain (4.51) The linear terms clearly match. But there are problems to match the other terms. In order to see this, one should take into account that w(t) grows faster than linearly, and that its primitive W (t) goes faster than quadratically. Now, the third term in (4.51) is cubic, and since the right hand does not have any cubic term, it should be cancelled somehow. It can not be cancelled by the fourth or the fifth term, since the behavior of w(t) or W (t) described above makes these terms of higher order than three. The sixth term also is of higher order. But it can be cancelled by second term by assuming that On the other hand, w 2 (t) can not include a quadratic term. If that were the case then the second term in (4.51) would contain a quadratic term that can not be compensated, as V (t) contains at least cubic terms. Thus, w 2 (t) goes to zero faster than t 3 and therefore W 2 (t) goes to zero faster than t 4 .
From here it is seen that the fourth and the fifth term of (4.51) go like up to higher order terms. This term match the quintic term of (4.51) if and only if This gives the following numerical relation defining φ 0 This is one of the mandatory conditions to be satisfied. However, there exist a lot of functions for which (4.52) is never satisfied. For instance, there are a lot of couplings for which This is satisfied for instance for There are plenty of models that satisfy this constraint, as a bound by an exponential is not a very restrictive condition. Thus, for any of these models, for the coupling is bounded by an exponential, the cosmological solutions corresponding to our branch will be eternal.

Models with flat spatial metric and cosmological constant Λ > 0 turned on
For the case with a cosmological constant Λ > 0 turned on, by assuming that the spatial curvature is k = 0, the corresponding equations of motion are given bẏ In analogous way than in equations (3.18)-(4.25), it may be show that the negative branch of the scalar fieldφ is bounded in this case. Based on this, the following analysis can be done.

The case of unbounded scalar field accelerationφ and H → ±∞
As before, consider the possibility is that the accelerationφ is divergent at the singularity. This possibility is equivalent to Assume that H → ±∞ at the singularity t → 0, either from the left or the right. Asφ is bounded then (5.53) holds only if By use off = f ′ (φ)φ + f ′′ (φ)φ 2 , and by use of analogous arguments than the ones below (4.25), it is obtained thatḢ >> H 2 near the singularity and this, together with (5.55) permits to conclude thaẗ at the singularity. The last two relations (5.57)-(5.58) combine to give (5.60) However, this limit can not be true, since 1 + Hḟ (5.57), and this quantity is divergent as H 4 . Furthermore, this quantity is also multiplyingḢ in (4.27), which is also highly divergent. This contradiction shows that, for this branch, it is impossible to have a singularity with unbounded acceleration, unless H is finite.
The case of unbounded scalar field accelerationφ, H 2 < ∞ andḢ → ±∞ Consider now the possibility that H → H 0 and thatḢ is divergent. Then from (5.53) it follows, On the other hand (5.54) can be expressed, by use of (5.53) as followṡ Thus, near the singularity where in the last step the equalityf = f ′ (φ)φ + f ′′ (φ)φ 2 was used, together with the asymptotic behavior (5.61). Hereφ 0 is the velocity of the scalar field, which is not necessarily zero in this case, but we are working in the branch in which it is finite. Now, the left hand of (5.62) is bounded by definition, sinceφ and H 0 are finite by our assumptions. But the right hand of (5.62) can be expressed as 5φ 2 Both terms multiplyingḢ in the right hand are positive defined, and it is impossible to fix a value of H 0 and φ 0 for which they cancel. Thus, the right hand is divergent, but the left is not which is absurd. Thus, there does not exist such singularity in this type of models, in the chosen branch, if H 0 is different from zero.
However, there is a further possibility, that is, that H → 0 andḢ → ±∞. But it is easy to see from equations (5.53)-(5.55) that the case H = 0 is not allowed when the cosmological constant Λ is turned on. Thus, for divergent accelerationφ → ±∞ there is no singularity in this branch.
The case with bounded scalar field accelerationφ imply thatf with s(t) containing the terms that go to zero faster than quadratically. Thuṡ where r(t) goes to zero faster than t 3 . The formula (4.48) is also unchanged. By taking into accounṫ it is seen that, near the singularity, the following relation holds The coefficients proportional to t 3 do match. The quintic terms match when and this, together with (5.69) imply thaṫ where r(t) goes faster than t 5 and is not necessarily analytic. However, arguments analogous to the ones giving (4.51) show that should be satisfied. This reduces to (4.51) when Λ → 0. The terms in (5.72) match by postulating that which gives that two linear conditions whose solution is Note that the second condition (5.73) coincides with (4.52) when Λ → 0, which is a good consistency test. Thus, the second (5.73) can be interpreted as a generalization of (4.52). There are a lot of couplings which do not satisfy this second condition, as for the case Λ = 0. For these models we have again eternal solutions, when the scalar field is in the negative branch.

Spatial curvature k = ±1 turned on
The equations in this case are given bẏ The first term of the right hand side is proportional to φ 2 , this follows directly from (6.74). Thus, By taking into account the definition H =ȧ/a it follows that some terms can be arranged as a total derivative as follows The important point is that the left hand side is obviously negative, thus the right hand is negative as well. Therefore Integration of the last inequality gives Here C 0 is the value of the quantity 2H + H 2ḟ + kḟ /a 2 at t = 0. The left hand of the inequality is evaluated at a given future time, which is denoted by t.
The inequality (6.80) is an important constraint for the model. In order to visualize its consequences, assume that at t the Hubble constant H is positive H > 0 and that it is approaching a singularity at t 0 > t > 0. Suppose that the singularity comes from a behavior of the lapse function of the form a(t) ∼ c(t 0 − t) α . Then H ∼ α/(t − t 0 ), and clearly H > 0 only if α < 0, since t < t 0 . It is convenient to express (6.80) as follows By assumption H > 0, thus by multiplying the whole inequality (6.81) by H gives Now, the addition of the term H 2 + k a 2 to the last expression shows that By use of (6.74) it is directly seen that the second term of (6.83) is proportional toφ 2 . Thus it follows that (6.83) is given by The inequality (6.84) reduces to Our assumption is that a(t) ∼ c(t 0 − t) α with α < 0, thus the scale factor is divergent at this stage.
It is implicitly assumed that t 0 is the first singularity after t = 0. The inequality (6.85) then becomes Here I is the value of the integral, which is finite since 1/a 2 (t) does not have any singularity. But the important point to remark is the following. The first term on the left hand is positive and has the singular behavior 1/(t 0 − t) 2 , which is more explosive than the term 1/(t 0 − t) of the right hand. The only way that the inequality (6.86) can be fulfilled is that the second and the third term cancel this behavior. But clearly, none of them can do the job. Note that, during all the reasoning above, the value of C 0 , the value of k or the behavior of the coupling f (φ) was immaterial.
Now, consider the case H < 0 in the past and falling into a singularity H ∼ α t−t 0 at t = t 0 < 0 due to a behavior a(t) ∼ c(t − t 0 ) α with α < 0. For past times t < 0 the inequality obtained by integrating (6.80) is given by By multiplying by H and remembering that H < 0 it is found that As before, the addition of the term H 2 + k a 2 converts this expression into Thus, in particular, By choosing k = 1 it is seen that the integral now is not divergent, since the function a(t) do not have zeros. Denote its value as I. Then the last bound is All the terms proportional to (t + t 0 ) 2α vanish near the singularity. It is impossible to satisfy this inequality, since the term α 2 (t+t 0 ) 2 is the most explosive one and is positive, thus the left hand side of the inequality is larger than the right hand side near a singularity, a clear contradiction. This is valid for k = ±1 and k = 0. In short terms, by denoting β = −α, the conclusions made about the past and future behavior can be stated as follows.
Proposition: The Gauss-Bonnet cosmology without potential and with spatial curvature k = ±1 or k = 0 does not admit solutions for which there is a regime falling into a singularity of the form a(t) ∼ c/(t 0 − t) β , with β > 0, neither in the past or future, no matter the explicit form of the coupling f (φ).
We have also considered the other two complementary cases, namely H < 0 falling into a power law in the past and H < 0 falling into a singularity in the future. But the bounds that we found depend on the behavior ofφ and we can find no conclusions in this case.

The negative branch of the scalar field
As for the flat case, the equation (6.74) becomes a quadratic algebraic relation forφ. Its solution iṡ If the negative branch is chosen in (6.92) The analysis goes essentially as in the case with k = 0, if the coupling f ′ (φ) is never zero, but there are more cases to take into account.
and a → 0, then (6.93) shows thatφ is finite. The same happens when with c a constant, thenφ → 0. Also, if f ′ (φ) = 0 thenφ → 0 when H → ±∞ and a is finite and non zero. The same holds when H → ±∞ and a goes to zero or infinite. In addition, if k = −1 and (H 2 + k a 2 ) → 0, with H and a finite, thenφ → 0 as well. In addition when H → 0 it may be possible to have with c a constant. In this case,φ → ±∞. But this limit implies that H → 0 and H 2 /a 2 → c ′ , with c ′ another constant. Thusȧ 2 /a 4 tends to a constant value. Therefore a ∼ t −1 near this limit, and this contradicts that H → 0. Another possible dangerous limit is H → 0, a → 0 and f ′ (φ) → ∞ in such a way that H 2 f ′ (φ) 2 /a 2 → 0, since for this limitφ → ∞. We suggest however that this limit do not take place. In fact, the limit H → c implies near this region that a(t) ∼ exp(ct), and a(t) = 0 even when c → 0.
If the suggestion made above is true, then there should exist a global minimumφ 1 and a global maximumφ 2 . Thereforeφ and, by simple integration of the last expression, it follows that Again, the values of φ are bounded by two linear time functions, and therefore are bounded for any finite time t.
7. The possibility of eternal universes for k = 0 In the present section the possibility of having eternal solutions is considered, when the spatial curvature k = ±1 is turned on. However, the results obtained below are less general than the ones of the previous sections. In fact, the analysis when the spatial curvature k is turned on is more difficult than the case k = 0.
As before, it is assumed that f ′ (φ) is never zero and is never divergent for any finite value of φ.
In other words, there are no vertical asymptotes at finite φ values. Furthermore, we will be working in the branch for whichφ is bounded for any finite time.
However 1 +ḟ H → +0, and the remaining terms multiplyingḢ are strictly positive, thus this is never satisfied. The same conclusions hold for a taking any finite value a 0 . No singularity will appear in this situation.
Consider now the possibility that H 2 < ∞,φ → ∞ and a → 0. If H → H 0 then, near the singularity, a ∼ exp(H 0 t) which contradicts our hypothesis that a → 0. Thus, the only possibility is H 0 = 0. Thus, as H → 0 and a → 0, a simple inspection shows that the equation (6.74) is never satisfied. If instead, one consider the same situation but with a → ±∞, this case reduce to the one with k = 0 for which, as shown in previous sections, there are no singularities.
Finally, one has to check the case H → H 0 ,Ḣ → ±∞ and a → 0. As we saw above, this means that H 0 = 0. The equation (6.74) may be satisfied when 1 +ḟ H → 0. But as H → 0, one has that 1 +ḟ H → 1, which is a contradiction.
The analysis given above is valid forφ → ±∞. It is impossible to have a singularity when k = 1 in this case. However, the situation for finiteφ is more difficult to analyse than for the case k = 0.
The reason is that the analysis made in (4.39)-(4.44) get much more complicated when the term k/a 2 is turned on. Thus, we have obtained no conclusions in this case. In addition, for k = −1, the term H 2 + k/a 2 can be zero if a potential singularity takes place atȧ = 1 and a → 0, since H 2 + k/a 2 → 0.
This zero appears multiplying the factor (6.74) and complicates the analysis of the singularity. We hope to overcome these technical difficulties in a future.

Discussion
The results of the present work are the following. For a Gauss Bonnet model without cosmological constant and zero spatial curvature, if 0 < f ′ (φ) ≤ c exp( √ 8 √ 10 φ), and the scalar field is in some specific branch described in the text, then exists a large class of solutions that are eternal. These conclusions were also obtained when the cosmological constant is turned on. It is important however to emphasize that if the scalar field is in other branch, then the presented conclusions do not apply and in fact singular solutions may appear. The appearance of this solutions do not contradict the well known Hawking singularity theorems, since it is not necessarily true that these theories may be considered as GR coupled with matter satisfying the strong energy conditions. The analysis when the spatial curvature k is turned on is more complicated. The problem is that for k = 0 the resulting differential system only involves the Hubble constant H and the scalar field, while for k = ±1 the system involves also the scale factor, and this complicates the analysis considerably. However, some partial results about the singularities were found, independently of the form of the coupling f (φ). These results are collected in the proposition of section 6 in the text, and exclude under certain circumstances some singularities in the scale factor as a(t) ∼ c/(t − t 0 ) β with β > 0. This result is independent on the form of the coupling f ′ (φ). We hope to overcome some technical problems and to obtain results related to the case k = ±1 in a near future.