Showing 1–2 of 2 results for author: Aparicio-Monforte, A

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

Authors: Ainhoa Aparicio-Monforte, Thomas Dreyfus, Jacques-Arthur Weil

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ó criterion for testing meromorphic Liouville integ… ▽ More 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. △ Less

Submitted 21 September, 2015; v1 submitted 11 May, 2015; originally announced May 2015.

Comments: 29 pages

MSC Class: 37J30; 34A05; 68W30; 34M03; 34M15; 34M25; 17B45

Journal ref: Journal of Symbolic Computation. Vol. 74, (2016), p. 537-560

A Characterization of Reduced Forms of Linear Differential Systems

Authors: Ainhoa Aparicio-Monforte, Elie Compoint, Jacques-Arthur Weil

Abstract: A differential system $[A] : \; Y'=AY$, with $A\in \mathrm{Mat}(n, \bar{k})$ is said to be in reduced form if $A\in \mathfrak{g}(\bar{k})$ where $\mathfrak{g}$ is the Lie algebra of the differential Galois group $G$ of $[A]$. In this article, we give a constructive criterion for a system to be in reduced form. When $G$ is reductive and unimodular, the system $[A]$ is in reduced form if and only if… ▽ More A differential system $[A] : \; Y'=AY$, with $A\in \mathrm{Mat}(n, \bar{k})$ is said to be in reduced form if $A\in \mathfrak{g}(\bar{k})$ where $\mathfrak{g}$ is the Lie algebra of the differential Galois group $G$ of $[A]$. In this article, we give a constructive criterion for a system to be in reduced form. When $G$ is reductive and unimodular, the system $[A]$ is in reduced form if and only if all of its invariants (rational solutions of appropriate symmetric powers) have constant coefficients (instead of rational functions). When $G$ is non-reductive, we give a similar characterization via the semi-invariants of $G$. In the reductive case, we propose a decision procedure for putting the system into reduced form which, in turn, gives a constructive proof of the classical Kolchin-Kovacic reduction theorem. △ Less

Submitted 21 October, 2012; v1 submitted 28 June, 2012; originally announced June 2012.

Comments: To appear in : Journal of Pure and Applied Algebra

MSC Class: 34M03; 34M15; 34M25; 34Mxx; 20Gxx; 17B45; 17B80; 34A05; 34A26; 34A99