黎曼的zeta函数(1)

本篇是黎曼$\zeta$函数系列的第二篇，传送门在此书接上回，让我们继续出发。
如果你已读完本篇，请移步第三篇。

欧拉乘积公式

著名的欧拉乘积公式
$$\zeta (s)=\sum _{n=1}^{\infty }\frac{1}{n^s}=\prod _p\frac{1}{1-\frac{1}{p^s}}$$
揭开了素数分布秘密的一角。证明思路如下，由
$$\zeta (s)=\frac{1}{1^s}+\frac{1}{2^s}+\frac{1}{3^s}+\cdots$$
两边乘以$\frac{1}{2^s}$就得到
$$\frac{1}{2^s}\zeta (s)=\frac{1}{2^s}+\frac{1}{4^s}+\frac{1}{6^s}+\cdots$$
两式相减得（减掉所有2的倍数项）
$$(1-\frac{1}{2^s})\zeta (s)=\frac{1}{1^s}+\frac{1}{3^s}+\frac{1}{5^s}+\cdots$$
两边乘以$\frac{1}{3^s}$就得到
$$\frac{1}{3^s}(1-\frac{1}{2^s})\zeta (s)=\frac{1}{3^s}+\frac{1}{9^s}+\frac{1}{15^s}+\cdots$$
再相减就得到（减掉所有3的倍数项）
$$(1-\frac{1}{3^s})(1-\frac{1}{2^s})\zeta (s)=\frac{1}{1^s}+\frac{1}{5^s}+\frac{1}{7^s}+\cdots$$
两边乘以$\frac{1}{5^s}$再相减（减掉所有5的倍数项），如此这般下去，干掉右边所有得项，最终得到
$$\cdots (1-\frac{1}{5^s})(1-\frac{1}{3^s})(1-\frac{1}{2^s})\zeta (s)=1$$
不难发现，乘到左边的项都是素数项，所以就有
$$\zeta (s)=\prod _p\frac{1}{1-\frac{1}{p^s}}$$

Möbius函数

让我们尝试展开上式的右侧，得到
$$\begin{gathered} \frac{1}{\zeta (s)}=(1-\frac{1}{2^s})(1-\frac{1}{3^s})(1-\frac{1}{5^s})(1-\frac{1}{7^s})\cdots \\ =1-\frac{1}{2^s}-\frac{1}{3^s}-\frac{1}{5^s}+\frac{1}{6^s}-\frac{1}{7^s}+\cdots \end{gathered}$$
如果把这个级数写成Dirichlet级数
$$\frac{1}{\zeta (s)}=\sum _n\frac{a_n}{n^s}$$
的形式，就会有当$n$为偶数个不同素数乘积时$a_n=1$，当$n$为奇数个不同素数乘积时$a_n=-1$，而当$n$可被某一素数的平方整除时$a_n=0$. 我们就定义这样的$a_n$为Möbius函数，记为$\mu (n)$，于是
$$\frac{1}{\zeta (s)}=\sum _n\frac{\mu (n)}{n^s}$$
容易验证Möbius函数是积性函数，也就是说$\mu (1)=1$，且当$a,b$互质时，$\mu (ab)=\mu (a)\mu (b)$.

素数定理

欧拉注意到，当$s=1$时，$\zeta (1)$为调和级数，其以对数方式发散。实际上
$$\ln (x)={\int }_1^x\frac{1}{t}dt$$
为了干掉连乘积，两边取对数就有
$$\ln (\sum _n\frac{1}{n}$$