Liouville integrability: an effective Morales-Ramis-Simó theorem

DOI10.1016/J.JSC.2015.08.009zbMATH Open1418.37092arXiv1505.02808OpenAlexW1797947531MaRDI QIDQ898280FDOQ898280

Jacques-Arthur Weil, Thomas Dreyfus, Ainhoa Aparicio Monforte

Publication date: 8 December 2015

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Abstract: 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'o criterion for testing meromorphic Liouville integrability of Hamiltonian systems.

Full work available at URL: https://arxiv.org/abs/1505.02808

Recommendations

• Meromorphic nonintegrability of Hamiltonian systems
• Galoisian obstructions to integrability of Hamiltonian systems. I.
• Integrability of Hamiltonian systems and differential Galois groups of higher variational equations
• scientific article; zbMATH DE number 1969553
• Morales-Ramis theory and Kovacic's algorithm

zbMATH Keywords

computer algebradifferential Galois theoryHamiltonian systemsordinary differential equationscomplete integrabilityLie algebras

Mathematics Subject Classification ID

Explicit solutions, first integrals of ordinary differential equations (34A05) Completely integrable finite-dimensional Hamiltonian systems, integration methods, integrability tests (37J35) Lie algebras of linear algebraic groups (17B45) Applications of Lie algebras and superalgebras to integrable systems (17B80) Linear ordinary differential equations and systems in the complex domain (34M03) Formal solutions and transform techniques for ordinary differential equations in the complex domain (34M25) Obstructions to integrability for finite-dimensional Hamiltonian and Lagrangian systems (nonintegrability criteria) (37J30) Applications of linear algebraic groups to the sciences (20G45) Algebraic aspects (differential-algebraic, hypertranscendence, group-theoretical) of ordinary differential equations in the complex domain (34M15) Entire and meromorphic solutions to ordinary differential equations in the complex domain (34M05)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Picard-Vessiot Extensions of Real Differential Fields
• Galoisian obstructions to integrability of Hamiltonian systems. I.
• Title not available (Why is that?)
• On numerical approaches to the analysis of topology of the phase space for dynamical integrability
• Lie Algebraic Solution of Linear Differential Equations
• Integrability of Hamiltonian systems and differential Galois groups of higher variational equations
• Galoisian obstructions to integrability of Hamiltonian systems. II.
• Integrability of Hamiltonian systems with homogeneous potentials of degree zero
• Title not available (Why is that?)
• Galoisian obstructions to non-Hamiltonian integrability
• Jordan obstruction to the integrability of Hamiltonian systems with homogeneous potentials
• Title not available (Why is that?)
• A Reduction Method for Higher Order Variational Equations of Hamiltonian Systems
• A reduced form for linear differential systems and its application to integrability of Hamiltonian systems
• Effective algorithm of analysis of integrability via the Ziglin's method
• A characterization of reduced forms of linear differential systems
• Third order integrability conditions for homogeneous potentials of degree \(-1\)
• Differential Galois Theory of Algebraic Lie-Vessiot Systems
• Introduction to the Galois theory of linear differential equations
• Integrability of Hamiltonian systems with homogeneous potentials of degrees \(\pm 2\). An application of higher order variational equations
• Linearised higher variational equations
• Integrability of potentials of degree \(k \neq \pm 2\). Second order variational equations between Kolchin solvability and abelianity
• Integrability conditions at order 2 for homogeneous potentials of degree −1
• Conditions and evidence for non-integrability in the Friedmann-Robertson-Walker Hamiltonian
• Formal first integrals along solutions of differential systems I
• Non-integrability of Hamiltonian systems through high order variational equations: summary of results and examples
• Morales-Ramis theorems via Malgrange pseudogroup
• Swinging Atwood Machine: experimental and numerical results, and a theoretical study
• Solvable-by-finite groups as differential Galois groups
• Liouvillian solutions of linear differential equations with Liouvillian coefficients
• Around the numeric-symbolic computation of differential Galois groups
• Lie's reduction method and differential Galois theory in the complex analytic context
• Complete integrability beyond Liouville-Arnol'd
• Integrability of homogeneous systems. Results and problems
• Hrushovski's algorithm for computing the Galois group of a linear differential equation
• Computing necessary integrability conditions for planar parametrized homogeneous potentials
• Title not available (Why is that?)

Cited In (4)

• Galoisian methods for testing irreducibility of order two nonlinear differential equations
• A note on Liouvillian integrability
• Differential Galois Theory and Integration
• Computing the Lie algebra of the differential Galois group: the reducible case

This page was built for publication: Liouville integrability: an effective Morales-Ramis-Simó theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q898280)