Zeta Archive: 黎曼Zeta函数的解析延拓

黎曼 Zeta 函数的解析延拓

1859 年，黎曼在其仅有的数论论文《论小于给定数值的素数个数》中，通过精妙的复分析技巧将欧拉定义的实变量函数拓展至整个复平面，为现代解析数论奠定了基础。这一突破不仅解决了函数的定义域问题，更揭示了其深刻的对称性，最终引导出关于素数分布的革命性见解。

欧拉乘积与初始定义

欧拉在 18 世纪发现了素数与自然数之间的深刻联系

即对于实部大于的复数，函数可表示为两种等价形式：

欧拉乘积：，体现了素数的 multiplicative 属性

Dirichlet 级数：，展现了自然数的 additive 结构

这两种表达式仅在时收敛，黎曼的首要任务是寻找在全平面上有效的解析表达式。

Zeta 函数表示为连续世界的积分

黎曼的关键洞察是将函数与 Gamma 函数建立联系。

伽马函数的经典积分定义为

其中。

进行简单的变量替换：令（其中为正整数，为积分变量），则，当从趋于时，同样从趋于。代入伽马函数定义式可得：

两侧同除以即得

利用已知积分公式：

下面将函数的级数形式转化为积分形式。

依次写出前个式子：

上面式子依次相加后得到：

依据被积函数的非负性与有限求和的线性性，交换积分和求和的次序得到：

Tips

交换积分和有限求和次序的本质是将 “对每个函数分别积分后累加” 转换为 “先累加函数再整体积分”，这一操作的合法性可通过实分析中的 Levi 单调收敛定理或 Fubini-Tonelli 定理严格证明。对于有限项求和的场景，由于不涉及无穷级数的收敛性问题，条件会进一步简化：只要被积函数满足非负性或绝对可积性，即可直接交换次序。

关键依据在于：

被积函数非负性：对于和，始终非负（指数函数的衰减特性确保了非负性）。根据 Levi 定理，非负函数列的积分与求和次序可交换，即使积分是反常积分（如本题中的无穷区间积分）也成立。

有限求和的特殊性：当求和上限为有限值时，本质上是有限个积分的线性组合。由于积分对被积函数具有线性性（即），有限项求和可直接转化为被积函数相加后积分，无需考虑一致收敛等更严格的条件。

若从测度论角度理解，求和运算可视为计数测度下的积分，而这里的交换等价于两个积分（Lebesgue 积分与计数测度积分）的次序交换。根据 Fubini-Tonelli 定理，只要被积函数非负或绝对可积，这种交换就是合法的。这里的非负性条件显然满足，因此交换成立。

相比之下，微积分中常用的一致收敛条件（如 Weierstrass M- 判别法）是更严格的充分条件，但主要用于无穷级数或含参变量反常积分的场景。对于有限项求和，非负性或线性性已足够保证交换的合法性，无需额外验证一致收敛。

即：

两边同时取极限：

非常重要的细节处理

定义函数列为部分和形式：

当时，对固定，该级数为等比级数（公比），其极限函数为：

下面的核心步骤是交换极限与积分：

即

根据逐项积分定理，这一交换需满足函数列的一致收敛性（或其他收敛条件，如控制收敛定理）。

函数列的收敛性需分（无穷远处）与（原点附近）两种情形讨论，二者共同决定积分与极限交换的合法性。

无穷远处（）：收敛性良好

当时，，故：

（其中为常数）。因指数项衰减速度远快于多项式的增长，函数列在上一致收敛（由魏尔斯特拉斯判别法，以为控制函数），且积分对任意收敛。

原点附近（）：奇异性与收敛性限制

当时，，等比级数求和得：

故极限函数，此时函数列的部分和为：

关键问题 ：当时，（对），故。但积分的收敛性依赖于在附近的可积性：

若，则，积分收敛（因在附近可积当且仅当）；

若，则，积分发散，此时即使函数列点态收敛，积分也不收敛，逐项积分定理失效。

根据勒贝格控制收敛定理（或实变函数中的逐项积分条件），要交换与，需满足：

函数列点态收敛到（对成立）；

存在可积控制函数，使得对所有和成立，且。

在原点附近（），当时，，取控制函数（在上可积，在上可积），此时逐项积分合法；

当时，在不可积，不存在可积的控制函数，导致发散，逐项积分失效。

黎曼函数的级数定义本身仅在时收敛。

