Abstract
We present an additive decomposition algorithm for q-hypergeometric terms. It decomposes a given term T as the sum of two terms, in which the former is q-summable and the latter is minimal in some technical sense. Moreover, the latter is zero if and only if T is q-summable. Although our additive decomposition is a q-analogue of the modified Abramov-Petkovšek reduction for usual hypergeometric terms, they differ in some subtle details. For instance, we need to reduce Laurent polynomials instead of polynomials in the q-case. The experimental results illustrate that the additive decomposition is more efficient than q-Gosper’s algorithm for determining q-summability when some q-dispersion concerning the input term becomes large. Moreover, the additive decomposition may serve as a starting point to develop a reduction-based creative-telesco** method for q-hypergeometric terms.
Dedicated to Professor Sergei A. Abramov on the occasion of his 70th birthday
H. Du—Supported by the NSFC grants 11501552.
H. Huang—Funded by the Austrian Science Fund (FWF) under grants Y464-N18 and W1214-N15 (project part 13).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
We thank Dr. Haitao ** for sending us his maple scripts on q-Gosper’s algorithm.
References
Abramov, S.A.: The rational component of the solution of a first order linear recurrence relation with a rational right hand side. Ž. Vyčisl. Mat. i Mat. Fiz. 15(4), 1035–1039, 1090 (1975)
Abramov, S.A., Petkovšek, M.: Minimal decomposition of indefinite hypergeometric sums. In: ISSAC 2001—Proceedings of the 26th International Symposium on Symbolic and Algebraic Computation, pp. 7–14 (electronic). ACM, New York (2001)
Abramov, S.A., Petkovšek, M.: Rational normal forms and minimal decompositions of hypergeometric terms. J. Symbolic Comput. 33(5), 521–543 (2002). Computer algebra, London, ON (2001)
Bostan, A., Chen, S., Chyzak, F., Li, Z., ** for hyperexponential functions. In: ISSAC 2013—Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation, pp. 77–84. ACM, New York (2013)
Bronstein, M., Li, Z., Wu, M.: Picard-Vessiot extensions for linear functional systems. In: ISSAC 2005—Proceedings of the 30th International Symposium on Symbolic and Algebraic Computation, pp. 68–75. ACM, New York (2005)
Chen, S., Huang, H., Kauers, M., Li, Z.: A modified Abramov-Petkovšek reduction and creative telesco** for hypergeometric terms. In: ISSAC 2015—Proceedings of the 40th International Symposium on Symbolic and Algebraic Computation, pp. 117–124. ACM, New York (2015)
Chen, S., Kauers, M., Koutschan, C.: Reduction-based creative telesco** for algebraic functions. In: ISSAC 2016—Proceedings of the 41st International Symposium on Symbolic and Algebraic Computation. ACM, New York (2016, to appear)
Chen, S., van Hoeij, M., Kauers, M., Koutschan, C.: Reduction-based creative telesco** for Fuchsian D-finite functions. J. Symbolic Comput. (to appear)
Chen, W.Y.C., Hou, Q.-H., Mu, Y.-P.: Applicability of the \(q\)-analogue of Zeilberger’s algorithm. J. Symbolic Comput. 39(2), 155–170 (2005)
Hardouin, C., Singer, M.F.: Differential Galois theory of linear difference equations. Math. Ann. 342(2), 333–377 (2008)
Karr, M.: Summation in finite terms. J. Assoc. Comput. Mach. 28(2), 305–350 (1981)
Koornwinder, T.H.: On Zeilberger’s algorithm and its q-analogue. J. Comput. Appl. Math. 48(1), 91–111 (1993)
Paule, P.: Greatest factorial factorization and symbolic summation. J. Symbolic Comput. 20(3), 235–268 (1995)
Paule, P., Riese, A.: A Mathematica \(q\)-analogue of Zeilberger’s algorithm based on an algebraically motivated approach to \(q\)-hypergeometric telesco**. In: Special Functions, \(q\)-Series and Related Topics, Toronto, ON, 1995. Fields Institute Communications, vol. 14, pp. 179–210 (1997). Amer. Math. Soc., Providence, RI (1997)
Schneider, C.: Simplifying sums in \({\Pi }{\varSigma }^*\)-extensions. J. Algebra Appl. 6(3), 415–441 (2007)
Acknowledgements
We thank the anonymous referee for helpful comments and valuable references.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this paper
Cite this paper
Du, H., Huang, H., Li, Z. (2018). A q-Analogue of the Modified Abramov-Petkovšek Reduction. In: Schneider, C., Zima, E. (eds) Advances in Computer Algebra. WWCA 2016. Springer Proceedings in Mathematics & Statistics, vol 226. Springer, Cham. https://doi.org/10.1007/978-3-319-73232-9_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-73232-9_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-73231-2
Online ISBN: 978-3-319-73232-9
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)