《黎曼 ζ 讲解》第 003 集：ζ 函数的解析性质

在学习检查器中查看要点和时刻，或切换阅读标签查看完整笔记。

章节

学习解说文稿

依据视频画面与讲解整理，并非逐字语音转写。

0:00视频以标题卡开场，点明本节主题为黎曼ζ函数在半平面$\operatorname{Re}(s)>1$内的解析性质。

0:03第一张内容幻灯片直接定义了研究对象：对于复数$s$，当$\operatorname{Re}(s)>1$时，$\zeta(s)=\sum_{n=1}^{\infty}\frac{1}{n^s}$。主讲人朗读该公式，并指出本集将考察$\zeta(s)$在此区域内的解析性质。

0:20随后，讲座宣布论证的第一大步骤：不尝试一路推进至边界线$\operatorname{Re}(s)=1$，而是固定一个正常数$a$，转而考察闭半平面$\operatorname{Re}(s)\ge 1+a$上的一致收敛性。口述解释指出，这一选择旨在避开实部为一附近出现的发散现象。

0:54接下来，幻灯片引入将收敛性转化为正则性的复分析工具：若一列解析函数$f_n$一致收敛于$f$，则$f$在该区域内解析。除该定理外，讲座还通过列举连续性、无穷次可微性等推论，对解析性给出非正式的直观描述。

1:23一张题为“收敛性”的新幻灯片，用文字将一致收敛定义为：函数序列在整个区域内以相同速率收敛于某个极限函数。该定义仍属非正式表述，尚未采用基于ε的严格陈述。

1:37这一抽象概念随即被具体应用于ζ级数：所考虑的序列为部分和$f_n(s)=\sum_{k=1}^{n}\frac{1}{k^s}$。主讲人明确解释记号转换：$n$现表示序列中的项，而$k$是有限求和内部的哑求和指标。

2:09为使定义更具体，幻灯片写出该序列的前四项：$f_1(s)=1$、$f_2(s)=1+\frac{1}{2^s}$、$f_3(s)=1+\frac{1}{2^s}+\frac{1}{3^s}$与$f_4(s)=1+\frac{1}{2^s}+\frac{1}{3^s}+\frac{1}{4^s}$。它们恰好对应ζ级数截断至第一、第二、第三及第四项后的结果。

2:34最后几秒切换至一张对比幻灯片，含两个标题：“$f_1,f_2,\ldots$逐点收敛于$f$”与“$f_1,f_2,\ldots$一致收敛于$f$”。主讲人表示将说明何为一致收敛，但本片段内尚未展开并列讲解。

2:40该片段以一张标题为“收敛性”的幻灯片开场，左右并列两个标题：左侧为“函数列 $f_1$, $f_2$, … 逐点收敛于 f”，右侧为“函数列 $f_1$, $f_2$, … 一致收敛于 f”。讲师指出，理解这一新概念最简便的方式是将其与学生可能已非正式接触过的逐点收敛进行对比。

2:58随后逐步构建左侧栏内容：首先出现“先选取一个点 x”；接着是“再选取 $ε > 0$”；最后幻灯片提问：“是否存在某个指标 N，使得当 $n \ge N$ 时，恒有 |$f(x) - f_n(x)$| < ε？”口述讲解严格遵循此顺序：先固定某一输入点，再选定容差，然后寻找一个阈值指标，使函数值在该固定点处充分接近极限值。

3:43注意力转向右侧栏，讨论一致收敛。讲师明确指出此处顺序发生变化。幻灯片现在以“先选取 $ε > 0$”起始，继而提问：是否存在某个指标 N，使得当 $n \ge N$ 时，不等式 |$f(x) - f_n(x)$| < ε 对“区域内的所有 x”均成立？相同的代数不等式再次出现，但其量词结构不同——因为此处 x 并未被预先固定。

4:13短语“区域内的所有 x？”在视觉上被突出强调，凸显了在整个定义域上的全称量化。讲师称此为关键区别：在一致收敛情形下，单个 N 必须同时适用于该区域内每一个 x，而非在每个点上分别选取。

