[論文レビュー] Jost Functions and Jost Solutions for Jacobi Matrices, II. Decay and Analyticity

David Damanik, Barry Simon|arXiv (Cornell University)|Feb 23, 2005

Spectral Theory in Mathematical Physics参考文献 21被引用数 5

ひとこと要約

本稿は、ジョスト関数の正則性と減衰性の性質を用いて、ヤコビ行列のパラメータが指数的減衰を示すための必要十分条件を確立する。ジョスト関数が半径 $ R > 1 $ の円板内で正則であることと、ヤコビパラメータが $ R^{-1} $ のレートで指数的に減衰することがちょうど一致することを証明しており、ユニットサークル上の直交多項式に関する古典的結果をヤコビ行列設定に拡張する。

ABSTRACT

We present necessary and sufficient conditions on the Jost function for the corresponding Jacobi parameters $a_n -1$ and $b_n$ to have a given degree of exponential decay.

研究の動機と目的

• ヤコビ行列パラメータ $ a_n - 1 $ と $ b_n $ の指数的減衰レートをスペクトルデータの観点から特徴づけること。
• ユニットサークル上の直交多項式に対するネヴァイ＝トティクの定理を、実直線上の直交多項式（OPRL）の状況に拡張すること。
• 再帰係数の減衰とジョスト関数の正則性特性との間のスペクトル理論的同等性を確立すること。
• ジョスト関数の零点集合と単位円板内での正則性領域を用いた指数的減衰の完全な特徴づけを提供すること。
• 有限特異スペクトルを持つヤコビ行列に対する逆問題を、ジョスト関数の振る舞いと $ a_n $、$ b_n $ の減衰との関連づけによって解くこと。

提案手法

• Weyl-Titchmarsh の $ m $-関数とスペクトル測度 $ d\tilde{\gamma} $ を用いてジョスト関数 $ u(z) $ を定義し、関係式 $ |u(e^{i\theta})|^2 \operatorname{Im}M(e^{i\theta}) = \sin\theta $ を用いる。
• スペクトルデータを実直線から単位円板に写像するために、変換 $ M(z) = -m(z + z^{-1}) $ を用いる。
• ヤコビ再帰のウェイの解として、$ z^n $ のように無限遠で振る舞うように正規化されたジョスト解 $ u_n(z;J) $ を構成する。
• リゾルベントとジョスト関数を結ぶウェイの公式 $ R_{11}(z) = u_1(z;J)/u_0(z;J) $ を確立する。
• ジョスト関数 $ u(z) $ が $ \mathbb{D} $ で正則であり、$ J $ の固有値に対応する点でちょうど単一零点を持つことを証明する。
• 境界挙動と $ \partial\mathbb{D} \setminus \{\pm1\} $ における非ゼロ条件を導くために、関数方程式 $ u_1(z)u_0(z^{-1}) - u_1(z^{-1})u_0(z) = z - z^{-1} $ を用いる。

実験結果

リサーチクエスチョン

• RQ1 ジョスト関数にどのような条件が課されると、ヤコビパラメータ $ a_n - 1 $ と $ b_n $ が指数的に減衰するか？
• RQ2 ジョスト関数の正則性領域は、ヤコビパラメータの減衰レートとどのように関係するか？
• RQ3 有限特異スペクトルを持つヤコビ行列に対する逆問題は、ジョスト関数の正則性と零点構造を用いて解けるか？
• RQ4 スペクトル測度の正則性とジョスト関数の減衰・正則性との間の正確な対応関係は何か？
• RQ5 ジョスト関数がヤコビパラメータを指数的減衰まで一意に決定するための条件は何か？

主な発見

• ジョスト関数 $ u(z) $ が $ \{ z \mid |z| < R \} $ で正則であることは、$ \limsup_{n \to \infty} |a_n - 1|^{1/n} \leq R^{-1} $ かつ $ \limsup_{n \to \infty} |b_n|^{1/n} \leq R^{-1} $ であることとちょうど同値である。
• ヤコビパラメータが $ R^{-1} $ のレートで指数的に減衰することは、ジョスト関数が $ |z| < R $ の円板内で正則であることと同値である。
• ジョスト関数が $ z_j \in \mathbb{D} $ で単一零点を持つことは、$ z_j + z_j^{-1} $ がヤコビ行列 $ J $ の固有値であることとちょうど同値である。
• スペクトル測度 $ d\gamma $ は、ジョスト関数と制約 $ \sum_j w_j + 2\int_0^\pi \frac{\sin^2\theta}{|u(e^{i\theta})|^2} d\theta = 1 $ を用いて、有限個の点質量を除いて一意に定まる。
• ジョスト関数は、$ \partial\mathbb{D} $ で関数方程式 $ u_1(z)u_0(z^{-1}) - u_1(z^{-1})u_0(z) = z - z^{-1} $ を満たし、ウェロンスキーの非退化性を保証する。
• もし $ u(z_0; J) = 0 $ が $ R^{-1} < |z_0| < 1 $ で成り立つならば、$ u(z_0^{-1}; J) \neq 0 $ である。これにより、固有値がスペクトルデータに二重に数え上げられるのを防ぐ。