[論文レビュー] On generalized sum rules for Jacobi matrices

Fëdor Nazarov, Franz Peherstorfer+2 more|ArXiv.org|Nov 26, 2003

Mathematical functions and polynomials参考文献 7被引用数 4

ひとこと要約

本稿は関数解析および古典的Szeg€¶の定理を用いて、ジャコビ行列に対する一般化された和則を確立し、スペクトルデータと再帰係数の間を結ぶ明示的な和則恒等式を導出する。主な貢献は、一般の条件下における正規直交多項式の新たな漸近公式の確立であり、Killip-Simonの和則枠組みを有限ランク摂動に拡張し、スペクトル安定性のヒルベルト＝シュミット条件を確立する。

ABSTRACT

This work is in a stream initiated by a paper of Killip and Simon [Ann. of Math. (2003)]. Using methods of Functional Analysis and the classical Szegö Theorem we prove sum rule identities in a very general form. Then, we apply the result to obtain new asymptotics for orthonormal polynomials.

研究の動機と目的

• 関数解析的手法およびSzeg€¶の定理を用いて、Killip-Simonの和則枠組みをジャコビ行列へ一般化すること。
• スペクトルデータ（固有値および絶対連続スペクトル）を再帰係数で表す明示的な和則恒等式を導出すること。
• 一般のスペクトル条件下で正規直交多項式の新たな漸近公式を確立すること。
• 再帰係数の条件を用いて、スペクトル摂動のヒルベルト＝シュミット正則性を特徴付けること。
• 自由ジャコビ行列 $ J_0 $ の近傍におけるスペクトル汎関数 $ H_A(J) $ の二次形式構造を調査し、Simonの予想の類似形を提示すること。

提案手法

• 解像関数 $ r(z) = \langle (J - z)^{-1}e_0, e_0 \rangle $ 及びそのスペクトル表現を用いて、$ J $ をそのスペクトル測度 $ \sigma $ に関連付ける。
• 自由ジャコビ行列 $ J_0 $ の有限次元摂動 $ J(n) $ を定義し、行列式の明示的表現 $ \Delta_n(z) = (p_n P_n(z) - \zeta P_{n-1}(z)) \zeta^n $ を得る。ここで $ \zeta = \frac{z - \sqrt{z^2 - 4}}{2} $ である。
• スペクトル密度を $ \sigma_{\text{ac}}^{(n)\prime}(x) = \frac{1}{\pi} \frac{\sqrt{4 - x^2}}{|p_n P_n(x) - \zeta(x+i0) P_{n-1}(x)|^2} $ として導出し、摂動行列式と関連付ける。
• 摂動行列式 $ \Delta_n(z) $ を用いて、Killip-Simon汎関数 $ \Lambda_A(J(n)) $ を、$ \log \Delta_n(z) $ の境界値を用いたスペクトルデータ上の積分として表現する。
• 表現 $ A(z)\sqrt{z^2 - 4} \log \Delta_n(z) = B_n(z) + \int \frac{d\lambda_n}{x - z} $ を用いて、$ \Lambda_A(J(n)) $ を固有値および絶対連続スペクトルの寄与に分解する。
• トレース恒等式および行列摂動論を適用し、再帰係数が $ \{p_k - 1\}, \{q_k\} \in l^2 $ を満たすとき、$ T(J) - T(J_0) $ がヒルベルト＝シュミットであることを示し、二次形式 $ H_A(J) = \frac{1}{2} \langle dj | A(J_0) | dj \rangle + \cdots $ を得る。

実験結果

リサーチクエスチョン

• RQ1 関数解析およびSzeg€¶の定理を用いて、ジャコビ行列に対する一般化された和則をどのように導出できるか？
• RQ2 有限ランク摂動 $ J(n) $ のスペクトルデータと再帰係数 $ p_k, q_k $ の間の正確な関係は何か？
• RQ3 $ p_k, q_k $ がどのような条件下で摂動行列式 $ \Delta_n(z) $ が well-defined なスペクトル汎関数 $ \Lambda_A(J) $ を与えるか？
• RQ4 $ H_A(J) $ の二次形式は $ J_0 $ の近傍でどのように展開され、スペクトル安定性にどのような含意を持つか？
• RQ5 $ p_k, q_k $ がどのような条件下で $ T(J) - T(J_0) $ がヒルベルト＝シュミットであるか？また、これはSimonの予想とどのように関係するか？

主な発見

• 本稿では、Killip-Simon汎関数 $ \Lambda_A(J) $ が、$[-2,2]$ 外の固有値および絶対連続スペクトルの寄与を含むスペクトルデータ上の積分として表される一般化された和則恒等式を導出する。
• 有限ランク摂動 $ J(n) $ に対して、スペクトル密度は $ \sigma_{\text{ac}}^{(n)\prime}(x) = \frac{1}{\pi} \frac{\sqrt{4 - x^2}}{|p_n P_n(x) - \zeta(x+i0) P_{n-1}(x)|^2} $ を満たし、再帰係数と直接関連する。
• 摂動行列式 $ \Delta_n(z) $ が $ \Delta_n(z) = (p_n P_n(z) - \zeta P_{n-1}(z)) \zeta^n $ を満たすことが示され、正規直交多項式を用いた明示的な解析的表現が得られる。
• 汎関数 $ \Lambda_A(J(n)) $ は $ \int d\lambda_n $ として表現され、ここで $ \lambda_n' $ は $ A(x) $、スペクトル測度、および $[x, \infty)$ や $(-\infty, x]$ 内の固有値数の関数として明示的に与えられる。
• 本稿では、$ T(J) - T(J_0) $ がヒルベルト＝シュミットであるための必要十分条件として、$ \{p_k - 1\}, \{q_k\} \in l^2 $ が成り立つことを証明し、スペクトル正則性の鋭い条件を確立する。
• 自由ジャコビ行列 $ J_0 $ の近傍における $ H_A(J) $ の二次形式は、$ \frac{1}{2} \langle dj | A(J_0) | dj \rangle + \cdots $ として示され、ここで $ dj = \{2dp_k, dq_k\} $ である。これにより、Simonの予想の類似形への予想的拡張の基礎が築かれる。