On well-posedness of vector-valued fractional differential-difference equations

We develop an operator-theoretical method for the analysis on well posedness of partial differential-difference equations that can be modeled in the form (*) {Delta(alpha) u(n) = Au(n + 2) + f(n, u(n)), n is an element of N-0, 1 < alpha <= 2; u(0) = u(0); u(1) = u(1); where A is a closed linear operator defined on a Banach space X. Our ideas are inspired on the Poisson distribution as a tool to sampling fractional differential operators into fractional differences. Using our abstract approach, we are able to show existence and uniqueness of solutions for the problem (*) on a distinguished class of weighted Lebesgue spaces of sequences, under mild conditions on sequences of strongly continuous families of bounded operators generated by A, and natural restrictions on the nonlinearity f. Finally we present some original examples to illustrate our results

Differential Galois Theory of Linear Difference Equations

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.Comment: 50 page

Parameterized generic Galois groups for q-difference equations, followed by the appendix "The Galois D-groupoid of a q-difference system" by Anne Granier

We introduce the parameterized generic Galois group of a q-difference module, that is a differential group in the sense of Kolchin. It is associated to the smallest differential tannakian category generated by the q-difference module, equipped with the forgetful functor. Our previous results on the Grothendieck conjecture for q-difference equations lead to an adelic description of the parameterized generic Galois group, in the spirit of the Grothendieck-Katz's conjecture on p-curvatures. Using this description, we show that the Malgrange-Granier D-groupoid of a nonlinear q-difference system coincides, in the linear case, with the parameterized generic Galois group introduced here. The paper is followed by an appendix by A. Granier, that provides a quick introduction to the D-groupoid of a non-linear q-difference equation.Comment: The content of this paper was previously included in arXiv:1002.483

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