この記事ではラマヌジャンの発見した素数公式
について解説していきます。
(少しアヤしい変形をしているが簡単に正当化できる)
が成り立つ。ただし
メビウス関数は乗法的関数なので
が成り立つ。したがって
を得る。
素数計数関数
によってよく近似される。特に
が成り立つ。
リーマンの素数公式
と素数定理より従う。
とおいたとき
が成り立つ。ただし
上の補題より
が成り立つので、ゼータ関数の特殊値
に注意すると
を得る。
が成り立つ。
上の補題より
いま
とおくと部分和分により
が成り立つ。また
と評価できること、および
を得る。
ラマヌジャンはハーディに初めて送った手紙の中で次のようなことを述べている。
より小さい素数の総数を‘正確’に表す関数を発見しました. ‘正確に’というのは, が無限大になってもこの関数と実際の素数の総数の差が となるかごく小さい値となるという意味です.
この関数が無限級数の形で表せること, さらにその表し方が通りあることがわかりました.
() ベルヌーイ数による表し方. この表し方により, までの素数の総数を, 誤差が全くないかもしくはあったとしても または の範囲で容易に求めることができます. (←さらっとヤバいこと言ってない?)
() 積分による表し方. この表し方から, この関数の値を全て計算できます.
ラマヌジャンからの手紙に感銘を受けたハーディは返信を書くとともにその手紙の内容を知り合いの数学者たちに共有しており、ハーディの同僚であるリトルウッドもその一人であった。
リトルウッドはラマヌジャンの研究に興味を持っていたようだが二度目の手紙にて
や
といった(厳密には正しくない)公式が提示されているのを見て「素数に関する結果は誤りであります」とか
私が想像しますに, 彼は自分の結果が正しいと自分自身を納得させることができれば満足してしまい, それで素数を含む発散級数に対するある種の作用が正当であると考えたのでしょう.
(中略)結局この問題につきましては, 発散級数の研究がかなりひどい誤りを導いたのでしょう. そして驚くことではないのですが, 間違いなく素数に固有の恐ろしい悪魔に捕まってしまったのでしょう.
などと酷評した手紙をハーディに送っている(その反面いくつかの結果に対しては興味深いものであると評しており「彼がヤコビ級の数学者であると, 私には確信できます.」と述べている)。
ちなみにこれらの手紙が交わされたのは1913年ごろの話であったが、リトルウッドは1914年に次のような結果を発表している。
このことは先の手紙にも現れており
であることが知られています. 彼の公式によりますと, この左辺は(つまり )となります。
と言及されている。
このあたりの歴史を知っていると色々面白い。