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$.
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.