[論文レビュー] Proof of the the Riemann hypothesis from the density and Lindelof hypotheses via a power sum method

Yuanyou Furui Cheng|arXiv (Cornell University)|Oct 12, 2008

Analytic Number Theory Research参考文献 29被引用数 6

ひとこと要約

この論文は、トゥーランのパワー和法の新規応用を通じて、密度仮説とリンデレフ仮説を活用し、リーマン予想を証明する。古典的な積分的アプローチを再定式化し、関数 𝒮Z(s) = −ζ′(s)/ζ(s) − ζ(s) を用い、Cauchyの剰余定理を 𝒮Z(s) · x^s/s に適用することで、誤差項の指数 θ が ϖ(x) = O(x^θ log²x) に現れる部分の帰納的削減が可能となり、最終的に与えられた仮定のもとでリーマン予想が確立される。

ABSTRACT

The Riemann hypothesis is equivalent to the $\varpi$-form of the prime number theorem as $\varpi(x) =O(x\sp{1/2} \log\sp{2} x)$, where $\varpi(x) =\sum\sb{n\le x}\ \bigl(Λ(n) -1\big)$ with the sum running through the set of all natural integers. Let ${\mathsf Z}(s) = - frac{ζ\sp{\prime}(s)}{ζ(s)} -ζ(s)$. We use the classical integral formula for the Heaviside function in the form of ${\mathsf H}(x) =\int\sb{m -i\infty} \sp{m +i\infty} frac{x\sp{s}}{s} \dd s$ where $m >0$, and ${\mathsf H}(x)$ is 0 when $ frac{1}{2} 1$. However, we diverge from the literature by applying Cauchy's residue theorem to the function ${\mathsf Z}(s) \cdot frac{x\sp{s}} {s}$, rather than $- frac{ζ\sp{\prime}(s)} {ζ(s)} \cdot frac{x\sp{s}}{s}$, so that we may utilize the formula for $ frac{1}{2}< m <1$, under certain conditions. Starting with the estimate on $\varpi(x)$ from the trivial zero-free region $σ>1$ of ${\mathsf Z}(s)$, we use induction to reduce the size of the exponent $θ$ in $\varpi(x) =O(x\spθ \log\sp{2} x)$, while we also use induction on $x$ when $θ$ is fixed. We prove that the Riemann hypothesis is valid under the assumptions of the explicit strong density hypothesis and the Lindelöf hypothesis recently proven, via a result of the implication on the zero free regions from the remainder terms of the prime number theorem by the power sum method of Turán.

研究の動機と目的

• 強い密度仮説とリンデレフ仮説を仮定したもとで、リーマン予想の妥当性を確立すること。
• 修正されたゼータ関数変換 𝒮Z(s) = −ζ′(s)/ζ(s) − ζ(s) を用いて、素数定理の誤差項を再定式化すること。
• 臨界帯 1/2 < Re(s) < 1 において、Cauchyの剰余定理を 𝒮Z(s) · x^s/s に適用し、新たな零点非存在領域の推定を可能とすること。
• x と誤差項 ϖ(x) = O(x^θ log²x) の指数 θ に対して反復的帰納法を適用し、θ を 1/2 へと段階的に低下させることで、最終的に θ = 1/2 を得ること。

提案手法

• m > 0 に対して、ヘヴィサイド関数 H(x) = ∫_{m−i∞}^{m+i∞} x^s/s ds の積分表現を用い、x をゼータ関数を含む複素積分に関連付ける。
• 臨界帯 1/2 < m < 1 における剰余分析を可能にするために、標準的な −ζ′(s)/ζ(s) の代わりに関数 𝒮Z(s) = −ζ′(s)/ζ(s) − ζ(s) を導入する。
• 積分 𝒮Z(s) · x^s/s にCauchyの剰余定理を適用し、誤差項 ϖ(x) が ζ(s) の零点と関連づけられる contour 積分表現を導出する。
• 誤差項 ϖ(x) = O(x^θ log²x) の x と指数 θ に対して帰納法を用い、θ を 1/2 へと段階的に低下させる。
• トゥーランのパワー和法を用い、素数定理における剰余項と ζ(s) の零点非存在領域との間の関係を確立する。
• 非自明な零点の位置を制約するため、最近のリンデレフ仮説の証明と強い密度仮説に依拠する。

実験結果

リサーチクエスチョン

• RQ1 強い密度仮説とリンデレフ仮説の組み合わせを、修正されたゼータ積分変換を用いてリーマン予想に導くことは可能か？
• RQ2 −ζ′(s)/ζ(s) の代わりに 𝒮Z(s) = −ζ′(s)/ζ(s) − ζ(s) を用いることで、臨界帯 1/2 < Re(s) < 1 における解析がどのように向上するか？
• RQ3 誤差項 ϖ(x) = O(x^θ log²x) の x と指数 θ に対する帰納法をどの程度まで適用すれば、θ を 1/2 にまで低下させられるか？
• RQ4 トゥーランのパワー和法は、素数定理の剰余項と零点非存在領域との間のつながりをどのように確立するか？
• RQ5 𝒮Z(s) · x^s/s を通じた修正された contour 積分アプローチは、リーマン予想を証明する一貫的で妥当な道筋を提供するか？

主な発見

• 強い密度仮説と最近確立されたリンデレフ仮説を仮定したもとで、リーマン予想が証明された。
• 関数 𝒮Z(s) = −ζ′(s)/ζ(s) − ζ(s) は、臨界帯 1/2 < Re(s) < 1 において正当な剰余計算を可能にし、これは標準的な対数微分では一般には不可能である。
• 誤差項 ϖ(x) = ∑_{n≤x} (Λ(n) − 1) が ϖ(x) = O(x^{1/2} log²x) を満たすことが示され、これはリーマン予想と同値である。
• x と指数 θ に対する帰納法が、誤差項の境界を θ > 1/2 から θ = 1/2 へと成功裏に低下させ、最適境界が確認された。
• トゥーランのパワー和法は、素数定理の剰余項と ζ(s) の零点非存在領域との間の重要な橋渡しを提供し、最終的な帰結を可能にした。
• 結果として、リーマン予想は、強い密度仮説とリンデレフ仮説の組み合わせが、提案された積分的および帰納的枠組みを通じて導かれることが確立された。