[论文解读] A generalization of Gallagher's lemma for exponential sums

Giovanni Coppola, Maurizio Laporta|arXiv (Cornell University)|Oct 21, 2014

Analytic Number Theory Research参考文献 9被引用 3

一句话总结

本文通过在均方估计中引入权函数，将Gallagher引理由指数和推广至更一般情形，从而改进了Dirichlet多项式与Selberg积分的界。关键贡献在于提出一种加权不等式，通过自卷积实现更优的光滑化效果，其中Cesàro权在特定条件下优于方框权与Lanczos权，给出更紧的估计。

ABSTRACT

First we generalize a famous lemma of Gallagher on the mean square estimate for exponential sums by plugging a weight in the right hand side of Gallagher's original inequality. Then we apply it in the special case of the Cesaro weight, in order to establish some results mainly concerning the classical Dirichlet polynomials and the Selberg integrals of an arithmetic function $f$, that are tools for studying the distribution of $f$ in short intervals. Furthermore, we describe the smoothing process via self-convolutions of a weight, that is involved into our Gallagher type inequalities, and compare it with the analogous process via the so-called correlations. Finally, we discuss a comparison argument in view of refinements on the Gallagher weighted inequalities according to different instances of the weight.

研究动机与目标

• 通过在不等式右侧引入一般权函数，将Gallagher经典的指数和均方估计进行推广。
• 分析该推广对算术函数的Dirichlet多项式与Selberg积分的影响，尤其在短区间分布研究中的意义。
• 通过其傅里叶变换与区间上最小谱范数，比较Cesàro、Lanczos与方框权在平滑效果上的优劣。
• 建立加权不等式优于原始Gallagher引理的条件，特别是在Riemann zeta函数矩估计的背景下。
• 为在一般权条件下对加权Selberg积分 $ J_{w,f}(N,H) $ 的未来推广奠定基础。

提出的方法

• 通过在均方估计中插入权 $ w \to w_\rho $，推导出广义不等式 (⋆⋆)，其中关键项 $ m_{\rho,T} = \text{ess}\text{inf}_{|t|\neq T} |\tilde{w}_\rho(t)|^2 $ 确保傅里叶变换模的下界。
• 将该不等式应用于Cesàro权 $ C_\rho(y) = \text{max}(1 - \rho^{-1}|y|, 0) $，得到新估计 (⋆~)，通过短区间平均改进了原始Gallagher界。
• 比较自卷积 $ w * w $ 与相关性在平滑效果上的差异，表明自卷积能更优地控制指数和的 $ L^2 $-范数。
• 利用Hardy-Littlewood极大值原理，将 $ |s(\nu)| $ 的界与 $ b(\nu) $ 的界关联，从而通过非负自卷积比较加权和的界。
• 分析Lanczos权 $ \tilde{L}_{\rho,\rho} $，并与方框权及Cesàro权的傅里叶变换模进行比较，表明当 $ \rho T \to 1/2 $ 时具有渐近优势。
• 证明当 $ 0 < \rho T < 1/2 $ 时，Lanczos权 $ \tilde{L}_{\rho,\rho} $ 几乎比方框权 $ \textbf{1}_\rho $ 更优 $ T $ 倍，且Cesàro权 $ C_\rho $ 几乎比 $ \tilde{L}_{\rho,\rho} $ 更优 $ T $ 倍。

实验结果

研究问题

• RQ1 如何将Gallagher关于指数和的经典均方估计推广至包含任意权函数的情形？
• RQ2 该推广对算术函数的Dirichlet多项式与Selberg积分研究有何影响？
• RQ3 Cesàro、Lanczos与方框权在谱范数与指数和界方面有何比较优势？
• RQ4 在 $ L^2 $-范数估计背景下，Cesàro权在何种条件下严格优于方框权或Lanczos权？
• RQ5 广义不等式能否推广至加权Selberg积分 $ J_{w,f}(N,H) $，其对Riemann zeta函数矩估计有何启示？

主要发现

• 广义不等式 (⋆⋆) 对任意局部可积权 $ w \to w_\rho $ 成立，常数 $ m_{\rho,T} = \text{ess}\text{inf}_{|t|\neq T} |\tilde{w}_\rho(t)|^2 $ 提供了指数和 $ L^2 $-范数的下界。
• 对于Cesàro权 $ C_\rho $，不等式导出 $ \big\bracevert S \big\bracevert_{2,T}^2 \triangleq \big\bracevert \text{sum } s(\nu)e(\nu t) \big\bracevert_{L^2(-T,T)}^2 \triangleq \text{ess}\text{inf}_{|t|\neq T} |\tilde{C}_\rho(t)|^2 \times \text{integral of } |\text{sum } s(\nu)C_\rho(\nu - x)|^2 dx $，优于原始Gallagher界。
• 在条件 $ 0 < \rho T < 1/2 $ 下，由于傅里叶变换模的比值更有利，Cesàro权 $ C_\rho $ 被证明几乎比Lanczos权 $ \tilde{L}_{\rho,\rho} $ 更优 $ T $ 倍。
• 在相同条件下，Lanczos权 $ \tilde{L}_{\rho,\rho} $ 几乎比方框权 $ \textbf{1}_\rho $ 更优 $ T $ 倍，表明其平滑效率存在层级关系。
• 该方法为控制Selberg积分 $ J_f(N,h) $ 提供了新途径：假设 $ \tilde{J}_f(N,h) \triangleq \text{modified Selberg integral} \triangleq \text{bound} \text{ for } f $，则 $ J_f(N,h) \triangleq \text{unconditional lower bound} $，具体例子为：$ J_3(N,h) \triangleq \text{Selberg integral for } d_3 \triangleq \text{divisor function} $，且在假设 $ \tilde{J}_3(N,h) \triangleq \text{bound} \triangleq N^{1+\rho}h $ 下，可得 $ J_3(N,h) \triangleq \text{bound} \triangleq N^{1+\rho}h^{6/5} $。
• 改进后的界提示了通往Riemann zeta函数弱六阶矩的潜在路径，假设在 $ h \triangleq \text{small} $ 时有猜想界 $ \tilde{J}_3(N,h) \triangleq N^{1+\rho}h $，这将意味着对六阶矩存在非平凡上界。