Orthogonal polynomials, Toda lattices and Painlevé equations
We give a survey of the connection between orthogonal polynomials, Toda lattices and related lattices, and Painlevé equations (discrete and continuous).
Discover
Research tools
Network
Opportunities
Account
Source author record
Walter Van Assche appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We give a survey of the connection between orthogonal polynomials, Toda lattices and related lattices, and Painlevé equations (discrete and continuous).
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.
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 polynomials on an $r$-star.
We characterize all the multiple orthogonal threefold symmetric polynomial sequences whose sequence of derivatives is also multiple orthogonal. Such a property is commonly called the Hahn property and it is an extension of the concept of classical polynomials to the context of multiple orthogonality. The emphasis is on the polynomials whose indices lie on the step line, also known as $2$-orthogonal polynomials. We explain the relation of the asymptotic behavior of the recurrence coefficients to that of the largest zero (in absolute value) of the polynomial set. We provide a full characterization of the Hahn-classical orthogonality measures supported on a $3$-star in the complex plane containing all the zeros of the polynomials. There are essentially three distinct families, one of them $2$-orthogonal with respect to two confluent functions of the second kind. This paper complements earlier research of Douak and Maroni.
We give the asymptotic behavior of the zeros of orthogonal polynomials, after appropriate scaling, for which the orthogonality measure is supported on the $q$-lattice $\{q^k, k=0,1,2,3,\ldots\}$, where $0 < q < 1$. The asymptotic distribution of the zeros is given by the radial part of the equilibrium measure of an extremal problem in logarithmic potential theory for circular symmetric measures with a constraint imposed by the $q$-lattice.
We investigate type I multiple orthogonal polynomials on $r$ intervals which have a common point at the origin and endpoints at the $r$ roots of unity $ω^j$, $j=0,1,\ldots,r-1$, with $ω= \exp(2πi/r)$. We use the weight function $|x|^β(1-x^r)^α$, with $α,β>-1$ for the multiple orthogonality relations. We give explicit formulas for the type I multiple orthogonal polynomials, the coefficients in the recurrence relation, the differential equation, and we obtain the asymptotic distribution of the zeros.
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.
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, multiple orthogonal polynomials associated with modified Bessel functions (of the first and second kind), and multiple orthogonal polynomials associated with Meijer $G$-functions.
Multiple orthogonal polynomials satisfy a number of recurrence relations, in particular there is a $(r+2)$-term recurrence relation connecting the type II multiple orthogonal polynomials near the diagonal (the so-called step-line recurrence relation) and there is a system of $r$ recurrence relations connecting the nearest neighbors (the so-called nearest neighbor recurrence relations). In this paper we deal with two problems. First we show how one can obtain the nearest neighbor recurrence coefficients (and in particular the recurrence coefficients of the orthogonal polynomials for each of the defining measures) from the step-line recurrence coefficients. Secondly we show how one can compute the step-line recurrence coefficients from the recurrence coefficients of the orthogonal polynomials of each of the measures defining the multiple orthogonality.
We consider Hermite-Padé approximants in the framework of discrete integrable systems defined on the lattice $\mathbb{Z}^2$. We show that the concept of multiple orthogonality is intimately related to the Lax representations for the entries of the nearest neighbor recurrence relations and it thus gives rise to a discrete integrable system. We show that the converse statement is also true. More precisely, given the discrete integrable system in question there exists a perfect system of two functions, i.e., a system for which the entire table of Hermite-Padé approximants exists. In addition, we give a few algorithms to find solutions of the discrete system.
A class of cross-shaped difference operators on a two dimensional lattice is introduced. The main feature of the operators in this class is that their formal eigenvectors consist of multiple orthogonal polynomials. In other words, this scheme generalizes the classical connection between Jacobi matrices and orthogonal polynomials to the case of operators on lattices. Furthermore we also show how to obtain 2D discrete Schrödinger operators out of this construction and give a number of explicit examples based on known families of multiple orthogonal polynomials.
We study solutions $(x_n)_{n \in \mathbb{N}}$ of nonhomogeneous nonlinear second order difference equations of the type $\ell_n = x_n ( σ_{n,1} x_{n+1} + σ_{n,0} x_n + σ_{n,-1} x_{n-1} ) + κ_n x_n$, with given initial data $x_0 \in \mathbb{R}$, $x_1 \in \mathbb{R}^+$ where $(\ell_n)_{n\in\mathbb{N}} \in \mathbb{R}^+$, $(σ_{n,0})_{n\in\mathbb{N}} \in \mathbb{R}^+$ and $(κ_n)_{n\in\mathbb{N}} \in \mathbb{R}$ and the left and right $σ$-coefficients satisfy either $(σ_{n,1})_{n\in\mathbb{N}} \in \mathbb{R}^+$ and $(σ_{n,-1})_{n\in \mathbb{N}} \in \mathbb{R}^+$ or $(σ_{n,1})_{n\in\mathbb{N}} \in \mathbb{R}^+_0$ and $(σ_{n,-1})_{n\in\mathbb{N}} \in \mathbb{R}^+_0$. Depending on one's standpoint, such equations originate either from orthogonal polynomials associated with certain Shohat-Freud-type exponential weight functions or from Painlevé's discrete equation $\#1$.
We consider multiple orthogonal polynomials associated with the exponential cubic weight e^{-x^3} over two contours in the complex plane. We study the basic properties of these polynomials, including the Rodrigues formula and nearest-neighbor recurrence relations. It turns out that the recurrence coefficients are related to a discrete Painlevé equation. The asymptotics of the recurrence coefficients, the ratio of the diagonal multiple orthogonal polynomials and the (scaled) zeros of these polynomials are also investigated.
Hermann Minkowski introduced a function in 1904 which maps quadratic irrational numbers to rational numbers and this function is now known as Minkowski's question mark function since Minkowski used the notation $?(x)$. This function is a distribution function on $[0,1]$ which defines a singular continuous measure with support $[0,1]$. Our interest is in the (monic) orthogonal polynomials $(P_n)_{n \in \mathbb{N}}$ for the Minkowski measure and in particular in the behavior of the recurrence coefficients of the three term recurrence relation. We will give some numerical experiments using the discretized Stieltjes-Gautschi method with a discrete measure supported on the Minkowski sequence. We also explain how one can compute the moments of the Minkowski measure and compute the recurrence coefficients using the Chebyshev algorithm.
We give the asymptotic behavior of the ratio of two neighboring multiple orthogonal polynomials under the condition that the recurrence coefficients in the nearest neighbor recurrence relations converge.
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 equation. Finally we also consider the little q-Laguerre weight with a quadratic transformation and show that the recurrence coefficients of the orthogonal polynomials are again related to q-discrete Painlevé V.
In this paper we investigate the asymptotic distribution of the zeros of polynomials $P_{n}(x)$ satisfying a first order differential-difference equation. We give several examples of orthogonal and non-orthogonal families.
In this paper, we obtain the ladder operators and associated compatibility conditions for the type I and the type II multiple orthogonal polynomials. These ladder equations extend known results for orthogonal polynomials and can be used to derive the differential equations satisfied by multiple orthogonal polynomials. Our approach is based on Riemann-Hilbert problems and the Christoffel-Darboux formula for multiple orthogonal polynomials, and the nearest-neighbor recurrence relations. As an illustration, we give several explicit examples involving multiple Hermite and Laguerre polynomials, and multiple orthogonal polynomials with exponential weights and cubic potentials.
We study the recurrence coefficients of the orthogonal polynomials with respect to a semi-classical extension of the Krawtchouk weight. We derive a coupled discrete system for these coefficients and show that they satisfy the fifth Painlevé equation when viewed as functions of one of the parameters in the weight.
We investigate multiple Charlier polynomials and in particular we will use the (nearest neighbor) recurrence relation to find the asymptotic behavior of the ratio of two multiple Charlier polynomials. This result is then used to obtain the asymptotic distribution of the zeros, which is uniform on an interval. We also deal with the case where one of the parameters of the various Poisson distributions depend on the degree of the polynomial, in which case we obtain another asymptotic distribution of the zeros.
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 investigate generalizations of the Charlier and the Meixner polynomials on the lattice N and on the shifted lattice N+1-β. We combine both lattices to obtain the bi-lattice N \cup (N+1-β) and show that the orthogonal polynomials on this bi-lattice have recurrence coefficients which satisfy a non-linear system of recurrence equations, which we can identify as a limiting case of an (asymmetric) discrete Painlevé equation.
We investigate new generalizations of the Meixner polynomials on the lattice $\mathbb{N}$, on the shifted lattice $\mathbb{N}+1-β$ and on the bi-lattice $\mathbb{N}\cup (\mathbb{N}+1-β)$. We show that the coefficients of the three-term recurrence relation for the orthogonal polynomials are related to the solutions of the fifth Painlevé equation P$_{\textup V}$. Initial conditions for different lattices can be transformed to the classical solutions of P$_{\textup V}$ with special values of the parameters. We also study one property of the Bäcklund transformation of P$_{\textup V}$.
We investigate generalizations of the Charlier polynomials on the lattice $\mathbb{N}$, on the shifted lattice $\mathbb{N}+1-β$ and on the bi-lattice $\mathbb{N}\cup (\mathbb{N}+1-β)$. We show that the coefficients of the three-term recurrence relation for the orthogonal polynomials are related to solutions of the fifth Painlevé equation PV (which can be transformed to the third Painlevé equation). Initial conditions for different lattices can be transformed to the classical solutions of PV with special values of the parameters.
We show that multiple orthogonal polynomials for r measures $(μ_1,...,μ_r)$ satisfy a system of linear recurrence relations only involving nearest neighbor multi-indices $\vec{n}\pm \vec{e}_j$, where $\vec{e}_j$ are the standard unit vectors. The recurrence coefficients are not arbitrary but satisfy a system of partial difference equations with boundary values given by the recurrence coefficients of the orthogonal polynomials with each of measures $μ_j$. We show how the Christoffel-Darboux formula for multiple orthogonal polynomials can be obtained easily using this information. We give explicit examples involving multiple Hermite, Charlier, Laguerre, and Jacobi polynomials.
We show that the coefficients of the three-term recurrence relation for orthogonal polynomials with respect to a semi-classical extension of the Laguerre weight satisfy the fourth Painlevé equation when viewed as functions of one of the parameters in the weight. We compare different approaches to derive this result, namely, the ladder operators approach, the isomonodromy deformations approach and combining the Toda system for the recurrence coefficients with a discrete equation. We also discuss a relation between the recurrence coefficients for the Freud weight and the semi-classical Laguerre weight and show how it arises from the Bäcklund transformation of the fourth Painlevé equation.
We show how one can use Hermite-Padé approximation and little $q$-Jacobi polynomials to construct rational approximants for $ζ_q(2)$. These numbers are $q$-analogues of the well known $ζ(2)$. Here $q=\frac{1}{p}$, with $p$ an integer greater than one. These approximants are good enough to show the irrationality of $ζ_q(2)$ and they allow us to calculate an upper bound for its measure of irrationality: $μ(ζ_q(2))\leq 10π^2/(5π^2-24) \approx 3.8936$. This is sharper than the upper bound given by Zudilin (\textit{On the irrationality measure for a $q$-analogue of $ζ(2)$}, Mat. Sb. \textbf{193} (2002), no. 8, 49--70).
We study a q-logarithm which was introduced by Euler and give some of its properties. This q-logarithm did not get much attention in the recent literature. We derive basic properties, some of which were already given by Euler in a 1751-paper and 1734-letter to Daniel Bernoulli. The corresponding q-analogue of the dilogarithm is introduced. The relation to the values at 1 and 2 of a q-analogue of the zeta function is given. We briefly describe some other q-logarithms that have appeared in the recent literature.
We give four examples of families of orthogonal polynomials for which the coefficients in the recurrence relation satisfy a discrete Painlevé equation. The first example deals with Freud weights $|x|^ρ\exp(-|x|^m)$ on the real line, and we repeat Freud's derivation and analysis for the cases $m=2,4,6$. The Freud equations for the recurrence coefficients when $m=4$ corresponds to the discrete Painlevé I equation. The second example deals with orthogonal polynomials on the unit circle for the weight $\exp(λ\cos θ)$. These orthogonal polynomials are important in the theory of random unitary matrices. Periwal and Shevitz have shown that the recurrence coefficients satisfy the discrete Painlevé II equation. The third example deals with discrete orthogonal polynomials on the positive integers. We show that the recurrence coefficients of generalized Charlier polynomials can be obtained from a solution of the discrete Painlevé II equation. The fourth example deals with orthogonal polynomials on $\pm q^n$. We consider the discrete $q$-Hermite I polynomials and some discrete $q$-Freud polynomials for which the recurrence ceofficients satisfy a $q$-deformation of discrete Painlevé I.
In this paper we show how one can obtain simultaneous rational approximants for $ζ_q(1)$ and $ζ_q(2)$ with a common denominator by means of Hermite-Pade approximation using multiple little q-Jacobi polynomials and we show that properties of these rational approximants prove that 1, $ζ_q(1)$, $ζ_q(2)$ are linearly independent over the rationals. In particular this implies that $ζ_q(1)$ and $ζ_q(2)$ are irrational. Furthermore we give an upper bound for the measure of irrationality.
We give a short introduction to Pade approximation (rational approximation to a function with close contact at one point) and to Hermite-Pade approximation (simultaneous rational approximation to several functions with close contact at one point) and show how orthogonality plays a crucial role. We give some insight into how logarithmic potential theory helps in describing the asymptotic behavior and the convergence properties of Pade and Hermite-Pade approximation.
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.
We study multiple orthogonal polynomials of type I and type II which have orthogonality conditions with respect to r measures. These polynomials are connected by their recurrence relation of order r+1. First we show a relation with the eigenvalue problem of a banded lower Hessenberg matrix L_n, containing the recurrence coefficients. As a consequence, we easily find that the multiple orthogonal polynomials of type I and type II satisfy a generalized Christoffel-Darboux identity. Furthermore, we explain the notion of multiple Gaussian quadrature (for proper multi-indices), which is an extension of the theory of Gaussian quadrature for orthogonal polynomials and was introduced by C. F. Borges. In particular we show that the quadrature points and quadrature weights can be expressed in terms of the eigenvalue problem of L_n.
We introduce two kinds of multiple little q-Jacobi polynomials by imposing orthogonality conditions with respect to r discrete little q-Jacobi measures on the exponential lattice q^k (k=0,1,2,3,...), where 0 < q < 1. We show that these multiple little q-Jacobi polynomials have useful q-difference properties, such as a Rodrigues formula (consisting of a product of r difference operators). Some properties of the zeros of these polynomials and some asymptotic properties will be given as well.
We show how one can obtain rational approximants for $q$-extensions of the harmonic series and the logarithm (and many other similar quantities) by Padé approximation using little $q$-Legendre polynomials and we show that properties of these orthogonal polynomials indeed prove the irrationality, with an upper bound of the measure of irrationality which is as sharp as the upper bound given by Bundschuh and Väänänen for the harmonic series and a better upper bound than the one given by Matala-aho and Väänänen for the logarithm.
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.
In a note at the end of his paper {\it Recherches sur les fractions continues}, Stieltjes gave a necessary and sufficient condition when a continued fraction is represented by a meromorphic function. This result is related to the study of compact Jacobi matrices. We indicate how this notion was developped and used since Stieltjes, with special attention to the results by M. G. Krein. We also pay attention to the perturbation of a constant Jacobi matrix by a compact Jacobi matrix, work which basically started with Blumenthal in 1889 and which now is known as the theory for the class $M(a,b)$.
Orthogonal polynomials on the unit circle are completely determined by their reflection coefficients through the Szegő recurrences. We assume that the reflection coefficients converge to some complex number a with 0 < |a| < 1. The polynomials then live essentially on the arc {e^(i theta): alpha <= theta <= 2 pi - alpha} where cos alpha/2 = sqrt(1-|a|^2) with 0 <= alpha <= 2 pi. We analyze the orthogonal polynomials by comparing them with the orthogonal polynomials with constant reflection coefficients, which were studied earlier by Ya. L. Geronimus and N. I. Akhiezer. In particular, we show that under certain assumptions on the rate of convergence of the reflection coefficients the orthogonality measure will be absolutely continuous on the arc. In addition, we also prove the unit circle analogue of M. G. Krein's characterization of compactly supported nonnegative Borel measures on the real line whose support contains one single limit point in terms of the corresponding system of orthogonal polynomials.
We investigate the asymptotic properties of orthogonal polynomials for a class of inner products including the discrete Sobolev inner products $\langle h,g \rangle = \int hg\, dμ+ \sum_{j=1}^m \sum_{i=0}^{N_j} M_{j,i} h^{(i)}(c_j) g^{(i)}(c_j)$, where $μ$ is a certain type of complex measure on the real line, and $c_j$ are complex numbers in the complement of $\supp(μ)$. The Sobolev orthogonal polynomials are compared with the orthogonal polynomials corresponding to the measure $μ$.
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.
It is well-known that orthogonal polynomials on the real line satisfy a three-term recurrence relation and conversely every system of polynomials satisfying a three-term recurrence relation is orthogonal with respect to some positive Borel measure on the real line. In this paper we extend this result and show that every system of polynomials satisfying some $(2N+1)$-term recurrence relation can be expressed in terms of orthonormal matrix polynomials for which the coefficients are $N\times N$ matrices. We apply this result to polynomials orthogonal with respect to a discrete Sobolev inner product and other inner products in the linear space of polynomials. As an application we give a short proof of Krein's characterization of orthogonal polynomials with a spectrum having a finite number of accumulation points.
Stieltjes' work on continued fractions and the orthogonal polynomials related to continued fraction expansions is summarized and an attempt is made to describe the influence of Stieltjes' ideas and work in research done after his death, with an emphasis on the theory of orthogonal polynomials.