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.
We show how to get Krall polynomials from Krall discrete polynomials using a procedure of passing to the limit in some of the parameters of the family. We also show that this procedure has to be different to the standard one used in the Askey scheme to go from the classical discrete polynomials to the classical polynomials.
We construct new examples of Krall discrete orthogonal polynomials, i.e., orthogonal polynomials with respect to a measure which are also eigenfunctions of a higher order difference operator. The new examples include the orthogonal polynomials with respect to the measures obtained from the Meixner measure $ρ_{a,c}$ and Hahn measure $ρ_{a,b,N}$ by removing a finite number of their mass points when the parameter $c$ of the Meixner measure and $a$ or $b$ of the Hahn measure are positive integers. From the new Krall-Meixner families we construct new families of exceptional Meixner and Laguerre pol…
In this paper, we consider a natural extension of several results related to Krall-type polynomials introducing a modification of a $q$-classical linear functional via the addition of one or two mass points. The limit relations between the $q$-Krall type modification of big $q$-Jacobi, little $q$-Jacobi, big $q$-Laguerre, and other families of the $q$-Hahn tableau are established.
We identify a class of remarkable algebraic relations satisfied by the zeros of the Krall orthogonal polynomials that are eigenfunctions of linear differential operators of order higher than two. Given an orthogonal polynomial family {p_n(x)}, we relate the zeros of the polynomial p_N with the zeros of p_m for each m <= N (the case m=N corresponding to the relations that involve the zeros of p_N only). These identities are obtained by exacting the similarity transformation that relates the spectral and the (interpolatory) pseudospectral matrix representations of linear differential operators, …
We study a family of orthogonal polynomials which satisfy (apart from a 3-term recurrence relation) an eigenvalue equation involving a third order differential operator of Dunkl-type. The orthogonality measure of these polynomials consists in the continuous measure of the little -1 Jacobi polynomials to which is added an arbitrary mass located at the point $x=0$, the middle of the orthogonality interval. This provides the first nontrivial example of Krall-type polynomials with a point mass inside the orthogonality interval. These polynomials can be obtained by a Geronimus transform of the litt…
In this paper the Krall-type polynomials obtained via the addition of two mass points to the weight function of the \textit{standard} $q$-Racah polynomials are introduced. Several algebraic properties of these polynomials are obtained and some of their limit cases are discussed.
In this paper the general Krall-type Askey-Wilson polynomials are introduced. These polynomials are obtained from the Askey-Wilson polynomials via the addition of two mass points to the weight function of them at the points $\pm1$. Several properties of such new family are considered, in particular the three-term recurrence relation and the representation as basic hypergeometric series.
The problem of finding measures whose orthogonal polynomials are also eigenfunctions of higher-order difference operators have been recently solved by multiplying the classical discrete measures by suitable polynomials. This problem was raised by Richard Askey in 1991. The case of the Hahn family is specially rich due to the number of parameters involved. These suitable polynomials are in the Hahn case generated from a quartet $F_1,F_2,F_3$ and $F_4$ of finite sets of positive integers. In this paper, we show that the order of the corresponding difference operators can be reduced by assuming c…
Given a sequence of polynomials $(p_n)_n$, an algebra of operators $\mathcal A$ acting in the linear space of polynomials and an operator $D_p\in \mathcal A$ with $D_p(p_n)=θ_np_n$, where $θ_n$ is any arbitrary eigenvalue, we construct a new sequence of polynomials $(q_n)_n$ by considering a linear combination of $m+1$ consecutive $p_n$: $q_n=p_n+\sum_{j=1}^mβ_{n,j}p_{n-j}$. Using the concept of $\mathcal{D}$-operator, we determine the structure of the sequences $β_{n,j}, j=1,\ldots,m,$ in order that the polynomials $(q_n)_n$ are eigenfunctions of an operator in the algebra $\mathcal A$. As an…
In this paper we address the classical question going back to S. Bochner and H.L. Krall to describe all systems {p_{n}(x)} of orthogonal polynomials (OPS) which are the eigenfunctions of some finite order differential operator, i.e. satisfy the equation \sum_{k=1}^{N}a_{k}(x)y^{(k)}(x)=\la_{n} y(x) (1). Such systems of orthogonal polynomials are called Bochner-Krall OPS (or BKS for short) and their spectral differential operators are accordingly called Bochner-Krall operators (or BK-operators for short). We say that a BKS has compact type if it is orthogonal with respect to a compactly support…
In 1999, Grunbaum, Haine and Horozov defined a large family of commutative algebras of ordinary differential operators which have orthogonal polynomials as eigenfunctions. These polynomials are mutually orthogonal with respect to a Laguerre-type weight distribution, thus providing solutions to Krall's problem. In the present paper we give a new proof of their result which establishes a conjecture, concerning the explicit characterization of the dual commutative algebra of eigenvalues. In particular, for the Koornwinder's generalization of Laguerre polynomials, our approach yields an explicit s…
We study the bispectrality of Laguerre type polynomials, which are defined by taking suitable linear combinations of a fixed number of consecutive Laguerre polynomials. These Laguerre type polynomials are eigenfunctions of higher-order differential operators and include, as particular cases, the Krall-Laguerre polynomials. As the main results, we prove that these Laguerre type polynomials always satisfy higher-order recurrence relations (i.e., they are bispectral). We also prove that the Krall-Laguerre families are the only polynomials which are orthogonal with respect to a measure on the real…
We study the bispectrality of Jacobi type polynomials, which are eigenfunctions of higher-order differential operators and can be defined by taking suitable linear combinations of a fixed number of consecutive Jacobi polynomials. Jacobi type polynomials include, as particular cases, the Krall-Jacobi polynomials. As the main results we prove that the Jacobi type polynomials always satisfy higher-order recurrence relations (i.e., they are bispectral). We also prove that the Krall-Jacobi families are the only Jacobi type polynomials which are orthogonal with respect to a measure on the real line.
We construct new elliptic solutions of the restricted Toda chain. These solutions give rise to a new explicit class of orthogonal polynomials which can be considered as a generalization of the Stieltjes-Carlitz elliptic polynomials. Relations between characteristic (i.e. positive definite) functions, Toda chain and orthogonal polynomials are developed in order to derive main properties of these polynomials. The recurrence coefficients and the weight function of these polynomials are expressed explicitly. In the degenerated cases of the elliptic functions the modified Meixner polynomials and th…
Via a generalization of the pseudospectral method for numerical solution of differential equations, a family of nonlinear algebraic identities satisfied by the zeros of a wide class of orthogonal polynomials is derived. The generalization is based on a modification of pseudospectral matrix representations of linear differential operators proposed in the paper, which allows these representations to depend on two, rather than one, sets of interpolation nodes. The identities hold for every polynomial family $\{p_ν(x)\}_{ν=0}^\infty$ orthogonal with respect to a measure supported on the real line …
We consider dual polynomials of the multi-indexed ($q$-)Racah orthogonal polynomials. The $M$-indexed ($q$-)Racah polynomials satisfy the second order difference equations and various $1+2L$ ($L\geq M+1$) term recurrence relations with constant coefficients. Therefore their dual polynomials satisfy the three term recurrence relations and various $2L$-th order difference equations. This means that the dual multi-indexed ($q$-)Racah polynomials are ordinary orthogonal polynomials and the Krall-type. We obtain new exactly solvable discrete quantum mechanics with real shifts, whose eigenvectors ar…
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…
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 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…