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 prove our results by using the characterization of orthogonal polynomials via a $2\times 2$ matrix valued Riemann-Hilbert problem, due to Fokas, Its and Kitaev, together with an application of the Deift-Zhou steepest descent method to analyze the Riemann-Hilbert problem asymptotically.
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.
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…
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.
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…
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…
We study asymptotics of the partition function $Z_N$ of a Laguerre-type random matrix model when the matrix order $N$ tends to infinity. By using the Deift-Zhou steepest descent method for Riemann-Hilbert problems, we obtain an asymptotic expansion of $\log Z_N$ in powers of $N^{-2}$.
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.
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.
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)
Explicit expressions for the Hahn multiple polynomials of type I, in terms of Kampé de Fériet hypergeometric series, are given. Orthogonal and biorthogonal relations are proven. Then, part of the Askey scheme for multiple orthogonal polynomials type I is completed. In particular, explicit expressions in terms of generalized hypergeometric series and Kampé de Fériet hypergeometric series, are given for the multiple orthogonal polynomials of type I for the Jacobi-Piñeiro, Meixner I, Meixner II, Kravchuk, Laguerre I, Laguerre II and Charlier families.
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 spe…
The distribution function for the first eigenvalue spacing in the Laguerre unitary ensemble of finite rank random matrices is found in terms of a Painlevé V system, and the solution of its associated linear isomonodromic system. In particular it is characterised by the polynomial solutions to the isomonodromic equations which are also orthogonal with respect to a deformation of the Laguerre weight. In the scaling to the hard edge regime we find an analogous situation where a certain Painlevé \IIId system and its associated linear isomonodromic system characterise the scaled distribution. We un…
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.
Coefficients in the expansions of the form $\partial P_{n}(λ;z)}/\partialλ=\sum_{k=0}^{n}a_{nk}(λ)P_{k}(λ;z)$, where $P_{n}(λ;z)$ is the $n$th classical (the generalized Laguerre, Gegenbauer or Jacobi) orthogonal polynomial of variable $z$ and $λ$ is a parameter, are evaluated. A method we adopt in the present paper differs from that used by Fröhlich [Integral Transforms Spec. Funct. 2 (1994) 253] for the Jacobi polynomials and by Koepf [Integral Transforms Spec. Funct. 5 (1997) 69] for the generalized Laguerre and the Gegenbauer 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…
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…
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
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…
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…
The distribution function for the first eigenvalue spacing in the Laguerre unitary ensemble of finite size may be expressed in terms of a solution of the fifth Painleve transcendent. The generating function of a certain discontinuous linear statistic of the Laguerre unitary ensemble can similarly be expressed in terms of a solution of the fifth Painleve equation. The methodology used to derive these results rely on two theories regarding differential equations for orthogonal polynomial systems, one involving isomonodromic deformations and the other ladder operators. We compare the two theories…
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…
In a previous paper, we presented conjectures of the recurrence relations with constant coefficients for the multi-indexed orthogonal polynomials of Laguerre, Jacobi, Wilson and Askey-Wilson types. In this paper we present a proof for the Laguerre and Jacobi cases. Their bispectral properties are also discussed, which give a method to obtain the coefficients of the recurrence relations explicitly. This paper extends to the Laguerre and Jacobi cases the bispectral techniques recently introduced by Gómez-Ullate et al. to derive explicit expressions for the coefficients of the recurrence relation…
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.
A new recurrence relation for exceptional orthogonal polynomials is proposed, which holds for type 1, 2 and 3. As concrete examples, the recurrence relations are given for Xj-Hermite, Laguerre and Jacobi polynomials in j = 1,2 case.
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 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 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…
As the fourth stage of the project multi-indexed orthogonal polynomials, we present the multi-indexed Meixner and little $q$-Jacobi (Laguerre) polynomials in the framework of `discrete quantum mechanics' with real shifts defined on the semi-infinite lattice in one dimension. They are obtained, in a similar way to the multi-indexed Laguerre and Jacobi polynomials reported earlier, from the quantum mechanical systems corresponding to the original orthogonal polynomials by multiple application of the discrete analogue of the Darboux transformations or the Crum-Krein-Adler deletion of virtual stat…
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 Bures metric and the associated Bures-Hall measure is arguably the best choice for studying the spectrum of the quantum mechanical density matrix with no apriori knowledge of the system. We investigate the probability of a gap in the spectrum of this model, either at the bottom $ [0,s) $ or at the top $ (s,1] $, utilising the connection of this Pfaffian point-process with the allied problem in the determinantal point-process of the two-dimensional Cauchy-Laguerre bi-orthogonal polynomial system, now deformed with two variables $s,t$. To this end we develop new general results about Cauchy …
The location and asymptotic behaviour for large n of the zeros of exceptional Jacobi and Laguerre polynomials are discussed. The zeros of exceptional polynomials fall into two classes: the regular zeros, which lie in the interval of orthogonality and the exceptional zeros, which lie outside that interval. We show that the regular zeros have two interlacing properties: one is the natural interlacing between consecutive polynomials as a consequence of their Sturm-Liouville character, while the other one shows interlacing between the zeros of exceptional and classical polynomials. A generalizatio…
We present two infinite sequences of polynomial eigenfunctions of a Sturm-Liouville problem. As opposed to the classical orthogonal polynomial systems, these sequences start with a polynomial of degree one. We denote these polynomials as $X_1$-Jacobi and $X_1$-Laguerre and we prove that they are orthogonal with respect to a positive definite inner product defined over the the compact interval $[-1,1]$ or the half-line $[0,\infty)$, respectively, and they are a basis of the corresponding $L^2$ Hilbert spaces. Moreover, we prove a converse statement similar to Bochner's theorem for the classical…
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.
