The Grosswald–Schnitzer theorem is a mathematical theorem in the field of analytic number theory that demonstrates the existence of a class of modified zeta functions and Dirichlet L-functions that possess exactly the same non-trivial zeros as the Riemann zeta function, but whose Euler products do not rely on the sequence of prime numbers. The theorem not only provides a construction method but also shows that these modified functions behave very similar to the original functions. The theorem is particularly interesting because it reveals that the connection between the non-trivial zeros of the Riemann zeta function and the sequence of prime numbers is not as rigid as the Euler product of the Riemann zeta function might suggest. This means one can study the non-trivial zeros of the Riemann zeta function by analyzing these different functions which do not involve prime numbers in their Euler product. The theorem was proven in 1978 by Emil Grosswald and Franz Josef Schnitzer. Grosswald and Schnitzer published two theorems, where the first concerns only zeta functions and the second addresses the more general Dirichlet L-functions.
Grosswald–Schnitzer theorem Let ζ {\displaystyle \zeta } be the Riemann zeta function, and p n {\displaystyle p_{n}} the n {\displaystyle n} th prime. A complex number s ∈ C {\displaystyle s\in \mathbb {C} } is always written in the form s = σ + i t {\displaystyle s=\sigma +it} with real part ℜ ( s ) = σ {\displaystyle \Re (s)=\sigma } .
Introduction The Riemann zeta function has in the half-plane ℜ ( s ) > 0 {\displaystyle \Re (s)>0} a representation as an Euler product over primes:
ζ ( s ) = ∑ n = 1 ∞ 1 n s = ∏ n = 1 ∞ 1 1 − p n − s , {\displaystyle \zeta (s)=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}=\prod _{n=1}^{\infty }{\frac {1}{1-p_{n}^{-s}}},}
where ( p n ) n ∈ N {\displaystyle (p_{n})_{n\in \mathbb {N} }} is the sequence of all prime numbers. The zeros of the Riemann zeta function in the region ℜ ( s ) > 0 {\displaystyle \Re (s)>0} lie in the so-called critical strip 0 < ℜ ( s ) < 1 {\displaystyle 0<\Re (s)<1} and it can be shown that there are no zeros in the region ℜ ( s ) ≥ 1 {\displaystyle \Re (s)\geq 1} . The Grosswald–Schnitzer theorem now states that if one replaces the primes ( p n ) {\displaystyle (p_{n})} with a sequence of real numbers ( q n ) {\displaystyle (q_{n})} satisfying p n ≤ q n ≤ p n + 1 {\displaystyle p_{n}\leq q_{n}\leq p_{n+1}} then the new resulting zeta function has the same zeros for ℜ ( s ) > 0 {\displaystyle \Re (s)>0} as the Riemann zeta function, although it is not the same function. Hence the structure of the zeros in this region of the Riemann zeta function is not uniquely determined by the primes as it also appears in this much larger class of analytic functions and it shows invariance under this modification.
Variant for Zeta Functions Define a sequence of real numbers q 1 , q 2 , q 3 , … {\displaystyle q_{1},q_{2},q_{3},\dots } such that
p n ≤ q n ≤ p n + 1 , ∀ n ∈ N . {\displaystyle p_{n}\leq q_{n}\leq p_{n+1},\quad \forall n\in \mathbb {N} .}
Define the modified zeta function:
… excerpt ends here. Continue reading the full article.