4:23底部出现两条总结要点，以凝练方式呈现二者对比：左侧为“N 可依赖于 x 而选取”；右侧为“N 必须对所有 x 同时适用”。这正是两种定义的操作性区别：逐点收敛允许阈值随点变化，而一致收敛则禁止这种依赖关系。

4:37最后两条要点将上述定义应用于实数域上 $x > 1$ 的黎曼 zeta 函数。左侧注释写道：“我们此前已证明，当 $x > 1$ 时，这对 $ζ(x)$ 成立”，呼应前文用积分判别法所作的论证；右侧注释写道：“如我们将看到的，当 $x > 1$ 时，这对 $ζ(x)$ 不成立。”因此，该片段以一个具体实例收尾：在整片区域 $x > 1$ 上，逐点收敛成立，但一致收敛却不成立。

5:20我们首先定义黎曼ζ函数的部分和：$f_1(x) = 1$，$f_2(x) = 1 + 1/2^x$，一般地，$f_n(x) = \sum _{k=1}^n 1/k^x$。如前所述，该函数序列对所有$x > 1$逐点收敛于$ζ(x)$。

5:41接下来，我们考察该收敛性在区间(1, $\infty$)上是否一致。为否定一致收敛性，需找到某个$ε > 0$，使得对任意N，均存在$n > N$及$x > 1$，满足|$ζ(x) - f_n(x)$| ≥ ε。我们取$ε = 0.005$。

6:03首先注意到：对任意$x > 1$，部分和$f_n(x)$中的每一项$1/k^x$均不超过1。由于共有n项，故有上界$f_n(x) \le n$。

6:31关键思路在于利用$ζ(x)$在$x = 1$处奇点附近的性态。我们选取一个依赖于n的特定x：$x = 1 + 1/(n+1)$。当n增大时，该x从右侧无限趋近于1。

6:46依据积分判别法的一个结论，可知$ζ(1 + 1/(n+1)) > n+1$。这为我们所选x处的极限函数提供了下界。

7:01现在考察差值|$ζ(x) - f_n(x)$|。代入上述估计式，得|$ζ(x) - f_n(x)$| > ($n+1$) - $n = 1$。由于$1 > 0.005 = ε$，一致收敛的条件即告失效。

7:44因此，序列$f_n(x)$在全域$x > 1$上并不一致收敛于$ζ(x)$。根本原因在于：我们总能选取一个无限接近1的x，使得部分和与极限函数之间的差距变得很大。

7:51然而，若将关注范围限制在更小的定义域上——具体而言，限定为$x \ge 1+a$（其中$a > 0$为某个固定正数）——我们便远离了奇点。在此受限区间上，序列$f_n(x)$确实一致收敛于$ζ(x)$。

8:00该讲段首先分析黎曼ζ函数的部分和 $f_n(x)$ 在实数 $x > 1$ 上的一致收敛性。图示展示了函数 $y = \zeta(x)$ 与一个部分和 $y = 1 + \frac{1}{2^x}$。当 x 趋近于 1 时，$\zeta(x)$ 出现垂直渐近线，其值可任意大。讲师指出，这一奇点导致在整个定义域 $x > 1$ 上无法实现一致收敛。随后给出一个具体反例：取 $\epsilon = 0.005$，并令 $x = 1 + \frac{1}{n+1}$，此时 $\zeta(x)$ 的值可大于 $n + 1$，而部分和 $f_n(x)$ 则被限制在 n 以内。于是有 |$\zeta(x) - f_n(x)$| > $1 > 0.005$，违反了一致收敛性的条件。

