[論文レビュー] Superintegrability, Lax matrices and separation of variables

J. Harnad, Oksana Yermolayeva|arXiv (Cornell University)|Mar 6, 2003

Advanced Fiber Laser Technologies参考文献 8被引用数 11

ひとこと要約

本稿は、有理的Lax行列表現における複数のパラメータの存在と、古典的・量子的可積分系における超可積分性との間の関係を確立する。スペクトル不変量（特にLax行列の二乗の留数）のパラメトリック依存性を分析することにより、このような系がパrametricな座標族における変数分離を実現し、完全可積分性に必要な保存量を超える追加の保存量を有することを示している。

ABSTRACT

We show how the superintegrability of certain systems can be deduced from the presence of multiple parameters in the rational Lax matrix representation. This is also related to the fact that such systems admit a separation of variables in parametric families of coordinate systems.

研究の動機と目的

• 有理的Lax行列表現における複数のパラメータが有限次元可積分系における超可積分性をどのように導くかを説明すること。
• このようなLax行列を有する系が、パラメトリックな座標系族における変数分離を実現することを示すこと。
• スペクトル不変量のパラメトリック依存性が、完全可積分性に必要な保存量を超える追加の保存量を生成することを示すこと。
• 古典的結果を量子領域に拡張し、量子積分が同じパラメトリック座標で分離されることを示すこと。
• ロゾチャトゥス項を含む等方的調和振動子を含む、超可積分系の明示的例を提示し、変数分離および保存量の検証を行うこと。

提案手法

• 有理的 $ R $-行列 $ r(\theta) = P_{12}/\theta $ を用いた古典的 $ R $-行列形式を採用し、$ 2\times2 $ Lax行列 $ \mathcal{N}(\lambda) $ 上にポisson括弧を定義する。
• 可換な流れを生成するスペクトル不変量 $ \phi_{ia} = \mathrm{res}_{\lambda=\alpha_i} (\lambda - \alpha_i)^a \mathrm{tr}(\mathcal{N}^2(\lambda)) $ を分析し、極の位置 $ \alpha_i $ に依存する。
• 鍵となるメカニズムを特定：不変量が $ \alpha_i $ に依存することで、完全可積分性に必要な最大集合を超える追加の保存量が得られる。
• 正準変数とLax行列の留数との間の代数的関係を用いて、分離座標 $ (\lambda_1, \lambda_2) $ を導出し、変数分離を可能にする。
• 微分作用素を用いてLax行列とスペクトル不変量の量子版を構成し、分離構造を保存する。
• 量子ハミルトニアンと積分が、古典系と同様に $ (\lambda_1, \lambda_2) $ 座標で分離することを検証する。

実験結果

リサーチクエスチョン

• RQ1 有理的Lax行列における複数のパラメータの存在が、可積分系における超可積分性をどのように導くのか。
• RQ2 スペクトル不変量のパラメトリック依存性が、パラメトリック族における分離座標の存在とどのように関連しているのか。
• RQ3 パラメトリック不変量による古典的超可積分性のメカニズムを、一貫した変数分離を保ちながら量子領域に拡張できるか。
• RQ4 分離座標の明示的形は何か。また、Lax行列構造からどのように導出されるか。
• RQ5 量子の運動積分は古典のそれとどのように関係し、同じ座標で分離するか。

主な発見

• 系は超可積分的である。なぜなら、スペクトル不変量 $ \phi_{ia} $ が極の位置 $ \alpha_i $ に依存し、その線形結合 $ \phi_{SI} = \sum_i \alpha_i \phi_{i0} $ が完全可積分性に必要な最大集合を超える追加の保存量を生成するからである。
• 古典的ハミルトニアン $ H = \frac{1}{4} \mathrm{res}_\infty \mathrm{tr} \mathcal{N}^2(\lambda) $ は、$ s_1, s_2, p_1, p_2 $ とパラメータ $ \alpha, \beta $ を含む代数的関係によって定義される座標 $ (\lambda_1, \lambda_2) $ で分離する。
• 分離座標は $ s_1^2 = 2(\beta - \lambda_1)(\beta - \lambda_2)/(\alpha - \beta) $、$ s_2^2 = -2(\alpha - \lambda_1)(\alpha - \lambda_2)/(\alpha - \beta) $ で与えられ、共役運動量 $ \xi_1, \xi_2 $ はLax行列の留数から定義される。
• 量子ハミルトニアン $ \hat{H} = \frac{1}{4} \mathrm{res}_\infty \mathrm{tr} \hat{N}^2(\lambda) $ は、同じ $ (\lambda_1, \lambda_2) $ 座標で分離する。量子積分 $ \hat{H}_1, \hat{H}_2 $ はこれらの変数における微分作用素として表現される。
• 量子積分 $ \hat{H}_1 $ と $ \hat{H}_2 $ は明示的に $ \partial_1^2 + a s_1^2 + \mu_1^2/s_1^2 - \frac{1}{2(\alpha - \beta)}(\hat{L}_{12}^2 + \cdots) $ として構成され、古典系と同様のパラメトリック依存性を示す。
• $ \mathcal{B}(\lambda) \neq 0 $ である系、例えばロゾチャトゥス項を含む等方的調和振動子は、不変量における $ \alpha - \beta $ 依存性のおかげで超可積分的であり、一般のメカニズムが確認される。