Abstract:We prove that the Voronin universality theorem for the Riemann zeta-function extends to the line Re(s)=1 if in addition to vertical shifts we also allow scaling and adding a sufficiently large constant.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the extension of Voronin's universality theorem for the Riemann zeta function on certain specific lines in the complex plane. Specifically, the author explores how to make Voronin's universality theorem hold on the axis of absolute convergence in the complex plane (i.e., \(\Re(s) = 1\)) by introducing scaling and translation operations.
### Specific problem description
1. **Classical Voronin's universality theorem**:
- Voronin [11] proved that for any continuous function \(f(t)\) on the interval \([0, H]\), it can be approximated with arbitrary precision in the sup - norm by the vertical translation \(\zeta(1 + iT+it)\) of the Riemann zeta function.
- However, Andersson [1]'s research shows that on \(\Re(s)=1\), due to the existence of a lower bound:
\[
\inf_T \max_{T \leq t \leq T+\delta} |\zeta(1+it)|=\frac{\pi^2 e^{-\gamma}}{24\delta}+O(\delta^3)
\]
This result implies that the zero function \(f(t) = 0\) cannot be approximated by the Riemann zeta function with arbitrary precision.
2. **Improved universality theorem**:
- The author attempts to overcome this limitation by introducing scaling and translation operations. Specifically, if scaling and translation are allowed and a sufficiently large constant \(C\) is added, then it can be proved that the zero function \(f(t)=0\) can be approximated by the Riemann zeta function with arbitrary precision on \(\Re(s) = 1\).
- Further, the author generalizes this observation to continuous functions \(f\) on any compact set \(K\), where \(f\) is analytic in the interior of \(K\) and the complement of \(K\) is connected.
### Main results
- **Theorem 1**: Let \(K\subset\mathbb{C}\) be a compact set whose complement is connected, and let \(f\) be a continuous function on \(K\) and analytic in the interior of \(K\). For any \(\varepsilon>0\), there exist \(C_0,\delta_0 > 0\) such that for any \(0 < \delta\leq\delta_0\) and \(|C|>C_0\), we have
\[
\liminf_{T\rightarrow\infty}\frac{1}{T}\text{meas}\left\{t\in[0,T]:\max_{s\in K}|\zeta(1 + it+\delta s)+C - f(s)|<\varepsilon\right\}>0.
\]
- **Theorem 2**: Let \(K\subset\mathbb{C}\) be a compact set whose complement is connected, and
\[
f(s)=C+\int_0^\infty g(x)e^{-sx}dx,
\]
for \(s\in K\), where \(|xg(x)|\leq1\). For any \(\varepsilon > 0\), there exists some \(\delta_0>0\) such that for any \(0 < \delta\leq\delta_0\),
\[
\liminf_{T\rightarrow\infty}\frac{1}{T}\text{meas}\left\{t\in[0,T]:\max_{s\in K}|\log\zeta(1 + it+\delta s)-f(s)|<\varepsilon\right\}>0.
\]
### Conclusion
The main contribution of this paper lies in successfully by introducing scaling, translation and constant terms.