コンテンツにスキップ

素数計数関数

出典: フリー百科事典『ウィキペディア（Wikipedia）』

これはこのページの過去の版です。ひできち東京 (会話 | 投稿記録) による 2022年3月21日 (月) 02:21 （個人設定で未設定ならUTC）時点の版 (→数表: 完全に同じ内容を含む表が別記事に存在しているので、それを参照するよう修正。)であり、現在の版とは大きく異なる場合があります。

(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)

素数計数関数（英: Prime-counting function）とは、正の実数にそれ以下の素数の個数を対応させる関数のことであり、 $π$ (x) で表す^[1]^[2]。

歴史

数論の歴史において $π$ (x) の増大度は重要な関心事とされてきた^[3]^[4]。

18世紀のレオンハルト・オイラーは、素数列の逆数の和が発散することを示した（素数の無限性の証明を参照）。平方数の逆数の和は収束するため、これは $π$ (x) が平方数ほど速く増大しないことを示している^[5]。

1808年、アドリアン＝マリ・ルジャンドルは以下の等式を示した^[5]。

\pi (N)=\pi ({\sqrt {N}})-1+\sum _{d}\mu (d)\left[{\frac {N}{d}}\right]

ここで $\mu (d)$ はメビウス関数、 $[x]$ はガウス記号であり、和は ${\sqrt {N}}$ 以下のすべての素数の積 P のすべての正の約数 d を動く。この式より、

\lim _{x\to \infty }{\frac {\pi (x)}{x}}=0

が導かれる^[5]。

素数定理

18世紀末には、 $π$ (x) が ${\frac {x}{\operatorname {ln} x}}$ に漸近近似できること、即ち

\lim _{x\to \infty }{\frac {\pi (x)}{x/\operatorname {ln} x}}=1

が成り立つであろうということが、カール・フリードリヒ・ガウスにより予想されていた。1850年頃にパフヌティ・チェビシェフは、この等式の左辺がもし極限を持つならば、それは1でなくてはならないことを示した^[5]。その後もこの予想は長らく証明されなかったが、1896年になってジャック・アダマールとシャルル＝ジャン・ド・ラ・ヴァレー・プーサン（英語版）により独立に証明され、現在では素数定理と呼ばれている。彼らの証明は、リーマンゼータ関数の性質を用いている。

長い間、解析的方法を用いなければ素数定理を証明することはできないと信じられていたが^[5]、1948年頃、アトル・セルバーグとポール・エルデシュは複素解析を用いない素数定理の証明を（ほぼ独立に）発見した^[6]。それらの証明では、数論的関数の初等的評価のみを用いていた。

リーマン予想との関係

→詳細は「リーマンの素数公式」を参照

1859年リーマンは、 $π$ (x) をゼータ関数の零点を用いて表す式を発見した^[5]。

\pi (x)=R(x)-\sum _{\rho }R(x^{\rho })

ここで $R(x)$ は、

R(x)=\sum _{m=1}^{\infty }{\frac {\mu (m)}{m}}\operatorname {li} (x^{\tfrac {1}{m}})

と定義され、和の ρ はゼータ関数の全ての零点をわたる。

また、リーマン予想と下の式が正しいことは同値である。

\pi (x)=\operatorname {li} (x)+O\left({\sqrt {x}}\ln x\right)

また、 $O$ は、ランダウの記号である。また、リーマン予想が正しい場合、以下の式が成り立つことが知られている。^[7]

|\pi (x)-\operatorname {li} (x)|<{\frac {1}{8\pi }}{\sqrt {x}}\,\log {x},\qquad {\text{for all }}x\geq 2657.

数表

以下に $π$ (x), x / ln x および li x の3つの関数を10の冪において比較した表は、素数定理 § π(x),_x_/_ln_x,_li_x_の表参照。^[3]^[8]^[9]^[10]^[11] 。

$π$ (x) とそれを近似する関数 x/ln x および Li x との比のグラフ。xが増大すると比が 1 に向かうこと、そして Li x に対する比の方が収束が速いことなどが見て取れる。

$π$ (10²⁴) の値は初めJ. Buethe、J. Franke、A. Jost、およびT. Kleinjungらによりリーマン予想の仮定の下で計算されたが^[12] 、後にD. J. Plattによりコンピュータを用いて検証された^[13]。

$π$ (x) の公式

上述のルジャンドルやリーマンらによる公式以外にも、 $π$ (x) を表す公式がいくつか存在する。例えばWilliansは、ウィルソンの定理に基づき次の初等的な公式を与えている^[5]。

