In his monograph [Classical and quantum orthogonal polynomials in one variable, Cambridge University Press, 2005 (paperback edition 2009)], Ismail conjectured that certain structure relations involving the Askey-Wilson operator characterize proper subsets of the set of all $\mathcal{D}_q$-classical orthogonal polynomials, here to be understood as the Askey-Wilson polynomials and their limit cases. In this paper we give two characterization theorems for $\mathcal{D}_q$-semiclassical (and classical) orthogonal polynomials in consonance with the pioneering works by Maroni [Ann. Mat. Pura. Appl. (1987)] and Bonan, Lubinsky, and Nevai [SIAM J. Math. Anal. 18 (1987)] for the standard derivative, re-establishing in this context the perfect "symmetry" between the standard derivative and the Askey-Wilson operator. As an application, we present a sequence of $\mathcal{D}_q$-semiclassical orthogonal polynomials of class two that disproves Ismail's conjectures. Further results are presented for Hahn's operator.
In this contribution, discrete semiclassical orthogonal polynomials of class $s\leq2$ are studied. By considering all possible solutions of the Pearson equation, we obtain the canonical families in each class. We also consider limit relations between these and other families of orthogonal polynomials.
We study the discrete semiclassical orthogonal polynomials of class s=1. By considering all possible solutions of the Pearson equation, we obtain five canonical families. We also consider limit relations between these and other families of orthogonal polynomials.
Differential properties for orthogonal polynomials in several variables are studied. We consider multivariate orthogonal polynomials whose gradients satisfy some quasi--orthogonality conditions. We obtain several characterizations for these polynomials including the analogous of the semiclassical Pearson differential equation, the structure relation and a differential--difference equation.
We investigate the quadratic decomposition and duality to classify symmetrical $H_{q}$-semiclassical orthogonal $q$-polynomials of class one where $H_{q}$ is the Hahn's operator. For any canonical situation, the recurrence coefficients, the $q$-analog of the distributional equation of Pearson type, the moments and integral or discrete representations are given.
We say that the polynomial sequence $(Q^{(λ)}_n)$ is a semiclassical Sobolev polynomial sequence when it is orthogonal with respect to the inner product $$ <p, r>_S=<{\bf u} ,{p\, r}> +λ<{\bf u}, {{\mathscr D}p \,{\mathscr D}r}>, $$ where ${\bf u}$ is a semiclassical linear functional, ${\mathscr D}$ is the differential, the difference or the $q$--difference operator, and $λ$ is a positive constant. In this paper we get algebraic and differential/difference properties for such polynomials as well as algebraic relations between them and the polynomial sequence orthogonal with respect to the sem…
In this work we study orthogonal polynomials via polynomial mappings in the framework of the $H_q-$semiclassical class. We consider two monic orthogonal polynomial sequences $\{p_n (x)\}_{n\geq0}$ and $\{q_n(x)\}_{n\geq0}$ such that $$ p_{kn}(x)=q_n(x^k)\;,\quad n=0,1,2,\ldots\;, $$ being $k$ a fixed integer number such that $k\geq2$, and we prove that if one of the sequences $\{p_n (x)\}_{n\geq0}$ or $\{q_n(x)\}_{n\geq0}$ is $H_q-$semiclassical, then so is the other one. In particular, we show that if $\{p_n(x)\}_{n\geq0}$ is $H_q-$semiclassical of class $s\leq k-1$, then $\{q_n (x)\}_{n\geq0…
The q-classical orthogonal polynomials of the q-Hahn Tableau are characterized from their orthogonality condition and by a first and a second structure relation. Unfortunately, for the q-semiclassical orthogonal polynomials (a generalization of the classical ones) we find only in the literature the first structure relation. In this paper, a second structure relation is deduced. In particular, by means of a general finite-type relation between a q-semiclassical polynomial sequence and the sequence of its q-differences such a structure relation is obtained.
We consider Koornwinder's method for constructing orthogonal polynomials in two variables from orthogonal polynomials in one variable. If semiclassical orthogonal polynomials in one variable are used, then Koornwinder's construction generates semiclassical orthogonal polynomials in two variables. We consider two methods for deducing matrix Pearson equations for weight functions associated with these polynomials, and consequently, we deduce the second order linear partial differential operators for classical Koornwinder polynomials.
Our goal is to find asymptotic formulas for orthonormal polynomials $P_{n}(z)$ with the recurrence coefficients slowly stabilizing as $n\to\infty$. To that end, we develop spectral theory of Jacobi operators with long-range coefficients and study the corresponding second order difference equation. We suggest an Ansatz for its solutions playing the role of the semiclassical Green-Liouville Ansatz for solutions of the Schrödinger equation. The formulas obtained for $P_{n}(z)$ as $n\to\infty$ generalize the classical Bernstein-Szegö asymptotic formulas.
Consider the Laguerre polynomials and deform them by the introduction in the measure of an exponential singularity at zero. In [Chen Y., Its A., J. Approx. Theory 162 (2010), 270-297, arXiv:0808.3590] the authors proved that this deformation can be described by systems of differential/difference equations for the corresponding recursion coefficients and that these equations, ultimately, are equivalent to the Painlevé III equation and its Bäcklund/Schlesinger transformations. Here we prove that an analogue result holds for some kind of semiclassical matrix-valued orthogonal polynomials of Lague…
Contiguous hypergeometric relations for semiclassical discrete orthogonal polynomials are described as Christoffel and Geronimus transformations. Using the Christoffel-Geronimus-Uvarov formulas quasi-determinatal expressions for the shifted semiclassical discrete orthogonal polynomials are obtained.
Szego's procedure to connect orthogonal polynomials on the unit circle and orthogonal polynomials on [-1,1] is generalized to nonsymmetric measures. It generates the so-called semi-orthogonal functions on the linear space of Laurent polynomials L, and leads to a new orthogonality structure in the module LxL. This structure can be interpreted in terms of a 2x2 matrix measure on [-1,1], and semi-orthogonal functions provide the corresponding sequence of orthogonal matrix polynomials. This gives a connection between orthogonal polynomials on the unit circle and certain classes of matrix orthogona…
The Cholesky factorization of the moment matrix is applied to discrete orthogonal polynomials on the homogeneous lattice. In particular, semiclassical discrete orthogonal polynomials, which are built in terms of a discrete Pearson equation, are studied. The Laguerre-Freud structure semi-infinite matrix that models the shifts by $\pm 1$ in the independent variable of the set of orthogonal polynomials is introduced. In the semiclassical case it is proven that this Laguerre-Freud matrix is banded. From the well known fact that moments of the semiclassical weights are logarithmic derivatives of ge…
The differential systems satisfied by orthogonal polynomials with arbitrary semiclassical measures supported on contours in the complex plane are derived, as well as the compatible systems of deformation equations obtained from varying such measures. These are shown to preserve the generalized monodromy of the associated rank-2 rational covariant derivative operators. The corresponding matrix models, consisting of unitarily diagonalizable matrices with spectra supported on these contours are analyzed, and it is shown that all coefficients of the associated spectral curves are given by logarith…
Type I Hermite--Padé polynomials for a set of functions $f_0, f_1, ..., f_s$ at infinity, $Q_{n,0}$, $Q_{n,1}$, ..., $Q_{n,s}$, is defined by the asymptotic condition $$ R_n(z):=\bigl(Q_{n,0}f_0+Q_{n,1}f_1+Q_{n,2}f_2+...+Q_{n,s}f_s\bigr)(z) =\mathcal O (\frac1{z^{s n+s}}), \quad z\to\infty, $$ with the degree of all $Q_{n,k}\leq n$. We describe an approach for finding the asymptotic zero distribution of these polynomials as $n\to \infty$ under the assumption that all $f_j$'s are semiclassical, i.e. their logarithmic derivatives are rational functions. In this situation $R_n$ and $Q_{n,k}f_k$ s…
Given $\{P_n \}$ a sequence of monic orthogonal polynomials, we analyze their linear combinations $\{Q_n \}$with constant coefficients and fixed length $k+1$. Necessary and sufficient conditions are given for the orthogonality of the monic sequence $\{Q_n \}$ as well as an interesting interpretation in terms of the Jacobi matrices associated with $\{P_n \}$ and $\{Q_n \}$. Moreover, in the case $k=2$, we characterize the families $\{P_n \}$ such that the corresponding polynomials $\{Q_n \}$ are also orthogonal.
On a general method for deriving a fourth-order differential equation satisfied by Laguerre-Hahn orthogonal polynomials with new results for the class 0 analogous to Hermite
University of Monastir（莫纳斯提尔大学）；Sorbonne Université（索邦大学）；Universidade do Porto（波尔图大学）
Orthogonal polynomials of two real variables can often be represented in complex variables. We explore the connection between the two types of representations and study the structural relations of complex orthogonal polynomials. The complex Hermite orthogonal polynomials and the disk polynomials are used as illustrating examples.
Orthogonal polynomials on the real line always satisfy a three-term recurrence relation. The recurrence coefficients determine a tridiagonal semi-infinite matrix (Jacobi matrix) which uniquely characterizes the orthogonal polynomials. We investigate new orthogonal polynomials by adding to the Jacobi matrix $r$ new rows and columns, so that the original Jacobi matrix is shifted downward. The $r$ new rows and columns contain $2r$ new parameters and the newly obtained orthogonal polynomials thus correspond to an upward extension of the Jacobi matrix. We give an explicit expression of the new orth…
The weak convergence of orthogonal polynomials is given under conditions on the asymptotic behaviour of the coefficients in the three-term recurrence relation. The results generalize known results and are applied to several systems of orthogonal polynomials, including orthogonal polynomials on a finite set of points.
We use generating functions to express orthogonality relations in the form of $q$-beta integrals. The integrand of such a $q$-beta integral is then used as a weight function for a new set of orthogonal or biorthogonal
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…
In this survey, different aspects of the theory of orthogonal polynomials of one (real or complex) variable are reviewed. Orthogonal polynomials on the unit circle are not discussed.
In this paper Fourier transform of multivariate orthogonal polynomials on the simplex is presented. A new family of multivariate orthogonal functions is obtained by using the Parseval's identity and several recurrence relations are derived.
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 and multiple orthogonal polynomials are interesting special functions because there is a beautiful theory for them, with many examples and useful applications in mathematical physics, numerical analysis, statistics and probability and many other disciplines. In these notes we give an introduction to the use of orthogonal polynomials in random matrix theory, we explain the notion of multiple orthogonal polynomials, and we show the link with certain non-linear difference and differential equations known as Painlevé equations.
The purpose of this paper is to find the characterization of the Sheffer polynomial sets satisfying the d-orthogonality conditions. The generating function form of these polynomial sets is given in Theorem 2.2. As applications of the Theorem 2.2, we revisit the d-orthogonal polynomial sets exist in the literature and discover new d-orthogonal polynomial sets. Moreover, we obtain the d-dimensional functional vector ensuring the d-orthogonality of these new polynomial sets.
We study two families of orthogonal polynomials. The first is a finite family related to the Askey-Wilson polynomials but the orthogonality is on the real line. A limiting case of this family is an infinite system of orthogonal polynomials whose moment problem is indeterminate. We provide several orthogonality measures for the infinite family and derive their Plancherel-Rotach asymptotics.
Classical orthogonal polynomials in one variable can be characterized as the only orthogonal polynomials satisfying a Rodrigues formula. In this paper, using the second kind Kronecker power of a matrix, a Rodrigues formula is introduced for classical orthogonal polynomials in two variables.
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.
Recently there has been a renewed interest in an extension of the notion of orthogonal polynomials known as multiple orthogonal polynomials. This notion comes from simultaneous rational approximation (Hermite-Pade approximation) of a system of several functions. We describe seven families of multiple orthogonal polynomials which have he same flavor as the very classical orthogonal polynomials of Jacobi, Laguerre and Hermite. We also mention some open research problems and some applications.
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…
Rakhmanov's theorem for orthogonal polynomials on the unit circle gives a sufficient condition on the orthogonality measure for orthogonal polynomials on the unit circle, in order that the reflection coefficients (the recurrence coefficients in the Szego recurrence relation) converge to zero. In this paper we give the analog for orthogonal matrix polynomials on the unit circle.
In 1991 Tratnik derived two systems of multivariable orthogonal Racah polynomials and considered their limit cases. q-Extensions of these systems are derived, yielding systems of multivariable orthogonal q-Racah polynomials, from which systems of multivariable orthogonal q-Hahn, dual q-Hahn, q-Krawtchouk, q-Meixner, and q-Charlier polynomials follow as special or limit cases.
It is shown that monic orthogonal polynomials on the unit circle are the characteristic polynomials of certain five-diagonal matrices depending on the Schur parameters. This result is achieved through the study of orthogonal Laurent polynomials on the unit circle. More precisely, it is a consequence of the five term recurrence relation obtained for these orthogonal Laurent polynomials, and the one to one correspondence established between them and the orthogonal polynomials on the unit circle. As an application, some results relating the behavior of the zeros of orthogonal polynomials and the …
It is well known that the zeros of orthogonal polynomials interlace. In this paper we study the case of multiple orthogonal polynomials. We recall known results and some recursion relations for multiple orthogonal polynomials. Our main result gives a sufficient condition, based on the coefficients in the recurrence relations, for the interlacing of the zeros of neighboring multiple orthogonal polynomials. We give several examples illustrating our result.
We give a survey of the connection between orthogonal polynomials, Toda lattices and related lattices, and Painlevé equations (discrete and continuous).
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…
For a bilinear form obtained by adding a Dirac mass to a positive definite moment functional in several variables, explicit formulas of orthogonal polynomials are derived from the orthogonal polynomials associated with the moment functional. Explicit formula for the reproducing kernel is also derived and used to establish certain inequalities for classical orthogonal polynomials.
A high order linear $q$-difference equation with polynomial coefficients having $q$-Hahn multiple orthogonal polynomials as eigenfunctions is given. The order of the equation is related to the number of orthogonality conditions that these polynomials satisfy. Some limiting situations when $q\to1$ are studied. Indeed, the difference equation for Hahn multiple orthogonal polynomials given in \cite{Lee} is corrected and obtained as a limiting case.
Classical orthogonal polynomial systems of Jacobi, Hermite and Laguerre have the property that the polynomials of each system are eigenfunctions of a second order ordinary differential operator. According to a famous theorem by Bochner they are the only systems on the real line with this property. Similar results hold for the discrete orthogonal polynomials. In a recent paper we introduced a natural class of polynomial systems whose members are the eigenfunctions of a differential operator of higher order and which are orthogonal with respect to d measures, rather than one. These polynomial sy…
Morales-Mendoza et al. present in 2013 a new class of discrete orthogonal polynomials. They use these polynomials to design an unbiased FIR filter. In their paper they make the statement that a representation of the polynomials via hypergeometric functions is unknown. However Shakibaei Asli et al. found in 2017 a $_3F_2$ hypergeometric function representation. In this paper it is shown that the "new" orthogonal polynomials belong to the class of the Hahn polynomials. The transfer function of the unbiased FIR filter has been determined. In the second part, an orthogonal unbiased FIR filter is d…
Fourier transform of multivariate orthogonal polynomials on the unit ball are obtained. By using Parseval's identity, a new family of multivariate orthogonal functions are introduced. The results are expressed in terms of the continuous Hahn polynomials.
Laurent polynomials related to the Hahn-Exton $q$-Bessel function, which are $q$-analogues of the Lommel polynomials, have been introduced by Koelink and Swarttouw. The explicit strong moment functional with respect to which the Laurent $q$-Lommel polynomials are orthogonal is given. The strong moment functional gives rise to two positive definite moment functionals. For the corresponding sets of orthogonal polynomials the orthogonality measure is determined using the three-term recurrence relation as a starting point. The relation between Chebyshev polynomials of the second kind and the Laure…
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.
We describe bivariate polynomial sequences orthogonal to a symmetric weight function in terms of several bivariate polynomial sequences orthogonal with respect to Christoffel transformations of the initial weight under a quadratic transformation. We analyze the construction of a symmetric bivariate orthogonal polynomial sequence from a given one, orthogonal to a weight function defined on the positive plane. In this description plays an important role a sort of Backlund type matrix transformations for the involved three term matrix coefficients. We take as a case study relations between symmet…
We give a remarkable additional orthogonality property of the classical Legendre polynomials on the real interval $[-1,1]$: polynomials up to degree $n$ from this family are mutually orthogonal under the arcsine measure weighted by the degree-$n$ normalized Christoffel function.
We introduce a new family of orthogonal polynomials on the disk that has emerged in the context of wave propagation in layered media. Unlike known examples, the polynomials are orthogonal with respect to a measure all of whose even moments are infinite.
This paper derives sparse recurrence relations between orthogonal polynomials on a triangle and their partial derivatives, which are analogous to recurrence relations for Jacobi polynomials. We derive these recurrences in a systematic fashion by introducing ladder operators that map an orthogonal polynomial to another by incrementing or decrementing its associated parameters by one.
We present determinantal formulas for families of exceptional $X_m$-Laguerre and exceptional $X_m$-Jacobi polynomials and also for exceptional $X_2$-Hermite polynomials. The formulas resemble Vandermonde determinants and use the zeros of the classical orthogonal polynomials.
Orthogonal polynomials and the Fourier orthogonal series on a cone of revolution in $\mathbb{R}^{d+1}$ are studied. It is shown that orthogonal polynomials with respect to the weight function $(1-t)^γ(t^2-\|x\|^2)^{μ-\frac12}$ on the cone $\mathbb{V}^{d+1} = \{(x,t): \|x\| \le t \le 1\}$ are eigenfunctions of a second order differential operator, with eigenvalues depending only on the degree of the polynomials, and the reproducing kernels of these polynomials satisfy a closed formula that has a one-dimensional chacteristic. The latter leads to a convolution structure on the cone, which is then…
A new method of composition orthogonality is introduced. It is applied to generate new sequences of orthogonal polynomials and functions. In particular, classical orthogonal polynomials are interpreted in the sense of composition orthogonality. Finally, new sequences of orthogonal polynomials with respect to the weight function $x^αρ^2_ν(x), ρ_ν(x)= 2 x^{ν/2} K_ν(2\sqrt x),\ x >0, ν\ge 0, α> -1$, where $K_ν(z)$ is the modified Bessel function or Macdonald function, are investigated. Differential properties, recurrence relations, explicit representations, generating functions and Rodrigues-type…
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 obtain the sharp lower bound for the uniform norm of the orthogonal polynomials in the Steklov class. We also prove the sharp estimates for the polynomial entropy in this class.
