Related papers: A symmetric formula for hypergeometric series
This paper argues that automated proofs of identities for non-terminating hypergeometric series are feasible by a combination of Zeilberger's algorithm and asymptotic estimates. For two analogues of Saalsch\"utz' summation formula in the…
We present a systematic method for proving nonterminating basic hypergeometric identities. Assume that $k$ is the summation index. By setting a parameter $x$ to $xq^n$, we may find a recurrence relation of the summation by using the…
We give new proofs for certain bilateral basic hypergeometric summation formulas using the symmetries of the corresponding series. In particular, we present a proof for Bailey's $_3\psi_3$ summation formula as an application. We also prove…
A multidimensional generalization of Bailey's very-well-poised bilateral basic hypergeometric ${}_6\psi_6$ summation formula and its Dougall type ${}_5H_5$ hypergeometric degeneration for $q\to 1$ is studied. The multiple Bailey sum amounts…
By using contiguous relations for basic hypergeometric series, we give simple proofs of Bailey's $_4\phi_3$ summation, Carlitz's $_5\phi_4$ summation, Sears' $_3\phi_2$ to $_5\phi_4$ transformation, Sears' ${}_4\phi_3$ transformations,…
We prove some new semi-finite forms of bilateral basic hypergeometric series. One of them yields in a direct limit Bailey's celebrated ${}_6\psi_6$ summation formula, answering a question recently raised by Chen and Fu ({\em Semi-Finite…
We study multivariable (bilateral) basic hypergeometric series associated with (type $A$) Macdonald polynomials. We derive several transformation and summation properties for such series including analogues of Heine's ${}_2\phi_1$…
We give elementary derivations of some classical summation formulae for bilateral (basic) hypergeometric series. In particular, we apply Gauss' 2-F-1 summation and elementary series manipulations to give a simple proof of Dougall's 2-H-2…
We obtain extensions of classical hypergeometric identities of Bailey and Whipple that transform nearly-poised and very-well-poised series to Saalsch\"utzian series, Saalsch\"utzian series to Saalsch\"utzian series, and very-well-poised and…
Using Bailey's very-well-poised $_6\psi_6$ summation, we show that a specific sequence of well-poised bilateral basic hypergeometric $_3\psi_3$ series form a family of orthogonal functions on the unit circle. We further extract a bilateral…
We survey the applications of an elementary identity used by Euler in one of his proofs of the Pentagonal Number Theorem. Using a suitably reformulated version of this identity that we call Euler's Telescoping Lemma, we give alternate…
We present a new matrix inverse with applications in the theory of bilateral basic hypergeometric series. Our matrix inversion result is directly extracted from an instance of Bailey's very-well-poised 6-psi-6 summation theorem, and…
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…
The classical summation and transformation theorems for very well-poised hypergeometric functions, namely, $_{5}F_4(1)$ summation, Dougall's $_{7}F_6(1)$ summation, Whipple's $_{7}F_6(1)$ to $_{4}F_3(1)$ transformation and Bailey's…
Applying the triplicate form of the extended Gould--Hsu inverse series relations to Dougall's summation theorem for the well--poised $_7F_6$-series, we establish, from the dual series, several interesting Ramanujan--like infinite series…
Several new identities for elliptic hypergeometric series are proved. Remarkably, some of these are elliptic analogues of identities for basic hypergeometric series that are balanced but not very-well-poised.
We give elementary derivations of several classical and some new summation and transformation formulae for bilateral basic hypergeometric series. For purpose of motivation, we review our previous simple proof ("A simple proof of Bailey's…
A multiple generalization of elliptic hypergeometric series is investigated and a duality transformation for multiple hypergeometric series is proposed. Our duality transformation obtained from an identity arising from the Cauchy…
In 1981, Andrews gave a four-variable generalization of Ramanujan's ${_1\psi_1}$ summation formula. We establish a six-variable generalization of Andrews' identity according to the transformation formula for two ${_8\phi_7}$ series and…
An elementary proof is given for a nonterminating "strange" cubic $_7F_6$-series summation formula of Gasper and Rahman, through the modified Abel lemma on summation by parts. As a byproduct, an interesting nonterminating…