黎曼的zeta函数(2)

本篇是黎曼$\zeta$函数系列的第三篇，传送门在此书接上回，让我们继续出发。

对$J(x)$的计算

上回说到，$J(x)$经过一次分部积分后的结果为
$$J(x)=-\frac{1}{2\pi i}\frac{1}{\ln x}{\int }_{a-i\infty }^{a+i\infty }{x}^{z}d\frac{\ln \zeta (z)}{z}$$
其中
$$\ln \zeta (s)=\ln \xi (0)+\sum _{\rho }\ln (1-\frac{s}{\rho })-\ln \Gamma (\frac{s}{2}+1)+\frac{s}{2}\ln \pi -\ln (s-1)$$
黎曼注意到除$\ln \xi (0)$外，其余项均可表达为类似
$$F(\beta )=\frac{1}{2\pi i}\frac{1}{\ln x}{\int }_{a-i\infty }^{a+i\infty }{x}^{s}d\frac{\ln (\frac{s}{\beta }-1)}{s}$$
的形式，例如$F(1)$对应$\ln (s-1)$。现在的技巧是我们先求$F^{\prime }(\beta )$，这给出
$$F^{\prime }(\beta )=\frac{1}{2\pi i}\frac{1}{\ln x}{\int }_{a-i\infty }^{a+i\infty }{x}^{s}d\frac{1}{(\beta -s)\beta }$$
我们像上面一样如法炮制，做一次分部积分就得到
$$\beta F^{\prime }(\beta )=-\frac{1}{2\pi i}{\int }_{a-i\infty }^{a+i\infty }\frac{x^s}{\beta -s}ds$$
令$z=-s$，可以看出上式是一个Mellin逆变换的表达式，做逆变换的函数是
$$\phi (z)=-\frac{1}{\beta +z}$$
注意到
$$-\frac{1}{\beta +z}={\int }_1^{\infty }{x}^{z-1}{x}^{\beta }dx$$
是对应的Mellin变换，就有
$$F^{\prime }(\beta )=\frac{x^{\beta }}{\beta }$$
如果$\Re (\beta )<0$，就有
$$F^{\prime }(\beta )={\int }_{\infty }^x{x}^{\beta -1}dx,F(\beta )={\int }_{\infty }^x\frac{x^{\beta -1}}{\ln x}dx+C$$
若$\Re (\beta )>0$则有
$$F^{\prime }(\beta )={\int }_0^x{x}^{\beta -1}dx,F(\beta )={\int }_0^x\frac{x^{\beta -1}}{\ln x}dx+$$