A reduced form for linear differential systems and its application to integrability of Hamiltonian systems

  • Authors:

  • Ainhoa Aparicio-Monforte;Jacques-Arthur Weil

  • Affiliations:

  • RISC, Johannes Kepler University, Altenberger Strasse 69 A-4040 Linz, Austria;XLIM (CNRS & Universitéé de Limoges) - 123, avenue Albert Thomas - 87060 Limoges Cedex, France

  • Venue:
  • Journal of Symbolic Computation
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

Let k be a differential field with algebraic closure k@?, and let [A]:Y^'=AY with A@?M"n(k) be a linear differential system. Denote by g the Lie algebra of the differential Galois group of [A]. We say that a matrix R@?M"n(k@?) is a reduced form of [A] if R@?g(k@?) and there exists P@?GL"n(k@?) such that R=P^-^1(AP-P^')@?g(k@?). Such a form is often the sparsest possible attainable through gauge transformations without introducing new transcendents. In this paper, we discuss how to compute reduced forms of some symplectic differential systems, arising as variational equations of Hamiltonian systems. We use this to give an effective form of the Morales-Ramis theorem on (non-)-integrability of Hamiltonian systems.