解析数论详解

解析数论详解

目录

• 第一章 绪论
• 第二章 算术函数与狄利克雷卷积
• 第三章 求和公式与渐近估计
• 第四章 Dirichlet级数与Euler乘积
• 第五章 Riemann ζ函数
• 第六章 Dirichlet L函数
• 第七章 素数定理
• 第八章 Dirichlet算术级数中的素数定理
• 第九章 筛法
• 第十章 圆法
• 第十一章 加性数论
• 第十二章 自守形式与L函数
• 第十三章 解析数论的现代发展
• 附录：重要公式与定理汇总

第一章 绪论

1.1 解析数论的定义

解析数论（Analytic Number Theory）是数论的一个分支，它以数学分析（mathematical analysis）作为主要工具来研究整数的性质，特别是素数的分布规律。数学分析以函数为研究对象，在极限概念的基础上建立起来，包括微积分、复分析、傅里叶分析等内容。

解析数论与初等数论、代数数论、几何数论并称为数论的四大分支。它起源于18世纪欧拉（Leonhard Euler）的工作，欧拉首次使用解析方法（无穷级数）证明了“素数有无限多个”。

解析数论的核心主题包括：

• 素数的分布规律（素数定理、Dirichlet定理）
• 数论函数的渐近性质
• Riemann ζ函数与L函数的理论
• 加性数论（哥德巴赫猜想、华林问题）
• 筛法与圆法

1.2 解析数论的历史发展

18世纪：欧拉发现ζ函数与素数之间的深刻联系，给出了恒等式：

\[\sum_{n=1}^{\infty} \frac{1}{n^s} = \prod_{p} \frac{1}{1-p^{-s}} \]

这就是著名的Euler乘积公式，它第一次将无穷级数（解析对象）与素数（算术对象）联系在了一起。

19世纪：黎曼（Bernhard Riemann）于1859年发表了一篇里程碑式的论文《论小于给定数值的素数个数》，将ζ函数延拓为复变函数，并提出了著名的黎曼猜想（Riemann Hypothesis）。黎曼的工作为解析数论奠定了坚实的基础。

同期，Dirichlet于1837年证明了算术级数中的素数定理，引入了Dirichlet L函数和Dirichlet特征的概念。

20世纪：Hadamard和de la Vallée Poussin于1896年独立证明了素数定理（Prime Number Theorem）。20世纪中叶，筛法（Brun筛法、Selberg筛法）和圆法（Hardy-Littlewood圆法）得到了系统发展。1966年，陈景润利用筛法证明了陈氏定理（1+2）。

20世纪末至今：自守形式、L函数理论、Langlands纲领等将解析数论推向了更广阔的数学前沿。

1.3 解析数论的基本思想

解析数论的基本思想可以概括为：

1. 算术对象的解析化：将数论中的离散对象（如素数、整数）编码为解析函数（如Dirichlet级数）。
2. 利用解析工具研究：利用复分析、傅里叶分析、渐近分析等工具研究这些函数的性质。
3. 反解回算术信息：从函数的性质（如极点、零点、渐近行为）中提取数论信息。

这一思想的核心是生成函数方法：通过构造适当的生成函数，将离散的计数问题转化为连续的分析问题。

1.4 预备知识

学习解析数论需要以下预备知识：

1. 数学分析：级数理论、一致收敛、积分理论
2. 复变函数：解析函数、亚纯函数、围道积分、留数定理
3. 初等数论：整除理论、同余、算术基本定理
4. 傅里叶分析（部分内容）：傅里叶级数、傅里叶变换

第二章 算术函数与狄利克雷卷积

2.1 算术函数的定义

定义 2.1（算术函数） ：定义在正整数集 \(\mathbb{N}\) 上、取值于复数域 \(\mathbb{C}\) 的函数称为算术函数（arithmetical function）。

算术函数是解析数论研究的基本对象。

2.2 重要的算术函数

（1）欧拉函数 \(\varphi(n)\)

定义为不超过 \(n\) 且与 \(n\) 互素的正整数的个数：

\[\varphi(n) = |\{ 1 \leqslant k \leqslant n \mid (k, n) = 1 \}| \]

若 \(n = \prod p_i^{\alpha_i}\)，则

\[\varphi(n) = n \prod_{p \mid n} \left(1 - \frac{1}{p}\right) \]

（2）莫比乌斯函数 \(\mu(n)\)

定义为：

\[\mu(n) = \begin{cases} 1, & n = 1 \\ (-1)^k, & n = p_1 p_2 \cdots p_k \text{（$k$ 个不同素数的乘积）} \\ 0, & n \text{ 有平方因子} \end{cases}\]

（3）除数函数 \(d(n)\)（或 \(\tau(n)\)）

定义为 \(n\) 的正因数的个数：

\[d(n) = \sum_{d \mid n} 1 \]

若 \(n = \prod p_i^{\alpha_i}\)，则 \(d(n) = \prod (\alpha_i + 1)\)。

（4）除数和函数 \(\sigma(n)\)

定义为 \(n\) 的所有正因数之和：

\[\sigma(n) = \sum_{d \mid n} d \]

若 \(n = \prod p_i^{\alpha_i}\)，则 \(\sigma(n) = \prod \frac{p_i^{\alpha_i+1}-1}{p_i-1}\)。

（5）von Mangoldt函数 \(\Lambda(n)\)

定义为：

\[\Lambda(n) = \begin{cases} \log p, & n = p^k \text{（$p$ 为素数，$k \geqslant 1$）} \\ 0, & \text{其他情况} \end{cases}\]

