## Nagoya Mathematical Journal

### Semiclassical orthogonal polynomial systems on nonuniform lattices, deformations of the Askey table, and analogues of isomonodromy

N. S. Witte

#### Abstract

A $\mathbb{D}$-semiclassical weight is one which satisfies a particular linear, first-order homogeneous equation in a divided-difference operator $\mathbb{D}$. It is known that the system of polynomials, orthogonal with respect to this weight, and the associated functions satisfy a linear, first-order homogeneous matrix equation in the divided-difference operator termed the spectral equation. Attached to the spectral equation is a structure which constitutes a number of relations such as those arising from compatibility with the three-term recurrence relation. Here this structure is elucidated in the general case of quadratic lattices. The simplest examples of the $\mathbb{D}$-semiclassical orthogonal polynomial systems are precisely those in the Askey table of hypergeometric and basic hypergeometric orthogonal polynomials. However within the $\mathbb{D}$-semiclassical class it is entirely natural to define a generalization of the Askey table weights which involve a deformation with respect to new deformation variables. We completely construct the analogous structures arising from such deformations and their relations with the other elements of the theory. As an example we treat the first nontrivial deformation of the Askey–Wilson orthogonal polynomial system defined by the $q$-quadratic divided-difference operator, the Askey–Wilson operator, and derive the coupled first-order divided-difference equations characterizing its evolution in the deformation variable. We show that this system is a member of a sequence of classical solutions to the $E^{(1)}_{7}$ $q$-Painlevé system.

#### Article information

Source
Nagoya Math. J., Volume 219 (2015), 127-234.

Dates
Accepted: 31 October 2014
First available in Project Euclid: 20 October 2015

https://projecteuclid.org/euclid.nmj/1445345520

Digital Object Identifier
doi:10.1215/00277630-3140952

Mathematical Reviews number (MathSciNet)
MR3413576

Zentralblatt MATH identifier
1334.39024

#### Citation

Witte, N. S. Semiclassical orthogonal polynomial systems on nonuniform lattices, deformations of the Askey table, and analogues of isomonodromy. Nagoya Math. J. 219 (2015), 127--234. doi:10.1215/00277630-3140952. https://projecteuclid.org/euclid.nmj/1445345520

#### References

