■隣り合う素数の間隔(その17)

 1845年にフランスの数学者ベルトランは任意の数nと2nの間には少なくとも一つの素数pが存在する(n<p≦2n),同じことですが素数pの次の素数は2pより小さい(pk+1 <2pk )という予想を立てました.

 50年以上たって,ロシアの数学者チェビシェフがベルトランの仮説を証明しました.この証明は彼が実に18才のときだったそうですから,「栴檀は双葉よりの芳し」の諺のごとくです.チェビシェフの定理によって,素数の分布には何らかの秩序が存在していることになります.

===================================

【1】n^3と(n+1)^3の間に素数がある

  1^3<2,35,7<2^3<11,13,17,19,23<3^3<・・・

それは言い換えると

  π((n+1)^3)−π(n^3)≧1

ということである.

 リーマン予想を仮定すると,コッホの結果より,

  π(x)=Li(x)+O(x^1/2logx)

  |π(x)−Li(x)|≦C・x^1/2logx

 したがって,nが十分大きいとき,  

  π((n+1)^3)−π(n^3)≧Li((n+1)^3)−Li(n^3)−3C(n+1)^3/2log(n+1)−3Cn^3/2logn

=∫(n^3,(n+1)^3)du/logu−3C{(n+1)^3/2log(n+1)+n^3/2logn}

>{(n+1)^3−n^3}/3log(n+1)−3C{(n+1)^3/2log(n+1)+n^3/2logn}

 ここで,第1項はn^2/logn程度,第2項は6Cn^3/2logn程度の大きさであるから

  lim{π((n+1)^3)−π(n^3)}=+∞

===================================

【2】n^2と(n+1)^2の間に素数がある?

 一方,n^2と(n+1)^2の間に常に素数があるかという予想(ルジャンドル予想)は未解決です.例として3^2=9と4^2=16の間には2つの素数11,13が存在します.

  1^2<2,3<2^2<5,7<3^2<11,13<4^2<・・・

 nが十分大きいとき,  

  π((n+1)^2)−π(n^2)≧Li((n+1)^2)−Li(n^2)−2C(n+1)^2/2log(n+1)−2Cn^2/2logn

=∫(n^2,(n+1)^2)du/logu−2C{(n+1)^2/2log(n+1)+n^2/2logn}

>{(n+1)^2−n^2}/2log(n+1)−2C{(n+1)^2/2log(n+1)+n^2/2logn}

 ここで,第1項はn/logn程度,第2項は4Cnlogn程度の大きさであるから,誤差項が優勢になってしまい,リーマン予想からはわからないのです.

  lim{π((n+1)^2)−π(n^2)}=?

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

 調和級数Σ(1/n)は発散し,また,オイラー級数Σ(1/n^2)=π^2/6で収束しますから,素数は平方数ほどまばらには分布していないこともわかります.nが大きくなるにつれて素数の分布はまだらになりますが,n^2と(n+1)^2の間も広がります.

 n^2と(n+1)^2の間に十分な数の素数が存在しなくなる可能性は常にあり,だれもこの予想を証明したりあるいは反例をあげたりすることができていないのです.

===================================