On the existence of telescopers for rational functions in three variables. (May 2021)

• Record Type: Journal Article
• Authors: Chen, Shaoshi; Du, Lixin; Wang, Rong-Hua; Zhu, Chaochao
• Is Part Of: Journal of symbolic computation. Volume 104(2021)
• Page Start: 494
• Page End: 522
• Publication Date: 2021-05
• Subjects: Creative telescoping -- Existence criterion -- Reduction -- Telescoper; Mathematics -- Data processing -- Periodicals; Numerical analysis -- Data processing -- Periodicals; Automatic programming (Computer science) -- Periodicals; Mathématiques -- Informatique -- Périodiques; Analyse numérique -- Informatique -- Périodiques; Programmation automatique -- Périodiques; Automatic programming (Computer science); Mathematics -- Data processing; Numerical analysis -- Data processing; Periodicals; Electronic journals; 510.285
• DOI: 10.1016/j.jsc.2020.08.006
• Languages: English
• ISSNs: 0747-7171

Abstract

Abstract: Zeilberger's method of creative telescoping is crucial for the computer-generated proofs of combinatorial and special-function identities. Telescopers are linear differential or ( q -)recurrence operators computed by algorithms for creative telescoping. Two fundamental problems related to creative telescoping are whether telescopers exist, and how to construct them efficiently when they do. In this paper, we solve the existence problem of telescopers for rational functions in three variables including 18 cases. We reduce the existence problem from the trivariate case to the bivariate case and some related problems. The existence criteria given in this paper enable us to determine the termination of algorithms for creative telescoping with trivariate rational inputs.