[论文解读] Optimal growth of frequently hypercyclic entire functions

David Drasin, Eero Saksman|arXiv (Cornell University)|Sep 2, 2011

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

一句话总结

该论文构造了一个在整个复平面上频繁超循环的整函数，其在微分算子作用下的增长速率达到最优，满足 $ M_f(r) \leq c e^r r^{-1/4} $，其中 $ c>0 $ 可任意小，这是可能的最快速率。构造方法结合了Rudin-Shapiro多项式与de la Vallée-Poussin多项式、热核估计以及块分解技术，以控制增长并确保频繁遍历性。

ABSTRACT

We solve a problem posed by A. Bonilla and K.-G. Grosse-Erdmann by constructing an entire function $f$ that is frequently hypercyclic with respect to the differentiation operator, and satisfies $M_f(r)\leq\displaystyle ce^r r^{-1/4}$, where $c>0$ be chosen arbirarily small. The obtained growth rate is sharp. We also obtain optimal results for the growth when measured in terms of average $L^p$-norms. Among other things, the proof applies Rudin-Shapiro polynomials and heat kernel estimates.

研究动机与目标

• 解决Bonilla与Grosse-Erdmann提出的问题：即在微分算子作用下，频繁超循环整函数的最小可能增长速率是多少。
• 在最大模 $ M_f(r) $ 和 $ L^p $-范数的意义下，建立此类函数增长的精确上界。
• 证明先前已知的上界并非最优，并构造出达到最佳可能衰减速率的示例。
• 统一并扩展不同 $ L^p $-范数下的增长速率结果，尤其区分临界情形 $ p=\infty $、$ p \in [2,\infty] $ 与 $ p \in (1,2] $。

提出的方法

• 将整函数 $ f $ 构造为块的无穷级数 $ f_k = \sum_{n \in \mathcal{A}_k} P_n f $，其中每个 $ P_n f $ 为具有受控紧支集与系数的多项式。
• 对 $ p \in [2,\infty] $ 使用Rudin-Shapiro多项式，对 $ p \in (1,2] $ 使用de la Vallée-Poussin多项式，利用其 $ L^p $-范数性质与最小上确界范数。
• 应用热核估计与三圆定理（Hadamard定理）来控制每个块 $ P_n f $ 的最大模，确保其在 $ r $ 上的衰减。
• 通过调节参数 $ \alpha_k $ 控制块之间的间距，从而控制函数 $ f $ 的增长，确保块之间充分分离以避免干扰并保持独立性。
• 利用Hausdorff-Young不等式与Stirling公式推导 $ M_{f,p}(r) $ 的下界，证明所构造增长速率的最优性。
• 在 $ L^1 $-范数情形中引入一个缓慢增长的因子 $ \phi(r) \to \infty $，以满足尖锐性条件 $ \limsup_{r\to\infty} r^{1/2} e^{-r} M_{f,1}(r) = \infty $。

实验结果

研究问题

• RQ1 在微分算子作用下，频繁超循环整函数的最慢可能增长速率是什么？
• RQ2 能否将先前已知的增长上界（如 $ M_f(r) \leq e^r \phi(r) r^{-1/4} $）改进，从而消除 $ \phi(r) $ 因子？
• RQ3 最优增长速率如何依赖于用于度量增长的 $ L^p $-范数，特别是当 $ p \in (1,\infty] $ 时？
• RQ4 增长速率 $ M_f(r) \leq c e^r r^{-1/4} $（其中 $ c>0 $ 可任意小）是否为尖锐的？能否通过单个整函数实现？
• RQ5 经典多项式如Rudin-Shapiro与de la Vallée-Poussin在构造具有最优增长的此类函数中起到什么作用？

主要发现

• 对任意 $ c>0 $，存在一个 $ D $-频繁超循环整函数 $ f $，使得对所有 $ r>0 $ 都有 $ M_f(r) \leq c e^r r^{-1/4} $，且该界为最优。
• 增长速率 $ M_f(r) \leq c e^r r^{-1/4} $ 是尖锐的，因为每一类此类函数都必须满足 $ \limsup_{r\to\infty} r^{1/4} e^{-r} M_f(r) > 0 $。
• 对 $ p \in (1,2] $，最优增长为 $ M_{f,p}(r) \leq c e^r r^{-1/(2p)} $；对 $ p \in [2,\infty] $，为 $ M_{f,p}(r) \leq c e^r r^{-1/4} $，两者均为尖锐。
• 在 $ L^1 $-范数情形下，最优增长为 $ M_{f,1}(r) \leq \phi(r) e^r r^{-1/2} $，其中 $ \phi(r) \to \infty $ 任意，且该界尖锐，因为 $ \limsup_{r\to\infty} r^{1/2} e^{-r} M_{f,1}(r) = \infty $。
• 所构造的函数满足 $ M_{f,p}(r) \asymp e^r r^{-\max(1/(2p), 1/4)} $（$ r>1 $），确认了衰减速率的最优性。
• 函数的块结构（其中块 $ P_n f $ 经过精心安排）对保持独立性至关重要，并使得Hadamard三圆定理在增长估计中得以应用。