[论文解读] On generalized Hardy classes of Dirichlet series

Johan Andersson|arXiv (Cornell University)|Jul 23, 2012

Analytic Number Theory Research参考文献 17被引用 5

一句话总结

本文将经典的 $ H^2 $ Hardy 类 Dirichlet 级数推广至具有任意指数序列 $ \lambda_n $ 的广义 $ H^2 $ 类，建立了短区间内对数 $ L^1 $-范数的定量估计，并将其应用于导出具有有界系数的 Dirichlet 级数的有效非零结果。关键贡献是给出了 Hurwitz 与 Lerch zeta 函数在 $ \operatorname{Re}(s) = 1 $ 上的 $ L^1 $-范数的显式下界，表明对于 $ \delta \leq 0.05 $，有 $ \inf_T \int_T^{T+\delta} |\zeta(1+it,\alpha)| \, dt \geq \delta^{7/(6\delta)} 10^{-9/\delta} $，该结果蕴含临界线上非零性，并支持非普遍性结果。

ABSTRACT

We generalize the Hardy class H^2 of Dirichlet series studied by Hedenmalm, Lindqvist, Olofsson, Olsen, Saksman, Seip and others to consider more general Dirichlet series. We prove some results on this class, such as estimates for its logarithmic L^1-norm in short intervals. We relate this to, and use these results to make a recent nonvanishing result of Dirichlet series of ours more explicit. In particular we give an application on the Hurwitz zeta-function.

研究动机与目标

• 将经典的 $ H^2 $ Hardy 类 Dirichlet 级数推广至具有任意指数序列 $ \lambda_n $ 的更广类，且满足差值上的增长条件。
• 在复平面 $ \operatorname{Re}(s) = \sigma $ 的短区间上，建立此类级数的对数 $ L^1 $-范数的定量估计。
• 将这些估计应用于导出具有有界系数的 Dirichlet 级数的有效非零结果，特别是 Hurwitz 与 Lerch zeta 函数的结果。
• 通过以 $ \delta $（短区间的长度）为参数，提供更明确的非零结果下界，使近期的非零结果更具有效性。
• 研究广义 $ H^2 $ 类的极小最大模问题，确定此类函数在短竖直线段上的最小可能最大模。

提出的方法

• 为 Dirichlet 级数 $ L(s) = \sum_{n=0}^\infty a_n e^{-\lambda_n s} $ 定义广义 $ H^2 $ 类 $ H^2(\lambda_n, \sigma) $，要求 $ \|L\|_2^2 = \sum |a_n|^2 < \infty $，且对 $ n \neq m $，有 $ e^{-\sigma(\lambda_n + \lambda_m)} / |\lambda_n - \lambda_m| $ 的一致有界性。
• 利用从半平面 $ \operatorname{Re}(s) > \sigma $ 到单位圆盘的全纯双射，将经典 $ H^2(T) $ 理论的结果转移到半平面设定中。
• 在半平面上应用 Jensen 不等式的一个版本，推导出 $ L(s) $ 的对数积分的界，从而得到 $ \log |L(s)| $ 的 $ L^1 $-范数估计。
• 利用 Riemann zeta 函数及其特殊值（如 $ \zeta(1+it) $）在最小化对数 $ L^1 $-范数中为极值这一事实，导出 $ \zeta(1+it) $ 的 $ L^1 $-范数的精确渐近估计。
• 通过构造形如 $ (1 - 2^{1-s})^n $ 的极值函数，获得 $ H^2 $ 中极小最大模问题的上界，表明在短区间内其衰减阶为 $ \delta^n $。
• 利用 Riemann zeta 函数的 Euler 乘积结构，获得比一般 Dirichlet 级数更优的界，尤其针对 $ \int_T^{T+\delta} |\zeta(1+it)| \, dt $ 及其倒数。

实验结果

研究问题

• RQ1 在长度为 $ \delta $ 的短区间上，Hurwitz zeta 函数 $ \zeta(s,\alpha) $ 在 $ \operatorname{Re}(s) = 1 $ 上的 $ L^1 $-范数的精确下界是什么？
• RQ2 能否使 Dirichlet 级数在 $ \operatorname{Re}(s) = 1 $ 上的非零性结果具有有效性？其关于 $ \delta $ 的最佳可能下界是什么？
• RQ3 $ \zeta(1+it,\alpha) $ 的 $ L^1 $-范数是否被某个阶为 $ \delta^N $ 的函数从下方控制，或者能否建立阶为 $ e^{-C/\delta} $ 的界？
• RQ4 广义 $ H^2 $ 类的极小最大模问题行为如何？此类函数在短竖直线段上的最小可能最大模是多少？
• RQ5 广义 $ H^2 $ 类中的 Dirichlet 级数的逆是否仍属于同一类？这对非零性估计有何影响？

主要发现

• 本文建立了 Hurwitz zeta 函数在 $ \operatorname{Re}(s) = 1 $ 上的 $ L^1 $-范数的有效下界：对于 $ \delta \leq 0.05 $，有 $ \inf_T \int_T^{T+\delta} |\zeta(1+it,\alpha)| \, dt \geq \delta^{7/(6\delta)} 10^{-9/\delta} $，该界非平凡且蕴含非零性。
• 对于 Riemann zeta 函数，其在 $ \operatorname{Re}(s) = 1 $ 上的 $ L^1 $-范数满足 $ \inf_T \int_T^{T+\delta} |\zeta(1+it)| \, dt = \frac{e^{-\gamma}\pi^2}{24} \delta^2 + O(\delta^4) $，表明其具有精确的二次衰减。
• Riemann zeta 函数在 $ \operatorname{Re}(s) = 1 $ 上的逆 $ L^1 $-范数满足 $ \inf_T \int_T^{T+\delta} |\zeta(1+it)|^{-1} \, dt = \frac{e^{-\gamma}}{4} \delta^2 + O(\delta^4) $，表明该函数在平均意义上不为零且远离零。
• 对于 $ H^2 $-类的极小最大模问题，其在 $ [\sigma, \sigma + \delta] $ 上的最大模的上界阶为 $ \delta^{\lfloor \log M / \log 3 \rfloor} $，该界可通过 $ (1 - 2^{1-s})^n $ 等构造实现。
• 广义 $ H^2 $ 类即使在经典 $ H^2 $ 框架失效时（如对非 Euler 乘积 Dirichlet 级数，如 Hurwitz zeta 函数）也能实现有效的非零结果。
• 结果表明 Riemann zeta 函数在最小化对数 $ L^1 $-范数中具有极值性，且该极值性导致其界优于一般 Dirichlet 级数。