[Math] Logarithmic derivative of Riemann Zeta function

analytic-number-theoryriemann-zetaspecial functions

Given the logarithmic derivative of the zeta function $\dfrac{\zeta^\prime (s)}{\zeta(s)}$ how does it behave near $s=1$?

I mean if for $s=1$ the Laurent series for the logarithmic derivative becomes

$$\frac{\zeta^\prime (s)}{\zeta(s)}= A+ (s-1)^{-1}$$

where $A$ is a real number constant.

Best Answer

Let's generalize and look at all of the constants in the Laurent expansion. Consider $$-\frac{\zeta^\prime}{\zeta}(s+1)=\frac{1}{s}+\sum_{j=0}^\infty \frac{(-1)^j}{j!}\eta_j s^j.$$ (I put in a negative sign so it corresponds to $\sum\limits_{n=1}^\infty \Lambda(n)n^{-s}$.) I claim that $\eta_0 =-\gamma_0$, Euler's Constant, and that in general $\eta_j$ will be a sum of products of the Stieltjes constants.

Constants arising from a limit: It is interesting to note that in a way analogous to the fact that the Stieltjes constants are given by the limit $$\gamma_n=\lim_{n\to\infty}{\left(\left(\sum_{k = 1}^m \frac{(\log k)^n}{k}\right) - \frac{(\log m)^{n+1}}{n+1}\right)},$$ we have that $$\eta_n=\lim_{n\to\infty}{\left(\left(\sum_{k = 1}^m \frac{(\log k)^{n}\Lambda(k)}{k}\right) - \frac{(\log m)^{n+1}}{n+1}\right)}$$ where $\Lambda(n)$ is the von Mangoldt Lambda Function. This can be proven by using exponential generating series, and then the Dirichlet series for $-\frac{\zeta^\prime}{\zeta}(s).$

Computing the Constants: We can compute $\eta_j$ in terms of the Stieltjes constants by using the relation $$\log\left(1+\sum_{i=0}^\infty \frac{(-1)^j}{j!}\gamma_j s^{j+1}\right)= \log (s\zeta(s+1))=-\sum_{j=0}^\infty \frac{(-1)^j}{j!}\eta_j s^j$$

and then expanding by using the identity $$\log(1+x)=x-\frac{x^2}{2}+\frac{x^3}{3}-\frac{x^4}{4}+\cdots$$

From this we get the power series $$\gamma_0 s-\left(2\gamma_1+\gamma_0^2\right)\frac{s^2}{2}+\left(3\gamma_2+6\gamma_1\gamma_0+2\gamma_0^3\right)\frac{s^3}{6}+\cdots$$ so that $$\eta_0 =-\gamma, \ \ \ \eta_1 =-(2\gamma_1 +\gamma_0^2), \ \ \ \eta_2 =-(3\gamma_2 +6\gamma_1\gamma_0 +2\gamma_0^3) \qquad \text{et cetera}.$$