Our interest lies in describing the zero behaviour of Gauss hypergeometric polynomials $F(-n,b; c; z)$ where $b$ and $c$ are arbitrary parameters. In general, this problem has not been solved and even when $b$ and $c$ are both real, the only cases that have been fully analyzed impose additional restrictions on $b$ and $c$. We review recent results that have been proved for the zeros of several classes of hypergeometric polynomials $F(-n,b; c; z)$ where $b$ and $c$ are real. We show that the number of real zeros of $F(-n,b; c; z)$ for arbitrary real values of the parameters $b$ and $c$, as well as the intervals in which these zeros (if any) lie, can be deduced from corresponding results for Jacobi polynomials.
In this survey paper, we exhaustively explore the terminating basic hypergeometric representations of the Askey-Wilson polynomials and the corresponding terminating basic hypergeometric transformations that these polynomials satisfy. From the terminating basic hypergeometric representations of these polynomials, and due to symmetry in their free parameters, we are able to exhaustively explore the terminating basic hypergeometric transformation formulae which these polynomials satisfy.
Darboux Transformation, well known in second order differential operator theory, is applied here to the difference equation satisfied by the discrete hypergeometric polynomials(Charlier, Meixner-Krawchuk, Hahn).
We present some families of polynomials related to the moments of weight functions of hypergeometric type. We also consider different types of generating functions, and give several examples.
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.
In an article that appeared in Journal of Approximation Theory, Neuschel investigated the asymptotic expansion of certain hypergeometric polynomials of type ${}_3 F_1$ inside and outside a closed curve. We supplement this result by studying a subfamily of those polynomials on a part of the closed curve.
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.
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 …
Starting from the Rodrigues representation of polynomial solutions of the general hypergeometric-type differential equation complementary polynomials are constructed using a natural method. Among the key results is a generating function in closed form leading to short and transparent derivations of recursion relations and an addition theorem. The complementary polynomials satisfy a hypergeometric-type differential equation themselves, have a three-term recursion among others and obey Rodrigues formulas. Applications to the classical polynomials are given.
We use a method based on the division algorithm to determine all the values of the real parameters $b$ and $c$ for which the hypergeometric polynomials $_2F_1(-n, b; c; z)$ have $n$ real, simple zeros. Furthermore, we use the quasi-orthogonality of Jacobi polynomials to determine the intervals on the real line where the zeros are located.
We consider a reducible generalized hypergeometric equation, whose sub-equation possesses apparent singular points. We determine the polynomial whose roots are these points. We show that this polynomial is a generalized hypergeometric polynomial. Key Words and Phrases. the generalized hypergeometric equation, reducible, apparent singular point, minor of Wronskian.
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.
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.
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 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.
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.
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 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.
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…
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.
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…
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 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 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…
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 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…
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…
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$.
The "Diophantine" property of the zeros of certain polynomials in the Askey scheme, recently discovered by Calogero and his collaborators, is explained, with suitably chosen parameter values, in terms of the summation theorem of hypergeometric series. Here the Diophantine property refers to integer valued zeros. It turns out that the same procedure can also be applied to polynomials arising from the basic hypergeometric series. We found, with suitably chosen parameters and certain $q-$analogue of the summation theorems, zeros of these polynomials explicitly, which are no longer integer valued.…
In this paper, we propose a general method to express explicitly the inversion and the connection coefficients between two basic hypergeometric polynomial sets. As application, we consider some $d$-orthogonal basic hypergeometric polynomials and we derive expansion formulae corresponding to all the families within the $q$-Askey scheme.
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.
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.
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…
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…
In the lecture notes we start off with an introduction to the $q$-hypergeometric series, or basic hypergeometric series, and we derive some elementary summation and transformation results. Then the $q$-hypergeometric difference equation is studied, and in particular we study solutions given in terms of power series at $0$ and at $\infty$. Factorisations of the corresponding operator are considered in terms of a lowering operator, which is the $q$-derivative, and the related raising operator. Next we consider the $q$-hypergeometric operator in a special case, and we show that there is a natural…
In this article we extend the results of our article "Limits of elliptic hypergeometric biorthogonal functions" to the multivariate setting. In that article we determined which families of biorthogonal functions arise as limits from the elliptic hypergeometric biorthogonal functions from Spiridonov when p->0. Here we show that the classification of the possible limits of the BC_n type multivariate biorthogonal functions previously introduced by the second author is identical to the univariate classification. That is, for each univariate limit family there exists a multivariate extension, and i…
The Knop-Sahi interpolation Macdonald polynomials are inhomogeneous and nonsymmetric generalisations of the well-known Macdonald polynomials. In this paper we apply the interpolation Macdonald polynomials to study a new type of basic hypergeometric series of type g_n. Our main results include a new q-binomial theorem, new q-Gauss sum, and several transformation formulae for g_n series.
We give a new theta-function identity, a special case of which is utilised to prove Kawanaka's Macdonald polynomial conjecture. The theta-function identity further yields a transformation formula for multivariable elliptic hypergeometric series which appears to be new even in the one-variable, basic case.
In this paper, we present a new real-valued Appell-type polynomial family $A_n^{(k)}(m,x), $ every member of which is expressed by mean of a generalized hypergeometric function. The generating exponential function of this type of polynomials is firstly discovered and the proof that they are of Appell-type ones is given. We present the differential operator formal power series representation as well as an explicit formula over the standard basis, and establish a new identity for the generalized hypergeometric function. Besides, we derive the addition, the multiplication and some other 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…
We prove that the zeros of ${}_2F_1(-n,\frac{n+1}{2};\frac{n+3}{2};z)$ asymptotically approach the section of the lemniscate $\{z: |z(1-z)^2|=4/27; \textrm{Re}(z)>1/3\}$ as $n\rightarrow \infty$. In recent papers (cf. \cite{KMF}, \cite{orive}), Martínez-Finkelshtein and Kuijlaars and their co-authors have used Riemann-Hilbert methods to derive the asymptotic zero distribution of Jacobi polynomials $P_n^{(α_n,β_n)}$ when the limits $\ds A=\lim_{n\rightarrow \infty}\frac{α_n}{n}$ and $\ds B=\lim_{n\rightarrow \infty}\frac{β_n}{n}$ exist and lie in the interior of certain specified regions in the…
Motivated by a problem related to conditions for the existence of clines in genetics, in this note our aim is to show that the positive zeros of a cross-product of the regular Coulomb wave function and the Tricomi hypergeometric function are increasing with respect to the order. In particular, this implies that the eigenvalues of a boundary value problem are increasing with the dimension.
The purpose of this article is to bring structure to (basic) hypergeometric biorthogonal systems, in particular to the q-Askey scheme of basic hypergeometric orthogonal polynomials. We aim to achieve this by looking at the limits as p->0 of the elliptic hypergeometric biorthogonal functions from Spiridonov, with parameters which depend in varying ways on p. As a result we get 38 systems of biorthogonal functions with for each system at least one explicit measure for the bilinear form. Amongst these we indeed recover the q-Askey scheme. Each system consists of (basic hypergeometric) rational fu…
In this paper, we explore the symmetric nature of the terminating basic hypergeometric series representations of the Askey--Wilson polynomials and the corresponding terminating basic hypergeometric transformations that these polynomials satisfy. In particular we identify and classify the set of 4 and 7 equivalence classes of terminating balanced ${}_4ϕ_3$ and terminating very-well poised ${}_8W_7$ basic hypergeometric series which are connected with the Askey--Wilson polynomials. We study the inversion properties of these equivalence classes and also identify the connection of both sets of equ…
We study Schur Q-polynomials evaluated on a geometric progression, or equivalently q-enumeration of marked shifted tableaux, seeking explicit formulas that remain regular at q=1. We obtain several such expressions as multiple basic hypergeometric series, and as determinants and pfaffians of continuous q-ultraspherical or continuous q-Jacobi polynomials. As special cases, we obtain simple closed formulas for staircase-type partitions.
In our previous work, a unified description as polynomial Hamiltonian systems was established for a broad class of the Schlesinger systems including the sixth Painleve equation and Garnier systems. The main purpose of this paper is to present particular solutions of this Hamiltonian system in terms of a certain generalization of Gauss' hypergeometric function. Key ingredients of the argument are the linear Pfaffian system derived from an integral representation of the hypergeometric function (with the aid of twisted de Rham theory) and Lax formalism of the Hamiltonian system.
We prove a general quadratic formula for basic hypergeometric series, from which simple proofs of several recent determinant and Pfaffian formulas are obtained. A special case of the quadratic formula is actually related to a Gram determinant formula for Askey-Wilson polynomials. We also show how to derive a recent double-sum formula for the moments of Askey-Wilson polynomials from Newton's interpolation formula.
