[論文レビュー] Non universality on the critical line

Johan Andersson|arXiv (Cornell University)|Jul 20, 2012

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

ひとこと要約

この論文は、ハーディー $Z$-関数の実数性とリーマン・ゼータ関数の引数に関する初等的性質を用いて、臨界線 $\operatorname{Re}(s) = 1/2$ 上でのリーマン・ゼータ関数の非ユニバーサル性を証明する。主な結果として、リンデレーフ予想が成り立つ場合、ユニバーサル性の非成立が条件なしに示され、ゼータ関数のユニバーサル性が成り立つ領域について長年の未解決問題が解決される。

ABSTRACT

We prove that the Riemann zeta-function is not universal on the critical line by using the fact that the Hardy Z-function is real, and some elementary considerations. This is a related to a recent result of Garunkstis and Steuding. We also prove conditional and partial results for non universality on the lines Re(s)=σfor 0

研究の動機と目的

• リーマン・ゼータ関数が臨界線 $\operatorname{Re}(s) = 1/2$ 上でユニバーサルかどうかという未解決問題を解明すること。
• リーマン予想への依存を排除し、リンデレーフ予想の下で、臨界線上でのユニバーサル性の非成立を条件なしに確立すること。
• 臨界帯内の異なる垂直線におけるゼータ関数のユニバーサリティの境界を明確にすること。
• ハーディー $Z$-関数や正規化されたゼータ値といった関連関数が、弱いノルムにおいてユニバーサリティを示す可能性があるかどうかを調査すること。
• 既存のユニバーサリティ定理の限界を特定し、特に臨界線上での失敗要因を明らかにすること。

提案手法

• ハーディー $Z$-関数 $Z(t) = \chi(1/2 + it)^{-1/2} \zeta(1/2 + it)$ の実数性を用いて、臨界線上におけるゼータ関数の挙動を制約する。
• ゼータ関数の関数等式を適用し、$\zeta(1/2 + it)$ の偏角と絶対値を分析することで、その滑らかさが一様近似を妨げる理由を示す。
• 零点の密度に関する議論を採用：リンデレーフ予想のもとでは、$\zeta(1/2 + it)$ の零点が十分に密集しており、任意の連続関数（例：$f(t) = 1$）の一様近似を妨げる。
• 対数微分および対数関数のゼータ関数を直接分析し、先行研究で用いられた対数微分法に依存しない。
• $L^1$ および $L^2$ ノルムにおけるユニバーサリティを検討し、最大ノルムでのユニバーサリティが零点密度のため失敗するが、弱いノルムでは近似が可能である可能性を主張する。
• 例えば $|\zeta(1/2 + it)|^{1/\sqrt{\log\log t}}$ のような正規化されたゼータ関数のバージョンを、$L^1$-ノルムにおけるユニバーサリティの候補として提案する。

実験結果

リサーチクエスチョン

• RQ1 リーマン・ゼータ関数は臨界線 $\operatorname{Re}(s) = 1/2$ 上でユニバーサルか？
• RQ2 ゼータ関数のユニバーサリティ定理を臨界線に拡張できるか。もし不能であれば、その障壁は何か？
• RQ3 ハーディー $Z$-関数は $L^1$-ノルムにおいてユニバーサルか？それとも同様の滑らかさの性質が障害となるか？
• RQ4 例えば $\zeta(1/2 + it)^{1/\sqrt{\log\log t}}$ のような正規化されたゼータ関数のバージョンは、$L^1$-ノルムにおいてユニバーサルか？
• RQ5 ゼータ関数 $\zeta(s)$ のユニバーサリティの正確な境界は、$0 < \sigma < 1$ の各垂直線 $\operatorname{Re}(s) = \sigma$ においてどこか？

主な発見

• リンデレーフ予想の下で、リーマン・ゼータ関数は臨界線 $\operatorname{Re}(s) = 1/2$ 上でユニバーサルではないことが示され、この予想が真であると広く信じられている中で、条件なしの結果が得られる。
• 非ユニバーサル性は、ハーディー $Z$-関数の実数性によって制約される $\zeta(1/2 + it)$ の偏角の過剰な滑らかさに起因する。
• リンデレーフ予想のもとでは、臨界線上の零点の密度が高いため、$f(t) = 1$ のような任意の連続関数を、平行移動 $\zeta(1/2 + iT + it)$ で一様近似することは不可能である。
• 最大ノルムでのユニバーサリティは、ハーディー $Z$-関数および $|\zeta(1/2 + it)|$ の両方で、同じ零点密度の障壁により失敗する。
• 本研究では、$|\zeta(1/2 + it)|^{1/\sqrt{\log\log t}}$ が $L^1$-ノルムにおけるユニバーサリティのより自然な候補である可能性を示唆するが、これは未解決の問題のままである。
• ガルンクシュティスとシュテューディングの先行研究（$\zeta(1/2 + it), \zeta'(1/2 + it)$ が $\mathbb{C}^2$ に非稠密であることを示した）を拡張し、ヴォロニンのユニバーサリティ定理が臨界線に拡張されないことを確認する。