A density theorem for parameterized differential Galois theory

We study parameterized linear differential equations with coefficients depending meromorphically upon the parameters. As a main result, analogously to the unparameterized density theorem of Ramis, we show that the parameterized monodromy, the parameterized exponential torus and the parameterized Stokes operators are topological generators in Kolchin topology, for the parameterized differential Galois group introduced by Cassidy and Singer. We prove an analogous result for the global parameterized differential Galois group, which generalizes a result by Mitschi and Singer. These authors give also a necessary condition on a group for being a global parameterized differential Galois group; as a corollary of the density theorem, we prove that their condition is also sufficient. As an application, we give a characterization of completely integrable equations, and we give a partial answer to a question of Sibuya about the transcendence properties of a given Stokes matrix. Moreover, using a parameterized Hukuhara-Turrittin theorem, we show that the Galois group descends to a smaller field, whose field of constants is not differentially closed.Comment: To appear in Pacific Journal of Mathematic

Real difference Galois theory

In this paper, we develop a difference Galois theory in the setting of real fields. After proving the existence and uniqueness of the real Picard-Vessiot extension, we define the real difference Galois group and prove a Galois correspondence.Comment: Final versio

Confluence of meromorphic solutions of q-difference equations

In this paper, we consider a q-analogue of the Borel-Laplace summation where q>1 is a real parameter. In particular, we show that the Borel-Laplace summation of a divergent power series solution of a linear differential equation can be uniformly approximated on a convenient sector, by a meromorphic solution of a corresponding family of linear q-difference equations. We perform the computations for the basic hypergeometric series. Following J. Sauloy, we prove how a fundamental set of solutions of a linear differential equation can be uniformly approximated on a convenient domain by a fundamental set of solutions of a corresponding family of linear q-difference equations. This leads us to the approximations of Stokes matrices and monodromy matrices of the linear differential equation by matrices with entries that are invariants by the multiplication by q

Differential transcendence criteria for second-order linear difference equations and elliptic hypergeometric functions

We develop general criteria that ensure that any non-zero solution of a given second-order difference equation is differentially transcendental, which apply uniformly in particular cases of interest, such as shift difference equations, q-dilation difference equations, Mahler difference equations, and elliptic difference equations. These criteria are obtained as an application of differential Galois theory for difference equations. We apply our criteria to prove a new result to the effect that most elliptic hypergeometric functions are differentially transcendental

Differential algebraic generating series of weighted walks in the quarter plane

In the present paper we study the nature of the trivariate generating series of weighted walks in the quarter plane. Combining the results of this paper to previous ones, we complete the proof of the following theorem. The series satisfies a nontrivial algebraic differential equation in one of its variable, if and only if it satisfies a nontrivial algebraic differential equation in each of its variables

Computing the Galois group of some parameterized linear differential equation of order two

We extend Kovacic's algorithm to compute the differential Galois group of some second order parameterized linear differential equation. In the case where no Liouvillian solutions could be found, we give a necessary and sufficient condition for the integrability of the system. We give various examples of computation.Comment: 14 pages, final version. To appear in Proceedings of the American Mathematical Societ