• [1] R. Álvarez-Nodarse and J. C. Medem, $q$-classical polynomials and the $q$-Askey and Nikiforov-Uvarov tableaus, J. Comput. Appl. Math. 135 (2001), 197–223.
• [2] D. Arinkin and A. Borodin, Moduli spaces of $d$-connections and difference Painlevé equations, Duke Math. J. 134 (2006), 515–556.
• [3] D. Arinkin and A. Borodin, $\tau$-function of discrete isomonodromy transformations and probability, Compos. Math. 145 (2009), 747–772.
• [4] R. Askey and J. Wilson, Some Basic Hypergeometric Orthogonal Polynomials that Generalize Jacobi Polynomials, Mem. Amer. Math. Soc. 54, Amer. Math. Soc., Providence, 1985.
• [5] N. M. Atakishiyev and S. K. Suslov, On the moments of classical and related polynomials, Rev. Mexicana Fís. 34 (1988), 147–151.
• [6] N. M. Atakishiyev and S. K. Suslov, “Difference hypergeometric functions” in Progress in Approximation Theory (Tampa, 1990), Springer Ser. Comput. Math. 19, Springer, New York, 1992, 1–31.
• [7] G. Bangerezako, The factorization method for the Askey-Wilson polynomials, J. Comput. Appl. Math. 107 (1999), 219–232.
• [8] G. Bangerezako, The fourth order difference equation for the Laguerre-Hahn polynomials orthogonal on special non-uniform lattices, Ramanujan J. 5 (2001), 167–181.
• [9] G. Bangerezako and M. Foupouagnigni, Laguerre-Freud equations for the recurrence coefficients of the Laguerre-Hahn orthogonal polynomials on special non-uniform lattices, preprint, http://www.ictp.trieste.it (accessed 17 August 2015).
• [10] G. Bangerezako and M. N. Hounkonnou, The factorization method for the general second-order $q$-difference equation and the Laguerre-Hahn polynomials on the general $q$-lattice, J. Phys. A 36 (2003), no. 3, 765–773.
• [11] G. Bangerezako and A. P. Magnus, “The factorization method for the semi-classical polynomials” in Self-Similar Systems (Dubna, 1998), Joint Inst. Nuclear Res., Dubna, 1999, 295–300.
• [12] R. J. Baxter, Exactly Solved Models in Statistical Mechanics, Academic Press, London, 1982.
• [13] S. Belmehdi and A. Ronveaux, Laguerre-Freud’s equations for the recurrence coefficients of semi-classical orthogonal polynomials, J. Approx. Theory 76 (1994), 351–368.
• [14] P. Biane, Orthogonal polynomials on the unit circle, $q$-gamma weights, and discrete Painlevé equations, Mosc. Math. J. 14 (2014), 1–27.
• [15] L. Boelen, C. Smet, and W. Van Assche, $q$-Discrete Painlevé equations for recurrence coefficients of modified $q$-Freud orthogonal polynomials, preprint, arXiv:0808.0982v1 [math.CA].
• [16] A. Borodin, Discrete gap probabilities and discrete Painlevé equations, Duke Math. J. 117 (2003), 489–542.
• [17] A. Borodin, Isomonodromy transformations of linear systems of difference equations, Ann. of Math. (2) 160 (2004), 1141–1182.
• [18] A. Borodin and D. Boyarchenko, Distribution of the first particle in discrete orthogonal polynomial ensembles, Comm. Math. Phys. 234 (2003), 287–338.
• [19] Y. Chen and M. E. H. Ismail, Ladder operators and differential equations for orthogonal polynomials, J. Phys. A 30 (1997), no. 22, 7817–7829.
• [20] Y. Chen and M. E. H. Ismail, Ladder operators for $q$-orthogonal polynomials, J. Math. Anal. Appl. 345 (2008), 1–10.
• [21] Y. Chen, M. E. H. Ismail, and W. Van Assche, Tau-function constructions of the recurrence coefficients of orthogonal polynomials, Adv. in Appl. Math. 20 (1998), 141–168.
• [22] R. S. Costas-Santos and F. Marcellán, $q$-Classical orthogonal polynomials: A general difference calculus approach, preprint, arXiv:math/0612097v5 [math.CA].
• [23] A. S. Fokas, A. R. Its, and A. V. Kitaev, Discrete Painlevé equations and their appearance in quantum gravity, Comm. Math. Phys. 142 (1991), 313–344.
• [24] A. S. Fokas, A. R. Its, and A. V. Kitaev, The isomonodromy approach to matrix models in $2$D quantum gravity, Comm. Math. Phys. 147 (1992), 395–430.
• [25] P. J. Forrester, Log-Gases and Random Matrices, London Math. Soc. Monogr. Ser. 34, Princeton University Press, Princeton, 2010.
• [26] P. J. Forrester and N. S. Witte, Discrete Painlevé equations, orthogonal polynomials on the unit circle, and $N$-recurrences for averages over $U(N)$—$\mathrm{P}_{\mathrm{III}'}$ and $\mathrm{P}_\mathrm{V}\,\tau$-functions, Int. Math. Res. Not. IMRN 2004, no. 4, 160–183.
• [27] P. J. Forrester and N. S. Witte, Bi-orthogonal polynomials on the unit circle, regular semi-classical weights and integrable systems, Constr. Approx. 24 (2006), 201–237.
• [28] M. Foupouagnigni, On difference equations for orthogonal polynomials on nonuniform lattices, J. Difference Equ. Appl. 14 (2008), 127–174.
• [29] M. Foupouagnigni, M. N. Hounkonnou, and A. Ronveaux, “Laguerre-Freud equations for the recurrence coefficients of $D_{\omega}$ semi-classical orthogonal polynomials of class one” in Orthogonal Polynomials and Their Applications (Seville, 1997), J. Comput. Appl. Math. 99, 1998, 143–154.
• [30] G. Freud, Orthogonal Polynomials, Pergamon Press, Oxford, 1971.
• [31] G. Gasper and M. Rahman, Basic Hypergeometric Series, 2nd ed., Encyclopedia Math. Appl. 96, Cambridge University Press, Cambridge, 2004.
• [32] A. Ghressi and L. Khériji, The symmetrical $H_{q}$-semiclassical orthogonal polynomials of class one, SIGMA Symmetry Integrability Geom. Methods Appl. 5 (2009), Paper 076.
• [33] B. Grammaticos and A. Ramani, On a novel $q$-discrete analogue of the Painlevé VI equation, Phys. Lett. A 257 (1999), no. 5–6, 288–292.
• [34] D. P. Gupta and D. R. Masson, “Solutions to the associated $q$-Askey-Wilson polynomial recurrence relation” in Approximation and Computation (West Lafayette, Ind., 1993), Internat. Ser. Numer. Math. 119, Birkhäuser, Boston, 1994, 273–284.
• [35] W. Hahn, Beiträge zur Theorie der Heineschen Reihen. Die $24$ Integrale der Hypergeometrischen $q$-Differenzengleichung. Das $q$-Analogon der Laplace-Transformation, Math. Nachr. 2 (1949), 340–379.
• [36] W. Hahn, Über Orthogonalpolynome, die $q$-Differenzengleichungen genügen, Math. Nachr. 2 (1949), 4–34.
• [37] W. Hahn, Über die höheren Heineschen Reihen und eine einheitliche Theorie der sogenannten speziellen Funktionen, Math. Nachr. 3 (1950), 257–294.
• [38] W. Hahn, Über uneigentliche Lösungen linearer geometrischer Differenzengleichungen, Math. Ann. 125 (1952), 67–81.
• [39] A. Iatrou and J. A. G. Roberts, Integrable mappings of the plane preserving biquadratic invariant curves, II, Nonlinearity 15 (2002), 459–489.
• [40] M. E. H. Ismail, “The Askey-Wilson operator and summation theorems” in Mathematical Analysis, Wavelets, and Signal Processing (Cairo, 1994), Contemp. Math. 190, Amer. Math. Soc., Providence, 1995, 171–178.
• [41] M. E. H. Ismail, “Functional equations and electrostatic models for orthogonal polynomials” in Random Matrix Models and Their Applications, Math. Sci. Res. Inst. Publ. 40, Cambridge University Press, Cambridge, 2001, 225–244.
• [42] M. E. H. Ismail, Difference equations and quantized discriminants for $q$-orthogonal polynomials, Adv. Appl. Math. 30 (2003), 562–589.
• [43] M. E. H. Ismail, Classical and Quantum Orthogonal Polynomials in One Variable, Encyclopedia Math. Appl. 98, Cambridge University Press, Cambridge, 2005.
• [44] M. E. H. Ismail, I. Nikolova, and P. Simeonov, Difference equations and discriminants for discrete orthogonal polynomials, Ramanujan J. 8 (2004), 475–502.
• [45] M. E. H. Ismail and M. Rahman, The associated Askey-Wilson polynomials, Trans. Amer. Math. Soc. 328 (1991), no. 1, 201–237.
• [46] M. E. H. Ismail and P. Simeonov, $q$-Difference operators for orthogonal polynomials, J. Comput. Appl. Math. 233 (2009), 749–761.
• [47] M. E. H. Ismail and D. Stanton, $q$-Taylor theorems, polynomial expansions, and interpolation of entire functions, J. Approx. Theory 123 (2003), 125–146.
• [48] M. E. H. Ismail and N. S. Witte, Discriminants and functional equations for polynomials orthogonal on the unit circle, J. Approx. Theory 110 (2001), 200–228.
• [49] A. R. Its, A. V. Kitaev, and A. S. Fokas, Matrix models of two-dimensional quantum gravity, and isomonodromic solutions of Painlevé “discrete equations” (in Russian), Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 187 (1991), 3–30; English translation in J. Math. Sci. 73 (1995), 415–429.
• [50] M. Jimbo and H. Sakai, A $q$-analog of the sixth Painlevé equation, Lett. Math. Phys. 38 (1996), 145–154.
• [51] K. Kajiwara, T. Masuda, M. Noumi, Y. Ohta, and Y. Yamada, ${}_{10}E_{9}$ solution to the elliptic Painlevé equation, J. Phys. A 36 (2003), no. 17, 263–272.
• [52] K. Kajiwara, T. Masuda, M. Noumi, Y. Ohta, and Y. Yamada, Hypergeometric solutions to the $q$-Painlevé equations, Int. Math. Res. Not. IMRN 2004, no. 47, 2497–2521.
• [53] E. G. Kalnins and W. Miller, Jr., “Symmetry techniques for $q$-series: Askey-Wilson polynomials” in Constructive Function Theory—86 Conference (Edmonton, 1986), Rocky Mountain J. Math. 19, 1989, 223–230.
• [54] L. Khériji, An introduction to the $H_{q}$-semiclassical orthogonal polynomials, Methods Appl. Anal. 10 (2003), 387–411.
• [55] L. Khériji and P. Maroni, The $H_{q}$-classical orthogonal polynomials, Acta Appl. Math. 71 (2002), 49–115.
• [56] R. Koekoek and R. F. Swarttouw, The Askey-scheme of hypergeometric orthogonal polynomials and its $q$-analogue, preprint, http://aw.twi.tudelft.nl/~koekoek/askey (accessed 17 August 2015).
• [57] H. T. Koelink and T. H. Koornwinder, “$q$-special functions, a tutorial” in Deformation Theory and Quantum Groups with Applications to Mathematical Physics (Amherst, Mass., 1990), Contemp. Math. 134, Amer. Math. Soc., Providence, 1992, 141–142.
• [58] T. H. Koornwinder, The structure relation for Askey-Wilson polynomials, J. Comput. Appl. Math. 207 (2007), 214–226.
• [59] P. A. Lesky, Eine Charakterisierung der klassischen kontinuierlichen-diskreten- und $q$-Orthogonal polynome, Shaker, Aachen, 2005.
• [60] A. P. Magnus, “Associated Askey-Wilson polynomials as Laguerre-Hahn orthogonal polynomials” in Orthogonal Polynomials and Their Applications (Segovia, 1986), Lecture Notes in Math. 1329, Springer, Berlin, 1988, 261–278.
• [61] A. P. Magnus, “Painlevé-type differential equations for the recurrence coefficients of semi-classical orthogonal polynomials” in Orthogonal Polynomials and Their Applications (Evian-Les-Bains, 1992), J. Comput. Appl. Math. 57, 1995, 215–237.
• [62] A. P. Magnus, “Special nonuniform lattice (snul) orthogonal polynomials on discrete dense sets of points” in Orthogonality, Moment Problems and Continued Fractions (Delft, 1994), J. Comput. Appl. Math. 65, 1995, 253–265.
• [63] A. P. Magnus, Elliptic hypergeometric solutions to elliptic difference equations, SIGMA Symmetry Integrability Geom. Methods Appl. 5 (2009), Paper 038.
• [64] A. P. Magnus, Painlevé equations for semi-classical recurrence coefficients, preprint, arXiv:math/9409228v1 [math.CA].
• [65] F. Marcellán and L. Salto, Discrete semi-classical orthogonal polynomials, J. Difference Equ. Appl. 4 (1998), 463–496.
• [66] P. Maroni, Une caractérisation des polynômes orthogonaux semi-classiques, C. R. Math. Acad. Sci. Paris Sér. I 301 (1985), 269–272.
• [67] P. Maroni and M. Mejri, The $I_{(q,\omega)}$ classical orthogonal polynomials, Appl. Numer. Math. 43 (2002), 423–458.
• [68] P. Maroni and M. Mejri, The symmetric $D_\omega$-semi-classical orthogonal polynomials of class one, Numer. Algorithms 49 (2008), 251–282.
• [69] T. Masuda, Hypergeometric $\tau$-functions of the $q$-Painlevé system of type $E_{7}^{(1)}$, SIGMA Symmetry Integrability Geom. Methods Appl. 5 (2009), Paper 035.
• [70] M. Mejri, $q$-extension of some symmetrical and semi-classical orthogonal polynomials of class one, Appl. Anal. Discrete Math. 3 (2009), 78–87.
• [71] M. Murata, H. Sakai, and J. Yoneda, Riccati solutions of discrete Painlevé equations with Weyl group symmetry of type $E^{(1)}_{8}$, J. Math. Phys. 44 (2003), 1396–1414.
• [72] F. W. Nijhoff, On a $q$-deformation of the discrete Painlevé $\mathrm{{I}}$ equation and $q$-orthogonal polynomials, Lett. Math. Phys. 30 (1994), 327–336.
• [73] A. F. Nikiforov and S. K. Suslov, Systems of classical orthogonal polynomials of a discrete variable on nonuniform grids (in Russian), Akad. Nauk SSSR Inst. Prikl. Mat. Preprint 1985, no. 8.
• [74] A. F. Nikiforov and S. K. Suslov, “Classical orthogonal polynomials of a discrete variable on nonuniform lattices” in Group Theoretical Methods in Physics, Vol. I (Yurmala, 1985), VNU Sci., Utrecht, 1986, 505–511.
• [75] A. F. Nikiforov and S. K. Suslov, Classical orthogonal polynomials of a discrete variable on nonuniform lattices, Lett. Math. Phys. 11 (1986), 27–34.
• [76] A. F. Nikiforov, S. K. Suslov, and V. B. Uvarov, Construction of particular solutions for a difference equation of hypergeometric type (in Russian), Akad. Nauk SSSR Inst. Prikl. Mat. Preprint 1984, no. 142.
• [77] A. F. Nikiforov, S. K. Suslov, and V. B. Uvarov, Classical orthogonal polynomials of a discrete variable on nonuniform grids (in Russian), Dokl. Akad. Nauk SSSR 291, no. 5 (1986), 1056–1059; English translation in Soviet. Math. Dokl. 34, no. 3 (1987), 576–579.
• [78] A. F. Nikiforov, S. K. Suslov, and V. B. Uvarov, Classical Orthogonal Polynomials of a Discrete Variable (in Russian), Springer Ser. Comput. Phys., Springer, Berlin, 1991.
• [79] C. M. Ormerod, N. S. Witte, and P. J. Forrester, Connection preserving deformations and $q$-semi-classical orthogonal polynomials, Nonlinearity 24 (2011), 2405–2434.
• [80] P. I. Pastro, Orthogonal polynomials and some $q$-beta integrals of Ramanujan, J. Math. Anal. Appl. 112 (1985), 517–540.
• [81] M. Rahman, An integral representation of a $_{10}\varphi_{9}$ and continuous bi-orthogonal $_{10}\varphi_{9}$ rational functions, Canad. J. Math. 38 (1986), 605–618.
• [82] M. Rahman, $q$-Wilson functions of the second kind, SIAM J. Math. Anal. 17 (1986), 1280–1286.
• [83] M. Rahman and S. K. Suslov, Barnes and Ramanujan-type integrals on the $q$-linear lattice, SIAM J. Math. Anal. 25 (1994), 1002–1022.
• [84] M. Rahman and S. K. Suslov, The Pearson equation and the beta integrals, SIAM J. Math. Anal. 25 (1994), 646–693.
• [85] E. M. Rains, An isomonodromy interpretation of the hypergeometric solution of the elliptic Painlevé equation, SIGMA Symmetry Integrability Geom. Methods Appl. 7 (2011), Paper 088.
• [86] H. Sakai, Rational surfaces associated with affine root systems and geometry of the Painlevé equations, Comm. Math. Phys. 220 (2001), 165–229.
• [87] H. Sakai, A $q$-analog of the Garnier system, Funkcial. Ekvac. 48 (2005), 273–297.
• [88] H. Sakai, Lax form of the $q$-Painlevé equation associated with the $A^{(1)}_{2}$ surface, J. Phys. A 39 (2006), no. 39, 12203–12210.
• [89] V. P. Spiridonov and A. S. Zhedanov, “Generalized eigenvalue problem and a new family of rational functions biorthogonal on elliptic grids” in Special Functions 2000: Current Perspective and Future Directions (Tempe, 2000), NATO Sci. Ser. II Math. Phys. Chem. 30, Kluwer Acad., Dordrecht, 2001, 365–388.
• [90] V. P. Spiridonov and A. S. Zhedanov, Elliptic grids, rational functions, and the Padé interpolation, Ramanujan J. 13 (2007), 285–310.
• [91] S. K. Suslov, On the theory of difference analogues of special functions of hypergeometric type, Uspekhi Mat. Nauk 44 (1989), 185–226; English translation in Russian Math. Surveys 44 (1989), 227–278.
• [92] G. Szegő, Orthogonal Polynomials, 3rd ed., Colloq. Publ. 23, Amer. Math. Soc., Providence, 1967.
• [93] W. Van Assche, “Discrete Painlevé equations for recurrence coefficients of orthogonal polynomials” in Difference Equations, Special Functions and Orthogonal Polynomials, World Sci. Publ., Hackensack, N.J., 2007, 687–725.
• [94] N. S. Witte, Bi-orthogonal systems on the unit circle, regular semi-classical weights and integrable systems, II, J. Approx. Theory 161 (2009), 565–616.
• [95] N. S. Witte, Biorthogonal systems on the unit circle, regular semiclassical weights, and the discrete Garnier equations, Int. Math. Res. Not. IMRN 2009, no. 6, 988–1025.
• [96] N. S. Witte, Deformations of the Askey-Wilson polynomials and their Bäcklund transformations, preprint, 2010.
• [97] N. S. Witte, On a family of integrals that extend the Askey-Wilson integral, J. Math. Anal. App. 421 (2015), 1101–1130.
• [98] Y. Yamada, A Lax formalism for the elliptic difference Painlevé equation, SIGMA Symmetry Integrability Geom. Methods Appl. 5 (2009), Paper 042.
• [99] Y. Yamada, Lax formalism for $q$-Painlevé equations with affine Weyl group symmetry of type ${E}^{(1)}_{n}$, Int. Math. Res. Not. IMRN 2011, no. 17, 3823–3838.