We study the non integrability of the Friedmann-Robertson-Walker cosmological model, in continuation of the work [5] of Coehlo, Skea and Stuchi. Using Morales-Ramis theorem ([10]) and applying a practical nonintegrability criterion deduced from it, we find that the system is not completely integrable for almost all values of the parameters λ and Λ, which was already proved by the authors of [5] applying Kovacic's algorithm. Working on a level surface H = h with h = 0 and h = − 1 4λ and using the Morales-Ramis-Simo "higher variational" theory ([11]), we prove that the hamiltonian system cannot be integrable for particular values of λ among the exceptional values and that it is completely integrable in two special cases (λ = Λ = −m 2 and λ = Λ = −m 2 3 ). We conjecture that there is no other case of complete integrability and give detailed arguments towards this.Keywords: Hamiltonian systems; Integrability; Morales-Ramis-Simo Theorem; Computer algebra
I. THE PROBLEMThe Friedmann-Robertson-Walker model ([7]) is a model which explains some features of the observed universe at the present time. Although it does not describe the real universe in an essential way because of too many symmetries, it remains a fundamental model. We consider the Friedmann-Robertson-Walker (FRW) universe ([5]) where the metric takes the formwhere ν is the time; a(ν) is the scale factor, which means that if a distance is measured as d 0 today, then at any other instant, it is d 0 times a; k = 0, 1, −1 is the curvature of space-time and dΩ 2 is the distance element on a two-sphere. The dynamics is described by Raychauduri equation and Klein-Gordon equation ([7]) which derive from the Hamil-After the canonical transformation of variables p a = ip a and a = −ia (suggested from [4]), and assuming k = 1, we get the Hamiltonian:where a is the scale factor of the universe; φ is the scalar field with self-coupling constant λ and with mass m (which we will assume to be non zero); Λ is the cosmological constant. • to show that the variational equation, computed along a given particular solution of the hamiltonian system, can be seen as a direct sum of two Lamé equations (when λ = 0);• to find the result of non-integrability already proved in [5] when λ = − 2m 2 (n + 1)(n + 2), n ∈ IN or Λ = − 2m 2 (N + 1)(N + 2), N ∈ IN using a criterion of non integrability ([2, 3]) deduced from Morales-Ramis theorem ([10]);• to prove that the system is not completely integrable in the particular case