We give elementary proofs of the univariate elliptic beta integral with bases $|q|, |p|<1$ and its multiparameter generalizations to integrals on the $A_n$ and $C_n$ root systems. We prove also some new unit circle multiple elliptic beta integrals, which are well defined for $|q|=1$, and their $p\to 0$ degenerations.
We prove a novel type of inversion formula for elliptic hypergeometric integrals associated to a pair of root systems. Using the (A,C) inversion formula to invert one of the known C-type elliptic beta integrals, we obtain a new elliptic beta integral for the root system of type A. Validity of this integral is established by a different method as well.
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.
The table of Gradshteyn and Rhyzik contains some trigonometric integrals that can be expressed in terms of the beta function. We describe the evaluation of some of them.
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,…
In this article we consider the elliptic Selberg integral, which is a BC_n symmetric multivariate extension of the elliptic beta integral. We categorize the limits that are obtained as p->0, for given behavior of the parameters as p->0. This article is therefore the multivariate version of our earlier paper "Basic Hypergeometric Functions as Limits of Elliptic Hypergeometric Functions". The integrand of the elliptic Selberg integral is the measure for the BC_n symmetric biorthogonal functions introduced by the second author, so we also consider the limits of the associated bilinear form. We al…
This research note deals with the evaluation of some generalized beta-type integral operators involving the multi-index Mittag-Leffler function $E_{ε_{i}),(ω_{i})}(z)$. Further, we derive a new family of beta-type integrals involving the product of a multi-index Mittag-Leffler function and a generating function of two variables. Some concluding remarks regarding our present investigation are briefly discussed in the last section.
The table of Gradshteyn and Ryzhik contains some integrals that can be expressed in terms of the incomplete beta function. We describe some elementary properties of this function and use them to check some of the formulas in the mentioned table.
We deduce several curious q-series expansions by applying inverse relations to certain identities for basic hypergeometric series. After rewriting some of these expansions in terms of q-integrals, we obtain, in the limit q -> 1, some curious beta-type integral evaluations which appear to be new.
We construct 3 finite systems of $4-F-3$ hypergeometric orthogonal polynomials. The weights are 1) the weight defined by the $5-H-5$ Dougall summation formula; 2) the integrand in the Askey beta-integral; 3) the weight $w(s)=|p(s)/q(s)|^2$, where $p(s)=Γ(a+is)Γ(b+is)Γ(c+is)$ and $q(s)=Γ(d+is)Γ(2is)$. We also evaluate the integral of the function $w(s)$ using the Jacobi transform (the Olevsky transform); this integral also can be reduced to the Nassrallah--Rahman integral.
A new Hilbert-type integral inequality in the whole plane with the non-homogeneous kernel and parameters is given. The constant factor related to the hypergeometric function and the beta function is proved to be the best possible. As applications, equivalent forms, the reverses, some particular examples, two kinds of Hardy-type inequalities, and operator expressions are considered.
The beta integral method proved itself as a simple nonetheless powerful method of generating hypergeometric identities at a fixed argument. In this paper we propose a generalization by substituting the beta density with a particular type of Meijer's G function. By application of our method to known transformation formulas we derive about forty hypergeometric identities, majority of which are believed to be new. We further apply some of these transformations to obtain several new summation formulas.
Hyperbolic beta integrals are analogues of Euler's beta integral in which the role of Euler's gamma function is taken over by Ruijsenaars' hyperbolic gamma function. They may be viewed as $(q,\widetilde{q})$-bibasic analogues of the beta integral in which the two bases $q$ and $\widetilde{q}$ are interrelated by modular inversion, and they entail $q$-analogues of the beta integral for $|q|=1$. The integrals under consideration are the hyperbolic analogues of the Ramanujan integral, the Askey-Wilson integral and the Nassrallah-Rahman integral. We show that the hyperbolic Nassrallah-Rahman integ…
Various integrals over elliptic integrals are evaluated as couplings on spheres, resulting in some integral and series representations for the mathematical constants $π$, $G$ and $ζ(3)$.
This paper deals with generalized elliptic integrals and generalized modular functions. Several new inequalities are given for these and related functions.
In the paper, by using Lupaş integral inequality, the authors find some new inequalities for the complete elliptic integrals of the first and second kinds. These results improve some known inequalities.
Algorithms for numerical computation of symmetric elliptic integrals of all three kinds are improved in several ways and extended to complex values of the variables (with some restrictions in the case of the integral of the third kind). Numerical check values, consistency checks, and relations to Legendre's integrals and Bulirsch's integrals are included.
First examples of matrix beta-integrals were discovered on 1930-50s by Siegel and Hua, in 60s Gindikin obtained multi-parametric series of such integrals. We discuss beta-integrals related to symmetric spaces, their interpolation with respect to the dimension of a ground field, and adelic analogs; also we discuss beta-integrals related to flag spaces.
Multiple elliptic integrals related to the generalized Clebsch-Gordan (CG) integral are of importance in many areas in physics and special functions theory. Zhou has introduced and applied Legendre function-based techniques to prove symbolic evaluations for integrals of CG form involving twofold and threefold products of complete elliptic integral expressions, and this includes Zhou's remarkable proof of an open problem due to Wan. The foregoing considerations motivate the results introduced in this article, in which we prove closed-form evaluations for new CG-type integrals that involve three…
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.
In this paper we treat certain elliptic and hyper-elliptic integrals in a unified way. We introduce a new basis of these integrals coming from certain basis $ϕ_n(x)$ of polynomials and show that the transition matrix between this basis and the traditional monomial basis is certain upper triangular band matrix. This allows us to obtain explicit formulas for the considered integrals. Our approach, specified to elliptic case, is more effective than known recursive procedures for elliptic integrals. We also show that basic integrals enjoy symmetry coming from the action of the dihedral group $D_{M…
We construct a family of measures on flag spaces (or, equivalently, on the spaces of upper-triangular matrices) compatible with respect to natural projections. We obtain an $n(n-1)/2$-parametric family of beta-integrals over space of upper-triangular matrices of size $n$.
Symmetric elliptic integrals, which have been used as replacements for Legendre's integrals in recent integral tables and computer codes, are homogeneous functions of three or four variables. When some of the variables are much larger than the others, asymptotic approximations with error bounds are presented. In most cases they are derived from a uniform approximation to the integrand. As an application the symmetric elliptic integrals of the first, second, and third kinds are proved to be linearly independent with respect to coefficients that are rational functions.
In this paper, authors study the generalized complete $(p,q)$-elliptic integrals of the first and the second kind as an application of generalized trigonometric functions with two parameters, and establish the Turán type inequalities of these functions.
Legendre's relation for the complete elliptic integrals of the first and second kinds is generalized. The proof depends on an application of the generalized trigonometric functions and is alternative to the proof for Elliott's identity.
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.
For $r\in(0,1)$, the function $\K(r)=\int_0^{π/2}(1-r^2\sin^2t)^{-1/2}dt$ is known as the complete elliptic integral of the first kind. In this paper, we prove the absolute monotonicity of two functions involving $\K(r)$. As a consequence, we improve Alzer and Richards' result.
We prove a simple relation for a special case of Carlson's elliptic integral $R_D$. The findings are applied to derive explicit formulae for the asymptotics of certain moments of the angular central Gaussian distribution in terms of the second moment.
By using the theory of the elliptic integrals a new method of summation is proposed for a certain class of series and their derivatives involving hyperbolic functions. It is based on the termwise differentiation of the series with respect to the elliptic modulus and integral representations of several of the series in terms of the inverse Mellin transforms related to the Riemann zeta function. The relation with the corresponding case of the Voronoi summation formula is exhibited. The involved series are expressed in closed form in terms of complete elliptic integrals of the first and second ki…
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…
The elliptic integral and its various generalizations are playing very important and basic role in different branches of modern mathematics. It is well known that they cannot be represented by the elementary transcendental functions. Therefore, there is a need for sharp computable bounds for the family of integrals. In this paper, by virtue of two new tools, we study monotonicity and convexity of certain combinations of the complete elliptic integrals of the first kind, and obtain new sharp bounds and inequalities for them. In particular, we prove that the function $\mathcal{K}\left( \sqrt{% x…
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…
In the article, the complete elliptic integrals of the first and second kinds are bounded by using the power series expansions of some functions, the celebrated Wallis' inequality, and an integral inequality due to R. P. Agarwal, P. Cerone, S. S. Dragomir and F. Qi.
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.
We interpolate matrix beta-integrals of Siegel, Hua Loo Keng and Gindikin types with respect to dimension of the field. The domain of integration (Rayleigh triangles) imitates collections of all the eigenvalues of all the principal minors of a self-adjoint matrix. We also interpolate the Hua--Pickrell measures on inverse limits of symmetric spaces. Our family of integrals also contains the Selberg integral.
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.
We bound the j -invariant of integral points on a modular curve in terms of the congruence group defining the curve. We apply this to prove that the modular curve Xsplit (p3) has no non-trivial rational point if p is a sufficiently large prime number. Assuming the GRH, one can replace p3 by p2 .
We study the probability that one beta-distributed random variable exceeds the maximum of two others, allowing all three to have general parameters. This amounts to studying Euler transforms of products of two incomplete beta functions. We provide a closed form for the general problem in terms of Kampé de Fériet functions and a variety of simpler closed forms in special cases. The results are applied to derive the moments of the maximum of two independent beta-distributed random variables and to find inner products of incomplete beta functions. Restricted to positive integer parameters, our re…
The aim of this research paper is to demonstrate how one can obtain eleven new and interesting hypergeometric identities (in the form of a single result) from the old ones by mainly applying the well known beta integral method which was used successfully and systematically by Krattenthaler and Rao in their well known, very interesting research papers. The results are derived with the help of generalization of a quadratic transformation formula due to Kummer very recently obtained by Kim, et al. . Several identities including one obtained earlier by Krattenthaler and Rao follow special cases of…
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…
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.
Jacobi's elliptic integrals and elliptic functions arise naturally from the Schwarz-Christoffel conformal transformation of the upper half plane onto a rectangle. In this paper we study generalized elliptic integrals which arise from the analogous mapping of the upper half plane onto a quadrilateral and obtain sharp monotonicity and convexity properties for certain combinations of these integrals, thus generalizing analogous well-known results for classical conformal capacity and quasiconformal distortion functions.
In this paper, we give a two dimensional analogue of the Euler-MacLaurin summation formula. By using this formula, we obtain an integral representation of Weil's elliptic functions which was introduced in the book "Elliptic functions according to Eisenstein and Kronecker".
We consider the moments of products of complete elliptic integrals of the first and second kinds. In particular, we derive new results using elementary means, aided by computer experimentation and a theorem of W. Zudilin. Diverse related evaluations, and two conjectures, are also given.
There exist several multivariate extensions of the classical Sonine integral representation for Bessel functions of some index $μ+ ν$ with respect to such functions of lower index $μ.$ For Bessel functions on matrix cones, Sonine formulas involve beta densities $β_{μ,ν}$ on the cone and trace already back to Herz. The Sonine representations known so far on symmetric cones are restricted to continuous ranges $\Reμ, \Re ν> μ_0$, where the involved Beta densities are probability measures and the limiting index $μ_0\geq 0$ depends on the rank of the cone. It is zero only in the one-dimensional cas…
We describe, in terms of generalized elliptic integrals, the hyperbolic metric of the twice-punctured sphere with one conical singularity of prescribed order. We also give several monotonicity properties of the metric and a couple of applications.
We consider a special degeneration limit $ω_1\to - ω_2$ (or $b\to {\rm i}$ in the context of $2d$ Liouville quantum field theory) for the most general univariate hyperbolic beta integral. This limit is also applied to the most general hyperbolic analogue of the Euler-Gauss hypergeometric function and its $W(E_7)$ group of symmetry transformations. Resulting functions are identified as hypergeometric functions over the field of complex numbers related to the ${\rm SL}(2,\mathbb{C})$ group. A new similar nontrivial hypergeometric degeneration of the Faddeev modular quantum dilogarithm (or hyperb…
The classical Selberg integral contains a power of the Vandermonde determinant. When that power is a square, it is easy to prove Selberg's identity by interpreting it as a determinant of one-variable integrals. We give similar proofs of summation and transformation formulas for continuous and discrete elliptic Selberg integrals. In the continuous case, the same proof was previously given by Noumi. Special cases of these identities have found applications in combinatorics.