黎曼猜想原始论文中文译注-《论小于某给定值的素数的个数》(1)

1 p
1
s

n
1
s
其中等式左边的 p 取遍所有质数，等式右边的 n 取遍所有自然数，我将用 (s) 表记 由上面这两个级数（当它们收敛时）表示的复变量 s 的函数。
{注 1： 即定义复变函数
(s)
1 1 } s n 1 p s
上面这两个级数只有当 s 的实部大于 1 时才收敛，但很容易找到一个（对任意 s ） 总是有效的函数 (s) 的表达式。
所示。关于上式的详细推导参见 http://www.xieguofang.cn/My%20Writings/Reply1.htm }
其中的积分由上面所给出的方式定义。 现在这一等式对于任意复变量 s 都给出了函 数 (s) 的值，并表明它是单值解析的，并且对于所有有限的 s （除了 1 之外）都取有限 值，当 s 等于一个负偶数时取零值。
(s ) 的平凡零点 -2，-4，-6,....和 ( ) 的其余极点抵消，因此 (s ) 是一个整函数，且仅以 (s ) 的
2
非 平 凡 零 点 为 零 点 。 注 意 到 因 子 s ( s 1) 显 然 在 s 1 s 下 不 变 ， 所 以 仍 有 函 数 方 程
s
{注 2：用现代数学语言讲，即要对复变函数 ( s) 进行解析延拓，而解析延拓的最好方法是寻找 一个该函数的更广泛有效的表示如积分表示或适当的函数方程。}
利用等式
{ 注 3 ： ( s) 是 高 斯 引 入 的 伽 玛 函 数 记 号 ， 现 在 一 般 把 伽 玛 函 数 记 作 ( s) ，
1 2
1 2
d log (t ) （略去和 T 同阶的小量后）的值约等于
的根的数目乘以
1
，而该
{注 18： 此即幅角原理}。
积分的值等于位于此区域内的方程
事实上我发现在该区域内的实根数目近似等于该数目，极有可能所有的根都是实数。 对此我们自然希望能有一个严格的证明，然而在一些仓促的不成功的初步尝试之后，
其中我们约定在多值函数 实数。由此即得
中， log( x) 的取值对于负的 x 为
{注 7： e

si
e
si
2i sin s （注意复变量的三角函数的定义由欧拉公式 sin z
eiz eiz
2i
给
出） ，
ຫໍສະໝຸດ Baidu
( z )s 1 ( x)s 1 dx 按现代数学记号应记成 ，其中的积分路径 C 如上面图 1 C e z 1 dz （参见注 5） x e 1
Generated by Foxit PDF Creator © Foxit Software http://www.foxitsoftware.com For evaluation only.
以 s 为自变量， s 和 t 差一个线性变换： s 这样一来，s 平面中的直线 Re s 的零点就对应于函数 (t ) 的实根。
Generated by Foxit PDF Creator © Foxit Software http://www.foxitsoftware.com For evaluation only.
我暂时把寻求证明搁在一边，因为对于我接下来研究的目的来说它并不是必需的。
{注 19：黎曼轻描淡写写下的这几句话就是著名的黎曼猜想！}
--- 正文第一部分终 ---
【注 11 补】 由欧拉公式（ e cos z i sin z ）可得
因为该积分的值对于模无限大的复数为无限小，而在该区域内部，被积函数只有 当 x 等于 2 i 的整数倍时才有奇点，于是该积分即等于负向围绕这些值的积分之和，但 围绕值 n2 i 的积分等于 ，
{注 10：被积函数在 n2 i （n≠0）的留数等于
( x) s 1 ( x) s 1 s 1 ( n2 i ) (e x 1) ' x xn 2 i e xn 2 i
Email:roixie@163.com
承蒙（柏林）科学院接纳我为通讯院士，我想表达被赐予这份殊荣的感谢之情的 最好方式是立即利用由此得到的许可向其通报一项关于素数分布密度的研究，考虑到 高斯和狄利克雷曾长期对此问题抱有浓厚的兴趣，它似乎并不是完全配不上这样性质 的一个报告。 我以欧拉的发现、即下面这个等式作为本研究的起点：
（雅可比《椭圆函数论新基础》S 卷第 184 页）
{注 13：黎曼引入的这个函数 ( x) 本质上即雅可比 theta 函数：

( x)
易见
n
e
n 2 x
n 1
1 2 e n x 1 2(e x e 4 x e 9 x e 16 x ......)
{注 9：参见下面的图 2，其中的大圆 C’的半径趋向无穷大，从而包含被积函数的所有极点即分 母 e x 1 的所有零点 2nπi（n 为整数） ，接下来的计算用现代术语说就是应用柯西的留数定理。}
Generated by Foxit PDF Creator © Foxit Software http://www.foxitsoftware.com For evaluation only.
( s) (1 s) .}
1 现在设 s ti , 2
于是可得
或
{注 15：黎曼定义的这个函数和现在通常使用的函数 ( s ) （参见上注）本质上完全相同（注意
s s s s ( ) ( 1) ( ) ，参见注 3） ，仅有的差别是黎曼以 t 为自变量，而现在通常使用的 ( s ) 仍 2 2 2 2
正是黎曼接下来做的） ，即令（为了和黎曼的记号保持一致引入数字因子 1/2）
( s)
1
s s ( s 1) s / 2 ( ) ( s ) 2 2
s 2
因为因子 ( s 1) 消去了 ( s ) 在 s 1 处的一阶极点，因子 s 消去了 ( ) 在 s 0 处的极点，而
n 1
2
( x) e n x =
上述恒等式即 theta 函数的变换公式：
2
( x) 1
2
( ) x ( x)
它最早由柯西用傅立叶分析得到，后来雅可比又用椭圆函数给出了证明，详见[注 13 补]。}
1 x
我们又有
{注 14：注意在上面的最后一个等式中，我们可以明显看出
s ( 1) s /2 ( s ) 在变换 s 1 s 下不变。 2
1 （ ∵ s( s 1)

和
( x)( x
1
s 1 2
x

1 s 2
) dx
都在 s 1
s 下不变 ）
这样黎曼就再次推导出了 ( s ) 的函数方程（这比前面用围道积分和留数定理的推导更简单） 。若 引入辅助函数
Generated by Foxit PDF Creator © Foxit Software http://www.foxitsoftware.com For evaluation only.
论小于某给定值的素数的个数
（黎曼提出黎曼猜想的原始论文）
黎曼（Riemann）原稿 谢国芳（Roy Xie）译注
0
可得
{注 4：

e n 1
nx
1 1 e x } x 1 x x 1 e 1 e e 1
现在考虑积分
{注 5： 按现代数学记号， 该积分应记成 其中的积分路径 C 如下面的图 1 所示。}
( x) s 1 ( z )s 1 dx 或 （考虑到一般用 z 表示复数） dz ， C e x 1 C ez 1
{注 8：实际上可证上面等式的右边是一个整函数（请读者思考如何证明） ，故左边也是一个整函 数， 注意 ( s 1) ( s)（参见注 3） ， 而 ( s) 在 s 0, 1, 2, 3,... 的一级极点和 sin s 的零点抵消。 }
当 s 的实部为负时，上面的积分可以不沿正向围绕给定值的区域进行，而是沿负向 包含所有剩下的复数值的区域进行，
1 ti ，即一个 90°旋转加 1/2 的平移。 2
1 1 就对应于 t 平面中的实轴， zeta 函数在临界直线 Re s 上 2 2
注意在黎曼的记号中， 函数方程 ( s )
(1 s ) （见上注）就变成了 (t ) (t ) ，即 (t )
是偶函数，故而其幂级数展开只有偶次幂，且零点关于 t 0 对称分布。
Generated by Foxit PDF Creator © Foxit Software http://www.foxitsoftware.com For evaluation only.
s ( s ) ( 1) s /2 ( s ) 2
函数方程可以简洁地写为 ( s ) (1 s) ，但更方便的做法是在 ( s ) 中添加因子 s ( s 1) （这
1 另外，从上面的两个积分表示也可以明显看出 (t ) 是偶函数（∵ cos( t log x ) 是 t 的偶函数） 。} 2
对于所有有限的 t ，该函数的值都是有限的，并可以按 t 2 的幂展开成一个快速收敛 的级数， 因为对于一个实部大于 1 的 s 值 ， 这对 的其他因子的对数也同样成立，因此函数 也是有限的， 只有当 t 的虚部位于 i 和 i
}
于是我们得到
Generated by Foxit PDF Creator © Foxit Software http://www.foxitsoftware.com For evaluation only.
它揭示了一个 它表述为：
和
之间的关系，利用函数 ( s) 的已知性质，也可以将
s ( 1) s /2 ( s ) 在变换 s 1 s 下不变。 2

s 1 s s 2 然其他次数的方幂都用指数表示） 。为了推导上式，只需在 ( 1) ( ) x e x dx 中作替换 2 2 0
x n 2 x 即可。}
因此，如果记
即得
又因为
Generated by Foxit PDF Creator © Foxit Software http://www.foxitsoftware.com For evaluation only.
即伽玛函数 ( s) 的余元公式和勒让德公式。 上述结果的推导参见[注 {注 11： “ ( s) 的已知性质” 11 补]。}
该函数的这一性质诱导我在级数 由此我们能得到函数
的一般项中引入
而不是
，
的一个很方便的表达式，事实上我们有
{注 12：
nn n2 （从笛卡尔开始直到黎曼的时代，一个变量的平方一般用叠写该变量表示，虽
1 2 1 2
之间时才可能取零值。
。} {注 16：即 ( s ) 只有当 s 的实部位于 0 和 1 之间时才可能取零值（参见上注）
方程
的实部在 0 和
之间的根的数目约等于
{注 17：黎曼对零点数目估计的这一结果直到 1895 年才由 Mangoldt 严格证明。}
这是因为沿包含所有虚部位于 i 和 i 之间、实部位于 0 和 T 之间的 t 值的正向回 路的积分
Generated by Foxit PDF Creator © Foxit Software http://www.foxitsoftware.com For evaluation only.

( s) ( s 1) s( s) ， ( s) x s1e x dx ，令积分号中的哑变量 x nx 即可导出上式。}

积分路径沿从
到
、包含值 0 但不包含被积函数的任何其他奇点的区域的
正向边界进行。 {注 6：参见下面的图 1。}
图1 易得该积分的值为
Generated by Foxit PDF Creator © Foxit Software http://www.foxitsoftware.com For evaluation only.