Skip to main content
SpringerLink
Log in

Laurent, Rational, and Hypergeometric Solutions of Linear q-Difference Systems of Arbitrary Order with Polynomial Coefficients

  • Published:
Programming and Computer Software Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Kac, V. and Cheung, P., Quantum Calculus, New York: Springer, 2002.

    Book  MATH  Google Scholar 

  2. 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.

    Google Scholar 

  3. Andrews, G.E., The Theory of Partitions, Addison—Wesley, 1976.

    MATH  Google Scholar 

  4. van Hoeij, M., Rational solutions of linear difference equations, Proc. of ISSAC’98, 1998, pp. 120–123.

    Google Scholar 

  5. 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.

    Article  MathSciNet  MATH  Google Scholar 

  6. 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.

    Article  MathSciNet  MATH  Google Scholar 

  7. 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.

    Google Scholar 

  8. 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.

    Article  MathSciNet  MATH  Google Scholar 

  9. Abramov, S.A. and Barkatou, M.A., Rational solutions of first order linear difference systems, Proc. of ISSAC’98, 1998, pp. 124–131.

    Google Scholar 

  10. Barkatou, M.A., Rational solutions of matrix difference equations: Problem of equivalence and factorization, Proc. of ISSAC’99, 1999, pp. 277–282.

    Google Scholar 

  11. Barkatou, M.A., On rational solutions of systems of linear differential equations, J. Symbolic Computation, 1999, vol. 28, pp. 547–567.

    Article  MathSciNet  MATH  Google Scholar 

  12. 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.

    MathSciNet  MATH  Google Scholar 

  13. 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.

    Article  MathSciNet  MATH  Google Scholar 

  14. 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.

    Google Scholar 

  15. Khmelnov, D.E., Improved algorithms for solving difference and q-difference equations, Program. Comput. Software, 2000, vol. 26, pp. 107–115.

    Article  MathSciNet  Google Scholar 

  16. 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.

    Google Scholar 

  17. 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.

    Article  MathSciNet  MATH  Google Scholar 

  18. 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.

    Google Scholar 

  19. Abramov, S.A., A direct algorithm to compute rational solutions of first order linear-difference systems, Discrete Math., 2002, vol. 246, pp. 3–12.

    Article  MathSciNet  MATH  Google Scholar 

  20. 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.

    MathSciNet  MATH  Google Scholar 

  21. Abramov, S., EG-eliminations, J. Difference Equations Appl., 1999, vol. 5, nos. 4–5, pp. 393–433.

    Article  MathSciNet  Google Scholar 

  22. 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.

    Article  MathSciNet  MATH  Google Scholar 

  23. 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.

    Article  MathSciNet  MATH  Google Scholar 

  24. Middeke, J., Denominator bounds and polynomial solutions for systems of q-recurrences over for constant, Proc. of ISSAC’17, 2017, pp. 325–332.

    Google Scholar 

  25. Beckermann, B., Labahn, G., and Villard, G., Normal forms for general polynomial matrices, J. Symbolic Computation, 2006, vol. 41, pp. 708–737.

    Article  MathSciNet  MATH  Google Scholar 

  26. Middeke, J., A computational view on normal forms of matrices of Ore polynomials, Ph.D. Dissertation, Linz: Johannes Kepler University, 2011.

    Google Scholar 

  27. Abramov, S.A., Petkovsek, M., and Paule, P., q-Hypergeometric solutions of q-difference equations, Discrete Math., 1998, vol. 180, pp. 3–32.

    Article  MathSciNet  MATH  Google Scholar 

  28. Petkovsek, M., Hypergeometric solutions of linear recurrences with polynomial coefficients, J. Symbolic Computation, 1992, vol. 14, pp. 243–264.

    Article  MathSciNet  MATH  Google Scholar 

  29. van Hoeij, M., Finite singularities and hypergeometric solutions of linear recurrence equations, J. Pure Appl. Algebra, 1999, vol. 139, pp. 109–131.

    Article  MathSciNet  MATH  Google Scholar 

  30. Cluzeau, T. and van Hoeij, M., Computing hypergeometric solutions of linear recurrence equations, Appl. Algebra Eng. Comm. Comput., 2006, vol. 17, pp. 83–115.

    Article  MathSciNet  MATH  Google Scholar 

  31. 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.

    Article  MathSciNet  MATH  Google Scholar 

  32. Maple online help. http: //www.maplesoft.com/support/help/

  33. Abramov, S. and Bronstein, M., On solutions of linear functional systems, Proc. of ISSAC’2001, 2001, pp. 1–6.

    Google Scholar 

  34. 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.

    Google Scholar 

  35. 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.

    Google Scholar 

  36. 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.

    Google Scholar 

  37. Abramov, S.A., Bronstein, M., and Khmelnov, D., Regularization of linear recurrence systems, Trans. Liapunov Inst., 2003, vol. 4, pp. 158–171.

    Google Scholar 

  38. 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.

    MathSciNet  MATH  Google Scholar 

  39. Man, Y.K. and Wright, F.J., Fast polynomial dispersion computation and its application to indefinite summation, Proc. ISSAC’94, 1994, pp. 175–180.

    Google Scholar 

  40. Abramov, S.A. and Bronstein, M., Hypergeometric dispersion and the orbit problem, Proc. ISSAC’00, 2000, pp. 8–13.

    Google Scholar 

  41. Petkovsek, M., Wilf, H.S., and Zeilberger, D., A = B, Peters, 1996.

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dorodnicyn Computing Center, Federal Research Center “Computer Science and Control” of Russian Academy of Sciences, ul. Vavilova 40, Moscow, 119333, Russia

    S. A. Abramov, A. A. Ryabenko & D. E. Khmelnov

Authors
  1. S. A. Abramov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. A. Ryabenko
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. D. E. Khmelnov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to S. A. Abramov.

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

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0361768818020020

Search

Navigation