[論文レビュー] Disjoint Hypercyclicity for families of Taylor-type Operators

Vagia Vlachou|arXiv (Cornell University)|Apr 1, 2015

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

ひとこと要約

本稿は、正則関数をそのテイラー展開の部分和へ写像するタイプの作用素族の、非交差超循環性の必要十分条件を確立する。ポテンシャル理論およびオストロフスキーのギャップを用いて、{n}、{n²}、…、{n^{σ₀}}といった特定の数列に対して、非交差超循環的ベクトルの集合が展開点 ζ₀ に依存しないことを証明し、テイラー級数における多重ユニバーサル性に関する既存の結果を一般化する。

ABSTRACT

We give necessary and sufficient condition so that we have d-hypercyclicity for operators who map a holomorphic function to a partial sum of the Taylor expansion. This problem is connected with doubly universal Taylors series and this is an effort to generalize the concept to multiple universal Taylor series.

研究の動機と目的

• 多重ユニバーサル性へのテイラー級数の概念の一般化を図ること。これにより、二重ユニバーサル級数に関する先行研究を拡張する。
• 正則関数を部分テイラー多項式へ射影する作用素族における d-超循環性の必要十分条件を確立すること。
• このような作用素に対して、非交差超循環的ベクトルの集合が展開点 ζ₀ の変更に対して不変であるかどうかを調査すること。
• ポテンシャル理論およびオストロフスキー・ギャップ技法を用いて、これらの作用素のユニバーサル性の性質を分析すること。
• ζ₀ ∈ Ω によってインデックス付けられる、非可算個の作用素族 {T^{(ζ)}_{n^{σ}}}_{n ∈ ℕ}（σ = 1, …, σ₀）に対して、d-超循環性が成り立つことを示し、すべての点で一様近似が達成されることを示すこと。

提案手法

• コンパクトに台を持つ正則関数を、複数のコンパクト集合 K₁, …, K_{σ₀} 上で同時に近似できるような関数のクラス $ U^{(\theta_0)}_{\text{mult}} $ を定義する。
• ポテンシャル理論的道具（例：[23] より）を用いて、積空間 $ A(K_1) \times \cdots \times A(K_{\sigma_0}) $ における軌道の稠密性を分析する。
• 数列 $ (p_k^\sigma, n_k^\sigma) $ を用いてオストロフスキーのギャップを導入し、$ \lim_{k\to\infty} \frac{q_k}{p_k} = \infty $ および $ \lim_{\nu \in I} |a_\nu|^{1/\nu} = 0 $ を満たすようにすることで、テイラー多項式の一様収束を保証する。
• 部分列 $ \{n_k\} $ を用い、$ \|T^{(\zeta_0)}_{n_k^\sigma}(f) - g_\sigma\|_{K_\sigma} \to 0 $ および $ \|T^{(\zeta_0)}_{n_k^\sigma}(f)\|_{E_k} \to 0 $ が成り立つようにする。ここで $ E_k $ はすべての $ K_\sigma $ と交わらない。
• 成長を制御し、オストロフスキー・ギャップ条件を導出するために、$ \|T^{(\zeta_0)}_{n_k^\sigma}(f)\|_{|z|=k}^{1/n_k^\sigma} \leq 2 $ という評価を用いる。
• 既知の結果（例：[16] の補題 9.2）を活用し、近似性を $ \zeta_0 $ から $ \Omega $ 内の任意の $ \zeta $ へ移すことで、展開点の依存性が無いことを証明する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、テイラー型作用素族が非交差超循環的となるか？
• RQ2 テイラー級数のユニバーサル性は、異なる部分和の列を持つ複数の作用素へ拡張可能か？
• RQ3 非交差超循環的ベクトルの集合は、展開点 $ \zeta_0 \in \Omega $ の選択に依存しないか？
• RQ4 オストロフスキーのギャップは、テイラー多項式のユニバーサル性および近似性にどのように寄与するか？
• RQ5 ポテンシャル理論的手法を用いて、異なる展開中心間でのユニバーサル性の不変性を証明可能か？

主な発見

• 数列 $ \{n\}, \{n^2\}, \dots, \{n^{\sigma_0}\} $ に対して、クラス $ U^{(\zeta_0)}_{\text{mult}}(\{n\}, \{n^2\}, \dots, \{n^{\sigma_0}\}) $ が空でないための必要十分条件は、$ \{\lambda_n^{(\sigma)}\} $ が相対的発散性に関連する特定の成長条件を満たすことである。
• 数列 $ \{n^\sigma\}_{n \in \mathbb{N}} $ に対して、非交差超循環的ベクトルの集合は $ \zeta_0 \in \Omega $ の選択に依存せず、$ f \in U^{(\zeta_0)}_{\text{mult}} $ ならばすべての $ \zeta \in \Omega $ に対して $ f \in U^{(\zeta)}_{\text{mult}} $ が成り立つ。
• 証明は、部分列 $ \{n_k\} $ を構成し、その上で $ K_\sigma $ 上で目標関数へ一様収束するテイラー多項式と、互いに交わらない集合 $ E_k $ 上で発散しない性質を満たすことで、ギャップ解析を可能にする。
• オストロフスキーのギャップは、成長条件 $ \left(\frac{n_k}{p_k}\right)^\sigma \leq \log k $ を通じて確立され、これにより $ \lim_{\nu} |a_\nu|^{1/\nu} = 0 $ が保証され、一様近似が成立する。
• コンパクト集合 $ \mathbb{C} $ 上で $ \sup_{\zeta \in L} \|T^{(\zeta)}_{p_k^\sigma}(f) - T^{(\zeta)}_{n_k^\sigma}(f)\|_{K_\sigma} \to 0 $ が成り立つため、ユニバーサル性が中心間で移行可能である。
• この結果により、$ \zeta \in \Omega $ によってインデックス付けられる非可算個の作用素族 $ \{T^{(\zeta)}_{n^\sigma}\}_{n \in \mathbb{N}} $（σ = 1, …, σ₀）に対して d-超循環性が成り立ち、共通の部分列がすべての中心で同時にユニバーサル性を達成することが示された。