[論文レビュー] Finite Gap Jacobi Matrices: A Review

Jacob S. Christiansen, Barry Simon+1 more|arXiv (Cornell University)|Jan 22, 2013

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

ひとこと要約

本稿は、有限ギャップヤコビ行列のスペクトル論における最近の進展をレビューし、等スペクトルトーラス、直交多項式の漸近挙動、およびLieb–Thirring評価に焦点を当てる。Fuchsian群の手法とリーマン面上の調和解析を用いて、有限ギャップヤコビ行列の摂動が等スペクトルトーラスに収束するための条件を確立する。

ABSTRACT

A review of Finite Gap Jacobi Matrices.

研究の動機と目的

• 有限ギャップヤコビ行列のスペクトル論における最近の進展を統合すること。
• 有限ギャップスペクトルを持つヤコビ行列が、スペクトル的および再帰的性質の意味で等スペクトルトーラスに収束するための条件を明確化すること。
• Fuchsian群の技法を用いて、一般の有限ギャップ集合に対してLieb–Thirring評価およびSzegő漸近挙動の結果を拡張すること。
• 平衡測度、グリーン関数、調和共役の役割を、スペクトル型および直交多項式の成長の特徴づけに探ること。
• 有限ギャップヤコビ行列の摂動に関する収束、正則性、逆定理の分野における未解決問題を特定すること。

提案手法

• 与えられた有限ギャップスペクトル $\mathfrak{e}$ を持つ両側ヤコビ行列の等スペクトルトーラスの構成を用いる。これは、周期的またはほぼ周期的列の $\ell$-次元トーラスによってパラメトライズされる。
• Fuchsian群論を用いて、有限ギャップ集合 $\mathfrak{e}$ を除く複素平面を単位円板に上に持ち上げ、$\exp(-\widetilde{\Phi}_{\rho_{\mathfrak{e}}}(z))$ のような関数の単価正則拡張を可能にする。
• グリーン関数 $G_{\mathfrak{e}}(z)$ と平衡測度 $\rho_{\mathfrak{e}}$ を用いて、$\sum G_{\mathfrak{e}}(x_n) < \infty$ および $\int \log f(x)\,d\rho_{\mathfrak{e}}(x) > -\infty$ を含む収束基準を導出する。
• Szegő条件と劣微分理論を用いてスペクトル型を分析し、特に特異連続スペクトルの不在を、固有関数の有界性のもとで調べる。
• Jitomirskaya–LastおよびGilbert–Pearsonの劣微分理論を用いて、絶対連続スペクトルを特徴付ける。
• ヤコビ行列と等スペクトルトーラスとの距離 $d_m(J, \mathcal{T}_{\mathfrak{e}})$ を用いて収束を定量化し、$d_m$ の $\ell^2$-summability 条件がスペクトル的およびスペクトル測度的性質と関連することを示す。

実験結果

リサーチクエスチョン

• RQ1 有限ギャップ本質的スペクトルをもつヤコビ行列が、距離 $d_m$ の $\ell^2$-意味で等スペクトルトーラスに収束する条件は何か？
• RQ2 一般の有限ギャップ集合に対して、Lieb–Thirring型収束結果（定理4.6）の逆が成り立つかどうか？
• RQ3 $\ell^2$-summability の $d_m(J, \mathcal{T}_{\mathfrak{e}})$ が、非周期的有限ギャップ集合に対して定理4.7の3条件と同値であるか？
• RQ4 周期的でない場合を除き、一般の有限ギャップ集合に対して $\lim_{m\to\infty} d_m(J, \mathcal{T}_{\mathfrak{e}}) = 0$ が成り立つか？
• RQ5 正則性条件 $\lim_{n\to\infty} (a_1\cdots a_n)^{1/n} = C(\mathfrak{e})$ をより一般に緩めたり、よりよく特徴づけられるか？

主な発見

• 有限ギャップ集合 $\mathfrak{e}$ に対して、等スペクトルトーラス $\mathcal{T}_{\mathfrak{e}}$ は、$\sigma(J) = \mathfrak{e}$ を満たす両側ヤコビ行列の $\ell$-次元コンact多様体であり、$J$ はほぼ周期的かつ正則である。
• 定理4.7は、$\sum_{m=1}^\infty d_m(J, \mathcal{T}_{\mathfrak{e}})^2 < \infty$ が成り立つための必要十分条件を示しており、それは次の3条件と同値である：(a) $\sigma_{\text{ess}}(J) = \mathfrak{e}$、(b) $\sum_{n=1}^N \text{dist}(x_n, \mathfrak{e})^{3/2} < \infty$、(c) $\int_{\mathfrak{e}} \text{dist}(x, \mathbb{R}\setminus\mathfrak{e})^{1/2} \log f(x)\,dx > -\infty$。
• 定理4.8は、$\sigma_{\text{ess}}(J) = \mathfrak{e}$ かつ $f > 0$ が $\mathfrak{e}$ 上 almost everywhere で成り立つならば、$\lim_{m\to\infty} d_m(J, \mathcal{T}_{\mathfrak{e}}) = 0$ が成り立つことを示し、周期的 $J$ の場合の結果を一般化する。
• 定理4.9は、$\sigma_{\text{ess}}(J) = \mathfrak{e}$ を満たす正則ヤコビ行列に対して、$\lim_{M\to\infty} \frac{1}{M}\sum_{m=1}^M d_m(J, \mathcal{T}_{\mathfrak{e}})^2 = 0$ が成り立つことを証明し、Simonの予想を裏付ける。
• Fuchsian群を用いて $\mathbb{C}\cup\{\infty\}\setminus\mathfrak{e}$ を均質化することで、単価正則関数の構成が可能となり、収束および漸近的結果の証明に不可欠となる。
• 有限ギャップ集合に対して、$\sum G_{\mathfrak{e}}(x_n) < \infty$ および $\int \log f(x)\,d\rho_{\mathfrak{e}}(x) > -\infty$ という条件が、一般の有限ギャップケースにおける対応する収束基準と同値であることが確立された。