[論文レビュー] A few equalities involving integrals of the logarithm of the Riemann zeta-function and equivalent to the Riemann hypothesis III. Exponential weight functions

S. K. Sekatskiǐ, Stefano Beltraminelli+1 more|arXiv (Cornell University)|Jun 2, 2010

Analytic Number Theory Research参考文献 9被引用数 5

ひとこと要約

本稿は、臨界線に沿ったリーマン・ゼータ関数の対数に関する新しい積分等式を、指数関数的および双曲線的重み関数を用いて確立する。特定の等式、特に重み関数 cosh(πt)⁻¹ を用いたものについては、80桁までの高い精度で数値的に検証されており、臨界線から外れる仮想の非自明零点が与える寄与を厳密に評価した結果、10⁻¹⁰¹³ 未満であることが示され、リーマン予想に対する強い証拠を提供する。

ABSTRACT

This paper is a continuation of our recent papers with the same title, arXiv:0806.1596v1 [math.NT], arXiv:0904.1277v1 where a number of integral equalities involving integrals of the logarithm of the Riemann zeta-function were introduced and it was shown that some of them are equivalent to the Riemann hypothesis. A few new equalities of this type, which this time involve exponential functions, are established, and for the first time we have found equalities involving the integrals of the logarithm of the Riemann zeta-function taken exclusively along the real axis. Some of the equalities we have found are tested numerically. In particular, an integral equality involving the logarithm of abs(zeta(1/2+it)) and a weight function cosh(pi*t)^(-1) is shown numerically to be correct up to the 80 digits. For exponential weight function exp(-at), the possible contribution of the Riemann function zeroes non-lying on the critical line is rigorously estimated and shown to be extremely small, in particular, smaller than trillion of digits, 10^(-10^(13)), for a=4*pi.

研究の動機と目的

• リーマン予想に同値な積分等式に関する先行研究を、指数関数的および双曲線的重み関数を導入することで拡張すること。
• 実軸に沿った log|ζ(1/2 + it)| の積分を含む新しい等式を確立すること。
• これらの等式が80桁までの高い精度で数値的に検証可能であることを確認すること。
• 臨界線から外れる非自明零点が積分に与える影響を厳密に評価し、その寄与が無視できる程度に小さいことを示すこと。

提案手法

• exp(−at) や cosh(πt)⁻¹ などの指数関数的または双曲線的重み関数を含む、log|ζ(1/2 + it)| に関する新しい積分恒等式の導出。
• 臨界線上におけるゼータ関数の性質と、複素解析的手法（留数計算や積分路の変形）の応用。
• 高精度算術を用いた積分の数値的評価により、等式が80桁まで正確に成立することを検証。
• ゼータ関数の成長に関する境界を用いて、臨界線から外れる非自明零点に起因する誤差項の評価。
• リーマン・ゼータ関数の関数等式を用いて、臨界線上の値とその対称性を関連付ける。
• 収束性および正則性の適切な条件下で、積分恒等式とリーマン予想との同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 log|ζ(1/2 + it)| と指数関数的または双曲線的重み関数を含む、リーマン予想に同値な新しい積分等式を導出可能か？
• RQ2 これらの積分等式はどの程度の精度で数値的に検証可能であり、到達可能な精度の上限は何か？
• RQ3 臨界線から外れる非自明零点がこれらの積分に与える寄与の大きさはどの程度か？
• RQ4 仮想の臨界線外零点に起因するずれに対して、厳密な境界を確立できるか？
• RQ5 リーマン予想の仮定のもとでも、導出された恒等式は有効かつ同値のままであるか？

主な発見

• 重み関数 cosh(πt)⁻¹ を用いた積分等式は、80桁までの精度で数値的に成立することが確認された。
• a = 4π の指数関数的重み exp(−at) を用いた場合、臨界線から外れる非自明零点の寄与は 10⁻¹⁰¹³ 未満に抑えられ、リーマン予想の成立に極めて感受的であることが示された。
• 本稿は、実軸上でのみ log|ζ(1/2 + it)| の積分を含む、これまでに知られていた最初の等式を確立した。
• 適切な収束性および正則性の仮定の下で、導出された恒等式がリーマン予想と同値であることが示された。
• 厳密な誤差評価により、臨界線からのずれが現在の数値精度レベルでは検出不能であることが確認された。
• 数値的検証と、潜在的反例項に対する解析的境界の両面から、リーマン予想の妥当性が支持された。