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 Hölder’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 equations.