コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

素数計数関数

出典: フリー百科事典『ウィキペディア(Wikipedia)』
素数個数関数から転送)

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

歴史

[編集]

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

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

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

ここで メビウス関数ガウス記号であり、和は 以下のすべての素数の積 P のすべての正の約数 d を動く。この式より、

が導かれる[5]

素数定理

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

18世紀末には、π(x) が に漸近近似できること、即ち

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

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

リーマン予想との関係

[編集]

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

ここで は、

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

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

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

関数の値

[編集]

π(x), x / ln x および li(x) の3つの関数を10の冪において比較した表は素数定理#定理の内容にある。

π(x) の公式

[編集]

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

ここで は、ガウス記号を用いて

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

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

不等式

[編集]

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

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

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

  • (ただし x ≥ 599)
  • (ただし x ≥ 1)
  • (ただし x ≥ 5393)
  • (ただし x ≥ 60184)
  • (ただし x ≥ 88783)
  • (ただし x ≥ 2953652287)

を示した[9]

関連項目

[編集]

出典

[編集]
  1. ^ Bach, Eric; Shallit, Jeffrey (1996). Algorithmic Number Theory. MIT Press. volume 1 page 234 section 8.8. ISBN 0-262-02405-5 
  2. ^ Weisstein, Eric W. "Prime Counting Function". mathworld.wolfram.com (英語).
  3. ^ How many primes are there?”. Chris K. Caldwell. 2008年12月2日閲覧。
  4. ^ Dickson, Leonard Eugene (2005). History of the Theory of Numbers, Vol. I: Divisibility and Primality. Dover Publications. ISBN 0-486-44232-2 
  5. ^ a b c d e f g h Paulo Ribenboim著 吾郷 孝視訳編 『素数の世界』2001年、共立出版
  6. ^ Ireland, Kenneth; Rosen, Michael (1998). A Classical Introduction to Modern Number Theory (Second ed.). Springer. ISBN 0-387-97329-X 
  7. ^ 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. 
  8. ^ 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. 
  9. ^ Dusart, Pierre. “"ESTIMATES OF SOME FUNCTIONS OVER PRIMES WITHOUT R.H."”. arxiv.org. 22 April 2014閲覧。

外部リンク

[編集]