[論文レビュー] The Heun equation and the Calogero-Moser-Sutherland system II: perturbation and algebraic solution

Kouichi Takemura|ArXiv.org|Dec 18, 2001

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

ひとこと要約

この論文は、楕円的ポテンシャルの三角関数的極限にKato-Rellich理論を適用することで、$BC_1$ Inozemtsevモデルにおける摂動的固有値および固有関数の全純性と収束性を確立する。形式的べき級数がモジュラー媒介変数 $p$ に関して一様収束することを示し、物理的固有状態が $L^2$ 空間において解析的であることを保証するとともに、$L^2$ 関数と楕円関数の有限次元部分空間との関係を明確にする。

ABSTRACT

We apply a method of perturbation for the $BC_1$ Inozemtsev model from the trigonometric model and show the holomorphy of perturbation.Consequently, the convergence of eigenvalues and eigenfuncions which are expressed as formal power series is proved. We investigate also the relationship between $L^2$ space and some finite dimensional space of elliptic functions.

研究の動機と目的

• $B_1$ 対称性を持つ量子可積分系である$BC_1$ Inozemtsevモデルにおける固有値および固有関数の収束性と全純性を確立すること。
• ヒルベルト空間 $L^2$ とハミルトニアン作用下で不変な二重周期的関数の有限次元部分空間との関係を調査すること。
• 摂動論を三角関数的（Calogero-Moser-Sutherland）極限から楕円的（Inozemtsev）モデルへ拡張し、モジュラー媒介変数 $p$ に関する形式的べき級数の収束を証明すること。
• 有限次元部分空間上の固有値が、$L^2$ スペクトルにおける最も低い固有値と一致する条件を明確化すること。
• 楕円関数展開および代数的解を介して、$BC_1$ Inozemtsevモデルのスペクトル的性質とヘン方程式との関係を明らかにすること。

提案手法

• 楕円的ポテンシャルを三角関数的ポテンシャルの変形とみなして、$BC_1$ Inozemtsevハミルトニアンに摂動論を適用し、モジュラー媒介変数 $p = \text{exp}( au\theta)$ を摂動パラメータとする。
• $p \to 0$ の三角関数的極限により、ヤコビ多項式で表される既知の固有状態を得、これを非摂動基底とする。
• Kato-Rellich理論を用いて、固有値および固有関数が $p$ に関して $L^2$ 空間の要素として全純であることを証明し、形式的べき級数の収束を保証する。
• Weierstrass $\wp$-関数の性質およびその $p$-展開を用いて係数を評価し、$x$ に関するコンパクト集合上で固有関数 $\tilde{v}_m(x,p)$ の一様収束性および全純性を確立する。
• 結合定数 $l_i \in \mathbb{Z}_{\geq 0}$ のとき、ハミルトニアンが二重周期的関数の有限次元不変部分空間を保存することを、準正確可解性を用いて分析する。
• これらの有限次元空間におけるハミルトニアンのスペクトルと $L^2$ スペクトルを比較し、ある仮定の下で最も低い固有値が一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 $BC_1$ Inozemtsevモデルにおけるモジュラー媒介変数 $p$ に関する固有値および固有関数の形式的べき級数展開は収束するか？
• RQ2 $BC_1$ Inozemtsevモデルの固有関数は、$L^2$ 空間の要素として $p$ に関して全純か？
• RQ3 $L^2$ スペクトルとハミルトニアン作用下で不変な楕円関数の有限次元部分空間との関係は何か？
• RQ4 有限次元部分空間上の固有値が、$L^2$ スペクトルにおける最も低い固有値と一致する条件は何か？
• RQ5 ヘン方程式は$BC_1$ Inozemtsevモデルからどのように導かれるか？また、有限次元の場合に現れる代数的解は何か？

主な発見

• $BC_1$ Inozemtsevモデルの固有値および固有関数の形式的べき級数は、$|p|$ が正の半径未満で絶対的かつ一様収束し、$p$ に関する全純性を証明する。
• 固有関数 $\tilde{v}_m(x,p)$ は $p$ に関して全純であり、複素平面のコンパクト部分集合上で $x$ に関して一様収束するため、物理的状態の解析性が保証される。
• Kato-Rellich理論および係数推定を用いて、摂動級数の収束半径が正の定数で下から抑えられることを示した。
• 結合定数 $l_0, l_1, l_2, l_3 \in \mathbb{Z}_{\geq 0}$ のとき、ハミルトニアンは二重周期的関数の有限次元空間を保存し、特徴方程式を用いて固有値を代数的に計算可能である。
• ある仮定の下で、有限次元不変部分空間上の固有値の集合は、$L^2$ スペクトルにおける最も低い固有値と一致する。
• $BC_1$ Inozemtsevモデルはヘン方程式と同スペクトル的であり、摂動的固有関数はヘン関数に対応する。$p$-展開を用いたWeierstrass $\wp$-関数の展開により収束が確立された。