The Abel Lemma and the q-Gosper Algorithm

DOI10.1090/S0025-5718-07-01968-0MaRDI QIDQ5444318zbMATH OpenOpenAlexWikidataFDO

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

Publication date 25 February 2008

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

Full work available at URL https://doi.org/10.1090/s0025-5718-07-01968-0

zbMATH Keywords

basic hypergeometric series\(q\)-Gosper algorithmAbel pairsGosper pairsAbel Lemma

Mathematics Subject Classification ID

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

Recommendations

• Abel's lemma on summation by parts and basic hypergeometric series
• Abel's Lemma on summation by parts and partial \(q\)-series transformations
• Abel's method on summation by parts and terminating well-poised \(q\)-series identities
• Abel's lemma and identities on harmonic numbers
• Abel's method on summation by parts and well-poised bilateral \(_{5}\psi _{5}\)-series identities

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 \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
• 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
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• Bailey's very well-poised _6_6-series identity
• Inversion of bilateral basic hypergeometric series
• Non-Terminating Basic Hypergeometric Series and the q-Zeilberger Algorithm
• On Lerch's Transcendant and the Basic Bilateral Hypergeometric Series ₂ ψ₂
• On Zeilberger's algorithm and its \(q\)-analogue
• On a Transformation of Bilateral Series with Applications
• 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
• Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type
• 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
• Über Polynome, die gleichzeitig zwei verschiedenen Orthogonalsystemen angehören

Cited in

(4)

• A new three-term relation for an indefinite sum of a very well poised basic hypergeometric series
• \(q\)-Gosper algorithm and simple Bailey pairs
• Telescoping method, summation formulas, and inversion pairs
• A common recursive formula for Ramanujan’s ₁𝜓₁ and Bailey’s very-well-poised ₆𝜓₆ summation formulas

Describes a project that uses

Uses Software

• pqTelescope
• qZEILBERGER
• ZEILBERGER

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 Q5444318)