We give a new proof of a theorem of Zudilin that equates a very-well-poised hypergeometric series and a particular multiple integral. This integral generalizes integrals of Vasilenko and Vasilyev which were proposed as tools in the study of the arithmetic behaviour of values of the Riemann zeta function at integers. Our proof is based on limiting cases of a basic hypergeometric identity of Andrews.
A new multiple-integral representation of a general family of very-well-poised hypergeometric series is proved. Inspite of an analytic character of the result, it is motivated by the recent arithmetic progress for the values of the Riemann zeta function at odd integers. The multiple integrals are of Euler-type and can be viewed as a natural generalization of Beukers' integrals for $ζ(2)$ and $ζ(3)$.
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 …
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…
The idea to use classical hypergeometric series and, in particular, well-poised hypergeometric series in diophantine problems of the values of the polylogarithms has led to several novelties in number theory and neighbouring areas of mathematics. Here we present a systematic approach to derive second-order polynomial recursions for approximations to some values of the Lerch zeta function, depending on the fixed (but not necessarily real) parameter $α$ satisfying the condition $\Re(α)<1$. Substituting $α=0$ into the resulting recurrence equations produces the famous recursions for rational appr…
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 …
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…
In 1981, Andrews gave a four-variable generalization of Ramanujan's ${_1ψ_1}$ summation formula. We establish a six-variable generalization of Andrews' identity according to the transformation formula for two ${_8ϕ_7}$ series and Bailey's transformation formula for three ${_8ϕ_7}$ series. Then it is used to find a six-variable generalization of Ramanujan's reciprocity theorem, which is different from Liu's formula. We derive the generalizations of Bailey's two $_3ψ_3$ summation formulas in terms of two limiting relations and Bailey's another transformation formula for three $_8ϕ_7$ series. Bas…
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.
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…
We study Macdonald polynomials from a basic hypergeometric series point of view. In particular, we show that the Pieri formula for Macdonald polynomials and its recently discovered inverse, a recursion formula for Macdonald polynomials, both represent multivariable extensions of the terminating very-well-poised 6-phi-5 summation formula. We derive several new related identities including multivariate extensions of Jackson's very-well-poised 8-phi-7 summation. Motivated by our basic hypergeometric analysis, we propose an extension of Macdonald polynomials to Macdonald symmetric functions indexe…
We describe a uniform way of obtaining basic hypergeometric functions as limits of the elliptic beta integral. This description gives rise to the construction of a polytope with a different basic hypergeometric function attached to each face of this polytope. We can subsequently obtain various relations, such as transformations and three-term relations, of these functions by considering geometrical properties of this polytope. The most general functions we describe in this way are sums of two very-well-poised ${}_{10}ϕ_9$'s and their Nassrallah-Rahman type integral representation.
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.
We use Andrews' $q$-analogues of Watson's and Whipple's $_3F_2$ summation theorems to deduce two formulas for products of specific basic hypergeometric functions. These constitute $q$-analogues of corresponding product formulas for ordinary hypergeometric functions given by Bailey. The first formula was obtained earlier by Jain and Srivastava by a different method.
This is a brief overview of the index hypergeometric transform (other terms for this integral operator are: Olevskii transform, Jacobi transform, generalized Mehler--Fock transform). We discuss applications of this transform to special functions and harmonic analysis. The text is an addendum to the Russian edition of the book by G.E.Andrews, R.Askey, and R.Roy, Special Functions, Encycl. of Math. Appl. 71, Cambridge Univ. Press, 1999.
In this paper, we explore the symmetric nature of the terminating basic hypergeometric series representations of the Askey--Wilson polynomials and the corresponding terminating basic hypergeometric transformations that these polynomials satisfy. In particular we identify and classify the set of 4 and 7 equivalence classes of terminating balanced ${}_4ϕ_3$ and terminating very-well poised ${}_8W_7$ basic hypergeometric series which are connected with the Askey--Wilson polynomials. We study the inversion properties of these equivalence classes and also identify the connection of both sets of equ…
We use elliptic Taylor series expansions and interpolation to deduce a number of summations for elliptic hypergeometric series. We extend to the well-poised elliptic case results that in the $q$-case have previously been obtained by Cooper and by Ismail and Stanton. We also provide identities involving S. Bhargava's cubic theta functions.
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…
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})$ …
In this article we continue the work from arXiv:0902.0621. In that article Eric Rains and the present author considered the limits of the elliptic beta integral as p->0 while the parameters t_r have a p-dependence of the form t_r=u_rp^{α_r} (for fixed u_r and certain real numbers α_r). In this article we again consider such limits, but now we let p->0 along a geometric sequence p=xq^{sk} (for some integer s, while k -> \infty), and only allow α_r\in 2/s Z. These choices allow us to take many more limits. In particular we now also obtain bilateral basic hypergeometric series as possible limits,…
It is shown how Andrews' multidimensional extension of Watson's transformation between a very-well-poised $_8ϕ_7$-series and a balanced $_4ϕ_3$-series can be used to give a straightforward proof of a conjecture of Zudilin and the second author on the arithmetic behaviour of the coefficients of certain linear forms of 1 and Catalan's constant. This proof is considerably simpler and more stream-lined than the first proof, due to the second author.
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.
In many cases one may encounter an integral which is of $q$-Mellin--Barnes type. These integrals are easily evaluated using theorems which have a long history dating back to Slater, Askey, Gasper, Rahman and others. We derive some interesting $q$-Mellin--Barnes integrals and using them we derive transformation and summation formulas for nonterminating basic hypergeometric functions. The cases which we treat include ratios of theta functions, the Askey--Wilson moments, nonterminating well-poised ${}_3ϕ_2$, nonterminating very-well-poised ${}_5W_4$, ${}_8W_7$, products of two nonterminating ${}_…
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.
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 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.
We examine a special linear combination of balanced very-well-poised $\tphia$ basic hypergeometric series that is known to satisfy a transformation. We call this $Φ$ and show that it satisfies certain three-term contiguous relations. From two sets of contiguous relations for $Φ$ we obtain fifty-six pairwise linearly independent solutions to a three-term recurrence that generalizes the recurrence for Askey-Wilson polynomials. The associated continued fraction is evaluated using Pincherle's theorem. From this continued fraction we are able to derive a discrete system of biorthogonal rational fun…
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 proofs of all the key summation theorems for terminating Hypergeometric Series and Basic Hypergeometric Series, including the terminating Binomial Theorem, the Chu--Vandermonde sum, the Pfaff--Saalch\" utz sum, and their $q$-analogues. We also give a proof of Jackson's $q$-analog of Dougall's sum, the sum of a terminating, balanced, very-well-poised $_8ϕ_7$ sum. …
Eigenfunctions of the Askey-Wilson second order $q$-difference operator for $0<q<1$ and $|q|=1$ are constructed as formal matrix coefficients of the principal series representation of the quantized universal enveloping algebra $U_q(sl(2,\mathbb{C}))$. The eigenfunctions are in integral form and may be viewed as analogues of Euler's integral representation for Gauss' hypergeometric series. We show that for $0<q<1$ the resulting eigenfunction can be rewritten as a very-well-poised ${}_8ϕ_7$-series, and reduces for special parameter values to a natural elliptic analogue of the cosine kernel.
Some rapidly convergent formulae for special values of the Riemann zeta function are given. We obtain a generating function formula for zeta(4n+3) which generalizes Apery's series for zeta(3), and appears to give the best possible series relations of this type, at least for n<12. The formula reduces to a finite but apparently non-trivial combinatorial identity. The identity is equivalent to an interesting new integral evaluation for the central binomial coefficient. We outline a new technique for transforming and summing certain infinite series. We also derive a beautiful formula which provide…
This monograph is intended to be considered as my habilitation (D.Sc.) thesis; because of that and as everything has already appeared in English, it is performed exclusively in Russian. The monograph comprises a detailed introduction and seven chapters that represent part of my work influenced by Apéry's proof from 1978 of the irrationality of $ζ(2)$ and $ζ(3)$, the values of Riemann's zeta function. Chapter 1 is about "at least one of the four numbers $ζ(5)$, $ζ(7)$, $ζ(9)$ and $ζ(11)$ is irrational" (based in part on arXiv:math.NT/0206176). Chapter 2 explains a connection between the general…
In this paper, we extend an expansion formula of Liu to multiple basic hypergeometric series over the root system $A_{n}.$ The usefulness of Liu's expansion formula in special functions and number theory has been shown by Liu and many others. We first establish a very general multiple expansion formula over the root system $A_{n}$ and then deduce several $A_{n}$ extensions of Liu's expansion formula. From these multiple formulas, we derive two groups of multiple expansion formulas for infinite products. As applications, we deduce an $A_{n}$ Rogers' $\text{}_{6}ϕ_{5}$ summation, an $A_{n}$ exte…
