Bounding the log-derivative of the zeta-function (Q2070963)

In this paper, assuming the Riemann Hypothesis (RH), some explicit bounds for the modulus of the log derivative of the Riemann-zeta function in the critical strip are established. The log-derivative of the zeta-function is defined as \[\frac{\zeta^\prime}{\zeta}(s) = \sum_{n\geq 1}\frac{\Lambda (n)}{n^s} \quad (\mathrm{Re}( s) > 1),\] where \(\Lambda\) is the von Mangoldt function. We mention two of the three theorems proved, omitting the most complex one. Theorem 1. Assume RH. Then \[\left \vert \mathrm{Im}\frac{\zeta^\prime}{\zeta}(\sigma + it)\right\vert \leq \frac{C_\sigma}{\sigma(1-\sigma)}(\log t)^{2-2\sigma} + O\left(\frac{(\log t)^{2-2\sigma}}{(\sigma - \frac{1}{2})(1-\sigma)^2\log \log t}\right),\] uniformly in the range \[\frac{1}{2} + \frac{\lambda_0 + c}{\log \log t} \leq \sigma \leq 1 - \frac{c}{\sqrt{\log \log t}} \quad \mathrm{and }\ t\geq 3,\] where \[C_\sigma = \sqrt{\frac{2(-\sigma^2 + 5\sigma -2)(-\sigma^2+3\sigma -1)(-\sigma^2 + \sigma+1)}{\sigma(2-\sigma)}}.\] Theorem 2. Assume RH. Then \[\mathrm{Re}\left(\frac{\zeta^\prime}{\zeta}\right)'(\sigma + it)\leq \left(\frac{-2\sigma^2 + 2\sigma+2}{\sigma(1-\sigma)}\right)\log \log t(\log t)^{2-2\sigma} + O\left(\frac{(\log t)^{2-2\sigma}}{(\sigma - \frac{1}{2})(1-\sigma)^2}\right),\] and \[\mathrm{Re}\left(\frac{\zeta^\prime}{\zeta}\right)'(\sigma + it)\geq \left(\frac{-2\sigma^2 + 6\sigma-2}{\sigma(1-\sigma)}\right)\log \log t(\log t)^{2-2\sigma} + O\left(\frac{(\log t)^{2-2\sigma}}{(\sigma - \frac{1}{2})(1-\sigma)^2}\right).\] uniformly in the range \[\frac{1}{2} + \frac{\lambda_0}{\log \log t} \leq \sigma \leq 1 - \frac{c}{\sqrt{\log \log t}} \quad \mathrm{and }\ t\geq 3,\] for any fixed \(c>0\).