素数的分布与 Riemann ζ 函数之间存在着深刻关联。这一关联的核心就是J(x) = Σn[(1/n)π(x1/n)]的积分表达式。由于 Riemann ζ 函数具有极为复杂的性质,这一积分同样也是极为复杂的。为了对这一积分做进一步的研究, Riemann 引进了一个辅助函数 ξ(s)[注一]:
ξ(s) = Γ(s/2+1) (s-1) π-s/2 ζ(s)
引进这样一个辅助函数有什么好处呢?首先,由上式定义的辅助函数可以被证明为是整函数 (entire function),即在复平面上所有 s≠∞ 的点上都解析的函数。这样的函数在性质上要比 Riemann ζ 函数简单得多,处理起来也容易得多。事实上,在所有非平庸的复变函数中,整函数是解析区域最为宽广的 (解析区域比它更大,即包括 s=∞,的函数只有一种,那就是常数函数)。这是引进 ξ(s) 的好处之一。
其次,利用这一辅助函数,我们提到过的 Riemann ζ 函数所满足的代数关系式 ζ(s) = 2Γ(1-s)(2π)s-1sin(πs/2)ζ(1-s) 可以表述为一个对于 s 与 1-s 对称的简单形式:ξ(s) = ξ(1-s)。这是引进 ξ(s) 的好处之二。
此外,从 ξ(s)的定义中不难看到, ξ(s) 的零点必定是 ζ(s) 的零点[注二]。另一方面, ζ(s) 的零点除了平凡零点 s=-2n (n 为自然数) 由于恰好是 Γ(s/2+1) 的极点,因而不是 ξ(s) 的零点外,其余全都是 ξ(s) 的零点,因此ξ(s) 的零点与 Riemann ζ 函数的非平凡零点相重合。换句话说, ξ(s) 将 Riemann ζ 函数的非平凡零点从全体零点中分离了出来。这是引进 ξ(s) 的好处之三。
在进一步介绍 Riemann 的论文之前,让我们先提一下 Riemann ζ 函数的一个简单性质,即 ζ(s) 在 Re(s)>1 的区域内没有零点 (证明参阅附录一)。没有零点当然就更没有非平凡零点,而后者跟 ξ(s) 的零点是重合的,因此上述性质表明 ξ(s) 在 Re(s)>1 的区域内也没有零点;又由于 ξ(s)=ξ(1-s),因此 ξ(s) 在 Re(s)<0 的区域内也没有零点。这表明 ξ(s) 的所有零点——从而也就是 Riemann ζ 函数的所有非平凡零点——都位于 0≤Re(s)≤1 的区域内。由此我们得到了一个有关 Riemann ζ 函数零点分布的重要结果,那就是:Riemann ζ 函数的所有非平凡零点都位于复平面上 0≤Re(s)≤1 的区域内。这一结果虽然离 Riemann 猜想要求的所有非平凡零点都位于复平面上 Re(s)=1/2 的直线上还相距甚远,但起码也算是万里长征的第一步。
好了,现在回到 Riemann 的论文中来。引进了 ξ(s) 之后, Riemann 便用 ξ(s) 的零点对 lnξ(s) 进行了分解:
lnξ(s) = lnξ(0) + Σρln(1-s/ρ)
其中 ρ 为 ξ(s) 的零点 (也就是 Riemann ζ 函数的非平凡零点——这些家伙终于出场了!)。分解式中的求和对所有的 ρ 进行,并且是以先将 ρ 与 1-ρ