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 Groebner bases for Lauricella's hypergeometric differential equations $I_A(m), I_B(m), I_C(m)$ with respect to a monomial order. By using these Groebner bases, we determine characteristic varieties and the singular loci of $I_A(m), I_B(m), I_C(m)$.
We extend Schwarz' list of irreducible algebraic Gauss functions to the four classes of Appell-Lauricella functions in several variables and the 14 complete Horn functions in two variables. This gives an example of a family of functions such that for any number of variables there are infinitely many algebraic functions, namely the Lauricella $F_C$ functions.
Inspired by certain interesting recent extensions of the gamma, beta and hypergeometric matrix functions, we introduce here new extension of the gamma and beta matrix function. We also introduce new extensions of the Gauss hypergeometric matrix function, confluent hypergeometric matrix function, Appell matrix function and Lauricella matrix function of three variables in terms of the new extended beta matrix function. Then we investigate certain properties of these extended matrix functions such as the integral representations, differential formulae and recurrence relations.
In this paper, we study the solutions of the system of bilateral type matrix differential equations and presented these solutions in terms of Lauricella hypergeometric matrix functions of several variables and Srivastava's triple hypergeometric matrix functions of three variables. We also discuss the region of convergence and integral representation for these matrix functions.
Fundamental solutions for a class of multidimensional elliptic equations with several singular coefficients were constructed recently. These fundamental solutions are directly connected with multiple Lauricella hypergeometric function and the decomposition formula is required for their investigation which would express the multivariable hypergeometric function in terms of products of several simpler hypergeometric functions involving fewer variables. In this paper, some relations following from the decomposition formula for one multidimensional Lauricell hypergeometric function are determined.
We study Lauricella's hypergeometric function F_C by using twisted (co)homology groups. We construct twisted cycles with respect to an Euler-type integral representation of F_C. These cycles correspond to 2^m linearly independent solutions to the system of differential equations annihilating F_C. Using intersection forms of twisted (co)homology groups, we obtain twisted period relations which give quadratic relations for Lauricella's F_C.
We study Lauricella's hypergeometric function $F_A$ of $m$-variables and the system $E_A$ of differential equations annihilating $F_A$, by using twisted (co)homology groups. We construct twisted cycles with respect to an integral representation of Euler type of $F_A$. These cycles correspond to $2^m$ linearly independent solutions to $E_A$, which are expressed by hypergeometric series $F_A$. Using intersection forms of twisted (co)homology groups, we obtain twisted period relations which give quadratic relations for Lauricella's $F_A$.
We study the monodromy representation of the system $E_C$ of differential equations annihilating Lauricella's hypergeometric function $F_C$ of $m$ variables. Our representation space is the twisted homology group associated with an integral representation of $F_C$. We find generators of the fundamental group of the complement of the singular locus of $E_C$, and give some relations for these generators. We express the circuit transformations along these generators, by using the intersection forms defined on the twisted homology group and its dual.
By making use of some techniques based upon certain inverse new pairs of symbolic operators, the author investigate several decomposition formulas associated with Lauricella's hypergeometric functions $F_A^{(r)}, F_B^{(r)}, F_C^{(r)}$ and $F_D^{(r)}$ in $r$ variables. In the three-variable case some of these operational representations are constructed and applied in order to derive the corresponding decomposition formulas when $r = 3$ . With the help of these new inverse pairs of symbolic operators, a total 20 decomposition formulas and integral representations are found.
Let $E_C$ be the hypergeometric system of differential equations satisfied by Lauricella's hypergeometric series $F_C$ of $m$ variables. We show that the monodromy representation of $E_C$ is irreducible under our assumption consisting of $2^{m+1}$ conditions for parameters. We also show that the monodromy representation is reducible if one of them is not satisfied.
We study the conditions under which the monodromy group for Lauricella's hypergeometric function $F_C (a,b,c;x)$ is finite irreducible. We give the conditions in terms of the parameters $a,b,c$. In addition, we discuss the structure of the finite irreducible monodromy group.
This paper, pursuing the work started in [10] and [11], holds six new formulae for π, see equations, through ratios of first kind elliptic integrals and some values of hypergeometric functions of three or four variables of Lauricella type. This will be accomplished by reducing some hyperelliptic integrals to elliptic by the methods taught by Legendre in his treatise. Eventually, evaluating some hyperelliptic integrals by means of hypergeometric Lauricella functions, we obtain some further evaluations of themselves in some particular points and also in their analytic continuation.
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 the present paper, author obtained finite summation formulas for the generalized Kampé de Fériet series. The peculiar outcome for four generalized Lauricella functions and confluent forms of Lauricella series in $n$ variables are also drawn from the finite summation formulas for the generalized Kampé de Fériet series.
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.
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…
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].
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…
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.
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.
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).
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.
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.
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.
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.
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.
