The Abel lemma and the q-Gosper algorithm

DOI10.1007/S11464-006-0034-6zbMATH Open1222.33015OpenAlexW3013726163WikidataQ125019422 ScholiaQ125019422MaRDI QIDQ719940FDOQ719940

Authors Vincent Y. B. Chen, William Y. C. Chen, Nancy S. S. Gu 

Publication date 12 October 2011

Published in Frontiers of Mathematics in China (Search for Journal in Brave)

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

zbMATH Keywords

basic hypergeometric series\(q\)-Gosper algorithmAbel lemmaAbel pairsGosper pairs

Mathematics Subject Classification ID

Basic hypergeometric functions in one variable, ({}_rphi_s) (33D15) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Abstract: Chu has recently shown that the Abel lemma on summations by parts can serve as the underlying relation for Bailey's ${}_{6}ps{i}_6$ bilateral summation formula. In other words, the Abel lemma spells out the telescoping nature of the ${}_{6}ps{i}_6$ sum. We present a systematic approach to compute Abel pairs for bilateral and unilateral basic hypergeometric summation formulas by using the $q$-Gosper algorithm. It is demonstrated that Abel pairs can be derived from Gosper pairs. This approach applies to many classical summation formulas.

Cites work

• scientific article; zbMATH DE number 431568 (Why is no real title available?)
• scientific article; zbMATH DE number 3150929 (Why is no real title available?)
• scientific article; zbMATH DE number 2117212 (Why is no real title available?)
• A generalization of Gosper's algorithm to bibasic hypergeometric summation
• A simple proof of Ramanujan's summation of the \(_1\Psi_1\)
• Abel-Rothe type generalizations of Jacobi's triple product identity
• Algorithms for \(q\)-hypergeometric summation in computer algebra
• Bailey's very well-poised \(_6\psi_6\)-series identity
• Inversion of bilateral basic hypergeometric series
• On Zeilberger's algorithm and its \(q\)-analogue
• SERIES OF HYPERGEOMETRIC TYPE WHICH ARE INFINITE IN BOTH DIRECTIONS
• Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms
• Shorter Notes: A Simple Proof of Ramanujan's 1 Ψ 1 Sum
• Shorter Notes: On Ramanujan's Summation of 1 ψ 1 (a; b; z)
• \(q\)-hypergeometric solutions of \(q\)-difference equations

Describes a project that uses

Uses Software

• NewZeil.m
• ZEILBERGER
• qZEILBERGER
• pqTelescope

This page was built for publication: The Abel lemma and the \(q\)-Gosper algorithm

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