第二卷 · 级数与一致收敛：分析的成熟期

数项级数、函数项级数、幂级数、傅里叶级数——第二卷的主旋律只有一个词：一致收敛。它是"逐项求导、逐项积分、连续性传递"能否合法的唯一裁判。

数项级数：收敛性的工具箱

$\sum a_n$ 收敛 = 部分和数列收敛。判别法按威力排序：

• 必要条件：$a_n\to 0$（不收敛立刻出局）；
• 比较判别法（及极限形式）：拿 $p$-级数 $\sum\frac{1}{n^p}$（$p>1$ 收敛）与等比级数当标尺；
• 比值/根值法：$\lim\frac{a_{n+1}}{a_n} = \rho$，$\rho<1$ 收、$>1$ 散、$=1$ 失效（阶乘与幂结构首选）；
• 交错级数（莱布尼茨）：单调递减趋零 ⟹ 收敛，误差不超过首弃项；
• 绝对收敛 ⟹ 收敛；条件收敛级数可以重排出任何和（黎曼重排）——条件收敛是"收敛但脆弱"。

一致收敛：函数项级数的合法性证书

逐点收敛只保证每个点各自收敛；一致收敛保证"整体步调一致"，于是三大传递合法：连续函数的一致极限连续；一致收敛可逐项积分；一致收敛 + 各项可导 + 导数级数一致收敛可逐项求导。判别工具：Weierstrass M-判别法（$\sum M_n$ 收敛且 $|u_n(x)|\le M_n$ ⟹ 一致绝对收敛）。

幂级数与傅里叶级数

幂级数有收敛半径 $R = 1/\limsup\sqrt[n]{|a_n|}$，收敛域内任意阶可导且可逐项微积——它是"最好驯服"的函数项级数，泰勒级数是其核心应用（注意：光滑函数的泰勒级数不一定收敛到自身，$e^{-1/x^2}$ 是著名的反例——解析性与光滑性的分界）。 傅里叶级数用三角函数系展开周期函数，系数由正交性给出：

收敛定理（按段光滑则收敛于平均值）处理间断，吉布斯现象提示部分和在间断附近的过冲。

老师的提醒

• 检验"能不能逐项求导"看的是导数级数的一致收敛，不是原级数——方向别搞反。
• 幂级数收敛半径的比值法与根值法在端点处都失效，端点单独代入判别。

自检

• 条件收敛级数重排可以改变和，为什么绝对收敛不可以？
• Weierstrass M-判别法的两个条件？
• 幂级数在收敛区间内为什么可以逐项求导？

更深一层：一致收敛是"运算可交换的通行证"

无穷多个函数相加，什么 operations 可以合法地穿过求和号？这个问题的唯一裁判是一致收敛。三张通行证对应三种运算：极限穿过积分号（一致收敛时 $\int\sum = \sum\int$）、极限穿过求导号（需再加强：导数级数一致收敛）、连续性传递（连续函数的一致极限连续）。反过来看失效的惨状：逐点收敛但极限不连续（$x^n$ 于 $[0,1]$——在 $x = 1$ 处跳变）、逐项求导毁掉收敛（$\frac{\sin n^2x}{n}$ 的逐项导数 $\cos n^2x\cdot n$ 发散）。一致收敛把"每点各自的收敛"升级为"整体步调一致的收敛"，运算交换的合法性正是这种整体性的回报。

判别工具的优先级也值得排：Weierstrass M-判别法（找优函数）一击必杀最常用；Abel/DIRichlet 判别法处理含参的微妙情形（$\sum\frac{\sin nx}{n}$ 的一致收敛——不绝对一致收敛但一致）；Dini 定理处理单调逼近的特殊情形。三张通行证 + 三个判别器，构成函数项级数的完整法律体系。

推导细读：幂级数为什么是"模范级"函数项级数

幂级数 $\sum a_nx^n$ 在收敛区间内的表现堪称模范：内部绝对收敛、可逐项求导积分任意次、收敛半径由柯西-哈达玛公式一锤定音。模范性的根源是它在更小的区间上一致收敛（阿贝尔第一定理：$x_0$ 处收敛 ⟹ $[0, x_0]$ 上一致收敛）——逐项微积的合法性由 M-判别法轻松兑现。模范的边界也值得知道：端点处一切都可能发生（$\sum\frac{x^n}{n}$ 在 $x=-1$ 条件收敛、$x=1$ 发散）；泰勒级数不一定收敛到自身（$e^{-1/x^2}$ 的经典反例——光滑 ≠ 解析）。幂级数 = 局部泰勒展开的全局纪律版：它牺牲了"任意光滑函数都能展开"的普遍性，换来了"展开即可放心微积"的可靠性。

在真实世界里：傅里叶级数的"分歧现场"

三角级数是幂级数的"叛逆表弟"：正交系相同（都是完备函数系），收敛行为却狂野得多。同一傅里叶级数在一点上的三种命运——$L^2$ 收敛（普遍成立）、逐点收敛（需按段光滑，Dirichlet 定理）、一致收敛（需要更强的条件）——对应三种工程需求：能量等价（信号处理 Parseval）、波形重构（数值计算）、高精度逼近（谱方法）。吉布斯现象（间断点附近 9% 的顽固过冲，加密部分和也不消失）是数值重构间断信号时必须正视的"原理性税"。选择三角级数还是幂级数，取决于你的信号是周期振荡还是解析光滑——两大级数系统各管一个世界。

专题深入：一致收敛的"三张通行证"完整版

一致收敛的三张通行证值得完整展开：极限穿过积分号（一致收敛时 $\int\sum = \sum\int$——逐项积分的合法性）、极限穿过求导号（需再加强：导数级数一致收敛——逐项求导的合法性）、连续性传递（连续函数的一致极限连续——"好函数收敛到好函数"）。失效的惨状对照：逐点收敛但极限不连续（$x^n$ 于 $[0,1]$——在 $x = 1$ 处跳变）、逐项求导毁掉收敛（$\frac{\sin n^2x}{n}$ 的逐项导数 $\cos n^2x \cdot n$ 发散）。一致收敛把"每点各自的收敛"升级为"整体步调一致的收敛"，运算交换的合法性正是这种整体性的回报。

数学细节展开：幂级数的"模范性"与它的边界

幂级数在收敛区间内的表现堪称模范：内部绝对收敛、可逐项求导积分任意次、收敛半径由柯西-哈达玛公式一锤定音。模范性的根源：在更小的区间上一致收敛（阿贝尔第一定理）——逐项微积的合法性由 M-判别法轻松兑现。模范的边界：端点处一切都可能发生（$\sum\frac{x^n}{n}$ 在 $x=-1$ 条件收敛、$x=1$ 发散）；泰勒级数不一定收敛到自身（$e^{-1/x^2}$ 的经典反例——光滑 ≠ 解析）。幂级数 = 局部泰勒展开的全局纪律版：它牺牲了"任意光滑函数都能展开"的普遍性，换来了"展开即可放心微积"的可靠性。

工程案例细节：傅里叶级数的"三种收敛"工程选型

傅里叶级数的三种收敛对应三种工程需求：$L^2$ 收敛（普遍成立——能量等价，信号处理 Parseval 的合法性）；逐点收敛（需按段光滑，Dirichlet 定理——波形重构，数值计算的合法性）；一致收敛（需要更强的条件——高精度逼近，谱方法的合法性）。吉布斯现象（间断点附近 9% 的顽固过冲，加密部分和也不消失）是数值重构间断信号时必须正视的"原理性税"。选择三角级数还是幂级数，取决于你的信号是周期振荡还是解析光滑——两大级数系统各管一个世界。