Parameter augmentation and the \(q\)-Gosper algorithm
type: Item
instance of: scholarly article
title: Parameter augmentation and the \(q\)-Gosper algorithm
zbMATH Open document ID: 1183.33040
author: Yan-Ping Mu
published in: Journal of Symbolic Computation
publication date: 2009-01-30T00:00:00Z
review text: Given a \(q\)--hypergeometric term \(A_k\) (i.e., \(A_{k+1}/A_k\) can be represented by a rational function in \(q^k\)), the \(q\)--Gosper algorithm decides in finitely many steps, if there exists a \(q\)-hypergeometric term \(g_k\) such that the telescoping equation \(g_{k+1}-g_k=A_k\) holds; in case of existence, it computes such a \(g_k\). In this article, the author follows Zeilberger's creative telescoping paradigm based on \(q\)-Gosper's algorithm to search for a recurrence relation in terms of a discrete parameter \(n\). In addition, an extra parameter \(f\) is involved that arises in a certain \(q\)--shifted factorial of \(A_k\), and the author hunts for particular values for \(f\) such that the found recurrence is simple (ideally, the recurrence should have order \(0\), i.e., \(A_k\) should be Gosper-summable). In this way, various classical basic hypergeometric identities and non-trivial extensions of them can be found.
reviewed by: Carsten Schneider
Mathematics Subject Classification ID: 33F10
Mathematics Subject Classification ID: 33D15
zbMATH DE Number: 5500870
zbMATH Keywords: basic hypergeometric series
zbMATH Keywords: \(q\)-Gosper algorithm
zbMATH Keywords: parameter augmentation
zbMATH Keywords: Bailey's very-well-poised \(_6\psi_6\) series
describes a project that uses: qZeil
MaRDI profile type: MaRDI publication profile
full work available at URL: j.jsc.2008.04.002
OpenAlex ID: W1970845717
cites work: A Short Proof of Jacobi's Formula for the Number of Representations of an Integer as a Sum of Four Squares
cites work: Algorithms for \(q\)-hypergeometric summation in computer algebra
cites work: CAUCHY AUGMENTATION FOR BASIC HYPERGEOMETRIC SERIES
cites work: Non-Terminating Basic Hypergeometric Series and the q-Zeilberger Algorithm
cites work: Q4400925
cites work: Parameter augmentation for basic hypergeometric series. II
cites work: Q4040189
cites work: Q4040884
cites work: SOME IDENTITIES IN COMBINATORIAL ANALYSIS
cites work: On Zeilberger's algorithm and its \(q\)-analogue
cites work: Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type
cites work: Q4341407
cites work: Q4875364
cites work: An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)'') multisum/integral identities
DOI: 10.1016/J.JSC.2008.04.002
Recommended article: Augmented non-quadratic penalty algorithms
Recommended article: Optimal parameters of GSOR-like methods for solving the augmented linear systems
Recommended article: An augmented LSQR method
Recommended article: Q3641513
Recommended article: Two-parameter GSOR method for the augmented system
Recommended article: Complexity and performance of an Augmented Lagrangian algorithm
Recommended article: Q3014624
Recommended article: Generalized quadratic augmented Lagrangian methods with nonmonotone penalty parameters
Recommended article: Q3557836
Recommended article: Parameterization based on randomized quasi-Monte Carlo methods
description: scientific article; zbMATH DE number 5500870