The extended Zeilberger algorithm with parameters

• Published in: Journal of symbolic computation Vol. 47; no. 6; pp. 643 - 654
• Main Authors: Chen, William Y.C., Hou, Qing-Hu, Mu, Yan-Ping
• Format: Journal Article
• Language: English
• Published: Elsevier Ltd 01.06.2012
• Subjects: Hypergeometric series; Orthogonal polynomials; The extended Zeilberger algorithm; The Gosper algorithm; Zeilberger’s algorithm; Hypergeometric series; The extended Zeilberger algorithm; The Gosper algorithm; Zeilberger’s algorithm; Orthogonal polynomials
• ISSN: 0747-7171; 1095-855X
• DOI: 10.1016/j.jsc.2011.12.024

Two hypergeometric terms f(k) and g(k) are said to be similar if the ratio f(k)/g(k) is a rational function of k. For similar hypergeometric terms f1(k),…,fm(k), we present an algorithm, called the extended Zeilberger algorithm, for deriving a linear relation among the sums Fi=∑kfi(k)(1≤i≤m) with polynomial coefficients. When the summands f1(k),…,fm(k) contain a parameter x, we further impose the condition that the coefficients of Fi in the linear relation are x-free. Such linear relations with x-free coefficients can be used to determine the structure relations for orthogonal polynomials and to derive recurrence relations for the connection coefficients between two sequences of orthogonal polynomials. The extended Zeilberger algorithm can be easily adapted to basic hypergeometric terms. As examples, we use the algorithm or its q-analogue to establish linear relations among orthogonal polynomials and to derive recurrence relations with multiple parameters for hypergeometric sums or basic hypergeometric sums.