A new set of multiple orthogonal polynomials of both type I and type II with respect to two weight functions involving Gauss' hypergeometric function on the interval $(0,1)$ is studied. This type of polynomials have direct applications in the investigation of singular values of products of Ginibre matrices, in the analysis of rational solutions to Painlevé equations and are connected with branched continued fractions and total positivity problems in combinatorics. The pair of orthogonality measures is shown to be a Nikishin system and to satisfy a matrix Pearson-type differential equation. The focus is on the polynomials whose indexes lie on the step line, for which it is shown that differentiation on the variable gives a shift on the parameters, therefore satisfying Hahn's property. We obtain a Rodrigues-type formula for type I, while a more detailed characterisation is given for the type II polynomials (aka $2$-orthogonal polynomials) which include: an explicit expression as a terminating hypergeometric series, a third-order differential equation, and a third-order recurrence relation. The asymptotic behaviour of their recurrence coefficients mimics those of Jacobi-Piñeiro polynomials, based on which, their zero asymptotic distribution and a Mehler-Heine asymptotic formula near the origin are given. Particular choices on the parameters degenerate in some known systems such as special cases of the Jacobi-Piñeiro polynomials, Jacobi-type $2$-orthogonal polynomials, and components of the cubic decomposition of threefold symmetric Hahn-classical polynomials. Equally considered are confluence relations to other known polynomial sets, such as multiple orthogonal polynomials with respect to Tricomi functions.
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.
The study of $-1$ orthogonal polynomials viewed as $q =-1$ limits of the $q$-orthogonal polynomials is pursued. This paper present the continuous polynomials part of the $-1$ analog of the $q$-Askey scheme. A compendium of the properties of all the continuous $-1$ hypergeometric polynomials and their connections is provided.
We list the so-called Askey-scheme of hypergeometric orthogonal polynomials. In chapter 1 we give the definition, the orthogonality relation, the three term recurrence relation and generating functions of all classes of orthogonal polynomials in this scheme. In chapeter 2 we give all limit relation between different classes of orthogonal polynomials listed in the Askey-scheme. In chapter 3 we list the q-analogues of the polynomials in the Askey-scheme. We give their definition, orthogonality relation, three term recurrence relation and generating functions. In chapter 4 we give the limit relat…
We show how to obtain linear combinations of polynomials in an orthogonal sequence $\{P_n\}_{n\geq 0}$, such as $Q_{n,k}(x)=\sum\limits_{i=0}^k a_{n,i}P_{n-i}(x)$, $a_{n,0}a_{n,k}\neq0$, that characterize quasi-orthogonal polynomials of order $k\le n-1$. The polynomials in the sequence $\{Q_{n,k}\}_{n\geq 0}$ are obtained from $P_{n}$, by making use of parameter shifts. We use an algorithmic approach to find these linear combinations for each family applicable and these equations are used to prove quasi-orthogonality of order $k$. We also determine the location of the extreme zeros of the quas…
We present a method to obtain weight functions associated with linear and quadratic lattices that yield discrete orthogonality with respect to a quasi-definite moment functional of the orthogonal polynomial sequences in the Askey scheme, with the exception of the Jacobi, Bessel, Laguerre, and Hermite polynomials.
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 construct noncomplete orthogonal systems on the ray $[0,\infty)$ that look like Jacobi polynomials $P_n(x)$ after a shift of degree $n\mapsto n+a$, where $a$ is a real constant. These systems are solutions of some exotic Sturm-Liouville problem for hypergeometric differential operators. We obtain the explicit spectral decomposition for these problems.
We use connection relations and series rearrangement to generalize generating functions for several higher continuous orthogonal polynomials in the Askey scheme, namely the Wilson, continuous dual Hahn, continuous Hahn, and Meixner-Pollaczek polynomials. We also determine corresponding definite integrals using the orthogonality relations for these polynomials.
In this paper we study the following family of hypergeometric polynomials: $y_n(x) = \frac{ (-1)^ρ}{ n! } x^n {}_2 F_0(-n,ρ;-;-\frac{1}{x})$, depending on a parameter $ρ\in\mathbb{N}$. Differential equations of orders $ρ+1$ and $2$ for these polynomials are given. A recurrence relation for $y_n$ is derived as well. Polynomials $y_n$ are Sobolev orthogonal polynomials on the unit circle with an explicit matrix measure.
Many limits are known for hypergeometric orthogonal polynomials that occur in the Askey scheme. We show how asymptotic representations can be derived by using the generating functions of the polynomials. For example, we discuss the asymptotic representation of the Meixner-Pollaczek, Jacobi, Meixner, and Krawtchouk polynomials in terms of Laguerre polynomials.
We investigate the recurrence coefficients of discrete orthogonal polynomials on the non-negative integers with hypergeometric weights and show that they satisfy a system of non-linear difference equations and a non-linear second order differential equation in one of the parameters of the weights. The non-linear difference equations form a pair of discrete Painlevé equations and the differential equation is the $σ$-form of the sixth Painlevé equation. We briefly investigate the asymptotic behavior of the recurrence coefficients as $n\to \infty$ using the discrete Painlevé equations.
We introduce and analyse a new family of multiple orthogonal polynomials of hypergeometric type with respect to two measures supported on the positive real line which can be described in terms of confluent hypergeometric functions of the second kind. These two measures form a Nikishin system. Our focus is on the multiple orthogonal polynomials for indices on the step line. The sequences of the derivatives of both type I and type II polynomials with respect to these indices are again multiple orthogonal and they correspond to the original sequences with shifted parameters. For the type I polyno…
We construct a set $H$ of orthogonal polynomial sequences that contains all the families in the Askey scheme and the $q$-Askey scheme. The polynomial sequences in $H$ are solutions of a generalized first-order difference equation which is determined by three linearly recurrent sequences of numbers. Two of these sequences are solutions of a difference equation of order three and the other sequence satisfies a related difference equation of order five. We obtain explicit expressions for the coefficients of the orthogonal polynomials and for the generalized moments with respect to a basis of Newt…
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…
Orthogonal polynomials for the multivariate hypergeometric distribution are defined on lattices in polyhedral domains in $\RR^d$. Their structures are studied through a detailed analysis of classical Hahn polynomials with negative integer parameters. Factorization of the Hahn polynomials is explored and used to explain the relation between the index set of orthogonal polynomials and the lattice set in polyhedral domain. In the multivariate case, these constructions lead to nontrivial families of hypergeometric polynomials vanishing on lattice polyhedra. The generating functions and bispectral …
We introduce the notion of "hypergeometric" polynomials with respect to Newtonian bases. These polynomials are eigenfunctions ($L P_n(x) = λ_n P_n(x)$) of some abstract operator $L$ which is 2-diagonal in the Newtonian basis $φ_n(x)$: $L φ_n(x) = λ_n φ_n(x) + τ_n(x) φ_{n-1}(x)$ with some coefficients $λ_n$, $τ_n$. We find the necessary and sufficient conditions for the polynomials $P_n(x)$ to be orthogonal. For the special cases where the sets $λ_n$ correspond to the classical grids, we find the complete solution to these conditions and observe that it leads to the most general Askey-Wilson po…
We produce two-dimensional contiguous relations for generalized hypergeometric functions by starting with linearization coefficients for some continuous generalized hypergeometric orthogonal polynomials in the Askey-scheme.
We first show how one can obtain Al-Salam--Chihara polynomials, continuous dual $q$-Hahn polynomials, and Askey--Wilson polynomials from the little $q$-Laguerre and the little $q$-Jacobi polynomials by using special transformations. This procedure is then extended to obtain multiple Askey--Wilson, multiple continuous dual $q$-Hahn, and multiple Al-Salam--Chihara polynomials from the multiple little $q$-Laguerre and the multiple little $q$-Jacobi polynomials.
Explicit solutions for the three-term recurrence satisfied by associated continuous dual $q$-Hahn polynomials are obtained. A minimal solution is identified and an explicit expression for the related continued fraction is derived. The absolutely continuous component of the spectral measure is obtained. Eleven limit cases are discussed in some detail. These include associated big $q$-Laguerre , associated Wall, associated Al-Salam-Chihara, associated Al-Salam-Carlitz I, and associated continuous $q$-Hermite polynomials.
We give some structural formulas for the family of matrix-valued orthogonal polynomials of size $2\times 2$ introduced by C. Calderón et al. in an earlier work, which are common eigenfunctions of a differential operator of hypergeometric type. Specifically, we give a Rodrigues formula that allows us to write this family of polynomials explicitly in terms of the classical Jacobi polynomials, and write, for the sequence of orthonormal polynomials, the three-term recurrence relation and the Christoffel-Darboux identity. We obtain a Pearson equation, which enables us to prove that the sequence of …
We find all polynomials solutions $P_n(x)$ of the abstract "hypergeometric" equation $L P_n(x) = λ_n P_n(x)$, where $L$ is a linear operator sending any polynomial of degree $n$ to a polynomial of the same degree with the property that $L$ is two-diagonal in the monomial basis, i.e. $L x^n = λ_n x^n + μ_n x^{n-1}$ with arbitrary nonzero coefficients $λ_n, μ_n$ . Under obvious nondegenerate conditions, the polynomial eigensolutions $L P_n(x) = λ_n P_n(x)$ are unique. The main result of the paper is a classification of all {\it orthogonal} polynomials $P_n(x)$ of such type, i.e. $P_n(x)$ are ass…
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.
It turned out that the partial sums $g_n(z) = \sum_{k=0}^n \frac{(a_1)_k ... (a_p)_k}{(b_1)_k ... (b_q)_k} \frac{z^k}{k!}$, of the generalized hypergeometric series ${}_p F_q(a_1,...,a_p; b_1,...,b_q;z)$, with parameters $a_j,b_l\in\mathbb{C}\backslash\{ 0,-1,-2,... \}$, are Sobolev orthogonal polynomials. The corresponding monic polynomials $G_n(z)$ are polynomials of $R_I$ type, and therefore they are related to biorthogonal rational functions. Polynomials $g_n$ possess a differential equation (in $z$), and a recurrence relation (in $n$). We study integral representations for $g_n$, and some…
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.
The sequence $\{\,_2ϕ_1(q^{-k},q^{b+1};\,q^{-\overline{b}-k+1};\, q, q^{-\overline{b}+1/2} z)\}_{k \geq 0}$ of basic hypergeometric polynomials is known to be orthogonal on the unit circle with respect to the weight function $|(q^{1/2}e^{iθ};\,q)_{\infty}/(q^{b+1/2}e^{iθ};\,q)_{\infty}|^2$. This result, where one must take the parameters $q$ and $b$ to be $0 < q < 1$ and $\Re(b) > -1/2$, is due to P.I. Pastro \cite{Pastro-1985}. In the present manuscript we deal with the orthogonal polynomials $\hatΦ_{n}(b;.)$ and $\checkΦ_{n}(b;.)$ on the unit circle with respect to the two parametric familie…
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…
Explicit expressions for the Hahn multiple polynomials of type I, in terms of Kampé de Fériet hypergeometric series, are given. Orthogonal and biorthogonal relations are proven. Then, part of the Askey scheme for multiple orthogonal polynomials type I is completed. In particular, explicit expressions in terms of generalized hypergeometric series and Kampé de Fériet hypergeometric series, are given for the multiple orthogonal polynomials of type I for the Jacobi-Piñeiro, Meixner I, Meixner II, Kravchuk, Laguerre I, Laguerre II and Charlier families.
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.
Via the solutions of systems of algebraic equations of Bethe Ansatz type, we arrive at bounds for the zeros of orthogonal (basic) hypergeometric polynomials belonging to the Askey-Wilson, Wilson and continuous Hahn families.
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.
For little q-Jacobi polynomials and q-Hahn polynomials we give particular q-hypergeometric series representations in which the termwise q=0 limit can be taken. When rewritten in matrix form, these series representations can be viewed as LU factorizations. We develop a general theory of LU factorizations related to complete systems of orthogonal polynomials with discrete orthogonality relations which admit a dual system of orthogonal polynomials. For the q=0 orthogonal limit functions we discuss interpretations on p-adic spaces. In the little 0-Jacobi case we also discuss product formulas.
In this contribution we consider sequences of monic polynomials orthogonal with respect to a Sobolev-type inner product \[ \langle f,g \rangle _{S}:= \langle {\bf u}, f g\rangle +N (\mathscr D_q f)(α) (\mathscr D _{q}g)(α),\qquad α\in \mathbb R, \quad N\ge 0, \] where $\bf u$ is a $q$-classical linear functional and $\mathscr D _{q}$ is the $q$-derivative operator. We obtain some algebraic properties of these polynomials such as an explicit representation, a five-term recurrence relation as well as a second order linear $q$-difference holonomic equation fulfilled by such polynomials. We presen…
The Cholesky factorization of the moment matrix is considered for discrete orthogonal polynomials of hypergeometrical type. We derive the Laguerre-Freud equations when the first moments of the weights are given by the ${}_1F_2$, ${}_2F_2$ and ${}_3F_2$ generalized hypergeometrical functions.
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.
A correlation function of the classical orthogonal polynomials is defined and determined. The correlation function obeys a second order difference equation in two variables. The correlation function for the Gegenbauer, Chebyshev and Legendre polynomials can be written as a 4F3 hypergeometric function. For the Jacobi polynomials the result is an F2 Appell function. For the Generalized Laguerre polynomials the result is a confluent hypergeometric function and for the Hermite polynomials there rests only a single term.
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…
The spectral decomposition for an explicit second-order differential operator $T$ is determined. The spectrum consists of a continuous part with multiplicity two, a continuous part with multiplicity one, and a finite discrete part with multiplicity one. The spectral analysis gives rise to a generalized Fourier transform with an explicit hypergeometric function as a kernel. Using Jacobi polynomials the operator $T$ can also be realized as a five-diagonal operator, hence leading to orthogonality relations for $2\times 2$-matrix-valued polynomials. These matrix-valued polynomials can be considere…
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 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.
