[論文レビュー] Primes and the Lambert W function

Matt Visser|arXiv (Cornell University)|Nov 11, 2013

Sports Dynamics and Biomechanics参考文献 9被引用数 6

ひとこと要約

この論文は、ラメルト・W関数が素数の分布を研究するための新しい解析的枠組みを提供することを示している。π(x) および第n素数 pₙ のタイトな上界・下界を提示し、W(x) の漸近展開を活用することで、素数定理の同等な表現が得られ、ln ln x などの対数的項が W 関数の展開から自然に生じることを明らかにする。

ABSTRACT

The Lambert W function, implicitly defined by W(x) exp{W(x)}=x, is a "new" special function that has recently been the subject of an extended upsurge in interest and applications. In this note, I point out that the Lambert W function can also be used to gain a new perspective on the distribution of primes.

研究の動機と目的

• ラメルト・W関数を用いて、素数の個数関数 π(x) の新たな解析的境界を確立すること。
• 素数定理および pₙ の漸近展開をラメルト・W関数の観点から再定式化すること。
• W 関数の恒等式を用いて、既存の推定値を上回る明示的かつ計算可能な π(x) および pₙ の境界を提供すること。
• 解析的数論に現れる対数的項（例：ln ln x）が、W 関数の展開からどのように自然に現れるかを示すこと。
• 単一の特殊関数フレームワークを用いて、素数論における散在する結果を統一すること。

提案手法

• 不等式 x > π(x) ln π(x) を用いて π(x) の上界を導出し、ラメルト・W関数を逆算して π(x) < x / W(x) = e^{W(x)} を得る。
• 漸近展開 W₀(x) ~ ln x − ln ln x を適用し、x → ∞ のとき π(x) ~ x / ln x と π(x) ~ x / W(x) が等価であることを示す。
• 不等式 pₙ < n(ln n + ln ln n) を用いて π(x) の下界を構築し、代入および対数的境界を経由して W 関数の不等式に変換する。
• ε > 0 に対して ln x ≤ x^ε / (ε e) という恒等式を用い、ε をパrameterとする下界の族を導出し、W(x / (1+ε) (ε e)^{-1/(1+ε)}) を含む式を得る。
• W_{-1} 分岐を用いて第n素数 pₙ の境界を導出し、n ≥ 4 のとき pₙ < −n W_{-1}(−1/n) を得る。
• 漸近的同値 pₙ ~ −n W_{-1}(−1/n) を導出し、これがセザロ–チッポラ展開の最初の2項 n(ln n + ln ln n − 1 + o(1)) を回復することを示す。

実験結果

リサーチクエスチョン

• RQ1 ラメルト・W関数を用いて、素数の個数関数 π(x) の新たな境界を導出可能か？
• RQ2 W(x) の漸近的挙動は、素数定理とどのように関係するか？
• RQ3 ラメルト・W関数を用いて、既知の pₙ の境界や漸近挙動を統一的または簡略化可能か？
• RQ4 W(x) を用いて表現可能な、最もタイトな明示的境界（π(x) および pₙ に対して）は何か？ また、その有効範囲は何か？
• RQ5 素数論に現れる副次的項（例：ln ln x）は、W 関数の展開からどのように自然に生じるか？

主な発見

• すべての x ≥ 0 に対して、素数の個数関数は厳密な上界 π(x) < x / W(x) = e^{W(x)} を満たす。
• x → ∞ のとき、漸近的同値 π(x) ~ x / W(x) が成り立ち、これは古典的素数定理 π(x) ~ x / ln x と同値である。
• ε > 0 をパrameterとする、π(x) の1パrameter族の下界が導出され、W(x / (1+ε) (ε e)^{-1/(1+ε)}) を含む明示的形で表される。
• ε = e^{-1} のとき、x ≥ 5 に対して π(x) > exp(W(x / (1+e^{-1}))) − 1 が成り立ち、ε = e^{-3} のとき、すべての x ≥ 0 に対して同様の境界が成り立つ。
• n ≥ 4 のとき、第n素数は上界 pₙ < −n W_{-1}(−1/n) を満たし、n → ∞ のとき漸近的同値 pₙ ~ −n W_{-1}(−1/n) が成り立つ。
• 漸近的展開 pₙ ~ −n W_{-1}(-e/n) は、セザロ–チッポラ展開の最初の3項 n(ln n + ln ln n − 1 + o(1)) を回復する。