arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~

加法默滕斯和 \(S_k(x)\) 的完整渐近展开

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

Daoyi Peng, Hao Liu

arXiv 2607.04366首次发表:更新:

AI 中文总结

研究加法默滕斯和 \(S_k(x)\),通过实变量素数定理、变量缩放等方法,建立其完整渐近展开,给出系数表达式,还得到 \(E_{k,0}\)、\(E_{k,1}\) 等的闭式及 \(S_2(x)\)、\(S_3(x)\) 展开的前三项。

AI 中文摘要

设 \(p_1,\cdots,p_k\) 为不超过 \(x\) 的素数(\(k\geqslant2\)),定义加法默滕斯和 \(S_k(x)=\sum_{p_1\leqslant x}\cdots\sum_{p_k\leqslant x}\frac{1}{p_1+\cdots +p_k}\)。与Tenenbaum广义默滕斯和不同,\(S_k(x)\) 首项为 \(x^{k - 1}/\log^k x\)。建立其完整渐近展开并给出系数表达式,还给出部分闭式。证明依赖素数定理等。

英文摘要

Let $p_1, \dotsc, p_k$ be primes not exceeding $x$ ($k \geqslant 2$), and define the additive Mertens sum \[ S_k(x) = \sum_{p_1 \leqslant x} \cdots \sum_{p_k \leqslant x} \frac{1}{p_1 + \dotsm + p_k}. \] In contrast to Tenenbaum's generalized (multiplicative) Mertens sum, whose leading term has order $(\log \log x)^k$, the sum $S_k(x)$ has leading term of order $x^{k-1}/\log^k x$. We establish the complete asymptotic expansion \[ S_k(x) = \frac{x^{k-1}}{\log^k x} \sum_{n=0}^{N} \frac{E_{k,n}}{\log^n x} + O_{k,N}\left(\frac{x^{k-1}}{\log^{k+N+1} x}\right) \quad (\forall\, N \geqslant 0), \] where the coefficients are given by absolutely convergent multiple logarithmic integrals \[ E_{k,n} = (-1)^n \int_{(0,1]^k} \frac{h_n(\log t_1, \dotsc, \log t_k)}{t_1 + \dotsm + t_k}\, \mathrm{d}\mathbf{t}, \] with $h_n$ the complete homogeneous symmetric polynomial of degree $n$. We derive closed-form expressions for the first two coefficients $E_{k,0}$ and $E_{k,1}$ for all $k$, and obtain the closed form for the diagonal part of the third coefficient $E_{k,2}$ (with $E_{k,2}$ fully explicit for $k \leqslant 7$), together with a uniform closed form for the coefficients of the new constants $G(-1/m)$, where $G(z)=\int_0^z \mathrm{Li}_2(t)/(1+t)\,\mathrm dt$, whose genuinely new instances first occur for $k \geqslant 5$ (Proposition 5.4); consequently, the first three terms of the expansions of $S_2(x)$ and $S_3(x)$ are fully explicit. For $k = 2$, we further obtain a closed-form expression for the entire sequence $\{E_{2,n}\}_{n \geqslant 0}$, whose values are explicit $\mathbb{Q}$-linear combinations of $\log 2$ and zeta values $ζ(j)$. The proofs rely on the real-variable form of the prime number theorem, variable rescaling, and multivariate Taylor remainder estimates.

Comments24 pages, 1 figures, 5 tables

论文原文

arXiv 摘要页 · PDF 原文 · HTML 原文

↑