\pi (m)=-1+\sum _{j=1}^{m}F(j)

ここで $F(j)$ は、ガウス記号を用いて

F(j)=\left[\cos ^{2}\pi {\frac {(j-1)!+1}{j}}\right]

と定義される関数である。これが $π$ (x) を表す理由は単純で、F(j) は合成数ならば 0、その他の値に対しては 1 を取るからである。ウィルソンの定理と同様、この公式も実用的な計算には用いることができない。

その他、ドイツの数学者エルンスト・マイセル（英語版）による巧妙な漸化関係を持つ公式などが知られている^[5]。マイセルは1885年自身の公式を用いて $π$ (10⁹) の値を求めた。

不等式

$π$ (x) と x/ln x の関係として以下の不等式が知られている^[14]。

{\frac {x}{\ln x}}<\pi (x)<1.25506{\frac {x}{\ln x}}

左の不等号は x ≥ 17 で、右の不等号は x > 1 で成り立つ。

ピエール・デザルトは2010年に次の6つの不等式

${\frac {x}{\ln x}}(1+{\frac {1}{\ln x}})<\pi (x)$ （ただし x ≥ 599）
$\pi (x)<{\frac {x}{\ln x}}(1+{\frac {1.2762}{\ln x}})$ （ただし x ≥ 1）
${\frac {x}{\ln x-1}}<\pi (x)$ （ただし x ≥ 5393）
$\pi (x)<{\frac {x}{\ln x-1.1}}$ （ただし x ≥ 60184）
${\frac {x}{\ln x}}(1+{\frac {1}{\ln x}}+{\frac {2}{\ln ^{2}x}})<\pi (x)$ （ただし x ≥ 88783）
$\pi (x)<{\frac {x}{\ln x}}(1+{\frac {1}{\ln x}}+{\frac {2.334}{\ln ^{2}x}})$ （ただし x ≥ 2953652287）

を示した^[15]。

関連項目

出典

^ Bach, Eric; Shallit, Jeffrey (1996). Algorithmic Number Theory. MIT Press. volume 1 page 234 section 8.8. ISBN 0-262-02405-5
^ Weisstein, Eric W. “Prime Counting Function”. mathworld.wolfram.com (英語).
^ ^a ^b “How many primes are there?”. Chris K. Caldwell. 2008年12月2日閲覧。
^ Dickson, Leonard Eugene (2005). History of the Theory of Numbers, Vol. I: Divisibility and Primality. Dover Publications. ISBN 0-486-44232-2
^ ^a ^b ^c ^d ^e ^f ^g ^h Paulo Ribenboim著吾郷孝視訳編『素数の世界』2001年、共立出版
^ Ireland, Kenneth; Rosen, Michael (1998). A Classical Introduction to Modern Number Theory (Second ed.). Springer. ISBN 0-387-97329-X
^ Schoenfeld, Lowell (1976). “Sharper bounds for the Chebyshev functions θ(x) and ψ(x). II”. Mathematics of Computation (American Mathematical Society) 30 (134): 337–360. doi:10.2307/2005976. ISSN 0025-5718. JSTOR 2005976. MR0457374.
^ “Tables of values of pi(x) and of pi2(x)”. Tomás Oliveira e Silva. 2008年9月14日閲覧。
^ “Values of π(x) and Δ(x) for various x's”. Andrey V. Kulsha. 2008年9月14日閲覧。
^ “A table of values of pi(x)”. Xavier Gourdon, Pascal Sebah, Patrick Demichel. 2008年9月14日閲覧。
^ オンライン整数列大辞典において $π$ (x) , $π$ (x) − x / ln x、li x − $π$ (x) の値はそれぞれA006880, A057835, A057752に掲載されている。
^ “Conditional Calculation of pi(10²⁴)”. Chris K. Caldwell. 2010年8月3日閲覧。
^ “Computing π(x) Analytically)”. 2012年7月25日閲覧。
^ Rosser, J. Barkley; Schoenfeld, Lowell (1962). “Approximate formulas for some functions of prime numbers”. Illinois J. Math. 6: 64–94. doi:10.1215/ijm/1255631807. ISSN 0019-2082. Zbl 0122.05001.
^ Dusart, Pierre. “"ESTIMATES OF SOME FUNCTIONS OVER PRIMES WITHOUT R.H."”. arxiv.org. 2014年4月22日閲覧。

外部リンク

Chris Caldwell, The Nth Prime Page at The Prime Pages.
Tomás Oliveira e Silva, Tables of prime-counting functions.

「https://ja.wikipedia.org/w/index.php?title=素数計数関数&oldid=88634464」から取得