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 considered.
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.
Algebraic hypergeometric functions can be compactly expressed as radical or dihedral functions on pull-back curves where the monodromy group is much simpler. This article considers the classical 3F2-functions with the projective monodromy group PSL(2,F7) and their pull-back transformations of degree 21 that reduce the projective monodromy to the dihedral group D4 of 8 elements.
Just as with the Gauss hypergeometric function, particular cases of the local Heun function can be Liouvillian (that is, "elementary") functions. One way to obtain these functions is by pull-back transformations of Gauss hypergeometric equations with Liouvillian solutions. This paper presents the Liouvillian solutions of Heun's equations that are pull-backs of the parametric hypergeometric equations with cyclic or dihedral monodromy groups.
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…
The paper aims to generalize Clausen's identity to the square of any Gauss hypergeometric function. Accordingly, solutions of the related 3rd order linear differential equation are found in terms of certain bivariate series that can reduce to 3F2 series similar to those in Clausen's identity. The general contiguous variation of Clausen's identity is found. The related Chaundy's identity is generalized without any restriction on the parameters of Gauss hypergeometric function. The special case of dihedral Gauss hypergeometric functions is underscored.
Pull-back transformations between Heun and Gauss hypergeometric equations give useful expressions of Heun functions in terms of better understood hypergeometric functions. This article classifies, up to Mobius automorphisms, the coverings P1-to-P1 that yield pull-back transformations from hypergeometric to Heun equations with at least one free parameter (excluding the cases when the involved hypergeometric equation has cyclic or dihedral monodromy). In all, 61 parametric hypergeometric-to-Heun transformations are found, of maximal degree 12. Among them, 28 pull-backs are compositions of smalle…
We introduce gamma structures on regular hypergeometric D--modules in dimension 1 as special one--parametric systems of solutions on the compact subtorus. We note that a balanced gamma product is in the Paley--Wiener class and show that the monodromy with respect to the gamma structure is expressed algebraically in terms of the hypergeometric exponents. We compute the hypergeometric monodromy explicitly in terms of certain diagonal matrices, Vandermonde matrices and their inverses (or generalizations of those in the resonant case).
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.
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 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.
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.
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 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.
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.
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.
In this paper, we are interested in a Neumann-type series for modified Bessel functions of the first kind which arises in the study of Dunkl operators associated with dihedral groups and as an instance of the Laguerre semigroup constructed by Ben Said-Kobayashi-Orsted. We first revisit the particular case corresponding to the group of square-preserving symmetries for which we give two new and different proofs other than the existing ones. The first proof uses the expansion of powers in a Neumann series of Bessel functions while the second one is based on a quadratic transformation for the Gaus…
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…
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.
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.
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 derive formulas for the construction of all inequivalent Jacobian elliptic fibrations on the Kummer surface of two non-isogeneous elliptic curves from extremal rational elliptic surfaces by rational base transformations and quadratic twists. We then show that each such decomposition yields a description of the Picard-Fuchs system satisfied by the periods of the holomorphic two-form as either a tensor product of two Gauss' hypergeometric differential equations, an Appell hypergeometric system, or a GKZ differential system. As the answer must be independent of the fibration used, identities r…
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, 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 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…
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 …
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.
The space of polynomials in two real variables with values in a 2-dimensional irreducible module of a dihedral group is studied as a standard module for Dunkl operators. The one-parameter case is considered (omitting the two-parameter case for even dihedral groups). The matrix weight function for the Gaussian form is found explicitly by solving a boundary value problem, and then computing the normalizing constant. An orthogonal basis for the homogeneous harmonic polynomials is constructed. The coefficients of these polynomials are found to be balanced terminating $_4F_3$-series.
We consider the ratio of two Gauss hypergeometric functions with real parameters shifted by arbitrary integers. We find a formula for the jump of this ratio over the branch cut in terms of a real hypergeometric polynomial, the beta density and the absolute value of the Gauss hypergeometric function. This allows us to construct explicit integral representations for such ratio when the asymptotic behaviour at unity is mild and the denominator does not vanish. Multiplying the ratio by the aforementioned polynomial, we obtain a function that belongs to a generalized Nevanlinna class for arbitrary …
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,(κ_{…
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 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$-…
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.
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.
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 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.
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$.
Hydrostatic equilibrium and energy conservation determine the conditions in the gravitationally stabilized solar fusion reactor. We assume a matter density distribution varying non-linearly through the central region of the Sun. The analytic solutions of the differential equations of mass conservation, hydrostatic equilibrium, and energy conservation, together with the equation of state of the perfect gas and a nuclear energy generation rate $ε=ε_0 ρ^nT^m$, are given in terms of Gauss' hypergeometric function. This model for the structure of the Sun gives the run of density, mass, pressure, te…
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 com…
This paper studies the log-convexity of the extended beta functions. As a consequence, Turán-type inequalities are established.The monotonicity, log-convexity, log-concavity of extended hypergeometric functions are deduced by using the inequalities on extended beta functions,. The particular cases of those results also gives the Turán-type inequalities for extended confluent and extended Gaussian hypergeometric functions. Some reverse of Turán-type inequalities also derived.
For zero-balanced Gaussian hypergeometric functions $ F(a,b;a+b;x),$ $a,b>0,$ we determine maximal regions of $ab$ plane where well-known Landen identities for the complete elliptic integral of the first kind turn on respective inequalities valid for each $x\in (0,1)$. Thereby an exhausting answer is given to an open problem.
