[論文レビュー] Series of Reciprocal Powers of k-almost Primes

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

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

ひとこと要約

本稿では、$k$-素数の逆数のべき乗の和を、順列の巡回指数多項式から得られる多項係数を用いて、通常の素数ゼータ関数 $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$-素数の和を評価するための体系的な手法を開発すること。この手法は、それらの和を通常の素数ゼータ関数に還元することを目的とする。
• 特に標準形で収束が遅い場合にも高精度な数値評価を可能にするため、このような級の高精度数値評価を可能にすること。
• 素数ゼータ関数 $P(s)$ に対する既知の収束加速技術を、$k>1$ の場合のより一般化された $k$-素数ゼータ関数 $P_k(s)$ に拡張すること。
• $k=2,\ldots,6$ および $s=2,\ldots,8$ に対して、$P_k(s)$ および関連する対数的和 $L_{k,l}$ を高精度に表計算すること。これにより、解析的整数論の応用が支援される。

提案手法

• 順列の巡回指数多項式から得られる組み合わせ係数を用いて、$k$-素数の和を、通常の素数ゼータ関数 $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) = \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$-素数ゼータ関数と通常の素数ゼータ関数 $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$-素数ゼータ関数 $P_k(s)$ は、$k$ の整数分割から得られる多項係数を用いて、通常の素数ゼータ関数 $P(is)$ の積の有限和として表現可能であり、これにより計算が効率的に行える。
• $k=2$ から $6$ および $s=2$ から $8$ に対して、$P(s)$ の収束加速を活用して、$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$ の寄与は $\approx 0.174087$、$k=2$ の寄与は $\approx 0.018550$ であり、$k$ が高くなると急速に減衰する。
• 本手法により、有理数分母（例：$1/[s(s+1)(s+2)]$）を持つ一般化された級を、$L_{k,l}$ と $P_k(s)$ の組み合わせに還元可能であり、体系的かつ高精度な計算が可能になった。