概要
ラマヌジャン素数とは、スリニヴァーサ・ラマヌジャンの研究に見られる素数の数え上げの性質に結びついた素数です。直感的には、あるしきい値を超えると、どの十分大きい区間 (x/2, x] にも、少なくとも一定数の素数が含まれることを示す目印のようなものです。この概念は、素数計数関数と、短い区間における素数の密度の明示的な下界を結びつけます。ラマヌジャンについての背景は ラマヌジャン を参照してください。
定義
π(x) を、x 以下の素数の個数を表す素数計数関数とします。第 n ラマヌジャン素数 R_n とは、すべての x ≥ R に対して不等式 π(x) − π(x/2) ≥ n を満たす最小の整数 R のことです。言い換えると、x が R_n に達すると、区間 (x/2, x] には常に少なくとも n 個の素数が含まれます。構成上、また文献での検証により、各ラマヌジャン素数自身も素数です。素数計数関数の詳細は π(x) を参照してください。
歴史と名称
ラマヌジャンは、1919 年の短い覚え書きの中で、ベルトランの仮説に関係する結果をより強い形で示しました。上で定義した素数列が現在の形で命名され、詳しく研究されたのは後年です。たとえばジョナサン・ソンドウは「ラマヌジャン素数」という名称を広め、多くの性質や明示的な評価を導きました。歴史的なつながりは、ラマヌジャンの不等式と、短い区間における素数の長年の研究の両方にあります。概説や原典は 参考文献 を参照してください。
主な性質
- しきい値の性質：R_n は、より大きいすべての x で π(x) − π(x/2) ≥ n を成り立たせる最小の x です。
- ベルトランの仮説との関係：R_1 = 2 は、x ≥ 2 のとき x/2 と x の間に必ず素数があるという古典的な主張を回復します。
- 漸近的ふるまい：R_n は n とともに増大し、解析的な研究により 2n 番目の素数と同程度の大きさであることが示されています。ヒューリスティックには n → ∞ のとき R_n ~ p_{2n} と考えられます。
- 単調性：数列 R_n は増加し、解析的整数論では具体的な数値評価や不等式も証明されています。
例
最初のいくつかのラマヌジャン素数は小さな値から始まります。たとえば、R_1 = 2、R_2 = 11、R_3 = 17、R_4 = 29 です。R_2 = 11 の意味は、すべての x ≥ 11 について区間 (x/2, x] に少なくとも 2 個の素数があるということです。実際、x = 11 のとき (5.5, 11] にある素数は 7 と 11 です。拡張された一覧や計算値は、数値表やオンライン表にまとめられています。計算値 を参照してください。
意義と一般化
ラマヌジャン素数は、局所的な素数分布の理解や、素数間隔に関する結果の精密化に役立つため注目されています。また、比 1/2 をほかの比に変える、あるいは異なる相対区間で素数を数えるといった一般化の定義を促し、数列の規則性や算術的性質に関する問題を生みます。解析的整数論では、より鋭い評価、計算機による検証、ほかの結果との関係について研究が続いています。