In this paper we explore special values of Gaussian hypergeometric functions in terms of products of Euler $Γ$-functions and exponential functions of linear functions of the hypergeometric parameters. They include some classical evaluations, but the main inspiration is from the contiguity method recently applied by Akihito Ebisu.
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)$.
There are many identities for the hypergeometric series presented in the article "Special values of the hypergeometric series" by Ebisu. In this note, we obtain a new hypergeometric identity, which includes some of these identities as special cases. We notice that this identity closely relates to a strange evaluation by Gosper. Key Words and Phrases: the hypergeometric series, hypergeometric identity.
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 a previous work ([Eb]), the author proposed a method employing contiguity relations to derive hypergeometric series in closed form. In [Eb], this method was used to derive Gauss's hypergeometric series $_2F_1$ possessing closed forms. Here, we consider the application of this method to Appell's hypergeometetric series $F_1$ and derive several $F_1$ possessing closed forms. Moreover, analyzing these $F_1$, we obtain values of $_2F_1$ with no free parameters. Some of these results provide new examples of algebraic values of $_2F_1$. Key Words and Phrases: Gauss's hypergeometric series, algebr…
The considered problem is uniform convergence of sequences of hypergeometric series. We give necessary and sufficient conditions for uniformly dominated convergence of infinite sums of proper bivariate hypergeometric terms. These conditions can be checked algorithmically. Hence the results can be applied in Zeilberger type algorithms for nonterminating hypergeometric series.
In this paper, we present a new method for finding identities for hypergeoemtric series, such as the (Gauss) hypergeometric series, the generalized hypergeometric series and the Appell-Lauricella hypergeometric series. Furthermore, using this method, we get identities for the hypergeometric series $F(a,b;c;x)$; we show that values of $F(a,b;c;x)$ at some points $x$ can be expressed in terms of gamma functions, together with certain elementary functions. We tabulate the values of $F(a,b;c;x)$ that can be obtained with this method. We find that this set includes almost all previously known value…
In this paper we introduce a finite field analogue of a Lauricella hypergeometric series. An integral formula for the Lauricella hypergeometric series and its finite field analogue are deduced. Transformation and reduction formulae and several generating functions for the Lauricella hypergeometric series over finite fields are obtained. Some of these generalize certain results of Li \emph{et al} and Greene as well as several other known results.
We derive two generalizations of Gasper's transformation formula for basic hypergeometric series. Using these generalized formulas, we give explicit expressions for the coefficients of three-term relations for the basic hypergeometric series {}_{2}phi_{1}, which are generalizations of the author's previous results on three-term relations for {}_{2}phi_{1}.
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 show an asymptotic formula of the divergent bilateral basic hypergeometric series ${}_1ψ_0 (a;-;q,\cdot)$ with using the $q$-Borel-Laplace method. We also give the limit $q\to 1-0$ of our asymptotic formula.
Here are the latest errata, etc., to the Gasper and Rahman "Basic Hypergeometric Series" book. Any additional errata will be added to the end of the last list.
In a recent work, H.Narita presented problems concerning the strict positivity of central values of certain automorphic $L$-functions in the form of questions regarding special values of the hypergeometric series. In this paper, we present partial answers to these questions using the theory of orthogonal polynomials and three term relations of the hypergeometric series.
This survey article (which will appear as a chapter in the book ``Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions'', Springer-Verlag) provides a small collection of basic material on multiple hypergeometric series of Appell-type and of more general series of related type.
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.
Any three basic hypergeometric series {}_{2}phi_{1} whose respective parameters (a, b, c) differ by integer powers of the base q satisfy a linear relation with coefficients which are rational functions of a, b, c, q and the variable x. These relations are called three term relations for the basic hypergeometric series {}_{2}phi_{1}. This paper gives explicit expressions for the coefficients of these three term relations.
We study the divergent basic hypergeometric series which is a $q$-analog of divergent hypergeometric series. This series formally satisfies the linear $q$-difference equation. In this paper, for that equation, we give an actual solution which admits basic hypergeometric series as a $q$-Gevrey asymptotic expansion. Such an actual solution is obtained by using $q$-Borel summability, which is a $q$-analog of Borel summability. Our result shows a $q$-analog of the Stokes phenomenon. Additionally, we show that letting $q\to1$ in our result gives the Borel sum of classical hypergeometric series. The…
The main purpose of this paper is to present closed integral form expressions for the Mathieu-type $\boldsymbol a$-series and its associated alternating version whose terms contain a $(p, q)$-extended Gauss' hypergeometric function. Certain upper bounds for the two series are also given.
Various methods to obtain the analytic continuation near $z=1$ of the hypergeometric series $_{p+1}F_p(z)$ are reviewed together with some of the results. One approach is to establish a recurrence relation with respect to $p$ and then, after its repeated use, to resort to the well-known properties of the Gaussian hypergeometric series. Another approach is based on the properties of the underlying generalized hypergeometric differential equation: For the coefficients in the power series expansion around $z=1$ a general formula, valid for any $p$, is found in terms of a limit of a terminating Sa…
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.
After reviewing some fundamental facts from the theory of theta hypergeometric series we derive, using indefinite summation, several summation, transformation, and expansion formulas for multibasic theta hypergeometric series. Some of the identities presented here generalize corresponding formulas given in Chapter 11 of the Gasper and Rahman book [Basic hypergeometric series, 2nd ed., Encyclopedia of Mathematics And Its Applications 96, Cambridge University Press, Cambridge, 2004].
This paper describes a method to find a connection between combinatorial identities and hypergeometric series with a number of examples. Combinatorial identities can often be written as hypergeometric series with unit argument. In a number of cases these hypergeometric series are balanced and can be reduced to a simpler form. In this paper some combinatorial identities are proved using this method assuming that the results in the tables of Prudnikov et al. [12] are proven without using hypergeometric functions.
General duality relations for hypergeometric and basic hypergeometric series
Holon Institute of Technology(霍隆理工学院);Institute of Mathematics and Informatics, Bulgarian Academy of Sciences(保加利亚科学院数学与信息学研究所);Department of Applied Mathematics, School of Mathematics and Physics, Xi’an Jiaotong-Liverpool University(西交利物浦大学数理学院应用数学系)
In a series of letters to D.Stanton, R.W.Gosper presented many strange evaluations of hypergeometric series. Recently, we rediscovered one of the strange hypergeometric identities appearing in [Go]. In this paper, we prove this identity and derive its generalization using contiguity operators. Key Words and Phrases: hypergeometric series, strange evaluation, contiguity operator. 2010 Mathematics Subject Classification Numbers: 33C05.
Following a previous article we continue our study on non-terminating hypergeometric series with one free parameter, which aims to find arithmetical constraints for a given hypergeometric series to admit a gamma product formula. In this article we exploit the concepts of duality and reciprocity not only to extend already obtained results to a larger region but also to strengthen themselves substantially. Among other things we are able to settle the rationality and finiteness conjectures posed in the previous article.
In this brief note, we show how to apply Kummer's and other quadratic transformation formulas for Gauss' and generalized hypergeometric functions in order to obtain transformation and summation formulas for series with harmonic numbers that contain one or two continuous parameters. We also give a generating function of the sequence $\frac{(a)_n (1-a)_n}{(n!)^2}H_n$ as a combination of Gauss hypergeometric function and elementary functions.
We present here the $q$-analogues of certain transformations or reduction formulae for Srivastava-Daoust type double hypergeometric series. These reduction formulae are derived by utilizing the extended Bailey's Transform developed and studied by Joshi and Vyas [Int. J. Math. Sci., (12), 2005, 1909-1927]. A number of well-known $q$-hypergeometric transformations are also obtained as special cases of our results.
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…
We prove some new semi-finite forms of bilateral basic hypergeometric series. One of them yields in a direct limit Bailey's celebrated ${}_6ψ_6$ summation formula, answering a question recently raised by Chen and Fu ({\em Semi-Finite Forms of Bilateral Basic Hypergeometric Series}, Proc. Amer. Math. Soc., to appear).
The 15 Gauss contiguous relations for ${}_2F_1$ hypergeometric series imply that any three ${}_2F_1$ series whose corresponding parameters differ by integers are linearly related (over the field of rational functions in the parameters). We prove several properties of coefficients of these general contiguous relations, and use the results to propose effective ways to compute contiguous relations. We also discuss contiguous relations of generalized and basic hypergeometric functions, and several applications of them.
In this very short note we will derive an inequality for a class of entire functions including all the confluent basic hypergeometric series and an inequality for a class of meromorphic functions including theta functions.
In the last decades, the theory of digamma function has been developed with a high impact of interest by many authors. Here, we established some interesting results for digamma function, and also we have computed the values of digamma function for positive integers, using the concept of hypergeometric series. An attempt has been made to present some summation theorems for Clausen's hypergeometric function. Results presented here are potentially useful in the further study of digamma function.
We prove a summation formula for a bilateral series whose terms are products of two basic hypergeometric functions. In special cases, series of this type arise as matrix elements of quantum group representations.
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.
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 establish several summation formulae for hypergeometric and basic hypergeometric series involving noncommutative parameters and argument. These results were inspired by a recent paper of J. A. Tirao [Proc. Nat. Acad. Sci. 100 (14) (2003), 8138-8141].
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.
In this note, we aim to provide generalizations of (i) Knuth's old sum (or Reed Dawson identity) and (ii) Riordan's identity using a hypergeometric series approach.
From the algebraic solution of $x^{n}-x+t=0$ for $n=2,3,4$ and the corresponding solution in terms of hypergeometric functions, we obtain a set of reduction formulas for hypergeometric functions. By differentiation and integration of these results, and applying other known reduction formulas of hypergeometric functions, we derive new reduction formulas of special functions as well as the calculation of some infinite integrals in terms of elementary functions.
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 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 aim to obtain a representation of Humbert's hy- pergeometric function in a series of Gauss's function 2F1. A few interesting results have also been deduced as special case of our main findings.
Recently, we formulated the $q$-Garnier system and its variations as translations of an extended affine Weyl group of type $A^{(1)}_{2n+1}\times A^{(1)}_1\times A^{(1)}_1$. On the other hand, those systems admit particular solutions in terms of the basic hypergeometric series ${}_{n+1}ϕ_n$. In this article, we investigate an action of the extended affine Weyl group on ${}_{n+1}ϕ_n$.
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 derive relations for a certain class of terminating ${}_4F_3(4)$ hypergeometric series with three free parameters. The invariance group composed of these relations is shown to be isomorphic to the symmetric group $S_3$. We further study relations for terminating ${}_3F_2(4)$ series that fall under two families. By using a series reversal, we examine the corresponding terminating ${}_4F_3(1/4)$ and ${}_3F_2(1/4)$ series relations. We additionally derive formulas for the sums of the first $n+1$ terms of several nonterminating ${}_3F_2(4)$ and ${}_3F_2(1/4)$ series. We also show how certain kn…
We explore a function $L(\vec{x})=L(a,b,c,d;e;f,g)$ which is a linear combination of two Saalschützian ${}_4F_3(1)$ hypergeometric series. We demonstrate a fundamental two-term relation satisfied by the $L$ function and show that the fundamental two-term 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})$ are classified into six types based on a double coset decomposition of the invariance group. The fundamental two-term relation is shown to generalize classical results about hypergeometri…
We recognize certain special hypergeometric motives, related to and inspired by the discoveries of Ramanujan more than a century ago, as arising from Asai $L$-functions of Hilbert modular forms.