[論文レビュー] On monotonicity of certain weighted summatory functions associated with L-functions

Masatoshi Suzuki|arXiv (Cornell University)|Apr 9, 2012

Analytic Number Theory Research参考文献 11被引用数 3

ひとこと要約

本稿は、パラメータ $ \omega \in (0,1/2) $ および $ k \in \mathbb{N} $ に依存する特定の重み関数を備えた $ L $-関数 $ L(f,s) $ から導かれる重み付き和関数 $ h_{f,\theta}^{\angle k\angle}(x) $ の単調性が、その $ L $-関数における一般化リーマン予想（GRH）と同値であることを確立する。証明は複素関数論、メリン変換、および $ \Theta_{f,\omega}(s) $ を含む積分の漸近解析を用い、$ x $ が十分に大きい場合に $ h_{f,\omega}^{\angle k\rangle}(x) $ の符号が安定することを示し、これが GRH を特徴付ける。

ABSTRACT

We state some sufficient or equivalent conditions to GRH of general L-functions in terms of monotonicity of certain weighted summatory functions.

研究の動機と目的

• 一般化リーマン予想（GRH）の十分かつ必要十分条件を、$ L $-関数に関連する重み付き和関数の単調性の観点から確立すること。
• パラメータ $ \omega \in (0,1/2) $ および $ k \in \mathbb{N} $ でパrameter化された重み関数の族を導入することで、ポlya やチェビシェフの予想といった古典的結果を一般化すること。
• 重み付き和関数 $ h_{f,\omega}^{\rangle k\rangle}(x) $ の符号が十分に大きな $ x $ に対して安定することを示し、これがその積分の単調性と同値であることを示すこと。
• $ L(s,\chi_4) $ に関する既知の同値結果を、一様な解析的枠組みを用いて一般の $ L $-関数へと拡張すること。

提案手法

• 本稿は、不完全ベータ関数およびガンマ関数を含む重み関数 $ g_\omega $ を用いた重み付き和関数 $ h_{f,\omega}^{\rangle k\rangle}(x) = \sum_{n=1}^\infty c(n) g_\omega\left(\frac{n}{x}\right) $ を定義する。
• 重み関数のメリン変換を用いて、$ h_{f,\omega}^{\rangle k\rangle}(x) $ を生成関数 $ \Theta_{f,\omega}(s) $ を介して $ L $-関数 $ L(f,s) $ と関連付ける。
• 複素関数論的手法として、臨界帯内の長方形に沿った線積分と、$ \Theta_{f,\omega}(s) $ の関数等式および解析接続を用いる。
• 積分の漸近的挙動は、リーマン＝レーベーグの補題およびスターリングの公式を用いて分析され、$ x \to \infty $ のとき $ h_{f,\omega}^{\rangle k\rangle}(x) \sim \varepsilon(f)(\log x)^{k-1} $ であることが示される。
• $ R_{f,\omega}(x) $ の $ L^2 $-可積分性を用いて、$ (\Theta_{f,\omega}(s) - \varepsilon(f))/(s - 1/2) $ が $ \Re(s) > 1/2 $ に極を持たないことを証明し、これが GRH を示す鍵となる。
• 証明は、$ \lambda_f(n) $ および $ \mu_f(n) $ に対するラマヌジャン＝ペルソン予想に依拠しており、係数の多項式的成長の上限を保証する。

実験結果

リサーチクエスチョン

• RQ1 十分に大きな $ x $ に対して、積分 $ \int_1^x h_{f,\omega}^{\rangle k\rangle}(t)\,dt $ の単調性は、$ L(f,s) $ における GRH と同値であるか？
• RQ2 古典的な同値結果（例：$ L(s,\chi_4) $ について）は、一パラメータ族の重み関数を用いて、任意の $ L $-関数へ一般化可能か？
• RQ3 十分に大きな $ x $ に対して、$ h_{f,\omega}^{\rangle k\rangle}(x) $ の符号は安定するか？ もし安定するならば、これは $ L(f,s) $ の非自明な零点の位置について何を示唆するか？
• RQ4 不完全ベータ関数を含む重み関数 $ g_\omega $ の選択は、和関数の漸近的挙動にどのように影響するか？

主な発見

• 任意の固定された $ k \geq 2 $ に対して、十分に大きな $ x $ における $ \int_1^x h_{f,\omega}^{\rangle k\rangle}(t)\,dt $ の単調性は、$ L(f,s) $ における GRH と同値である。
• $ h_{f,\omega}^{\rangle k\rangle}(x) $ の漸近展開は $ \varepsilon(f)(\log x)^{k-1} \left(1 + O((\log x)^{-1})\right) $ であり、関数が十分に大きな $ x $ で符号を変化させないことを示している。
• $ k = 1 $ の場合、$ h_{f,\omega}^{\rangle 1\rangle}(x) = \varepsilon(f) + O(x^{-B}) $（ある $ B > 0 $）であるため、符号の安定性と GRH との同値性が示される。
• $ R_{f,\omega}(x) $ は $ L^2((1,\infty), x^{-1}dx) $ に属するため、$ (\Theta_{f,\omega}(s) - \varepsilon(f))/(s - 1/2) $ が $ \Re(s) > 1/2 $ に極を持たないことが保証され、これは GRH 同値性を示す上で重要なステップである。
• $ \omega \in (0,1/2) $ 全体にわたって同値性が一様に成り立つため、以前の結果（例：$ \exp(-y) $ や $ \exp(-y^\alpha) $ といった特定の重み関数に制限されたもの）を一般化している。