Abstract
Systems of linear q-difference equations with polynomial coefficients are considered. Equations in the system may have arbitrary orders. For such systems, algorithms for searching polynomial, rational, and hypergeometric solutions, as well as solutions in the form of Laurent series, are suggested. Implementations of these algorithms are discussed.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Kac, V. and Cheung, P., Quantum Calculus, New York: Springer, 2002.
Andrews, G.E., q-Series: Their development and application in analysis, number theory, combinatorics, physics, and computer algebra, CBMS Regional Conf. Series, Am. Math. Soc., 1986, vol. 66.
Andrews, G.E., The Theory of Partitions, Addison—Wesley, 1976.
van Hoeij, M., Rational solutions of linear difference equations, Proc. of ISSAC’98, 1998, pp. 120–123.
Abramov, S.A., Barkatou, M.A., and Khmelnov, D.E., On full rank differential systems with power series coefficients, J. Symbolic Computation, 2015, vol. 68, pp. 120—137.
Abramov, S.A., Ryabenko, A.A., and Khmelnov, D.E., Procedures for searching local solutions of linear differential systems with infinite power series in the role of coefficients, Program. Comput. Software, 2016, vol. 42, pp. 55–64.
Abramov, S.A. and Khmelnov, D.E., On valuations of meromorphic solutions of arbitrary-order linear difference systems with polynomial coefficients, Proc. of ISSAC’12, 2012, pp. 12–19.
Abramov, S.A., Rational solutions of linear differential and difference equations with polynomial coefficients, USSR Comput. Math. Phys., 1989, vol. 29, no. 11, pp. 7–12.
Abramov, S.A. and Barkatou, M.A., Rational solutions of first order linear difference systems, Proc. of ISSAC’98, 1998, pp. 124–131.
Barkatou, M.A., Rational solutions of matrix difference equations: Problem of equivalence and factorization, Proc. of ISSAC’99, 1999, pp. 277–282.
Barkatou, M.A., On rational solutions of systems of linear differential equations, J. Symbolic Computation, 1999, vol. 28, pp. 547–567.
Abramov, S.A. and Gheffar, A., Valuations of rational solutions of linear difference equations at irreducible polynomials, Adv. Appl. Math., 2010, vol. 47, pp. 352–364.
Abramov, S.A., Gheffar, A., and Khmelnov, D.E., Rational solutions of linear difference equations: Universal denominators and denominator bounds, Program. Comput. Software, 2011, vol. 37, no. 2, pp. 78–86.
Abramov, S.A., Gheffar, A., and Khmelnov, D.E., Factorization of polynomials and gcd computations for finding universal denominators, Proc. of CASC’2010, 2010, pp. 4–18.
Khmelnov, D.E., Improved algorithms for solving difference and q-difference equations, Program. Comput. Software, 2000, vol. 26, pp. 107–115.
Baranov, M.I., Local improvements of lower bounds for valuations of solutions of linear difference systems with meromorphic coefficients, Program. Comput. Software, 2014, pp. 93–97.
Abramov, S.A. and Khmelnov, D.E., On singular points of solutions of linear differential systems with polynomial coefficients, J. Math. Sci., 2012, vol. 185, no. 3, pp. 347—359.
Abramov, S.A., Rational solutions of linear q-differential and q-difference equations with polynomial coefficients, Program. Comput. Software, 1995, no. 6, pp. 3–11.
Abramov, S.A., A direct algorithm to compute rational solutions of first order linear-difference systems, Discrete Math., 2002, vol. 246, pp. 3–12.
Gheffar, A., Linear differential, difference and q-difference homogeneous equations having no rational solutions, ACM Commun. Comput. Algebra, 2010, vol. 44, no. 3, pp. 78–83.
Abramov, S., EG-eliminations, J. Difference Equations Appl., 1999, vol. 5, nos. 4–5, pp. 393–433.
Abramov, S.A. and Khmelnov, D.E., Denominators of rational solutions of linear difference systems of an arbitrary order, Program. Comput. Software, 2012, vol. 38, no. 2, pp. 84–91.
Khmelnov, D.E., Search for polynomial solutions of linear functional systems by means of induced recurrences, Program. Comput. Software, 2004, vol. 30, no. 2, pp. 61–67.
Middeke, J., Denominator bounds and polynomial solutions for systems of q-recurrences over for constant, Proc. of ISSAC’17, 2017, pp. 325–332.
Beckermann, B., Labahn, G., and Villard, G., Normal forms for general polynomial matrices, J. Symbolic Computation, 2006, vol. 41, pp. 708–737.
Middeke, J., A computational view on normal forms of matrices of Ore polynomials, Ph.D. Dissertation, Linz: Johannes Kepler University, 2011.
Abramov, S.A., Petkovsek, M., and Paule, P., q-Hypergeometric solutions of q-difference equations, Discrete Math., 1998, vol. 180, pp. 3–32.
Petkovsek, M., Hypergeometric solutions of linear recurrences with polynomial coefficients, J. Symbolic Computation, 1992, vol. 14, pp. 243–264.
van Hoeij, M., Finite singularities and hypergeometric solutions of linear recurrence equations, J. Pure Appl. Algebra, 1999, vol. 139, pp. 109–131.
Cluzeau, T. and van Hoeij, M., Computing hypergeometric solutions of linear recurrence equations, Appl. Algebra Eng. Comm. Comput., 2006, vol. 17, pp. 83–115.
Abramov, S.A., Petkovsek, M., and Ryabenko, A.A., Resolving sequences of operators for linear ordinary differential and difference systems, Comput. Math. Math. Phys., 2016, vol. 56, no. 7, pp. 894–910.
Maple online help. http: //www.maplesoft.com/support/help/
Abramov, S. and Bronstein, M., On solutions of linear functional systems, Proc. of ISSAC’2001, 2001, pp. 1–6.
Abramov, S.A. and Bronstein, M., Linear algebra for skew-polynomial matrices, Rapport de Recherche INRIA, RR-4420, March 2002. http://www.inria.fr/RRRT/RR-4420.html.
Abramov, S.A., EG-eliminations as a tool for computing rational solutions of linear q-difference systems of arbitrary order with polynomial coefficients, Proc. of 2nd Int. Computer Algebra Conf., Moscow, 2017, pp. 54–60.
Ryabenko, A.A., Search for hypergeometric solutions of q-difference systems by resolving sequences, Proc. of 2nd Int. Computer Algebra Conf., Moscow, 2017, pp. 151–157.
Abramov, S.A., Bronstein, M., and Khmelnov, D., Regularization of linear recurrence systems, Trans. Liapunov Inst., 2003, vol. 4, pp. 158–171.
Abramov, S. and Barkatou, M., On solution spaces of products of linear differential or difference operators, ACM Commun. Comput. Algebra, 2014, vol. 48, no. 4, pp. 155–165.
Man, Y.K. and Wright, F.J., Fast polynomial dispersion computation and its application to indefinite summation, Proc. ISSAC’94, 1994, pp. 175–180.
Abramov, S.A. and Bronstein, M., Hypergeometric dispersion and the orbit problem, Proc. ISSAC’00, 2000, pp. 8–13.
Petkovsek, M., Wilf, H.S., and Zeilberger, D., A = B, Peters, 1996.
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © S.A. Abramov, A.A. Ryabenko, D.E. Khmelnov, 2018, published in Programmirovanie, 2018, Vol. 44, No. 2.
Rights and permissions
About this article
Cite this article
Abramov, S.A., Ryabenko, A.A. & Khmelnov, D.E. Laurent, Rational, and Hypergeometric Solutions of Linear q-Difference Systems of Arbitrary Order with Polynomial Coefficients. Program Comput Soft 44, 120–130 (2018). https://doi.org/10.1134/S0361768818020020
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0361768818020020