von Mangoldt函数在素数定理的证明中起着核心作用。

（6）素数计数函数 \(\pi(x)\)

定义为不超过 \(x\) 的素数的个数：

\[\pi(x) = \sum_{p \leqslant x} 1 \]

这是解析数论中最基本的计数函数。

（7）Chebyshev函数 \(\psi(x)\)

定义为：

\[\psi(x) = \sum_{n \leqslant x} \Lambda(n) = \sum_{p^k \leqslant x} \log p \]

它与 \(\pi(x)\) 有密切的关系。

2.3 积性函数

定义 2.2（积性函数） ：算术函数 \(f\) 称为积性函数（multiplicative function），如果满足：

1. \(f(1) = 1\)
2. 对任意互素的正整数 \(m, n\)，有 \(f(mn) = f(m)f(n)\)

若对任意 \(m, n\)（不必互素）都有该性质，则称为完全积性函数（completely multiplicative function）。

例 2.1：

• \(\varphi(n)\) 是积性函数
• \(\mu(n)\) 是积性函数
• \(d(n)\) 是积性函数
• \(\sigma(n)\) 是积性函数
• 函数 \(\mathbf{1}(n) \equiv 1\) 是完全积性函数
• 函数 \(\operatorname{id}(n) = n\) 是完全积性函数

2.4 狄利克雷卷积

定义 2.3（狄利克雷卷积） ：设 \(f, g\) 是算术函数，定义它们的狄利克雷卷积（Dirichlet convolution）为：

\[(f * g)(n) = \sum_{d \mid n} f(d) g\left(\frac{n}{d}\right) \]

定理 2.1：狄利克雷卷积满足以下性质：

1. 结合律：\((f * g) * h = f * (g * h)\)
2. 交换律：\(f * g = g * f\)
3. 分配律：\(f * (g + h) = f * g + f * h\)
4. 单位元：存在单位元 \(\varepsilon\)，定义为 \(\varepsilon(1) = 1\)，\(\varepsilon(n) = 0\)（\(n > 1\)），满足 \(f * \varepsilon = f\)

定理 2.2：积性函数的卷积仍是积性函数。因此，积性函数在卷积运算下构成一个以 \(\varepsilon\) 为幺元的交换半群。

2.5 莫比乌斯反演公式

定理 2.3（莫比乌斯反演公式） ：若

\[F(n) = \sum_{d \mid n} f(d) \]

则

\[f(n) = \sum_{d \mid n} \mu(d) F\left(\frac{n}{d}\right) \]

等价地，在狄利克雷卷积的记号下：

\[F = f * \mathbf{1} \iff f = F * \mu \]

即 \(\mu\) 是常数函数 \(\mathbf{1}\) 在狄利克雷卷积下的逆元：

\[\mu * \mathbf{1} = \varepsilon \]

推论 2.1：$$\sum_{d \mid n} \mu(d) = \begin{cases} 1, & n = 1 \ 0, & n > 1 \end{cases}$$

推论 2.2：$$\sum_{d \mid n} \varphi(d) = n$$

2.6 狄利克雷级数

定义 2.4（狄利克雷级数） ：设 \(f\) 是算术函数，形式级数

\[F(s) = \sum_{n=1}^{\infty} \frac{f(n)}{n^s} \]

称为 \(f\) 的狄利克雷级数（Dirichlet series）。

定理 2.4：若 \(F(s) = \sum f(n)/n^s\)，\(G(s) = \sum g(n)/n^s\)，则

\[F(s)G(s) = \sum_{n=1}^{\infty} \frac{(f * g)(n)}{n^s} \]

即狄利克雷级数的乘积对应算术函数的狄利克雷卷积。

第三章 求和公式与渐近估计

3.1 Euler-Maclaurin求和公式

定理 3.1（Euler-Maclaurin公式） ：设 \(f\) 在区间 \([a, b]\) 上有连续导数，则：

\[\sum_{n=a}^{b} f(n) = \int_a^b f(x) dx + \frac{f(a) + f(b)}{2} + \sum_{k=1}^{m} \frac{B_{2k}}{(2k)!} (f^{(2k-1)}(b) - f^{(2k-1)}(a)) + R_m \]

其中 \(B_{2k}\) 是伯努利数（Bernoulli numbers）。

特别地，对于 \(f(x) = x^{-s}\)，Euler-Maclaurin公式给出了ζ函数的渐近展开。

3.2 部分求和公式（Abel求和）

定理 3.2（Abel部分求和公式） ：设 \(a_n\) 是复数序列，\(A(x) = \sum_{n \leqslant x} a_n\)，\(f\) 是连续可微函数，则：

