10.2.3 Convergence and Divergence (收敛与发散)

级数收敛和发散的定义、判定标准以及基本性质

定义

级数收敛与发散是描述无穷级数和的性质的基本概念。设无穝级数为 \(\sum_{n=1}^{\infty} a_n\)，其部分和序列为 \(S_N = \sum_{n=1}^{N} a_n\)。

收敛的定义：如果部分和序列 \(\{S_N\}\) 当 \(N \to \infty\) 时趋向于有限的极限 \(L\)，即 \(\lim_{N \to \infty} S_N = L\)，则称级数 \(\sum_{n=1}^{\infty} a_n\) 收敛，\(L\) 称为级数的和。

发散的定义：如果部分和序列 \(\{S_N\}\) 的极限不存在或为无穷大，则称级数 \(\sum_{n=1}^{\infty} a_n\) 发散。

基本性质： 1. 若级数 \(\sum_{n=1}^{\infty} a_n\) 收敛，则 \(\lim_{n \to \infty} a_n = 0\)（必要条件，但不充分） 2. 收敛级数的常数倍仍收敛：若 \(\sum a_n\) 收敛，则 \(\sum ca_n\) 也收敛（\(c\) 为常数） 3. 两个收敛级数的和与差仍收敛：若 \(\sum a_n\) 和 \(\sum b_n\) 都收敛，则 \(\sum(a_n \pm b_n)\) 也收敛 4. 改变级数的有限项不影响其收敛性

核心公式

• \(["\)\sum_{n=1}^{\infty} a_n \text{ 收敛} \Leftrightarrow \lim_{N \to \infty} S_N = \lim_{N \to \infty} \sum_{n=1}^{N} a_n = L \text{ (有限值)}\(", "\)\text{必要条件：若} \sum_{n=1}^{\infty} a_n \text{ 收敛，则} \lim_{n \to \infty} a_n = 0\(", "\)\text{几何级数：} \sum_{n=0}^{\infty} ar^n = \frac{a}{1-r} \text{ 当 } |r| < 1 \text{ 时收敛，当 } |r| \geq 1 \text{ 时发散}\(", "\)\text{p-级数：} \sum_{n=1}^{\infty} \frac{1}{n^p} \text{ 当 } p > 1 \text{ 时收敛，当 } p \leq 1 \text{ 时发散}\(", "\)\text{比较判别法：若} 0 \leq a_n \leq b_n \text{ 且 } \sum b_n \text{ 收敛，则 } \sum a_n \text{ 收敛；若 } \sum a_n \text{ 发散，则 } \sum b_n \text{ 发散}\("]\)

易错点

• ⚠️ 混淆必要条件和充分条件：学生常误认为 \(\lim_{n \to \infty} a_n = 0\) 是级数收敛的充分条件，但实际上这只是必要条件。例如调和级数 \(\sum \frac{1}{n}\) 中 \(\lim_{n \to \infty} \frac{1}{n} = 0\)，但级数发散。
• ⚠️ 对几何级数的收敛条件判断错误：学生常忘记几何级数 \(\sum ar^n\) 收敛的条件是 \(|r| < 1\)（不是 \(r < 1\)），导致在 \(r\) 为负数时出错。例如 \(r = -0.5\) 时级数收敛，但学生可能误认为发散。
• ⚠️ 在应用比较判别法时选择错误的比较级数：学生有时无法找到合适的已知收敛/发散的级数进行比较，或者比较关系设置反了，导致无法得出正确结论。
• ⚠️ 忽视级数收敛与数列收敛的区别：学生可能混淆数列 \(\{a_n\}\) 的收敛性与级数 \(\sum a_n\) 的收敛性，这是两个不同的概念。