素数計数関数（π(x)）：定義・性質・素数定理・応用

概要

伝統的にπ(x)と表される素数計数関数は、実数x以下の素数の個数を表す。記号は円周率π≒3.14159と同じであるが、両者に関係はない。この関数は階段関数、すなわちステップ関数であり、素数ごとにちょうど1だけ増加する。小さい値の例として、π(1)=0、π(2)=1、π(3)=2である。

定義と基本恒等式。形式的には、π(x)=#{p≤x : pは素数}と定義される。pnをn番目の素数とすれば、π(pn)=nである。この関数は整数値をとり、単調非減少であり、連続する素数の間の区間では一定となる。階段状であるため、π(x)は連続近似や平滑化された形を通じてもよく研究される。

歴史的発展と素数定理。18世紀から19世紀にかけて、ガウスやルジャンドルなどの数学者による観察から、素数の出現頻度は対数によって支配される割合で低下するとの予想が生まれた。19世紀末近くに証明された素数定理は、x→∞のときπ(x)がx/log xに漸近することを述べる。多くの範囲では、対数積分li(x)がより正確な近似となる。また、より深い解析では、明示公式を通じてπ(x)とリーマンゼータ関数の零点が結び付けられる。

主な性質と近似。重要な事実として、π(x)~x/ln xであること、またxが大きいときli(x)がπ(x)をより近く近似する傾向があることが挙げられる。チェビシェフ、ロッサー、デュサールらは、π(x)とその近似との差を定量化する不等式や評価を証明した。π(x)の跳びは素数である引数において起こり、グラフでは水平な線分が連なり、素数の位置で高さ1の上向きの段差をもつ形に見える。

計算とアルゴリズム。大きなxに対するπ(x)の正確な値は、マイゼル＝レーマー法、組合せ論的篩、ならびに計算量を削減した改良型などの技法によって計算される。高精度計算により非常に大きなxでのπ(x)の値が得られており、予想の検証や計算数論における応用に役立っている。

応用と意義。π(x)は解析的数論の中心的対象であるだけでなく、多くの暗号システムの安全性の基盤となる素数分布の理解にも寄与する。π(x)の推定値は、大きな素数を生成するアルゴリズム、素数間隔、等差数列中の素数、素数の確率的モデルに関する理論研究で用いられる。