[论文解读] Spectra of Composition Operators with Symbols in S(2)

Paul Bourdon|arXiv (Cornell University)|Jan 12, 2014

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

一句话总结

本文表征了属于 Kriete 和 Moorhouse 引入的类 $ \mathcal{S}(2) $ 的符号的 Hardy 空间 $ H^2(\mathbb{D}) $ 上的复合算子的谱和本质谱。通过证明此类算子在 Calkin 代数意义下等价于线性分式复合算子的和，作者们导出了谱描述，包括一个棒棒糖形状的谱，并推翻了 Cowen 的猜想，即抛物型非自同构型符号的谱必须位于两条螺旋线之间。

ABSTRACT

Let H^2(D) denote the classical Hardy space of the open unit disk D in the complex plane. We obtain descriptions of both the spectrum and essential spectrum of composition operators on H^2(D) whose symbols belong to the class S(2) introduced by Kriete and Moorhouse [Trans. Amer. Math. Soc., 359, 2007]. Our work reveals new possibilities for the shapes of composition-operator spectra, settling a conjecture of Cowen's [J. Operator Th. 9, 1983]. Our results depend on a number of lemmas, perhaps of independent interest, that provide spectral characterizations of sums of elements of a unital algebra over a field when certain pairwise products of the summands are zero.

研究动机与目标

• 表征 $ H^2(\mathbb{D}) $ 上符号属于 $ \mathcal{S}(2) $ 的复合算子的谱和本质谱。
• 解决 Cowen（1983 年）的猜想，即抛物型非自同构型复合算子的谱必须位于两条螺旋线之间。
• 通过利用 Calkin 代数等价性，将复合算子的谱理论扩展至线性分式符号之外。
• 建立适用于复合算子谱的、关于具有零两两乘积的代数元素之和的一般谱引理。

提出的方法

• 使用 Calkin 代数将 $ \varphi \in \mathcal{S}(2) $ 的 $ C_\varphi $ 的谱分析简化为线性分式复合算子的和。
• 应用关于代数元素之和的谱引理，其中某些两两乘积为零，从而表征和的谱。
• 利用已知的线性分式复合算子的谱结果，例如本质谱为圆盘或线段。
• 利用函数论性质，如 Denjoy-Wolff 点、角导数以及在边界点的二阶接触，对 $ \mathcal{S}(2) $ 中的符号进行分类。
• 计算在周期轨道和边界点处的导数，以确定谱半径和谱集。
• 应用先前工作（例如 [4]）中的谱保持性和特征值孤立性结果，以证明谱与本质谱相等。

实验结果

研究问题

• RQ1 Cowen 的猜想是否成立：即 $ \mathcal{S}(2) $ 中抛物型非自同构型符号的复合算子的谱必须位于两条螺旋线之间？
• RQ2 能否通过 Calkin 代数等价于线性分式算子之和，完全表征 $ \varphi \in \mathcal{S}(2) $ 的 $ C_\varphi $ 的谱和本质谱？
• RQ3 在 $ \varphi $ 的何种函数论条件下，$ C_\varphi $ 的谱等于其本质谱？
• RQ4 $ \varphi \in \mathcal{S}(2) $ 的 $ C_\varphi $ 的本质谱是否由 $ \varphi $ 在其边界周期轨道和 Denjoy-Wolff 点处的行为决定？
• RQ5 能否将关于具有零两两乘积的代数元素之和的谱引理应用于推导复合算子理论中的谱结构？

主要发现

• 符号为 $ \varphi_{lp}(z) = \frac{2z^2 - z - 2}{2z^2 - 3} $ 的复合算子 $ C_{\varphi_{lp}} $ 的谱是闭圆盘 $ \{ z : |z| \leq \frac{1}{3} \} $ 与线段 $ [0,1] $ 的并集，形成棒棒糖形状。
• 此棒棒糖形状的谱与 Cowen 的猜想相矛盾，从而推翻了该猜想。
• 对于 $ \varphi \in \mathcal{S}(2) $ 且 Denjoy-Wolff 点位于 $ \mathbb{D} $ 内的情形，谱与本质谱一致，因为孤立特征值不可能出现在本质谱之外。
• 复合算子 $ C_\varphi $ 的本质谱由 $ \varphi $ 在其周期点 $ \zeta \in E(\varphi) $ 处的导数决定，半径由 $ \sqrt{\varphi^{[n]'}(\zeta)} $ 给出。
• 对于 $ \varphi(z) = \frac{-z}{3 - 2z^2} $，谱为 $ \{ z : |z| < \frac{1}{\sqrt{5}} \} \cup \{1\} $，本质谱为半径 $ 1/\sqrt{5} $ 的开圆盘。
• 对于一个在闭圆盘上非解析的符号 $ \varphi $，满足 $ E(\varphi) = \{-1,1\} $，谱与本质谱均为 $ \{ z : |z| \leq \sqrt{2} \} $，表明该方法在光滑符号之外也适用。