Explicit Bound of $\pmb{|ζ\left(1+it\right)|}$

Eunice Hoo Qingyi,Lee-Peng Teo
2024-12-01
Abstract:In this work, we show that for all $t\geq e$, \[|\zeta(1+it)|\leq 0.6443 \log t. \] The equality is achieved when $t=17.7477$. We also use the Riemann-Siegel formula and numerical computations to show that \[|\zeta(1+it)|\leq\frac{1}{2}\log t+0.6633\hspace{1cm}\text{when}\;t\geq e.\]When $t\geq 100$, the bound $\frac{1}{2}\log t+0.6633$ is better than the bound $0.6443\log t$.
Number Theory
What problem does this paper attempt to address?
### What problem does this paper attempt to solve? The main purpose of this paper is to provide an explicit upper bound estimate for \( |ζ(1 + it)| \). Specifically, the authors prove that for all \( t \geq e \), \[ |ζ(1 + it)| \leq 0.6443 \log t \] and this equality holds when \( t = 17.7477 \). In addition, they also use the Riemann - Siegel formula and numerical calculations to prove that when \( t \geq e \), \[ |ζ(1 + it)| \leq \frac{1}{2} \log t+ 0.6633 \] When \( t \geq 100 \), the latter bound is better than the former one. #### Research background The Riemann zeta function \( ζ(s) \) is an important function in number theory, defined as: \[ ζ(s)=\sum_{n = 1}^{\infty}\frac{1}{n^s} \] It converges when \( s \) is a complex number and \( \text{Re}(s)>1 \). Riemann [Rie59] proved that it can be analytically continued to the entire complex plane (except for a simple pole at \( s = 1 \)). The order estimate of \( |ζ(σ + it)| \) has always been an important problem in analytic number theory, especially of great significance in the study of prime number distribution. #### Main contributions 1. **Explicit upper bound**: This paper provides an explicit upper bound for \( |ζ(1 + it)| \) when \( t \geq e \). 2. **Improve existing results**: By introducing the Riemann - Siegel formula and numerical calculations, it improves previous results and verifies the conclusion of Trudgian [Tru14]. 3. **Numerical verification**: For \( e \leq t \leq 10^6 \), numerical calculations verify the correctness of the new bound. These results are helpful for further understanding the properties of the Riemann zeta function, especially the distribution of its non - trivial zeros near the critical line, which is of great significance for verifying the Riemann hypothesis and other related problems.