inria-00072862
https://inria.hal.science/inria-00072862
https://inria.hal.science/inria-00072862/document
https://inria.hal.science/inria-00072862/file/RR-3797.pdf
[INRIA] INRIA - Institut National de Recherche en Informatique et en Automatique
[INRIA-SOPHIA] INRIA Sophia Antipolis - Méditerranée
[INRIA-RRRT] Rapports de recherche et Technique de l'Inria
[INRIASO] INRIA-SOPHIA
[INRIA_TEST] INRIA - Institut National de Recherche en Informatique et en Automatique
[TESTALAIN1] TESTALAIN1
[INRIA2] INRIA 2
[LARA] LARA
On solutions of Linear Ordinary Difference Equations in their Coefficient Field
Bronstein, Manuel
[INFO.INFO-OH] Computer Science [cs]/Other [cs.OH]
REPORT
DIFFERENCE EQUATIONS
Q-DIFFERENCE EQUATIONS
RATIONAL SOLUTIONS
HYPERGEOMETRIC COEFFICIENTS
We extend the notion of monomial extensions of differential fields, i.e. simp- le transcendental extensions in which the polynomials are closed under differentiation, to difference fields. The structure of such extensions provides an algebraic framework for solving generalized linear difference equations with coefficients in such fields. We then describe algorithms for finding the denominator of any solution of those equations in an important subclass of monomial extensions that includes transcendental indefinite sums and products. This reduces the general problem of finding the solutions of such equations in their coefficient fields to bounding their degrees. In the base case, this yields in particular a new algorithm for computing the rational solutions of q-difference equations with polynomial coefficients.
1999-11
2006-05-24
en