Skip to main content
SpringerLink
Log in

An Algorithmic Approach to the q-Summability Problem of Bivariate Rational Functions

  • Published:
Journal of Systems Science and Complexity Aims and scope Submit manuscript

Abstract

In 2014, Chen and Singer solved the summability problem of bivariate rational functions. Later an algorithmic proof was presented by Hou and the author. In this paper, the algorithm will be simplified and adapted to the q-case.

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. Gosper R W, Decision procedure for indefinite hypergeometric summation, Proc. Natl. Acad. Sci. USA, 1978, 75(1): 40–42.

    Article  MathSciNet  Google Scholar 

  2. Zeilberger D, A fast algorithm for proving terminating hypergeometric identities, Discrete Math., 1990, 80(2): 207–211.

    Article  MathSciNet  Google Scholar 

  3. Zeilberger D, The method of creative telescoping, J. Symbolic Comput., 1991, 11(3): 195–204.

    Article  MathSciNet  Google Scholar 

  4. Gel’fand I M, Graev M I, and Retakh V S, General hypergeometric systems of equations and series of hypergeometric type, Uspekhi Mat. Nauk (Russian), translation in Russian Math. Surveys, 1992, 47(4): 1–82.

    MathSciNet  MATH  Google Scholar 

  5. Chen S, Huang H, Kauers M, et al., A modified Abramov-Petkovšek reduction and creative telescoping for hypergeometric terms, Proceedings of ISSAC’15, New York, NY, USA, ACM, 2015, 117–124.

    Google Scholar 

  6. Du H and Li Z, The Ore-Sato theorem and shift exponents in the q-difference case, Journal of Systems Science & Complexity, 2019, 32(1): 271–286.

    Article  MathSciNet  Google Scholar 

  7. Abramov S A, The rational component of the solution of a first order linear recurrence relation with rational right hand side, Ž. Vyčisl. Mat. i Mat. Fiz., 1975, 15(4): 1035–1039, 1090.

    MathSciNet  Google Scholar 

  8. Abramov S A, Indefinite sums of rational functions, Proceedings of ISSAC’95, New York, NY, USA, ACM, 1995, 303–308.

    Google Scholar 

  9. Abramov S A and Hoeij M van, Integration of solutions of linear functional equations, Integral Transform. Spec. Funct., 1999, 8(1–2): 3–12.

    Article  MathSciNet  Google Scholar 

  10. Karr M, Summation in finite terms, J. Assoc. Comput. Mach., 1981, 28(2): 305–350.

    Article  MathSciNet  Google Scholar 

  11. Karr M, Theory of summation in finite terms, J. Symbolic Comput., 1985, 1(3): 303–315.

    Article  MathSciNet  Google Scholar 

  12. Apagodu M and Zeilberger D, Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory, Adv. in Appl. Math., 2006, 37(2): 139–152.

    Article  MathSciNet  Google Scholar 

  13. Koutschan C, A fast approach to creative telescoping, Math. Comput. Sci., 2010, 4(2–3): 259–266.

    Article  MathSciNet  Google Scholar 

  14. Schneider C, A new Sigma approach to multi-summation, Adv. in Appl. Math., 2005, 34(4): 740–767.

    Article  MathSciNet  Google Scholar 

  15. Chen W Y C, Hou Q H, and Mu Y P, A telescoping method for double summations, J. Comput. Appl. Math., 2006, 196(2): 553–566.

    Article  MathSciNet  Google Scholar 

  16. Chen S and Singer M F, On the summability of bivariate rational functions, J. Algebra, 2014, 409: 320–343.

    Article  MathSciNet  Google Scholar 

  17. Chen S, Bivariate extensions of Abramov’s algorithm for rational summation, Eds. by Schneider C and Zima E, Advances in Computer Algebra, Cham, Springer International Publishing, 2018, 93–104.

    Chapter  Google Scholar 

  18. Hou Q H and Wang R H, An algorithm for deciding the summability of bivariate rational functions, Adv. in Appl. Math., 2015, 64: 31–49.

    Article  MathSciNet  Google Scholar 

  19. Chen S, Du L, and Zhu C, Existence problem of telescopers for rational functions in three variables: The mixed cases, Proceedings of ISSAC’19, New York, NY, USA, ACM, 2019, 82–89.

    Google Scholar 

  20. Chen S, Hou Q H, Labahn G, et al., Existence problem of telescopers: Beyond the bivariate case, Proceedings of ISSAC’16, New York, NY, USA, ACM, 2016, 167–174.

    Google Scholar 

  21. Chen S and Kauers M, Some open problems related to creative telescoping, Journal of Systems Science & Complexity, 2017, 30(1): 154–172.

    Article  MathSciNet  Google Scholar 

  22. Kannan R and Bachem A, Polynomial algorithms for computing the Smith and Hermite normal forms of an integer matrix, SIAM J. Comput., 1979, 8(4): 499–507.

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

I would like to thank Professors Qing-Hu Hou and Shaoshi Chen for their helpful discussions, Doctors Hui Huang and Lixin Du for constructive comments on the earlier version of this paper.

Author information

Authors and Affiliations

  1. School of Mathematical Sciences, Tiangong University, Tianjin, 300387, China

    Rong-Hua Wang

Authors
  1. Rong-Hua Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Rong-Hua Wang.

Additional information

This paper was supported by the National Natural Science Foundation of China under Grant No. 11871067 and the Natural Science Foundation of Tianjin under Grant No. 19JCQNJC14500.

This paper was recommended for publication by Editor-in-Chief GAO Xiao-Shan.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Wang, RH. An Algorithmic Approach to the q-Summability Problem of Bivariate Rational Functions. J Syst Sci Complex 34, 107–121 (2021). https://doi.org/10.1007/s11424-020-9391-6

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11424-020-9391-6

Keywords

Search

Navigation