[论文解读] On $q$-deformations of the Heun equation

Kouichi Takemura|arXiv (Cornell University)|Dec 27, 2017

Nonlinear Waves and Solitons参考文献 3被引用 3

一句话总结

本文通过瑞兹纳尔斯-范迪杰恩算子的退化，研究了Heun方程的$q$-变形，通过正则奇点对变体进行表征，并通过识别有限维不变子空间，确立了$q$-Heun算子下的准精确可解性。关键贡献在于在特定参数条件下，显式构造了此类子空间及其本征函数。

ABSTRACT

The $q$-Heun equation and its variants arise as degenerations of Ruijsenaars-van Diejen operators with one particle. We investigate local properties of these equations. In particular we characterize the variants of the $q$-Heun equation by using analysis of regular singularities. We also consider the quasi-exact solvability of the $q$-Heun equation and its variants. Namely we investigate finite-dimensional subspaces which are invariant under the action of the $q$-Heun operator or variants of the $q$-Heun operator.

研究动机与目标

• 通过正则奇点的分析，表征$q$-Heun方程的变体。
• 研究$q$-Heun方程及其退化形式的准精确可解性。
• 识别在$q$-Heun型算子作用下不变的有限维子空间。
• 确定在一维不变子空间中可显式构造本征函数与本征值的参数条件。
• 阐明从瑞兹纳尔斯-范迪杰恩算子导出的$q$-差分方程中辅助参数的作用。

提出的方法

• 将四阶瑞兹纳尔斯-范迪杰恩算子（单粒子情形）退化为$q$-Heun方程。
• 分析$q$-差分方程$p^{\textlangle 0\rangle}(x)g(x/q) + p^{\textlangle 1\rangle}(x)g(x) + p^{\textlangle 2\rangle}(x)g(qx) = 0$的结构，其中$p^{\textlangle i\rangle}(x)$为二次多项式。
• 通过系数$p^{\textlangle 1\rangle}_1$（或方程1.2中的$E$）识别辅助参数，该参数与正则奇点处的局部指数无关。
• 对$q$-Heun算子$A^{\textlangle 4\rangle}$应用谱分析，重点关注由单项式$x^{\nu + k}$张成的不变子空间。
• 通过在$x=0$和$x=\frown$处对指数的参数条件，定义有限维不变子空间。
• 通过求解$A^{\textlangle i\rangle}x^{\nu} = \text{本征值} \times x^{\nu}$，显式导出一维不变子空间的本征值。

实验结果

研究问题

• RQ1 如何通过正则奇点表征$q$-Heun方程及其变体的结构与参数依赖性？
• RQ2 哪些参数条件可使$q$-Heun算子产生有限维不变子空间？
• RQ3 在何种情况下$q$-Heun算子具有准精确可解性，且本征函数与本征值可显式构造？
• RQ4 瑞兹纳尔斯-范迪杰恩算子的退化如何导出$q$-Heun方程及其变体？
• RQ5 参数$E$（或$p^{\textlangle 1\rangle}_1$）在$q$-Heun方程中的作用是什么？为何其被视为辅助参数？

主要发现

• 该$q$-Heun方程被表征为具有二次系数$p^{\textlangle i\rangle}(x)$的$q$-差分方程，其变体源于瑞兹纳尔斯-范迪杰恩算子的退化。
• 方程(1.2)中的参数$E$被识别为辅助参数，其与正则奇点处的局部指数无关。
• 对于算子$A^{\textlangle 3\rangle}$，当$\nu = \frac{1}{2} - n$（$n$为非负整数）时，可构造有限维不变子空间$V^{\textlangle 3\rangle}$，且该子空间在$A^{\textlangle 3\rangle}$作用下保持不变。
• 对于$A^{\textlangle 2\rangle}$，当$\nu = \frac{1}{2} - n$且$n \neq 0$时，存在不变子空间$V^{\textlangle 2\rangle}$，其保持不变的原因是系数$d^{\textlangle 2\rangle,--}(\nu)$、$d^{\textlangle 2\rangle,-}(\nu)$、$d^{\textlangle 2\rangle,++}(1/2)$与$d^{\textlangle 2\rangle,+}(1/2)$为零。
• 在一维情形下，$A^{\textlangle 4\rangle}$作用于$x^{-\nu}$的本征值显式给出为$d^{\textlangle 4\rangle,0}(-\nu) = -\big(q^{h_1+1/2}t_1 + q^{h_2+1/2}t_2\big)q^{-\nu} - \big(q^{l_1-1/2}t_1 + q^{l_2-1/2}t_2\big)q^{\nu_1+\nu_2+\nu}$。
• 当$\beta = \big|h_1+h_2+h_3-l_1-l_2-l_3+2\big|$时，算子$A^{\textlangle 3\rangle}$保持由$x^{1/2}$张成的一维空间不变，其本征值为$\sum_{1\leq i<j\leq 3}\big(q^{h_i+h_j+1/2}+q^{l_i+l_j-1/2}\big)t_it_j$。