Rational Summation and Gosper-Petkovsek Representation

Indefinite summation essentially deals with the problem of inverting the difference operator Δ: f(X) → f(X + 1) - f(X). In the case of rational functions over a field k we consider the following version of the problem: given α ε k(X), determine β, γ ε k (X) such that α = Δβ+γ, where γ is as "small" as possible (in a suitable sense). In particular, we address the question: what can be said about the denominators of a solution (β, γ) by looking at the denominator of α only? An "optimal" answer to this question can be given in terms of the Gosper-Petkov sek representation for rational functions, which was originally invented for the purpose of indefinite hypergeometric summation. This information can be used to construct a simple new algorithm for the rational summation problem.