[論文レビュー] Common hypercyclic vectors for composition operators

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

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

ひとこと要約

本稿は、ハーディー空間上の合成作用素族の共通超巡回ベクトルを調査し、重み付きシフト作用素に関する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}) $ 上の非可算個の合成作用素族に対して、同一のベクトルが超巡回的であるかを調査すること。
• バナッハ・カタログと近似技法を用いて、特に単一作用素の倍数から生成される作用素族への超巡回性基準の拡張を図ること。
• 重み付きシフト作用素に関するSalasの定理の連続的アナロジーを確立し、重み付き$L^1(\mathbb{R})$空間上での平行移動作用素と同乗作用素の超巡回性を特徴づけること。
• 重み関数が$ L^1(\mathbb{R}, \omega) $ 上での平行移動作用素と同乗作用素の超巡回性を満たすために必要な十分条件を特定すること。
• 可換作用素族に対する共通超巡回ベクトルの構造を分析し、それらが残渣的（dense $ G_\delta $）であることを証明すること。

提案手法

• Abakumov-Gordonの構成を用いて、任意の$ \lambda > 1 $に対して$ \lambda^{M_k} r_k $が$ \mathbb{R}_+ $で稠密になるような列$ (M_k), (r_k) $を構成し、任意の正の値を近似可能にする。
• バナッハ・カタログの議論とF空間における$ HC(T) $の残渣性を応用し、可換族の超巡回集合の共通部分集合が空でない限り、$ G_\delta $稠密であることを示す。
• 超巡回性基準とKitaiの基準を用いて、$ L^1(\mathbb{R}, \omega) $ 上の作用素の超巡回性を検証し、コンパクト台付きかつ有界な近似を持つ関数列を用いる。
• 重み関数に対する適性条件を導入する：平行移動適性とは$ \int_{a-1}^a \omega \leq C \int_a^{a+1} \omega $を満たすこと、同乗適性とは$ x \leq y \leq 0 $または$ 0 \leq x \leq y $に対して$ \int_{x/2}^{y/2} \omega \leq C \int_x^y \omega $を満たすこと。
• 平行移動作用素の超巡回性基準を満たすために、$ \int_{n_k - q}^{n_k + q} \omega \to 0 $および$ \int_{-n_k - q}^{-n_k + q} \omega \to 0 $（すべての$ q > 0 $に対して）を満たす列$ (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 $が成り立つことを証明する。

実験結果

リサーチクエスチョン

• RQ1 非可算個の合成作用素族$ C_\varphi $が$ H^2(\mathbb{D}) $上で定義される場合、共通の超巡回ベクトルが存在する条件は何か？
• RQ2 可換する作用素族に対して、特に単一作用素の倍数から生成される作用素族に対して、超巡回性基準を拡張することは可能か？
• RQ3 重み関数$ \omega $がどのような条件を満たせば、$ L^1(\mathbb{R}, \omega) $ 上の平行移動作用素$ Tf(x) = f(x+1) $が超巡回的になるか？
• RQ4 重み関数$ \omega $がどのような条件を満たせば、$ L^1(\mathbb{R}, \omega) $ 上の同乗作用素$ Sf(x) = f(2x) $が超巡回的になるか？
• RQ5 Salasの定理（重み付きシフト作用素に関するもの）を、$ L^1(\mathbb{R}, \omega) $ 上の連続的状況にどのように拡張できるか？

主な発見

• $ H^2(\mathbb{D}) $ 上の合成作用素$ C_\varphi $に対して、$ \mathbb{D} $に固定点を持たない$ \varphi \in \text{Aut}(\mathbb{D}) $の非可算族に対して、ある近似および可換性条件を満たせば、共通の超巡回ベクトルが存在する。
• F空間上の可換作用素族に対して、共通超巡回ベクトルの集合が空でない限り、それは残渣的（dense $ G_\delta $）である。この結論は、作用素族が可算個のコンパクト集合の和集合である場合に成立する。
• 重み付き$L^1(\mathbb{R}, \omega)$空間上での平行移動作用素$ T $は、すべての$ q > 0 $に対して$ \int_{n_k - q}^{n_k + q} \omega \to 0 $および$ \int_{-n_k - q}^{-n_k + q} \omega \to 0 $を満たす列$ (n_k) $が存在する場合に限り、超巡回的である。
• 重み付き$L^1(\mathbb{R}, \omega)$空間上での同乗作用素$ S $は、すべての$ 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 $を満たす列$ (n_k) $が存在する場合に限り、超巡回的である。
• 重み関数$ \omega(x) = \frac{1}{1 + |x|} $に対して、平行移動作用素は超巡回的であるが、同乗作用素は超巡回的でない。これは、条件の鋭さを示している。