[论文解读] On The Symmetry Of Arithmetical Functions In Almost All Short Intervals, V

Giovanni Coppola|ArXiv.org|Jan 29, 2009

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

一句话总结

本文为具有非负指数和的算术函数建立了一个“控制原理”，表明其在几乎所有短区间内的对称性下界由限制除数函数的对称性与涉及函数均值和其支集的附加项组合而成。关键结果为对称性积分 $ I_f(N,h) $ 提供了非平凡的下界，在函数傅里叶系数和算术结构满足温和条件时，优于平凡估计。

ABSTRACT

We study the symmetry in short intervals of arithmetic functions with non-negative exponential sums.

研究动机与目标

• 为指数和非负的算术函数发展一个控制原理，以实现对它们在短区间内对称性的更强估计。
• 通过引入与莫比乌斯函数的非负狄利克雷卷积定义的新函数类，扩展先前关于算术函数对称性的结果。
• 推导对称性积分 $ I_f(N,h) $ 的非平凡下界，该积分衡量 $ f $ 在短区间附近的 L2-对称性。
• 通过调和分析和指数和估计，将 $ f $ 的对称性与限制除数函数 $ d_Q $ 的对称性联系起来。
• 提供一个框架，其中选择非负均值 $ f(0) $ 可确保指数和非负，从而可应用控制原理。

提出的方法

• 定义对称性积分 $ I_f(N,h) = \bigint_{h}^{N} \big| \textstyle\bigsum_{|n-x|\toleq h} f(n) \text{sgn}(n-x) \big|^2 dx $，以捕捉 $ f $ 在短区间内的 L2-对称性。
• 引入混合相关函数 $ \text{C}_{f_1,f_2}(a) = \textstyle\bigsum_{|a|<n\toleq N-|a|} f_1(n)f_2(n-a) $，用于关联两个函数的对称性。
• 建立控制原理：若 $ f $ 的指数和 $ S_f(\theta) \togeq 0 $ 对所有 $ \theta \toin [0,1] $ 成立，则 $ I_f(N,h) \text{~}\text{~}\text{~} I_{f,d_Q}(N,h) + h^3 + f(0)h^2 + Qhf(0) + Qh^2 $。
• 利用条件 $ \text{supp}(f * \bar{\nu}) \tosubseteq [1,Q] $ 和 $ f(n) \text{~}\text{~}\text{~} N^\theta $ 对 $ n \toleq N $，其中 $ \theta < 1/2 $，以控制误差项。
• 应用柯西-施瓦茨不等式将 $ I_{f,d_Q} $ 与 $ I_f $ 和 $ I_{d_Q} $ 关联，并利用 [C-S] 和 [C2] 中已知的界估计 $ I_{d_Q}(N,h) \text{~}\text{~}\text{~} Nh $。
• 使用法里序列 $ \text{F}_Q $ 将分析限制在有理频率 $ j/q $ 上，从而将条件 $ S_f(\theta) \togeq 0 $ 简化为有限组检查。

实验结果

研究问题

• RQ1 在何种条件下，算术函数 $ f $ 在几乎所有短区间内的对称性能超过平凡下界？
• RQ2 如何利用指数和 $ S_f(\theta) $ 的非负性，推导对对称性积分 $ I_f(N,h) $ 的有意义下界？
• RQ3 限制除数函数 $ d_Q $ 在控制具有非负指数和的一般算术函数对称性中起什么作用？
• RQ4 能否选择非负均值 $ f(0) $，使得对所有 $ \theta \toin \text{F}_Q $ 都有 $ S_f(\theta) \togeq 0 $，这又如何影响对称性积分？
• RQ5 对称性积分 $ I_f(N,h) $ 在多大程度上可被涉及 $ Qhf(0) $ 和 $ Qh^2 $ 的项从下方控制，其非平凡性的临界点是什么？

主要发现

• 控制原理表明，在 $ S_f(\theta) \togeq 0 $ 对所有 $ \theta \toin [0,1] $ 成立的条件下，有 $ I_f(N,h) \text{~}\text{~}\text{~} I_{f,d_Q}(N,h) + h^3 + f(0)h^2 + Qhf(0) + Qh^2 $。
• 在附加约束 $ h^2 \toleq Q $ 和 $ \theta = \frac{\text{log}\thinspace h}{\text{log}\thinspace N} < \frac{1}{2} $ 下，该界改进为 $ I_f(N,h) \text{~}\text{~}\text{~} Nh\thinspace\text{sqrt}(h) + Qhf(0) + Qh^2 $，该结果为非平凡。
• 项 $ I_{d_Q}(N,h) \text{~}\text{~}\text{~} Nh $ 已知于 [C-S]，当与柯西-施瓦茨不等式结合时，可得 $ I_{f,d_Q}(N,h) \text{~}\text{~}\text{~} Nh^{3/2} $，在 $ \theta < 1/2 $ 时主导 $ h^3 $。
• 若对所有 $ \theta \toin \text{F}_Q $（即 $ Q $ 阶法里序列）都有 $ S_f(\theta) \togeq 0 $，则控制原理成立，该条件弱于要求在 $[0,1]$ 上处处非负。
• 选择 $ f(0) = QN^{2\theta} $ 可确保 $ S_f(\theta) \togeq 0 $ 在 $ \text{F}_Q $ 上成立，并导出界 $ I_f(N,h) \text{~}\text{~}\text{~} I_{f,d_Q}(N,h) + Q^2h + Qh^2 $，其中 $ Q^2h $ 为非平凡余项。
• 该方法提供了一个框架，使得 $ g = f * \bar{\nu} \togeq 0 $ 且 $ g \text{~}\text{~}\text{~} 1 $，从而可利用经典指数和估计控制 $ \text{Re}(S_f(\theta)) $。