Applicability of the q-analogue of Zeilberger's algorithm

DOI10.1016/J.JSC.2004.09.002zbMATH Open1126.33008arXivmath/0410222OpenAlexW1998769190MaRDI QIDQ2456539FDOQ2456539

Authors: William Y. C. Chen, Qing-Hu Hou, Yan-Ping Mu 

Publication date: 19 October 2007

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Abstract: The applicability or terminating condition for the ordinary case of Zeilberger's algorithm was recently obtained by Abramov. For the $q$-analogue, the question of whether a bivariate $q$-hypergeometric term has a $qZ$-pair remains open. Le has found a solution to this problem when the given bivariate $q$-hypergeometric term is a rational function in certain powers of $q$. We solve the problem for the general case by giving a characterization of bivariate $q$-hypergeometric terms for which the $q$-analogue of Zeilberger's algorithm terminates. Moreover, we give an algorithm to determine whether a bivariate $q$-hypergeometric term has a $qZ$-pair.

Full work available at URL: https://arxiv.org/abs/math/0410222

Recommendations

• On the \(q\)-analogue of Zeilberger's algorithm to rational functions
• When does Zeilberger's algorithm succeed?
• The extended Zeilberger algorithm with parameters
• scientific article; zbMATH DE number 2151211
• Non-Terminating Basic Hypergeometric Series and the q-Zeilberger Algorithm
• Parameter augmentation and the \(q\)-Gosper algorithm
• A \(q\)-analogue of the modified Abramov-Petkovšek reduction
• A criterion for the applicability of Zeilberger's algorithm to rational functions
• An extension of Zeilberger's fast algorithm to general holonomic functions
• scientific article; zbMATH DE number 2063248

zbMATH Keywords

Zeilberger's algorithm\(q\)-hypergeometric terms

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• On Zeilberger's algorithm and its \(q\)-analogue
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• \(q\)-hypergeometric solutions of \(q\)-difference equations
• Title not available (Why is that?)
• Rational normal forms and minimal decompositions of hypergeometric terms
• The method of creative telescoping
• On the structure of multivariate hypergeometric terms.
• Title not available (Why is that?)
• Algorithms for \(q\)-hypergeometric summation in computer algebra
• Theory of prehomogeneous vector spaces (algebraic part)—the English translation of Sato’s lecture from Shintani’s note
• When does Zeilberger's algorithm succeed?
• A criterion for the applicability of Zeilberger's algorithm to rational functions
• Title not available (Why is that?)
• General hypergeometric systems of equations and series of hypergeometric type
• \(k\)-free recurrences of double hypergeometric terms

Cited In (19)

• Residues and telescopers for bivariate rational functions
• How to generate all possible rational Wilf-Zeilberger pairs?
• The Ore-Sato theorem and shift exponents in the \(q\)-difference case
• Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms
• On homogeneous Zeilberger recurrences
• The extended Zeilberger algorithm with parameters
• Efficient \(q\)-integer linear decomposition of multivariate polynomials
• On the \(q\)-analogue of Zeilberger's algorithm to rational functions
• Title not available (Why is that?)
• Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱
• When does Zeilberger's algorithm succeed?
• On the existence of telescopers for mixed hypergeometric terms
• Telescopers for differential forms with one parameter
• On the existence of telescopers for rational functions in three variables
• A criterion for the applicability of Zeilberger's algorithm to rational functions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some open problems related to creative telescoping
• A \(q\)-analogue of the modified Abramov-Petkovšek reduction

Uses Software

• qZeil

This page was built for publication: Applicability of the \(q\)-analogue of Zeilberger's algorithm

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2456539)