Complete Asymptotic Expansion of the Additive Mertens Sum $S_k(x)$

技术摘要：加性梅滕斯和 $S_k(x)$ 的完整渐近展开

问题陈述
本文研究了对于整数 $k \ge 2$ 和 $x > 2$ 的加性梅滕斯和（additive Mertens sum）的渐近行为，其定义为：
$$S_k(x) = \sum_{p_1 \le x} \cdots \sum_{p_k \le x} \frac{1}{p_1 + \cdots + p_k},$$
其中 $p_i$ 为素数。虽然乘法类似物（广义梅滕斯和 $\sum 1/(p_1 \cdots p_k)$）具有阶数为 $(\log \log x)^k$ 的主项，但加性求和展现出了根本不同的增长速率。通过 AM-GM 不等式和素数定理（PNT）得到的初等界限表明，其主项的阶数为 $x^{k-1}/\log^k x$。本研究的主要目标是建立 $S_k(x)$ 的完整渐近展开式，确定该级数的精确系数，并为初始项提供闭合形式表达式。

方法论
作者结合了解析数论与实变量分析技术：

1. Stieltjes 积分表示法： 将该求和式重新表述为涉及素数计数函数 $\pi(u)$ 的 $k$ 重 Stieltjes 积分。
2. 素数定理分解： 将微分 $d\pi(u)$ 分解为主项 $du/\log u$ 与余项 $dR(u)$，其中$R(u) = \pi(u) - \text{Li}(u)$。通过分部积分法和对$R(u)$的界限分析，证明由余项产生的误差项是微不足道的（其衰减速度快于任何$\log x$ 的幂次）。
3. 变量重标度与泰勒展开： 通过 $u_j = x t_j$ 对主项积分进行重标度。将定义域划分为“主区域”（$t_j$ 远离 0）和“边界区域”。在主区域中，利用包含完全齐次对称多项式 $h_n$ 的多元泰勒级数对核函数 $\prod (L + \log t_j)^{-1}$（其中 $L = \log x$）进行展开。
4. 拉普拉斯变换技术： 利用恒等式 $1/(\sum t_j) = \int_0^\infty e^{-x \sum t_j} dx$，将所得的系数积分转化为单变量积分。这使得问题转化为分析满足特定高阶微分方程的生成函数。
5. 有限差分提取： 利用应用于生成函数的向前差分算子 $\Delta^{k-1}$ 来提取展开式的系数，并利用“次数小于 $k-1$ 的多项式的差分为零”这一性质。

核心贡献与结果

• 完整渐近展开 (定理 1)： 本文证明了对于任何固定的 $N \ge 0$：
  $$S_k(x) = \frac{x^{k-1}}{\log^k x} \sum_{n=0}^N \frac{E_{k,n}}{\log^n x} + O\left(\frac{x^{k-1}}{\log^{k+N+1} x}\right).$$
  系数 $E_{k,n}$ 由绝对收敛的多重对数积分给出：
  $$E_{k,n} = (-1)^n \int_{(0,1]^k} \frac{h_n(\log t_1, \dots, \log t_k)}{t_1 + \cdots + t_k} dt.$$

• 初始系数的闭合形式 (定理 2)：

  • 主项 ($E_{k,0}$)： 推导出了一个涉及由二项式系数和幂次加权的对数有限和的闭合形式。
  • 二阶项 ($E_{k,1}$)： 该系数被表达为一个包含 $\pi^2$、$\log m$ 和二阶对数函数 $\text{Li}_2(-1/m)$ 的基底。
  • 三阶项 ($E_{k,2}$)： 该系数被分解为一个“对角”部分（$k A_k$）和一个“交叉”部分（$\binom{k}{2} B_k$）。对角部分对于所有 $k$ 都有涉及 $\zeta(3)$、$\pi^2$、$\text{Li}_3(-1/m)$ 和对数和的闭合形式。交叉部分对于 $k \le 4$ 是完全显式的，但对于 $k \ge 5$ 则表现出结构上的复杂性，涉及分母 $\ge 5$ 的多重对数函数，这些函数似乎无法简化为标准基底。

• 针对 $k=2$ 和 $k=3$ 的显式展开：

  • 对于 $k=2$，论文提供了整个序列 $\{E_{2,n}\}_{n \ge 0}$ 的闭合公式。这些系数是 $\log 2$ 和黎曼 $\zeta$ 函数值的显式 $\mathbb{Q}$-线性组合，是通过狄利克雷 Eta 函数推导得出的。
  • 对于 $k=3$，论文给出了展开式的前三项，结合了 $E_{3,0}, E_{3,1}, E_{3,2}$ 的计算结果。

• 数值验证： 作者对 $x = 10^7$ 以下的 $S_2(x)$ 和 $S_3(x)$ 进行了数值计算。结果证实相对误差随 $x \to \infty$ 而减小，且增加后续项能提高精度，这与渐近级数的特性一致。数据同时也说明了固定 $x$ 时的最优截断现象。

意义与主张
本文声称提供了文献中对加性类梅滕斯和的首次研究。其主要意义在于：

1. 确立了正确的数量级（$x^{k-1}/\log^k x$）以及该和式的完整渐近结构，这与乘法情形形成了对比。
2. 将渐近系数的计算简化为特定多重积分的求值，并提供了领先项和次领先项的显式闭合形式。
3. 识别了 $k \ge 5$ 时系数的结构性分歧，即“交叉”项引入了可能无法简化为统一闭合形式的多重对数函数，这揭示了此类求和在当前分析能力下的一个边界。

这项工作严格依赖于素数定理（PNT）的实变量形式，并未调用深层猜想（如黎曼假设）来得出主要渐近结果，尽管误差项取决于经典的 PNT 误差界。论文结论指出，虽然高阶系数的对角部分可以通过生成函数进行处理，但交叉部分为寻求统一的闭合形式带来了根本性的障碍。