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$ sums (both nonterminating and terminating). The terminating sums may be used to arrive at product formulas for the norms of recently introduced ($q$-)Racah polynomials in several variables.
The Bailey lemma is a famous tool to prove Rogers-Ramanujan type identities. We use shifted versions of the Bailey lemma to derive $m$-versions of multisum Rogers-Ramanujan type identities. We also apply this method to the Well-Poised Bailey lemma and obtain a new extension of the Rogers-Ramanujan identities.
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.
Recently, Garvan obtained two-variable Hecke-Rogers identities for three universal mock theta functions $g_2(z;q),\,g_3(z;q),\,K(z;q)$ by using basic hypergeometric functions, and he proposed a problem of finding direct proofs of these identities by using Bailey pair technology. In this paper, we give proofs of Garvan's identities by applying Bailey's transform with the conjugate Bailey pair of Warnaar and three Bailey pairs deduced from two special cases of $_6ψ_6$ given by Slater. In particular, we obtain a compact form of two-variable Hecke-Rogers identity related to $g_3(z;q)$, which imply…
Using new $q$-functions recently introduced by Hatayama et al. and by (two of) the authors, we obtain an A_2 version of the classical Bailey lemma. We apply our result, which is distinct from the A_2 Bailey lemma of Milne and Lilly, to derive Rogers-Ramanujan-type identities for characters of the W_3 algebra.
In terms of Dougall's $_2H_2$ series identity and the series rearrangement method, we establish an interesting symmetric formula for hypergeometric series. Then it is utilized to derive a known nonterminating form of Saalschütz's theorem. Similarly, we also show that Bailey's $_6ψ_6$ series identity implies the nonterminating form of Jackson's $_8ϕ_7$ summation formula. Considering the reversibility of the proofs, it is routine to show that Dougall's $_2H_2$ series identity is equivalent to a known nonterminating form of Saalschütz's theorem and Bailey's $_6ψ_6$ series identity is equivalent t…
An elliptic $BC_n$ generalization of the classical two parameter Bailey Lemma is proved, and a basic one parameter $BC_n$ Bailey Lemma is obtained as a limiting case. Several summation and transformation formulas associated with the root system $BC_n$ are proved as applications, including a $_6ϕ_5$ summation formula, a generalized Watson transformation and an unspecialized Rogers--Selberg identity. The last identity is specialized to give an infinite family of multilateral Rogers--Selberg identities. Standard determinant evaluations are then used to compute $B_n$ and $D_n$ generalizations of t…
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 present two general finite extensions for each of the two Rogers-Ramanujan identities. Of these one can be derived directly from Watson's transformation formula by specialization or through Bailey's method, the second similar formula can be proved either by using the first formula and the q-Gosper algorithm, or through the so-called Bailey lattice.
It is known that $q$-orthogonal polynomials play an important role in the field of $q$-series and special functions. During studying Dyson's "favorite" identity of Rogers--Ramanujan type, Andrews pointed out that the classical orthogonal polynomials also have surprising applications in the world of $q$. By inserting Chebyshev polynomials of the third and the fourth kinds into Bailey pairs, Andrews derived a family of Rogers--Ramanujan type identities and also results related to mock theta functions and Hecke--type series. In this paper, by constructing a new Bailey pair involving Chebyshev pol…
A generalized Bailey pair, which contains several special cases considered by Bailey (\emph{Proc. London Math. Soc. (2)}, 50 (1949), 421--435), is derived and used to find a number of new Rogers-Ramanujan type identities. Consideration of associated $q$-difference equations points to a connection with a mild extension of Gordon's combinatorial generalization of the Rogers-Ramanujan identities (\emph{Amer. J. Math.}, 83 (1961), 393--399). This, in turn, allows the formulation of natural combinatorial interpretations of many of the identities in Slater's list (\emph{Proc. London Math. Soc. (2)} …
A multilateral Bailey Lemma is proved, and multiple analogues of the Rogers--Ramanujan identities and Euler's Pentagonal Theorem are constructed as applications. The extreme cases of the Andrews--Gordon identities are also generalized using the multilateral Bailey Lemma where their final form is written in terms of determinants of theta functions.
In this we paper we prove several new identities of the Rogers-Ramanujan-Slater type. These identities were found as the result of computer searches. The proofs involve a variety of techniques, including series-series identities, Bailey pairs, a theorem of Watson on basic hypergeometric series, generating functions and miscellaneous methods.
With the use of the $(f,g)$-matrix inversion under specializations that $f=1-xy,g=y-x$, we establish an $(1-xy,y-x)$-expansion formula. When specialized to basic hypergeometric series, this $(1-xy,y-x)$-expansion formula leads us to some expansion formulas expressing any ${}_{r}ϕ_{s}$ series in variable $x~t$ in terms of a linear combination of ${}_{r+2}ϕ_{s+1}$ series in $t$, as well as various specifications. All these results can be regarded as common generalizations of many konwn expansion formulas in the setting of $q$-series. As specific applications, some new transformation formulas of …
