[论文解读] Series of Reciprocal Powers of k-almost Primes

Richard J. Mathar|ArXiv.org|Mar 6, 2008

Analytic Number Theory Research参考文献 23被引用 11

一句话总结

本文提出一种高效计算 $k$-几乎素数倒数幂和的方法，通过将这些和表示为组合系数的普通素数Zeta函数 $P(s)$ 的组合，利用从置换循环指标导出的多项式系数。该方法使 $k=2$ 到 $6$ 以及 $s=2$ 到 $8$ 的这些级数能够实现高精度计算，借助已知的 $P(s)$ 收敛加速技术。

ABSTRACT

Sums over inverse s-th powers of semiprimes and k-almost primes are transformed into sums over products of powers of ordinary prime zeta functions. Multinomial coefficients known from the cycle decomposition of permutation groups play the role of expansion coefficients. Founded on a known convergence acceleration for the ordinary prime zeta functions, the sums and first derivatives are tabulated with high precision for indices k=2,...,6 and integer powers s=2,...,8.

研究动机与目标

• 开发一种系统化方法，用于评估关于 $k$-几乎素数（即恰好有 $k$ 个素因子，计入重数）的级数，通过将其简化为普通素数Zeta函数的组合。
• 实现此类级数的高精度数值计算，特别是那些在标准形式下收敛缓慢的级数。
• 将已知的素数Zeta函数 $P(s)$ 的收敛加速技术扩展到更一般的 $k$-几乎素数Zeta函数 $P_k(s)$ 类别。
• 对 $k=2,\ldots,6$ 和 $s=2,\ldots,8$ 的 $P_k(s)$ 及相关对数和 $L_{k,l}$ 进行高精度表格化，支持解析数论中的应用。

提出的方法

• 通过从置换循环指标多项式导出的组合系数，将 $k$-几乎素数上的和转化为多项式加权的普通素数Zeta函数 $P(s)$ 的乘积和。
• 应用恒等式 $P_k(s) = \sum_{\substack{\lambda \vdash k}} \frac{1}{z_\lambda} \prod_{i} P(is)^{\ell_i(\lambda)}$，其中 $\lambda$ 遍历 $k$ 的整数分拆，$z_\lambda$ 为循环指标的归一化因子。
• 利用已知的 $P(s)$ 收敛加速公式，如 $P(s) = \sum_{p \leq M} p^{-s} + \sum_{n=1}^\infty \frac{\mu(n)}{n} \log P(M, sn)$，以高精度计算 $P(s)$。
• 使用部分分式分解和生成函数，将对数和 $L_{k,l} = \sum_{\Omega(n)=k} \left[ \frac{1}{n} + \left(1 - \frac{1}{n}\right)^l \ln\left(1 - \frac{1}{n}\right) \right]$ 表示为 $P_k(s)$ 和有理系数的线性组合。
• 推导辅助多项式 $\tau_{i,l}$ 的递推关系，以将对数恒等式表示为 $P_k(s)$ 的形式，从而实现具有有理分母的级数的计算。
• 通过部分分式分解将非连续有理分母（例如 $1/[(s+1)(s+3)]$）简化为基底形式，从而实现对广义级数的系统化计算。

实验结果

研究问题

• RQ1 如何在不直接求和的情况下，高效计算 $k$-几乎素数的 $s$-次幂倒数和？
• RQ2 $k$-几乎素数Zeta函数与普通素数Zeta函数 $P(s)$ 之间的关系背后的组合结构是什么？
• RQ3 能否将 $P(s)$ 的收敛加速技术扩展到 $k > 1$ 时的 $P_k(s)$？
• RQ4 对于 $k=2$ 到 $6$ 和 $s=2$ 到 $8$，$P_k(s)$ 及相关对数和 $L_{k,l}$ 的数值行为和可达到的精度如何？
• RQ5 如何系统地将涉及 $n$ 和 $k$-几乎素数的有理函数的级数简化为已知的 $P_k(s)$ 成分？

主要发现

• $k$-几乎素数Zeta函数 $P_k(s)$ 可表示为对 $k$ 的整数分拆的有限和，其形式为普通素数Zeta函数 $P(is)$ 的乘积，权重为来自 $k$ 的分拆的多项式系数，从而实现高效计算。
• 利用 $P(s)$ 的收敛加速，对 $k=2$ 到 $6$ 和 $s=2$ 到 $8$ 的 $P_k(s)$ 实现了高精度表格化，对于 $s \leq 30$，结果精度超过 100 位小数。
• 对数和 $L_{k,l} = \sum_{\Omega(n)=k} \left[ \frac{1}{n} + \left(1 - \frac{1}{n}\right)^l \ln\left(1 - \frac{1}{n}\right) \right]$ 可表示为 $P_k(s)$ 和有理系数的线性组合，从而实现高精度计算。
• 当 $k=1$ 时，$L_{1,1} \approx 0.26434004176002164673174824590306461492528050270047150992644$，$k=2,3$ 且 $l=1$ 到 $4$ 的值也以高精度列出。
• 像 $\sum_{n=1}^\infty \frac{1}{n 2^n} = \log 2$ 这类级数被分解为 $k$-几乎素数分量，其中 $k=1$ 贡献约 $0.174087$，$k=2$ 贡献约 $0.018550$，更高 $k$ 项迅速衰减。
• 该方法可通过将广义级数（如分母为 $1/[s(s+1)(s+2)]$ 的形式）简化为 $L_{k,l}$ 和 $P_k(s)$ 的组合，实现系统化且高精度的计算。