[論文レビュー] On the asymptotic expansion of the sum of the first n primes

Nilotpal Sinha|arXiv (Cornell University)|Nov 7, 2010

Analytic Number Theory Research参考文献 2被引用数 3

ひとこと要約

この論文は、Dusartの先行結果を改善するために対数展開における高次の項を含めた、最初の $ n $ 個の素数の和の精密化された漸近展開を導出する。この展開を用いて、著者たちはマンドルの不等式とルービンの予想（下界に関するもの）を直接的な系として証明し、$ \ln \ln n $ の多項式補正項と $ \ln n $ の逆数の累乗項を含む、より鋭い素数の和の成長見積もりを確立する。

ABSTRACT

An asymptotic formula for the sum of the first n primes is derived. This result improves the previous results of P. Dusart. Using this asymptotic expansion, we prove the conjectures of R. Mandl and G. Robin on the upper and the lower bound of the sum of the first n primes respectively.

研究の動機と目的

• 既存の結果を超えて、最初の $ n $ 個の素数の和のより正確な漸近展開を導出すること。
• 最初の $ n $ 個の素数の和に関する上界と下界に関して長年の予想であるマンドルとルービンの問題を解決すること。
• Dusartの公式を改善するために、$ \ln \ln n $ の多項式補正項と $ \ln n $ の逆数の累乗項を含む体系的な漸近展開を提供すること。
• マンドルの不等式とルービンの予想が、新しい展開から直接的に導かれることが示されること。
• 有理数係数で定義された再帰的多項式 $ S_m(\ln \ln n) $ を用いて、漸近級数の構造を形式化すること。

提案手法

• 第 $ n $ 素数の漸近公式（チポラの公式）を活用：$ p_n = n[\ln n + \ln \log n - 1 + \sum_{r=1}^m \frac{(-1)^r P_r(\ln \log n)}{\ln^r n} + o(\ln^{-m} n)] $、ここで $ P_r $ は有理数係数多項式。
• 和の積分近似を適用：$ \sum_{r \leq n} f(r) = \int_1^n f(x)\,dx + O(|f(n)| + |f(1)|) $、素数の和関数の連続的近似を用いる。
• $ p_n $ の漸近展開を項ごとに積分し、各項を $ x $ の関数とみなして部分積分を繰り返し適用して積分を計算する。
• すべての積分項を集約・統合し、誤差項 $ o(n^2 / \ln^m n) $ よりも速く成長する項のみを保持し、$ \ln \log n $、$ \ln \log n / \ln n $、および高次の補正項の係数を特定する。
• 最終的な展開を導出：$ \sum_{r \leq n} p_r = \frac{n^2}{2} \left[ \ln n + \ln \log n - \frac{3}{2} + \sum_{r=1}^m \frac{(-1)^{r+1} S_r(\ln \log n)}{r \ln^r n} + o(\ln^{-m} n) \right] $、ここで $ S_r $ は有理数係数多項式。
• 導出された展開を用いて、$ \sum_{r < n} p_r $ と $ n p_{[n/2]} $ を比較し、漸近的比較と誤差項解析によりルービンの予想を証明する。

実験結果

リサーチクエスチョン

• RQ1 Dusartの公式を超えて、最初の $ n $ 個の素数の和のより精密な漸近展開を導出可能か？
• RQ2 新しい展開により、最初の $ n $ 個の素数の和に関するマンドルの不等式とルービンの予想を証明可能か？
• RQ3 漸近展開 $ \sum_{r \leq n} p_r $ の高次の補正項の構造は何か？また、$ \ln \log n $ と $ \ln n $ にどのように依存するか？
• RQ4 誤差項を $ \ln \log n $ の多項式補正項と $ \ln n $ の逆数の累乗項を含めることで、Dusartの公式の誤差項を改善可能か？
• RQ5 補正多項式 $ S_m $ の主要係数はどのように振る舞い、その次数と有理数構造は何か？

主な発見

• 論文は新たな漸近展開を導出：$ \sum_{r \leq n} p_r = \frac{n^2}{2} \left[ \ln n + \ln \log n - \frac{3}{2} + \frac{\ln \log n}{\ln n} - \frac{5}{2\ln n} - \frac{\ln^2 \log n}{2\ln^2 n} + \frac{7\ln \log n}{2\ln^2 n} - \frac{29}{4\ln^2 n} + o\left(\frac{1}{\ln^2 n}\right) \right] $、Dusartの結果を精緻化する。
• 展開には、次数 $ m $ の有理数係数多項式 $ S_m(\ln \log n) $ からなる系列が含まれ、主係数は $ 1/m $ であり、高次の補正フレームワークを体系的に提供する。
• マンドルの不等式 $ \sum_{r \leq n} p_r < \frac{n p_n}{2} $ は系として確認され、新しい展開により差が漸近的に $ \sim \frac{n^2}{14} $ であることが示され、ハサニの境界と整合的である。
• ルービンの予想 $ \sum_{r < n} p_r > n p_{[n/2]} $ は、十分に大きな $ n $ に対して真であることが証明された。漸近展開により、差に正の項 $ \frac{2\ln 2 - 1}{4}n^2 $ が含まれることが明らかになった。
• 最初の2つの補正多項式が明示的に計算された：$ S_1(x) = x - \frac{5}{2} $、$ S_2(x) = x^2 - 7x + \frac{29}{2} $、これにより展開の構造と主係数が確認された。
• 誤差項は $ o(n^2 / \ln^m n) $ であり、この方法により、この誤差項よりも速く成長するすべての項が保持され、漸近級数の精度が保証される。