This note supplements the work of Gomez-Ullate, Kamran and Milson on the X_(1)-Laguerre polynomials which are orthogonal in a weighted Hilbert function space on the positive half-line of the real line. These polynomials are generated by a second-order ordinary linear differential equation with a spectral parameter. Some additional information on the Sturm-Liouville form of this equation is given in this note, together with details of the singular differential operators generated in the weighted Hilbert function space. In particular, structured boundary conditions are given to determine the special self-adjoint operator, whose discrete spectrum and associated eigenvectors yield the X_(1)-Laguerre polynomials.
The aim of this paper is to study differential properties of orthogonal polynomials with respect to a discrete Laguerre-Sobolev bilinear form with mass point at zero. In particular we construct the orthogonal polynomials using certain Casorati determinants. Using this construction, we prove that they are eigenfunctions of a differential operator (which will be explicitly constructed). Moreover, the order of this differential operator is explicitly computed in terms of the matrix which defines the discrete Laguerre-Sobolev bilinear form.
We investigate the interlacing of zeros of polynomials of different degrees within the sequences of $q$-Laguerre polynomials $\left\{\tilde{L}_n^{(δ)}(z;q)\right\}_{n=0}^{\infty}$ characterized by $δ\in(-2,-1).$ The interlacing of zeros of quasi-orthogonal polynomials $\tilde{L}_n^{(δ)}(z;q)$ with those of the orthogonal polynomials $\tilde{L}_m^{(δ+t)}(z;q), m,n\in\mathbb{N}, t\in\{1,2\}$ is also considered. New bounds for the least zero of the (order $1$) quasi-orthogonal $q$-Laguerre polynomials are derived.
This paper deals with monic orthogonal polynomials generated by a Geronimus canonical spectral transformation of the Laguerre classical measure: \[ \frac{1}{x-c}x^{α}e^{-x}dx+Nδ(x-c), \] for $x\in[0,\infty)$, $α>-1$, a free parameter $N\in \mathbb{R}_{+}$ and a shift $c<0$. We analyze the asymptotic behavior (both strong and relative to classical Laguerre polynomials) of these orthogonal polynomials as $n$ tends to infinity.
It is stated and proved a characterization theorem for Laguerre-Hahn orthogonal polynomials on non-uniform lattices. This theorem proves the equivalence between the Riccati equation for the formal Stieltjes function, linear first-order difference relations for the orthogonal polynomials as well as for the associated polynomials of the first kind, and linear first-order difference relations for the functions of the second kind.
In this paper we prove in a constructing way that exceptional Charlier, Meixner, Hermite and Laguerre polynomials satisfy higher order recurrence relations. Our conjecture is that the recurrence relations provided in this paper have minimal order.
Orthogonal q-polynomials associated with q-Laguerre-Hahn form will be studied as a generalization of the q-semiclassical forms via a suitable q-difference equation. The concept of class and a criterion to determinate it will be given. The q-Riccati equation satisfied by the corresponding formal Stieltjes series is obtained. Also, the structure relation is established. Some illustrative examples are highlighted.
Orthogonality of the Jacobi and of Laguerre polynomials, P_n^(a,b) and L_n^(a), is established for a,b complex (a,b not negative integers and a+b different from -2,-3,...) using the Hadamard finite part of the integral which gives their orthogonality in the classical cases. Riemann-Hilbert problems that these polynomials satisfy are found. The results are formally similar to the ones in the classical case (when the real parts of a,b are greater than -1)
Motivated by the work of Prajapati \emph{et al.} \cite{PAA}, here we study some explicit form of the generalized Laguerre polynomials $L_{\lfloor\frac{n}{q}\rfloor}^{(α,β)}(z)$, when $q=1$.
Let $μ$ be a finite positive Borel measure supported on R, $\LL[f] =xf''+(α+1-x)f'$ with $α>-1$, or $\LL[f] =\frac{1}{2}f''-xf'$, and $m$ a natural number. We study algebraic, analytic and asymptotic properties of the sequence of monic polynomials $\{Q_n\}_{n>m}$ orthogonal with respect to the operator $\LL$. We also provide a fluid dynamics model for the zeros of these polynomials.
In this contribution we deal with sequences of polynomials orthogonal with respect to a Sobolev type inner product. A banded symmetric operator is associated with such a sequence of polynomials according to the higher order difference equation they satisfy. Taking into account the Darboux transformation of the corresponding matrix we deduce the connection with a sequence of orthogonal polynomials associated with a Christoffel perturbation of the measure involved in the standard part of the Sobolev inner product. A connection with matrix orthogonal polynomials is stated. The Laguerre-Sobolev ty…
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（波尔图大学）
We investigate the type I and type II multiple orthogonal polynomials on an $r$-star with weight function $|x|^βe^{-x^r}$, with $β>-1$. Each measure $μ_j$, for $1\leq j \leq r$, is supported on the semi-infinite interval $[0,ω^{j-1}\infty)$ with $ω=e^{2πi/r}$. For both the type I and the type II polynomials we give explicit expressions, the coefficients in the recurrence relation, the differential equation and we obtain the asymptotic zero distribution of the polynomials on the diagonal. Also, we give the connection between the Laguerre-Angelesco polynomials and the Jacobi-Angelesco polynomial…
Using Casorati determinants of Meixner polynomials $(m_n^{a,c})_n$, we construct for each pair $\F=(F_1,F_2)$ of finite sets of positive integers a sequence of polynomials $m_n^{a,c;\F}$, $n\in σ_\F$, which are eigenfunctions of a second order difference operator, where $σ_\F$ is certain infinite set of nonnegative integers, $σ_\F \varsubsetneq \NN$. When $c$ and $\F$ satisfy a suitable admissibility condition, we prove that the polynomials $m_n^{a,c;\F}$, $n\in σ_\F$, are actually exceptional Meixner polynomials; that is, in addition, they are orthogonal and complete with respect to a positiv…
Classical settings of discrete and continuous orthogonal expansions, like Laguerre, Bessel and Jacobi, are associated with second order differential operators playing the role of the Laplacian. These depend on certain parameters of type that are usually restricted to a half-line, or a product of half-lines if higher dimensions are considered. Following earlier research done by Hajmirzaahmad, we deal in this paper with Laplacians in the above-mentioned contexts with no restrictions on the type parameters and bring to attention naturally associated orthogonal systems that in fact involve the cla…
We study the Fourier orthogonal expansions with respect to the Laguerre type weigh functions on the conic surface of revolution and the domain bounded by such a surface. The main results include a closed form formula for the reproducing kernels, which is the kernel of the orthogonal projection operator and a pseudo convolution structure on the conic domain; the latter is shown to be bounded in an appropriate $L^p$ space and used to study mean convergence of the Cesàro means of the Laguerre expansions on conic domains.
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.
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 sequences of polynomials orthogonal with respect to certain discrete Laguerre-Sobolev inner product, with two perturbations (involving derivatives) located inside the oscillatory region for the classical Laguerre polynomials. We focus our attention on the representation of these polynomials in terms of the classical Laguerre polynomials and deduce the coefficients of their corresponding five-term recurrence relation, as well as the asymptotic behavior of these coefficients when the degree of the polynomials tends to infinity. Also, the outer relative asymptotics of or…
In this article, the study of the orthogonality properties of $q$-polynomials of the Hahn class started in the initial article by R. Álvarez-Nodarse, R. Sevinik-Adıgüzel, and H. Taşeli, \textit{On the orthogonality of $q$-classical polynomials of the Hahn class I} is proceeded. To be more specific, the orthogonality properties of the $q$-polynomials belonging to the $\emptyset$-Hermite-Laguerre/Jacobi, $\emptyset$-Jacobi/Hermite-Laguerre, 0-Laguerre/Jacobi-Bessel and 0-Jacobi/Laguerre-Bessel cases are studied by taking into account the idea considered in the initial paper. In particular, a new…
We look at some extensions of the Stieltjes-Wigert weight functions. First we replace the variable x by x^2 in a family of weight functions given by Askey in 1989 and we show that the recurrence coefficients of the corresponding orthogonal polynomials can be expressed in terms of a solution of the q-discrete Painlevé III equation. Next we consider the q-Laguerre or generalized Stieltjes-Wigert weight functions with a quadratic transformation and derive recursive equations for the recurrence coefficients of the orthogonal polynomials. These turn out to be related to the q-discrete Painlevé V eq…
The radial part of the wave function of an electron in a Coulomb potential is the product of a Laguerre polynomial and an exponential with the variable scaled by a factor depending on the degree. This note presents an elementary proof of the orthogonality of wave functions with differing energy levels. It is also shown that this is the only other natural orthogonality for Laguerre polynomials. By expanding in terms of the usual Laguerre polynomial basis an analogous strange orthogonality is obtained for Meixner polynomials.
We derive generalized generating functions for basic hypergeometric orthogonal polynomials by applying connection relations with one free parameter to them. In particular, we generalize generating functions for the Askey-Wilson, continuous $q$-ultraspherical/Rogers, little $q$-Laguerre/Wall, and $q$-Laguerre polynomials. Depending on what type of orthogonality these polynomials satisfy, we derive corresponding definite integrals, infinite series, bilateral infinite series, and $q$-integrals.
In this work we study the Plancherel-Rotach type asymptotics for $q$-Laguerre orthogonal polynomials with complex scaling . The main term of the asymptotics contains Ramanujan function $A_{q}(z)$ for the scaling parameter on the vertical line $\Re(s)=2$, while the main term of the asymptotics involves the theta function for the scaling parameter in the strip $0<\Re(s)<2$. In the latter case the number theoretical property of the scaling parameter completely determines the order of the error term. $ $These asymptotic formulas may provide insights to some new random matrix model and add a new li…
Exceptional orthogonal Laguerre polynomials can be viewed as an extension of the classical Laguerre polynomials per excluding polynomials of certain order(s) from being eigenfunctions for the corresponding exceptional differential operator. We are interested in the (so-called) Type I $X_1$-Laguerre polynomial sequence $\{L_n^α\}_{n=1}^\infty$, $\text{deg} \,p_n = n$ and $α>0$, where the constant polynomial is omitted. We derive two representations for the polynomials in terms of moments by using determinants. The first representation in terms of the canonical moments is rather cumbersome. We i…
The Cholesky factorization of the moment matrix is considered for discrete orthogonal polynomials of hypergeometrical type. We derive the Laguerre-Freud equations when the first moments of the weights are given by the ${}_1F_2$, ${}_2F_2$ and ${}_3F_2$ generalized hypergeometrical functions.
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…
Burchnall's method to invert the Feldheim-Watson linearization formula for the Hermite polynomials is extended to all polynomial families in the Askey-scheme and its $q$-analogue. The resulting expansion formulas are made explicit for several families corresponding to measures with infinite support, including the Wilson and Askey-Wilson polynomials. An integrated version gives the possibility to give alternate expression for orthogonal polynomials with respect to a modified weight. This gives expansions for polynomials, such as Hermite, Laguerre, Meixner, Charlier, Meixner-Pollaczek and big $q…
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…
We study polynomials that are orthogonal with respect to the modified Laguerre weight $z^{-n + ν} e^{-Nz} (z-1)^{2b}$ in the limit where $n, N \to \infty$ with $N/n \to 1$ and $ν$ is a fixed number in $\mathbb{R} \setminus \mathbb{N}_0$. With the effect of the factor $(z-1)^{2b}$, the local parametrix near the critical point $z =1$ can be constructed in terms of $Ψ$-functions associated with the Painleve IV equation. We show that the asymptotics of the recurrence coefficients of orthogonal polynomials can be described in terms of specified solution of the Painleve IV equation in the double sca…
The aim of this paper is to introduce the degenerate generalized Laguerre polynomials as the degenerate version of the generalized Laguerre polynomials and to derive some properties related to those polynomials and Lah numbers, including an explicit expression, a Rodrigues' type formula and expressions for the derivatives. The novelty of the present paper is that it is the first paper on degenerate versions of orthogonal polynomials.
The $X_1$-Jacobi and the $X_1$-Laguerre exceptional orthogonal polynomials have been introduced and studied by Gómez-Ullate, Kamran and Milson in a series of papers. In this note, we establish some properties, such as interlacing, monotonicity with respect to the parameters and order, about the so-called \textit{regular} and \textit{exceptional} zeros of these two classes of polynomials.
A slight modification of the Kontorovich-Lebedev transform is an automorphism on the vector space of polynomials. The action of this $KL_α$-transform over certain polynomial sequences will be under discussion, and a special attention will be given the d-orthogonal ones. For instance, the Continuous Dual Hahn polynomials appear as the $KL_α$-transform of a 2-orthogonal sequence of Laguerre type. Finally, all the orthogonal polynomial sequences whose $KL_α$-transform is a $d$-orthogonal sequence will be characterized: they are essencially semiclassical polynomials fulfilling particular condition…
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 semi-discrete Lax pair formed from the differential system and recurrence relation for semi-classical orthogonal polynomials, leads to a discrete integrable equation for a specific semi-classical orthogonal polynomial weight. The main example we use is a semi-classical Laguerre weight to derive a third order difference equation with a corresponding Lax pair.
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.
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…
Let $L_n(x)$ and $L_n^α(x)$ be the $n$th Laguerre and associated Laguerre polynomial respectively. Fisk proved that the linear operator sending $x^n$ to $L_n(x)$ preserves real-rootedness. In this note we prove a stronger result; namely, that when $α\ge 0$, the linear operator sending $x^n$ to $(-1)^n n! L_n^α(x)$ preserves real-rootedness.
It has been recently discovered that exceptional families of Sturm-Liouville orthogonal polynomials exist, that generalize in some sense the classical polynomials of Hermite, Laguerre and Jacobi. In this paper we show how new families of exceptional orthogonal polynomials can be constructed by means of multiple-step algebraic Darboux transformations. The construction is illustrated with an example of a 2-step Darboux transformation of the classical Laguerre polynomials, which gives rise to a new orthogonal polynomial system indexed by two integer parameters. For particular values of these para…
Let $f_k$ be the $k$-th Fourier coefficient of a function $f$ in terms of the orthonormal Hermite, Laguerre or Jacobi polynomials. We give necessary and sufficient conditions on $f$ for the inequality $\sum_{k}|f_k|^2θ^k<\infty$ to hold with $θ>1$. As a by-product new orthogonality relations for the Hermite and Laguerre polynomials are found. The basic machinery for the proofs is provided by the theory of reproducing kernel Hilbert spaces.
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.
We state and prove the $q$-extension of a result due to Johnston and Jordaan (cf. \cite{Johnston-2015}) and make use of this result, the orthogonality of $q$-Laguerre, little $q$-Jacobi, $q$-Meixner and Al-Salam-Carlitz I polynomials as well as contiguous relations satisfied by the polynomials, to establish the quasi-orthogonality of certain $_2ϕ_2$ and $_3ϕ_2$ polynomials. The location and interlacing properties of the real zeros of these quasi-orthogonal polynomials are studied. Interlacing properties of the zeros of $q$-Laguerre quasi-orthogonal polynomials $L_n^{(δ)}(z;q)$ when $-2<δ<-1$ w…
The $X_m$ exceptional orthogonal polynomials (XOP) form a complete set of eigenpolynomials to a differential equation. Despite being complete, the XOP set does not contain polynomials of every degree. Thereby, the XOP escape the Bochner classification theorem. In literature two ways to obtain XOP have been presented. When m=1, Gram-Schmidt orthogonalization of a so-called "flag" was used. For general m, the Darboux transform was applied. Here, we present a possible flag for the X_m exceptional Laguerre polynomials. We can write more about this. We only want to make specific picks when we also …
The aim of this note is to provide a fractional integration theorem in the framework of Laguerre expansions. The method of proof consists of establishing an asymptotic estimate for the involved kernel and then applying a method of Hedberg \cite{pro}. We combine this result with sufficient $(p,p)$ multiplier criteria of Stempak and Trebels \cite{ST}. The resulting sufficient $(p,q)$ multiplier criteria are comparable with necessary ones of Gasper and Trebels \cite{laguerre}.
The Bochner Classification Theorem (1929) characterizes the polynomial sequences $\p_{n}\}_{n=0}^{\infty}$, with $\text{deg}\,p_{n}=n$ that simultaneously form a complete set of eigenstates for a second-order differential operator and are orthogonal with respect to a positive Borel measure having finite moments of all orders. Indeed, up to a complex linear change of variable, only the classical Hermite, Laguerre, and Jacobi polynomials satisfy these conditions. In 2009, Gómez-Ullate, Kamran, and Milson found that for sequences $\{p_{n}\}_{n=1}^{\infty}$, $\text{deg}\,p_{n}=n$ (without the cons…
Asymptotic approximations to the zeros of Hermite and Laguerre polynomials are given, together with methods for obtaining the coefficients in the expansions. These approximations can be used as a standalone method of computation of Gaussian quadratures for high enough degrees, with Gaussian weights computed from asymptotic approximations for the orthogonal polynomials. We provide numerical evidence showing that for degrees greater than $100$ the asymptotic methods are enough for a double precision accuracy computation ($15$-$16$ digits) of the nodes and weights of the Gauss--Hermite and Gauss-…
In this paper, We study the asymptotics of the leading coefficients and the recurrence coefficients for the orthogonal polynomials with repect to the Laguerre weight with singularity of root type and jump type at the soft edge via the Deift-Zhou steepest descent method. The asymptotic formulas of the leading coefficients and the recurrence coefficients for large n are described in terms of a class of analytic solutions to the the σ-form of the Painlevé II equation and the Painlevé XXXIV equation.
In this paper we consider the strong asymptotic behavior of Laguerre polynomials in the complex plane. The leading behavior is well known from Perron and Mehler-Heine formulas, but higher order coefficients, which are important in the context of Krall-Laguerre or Laguerre-Sobolev-type orthogonal polynomials, are notoriously difficult to compute. In this paper, we propose the use of an alternative expansion, due to Buchholz, in terms of Bessel functions of the first kind. The coefficients in this expansion can be obtained in a straightforward way using symbolic computation. As an application, w…
We consider polynomials orthogonal on $[0,\infty)$ with respect to Laguerre-type weights $w(x)=x^αe^{-Q(x)}$, where $α>-1$ and where $Q$ denotes a polynomial with positive leading coefficient. The main purpose of this paper is to determine Plancherel-Rotach type asymptotics in the entire complex plane for the orthonormal polynomials with respect to $w$, as well as asymptotics of the corresponding recurrence coefficients and of the leading coefficients of the orthonormal polynomials. As an application we will use these asymptotics to prove universality results in random matrix theory. We will p…