8:41为解决此问题，本讲转入复分析，并正式定义复函数序列$f_n(s)$在区域A上收敛于$f(s)$的一致收敛性。该定义指出：对任意给定的$\epsilon > 0$，必存在一个整数N，使得对所有$n \ge N$，不等式|$f(z) - f_n(z)$| < $\epsilon$对区域A中所有点z同时成立。随后，讲师定义部分和$f_n(s) = \sum_{k=1}^n \frac{1}{k^s}$，并引入尾部和（或余项和）$R_n(s)$的概念。尾部和定义为完整ζ函数与部分和之差：这条公式需要核验，请通过页面反馈入口报告。infty $\frac{1}{k^s}$。当前目标是证明$f_n(s)$在受限区域$\text{Re}(s) \ge 1 + a$ for some fixed $a > 0$，这实际上使定义域远离 s = 处的奇点。1，通过证明对于任意 $\epsilon > 0$，存在一个 N，使得对所有 $n \ge N$ 和该区域内的所有 s，都有 |$R_n(s)$| < $\epsilon$。

10:11该讲段最后一部分聚焦于对尾部和 $R_n(s)$ 进行代数运算，以辅助后续证明。复变量 s 按标准形式表示为 $s = \sigma$ + it，其中 $\sigma$ 为实部，t 为虚部。将其代入尾部和得 这条公式需要核验，请通过页面反馈入口报告。infty $\frac{1}{k^{\sigma+it}}$。利用指数运算法则，分母拆分为 $k^\sigma k$^{it}，得到 这条公式需要核验，请通过页面反馈入口报告。infty $\frac{1}{k^\sigma} k$^{-it}。再将 k 改写为 $e^{\log k}$，表达式变为 这条公式需要核验，请通过页面反馈入口报告。infty $\frac{1}{k^\sigma} (e^{\log k})$^{-it}。最后，依据幂的幂运算法则，该式简化为 这条公式需要核验，请通过页面反馈入口报告。infty $\frac{1}{k^\sigma} e$^{-it($\log k$)}。这一运算将尾部和各项的模长与相位成分分离开来，为后续对和式进行估计、进而证明一致收敛性奠定基础。

10:40该片段以标题为“复平面上的 ζ 函数”的幻灯片开场。首个数学操作纯属记号层面：将复自变量写作 $s=\sigma+it$。代入后，狄利克雷级数的尾部显示为 $R_n(s)=\sum_{k=n+1}^{\infty}1/k^s$。主讲人强调，这并非从 $k=1$ 开始的完整求和，而是始于 $k=n+1$ 的尾部。

10:48接下来几行逐步重写通项。首先，$k^s$ 变为 $k^{\sigma+it}$，再拆分为 $k^{\sigma}k^{it}$。将振荡因子移至分子得 $k^{-it}$。由于主讲人说明此处使用自然对数（底为 e），故将 $k$ 重写为 $e^{\log k}$，从而得到 $(e^{\log k})^{-it}=e^{-it(\log k)}$。于是尾部呈现为 $\sum_{k=n+1}^{\infty}k^{-\sigma}e^{-it(\log k)}$ 的形式，将大小部分与相位部分分离开来。

10:56新幻灯片假设$\sigma>1$，并估计该复数尾部的模。关键不等式是三角不等式：和的绝对值至多等于各绝对值之和。逐项应用该不等式得到$|R_n(\sigma+it)|\le \sum |k^{-\sigma}e^{-it(\log k)}|$。由于$k^{-\sigma}$为正实数且$|e^{-it(\log k)}|=1$，右侧化简为$\sum k^{-\sigma}=R_n(\sigma)$。主讲人用形象的语言描述道：各项如同向量般盘旋环绕，而非全部指向同一方向，因此相消效应只会使真实模长更小。

11:39论证随后从复数输入转向实数输入。在假设“对实数$\sigma\ge 1+a$成立”的前提下，幻灯片写出$R_n(1+a)$与$R_n(\sigma)$的前几项，并逐项比较。由于$\sigma\ge 1+a$且底数$k$均为正数，故有$k^{\sigma}\ge k^{1+a}$。取倒数使不等号方向反转，得到$1/k^{\sigma}\le 1/k^{1+a}$。对同一指标集求和，即得$R_n(\sigma)\le R_n(1+a)$。

