Abstract
We observe that \((F(n+k+1,k)+G(n+k,k), G(n+k,k))\) is a WZ pair provided that (F(n, k), G(n, k)) is a WZ pair. This observation enables us to construct a bilateral sequence of WZ pairs starting from a single WZ pair. As an application, we give a one-line proof of the Rogers–Fine identity. Moreover, combing this observation and the q-WZ method for infinite series, we are able to derive a series of identities from a single q-identity. We illustrate this approach by Euler’s identity and the q-Gauss sum.
Similar content being viewed by others
References
Amdeberhan, T., Zeilberger, D.: Hypergeometric series acceleration via the WZ method. Electron. J. Combin. 4(2), R3 (1997)
Andrews, G.: Two theorems of Gauss and allied identities proved arithmetically. Pac. J. Math. 41(3), 563–578 (1972)
Chen, W.Y.C., Xia, E.X.W.: The \(q\)-WZ method for infinite series. J. Symb. Comput. 44(8), 960–971 (2009)
Fine, N.J.: Basic Hypergeometric Series and Applications. American Mathematical Society, Providence (1988)
Gasper, G., Rahman, M.: Basic Hypergeometric Series, 2nd edn. Cambridge University Press, Cambridge (2004)
Gessel, I.M.: Finding identities with the WZ method. J. Symb. Comput. 20(5), 537–566 (1995)
Habil, E.D.: Double sequences and double series. Islamic Univ. J. Series Nat. Stud. Eng. 14(1), 1–32 (2006)
Koornwinder, T.H.: On Zeilbergers algorithm and its \(q\)-analogue. J. Comput. Appl. Math. 48, 91–111 (1993)
Rogers, L.J.: On two theorems of combinatory analysis and some allied identities. Proc. Lond. Math. Soc. 2(1), 315–336 (1917)
Wilf, H.S., Zeilberger, D.: Rational functions certify combinatorial identities. J. Am. Math. Soc. 3(1), 147–158 (1990)
Zeilberger, D.: Closed form (pun intended!). Contemp. Math. 143, 579–579 (1993)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supported by the National Natural Science Foundation of China (Grants 11471244 and 11771330).
Rights and permissions
About this article
Cite this article
Mu, YP. A family of WZ pairs and q-identities. Ramanujan J 49, 97–104 (2019). https://doi.org/10.1007/s11139-018-0077-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11139-018-0077-9