\[\sum_{n \leqslant x} a_n f(n) = A(x) f(x) - \int_1^x A(t) f'(t) dt \]

这个公式是解析数论中最常用的工具之一，它将离散求和转化为积分。

3.3 几个重要的渐近公式

定理 3.3：

\[\sum_{n \leqslant x} 1 = x + O(1) \]

定理 3.4：

\[\sum_{n \leqslant x} \frac{1}{n} = \log x + \gamma + O\left(\frac{1}{x}\right) \]

其中 \(\gamma \approx 0.5772156649\cdots\) 是欧拉常数（Euler's constant）。

定理 3.5：

\[\sum_{n \leqslant x} \log n = x \log x - x + O(\log x) \]

定理 3.6：

\[\sum_{n \leqslant x} \frac{\log n}{n} = \frac{1}{2} \log^2 x + C + O\left(\frac{\log x}{x}\right) \]

3.4 算术函数的平均阶

定义 3.1（平均阶） ：算术函数 \(f(n)\) 的平均阶（average order）是指一个简单函数 \(g(n)\)，使得

\[\sum_{n \leqslant x} f(n) \sim \sum_{n \leqslant x} g(n) \]

定理 3.7：

\[\sum_{n \leqslant x} d(n) = x \log x + (2\gamma - 1)x + O(\sqrt{x}) \]

因此 \(d(n)\) 的平均阶是 \(\log n\)。

定理 3.8：

\[\sum_{n \leqslant x} \varphi(n) = \frac{3}{\pi^2} x^2 + O(x \log x) \]

因此 \(\varphi(n)\) 的平均阶是 \(\frac{6}{\pi^2} n\)。

定理 3.9：

\[\sum_{n \leqslant x} \mu(n) = O(x) \]

更精确地，\(\sum_{n \leqslant x} \mu(n) = o(x)\) 等价于素数定理。

第四章 Dirichlet级数与Euler乘积

4.1 Dirichlet级数的收敛性

定义 4.1（收敛横坐标） ：对Dirichlet级数 \(F(s) = \sum a_n n^{-s}\)，定义其收敛横坐标（abscissa of convergence）\(\sigma_c\) 为：

\[\sigma_c = \inf \{ \sigma \in \mathbb{R} \mid F(\sigma + it) \text{ 收敛} \} \]

定理 4.1：若 \(\sum a_n n^{-s}\) 在 \(s = s_0\) 处收敛，则它在半平面 \(\operatorname{Re}(s) > \operatorname{Re}(s_0)\) 中一致收敛。

定理 4.2：Dirichlet级数在其收敛半平面内是解析函数。

4.2 Euler乘积

定理 4.3（Euler乘积） ：设 \(f\) 是积性函数，且 \(F(s) = \sum f(n)n^{-s}\) 绝对收敛，则：

\[F(s) = \prod_{p} \left( \sum_{k=0}^{\infty} \frac{f(p^k)}{p^{ks}} \right) \]

特别地，若 \(f\) 是完全积性函数，则

\[F(s) = \prod_{p} \frac{1}{1 - f(p)p^{-s}} \]

推论 4.1（Riemann ζ函数的Euler乘积） ：

\[\zeta(s) = \sum_{n=1}^{\infty} \frac{1}{n^s} = \prod_{p} \frac{1}{1 - p^{-s}}, \quad \operatorname{Re}(s) > 1 \]

这是解析数论中最基本的公式之一，它将整数（ζ函数的求和）与素数（乘积）联系在了一起。

推论 4.2：

\[\frac{1}{\zeta(s)} = \sum_{n=1}^{\infty} \frac{\mu(n)}{n^s} = \prod_{p} (1 - p^{-s}), \quad \operatorname{Re}(s) > 1 \]

推论 4.3：

\[\frac{\zeta'(s)}{\zeta(s)} = -\sum_{n=1}^{\infty} \frac{\Lambda(n)}{n^s}, \quad \operatorname{Re}(s) > 1 \]

第五章 Riemann ζ函数

5.1 ζ函数的定义

定义 5.1（Riemann ζ函数） ：对 \(\operatorname{Re}(s) > 1\)，定义：

\[\zeta(s) = \sum_{n=1}^{\infty} \frac{1}{n^s} \]

该级数在 \(\operatorname{Re}(s) > 1\) 时绝对收敛。

5.2 ζ函数的解析延拓

定理 5.1：\(\zeta(s)\) 可以解析延拓（analytically continue）为整个复平面上的亚纯函数（meromorphic function），它仅在 \(s = 1\) 处有一个单极点（simple pole），留数为 1。

解析延拓的证明通常使用Euler-Maclaurin公式或Riemann给出的θ函数方法。

5.3 ζ函数的函数方程

定理 5.2（Riemann函数方程） ：\(\zeta(s)\) 满足函数方程：

\[\zeta(s) = 2^s \pi^{s-1} \sin\left(\frac{\pi s}{2}\right) \Gamma(1-s) \zeta(1-s) \]

等价地，定义完备ζ函数（completed zeta function）：

\[\xi(s) = \frac{s(s-1)}{2} \pi^{-s/2} \Gamma\left(\frac{s}{2}\right) \zeta(s) \]

则 \(\xi(s) = \xi(1-s)\)。

函数方程揭示了ζ函数在 \(s\) 与 \(1-s\) 之间的对称性。

5.4 ζ函数的零点

定理 5.3（平凡零点） ：\(\zeta(-2n) = 0\) 对所有正整数 \(n\) 成立。这些零点称为ζ函数的平凡零点（trivial zeros）。

定义 5.2（非平凡零点） ：ζ函数在临界带（critical strip）\(0 < \operatorname{Re}(s) < 1\) 中的零点称为非平凡零点（non-trivial zeros）。

定理 5.4（零点计数） ：设 \(N(T)\) 为满足 \(0 < \operatorname{Im}(\rho) < T\) 的非平凡零点的个数（计重数），则

\[N(T) = \frac{T}{2\pi} \log \frac{T}{2\pi e} + O(\log T) \]

5.5 黎曼猜想

猜想 5.1（黎曼猜想，RH） ：Riemann ζ函数的所有非平凡零点都位于临界线（critical line）\(\operatorname{Re}(s) = 1/2\) 上。

即：

\[\zeta(\rho) = 0,\; 0 < \operatorname{Re}(\rho) < 1 \implies \operatorname{Re}(\rho) = \frac{1}{2} \]

黎曼猜想是数学中最重要的未解决问题之一。

已知结果：

• 已经验证了前 \(10^{13}\) 个零点都在临界线上。
• Selberg证明了临界线上有正比例的非平凡零点。

5.6 ζ函数在素数分布中的应用

ζ函数与素数分布之间有着深刻的联系，主要体现在：

1. Euler乘积：将素数编码进ζ函数。
2. 显式公式：通过ζ函数的零点给出 \(\psi(x)\) 的精确表达式。
3. 素数定理：ζ函数在 \(\operatorname{Re}(s) = 1\) 上无零点等价于素数定理。

第六章 Dirichlet L函数

6.1 Dirichlet特征

定义 6.1（Dirichlet特征） ：模 \(q\) 的 Dirichlet特征（Dirichlet character）是一个函数 \(\chi: \mathbb{Z} \to \mathbb{C}\)，满足：

1. \(\chi(n + q) = \chi(n)\)（周期为 \(q\)）
2. \(\chi(mn) = \chi(m)\chi(n)\)（完全积性）
3. 若 \((n, q) > 1\)，则 \(\chi(n) = 0\)
4. \(\chi(1) = 1\)

主特征：\(\chi_0(n) = 1\) 当 \((n, q) = 1\)，否则 \(\chi_0(n) = 0\)。

6.2 Dirichlet特征的正交性

定理 6.1（正交性） ：设 \(\chi\) 和 \(\psi\) 是模 \(q\) 的Dirichlet特征，则：

\[\sum_{n=1}^{q} \chi(n) \overline{\psi(n)} = \begin{cases} \varphi(q), & \chi = \psi \\ 0, & \chi \neq \psi \end{cases}\]

推论 6.1：对 \((a, q) = 1\)，

\[\frac{1}{\varphi(q)} \sum_{\chi \bmod q} \chi(a) \overline{\chi(n)} = \begin{cases} 1, & n \equiv a \pmod{q} \\ 0, & n \not\equiv a \pmod{q} \end{cases}\]

这个性质是Dirichlet证明算术级数中素数定理的关键。

6.3 Dirichlet L函数

定义 6.2（Dirichlet L函数） ：设 \(\chi\) 是模 \(q\) 的Dirichlet特征。对 \(\operatorname{Re}(s) > 1\)，定义：

\[L(s, \chi) = \sum_{n=1}^{\infty} \frac{\chi(n)}{n^s} \]

定理 6.2（Euler乘积） ：

\[L(s, \chi) = \prod_{p} \frac{1}{1 - \chi(p)p^{-s}}, \quad \operatorname{Re}(s) > 1 \]

6.4 L函数的解析性质

定理 6.3：

1. 对非平凡特征 \(\chi \neq \chi_0\)，\(L(s, \chi)\) 在 \(\operatorname{Re}(s) > 0\) 上解析（可以延拓到更大的区域）。
2. 对主特征 \(\chi_0\)，\(L(s, \chi_0)\) 与 \(\zeta(s)\) 只差有限多个因子，在 \(s = 1\) 处有单极点。

定理 6.4（L函数的函数方程） ：L函数满足与ζ函数类似的函数方程，将 \(s\) 与 \(1-s\) 联系起来。

6.5 L(1, χ) 的非零性

定理 6.5（Dirichlet定理的核心） ：对任意非平凡Dirichlet特征 \(\chi\)，

\[L(1, \chi) \neq 0 \]

这是Dirichlet证明算术级数中素数定理的关键步骤。

证明思路：

1. 复特征情形：利用 \(\prod_{\chi} L(s, \chi) \geqslant 1\) 反证。
2. 实特征情形：需要更精细的分析。

6.6 高斯和

定义 6.3（高斯和） ：设 \(\chi\) 是模 \(q\) 的Dirichlet特征，定义高斯和（Gauss sum）为：

\[G(\chi) = \sum_{a=1}^{q} \chi(a) e^{2\pi i a/q} \]

定理 6.6：若 \(\chi\) 是本原特征（primitive character），则：

\[|G(\chi)| = \sqrt{q} \]

高斯和在L函数的函数方程和二次域的类数公式中有重要应用。

第七章 素数定理

7.1 素数定理的表述

定理 7.1（素数定理，PNT） ：设 \(\pi(x)\) 为不超过 \(x\) 的素数个数，则：

\[\pi(x) \sim \frac{x}{\log x} \]

等价地：

\[\psi(x) = \sum_{n \leqslant x} \Lambda(n) \sim x \]

更精确地（de la Vallée Poussin形式）：

\[\psi(x) = x + O\left(x e^{-c\sqrt{\log x}}\right) \]

\[\pi(x) = \int_2^x \frac{du}{\log u} + O\left(x e^{-\frac{c}{2}\sqrt{\log x}}\right) \]

其中 \(c > 0\) 是绝对常数。

7.2 素数定理的历史

• 1798年：Legendre猜测 \(\pi(x) \sim x/\log x\)。
• 1849年：Chebyshev证明了存在常数 \(0 < a < 1 < b\) 使得 \(a x/\log x < \pi(x) < b x/\log x\)。
• 1859年：Riemann发表论文，为素数定理的证明奠定了基础。
• 1896年：Hadamard和de la Vallée Poussin独立证明素数定理。
• 1949年：Erdős和Selberg给出了素数定理的“初等”证明。

7.3 素数定理的解析证明思路

素数定理的解析证明主要分为以下步骤：

步骤1：建立积分表示。利用Perron公式（Perron's formula）：

\[\psi(x) = \frac{1}{2\pi i} \int_{c-i\infty}^{c+i\infty} -\frac{\zeta'(s)}{\zeta(s)} \frac{x^s}{s} ds, \quad c > 1 \]

Perron公式是解析数论中从Dirichlet级数反解算术函数和的基本工具。

步骤2：围道积分。将积分路径从 \(\operatorname{Re}(s) = c\) 移动到 \(\operatorname{Re}(s) = 1 - \delta\)。

步骤3：估计留数。在 \(s = 1\) 处，\(-\zeta'(s)/\zeta(s)\) 有留数 1，贡献主项 \(x\)。

步骤4：估计误差。需要知道ζ函数在 \(\operatorname{Re}(s) \geqslant 1\) 上的增长估计和无零点区域。

7.4 ζ函数在Re(s)=1上无零点

定理 7.2：Riemann ζ函数在直线 \(\operatorname{Re}(s) = 1\) 上没有零点。

这个定理是素数定理证明的核心。

证明思路：利用恒等式

\[3 + 4\cos\theta + \cos 2\theta = 2(1 + \cos\theta)^2 \geqslant 0 \]

结合ζ函数的对数导数展开，可以推出若 \(\zeta(1 + it) = 0\)，则 \(\zeta(1 + 2it)\) 有极点，矛盾。

7.5 Newman的简洁证明

1980年，Newman给出了素数定理的一个简洁的解析证明。

Newman-Tauberian定理：设 \(a_n \geqslant 0\)，\(F(s) = \sum a_n n^{-s}\) 在 \(\operatorname{Re}(s) > 1\) 收敛。若 \(F(s) - c/(s-1)\) 可以解析延拓到 \(\operatorname{Re}(s) \geqslant 1\)，则 \(\sum_{n \leqslant x} a_n \sim cx\)。

将 \(a_n = \Lambda(n)\)，\(F(s) = -\zeta'(s)/\zeta(s)\)，利用ζ函数在 \(s=1\) 处的极点和 \(\operatorname{Re}(s) = 1\) 上无零点，即可证明素数定理。

第八章 Dirichlet算术级数中的素数定理

8.1 问题的提出

Dirichlet定理（1837年）断言：若 \((a, q) = 1\)，则等差数列

\[a, a+q, a+2q, a+3q, \cdots \]

中有无穷多个素数。

更强形式的算术级数中的素数定理给出了更精确的计数。

8.2 定理的表述

定理 8.1（算术级数中的素数定理） ：设 \((a, q) = 1\)，\(\pi(x; q, a)\) 为不超过 \(x\) 且同余于 \(a \pmod{q}\) 的素数个数，则：

\[\pi(x; q, a) \sim \frac{1}{\varphi(q)} \frac{x}{\log x} \]

即素数在模 \(q\) 的各互素剩余类中均匀分布。

8.3 Dirichlet定理的证明思路

Dirichlet定理的证明分为以下步骤：

步骤1：特征正交性。利用Dirichlet特征的正交性：

\[\sum_{p \equiv a \pmod{q}} \frac{1}{p^s} = \frac{1}{\varphi(q)} \sum_{\chi} \overline{\chi}(a) \sum_p \frac{\chi(p)}{p^s} \]

步骤2：L函数的对数导数。：

\[\log L(s, \chi) = \sum_p \frac{\chi(p)}{p^s} + O(1) \]

步骤3：主特征的贡献。对 \(\chi = \chi_0\)，

\[\sum_p \frac{\chi_0(p)}{p^s} \sim \log \frac{1}{s-1} \]

在 \(s \to 1^+\) 时发散。

步骤4：非平凡特征的贡献。需要证明对 \(\chi \neq \chi_0\)，\(\sum_p \chi(p)/p^s\) 在 \(s \to 1^+\) 时有界。这等价于 \(L(1, \chi) \neq 0\)。

8.4 L(1, χ) ≠ 0 的证明

定理 8.2：对任意非平凡Dirichlet特征 \(\chi\)，\(L(1, \chi) \neq 0\)。

复特征情形：假设 \(L(1, \chi) = 0\)，则 \(\prod_{\chi} L(1, \chi) = 0\)。但可以证明 \(\prod_{\chi} L(s, \chi) \geqslant 1\)（对 \(s > 1\)），矛盾。

实特征情形：需要更精细的分析。若 \(\chi\) 是实特征且 \(L(1, \chi) = 0\)，则可以利用 \(\zeta(s)L(s, \chi)\) 的系数非负性导出矛盾。

第九章 筛法

9.1 筛法的基本思想

筛法（sieve method）是一种通过“筛选”来研究素数分布和整数集合性质的方法。

基本思想是：从一个整数集合出发，逐步排除具有某些性质的数，从而得到具有特定性质的数的计数估计。

筛法可分为：

• 组合筛法（Brun筛法、Rosser筛法）
• 上界筛法（Selberg筛法）
• 大筛法（large sieve）

9.2 Eratosthenes-Legendre筛法

这是最古老的筛法，基于容斥原理。

设 \(\mathcal{A} = \{ n \leqslant x \}\)，\(P(z) = \prod_{p < z} p\)。定义筛函数：

\[S(\mathcal{A}, \mathcal{P}, z) = |\{ n \leqslant x \mid (n, P(z)) = 1 \}| \]

利用容斥原理：

\[S(\mathcal{A}, \mathcal{P}, z) = \sum_{d \mid P(z)} \mu(d) \left\lfloor \frac{x}{d} \right\rfloor = x \prod_{p < z} \left(1 - \frac{1}{p}\right) + O(2^{\pi(z)}) \]

当 \(z\) 较大时，误差项 \(2^{\pi(z)}\) 过大，因此这个筛法不能直接证明素数定理。

9.3 Brun筛法

Brun筛法是组合筛法的改进。

Brun的想法是：不完全使用容斥原理，而是截断求和，只考虑有偶数个或奇数个素因子的项，从而得到上界和下界估计。

定理 9.1（Brun） ：存在绝对常数 \(C\) 使得孪生素数的个数

\[\pi_2(x) = |\{ p \leqslant x \mid p + 2 \text{ 也是素数} \}| \leqslant C \frac{x}{(\log x)^2} \]

这是孪生素数猜想的第一个非平凡上界估计。

9.4 Selberg上界筛法

Selberg筛法是Selberg在20世纪40年代发展的一种上界筛法。

其核心思想是：寻找实系数 \(\lambda_d\)（\(\lambda_1 = 1\)），使得

\[\left( \sum_{d \mid (n, P(z))} \lambda_d \right)^2 \geqslant \begin{cases} 1, & (n, P(z)) = 1 \\ 0, & \text{其他} \end{cases} \]

然后最小化

\[\sum_{n \leqslant x} \left( \sum_{d \mid (n, P(z))} \lambda_d \right)^2 \]

Selberg筛法比Brun筛法更灵活、更强大，也可以用于给出素数定理的初等证明。

9.5 大筛法

大筛法（large sieve）由Linnik发明，后由Bombieri、Davenport、Halberstam等发展。

大筛法处理的是“大”模的筛法问题，其基本不等式为：

\[\sum_{q \leqslant Q} \sum_{\substack{a=1\\(a,q)=1}}^{q} \left| \sum_{n \leqslant N} a_n e^{2\pi i a n/q} \right|^2 \leqslant (N + Q^2) \sum_{n \leqslant N} |a_n|^2 \]

大筛法在算术级数中的素数分布、Bombieri-Vinogradov定理等方面有重要应用。

9.6 陈氏定理

定理 9.2（陈氏定理，1966） ：每个充分大的偶数都可以表示为一个素数和一个殆素数（almost prime，即不超过两个素数因子之积的数）之和。

用符号表示为：\(1 + 2\)。

陈景润的证明创造性地结合了筛法与潘杰里-维诺格拉多夫定理，使用了双重线性筛法。

陈氏定理是哥德巴赫猜想研究中最接近最终结果（\(1+1\)）的成果。

9.7 筛法的局限性

筛法面临的一个基本障碍是奇偶性问题（parity problem）：筛法无法区分具有奇数个和偶数个素因子的整数。

这意味着筛法本身不能直接证明哥德巴赫猜想（\(1+1\)）或孪生素数猜想，因为这两个问题都需要精确区分素数（1个素因子）和合数。

第十章 圆法

10.1 圆法的基本思想

哈代-利特尔伍德圆法（Hardy-Littlewood circle method）是解析数论中最强大的工具之一。

其基本思想是：利用复指数的正交性将离散的计数问题转化为连续积分的估算。

具体地，设 \(R(n)\) 为方程 \(n = a_1 + \cdots + a_s\) 的解的个数（其中 \(a_i\) 属于某个集合 \(\mathcal{A}\)），则

\[R(n) = \int_0^1 \left( \sum_{a \in \mathcal{A}} e^{2\pi i a \alpha} \right)^s e^{-2\pi i n \alpha} d\alpha \]

10.2 圆法的核心：大弧与小弧

圆法的核心是将积分区间 \([0, 1]\) 划分为大弧（major arcs）和小弧（minor arcs）。

• 大弧：\(\alpha\) 接近有理数 \(a/q\)（\(q\) 较小）的区域。在这些区域中，指数和可以用高斯和近似，贡献主项。
• 小弧：\(\alpha\) 远离有理数的区域。在这些区域中，指数和较小（通过Weyl不等式等估计），贡献误差项。

圆法的成功取决于问题中的变量数量是否足够多以压制误差项。

10.3 华林问题

华林问题（Waring's problem）由Waring于1770年提出：每个自然数是否可以表示为有限个整数的 \(k\) 次幂之和。

具体地，存在 \(g(k)\) 使得每个正整数都可以表示为至多 \(g(k)\) 个 \(k\) 次幂之和。

定理 10.1（Hilbert，1909） ：对每个 \(k\)，\(g(k)\) 存在。

定理 10.2（华林问题的渐近公式） ：设 \(k \geqslant 2\)，\(s\) 足够大（\(s \geqslant 2^k + 1\) 或更大），则

\[r_{s,k}(n) = \frac{\Gamma(1+1/k)^s}{\Gamma(s/k)} n^{s/k-1} \mathfrak{S}(n) + o(n^{s/k-1}) \]

其中 \(\mathfrak{S}(n)\) 是奇异级数（singular series）。

这个结果由Hardy和Littlewood使用圆法证明。

10.4 Vinogradov三素数定理

定理 10.3（Vinogradov，1937） ：每个充分大的奇数都可以表示为三个素数之和。

这是哥德巴赫猜想的奇数情况（三元哥德巴赫猜想）的完整解决。

证明使用了圆法，其中关键估计是Vinogradov中值定理，用于估计小弧上的指数和。

10.5 圆法的现代发展

圆法在现代数学中仍有重要发展：

• Vinogradov中值定理的改进（Bourgain、Demeter、Guth等）
• 解耦理论（decoupling theory）的应用
• 与调和分析的深度融合

第十一章 加性数论

11.1 哥德巴赫猜想

哥德巴赫猜想（Goldbach's conjecture）是加性数论中最著名的问题：

• 强哥德巴赫猜想：每个大于2的偶数都可以表示为两个素数之和。
• 弱哥德巴赫猜想：每个大于5的奇数都可以表示为三个素数之和。

已知结果：

• 弱哥德巴赫猜想已被Helfgott于2013年证明（使用圆法）。
• 强哥德巴赫猜想仍未解决。
• 陈氏定理（\(1+2\)）是强哥德巴赫猜想最接近的结果。

11.2 孪生素数猜想

孪生素数猜想（twin prime conjecture）：存在无穷多个素数 \(p\)，使得 \(p + 2\) 也是素数。

已知结果：

• Brun证明了 \(\sum_{p, p+2 \text{ 素数}} 1/p\) 收敛（孪生素数倒数和收敛）。
• 张益唐定理（2013）：存在常数 \(C < 7 \times 10^7\)，使得有无穷多个素数 \(p\) 满足 \(p + C\) 是素数。
• 随后这一常数被大幅改进到 \(C = 246\)。

11.3 华林-哥德巴赫问题

华林-哥德巴赫问题（Waring-Goldbach problem）研究将整数表示为素数幂之和的可能性。

例如：每个充分大的满足某些同余条件的整数是否可以表示为 \(s\) 个素数 \(k\) 次幂之和？

这个问题结合了圆法和筛法的技术。

11.4 加性基

定义 11.1（加性基） ：集合 \(\mathcal{A} \subset \mathbb{N}\) 称为加性基（additive basis）或基（basis），如果存在 \(h\) 使得每个足够大的正整数都可以表示为 \(h\) 个 \(\mathcal{A}\) 中元素之和。

• 平方数集合 \(\{ n^2 \}\) 是加性基（Lagrange四平方定理）。
• 素数集合是否是加性基？这正是哥德巴赫猜想。

第十二章 自守形式与L函数

12.1 模形式

定义 12.1（模形式） ：模形式（modular form）是定义在上半平面 \(\mathbb{H} = \{ z \in \mathbb{C} \mid \operatorname{Im}(z) > 0 \}\) 上的全纯函数 \(f\)，满足：

1. 对 \(\gamma = \begin{pmatrix} a & b \\ c & d \end{pmatrix} \in \Gamma\)（某个同余子群），

\[f\left(\frac{az+b}{cz+d}\right) = (cz+d)^k f(z) \]

2. 在尖点处全纯。

模形式是解析数论与代数几何交汇的核心对象。

12.2 L函数的统一理论

自守L函数（automorphic L-function）是模形式、Maass形式等自守对象的L函数。

著名的Riemann ζ函数和Dirichlet L函数都是自守L函数的特例。

定理 12.1：自守L函数满足：

1. Euler乘积
2. 函数方程
3. 解析延拓（在某些情况下已知）

12.3 Rankin-Selberg卷积

Rankin-Selberg卷积是一种构造新L函数的方法。

给定两个自守形式 \(f\) 和 \(g\)，通过积分

\[\int_{\Gamma \backslash \mathbb{H}} f(z) \overline{g(z)} E(z, s) dz \]

可以构造一个新的L函数 \(L(s, f \times g)\)。

这种方法可以证明L函数的解析延拓和函数方程。

12.4 Langlands纲领

Langlands纲领（Langlands program）是20世纪数学中最宏大的统一理论之一。

其核心思想是：

1. 互反性猜想：Galois群的表示与自守表示之间存在一一对应。
2. 函子性猜想：自守表示之间的提升。

Langlands纲领将：

• 数论（Galois表示）
• 分析（自守形式）
• 代数几何（ motives ）
• 表示论

统一在了一起。

L函数是Langlands纲领的核心研究对象。对于每个自守表示，Langlands定义了相应的L函数。

第十三章 解析数论的现代发展

13.1 零点分布理论

零点分布理论研究L函数零点的统计性质。

猜想 13.1（Montgomery对关联猜想） ：Riemann ζ函数零点的归一化间距分布满足GUE（高斯酉系综）的分布。

这个猜想得到了大量数值验证和理论支持。

13.2 亚凸性界

亚凸性界（subconvexity bound）是指比凸性界（convexity bound）更好的L函数上界估计。

例如，对Dirichlet L函数，凸性界给出 \(L(1/2 + it, \chi) \ll (q(1+|t|))^{1/4+\varepsilon}\)。亚凸性界试图改进这个指数。

亚凸性界在算术几何、数论中有重要应用。

13.3 密度定理

密度定理（density theorem）研究L函数零点的分布密度。

例如，对Dirichlet L函数，密度定理给出在临界带中远离临界线的零点数量的上界。

密度定理在素数分布、算术级数中的素数分布等问题中有重要应用。

13.4 解析数论与算术几何的交汇

现代解析数论与算术几何有着深刻的交汇：

• BSD猜想：椭圆曲线的L函数在 \(s=1\) 处的阶与Mordell-Weil群的秩相关。
• 模性定理：每个有理数域上的椭圆曲线都是模的（Wiles证明费马大定理的基础）。
• 志村-谷山-维尔猜想（已证明）：椭圆曲线与模形式之间的联系。

附录：重要公式与定理汇总

A.1 算术函数

名称	定义
欧拉函数	\(\varphi(n) = |\{k \leqslant n : (k,n)=1\}|\)
莫比乌斯函数	\(\mu(n) = (-1)^k\)（\(n\) 为 \(k\) 个不同素数之积），否则为0
除数函数	\(d(n) = \sum_{d \mid n} 1\)
von Mangoldt函数	\(\Lambda(n) = \log p\)（\(n=p^k\)），否则为0
素数计数函数	\(\pi(x) = \sum_{p \leqslant x} 1\)
Chebyshev函数	\(\psi(x) = \sum_{n \leqslant x} \Lambda(n)\)

A.2 狄利克雷卷积与莫比乌斯反演

名称	公式
卷积定义	\((f*g)(n) = \sum_{d \mid n} f(d)g(n/d)\)
莫比乌斯反演	\(F = f * \mathbf{1} \iff f = F * \mu\)
基本恒等式	\(\sum_{d \mid n} \mu(d) = [n=1]\)
欧拉求和	\(\sum_{d \mid n} \varphi(d) = n\)

A.3 求和公式

名称	公式
Abel求和	\(\sum_{n \leqslant x} a_n f(n) = A(x)f(x) - \int_1^x A(t)f'(t)dt\)
调和级数	\(\sum_{n \leqslant x} 1/n = \log x + \gamma + O(1/x)\)
除数函数求和	\(\sum_{n \leqslant x} d(n) = x\log x + (2\gamma-1)x + O(\sqrt{x})\)

A.4 Dirichlet级数与Euler乘积

名称	公式
Dirichlet级数	\(F(s) = \sum f(n)n^{-s}\)
Euler乘积	\(\sum f(n)n^{-s} = \prod_p (1 + f(p)p^{-s} + f(p^2)p^{-2s} + \cdots)\)
ζ函数	\(\zeta(s) = \sum n^{-s} = \prod_p (1-p^{-s})^{-1}\)
1/ζ	\(1/\zeta(s) = \sum \mu(n)n^{-s} = \prod_p (1-p^{-s})\)
-ζ'/ζ	\(-\zeta'(s)/\zeta(s) = \sum \Lambda(n)n^{-s}\)

A.5 ζ函数

名称	公式
定义	\(\zeta(s) = \sum_{n=1}^{\infty} n^{-s}, \operatorname{Re}(s)>1\)
解析延拓	亚纯函数，仅在 \(s=1\) 有单极点，留数1
函数方程	\(\zeta(s) = 2^s\pi^{s-1}\sin(\pi s/2)\Gamma(1-s)\zeta(1-s)\)
平凡零点	\(\zeta(-2n) = 0, n=1,2,\cdots\)
黎曼猜想	非平凡零点都在 \(\operatorname{Re}(s)=1/2\) 上

A.6 Dirichlet L函数

名称	公式
定义	\(L(s,\chi) = \sum \chi(n)n^{-s}\)
Euler乘积	\(L(s,\chi) = \prod_p (1-\chi(p)p^{-s})^{-1}\)
非零性	\(L(1,\chi) \neq 0\)（\(\chi \neq \chi_0\)）
正交性	\(\sum_{n=1}^q \chi(n)\overline{\psi(n)} = \varphi(q)[\chi=\psi]\)

A.7 素数定理

名称	公式
素数定理	\(\pi(x) \sim x/\log x\)
精确形式	\(\psi(x) = x + O(x e^{-c\sqrt{\log x}})\)
积分形式	\(\pi(x) = \operatorname{li}(x) + O(x e^{-c\sqrt{\log x}})\)
Dirichlet定理	\(\pi(x;q,a) \sim x/(\varphi(q)\log x)\)

A.8 筛法与圆法

名称	内容
Eratosthenes筛法	\(S(\mathcal{A},\mathcal{P},z) = \sum_{d\mid P(z)} \mu(d)\lfloor x/d \rfloor\)
Brun筛法	孪生素数上界 \(\pi_2(x) \ll x/(\log x)^2\)
陈氏定理	\(1+2\)：偶数 = 素数 + 殆素数（\(\leqslant 2\)个素因子）
圆法	\(R(n) = \int_0^1 (\sum_{a\in\mathcal{A}} e^{2\pi ia\alpha})^s e^{-2\pi in\alpha}d\alpha\)
Vinogradov定理	每个充分大奇数为三个素数之和

参考文献

1. Apostol, T. M. Introduction to Analytic Number Theory. Springer, 1976.
2. Davenport, H. Multiplicative Number Theory. Springer, 2000.
3. Montgomery, H. L. & Vaughan, R. C. Multiplicative Number Theory I: Classical Theory. Cambridge University Press, 2007.
4. Iwaniec, H. & Kowalski, E. Analytic Number Theory. American Mathematical Society, 2004.
5. 潘承洞, 潘承彪. 解析数论基础. 科学出版社, 1991.
6. 潘承洞, 潘承彪. 初等数论. 北京大学出版社.
7. 华罗庚. 数论导引. 科学出版社.
8. Tenenbaum, G. Introduction to Analytic and Probabilistic Number Theory. Cambridge University Press, 1995.