[論文レビュー] Zeros of the Hurwitz zeta function in the interval (0,1)

Davide Schipani|arXiv (Cornell University)|Mar 10, 2010

Quantum Mechanics and Applications参考文献 1被引用数 5

ひとこと要約

本稿は、臨界帯 0 < σ < 1 におけるHurwitzゼータ関数 ζ(σ, w) に対して新しい不等式を確立し、1 − σ ≤ w のとき ζ(σ, w) が厳密に負であり、したがって非ゼロであることを証明する。主な結果は、既知の Riemann ゼータ関数の (0,1) における非ゼロ性を一般化し、特定の条件下で Dirichlet L 関数へも拡張可能である。

ABSTRACT

We first give a condition on the parameters $s,w$ under which the Hurwitz zeta function $ζ(s,w)$ has no zeros and is actually negative. As a corollary we derive that it is nonzero for $w\geq 1$ and $s\in(0,1)$ and, as a particular instance, the known result that the classical zeta function has no zeros in $(0,1)$.

研究の動機と目的

• 臨界帯 0 < σ < 1 における Hurwitz ゼータ関数 ζ(σ, w) の新しい上界を確立すること。
• 1 − σ ≤ w の条件下で ζ(σ, w) が厳密に負であり、したがって非ゼロであることを証明すること。
• 古典的な結果、すなわち Riemann ゼータ関数が (0,1) に零点を持たないことを一般化すること。
• Dirichlet L 関数およびその実軸上の零点なし領域への潜在的応用を調査すること。
• 弱い形の拡張 Riemann 予想を検討するための基礎を提供すること。

提案手法

• Re(s) > 1 に対してはオイラー＝マクローリン和公式を用いて ζ(s, w) の表現を導出し、Re(s) > 0、s ≠ 1 へと拡張する。
• s の実部 σ に注目し、σ ∈ (0,1) を対象とし、部分和を積分と剰余項 λ_N の和として表現する。
• ∫₀^N (x + w)^{-σ} dx を計算し、和と組み合わせて (1−σ−w)/((1−σ)w^σ) を含む式を導出する。
• 剰余項 λ_N が負であり単調減少であることを示し、N → ∞ の極限で負であることを示す。
• 極限表現を用いて、ζ(σ, w) < (1−σ−w)/((1−σ)w^σ) を結論づけ、1−σ ≤ w のときこの右辺が負であることを示す。
• この結果を ζ(s) = ζ(s,1) を通じて Riemann ゼータ関数に、L(χ,s) = q^{-s} ∑_{a=1}^q χ(a)ζ(s,a/q) を通じて Dirichlet L 関数に適用する。

実験結果

リサーチクエスチョン

• RQ1 σ ∈ (0,1) に対して ζ(σ, w) の新しい上界を導出可能か？ その上界が非ゼロ性を示唆するか？
• RQ2 w に対してどのような条件下で、臨界帯における Hurwitz ゼータ関数が負になるか？
• RQ3 1−σ ≤ w の領域における ζ(σ, w) の非ゼロ性は、Dirichlet L 関数へも拡張可能か？
• RQ4 この結果は、実軸上の (0,1) における Dirichlet L 関数の零点なし領域を提供できるか？
• RQ5 この上界と弱い形の拡張 Riemann 予想との間に何らかの関係があるか？

主な発見

• 本稿は、σ ∈ (0,1) および w ≥ 1−σ のとき、Hurwitz ゼータ関数が ζ(σ, w) < (1−σ−w)/((1−σ)w^σ) を満たし、この右辺が負であることを証明した。
• その結果、σ ∈ (0,1)、w ≥ 1−σ の領域で ζ(σ, w) は厳密に負であり、したがって非ゼロであることが示された。
• 古典的な結果、すなわち Riemann ゼータ関数 ζ(s) が (0,1) に零点を持たないことは、w = 1 の特別な場合として得られる。
• 2 を法とする非自明な指標 χ₂ に対する Dirichlet L 関数 L(χ₂, s) は、ζ(s, 1/2) が [1/2,1) で非ゼロであることから、(0,1) で非ゼロであることが示された。
• L(χ₂, s) の関数-equation により、(0,1) 全体で非ゼロであることが対称性からも確認された。
• 本手法は、(0,1) の実軸上における Dirichlet L 関数の非ゼロ性を示す可能性を示唆し、これは弱い形の拡張 Riemann 予想の一つの重要な形である。