函数列视角下，的左侧是与函数部分和的乘积，当时，仅当时左侧极限存在（即有意义），与右侧积分的收敛性（依赖函数列逐项积分条件）完全匹配。

伽马函数在的收敛性是其自身积分定义的性质，而的积分表示则受限于函数列的逐项积分合法性，原点附近的奇异性要求以保证可积，进而确保控制函数存在、逐项积分成立。这一过程中，函数列的收敛性分析（而非单纯积分性质）揭示了收敛域缩小的深层原因：无穷级数与积分的交换并非无条件，需以函数列的一致收敛性（或控制收敛条件）为桥梁，而这一桥梁仅在时稳固。

交换极限和积分的次序得到：

即：

Tips

黎曼年代，分析学还未被严谨化，所以黎曼通过形式化演算就直接 "立即推" 了，，，"幸运的不严谨" 掩盖了逻辑漏洞。

在黎曼那个年代：没有梅林变换；拉普拉斯变换还未成为系统工具也未被命名为 “拉普拉斯变换”；泊松求和公式的原始形式虽已存在，但尚未成为分析学的标准工具。

黎曼时代的伽马函数记法尚未统一。高斯曾定义（即现代的），故。黎曼在论文中沿用了这一记法，而现代数学文献中通常直接使用。

黎曼构造的第一个围道

为突破收敛限制，黎曼引入了一个围道积分：

积分路线 C 是一条闭路径沿正实轴从出发，绕原点正向一周后返回，积分路径内部包含原点但不包含被积函数的其他奇点。

Tips

对于现代数学符号体系，黎曼引入的这一积分必须使用闭合积分符号，而非普通积分符号。两者的核心区别在于路径性质：专指闭合路径积分（路径起点与终点重合），而用于一般非闭合路径。黎曼构造的路径从正实轴出发，绕原点一周后返回起点，是典型的闭合围道，因此必须用标记。

这一符号选择绝非形式问题，而是数学逻辑的严格体现。在复分析中，闭合路径积分与非闭合路径积分遵循截然不同的规则：闭合路径适用柯西积分定理和留数定理，可通过围道变形简化计算；非闭合路径则需依赖路径本身的参数化。黎曼正是利用闭合围道的性质，通过拆解路径、处理多值函数辐角差异，最终导出函数的解析延拓表达式。若误用，将无法体现路径的闭合性，导致后续对柯西定理的应用失去数学依据。

符号的精确性是数学严谨性的基础。

黎曼手稿中使用和是因为围道积分的符号在黎曼那个年代还没有被发明出来。

黎曼时代还没有 "解析延拓" 这样的现代复变函数论术语, 而是通过自创的围道积分方法实现解析延拓。

通过计算此积分，得到：

其中，对数分支取在负实轴为实数。整理后得到：

这个围道积分表达式对所有有限复数均收敛（除外），首次实现了函数向全复平面的解析延拓，并揭示其为单值解析函数，仅在处有一个简单极点。

留数计算过程

计算围道积分

（其中围道从沿实轴上方到原点附近，绕原点正向一周后沿实轴下方返回，且奇点仅包含原点）

先明确关键前提：围道内仅含原点，而原点是多值函数的分支点（非孤立奇点），留数定理（适用于孤立奇点）无法直接应用。但通过分解围道、定义单值分支并结合极限计算，可将积分与函数的解析延拓关联。

步骤 1：围道分解与分支定义

将闭合围道分解为三部分：

（上沿）：从沿实轴上方（）到（）；

（小圆）：以原点为圆心、半径的正向（逆时针）圆周；

（下沿）：从沿实轴下方（）返回。

多值函数处理：

是多值函数，需通过分支切割（取负实轴为分支切割）定义单值分支：

在上（，）：，，故

步骤 2：计算各部分积分

与的积分（主值部分）：

当（积分上限）、（积分下限）时，和的积分组合为：

交换的积分上下限，得：

利用欧拉公式化简系数：

积分是的定义式（仅在收敛），代入得：

的积分（小圆积分）：

参数化：（从到，逆时针一周），。被积函数在时的近似：，故：

代入积分得：

当时，若（即），（因，实部为负），故：

步骤 3：围道积分的整体结果

由围道闭合性，总积分。结合式，当、时：

利用三角函数诱导公式，化简得：

步骤 4：关联函数的解析延拓

黎曼通过定义

（）

实现解析延拓。

