[論文レビュー] Majoration du nombre de zéros d'une fonction méromorphe en dehors d'une droite verticale et applications

Oswaldo Velásquez Castañón|ArXiv.org|Dec 8, 2007

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

ひとこと要約

本稿では、関数 $ f(s) = h(s) \pm h(2a - s) $ のすべての零点のうち、有限個を除きすべてが臨界線 $ \Re s = a $ 上にある十分条件を確立する。これは、$ h(s) $ のすべての零点のうち、有限個を除き $ \Re s < a $ に存在する場合に成立する。この結果は、ヘルミート＝ビーラーの定理を一般化し、臨界線外の例外的零点の数に有効な上限を与える。応用として、シフトされたリーマンゼータ関数や $ L $-関数が含まれる。

ABSTRACT

We study the distribution of the zeros of functions of the form $f(s)=h(s) \pm h(2a-s)$, where $h(s)$ is a meromorphic function, real on the real line, $a$ a real number. One of our results establishes sufficient conditions under which all but finitely many of the zeros of $f(s)$ lie on the line $\Re s = a$, called the {\it critical line} for the function $f(s)$, and be simple, given that all but finitely many of the zeros of $h(s)$ lie on the half-plane $\Re s &lt; a$. This results can be regarded as a generalization of the necessary condition of stability for the function $h(s)$, in the Hermite-Biehler theorem. We apply this results to the study of translations of the Riemann Zeta Function and $L$ functions, and integrals of Eisenstein Series, among others.

研究の動機と目的

• 関数 $ f(s) = h(s) \\pm h(2a - s) $ の零点分布を研究すること。ここで $ h(s) $ は実軸上で実数値をとるメロモルフィック関数である。
• 古典的なヘルミート＝ビーラーの安定性条件（$ \Re s \geq a $ に零点なし）を緩和し、有限個の零点を許容しつつも、ほとんどすべての零点が臨界線上にあることを保証すること。
• 関数 $ f(s) $ の臨界線外の零点数に対する有効な上界を導出すること。
• 結果をシフトされたリーマンゼータ関数、$ L $-関数、およびエイゼンスタイン級数の積分に応用すること。
• 非臨界零点が単純である条件を確立し、垂直帯におけるその数を定量すること。

提案手法

• 引数原理と閉曲線積分を用いて、帯状領域 $ 0 < \Im s < T $ 内の $ f(s) $ の零点数 $ N(T) $ を数える。
• 臨界線 $ \Re s = a $ 上の零点数 $ N_0(T) $ と $ N(T) $ を比較し、臨界線外の零点数を推定する。
• 関数方程式 $ f(2a - s) = \pm f(s) $ を用いて対称性を活用し、$ \Re s > a $ における零点と $ \Re s < a $ における零点を関連付ける。
• $ f(s) \neq 0 $ であるという仮定を $ \Re s \geq \sigma_0 > a $ に用いることで、すべての零点を $ \Re s = a $ のまわりの垂直帯に閉じ込められる。
• $ h(s) $ の既知の零点自由領域と $ f(s) $ の構造を活用し、例外的零点数に対する有効な上限を導出する。
• 整関数およびメロモルフィック関数の理論を用い、対数微分やゼンセンの公式を応用する。

実験結果

リサーチクエスチョン

• RQ1 関数 $ f(s) = h(s) \\pm h(2a - s) $ が、臨界線 $ \Re s = a $ 上にすべての零点のうち有限個を除き存在するための条件は何か？
• RQ2 古典的なヘルミート＝ビーラーの条件（$ \Re s \geq a $ に零点なし）を緩和しても、依然としてほとんどすべての零点が臨界線上にあるように保つにはどうすればよいか？
• RQ3 関数 $ f(s) $ の臨界線外の零点数に対して、有効な上界をどのように確立できるか？
• RQ4 同じ条件下で、$ f(s) $ の非臨界零点が単純であることを保証できるか？
• RQ5 これらの結果は、シフトされたリーマンゼータ関数や他の $ L $-関数、あるいはエイゼンスタイン級数の積分にどのように応用できるか？

主な発見

• すべての零点のうち有限個を除き $ f(s) = h(s) \\pm h(2a - s) $ の零点が臨界線 $ \Re s = a $ 上にある。これは、$ h(s) $ のすべての零点のうち有限個を除き $ \Re s < a $ に存在し、かつ $ f(s) \neq 0 $ である $ \Re s \geq \sigma_0 > a $ のとき成立する。
• 臨界線外の $ f(s) $ の零点数は、$ h(s) $ の $ \Re s \geq a $ 内の零点数に依存し、閉曲線積分を用いて有効な上界が得られる。
• 提示された条件下では、$ f(s) $ の臨界線上の零点は単純である。これは $ h(s) $ がややいなごろの正則性および成長条件を満たす場合に成立する。
• 本手法により、$ 0 < \Im s < T $ 内の非臨界零点数 $ N(T) - N_0(T) $ の明示的推定式が得られ、$ h(s) $ の成長および零点分布に依存する。
• 結果は、特定のシフトされたゼータ関数やエイゼンスタイン級数の積分が、すべての零点のうち有限個を除き臨界線上にあることを示す応用を持つ。
• 本フレームワークは、ヘルミート＝ビーラーの定理を一般化し、$ h(s) $ が $ \Re s \geq a $ に有限個の零点を持つことを許容しつつも、$ f(s) $ の零点が臨界線上に一致する性質を保っている。