Liouville integrability: An effective Morales–Ramis–Simó theorem

A. Aparicio-Monforte (1) , Thomas Dreyfus (2) , Jacques-Arthur Weil (3)

1 Dawson College
2 IMT - Institut de Mathématiques de Toulouse UMR5219
3 XLIM-MATHIS - Mathématiques & Sécurité de l'information

Consider a complex Hamiltonian system and an integral curve. In this paper, we give an effective and efficient procedure to put the variational equation of any order along the integral curve in reduced form provided that the previous one is in reduced form with an abelian Lie algebra. Thus, we obtain an effective way to check the Morales-Ramis-Simó criterion for testing meromorphic Liouville integrability of Hamiltonian systems.

Mots clés: Computer Algebra; Ordinary Differential Equations; Hamiltonian Systems; Lie Algebras; Complete Integrability; Differential Galois Theory

Domaines: Mathématiques générales [math.GM]

A. Aparicio-Monforte, Thomas Dreyfus, Jacques-Arthur Weil. Liouville integrability: An effective Morales–Ramis–Simó theorem. Journal of Symbolic Computation, 2016, 74, pp.537-560. ⟨10.1016/j.jsc.2015.08.009⟩. ⟨hal-01897311⟩