关于通过高阶截段逼近Hardy $Z$-函数的研究

On the approximation of the Hardy $Z$-function via high-order sections

摘要 Abstract

Hardy $Z$-函数的截段由$Z_N(t):=\sum_{k=1}^{N}\frac{\cos(\theta(t)-\ln(k)t)}{\sqrt{k}}$定义,其中任意$N\in\mathbb{N}$。这些截段以两种方式逼近Hardy $Z$-函数:(a)当$\widetilde{N}(t)=\left[\sqrt{\frac{t}{2\pi}}\right]$时,$2Z_{\widetilde{N}(t)}(t)$是Hardy-Littlewood近似泛函方程(AFE)的逼近;(b)当$N(t)=\left[\frac{t}{2}\right]$时,$Z_{N(t)}(t)$是Spira的逼近。基于实验观察,Spira推测,不同于经典的逼近(a),逼近(b)在实部零点的意义上满足黎曼假设(RH)。我们通过加速级数的新技术提供了理论依据,证明这一推测本质上等价于RH本身。

Sections of the Hardy $Z$-function are given by $Z_N(t) := \sum_{k=1}^{N} \frac{cos(\theta(t)-ln(k) t) }{\sqrt{k}}$ for any $N \in \mathbb{N}$. Sections approximate the Hardy $Z$-function in two ways: (a) $2Z_{\widetilde{N}(t)}(t)$ is the Hardy-Littlewood approximate functional equation (AFE) approximation for $\widetilde{N}(t) = \left [ \sqrt{\frac{t}{2 \pi}} \right ]$. (b) $Z_{N(t)}(t)$ is Spira's approximation for $N(t) = \left [\frac{t}{2} \right ]$. Spira conjectured, based on experimental observations, that, contrary to the classical approximation $(a)$, approximation (b) satisfies the Riemann Hypothesis (RH) in the sense that all of its zeros are real. We present theoretical justification for Spira's conjecture, via new techniques of acceleration of series, showing that it is essentially equivalent to RH itself.