The q-WZ method for infinite series

DOI10.1016/J.JSC.2008.11.005MaRDI QIDQ1023261zbMATH OpenOpenAlexFDO

Authors William Y. C. Chen, Ernest X. W. Xia

Publication date 11 June 2009

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

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

zbMATH Keywords

basic hypergeometric seriesthe \(q\)-Gosper algorithmthe \(q\)-WZ methodthe \(q\)-Zeilberger algorithm

Mathematics Subject Classification ID

Generalized hypergeometric series, ({}_pF_q) (33C20) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Abstract: Motivated by the telescoping proofs of two identities of Andrews and Warnaar, we find that infinite q-shifted factorials can be incorporated into the implementation of the q-Zeilberger algorithm in the approach of Chen, Hou and Mu to prove nonterminating basic hypergeometric series identities. This observation enables us to extend the q-WZ method to identities on infinite series. As examples, we will give the q-WZ pairs for some classical identities such as the q-Gauss sum, the ${}_{6}ph{i}_5$ sum, Ramanujan's ${}_{1}ps{i}_1$ sum and Bailey's ${}_{6}ps{i}_6$ sum.

Review text

The paper gives an extension of the \(q-WZ\) method to nonterminating basic hypergeometric series identities. Some examples are presented.

Recommendations

• Non-Terminating Basic Hypergeometric Series and the q-Zeilberger Algorithm
• A family of WZ pairs and \(q\)-identities
• Identities of nonterminating series by Zeilberger's algorithm
• Finding identities with the WZ method
• The method of combinatorial telescoping

Cites work

• \(q\)-Apéry irrationality proofs by \(q\)-WZ pairs
• A fast algorithm for proving terminating hypergeometric identities
• A generalization of Kummer's identity.
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• Decision procedure for indefinite hypergeometric summation
• Finding identities with the WZ method
• scientific article; zbMATH DE number 1996428 (Why is no real title available?)
• scientific article; zbMATH DE number 2117212 (Why is no real title available?)
• Identities of nonterminating series by Zeilberger's algorithm
• Non-Terminating Basic Hypergeometric Series and the q-Zeilberger Algorithm
• On Zeilberger's algorithm and its \(q\)-analogue
• Partial Theta Functions. I. Beyond the Lost Notebook
• Ramanujan's ``lost notebook. I: Partial Theta-functions
• Rational Functions Certify Combinatorial Identities
• The Markov-WZ method
• The product of partial theta functions
• Towards a WZ Evolution of the Mehta Integral
• Towards computerized proofs of identities

Cited in

(7)

• An algorithmic approach to discovering and proving \(q\)-series identities
• A family of WZ pairs and \(q\)-identities
• The \(q\)-Markov-WZ method
• scientific article; zbMATH DE number 6003204 (Why is no real title available?)
• Non-Terminating Basic Hypergeometric Series and the q-Zeilberger Algorithm
• The leading root of the partial theta function
• scientific article; zbMATH DE number 6262504 (Why is no real title available?)

Describes a project that uses

Uses Software

• MarkovWZ
• MarkovAZ
• ContMarkovWZ

This page was built for publication: The \(q\)-WZ method for infinite series

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