A family of WZ pairs and \(q\)-identities (Q2422105)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A family of WZ pairs and \(q\)-identities |
scientific article |
Statements
A family of WZ pairs and \(q\)-identities (English)
0 references
18 June 2019
0 references
In hypergeometric identity-proving, a Wilf-Zeilberger (WZ) pair consists of two bivariate functions $(F(n,k)$, $G(n,k))$, satisfying \[ F(n+1,k)-F(n,k) = G(n,k+1)-G(n,k). \] Under mild conditions, summing both sides of the above equation leads to the identity $\sum_{k=0}^\infty F(n,k) = $ a constant not depending on $n$. This paper observes that if $(F(n,k)$, $G(n,k))$ is a WZ pair, then so is \[ \big(F(n+k+1, k)+G(n+k, k), \, G(n+k, k)\big). \] As such, infinite families of identities can be generated.
0 references
WZ pair
0 references
basic hypergeometric series
0 references
Rogers-Fine identity
0 references
Euler's identity
0 references
$q$-Gauss sum
0 references