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 summation. Similarly, we apply Rogers' nonterminating 6-phi-5 summation and elementary series manipulations to give a simple proof of Bailey's very-well-poised 6-psi-6 summation. Our method of proof extends M. Jackson's first elementary proof of Ramanujan's 1-psi-1 summation.
We establish a number of extensions of the well-poised Bailey lemma and elliptic well-poised Bailey lemma. As application we prove some new transformation formulae for basic and elliptic hypergeometric series, and embed some recent identities of Andrews, Berkovich and Spiridonov in a well-poised Bailey tree.
Adapting a method used by Cauchy, Bailey, Slater, and more recently, the second author, we give a new proof of Bailey's celebrated 6-psi-6 summation formula.
We obtain extensions of classical hypergeometric identities of Bailey and Whipple that transform nearly-poised and very-well-poised series to Saalschützian series, Saalschützian series to Saalschützian series, and very-well-poised and nearly-poised series to very-well-poised series. We employ a method in which summations and transformations of lower-order series are used to obtain transformations of higher-order series. By taking limits, we also obtain extensions of two classical quadratic transformations of Whipple and Bailey. Furthermore, we show how a number of other well-known results rega…
We list $A_n$, $C_n$ and $D_n$ extensions of the elliptic WP Bailey transform and lemma, given for $n=1$ by Andrews and Spiridonov. Our work requires multiple series extensions of Frenkel and Turaev's terminating, balanced and very-well-poised ${}_{10}V_9$ elliptic hypergeometric summation formula due to Rosengren, and Rosengren and Schlosser. In our study, we discover two new $A_n$ ${}_{12}V_{11}$ transformation formulas, that reduce to two new $A_n$ extensions of Bailey's $_{10}ϕ_9$ transformation formulas when the nome $p$ is $0$, and two multiple series extensions of Frenkel and Turaev's s…
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 very-well-poised 6-psi-6 summation", Proc. Amer. Math. Soc., to appear) of Bailey's very-well-poised 6-psi-6 summation. Using a similar but different method, we now give elementary derivations of some transformations for bilateral basic hypergeometric series. In particular, these include M. Jackson's very-well-poised 8-psi-8 transformation, a very-well-poised …
A multidimensional generalization of Bailey's very-well-poised bilateral basic hypergeometric ${}_6ψ_6$ summation formula and its Dougall type ${}_5H_5$ hypergeometric degeneration for $q\to 1$ is studied. The multiple Bailey sum amounts to an extension corresponding to the case of a nonreduced root system of certain summation identities associated to the reduced root systems that were recently conjectured by Aomoto and Ito and proved by Macdonald. By truncation, we obtain multidimensional analogues of the very-well-poised unilateral (basic) hypergeometric Rogers ${}_6ϕ_5$ and Dougall ${}_5F_4…
We give an r-dimensional generalization of H. S. Shukla's very-well-poised 8-psi-8 summation formula. We work in the setting of multiple basic hypergeometric series very-well-poised over the root system A_{r-1}, or equivalently, the unitary group U(r). Our proof, which is already new in the one-dimensional case, utilizes an A_{r-1} nonterminating very-well-poised 6-phi-5 summation by S. C. Milne, a partial fraction decomposition, and analytic continuation.
The aim of this paper is to establish new series transforms of Bailey type and to show that these Bailey type transforms work as efficiently as the classical one and give not only new $q$-hypergeometric identities, converting double or triple series into a very-well-poised $_{10}Φ_9$ or $_{12}Φ_{11}$ series but can also be utilized to derive new double and triple series Rogers-Ramanujan type identities and corresponding infinite families of Rogers-Ramanujan type identities.
We announce a higher-dimensional generalization of the Bailey Transform, Bailey Lemma, and iterative ``Bailey chain'' concept in the setting of basic hypergeometric series very well-poised on unitary $A_{\ell}$ or symplectic $C_{\ell}$ groups. The classical case, corresponding to $A_1$ or equivalently $\roman U(2)$, contains an immense amount of the theory and application of one-variable basic hypergeometric series, including elegant proofs of the Rogers-Ramanujan-Schur identities. In particular, our program extends much of the classical work of Rogers, Bailey, Slater, Andrews, and Bressoud.
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 $_{9}F_8(1)$ to $_{9}F_8(1)$ transformation are extended. These extensions are derived by applying the well-known Bailey's transform method along with the classical very well-poised summation and transformation theorems for very well-poised hypergeometric functions and the Rakha and Rathie's extension of the Saalschütz's theorem. To show importance and applications …
In [Electron. J. Combin. 10 (2003), #R10], the author presented a new basic hypergeometric matrix inverse with applications to bilateral basic hypergeometric series. This matrix inversion result was directly extracted from an instance of Bailey's very-well-poised 6-psi-6 summation theorem, and involves two infinite matrices which are not lower-triangular. The present paper features three different multivariable generalizations of the above result. These are extracted from Gustafson's A_r and C_r extensions and of the author's recent A_r extension of Bailey's 6-psi-6 summation formula. By combi…
In this article, we derive some identities for multilateral basic hypergeometric series associated to the root system A_n. First, we apply Ismail's argument to an A_n q-binomial theorem of Milne and derive a new A_n generalization of Ramanujan's 1-psi-1 summation theorem. From this new A_n 1-psi-1 summation and from an A_n 1-psi-1 summation of Gustafson we deduce two lemmas for deriving simple A_n generalizations of bilateral basic hypergeometric series identities. These lemmas are closely related to the Macdonald identities for A_n. As samples for possible applications of these lemmas, we pro…
By multidimensional matrix inversion, combined with an A_r extension of Jackson's 8-phi-7 summation formula by Milne, a new multivariable 8-phi-7 summation is derived. By a polynomial argument this 8-phi-7 summation is transformed to another multivariable 8-phi-7 summation which, by taking a suitable limit, is reduced to a new multivariable extension of the nonterminating 6-phi-5 summation. The latter is then extended, by analytic continuation, to a new multivariable extension of Bailey's very-well-poised 6-psi-6 summation formula.
We deduce new q-series identities by applying inverse relations to certain identities for basic hypergeometric series. The identities obtained themselves do not belong to the hierarchy of basic hypergeometric series. We extend two of our identities, by analytic continuation, to bilateral summation formulae which contain Ramanujan's 1-psi-1 summation and a very-well-poised 4-psi-6 summation as special cases.
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 involves two infinite matrices which are not lower-triangular. We combine our bilateral matrix inverse with known basic hypergeometric summation theorems to derive, via inverse relations, several new identities for bilateral basic hypergeometric series.
Using multiple q-integrals and a determinant evaluation, we establish a multivariable extension of Bailey's nonterminating 10-phi-9 transformation. From this result, we deduce new multivariable terminating 10-phi-9 transformations, 8-phi-7 summations and other identities. We also use similar methods to derive new multivariable 1-psi-1 summations. Some of our results are extended to the case of elliptic hypergeometric series.
In this paper we consider a function $L(\vec{x})=L(a,b,c,d;e;f,g)$, which can be written as a linear combination of two Saalschützian ${}_4F_3(1)$ hypergeometric series or as a very-well-poised ${}_7F_6(1)$ hypergeometric series. We explore two-term and three-term relations satisfied by the $L$ function and put them in the framework of group theory. We prove a fundamental two-term relation satisfied by the $L$ function and show that this relation implies that the Coxeter group $W(D_5)$, which has 1920 elements, is an invariance group for $L(\vec{x})$. The invariance relations for $L(\vec{x})$ …
We present some elementary derivations of summation and transformation formulas for q-series, which are different from, and in several cases simpler or shorter than, those presented in the Gasper and Bahman [1990] "Basic Hypergeometric Series" book (which we will refer to as BHS), the Bailey [1935] and Slater [1966] books, and in some papers; thus providing deeper insights into the theory of q-series. Our main emphasis is on methods that can be used to derive formulas, rather than to just verify previously derived or conjectured formulas. In section 5 this approach leads to the derivation of a…
