■離散体積の問題(その3)

【1】ガウスの円問題

 原点を中心とした半径rの円の内部(境界を含む)にある整数点の個数をR(r)で表す.

  R(10)=317       R(100)=31417

  R(20)=1257      R(200)=125627

  R(30)=2821      R(300)=282697

 R(r)は円の面積の推定値を与える.

  r   R(r)/r^2     r   R(r)/r^2

  10   3.17       100   3.1417

  20   3.1425     200   3.140725

  30   3.134      300   3.14107

 ガウスは

  |R(r)−πr^2|<cr

を示したが,

  |R(r)−πr^2|<cr^k

となるkの最小値を求める問題に一般化される.

 シェルピンスキーはk≦2/3を証明し,ガウスのk=1を大きく改善した.ヴィノグラードフはk≦34/53,1963年に陳景潤はk≦24/37を,1990年にハクスリーはk≦46/73を得たが,シェルピンスキーの成果からほんのわずかしか進んでいない.最近,ハクスリーは46/73を131/208に改良している.

 下の値は1915年,ハーディとランダウが与えたk=1/2と予想されている.

  R(r)=πr^2+O(r^1/2)

 同じ問題を3次元球についても考えることができる.→コラム「平面上の格子点」参照.標準単体,超立方体,正軸体などについての格子点問題は,コラム「スターリングの公式の図形的証明?」(その7−9)参照.

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

【2】ディリクレの約数問題

 ディリクレの約数問題とは,d(n)を約数関数とするとき,

  Σd(n)=xlnx+(2γ−1)x+Δ(x)

における誤差Δ(x)を評価せよという,直角双曲線の格子点問題である.

 ハクスリーはディリクレの約数問題においても指数を131/416に改良している.(ガウスの円問題の誤差評価も半径√xの円内格子点とすれば131/416になる.)最良評価はk=1/4と予想されている.

  Σd(n)=xlnx+(2γ−1)x+O(x^1/4)

 円問題と約数問題は類似の問題であって,リーマン予想などと共にほぼ並行に扱われてきたが,リーマン予想との関連は未知である.いずれも解決の兆しは未だ見えない.解決の目途は皆目立たぬ状況なのである.

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