We present results on co-recursive associated Laguerre and Jacobi polynomials which are of interest for the solution of the Chapman-Kolmogorov equations of some birth and death processes with or without absorption. Explicit forms, generating functions, and absolutely continuous part of the spectral measures are given. We derive fourth-order differential equations satisfied by the polynomials with a special attention to some simple limiting cases.
We show that for $δ$ below certain critical indices there are functions whose Jacobi or Laguerre expansions have almost everywhere divergent Cesaro and Riesz means of order $δ$.
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.
We will examine the electrostatic properties of exceptional and regular zeros of $X_m$-Laguerre and $X_m$-Jacobi polynomials. Since there is a close connection between the electrostatic properties of the zeros and the stability of interpolation on the system of zeros, we can deduce an Egerváry-Tur\' an type result as well. The limit of the energy on the regular zeros are also investigated.
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.
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)
For the generalized Jacobi, Laguerre and Hermite polynomials $P_n^{(α_n, β_n)} (x), L_n^{(α_n)} (x),$\break $H_n^{(γ_n)} (x)$ the limit distributions of the zeros are found, when the sequences $α_n$ or $β_n$ tend to infinity with a larger order than $n$. The derivation uses special properties of the sequences in the corresponding recurrence formulae. The results are used to give second order approximations for the largest and smallest zero which improve (and generalize) the limit statements in a paper of Moak, Saff and Varga [11].
Convergent expansions are derived for three types of orthogonal polynomials: Charlier, Laguerre and Jacobi. The expansions have asymptotic properties for large values of the degree. The expansions are given in terms of functions that are special cases of the given polynomials. The method is based on expanding integrals in one or two points of the complex plane, these points being saddle points of the phase functions of the integrands.
In this paper using the well known asymptotic relations between Jacobi polynomials and Hermite and Laguerre polynomials. We develop a transference method to obtain the $L^p$-continuity of the Gaussian-Riesz transform and the $L^p$-continuity of the Laguerre-Riesz transform from the $L^p$-continuity of the Jacobi-Riesz transform, in dimension one.
In this paper we study the controllability of the controlled Laguerre equation and the controlled Jacobi equation. For each case, we found conditions which guarantee when such systems are approximately controllable on the interval $[0, t_1]$. Moreover, we show that these systems can never be exactly controllable
We study the monotonic behaviour of the zeros of the multiple Jacobi-Angelesco orthogonal polynomials, in the diagonal case, with respect to the parameters $α,β$ and $γ$. We prove that the zeros are monotonic functions of $α$ and $γ$ and consider some special cases of how the zeros depend on $β$, especially in the presence of symmetry. As a consequence we obtain results about monotonicity of zeros of Jacobi-Laguerre and Laguerre-Hermite multiple orthogonal polynomials too.
The multi-indexed Laguerre and Jacobi polynomials form a complete set of orthogonal polynomials. They satisfy second-order differential equations but not three term recurrence relations, because of the 'holes' in their degrees. The multi-indexed Laguerre and Jacobi polynomials have Wronskian expressions originating from multiple Darboux transformations. For the ease of applications, two different forms of simplified expressions of the multi-indexed Laguerre and Jacobi polynomials are derived based on various identities. The parity transformation property of the multi-indexed Jacobi polynomials…
Spectral analysis of a certain doubly infinite Jacobi operator leads to orthogonality relations for confluent hypergeometric functions, which are called Laguerre functions. This doubly infinite Jacobi operator corresponds to the action of a parabolic element of the Lie algebra $\mathfrak{su}(1,1)$. The Clebsch-Gordan coefficients for the tensor product representation of a positive and a negative discrete series representation of $\mathfrak{su}(1,1)$ are determined for the parabolic bases. They turn out to be multiples of Jacobi functions. From the interpretation of Laguerre polynomials and fun…
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…
The present paper is about Bernstein-type estimates for Jacobi polynomials and their applications to various branches in mathematics. This is an old topic but we want to add a new wrinkle by establishing some intriguing connections with dispersive estimates for a certain class of Schrödinger equations whose Hamiltonian is given by the generalized Laguerre operator. More precisely, we show that dispersive estimates for the Schrödinger equation associated with the generalized Laguerre operator are connected with Bernstein-type inequalities for Jacobi polynomials. We use known uniform estimates f…
In a previous paper we derived equivalence relations for pseudo-Wronskian determinants of Hermite polynomials. In this paper we obtain the analogous result for Laguerre and Jacobi polynomials. The equivalence formulas are richer in this case since rational Darboux transformations can be defined for four families of seed functions, as opposed to only two families in the Hermite case. The pseudo-Wronskian determinants of Laguerre and Jacobi type will thus depend on two Maya diagrams, while Hermite pseudo-Wronskians depend on just one Maya diagram. We show that these equivalence relations can be …
An interesting discovery in the last two years in the field of mathematical physics has been the exceptional $X_\ell$ Laguerre and Jacobi polynomials. Unlike the well-known classical orthogonal polynomials which start with constant terms, these new polynomials have the lowest degree $\ell=1,2,...$, and yet they form complete sets with respect to some positive-definite measure. In this paper, we study one important aspect of these new polynomials, namely, the behaviors of their zeros as some parameters of the Hamiltonians change.
Simple derivation is presented of the four families of infinitely many shape invariant Hamiltonians corresponding to the exceptional Laguerre and Jacobi polynomials. Darboux-Crum transformations are applied to connect the well-known shape invariant Hamiltonians of the radial oscillator and the Darboux-Pöschl-Teller potential to the shape invariant potentials of Odake-Sasaki. Dutta and Roy derived the two lowest members of the exceptional Laguerre polynomials by this method. The method is expanded to its full generality and many other ramifications, including the aspects of generalised Bochner …
We provide analytic proofs for the shape invariance of the recently discovered (Odake and Sasaki, Phys. Lett. B679 (2009) 414-417) two families of infinitely many exactly solvable one-dimensional quantum mechanical potentials. These potentials are obtained by deforming the well-known radial oscillator potential or the Darboux-Pöschl-Teller potential by a degree \ell (\ell=1,2,...) eigenpolynomial. The shape invariance conditions are attributed to new polynomial identities of degree 3\ell involving cubic products of the Laguerre or Jacobi polynomials. These identities are proved elementarily by…
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…
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…
Asymptotic approximations of Jacobi polynomials are given for large values of the $β$-parameter and of their zeros. The expansions are given in terms of Laguerre polynomials and of their zeros. The levels of accuracy of the approximations are verified by numerical examples.
We derive an explicit expression for the kernel of the evolution group $\exp(-\mathrm{i} t H_0)$ of the discrete Laguerre operator $H_0$ (i.e. the Jacobi operator associated with the Laguerre polynomials) in terms of Jacobi polynomials. Based on this expression we show that the norm of the evolution group acting from $\ell^1$ to $\ell^\infty$ is given by $(1+t^2)^{-1/2}$.
We present a new set of infinitely many shape invariant potentials and the corresponding exceptional (X_{\ell}) Laguerre polynomials. They are to supplement the recently derived two sets of infinitely many shape invariant thus exactly solvable potentials in one dimensional quantum mechanics and the corresponding X_{\ell} Laguerre and Jacobi polynomials (Odake and Sasaki, Phys. Lett. B679 (2009) 414-417). The new X_{\ell} Laguerre polynomials and the potentials are obtained by a simple limiting procedure from the known X_{\ell} Jacobi polynomials and the potentials, whereas the known X_{\ell} L…
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…
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…
The bilinear generating function for products of two Laguerre 2D polynomials Lm;n(z; z0) with different arguments is calculated. It corresponds to the formula of Mehler for the generating function of products of two Hermite polynomials. Furthermore, the generating function for mixed products of Laguerre 2D and Hermite 2D polynomials and for products of two Hermite 2D polynomials is calculated. A set of infinite sums over products of two Laguerre 2D polynomials as intermediate step to the generating function for products of Laguerre 2D polynomials is evaluated but these sums possess also proper…
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…
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…
We present various results on the properties of the four infinite sets of the exceptional $X_{\ell}$ polynomials discovered recently by Odake and Sasaki [{\it Phys. Lett. B} {\bf 679} (2009), 414-417; {\it Phys. Lett. B} {\bf 684} (2010), 173-176]. These $X_{\ell}$ polynomials are global solutions of second order Fuchsian differential equations with $\ell+3$ regular singularities and their confluent limits. We derive equivalent but much simpler looking forms of the $X_{\ell}$ polynomials. The other subjects discussed in detail are: factorisation of the Fuchsian differential operators, shape in…
We find all polynomials solutions $P_n(x)$ of the abstract "hypergeometric" equation $L P_n(x) = λ_n P_n(x)$, where $L$ is a linear operator sending any polynomial of degree $n$ to a polynomial of the same degree with the property that $L$ is two-diagonal in the monomial basis, i.e. $L x^n = λ_n x^n + μ_n x^{n-1}$ with arbitrary nonzero coefficients $λ_n, μ_n$ . Under obvious nondegenerate conditions, the polynomial eigensolutions $L P_n(x) = λ_n P_n(x)$ are unique. The main result of the paper is a classification of all {\it orthogonal} polynomials $P_n(x)$ of such type, i.e. $P_n(x)$ are ass…
We study Jacobi operators $J_{p}$, $p> -1$, whose eigenfunctions are Laguerre polynomials. All operators $J_{p}$ have absolutely continuous simple spectra coinciding with the positive half-axis. This fact, however, by no means imply that the wave operators for the pairs $J_{p}$, $J_{q}$ where $p\neq q$ exist. Our goal is to show that, nevertheless, this is true and to find explicit expressions for these wave operators. We also study the time evolution of $(e^{-J t} f)_{n}$ as $|t|\to\infty$ for Jacobi operators $J$ whose eigenfunctions are different classical polynomials. For Laguerre polynomi…
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.
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…
The classical orthogonal polynomials (Hermite, Laguerre and Jacobi) are involved in a vast number of applications in physics and engineering. When large degrees $n$ are needed, the use of recursion to compute the polynomials is not a good strategy for computation and a more efficient approach, such as the use of asymptotic expansions,is recommended. In this paper, we give an overview of the asymptotic expansions considered in [8] for computing Laguerre polynomials $L^{(α)}_n(x)$ for bounded values of the parameter $α$. Additionally, we show examples of the computational performance of an asymp…
We obtain representations of $X_1$ exceptional orthogonal polynomials through determinants of matrices that have certain adjusted moments as entries. We start out directly from the Darboux transformation, allowing for a universal perspective, rather than dependent upon the particular system (Jacobi or Type of Laguerre polynomials). We include a recursion formula for the adjusted moments and provide the initial adjusted moments for each system. Throughout we relate to the various examples of $X_1$ exceptional orthogonal polynomials. We especially focus on and provide complete proofs for the Jac…
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…
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.
Let $g$ and $h$ be real-valued arithmetic functions, positive and normalized. Specific choices within the following general scheme of recursively defined polynomials \begin{equation*} P_n^{g,h}(x):= \frac{x}{h(n)} \sum_{k=1}^{n} g(k) \, P_{n-k}^{g,h}(x), \end{equation*} with initial value $P_{0}^{g,h}(x)=1$ encode information about several classical, widely studied polynomials. This includes Chebyshev polynomials of the second kind, associated Laguerre polynomials, and the Nekrasov--Okounkov polynomials. In this paper we prove that for $g(n)=n$ and fixed $h$ we obtain orthogonal polynomial seq…
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.
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.
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…
We look for spectral type differential equations for the generalized Jacobi polynomials found by T.H. Koornwinder in 1984 and for the Sobolev-Laguerre polynomials. We introduce a method which makes use of computeralgebra packages like Maple and Mathematica and we will give some preliminary results.
We present a method to obtain weight functions associated with linear and quadratic lattices that yield discrete orthogonality with respect to a quasi-definite moment functional of the orthogonal polynomial sequences in the Askey scheme, with the exception of the Jacobi, Bessel, Laguerre, and Hermite polynomials.
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…
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.
