02_函数列与函数项级数

一、核心概念辨析 (逐点收敛 vs 一致收敛)

用途与区别： 逐点收敛仅关注固定点处数值序列的极限行为；一致收敛则关注整个函数族在给定区间上逼近极限函数的“同步性”。一致收敛是保证极限运算（求极限、积分、求导）能够交换顺序的核心前提。

逐点收敛
- 定义： \(\forall x \in D, \forall \varepsilon > 0, \exists N(\varepsilon, x) \in \mathbb{Z}^+\), 当 \(n \ge N\) 时, \(|f_n(x) - f(x)| < \varepsilon\)。
- 特征： 阈值 \(N\) 既依赖于误差 \(\varepsilon\)，又依赖于选定的点 \(x\)。
- 收敛域： 使数列 \(\{f_n(x)\}\) 或级数部分和数列 \(\{S_n(x)\}\) 收敛的所有 \(x\) 的集合。
一致收敛 ( \(f_n \rightrightarrows f\))
- 定义： \(\forall \varepsilon > 0, \exists N(\varepsilon) \in \mathbb{Z}^+\), 当 \(n \ge N\) 时, 对 \(\forall x \in D\), 均有 \(|f_n(x) - f(x)| < \varepsilon\)。
- 特征： 存在一个与 \(x\) 无关的公共阈值 \(N\)。
- 逻辑关系： 一致收敛 \(\implies\) 逐点收敛。逆命题不成立。
不一致收敛的等价命题 (用于证伪)
- 定义： \(\exists \varepsilon_0 > 0, \forall N \in \mathbb{Z}^+, \exists n \ge N\) 且 \(\exists x \in D\), 使得 \(|f_n(x) - f(x)| \ge \varepsilon_0\)。
内闭一致收敛
- 定义： 若在区间 \(I\) 内的任意闭子区间 \([a, b] \subset I\) 上均一致收敛，则称在 \(I\) 上内闭一致收敛。

根据考察对象是“函数列”还是“函数项级数”，选择不同的判别工具。

判别法	核心表述与公式	用途与应用场景
柯西准则	\(\forall \varepsilon>0, \exists N, \forall m, n \ge N, \forall x \in D\) 有 \(\vert f_n(x) - f_m(x)\vert < \varepsilon\)	理论证明。优势在于无需提前求出极限函数 \(f(x)\)，仅通过验证序列内部稳定性即可判断。
上确界判别法 (\(M_n\) 判别法)	令 \(M_n = \sup_{x \in D} \vert f_n(x) - f(x)\vert\) \(f_n \rightrightarrows f \iff \lim_{n \to \infty} M_n = 0\)	计算首选。通过求导求最值等方法找到最大误差 \(M_n\)，看其是否趋于 0。

注：级数 \(\sum u_n(x)\) 的一致收敛性等价于其部分和函数列 \(S_n(x)\) 的一致收敛性，也等价于其余项 \(R_n(x) = S(x) - S_n(x)\) 一致趋于 0。

判别法	判别条件	用途与应用场景
必要条件	\(u_n(x) \rightrightarrows 0 \ (n \to \infty, x \in D)\)	用于证伪。通项不一致趋于0，则级数必定不一致收敛。
魏尔斯特拉斯判别法 (M-判别法)	\(\exists\) 收敛正项常数级数 \(\sum M_n\)，使得 \(\forall n, \forall x \in D\), \(\vert u_n(x)\vert \le M_n\)	判定绝对且一致收敛的首选。寻找一个不含 \(x\) 的强收敛常数级数进行放缩。
狄利克雷判别法 (Dirichlet)	① \(\sum u_n(x)\) 部分和一致有界； ② \(v_n(x)\) 关于 \(n\) 单调； ③ \(v_n(x) \rightrightarrows 0\)。	处理非绝对收敛的乘积级数 \(\sum u_nv_n\)。常用于含正余弦震荡因子的级数。
阿贝尔判别法 (Abel)	① \(\sum u_n(x)\) 一致收敛； ② \(v_n(x)\) 关于 \(n\) 单调； ③ \(v_n(x)\) 一致有界。	处理乘积级数 \(\sum u_nv_n\)。已知一部分一致收敛，另一部分只需单调有界即可作为“稳定调节因子”。

用途： 探讨何时可以将极限运算 \(\lim_{n \to \infty}\) 与函数的极限 \(\lim_{x \to x_0}\)、积分 \(\int\)、求导 \(\frac{d}{dx}\) 交换顺序。

函数列条件： \(f_n \rightrightarrows f\) 且 \(\lim_{x \to x_0} f_n(x) = A_n\)。

结论： 极限 \(\lim_{x \to x_0} f(x)\) 存在，且 \(\lim_{x \to x_0} \lim_{n \to \infty} f_n(x) = \lim_{n \to \infty} \lim_{x \to x_0} f_n(x)\)。
连续性推论： 一致收敛的连续函数列，其极限函数必连续。对于级数，各项连续且一致收敛，则和函数连续。
逆否命题用途： 若各项连续，但求出的极限函数/和函数不连续，则说明原函数列/级数不一致收敛。

条件： 在闭区间 \([a, b]\) 上一致收敛，且各项黎曼可积（或级数各项连续）。
结论： 极限函数/和函数在 \([a, b]\) 上可积，且积分号与极限号/求和号可交换。

\[ \int_a^b \sum_{n=1}^\infty u_n(x) dx = \sum_{n=1}^\infty \int_a^b u_n(x) dx \]
注意辨析： 一致收敛是积分交换的充分非必要条件（不一致收敛也有可能可以交换积分）。

核心区别： 原函数列/级数的一致收敛不能保证导数可交换。必须要求导函数列/级数一致收敛。

条件：
1. 各项 \(f_n(x)\)（或 \(u_n(x)\)）均可导（或具有连续导数）。
2. 原序列/级数在区间内至少有一点 \(x_0\) 处收敛。
3. 导函数序列 \(\{f_n'(x)\}\) (或导数级数 \(\sum u_n'(x)\)) 一致收敛。
结论： 原函数列/级数必定一致收敛，且极限函数/和函数可导，求导与极限/求和可交换。

\[ \frac{d}{dx} \sum_{n=1}^\infty u_n(x) = \sum_{n=1}^\infty \frac{d}{dx} u_n(x) \]

当函数列或级数在开区间 \((a, b)\) 或无穷区间上不一致收敛时，退而求其次考察内闭一致收敛性。

连续性的推广： 若在区间 \(I\) 上内闭一致收敛且各项连续，则和函数/极限函数在 \(I\) 上处处连续。
积分的推广： 仅适用于区间 \(I\) 内的任意闭子区间 \([\alpha, \beta]\) 上的定积分可以逐项求积。不可直接推广至无穷区间或开区间上的反常积分交换。
求导的推广： 若导函数级数在 \(I\) 上内闭一致收敛（且原级数在某点收敛，各项导数连续），则原级数在 \(I\) 上处处可逐项求导。