[论文解读] Complex symmetric composition operators with automorphic symbols

Yong-Xin Gao, Ze‐Hua Zhou|ArXiv.org|Jul 16, 2016

Holomorphic and Operator Theory参考文献 6被引用 4

一句话总结

本文通过证明在 Hardy 空间 $ H^2(D) $ 上，由三阶非旋转椭圆自同构诱导的复合算子 $ C_{\varphi} $ 不是复对称的，解决了一个开放问题。利用谱分析和共轭不变性，作者在假设存在共轭算子的情况下，推导出特征向量范数的矛盾，从而得出结论：仅当自同构为旋转或二阶椭圆自同构时，复合算子才是复对称的。

ABSTRACT

In this paper we show that a composition operator $C_φ$ cannot be complex symmetric on Hardy-Hilbert space $H^2(D)$ when $φ$ is an elliptic automorphism of order $3$ and not a rotation. This completes the project of finding all invertible composition operators which are complex symmetric $H^2(D)$.

研究动机与目标

• 解决 Bourdon 和 Noor 提出的关于三阶椭圆自同构在 $ H^2(D) $ 上诱导的复合算子复对称性的开放问题。
• 在已有二阶和阶数 $ \geq 4 $ 结果的基础上，完成对所有在 $ H^2(D) $ 上复对称的可逆复合算子的分类。
• 证明：对于以 $ a \in D \setminus \{0\} $ 为不动点的三阶椭圆自同构 $ \varphi $，若 $ \varphi $ 不是旋转，则 $ C_\varphi $ 不可能是复对称的。
• 建立在 $ H^2(D) $ 上诱导复对称复合算子的自同构的完整刻画。

提出的方法

• 假设 $ C_\varphi $ 关于某个共轭算子 $ C $ 是 $ C $-对称的，并利用 $ C_\varphi $ 及其伴随算子的谱性质推导出相应结论。
• 分析 $ C_\varphi $ 和 $ C_\varphi^* $ 的特征子空间，利用 $ C $ 将 $ \ker(C_\varphi - \lambda) $ 映射到 $ \ker(C_\varphi^* - \overline{\lambda}) $ 的性质。
• 构造一个与特征向量 $ e_1 $ 及其共轭像 $ h_1 = Ce_1 $ 相关的特定向量 $ f $，并将 $ h_1 - \overline{a}h_0 $ 表示为 $ \varphi_a^{3j+1} $ 的幂级数形式。
• 推导出 $ h_1 - \overline{a}h_0 $ 的闭式表达式，其中涉及 $ \varphi_a $、$ \rho = \overline{a}^3 $ 以及 $ \varphi_a^3 $ 的有理函数，最终得到 $ f = \frac{1-|a|^6}{1-|a|^4} \cdot \frac{1 - \overline{a}^3 \varphi_a^3}{(1 - \rho \varphi_a^3)^2} $。
• 通过两种方式计算 $ f $ 的范数：一种是利用 $ L^2 $ 内积，另一种是利用 $ C $ 的等距性，当两者相等时导致矛盾。
• 利用恒等式 $ ||f||^2 = (1 - |a|^4)^2 ||e_1 - \overline{a}e_0||^2 $，其简化形式为 $ (1 - |a|^4)(1 + |a|^2)^2 $，并与 $ ||f||^2 $ 关于 $ \beta_1, \beta_2, \beta_3 $ 的展开式比较，得到 $ (1 + 2|a|^2 - 2|a|^4 - |a|^6)(1 + |a|^2)^2 $。

实验结果

研究问题

• RQ1 当 $ \varphi $ 是单位圆盘上三阶非旋转椭圆自同构时，复合算子 $ C_\varphi $ 在 $ H^2(D) $ 上是否复对称？
• RQ2 非旋转的三阶椭圆自同构是否可能在 $ H^2(D) $ 上诱导出复对称的复合算子？
• RQ3 在单位圆盘上，使 $ C_\varphi $ 在 $ H^2(D) $ 上复对称的所有自同构 $ \varphi $ 的完整集合是什么？
• RQ4 对于三阶自同构，$ C_\varphi $ 的谱结构是否允许存在一个共轭算子 $ C $，使得 $ C_\varphi = C C_\varphi^* C $？

主要发现

• 由三阶非旋转椭圆自同构在 $ H^2(D) $ 上诱导的复合算子 $ C_\varphi $ 不是复对称的。
• 当假设复对称性成立时，会导出矛盾：通过共轭不变性与直接 $ L^2 $-范数计算得到的向量 $ f $ 的范数导致 $ |a|^2 + |a|^4 = 2 $，而这对 $ a \in D $ 显然不可能成立。
• 范数计算表明：由 $ C $ 的等距性得到 $ ||f||^2 = (1 - |a|^4)(1 + |a|^2)^2 $，而由函数展开式得到 $ ||f||^2 = (1 + 2|a|^2 - 2|a|^4 - |a|^6)(1 + |a|^2)^2 $，两者矛盾。
• 该矛盾证实：对于非旋转的三阶自同构，不存在满足条件的共轭算子 $ C $。
• 主要结论是：$ C_\varphi $ 在 $ H^2(D) $ 上复对称当且仅当 $ \varphi $ 是旋转或二阶椭圆自同构。
• 该结果完成了对所有在 $ H^2(D) $ 上复对称的可逆复合算子的分类，解决了三阶情形的开放问题。