[论文解读] Adjoints of rationally induced composition operators

Paul Bourdon, Joel H. Shapiro|ArXiv.org|Jan 11, 2008

Holomorphic and Operator Theory参考文献 8被引用 5

一句话总结

本文提供了对 Hardy 空间 $H^2$ 上有理诱导复合算子的伴随公式的一种简洁、初等的推导，扩展了 Cowen 早期关于线性分式映射的工作。结果表明，此类算子的伴随是加权复合算子的有限和，并证明在较弱的边界正则性条件下，伴随是单个加权复合算子的紧算子扰动。

ABSTRACT

We give an elementary proof of a formula recently obtained by Hammond, Moorhouse, and Robbins for the adjoint of a rationally induced composition operator on the Hardy space H^2. We discuss some variants and implications of this formula, and use it to provide a sufficient condition for a rationally induced composition operator adjoint to be a compact perturbation of a weighted composition operator.

研究动机与目标

• 为 Hammond、Moorhouse 和 Robbins 之前推导出的 $H^2$ 上有理诱导复合算子的伴随公式，提供一种简化且代数化的推导。
• 通过分析外映射 $\varphi_e$ 的多值性，阐明伴随算子的结构。
• 确定有理诱导复合算子的伴随是加权复合算子的紧扰动的条件。
• 将 Cowen 的线性分式伴随公式推广至更广泛的单位圆盘有理自映射类。
• 建立充分条件——特别是外正则性和强外正则性——使得伴随算子可分解为紧扰动的加权复合算子。

提出的方法

• 使用 $H^2$ 内积 $\langle f, C_\varphi^*g \rangle$ 的柯西积分表示，其中 $f$ 和 $g$ 为多项式。
• 应用柯西定理并进行变量替换，推导出涉及 $\varphi_e^{-1}$（即外映射的逆）分支的一般化伴随形式。
• 利用 $\varphi_e^{-1}(\mathbb{U}) \subset \mathbb{U}$ 的事实，确保逆分支在闭单位圆盘上全纯。
• 识别出将 $\overline{\mathbb{U}}$ 映入 $\overline{\mathbb{U}}$ 的 $\varphi_e^{-1}$ 的分支 $\sigma_j$，其中至多一个分支将 $\partial\mathbb{U}$ 映到 $\partial\mathbb{U}$。
• 利用向后移位算子 $B$ 和秩一算子 $\Lambda_0$、$\Lambda_\infty$，将伴随算子分解为加权复合算子之和与紧扰动之和。
• 应用罗西定理分析临界值的位置，并在示例中验证强外正则性。

实验结果

研究问题

• RQ1 在何种条件下，$H^2$ 上有理诱导复合算子的伴随是加权复合算子的紧扰动？
• RQ2 如何以比以往方法更简单、更统一的方式推导有理诱导复合算子的伴随公式？
• RQ3 多值性 $\varphi_e^{-1}$ 在 $C_\varphi^*$ 的结构中起什么作用，如何从代数上处理它？
• RQ4 外映射 $\varphi_e$ 的逆何时在 $\overline{\mathbb{U}}$ 上产生全纯分支，这如何影响相关复合算子的紧性？
• RQ5 外正则性和强外正则性在决定 $C_\varphi^*$ 的紧扰动结构中具有何种意义？

主要发现

• 本文为 Hammond-Moorhouse-Robbins 关于 $H^2$ 上有理诱导复合算子伴随的公式提供了一条简明且初等的证明。
• 伴随算子 $C_\varphi^*$ 表示为加权复合算子 $M_{g_j}C_{\sigma_j}$ 的有限和，其中 $\sigma_j$ 是 $\varphi_e^{-1}$ 的分支，$g_j$ 为有理函数。
• 当 $\varphi$ 为外正则且恰好将 $\partial\mathbb{U}$ 的一点映到 $\partial\mathbb{U}$ 时，$C_\varphi^*$ 是 $M_h C_\sigma B$ 的紧扰动，其中 $\sigma$ 是 $\mathbb{U}$ 上的全纯自映射。
• 若 $\varphi$ 为强外正则，则 $C_\varphi^*$ 是单个加权复合算子 $M_g C_\sigma$ 的紧扰动，其中 $g(z) = z\sigma'(z)/\sigma(z)$ 在 $\mathbb{U}$ 上有界且全纯。
• 对于 $\varphi(z) = 1/(3 - z - z^2)$，通过分析 $\varphi_e^{-1}$ 的分支，验证了 $C_\varphi^*$ 是加权复合算子的紧扰动。
• 当 $d \geq 2$ 时，示例 $\varphi(z) = 1/((d+1) - z - z^2 - \cdots - z^d)$ 满足强外正则性，因此其伴随是加权复合算子的紧扰动。