The Gauss hypergeometric function ${}_2F_1(a,b,c;z)$ can be computed by using the power series in powers of $z, z/(z-1), 1-z, 1/z, 1/(1-z),(z-1)/z$. With these expansions ${}_2F_1(a,b,c;z)$ is not completely computable for all complex values of $z$. As pointed out in Gil, {\it et al.} [2007, \S2.3], the points $z=e^{\pm iπ/3}$ are always excluded from the domains of convergence of these expansions. Bühring [1987] has given a power series expansion that allows computation at and near these points. But, when $b-a$ is an integer, the coefficients of that expansion become indeterminate and its computation requires a nontrivial limiting process. Moreover, the convergence becomes slower and slower in that case. In this paper we obtain new expansions of the Gauss hypergeometric function in terms of rational functions of $z$ for which the points $z=e^{\pm iπ/3}$ are well inside their domains of convergence . In addition, these expansion are well defined when $b-a$ is an integer and no limits are needed in that case. Numerical computations show that these expansions converge faster than Bühring's expansion for $z$ in the neighborhood of the points $e^{\pm iπ/3}$, especially when $b-a$ is close to an integer number.
This is a study of terminating and ill-defined Gauss hypergeometric functions. Corresponding hypergeometric equations have a degenerate set of of 24 Kummer's solutions. We describe those solutions and relations between them.
This article gives a classification scheme of algebraic transformations of Gauss hypergeometric functions, or pull-back transformations between hypergeometric differential equations. The classification recovers the classical transformations of degree 2, 3, 4, 6, and finds other transformations of some special classes of the Gauss hypergeometric function. The other transformations are considered more thoroughly in a series of supplementing articles.
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 derive a convergent expansion of the generalized hypergeometric function ${}_{p-1}F_p$ in terms of the Bessel functions ${}_{0}F_1$ that holds uniformly with respect to the argument in any horizontal strip of the complex plane. We further obtain a convergent expansion of the generalized hypergeometric function ${}_{p}F_p$ in terms of the confluent hypergeometric functions ${}_{1}F_1$ that holds uniformly in any right half-plane. For both functions, we make a further step and give convergent expansions in terms of trigonometric, exponential and rational functions that hold uniformly in the s…
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].
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 asymptotic expansion of the Kummer function ${}_1F_1(a; b; z)$ is examined as $z\to+\infty$ on the Stokes line $\arg\,z=0$. The correct form of the subdominant algebraic contribution is obtained for non-integer $a$. Numerical results demonstrating the accuracy of the expansion are given.
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.
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.
Uniform asymptotic expansions involving exponential and Airy functions are obtained for Laguerre polynomials $L_{n}^{(α)}(x)$, as well as complementary confluent hypergeometric functions. The expansions are valid for $n$ large and $α$ small or large, uniformly for unbounded real and complex values of $x$. The new expansions extend the range of computability of $L_n^{(α)}(x)$ compared to previous expansions, in particular with respect to higher terms and large values of $α$. Numerical evidence of their accuracy for real and complex values of $x$ is provided.
We examine the series expansions of the solutions of the confluent Heun equation in terms of three different sets of the Kummer confluent hypergeometric functions. The coefficients of the expansions in general obey three-term recurrence relations defining double-sided infinite series; however, four-term and two-term relations are also possible in particular cases. The conditions for left- and/or right-side termination of the derived series are discussed.
Hypergeometric equations with a dihedral monodromy group can be solved in terms of elementary functions. This paper gives explicit general expressions for quadratic monodromy invariants for these hypergeometric equations, using a generalization of Clausen's formula and terminating double hypergeometric sums. Besides, pull-back transformations for the dihedral hypergeometric equations are presented, including Klein's pullback transformations for the equations with a finite (dihedral) monodromy group.
This paper presents explicit algebraic transformations of some Gauss hypergeometric functions. Specifically, the transformations considered apply to hypergeometric solutions of hypergeometric differential equations with the local exponent differences $1/K,1/L,1/M$ such that $K,L,M$ are positive integers and $1/K+1/L+1/M<1$. All algebraic transformations of these Gauss hypergeometric functions are considered. We show that apart from classical transformations of degree 2, 3, 4, 6 there are several other transformations of degree 6, 8, 9, 10, 12, 18, 24. Besides, we present an algorithm to comput…
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.
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.
This paper presents explicit expressions for algebraic Gauss hypergeometric functions. We consider solutions of hypergeometric equations with the tetrahedral, octahedral and icosahedral monodromy groups. Conceptually, we pull-back such a hypergeometric equation onto its Darboux curve so that the pull-backed equation has a cyclic monodromy group. Minimal degree of the pull-back coverings is 4, 6 or 12 (for the three monodromy groups, respectively). In explicit terms, we replace the independent variable by a rational function of degree 4, 6 or 12, and transform hypergeometric functions to radica…
In 1993 one of the authors formulated some conjectures on monotonicity of ratios for exponential series sections. They lead to more general conjecture on monotonicity of ratios of Kummer hypergeometric functions and was not proved from 1993. In this paper we prove these conjectures in the more general setting for Kummer hypergeometric functions and its further generalizations for Gauss and generalized hypergeometric functions. The results are also closely connected with Turan--type inequalities.
We obtain convergent inverse factorial expansions for the sum $S_n(a,b;c)$ of the first $n$ terms of the Gauss hypergeometric function of unit argument valid for $n\geq 1$. The form of these expansions depends on the location of the parametric excess $s:=c-a-b$ in the complex $s$-plane. The leading behaviour as $n\rightarrow\infty$ agrees with previous results in the literature. The case $a=b=1/2$, $c=1$ corresponds to the Landau contants.
Recently, Rathie and Kılıçman (2014) employed Kummer-type transformation for $_{2}F_{2}(a, d+1; b, d; x)$ to develop certain classes of expansions theorems for $_{2}F_{2}(x)$ hypergeometric polynomial. Our aim is to deduce Kummer-type transformation for $_{2}F_{2}(a, d+2; b, d; x)$ and utilize it to develop some new expansion theorems for the confluent hypergeometric $_{2}F_{2}(x)$ polynomial. We also obtain a well-known result given by Kim et al. (Integral Transforms Spec. Funct. 23(6); 435-444, 2012) and many other new results as particular cases of our theorems.
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.
The hypergeometric and Heun functions are classical special functions. Transformation formulas between them are commonly induced by pull-back transformations of their differential equations, with respect to some coverings P1-to-P1. This gives expressions of Heun functions in terms of better understood hypergeometric functions. This article presents the list of hypergeometric-to-Heun pull-back transformations with a free continuous parameter, and illustrates most of them by a Heun-to-hypergeometric reduction formula. In total, 61 parametric transformations exist, of maximal degree 12.
We derive asymptotic expansions of the Kummer functions $M(a,b,z)$ and $U(a,b+1,z)$ for large positive values of $a$ and $b$, with $z$ fixed. For both functions we consider $b/a\le 1$ and $b/a\ge 1$, with special attention for the case $a\sim b$. We use a uniform method to handle all cases of these parameters.
We consider the uniform asymptotic expansion for the Gauss hypergeometric function \[F(a+ελ,m;c+λ;x),\qquad λ\to+\infty\] for $x<1$ and positive integer $m$ when the parameter $ε>1$ and the constants $a$ and $c$ are supposed finite. When $m=1$, we employ the standard procedure of the method of steepest descents modified to deal with the situation when a saddle point is near a simple pole. It is shown that it is possible to give a closed-form expression for the coefficients in the resulting uniform expansion. The expansion when $m\geq 2$ is obtained by means of a recurrence relation. Numerical …
We consider the asymptotic behaviour of the Gauss hypergeometric function when several of the parameters a, b, c are large. We indicate which cases are of interest for orthogonal polynomials (Jacobi, but also Krawtchouk, Meixner, etc.), which results are already available and which cases need more attention. We also consider a few examples of 3F2-functions of unit argument, to explain which difficulties arise in these cases, when standard integrals or differential equations are not available.
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.
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.
This paper presents a somewhat exhaustive study on the conformable fractional Gauss hypergeometric function (CFGHF). We start by solving the conformable fractional Gauss hypergeometric equation (CFGHE) about the fractional regular singular points $x=1$ and $x=\infty$. Next, various generating functions of the CFGHF are established. We also develop some differential forms for the CFGHF. Subsequently, differential operators and the contiguous relations are reported. Furthermore, we introduce the conformable fractional integral representation and the fractional Laplace transform of CFGHF. As an a…
Several expansions of the solutions of the double-confluent Heun equation in terms of the Kummer confluent hypergeometric functions are presented. Three different sets of these functions are examined. Discussing the expansions without a pre-factor, it is shown that two of these functions provide expansions the coefficients of which obey three-term recurrence relations, while for the third confluent hypergeometric function the corresponding recurrence relation generally involves five-terms. The latter relation is reduced to a three-term one only in the case when the double-confluent Heun equati…
We extend expansion formulas of Liu given in 2013 to the context of multiple series over root systems. Liu and others have shown the usefulness of these formulas in Special Functions and number-theoretic contexts. We extend Wang and Ma's generalizations of Liu's work which they obtained using $q$-Lagrange inversion. We use the $A_n$ and $C_n$ Bailey transformation and other summation theorems due to Gustafson, Milne, Milne and Lilly, and others, from the theory of $A_n$, $C_n$ and $D_n$ basic hypergeometric series.
We derive all eighteen Gauss hypergeometric representations for the Ferrers function of the second kind, each with a different argument. They are obtained from the eighteen hypergeometric representations of the associated Legendre function of the second kind by using a limit representation. For the 18 hypergeometric arguments which correspond to these representations, we give geometrical descriptions of the corresponding convergence regions in the complex plane. In addition, we consider a corresponding single sum Fourier expansion for the Ferrers function of the second kind. In four of the eig…
We evaluate the sum of Gauss hypergeometric functions \[S(μ,c;x)=\sum_{k\geq 0} \bl(\frac{1-x}{1+μ}\br)^k\,{}_2F_1(\fs k+\fs, \fs k+1;c;x)\] for $x\in [-1,1]$ and positive parameters $μ$ and $c$. The domain of absolute convergence of this series is established by determining the growth of the hypergeometric function for $k\to+\infty$. An application to Galton-Watson branching processes arising in the theory of stochastic processes is presented. A new class of positive integer-valued distributions with power tails is introduced.
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.
In a recent paper \cite{Temme:2021:AKH} new asymptotic expansions are given for the Kummer functions $M(a,b,z)$ and $U(a,b+1,z)$ for large positive values of $a$ and $b$, with $z$ fixed and special attention for the case $a\sim b$. In this paper we extend the approach and also accept large values of $z$. The new expansions are valid when at least one of the parameters $a$, $b$, or $z$ is large. We provide numerical tables to show the performance of the expansions.
In this paper, we consider the monotonicity of certain combinations of the Gaussian hypergeometric functions $F(a-1,b;a+b;1-x^c)$ and $F(a-1-δ,b+δ;a+b;1-x^d)$ on $(0,1)$ for $δ\in(a-1,0)$, and study the problem of comparing these two functions, thus get the largest value $δ_1=δ_1(a,c,d)$ such that the inequality $F(a-1,b;a+b;1-x^c)<F(a-1-δ,b+δ;a+b;1-x^d)$ holds for all $x\in (0,1)$.
We consider the uniform asymptotic expansion for the Gauss hypergeometric function \[{}_2F_1(a+ελ,b;c+λ;x),\qquad 0<x<1\] as $λ\to+\infty$ in the neigbourhood of $εx=1$ when the parameter $ε>1$ and the constants $a$, $b$ and $c$ are supposed finite. Use of a standard integral representation shows that the problem reduces to consideration of a simple saddle point near an endpoint of the integration path. A uniform asymptotic expansion is first obtained by employing Bleistein's method. An alternative form of uniform expansion is derived following the approach described in Olver's book [{\it Asym…
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 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.
We review the series solutions of the general and single-confluent Heun equations in terms of powers, ordinary-hypergeometric and confluent-hypergeometric functions. The conditions under which the expansions reduce to finite sums as well as the cases when the coefficients of power-series expansions obey two-term recurrence relations are discussed. Infinitely many cases for which a solution of a general or single-confluent Heun equation is written through a single generalized hypergeometric function are indicated. It is shown that the parameters of this generalized hypergeometric function are t…
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（西交利物浦大学数理学院应用数学系）
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 obtain the asymptotic expansion for the Gauss hypergeometric function \[F(a-λ,b+λ;c+iαλ;z)\] for $λ\rightarrow+\infty$ with $a$, $b$ and $c$ finite parameters by application of the method of steepest descents. The quantity $α$ is real, so that the denominatorial parameter is complex and $z$ is a finite complex variable restricted to lie in the sector $|\arg (1-z)|<π$. We concentrate on the particular case $a=0$, $b=c=1$, which is associated with the Legendre functions of real degree and imaginary order. The resulting expansions are of Poincaré type and hold in restricted domains of the $z$-…
In this paper, the incomplete Pochhammer ratios are defined in terms of the incomplete beta function $B_{y}(x,z)$. With the help of these incomplete Pochhammer ratios, we introduce new incomplete Gauss, confluent hypergeometric and Appell's functions and investigate several properties of them such as integral representations, derivative formulas, transformation formulas, and recurrence relation. Furthermore, an incomplete Riemann-Liouville fractional derivative operators are introduced. This definition helps us to obtain linear and bilinear generating relations for the new incomplete Gauss hyp…
We introduce a natural method of computing antiderivatives of a large class of functions which stems from the observation that the series expansion of an antiderivative differs from the series expansion of the corresponding integrand by just two Pochhammer symbols. All antiderivatives are thus, in a sense, "hypergeometric". And hypergeometric functions are therefore the most natural functions to integrate. This paper would like to make two points: First, the method presented is easy. So much so that it can be taught in undergraduate university level. And second: It may be used to prove some of…
The aim of this note is to provide a new identity connected with the Gauss hypergeometric function. This is achieved using results of certain combinatorial identities and a hypergeometric function approach.
A series expansion for Heckman-Opdam hypergeometric functions $φ_λ$ is obtained for all $λ\in \mathfrak a^*_{\mathbb C}.$ As a consequence, estimates for $φ_λ$ away from the walls of a Weyl chamber are established. We also characterize the bounded hypergeometric functions and thus prove an analogue of the celebrated theorem of Helgason and Johnson on the bounded spherical functions on a Riemannian symmetric space of the noncompact type. The $L^p$-theory for the hypergeometric Fourier transform is developed for $0<p<2$. In particular, an inversion formula is proved when $1\leq p <2$.
A celebrated theorem of Klein implies that any hypergeometric differential equation with algebraic solutions is a pull-back of one of the few standard hypergeometric equations with algebraic solutions. The most interesting cases are hypergeometric equations with tetrahedral, octahedral or icosahedral monodromy groups. We give an algorithm for computing Klein's pull-back coverings in these cases, based on certain explicit expressions (Darboux evaluations) of algebraic hypergeometric functions. The explicit expressions can be computed using contiguous relations and a data base of simplest Darbou…
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.
Gauss hypergeometric functions with a dihedral monodromy group can be expressed as elementary functions, since their hypergeometric equations can be transformed to Fuchsian equations with cyclic monodromy groups by a quadratic change of the argument variable. The paper presents general elementary expressions of these dihedral hypergeometric functions, involving finite bivariate sums expressible as terminating Appell's F2 or F3 series. Additionally, trigonometric expressions for the dihedral functions are presented, and degenerate cases (logarithmic, or with the monodromy group Z/2Z) are consid…
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.
We consider an application of Grothendieck's dessins d'enfants to the theory of the sixth Painlevé and Gauss hypergeometric functions: two classical special functions of the isomonodromy type. It is shown that, higher order transformations and the Schwarz table for the Gauss hypergeometric function are closely related with some particular Belyi functions. Moreover, we introduce a notion of deformation of the dessins d'enfants and show that one dimensional deformations are a useful tool for construction of algebraic the sixth Painlevé functions.
We consider representations of quadratic $R$-matrix algebras by means of certain first order ordinary differential operators. These operators turn out to act as parameter shifting operators on the Gauss hypergeometric function and its limit cases and on classical orthogonal polynomials. The relationship with W. Miller's treatment of Lie algebras of first order differential operators will be discussed.
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 paper we prove monotonicity of some ratios of $q$--Kummer confluent hypergeometric and $q$--hypergeometric functions. The results are also closely connected with Turán type inequalities. In order to obtain main results we apply methods developed earlier by the authors for the case of classical Kummer and Gauss hypergeometric functions.
We describe a solution of the Gauss hypergeometric equation, $F(α,β,γ;z)$ by power series in paramaters $α,β,γ$ whose coefficients are $\Z$ linear combinations of multiple polylogarithms. And using the representation and connection reletions of solutions of the hypergeometric equation, we show some relations of multiple zeta values.
In this paper, a generalization of Ramanujan's cubic transformation, in the form of an inequality, is proved for zero-balanced Gaussian hypergeometric function $F(a,b;a+b;x)$, $a,b>0$.
