Solving difference equations in finite terms

Abstract

We define the notion of a Liouvillian sequence and show that the solution space of a difference equation with rational function coefficients has a basis of Liouvillian sequences iff the Galois group of the equation is solvable. Using this we give a procedure to determine the Liouvillian solutions of such a difference equation. © 1999 Academic Press.