A Generalization of Gosper's Algorithm to Bibasic Hypergeometric Summation

An algebraically motivated generalization of Gosper's algorithm to indefinite bibasic hypergeometric summation is presented. In particular, it is shown how Paule's concept of greatest factorial factorization of polynomials can be extended to the bibasic case. It turns out that most of the bibasic hypergeometric summation identities from literature can be proved and even found this way. A Mathematica implementation of the algorithm is available from the author.

[1]  Mizan Rahman,et al.  An Indefinite Bibasic Summation Formula and Some Quadratic, Cubic and Quartic Summation and Transformation Formulas , 1990, Canadian Journal of Mathematics.

[2]  David E. Scott.  Summation , 1984, Peptides.

[3]  George Gasper,et al.  Summation, transformation, and expansion formulas for bibasic series , 1989 .

[4]  Diploma Thesis,et al.  A Mathematica q-Analogue of Zeilberger's Algorithm for Proving q-Hypergeometric Identities , 1995 .

[5]  Sergei A. Abramov,et al.  q-Hypergeometric solutions of q-difference equations , 1998, Discret. Math..

[6]  R. W. Gosper.  Decision procedure for indefinite hypergeometric summation. , 1978, Proceedings of the National Academy of Sciences of the United States of America.

[7]  Ira M. Gessel,et al.  Applications of q-lagrange inversion to basic hypergeometric series , 1983 .

[8]  Doron Zeilberger,et al.  An algorithmic proof theory for hypergeometric (ordinary and “q”) multisum/integral identities , 1992 .

[9]  W. A. Al-Salam,et al.  On Quadratic Transformations of Basic Series , 1984 .

[10]  T. Koornwinder,et al.  BASIC HYPERGEOMETRIC SERIES (Encyclopedia of Mathematics and its Applications) , 1991 .

[11]  Doron Zeilberger,et al.  A fast algorithm for proving terminating hypergeometric identities , 1990, Discret. Math..

[12]  Peter Paule,et al.  Greatest Factorial Factorization and Symbolic Summation , 1995, J. Symb. Comput..

[13]  Mizan Rahman,et al.  Basic Hypergeometric Series , 1990 .

[14]  Peter Paule,et al.  A Mathematica q-Analogue of Zeilberger's Algorithm Based on an Algebraically Motivated Approach to q-Hypergeometric Telescoping , 1991 .

[15]  Peter Paule,et al.  SYMBOLIC SUMMATION SOME RECENT DEVELOPMENTS , 1995 .