01_数项级数

一、上下极限

处理极限不存在（如震荡数列）时的边界行为分析。比传统极限工具更普适。

两种等价定义：
1. \(\varepsilon-N\) 语言： 上极限 \(a\) 是最终的“几乎上界”（超过 \(a+\varepsilon\) 的只有有限项，超过 \(a-\varepsilon\) 的有无限项）。
2. 聚点集合法： 设 \(E\) 为所有收敛子列极限及发散子列非正常极限的集合。上极限 \(=\sup E\) (有界时为 \(\max E\))，下极限 \(=\inf E\)。
拓展情形： 无上界则上极限为 \(+\infty\)；趋于 \(-\infty\) 则上极限为 \(-\infty\)。
核心性质：
- 保序性： \(a_n \le b_n \implies \varlimsup a_n \le \varlimsup b_n\)，\(\varliminf a_n \le \varliminf b_n\)。
- 充要条件： 数列极限存在的充要条件是 \(\varlimsup a_n = \varliminf a_n\)。

处理所有级数的通用性质，是快速排除发散、理解收敛本质的基础。

收敛的本质： 级数收敛 \(\iff\) 其部分和数列 \(\{S_n\}\) 收敛。
柯西收敛准则： 收敛 \(\iff\) 任意尾端片段和 \(\left| \sum_{k=n+1}^{n+p} a_k \right| < \varepsilon\) 可以任意小。
必要条件（复杂问题先判断）： 收敛必有 \(\lim_{n \to \infty} a_n = 0\)。（若通项不趋于0，直接判发散）。
基本操作性质：
- 线性性质： \(\sum(\alpha a_n + \beta b_n) = \alpha\sum a_n + \beta\sum b_n\)。
- 有限项豁免： 增减改有限项，敛散性不变。
- 余项趋零： 若收敛，其余项 \(r_n = S - S_n\) 必有 \(\lim r_n = 0\)。
- 加括号法则： 收敛级数任意加括号后仍收敛且和不变。（注意：加括号后收敛，推不出原级数收敛）。
快慢极值定理： 不存在收敛/发散速度“最慢”的正项级数。

前提： 正项级数部分和单增，收敛 \(\iff\) 部分和有界。

判别法	考察指标	判断标准	适用场景 & 区别
比较判别法	\(\lim \frac{a_n}{b_n} = l\)	\(0 \le l < +\infty\)，\(\sum b_n\) 收敛则 \(\sum a_n\) 收敛 \(0 < l \le +\infty\)，\(\sum b_n\) 发散则 \(\sum a_n\) 发散	（根据 \(\sum b_n\) 敛散性判断 \(\sum a_n\) 敛散性）需要找已知参照物（如 \(p\) 级数）。适用于多项式分式、等价无穷小替换。
比值判别法	\(\lim \frac{a_{n+1}}{a_n} = q\)	\(q<1\) 收敛 \(q>1\) 发散 \(q=1\) 失效	适用于含阶乘 (\(n!\))、连续乘积的通项。不需要参照物。
根式判别法 (Cauchy)	\(\lim \sqrt[n]{a_n} = q\) (或用 \(\varlimsup\))	同上	适用于整体带 \(n\) 次方的通项。理论上比比值法更强。
积分判别法	\(\int_1^{+\infty} f(x)dx\)	积分收敛 \(\iff\) 级数收敛	适用于能转化为非负单调递减连续函数 \(f(x)\) 的通项。

重要基准（\(p\)级数）： \(\sum \frac{1}{n^p}\) 在 \(p > 1\) 时收敛，在 \(p \le 1\) 时发散。（由积分判别法推导得出）。

处理项带有正负号交替或震荡的级数（如含有 \((-1)^n, \sin nx\) 等）。

条件： 形如 \(\sum (-1)^{n+1}u_n\)。若 \(u_n\) 单调递减 且 \(\lim u_n = 0\)，则必定收敛。
误差估计： 截断误差不超过舍弃的首项绝对值：\(|r_n| \le u_{n+1}\)。

前置工具（阿贝尔变换 & 引理）： \(a_1b_1 + \dots + a_nb_n = (a_1 - a_2)B_1 + (a_2 - a_3)B_2 + \dots + (a_{n-1} - a_n)B_{n-1} + a_n B_n\)。若 \(\{a_k\}\) 单调，必有 \(|\sum a_kb_k| \le 3 \max|a_k| \max|B_k|\)。
判别法对比：
- 狄利克雷 (Dirichlet) 判别法： \(\sum a_n\) 部分和有界且 \(b_n\) 单减趋于 0。（注：莱布尼茨判别法是它的特例）。
- 阿贝尔 (Abel) 判别法： \(\sum a_n\) 收敛且 \(b_n\) 单调有界。

基本定理： 若 \(\sum |a_n|\) 收敛（称为绝对收敛），则原级数 \(\sum a_n\) 必收敛。若原级数收敛但绝对值发散，称为条件收敛。
正负部刻画（微观视角）：
- 定义：正部 \(a_n^+ = \frac{|a_n|+a_n}{2}\)，负部 \(a_n^- = \frac{|a_n|-a_n}{2}\)。
- 绝对收敛 \(\iff\) 正部和负部级数 双收敛。
- 条件收敛 \(\iff\) 正部和负部级数 双发散。
级数的重排定理：
- 绝对收敛 \(\implies\) Dirichlet 重排定理： 具有完美的“无条件交换律”，任意重排后依然绝对收敛，且和不变。
- 条件收敛 \(\implies\) Riemann 重排定理： 极其不稳定，可以通过重排，使其收敛到任意给定的实数，甚至发散。

按照“下标之和恒定”的斜对角线顺序打包相加。通项为 \(c_n = \sum_{k=0}^n a_k b_{n-k}\)（下标从0开始）或 \(\sum_{k=1}^n a_k b_{n-k+1}\)（下标从1开始）。

定理名称	前提条件	结论	区别与意义
柯西定理 (Cauchy)	\(\sum a_n\) 绝对收敛 \(\sum b_n\) 绝对收敛	按任意顺序排列的乘积级数均绝对收敛，且和为 \(AB\)	要求最苛刻（双绝对收敛），但给出了最强自由度（不限排列顺序）。
Mertens 定理	\(\sum a_n\) 绝对收敛 \(\sum b_n\) 收敛 (可条件收敛)	它们的柯西乘积 \(\sum c_n\) 必收敛，且和为 \(AB\)	放宽了前提条件（只需一强一弱），但牺牲了自由度，结果必须严格按照“柯西乘积”的顺序求和才成立。