Pearson equations for discrete orthogonal polynomials: I. Generalized hypergeometric functions and Toda equations

• Published in: Studies in applied mathematics (Cambridge) Vol. 148; no. 3; pp. 1141 - 1179
• Main Authors: Mañas, Manuel, Fernández‐Irisarri, Itsaso, González‐Hernández, Omar F.
• Format: Journal Article
• Language: English
• Published: Cambridge Blackwell Publishing Ltd 01.04.2022
• Subjects: 3D Nijhoff–Capel discrete Toda equation; Cholesky factorization; contigous relations; Deformation; discrete orthogonal polynomials; generalized hypergeometric functions; Hypergeometric functions; Independent variables; Mathematical analysis; Norms; Pearson equations; Polynomials; Toda hierarchy
• DOI: 10.1111/sapm.12471
• ISSN: 0022-2526

The Cholesky factorization of the moment matrix is applied to discrete orthogonal polynomials on the homogeneous lattice. In particular, semiclassical discrete orthogonal polynomials, which are built in terms of a discrete Pearson equation, are studied. The Laguerre–Freud structure semiinfinite matrix that models the shifts by ±1 in the independent variable of the set of orthogonal polynomials is introduced. In the semiclassical case it is proven that this Laguerre–Freud matrix is banded. From the well‐known fact that moments of the semiclassical weights are logarithmic derivatives of generalized hypergeometric functions, it is shown how the contiguous relations for these hypergeometric functions translate as symmetries for the corresponding moment matrix. It is found that the 3D Nijhoff–Capel discrete Toda lattice describes the corresponding contiguous shifts for the squared norms of the orthogonal polynomials. The continuous 1D Toda equation for these semiclassical discrete orthogonal polynomials is discussed and the compatibility equations are derived. It is also shown that the Kadomtesev–Petviashvilii equation is connected to an adequate deformed semiclassical discrete weight, but in this case, the deformation does not satisfy a Pearson equation.