素数定理

素数定理（そすうていり、英: Prime number theorem、独: Primzahlsatz）とは自然数の中に素数がどのくらいの「割合」で含まれているかを述べる定理である。整数論において素数が自然数の中にどのように分布しているのかという問題は基本的な関心事である。しかし、分布を数学的に証明することは極めて難しく、解明されていない部分が多い。この定理はその問題について重要な情報を与える。

歴史

この定理は、18世紀末にカール・フリードリヒ・ガウスやアドリアン＝マリ・ルジャンドルによって予想された（ガウス自身の言によればそれは1792年のガウス15歳のときである）。実際にはルジャンドルが初めて自身の著『数の理論』で公表し、少年ガウスがそれを知っていたことはガウスの死後の1863年に全集が出るまでは知られず、ガウス自身は素数定理については友人エンケに一度だけ手紙（1849年）で触れただけであった。

その後パフヌティ・チェビシェフによる部分的な結果（1850年-1852年頃）や、ベルンハルト・リーマンによる新たな解析的方法が発表されたが、最終的には1896年にシャルル＝ジャン・ド・ラ・ヴァレー・プーサンとジャック・アダマールがそれぞれ独立に証明した。当初与えられた証明はゼータ関数と複素関数論を用いる高度なものであったが、1949年にアトル・セルバーグとポール・エルデシュは初等的な証明を与えた。ノーバート・ウィーナーや池原止戈夫らによるタウバー型定理によって、素数定理と「ゼータ関数が Re s = 1 上に零点を持たないこと」との同値性がすでに確立されていたために、この初等的な証明は大きな驚きをもって迎えられた。

定理の内容

以下、記号「${\displaystyle \sim }$」は次を表すとする。

任意の関数${\displaystyle f(x)(\neq 0),g(x)}$に対し、

${\displaystyle f(x)\sim g(x):\Leftrightarrow \lim _{x\to \infty }{\frac {g(x)}{f(x)}}=1}$

なお、上式が成立している場合、「xが十分大きい場合、${\displaystyle f(x)}$は${\displaystyle g(x)}$で近似できる」といえる。

素数定理は、具体的には次の式で表される。

${\displaystyle \pi (x)\sim \operatorname {Li} (x)}$

上式において、π(x) は素数計数関数 (prime counting function) で、x 以下の素数の個数を表す。また Li(x) は補正対数積分 (logarithmic integral) で、次の積分で定義される。

${\displaystyle \operatorname {Li} (x):=\int _{2}^{x}{\frac {\mathrm {d} t}{\log(t)}}=\operatorname {li} (x)-\operatorname {li} (2).}$

なお、この定理は1や2以外の正数を積分の下端とする場合にも成立するが、慣例的に最小の素数である 2 とすること(補正対数積分)が多い。

また、補正対数積分を1回部分積分すると、

${\displaystyle \int _{2}^{x}{\frac {\mathrm {d} t}{\log(t)}}={\frac {x}{\log(x)}}+O\left({\frac {x}{(\log(x))^{2}}}\right)}$

となる。ここで、 O はランダウの記号である。このことから、定理を次のように述べることもできる。

${\displaystyle \pi (x)\sim {\frac {x}{\log(x)}}}$

これは同様にx/log(x) で近似できるということを意味する。こちらのほうが近似精度は少し悪いが計算上扱い易い。さらに次のように変形した式は、π(x)/x すなわちx 以下の正整数に占める素数の割合の近似式を表す。

${\displaystyle {\frac {\pi (x)}{x}}\sim {\frac {1}{\log(x)}}}$

上の2通りの近似はx が小さくても比較的正確である（以下の表を参照）。

また、n 番目の素数を p_n とすると、n ≧ 6 に対して

${\displaystyle \log(n)+\log(\log(n))-1<{\frac {p_{n}}{n}}<\log(n)+\log(\log(n))}$

が成り立つ。

π(x), x/log(x), li(x) の表

表は π(x) 、 x/log(x) 、 li(x) の値とそれらの比較の表である。

π(10²⁴) の値はもともとリーマン予想を仮定して計算されたが、その後無条件で証明された。

算術級数の素数定理

