[论文解读] On the real zeroes of the Hurwitz zeta-function and Bernoulli polynomials

А. П. Веселов, John Ward|arXiv (Cornell University)|May 16, 2002

Functional Equations Stability Results被引用 4

一句话总结

本文研究了当 σ 为大负数时，Hurwitz zeta 函数 ζ(σ,a) 的实零点，表明其在区域 0 < a < -σ/(2πe) 内，零点渐近地分布在直线 σ + 4a + 2m = 0 上。本文证明了 ζ(-p,a) 的实零点数量渐近满足 N(p)/p → 1/(πe)，并为此提供了 Inkeri 关于伯努利多项式 B_n(x) 实根数量渐近性的简洁证明，其结果为 ~2n/(πe)。

ABSTRACT

The behaviour of real zeroes of the Hurwitz zeta function $$ζ(s,a)=\sum_{r=0}^{\infty}(a+r)^{-s}\qquad\qquad a &gt; 0$$ is investigated. It is shown that $ζ(s,a)$ has no real zeroes $(s=σ,a)$ in the region $a &gt;\frac{-σ}{2πe}+\frac{1}{4πe}\log (-σ) +1$ for large negative $σ$. In the region $0 &lt; a &lt; \frac{-σ}{2πe}$ the zeroes are asymptotically located at the lines $σ+ 4a + 2m =0$ with integer $m$. If $N(p)$ is the number of real zeroes of $ζ(-p,a)$ with given $p$ then $$\lim_{p o\infty}\frac{N(p)}{p}=\frac{1}{πe}.$$ As a corollary we have a simple proof of Inkeri's result that the number of real roots of the classical Bernoulli polynomials $B_n(x)$ for large $n$ is asymptotically equal to $\frac{2n}{πe}$.

研究动机与目标

• 研究 Hurwitz zeta 函数 ζ(σ,a) 在 σ 取大负实数值时实零点的分布。
• 将 Hurwitz 的 ζ(σ,a) 傅里叶表示的有效范围从标准区间 0 < a ≤ 1 扩展至更广的范围。
• 为 p → ∞ 时 ζ(-p,a) 的实零点数量推导渐近估计。
• 为 Inkeri 关于伯努利多项式 B_n(x) 实根数量渐近性的结果提供一种新的、初等的证明。

提出的方法

• 利用 Hurwitz 对 Re(s) < 0 且 0 < a ≤ 1 的 ζ(s,a) 的积分表示，并将其适用范围扩展至大负数 σ 时的 0 < a < -σ/(2πe) 区间。
• 应用渐近展开 ζ(σ,a)/Q(σ) = sin(2πa + ½πσ) + o(1) 当 σ → -∞，其中 Q(σ) = 2Γ(1−σ)/(2π)^{1−σ}。
• 使用函数方程 ζ(s,a) = ζ(s,n+a) + ∑_{r=0}^{n-1} (r+a)^{-s} 分析解析延拓与零点分布。
• 利用导数恒等式 ∂/∂a ζ(s,a) = -s ζ(s+1,a) 将 ζ(-p,a) 的 k 阶导数与 ζ(-p+k,a) 关联，从而实现对根行为的渐近分析。
• 应用一个关于 n 阶导数符号恒定的函数的根数上限的引理，以限制特定区间内实零点的数量。
• 结合渐近分析与有效范围的边界估计，估算 ζ(σ,a) 在非零或振荡区域内的实零点数量。

实验结果

研究问题

• RQ1 当 σ 为大负数且 0 < a < -σ/(2πe) 时，ζ(σ,a) 的实零点位于何处？
• RQ2 当 p → ∞ 时，ζ(-p,a) 的实零点数量的渐近增长速率是什么？
• RQ3 能否利用 Hurwitz zeta 函数重新推导伯努利多项式 B_n(x) 实根的渐近分布？
• RQ4 当 σ 为大负数时，ζ(σ,a) 在哪个区域内无实零点？
• RQ5 ζ(-p,a) 的导数的渐近行为如何？这又如何影响根的分布？

主要发现

• 当 σ 为大负数时，若 a > -σ/(2πe) + (1/(4πe)) log(-σ) + 1，则 ζ(σ,a) 无实零点。
• 在区域 0 < a < -σ/(2πe) 内，ζ(σ,a) 的实零点渐近地位于整数 m 对应的直线 σ + 4a + 2m = 0 上。
• ζ(-p,a) 的实零点数量 N(p) 满足 lim_{p→∞} N(p)/p = 1/(πe)。
• 伯努利多项式 B_n(x) 的实根数量满足 lim_{n→∞} N(n)/n = 2/(πe)，从而确认了 Inkeri 的结果。
• 对于大 m，B_m(x) 的最大实根 A(m) 满足 A(m)/m → 1/(2πe)，且实根总数 N(m) 满足 N(m)/m → 2/(πe)。
• A(m) 和 N(m) 的上下界包含对数修正项，尽管这些修正项未通过当前初等方法导出。