Nonlinear differential Galois theory

Let $k$ be a differential field of characteristic zero and $E$ be a liouvillian extension of $k$. For any differential subfield $K$ intermediate to $E$ and $k$, we prove that there is an element in the set $K-k$ satisfying a linear homogeneous differential equation over $k$. We apply our results to study liouvillian solutions of first order non linear differential equations and provide generalisations and new proofs for several results of M. Singer and M. Rosenlicht on this t...

We study the interplay between the differential Galois group and the Lie algebra of infinitesimal symmetries of systems of linear differential equations. We show that some symmetries can be seen as solutions of a hierarchy of linear differential systems. We show that the existence of rational symmetries constrains the differential Galois group in the system in a way that depends of the Maclaurin series of the symmetry along the zero solution.

This paper is an overview of our works which are related to investigations of the integrability of natural Hamiltonian systems with homogeneous potentials and Newton's equations with homogeneous velocity independent forces. The two types of integrability obstructions for these systems are presented. The first, local ones, are related to the analysis of the differential Galois group of variational equations along a non-equilibrium particular solution. The second, global ones, ...

We present a Galois theory of parameterized linear differential equations where the Galois groups are linear differential algebraic groups, that is, groups of matrices whose entries are functions of the parameters and satisfy a set of differential equations with respect to these parameters. We present the basic constructions and results, give examples, discuss how isomonodromic families fit into this theory and show how results from the theory of linear differential algebraic...

We develop algorithms to compute the differential Galois group $G$ associated to a parameterized second-order homogeneous linear differential equation of the form \[ \tfrac{\partial^2}{\partial x^2} Y + r_1 \tfrac{\partial}{\partial x} Y + r_0 Y = 0, \] where the coefficients $r_1, r_0 \in F(x)$ are rational functions in $x$ with coefficients in a partial differential field $F$ of characteristic zero. Our work relies on the procedure developed by Dreyfus to compute $G$ under ...

The theme of this paper is to `solve' an absolutely irreducible differential module explicitly in terms of modules of lower dimension and finite extensions of the differential field $K$. Representations of semi-simple Lie algebras and differential Galois theory are the main tools. The results extend the classical work of G. Fano.

This paper is dedicated to the differential Galois theory in the complex analytic context for Lie-Vessiot systems. Those are the natural generaliza- tion of linear systems, and the more general class of differential equations adimitting superposition laws, as recently stated in [5]. A Lie-Vessiot sys- tem is automatically translated into a equation in a Lie group that we call automorphic system. Reciprocally an automorphic system induces a hierarchy of Lie-Vessiot systems. In...

We develop a Galois theory for linear differential equations equipped with the action of an endomorphism. This theory is aimed at studying the difference algebraic relations among the solutions of a linear differential equation. The Galois groups here are linear difference algebraic groups, i.e., matrix groups defined by algebraic difference equations.

We give a characterization of real Liouville extensions by differential Galois groups.

In this paper we introduce a notion of integrability in the non autonomous sense. For the cases of 1 + 1/2 degrees of freedom and quadratic homogeneous Hamiltonians of 2 + 1/2 degrees of freedom we prove that this notion is equivalent to the classical complete integrability of the system in the extended phase space. For the case of quadratic homogeneous Hamiltonians of 2 + 1/2 degrees of freedom we also give a reciprocal of the Morales-Ramis result. We classify those systems ...