[論文レビュー] On the spectrum of Jacobi operators with quasi-periodic algebro-geometric coefficients

Vladimir Batchenko, Fritz Gesztesy|ArXiv.org|Jun 8, 2005

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

ひとこと要約

本稿では、1次元のジャコビ作用素の準周期的で複素数値の代数的幾何的係数を持つスペクトルを、それが条件付き安定性集合と一致することを示すことによって特徴づける。この条件付き安定性集合は、グリーン関数の比の対数の平均値を用いて明示的に記述される。スペクトルは複素平面上の有限個の解析的弧から成り、重なりや合流を許容する。これは、トーダ階層の文脈における非自己共役ジャコビ作用素のスペクトル理論における長年の未解決問題を解決する。

ABSTRACT

We characterize the spectrum of one-dimensional Jacobi operators H=aS^{+}+a^{-}S^{-}+b in l^{2}(\Z) with quasi-periodic complex-valued algebro-geometric coefficients (which satisfy one (and hence infinitely many) equation(s) of the stationary Toda hierarchy) associated with nonsingular hyperelliptic curves. The spectrum of H coincides with the conditional stability set of H and can explicitly be described in terms of the mean value of the Green's function of H. As a result, the spectrum of H consists of finitely many simple analytic arcs in the complex plane. Crossings as well as confluences of spectral arcs are possible and discussed as well.

研究の動機と目的

• トーダ階層の文脈において、非自己共役ジャコビ作用素の準周期的で複素数値の係数を持つスペクトルを特徴づけるという、長年の未解決問題を解決すること。
• スペクトルが、対角成分グリーン関数の比の対数の平均値の実部がゼロである条件によって定義される条件付き安定性集合と一致することを確立すること。
• スペクトルが純粋に連続的であり、点スペクトルや残渣スペクトルを含まないこと、かつ有界で複素平面上に含まれることを示すこと。
• スペクトルを、多項式 $ G_{p+1}(z,n) $ とスペクトル曲線の判別式 $ R_{2p+2}(z)^{1/2} $ の比の対数の平均値を用いて明示的に記述すること。

提案手法

• 著者らはグリーン関数 $ G(z,n,n') = (H - z)^{-1}(n,n') $ 及びその対角成分 $ g(z,n) $ を定義し、これは $ z $ に関する $ p $ 次多項式を $ R_{2p+2}(z)^{1/2} $ で割った形に表される。
• 彼らは $ y^2 = R_{2p+2}(z) $ を満たす $ y $ を用いて、$ \Sigma $ を $ \operatorname{Re}\left( \left\langle \ln\left( \frac{G_{p+1}(\lambda,\cdot) - y}{G_{p+1}(\lambda,\cdot) + y} \right) \right\rangle \right) = 0 $ で定義し、この集合がスペクトルに一致することを示す。
• この手法は、定常トーダ階層に由来する、 genus $ p $ の非特異なハイパーエリプティック曲線に関連する $ a(n) $ および $ b(n) $ のテータ関数表現に依存している。
• スペクトルは、ほとんど周期的系列の平均値 $ \langle \cdot \rangle $ を用いて分析され、主な洞察は、スペクトルが、$ H\psi = \lambda\psi $ に対して有界な解 $ \psi $ が存在するような $ \lambda \in \mathbb{C} $ の集合に一致することである。
• 証明では、対角グリーン関数 $ g(z,n) $ の平均値 $ \langle g(z,\cdot) \rangle $ が、$ z $ に関する $ p $ 次多項式を $ R_{2p+2}(z)^{1/2} $ で割った形に表され、これがスペクトルの弧を特徴づけるのを助ける。
• 著者らは、ハイパーエリプティック曲線 $ y^2 = R_{2p+2}(z) $ 上のリーマン・シータ関数および第3種の正規化微分形式を用い、周期行列およびホロロジー基底を用いて、係数およびスペクトル集合の準周期性を保証する。

実験結果

リサーチクエスチョン

• RQ1 定常トーダ階層を満たす準周期的で複素数値の代数的幾何的係数をもつジャコビ作用素のスペクトルの構造は何か？
• RQ2 スペクトルは、グリーン関数の比の対数の平均値によって定義される条件付き安定性集合とどのように関係するか？
• RQ3 スペクトルは、スペクトル曲線 $ R_{2p+2}(z) $ および多項式 $ G_{p+1}(z,n) $ を用いて明示的に記述可能か？その幾何的形状は複素平面上でどのように現れるか？
• RQ4 この非自己共役な設定において、スペクトルは純粋に連続的であり続け、固有値や残渣スペクトルは存在しないか？
• RQ5 スペクトルが有限個の解析的弧から成り、その重なりや合流がどのように生じるかを保証する条件は何か？

主な発見

• 係数が準周期的で複素数値の代数的幾何的係数であるジャコビ作用素 $ H = aS^+ + a^-S^- + b $ のスペクトル $ \sigma(H) $ は、点スペクトルや残渣スペクトルを含まず、純粋に連続的である：$ \sigma_p(H) = \sigma_r(H) = \emptyset $。
• スペクトルは、$ y^2 = R_{2p+2}(z) $ を満たす $ y $ を用いて定義される集合 $ \Sigma $ と一致する：$ \operatorname{Re}\left( \left\langle \ln\left( \frac{G_{p+1}(\lambda,\cdot) - y}{G_{p+1}(\lambda,\cdot) + y} \right) \right\rangle \right) = 0 $。
• スペクトルは有界であり、複素平面上に有限個の解析的弧から成り、重なりや合流を許容する。
• スペクトルは条件付き安定性集合に等しい：$ \sigma(H) = \{ \lambda \in \mathbb{C} \mid \exists \, 0 \neq \psi \in \ell^\infty(\mathbb{Z}) \text{ が } H\psi = \lambda\psi \text{ を満たす} \} $。
• 対角グリーン関数の平均値 $ \langle g(z,\cdot) \rangle $ は、$ \frac{\prod_{j=1}^p (z - \widetilde{\lambda}_j)}{R_{2p+2}(z)^{1/2}} $ で与えられる。ここで $ \{\widetilde{\lambda}_j\}_{j=1}^p \subset \mathbb{C} $ は定数である。
• スペクトル曲線 $ R_{2p+2}(z) = \prod_{m=0}^{2p+1} (z - E_m) $ は、相異なる根 $ \{E_m\}_{m=0}^{2p+1} \subset \mathbb{C} $ を持ち、スペクトルは複素平面上の有界領域に含まれる。