[论文解读] Duality theorems for coinvariant subspaces of $H^1$

Roman Bessonov|arXiv (Cornell University)|Jan 2, 2014

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

一句话总结

本文建立了 Hardy 空间 $H^1$ 中余不变子空间 $K_{\theta}^{1} \cap zH^{1}$ 的对偶空间的对偶定理，证明其等距同构于一个单分量内函数 $\theta$ 的 Clark 测度 $\sigma_{\alpha}$ 下的有界平均振荡函数空间。关键结果为 $(K_{\theta}^{1} \cap zH^{1})^{*} = \mathrm{BMO}(\sigma_{\alpha})$，由此通过符号的 $\mathrm{BMO}(\mu_{2n})$-范数，为有限 Hankel 矩阵提供了双边范数估计，其中 $\mu_{2n}$ 是单位根的 $2n$ 次单位根上的 Haar 测度。

ABSTRACT

Let $θ$ be an inner function satisfying the connected level set condition of B. Cohn, and let $K^{1}_θ$ be the shift-coinvariant subspace of the Hardy space $H^1$ generated by $θ$. We describe the dual space to $K^{1}_θ$ in terms of a bounded mean oscillation with respect to the Clark measure $σ_α$ of $θ$. Namely, we prove that $(K^{1}_θ \cap zH^1)^* = { m BMO}(σ_α)$. The result implies a two-sided estimate for the operator norm of a finite Hankel matrix of size $n imes n$ via ${ m BMO}(μ_{2n})$-norm of its standard symbol, where $μ_{2n}$ is the Haar measure on the group $\{ξ\in \mathbb{C}: ξ^{2n} = 1\}$.

研究动机与目标

• 刻画 Hardy 空间 $H^1$ 中单分量内函数 $\theta$ 的 $K_{\theta}^{1} \cap zH^{1}$ 的对偶空间。
• 在内函数 $\theta$ 的 Clark 测度 $\sigma_{\alpha}$ 下，建立该对偶空间与空间 $\mathrm{BMO}(\sigma_{\alpha})$ 之间的对偶同构。
• 将此对偶性应用于有限 Hankel 矩阵的算子范数，通过其标准符号的 $\mathrm{BMO}(\mu_{2n})$-范数，推导出双边范数估计。
• 通过测度原子及其分布的几何与解析条件，完整刻画与单分量内函数相关的 Clark 测度。

提出的方法

• 本文使用与内函数 $\theta$ 相关的 Clark 测度 $\sigma_{\alpha}$ 理论，这些测度是单位圆 $\mathbb{T}$ 上的奇异测度，与 $\theta$ 的 Cayley 变换的实部相关联。
• 通过 Clark 测度引入单分量内函数的刻画：要求测度 $\mu = \sigma_{\alpha}$ 为离散测度，具有孤立原子，每个原子在原子集中恰好有两个邻居，且原子质量相对于到邻居的距离满足一致的下界与上界。
• 证明依赖于 A. B. Aleksandrov 提出的单分量内函数刻画，涉及 $\theta$ 的导数，以及在原子集上离散 Hilbert 变换 $H_\mu 1$ 的有界性。
• 通过对 $K_{\theta}^{1} \cap zH^{1}$ 上泛函的作用进行分析，并借助原子分解与范数估计，将它们与 $\mathrm{BMO}(\sigma_{\alpha})$ 联系起来，从而推导出对偶结果。
• 通过将对偶性应用于截断 Hankel 算子，将 $n \times n$ Hankel 矩阵的算子范数与符号的 $\mathrm{BMO}(\mu_{2n})$-范数联系起来，其中 $\mu_{2n}$ 是 $2n$ 次单位根上的归一化 Haar 测度。
• 通过分析单位根的几何结构以及离散 Hilbert 变换在该离散集上的行为，建立双边范数估计中常数的统一有界性。

实验结果

研究问题

• RQ1 对于单分量内函数 $\theta$，$K_{\theta}^{1} \cap zH^{1}$ 的对偶空间是什么？
• RQ2 单位圆上的哪些奇异测度可作为单分量内函数的 Clark 测度？
• RQ3 如何利用符号的 $\mathrm{BMO}$-范数来估计有限 Hankel 矩阵的算子范数？
• RQ4 何种条件下，离散测度 $\mu$ 是单分量内函数的 Clark 测度？
• RQ5 是否存在关于截断 Hankel 算子的统一双边范数估计，其形式为符号的 $\mathrm{BMO}(\mu_{2n})$-范数？

主要发现

• $K_{\theta}^{1} \cap zH^{1}$ 的对偶空间与 $\mathrm{BMO}(\sigma_{\alpha})$ 等距同构，其中 $\sigma_{\alpha}$ 是单分量内函数 $\theta$ 的 Clark 测度，从而确立了对偶关系 $(K_{\theta}^{1} \cap zH^{1})^{*} = \mathrm{BMO}(\sigma_{\alpha})$。
• 一个离散测度 $\mu$ 是单分量内函数的 Clark 测度的充要条件是：$\mu$ 具有孤立原子，每个原子在原子集中恰好有两个邻居，支撑集的测度为零，且在原子集上离散 Hilbert 变换 $H_\mu 1$ 一致有界。
• 有限 Hankel 矩阵 $A$ 的符号 $\bar{z}^n \psi$ 的 $\mathrm{BMO}(\mu_{2n})$-范数通过双边估计控制算子范数 $\|A\|$：$c_1 \|\bar{z}^n \psi\|_{\mu_{2n}^*} \leq \|A\| \leq c_2 \|\bar{z}^n \psi\|_{\mu_{2n}^*}$，其中常数 $c_1, c_2$ 为绝对常数，与 $n$ 无关。
• 范数估计中的常数 $c_1, c_2$ 一致有界，且满足 $c_2 \leq 10^7 M$，其中 $M$ 为某绝对常数，确保估计对所有 $n \geq 2$ 均有效。
• 本文提供了经典 $\mathrm{BMO}(\mathbb{T})$-准则的全新证明，用于 $H^2$ 上 Hankel 算子的有界性，利用对偶性与 $\mathrm{BMO}$ 中的弱*收敛，避免了对 Fefferman 对偶定理的依赖。
• 该结果表明，$H^2$ 上符号为 $\varphi \in \overline{zH^2}$ 的 Hankel 算子有界，当且仅当 $\varphi \in \mathrm{BMO}(\mathbb{T})$，且算子范数与 $\varphi$ 的 $\mathrm{BMO}$-范数等价。