[论文解读] Semi-classical Orthogonal Polynomial Systems on Non-uniform Lattices, Deformations of the Askey Table and Analogs of Isomonodromy

N. S. Witte|arXiv (Cornell University)|Apr 11, 2012

Mathematical functions and polynomials参考文献 73被引用 10

一句话总结

本文提出了一种在非均匀格点上的半经典正交多项式框架，通过使用差分算子对权重进行变形，推广了Askey表。它推导出在变形下Askey-Wilson多项式的一组耦合一阶q-差分方程，证明其对应于$E^{(1)}_7$ $q$-Painlevé系统的经典解，从而为$q$-Painlevé方程建立了离散的等单量变形类比。

ABSTRACT

A $\mathbb{D}$-semi-classical 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}$-semi-classical orthogonal polynomial systems are precisely those in the Askey table of hypergeometric and basic hypergeometric orthogonal polynomials. However within the $\mathbb{D}$-semi-classical class it is entirely natural to define a generalisation 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 non-trivial 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 characterising 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.

研究动机与目标

• 将超几何与基本超几何正交多项式的Askey表扩展至包含非均匀格点上的变形。
• 利用差分算子，建立在二次格点上半经典正交多项式系统的系统理论。
• 通过谱结构与变形结构，构建$q$-Painlevé方程的离散等单量变形类比。
• 将变形后的Askey-Wilson系统识别为$E^{(1)}_7$ $q$-Painlevé系统的经典解。
• 通过基于矩行列式与Casorati恒等式的Lax对形式，建立谱方程与变形方程之间的相容性。

提出的方法

• 使用满足算子$\mathbb{D}$中一阶线性差分方程的$\mathbb{D}$-半经典权重，推广经典正交多项式。
• 推导出谱方程——一个关于算子$\mathbb{D}$的线性一阶矩阵方程——以控制正交多项式系统及其相关函数。
• 引入变形变量以推广Askey表权重，导出这些参数的演化方程，证明其为$q$-Painlevé型方程。
• 通过谱方程与变形方程的相容性构造Lax对，系统的演化由耦合的一阶q-差分方程控制。
• 利用矩行列式与双-Casorati形式表达$\tau$-函数，将理论与可积系统及经典解联系起来。
• 通过Mathematica进行符号与数值验证，精度达$10^{-30}$，并与Rains与Yamada的工作建立联系。

实验结果

研究问题

• RQ1 如何利用半经典权重将Askey表正交多项式推广至包含非均匀格点上变形的框架？
• RQ2 此类变形系统的谱方程与变形方程的结构为何？它们如何确保相容性？
• RQ3 Askey-Wilson多项式首个非平凡变形是否对应于已知的$q$-Painlevé方程？若是，是哪一个？
• RQ4 变形系统的$\tau$-函数能否以双-Casorati行列式形式表达？这对可积性有何含义？
• RQ5 该系统与标准$E^{(1)}_7$ $q$-Painlevé系统有何关系？有哪些证据支持这一识别？

主要发现

• 变形后的Askey-Wilson正交多项式系统满足变形变量中的一组耦合一阶q-差分方程，通过谱结构与变形结构相容性显式导出。
• 该系统被识别为$E^{(1)}_7$ $q$-Painlevé方程的经典解，其依据来自$\tau$-函数形式与经典解理论的结构与函数证据。
• $\tau$-函数被证明具有双-Casorati行列式形式，其元素为$m_{0,0}(q^j a_r, q^k a_s)$，将理论与可积系统及行列式点过程联系起来。
• 通过广泛的符号与数值检查，确认所导方程的精度至少达$10^{-30}$，验证了理论框架的正确性。
• 该框架通过Christoffel-Uvarov型映射支持Schlesinger型变换，表明其在可积层次中的更广泛应用潜力。
• 结果与Yamada的Lax对及Rains的椭圆Painlevé理论一致，表明存在统一的离散等单量结构。