Discrete universality, continuous universality and hybrid universality are equivalent

Johan Andersson

2023-10-05

Abstract:Recently Sourmelidis proved that the discrete universality theorem is equivalent to the continuous universality theorem for zeta-functions. He treats both the zero-free universality theorem and the strong universality theorem. Unfortunately in the zero-free case his result is conditional on a Riemann hypothesis, and in the strong universality case he only proves the implication in one direction. We prove this equivalence unconditionally, and also prove an equivalence with hybrid universality. While the main application of our result is on Dirichlet series and zeta-functions, our proof is general and does not use the fact that the functions in question can be represented by Dirichlet series.

Number Theory,Complex Variables

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to prove the equivalence of discrete universality, continuous universality and mixed universality under specific conditions. Specifically, the author aims to unconditionally prove that these different forms of universality theorems are equivalent for the ζ - function and other related functions. Previous research work (such as Sourmelidis' work) has already proven the equivalence of these theorems under certain assumptions, but these assumptions (such as the Riemann hypothesis) have not been verified yet. Therefore, the goal of this paper is to provide a strict proof without relying on unproven assumptions.

### Main problems and contributions

1. **Proof of unconditional equivalence**:
- The author has proven that the discrete universality theorem and the continuous universality theorem are equivalent without the need for the Riemann hypothesis.
- At the same time, the author has also proven the equivalence of these theorems with the mixed universality theorem.

2. **Wide range of applicability**:
- Although mainly applied to Dirichlet series and the ζ - function, the author's proof method is general and does not depend on the specific representation forms of these functions.

3. **Technical improvement**:
- The author has introduced some new techniques and tools, such as Mergelyan's theorem, Kronecker's theorem and the triangle inequality, to ensure the rigor and completeness of the proof.

### Specific formulas and definitions

In order to understand these problems more clearly, here are several key definitions and formulas:

- **Continuous universality theorem**:
\[
\liminf_{T \to \infty} \frac{1}{T} \text{meas}\left\{0 \leq t \leq T : \max_{s \in K} |Z(s+it) - f(s)| < \epsilon \right\} > 0
\]

- **Discrete universality theorem**:
\[
\liminf_{N \to \infty} \frac{1}{N} \# \left\{1 \leq n \leq N : \max_{s \in K} |Z(s + in\alpha) - f(s)| < \epsilon \right\} > 0
\]

- **Mixed universality theorem**:
\[
\liminf_{T \to \infty} \frac{1}{T} \text{meas}\left\{0 \leq t \leq T : \max_{s \in K} |Z(s+it) - f(s)| < \epsilon, \max_{1 \leq j \leq k} |\lambda_j^{-it} - a_j| < \epsilon \right\} > 0
\]

Through these definitions and formulas, the author shows how to derive one theorem from another and finally prove their equivalence. This not only solves theoretical problems but also provides a solid foundation for subsequent research.