[论文解读] 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) $ 满足除有限个零点外，$ h(s) $ 的所有零点均位于 $ \Re s < a $ 时，$ f(s) $ 的所有但有限个零点均位于临界线 $ \Re s = a $ 上。该结果推广了 Hermite-Biehler 定理，并对临界线外的异常零点数量提供了有效上界，适用于平移后的黎曼 zeta 函数和 $ 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) $ 是亚纯函数且在实轴上为实值。
• 放松经典 Hermite-Biehler 稳定性条件（即在 $ \Re s \geq a $ 内无零点），允许存在有限个此类零点。
• 推导 $ f(s) $ 位于临界线 $ \Re s = a $ 外的零点数量的有效上界。
• 将结果应用于平移后的黎曼 zeta 函数、$ L $-函数以及 Eiseinstein 系列积分。
• 建立非临界零点为单重零点的条件，并量化其在垂直条带内的数量。

提出的方法

• 使用幅角原理和围道积分计算在条带 $ 0 < \Im s < T $ 内 $ f(s) $ 的零点数量，记为 $ N(T) $。
• 将 $ N(T) $ 与 $ N_0(T) $（即临界线 $ \Re s = a $ 上的零点数量）进行比较，以估计线外零点的数量。
• 利用函数方程 $ 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) $ 的结构，推导出异常零点数量的有效上界。
• 运用整函数与亚纯函数理论，包括对对数导数和 Jensen 公式的使用。

实验结果

研究问题

• RQ1 在何种条件下，函数 $ f(s) = h(s) \pm h(2a - s) $ 的所有但有限个零点位于临界线 $ \Re s = a $ 上？
• RQ2 如何在保持大多数零点位于临界线上的前提下，放松经典 Hermite-Biehler 条件中要求 $ \Re s \geq a $ 内无零点的限制？
• RQ3 可以为 $ f(s) $ 位于临界线 $ \Re s = a $ 外的零点数量建立何种有效上界？
• RQ4 在相同条件下，能否保证 $ f(s) $ 的非临界零点为单重零点？
• RQ5 这些结果如何应用于平移后的黎曼 zeta 函数及其他 $ L $-函数或 Eisenstein 系列积分？

主要发现

• 若除有限个零点外，$ h(s) $ 的所有零点均位于 $ \Re s < a $，且 $ f(s) \neq 0 $ 对于 $ \Re s \geq \sigma_0 > a $，则 $ f(s) = h(s) \pm h(2a - s) $ 的所有但有限个零点均位于临界线 $ \Re s = a $ 上。
• $ f(s) $ 位于临界线外的零点数量在 $ h(s) $ 位于 $ \Re s \geq a $ 的零点数量范围内有统一有界，且通过围道积分推导出有效上界。
• 在所述条件下，若 $ h(s) $ 满足适度的正则性和增长条件，则 $ f(s) $ 在临界线上的零点为单重零点。
• 该方法可导出 $ N(T) - N_0(T) $ 的显式估计，即 $ 0 < \Im s < T $ 内非临界零点的数量，其表达式依赖于 $ h(s) $ 的增长性与零点分布。
• 结果被应用于证明某些平移后的 zeta 函数及 Eisenstein 系列积分的零点，除有限个外，均位于临界线上。
• 该框架通过允许 $ h(s) $ 在 $ \Re s \geq a $ 内存在有限个零点，推广了 Hermite-Biehler 定理，同时保持了 $ f(s) $ 零点在临界线上的对齐特性。