[論文レビュー] Numerical computations on the zeros of the Euler double zeta-function I

Kohji Matsumoto, Mayumi Shōji|arXiv (Cornell University)|Mar 15, 2014

Advanced Mathematical Identities参考文献 11被引用数 4

ひとこと要約

本稿では、Euler二重ゼータ関数 ζ₂(s,s) の零点に関する数値計算を、2つの手法を用いて実施する。1つは恒等式 ζ₂(s,s) = ½(ζ(s)² − ζ(2s)) を用いた直接評価、もう1つは零点の位置を検証するための新規な「網を投げて魚を捕る」アプローチである。主な発見は、ζ₂(s,s) の非自明な零点の分布がHurwitzゼータ関数と類似しており、臨界帯域内で密に分布し、導関数の非ゼロ性により単純零点であることが確認されたことである。

ABSTRACT

The distribution of the zeros of the Euler double zeta-function $ζ_2(s_1,s_2)$, in the case when $s_1=s_2$, is studied numerically. Some similarity to the distribution of the zeros of Hurwitz zeta-functions is observed.

研究の動機と目的

• Euler二重ゼータ関数 ζ₂(s,s) の非自明な零点の分布を数値的に調査すること。
• ζ₂(s,s) の零点分布を、定義に共通する加法的構造を持つHurwitzゼータ関数 ζ(s,α) と比較すること。
• 候補零点が真の零点であるかどうかを確認するための新規な数値的検証手法を開発・適用すること。
• ζ₂′(s,s) を計算し、その値が各点で非ゼロであることを確認することで、ζ₂(s,s) の零点がすべて単純であることを立証すること。

提案手法

• Mathematica の組み込み関数 ζ(s) を用いて、恒等式 ζ₂(s,s) = ½(ζ(s)² − ζ(2s)) を用いて効率的に値を計算する。
• Euler-Maclaurinの和公式を適用して、ζ₂(s₁,s₂) の漸近展開を導出し、収束領域における数値的評価を可能にする。
• 「網を投げて魚を捕る」手法を実装：σ を小さな区間で変化させながら、複素平面上における ζ₂(σ+it,σ+it) の軌跡を追跡し、曲線が原点を通過する瞬間を検出することで、零点の存在を確認する。
• 導関数 ζ₂′(s,s) を恒等式 d/ds[½(ζ(s)² − ζ(2s))] を用いて計算し、各点で非ゼロであることを確認することで、各候補零点が単純であることを検証する。
• 特に臨界帯域付近の零点に対して信頼性を高めるために、精度約 10⁻¹⁷ の高精度算術を用いる。

実験結果

リサーチクエスチョン

• RQ1 ζ₂(s,s) の非自明な零点は、Hurwitzゼータ関数 ζ(s,α) の零点分布と類似した分布パターンを示すか？
• RQ2 ζ₂(s,s) の文脈において、数値的手法は真の零点と小さな非ゼロ値を信頼性高く区別できるか？
• RQ3 ζ₂(s,s) の零点はすべて単純であるか、もしくは1より大きい重複度を持つ零点が存在するか？
• RQ4 臨界帯域 0 < Re(s) < 1 における ζ₂(s,s) の零点集合の挙動はいかなるものか？

主な発見

• 臨界帯域 0 < Re(s) < 1 における ζ₂(s,s) の零点分布は、Hurwitzゼータ関数と類似しており、部分領域に正の密度を持つことが示された。具体的には、虚部が60に達する多くの零点が観察された。
• 「網を投げて魚を捕る」手法により、直接計算で特定されたすべての候補零点が真の零点であることが成功裏に確認された。これは、複素平面上の対応する曲線が原点を通過するためである。
• 発見された零点のうち最も近いペアの距離は、複素平面上で約 0.206 であった。これは、すべての零点が孤立しており重複していないことを示している。
• 導関数 ζ₂′(s,s) を計算した結果、すべてのテストされた零点位置で非ゼロであることが確認され、すべての零点が単純（位数1）であることが立証された。
• 数値計算の精度は約 10⁻¹⁷ に達しており、計算された零点の位置と性質に対する高い信頼性が保証された。