The q -WZ method for infinite series

Motivated by the telescoping proofs of two identities of Andrews and Warnaar, we find that infinite q -shifted factorials can be incorporated into the implementation of the q -Zeilberger algorithm in the approach of Chen, Hou and Mu to prove nonterminating basic hypergeometric series identities. Thi...

Full description

Saved in:

Bibliographic Details
Published in:	Journal of symbolic computation Vol. 44; no. 8; pp. 960 - 971
Main Authors:	Chen, William Y.C., Xia, Ernest X.W.
Format:	Journal Article
Language:	English
Published:	Elsevier Ltd 01.08.2009
Subjects:	Basic hypergeometric series The [formula omitted]-Gosper algorithm The [formula omitted]-WZ method The [formula omitted]-Zeilberger algorithm Basic hypergeometric series The q -Gosper algorithm The q -WZ method The q -Zeilberger algorithm
ISSN:	0747-7171, 1095-855X
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	Motivated by the telescoping proofs of two identities of Andrews and Warnaar, we find that infinite q -shifted factorials can be incorporated into the implementation of the q -Zeilberger algorithm in the approach of Chen, Hou and Mu to prove nonterminating basic hypergeometric series identities. This observation enables us to extend the q -WZ method to identities on infinite series. We give the q -WZ pairs for some classical identities such as the q -Gauss sum, the 6 ϕ 5 sum, the Ramanujan’s 1 ψ 1 sum and Bailey’s 6 ψ 6 sum.
ISSN:	0747-7171 1095-855X
DOI:	10.1016/j.jsc.2008.11.005