黎曼猜想--论文笔记《On the Number of Primes Less Than a Given Magnitude》

1 简介

本文根据2009年Eric Barkan等人翻译的《On the Number of Primes Less Than a Given Magnitude》总结的。这个不是黎曼的原文（原文是德文）《论小于某给定值的素数的个数》直接翻译，而是加了不少内容，更加通俗易懂，有46页。

2 素数的重要性

素数就像数字的基石，每个整数都仅且只能以一种方式写作一些素数的乘积。如60=223*5.

3 素数定理

π(x)指小于或等于x的素数的个数。

素数定理大约在1796年被高斯推测提出，在1896年被使用黎曼函数的方法证明。

4 黎曼论文的简要概述

1. 黎曼从欧拉乘积开始，他指出仅当变量s的实部大于1时，黎曼函数收敛。

2. A)他解析延拓了黎曼函数，除了s=1;
   B) 延拓后的ζ(s)有零值，都在s实部小于等于1内。
   C）对这些零值进行了证明和推测，包括黎曼猜想。
   D）获得了一个基于零值项的ζ(s)的乘积表达形式。

3. 他获得logζ(s)的一个由J（x）表示的积分表达式。J(x)指在p的n次方时，跳跃的高度为1/n.J(x)如下图。
   

4. 使用傅里叶反变换，将J（x）用logζ(s)表示。

5. 进一步计算积分，获取J（x）的公式。

6. 使用默比乌斯反变换，基于J（x）获得π(x)公式。

7. 提出π(x)的一个近似表达，基于Li（x）.

5 logζ(s)与J（x）

基于如下泰勒序列，

5.1 求p的n次方

5.2 继续求logζ(s)

6 求J（x）

6.1 傅里叶变换

6.2 J（x）

对logζ(s)求逆傅里叶变换，就可以得到J（x）.

7 继续求logζ(s)

引入了如下的辅助函数，为什么是这么样子的辅助函数呢？我还没太弄明白：

另外，辅助函数又可以写成如下形式：

所以

8 继续求J(x)

从而

9 J（x）获得π(x)

根据J(x)定义得到：