[论文解读] Real zeros of Hurwitz-Lerch zeta and Hurwitz-Lerch type of Euler-Zagier double zeta functions

Takashi Nakamura|arXiv (Cornell University)|May 7, 2014

Advanced Mathematical Identities参考文献 18被引用 3

一句话总结

本文证明了当 $0 < \sigma < 1$ 时，Hurwitz-Lerch zeta 函数 $\Phi(\sigma, a, z)$ 在 $a \geq 1/2$ 且 $z = 1$ 的条件下无实零点，且当 $z \neq 1$ 时，对所有 $0 < \sigma < 1$ 和 $0 < a \leq 1$ 也保持非零。此外，本文还利用积分表示和复分析技术，分析临界带内符号与虚部行为，证明了在 $z_1$ 和 $z_2$ 满足不同条件时，Hurwitz-Lerch 类型的 Euler-Zagier 双 zeta 函数的非零性结果。

ABSTRACT

Let $0 &lt; a \le 1$, $s,z \in {\mathbb{C}}$ and $0 &lt; |z|\le 1$. Then the Hurwitz-Lerch zeta function is defined by $Φ(s,a,z) := \sum_{n=0}^\infty z^n(n+a)^{-s}$ when $σ:=\Re (s) &gt;1$. In this paper, we show that the Hurwitz zeta function $ζ(σ,a) := Φ(σ,a,1)$ does not vanish for all $0

研究动机与目标

• 确定 Hurwitz-Lerch zeta 函数 $\Phi(\sigma, a, z)$ 在临界带 $0 < \sigma < 1$ 内无实零点的条件。
• 将这些非零性结果推广至 Hurwitz-Lerch 类型的 Euler-Zagier 双 zeta 函数 $\Phi_2(s_1, s_2, a, z_1, z_2)$。
• 阐明参数 $a$ 在 $\Phi(\sigma, a, 1)$ 的非零行为中的作用，特别是当 $a \geq 1/2$ 时。
• 利用积分表示和复分析方法，分析双 zeta 函数的解析结构与符号行为。

提出的方法

• 使用涉及 Gamma 函数的积分表示，表达 $\Gamma(s_1)\Gamma(s_2)\Phi_2(s_1, s_2, a, z_1, z_2)$ 以进行收敛性分析。
• 应用 Fubini 定理，以保证在临界带内迭代积分的收敛性与符号分析的合理性。
• 分析被积函数的实部与虚部，以根据 $z_1$ 和 $z_2$ 的参数确定其非零行为。
• 采用复指数分解与三角恒等式，研究核函数实部与虚部的符号。
• 在 $\zeta_2(\sigma, \sigma; a)$ 上应用介值定理，以证明符号变化的存在性，从而得出其非零性。
• 依赖 Komori 的研究成果，利用已知的 $\Phi_2(s_1, s_2, a, z_1, z_2)$ 解析延拓结果，将结论扩展至初始收敛域之外。

实验结果

研究问题

• RQ1 对于哪些 $a \in (0,1]$ 值，Hurwitz zeta 函数 $\zeta(\sigma, a)$ 在 $0 < \sigma < 1$ 内无实零点？
• RQ2 当 $z \neq 1$ 且 $0 < a \leq 1$ 时，Hurwitz-Lerch zeta 函数 $\Phi(\sigma, a, z)$ 是否对所有 $0 < \sigma < 1$ 都保持非零？
• RQ3 在何种 $z_1$ 与 $z_2$ 条件下，双 zeta 函数 $\Phi_2(s_1, s_2, a, z_1, z_2)$ 在 $\Re(s_1), \Re(s_2) \in (0,1)$ 内无实零点？
• RQ4 能否确定临界带内非实 $z_1, z_2$ 时 $\Phi_2(s_1, s_2, a, z_1, z_2)$ 的实部符号？
• RQ5 当 $z_1$ 与 $z_2$ 为非实数且 $\sin(2\pi\theta_1)\sin(2\pi\theta_2) > 0$ 时，$\Phi_2(s_1, s_2, a, z_1, z_2)$ 的虚部行为如何？

主要发现

• Hurwitz zeta 函数 $\zeta(\sigma, a)$ 在 $0 < \sigma < 1$ 内无实零点，当且仅当 $a \geq 1/2$。
• 当 $z \neq 1$ 时，Hurwitz-Lerch zeta 函数 $\Phi(\sigma, a, z)$ 对所有 $0 < \sigma < 1$ 和 $0 < a \leq 1$ 均保持非零。
• 当 $z_1 = 1$ 且 $z_2 \neq 1$ 时，$\Phi_2(\sigma_1, \sigma_2, a, 1, z_2)$ 对所有 $\sigma_1 > 0$，$\sigma_2 > 0$ 非零，且当 $z_2 \in [-1,1)$ 时实部为正。
• 若 $z_1$ 与 $z_2$ 均为非实数，且 $\sin(2\pi\theta_1)\sin(2\pi\theta_2) > 0$，则对所有 $\sigma_1 > 0$，$\sigma_2 > 0$，有 $\Im(\Phi_2(\sigma_1, \sigma_2, a, z_1, z_2)) \neq 0$。
• 当 $\sin(2\pi\theta_1)\sin(2\pi\theta_2) < 0$ 时，对所有 $\sigma_1 > 0$，$\sigma_2 > 0$，$\Phi_2(\sigma_1, \sigma_2, a, z_1, z_2)$ 的实部严格为正。
• 双 zeta 函数 $\zeta_2(\sigma, \sigma; a)$ 满足 $\lim_{\sigma \to 1^-} \zeta_2(\sigma, \sigma; a) = \infty$ 且 $\lim_{\sigma \to 1/2^+} \zeta_2(\sigma, \sigma; a) = -\infty$，表明在 $1/2 < \sigma < 1$ 区间内存在符号变化，从而保证其非零性。