ABSTRACT
We investigate which polynomials can possibly occur as factors in the denominators of rational solutions of a given partial linear difference equation (PLDE). Two kinds of polynomials are to be distinguished, we call them periodic and aperiodic. The main result is a generalization of a well-known denominator bounding technique for univariate equations to PLDEs. This generalization is able to find all the aperiodic factors of the denominators for a given PLDE.
- Sergei A. Abramov. On the summation of rational functions. Zh. vychisl. mat. Fiz, pages 1071--1075, 1971.Google Scholar
- Sergei A. Abramov. Problems in computer algebra that are connected with a search for polynomial solutions of linear differential and difference equations. Moscow Univ. Comput. Math. Cybernet., 3:63--68, 1989.Google Scholar
- Sergei A. Abramov. Rational solutions of linear difference and q-difference equations with polynomial coefficients. In Proc. ISSAC'95, July 1995. Google ScholarDigital Library
- Sergei A. Abramov and K. Yu. Kvashenko. Fast algorithms to search for the rational solutions of linear differential equations with polynomial coefficients. In Proc. ISSAC'91, pages 267--270, 1991. Google ScholarDigital Library
- Moulay Barkatou. Rational solutions of matrix difference equations: The problem of equivalence and factorization. In Proc. ISSAC'99, pages 277--282, 1999. Google ScholarDigital Library
- Alin Bostan, Frederic Chyzak, Thomas Cluzeau, and Bruno Salvy. Low complexity algorithms for linear recurrences. In Jean-Guillaume Dumas, editor, Proc. ISSAC'06, pages 31--39, 2006. Google ScholarDigital Library
- Manuel Bronstein. On solutions of linear ordinary difference equations in their coefficient field. Journal of Symbolic Computation, 29:841--877, 2000. Google ScholarDigital Library
- William Y. C. Chen, Peter Paule, and Husam L. Saad. Converging to Gosper's algorithm. Adv. in Appl. Math., 41(3):351--364, 2008.Google ScholarDigital Library
- Amel Gheffar and Sergei Abramov. Valuations of rational solutions of linear difference equations at irreducible polynomials. (submitted).Google Scholar
- Serge Lang. Linear Algebra. Springer, 1987.Google ScholarCross Ref
- Marko Petkovšek. Hypergeometric solutions of linear recurrences with polynomial coefficients. Journal of Symbolic Computation, 14(2--3):243--264, 1992. Google ScholarDigital Library
- Carsten Schneider. A collection of denominator bounds to solve parameterized linear difference equations in ΠΣ-extensions. In Proc. SYNASC'04, pages 269--282, 2004.Google Scholar
- Mark van Hoeij. Rational solutions of linear difference equations. In Proc. ISSAC'98, pages 120--123, 1998. Google ScholarDigital Library
- Christian Weixlbaumer. Solutions of difference equations with polynomial coefficients. Master's thesis, RISC-Linz, 2001.Google Scholar
Index Terms
- Partial denominator bounds for partial linear difference equations
Recommendations
Linear partial q-difference equations on q-linear lattices and their bivariate q-orthogonal polynomial solutions
Orthogonal polynomial solutions of an admissible potentially self-adjoint linear second-order partial q-difference equation of the hypergeometric type in two variables on q-linear lattices are analyzed. A q-Pearson's system for the orthogonality weight ...
Linear partial difference equations of hypergeometric type: Orthogonal polynomial solutions in two discrete variables
In this paper a systematic study of the orthogonal polynomial solutions of a second order partial difference equation of hypergeometric type of two variables is done. The Pearson's systems for the orthogonality weight of the solutions and also for the ...
A refined denominator bounding algorithm for multivariate linear difference equations
ISSAC '11: Proceedings of the 36th international symposium on Symbolic and algebraic computationWe continue to investigate which polynomials can possibly occur as factors in the denominators of rational solutions of a given partial linear difference equation. In an earlier article we have introduced the distinction between periodic and aperiodic ...
Comments