A family of WZ pairs and \(q\)-identities (Q2422105): Difference between revisions

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.