リーマン仮説と零点の計算方法
以下の文章はかなり前に書いたもので、素朴なところもありますが、参考までにそのままにしておきます。もう少しこなれた説明は「hirokuroのリーマン予想証明」の「証明の概略 1の5」にありますので、参照していただければと思います。
リーマンの零点とは、ゼータ関数を零とする点とのことだと思っている人が多いのですが、先のページで説明したように、私の立場からは、ゼータ関数を成り立たせるk(r)という関数を零とするのがリーマン零点であると考えます。以下、その立場からの説明になりますので、従来の用語法に拘る方々から不満が出るかもしれませんが、その点はご容赦いただきたいと、最初にお断りしておきます。少し我慢して以下の説明を読めば、私の説明も決していい加減なものでないことをご理解いただけると思います。
注 掲示板の方のご意見によると、私のk(r)がゼータ関数で、私の定義(理解)が間違っているとのことですが、はたしてそうなのでしょうか。 とすると、以下の説明は書き直さなければなりません。しかし、まだ完全に納得できていないので、そのままにしておきます。読む人が修正しながら理解していただけると幸いです。
さて、ゼータ関数の公式に登場するk(r)ですが、この関数の説明については、従来のマイナス・ゼータの説明の大部分が当てはまります。k(r)を零とするのは、実数の範囲では、-2, -4, -6 . . . などで、複素数の範囲ではリーマンの零点になっています。
私が最初に零点について関心を持ったとき、ためしに、ゼータ関数に 1/2+bi を代入して計算してみました。すると、どうやっても発散、もしくは振動して、収束してくれませんでした。やはりという結果になったので、次にk(r)に代入して、これを算出してみました。おそらくこれで零点は計算できるはずだという思いはありましたが、複素数の扱いに慣れていなかったので、計算が正しく行えるかどうか不安がありました。しかし、幸いにも何とか計算可能な式を導出することが出来、何とかプログラムも作ることが出来ました。そして、それを走らせてみたところ、従来のリーマンのいう零点とまったく同じ値が出てきました。やはり予想通りでしたね。(^^) これで、マイナス・ゼータとは、実はk(r)のことだと確信をもって断言することが出来るようになりました。
■ k(1/2+bi) の零点を計算する
そこで、ここに零点の計算方法を説明しておくことにします。つまりは、Σ1/n^rの公式にある k(r) を計算するということです。(数学公式3を参照してください。)
Σ1/n^r = k(r)-1/(r-1)/n^(r-1) + 1/2/n^r - r/12/n^(r+1)
+ 0 + r*(r+1)*(r+2)/6!/n^(r+3) + 0 + ..... という公式がありますから、この r に1/2+biを代入します。
k(r) = Σ1/n^r + 1/(r-1)/n^(r-1) - 1/2/n^r
+ r/12/n^(r+1) - r*(r+1)*(r+2)/6!/n^(r+3)
..... ということですから、無限計算が二カ所登場します。しかも、k(r)自体が極限値ですから、計算は結構複雑です。そこで、計算の便宜上、この式を3つの部分に分けます。k(r) = Σ1/n^r + 1/(r-1)/n^(r-1) - 1/2/n^r + 1/n^(r-1) * { B(2)*r/(2!*n^2) + B(4)*r*(r+1)*(r+2)/(4!*n^4)
+ B(6)*r*...*(r+4)/(6!*n^6) + ..... } それぞれの式の実部と虚部同士を最後に合計すればk(a+bi)の実部と虚部が計算できます。
そこでまず、Σ1/n^r を計算するプログラムを作ります。Σ1/n^(1/2+bi)
= 1 + 1/2^(1/2+bi) + 1/3^(1/2+bi) + 1/4^(1/2+bi)
... となっています。オイラーの公式で、e^(bi)
= cos(b) + i*sin(b) となるので、2^(bi) =
cos(b*log(2)/log(e)) + i * sin(b*log(2)/log(e))ということになります。また、cos(a)^2+sin(a)^2=1
という公式があるので、分子・分母に cos(b*log(2)/log(e))
- i * sin(b*log(2)/log(e)) をかけると、この部分の分母は1になります。それゆえ、この式の実部は、1+
cos(b*log(2)/log(e))/2^(1/2) + cos(b*log(3)/log(e))/3^(1/2)
+ cos(b*log(4)/log(e))/4^(1/2) + ... と書くことが出来ます。虚部は、-
{ sin(b*log(2)/log(e))/2^(1/2) + sin(b*log(3)/log(e))/3^(1/2)
+ sin(b*log(4)/log(e))/4^(1/2) + ... } となります。
1/(r-1)/n^(r-1) - 1/2/n^r の計算はやや楽です。1/(-1/2+bi)*n^(-1/2+bi)
の分子・分母に(-1/2-bi)を掛けて虚数を分子にもってきます。さらにオイラー公式で整理すると、(-1/2-bi)
* n^(1/2) * { cos(b*log(n)/log(e)) - i *
sin(b*log(n)/log(e)) } / (1/4+b^2) となります。-1/2n^(1/2+bi)
は、- { cos(b*log(n)/log(e)) - i * sin(b*log(n)/log(e))
} / 2n^(1/2) となります。両者を合計すると、実部は、
n^(1/2) * { - cos(b*log(n)/log(e))/2 - b
* sin(b*log(n)/log(e)) } / (1/4+b^2) - cos(b*log(n)/log(e))
/ 2n^(1/2) となります。虚部は、 n^(1/2) *
{ - b * cos(b*log(n)/log(e)) + sin(b*log(n)/log(e))
/ 2 } / (1/4+b^2) + sin(b*log(n)/log(e))
/ 2n^(1/2) となります。
1/n^(r-1) * { B(2)*r/(2!*n^2) + B(4)*r*(r+1)*(r+2)/(4!*n^4)
+ ..... } は、1/n^(-1/2+bi)を計算しておいて、あとで{B(2)...
} 部分を掛けるというやり方になります。1/n^(-1/2+bi)
= { cos(b*log(n)/log(e)) - i * sin(b*log(n)/log(e))
} * n^(1/2) となります。{B(2).. } 部分は、すでにベルヌーイ数は計算してあるので、それを使えるようにします。やっかいなのは、r*(r+1)(r+2)
のところです。これを複素数で計算するのは複雑ですから、別途計算するプログラムを作りました。便宜上、rの実部を表すのにra(2)、虚部をrb(2)のように表記します。r(r+1)(r+2)の実部はra(4)、虚部はrb(4)となり、以下同様です。というわけで、{B(2)...}
部分の実部は、B(2) * ra(2) / (2!*n^2) + B(4)
* ra(4) / (4!*n^4) + .... と、綺麗に並べることが出来ます。これをbera(n)と表記することにします。虚部も同じ要領で、B(2)
* rb(2) / (2!*n^2) + B(4) * rb(4) / (4!*n^4)
+ .... となり、berb(n)とします。これを先の1/n^(r-1)
と掛けるので、全体の実部は、 { cos(b*log(n)/log(e))
* bera(n) + sin(b*log(n)/log(e)) * berb(n)
} * n^(1/2) となり、虚部は、 { cos(b*log(n)/log(e))
* berb(n) - sin(b*log(n)/log(e)) * bera(n)
} * n^(1/2) となります。
というわけで、3つの部分を合計した値がk(r)になるのですから、実部は、1+ cos(b*log(2)/log(e))/2^(1/2) + cos(b*log(3)/log(e))/3^(1/2)
+ cos(b*log(4)/log(e))/4^(1/2) + ... + n^(1/2)
* { - cos(b*log(n)/log(e)) + b * sin(b*log(n)/log(e))
} / (2 * (1/4+b^2)) + cos(b*log(n)/log(e))
/ 2n^(1/2) + { cos(b*log(n)/log(e)) * bera(n)
+ sin(b*log(n)/log(e)) * berb(n) } * n^(1/2) となります。虚部は、- { sin(b*log(2)/log(e))/2^(1/2) + sin(b*log(3)/log(e))/3^(1/2)
+ sin(b*log(4)/log(e))/4^(1/2) + ... } +
n^(1/2) * { - b * cos(b*log(n)/log(e)) +
sin(b*log(n)/log(e)) / 2 } / (2 * (1/4+b^2))
- sin(b*log(n)/log(e)) / 2n^(1/2) + { cos(b*log(n)/log(e))
* berb(n) - sin(b*log(n)/log(e)) * bera(n)
} * n^(1/2) となります。
あとはこれを計算するプログラムを書けばよいのですが、式が長いのと無限計算部分があるので、プログラムを書くのはけっこう面倒です。しかし、ベルヌーイ数を使った計算プログラムはすでに何度も作ったことがあるし、無限を扱うプログラムもすでに雛形があるので、たいした問題もなく出来上がりました。(Javaによる多桁計算ソフトを使っています。)
■ 計算プログラムを走らせたところ・・・
「プログラムは大した問題もなく出来上がった」と書きましたが、実は、計算結果が予定した数にならず、原因探しにものすごく時間がかかりました。原因はプラスとマイナスを書き間違えていたり、単なる勘違いとウッカリミスなのですが、そういうところがたくさんあるので困ります。ただ、こういうのは毎度のことなので、プログラム作りとはそういうことだと最近では理解しています。ですから、結論としては「たいした問題もなく」と言うことになるのです。
さて、変数がbとnの二つもあります・・・というか、ベルヌーイ数部分も入れて3つもあるのですが、nの極限値計算のところは、手動で動かすようにしてあります。実部が零、虚部も零となるところが零点ですから、とにかく零点を探せばよいということです。そこで、まずは適当にbを定めて計算してみました。たとえば、b=1として、n=16,
n=32, n=64 と順番に計算してみました。(手動にしてあるのは、今の段階では厳密な値は必要でないことと、収束するかどうか、目で確かめないといけないからです。ベルヌーイ数部分はあまり計算精度に関係してこないので、18くらいで打ち切っています。有効桁数は50桁としておきました。)その結果、f(1)=0.143936427077...となり、n=16でも、n=32でも、20桁程度の一致があるので、精度はこれで充分との結論が出ました。当面、n=32
で計算することにしました。
f(1)=0.1439364... 、f(1/2)=-1.4603545...
となったので、1と0.5の間に零点があることは明らかです。そこで、これについては手動では面倒なので、零点を探すプログラムを作り、それにやらせました。すると、b=0.819545329425848...
と、けっこう精度の良い結果が得られました。ところが、この数字は、リーマンの零点としては載っていませんでした。おそらく、この虚部が零にならないのだと思われます。そこで、今度は、リーマンの零点といわれているところがこのプログラムで零になるかどうかを確かめてみました。そこで、14と15の間の零点を計算したところ、b=14.51920..
という結果を得ました。全然違う数になったので、ひどくがっかりしたのですが、(〜〜)再度計算したところ、b=14.1347251417..
も零になりました。(^^) 実部の零点はたくさんあるのですね。HPに挙げられていた数より精度のよい数が得られました。
次の零点も零になるかどうか試してみました。表では21.022040..
となっていたので、その近傍を調べたところ、b=21.0220396387715...
という結果になりました。25の近傍も計算してみましたが、b=25.491508...
となりました。また、違う結果になり、あせりましたが、先の経験もあるので、ここも再度計算したところ、b=25.01085758...となりました。零点はけっこうたくさんあるのですね。そのつもりで計算しなければなりません。
さて、実部の零点はたくさんあることが判りましたが、リーマンの零点というのは虚部も零と言うことですから、次に虚部を計算することにしました。プログラムとしては同じ構造で、同じようなやり方で計算するのですが、虚部ではなかなか収束してくれず、時間ばかりがかかりました。r=16,
r=32, r=64, と増やしていくのですが、この程度の精度では、間違った値に収束します。思い切ってn=1000としてみたのですが、結果が出るのに2分もかかってしまいました。結構時間かかりますね。古いパソコンなので仕方ありません。
このやり方で14.13近傍で零になるところを探してみましたが、14.1347を確定させるのに1時間もかかってしまいました。プログラムの修正か、もしくは別のやり方を検討しないといけませんね。21.022040を確定しようとしたところ、n=1000で1時間掛けて
21.02198まで確定しましたが、誤差が生じています。これはn=2000にすると少し改善します。ですから、零点の計算方法が間違っているわけではありません。
最初の零点を約500桁計算しておきました。最初の1は小数点の場所で、次からは数字を示しています。つまり、14.13...となります。
■ 零点の分布状況
まず、実部f(b)の値がどのように動くかをグラフにしてみました。bが増加に対してf(b)は振動を繰り返します。波形はその都度変化しているみたいですが、どうなのでしょうか。計算上の問題として、bを増加させると有効桁も増やさなければなりません。私のPCは古いので、時間のかかる計算には向いていません。まずは、このグラフをご覧下さい。30までを計算しておきました。グラフを書くプログラムがうまく動いてくれないので、手書きで作ったグラフです。あまり綺麗に書けてませんね。ご容赦下さい。縦軸はATN座標(arctanで縮めてあります。)を使っています。
サイン曲線のように波状に変化しています。特に法則があるようには見えません。bがマイナスの場合も調べましたが、プラスとまったく同じ値が出てきました。計算式を確認したところ、コサイン部分はマイナスもプラスも同じ値になりますし、サイン部分はマイナスが消えるような構造になっているので、f(-b)=f(b)
であることは確実です。誤差の段階からf(-b)=f(b)が成り立っているのは面白いことです。
虚部のグラフは以下のような形になりました。
実部と虚部のグラフと重ねてみると、14.1辺りで、また21と25あたりで重なっていることが判ります。そのあたりに零点があることがわかります。そこを集中的に調べれば、詳しい値を得ることが出来ます。
■ a=1/2 以外には零点がないことの直感的説明
a=1/2、b=0 の時以外は、f(a,b)が零にならないことは、直感的にはかなり確かです。というのは、いろいろ計算しても、そこ以外は零点が見つからないからです。(^^;;
しかし、そういう経験的な発想は数学としては格好悪いので、もう少しましな説明を用意してみました。
1/2+bi 以外のところでも上記のような実部と虚部のグラフを書くことが出来ます。そして、それぞれ零となるところを調べることは可能です。それを複素平面上で点として表示すると、これもひとつのグラフのようなものが出来上がります。実部が零となる点の複素平面図と、虚部が零となる複素平面図を重ね合わせ、交わるところが零点となります。
そこでまず、a+bi としたときの実部、虚部の公式を確認しておきます。
a+bi のときの式として、実部は、1+ cos(b*log(2)/log(e))/2^a + cos(b*log(3)/log(e))/3^a
+ cos(b*log(4)/log(e))/4^a + ... + { (a-1)
* cos(b*log(n)/log(e)) - b * sin(b*log(n)/log(e))
} / (n^(a-1) * ((a-1)^2 + b^2)) - cos(b*log(n)/log(e))
/ 2n^a + { cos(b*log(n)/log(e)) * bera(n)
+ sin(b*log(n)/log(e)) * berb(n) } / n^(a-1) となります。虚部は、- { sin(b*log(2)/log(e))/2^a + sin(b*log(3)/log(e))/3^a
+ sin(b*log(4)/log(e))/4^a + ... } + { -
b * cos(b*log(n)/log(e)) - (a-1) * sin(b*log(n)/log(e))
} / (n^(a-1) * ((a-1)^2 + b^2)) + sin(b*log(n)/log(e))
/ 2n^a + { cos(b*log(n)/log(e)) * berb(n)
- sin(b*log(n)/log(e)) * bera(n) } / n^(a-1) です。1/2+bi の時の式と大差ありません。
これで、複素平面上の零点を調べて表示するプログラムを作り、それを走らせました。全体を一度に作ることが出来ないので、いくつかの図を作って合成したところ、実部と虚部の図が出来上がりました。
青と赤の交点が零点です。これを見るだけで、交点が0.5i の線上にあるのが判りますね。
実零線図、虚零線図を個別に見たい方は「リーマン仮説を納得する方法」のページをご覧ください。
とは言うものの、思ったより複雑な図形となったので、これでは直感的説明は出来ませんね。後日、図を完成させるとともに、さらにひと工夫して、誰もがなるほどと言える説明を用意したいと思います。
■ 0から50までの間にある零点の数
零点がいくつあるかをこの式によって確認してみようと思い立ちました。そこで、グラフを書いて、その零となるところの近傍を調べてみました。
というわけで、その計算結果を載せておきます。実部が零となるところを小さい方から挙げてみます。ピンク色の数字は虚部も零となる、いわゆる零点です。
0.81954532942
14.1347251421
14.5179196271
20.6540449693
21.0220396387
25,0108575801
25.4915082146
29.7385103001
30.4248761258
32.9350615877
33.6237930728
37.2567417525
37.5861781588
40.7000036428
40.9187190121
43.3270732809
43.9935272863
47.1646901574
48.0051508811
49.7738324776
このグラフから、0から50の間で実部が零となるのは20個あることがわかります。
虚部において零となるのは次のとおりです。
3.43621822608
9.66690805613
14.1347251417
17.8455995404
21.0220396387
23.1702827011
25.0108575801
27.6701822176
30.424876123
31.717979949
32.935061593
35.467184292
37.5861781588
38.999209964
40.91871901214
42.3635503920
43.3270732809
45.5930289815
48.00515088116
48.7107766217
49.7738324776
このグラフから、0から50の間で虚部が零となるのは21個あることがわかります。
(ak=150, r=512, で計算してあります。)
表紙に戻る 前のページへ 次のページへ
|