12:30最后一张幻灯片整合前两张的估计结果，并辅以几何图示。左侧绘制复平面，标出实轴与虚轴、位于$1+a$处的竖直边界线，以及由所有满足$\operatorname{Re}(s)\ge 1+a$的点构成的阴影半平面。在该区域内标记一个样本点$\sigma+it$，并标出其在实轴上的投影$\sigma$。右侧将不等式串联起来：$|R_n(\sigma+it)|\le R_n(\sigma)$与$R_n(\sigma)\le R_n(1+a)$。由传递性可知，半平面内每一点均满足$|R_n(s)|\le R_n(1+a)$。由于在边界点$s=(1+a)+0i$处取到等号，幻灯片得出结论：$|R_n(s)|$在区域$\operatorname{Re}(s)\ge 1+a$内的最大值即在此处取得。

13:20讲座继续，幻灯片标题为‘复平面上的ζ函数’。主讲人指出其与之前某集相似，并澄清当前重点在于余项 $R_n$，而非完整的ζ函数 $\zeta$。

13:32目标是完成关于该级数收敛性的证明。主讲人回顾道，部分和 $f_n(s)$ 已知逐点收敛于 $\zeta(s)$（其中 $Re(s) > 1$），这一结论已在先前的课程中通过积分判别法得到证实。

13:44为了沟通逐点收敛与一致收敛，主讲人固定实轴上的一个特定点：$s = 1 + a$，其中 $a > 0$。根据逐点收敛的定义，对任意给定的 $\epsilon > 0$，存在一个整数 $N$，使得对所有 $n \ge N$，差值 $|\zeta(1+a) - f_n(1+a)|$——即余项 $|R_n(1+a)|$——严格小于 $\epsilon$。

14:12关键在于，主讲人提议在整个由 $\epsilon$ 和相同的阈值 $N$ 所定义的区域内使用这同一个 $Re(s) \ge 1 + a$。其逻辑是：若误差在边界上的‘最坏情况’点处足够小，则该误差在区域内部各处也应足够小。

14:20推导过程从取区域内一个任意复数 $s = \sigma + it$ 开始，即满足 $\sigma \ge 1 + a$。余项 $|R_n(\sigma + it)|$ 的模被加以控制。首先注意到 $|R_n(\sigma + it)| \le R_n(\sigma)$，这意味着当虚部为零时，误差达到最大。其次，由于 $\sigma \ge 1 + a$ 且余项函数随实自变量增大而减小，故有 $R_n(\sigma) \le R_n(1 + a)$。

14:51将这些不等式结合起来可得 $|R_n(\sigma + it)| \le R_n(\sigma) \le R_n(1 + a) < \epsilon$。由于 $|R_n(\sigma + it)|$ 表示部分和与极限函数 $\zeta(s)$ 之间的距离，因此该不等式对区域 $s$ 内的所有 $Re(s) \ge 1 + a$ 均成立，且仅需使用此前推导出的单个 $N$ derived earlier.

14:59这满足一致收敛性的严格定义。主讲人由此得出结论：该部分和序列 $f_n(s)$ 一致收敛于 $\zeta(s)$ 在区域 $Re(s) \ge 1 + a$。

15:14幻灯片转入新主题：‘复分析’。主讲人引入魏尔斯特拉斯 M 判别法，这是一个标准定理，可更快速地证明一致收敛；但他选择手动推导，以建立直观理解。

15:25魏尔斯特拉斯M判别法表述为：若你有一个函数的无穷级数 $\sum f_n(z)$ 定义在区域 $A$ 上，且每个函数的模被一个常数 $M_n$（即 $|f_n(z)| \le M_n$ 对所有 $z \in A$ 成立），且这些常数构成的级数 $\sum M_n$ 收敛，则原函数级数在 $A$ 上一致收敛。

15:52主讲人反思道，此判别法本可直接应用于黎曼 ζ 函数问题，从而跳过细致的估计步骤；但他强调，深入理解收敛定义背后的机制具有重要价值。

