[論文レビュー] Commuting difference operators with polynomial eigenfunctions

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

Nonlinear Waves and Solitons被引用数 78

ひとこと要約

この論文は、5つのパラメータと2つのスケール因子に依存する演算子 $\hat{D}_1, \dots, \hat{D}_n$ によって明示的に生成される、$n$ 変数の三角関数的係数をもつ可換な差分作用素の代数を構築する。これらの作用素は、クーンヴァイダーの多変数アスキーウィルソン多項式によって同時に対角化され、パラメータの特殊化および極限操作により、古典的根系 $A_{n-1}, B_n, C_n, D_n, BC_n$ に関連するマクドナルド多項式の差分作用素が得られ、$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$ 変数の三角関数的係数をもつ可換な差分作用素の代数を構築すること。
• これらの作用素の共同固有関数がクーンヴァイダーの多変数アスキーウィルソン多項式であることを特定すること。
• パラメータの特殊化および極限操作を通じて、古典的根系に付随するマクドナルド多項式に関連する差分作用素に帰着されることを示すこと。
• $q \to 1$ の極限において、差分作用素が既知の超幾何微分作用素に還元され、ヘックマン＝オプダムの多変数ジャコビ多項式が回復されることを示すこと。
• この代数を、三角関数的カラゲロ・モーザー系を一般化する可積分な量子系として解釈すること。

提案手法

• 組合せ的構造と5つのパラメータを用いて、差分作用素 $\hat{D}_r$ を明示的に定義し、三角関数的係数をもたせる。
• 類似変換を用いて、作用素をクーンヴァイダーの多変数アスキーウィルソン多項式に関連づけ、これらが共同固有関数として機能することを示す。
• 固有関数の三角不等性および対称性の性質を確立し、同時に対角化可能かつ可換であることを証明する。
• 極限操作 $\beta \to 0$ および $q \to 1$ を適用し、差分作用素を $BC_n$ 型の超幾何微分作用素に接続する。
• パラメータの特殊化を用いて、$A_{n-1}, B_n, C_n, D_n$ 根系に付随する作用素を回復する。
• 行列係数の正則性および漸近的挙動を活用し、消える行列式の議論（補題 C.1）により、解の一意性を証明する。

実験結果

リサーチクエスチョン

• RQ1 $n$ 変数の三角関数的係数と5つのパラメータをもつ可換な差分作用素の代数を構築可能か？ その共同固有関数がクーンヴァイダーの多変数アスキーウィルソン多項式となるか？
• RQ2 構築された差分作用素は、パラメータの極限によって古典的根系に付随するマクドナルド多項式に関連するものとなるか？
• RQ3 $q \to 1$ の極限における差分作用素の挙動は何か？ そして既知の超幾何微分作用素とどのように接続されるか？
• RQ4 可換作用素の代数を、三角関数的カラゲロ・モーザー模型を一般化する量子可積分系として解釈可能か？
• RQ5 固有関数がヘックマンとオプダムの多変数ジャコビ多項式に還元される条件は何か？

主な発見

• 三角関数的係数と5つのパラメータをもつ可換な差分作用素 $\hat{D}_1, \dots, \hat{D}_n$ の代数が明示的に構築され、スケール因子とは独立に成立する。
• クーンヴァイダーの多変数アスキーウィルソン多項式が、作用素 $\hat{D}_r$ の共同固有関数であることが示され、固有値はパラメータに依存する。
• $\beta \to 0$ の極限において、差分作用素は $BC_n$ 型の超幾何微分作用素に還元され、固有関数は $BC_n$ 型の多変数ジャコビ多項式に収束する。
• パラメータの特殊化により、$A_{n-1}, B_n, C_n, D_n, BC_n$ 根系に付随するマクドナルド多項式の差分作用素が得られ、既知の結果を一般化する。
• $q \to 1$ の極限において、差分作用素は超幾何微分作用素に収束し、固有関数はヘックマン＝オプダムの多変数ジャコビ多項式に還元される。
• 漸近的挙動およびベクトル値関数の線形従属性に基づく消える行列式の議論により、固有値問題の解の一意性が証明された。