[论文解读] Convergence and almost sure properties in Hardy spaces of Dirichlet series

Frédéric Bayart|arXiv (Cornell University)|Jan 8, 2021

Holomorphic and Operator Theory参考文献 22被引用 8

一句话总结

本文提出了一种针对Dirichlet级数频率 𝜆 的新条件（NC），该条件可确保有界全纯 𝜆-Dirichlet 级数在右半平面内的一致收敛性，从而扩展了Bohr与Landau的经典结果。此外，通过调和分析方法，本文建立了 Hardy 空间 ℋ_p(𝜆) 中的几乎必然收敛结果，同时揭示了将这些空间视为标准全纯函数空间时所面临的困难。

ABSTRACT

Given a frequency $\\lambda$, we study general Dirichlet series $\\sum a_n e^{-\\lambda_n s}$. First, we give a new condition on $\\lambda$ which ensures that a somewhere convergent Dirichlet series defining a bounded holomorphic function in the right half-plane converges uniformly in this half-plane, improving classical results of Bohr and Landau. Then, following recent works of Defant and Schoolmann, we investigate Hardy spaces of these Dirichlet series. We get general results on almost sure convergence which have an harmonic analysis flavour. Nevertheless, we also exhibit examples showing that it seems hard to get general results on these spaces as spaces of holomorphic functions.

研究动机与目标

• 通过在频率 𝜆 上引入一个严格弱于经典条件（BC）和（LC）的新条件（NC），将Bohr的一致收敛定理推广至经典条件之外。
• 研究一般 𝜆-Dirichlet 级数的 Hardy 空间 ℋ_p(𝜆) 的结构与收敛性质，特别关注几乎必然收敛性。
• 阐明尽管 ℋ_p(𝜆) 具有 Banach 空间结构，但将其视为标准全纯函数空间时所存在的局限性。
• 利用插值法与向量值不等式，为 ℋ_1(𝜆) 上的部分和算子 S_N 提供新的算子范数估计。
• 探讨从 ℋ_2(𝜆) 到 ℋ_p(𝜆) 的平移算子 T_σ 的有界性，识别出当 p ≥ 2 时的最优阈值。

提出的方法

• 提出一种新的频率条件（NC），量化了 𝜆_n 的增长与分离性，其弱于（LC），并确保有界 Dirichlet 级数的一致收敛性。
• 采用基于卷积的光滑化技术，灵感来源于 Saksman 对普通 Dirichlet 级数的公式，与以往研究中使用的 Riesz 平均方法不同。
• 通过 ℋ_p(𝜆) 与 𝜆-Dirichlet 群 (G, 𝛽) 上 L_p(G) 子空间之间的 Bohr 对应关系，应用调和分析，借助群特征实现范数估计。
• 利用 Hölder 不等式与 Helson 不等式处理 L_1-正则化范数，以控制 ℋ_1(𝜆) 上部分和算子 S_N 的算子范数。
• 分析 Dirichlet 多项式幂的 L_2k-范数，推导出平移算子 T_σ 范数的下界，从而得出最优阈值。
• 构造具有受控系数与频率的 Dirichlet 多项式族，以检验收敛性与有界性结果的最优性。

实验结果

研究问题

• RQ1 是否存在一个严格弱于（LC）的频率条件（NC），仍能保证有界 𝜆-Dirichlet 级数在右半平面内的一致收敛性？
• RQ2 考虑到其非标准结构，Hardy 空间 ℋ_p(𝜆) 在多大程度上可被表征为全纯函数空间？
• RQ3 平移算子 T_σ 的最优阈值 σ 是多少，使得当 p ≥ 2 时，T_σ 将 ℋ_2(𝜆) 映射到 ℋ_p(𝜆)？
• RQ4 能否独立于 𝜆 对 ℋ_1(𝜆) 上的部分和算子 S_N 的算子范数进行有界估计？若能，其最优增长速率为何？
• RQ5 Dirichlet 多项式在 ℋ_p(𝜆) 中的范数在卷积与幂运算下的行为如何？这对 ℋ_p(𝜆) 的结构有何启示？

主要发现

• 新条件（NC）严格弱于（LC），但仍能保证每个有界全纯 𝜆-Dirichlet 级数在每个右半平面 ℂ_ε（ε > 0）内一致收敛。
• 对于例 2.3 中定义的频率序列，ℋ_1(𝜆) 上算子 S_N 的范数满足 ‖S_N‖_{ℋ_1→ℋ_1} ≤ C log(N)，优于已知界。
• 平移算子 T_σ 仅当 σ ≥ (k−1)/(2k) 时，有界映射 ℋ_2(𝜆) 到 ℋ_2k(𝜆)，且对所构造的多项式族而言该阈值是精确的。
• 对同一频率序列，T_σ 从 ℋ_2(𝜆) 到 ℋ_p(𝜆) 的范数有界当且仅当 σ ≥ (p−2)/(2p)，提示存在一个猜想中的最优阈值。
• 比值 Λ_N = sup ‖D‖_2 / ‖D‖_1 对所有次数为 N 的 𝜆-Dirichlet 多项式满足 Λ_N ≤ √N，从而导出 ℋ_1(𝜆) 上算子范数的 log(N) 估计。
• 本研究揭示，ℋ_p(𝜆) 空间的行为不同于标准全纯函数空间，因为一般收敛性与有界性结果难以获得。