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

技術要約：加法的メルテンス和 $S_k(x)$ の完全漸近展開

問題設定
本論文は、整数 $k \ge 2$ および $x > 2$ に対して定義される加法的メルテンス和の漸近的挙動を扱う：
$$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. スティルチェス積分表現: 和を、素数計数関数 $\pi(u)$ を含む $k$ 重のスティルチェス積分として再定式化する。
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 から離れている領域）と「境界領域」に分割する。主領域において、カーネル $\prod (L + \log t_j)^{-1}$ （ここで $L = \log x$）を、完全対称多項式 $h_n$ を用いた多変数テイラー展開によって展開する。
4. ラプラス変換の手法: 得られた係数積分（単位立方体 $(0,1]^k$ 上で定義）を、恒等式 $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$) に分解される。対角部分は、$\zeta(3)$、$\pi^2$、$\text{Li}_3(-1/m)$、および対数和を用いて、すべての $k$ に対して閉形式を持つ。交差部分は $k \le 4$ では完全に明示的であるが、$k \ge 5$ では構造的に複雑になり、標準的な基底への簡約が困難と思われる分母 $\ge 5$ のポリログ（多重対数関数）を含むようになる。

• $k=2$ および $k=3$ の明示的な展開:

  • $k=2$ の場合、論文は数列 $\{E_{2,n}\}_{n \ge 0}$ 全体の閉公式を提供している。これらの係数は、ディリクレのエータ関数を用いて導出された、$\log 2$ とリーマンゼータ値 $\zeta(j)$ の有理数体 $\mathbb{Q}$ 上の線形結合である。
  • $k=3$ の場合、展開の最初の3項が、$E_{3,0}, E_{3,1}, E_{3,2}$ の結果を組み合わせることで完全に明示的に示されている。

• 数値検証: 著者らは $x = 10^7$ までの $S_2(x)$ および $S_3(x)$ の数値計算を行っている。結果は、相対誤差が $x \to \infty$ とともに減少すること、および項を追加することで精度が向上することを示しており、これは漸近級数の性質と一致している。また、このデータは固定された $x$ における最適截断（optimal truncation）の現象を例証している。

意義と主張
本論文は、文献において加法的メルテンス和に関する最初の研究であることを主張している。その主な意義は以下の通りである：

1. 正しいオーダーの大きさ（$x^{k-1}/\log^k x$）と、加法的和の完全な漸近構造を確立した点（これは乗法的なケースとは対照的である）。
2. 漸近係数の計算を特定の多重積分の評価へと還元し、主要項および次項の明示的な閉形式を提供した点。
3. $k \ge 5$ における係数の構造的な分岐を特定した点。ここでは「交差項」が、統一された閉形式への簡約を拒むようなポリログ値を導入しており、現在の解析的能力の境界を浮き彫りにしている。

本研究は、主たる漸近結果については素数定理（PNT）の実変数形式に厳密に依拠しており、深い予想（リーマン仮説など）を援用していないが、誤差項は古典的なPNTの誤差評価に依存している。結論として、高次の係数の対角部分は母関数を通じて扱いやすいものの、交差部分は一般的な $k$ に対して統一された閉形式を得る上での根本的な障害となっている。