[论文解读] Sampling measures, Muckenhoupt Hamiltonians, and triangular factorization

Roman Bessonov|arXiv (Cornell University)|Mar 24, 2016

Spectral Theory in Mathematical Physics参考文献 24被引用 6

一句话总结

本文证明，Paley-Wiener 空间 PWa 的每个偶采样测度 µ 都可作为 [0,a] 上唯一规范哈密顿量 H = diag(w, 1/w) 的谱测度，其中 w 属于 Muckenhoupt A2[0,a] 类。关键贡献在于通过截断 Toeplitz 算子的逆，构建了 µ 与 w 之间的显式公式，并证明了 [0,a] 上任意正定、有界、可逆的 Wiener-Hopf 算子（其符号为实函数）均存在三角分解，从而解决了算子理论与规范系统反谱理论中长期存在的问题。

ABSTRACT

Let $\mu$ be an even measure on the real line $\mathbb{R}$ such that $$c_1 \int_{\mathbb{R}}|f|^2\,dx \le \int_{\mathbb{R}}|f|^2\,d\mu \le c_2\int_{\mathbb{R}}|f|^2\,dx$$ for all functions $f$ in the Paley-Wiener space $\mathrm{PW}_{a}$. We prove that $\mu$ is the spectral measure for the unique Hamiltonian $\mathcal{H}=\left(w&00&\frac{1}{w} ight)$ on $[0,a]$ generated by a weight $w$ from the Muckenhoupt class $A_2[0,a]$. As a consequence of this result, we construct Krein's orthogonal entire functions with respect to $\mu$ and prove that every positive, bounded, invertible Wiener-Hopf operator on $[0,a]$ with real symbol admits triangular factorization.

研究动机与目标

• 在 PWa 的偶采样测度 µ 与满足 w ∈ A2[0,a] 的规范哈密顿量 H = diag(w, 1/w) 之间建立一一对应关系。
• 利用截断 Toeplitz 算子，构建从谱测度 µ 显式重构权函数 w 的公式。
• 证明 [0,a] 上任意正定、有界、可逆的 Wiener-Hopf 算子（其符号为实函数）均存在三角分解。
• 将函数 r ↦ ||T⁻¹ₘ,ᵣ sincᵣ||²_{L²(µ)} 的绝对连续性与三角分解的存在性联系起来。
• 通过识别先前证明中的错误，解决文献中关于某些 Wiener-Hopf 算子分解问题的矛盾。

提出的方法

• 利用 Weyl-Titchmarsh 变换，将规范哈密顿系统谱测度 µ 与涉及截断 Toeplitz 算子 Tₘ,ᵣ 的特定函数在 L²(µ) 中的范数联系起来。
• 应用 A2 权理论并结合单纯形上的积分，以采样常数 c₁ 和 c₂ 表示 w 的 A2-范数。
• 基于 Paley-Wiener 空间上正定截断 Toeplitz 算子的结构，采用逼近论证方法。
• 证明函数 r ↦ ||T⁻¹ₘ,ᵣ sincᵣ||²_{L²(µ)} 几乎处处具有绝对连续性，且其导数严格为正。
• 利用 Paley-Wiener 空间与谱空间 (PW[0,r], µ) 之间的酉等价性，构造所需的分解。
• 通过证明 lim_{y→0⁺} Π(iy) = 1/√(1−μ) 而非 √(1−μ)，纠正 Sakhnovich 之前证明中的错误，从而反驳其结论。

实验结果

研究问题

• RQ1 PWa 的每个偶采样测度 µ 是否都可实现为某规范哈密顿量 H = diag(w, 1/w) 的谱测度，其中 w ∈ A2[0,a]？
• RQ2 如何利用算子理论工具，从谱测度 µ 显式重构权函数 w？
• RQ3 是否每个正定、有界、可逆的 Wiener-Hopf 算子 Wψ（其符号 ψ ∈ S′ 为实函数）在 L²[0,a] 上均存在三角分解？
• RQ4 函数 r ↦ ||T⁻¹ₘ,ᵣ sincᵣ||²_{L²(µ)} 是否绝对连续？其导数揭示了关于底层哈密顿量的何种信息？
• RQ5 通过识别 Sakhnovich [17] 中定理 4.1 证明中的错误，能否解决本文定理 3 与该文献定理 4.1 之间的矛盾？

主要发现

• 规范哈密顿系统谱测度 µ 是 PWa 的偶采样测度，当且仅当对应权函数 w 属于 Muckenhoupt A2[0,a] 类。
• 显式公式为 w(r) = π ∂/∂r ||T⁻¹ₘ,ᵣ sincᵣ||²_{L²(µ)}，其中 r ∈ [0,a]，Tₘ,ᵣ 为符号为 µ 的截断 Toeplitz 算子。
• 函数 r ↦ ||T⁻¹ₘ,ᵣ sincᵣ||²_{L²(µ)} 绝对连续，其导数除以 π 在正 Lebesgue 测度的集合上为正。
• 每个正定、有界、可逆的 Wiener-Hopf 算子 Wψ（在 L²[0,a] 上，符号 ψ ∈ S′ 为实函数）均存在三角分解 Wψ = A*A，其中 A 保持嵌套子空间 L²[0,r] 不变。
• 证明指出了 Sakhnovich [17] 中关于某类 Wiener-Hopf 算子不存在分解的断言存在关键错误：极限 lim_{y→0⁺} Π(iy) 实际为 1/√(1−μ)，而非 √(1−μ)，从而使其结论无效。
• 对所有 r ∈ [0,2a]，存在酉映射 Vµ: PWa → (PW[0,r], µ)，这蕴含了相对于 µ 的 Krein 正交整函数的存在性。