It is well known that the classical families of orthogonal polynomials are characterized as eigenfunctions of a second order linear differential/difference operator. In this paper we present a study of classical orthogonal polynomials in a more general context by using the differential (or difference) calculus and Operator Theory. In such a way we obtain a unified representation of them. Furthermore, some well known results related to the Rodrigues operator are deduced. A more general characterization Theorem that the one given in [1] and [2] for the q-polynomials of the q-Askey and Hahn Tableaux, respectively, is established. Finally, the families of Askey-Wilson polynomials, q-Racah polynomials, Al-Salam & Carlitz I and II, and q-Meixner are considered.
[1] R. Alvarez-Nodarse. On characterization of classical polynomials. J. Comput. Appl. Math., 196:320{337, 2006. [2] M. Alfaro and R. Alvarez-Nodarse. A characterization of the classical orthogonal discrete and q-polynomials. J. Comput. Appl. Math., 2006. In press.
This paper studies a suitably normalized set of generalized Hermite polynomials and sets down a relevant Mehler formula, Rodrigues formula, and generalized translation operator. Weighted generalized Hermite polynomials are the eigenfunctions of a generalized Fourier transform which satisfies an F. and M. Riesz theorem on the absolute continuity of analytic measures. The Bose-like oscillator calculus, which generalizes the calculus associated with the quantum mechanical simple harmonic oscillator, is studied in terms of these polynomials.
Difference calculus compatible with polynomials (i.e., such that the divided difference operator of first order applied to any polynomial must yield a polynomial of lower degree) can only be made on special lattices well known in contemporary $q-$calculus. Orthogonal polynomials satisfying difference relations on such lattices are presented. In particular, lattices which are dense on intervals ($|q|=1$) are considered.
In the present paper, we investigate some interesting properties including several special polynomials arising from Caputo-fractional derivative. From our investigation, we derive a lot of interesting identities of several special polynomials.
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…
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.
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.
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.
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…
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.
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.
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.
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 consider the relation of the multi-component 2D Toda hierarchy with matrix orthogonal and biorthogonal polynomials. The multi-graded Hankel reduction of this hierarchy is considered and the corresponding generalized matrix orthogonal polynomials are studied. In particular for these polynomials we consider the recursion relations, and for rank one weights its relation with multiple orthogonal polynomials of mixed type with a type II normalization and the corresponding link with a Riemann--Hilbert problem.
In this paper, we obtain the ladder operators and associated compatibility conditions for the type I and the type II multiple orthogonal polynomials. These ladder equations extend known results for orthogonal polynomials and can be used to derive the differential equations satisfied by multiple orthogonal polynomials. Our approach is based on Riemann-Hilbert problems and the Christoffel-Darboux formula for multiple orthogonal polynomials, and the nearest-neighbor recurrence relations. As an illustration, we give several explicit examples involving multiple Hermite and Laguerre polynomials, and…
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 this paper we investigate the following "polynomial moment problem": for a complex polynomial $P(z)$ and distinct complex numbers $a,b$ to describe polynomials $q(z)$ orthogonal to all integer non-negative powers of $P(z)$ on the segment $[a,b].$
We prove a certain duality relation for orthogonal polynomials defined on a finite set. The result is used in a direct proof of the equivalence of two different ways of computing the correlation functions of a discrete orthogonal polynomial ensemble.
We give the strong asymptotic of Cauchy biorthogonal polynomials under the assumption that the defining measures are supported on non intersecting intervals of the real line and satisfy Szegő's condition. The biorthogonal polynomials are connected with certain mixed type Hermite-Padé polynomials, which verify full orthogonality relations with respect to some varying measures. Thus, the strong asymptotic of orthogonal polynomials with respect to varying measures plays a key role in the study.
The relation between the spectral decomposition of a self-adjoint operator which is realizable as a higher order recurrence operator and matrix-valued orthogonal polynomials is investigated. A general construction of such operators from scalar-valued orthogonal polynomials is presented. Two examples of matrix-valued orthogonal polynomials with explicit orthogonality relations and three-term recurrence relation are presented, which both can be considered as $2\times 2$-matrix-valued analogues of subfamilies of Askey-Wilson polynomials.
