[论文解读] Commuting difference operators with polynomial eigenfunctions

J. F. van Diejen|ArXiv.org|Jun 7, 1993

Nonlinear Waves and Solitons被引用 78

一句话总结

本文构建了一个具有三角系数的 $n$ 个变量的交换差分算子代数，其显式生成元为依赖于五个参数和两个尺度因子的算子 $̂{D}_1, \dots, \u0302{D}_n$。这些算子通过 Koornwinder 的多变量 Askey-Wilson 多项式同时对角化，通过参数特化和极限过程，它们导出与经典根系 $A_{n-1}, B_n, C_n, D_n, BC_n$ 相关的 Macdonald 多项式对应的差分算子，并在 $q \to 1$ 时退化为超几何微分算子。

ABSTRACT

We present explicit generators of an algebra of commuting difference operators with trigonometric coefficients. The operators are simultaneously diagonalized by recently discovered q-polynomials (viz. Koornwinder's multivariable generalization of the Askey-Wilson polynomials). From the viewpoint of physics the algebra can be interpreted as consisting of the quantum integrals of a novel difference-type integrable sytem. This system generalizes the Calogero-Moser systems associated with non-exceptional root systems.

研究动机与目标

• 构建一个具有三角系数的 $n$ 个变量的交换差分算子代数。
• 将这些算子的联合特征函数识别为 Koornwinder 的多变量 Askey-Wilson 多项式。
• 证明通过参数特化和极限变换，算子可退化为与经典根系相关的 Macdonald 多项式对应的算子。
• 展示差分算子在 $q \to 1$ 极限下退化为已知的超几何微分算子，从而恢复 Heckman-Opdam 的多变量 Jacobi 多项式。
• 将该代数解释为推广三角形 Calogero-Moser 系统的可积量子系统。

提出的方法

• 通过组合结构显式定义具有五个参数和三角系数的差分算子 $\u0302{D}_r$。
• 使用相似变换将算子与 Koornwinder 的多变量 Askey-Wilson 多项式联系起来，后者作为联合特征函数。
• 通过建立特征函数的三角化与对称性性质，证明其同时对角化与算子的交换性。
• 应用极限变换：$\beta \to 0$ 与 $q \to 1$，将差分算子与 $BC_n$ 型超几何微分算子联系起来。
• 利用参数特化恢复 $A_{n-1}, B_n, C_n, D_n$ 根系对应的算子。
• 利用矩阵系数的解析性与渐近行为，通过行列式为零的论证（命题 C.1）证明特征值问题解的唯一性。

实验结果

研究问题

• RQ1 能否构造一个具有三角系数和五个参数的 $n$ 个变量的交换差分算子代数，使得其联合特征函数为 Koornwinder 的多变量 Askey-Wilson 多项式？
• RQ2 通过参数极限，所构造的差分算子如何与经典根系相关的 Macdonald 多项式建立联系？
• RQ3 差分算子在 $q \to 1$ 极限下的行为如何？其与已知超几何微分算子有何关联？
• RQ4 该交换算子代数能否被解释为推广三角形 Calogero-Moser 模型的量子可积系统？
• RQ5 在何种条件下，特征函数退化为 Heckman 与 Opdam 的多变量 Jacobi 多项式？

主要发现

• 显式构造了具有三角系数和五个参数的交换差分算子代数 $\u0302{D}_1, \dots, \u0302{D}_n$，其独立于尺度因子。
• 证明 Koornwinder 的多变量 Askey-Wilson 多项式是算子 $\u0302{D}_r$ 的联合特征函数，其特征值依赖于参数。
• 在极限 $\beta \to 0$ 下，差分算子退化为 $BC_n$ 型超几何微分算子，其特征函数收敛于 $BC_n$ 型多变量 Jacobi 多项式。
• 通过参数特化，得到与根系 $A_{n-1}, B_n, C_n, D_n, BC_n$ 相关的 Macdonald 多项式对应的差分算子，推广了已知结果。
• 当 $q \to 1$ 时，差分算子收敛于超几何微分算子，其特征函数退化为 Heckman-Opdam 的多变量 Jacobi 多项式。
• 通过基于渐近行为与向量值函数线性相关性的论证，利用行列式为零的性质，证明了特征值问题解的唯一性。