[論文レビュー] From the density and Lindel\"of hypotheses to prove the Riemann hypothesis via a power sum method

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

Analytic Number Theory Research被引用数 1

ひとこと要約

この論文は、トゥーランのパワー和法の新しい応用を通じて、密度仮説とリンデレーフ仮説を組み合わせることで、リーマン予想の新たな証明経路を確立する。変換されたゼータ関数 ${\mathsf Z}(s)$ に対してコーシーの留数定理を適用することで、素数定理の誤差項を $O(x^{1/2} \log^2 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(\Lambda(n) -1\big)$ with the sum running through the set of all natural integers. Let ${\mathsf Z}(s) = - frac{\zeta\sp{\prime}(s)}{\zeta(s)} -\zeta(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{\zeta\sp{\prime}(s)} {\zeta(s)} \cdot frac{x\sp{s}}{s}$, so that we may utilize the formula for $ frac{1}{2} 1$ of ${\mathsf Z}(s)$, we use induction to reduce the size of the exponent $ heta$ in $\varpi(x) =O(x\sp{ heta} \log\sp{2} x)$, while we also use induction on $x$ when $ heta$ is fixed. We prove that the Riemann hypothesis is valid under the assumptions of the explicit strong density hypothesis and the Lindelof 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 Turan.

研究の動機と目的

• 密度仮説とリンデレーフ仮説を結びつけることで、リーマン予想に対する新たな証明経路を確立すること。
• 素数定理の誤差項を、$\varpi(x) = O(x^\theta \log^2 x)$ の指数 $\theta$ を低減することで精緻化すること。
• トゥーランのパワー和法を応用し、素数定理における剰余項からゼータ関数の零点非存在領域を導出すること。
• 古典的な対数微分関数の代わりに、変換されたゼータ関数 ${\mathsf Z}(s) = -\frac{\zeta'(s)}{\zeta(s)} - \zeta(s)$ を用いること。
• $x$ と指数 $\theta$ における帰納法を用いて、$\varpi(x)$ の誤差項を段階的に縮小すること。

提案手法

• 正の $m$ に対して成り立つ $\mathsf{H}(x) = \int_{m - i\infty}^{m + i\infty} \frac{x^s}{s} \, ds$ のヘヴィサイド関数の積分表現を、算術関数の分析に適用する。
• 古典的な $-\frac{\zeta'(s)}{\zeta(s)} \cdot \frac{x^s}{s}$ の代わりに、${\mathsf Z}(s) \cdot \frac{x^s}{s}$ に対してコーシーの留数定理を適用し、新たな留数に基づく推定が可能になる。
• ゼータ関数の対数微分の性質とその解析的挙動を活用するため、${\mathsf Z}(s) = -\frac{\zeta'(s)}{\zeta(s)} - \zeta(s)$ を導入する。
• トゥーランのパワー和法を応用し、素数定理における剰余項と $\zeta(s)$ の零点非存在領域との関係を確立する。
• $x$ と指数 $\theta$ における帰納法を用いて、$\varpi(x)$ の誤差項の大きさを段階的に縮小する。
• 明示的な強い密度仮説と最近証明されたリンデレーフ仮説を基礎仮定として用い、リーマン予想を導出する。

実験結果

リサーチクエスチョン

• RQ1 密度仮説とリンデレーフ仮説の組み合わせを、精緻化されたパワー和法を用いてリーマン予想に導くことは可能か？
• RQ2 古典的手法と比較して、変換された関数 ${\mathsf Z}(s)$ を用いることで、素数定理における誤差項推定はどのように改善されるか？
• RQ3 $x$ と指数 $\theta$ における帰納法を用いることで、誤差境界 $\varpi(x) = O(x^\theta \log^2 x)$ はどの程度まで縮小可能か？
• RQ4 トゥーランのパワー和法は、剰余項と $\zeta(s)$ の零点非存在領域をどのように結びつけるか？
• RQ5 ${\mathsf Z}(s) \cdot \frac{x^s}{s}$ に対する留数論的アプローチは、古典的手法に比べてより強い零点非存在領域をもたらすか？

主な発見

• 明示的な強い密度仮説と最近証明されたリンデレーフ仮説を仮定すると、リーマン予想が証明される。
• 素数定理の誤差項は $\varpi(x) = O(x^{1/2} \log^2 x)$ にまで縮小され、これはリーマン予想と同値である。
• 留数定理における関数 ${\mathsf Z}(s)$ の使用により、古典的な $-\frac{\zeta'(s)}{\zeta(s)}$ のアプローチよりも、零点非存在領域の分析がより効果的に行える。
• $x$ と指数 $\theta$ における帰納法により、誤差項の指数が $\theta = 1/2$ まで成功裏に低下し、最適境界が確認された。
• トゥーランのパワー和法は、素数定理における剰余項と $\zeta(s)$ の零点非存在領域を効果的に結びつけ、リーマン予想の導出を可能にする。
• $m > 0$ を満たすヘヴィサイド関数の積分表現を用いることで、留数計算に適した有効な経路が得られ、収束性と解析的制御が保証される。