16:00主讲人首先提及魏尔斯特拉斯M判别法——复分析中用于判定函数项无穷级数一致收敛性的定理。幻灯片展示了其形式化表述：若每个函数 $|f_n(z)|$ 的绝对值被某个常数 $M_n$ 所控制，且这些常数构成的级数 $\sum M_n$ 收敛，则原级数 $\sum f_n(z)$ 在指定区域内一致收敛。

16:07针对‘为何一致收敛如此重要’这一问题，主讲人解释道：它赋予我们执行关键微积分运算的许可。具体而言，它使数学家能够安全地交换极限与求和、积分及微分的运算顺序，这对处理复杂级数至关重要。

16:24焦点转向解析函数的概念。主讲人将‘解析’定义为一种远强于单纯连续性或可微性的条件。在复分析中，解析函数表现出极佳的性态，意味着它无穷次可微，且可在局部用一个收敛的幂级数来表示。

16:40为作说明，幻灯片上列出了若干常见解析函数。其中包括多项式 $z^5 - z^2 + 1$、三角函数 $\sin(z)$以及指数函数 $e^z$。讲师还指出，黎曼ζ级数的每一项 $n^{-s}$都是复变量 $s$ 的解析函数。

17:16接下来证明所依赖的核心工具被引出：一致极限定理。幻灯片指出：若一列解析函数 $f_n$ 在某区域内一致收敛于极限函数 $f$，则该极限函数 $f$ 在该区域内也必为解析函数。

17:32将此定理应用于黎曼ζ函数，讲师构建了一个逻辑证明。首先，部分和 $f_n(s) = \sum_{k=1}^n \frac{1}{k^s}$ 是有限个解析函数之和，因此自身也是解析函数；其次，由于该级数在满足 $Re(s) \ge 1 + a$（对任意 $a > 0$）的区域上一致收敛，一致极限定理即表明其极限函数 $\zeta(s)$ 在这些区域上解析。

18:07由于参数 $a$ 可任取为任意小的正数，所有此类区域的并集便覆盖了整个开半平面 $Re(s) > 1$。因此，该证明得出结论：黎曼ζ函数在整个复平面上位于竖直线 $x=1$ 右侧的区域中处处解析。

18:26本节以视觉总结收尾。图中展示了复平面，一条虚线竖直线位于 $Re(s)=1$ 处，其右侧为绿色阴影区域。该图直观强化了核心结论：ζ函数在此特定区域内具有高度正则性，且处处解析。

18:40屏幕右侧直接呈现核心结论：函数 zeta of s 是解析的，即具有极佳的性质，其定义域为实部大于一的区域。此处 s 是复变量，s 的实部指其复数表示中的实数部分；因此，“s 的实部大于一”这一条件刻画了复平面上位于竖直线“s 的实部等于一”右侧的开右半平面。

18:44左侧示意图将该条件几何化：横轴标为“实部”，纵轴标为“虚部”，原点为零，横轴上标出点一，并有一条过该点的虚线竖直线；绿色阴影区域恰好对应 s 的实部大于一的所有点；一个小红点在该区域内移动，代表当前所考察的复数点 s。

18:48随后，讲解者概述课程安排：在接下来的几期视频中，我们将首先讨论 zeta 函数在该区域内的行为——即在已知的解析右半平面内研究 zeta of s；这一步的目的，是在进入更具挑战性的延拓问题之前，先在一个具有良好性质的区域内深入理解该函数。

18:52接着，讲解者指出，在 zeta 函数真正延拓至整个复平面之前，还将有若干期视频专门探讨这一主题；相应地，动画中红点穿过虚线进入左侧非绿色区域，直观体现了研究重心从“s 的实部大于一”的区域向整个复平面的转移。

18:55因此，尽管本段篇幅简短，却清晰确立了两层要点：第一，zeta of s 在 s 的实部大于一的区域是解析的；第二，后续学习将首先聚焦该区域，再着手解决向整个复平面的延拓问题。本视频并未在此证明解析性，而是将其作为后续一系列讨论的起点。

知识卡片