Contributions to the theory of the Euler eta function

问题陈述
本文研究了欧拉 $\eta$ 函数（也称为交错 $\zeta$ 函数或狄利克雷 $\eta$ 函数）及其导数（包括整数阶和分数阶）的零点分布。虽然黎曼 $\zeta$ 函数 $\zeta(s)$ 及其导数的零点已被广泛研究，但作者旨在为 $\eta(s)$ 建立平行且独特的性质。主要目标是确定 $\eta(s) - c$ 及其导数 $\eta^{(\alpha)}(s)$ 的无零区域，在假设黎曼假设（RH）成立且虚部足够大的情况下，确定 $\eta'(s)$ 在临界带左半部分的非零性，定位 $\eta'(s)$ 在负实轴上的零点，并推导零点计数函数 $N_k^\eta(T)$ 的渐近估计。

研究方法
作者结合了解析数论技术、复分析和数值计算：

• 级数主导项与儒歇定理（Rouché's Theorem）： 为了定位右半平面的零点，作者分析了导数的狄利克雷级数表示。他们识别出单项 $Q_M^\alpha(s) = (\log M)^\alpha / M^s$ 主导其余级数的区域。通过对全导数与主导项之间的差值应用儒歇定理，他们证明了在特定矩形区域内存在且仅存在单零点。
• 泛函方程与对数导数： 对临界带和左半平面零点的研究在很大程度上依赖于 $\eta(s)$ 的泛函方程及其与 $\zeta(s)$ 的关系。作者利用对数导数和辐角原理来计数零点，并建立关于零点实部的界限。
• 不等式与渐近分析： 用于证明无零区域和零点位置的证明涉及对三角函数和伽马函数项的详细估计，通常使用基于黎曼假设或已知伽马函数性质（如斯特林公式）的界限。
• 数值验证： 理论发现由使用 Sage 计算代数系统和 mpmath 多精度库进行的数值计算提供支持。这些计算可视化了连接 $\eta(s)$ 与其导数、以及导数与 $\eta(s)-c$ 的零点路径。

核心贡献与结果

1. $\eta(s) - c$ 的无零区域：

   • 作者证明了当 $\sigma > \sigma_0 \approx 1.9401$ 时，$\eta(s) \neq 1$，其中 $\sigma_0$ 是一个涉及 $\zeta(\sigma)$ 的特定函数的零点。
   • 他们建立了涉及 $|\sin(t \log 2)|$ 和 $-\cos(t \log 2)$ 的条件，从而定义了 $\eta(s) - c$（其中 $c \in [0, 1)$）的无零区域。
   • 他们观察到，连接 $\eta(s)$ 到 $\eta(s)-1$ 的零点路径根据其起点表现出不同的行为：从 $\zeta(s)$ 的零点出发的路径通向 $\eta(s)-1$ 的零点，而从 $\eta(s)$ 的非平凡零点（具体为 $s_n = 1 + 2n\pi i / \log 2$）出发的路径，其实部在 $c \to 1$ 时趋于无穷大。

2. 右半平面的导数零点与无零区域：

   • 本文将 $\zeta^{(k)}(s)$ 的结果推广到实数 $\alpha > 0$ 的 $\eta^{(\alpha)}(s)$。
   • 定理 3.1 基于狄利克雷级数中特定项的主导地位，建立了 $\eta^{(\alpha)}(s)$ 的显式无零区域。
   • 定理 3.2 证明了在特定的垂直条带 $S_M^\alpha$ 内，对于每个整数 $j$，恰好存在一个位于两项连续抵消处的单零点。
   • 与在正实轴上没有零点的 $\zeta^{(\alpha)}(s)$ 不同，$\eta(s)$ 的交错性质允许 $\eta^{(\alpha)}(s)$ 在实轴上存在零点。

3. 临界带内 $\eta'(s)$ 的非零性（假设 RH）：

   • 定理 4.1 表明，如果黎曼假设成立，则对于 $0 < \sigma < 1/2$ 且 $|t| \ge 164$，$\eta'(s) \neq 0$。这是通过分析对数导数 $-\eta'/\eta(1-s)$ 的实部，并在 RH 假设下证明在足够大的 $|t|$ 时其为正值而得出的。

4. 左半平面内 $\eta'(s)$ 的零点：

   • 定理 5.1 和 定理 5.4 定位了 $\eta'(s)$ 在负实轴上的零点。他们证明了对于 $n \ge 3$，在区间 $[-2n-2, -2n-2+\epsilon]$ 内存在一个零点。
   • 作者表明，对于 $\sigma \le 0$，$\eta'(s)$ 仅有实零点，并且在每个区间 $(-2n-2, -2n)$ 内恰好有一个实零点。

5. 零点计数函数：

   • 定理 6.1 确立了虚部至 $T$ 的第 $k$ 阶导数 $\eta^{(k)}(s)$ 的零点个数 $N_k^\eta(T)$ 满足 $N_k^\eta(T) = N_\zeta(T) + O(\log T)$（当 $T \to \infty$ 时）。这与 $\zeta^{(k)}(s)$ 的已知结果相平行，并暗示通过 $\eta(s)-c$ 的零点路径，$\zeta$ 的零点与 $\eta$ 的导数之间存在一一对应关系。

意义与观察
本文强调了 $\zeta(s)$ 与 $\eta(s)$ 理论之间的平行之处及令人惊讶的差异。虽然关于零点分布的许多结果是类似的，但作者注意到了一种独特的现象：分数阶导数的重零（double zero）。

• 数值证据（在图 4 和图 7 中可视化）显示，在 $\alpha \approx 0.473$ 处，$\eta^{(\alpha)}(s)$ 在 $s \approx -4.88$ 附近存在一个重零。这发生在左半平面的零点路径与实轴相遇的地方。作者指出，这是目前为止在这些函数中发现的唯一一个分数阶导数的重零，这一特征在标准的 $\zeta(s)$ 或狄利克雷 $L$ 函数理论中并未观察到。
• 作者提出了 猜想 7.1，将零点计数的渐近性质扩展到分数阶导数（$N_\eta^\alpha(T) = N_\zeta(T) + O(\log T)$）。
• 他们还提出了 猜想 7.2（归功于 Ricky Farr），该猜想指出对于整数 $k$，除了观察到的分数阶导数的特定重零现象外，$\eta^{(k)}(s)$ 在左半平面（$\sigma < 0, t \neq 0$）没有非实零点。

这项工作通过描绘欧拉 $\eta$ 函数的具体景观，为其导数提供了严格的界限，并识别了将其与非交错对应物区分开来的独特结构特征（如重零），从而补充了黎曼 $\zeta$ 函数的经典理论。