The Abel lemma and the q-Gosper algorithm

DOI10.1007/S11464-006-0034-6zbMATH Open1222.33015arXivmath/0607359OpenAlexW3013726163WikidataQ125019422 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)

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.

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)

Cites Work

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

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)