Sufficient and equivalent criteria for the Riemann hypothesis (Q446304)

In the paper the author presents some sufficient and equivalent conditions for the Riemann Hypothesis (RH). The first result is related to the so-called strong universality property, which roughly speaking states that a strongly universal object can approximate any analytic function uniformly on some compact set. More precisely, let us assume that \(\eta\in\mathbb{R}_+\) and \(s_*\) is a zero of \(\zeta\) with \(\mathrm{Re}(s_*)=1/2\). Then the Riemann Hypothesis follows from the fact that \(\zeta'\) is strongly universal in the region \(U=\{1/2<\mathrm{Re}(s)<1\}\cup \{[s_*,s_*+i\eta]\}\), i.e. NEWLINE\[NEWLINE \forall_{\varepsilon>0}\;\liminf_{T\to\infty}\mu\Bigg\{\tau\in[0,T]\max_{s\in K}|\zeta'(s+i\tau)-g(s)|<\varepsilon\Bigg\}>0, NEWLINE\]NEWLINE where \(K\subset U\) is a compact set with connected complement, \(g(s)\) is continuous on \(K\) and analytic in the interior of \(K\), and \(\mu\) denotes the Lebesgue measure.NEWLINENEWLINENext, the author considers the functions \(H_N(s) = \sum_{n=1}^N n^{-s}+\frac{N^{1-s}}{s-1}\), \(N\in\mathbb{N}\), which appear in the approximate functional equation for \(\zeta(s)\). Firstly, he proves that RH holds if and only if for any compact set \(K\subset\{s\in\mathbb{C}:1/2<\mathrm {Re}(s)<1\}\) (or \(K\subset\{s\in\mathbb{C}:0<\mathrm{Re}(s)<1/2\}\)) the function \(H_N(s)\) is non-vanishing on \(K\) for infinitely many \(N\). A similar result is proved also for \(\phi_N(s)=\sum_{n=1}^N(-1)^{n-1}n^{-s}\) instead of \(H_N(s)\).NEWLINENEWLINENext, some equivalent criteria for RH are described, which follow from the fact that \(|F(s)| = 1\) if and only if \(\mathrm{Re}(s) = 1/2\), where \(F(s)=\frac{\pi^{s-1/2}\Gamma((1-s)/2)}{\Gamma(s/2)}\). Thus, RH is equivalent to the fact that \(|F(s_0)|=1\) for all non-trivial zeros \(s_0\) of the Riemann zeta-function. The paper concludes by presenting some results implied by this fact. For example the author proves that RH holds if and only if \(|\zeta^{(m)}(s_0)|=|\zeta^{(m)}(1-\overline{s_0})|\) for all non-trivial zeros \(s_0\) or RH holds if and only if \(\lim_{N\to\infty}\frac{|H_N(s)|}{|H_N(1-s)|}\) is continuous throughout the strip.