检验验证：

将式代入：

利用伽马函数余元公式，即，代入得：

等式自洽，表明围道积分定义的与原始级数在时一致，且积分表达式在全复平面（除）解析，完成解析延拓。

虽然围道内无孤立奇点（仅含分支点），无法直接应用留数定理，但通过分解围道为三部分、定义单值分支并取极限，黎曼将局部收敛的级数转化为全局解析的积分。这一过程的核心是利用多值函数在上下沿的辐角差异（）产生非零贡献，最终通过函数的桥梁将围道积分与函数关联。这种 “以几何路径突破收敛限制” 的思想，正是黎曼将复分析引入数论的开创性贡献。

关键结果：

（）

黎曼构造的第二个围道

黎曼在 1859 年论文中提出的第二种围道积分方法，通过将围道扩展至包含右半平面所有极点（，），直接利用柯西留数定理推导函数的解析延拓与函数方程。这种方法与仅包围原点的第一种围道形成互补，前者侧重局部分支行为，后者则通过全局极点分布揭示函数对称性。

核心思路：围道扩展与留数求和

黎曼的第二种方法关键在于构造包含无穷多极点的扩展围道。原始围道仅包围原点（分支点），而新围道是半径趋于无穷大的逆时针大圆，覆盖被积函数在右半平面的所有孤立奇点 —— 即分母的根（）。这些极点均为一阶零点（因的导数在极点处非零），其留数可直接计算，而大圆上的积分因被积函数指数衰减（，）而趋于零。

步骤 1：围道设计与留数计算

扩展围道包含所有极点（），由留数定理得：

对一阶极点，留数公式给出：

（分母，时）。

步骤 2：极点留数的级数转化

将留数代入围道积分，得：

黎曼指出，当时，右侧级数可表为的形式。通过变量替换，并利用欧拉公式

级数改写为：

（仅当即时收敛）。

步骤 3：与第一种围道积分的关联

黎曼将扩展围道积分与第一种围道（仅含原点）的结果联立。第一种方法已导出：

$围道仅含原点$

而扩展围道的积分与的关系为：（因方向相反且大圆积分趋于零），故：

化简后利用伽马函数余元公式，最终得到函数方程：

方法对比与理论意义

维度	第一种方法（包围原点）	第二种方法（扩展围道）
围道范围	仅含原点（分支点），半径	含右半平面所有极点，半径
核心工具	多值函数分支切割、极限分析	留数定理、无穷级数求和
关键结果	积分定义式	函数方程与的对称性
适用区域	（小圆积分趋于零）	（级数收敛）

第二种方法的深刻性在于，它通过全局极点分布直接揭示了函数的对称性，而无需依赖原始级数的局部收敛性。黎曼在论文中特别强调，这种 “负向包含所有剩余复数值的区域” 的围道选择，使得被积函数在无穷远处的衰减性（）保证了大圆积分的消失，从而严格化了留数求和的合理性。

黎曼的两种围道方法共同构建了函数解析延拓的完整框架：第一种方法定义了全平面（除）的解析表达式，第二种方法则推导出连接与的函数方程，为后续研究临界线零点分布奠定了基础。这种 “局部路径分析” 与 “全局极点求和” 的互补思路，成为复分析与数论交叉研究的典范。正如黎曼在论文中所预见，函数方程的对称性暗示了非平凡零点可能关于对称，这正是黎曼猜想的核心直觉。

函数方程与对称性的发现

黎曼通过两种不同方式计算围道积分，得到了函数最核心的性质：函数方程。当时，他将积分路径改为包围所有非零奇点（即），利用留数求和得到：

Tips

预备知识：Γ 函数与 ζ 函数的积分表示

为推导该恒等式，需先建立两个关键积分表示：

Γ 函数与 ζ 函数的乘积积分

对，有：

这一结果通过将展开为几何级数并交换积分与求和顺序得到，修正项用于抵消积分在时的发散。

Γ 函数的余元公式

对任意复数，有：

该公式揭示了 Γ 函数在复平面上的对称性，是连接 ζ 函数与三角函数的纽带。

核心推导：从围道积分到恒等式

黎曼的原始推导基于一个围道积分（注：围道沿实轴从到，绕原点逆时针一周后返回，用于分离积分的收敛部分与发散部分。），但现代文献中常通过实分析技巧简化证明。以下采用 P.G. Rooney 的方法，结合 Mellin 变换理论展开：

