[论文解读] Some examples of compact composition operators on $H^2$

Pascal Lefèvre, Daniel Li+2 more|arXiv (Cornell University)|Jun 25, 2008

Holomorphic and Operator Theory被引用 11

一句话总结

该论文在 Hardy 空间 $H^2$ 上构造了复合算子的显式例子，以证明紧性与属于 Schatten 类 $S_p$ 的性质不能由符号的边界模唯一确定。通过 Luecking 准则与 Carleson 函数分析，表明两个具有相同边界模的符号可分别产生一个非紧算子与一个属于所有 $p>2$ 的 $S_p$ 的算子，从而解决了关于这些性质非等价性的长期悬而未决的问题。

ABSTRACT

To appear in J. Functional Analysis

研究动机与目标

• 提供 $H^2$ 上复合算子的显式、具体例子，其紧性与 Schatten 类成员资格不由符号的边界模决定。
• 解决长期悬而未决的公开问题：是否存在一个在 $H^2$ 上紧致但不属于任何 $S_p$（$p<\infty$）的复合算子？
• 证明对于每个 $p>2$，存在具有相同边界模的符号，使得一个诱导出非紧算子，而另一个属于 $S_p$。
• 通过 Luecking 准则，深化对符号的 Carleson 函数与 Schatten 类成员资格之间关系的理解。

提出的方法

• 利用 Luecking 准则判断 Schatten 类成员资格，该准则将符号边界值的水平集测度与算子的 Schatten 类性质联系起来。
• 使用 Carleson 函数 $\rho_\phi(h)$ 来量化由符号 $\phi$ 诱导的拉回测度 $m_\phi$ 的分布。
• 通过复分析技巧（包括奇异内函数及在边界附近实部与虚部受控的函数）显式构造符号 $\phi$。
• 对 $\mathfrak{Re}\,f(it)$ 和 $\mathfrak{Im}\,f(it)$ 应用渐近估计，推导 $\rho_\phi(h)$ 的增长速率，特别是 $\rho_\phi(h) \approx h / \log\log(1/h)$。
• 利用插值与测度论估计，验证 Luecking 准则中的级数发散，从而证明不属于 $S_p$。
• 通过将 $\phi$ 与一个奇异内函数 $M$ 相乘，比较具有相同边界模 $|\phi^*| = |\psi^*|$ 的符号，改变 Carleson 函数的同时保持模不变。

实验结果

研究问题

• RQ1 两个 $H^2$ 上的复合算子能否具有在 $\partial\mathbb{D}$ 上模相同的符号，却在紧性与 Schatten 类成员资格上不同？
• RQ2 能否构造一个在 $H^2$ 上紧致但不属于任何 $S_p$（$p<\infty$）的复合算子？
• RQ3 对于 $p>2$，是否存在具有相同边界模的符号，使得一个复合算子非紧，而另一个属于 $S_p$？
• RQ4 Carleson 函数 $\rho_\phi$ 能否精确刻画 $S_p$ 成员资格？

主要发现

• 对于每个 $p>2$，存在符号 $\phi_1$ 与 $\phi_2$，满足在 $\partial\mathbb{D}$ 上 $|\phi_1^*| = |\phi_2^*|$，使得 $C_{\phi_1}$ 非紧，但 $C_{\phi_2} \in S_p$。
• 存在一个紧致的复合算子 $C_\phi$，不属于任何 $S_p$（$p<\infty$），从而确认了长期悬而未决的公开问题。
• 所构造的符号 $\phi$ 满足 $\rho_\phi(h) \approx h / \log\log(1/h)$，这暗示紧性，但不满足 Luecking 准则对所有 $p>0$，因此 $C_\phi \notin S_p$。
• 通过将 $\phi$ 与奇异内函数 $M$ 相乘，构造新符号 $\psi = \phi M$，使得 $\rho_\psi(h) \approx h^2 \log(1/h)$，从而确保 $C_\psi \in S_p$ 对所有 $p>2$ 成立。
• 该例子表明，$C_\phi$ 紧致但不属于任何 $S_p$（$p<\infty$），而 $C_\psi$ 属于所有 $p>2$ 的 $S_p$，尽管在 $\partial\mathbb{D}$ 上有 $|\phi^*| = |\psi^*|$。
• 结果表明，Carleson 函数 $\rho_\phi$ 的增长不足以刻画 $S_p$ 成员资格，尽管通过命题 3.4 与推论 3.2 提供了必要且充分条件。