[论文解读] Common hypercyclic vectors for composition operators

Frédéric Bayart|ArXiv.org|May 27, 2002

Holomorphic and Operator Theory参考文献 10被引用 36

一句话总结

本文研究了 Hardy 空间上一族复合算子的公共超循环向量，并为 Salas 关于加权移位算子的定理提供了连续类比。通过基于 Abakumov-Gordon 近似定理的构造性方法，本文建立了复合算子同时超循环的条件，并证明了在权函数满足特定衰减条件时，加权 $ L^1 $ 空间上的平移与位似算子是超循环的。

ABSTRACT

We study the existence of a common hypercyclic vector for different families of composition operators.

研究动机与目标

• 研究在 $ H^2(\mathbb{D}) $ 上未数列的复合算子族中是否存在一个单一向量是超循环的。
• 通过 Baire 族和逼近技术，将超循环性准则推广至一族算子，特别是单个算子的倍数，尤其在它们可交换时。
• 建立 Salas 关于加权移位算子定理的连续类比，刻画加权 $ L^1(\mathbb{R}) $ 空间上平移与位似算子的超循环性。
• 确定加权 $ L^1(\mathbb{R}, \omega) $ 空间中平移与位似算子超循环性的权函数的必要与充分条件。
• 分析公共超循环向量的结构，并在可交换算子族下证明其残性。

提出的方法

• 使用 Abakumov-Gordon 的构造方法，构建序列 $ (M_k), (r_k) $，使得对所有 $ \lambda > 1 $，有 $ \lambda^{M_k} r_k $ 在 $ \mathbb{R}_+ $ 中稠密，从而实现对任意正实数的逼近。
• 应用 Baire 族论证和 F-空间中 $ HC(T) $ 的残性，证明若非空，则可交换族的超循环集的交为稠密 $ G_\delta $。
• 运用超循环准则和 Kitai 准则，通过具有紧台支集且有界的逼近函数序列，验证 $ L^1(\mathbb{R}, \omega) $ 上算子的超循环性。
• 引入权函数的可容许性条件：若 $ \int_{a-1}^a \omega \leq C \int_a^{a+1} \omega $，则称其为平移可容许；若 $ \int_{x/2}^{y/2} \omega \leq C \int_x^y \omega $ 对所有 $ x \leq y \leq 0 $ 或 $ 0 \leq x \leq y $ 成立，则称其为位似可容许。
• 构造序列 $ (n_k) $，使得对所有 $ q > 0 $，有 $ \int_{n_k - q}^{n_k + q} \omega \to 0 $ 且 $ \int_{-n_k - q}^{-n_k + q} \omega \to 0 $，以满足平移算子的超循环性准则。
• 证明：对所有 $ 0 < a \leq b $，有 $ \int_{2^{n_k} a}^{2^{n_k} b} \omega \to 0 $ 且 $ \int_{-2^{n_k} b}^{-2^{n_k} a} \omega \to 0 $，是位似算子超循环性的必要且充分条件。

实验结果

研究问题

• RQ1 在 $ H^2(\mathbb{D}) $ 上，未数列的复合算子族中，公共超循环向量存在的条件是什么？
• RQ2 超循环性准则能否推广至由单个算子的倍数生成的算子族，特别是当它们可交换时？
• RQ3 权函数 $ \omega $ 满足何种条件时，平移算子 $ Tf(x) = f(x+1) $ 在 $ L^1(\mathbb{R}, \omega) $ 上是超循环的？
• RQ4 权函数 $ \omega $ 满足何种条件可保证位似算子 $ Sf(x) = f(2x) $ 在 $ L^1(\mathbb{R}, \omega) $ 上是超循环的？
• RQ5 Salas 关于加权移位算子的定理如何在 $ L^1(\mathbb{R}, \omega) $ 上的连续设定下推广？

主要发现

• 对于 $ H^2(\mathbb{D}) $ 上的复合算子 $ C_\varphi $，若一族 $ \varphi \in \text{Aut}(\mathbb{D}) $ 满足无不动点且满足特定逼近与交换性条件，则其存在公共超循环向量。
• 在 F-空间上，若可交换算子族非空，则其公共超循环向量集为残集（稠密 $ G_\delta $），前提是该族为可数个紧集的并。
• 在 $ L^1(\mathbb{R}, \omega) $ 上，平移算子 $ T $ 是超循环的，当且仅当存在序列 $ (n_k) $，使得对所有 $ q > 0 $，有 $ \int_{n_k - q}^{n_k + q} \omega \to 0 $ 且 $ \int_{-n_k - q}^{-n_k + q} \omega \to 0 $。
• 在 $ L^1(\mathbb{R}, \omega) $ 上，位似算子 $ S $ 是超循环的，当且仅当存在序列 $ (n_k) $，使得对所有 $ 0 < a \leq b $，有 $ \int_{2^{n_k} a}^{2^{n_k} b} \omega \to 0 $ 且 $ \int_{-2^{n_k} b}^{-2^{n_k} a} \omega \to 0 $。
• 对于权函数 $ \omega(x) = \frac{1}{1 + |x|} $，平移算子是超循环的，但位似算子不是，这说明了条件的紧致性。