步骤 1：构造积分核与函数空间

定义函数，其 Mellin 变换为：

同时，选取测试函数，其 Mellin 变换可通过留数定理计算为：

步骤 2：应用 Mellin 卷积定理

根据 Mellin 变换的卷积性质，对和的卷积，有：

代入 Γ 函数余元公式，化简得：

步骤 3：计算卷积积分的 Mellin 变换

直接计算的 Mellin 变换，通过变量替换并交换积分顺序，可得：

对比步骤 2 的结果，消去公共项后整理得：

步骤 4：变形得到目标恒等式

将上式中的替换为，并利用，可得：

两边同乘并再次应用余元公式，最终得到：

其中右端的级数可通过将代入验证。

通过 Gamma 函数的余元公式，最终化简为对称形式：

这一函数方程揭示了函数的反射对称性：与通过 Gamma 函数和幂函数相联系。这一发现是整个论文的灵魂，它不仅解释了为何（平凡零点），更为后续研究非平凡零点的分布提供了关键工具。

黎曼 Xi 函数与标准化形式

为更清晰地展示函数的对称性，黎曼引入了一个辅助函数，定义为：

$其中$

该函数具有三个重要性质：

全纯性：在整个复平面上解析，无极点

实值性：对实变量取实数值

零点对应：的根恰为的非平凡零点（）

黎曼进一步证明可表示为快速收敛的级数：

其中是雅可比 theta 函数的变体。

Tips

Gamma 函数与函数的结合

证明

步骤 1：Gamma 函数的积分表示

对

作变量替换，则，代入得：

令，整理得：

步骤 2：与函数的联系

黎曼在研究函数的解析延拓时，将上述积分与的 Dirichlet 级数结合。对，有：

对比目标公式，需调整 Gamma 函数的参数。注意到

令，则：

此即目标公式当替换为的情形。

函数的定义与对称性质

定义：

其中

构造动机：

黎曼为消除的平凡零点（）和 Gamma 函数的极点，引入作为整函数。其核心性质包括：

对称性：，即零点关于实轴对称；

零点对应：（非平凡零点）；

函数方程：由函数方程

推导而来。

推导关键步骤：
从的积分表示出发（）：

结合 Gamma 函数的余元公式

通过围道积分得到解析延拓；

代入，整理得的实值函数形式，便于研究零点分布。

的快速收敛级数表示

证明

其中

推导路径基于分部积分与函数方程：

第一步积分变换：

黎曼从的积分表示出发：

其中为雅克比 theta 函数的变体，满足。

分部积分与三角函数转换：

对上述积分作两次分部积分，消去低阶项后引入变量替换，则，。结合，当时，双曲余弦项转化为余弦函数：

最终得到含的积分表示。

余项估计与收敛性：

黎曼通过研究的指数衰减性质（时），证明该级数对所有实快速收敛，这为数值计算零点提供了理论基础。

这种形式为估算零点个数提供了便利，黎曼据此推导出区间内非平凡零点数量的渐近公式：

历史意义与后续影响

黎曼的解析延拓方法具有划时代意义：

数学框架：首次将复分析系统应用于数论，开创了解析数论这一学科

素数分布：通过函数零点分布研究素数定理，提出了著名的黎曼假设（所有非平凡零点都位于直线上）

函数方程：对称性思想启发了模形式、自守函数等后续数学分支的发展

当然，人们希望能找到这一结论的严谨证明，但我经过几次短暂而徒劳的尝试后已经放弃了寻找这种证明的努力，因为这对于我当前的研究目标来说并非必要。

黎曼在论文中坦言，他未能严格证明所有非平凡零点都位于临界线上，这一问题至今仍悬而未决，成为数学史上最著名的未解难题之一。但他的解析延拓方法本身已成为复分析应用的典范，展示了纯粹数学研究如何通过抽象推广揭示自然界的深层规律。

从欧拉乘积到围道积分，从函数方程到 Xi 函数，黎曼的每一步推导都体现了概念的飞跃。这种将特殊函数、复积分与数论问题融合的思维方式，不仅彻底改变了素数研究的面貌，更树立了现代数学中 "概念先行" 的研究范式。正如希尔伯特所言："如果我沉睡一千年然后醒来，第一个问题会是：黎曼假设被证明了吗？" 这一问题的根源，正埋藏在黎曼对函数进行解析延拓的深刻思想之中。