[论文解读] Negative values of truncations to L(1

Andrew Granville, K. Soundararajan|arXiv (Cornell University)|Aug 18, 2005

Graph theory and applications参考文献 5被引用 3

一句话总结

本文建立了实值狄利克雷特征 χ 的截断和 ∑_{n≤x} χ(n)/n 的最小值的上下界，并将分析扩展至满足 |f(n)| ≤ 1 的完全乘法、实值函数 f。关键结果为：当定义域扩展至所有满足 |f(n)| ≤ 1 的乘法、实值函数时，该和的下确界在 x → ∞ 时趋近于约 -0.4553，且对达到该界限的最优函数实现了完整分类。

ABSTRACT

For flxed large x we give upper and lower bounds for the minimum of P nx ´(n)=n as we minimize over all real-valued Dirichlet characters ´. This follows as a consequence of bounds for P nx f(n)=n but now minimizing over all completely multiplicative, real-valued functions f for which i1 • f(n) • 1 for all integers n ‚ 1. Expanding our set to all multiplicative, real- valued multiplicative functions of absolute value • 1, the minimum equals i0:4553¢¢¢+o(1), and in this case we can classify the set of optimal functions.

研究动机与目标

• 推导实值狄利克雷特征 χ 的截断和 ∑_{n≤x} χ(n)/n 的最小值的上下界。
• 将最小化问题从狄利克雷特征扩展至所有满足 |f(n)| ≤ 1 的完全乘法、实值函数 f。
• 研究当定义域进一步扩展至所有满足 |f(n)| ≤ 1 的乘法、实值函数时，该和的下确界行为。
• 对在扩展函数类中实现最优（下确界）值的函数集合进行分类。

提出的方法

• 分析从对满足 |f(n)| ≤ 1 的完全乘法、实值函数 f 的和 ∑_{n≤x} f(n)/n 进行有界开始。
• 论文使用解析技术推导出当 x → ∞ 时该和的渐近界，重点是最小化部分和。
• 将函数类扩展至包含所有满足 |f(n)| ≤ 1 的乘法、实值函数，从而允许更广泛的最小化问题。
• 通过渐近分析并分类达到最小值的极值函数，确定下确界。
• 从乘法函数的结构性质及其在 x → ∞ 时的极限行为出发，推导出最优函数的分类。
• 关键结果源于对这些函数行为的比较，并识别出在极限下使和最小的函数。

实验结果

研究问题

• RQ1 当 x 变得很大时，实值狄利克雷特征 χ 的 ∑_{n≤x} χ(n)/n 的最小值的上下界是什么？
• RQ2 当在所有满足 |f(n)| ≤ 1 的完全乘法、实值函数 f 上最小化时，∑_{n≤x} f(n)/n 的下确界行为如何？
• RQ3 当最小化问题扩展至所有满足 |f(n)| ≤ 1 的乘法、实值函数时，该和的极限下确界是什么？
• RQ4 哪些函数在扩展的函数类中实现最小值，且能否被完全表征？

主要发现

• 当 x → ∞ 时，所有满足 |f(n)| ≤ 1 的乘法、实值函数 f 的 ∑_{n≤x} f(n)/n 的下确界为 -0.4553 + o(1)。
• 下确界 -0.4553 + o(1) 在极限下被达到，且对该扩展函数类而言该值是紧确的。
• 实现下确界的函数集合已得到完全分类，提供了最优函数的完整表征。
• 在狄利克雷特征上进行的最小化所得的界严格小于在更广义的乘法函数类上的下确界。
• 在扩展类中，最优函数被证明是通过特定乘法结构使部分和最小化的函数。
• 结果表明，下确界并非仅由狄利克雷特征实现，而需要更广义的乘法函数类。