The dual discrete $q$-ultraspherical polynomials $D_n^{(s)}(μ(x;s)|q)$ correspond to indeterminate moment problem and, therefore, have one-parameter family of extremal orthogonality relations. It is shown that special cases of dual discrete $q$-ultraspherical polynomials $D_n^{(s)}(μ(x;s)|q)$, when $s=q^{-1}$ and $s=q$, are directly connected with $q^{-1}$-Hermite polynomials. These connections are given in an explicit form. Using these relations, all extremal orthogonality relations for these special cases of polynomials $D_n^{(s)}(μ(x;s)|q)$ are found.
We show that a confluent case of the big q-Jacobi polynomials P_n(x;a,b,c;q), which corresponds to a=b=-c, leads to a discrete orthogonality relation for imaginary values of the parameter a (outside of its commonly known domain 0<a< q^{-1}). Since P_n(x;q^α, q^α, -q^α; q) tend to Gegenbauer (or ultraspherical) polynomials in the limit as q->1, this family represents yet another q-extension of these classical polynomials, different from the continuous q-ultraspherical polynomials of Rogers. The dual family with respect to the polynomials P_n(x;a,a,-a;q) (i.e., the dual discrete q-ultraspherical…
We find all spectral type differential equations satisfied by the symmetric generalized ultraspherical polynomials which are orthogonal on the interval [-1,1] with respect to the classical symmetric weight function for the Jacobi polynomials together with equal mass points at both ends of the interval of orthogonality. In order to find explicit formulas for the coefficients of these differential equations we have to solve systems of equations involving derivatives of the classical Jacobi polynomials. These systems of equations have a unique solution which is given explicitly. This is a consequ…
We observe that the linearization coefficients for ultraspherical polynomials are the orthogonality weights for Racah polynomials with special parameters. Then it turns out that the linearization sum with such a Racah polynomial as extra factor inserted, can also be evaluated. The corresponding Fourier--Racah expansion is an addition type formula which is dual to the well-known addition formula for ultraspherical polynomials. The limit to the case of Hermite polynomials of this dual addition formula is also considered. Similar results as for ultraspherical polynomials, although only formal, ar…
Matrix-valued spherical functions related to the quantum symmetric pair for the quantum analogue of $(SU(2) \times SU(2), \text{diag})$ are introduced and studied in detail. The quantum symmetric pair is given in terms of a quantised universal enveloping algebra with a coideal subalgebra. The matrix-valued spherical functions give rise to matrix-valued orthogonal polynomials, which are matrix-valued analogues of a subfamily of Askey-Wilson polynomials. For these matrix-valued orthogonal polynomials a number of properties are derived using this quantum group interpretation: the orthogonality re…
The orthogonal polynomials $p_n$ satisfy Turán's inequality if $p_n^2(x)-p_{n-1}(x)p_{n+1}(x)\ge 0$ for $n\ge 1$ and for all $x$ in the interval of orthogonality. We give general criteria for orthogonal polynomials to satisfy Turán's inequality. This yields the known results for classical orthogonal polynomials as well as new results, for example, for the $q$--ultraspherical polynomials.
This paper studies properties of q-Jacobi polynomials and their duals by means of operators of the discrete series representations for the quantum algebra U_q(su_{1,1}). Spectrum and eigenfunctions of these operators are found explicitly. These eigenfunctions, when normalized, form an orthogonal basis in the representation space. The initial U_q(su_{1,1})-basis and the bases of these eigenfunctions are interconnected by matrices, whose entries are expressed in terms of little and big q-Jacobi polynomials. The orthogonality by rows in these unitary connection matrices leads to the orthogonality…
We review properties of q-orthogonal polynomials, related to their orthogonality, duality and connection with the theory of symmetric (self-adjoint) operators, represented by a Jacobi matrix. In particular, we show how one can naturally interpret the duality of families of q-polynomials, orthogonal on countable sets of points. In order to obtain orthogonality relations for dual sets of polynomials, it is proposed to use two symmetric (self-adjoint) operators, representable (in some distinct bases) by Jacobi matrices. This approach is applied to several pairs of dual families of q-polynomials, …
We present 15 explicit examples of discrete time Birth and Death processes which are exactly solvable. They are related to the hypergeometric orthogonal polynomials of Askey scheme having discrete orthogonality measures. Namely, they are the Krawtchouk, three different kinds of q-Krawtchouk, (dual, q)-Hahn, (q)-Racah, Al-Salam-Carlitz II, q-Meixner, q-Charlier, dual big q-Jacobi and dual big q-Laguerre polynomials. The birth and death rates are determined by the difference equations governing the polynomials. The stationary distributions are the normalised orthogonality measures of the polynom…
Multiple orthogonality is considered in the realm of a Gauss--Borel factorization problem for a semi-infinite moment matrix. Perfect combinations of weights and a finite Borel measure are constructed in terms of M-Nikishin systems. These perfect combinations ensure that the problem of mixed multiple orthogonality has a unique solution, that can be obtained from the solution of a Gauss--Borel factorization problem for a semi-infinite matrix, which plays the role of a moment matrix. This leads to sequences of multiple orthogonal polynomials, their duals and second kind functions. It also gives t…
It is well known that the family of Hahn polynomials $\{h_n^{α,β}(x;N)\}_{n\ge 0}$ is orthogonal with respect to a certain weight function up to $N$. In this paper we present a factorization for Hahn polynomials for a degree higher than $N$ and we prove that these polynomials can be characterized by a $Δ$-Sobolev orthogonality. We also present an analogous result for dual-Hahn, Krawtchouk, and Racah polynomials and give the limit relations between them for all $n\in \XX N_0$. Furthermore, in order to get this results for the Krawtchouk polynomials we will get a more general property of orthogo…
In this paper we study the orthogonality conditions satisfied by the classical q-orthogonal polynomials that are located at the top of the q-Hahn tableau (big q-jacobi polynomials (bqJ)) and the Nikiforov-Uvarov tableau (Askey-Wilson polynomials (AW)) for almost any complex value of the parameters and for all non-negative integers degrees. We state the degenerate version of Favard's theorem, which is one of the keys of the paper, that allow us to extend the orthogonality properties valid up to some integer degree N to Sobolev type orthogonality properties. We also present, following an analogo…
We study a limiting case of the Askey-Wilson polynomials when one of the parameters goes to infinity, namely continuous dual q-Hahn polynomials when q > 1. Solutions to the associated indeterminate moment problem by general theory are found and an orthogonality relation is established.
The q-Laguerre polynomials correspond to an indetermined moment problem. For explicit discrete non-N-extremal measures corresponding to Ramanujan's ${}_1ψ_1$-summation we complement the orthogonal q-Laguerre polynomials into an explicit orthogonal basis for the corresponding L^2-space. The dual orthogonal system consists of so-called big q-Bessel functions, which can be obtained as a rigorous limit of the orthogonal system of big q-Jacobi polynomials. Interpretations on the SU(1,1) and E(2) quantum groups are discussed.
The $q$ and $q^{-1}$-symmetric orthogonal polynomials in the $q$-Askey scheme, their dual polynomials and functions, orthogonality, generating functions and relations and nonterminating $q$-Chaundy double product representations
The aim of this paper is to derive (by using two operators, representable by a Jacobi matrix) a family of q-orthogonal polynomials, which turn to be dual to alternative q-Charlier polynomials. A discrete orthogonality relation and a three-term recurrence relation for these dual polynomials are explicitly obtained. The completeness property of dual alternative q-Charlier polynomials is also established.
In 1971 Griffiths used a generating function to define polynomials in d variables orthogonal with respect to the multinomial distribution. The polynomials possess a duality between the discrete variables and the degree indices. In 2004 Mizukawa and Tanaka related these polynomials to character algebras and the Gelfand hypergeometric series. Using this approach they clarified the duality and obtained a new proof of the orthogonality. In the present paper, we interpret these polynomials within the context of the Lie algebra sl_{d+1}. Our approach yields yet another proof of the orthogonality. It…
We give a detailed description of the resolution of the identity of a second order $q$-difference operator considered as an unbounded self-adjoint operator on two different Hilbert spaces. The $q$-difference operator and the two choices of Hilbert spaces naturally arise from harmonic analysis on the quantum group $SU_q(1,1)$ and $SU_q(2)$. The spectral analysis associated to $SU_q(1,1)$ leads to the big $q$-Jacobi function transform together with its Plancherel measure and inversion formula. The dual orthogonality relations give a one-parameter family of non-extremal orthogonality measures for…
The multivariate quantum $q$-Krawtchouk polynomials are shown to arise as matrix elements of "$q$-rotations" acting on the state vectors of many $q$-oscillators. The focus is put on the two-variable case. The algebraic interpretation is used to derive the main properties of the polynomials: orthogonality, duality, structure relations, difference equations and recurrence relations. The extension to an arbitrary number of variables is presented
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.
The classical polynomials of Meixner's type--Hermite, Charlier, Laguerre, Meixner, and Meixner--Pollaczek polynomials--are distinguished through a special form of their generating function, which involves the Laplace transform of their orthogonality measure. In this paper, we study analogs of the latter three classes of polynomials in infinite dimensions. We fix as an underlying space a (non-compact) Riemannian manifold $X$ and an intensity measure $σ$ on it. We consider a Jacobi field in the extended Fock space over $L^2(X;σ)$, whose field operator at a point $x\in X$ is of the form $\di_x^†+…
New bispectral polynomials orthogonal on a quadratic bi-lattice are obtained from a truncation of Wilson polynomials. Recurrence relation and difference equation are provided. The recurrence coefficients can be encoded in a perturbed persymmetric Jacobi matrix. The orthogonality relation and an explicit expression in terms of hypergeometric functions are also given. Special cases and connections with the para-Krawtchouk polynomials and the dual-Hahn polynomials are also discussed.
Starting from the moment sequences of classical orthogonal polynomials we derive the orthogonality purely algebraically. We consider also the moments of ($q=1$) classical orthogonal polynomials, and study those cases in which the exponential generating function has a nice form. In the opposite direction, we show that the generalized Dumont-Foata polynomials with six parameters are the moments of rescaled continuous dual Hahn polynomials. Finally we show that one of our methods can be applied to deal with the moments of Askey-Wilson polynomials.
This is the second part of the project `unified theory of classical orthogonal polynomials of a discrete variable derived from the eigenvalue problems of hermitian matrices.' In a previous paper, orthogonal polynomials having Jackson integral measures were not included, since such measures cannot be obtained from single infinite dimensional hermitian matrices. Here we show that Jackson integral measures for the polynomials of the big $q$-Jacobi family are the consequence of the recovery of self-adjointness of the unbounded Jacobi matrices governing the difference equations of these polynomials…
We prove an equivalence between the existence of the first structure relation satisfied by a sequence of monic orthogonal polynomials $\{P_n\}_{n=0}^{\infty}$, the orthogonality of the second derivatives $\{\mathbb{D}_{x}^2P_n\}_{n= 2}^{\infty}$ and a generalized Sturm-Liouville type equation. Our treatment of the generalized Bochner theorem leads to explicit solutions of the difference equation [Vinet L., Zhedanov A., J. Comput. Appl. Math. 211 (2008), 45-56], which proves that the only monic orthogonal polynomials that satisfy the first structure relation are Wilson polynomials, continuous d…
