[論文レビュー] On $q$-deformations of the Heun equation

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

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

ひとこと要約

本稿は、Ruijsenaars–van Diejen作用素の縮退を通じて$ q $-変形Heun方程式を調査し、正則特異点を用いたバリアントの特徴付けを行い、$ 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型作用素の下で不変な有限次元部分空間を特定する。
• 1次元不変部分空間における固有関数および固有値が明示的に構成可能なパラメータ条件を特定する。
• Ruijsenaars–van Diejen作用素から導かれる$ q $-差分方程式における補助パラメータの役割を明確化する。

提案手法

• 1粒子の4次元Ruijsenaars–van Diejen作用素の縮退として$ q $-Heun方程式を導出する。
• $ p^{\textlangle 0\rangle}(x)g(x/q) + p^{\textlangle 1\rangle}(x)g(x) + p^{\textlangle 2\rangle}(x)g(qx) = 0 $ の形の$ q $-差分方程式の構造を解析する。ここで$ p^{\textlangle i\rangle}(x) $は2次多項式である。
• 局所指数とは独立な係数$ 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} $を解くことで、1次元不変部分空間における明示的固有値を導出する。

実験結果

リサーチクエスチョン

• RQ1 正則特異点の性質とパラメータ依存性は、$ q $-Heun方程式およびそのバリアントの構造をどのように特徴付けるか？
• RQ2 $ q $-Heun作用素のパラメータにどのような条件が成立すると、有限次元不変部分空間が得られるか？
• RQ3 $ q $-Heun作用素が準正確可解性を満たすのはどのような場合か。また、固有関数および固有値はどのように明示的に構成できるか？
• RQ4 Ruijsenaars–van Diejen作用素の縮退は、$ q $-Heun方程式およびそのバリアントをどのように導くか？
• RQ5 式(1.2)におけるパラメータ$ E $（または$ p^{\textlangle 1\rangle}_1 $）は$ q $-Heun方程式において果たす役割は何か。なぜ補助パラメータとされるのか？

主な発見

• $ q $-Heun方程式は、2次多項式$ p^{\textlangle i\rangle}(x) $を係数に持つ$ q $-差分方程式として特徴付けられ、Ruijsenaars–van Diejen作用素の縮退から生じるバリアントである。
• 式(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) $が消えることによって保証される。
• 1次元の場合、$ 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} $で張られる1次元空間を不変に保ち、固有値は$ \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 $ である。