[论文解读] 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

一句话总结

本文通过建立必要且充分条件，解决了在 Szegö 类中 CMV 矩阵的逆散射问题，即在何种条件下散射函数能唯一确定矩阵。该研究利用三个经典定理——Adamyan-Arov-Kre'in (AAK)、Helson-Szegö 和强 Szegö 极限定理——刻画了散射对应为一一映射的 CMV 矩阵子类，并通过广义 Gelfand-Levitan-Marchenko 算子提供了显式重构框架。

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.

研究动机与目标

• 解决 Szegö 类中 CMV 矩阵的逆散射问题，其中由于缺少奇异测度信息，散射函数通常无法唯一确定矩阵。
• 确定散射函数能唯一确定 CMV 矩阵的必要且充分条件，特别是在缺乏奇异谱分量的情况下。
• 通过引入与 CMV 逆散射问题相关的新型等价条件，扩展经典定理（AAK、Helson-Szegö、强 Szegö）。
• 建立一种构造性框架，通过 GLM 类型变换算子与单位圆上的谱理论，从散射函数重构 CMV 矩阵。

提出的方法

• 采用适配于 CMV 矩阵的 Faddeev-Marchenko 逆散射框架，聚焦于广义 Gelfand-Levitan-Marchenko (GLM) 算子，该算子将标准基与扰动系统的内在正交基联系起来。
• 应用 Adamyan-Arov-Kre'in (AAK) 理论，刻画散射对应为单射的 CMV 矩阵类，将逼近理论与谱重构联系起来。
• 结合 Helson-Szegö 定理，定义 CMV 矩阵的子类 ${\mathbf{HS}}$，使得在谱测度的对数积分满足特定条件时，散射函数能唯一确定 Verblunsky 系数。
• 利用强 Szegö 极限定理刻画一个正则子类 ${\mathbf{Sz}}^{\text{reg}}$，其中散射函数唯一确定矩阵，条件涉及 $\sum n|a_n|^2$ 的收敛性。
• 推导出预解式极限 $\lim_{r\uparrow 1}(I - r^2{\mathcal{H}}^*{\mathcal{H}})^{-1}$ 的分解公式，从而导出一个包含谱参数 $\rho_n$ 乘积的行列式恒等式。
• 建立子空间 $\check{M}_s^+$ 中再生核与正交基 $\{{\mathfrak{f}}_n\}$ 之间的联系，通过三角分解实现变换矩阵 $\mathcal{L}$ 的构造。

实验结果

研究问题

• RQ1 在 Verblunsky 系数满足何种条件时，Szegö 类中 CMV 矩阵的散射函数足以唯一重构该矩阵？
• RQ2 如何将经典 AAK、Helson-Szegö 和强 Szegö 定理扩展，以包含与 CMV 逆散射问题相关的新型等价条件？
• RQ3 何种谱理论与算子理论条件可确保广义 Gelfand-Levitan-Marchenko 算子在 CMV 矩阵与其散射函数之间诱导一一对应？
• RQ4 能否在 CMV 矩阵的背景下，利用散射理论方法证明 Widom 关于 Hankel 算子行列式的公式？

主要发现

• 本文识别出 Szegö 类的一个子类 ${\mathbf{Sz}}^{\text{reg}}$，在此类中散射函数能唯一确定 CMV 矩阵，从而解决了逆散射问题。
• 证明了 Helson-Szegö 条件等价于 GLM 算子 ${\mathcal{M}}$ 有界的条件，从而定义了子类 ${\mathbf{HS}} \subset {\mathbf{Sz}}^{\text{reg}}$。
• 将强 Szegö 极限定理扩展至包含条件 $\sum n|a_n|^2 < \infty$，该条件确保了散射映射的单射性，并刻画了一个正则的 CMV 矩阵子类。
• 通过预解式 $\lim_{r\uparrow 1}(I - r^2{\mathcal{H}}^*{\mathcal{H}})^{-1} = {\mathcal{L}}{\mathcal{L}}^*$ 的分解，给出了 Widom 公式的全新证明，将其与谱参数 $\rho_n$ 的乘积联系起来。
• 在 Hankel 算子 ${\mathcal{H}}$ 满足 Hilbert-Schmidt 条件下，证明了行列式恒等式 $\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)$，从而实现显式重构。