[论文解读] 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.

研究动机与目标

• 将全纯泰勒级数的普遍性概念推广至多重普遍性，扩展先前关于双重普遍级数的研究。
• 为将全纯函数投影到部分泰勒多项式的算子族建立不相交超循环性的必要与充分条件。
• 研究此类算子的不相交超循环向量是否在展开点ζ₀改变时保持不变。
• 应用势论与奥斯特洛夫斯基间隙技术分析这些算子的普遍性性质。
• 证明对于 uncountably many 算子族 { T^{(ζ)}_{n^{σ}} }_{n ∈ ℕ}，σ = 1,…,σ₀，其 d-超循环性成立，且所有ζ₀ ∈ Ω的逼近具有一致性。

提出的方法

• 定义全类 $ U^{(\theta_0)}_{\text{mult}} $，其部分泰勒多项式能同时逼近多个紧致集 $ K_1, \dots, K_{\sigma_0} $ 上任意紧支全纯函数。
• 使用势论工具（例如[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 $ 转移到任意其他 $ \zeta \in \Omega $，从而证明展开点的无关性。

实验结果

研究问题

• RQ1 在何种条件下，泰勒型算子族是不相交超循环的？
• RQ2 泰勒级数的普遍性能否推广至具有不同部分和序列的多个算子？
• RQ3 不相交超循环向量的集合是否与展开点 $ \zeta_0 \in \Omega $ 的选择无关？
• RQ4 奥斯特洛夫斯基间隙如何促进泰勒多项式的普遍性与逼近性质？
• RQ5 势论方法能否用于证明普遍性在不同展开中心之间的不变性？

主要发现

• 当且仅当序列 $ \{\lambda_n^{(\sigma)}\} $ 满足与相对发散性相关的特定增长条件时，类 $ U^{(\zeta_0)}_{\text{mult}}(\{n\}, \{n^2\}, \dots, \{n^{\sigma_0}\}) $ 非空。
• 对于序列 $ \{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 $，确保一致逼近。
• 收敛性 $ \sup_{\zeta \in L} \|T^{(\zeta)}_{p_k^\sigma}(f) - T^{(\zeta)}_{n_k^\sigma}(f)\|_{K_\sigma} \to 0 $ 在 $ \mathbb{C} $ 上紧致成立，从而实现普遍性在不同中心间的转移。
• 结果表明，对于 uncountably many 算子族 $ \{T^{(\zeta)}_{n^\sigma}\}_{n \in \mathbb{N}} $，σ = 1,…,σ₀，其 d-超循环性成立，且存在一个公共子序列可实现所有中心的同步普遍性。