ヘール・ボップ彗星 その2
C2(α)のζ(s)非自明な零点の虚部αnでの新たな検証結果を追加しました。S2(α)も同様に調べた。
2006/11/27 < C2(α)の追加の実験結果 >
少し復習しますと、「その1」の <C2(α)の実験結果>で、B(1/2+i・α)のC2(α)とS2(α)を同時に0とするαが、
リーマン予想に関係するζ(1/2+i・α)の非自明な零点の虚部αnであることを示しました。
その実験検証の結果としては、非自明の零点の虚部αnの1番目から8番目までの零点を調べました。
次のサイトの零点の値を利用してα1〜α8とその周辺の点を検証したのでした。
今回、さらに、別の零点でも@がほんとうに0になるか、またそれ以外の点では0にならないかを検証したので
お知らせします。結論を先に述べれば、この追加した検証実験でも「その1」同様、まったく私の考えを支持する結果
を与えました。
新たに調べたのは上サイトのα9,α10の2点、α36〜α40の5点、そしてα96〜α100の5点の非自明な零点と
その周辺の点です。零点は次の通り。
α9=48.005150881167
α10=49.773832477672
α36=114.3202209154527
α37=116.226680320857
α38=118.7907828659762
α39=121.370125002420
α40=122.94682929355
α96=229.337413305525
α97=231.250188700499
α98=231.987235253180
α99=233.693404178908
α100=236.524229665816
C2(α)は次です。
C2(α)=1 - cos(α・log2) /√2 + cos(α・log3) /√3 - cos(α・log4) /√4 + ・・・・
この式のαに零点他いろいろな値を代入して初項からn項までの和を求めた結果が以下の表となります。
赤字が零点。
@は「100項までの和」、Aは「1000項までの和」、Bは「10^4項までの和」、Cは「10^5項までの和」、
Dは「10^6項までの和」、Eは「10^7項までの和」を表す。
αnだけ他よりもすこし詳しく調べています。Cまでで止めたものも多くある。
また例えばBとCの間の数は、その中間の「5×10^4項までの和」を表します。他も同様。
α=46 |
α=47.9 |
α9=48.0051・・ |
α=48.1 |
α=49 |
@0.03746888
A0.052063129
B0.042560134
0.037515713
C0.038400585
|
@-0.007960537
A0.031311515
B0.022210782
0.025508706
C0.023093657
|
@-0.008668983
A-0.003045497
B0.003416931
0.00112657
C-0.001535687
D0.000471437
E-0.0000958108
|
@0.075396645
A0.049953745
B0.066815449
0.060754626
C0.060781615
|
@1.559677201
A1.597684309
B1.606486126
1.610463267
C1.608500254
|
α=49.6 |
α10=49.7738・・ |
α=49.9 |
@0.423258831
A0.398425926
B0.384296746
0.384885931
C0.381800837
|
@0.05100799
A0.002426241
B-0.004861182
0.000533277
C-0.000464216
D0.000468324
E0.0000641155
|
@-0.105446616
A-0.154798247
B-0.147406296
-0.146417834
C-0.142954852
|
α=113 |
α=114.2 |
α36=114.3202・・ |
α=114.4 |
α=115 |
@3.436595812
A3.485933235
B3.48985136
3.488669226
C3.48528093
|
@-0.072001535
A-0.041682273
B-0.05226137
-0.055111445
C-0.056336436
|
@-0.043342945
A0.005537154
B0.0043871
-0.001447129
C0.001559252
D0.00033787
E0.0000126624 |
@0.144181408
A0.196083157
B0.20078053
0.196897461
C0.200288327
|
@2.909050632
A2.880665817
B2.870363432
2.863735019
C2.866229559
|
α=116.1 |
α37=116.2266・・ |
α=116.4 |
α=117 |
α=118.7 |
@-0.303737751
A-0.271358888
B-0.282550176
-0.282671855
C-0.280515614
|
@0.011017148
A-0.003866311
B0.003519207
-0.001370583
C-0.001546799
D0.00046486
E-0.000090223 |
@0.668152033
A0.602788763
B0.621956558
0.620592279
C0.618834506
|
@1.180621649
A1.224937947
B1.219801046
1.217019253
C1.21598500
|
@0.230478587
A0.296078285
B0.275266318
0.282108582
C0.281847364
|
α38=118.7907・・ |
α=118.9 |
α=120 |
α=121.2 |
α39=121.3701・・ |
@-0.031862138
A0.012299317
B-0.003354976
0.002076776
C0.000804192
D-0.000160501
E0.0000188521 |
@-0.39116626
A-0.385691868
B-0.386486308
-0.387800825
C-0.388868888
|
@3.652264033
A3.695168984
B3.705672727
3.711212391
C3.708659031
|
@-0.116632587
A-0.061321607
B-0.059494364
-0.061484133
C-0.063439164
|
@-0.057185593
A0.014879596
B-0.004286576
-0.00223586
C0.001226538
D-0.000341047
D0.0000910783 |
α=121.5 |
α=122 |
α=122.8 |
α40=122.9468・・ |
α=123.1 |
@0.344825552
A0.394321457
B0.37683826
0.380462992
C0.381889645
|
@2.150957173
A2.080208612
B2.08793127
2.088625416
C2.092054321
|
@-0.022335627
A0.010549297
B0.021311209
0.028481738
C0.024724258
|
@-0.014978679
A-0.006927378
B-0.000776137
0.000456995
C0.000299863
D0.000258118
E0.000123322 |
@0.296461612
A0.278541706
B0.274280996
0.267308276
C0.270994738
|
α=228 |
α=229.2 |
α96=229.3374・・ |
α=229.5 |
α=230 |
@-0.282228992
A-0.308916377
B-0.316421268
-0.313879666
C-0.315730486
|
@0.424586154
A0.461902791
B0.472854992
0.478667889
C0.476256569
|
@0.020231215
A-0.009142321
B-0.002102402
-0.001987553
C-0.000256481
D0.0000585545
E0.0000613712 |
@0.291481227
A0.204176933
B0.200764047
0.195759264
C0.197959565
|
@3.545612799
A3.544022765
B3.55281400
3.553645894
C3.557159949
|
α=231.1 |
α97=231.2501 |
α=231.4 |
α=231.5 |
α=231.9 |
@-0.2218427
A-0.345067266
B-0.332119381
-0.333822988
C-0.330144276
|
@0.051266333
A0.00056485
B-0.004977517
-0.000445259
C0.000208781
D0.000493598
E-0.000029397 |
@0.382208235
A0.427101651
B0.411726784
0.415349628
C0.411558017
|
@0.52630068
A0.622222708
B0.609561704
0.607930522
C0.605983918
|
@0.126764931
A0.178326909
B0.189343107
0.195124571
C0.192577579
|
α98=231.9872・・ |
α=232.1 |
α=233 |
α=233.6 |
α99=233.6934・・ |
@-0.021675624
A-0.014564567
B-0.00458581
0.002228954
C-0.001388219
D-0.000413314
E-0.000121217 |
@-0.106923852
A-0.154072544
B-0.148823874
-0.147281296
C-0.147859151
|
@2.893922524
A3.008295518
B3.019870651
3.014851658
C3.013661873
|
@0.189257775
A0.077242217
B0.090220901
0.085908788
C0.084161051
|
@0.123472708
A-0.014867941
B0.004572725
0.001994686
C-0.000434213
D-0.00028535
E0.000157646 |
α=233.8 |
α=235 |
α=236.4 |
α100=236.5242・・ |
α=236.6 |
@0.34865478
A0.215179021
B0.230867546
0.231741783
C0.231294538
|
@-0.507443296
A-0.611815337
B-0.618348619
-0.622304766
C-0.622035433
|
@0.478479415
A0.33953228
B0.358261042
0.35145724
C0.352569592
|
@0.122608029
A-0.014998692
B0.001061984
0.000692499
C0.001235568
D-0.000450928
E0.00000039778 |
@-0.040770211
A-0.152330086
B-0.144331344
-0.139978479
D-0.140455173
|
すなわち、非自明な零点の虚部αnではC2(α)は必ず0に収束していることが見てとれます。
次に、もう一つの中心S2(α)を調べる必要があります。上の零点に関してS2(α)はまだ調べていないので、
検証が済み次第報告します。
2006/12/3 < S2(α)の追加の実験結果 >
(2006/12/10改)
C2(α)につづき、S2(α)の場合を調べ終わったので、お知らせします。
結論を述べれば、S2(α)の追加した検証実験でも「その1」同様、まったく私の考えを支持する結果を与えました。
上のC2(α)とまったく同じ地点を調べました。
α9,α10の2点、α36〜α40の5点、そしてα96〜α100の5点の非自明な零点とその周辺の点です。零点は次の通り。
α9=48.005150881167
α10=49.773832477672
α36=114.3202209154527
α37=116.226680320857
α38=118.7907828659762
α39=121.370125002420
α40=122.94682929355
α96=229.337413305525
α97=231.250188700499
α98=231.987235253180
α99=233.693404178908
α100=236.524229665816
S2(α)は次です。
S2(α)=sin(α・log2) /√2 - sin(α・log3) /√3 + sin(α・log4) /√4 - ・・・・
この式のαに零点他いろいろな値を代入して初項からn項までの和を求めた結果が以下の表となります。
赤字が零点。
@は「100項までの和」、Aは「1000項までの和」、Bは「10^4項までの和」、Cは「10^5項までの和」、
Dは「10^6項までの和」、Eは「10^7項までの和」を表す。
αnだけ他よりもすこし詳しく調べています。Cまでで止めたものも多くある。
また例えばBとCの間の数は、その中間の「5×10^4項までの和」を表す。他も同様。
α=46 |
α=47.9 |
α9=48.0051・・ |
α=48.1 |
α=49 |
@2.481451231
A2.44387908
B2.433864843
2.43378367
C2.434423214
|
@-0.376624966
A-0.312425493
B-0.331297336
-0.326618685
C-0.324839179
|
@-0.048684188
A0.01534441
B-0.003633508
0.001932587
C0.000375628
D0.000166598
E-0.000125779
|
@0.239250254
A0.286681588
B0.277121799
0.278785058
C0.275631801
|
@0.074845701
A0.095111934
B0.088870729
0.082934243
C0.086015983
|
α=49.6 |
α10=49.7738・・ |
α=49.9 |
@-0.411973725
A-0.39866823
B-0.397984153
-0.403982406
C-0.401761873
|
@0.029852356
A0.015718495
B0.001145272
0.002172044
C-0.001511677
D-0.000175111
E0.000144531 |
@0.472218098
A0.435793865
B0.420408485
0.425382643
C0.423780564
|
α=113 |
α=114.2 |
α36=114.3202・・ |
α=114.4 |
α=115 |
@2.227450641
A2.243010192
B2.262778903
2.259991924
C2.258274832
|
@-0.690825291
A-0.693366617
B-0.703717914
-0.699061034
C-0.70249407
|
@-0.021911815
A0.015360133
B0.002448393
0.001701303
C-0.000260366
D-0.000368531
|
@0.369003728
A0.424150263
B0.413809548
0.409073572
C0.410151658
|
@0.002215403
A-0.023740503
B-0.017340638
-0.020152297
C-0.018140438
|
α=116.1 |
α37=116.2266・・ |
α=116.4 |
α=117 |
α=118.7 |
@-0.501578576
A-0.44466096
B-0.463107291
-0.457466556
C-0.456879911
|
@-0.013694505
A0.014796113
B-0.003510415
-0.001769929
C0.000325919
D0.000184186
E-0.000129846 |
@0.307269939
A0.275723337
B0.279205692
0.274784094
C0.274013016
|
@-1.481118616
A-1.456263375
B-1.469219425
-1.469846154
C-1.470578158
|
@0.001370889
A0.062449815
B0.059673396
0.058465363
C0.059717499
|
α38=118.7907・・ |
α=118.9 |
α=120 |
α=121.2 |
α39=121.3701・・ |
@-0.048560409
A0.01135449
B-0.003746659
0.000833753
C0.001362294
D-0.000473558
E0.000156986 |
@0.070457815
A0.112152867
B0.091525646
0.098563489
C0.097510958
|
@2.819887125
A2.883685924
B2.882212518
2.881215628
C2.880540493
|
@-0.968184366
A-0.942795787
B-0.922861005
-0.925023792
C-0.927947751
|
@-0.060008592
A-0.003580317
B0.002521559
-0.000035226
C-0.0009963
D0.00036559
E-0.000129246 |
α=121.5 |
α=122 |
α=122.8 |
α40=122.9468・・ |
α=123.1 |
@0.466017813
A0.526491998
B0.513577587
0.514461918
C0.517821943
|
@0.037453606
A-0.033792701
B-0.016392586
-0.021791778
C-0.020180118
|
@-0.60494647
A-0.550694159
B-0.547514505
-0.547631233
C-0.547254935
|
@-0.034185456
A-0.014975797
B-0.004948283
0.002189956
C-0.001552063
D-0.000428191
E-0.000098951 |
@0.476465228
A0.458286801
B0.468604683
0.470360077
C0.470692656
|
α=228 |
α=229.2 |
α96=229.3374・・ |
α=229.5 |
α=230 |
@2.824697686
A2.745878189
B2.725354897
2.731838907
C2.731852093
|
@-0.843901849
A-0.874399837
B-0.870115676
-0.868573656
C-0.870373623
|
@0.088459314
A-0.014751653
B-0.004583518
0.001015366
C-0.001560771
D-0.000496546
E-0.000145716 |
@1.271262481
A1.143543166
B1.152955423
1.153136323
C1.155504709
|
@0.984067314
A1.074698405
B1.062681631
1.065931654
C1.066236516
|
α=231.1 |
α97=231.2501 |
α=231.4 |
α=231.5 |
α=231.9 |
@-0.470697524
A-0.529382707
B-0.51301034
-0.51742377
C-0.518426857
|
@-0.032908886
A-0.015343853
B0.000360607
-0.002193297
C0.001567762
D-0.0000796385
E-0.000155358 |
@0.047496687
A0.141253615
B0.140655876
0.145159063
C0.145446008
|
@-0.045837475
A0.078171816
B0.067704585
0.073461737
C0.070201951
|
@-0.170055414
A-0.187737941
B-0.18523137
-0.188944945
C-0.18627878
|
α98=231.9872・・ |
α=232.1 |
α=233 |
α=233.6 |
α99=233.6934・・ |
@0.061913133
A-0.009582727
B-0.002098826
-0.000167814
C-0.000760076
D-0.00028147
E-0.000101524 |
@0.497805071
A0.377547117
B0.388310687
0.395322532
C0.391746297
|
@-0.330168003
A-0.240798134
B-0.223589629
-0.227462249
C-0.224617422
|
@-0.493556206
A-0.602403707
B-0.615595584
-0.615780644
C-0.613899286
|
@0.101778655
A0.002084906
B0.002129138
-0.001001204
C-0.001521348
D0.000410512
E-0.0000121494 |
α=233.8 |
α=235 |
α=236.4 |
α100=236.5242・・ |
α=236.6 |
@0.751347496
A0.683837579
B0.697830547
0.694307821
C0.691968118
|
@-3.653400986
A-3.777882811
B-3.770319195
-3.767860017
C-3.768928159
|
@-0.041830078
A-0.146143883
B-0.14937735
-0.151709065
C-0.151910938
|
@0.057783166
A-0.008691236
B0.004909649
-0.002122808
C-0.000983662
D-0.000216125
E0.000158113 |
@0.214171218
A0.183811015
B0.202370429
0.197065746
C0.198316166
|
以上、一つ上のC2(α)とまったく同様の結果が得られました。すなわち非自明な零点の虚部αnではS2(α)は
必ず0に収束しています。
****************************************
1 - cos(α・log2) /√2 + cos(α・log3) /√3 - cos(α・log4) /√4 + cos(α・log5) /√5 - ・・・=0 ----@
sin(α・log2) /√2 - sin(α・log3) /√3 + sin(α・log4) /√4 - sin(α・log5) /√5 + ・・・=0 -----A
****************************************
(logは自然対数です。)
この2方程式を同時に満たすαが、ζ(s)の非自明な零点1/2+i・αnの虚部αnであることは、もはや疑い
ようのない事実であるとわかります。
「その1」で述べた予想A-1を再度、味わうことにしましょう。これがいかに重大な結果かわかるでしょう。
予想A-1 (リーマン予想と同値)
cを0 < c < 1の実数とする。次のxに関する二つの方程式を考える。
この二つの方程式を同時に満足する実数解が存在するのはcが1/2のときのみであろう。
cos(x・log1) /1^c - cos(x・log2) /2^c + cos(x・log3) /3^c - cos(x・log4) /4^c + ・・・=0
sin(x・log1) /1^c - sin(x・log2) /2^c + sin(x・log3) /3^c - sin(x・log4) /4^c + ・・・・=0
|
私が導出したこれらの結果により、リーマン予想は古典的・初等的な命題に変貌したといえるでしょう。
|