[論文レビュー] The Geometry of the Mappings by General Dirichlet Series

Dorin Ghişa|arXiv (Cornell University)|Oct 26, 2016

Mathematics and Applications参考文献 16被引用数 4

ひとこと要約

本稿は、一般ディリクレ級数によって定義される写像の幾何学的および解析的性質を確立し、それらが2次より高い重複度の零点を持たず、二重零点が特定の位置にのみ存在することを証明している。また、共形写像の性質と関数方程式を活用することで、広範なL関数のクラスに対して一般化リーマン予想（GRH）の簡略化された証明を提示し、この関数クラスにスピーザーの定理を拡張している。

ABSTRACT

We dealt in a series of previous publications with some geometric aspects of the mappings by functions obtained as analytic continuations to the whole complex plane of general Dirichlet series. Pictures illustrating those aspects contain a lot of other information which has been waiting for a rigorous proof. Such a task is partially fulfilled in this paper, where we succeeded among other things, to prove a theorem about general Dirichlet series having as corollary the Speiser's theorem. We have also proved that those functions do not possess multiple zeros of order higher than $2$ and the double zeros have very particular locations. Moreover, their derivatives have only simple zeros. With these results at hand, we revisited GRH for a simplified proof.

研究の動機と目的

• 一般ディリクレ級数による写像の幾何学的性質および零点分布の性質を、数値的図示で観察されたものと同様に、厳密に証明すること。
• 一般ディリクレ級数が2次より高い重複度の零点を持たず、二重零点が特定の位置に制限されることを示すこと。
• このような関数の導関数が単純零点のみを持つことの証明。
• 強い関数方程式の仮定を必要とせず、共形写像および解析接続の性質のみを用いて、広範なL関数のクラスに対する一般化リーマン予想（GRH）の簡略化された証明を提供すること。

提案手法

• 一般ディリクレ級数による半平面の像を分析するため、共形写像理論を用い、複素平面が基本領域に分解されることを示す。
• Re(s) → ∞ における級数の一様収束性を応用し、z = ζ(s) → 1 が一様に成り立つことを証明し、これによりRe(s)が十分に大きい右半平面に零点が存在しないことを示す。
• 解析接続および関数方程式の対称性を用い、臨界帯における零点を関連づけ、σ + it から 1 − σ + it への対合 φ(s) を構成する。
• Φ(s) = ζ(φ(s)) / ζ(s) という関数を導出し、単連結領域内で恒等的に1であることを示し、非自明な零点が臨界線から外れる場合に矛盾を導く。
• 無限積からのarg項を含む角度級数の議論を用い、総角度和が2πの整数倍でなければならないことを示し、これが対称性によってσ = 1/2を強制する限り不可能であることを示す。
• 角度級数の収束性および引数関数の連続性を保証するため、Ramanujan型の条件 |a_n|e^{-λ_n δ} → 0 (n → ∞) を用いる。

実験結果

リサーチクエスチョン

• RQ1 一般ディリクレ級数による写像の幾何的挙動は、特に2次より高い多重零点の不在に関して、厳密に証明可能か？
• RQ2 一般ディリクレ級数の導関数は単純零点のみを持つのか？ これは関数の構造にどのような制約を課えるか？
• RQ3 リーマン型の関数方程式を仮定しないで、広範なL関数のクラスに対する一般化リーマン予想（GRH）を証明できるか？
• RQ4 共形写像および基本領域は、一般ディリクレ級数の零点分布を理解する上で果たす役割は何か？
• RQ5 z平面における直線および円の逆像は、s平面の構造および零点の位置にどのように関係するか？

主な発見

• 一般ディリクレ級数は2次より高い重複度の零点を持たず、二重零点は複素平面内で特定の制限された位置にのみ存在する。
• このような関数の導関数は単純零点のみを持つため、高い解析的正則性を示している。
• 関数ζ(s)は半平面 Re(s) > σ_ε を、中心が z=1、半径が ε < 1 の円板に写像する。これにより、その領域に零点が存在しないことが示される。
• この関数クラスにおけるGRHの証明は、共形写像および対合φ(s)による対称性に依存しており、強い関数方程式の仮定を必要としない。
• 複素項の角度を含む引数級数は収束し、2πの整数倍でなければならない。この性質により、非自明な零点の実部が正確に1/2でなければならないことが強制される。
• この結果は、ディリクレ指標によって誘導されるすべてのL関数に拡張可能であり、リーマンゼータ関数およびディリクレL関数を含む。これにより、統一的な幾何的・解析的枠組みによりGRHが確認される。