We consider a certain definite integral involving the product of two classical hypergeometric functions having complicated arguments. We show in this paper the surprising fact that this integral does not depend on the parameters of the hypergeometric functions.
In this paper, we investigate the Euler-type integral representations for the generalized hypergeometric matrix function and develop some transformations in terms of hypergeometric matrix functions. Furthermore, unit and half arguments have been provided for several particular cases.
In this paper a double integral containing two Gaussian hypergeometric functions is discussed. The integral is not found in the literature and a direct computation is not (yet) possible. Therefore, a complete different integral is computed by two methods. The first method gives a combination of hypergeometric functions and the requested original integral, while with the second method this different integral can be computed directly. Equalization of the results from both methods gives the requested integral.
Our purpose in this present paper is to investigate generalized integration formulas containing the extended generalized hypergeometric function and obtained results are expressed in terms of extended hypergeometric function. Certain special cases of the main results presented here are also pointed out for the extended Gauss' hypergeometric and confluent hypergeometric functions.
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.
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.
We generalize generating functions for hypergeometric orthogonal polynomials, namely Jacobi, Gegenbauer, Laguerre, and Wilson polynomials. These generalizations of generating functions are accomplished through series rearrangement using connection relations with one free parameter for these orthogonal polynomials. We also use orthogonality relations to determine corresponding definite integrals.
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.
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.
For each of the eight $n$-th derivative parameter changing formulas for Gauss hypergeometric functions a corresponding fractional integration formula is given. For both types of formulas the differential or integral operator is intertwining between two actions of the hypergeometric differential operator (for two sets of parameters): a so-called transmutation property. This leads to eight fractional integration formulas and four generalized Stieltjes transform formulas for each of the six different explicit solutions of the hypergeometric differential equation, by letting the transforms act on …
We describe the utility of integral representations for sums of basic hypergeometric functions. In particular we use these to derive an infinite sequence of transformations for symmetrizations over certain variables which the functions possess. These integral representations were studied by Bailey, Slater, Askey, Roy, Gasper and Rahman and were also used to facilitate the computation of certain outstanding problems in the theory of basic hypergeometric orthogonal polynomials in the $q$-Askey scheme. We also generalize and give consequences and transformation formulas for some fundamental integ…
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…
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 paper, we obtain the analytical solutions of Laplace transforms based some novel integrals with suitable convergence conditions, by using hypergeometric approach (some algebraic properties of Pochhammer symbol and classical summation theorems of hypergeometric series ${}_{2}F_{1}(1)$, ${}_{2}F_{1}(-1)$ , ${}_{4}F_{3}(-1)$) . Also, we obtain the Laplace transforms of arbitrary powers of some finite series containing hyperbolic sine and cosine functions having different arguments, in terms of hypergeometric and Beta functions. Moreover, Laplace transforms of even and odd positive integra…
We examine a family ${}_pG_{q}^{\mathbb C}\big[\genfrac{}{}{0pt}{}{(a)}{(b)};z\big]$ of integrals of Mellin-Barnes type over the space ${\mathbb Z}\times {\mathbb R}$, such functions $G$ naturally arise in representation theory of the Lorentz group. We express ${}_pG_{q}^{\mathbb C}(z)$ as quadratic expressions in the generalized hypergeometric functions ${}_{p}F_{q-1}$ and discuss further properties of the functions ${}_pG_{q}^{\mathbb C}(z)$.
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.
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 obtain analytical solution of an unsolved integral $\textbf{R}_{C}(m,n)$ of Srinivasa Ramanujan [$\textit{Mess. Math}$., XLIV, 75-86, 1915], using hypergeometric approach, Mellin transforms, Infinite Fourier cosine transforms, Infinite series decomposition identity and some algebraic properties of Pochhammer's symbol. Also we have given some generalizations of the Ramanujan's integral $\textbf{R}_{C}(m,n)$ in the form of integrals $\textbf{I}^{*}_{C}(\upsilon,b,c,λ,y), \textbf{J}_C (\upsilon,b,c,λ,y), \textbf{K}_{C} (\upsilon,b,c, λ,y), \textbf{I}_{C}(\upsilon,b,λ,y)$ and sol…
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 coro…
We consider the ratio of two Gauss hypergeometric functions, in which the parameters of the numerator function differ from the respective parameters of the denominator function by integers. We derive explicit integral representations for this ratio based on a formula for its imaginary part. This work extends our recent results by lifting certain restrictions on parameters. The new representations are illustrated with a few examples and an application to products of ratios.
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.
In 1946, Magnus presented an addition theorem for the confluent hypergeometric function of the second kind $U$ with argument $x+y$ expressed as an integral of a product of two $U$'s, one with argument $x$ and another with argument $y$. We take advantage of recently obtained asymptotics for $U$ with large complex first parameter to determine a domain of convergence for Magnus' result. Using well-known specializations of $U$, we obtain corresponding integral addition theorems with precise domains of convergence for modified parabolic cylinder functions, and Hankel, Macdonald, and Bessel function…
The indefinite integral $$ \int x^αe^{ηx^β}\,_pF_q (a_1, a_2, \cdot\cdot\cdot a_p; b_1, b_2, \cdot\cdot\cdot, b_q; λx^γ)dx, $$ where $α, η, β, λ, γ\ne0$ are real or complex constants and $_pF_q$ is the generalized hypergeometric function, is evaluated in terms of an infinite series involving the generalized hypergeometric function. Related integrals in which the exponential function $e^{ηx^β}$ is either replaced by the hyperbolic function $\cosh\left(ηx^β\right)$ or $\sinh\left(ηx^β\right)$, or the sinusoidal function $\cos\left(ηx^β\right)$ or $\sin\left(ηx^β\right)$, are also evaluated in te…
Hypergeometric functions and their generalizations play an important rôles in diverse applications. Many authors have been established generalizations of hypergeometric functions by a number ways. In this paper, we aim at establishing (presumably new) extended $k-$type hypergeometric function $_{2}f_{1}^{k}[a, b; c; ω; z]$ and study various properties including integral representations, differential formulas and fractional integral and derivative formula.
A formula for the non-elementary integral $\int e^{λx^α} dx$ where $α$ is real and greater or equal two, is obtained in terms of the confluent hypergeometric function $_1F_1$. This result is verified by directly evaluating the area under the Gaussian Bell curve, corresponding to $α= 2$, using the asymptotic expression for the confluent hypergeometric function and the Fundamental Theorem of Calculus (FTC). Two different but equivalent expressions, one in terms of the confluent hypergeometric function $_1F_1$ and another one in terms of the hypergeometric function $_1F_2$, are obtained for each …
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 Kampé de Fériet double series $F_{1:1;1}^{1:1;1}$ is studied through the solution to the associated first-order nonhomogeneous differential equation. It is shown that the integral of $t^{β+l}M(\cdot;β;λt)M(\cdot;β;-λt)$ over $t\in[0,T]$, $T\geq0$, $l=0,1,\ldots$, $\Reβ+l>-1$, is a linear combination of functions $F_{1:1;1}^{1:1;1}$. The integral is a generalization of a class of so-called Coulomb integrals involving regular Coulomb wave functions.
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 consider Mellin-Barnes integral representations of GKZ hypergeometric equations. We construct integration contours in an explicit way and show that suitable analytic continuations give rise to a basis of solutions.
In this paper we continue investigation of the hypergeometric function ${}_4F_3(1)$ as the function of its seven parameters. We deduce several reduction formulas for this function under additional conditions that one of the top parameters exceeds one of the bottom parameters by a positive integer or reversely one of the bottom parameters exceeds one of the top parameters by a positive integer or both. We show that all such cases reduce to the case of the unit parameter difference. The latter case, in turn, can be expressed in terms of certain linear combination of two series involving the loga…
In this paper, we first introduce certain forms of extended incomplete Pochhammer symbols which are then used to define families of extended incomplete generalized hypergeometric functions. For these functions, we investigate various properties including the integral representations, derivative formula, certain generating function and fractional integrals (and derivatives) relationships. Some special cases of the main results are also deduced.
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.
Recently, there emerges different versions of beta function and hypergeometric functions containing extra parameters. Gaining enlightenment from these ideas, we will first introduce a new extension of generalized hypergeometric function and then put forward some fundamental results in the paper. Next, we will derive some properties of certain functions like extended Gauss hypergeometric functions, extended Appell's hypergeometric functions $\mathbf{F}_{1}^{(κ_{l})}$, $\mathbf{F}_{2}^{(κ_{l})}$, and extended Lauricella's hypergeometric function $\mathbf{F}_{D,(κ_{l})}^{(r)}$,$\mathbf{F}_{A,(κ_{…
We derive generalized generating functions for basic hypergeometric orthogonal polynomials by applying connection relations with one free parameter to them. In particular, we generalize generating functions for the Askey-Wilson, continuous $q$-ultraspherical/Rogers, little $q$-Laguerre/Wall, and $q$-Laguerre polynomials. Depending on what type of orthogonality these polynomials satisfy, we derive corresponding definite integrals, infinite series, bilateral infinite series, and $q$-integrals.
We study integral representations of the Gevrey series solutions of irregular hypergeometric systems under certain assumptions. We prove that, for such systems, any Gevrey series solution, along a coordinate hyperplane of its singular support, is the asymptotic expansion of a holomorphic solution given by a carefully chosen integral representation.
In our previous work we found sufficient conditions to be imposed on the parameters of the generalized hypergeometric function in order that it be completely monotonic or of Stieltjes class. In this paper we collect a number of consequences of these properties. In particular, we find new integral representations of the generalized hypergeometric functions, evaluate a number of integrals of their products, compute the jump and the average value of the the generalized hypergeometric function over the branch cut, establish new inequalities for this function in the half plane Re(z)<1. Furthermore,…
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 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.
We give an overview of some of the main results from the theories of hypergeometric and basic hypergeometric series and integrals associated with root systems. In particular, we list a number of summations, transformations and explicit evaluations for such multiple series and integrals. We concentrate on such results which do not directly extend to the elliptic level. This text is a provisional version of a chapter on hypergeometric and basic hypergeometric series and integrals associated with root systems for volume 2 of the new Askey--Bateman project which deals with "Multivariable special f…
In this paper we apply generalized Stieltjes transform representation to study the generalized hypergeometric function. Among the results thus proved are new integral representations, inequalities, properties of the Padé table and the properties of the generalized hypergeometric function as a conformal map.
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)$.
We solve connection problem between fundamental solutions at singular points $0$ and $1$ for the generalized hypergeometric function, using analytic continuation of the integral representation. All connection coefficients are products of the sine and the cosecant.
In this present paper our aim is to deal with two integral transforms which involving the Gauss hypergeometric function as its kernels. We prove some compositions formulas for such a generalized fractional integrals with k Bessel function. The results are established in terms of generalized Wright type hypergeometric function and generalized hypergeometric series. Also, the authors presented some corresponding assertions for Riemann Liouville and Erdelyi Kober fractional integral transforms.
We obtain two new Thomae-type transformations for hypergeometric series with r pairs of numeratorial and denominatorial parameters differing by positive integers. This is achieved by application of the so-called Beta integral method developed by Krattenthaler and Rao [Symposium on Symmetries in Science (ed. B. Gruber), Kluwer (2004)] to two recently obtained Euler-type transformations. Some special cases are given.
In our recent work we proposed a generalization of the beta integral method for derivation of the hypergeometric identities which can by analogy be termed "the G function integral method". In this paper we apply this technique to the cubic and the degenerate Miller-Paris transformations to get several new transformation and summation formulas for the generalized hypergeometric functions at a fixed argument. We further present an alternative approach for reducing the right hand sides resulting from our method to a single hypergeometric function which does not require the use of summation formul…
In this paper, we study some extended hypergeometric functions from matrix point of view. We have given the integral representations of these matrix functions. Finally, we obtain some generating function relations using fractional derivative operators.
We show that the cohomology intersection number of a twisted Gauss-Manin connection with regularization condition is a rational function. As an application, we obtain a new quadratic relation associated to period integrals of a certain family of K3 surfaces.
New explicit as well as manifestly symmetric three-term summationformulas are derived for the Clausenian hypergeometric series $_3F_2(1)$ with negative integral parameter differences. Our results generalize and naturally extend several similar relations published, in recent years, by many authors. An appropriate and useful connection is established with the quite underestimated 1974 paper by P. W. Karlsson.