この定理はまた、算術級数（等差数列）中の素数に関しても拡張されており、これを算術級数の素数定理という：

すなわち、算術級数 {an + b} (a > 0、a と b は互いに素) に含まれる素数で、x 以下のものの数を π_a,b(x) で表すとき、

${\displaystyle \pi _{a,b}(x)\sim {\frac {1}{\phi (a)}}\operatorname {Li} (x)}$

が成り立つ。ここで φ(n) はオイラーの関数と呼ばれるもので、n と互いに素な n 以下の自然数の個数を表す。この漸近公式はルジャンドルやペーター・グスタフ・ディリクレによって予想されていたが、これもド・ラ・ヴァレー・プーサンによって証明された。近年、Ivan Soprounov により、より初等的な証明が発見された。

誤差評価

より詳しくは、現今最良の近似の誤差は次の結果である（ヴィノグラードフの素数定理）。充分大きな x について、

${\displaystyle \pi (x)=\operatorname {li} (x)+O\left(x\exp \left(-{\frac {A(\log x)^{\frac {3}{5}}}{(\log \log x)^{\frac {1}{5}}}}\right)\right)}$ ただし ${\displaystyle A=0.2098}$.

さらに、1901年にヘルゲ・フォン・コッホは、もしリーマン予想が正しければ次のように誤差評価を改善できることを証明した。

${\displaystyle \pi (x)=\operatorname {Li} (x)+O\left({\sqrt {x}}\log(x)\right)}$

逆に、上記の評価式が成り立てばリーマン予想が成り立つことも知られている。

また前節で挙げた表を見れば分かるように、x が小さければ

${\displaystyle \pi (x)<\operatorname {Li} (x)}$

が成り立っている。これが全ての x で成り立つであろうと、ガウスやリーマンさえも予想していたが、これが正しくないことは1914年にジョン・エデンサー・リトルウッドが初めて示した。これが成り立たない最小の x をスキューズ数というが、具体的な値はほとんど分かっていない。なお、${\displaystyle \pi (x)}$ と ${\displaystyle \operatorname {Li} (x)}$ の大小は、x が大きくなるにつれて無限に入れ替わる。

リーマン関数

リーマンは、リーマン関数

${\displaystyle R(x)=\sum _{m=1}^{\infty }{\frac {\mu (m)}{m}}\operatorname {Li} (x)^{\frac {1}{m}}}$

を用いて、π(x) に関する以下の公式を与えた。

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

ただし、和はゼータ関数の複素零点 ρ 全体をわたる。

R(x) の項だけをとっても、これは Li(x) よりかなり良い近似を与える。

R(x) は、以下の級数を用いて計算可能である。

${\displaystyle R(x)=1+\sum _{n=1}^{\infty }\left\{{\frac {1}{n\zeta (n+1)}}\cdot {\frac {(\log(x))^{n}}{n!}}\right\}}$

有限体上の既約多項式での類似

有限体上の既約多項式の「分布」を記述する素数定理の類似がある。形式は古典的な素数定理の場合に全く同一に見える。

このことを詳しく述べるために、F = GF(q) を q 個の元を持つ有限体とし、ある固定された q に対し、N_n をモニックで既約な F 上の多項式で、次数が n となるものの数を表すとする。モニックな既約多項式とは、つまり、F の中に係数をもつ多項式と見て、小さな次数の積としては書くことができないような多項式とする。この設定では、モニックな既約多項式は、他の全てのモニックな多項式はモニックな既約多項式の積で書くことができるので、素数の役割を果たす。すると次のことを証明することができる。

${\displaystyle N_{n}\sim {\frac {q^{n}}{n}}}$

x = qⁿ を代入すると、この式の右辺は、

${\displaystyle {\frac {x}{\log _{q}x}}}$

であり、類似がより明白になる。qⁿ は次数 n のモニックな既約多項式であるので、このことは次のように言い換えることができる。次数 n のモニック多項式をランダムに選ぶと、既約である確率は、約 1/n である。

リーマン予想の類似、すなわち、

${\displaystyle N_{n}={\frac {q^{n}}{n}}+O\left({\frac {q^{\tfrac {n}{2}}}{n}}\right)}$

が成り立つことを証明することができる。

