[論文レビュー] A direct approach to the bispectral problem for the Ruijsenaars-Macdonald q-difference operators

Masatoshi Noumi, Jun’ichi Shiraishi|arXiv (Cornell University)|Jun 23, 2012

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

ひとこと要約

本稿では、ゲージ変換と形式的べき級数を用いて、GL型のRuijsenaars-Macdonald $q$-差分作用素に対する双分岐問題の、直接的なメロモルフィック解の構成を提示する。$\psi_n(x;s|q,t)$ の共通固有関数の存在と一意性を確立し、明示的な極構造を伴うメロモルフィズムを証明し、ジャクソン積分と $q$-差分作用素を用いて対称性、双対性、再帰的表現を導出する。

ABSTRACT

We present a direct approach to the bispectral problem associated with the Ruijsenaars-Macdonald q-difference operators of GL type. We give an explicit construction of the meromorphic function psi_n(x;s|q,t) on T^n_x T^n_s, which is the solution of the bispectral problem up to a certain gauge transformation. Some basic properties of psi_n(x;s|q,t) are studied, including the structure of the divisor of poles, the symmetries psi_n(x;s|q,t)=psi_n(s;x|q,t)=psi_n(x;s|q,q/t), and the recursive structure described in terms of Jackson integrals or q-difference operators.

研究の動機と目的

• GL型のRuijsenaars-Macdonald $q$-差分作用素に対する双分岐問題への、直接的かつ構成的なアプローチを提供すること。
• 形式的べき級数からのゲージ変換を用いて、$\mathbb{T}^n_x \times \mathbb{T}^n_s$ 上のメロモルフィック解 $\psi_n(x;s|q,t)$ を明示的に構成すること。
• $q$-差分作用素とジャクソン積分表現を用いて、解の極の除数、対称性、再帰的構造を分析すること。
• 双対性 $\psi_n(x;s|q,t) = \psi_n(s;x|q,t) = \psi_n(x;s|q,q/t)$ 及びその固有関数構造への影響を確立すること。
• 量子KZ方程式およびハリシ・チャンドラ理論の文脈で、先行研究を一般化する、可換な積分変換の族を構築すること。

提案手法

• 共通固有関数問題 $D^x(u)\varphi = \varphi \prod_{i=1}^n (1 - u s_i)$ に対する形式的べき級数解 $\varphi(x;s) = \sum_{\mu \in Q_+} x^{-\mu} \varphi_\mu(s)$ を構成し、$\varphi_0(s) = 1$ とする。
• ゲージ変換 $\varphi(x;s) = \prod_{i<j} \frac{(q x_j/x_i; q)_\infty}{(q x_j/t x_i; q)_\infty} \psi(x;s)$ を適用し、$\psi_n(x;s|q,t)$ の新たな固有値方程式に変換する。
• 各係数 $\varphi_\mu(s)$ が原点で正則であり、$1 \leq i < j \leq n$、$k \geq 0$ に対して $q^{k+1} s_j / s_i = 1$ 沿いに高々単純極をもつことを証明する。
• ジャクソン積分表現と $q$-差分作用素を用いて再帰的構造を導出し、$\psi_n(x;s|q,t)$ が $q$-差分方程式系を満たすことを示す。
• 対称的表現と変換恒等式を用いて、双対性 $\psi_n(x;s|q,t) = \psi_n(s;x|q,t) = \psi_n(x;s|q,q/t)$ を確立する。
• 可換な積分変換族 $I(\alpha)$ を構成し、$q$-不変測度と $q$-シフト不変積分路を介して、固有関数の性質を保ちながら固有値構造を維持する。

実験結果

リサーチクエスチョン

• RQ1 双対性や離散固有関数に依存せずに、Ruijsenaars-Macdonald $q$-差分作用素に対する双分岐問題の直接的かつ明示的なメロモルフィック解の構成は可能か？
• RQ2 共通固有関数 $\psi_n(x;s|q,t)$ の極の除数の正確な構造は何か？パラメータ $q$ と $t$ とどのように関係しているか？
• RQ3 対称性 $\psi_n(x;s|q,t) = \psi_n(s;x|q,t)$ および $\psi_n(x;s|q,t) = \psi_n(x;s|q,q/t)$ は、構成からどのように生じるか？
• RQ4 ジャクソン積分表現または $q$-差分作用素を用いて、解を再帰的に生成できるか？
• RQ5 積分変換の役割は、固有関数性をどのように保ち、$q$-差分作用素とどのように可換になるか？

主な発見

• 共通固有関数問題に対する形式的べき級数解 $\varphi(x;s)$ は存在し、一意的であり、係数 $\varphi_\mu(s)$ は原点で正則であり、$q^{k+1} s_j / s_i = 1$ 沿いに高々単純極をもつ。
• ゲージ変換された関数 $\psi_n(x;s|q,t)$ は固有値方程式 $L^{(x;s)}(u)\psi = \psi \prod_{i=1}^n (1 - u s_i)$ を満たし、$L^{(x;s)}(u)$ は $B_I(x)$ と $s^{\epsilon_I}$ を含む係数を持つ $q$-差分作用素である。
• 解 $\psi_n(x;s|q,t)$ は完全な双対性を示す：$\psi_n(x;s|q,t) = \psi_n(s;x|q,t) = \psi_n(x;s|q,q/t)$ であり、これはRuijsenaars-Macdonald系の背後にある対称性を反映している。
• $n=3$ の場合、$p_3(x;s|q,q/t)$ における $(x_2/x_1)^\theta (x_3/x_2)^\rho$ の係数は、$q$-ポッヒャーマー記号を含む導出恒等式の右辺と一致する $_5\phi_4$ 超幾何級数で与えられる。
• 可換な積分変換族 $I(\alpha)$ が構成され、$q$-差分作用素 $D^x(u)$ および互いに可換であり、$q$-不変積分路の下で固有関数構造を保つ。
• 積分変換 $I(\alpha)$ は固有関数 $f(x) = x^\lambda \varphi(x)$ を $I(\alpha)f(x) = x^\lambda \psi(x)$ に写し、$\psi(x)$ は $|x_{i+1}/x_i| < |q/t| r$ で正則であり、$[D^x(u), I(\alpha)] = 0$ および $[I(\alpha), I(\beta)] = 0$ を満たす。