Estimates for \(L\)-functions in the critical strip under GRH with effective applications (Q2684855)

The paper provides, assuming the (generalized) Riemann hypothesis ((G)RH), explicit upper bounds for moduli of \(\log \mathcal{L}(s)\) and \(\mathcal{L}'(s)/\mathcal{L}(s)\) in the neighborhood of the 1-line when \(\mathcal{L}(s)\) are the Riemann, Dirichlet and the Dedekind zeta-functions. The main results are the following two theorems. Theorem 1. let \(\mathcal{L}(s)\) be an element in the Selberg class of functions with a polynomial Euler product of order \(m\). Then, there exist \(C>0\) and \(c\geq 1\), which depend on \(\mathcal{L}\), and \(T\geq e\) such that \[ \log|\mathcal{L}(s)|\leq \frac{1}{4}\mathrm{d}_\mathcal{L}\log(c|t|)+m\log\log(c|t|)+\log^+C \] for \(|t|\geq T\), \(\sigma\geq 1/2\) and \(\mathcal{L}(s)\not = 0\), where \(\mathrm{d}_\mathcal{L}\) is the degree of \(\mathcal{L}\) and \(\log^+u:=\max \{0, \log u\}\) for \(u>0\). For \(C_3>0\) and \(|t|\geq e\), define \[ \mathcal{R}(C_3, c, t):=\left\{w\in\mathbb{C}:\Re(w)>\frac{1}{2}, |\Im\{w\}-t|\leq C_3\log\log(c|t|+1))+3\right\}, \] with \(c\) from above. Assume that there exists \(C_3\geq 1\) such that \(\mathcal{L}(z)\not =0\) for \(z\in\mathcal{R}(C_3, c, t)\), where \(|t|\) is sufficiently large. Then, there exist positive and computable constants \(a_1\), \(b_1\) and \(a_2\), \(b_2\), such that \[ |\log \mathcal{L}(s)|\leq a_1(b_1\log(c|t|))^{2(1-\sigma)}\log\log(c|t|), \] \[ \left|\frac{\mathcal{L}'}{\mathcal{L}}(s)\right|\leq a_2(b_2\log(c|t|))^{2(1-\sigma)}(\log\log(c|t|))^2 \] for \[ \sigma \in \mathcal{S}(A, B, c, t):=\left[\frac{1}{2} + \frac{A}{\log\log(c|t|)}, 1+\frac{B}{\log\log(c|t|)}\right], \] where \(A\) and \(B\) are some positive constants. Now, for the Moebius function \(\mu(n)\), let \(M(x):=\sum_{n\leq x}\mu(n)\) and \(m(x):=\sum_{x\leq n}\mu(n)/n\). Theorem 2. Assume RH. For \(x\geq 1\), we have \[ |M(x)|\leq 555.71x^{0.99}+1.94\times 10^{14}x^{0.98}, \] \[ |m(x)|\leq \frac{56126.71}{x^{0.01}}+\frac{9.894\times10^{15}}{x^{0.02}}. \]