We introduce multiple Wilson polynomials, which give a new example of multiple orthogonal polynomials (Hermite-Pade polynomials) of type II. These polynomials can be written as a Jacobi-Pineiro transform, which is a generalization of the Jacobi transform for Wilson polynomials, found by T.H. Koornwinder. Here we need to introduce Jacobi and Jacobi-Pineiro polynomials with complex parameters. Some explicit formulas are provided for both Jacobi-Pineiro and multiple Wilson polynomials, one of them in terms of Kampe de Feriet series. Finally we look at some limiting relations and construct a part of a multiple AT-Askey table.
We give the asymptotic distribution of the zeros of Jacobi-Piñeiro polynomials and multiple Laguerre polynomials of the first kind. We use the nearest neighbor recurrence relations for these polynomials and a recent result on the ratio asymptotics of multiple orthogonal polynomials. We show how these asymptotic zero distributions are related to the Fuss-Catalan distribution.
The list of physically motivated urn models that can be solved in terms of classical orthogonal polynomials is very small. It includes a model proposed by D. Bernoulli and further analyzed by S. Laplace and a model proposed by P. and T. Ehrenfest and eventually connected with the Krawtchouk and Hahn polynomials. This connection was reversed recently in the case of the Jacobi polynomials where a rather contrived, and later a simpler urn model was proposed. Here we consider an urn model going with the Jacobi-Piñeiro multiple orthogonal polynomials. These polynomials have recently been put forth …
Strong asymptotics for Jacobi-Piñeiro orthogonal polynomials
Shanghai Jiao Tong University（上海交通大学）；Khabarovsk Division of the Institute for Applied Mathematics, Far Eastern Branch, Russian Academy of Sciences（俄罗斯科学院远东分院应用数学研究所哈巴罗夫斯克分部）；Keldysh Institute of Applied Mathematics of Russian Academy of Sciences（俄罗斯科学院凯尔迪什应用数学研究所）；Bennett University（贝内特大学）
Mehler-Heine asymptotics describe the behavior of orthogonal polynomials near the edges of the interval where the orthogonality measure is supported. For Jacobi polynomials and Laguerre polynomials this asymptotic behavior near the hard edge involves Bessel functions $J_α$. We show that the asymptotic behavior near the endpoint of the interval of (one of) the measures for multiple orthogonal polynomials involves a generalization of the Bessel function. The multiple orthogonal polynomials considered are Jacobi-Angelesco polynomials, Jacobi-Piñeiro polynomials, multiple Laguerre polynomials, mul…
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…
Given a non-negative Jacobi matrix describing higher order recurrence relations for multiple orthogonal polynomials of type~II and corresponding linear forms of type I, a general strategy for constructing a pair of stochastic matrices, dual to each other, is provided. The corresponding Markov chains (or 1D random walks) allow, in one transition, to reach for the N-th previous states, to remain in the state or reach for the immediately next state. The dual Markov chains allow, in one transition, to reach for the N-th next states, to remain in the state or reach for immediately previous state. T…
We establish the asymptotic zero distribution for polynomials generated by a four-term recurrence relation with varying recurrence coefficients having a particular limiting behavior. The proof is based on ratio asymptotics for these polynomials. We can apply this result to three examples of multiple orthogonal polynomials, in particular Jacobi-Pineiro, Laguerre I and the example associated with Macdonald functions. We also discuss an application to Toeplitz matrices.
The algebraic underpinning of the tridiagonalization procedure is investigated. The focus is put on the tridiagonalization of the hypergeometric operator and its associated quadratic Jacobi algebra. It is shown that under tridiagonalization, the quadratic Jacobi algebra becomes the quadratic Racah-Wilson algebra associated to the generic Racah/Wilson polynomials. A degenerate case leading to the Hahn algebra is also discussed.
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.
A limit formula from q-Racah polynomials to big q-Jacobi polynomials is given which can be considered as a limit formula for orthogonal polynomials. This is extended to a multi-parameter limit with 3 parameters, also involving (q-)Hahn polynomials, little q-Jacobi polynomials and Jacobi polynomials. Also the limits from Askey-Wilson to Wilson polynomials and from q-Racah to Racah polynomials are given in a more conceptual way.
An explicit structure relation for Askey-Wilson polynomials is given. This involves a divided q-difference operator which is skew symmetric with respect to the Askey-Wilson inner product and which sends polynomials of degree n to polynomials of degree n+1. By specialization of parameters and by taking limits, similar structure relations, as well as lowering and raising relations, can be obtained for other families in the q-Askey scheme and the Askey scheme. This is explicitly discussed for Jacobi polynomials, continuous q-Jacobi polynomials, continuous q-ultraspherical polynomials, and for big…
Multiple orthogonal polynomials with respect to two weights on the step-line are considered. A connection between different dual spectral matrices, one banded (recursion matrix) and one Hessenberg, respectively, and the Gauss-Borel factorization of the moment matrix is given. It is shown a hidden freedom exhibited by the spectral system related to the multiple orthogonal polynomials. Pearson equations are discussed, a Laguerre-Freud matrix is considered, and differential equations for type I and II multiple orthogonal polynomials, as well as for the corresponding linear forms are given. The Ja…
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.
We express the topological expansion of the Jacobi Unitary Ensemble in terms of triple monotone Hurwitz numbers. This completes the combinatorial interpretation of the topological expansion of the classical unitary invariant matrix ensembles. We also provide effective formulae for generating functions of multipoint correlators of the Jacobi Unitary Ensemble in terms of Wilson polynomials, generalizing the known relations between one point correlators and Wilson polynomials.
Recently a spectral Favard theorem for bounded banded lower Hessenberg matrices that admit a positive bidiagonal factorization was presented. These type of matrices are oscillatory. In this paper the Lima-Loureiro hypergeometric multiple orthogonal polynomials and the Jacobi-Piñeiro multiple orthogonal polynomials are discussed at the light of this bidiagonal factorization for tetradiagonal matrices. The Darboux transformations of tetradiagonal Hessenberg matrices is studied and Christoffel formulas for the elements of the bidiagonal factorization are given, i.e., the bidiagonal factorization …
In this paper we present an addition to Askey's scheme of q-hypergeometric orthogonal polynomials involving classes of q-special functions which do not consist of polynomials only. The special functions are q-analogues of the Jacobi and Bessel function, and are Askey-Wilson functions, big q-Jacobi functions and little q-Jacobi functions and the corrresponding q-Bessel functions. The generalised orthogonality relations and the second order q-difference equations for these families are given. Limit transitions between these families are discussed. The quantum group theoretic interpretations are …
Consider a root system of type $BC_1$ on the real line $\mathbb R$ with general positive multiplicities. The Cherednik-Opdam transform defines a unitary operator from an $L^2$-space on $\mathbb R$ to a $L^2$-space of $\mathbb C^2$-valued functions on $\mathbb R^+$ with the Harish-Chandra measure $|c(\lam)|^{-2}d\lam$. By introducing a weight function of the form $\cosh^{-\sig}(t)\tanh^{2k} t$ on $\mathbb R$ we find an orthogonal basis for the $L^2$-space on $\mathbb R$ consisting of even and odd functions expressed in terms of the Jacobi polynomials (for each fixed $\sig$ and $k$). We find a R…
Nonsymmetric Askey-Wilson polynomials are usually written as Laurent polynomials. We write them equivalently as 2-vector-valued symmetric Laurent polynomials. Then the Dunkl-Cherednik operator of which they are eigenfunctions, is represented as a 2x2 matrix-valued operator. As a new result made possible by this approach we obtain positive definiteness of the inner product in the orthogonality relations, under certain constraints on the parameters. A limit transition to nonsymmetric little q-Jacobi polynomials also becomes possible in this way. Nonsymmetric Jacobi polynomials are considered as …
We study a new family of "classical" orthogonal polynomials, here called big -1 Jacobi polynomials, which satisfy (apart from a 3-term recurrence relation) an eigenvalue problem with differential operators of Dunkl-type. These polynomials can be obtained from the big $q$-Jacobi polynomials in the limit $q \to -1$. An explicit expression of these polynomials in terms of Gauss' hypergeometric functions is found. The big -1 Jacobi polynomials are orthogonal on the union of two symmetric intervals of the real axis. We show that the big -1 Jacobi polynomials can be obtained from the Bannai-Ito poly…
We construct 3 finite systems of $4-F-3$ hypergeometric orthogonal polynomials. The weights are 1) the weight defined by the $5-H-5$ Dougall summation formula; 2) the integrand in the Askey beta-integral; 3) the weight $w(s)=|p(s)/q(s)|^2$, where $p(s)=Γ(a+is)Γ(b+is)Γ(c+is)$ and $q(s)=Γ(d+is)Γ(2is)$. We also evaluate the integral of the function $w(s)$ using the Jacobi transform (the Olevsky transform); this integral also can be reduced to the Nassrallah--Rahman integral.
The purpose of this note is to characterize those orthogonal polynomials sequences $(P_n)_{n\geq0}$ for which $$ π(x)\mathcal{D}_q P_n(x)=(a_n x+b_n)P_n(x)+c_n P_{n-1}(x),\quad n=0,1,2,\dots, $$ where $\mathcal{D}_q$ is the Askey-Wilson operator, $π$ is a polynomial of degree at most 2, and $(a_n)_{n\geq0}$, $(b_n)_{n\geq0}$ and $(c_n)_{n\geq0}$ are sequences of complex numbers such that $c_n\neq0$ for $n=1,2,\dots$.
In this paper we present an explicit (rank one) function transform which contains several Jacobi-type function transforms and Hankel-type transforms as degenerate cases. The kernel of the transform, which is given explicitly in terms of basic hypergeometric series, thus generalizes the Jacobi function as well as the Bessel function. The kernel is named the Askey-Wilson function, since it provides an analytical continuation of the Askey-Wilson polynomial in its degree. In this paper we establish the $L^2$-theory of the Askey-Wilson function transform, and we explicitely determine its inversion …
For a two-parameter family of lower triangular matrices with entries involving Jacobi polynomials an explicit inverse is given, with entries involving a sum of two Jacobi polynomials. The formula simplifies in the Gegenbauer case and then one choice of the parameter solves an open problem in a recent paper by Koelink, van Pruijssen & Roman. The two-parameter family is closely related to two two-parameter groups of lower triangular matrices, of which we also give the explicit generators. Another family of pairs of mutually inverse lower triangular matrices with entries involving Jacobi polynomi…
We establish an integral representations of a right inverses of the Askey-Wilson finite difference operator in an $L^2$ space weighted by the weight function of the continuous $q$-Jacobi polynomials. We characterize the eigenvalues of this integral operator and prove a $q$-analog of the expansion of $e^{ixy}$ in Jacobi polynomials of argument $x$. We also outline a general procedure of finding integral representations for inverses of linear operators.
We derive a generalized Rogers generating function and corresponding definite integral, for the continuous $q$-ultraspherical polynomials by applying its connection relation and utilizing orthogonality. Using a recent generalization of the Rogers generating function by Ismail & Simeonov expanded in terms of Askey-Wilson polynomials, we derive corresponding generalized expansions for the continuous $q$-Jacobi, and Wilson polynomials with two and four free parameters respectively. Comparing the coefficients of the Askey-Wilson expansion to our continuous $q$-ultraspherical/Rogers expansion, we d…
Infinitely many Casoratian identities are derived for the Wilson and Askey-Wilson polynomials in parallel to the Wronskian identities for the Hermite, Laguerre and Jacobi polynomials, which were reported recently by the present authors. These identities form the basis of the equivalence between eigenstate adding and deleting Darboux transformations for solvable (discrete) quantum mechanical systems. Similar identities hold for various reduced form polynomials of the Wilson and Askey-Wilson polynomials, e.g. the continuous q-Jacobi, continuous (dual) (q-)Hahn, Meixner-Pollaczek, Al-Salam-Chihar…
The main goal is to interpret the Askey-Wilson function and the corresponding transform pair on the quantum SU(1,1) group. A weight on the C^*-algebra of continuous functions vanishing at infinity on the quantum SU(1,1) group is studied, which is left and right invariant in a weak sense with respect to a product defined using Wall functions. The Haar weight restricted to certain subalgebras are explicitly determined in terms of an infinitely supported Jackson integral and in terms of an infinitely supported Askey-Wilson type measure. For the evaluation the spectral analysis of explicit unbound…
A general scheme for tridiagonalising differential, difference or q-difference operators using orthogonal polynomials is described. From the tridiagonal form the spectral decomposition can be described in terms of the orthogonality measure of generally different orthogonal polynomials. Three examples are worked out: (1) related to Jacobi and Wilson polynomials for a second order differential operator, (2) related to little q-Jacobi polynomials and Askey-Wilson polynomials for a bounded second order q-difference operator, (3) related to little q-Jacobi polynomials for an unbounded second order …
We derive a beta-integral over $\mathbb{Z}\times \mathbb{R}$ , which is a counterpart of the Dougall $_5H_5$-formula and of the de Branges--Wilson integral, our integral includes $_{10}H_{10}$-summation. For a derivation we use a two-dimensional integral transform related to representations of the Lorentz group, this transform is a counterpart of the Olevskii index transform (a synonym: Jacobi transform).
The Askey-Wilson function transform is a q-analogue of the Jacobi function transform with kernel given by an explicit non-polynomial eigenfunction of the Askey-Wilson second order q-difference operator. The kernel is called the Askey-Wilson function. In this paper an explicit expansion formula for the Askey-Wilson function in terms of Askey-Wilson polynomials is proven. With this expansion formula at hand, the image under the Askey-Wilson function transform of an Askey-Wilson polynomial multiplied by an analogue of the Gaussian is computed explicitly. As a special case of these formulas a q-an…
We study a family of "classical" orthogonal polynomials which satisfy (apart from a 3-term recurrence relation) an eigenvalue problem with a differential operator of Dunkl-type. These polynomials can be obtained from the little $q$-Jacobi polynomials in the limit $q=-1$. We also show that these polynomials provide a nontrivial realization of the Askey-Wilson algebra for $q=-1$.
As the third stage of the project multi-indexed orthogonal polynomials, we present, in the framework of 'discrete quantum mechanics' with pure imaginary shifts in one dimension, the multi-indexed Wilson and Askey-Wilson polynomials. They are obtained from the original Wilson and Askey-Wilson polynomials by multiple application of the discrete analogue of the Darboux transformations or the Crum-Krein-Adler deletion of 'virtual state solutions' of type I and II, in a similar way to the multi-indexed Laguerre, Jacobi and (q-)Racah polynomials reported earlier.
In a previous paper, we presented conjectures of the recurrence relations with constant coefficients for the multi-indexed orthogonal polynomials of Laguerre, Jacobi, Wilson and Askey-Wilson types. In this paper we present a proof for the Laguerre and Jacobi cases. Their bispectral properties are also discussed, which give a method to obtain the coefficients of the recurrence relations explicitly. This paper extends to the Laguerre and Jacobi cases the bispectral techniques recently introduced by Gómez-Ullate et al. to derive explicit expressions for the coefficients of the recurrence relation…
The exceptional Racah and q-Racah polynomials are constructed. Together with the exceptional Laguerre, Jacobi, Wilson and Askey-Wilson polynomials discovered by the present authors in 2009, they exhaust the generic exceptional orthogonal polynomials of a single variable.
An alternative derivation is presented of the infinitely many exceptional Wilson and Askey-Wilson polynomials, which were introduced by the present authors in 2009. Darboux-Crum transformations intertwining the discrete quantum mechanical systems of the original and the exceptional polynomials play an important role. Infinitely many continuous Hahn polynomials are derived in the same manner. The present method provides a simple proof of the shape invariance of these systems as in the corresponding cases of the exceptional Laguerre and Jacobi polynomials.
Limiting cases are studied of the Koornwinder-Macdonald multivariable generalization of the Askey-Wilson polynomials. We recover recently and not so recently introduced families of hypergeometric orthogonal polynomials in several variables consisting of multivariable Wilson, continuous Hahn and Jacobi type polynomials, respectively. For each class of polynomials we provide systems of difference (or differential) equations, recurrence relations, and expressions for the norms of the polynomials in terms of the norm of the constant polynomial.
We illustrate how Jordan algebras can provide a framework for the interpretation of certain classes of orthogonal polynomials. The big -1 Jacobi polynomials are eigenfunctions of a first order operator of Dunkl type. We consider an algebra that has this operator (up to constants) as one of its three generators and whose defining relations are given in terms of anticommutators. It is a special case of the Askey-Wilson algebra AW(3). We show how the structure and recurrence relations of the big -1 Jacobi polynomials are obtained from the representations of this algebra. We also present ladder op…
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…
The tensor product of a positive and a negative discrete series representation of the quantum algebra U_q(su(1,1)) decomposes as a direct integral over the principal unitary series representations. Discrete terms can appear, and these terms are a finite number of discrete series representations, or one complementary series representation. From the interpretation as overlap coefficients of little q-Jacobi functions and Al-Salam and Chihara polynomials in base q and base q^{-1}, two closely related bilinear summation formulas for the Al-Salam and Chihara polynomials are derived. The formulas inv…
In previous papers, we discussed the recurrence relations of the multi-indexed orthogonal polynomials of the Laguerre, Jacobi, Wilson and Askey-Wilson types. In this paper we explore those of the Racah and $q$-Racah types. For the $M$-indexed ($q$-)Racah polynomials, we derive $3+2M$ term recurrence relations with variable dependent coefficients and $1+2L$ term ($L\geq M+1$) recurrence relations with constant coefficients. Based on the latter, the generalized closure relations and the creation and annihilation operators of the quantum mechanical systems described by the multi-indexed ($q$-)Rac…
Ordinary orthogonal polynomials are uniquely characterized by the three term recurrence relations up to an overall multiplicative constant. We show that the newly discovered M-indexed orthogonal polynomials satisfy 3+2M term recurrence relations with non-trivial initial data of the lowest M+1 members. These include the multi-indexed orthogonal polynomials of Laguerre, Jacobi, Wilson and Askey-Wilson types. The M=0 case is the corresponding classical orthogonal polynomials.
In a previous paper we presented $3+2M$ term recurrence relations with variable dependent coefficients for $M$-indexed orthogonal polynomials of Laguerre, Jacobi, Wilson and Askey-Wilson types. In this paper we present (conjectures of) the recurrence relations with constant coefficients for these multi-indexed orthogonal polynomials. The simplest recurrence relations have $3+2\ell$ terms, where $\ell (\geq M)$ is the degree of the lowest member of the multi-indexed orthogonal polynomials.
We consider the exactly solvable quantum mechanical systems whose eigenfunctions are described by the multi-indexed orthogonal polynomials of Laguerre, Jacobi, Wilson and Askey-Wilson types. Corresponding to the recurrence relations with constant coefficients for the $M$-indexed orthogonal polynomials, it is expected that the systems satisfy the generalized closure relations. In fact we can verify this statement for small $M$ examples. The generalized closure relation gives the exact Heisenberg operator solution of a certain operator, from which the creation and annihilation operators of the s…
Multi-indexed orthogonal polynomials describe eigenfunctions of exactly solvable shape-invariant quantum mechanical systems in one dimension obtained by the method of virtual states deletion. Multi-indexed orthogonal polynomials are labeled by a set of degrees of polynomial parts of virtual state wavefunctions. For multi-indexed orthogonal polynomials of Laguerre, Jacobi, Wilson and Askey-Wilson types, two different index sets may give equivalent multi-indexed orthogonal polynomials. We clarify these equivalences. Multi-indexed orthogonal polynomials with both type I and II indices are proport…
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…
