[論文レビュー] Faddeev-Marchenko scattering for CMV matrices and the Strong Szego Theorem

Leonid Golinskiĭ, Alexander Kheifets+2 more|ArXiv.org|Jul 25, 2008

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

ひとこと要約

この論文は、アダムヤン＝アロフ＝クレイン（AAK）、ヘルソン＝ツェゴ、および強ツェゴ極限定理を用いて、CMV行列の逆散乱問題を、ツェゴクラスにおいて、散乱関数が行列を一意に特定するための必要十分条件を確立することで解決する。一般に特異測度情報が欠落するため、散乱関数が行列を一意に決定しないが、本研究では、そのような状況下でも一意性を保証する条件を同定し、一般化されたゲルファンド＝レヴィタン＝マルチェンコ作用素を用いた明示的な再構成フレームワークを提供する。

ABSTRACT

B. Simon proved the existence of the wave operators for the CMV matrices with Szego class Verblunsky coefficients, and therefore the existence of the scattering function. Generally, there is no hope to restore a CMV matrix when we start from the scattering function, in particular, because it does not contain any information about the (possible) singular measure. Our main point of interest is the solution of the inverse scattering problem (the heart of the Faddeev--Marchenko theory), that is, to give necessary and sufficient conditions on a certain class of CMV matrices such that the restriction of this correspondence (from a matrix to the scattering function) is one to one. In this paper we show that the main questions on inverse scattering can be solved with the help of three important classical results: Adamyan-Arov-Krein (AAK) Theory, Helson-Szego Theorem and Strong Szego Limit Theorem. Each of these theorem states the equivalence of certain conditions. Actually, to each theorem we add one more equivalent condition related to the CMV inverse scattering problem.

研究の動機と目的

• ツェゴクラスにおけるCMV行列の逆散乱問題を解明すること。一般に散乱関数が特異スペクトル成分の情報を欠いているため、行列を一意に特定できないが、その問題を解決する。
• 散乱関数がCMV行列を一意に特定するための必要十分条件を同定すること。特に、特異スペクトル成分が存在しない状況での一意性を強調する。
• 古典的定理（AAK、ヘルソン＝ツェゴ、強ツェゴ極限定理）を拡張し、CMV逆散乱問題に関連する新たな同値条件を追加すること。
• GLM型変換作用素と単位円上のスペクトル理論を用いて、散乱関数からCMV行列を再構成する構成的フレームワークを確立すること。

提案手法

• CMV行列に適応されたファドデエフ＝マルチェンコの逆散乱フレームワークを用い、標準基底と摂動系の内在的正規直交基底を結ぶ一般化されたゲルファンド＝レヴィタン＝マルチェンコ（GLM）作用素に注目する。
• アダムヤン＝アロフ＝クレイン（AAK）理論を適用し、散乱対応が単射となるCMV行列のクラスを特徴づけ、近似理論とスペクトル再構成を結びつける。
• ヘリソン＝ツェゴ定理を用いて、スペクトル測度の対数積分に関する条件の下で、散乱関数がバーブルンスキー係数を一意に特定するCMV行列の部分クラス ${\mathbf{HS}}$ を定義する。
• 強ツェゴ極限定理を用いて、$\sum n|a_n|^2$ の収束を要件とする、正則な部分クラス ${\mathbf{Sz}}^{\text{reg}}$ を特徴づけ、散乱関数が行列を一意に特定することを保証する。
• リゾルベントの極限 $\lim_{r\uparrow 1}(I - r^2{\mathcal{H}}^*{\mathcal{H}})^{-1}$ の因数分解公式を導出し、スペクトルパラメータ $\rho_n$ の積を含む行列式恒等式を導出する。
• 部分空間 $\check{M}_s^+$ における再生核と正規直交基底 $\{{\mathfrak{f}}_n\}$ の間の関係を確立し、三角分解を用いて変換行列 $\mathcal{L}$ の構成を可能にする。

実験結果

リサーチクエスチョン

• RQ1 CMV行列のバーブルンスキー係数にどのような条件下で、ツェゴクラスに属する散乱関数が行列を一意に再構成可能か？
• RQ2 古典的AAK、ヘルソン＝ツェゴ、強ツェゴ極限定理は、CMV逆散乱問題に関連する新たな同値条件をどのように拡張できるか？
• RQ3 どのようなスペクトル的および作用素論的条件が、一般化されたゲルファンド＝レヴィタン＝マルチェンコ作用素がCMV行列とその散乱関数の間の一対一対応を誘導するか？
• RQ4 ワイドムのハンケル作用素の行列式に関する公式は、CMV行列の文脈で散乱理論的手法を用いて証明可能か？

主な発見

• 本研究では、ツェゴクラスの部分クラス ${\mathbf{Sz}}^{\text{reg}}$ を同定し、その中では散乱関数がCMV行列を一意に特定できることを示し、逆散乱問題の解決を達成した。
• ヘルソン＝ツェゴ条件が、GLM作用素 ${\mathcal{M}}$ が有界であることと同値であることが示され、クラス ${\mathbf{HS}} \subset {\mathbf{Sz}}^{\text{reg}}$ が定義された。
• 強ツェゴ極限定理は、$\sum n|a_n|^2 < \infty$ の条件を含む形に拡張され、散乱写像の単射性を保証する条件として、正則なCMV行列の部分クラスを特徴づける。
• リゾルベントの極限 $\lim_{r\uparrow 1}(I - r^2{\mathcal{H}}^*{\mathcal{H}})^{-1} = {\mathcal{L}}{\mathcal{L}}^*$ の因数分解を用いて、ワイドムの公式の新たな証明が確立された。この証明は、スペクトルパラメータ $\rho_n$ の積と結びついている。
• ヒルベルト＝シュミット条件の下で、行列式恒等式 $\det(I - {\mathcal{H}}^*{\mathcal{H}}) = \prod_{n=0}^\infty \rho_n^{2(n+1)}$ が証明され、以前のトレースクラスの結果を一般化した。
• 部分空間 $\check{M}_s^+$ における正規直交基底 $\{{\mathfrak{f}}_n\}$ は再生核 $\check{\mathcal{K}}_0^{st^n}$ を用いて構成され、その行列表現 $\mathcal{L}$ は $\mathcal{L}^n_n = 1/(\rho_n \rho_{n+1} \cdots)$ を満たす。この性質により、明示的な再構成が可能となった。