[论文解读] Rigidity of weighted composition operators on $H^p$

Mikael Lindström, Santeri Miihkinen+1 more|arXiv (Cornell University)|Sep 13, 2018

Holomorphic and Operator Theory被引用 1

一句话总结

本文证明了在 Hardy 空间 $H^p$（$1 \leq p < \infty$）上，非紧致加权复合算子固定了 $\ell^p$ 的同构像，这意味着它们不是严格奇异的。此外，本文刻画了此类算子何时固定 $\ell^2$ 的同构像，表明这恰好发生在边界接触集 $E_\varphi$ 的测度为正时。这些结果将无权复合算子的刚性现象推广到了加权情形。

ABSTRACT

We show that every non-compact weighted composition operator $f \mapsto u\cdot (f\circ\phi)$ acting on a Hardy space $H^p$ for $1 \leq p < \infty$ fixes an isomorphic copy of the sequence space $\ell^p$ and therefore fails to be strictly singular. We also characterize those weighted composition operators on $H^p$ which fix a copy of the Hilbert space $\ell^2$. These results extend earlier ones obtained for unweighted composition operators.

研究动机与目标

• 研究 $H^p$ 空间上非紧致加权复合算子的定性算子理论性质。
• 将已知的无权复合算子刚性结果推广到加权情形。
• 刻画此类算子在 $H^p$ 中何时固定 $\ell^2$ 的同构像。
• 阐明紧致性、严格奇异性和算子值域中 $\ell^p$ 或 $\ell^2$ 像的存在性之间的关系。

提出的方法

• 使用测试函数 $g_a(z) = (1 - |a|^2)^{1/p}/(1 - \bar{a}z)^{1/p}$，满足 $\|g_a\|_{H^p} = 1$，以探测算子在边界附近的性质。
• 应用 Carleson 测度准则和紧致性刻画，识别出满足 $\|uC_\varphi g_{a_n}\|_{H^p} \geq c > 0$ 的序列 $a_n \to 1$，表明算子非紧致。
• 利用引理 4 控制 $uC_\varphi g_a$ 在单位圆上子集的 $L^p$ 范数，特别是控制在满足 $|\varphi(\zeta) - 1| < \epsilon$ 的集合 $F_\epsilon$ 之外的部分，确保当 $a \to 1$ 时范数衰减。
• 利用 Paley 定理和 $H^1$-范数估计，证明若 $m(E_\varphi) > 0$，则 $uC_\varphi$ 将某些子空间同构地映射到类似 $\ell^2$ 的序列。
• 应用滑动胡须法（gliding hump argument）提取函数子序列，使得在假设 $m(E_\varphi) = 0$ 时，$uC_\varphi$ 在其上作为有下界同构作用于 $\ell^p$。
• 利用当 $p \neq 2$ 时 $\ell^p$ 与 $\ell^2$ 的完全不可比较性，得出当 $m(E_\varphi) = 0$ 且 $p \neq 2$ 时，$uC_\varphi$ 无法固定 $\ell^2$ 的同构像。

实验结果

研究问题

• RQ1 在何种条件下，$H^p$ 上的非紧致加权复合算子 $uC_\varphi$ 固定 $\ell^p$ 的同构像？
• RQ2 在何种条件下，$H^p$ 上的 $uC_\varphi$ 固定希尔伯特空间 $\ell^2$ 的同构像？
• RQ3 边界接触集 $E_\varphi = \{\zeta \in \mathbb{T} : |\varphi(\zeta)| = 1\}$ 的测度如何影响 $uC_\varphi$ 值域中 $\ell^2$-像的存在性？
• RQ4 在加权情形下，是否存在类似于无权情形的严格奇异性和 $\varphi$ 边界行为几何性质之间的联系？
• RQ5 加权算子 $uC_\varphi$ 的刚性是否能完全由 $E_\varphi$ 的大小和权函数 $u$ 来刻画？

主要发现

• 对于所有 $1 \leq p < \infty$，$H^p$ 上的每个非紧致加权复合算子 $uC_\varphi$ 都固定了 $\ell^p$ 的同构像，这意味着它不是严格奇异的。
• 若 $m(E_\varphi) > 0$，则 $uC_\varphi$ 在 $H^p$ 中固定了 $\ell^2$ 的同构像，即使算子映射到更大的 Hardy 空间 $H^q$（$q \leq p$）时亦然。
• 当 $m(E_\varphi) = 0$ 时，若 $p \neq 2$，则 $uC_\varphi$ 无法在 $H^p$ 中固定任何 $\ell^2$ 的同构像，原因在于 $\ell^p$ 与 $\ell^2$ 的完全不可比较性。
• 若序列 $a_n \to 1$ 且 $\|uC_\varphi g_{a_n}\|_{H^p} \geq c > 0$，则算子 $uC_\varphi$ 在序列 $(g_{a_n})$ 的闭线性张成空间上是有下界的，这意味着存在一个 $\ell^p$-像。
• 定理 2 的证明建立了加权 $H^1$-范数估计：当 $m(E_\varphi) > 0$ 且 $u \not\equiv 0$ 时，有 $\left\|u \sum \alpha_k \varphi^{n_k} \right\|_{H^1} \geq c \| (\alpha_k) \|_{\ell^2}$（$c > 0$），该结果通过 Hölder 不等式和 $C_\varphi$ 的 $H^2$-有界性得出。
• 对满足在紧集上一致收敛于 0 的序列 $f_n$ 应用滑动胡须法，可提取子序列 $f_{n_j}$，使得 $uC_\varphi$ 在 $[f_{n_j}]$ 上有下界，从而在 $m(E_\varphi) = 0$ 时证明了 $\ell^p$-像的存在性。