[論文レビュー] Relative Oscillation Theory for Jacobi Matrices

Kerstin Ammann, Gerald Teschl|ArXiv.org|Oct 31, 2008

Spectral Theory in Mathematical Physics参考文献 11被引用数 23

ひとこと要約

本稿は、2つの異なる行列の解間のWronskianの重み付きノードの数を数えることで、それらの固有値数の差を計算する、Jacobi行列に対する相対的揺動理論を導入する。主な結果は、2つのJacobi作用素の解間のWronskianの重み付きノードの数が、指定された閾値未満の固有値数の差に等しいことを示している。

ABSTRACT

We develop relative oscillation theory for Jacobi matrices which, rather than counting the number of eigenvalues of one single matrix, counts the difference between the number of eigenvalues of two different matrices. This is done by replacing nodes of solutions associated with one matrix by weighted nodes of Wronskians of solutions of two different matrices.

研究の動機と目的

• 古典的揺動理論を一般化し、単一行列の解のノードを用いて固有値を数えるのではなく、2つの異なるJacobi行列間の固有値を比較する。
• 2つのJacobi行列間の固有値数の差が、個々のノード数ではなく、それらの解のWronskianの重み付きノードによって決定されることを示すフレームワークを構築する。
• スペクトル差とWronskianの揺動的挙動との間の厳密な関係を確立し、Sturm–Liouville理論から離散的Jacobi作用素へ拡張する。
• 摂動理論とPrüfer角解析を用いて、固有値差の連続的で符号付きの数え上げ手法を提供する。

提案手法

• 同一の非対角係数 $ a(n) $ を持つが、異なる対角係数 $ b_0(n) $ と $ b_1(n) $ を持つ2つのJacobi行列 $ H_0 $ と $ H_1 $ を定義する。
• 各行列に対して、$ n=0 $ と $ n=N+1 $ で特定の初期条件を満たす解 $ s_{j,\text{--}}(z,n) $ と $ s_{j,+}(z,n) $ を導入する。
• 2つの行列の解に対して、Wronskian $ W_n(u_0, u_1) = a(n)(u_0(n)u_1(n+1) - u_0(n+1)u_1(n)) $ を構成する。
• Wronskianの符号変化と $ b_0(n+1) - b_1(n+1) $ の符号に基づいて、重み付きノード $ \#_n(u_0, u_1) \in \{-1, 0, 1\} $ を定義する。
• $ n = 0 $ から $ N-1 $ までの中での重み付きノードの合計として、初期Wronskアン値で補正された総重み付きノード数 $ \#(u_0, u_1) $ を定義する。
• 摂動理論とPrüfer角のダイナミクスを用いて、Wronskianノード数の変化とスペクトルシフトとの関係を示し、連続性と単調性の議論により主定理を証明する。

実験結果

リサーチクエスチョン

• RQ1 2つのJacobi行列間の固有値数の差を、それらの解の揺動的性質を用いてどのように定量的に評価できるか。
• RQ2 2つの異なるJacobi行列の解のWronskianが、固有値差のスペクトル数え上げツールとして機能できるか。
• RQ3 Wronskianノードにどのような重み付けスキームを適用すれば、固有値差の正しい符号付き数え上げが保証されるか。
• RQ4 Jacobi行列の対角係数に対する連続的摂動において、相対的揺動ノード数はどのように振る舞うか。
• RQ5 Wronskianノード数の変化と、スペクトル摂動に伴う固有値の移動との間に、連続的かつ単調な対応関係が存在するか。

主な発見

• 解 $ s_{0,-}(\theta_0, n) $ と $ s_{1,+}(\theta_1, n) $ 間のWronskianの重み付きノード数は、$ \#\{E \in \sigma(H_1) \mid E < \theta_1\} - \#\{E \in \sigma(H_0) \mid E \leq \theta_0\} $ に等しく、正確なスペクトル差の数え上げを提供する。
• 重み付きノード数 $ \#(u_0, u_1) $ は、$ b_0(n+1) - b_1(n+1) \geq 0 $ のとき下からの連続性を示し、$ b_0(n+1) - b_1(n+1) \leq 0 $ のときは上からの連続性を示すため、摂動に対して安定である。
• Prüfer角の微分は $ \dot{\theta}_{\varepsilon,+}(\lambda,n) = \frac{\sum_{m=n+1}^{N}(b_0(m)-b_1(m))s_{\varepsilon,+}(z,m)^2}{a(n)\rho_{\varepsilon,+}^2(n)} \leq 0 $ を満たし、非負の摂動における固有値の単調性を示す。
• 解のWronskianは $ W_n(s_{\varepsilon,\pm}(z), \dot{s}_{\varepsilon,\pm}(z)) = \pm \sum_{m=1}^{n} (b_0(m)-b_1(m)) s_{\varepsilon,\mp}(z,m)^2 $ を満たし、スペクトルの変化と解の挙動を結びつける。
• 行列 $ H_\varepsilon $ の固有値は摂動パrameter $ \varepsilon $ の解析的関数であり、$ b_0 - b_1 \geq 0 $ のとき単調に減少（$ \leq 0 $ のときは増加）するため、固有値数の連続性が保証される。
• 中間の摂動を経由する連続的経路 $ H_\varepsilon $ を $ H_0 $ から $ H_1 $ へ構成することで、重み付きノード数と固有値差の数え上げが同一に進化することを証明し、主定理における等式を確立する。