多項式についての命題の証明は、古典的な（数についての）命題の証明に比較して、非常に易しい。短い組み合わせ的な議論により証明することができる。まとめると、F の次数 n の拡大の全ての元は、n を割る次数 d のある既約多項式の根であり、2つの方法でこれらの根の数を数え上げることにより、

${\displaystyle q^{n}=\sum _{d\mid n}dN_{d}}$

を成立させることができる。ここに和は n の因子 d の全てを渡る。よって、μ(k) をメビウス関数とすると、反転公式は、

${\displaystyle N_{n}={\frac {1}{n}}\sum _{d\mid n}\mu \left({\frac {n}{d}}\right)q^{d}}$

である。（この公式をガウスは既に知っていた。）主要項は d = n であり、残余項の境界を示すことは難しくはない。多項式の「リーマン予想」の命題は、最大な n の n 未満の因子は n/2 よりも大きくはなり得ないという事実には依存しない。

脚注

注釈

出典

参考文献

• Hadamard, Jacques (1896), “Sur la distribution des zéros de la fonction ζ(s) et ses conséquences arithmétiques.”, Bulletin de la Société Mathématique de France (Société Mathématique de France) 24: 199-220, https://web.archive.org/web/20120717195014/http://www.numdam.org/numdam-bin/fitem?id=BSMF_1896__24__199_1 
• Erdős, Paul (1949-07-01), “On a new method in elementary number theory which leads to an elementary proof of the prime number theorem,”, Proceedings of the National Academy of Sciences (U.S.A.: National Academy of Sciences) 35 (7): 374-384, doi:10.1073/pnas.35.7.374, https://www.renyi.hu/~p_erdos/1949-02.pdf 
• Selberg, Atle (1949-04), “An Elementary Proof of the Prime Number Theorem.”, Annals of Mathematics, Second Series (Mathematics Department, Princeton University) 50 (2): 305-313, http://www.jstor.org/stable/1969455 
• de la Vallée Poussin, Charles-Jean (1896), “Recherches analytiques sur la théorie des nombres premiers.”, Annales de la Société scientifique de Bruxelles (Imprimeur de l'Académie Royale de Belgique) 20 B; 21 B: 183-256, 281-352, 363-397; 351-368, http://sciences.amisbnf.org/fr/livre/recherches-analytiques-de-la-theorie-des-nombres-premiers  - https://books.google.com/books?id=7e0GAAAAYAAJ
• ウワディスワフ・ナルキェヴィッチ 著、中嶋眞澄 訳『素数定理の進展』 上、シュプリンガー・ジャパン、2008年6月。ISBN 978-4-431-71086-8。 
  • ウワディスワフ・ナルキェヴィッチ 著、中嶋眞澄 訳『素数定理の進展』 上、丸善出版、2012年7月17日。ISBN 978-4-621-06315-6。  - ナルキェヴィッチ (2008)の復刊。
• 松本耕二「第3章 素数定理」『リーマンのゼータ関数』朝倉書店〈開かれた数学 1〉、2005年11月。ISBN 978-4-254-11731-8。 
• 本橋洋一「素数の翼に乗って」（PDF）『数学通信』第10巻第1号、東京 : 日本数学会、2005年5月、4-19頁、CRID 1520572358126328192、ISSN 13421387、2024年3月14日閲覧。 
• 本橋洋一『解析的整数論』 I ― 素数分布論 ―（第2刷）、朝倉書店〈朝倉数学大系 1〉、2012年11月（原著2009年）。ISBN 978-4-254-11821-6。  - 注釈：第2刷は加筆含む。
• 吉田信夫 著、アップ研伸館 編『複素解析の神秘性　複素数で素数定理を証明しよう!』現代数学社、2011年10月。ISBN 978-4-7687-0416-5。 
• A-M.ルジャンドル 著、高瀬正仁 訳『数の理論』海鳴社、2007年12月。ISBN 978-4-87525-245-0。 

関連項目

外部リンク

• 『素数定理』 - コトバンク
• Weisstein, Eric W. "Prime Number Theorem". mathworld.wolfram.com (英語).
• Weisstein, Eric W. "Skewes Number". mathworld.wolfram.com (英語).