In recent work (math.QA/0309252) on multivariate hypergeometric integrals, the author generalized a conjectural integral formula of van Diejen and Spiridonov to a ten parameter integral provably invariant under an action of the Weyl group E_7. In the present note, we consider the action of the affine Weyl group, or more precisely, the recurrences satisfied by special cases of the integral. These are of two flavors: linear recurrences that hold only up to dimension 6, and three families of bilinear recurrences that hold in arbitrary dimension, subject to a condition on the parameters. As a corollary, we find that a codimension one special case of the integral is a tau function for the elliptic Painlevé equation.
The central idea of this article is to present a systematic approach to construct some recurrence relations for the solutions of the second-order linear difference equation of hypergeometric-type defined on the quadratic-type lattices. We introduce some recurrence relations for such solutions by also considering their applications to polynomials on the quadratic-type lattices.
We show that there exist infinitely many particular choices of parameters for which the three-term recurrence relations governing the expansions of the solutions of the general Heun equation in terms of the Gauss hypergeometric functions become two-term. In these cases the coefficients are explicitly written in terms of the gamma functions.
We show that there exist infinitely many nontrivial choices of parameters of the single confluent Heun equation for which the three-term recurrence relations governing the expansions of the solutions in terms of the confluent hypergeometric functions 1F1 and 0F1 are reduced to two-term ones. In such cases the expansion coefficients are explicitly calculated in terms of the Euler gamma functions.
For $a,b,p\in \mathbb{R}$, $-c\notin \mathbb{N\cup }\left\{ 0\right\} $ and $ θ\in \left[ -1,1\right] $, let \begin{equation*} U_{θ}\left( x\right) =\left( 1-θx\right) ^{p}F\left( a,b;c;x\right) =\sum_{n=0}^{\infty }u_{n}\left( θ\right) x^{n}. \end{equation*}% In this paper, we prove that the coefficients $u_{n}\left( θ\right) $ for $n\geq 0$ satisfies a 3-order recurrence relation. In particular, $ u_{n}\left( 1\right) $ satisfies a 2-order recurrence relation. These offer a new way to study for hypergeometric function. As an example, we present the necessary and sufficient conditions such th…
Six families of generalized hypergeometric series in a variable $x$ and an arbitrary number of parameters are considered. Each of them is indexed by an integer $n$. Linear recurrence relations in $n$ relate these functions and their product by the variable $x$. We give explicit factorizations of these equations as products of first order recurrence operators. Related recurrences are also derived for the derivative with respect to $x$. These formulas generalize well-known properties of the classical orthogonal polynomials.
We examine the expansions of the solutions of the general Heun equation in terms of the Gauss hypergeometric functions. We present several expansions using functions, the forms of which differ from those applied before. In general, the coefficients of the expansions obey three-term recurrence relations. However, there exist certain choices of the parameters for which the recurrence relations become two-term. The coefficients of the expansions are then explicitly expressed in terms of the gamma functions. Discussing the termination of the presented series, we show that the finite-sum solutions …
We investigate the recurrence coefficients of discrete orthogonal polynomials on the non-negative integers with hypergeometric weights and show that they satisfy a system of non-linear difference equations and a non-linear second order differential equation in one of the parameters of the weights. The non-linear difference equations form a pair of discrete Painlevé equations and the differential equation is the $σ$-form of the sixth Painlevé equation. We briefly investigate the asymptotic behavior of the recurrence coefficients as $n\to \infty$ using the discrete Painlevé equations.
Multidimensional matrix inversions provide a powerful tool for studying multiple hypergeometric series. In order to extend this technique to elliptic hypergeometric series, we present three new multidimensional matrix inversions. As applications, we obtain a new $A_r$ elliptic Jackson summation, as well as several quadratic, cubic and quartic summation formulas.
We start from an interpretation of the $BC_2$-symmetric "Type I" (elliptic Dixon) elliptic hypergeometric integral evaluation as a formula for a Casoratian of the elliptic hypergeometric equation, and give an extension to higher-dimensional integrals and higher-order hypergeometric functions. This allows us to prove the corresponding elliptic beta integral and transformation formula in a new way, by proving both sides satisfy the same difference equations, and that the difference equations satisfy a Galois-theoretical condition that ensures uniqueness of simultaneous solution.
The paper classifies algebraic transformations of Gauss hypergeometric functions with the local exponent differences $(1/2,1/4,1/4)$, $(1/2,1/3,1/6)$ and $(1/3,1/3,1/3)$. These form a special class of algebraic transformations of Gauss hypergeometric functions, of arbitrary high degree. The Gauss hypergeometric functions can be identified as elliptic integrals on the genus 1 curves $y=x^3-x$ or $y=x^3-1$. Especially interesting are algebraic transformations of the hypergeometric functions into themselves; these transformations come from isogenies of the respective elliptic curves.
New duality transformation formulas are proposed for multiple elliptic hypergeometric series of type $BC$ and of type $C$. Various transformation and summation formulas are derived as special cases to recover some previously known results.
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.
It is shown how to define difference equations on particular lattices $\{x_n\}$, $n\in\mathbb{Z}$, made of values of an elliptic function at a sequence of arguments in arithmetic progression (elliptic lattice). Solutions to special difference equations have remarkable simple interpolatory expansions. Only linear difference equations of first order are considered here.
In this article we prove a new elliptic hypergeometric integral identity. It previously appeared (as a conjecture) in articles by Rains, and Spiridonov and Vartanov. Moreover it gives a different proof of an identity in another article by Rains. We also give some basic hypergeometric and classical limits of this identity. The classical limit gives identities (some known, some new) between generalizations of the Selberg integral.
In this article we give a new transformation between elliptic hypergeometric beta integrals, which gives rise to a Weyl group symmetry of type F_4. The transformation is a generalization of a series transformation discovered by Langer, Schlosser, and Warnaar. Moreover we consider various limits of this transformation to basic hypergeometric functions obtained by letting p tend to 0.
In math.QA/0309252, the author proved a number of multivariate elliptic hypergeometric integrals. The purpose of the present note is to explore more carefully the various limiting cases (hyperbolic, trigonometric, rational, and classical) that exist. In particular, we show (using some new estimates of generalized gamma functions) that the hyperbolic integrals (previously treated as purely formal limits) are indeed limiting cases. We also obtain a number of new trigonometric (q-hypergeometric) integral identities as limits from the elliptic level.
We consider the Euler type integral associated to the configuration space of points on an elliptic curve, which is an analogue of the hypergeometric function associated to the configuration space of points on a projective line. We calculate the {\it twisted homology group}, with coefficients in the local system associated to a power function $g^α$ of an elliptic function $g$, and the intersection form. Applying these calculations, we describe the {\it connection matrices} representing the linear isomorphisms induced from analytic continuations of the functions defined by the integrations of $g…
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,…
Eric Rains conjectured several quadratic transformations between multivariate elliptic hypergeometric functions in "Elliptic Littlewood Identities", with the integrand multiplied by interpolation functions. In this article two of these conjectures are proven in the case where the interpolation functions are constant, and we obtain a third conjecture as a corollary. Two other equations for elliptic Selberg integrals with 10 parameters, two of which multiplying to pq/t, are given, as they are needed in the proof. The proofs consist essentially of a calculation which strings together many ellipti…
The purpose of this article is to bring structure to (basic) hypergeometric biorthogonal systems, in particular to the q-Askey scheme of basic hypergeometric orthogonal polynomials. We aim to achieve this by looking at the limits as p->0 of the elliptic hypergeometric biorthogonal functions from Spiridonov, with parameters which depend in varying ways on p. As a result we get 38 systems of biorthogonal functions with for each system at least one explicit measure for the bilinear form. Amongst these we indeed recover the q-Askey scheme. Each system consists of (basic hypergeometric) rational fu…
This is a brief overview of the status of the theory of elliptic hypergeometric functions to the end of 2012 written as a complementary chapter 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.
We formulate general principles of building hypergeometric type series from the Jacobi theta functions that generalize the plain and basic hypergeometric series. Single and multivariable elliptic hypergeometric series are considered in detail. A characterization theorem for a single variable totally elliptic hypergeometric series is proved.
In 2010, Kh. Hessami Pilehrood and T. Hessami Pilehrood introduced generating function identities used to obtain series accelerations for values of Dirichlet's $β$ function, via the Markov--Wilf--Zeilberger method. Inspired by these past results, together with related results introduced by Chu et al., we introduce a variety of hypergeometric recurrences. We prove these recurrences using the WZ method, and we apply these recurrences to obtain series acceleration identities. We introduce a family of summations generalizing a Ramanujan-type series for $\frac{1}{π^2}$ due to Guillera, and a family…
In this article we extend the results of our article "Limits of elliptic hypergeometric biorthogonal functions" to the multivariate setting. In that article we determined which families of biorthogonal functions arise as limits from the elliptic hypergeometric biorthogonal functions from Spiridonov when p->0. Here we show that the classification of the possible limits of the BC_n type multivariate biorthogonal functions previously introduced by the second author is identical to the univariate classification. That is, for each univariate limit family there exists a multivariate extension, and i…
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.
General structure of the multivariate plain and q-hypergeometric terms and univariate elliptic hypergeometric terms is described. Some explicit examples of the totally elliptic hypergeometric terms leading to multidimensional integrals on root systems, either computable or obeying non-trivial symmetry transformations, are presented.
In this paper we study the following family of hypergeometric polynomials: $y_n(x) = \frac{ (-1)^ρ}{ n! } x^n {}_2 F_0(-n,ρ;-;-\frac{1}{x})$, depending on a parameter $ρ\in\mathbb{N}$. Differential equations of orders $ρ+1$ and $2$ for these polynomials are given. A recurrence relation for $y_n$ is derived as well. Polynomials $y_n$ are Sobolev orthogonal polynomials on the unit circle with an explicit matrix measure.
Based on Spiridonov's analysis of elliptic generalizations of the Gauss hypergeometric function, we develop a common framework for 7-parameter families of generalized elliptic, hyperbolic and trigonometric univariate hypergeometric functions. In each case we derive the symmetries of the generalized hypergeometric function under the Weyl group of type E_7 (elliptic, hyperbolic) and of type E_6 (trigonometric) using the appropriate versions of the Nassrallah-Rahman beta integral, and we derive contiguous relations using fundamental addition formulas for theta and sine functions. The top level de…
As a contribution to the Ramanujan theory of elliptic functions to alternative bases, Li-Chien Shen has shown how analogues of the Jacobian elliptic functions may be derived from incomplete hypergeometric integrals in signatures three and four. We determine precisely the signatures in which the Jacobian analogues or their squares are indeed elliptic.
We introduce a generalization of elliptic 6j-symbols, which can be interpreted as matrix elements for intertwiners between corepresentations of Felder's elliptic quantum group. For special parameter values, they can be expressed in terms of multivariable elliptic hypergeometric series related to the root system A_n. As a consequence, we obtain new biorthogonality relations for such series.
The authors establish the necessary and sufficient conditions under which certain combinations of Gaussian hypergeometric function and elementary function are monotone in the parameter, which generalize the recent results of generalized elliptic integrals of the first and second kinds obtained by Qiu et al. Moreover, the authors also prove two monotonicity theorems of generalized elliptic integrals from another point of view.
We derive a number of summation and transformation formulas for elliptic hypergeometric series on the root systems A_n, C_n and D_n. In the special cases of classical and q-series, our approach leads to new elementary proofs of the corresponding identities.
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 determinant formula for Weierstrass sigma functions, by spcialization of a particular form.
Over the last decade it has become clear that discrete Painlevé equations appear in a wide range of important mathematical and physical problems. Thus, the question of recognizing a given non-autonomous recurrence as a discrete Painlevé equation and determining its type according to Sakai's classification scheme, understanding whether it is equivalent to some known (model) example, and especially finding an explicit change of coordinates transforming it to such an example, becomes one of the central ones. Fortunately, Sakai's geometric theory provides an almost algorithmic procedure for answer…
Two exact evaluation formulae for multiple rarefied elliptic beta integrals related to the simplest lens space are proved. They generalize evaluations of the type I and II elliptic beta integrals attached to the root system $C_n$. In a special $n=1$ case, the simplest $p\to 0$ limit is shown to lead to a new class of $q$-hypergeometric identities. Symmetries of a rarefied elliptic analogue of the Euler-Gauss hypergeometric function are described and the respective generalization of the hypergeometric equation is constructed. Some extensions of the latter function to $C_n$ and $A_n$ root system…
We construct a family of continuous biorthogonal functions related to an elliptic analogue of the Gauss hypergeometric function. The key tools used for that are the elliptic beta integral and the integral Bailey chain introduced earlier by the author. Relations to the Sklyanin algebra and elliptic analogues of the Faddeev modular double are discussed in detail.
Recently, Kajihara gave a Bailey-type transformation relating basic hypergeometric series on the root system An, with different dimensions n. We give, with a new, elementary, proof, an elliptic analogue of this transformation. We also obtain further Bailey-type transformations as consequences of our result, some of which are new also in the case of basic and classical hypergeometric series.
We construct a family of second-order linear difference equations parametrized by the hypergeometric solution of the elliptic Painlevé equation (or higher-order analogues), and admitting a large family of monodromy-preserving deformations. The solutions are certain semiclassical biorthogonal functions (and their Cauchy transforms), biorthogonal with respect to higher-order analogues of Spiridonov's elliptic beta integral.
Explicit solutions for the three-term recurrence satisfied by associated continuous dual $q$-Hahn polynomials are obtained. A minimal solution is identified and an explicit expression for the related continued fraction is derived. The absolutely continuous component of the spectral measure is obtained. Eleven limit cases are discussed in some detail. These include associated big $q$-Laguerre , associated Wall, associated Al-Salam-Chihara, associated Al-Salam-Carlitz I, and associated continuous $q$-Hermite polynomials.
We give a new theta-function identity, a special case of which is utilised to prove Kawanaka's Macdonald polynomial conjecture. The theta-function identity further yields a transformation formula for multivariable elliptic hypergeometric series which appears to be new even in the one-variable, basic case.
Using the technique of the elliptic Frobenius determinant, we construct new elliptic solutions of the $QD$-algorithm. These solutions can be interpreted as elliptic solutions of the discrete-time Toda chain as well. As a by-product, we obtain new explicit orthogonal and biorthogonal polynomials in terms of the elliptic hypergeometric function ${_3}E_2(z)$. Their recurrence coefficients are expressed in terms of the elliptic functions. In the degenerate case we obtain the Krall-Jacobi polynomials and their biorthogonal analogs.
General elliptic hypergeometric functions are defined by elliptic hypergeometric integrals. They comprise the elliptic beta integral, elliptic analogues of the Euler-Gauss hypergeometric function and Selberg integral, as well as elliptic extensions of many other plain hypergeometric and $q$-hypergeometric constructions. In particular, the Bailey chain technique, used for proving Rogers-Ramanujan type identities, has been generalized to integrals. At the elliptic level it yields a solution of the Yang-Baxter equation as an integral operator with an elliptic hypergeometric kernel. We give a brie…
We give a brief review of the main results of the theory of elliptic hypergeometric functions -- a new class of special functions of mathematical physics. We prove the most general univariate exact integration formula generalizing Euler's beta integral, which is called the elliptic beta integral. An elliptic analogue of the Gauss hypergeometric function is constructed together with the elliptic hypergeometric equation for it. Biorthogonality relations for this function and its particular subcases are described. We list known elliptic beta integrals on root systems and consider symmetry transfo…
We evaluate the determinant of a matrix whose entries are elliptic hypergeometric terms and whose form is reminiscent of Sylvester matrices. A hypergeometric determinant evaluation of a matrix of this type has appeared in the context of approximation theory, in the work of Feng, Krattenthaler and Xu. Our determinant evaluation is an elliptic extension of their evaluation, which has two additional parameters (in addition to the base $q$ and nome $p$ found in elliptic hypergeometric terms). We also extend the evaluation to a formula transforming an elliptic determinant into a multiple of another…
Using Krattenthaler's operator method, we give a new proof of Warnaar's recent elliptic extension of Krattenthaler's matrix inversion. Further, using a theta function identity closely related to Warnaar's inversion, we derive summation and transformation formulas for elliptic hypergeometric series of Karlsson-Minton-type. A special case yields a particular summation that was used by Warnaar to derive quadratic, cubic and quartic transformations for elliptic hypergeometric series. Starting from another theta function identity, we derive yet different summation and transformation formulas for el…
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.
In this article we developed a special topic of our pure-mathematics papers concerning the hypergeometric theory. Based upon a Roberts's reduction approach of hyperelliptic integrals to elliptic ones and on the simultaneous multivariable hypergeometric series evaluation of them, several identities have been obtained expressing $π$ in terms of special values of elliptic, hypergeometric and Gamma functions. By them $π$ can be provided through either only one or two parameters and through the imaginary unit. In any case, such results, all unpublished and undoubtably new, will provide, beyond thei…
General theory of elliptic hypergeometric series and integrals is outlined. Main attention is paid to the examples obeying properties of the "classical" special functions. In particular, an elliptic analogue of the Gauss hypergeometric function and some of its properties are described. Present review is based on author's habilitation thesis [Spi7] containing a more detailed account of the subject.
We define a general class of (multiple) integrals of hypergeometric type associated with the Jacobi theta functions. These integrals are related to theta hypergeometric series through the residue calculus. In the one variable case, we get theta function extensions of the Meijer function. A number of multiple generalizations of the elliptic beta integral [S2] associated with the root systems $A_n$ and $C_n$ is described. Some of the $C_n$-examples were proposed earlier by van Diejen and the author, but other integrals are new. An example of the biorthogonality relations associated with the elli…
