Hostname: page-component-cd9895bd7-fscjk Total loading time: 0 Render date: 2024-12-25T18:58:02.622Z Has data issue: false hasContentIssue false

BOUNDING ZETA ON THE 1-LINE UNDER THE PARTIAL RIEMANN HYPOTHESIS

Published online by Cambridge University Press:  10 January 2024

ANDRÉS CHIRRE*
Affiliation:
Departamento de Ciencias - Sección Matemáticas, Pontificia Universidad Católica del Perú, Lima, Perú
Rights & Permissions [Opens in a new window]

Abstract

We provide explicit bounds for the Riemann zeta-function on the line $\mathrm {Re}\,{s}=1$, assuming that the Riemann hypothesis holds up to height T. In particular, we improve some bounds in finite regions for the logarithmic derivative and the reciprocal of the Riemann zeta-function.

Type
Research Article
Creative Commons
Creative Common License - CCCreative Common License - BY
This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (https://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.
Copyright
© The Author(s), 2024. Published by Cambridge University Press on behalf of Australian Mathematical Publishing Association Inc.

1. Introduction

A classical problem in analytic number theory is to find explicit bounds for the Riemann zeta-function. In particular, bounds on the line $\mathrm {Re}\,{s}=1$ are of great interest, owing to their usefulness in estimations for the Möbius function and the von Mangoldt function. The main purpose of this paper is to obtain new bounds for the Riemann zeta-function in ranges where currently it is challenging to get computational verification.

1.1. Background

Let $\zeta (s)$ be the Riemann zeta-function. Unconditionally, it is known that, as $t\to \infty $ ,

(1.1) $$ \begin{align} \frac{1}{\zeta(1+it)} = O(\log t) \quad \mbox{and} \quad \frac{\zeta'(1+it)}{\zeta(1+it)} = O(\log t). \end{align} $$

Currently, the best explicit bounds for $1/\zeta (1+it)$ and $\zeta '(1+it)/\zeta (1+it)$ are given by

(1.2) $$ \begin{align} \bigg|\frac{1}{\zeta(1+it)}\bigg|\leq 42.9\log t \quad\mbox{and}\quad \bigg|\frac{\zeta'(1+it)}{\zeta(1+it)}\bigg|\leq 40.14\log t, \end{align} $$

for $t\geq 133$ . The first bound in (1.2) was established by Carneiro et al. in [Reference Carneiro, Chirre, Helfgott and Mejía-Cordero2, Proposition A.2], and the second bound was established by Trudgian in [Reference Trudgian15]. There are improvements in the orders of magnitude of the mentioned estimates (see, for example, [Reference Titchmarsh14, page 135]), but it appears that those bounds are better when t is astronomically large and then they will not be useful for computational purposes.

On the other hand, assuming the Riemann hypothesis (RH), Littlewood proved in [Reference Littlewood7] that, as $t\to \infty $ ,

$$ \begin{align*} \bigg|\frac{1}{\zeta(1+it)}\bigg|\leq\bigg(\frac{12e^\gamma}{\pi^2}+o(1)\bigg) \log\log t, \end{align*} $$

where $\gamma $ is the Euler–Mascheroni constant. An explicit version of this result has been given by Lamzouri et al. [Reference Lamzouri, Li and Soundararajan6, page 2394], establishing that

$$ \begin{align*} \bigg|\frac{1}{\zeta(1+it)}\bigg|\leq\frac{12e^\gamma}{\pi^2}\bigg(\log\log t - \log 2 + \frac{1}{2} + \frac{1}{\log \log t}+\frac{14\log\log t}{\log t}\bigg), \end{align*} $$

for $t\geq 10^{10}$ . Moreover, recently, Chirre et al. [Reference Chirre, Simonič and Valås Hagen3, Theorem 5] proved under RH that

$$ \begin{align*} \left|\frac{\zeta'(1+it)}{\zeta(1+it)}\right|\leq 2\log\log t -0.4989 + \,5.35\,\frac{(\log\log t)^2}{\log t}, \end{align*} $$

for $t\geq 10^{30}$ . Some generalisations of these estimates for families of L-functions can be found in [Reference Lumley8, Reference Palojärvi and Simonič10].

1.2. Bounds for zeta under partial RH

We are interested in obtaining bounds for the Riemann zeta-function, but assuming only a partial verification of RH. For $T>0$ , we say that RH is true up to height T if all nontrivial zeros $\rho =\beta +i\gamma $ of $\zeta (s)$ such that $|\gamma |\leq T$ satisfy $\beta =1/2$ . The best current result of this type is given by Platt and Trudgian [Reference Platt and Trudgian12] who verified numerically, in a rigorous way using interval arithmetic, that RH is true up to height $T=3\cdot 10^{12}$ .

Theorem 1.1. For a fixed $\delta $ with $0<\delta <1$ , define

(1.3) $$ \begin{align} E_\delta(T)=\bigg(\frac{1}{\delta^2}+1\bigg) \frac{\log T}{2\pi T}. \end{align} $$

Assume RH up to height $T\geq 10^9$ . Then, for $10^6\leq t\leq (1-\delta )T$ ,

(1.4) $$ \begin{align} \bigg|\frac{\zeta'(1+it)}{\zeta(1+it)}\bigg|\leq 2\log\log t+1.219 + \frac{16.108}{(\log\log t)^2}+1.057E_\delta(T) \end{align} $$

and

(1.5) $$ \begin{align} \bigg|\frac{1}{\zeta(1+it)}\bigg|\leq {2e^\gamma}\bigg(\log\log t +3.404 + \frac{9.378}{\log \log t}\bigg)\cdot\exp(0.793E_\delta(T)). \end{align} $$

From Theorem 1.1, we can also derive explicit versions of (1.1) in a finite but large range where computational verification is difficult. In fact, by Platt and Trudgian’s result, we can take $T=3\cdot 10^{12}$ and, letting $\delta =10^{-5}$ , it follows unconditionally that

$$ \begin{align*} \bigg|\frac{\zeta'(1+it)}{\zeta(1+it)}\bigg|\leq 0.639\cdot \log t \quad\mbox{and}\quad \frac{1}{|\zeta(1+it)|}\leq 2.506\cdot\log t, \end{align*} $$

for $10^6\leq t\leq 2.99997\cdot 10^{12}$ . This improves (1.2) in the range $10^6\leq t\leq 2.99997\cdot 10^{12}$ .

We mention that (1.5) is derived from an upper bound for $|\!\log \zeta (1+it)|$ (see (3.4)), which allows us to deduce that

(1.6) $$ \begin{align} |\zeta(1+it)|\leq {2e^\gamma}\bigg(\log\log t +3.404 + \frac{9.378}{\log \log t}\bigg)\cdot\exp(0.793E_\delta(T)). \end{align} $$

Currently, the best unconditional explicit bound for $\zeta (1+it)$ is given by Patel, who proved in [Reference Patel11, Theorem 1.1] that, for $t\geq 3$ ,

(1.7) $$ \begin{align} |\zeta(1+it)|\leq \min\bigg\{\log t, \frac{\log t}{2}+1.93, \frac{\log t}{5}+44.02\bigg\}. \end{align} $$

So, (1.6) improves (1.7) if RH is verified up to height T for T sufficiently large.

The proof of Theorem 1.1 is carried out in Section 3 and partly follows the conditional proofs of [Reference Montgomery and Vaughan9, Section 13.2]. Here, an explicit formula is used that relates the zeros of $\zeta (s)$ and the prime numbers. This formula is unconditional and contains a certain sum involving the nontrivial zeros. Assuming RH, this sum is bounded without much effort. In our case, the novelty is in bounding the contribution of the nontrivial zeros, since we only assume RH up to height T. We split this sum into two parts, the zeros with ordinates $|\gamma |\leq T$ and $|\gamma |>T$ , and analyse them separately. These sums are studied in Section 2. The proof of Theorem 1.1 is short, and the constants involved can be improved slightly.

Throughout the paper, we use the notation $\alpha =O^*(\beta )$ , which means that $|\alpha |\leq \beta $ .

2. The sum over the nontrivial zeros

To bound the sum related to the nontrivial zeros of $\zeta (s)$ with ordinates $|\gamma |\leq T$ , we use the following lemma.

Lemma 2.1. Assume RH up to height $T>0$ . Then, for $t\geq 10^6$ and $1\leq \alpha \leq 3/2$ ,

$$ \begin{align*} \sum_{|\gamma|\leq T}\frac{\alpha-\tfrac{1}{2}}{(\alpha-\tfrac{1}{2})^2+(t-\gamma)^2} \leq \mathrm{Re}\,\frac{\zeta'(\alpha+it)}{\zeta(\alpha+it)}+\frac{\log t}{2}. \end{align*} $$

Proof. Letting $s=\alpha +it$ and using the fractional decomposition of $\zeta (s)$ (see [Reference Montgomery and Vaughan9, Corollary 10.14]), we get

$$ \begin{align*} \sum_{\gamma}\frac{\alpha-\mathrm{Re}\,{\rho}}{(\alpha-\mathrm{Re}\,{\rho})^2+(t-\gamma)^2} = \mathrm{Re}\,\frac{\zeta'(s)}{\zeta(s)}+\frac{1}{2}\,\mathrm{Re}\,\frac{\Gamma'}{\Gamma}\bigg(\frac{s}{2}+1\bigg)-\frac{\log \pi}{2} + \frac{\alpha-1}{(\alpha-1)^2+t^2}. \end{align*} $$

From the bound

$$ \begin{align*} \frac{\Gamma'}{\Gamma}(z)= \log z -\frac{1}{2z}+ O^*\bigg(\frac{1}{4|z|^2}\bigg) \quad\mbox{for}\ \mathrm{Re}\,{z}\geq 0 \end{align*} $$

(see [Reference Helfgott4, Lemma 3.11, page 67]), it follows that

(2.1) $$ \begin{align} \sum_{\gamma}\frac{\alpha-\mathrm{Re}\,{\rho}}{(\alpha-\mathrm{Re}\,{\rho})^2+(t-\gamma)^2} \leq \mathrm{Re}\,\frac{\zeta'(s)}{\zeta(s)}+\frac{\log t}{2}. \end{align} $$

On the other hand, splitting the sum over the zeros and using the fact that $\mathrm {Re}\,\rho <1$ , we get

(2.2) $$ \begin{align} \sum_{\gamma} \frac{\alpha-\mathrm{Re}\,{\rho}}{(\alpha-\mathrm{Re}\,{\rho})^2+(t-\gamma)^2} & = \sum_{|\gamma|\leq T}\frac{\alpha-\tfrac{1}{2}}{(\alpha-\frac{1}{2})^2+(t-\gamma)^2} + \sum_{|\gamma|>T}\frac{\alpha-\mathrm{Re}\,{\rho}}{(\alpha-\mathrm{Re}\,{\rho})^2+(t-\gamma)^2} \notag \\ & \geq \sum_{|\gamma|\leq T}\frac{\alpha-\frac{1}{2}}{(\alpha-\frac{1}{2})^2+(t-\gamma)^2}. \end{align} $$

By combining (2.1) and (2.2), we arrive at the desired result.

To bound the sum related to the nontrivial zeros of $\zeta (s)$ with ordinates $|\gamma |>T$ , we use the auxiliary function

$$ \begin{align*} E(t,T):=\sum_{|\gamma|>T}\frac{1}{(\gamma-t)^2}, \end{align*} $$

where t does not coincide with an ordinate of a zero of $\zeta (s)$ . This function measures, in a certain sense, the difference between the bounds under RH up to height T and the bounds under RH. In fact, for a fixed $t\geq 0$ , we see that

$$ \begin{align*} \lim_{T\to\infty} E(t,T)=0. \end{align*} $$

To estimate $E(t,T)$ , the parameter t must not be close to the ordinates of the zeros, and we need to take T sufficiently large to reduce the contribution. Here, we bound this term using a sum studied by Brent, Platt and Trudgian in [Reference Brent, Platt and Trudgian1].

Lemma 2.2. Fix $0<\delta <1$ and $T\geq 10^9$ . Then, for $0\leq t\leq (1-\delta )T$ ,

$$ \begin{align*} 0<E(t,T)\leq E_\delta(T), \end{align*} $$

where $E_\delta (T)$ was defined in (1.3).

Proof. Since $t\leq (1-\delta )T$ , we find that

$$ \begin{align*} E(t,T)=\sum_{|\gamma|>T}\frac{1}{(\gamma-t)^2}= \sum_{\gamma>T}\frac{1}{(\gamma-t)^2}+\sum_{\gamma>T}\frac{1}{(\gamma+t)^2}\leq\bigg(\frac{1}{\delta^2}+1\bigg)\sum_{\gamma>T}\frac{1}{\gamma^2}. \end{align*} $$

By [Reference Brent, Platt and Trudgian1, Theorem 1 and Example 1],

$$ \begin{align*} \bigg| {\sum_{\gamma\geq T}}'\frac{1}{\gamma^2}-\frac{1}{2\pi}\int_{T}^\infty\frac{\log(t/2\pi)}{t^2}\,dt\bigg|\leq \frac{0.14 + 0.56\log T}{T^2}, \end{align*} $$

where the prime symbol $'$ indicates that if $\gamma =T$ , then it is counted with weight $1/2$ . Thus,

$$ \begin{align*} \sum_{\gamma>T}\frac{1}{\gamma^2}\leq \frac{1}{2\pi T}\log\bigg(\frac{T}{2\pi}\bigg)+\frac{1}{2\pi T}+\frac{0.14 + 0.56\log T}{T^2}. \end{align*} $$

Hence, using $T\geq 10^9$ concludes the proof.

3. Proof of Theorem 1.1

3.1. Bounding $\zeta '(s)/\zeta (s)$

Assume that RH is true up to height $T\geq 10^9$ . Let ${t\geq 10^6}$ and $1\leq \alpha \leq 3/2$ . Given $x, y \geq 2$ and $s=\alpha +it$ , the unconditional formula [Reference Montgomery and Vaughan9, Equation 13.35] states that $\zeta '(s)/\zeta (s)$ is equal to

(3.1) $$ \begin{align} -\sum_{\rho}\frac{(xy)^{\rho-s}-x^{\rho-s}}{(\rho-s)^2\log y}-\sum_{k=1}^\infty\frac{(xy)^{-2k-s}-x^{-2k-s}}{(2k+s)^2\log y}+\frac{(xy)^{1-s}-x^{1-s}}{(1-s)^2\log y}-\sum_{n\leq xy}\frac{\Lambda(n)}{n^s}w(n),\hfill \end{align} $$

where $w(n)$ is the function defined in [Reference Montgomery and Vaughan9, page 433] satisfying $|w(n)|\leq 1$ . We bound each term of (3.1). Since $|(xy)^{\rho -s}-x^{\rho -s}|\leq x^{\mathrm {Re}\,{\rho }-\alpha }(y^{\mathrm {Re}\,{\rho }-\alpha }+1)$ and $\mathrm {Re}\,{\rho }<1$ ,

$$ \begin{align*} \bigg|\sum_{\rho} & \frac{(xy)^{\rho-s}-x^{\rho-s}}{(\rho-s)^2\log y}\bigg| =\bigg|\sum_{|\gamma|\leq T}\frac{(xy)^{\frac{1}{2}+i\gamma-s}-x^{\frac{1}{2}+i\gamma-s}}{(\frac{1}{2}+i\gamma-s)^2\log y} + \sum_{|\gamma|>T}\frac{(xy)^{\rho-s}-x^{\rho-s}}{(\rho-s)^2\log y}\bigg| \\ & \leq \frac{x^{\frac{1}{2}-\alpha}(y^{\frac{1}{2}-\alpha}+1)}{\log y}\sum_{|\gamma|\leq T}\frac{1}{(\alpha-\frac{1}{2})^2+(t-\gamma)^2} + \frac{x^{1-\alpha}(y^{1-\alpha}+1)}{\log y}\,E(t,T). \\ &\leq \frac{x^{\frac{1}{2}-\alpha}(y^{\frac{1}{2}-\alpha}+1)}{(\alpha-\frac{1}{2})\log y}\cdot\mathrm{Re}\,\frac{\zeta'(s)}{\zeta(s)}+\frac{x^{\frac{1}{2}-\alpha}(y^{\frac{1}{2}-\alpha}+1)\log t}{2(\alpha-\frac{1}{2})\log y}+ \frac{x^{1-\alpha}(y^{1-\alpha}+1)}{\log y}\,E_\delta(T), \end{align*} $$

from the assumption that $10^6\leq t\leq (1-\delta )T$ and Lemmas 2.1 and 2.2. We estimate the next terms in (3.1) trivially as

$$ \begin{align*} \bigg|\sum_{k=1}^\infty\frac{(xy)^{-2k-s}-x^{-2k-s}}{(2k+s)^2\log y} \bigg|\leq \frac{0.3}{t^2}, \quad \bigg|\frac{(xy)^{1-s}-x^{1-s}}{(1-s)^2\log y}\bigg| \leq \frac{2.9}{t^2} \end{align*} $$

and

$$ \begin{align*} \bigg|\sum_{n\leq xy}\frac{\Lambda(n)}{n^s}w(n)\bigg|\leq \sum_{n\leq xy}\frac{\Lambda(n)}{n^\alpha}. \end{align*} $$

Inserting these bounds in (3.1), we arrive at

$$ \begin{align*} \left|\frac{\zeta'(s)}{\zeta(s)}\right| &\leq \frac{x^{\frac{1}{2}-\alpha}(y^{\frac{1}{2}-\alpha}+1)}{(\alpha-\frac{1}{2})\log y}{\bigg|\frac{\zeta'(s)}{\zeta(s)}\bigg|} \\ &\quad +\frac{x^{\frac{1}{2}-\alpha}(y^{\frac{1}{2}-\alpha}+1)\log t}{2(\alpha-\frac{1}{2})\log y} +\sum_{n\leq xy}\frac{\Lambda(n)}{n^\alpha}+\frac{x^{1-\alpha}(y^{1-\alpha}+1)}{\log y}\,E_\delta(T)+\frac{3.2}{t^2}. \end{align*} $$

Now, let $\lambda _0=1.2784\ldots $ be the point where the function $\lambda \mapsto (1+e^\lambda )/\lambda $ reaches its minimum value $\mathcal {A}_0=3.5911\ldots $ in $(0,\infty )$ . Take

$$ \begin{align*} y = \exp\bigg(\frac{\lambda_0}{\alpha-\frac{1}{2}}\bigg)\geq 2 \quad\mbox{and}\quad x= \frac{\log^2t}{y}\geq 2. \end{align*} $$

Note that

$$ \begin{align*} \frac{x^{\frac{1}{2}-\alpha}(y^{\frac{1}{2}-\alpha}+1)}{(\alpha-\frac{1}{2})\log y}= \mathcal{A}_0(\log t)^{1-2\alpha}<1 \quad\mbox{and}\quad \frac{x^{1-\alpha}(y^{1-\alpha}+1)}{\log y}\leq \frac{2}{\log y}=\frac{2\alpha-1}{\lambda_0}. \end{align*} $$

Therefore, we get

(3.2) $$ \begin{align} \bigg|\frac{\zeta'(\alpha+it)}{\zeta(\alpha+it)}\bigg| \leq (1+ \epsilon(\alpha,t))\bigg[\frac{\mathcal{A}_0}{2}{(\log t)^{2-2\alpha}} +\sum_{n\leq \log^2t}\frac{\Lambda(n)}{n^\alpha}+ \frac{(2\alpha-1)}{\lambda_0}E_\delta(T)+\frac{3.2}{t^2}\bigg], \end{align} $$

where $\epsilon (\alpha ,t)$ is defined as

$$ \begin{align*} \epsilon(\alpha,t):=\frac{1}{\mathcal{A}_0^{-1}(\log t)^{2\alpha-1}-1}. \end{align*} $$

3.2. Bounding $\zeta '(1+it)/\zeta (1+it)$

Letting $\alpha =1$ in (3.2), it follows that

$$ \begin{align*} \bigg|\frac{\zeta'(1+it)}{\zeta(1+it)}\bigg|\leq(1+ \epsilon(1,t))\bigg[\frac{\mathcal{A}_0}{2} +\sum_{n\leq \log^2t}\frac{\Lambda(n)}{n}+ \frac{E_\delta(T)}{\lambda_0}+\frac{3.2}{t^2}\bigg]. \end{align*} $$

To bound the sum over the primes in the above expression, we use the estimate (see [Reference Johnston, Ramaré and Trudgian5, Lemma 10])

$$ \begin{align*} \sum_{n\leq X}\frac{\Lambda(n)}{n}\leq \log X - \gamma + \frac{1.3}{\log^2X} \quad \mbox{for all} \ X>1. \end{align*} $$

Finally, using $t\geq 10^6$ , we arrive at (1.4).

3.3. Bounding log $\zeta (1+it)$

By the fundamental calculus theorem,

$$ \begin{align*} \log\zeta(1+it) = \log\zeta\left(\frac{3}{2}+it\right) -\int_{1}^{{3}/{2}}\frac{\zeta'(\alpha+it)}{\zeta(\alpha+it)}\,d\alpha. \end{align*} $$

Since $|\!\log \zeta (\tfrac {3}{2}+it)|\leq \log \zeta (\tfrac {3}{2})$ , we obtain

$$ \begin{align*} |\!\log\zeta(1+it)|\leq \int_{1}^{{3}/{2}}\bigg|\frac{\zeta'(\alpha+it)}{\zeta(\alpha+it)}\bigg|\,d\alpha +\log\zeta\left(\frac{3}{2}\right). \end{align*} $$

To bound the right-hand side of this inequality, we use $\epsilon (\alpha ,t)\leq \epsilon (1,t)$ in $1\leq \alpha \leq 3/2$ and integrate (3.2) from $1$ to $3/2$ to obtain

$$ \begin{align*} |\!\log\zeta(1+it)| &\leq (1+ \epsilon(1,t))\bigg[\frac{\mathcal{A}_0}{4\log\log t}+\sum_{n\leq \log^2t}\frac{\Lambda(n)}{n\log n}-\sum_{n\leq \log^2t}\frac{\Lambda(n)}{n^{\frac{3}{2}}\log n} +\frac{3E_\delta(T)}{4\lambda_0}\bigg]\\ &\quad +\log\zeta\left(\frac{3}{2}\right), \end{align*} $$

where we have used $-\mathcal {A}_0/(4\log t\log \log t)+1.6/t^2<0$ . Furthermore, since

$$ \begin{align*}\log\zeta\left(\frac{3}{2}\right)= \sum_{n\geq 1}\frac{\Lambda(n)}{n^{\frac{3}{2}}\log n}=0.960\ldots,\end{align*} $$

we have

$$ \begin{align*} \left(1+ \epsilon(1,t)\right)\sum_{n> \log^2t}\frac{\Lambda(n)}{n^{\frac{3}{2}}\log n}\leq \epsilon(1,t)\sum_{n\geq 1}\frac{\Lambda(n)}{n^{\frac{3}{2}}\log n}, \end{align*} $$

for $t\geq 10^6$ . This implies that

(3.3) $$ \begin{align} |\!\log\zeta(1+it)| \leq (1+ \epsilon(1,t))\bigg[\frac{\mathcal{A}_0}{4\log\log t}+\sum_{n\leq \log^2t}\frac{\Lambda(n)}{n\log n} +\frac{3E_\delta(T)}{4\lambda_0}\bigg]. \end{align} $$

To bound the sum over the primes, we use [Reference Rosser and Schoenfeld13, Equation (3.30)] to see that, for $x>1$ ,

$$ \begin{align*} \sum_{n\leq x}\frac{\Lambda(n)}{n\log n}\leq \sum_{p\leq x}\sum_{k= 1}^{\infty}\frac{1}{kp^k}=\log\prod_{p\leq x}\bigg(1-\frac{1}{p}\bigg)^{-1}\leq \log\log x+\gamma + \frac{1}{\log^2x}. \end{align*} $$

Inserting this in (3.3), we arrive at

$$ \begin{align*} &|\!\log\zeta(1+it)| \\ &\quad \leq (1+ \epsilon(1,t))\bigg[\log\log\log t + \log(2e^\gamma)+\frac{\mathcal{A}_0}{4\log\log t}+\frac{1}{4(\log\log t)^2} +\frac{3E_\delta(T)}{4\lambda_0}\bigg]. \end{align*} $$

Thus,

(3.4) $$ \begin{align} |\!\log\zeta(1+it)|\leq \log\log\log t + \log(2e^\gamma)+\frac{3.404}{\log\log t}+0.793E_\delta(T). \end{align} $$

Taking exponentials in this inequality and using the estimate $e^x\leq 1+x+0.8093x^2$ for $0\leq x\leq 1.297$ , we obtain

$$ \begin{align*} \exp(|\!\log\zeta(1+it)|)\leq {2e^\gamma}\bigg(\log\log t +3.404 + \frac{9.378}{\log \log t}\bigg)\cdot\exp(0.793E_\delta(T)). \end{align*} $$

Since $\log |\zeta (1+it)|^{-1}\leq |\!\log \zeta (1+it)|$ and $\log |\zeta (1+it)|\leq |\!\log \zeta (1+it)|$ , we deduce (1.5) and (1.6), respectively.

Acknowledgement

I am grateful to Harald Helfgott for encouraging me in this project and for helpful discussions related to the material in this paper.

References

Brent, R., Platt, D. and Trudgian, T., ‘Accurate estimation of sums over zeros of the Riemann zeta-function’, Math. Comp. 90(332) (2021), 29232935.10.1090/mcom/3652CrossRefGoogle Scholar
Carneiro, E., Chirre, A., Helfgott, H. A. and Mejía-Cordero, J., ‘Optimality for the two-parameter quadratic sieve’, Acta Arith. 203(3) (2022), 195226.10.4064/aa201018-5-1CrossRefGoogle Scholar
Chirre, A., Simonič, A. and Valås Hagen, M., ‘Conditional bounds for the logarithmic derivative of Dirichlet $L$ -functions’, Indag. Math., to appear, https://doi.org/10.1016/j.indag.2023.07.005.CrossRefGoogle Scholar
Helfgott, H. A., ‘The ternary Goldbach problem’, Ann. of Math. Stud., to appear. Second preliminary version available at https://webusers.imj-prg.fr/harald.helfgott/anglais/book.html.Google Scholar
Johnston, D. R., Ramaré, O. and Trudgian, T., ‘An explicit upper bound for $L\left(1,\chi \right)$ when $\chi$ is quadratic’, Res. Number Theory 9 (2023), Article No. 72.Google Scholar
Lamzouri, Y., Li, X. and Soundararajan, K., ‘Conditional bounds for the least quadratic non-residue and related problems’, Math. Comp. 84(295) (2015), 23912412.10.1090/S0025-5718-2015-02925-1CrossRefGoogle Scholar
Littlewood, J. E., ‘On the function $1/\zeta \left(1+ it\right)$ ’, Proc. Lond. Math. Soc. (3) 27(5) (1928), 349357.10.1112/plms/s2-27.1.349CrossRefGoogle Scholar
Lumley, A., ‘Explicit bounds for $L$ -functions on the edge of the critical strip’, J. Number Theory 188 (2018), 186209.10.1016/j.jnt.2018.01.001CrossRefGoogle Scholar
Montgomery, H. L. and Vaughan, R. C., Multiplicative Number Theory: I. Classical Theory, Cambridge Studies in Advanced Mathematics, 97 (Cambridge University Press, Cambridge, 2006).10.1017/CBO9780511618314CrossRefGoogle Scholar
Palojärvi, N. and Simonič, A., ‘Conditional estimates for $L$ -functions in the Selberg class’, Preprint, 2023, arXiv:2211.01121.Google Scholar
Patel, D., ‘An explicit upper bound for $\left|\zeta \left(1+ it\right)\right|$ ’, Indag. Math. 33(5) (2022), 10121032.10.1016/j.indag.2022.04.007CrossRefGoogle Scholar
Platt, D. and Trudgian, T., ‘The Riemann hypothesis is true up to $3\,\cdotp {10}^{12}$ ’, Bull. Lond. Math. Soc. 53(3) (2021), 792797.10.1112/blms.12460CrossRefGoogle Scholar
Rosser, J. B. and Schoenfeld, L., ‘Approximate formulas for some functions of prime numbers’, Illinois J. Math. 6 (1962), 6494.10.1215/ijm/1255631807CrossRefGoogle Scholar
Titchmarsh, E. C., The Theory of the Riemann Zeta-Function, 2nd edn, Oxford Science Publications (Oxford University Press, Oxford, 1986).Google Scholar
Trudgian, T., ‘Explicit bounds on the logarithmic derivative and the reciprocal of the Riemann zeta-function’, Funct. Approx. Comment. Math. 52(2) (2015), 253261.10.7169/facm/2015.52.2.5CrossRefGoogle Scholar