[論文レビュー] Regularization for zeta functions with physical applications II

Minoru Fujimoto, Kunihiko Uehara|arXiv (Cornell University)|Feb 3, 2007

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

ひとこと要約

本稿では、ゼータ関数の正則化技術を提案し、近似関数方程式と変形された和の表現を用いて臨界線における解析を通じてリーマン予想への証拠を提供する。オイラー積とサトウ＝タイト型分布から導かれる関係を通じて、ゼータ関数の零点と素数の間の双対性を確立し、素数と非自明な零点を結ぶ明示的な方程式を導出する。

ABSTRACT

We have proposed a regularization technique and apply it to the Euler product of zeta functions in the part one. In this paper that is the second part of the trilogy, we give another evidence to demonstrate the Riemann hypotheses by using the approximate functional equation. Some other results on the critical line are also presented using the relations between the Euler product and the deformed summation representions in the critical strip. In part three, we will focus on physical applications using these outcomes.

研究の動機と目的

• ゼータ関数の臨界帯への正則化技術を適用することで、リーマン予想に対するさらなる証拠を提供すること。
• リーマンゼータ関数の非自明な零点と素数の分布との関係を明らかにすること。
• 変形された和とオイラー積の表現を通じて、ゼータ零点の虚部と素数の対数を結ぶ明示的な方程式を導出すること。
• 統計的平均化とガウスの床関数を用いて、素数とゼータ零点の間の双対性を確立すること。
• 三部作の第3部におけるゼータ関数正則化の物理的応用のための数学的基盤を構築すること。

提案手法

• オイラー＝マクローリン和公式を用いて、臨界帯におけるゼータ関数の正則化を実施し、収束解析を可能にする。
• 交替級数による定義で与えられる正則化ゼータ関数 $\hat{\zeta}(z)$ を導入し、$0 < \Re z < 1$ に対して有効である。
• ハーディーとリトルウッドの近似関数方程式を適用し、$\zeta(z)$ と $\zeta(1-z)$ を関連づけ、零点の対称的関係を確立する。
• ガウスの床関数 $[x]$ と統計的平均化を用いて、$\lambda_j \log p_k / (2\pi)$ の分布をモデル化し、サトウ＝タイト型の等分布を仮定する。
• 対数積分と素数定理の近似を用いて、$\sum \nu_k$ と $\sum \mu_j$ の漸近展開を導出する。
• 離散和と対数スケーリングを介して、$\lambda_j$（零点）と $p_k$（素数）を結ぶ明示的方程式 (56) と (62) を構築する。

実験結果

リサーチクエスチョン

• RQ1 ゼータ関数のオイラー積の正則化と、臨界線上での和の表現への変換を通じて、リーマン予想を支持できるか？
• RQ2 関数方程式と和の表現を通じて、リーマンゼータ関数の非自明な零点と素数の分布との関係は何か？
• RQ3 サトウ＝タイト分布を仮定したもとで、ゼータ零点の虚部と素数の対数の間の定量的関係は何か？
• RQ4 ガウスの床関数の平均化と漸近解析を用いて、素数をゼータ零点の式で、または逆にゼータ零点を素数の式で表す明示的方程式を導出できるか？
• RQ5 $\zeta_n(z)$ と $\hat{\zeta}_n(z)$ の正則化が、臨界線上における $\rho_n$ と $1 - \rho_n$ の間の対称的関係をどのように導くか？

主な発見

• 本稿では、零点が臨界線上にある場合に実部が $\frac{1}{2}$ でなければならないことを示す対称的関係 $\rho_n = \frac{1}{2} \pm i\sqrt{\frac{n}{\zeta_n(\rho_n)\zeta_n(1 - \rho_n)}}$ を導出する。
• 近似関数方程式を用いることで、剰余項 $R_{2k}$ が $O\left(\left(\frac{t}{2\pi M}\right)^{2k+2}\right)$ として減少し、収束のために $M > \frac{t}{2\pi}$ である必要があることを示す。
• 方程式 (56) は、$\lambda_j \log p_k / (2\pi)$ のガウスの床関数の和を用いた $\lambda_j$ の近似表現を提供し、誤差は $O\left(\frac{1}{m^2 \log m}\right)$ である。
• 方程式 (62) は、$p_k$ の閉形式近似を $n^{\left(\frac{2\sum_{j=1}^{n}\left[\lambda_j \log p_k / (2\pi)\right]}{n^2} + \frac{1}{n}\right)} \cdot n^{O(1/n^3)}$ として与え、素数とゼータ零点を結ぶ。
• $k$ における $\mu_j \nu_k - \frac{1}{2} - [\mu_j \nu_k]$ の平均が $O(1/m)$ であることが示され、サトウ＝タイト予想が導出における役割を支持する。
• 漸近的和 $\sum_{k=1}^m \nu_k \simeq \frac{1}{2\pi} m(\log m - 1)$ が導出され、これにより $\mu_j$ の素数数え上げに基づく正規化が可能になる。