A weaker but simpler sieve inequality

技术摘要：“一个较弱但更简单的筛法不等式”

问题陈述
本文研究了关于特定筛权重之和的估计问题，这是解析数论中关于素数及几乎素数分布的一个核心任务。作者关注于定义在素数集 $P$ 上的两个相关求和，其中 $P(z) = \prod_{p \in P, p < z} p$。令 $\lambda_d$ 为一个定义在 $P(z)$ 的约数 $d$ 上的实数序列，满足 $|\lambda_d| \leq \tau_k(d)$。

研究的主要对象是求和式 $W$：
$$W = \sum_{d|P} d \left( \sum_{\substack{m|P \\ m \equiv 0 \pmod d}} \frac{\lambda_m}{m} \right)^2$$
此前，在 Friedlander 和 Iwaniec 的工作中 [3]，已经建立了 $W$ 的一个界限（引理 6.18），表明对于特定的筛权重（$\beta$-筛），$W \ll \prod_{p|P} (1 - 1/p)$。然而，该结果的证明过程存在一个被 K. Matomäki 指出的微小缺陷，且其推导过程被认为较为复杂。

本文还考虑了一个“较小”的求和式 $U$，这也是 Atle Selberg 在 1981 年致作者的一封信件中所讨论的对象：
$$U = \sum_{d|P} \phi(d) \left( \sum_{\substack{m|P \\ m \equiv 0 \pmod d}} \frac{\lambda_m}{m} \right)^2$$
其中 $\phi$ 是欧拉函数。虽然从技术上讲 $U$ 是一个比 $W$ 更小的求和式（因为 $\phi(d) < d$），但本文认为 $U$ 对于某些应用而言是更自然的数学对象，并且其证明过程显著更为简单。

方法论
其核心方法论贡献在于推导并利用了一个特定的代数恒等式，将求和式 $U$ 转化为一种易于进行平凡估计的形式。

1. 基本恒等式： 本文建立如下恒等式：
   $$\sum_{d|P} \phi(d) \left( \sum_{\substack{m|P \\ m \equiv 0 \pmod d}} \frac{\lambda_m}{m} \right)^2 = \prod_{p \in P} \left(1 - \frac{1}{p}\right) \sum_{\delta|P} \frac{\theta_\delta^2}{\phi(\delta)}$$
   其中 $\theta_m = \sum_{d|m} \lambda_d$。该恒等式通过交换求和顺序并利用最大公约数与欧拉函数的性质推导得出。

2. 与 $W$ 的对比： 作者将其与 $W$ 的恒等式进行了对比，后者涉及一个更为复杂的结构（在 [3] 中被称为恒等式 (4.2)，在 [6] 中为 (57)）。$U$ 的恒等式被描述为“简洁”且“易于证明”，而对 $W$ 的处理则“相当复杂”。

3. 估计策略： 为了估计 $U$ 恒等式右侧的项，作者对 $\theta_\delta^2$ 项采用了平凡估计。具体而言，利用不等式 $\theta_\delta^2 \leq \tau(\delta)|\theta_\delta|$，将求和式简化为涉及约数函数的形式。作者指出，对于筛权重（特别是 $\beta$-筛和 Selberg $\Lambda^2$-筛），系数的行为表现得如同受限于几乎素数，使得约数函数 $\tau(\delta)$ 保持足够小，从而确保求和式保持有界。

4. 推广： 本文将这些恒等式推广到涉及乘性函数 $f$ 和 $f'$（其中 $f'(p) = f(p) - 1$）的更一般情形，从而得到了涵盖特定筛区间情况的广义恒等式 (3.1)。

主要结果

• Selberg 猜想的证明： 本文提供了对求和式 $U$ 的界限证明，该界限由作者在 [1] 中提出并由 Selberg 在其 1981 年的信件中予以确认。结果为：
  $$\sum_{d|P} \phi(d) \left( \sum_{\substack{m|P \\ m \equiv 0 \pmod d}} \frac{\lambda_m}{m} \right)^2 \ll \prod_{p|P} \left(1 - \frac{1}{p}\right)$$
  该结论对 $\beta$-筛权重和 Selberg $\Lambda^2$-筛权重均成立。
• 证明的简化： 与证明 $W$ 的更强界限相比，$U$ 的界限推导过程被呈现为“更快且更清晰”。
• 对前人工作的修正： 本文承认 [3] 中关于 $W$ 的界限证明存在缺陷，并指出在附录中（与 Iwaniec 共同完成）提供了修正后的证明。
• 在短区间的应用： 作者指出，对于关于短区间内素数及几乎素数分布的应用（特别是长度为 $g(x)\log x$ 且 $g(x) \to \infty$ 的区间），$U$ 的界限“正是实际所需”的。在先前的估计中（例如 [3] 中的方程 6.120），与 $d$ 互素的整数个数被估计为 $H$，而非更精确的 $H\phi(d)/d$；而求和式 $U$ 自然地适应了这种更精确的计数。

意义与主张
本文声称其意义较为适度，将其定位为先前结果的一个“较弱但更简单”的替代方案。

• 自然性： 作者认为 $U$ 比 $W$ 是“更自然”的求和式，这由恒等式 (2.3) 的简洁性所证明。
• 充分性： 其主要主张是，尽管 $W$ 的界限更强，但 $U$ 的界限对于估计短区间内素数及几乎素数的特定应用已足够。
• 历史背景： 本文旨在强调 Atle Selberg 在 1981 年一封信件中提出的、曾被忽视或遗忘的结果，为 Selberg 确认的不等式提供了一个现代且精简的证明。
• 无新应用： 本文并未提出新的应用或未来的影响。它严格限制在对现有筛不等式及其在短区间问题中相关性的理论简化上，并指出 K. Matomäki 最近的发展已进一步利用了此类结果。

综上所述，本文为特定的筛不等式（$U$）提供了一个精简且具有代数优雅性的证明，虽然在技术上弱于已知的 $W$ 的结果，但足以应对素数理论中短区间问题的关键应用，并避免了早期证明中的复杂性与缺陷。