黎曼的zeta函数
本篇是黎曼 ζ \zeta ζ函数系列的第三篇,传送门在此书接上回,让我们继续出发。
对 J ( x ) J(x) J(x)的计算
上回说到, J ( x ) J(x) J(x)经过一次分部积分后的结果为
J ( x ) = − 1 2 π i 1 ln x ∫ a − i ∞ a + i ∞ x z d ln ζ ( z ) z J(x) = -\frac{1}{2\pi i}\frac{1}{\ln x}\int_{a - i\infty}^{a + i\infty}x^zd\frac{\ln\zeta(z)}{z} J(x)=−2πi1lnx1∫a−i∞a+i∞xzdzlnζ(z)
其中
ln ζ ( s ) = ln ξ ( 0 ) + ∑ ρ ln ( 1 − s ρ ) − ln Γ ( s 2 + 1 ) + s 2 ln π − ln ( s − 1 ) \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ζ(s)=lnξ(0)+ρ∑ln(1−ρs)−lnΓ(2s+1)+2slnπ−ln(s−1)
黎曼注意到除 ln ξ ( 0 ) \ln\xi(0) lnξ(0)外,其余项均可表达为类似
F ( β ) = 1 2 π i 1 ln x ∫ a − i ∞ a + i ∞ x s d ln ( s β − 1 ) s F(\beta) = \frac{1}{2\pi i}\frac{1}{\ln x}\int_{a - i\infty}^{a + i\infty}x^sd\frac{\ln(\frac{s}{\beta} - 1)}{s} F(β)=2πi1lnx1∫a−i∞a+i∞xsdsln(βs−1)
的形式,例如 F ( 1 ) F(1) F(1)对应 ln ( s − 1 ) \ln(s - 1) ln(s−1)。现在的技巧是我们先求 F ′ ( β ) F'(\beta) F′(β),这给出
F ′ ( β ) = 1 2 π i 1 ln x ∫ a − i ∞ a + i ∞ x s d 1 ( β − s ) β F'(\beta) = \frac{1}{2\pi i}\frac{1}{\ln x}\int_{a - i\infty}^{a + i\infty}x^sd\frac{1}{(\beta - s)\beta} F′(β)=2πi1lnx1∫a−i∞a+i∞xsd(β−s)β1
我们像上面一样如法炮制,做一次分部积分就得到
β F ′ ( β ) = − 1 2 π i ∫ a − i ∞ a + i ∞ x s β − s d s \beta F'(\beta) = -\frac{1}{2\pi i}\int_{a - i\infty}^{a + i\infty}\frac{x^s}{\beta - s}ds βF′(β)=−2πi1∫a−i∞a+i∞β−sxsds
令 z = − s z = -s z=−s,可以看出上式是一个Mellin逆变换的表达式,做逆变换的函数是
φ ( z ) = − 1 β + z \varphi(z) = -\frac{1}{\beta + z} φ(z)=−β+z1
注意到
− 1 β + z = ∫ 1 ∞ x z − 1 x β d x -\frac{1}{\beta + z} = \int_1^\infty x^{z - 1}x^\beta dx −β+z1=∫1∞xz−1xβdx
是对应的Mellin变换,就有
F ′ ( β ) = x β β F'(\beta) = \frac{x^\beta}{\beta} F′(β)=βxβ
如果 ℜ ( β ) < 0 \Re(\beta) < 0 ℜ(β)<0,就有
F ′ ( β ) = ∫ ∞ x x β − 1 d x , F ( β ) = ∫ ∞ x x β − 1 ln x d x + C F'(\beta) = \int_\infty^x x^{\beta - 1}dx, ~ F(\beta) = \int_\infty^x \frac{x^{\beta - 1}}{\ln x}dx + C F′(β)=∫∞xxβ−1dx, F(β)=∫∞xlnxxβ−1dx+C
若 ℜ ( β ) > 0 \Re(\beta) > 0 ℜ(β)>0则有
F ′ ( β ) = ∫ 0 x x β − 1 d x , F ( β ) = ∫ 0 x x β − 1 ln x d x + C F'(\beta) = \int_0^x x^{\beta - 1}dx, ~ F(\beta) = \int_0^x \frac{x^{\beta - 1}}{\ln x}dx + C F′(β)=∫0xxβ−1dx, F(β)=∫0xlnxxβ−1dx+