Nonlinear differential Galois theory

This article is interested in pullbacks under the logarithmic derivative of algebraic ordinary differential equations. In particular, assuming the solution set of an equation is internal to the constants, we would like to determine when its pullback is itself internal to the constants. To do so, we develop, using model-theoretic Galois theory and differential algebra, a connection between internality of the pullback and the splitting of a short exact sequence of algebraic Gal...

For a field k$with an automorphism \sigma and a derivation \delta, we introduce the notion of liouvillian solutions of linear difference-differential systems {\sigma(Y) = AY, \delta(Y) = BY} over k and characterize the existence of liouvillian solutions in terms of the Galois group of the systems. We will give an algorithm to decide whether such a system has liouvillian solutions when k = C(x,t), \sigma(x) = x+1, \delta = d/dt$ and the size of the system is a prime.

We present a Galois theory of difference equations designed to measure the differential dependencies among solutions of linear difference equations. With this we are able to reprove Hoelder's Theorem that the Gamma function satisfies no polynomial differential equation and are able to give general results that imply, for example, that no differential relationship holds among solutions of certain classes of q-hypergeometric functions.

We study the inverse problem in the difference Galois theory of linear differential equations over the difference-differential field $\mathbb{C}(x)$ with derivation $\frac{d}{dx}$ and endomorphism $f(x)\mapsto f(x+1)$. Our main result is that every linear algebraic group, considered as a difference algebraic group, occurs as the difference Galois group of some linear differential equation over $\mathbb{C}(x)$.

We point out the relevance of the Differential Galois Theory of linear differential equations for the exact semiclassical computations in path integrals in quantum mechanics. The main tool will be a necessary condition for complete integrability of classical Hamiltonian systems obtained by Ramis and myself : if a finite dimensional complex analytical Hamiltonian system is completely integrable with meromorphic first integrals, then the identity component of the Galois group o...

We study the relation between the Galois group $G$ of a linear difference-differential system and two classes $\mathcal{C}_1$ and $\mathcal{C}_2$ of groups that are the Galois groups of the specializations of the linear difference equation and the linear differential equation in this system respectively. We show that almost all groups in $\mathcal{C}_1\cup \mathcal{C}_2$ are algebraic subgroups of $G$, and there is a nonempty subset of $\mathcal{C}_1$ and a nonempty subset of...

We study a necessary condition for the integrability of the polynomials fields in the plane by means of the differential Galois theory. More concretely, by means of the variational equations around a particular solution it is obtained a necessary condition for the existence of a rational first integral. The method is systematic starting with the first order variational equation. We illustrate this result with several families of examples. A key point is to check wether a suit...

In this paper, we prove a new characterization theorem for Picard-Vessiot extensions whose differential Galois groups have solvable identity components.

The classical Galois theory deals with certain finite algebraic extensions and establishes a bijective order reversing correspondence between the intermediate fields and the subgroups of a group of permutations called the Galois group of the extension. It has been the dream of many mathematicians at the end of the nineteenth century to generalize these results to systems of algebraic partial differential (PD) equations and the corresponding finitely generated differential ext...

In this paper we develop a differential Galois theory for algebraic Lie-Vessiot systems in algebraic homogeneous spaces. Lie-Vessiot systems are non autonomous vector fields that are linear combinations with time-dependent coefficients of fundamental vector fields of an algebraic Lie group action. Those systems are the building blocks for differential equations that admit superposition of solutions. Lie-Vessiot systems in algebraic homogeneous spaces include the case of linea...