[論文レビュー] On location of discrete spectrum for complex Jacobi matrices

Iryna Egorova, Leonid Golinskiĭ|ArXiv.org|Jun 21, 2004

Spectral Theory in Mathematical Physics参考文献 4被引用数 3

ひとこと要約

本稿では、離散ラプラシアンのコンパクトな摂動である複素ジャコビ行列に対して、離散スペクトルが存在しない十分条件を確立する。Jost関数を積分方程式を用いて解析し、単位円板内での零点を推定することで、明示的なスペクトル包含領域を導出し、特定の係数のずれの和が十分に速く減少する場合——具体的には $ \sum m d_m < t \approx 0.567$ または $ \sum d_m$ が $t$ に対して十分に小さい場合——に離散スペクトルが存在しないことを証明する。主な結果は、行列要素によって記述されるスペクトルギャップ条件である。

ABSTRACT

We study spectrum inclusion regions for complex Jacobi matrices which are compact perturbations of the discrete laplacian. The condition sufficient for the lack of discrete spectrum for such matrices is given.

研究の動機と目的

• 複素ジャコビ行列の離散スペクトル $\sigma_d(J)$ が完全に消える条件を特定すること。
• Jost関数とその単位円板内での零点を用いて、離散スペクトルの位置を局所化すること。
• 離散ラプラシアンのコンパクトな摂動に対して、離散スペクトルを含まない明示的なスペクトル包含領域を確立すること。
• 複素平面のある領域に固有値が存在しないことを保証する行列要素に関する十分条件を提供すること。

提案手法

• グリーンの核と漸化式を用いて、Jost解に関する離散積分方程式を導出する。
• 変数変換 $\tilde{v}_n(z) = v_n z^{-n}$ を導入し、積分方程式を簡略化し、カーネル $\tilde{J}(n,m;z)$ を分析する。
• $|z| \leq 1$ と係数のずれ $d_m = |b_m| + |1 - a_{m-1}c_{m-1}|$ の減少性を用いて、$\tilde{J}(n,m;z)$ の一様な有界性を確立する。
• 反復的マジョライゼーションと階乗型推定を用いて、$\mathbb{D}$ 内でのJost解の収束性と正則性を証明する。
• ラメルト・W関数の解 $t \approx 0.567$ を用いて、Jost関数 $v_0(z)$ の零点なし領域を導出する。
• 単位円板内でのJost関数の零点を $\lambda = z + z^{-1}$ を通じて固有値と関連付け、スペクトル領域を複素平面に写像する。

実験結果

リサーチクエスチョン

• RQ1 複素ジャコビ行列の行列要素 $a_n, b_n, c_n$ に対して、離散スペクトル $\sigma_d(J)$ が完全に消える条件は何か？
• RQ2 Jost関数とその単位円板内での零点集合を用いて、離散スペクトルの位置をどのように局所化できるか？
• RQ3 係数のずれ $d_m = |b_m| + |1 - a_{m-1}c_{m-1}|$ に対してどのような減少条件を満たせば、Jost関数が $\mathbb{D}$ の特定の領域に零点を持たないか？
• RQ4 Jost関数の推定から、離散スペクトルを含まない明示的なスペクトル包含領域を導出できるか？

主な発見

• $\sum d_m < \infty$ のもとで、Jost関数 $v_0(z)$ は $\mathbb{D}$ で正則であり、$\overline{\mathbb{D}} \setminus \{\pm 1\}$ で連続である。また、$|v_n - z^n| \leq |z|^n \left\{ \frac{2|z|}{|z^2 - 1|} \sum_{m=n+1}^\infty d_m \right\} \exp\left\{ \frac{2|z|}{|z^2 - 1|} \sum_{m=n+1}^\infty d_m \right\}$ という評価が成り立つ。
• $\sum m d_m < \infty$ のもとで、Jost関数は $\overline{\mathbb{D}}$ 上で正則かつ連続であり、$|v_n - z^n| \leq |z|^n \left\{ \sum_{m=n+1}^\infty m d_m \right\} \exp\left\{ \sum_{m=n+1}^\infty m d_m \right\}$ という評価が成り立つ。
• $t \approx 0.567$ が $t e^t = 1$ を満たすとすると、Jost関数 $v_0(z)$ は領域 $\Omega = \{ z \in \mathbb{D} : |z - z^{-1}| > 2t^{-1} \sum d_m \}$ 内に零点を持たない。
• $\sum m d_m < t \approx 0.567$ ならば、$v_0(z)$ は $\mathbb{D}$ 内に零点を持たず、したがって $\sigma_d(J) = \emptyset$ である。
• 離散スペクトル $\sigma_d(J)$ は $\{ w : \sqrt{4 - c^2} < |\operatorname{Re} w| < \sqrt{4 + c^2}, \ |\operatorname{Im} w| < c^2/4 \}$ に含まれる。ここで $c = 2t^{-1} \sum d_m < 2$ である。
• 離散スペクトル $\sigma_d(J)$ は、Jost関数の零点なし領域 $\Omega$ に対して $\{ z + z^{-1} : z \in \Omega \}$ に含まれる。