[论文解读] Biorthogonal polynomials for 2-matrix models with semiclassical potentials

Marco Bertola|ArXiv.org|May 3, 2006

Mathematical functions and polynomials参考文献 11被引用 4

一句话总结

本论文为具有半经典势的2-矩阵模型中的双正交多项式推导出递推关系和Christoffel–Darboux恒等式，其中势函数的导数为有理函数，且特征值支撑被限制在区间的并集中。主要贡献是为$(d_i+1)\times(d_i+1)$矩阵建立了一个黎曼–希尔伯特问题形式，其中Christoffel–Darboux配对被解释为两个此类问题之间的对偶性。

ABSTRACT

We consider the biorthogonal polynomials associated to the two-matrix model where the eigenvalue distribution has potentials V_1,V_2 with arbitrary rational derivative and whose supports are constrained on an arbitrary union of intervals (hard-edges). We show that these polynomials satisfy certain recurrence relations with a number of terms d_i depending on the number of hard-edges and on the degree of the rational functions V_i'. Using these relations we derive Christoffel-Darboux identities satisfied by the biorthogonal polynomials: this enables us to give explicit formulae for the differential equation satisfied by d_i+1 consecutive polynomials, We also define certain integral transforms of the polynomials and use them to formulate a Riemann-Hilbert problem for (d_i+1) x (d_i+1) matrices constructed out of the polynomials and these transforms. Moreover we prove that the Christoffel-Darboux pairing can be interpreted as a pairing between two dual Riemann-Hilbert problems.

研究动机与目标

• 为具有有理函数导数和在区间的并集上具有硬边支撑的势函数的2-矩阵模型中的双正交多项式建立递推关系。
• 推导这些多项式的Christoffel–Darboux恒等式，从而能够构造出$d_i+1$个连续多项式的微分方程。
• 定义多项式的积分变换，并利用它们为$(d_i+1)\times(d_i+1)$矩阵建立一个黎曼–希尔伯特问题。
• 证明Christoffel–Darboux配对对应于两个对偶黎曼–希尔伯特问题之间的对偶性。
• 通过多项式函数的代数运算，将半经典框架推广至包含任意区间的并集和有理函数导数的情形。

提出的方法

• 引入由多区间$I$和$J$上的积分定义的双 moment泛函$ abla$，权重为$e^{-V_1(x)-V_2(y)+xy}$，并将其线性延拓至多项式。
• 通过分布恒等式(1-7)和(1-8)定义半经典条件，其中$V_i' = (A_i + B_i')/B_i$，$A_i, B_i$为编码极点和硬边的多项式。
• 利用$A_i, B_i$多项式的结构以及伴随微分算子的双线性相伴量，推导双正交多项式的乘法递推关系。
• 构造辅助波向量和阶梯矩阵，以推导Christoffel–Darboux恒等式，这些恒等式通过围道积分将多项式及其变换联系起来。
• 利用双正交多项式及其积分变换，为$(d_i+1)\times(d_i+1)$矩阵建立一个黎曼–希尔伯特问题，其中跳跃矩阵由Christoffel–Darboux核定义。
• 通过围道变形和核恒等式，证明Christoffel–Darboux配对等价于两个黎曼–希尔伯特问题之间的对偶性。

实验结果

研究问题

• RQ1 在2-矩阵模型中，双正交多项式的递推关系如何依赖于硬边数量以及$V_i'$的有理函数的次数？
• RQ2 在半经典条件下，$d_i+1$个连续的双正交多项式满足哪些微分方程？
• RQ3 Christoffel–Darboux恒等式能否推广至具有多区间支撑和有理函数导数势的双正交系统？
• RQ4 如何利用多项式的积分变换构造更高阶矩阵的黎曼–希尔伯特问题？
• RQ5 在此设定下，Christoffel–Darboux配对是否等价于两个对偶黎曼–希尔伯特问题之间的对偶性？

主要发现

• 双正交多项式满足包含$d_i$项的乘法递推关系，其中$d_i$取决于硬边数量以及$A_i, B_i$的次数。
• 为双正交系统推导出Christoffel–Darboux恒等式，从而能够构造出$d_i+1$个连续多项式的微分方程。
• 证明Christoffel–Darboux配对等价于两个黎曼–希尔伯特问题之间的对偶性，每个问题均定义在一对对偶围道上。
• 利用双正交多项式及其积分变换，为$(d_i+1)\times(d_i+1)$矩阵建立了黎曼–希尔伯特问题，跳跃矩阵由配对的核确定。
• 证明依赖于围道变形和核恒等式，五重积分计算通过形式(5-3)的Christoffel–Darboux恒等式简化，确保在次数约束下结果一致且项消失。
• 该方法适用于具有有理函数导数和硬边的势函数，通过允许任意区间的并集和复共轭极点结构，推广了先前的结果。