Bounding \(\zeta(s)\) in the critical strip (Q626826)

Assuming the Riemann Hypothesis (RH), the authors prove the following upper and lower bounds for \(\log |\zeta (\alpha+it)|\). Theorem 1. Assume RH. For large real numbers \(\,t\), we have \[ \begin{multlined} \log|\zeta (\alpha+it)|\\ \leq \begin{cases} \log(1+(\log t)^{1-2\alpha}){\log t\over {2\log\log t}}+{\mathcal O}({{(\log t)^{2-2\alpha}}\over {(\log\log t)^2}}) , & \, \text{if}\, (\alpha-1/2)\log\log t ={\mathcal O}(1);\\ \log(\log\log t)+{\mathcal O}(1), & \,\text{ if}\, (1-\alpha)\log\log t ={\mathcal O}(1);\\ ({1\over 2}+{{2\alpha-1}\over {\alpha(1-\alpha)}}){{(\log t)^{2-2\alpha}}\over {\log\log t}}+\log(2\log\log t)+{\mathcal O}({{(\log t)^{2-2\alpha}}\over {(1-\alpha)^2(\log\log t)^2}}),& \, \text{otherwise}.\end{cases} \end{multlined} \] Theorem 2. Assume RH. For large real numbers \(\,t\), we have \[ \begin{multlined}\log|\zeta (\alpha+it)|\\ \geq \begin{cases} \log(1-(\log t)^{1-2\alpha}){\log t\over {2\log\log t}}-{\mathcal O}({{(\log t)^{2-2\alpha}}\over {(\log\log t)^2(1-(\log t)^{1-2\alpha})}}) , & \, \text{if}\, (\alpha-1/2)\log\log t ={\mathcal O}(1);\\ -\log(\log\log t)-{\mathcal O}(1), & \, \text{if}\, (1-\alpha)\log\log t ={\mathcal O}(1);\\ -({1\over 2}+{{2\alpha-1}\over {\alpha(1-\alpha)}}){{(\log t)^{2-2\alpha}}\over {\log\log t}}-\log(2\log\log t)-{\mathcal O}({{(\log t)^{2-2\alpha}}\over {(1-\alpha)^2(\log\log t)^2}}),& \, \text{otherwise}.\end{cases}\end{multlined} \] Corollary. Assume RH. For large real numbers \(\,t\), we have \[ |\zeta(1+it)|\leq (2e^{\gamma}+o(1))\log\log t, \] and \[ {1\over {|\zeta(1+it)|}} \leq\Bigl ({12e^{\gamma}\over {\pi^2}}+o(1)\Bigr)\log\log t. \] The proof uses the recently discovered majorants and minorants for \[ \log \Bigl ({{4+x^2}\over {(\alpha-{1\over 2})^2+x^2}}\Bigr ) \] by \textit{E. Carneiro, F. Littmann} and \textit{J. D. Vaaler} [Gaussian subordination for the Beurling-Selberg extremal problem, \url{arXiv:1008.4969}].