[論文レビュー] New estimates for some prime functions

Christian Axler|arXiv (Cornell University)|Mar 23, 2017

Analytic Number Theory Research参考文献 12被引用数 4

ひとこと要約

本稿では、素数論における重要な道具であるチェビシェフの $Ϙ$-関数に対する新しい明示的上限・下限を提示し、それらを応用して $π(x)$ のより鋭い上限・下限を導出することで、既存の推定値を改善する。これらの精錬された境界は、短区間における素数の存在に関する2つの新しい結果を導く。

ABSTRACT

In this paper we first establish new explicit estimates for Chebyshev's $\vartheta$-function. Applying these new estimates, we derive new upper and lower bounds for some functions defined over the prime numbers, for instance the prime counting function $\pi(x)$, which improve the currently best ones. Furthermore, we use the obtained estimates for the prime counting function to give two new results concerning the existence of prime numbers in short intervals.

研究の動機と目的

• 素数論における重要な道具であるチェビシェフの $Ϙ$-関数に対するより鋭い明示的推定値を確立すること。
• 例えば $π(x)$ のような素数計数関数の既存の上限・下限を改善すること。
• 精錬された $π(x)$ の推定値を活用して、短区間における素数の存在を調査すること。
• 区間 $[x, x + y]$ における素数の分布に関する新しい理論的結果を貢献すること。ただし $y$ は相対的に小さいものとする。

提案手法

• 解析的整数論の技法を用いて、チェビシェフの $Ϙ$-関数に対する新しい明示的上限・下限を導出する。
• 改善された $Ϙ$-関数の推定値を応用して、素数計数関数 $π(x)$ のより鋭い明示的境界を獲得する。
• 精錬された $π(x)$ の境界を用いて、区間 $[x, x + y]$ における素数の分布を分析する。
• 漸近的および明示的誤差解析を採用することで、境界が正確かつ計算的に検証可能であることを保証する。
• $Ϙ(x)$、$π(x)$、および対数積分の間の既知の関係を活用して、導出された推定値を強化する。
• 文献に既存の明示的推定値と比較することで、新たな境界の改善を検証する。

実験結果

リサーチクエスチョン

• RQ1 チェビシェフの $Ϙ$-関数に対する最も鋭い可能な明示的境界は何か？
• RQ2 改善された $Ϙ$-関数の推定値は、どのようにして $π(x)$ の境界を精錬するのに利用できるか？
• RQ3 改善された $π(x)$ の推定値が、与えられた短区間内に少なくとも1つの素数が存在することを保証する条件は何か？
• RQ4 新しい境界は、$y < x^{1/2}$ の場合に、区間 $[x, x + y]$ における素数の密度に関するより強い結果を導くことができるか？
• RQ5 新たな境界は、以前に確立された明示的推定値に対して、定量的にどの程度改善されているか？

主な発見

• 本稿では、以前に知られていた明示的推定値よりも鋭い、チェビシェフの $Ϙ$-関数に対する新しい明示的上限・下限を確立した。
• これらの改善された $Ϙ$-関数の境界は、素数計数関数 $π(x)$ に対する著しく鋭い明示的境界をもたらす。
• 精錬された $π(x)$ の推定値により、特に $y$ が $x^{1/2}$ よりも遅く増加するような短区間において、素数の存在に関するより強い結論が得られる。
• 特定の $y$ の範囲について、区間 $[x, x + y]$ に少なくとも1つの素数が存在することを示す2つの新しい結果が導出された。これは、以前の明示的結果を改善するものである。
• 改善は定量的かつ明示的であり、指定された範囲内のすべての $x$ に対して成り立ち、未解決の仮定に依存しない。
• 境界は実効的であり、明示的誤差制御が不可欠な計算整数論や素数判定の応用分野で利用可能である。