[论文解读] Compact composition operators on weighted Hilbert spaces of analytic functions

Karim Kellay, Pascal Lefèvre|arXiv (Cornell University)|Apr 19, 2010

Holomorphic and Operator Theory参考文献 12被引用 39

一句话总结

本文通过广义的 Nevanlinna 计数函数，刻画了加权希尔伯特空间上复合算子的紧致性。研究结果表明，复合算子 $ C_\varphi $ 在 $ \mathcal{H}_\omega $ 上紧致当且仅当 $ \lim_{|z|\to 1^-} \frac{N_{\varphi,\omega}(z)}{\omega(z)} = 0 $，该结果将 Hardy 空间与 Bergman 空间中的已知结果推广到了 Dirichlet 空间与 Bergman 空间之间的广义中间空间类。

ABSTRACT

We characterize the compactness of composition operators; in term of generalized Nevanlinna counting functions, on a large class of Hilbert spaces of analytic functions, which can be viewed between the Bergman and the Dirichlet spaces

研究动机与目标

• 刻画单位圆盘上解析函数的加权希尔伯特空间 $ \mathcal{H}_\omega $ 上复合算子 $ C_\varphi $ 的紧致性。
• 将 Hardy 空间与 Bergman 空间等经典空间中的已知紧致性准则，推广至位于 Dirichlet 空间与 Bergman 空间之间的更广义的加权希尔伯特空间类。
• 利用广义 Nevanlinna 计数函数 $ N_{\varphi,\omega}(z) $（通过权函数 $ \omega $ 和 $ \varphi $ 的拉回定义）建立复合算子紧致性的充要条件。
• 分析 $ C_\varphi $ 在两类不同可容许权函数下的行为：(I)-可容许权（在 $ H^2 $ 与 Bergman 空间之间插值）和 (II)-可容许权（在 Dirichlet 空间与 $ H^2 $ 之间插值）。

提出的方法

• 将希尔伯特空间 $ \mathcal{H}_\omega $ 定义为单位圆盘 $ \mathbb{D} $ 上满足 $ \|f\|_{\mathcal{H}_\omega}^2 = |f(0)|^2 + \int_{\mathbb{D}} |f'(z)|^2 \omega(z) \, dA(z) < \infty $ 的解析函数空间，其中 $ \omega $ 为非增且可容许的权函数。
• 引入广义 Nevanlinna 计数函数 $ N_{\varphi,\omega}(z) = \sum_{\varphi(a)=z} \omega(a) $，该函数按权 $ \omega $ 加权计数 $ z $ 的原像，是紧致性准则的核心。
• 通过 Littlewood 的次序原理，证明 $ C_\varphi $ 在 (I)-可容许权下有界；通过条件 $ \sup_z \frac{N_{\varphi,\omega}(z)}{\omega(z)} < \infty $，证明 $ C_\varphi $ 在 (II)-可容许权下有界。
• 证明 $ C_\varphi $ 在 $ \mathcal{H}_\omega $ 上紧致当且仅当 $ \lim_{|z|\to 1^-} \frac{N_{\varphi,\omega}(z)}{\omega(z)} = 0 $，该结果推广了 $ H^2 $ 与 $ \mathcal{A}_\alpha^2 $ 中的已知结果。
• 为 (II)-可容许权提供另一种刻画：利用非切向逼近区域上的最大平均值，即 $ \lim_{\delta \to 0} \sup_{\zeta \in \mathbb{T}} \frac{1}{\delta^2 \omega(1-\delta)} \int_{|z-\zeta|<\delta} N_{\varphi,\omega}(z) \, dA(z) = 0 $。
• 利用 Blaschke 乘积及对 $ G(t) = \tilde{G}^{-1}(C\sqrt{\tilde{G}(t)}) $ 的渐近估计，构造反例，表明在 $ \mathcal{A}_\sigma^2 $ 上紧致并不蕴含在 $ H^2 $ 上紧致，从而证明了该条件的紧致性界限的最优性。

实验结果

研究问题

• RQ1 对于可容许权 $ \omega $，复合算子 $ C_\varphi $ 在加权希尔伯特空间 $ \mathcal{H}_\omega $ 上紧致的充要条件是什么？
• RQ2 广义 Nevanlinna 计数函数 $ N_{\varphi,\omega}(z) $ 如何与 $ C_\varphi $ 的紧致性相关联？该条件能否在不同权函数类中统一表达？
• RQ3 能否将 $ C_\varphi $ 在 $ \mathcal{H}_\omega $ 上的紧致性准则推广至严格位于经典 Dirichlet 空间与 Bergman 空间之间的空间？
• RQ4 是否存在一个函数 $ \varphi $，使得 $ C_\varphi $ 在加权 Bergman 空间上紧致但不在 Hardy 空间 $ H^2 $ 上紧致？这一现象对紧致性条件的紧致性界限意味着什么？
• RQ5 两种不同的可容许权类——(I)-可容许与 (II)-可容许——如何导致 $ C_\varphi $ 的有界性与紧致性刻画的差异？

主要发现

• 复合算子 $ C_\varphi $ 在 $ \mathcal{H}_\omega $ 上紧致当且仅当 $ \lim_{|z|\to 1^-} \frac{N_{\varphi,\omega}(z)}{\omega(z)} = 0 $，其中 $ N_{\varphi,\omega}(z) $ 为广义 Nevanlinna 计数函数。
• 对于 (II)-可容许权，紧致性等价于最大平均值的消失：$ \lim_{\delta \to 0} \sup_{\zeta \in \mathbb{T}} \frac{1}{\delta^2 \omega(1-\delta)} \int_{|z-\zeta|<\delta} N_{\varphi,\omega}(z) \, dA(z) = 0 $。
• $ \frac{N_{\varphi,\omega}(z)}{\omega(z)} \to 0 $ 当 $ |z| \to 1^- $ 时蕴含 $ C_\varphi $ 有界，因此这是紧致性的极限情形。
• 存在一个 Blaschke 乘积 $ \varphi $，使得 $ C_\varphi $ 在 $ \mathcal{A}_\sigma^2(\mathbb{D}) $ 上紧致但不在 $ H^2 $ 上紧致，表明 Bergman 空间上的紧致性并不蕴含 Hardy 空间上的紧致性。
• 条件 $ \frac{G(z)}{G(\varphi(z))} = o\left( \frac{1-|z|}{1-|\varphi(z)|} \right) $ 蕴含 $ \mathcal{A}_\sigma^2 $ 上的紧致性，且该条件严格弱于 $ \frac{G(z)}{G(\varphi(z))} \to 0 $，说明该蕴含关系并非等价。
• 该结果将 Zorboska 对经典 Dirichlet 空间上紧致性的刻画推广至所有 (II)-可容许权，为该空间尺度上的紧致性提供了统一框架。