何时可用等价无穷小判别级数收敛性？

Question

在判别正项级数收敛性时，常通过等价无穷小替换简化通项。但何时可安全使用等价无穷小替换而不影响敛散性判断？常见误区是认为只要通项等价，级数敛散性就相同。事实上，若两个序列 $ a_n \sim b_n $（即 $\lim_{n\to\infty} \frac{a_n}{b_n} = 1$），仅当 $ b_n $ 所对应的级数为正项且不涉及条件收敛时，才能用比较判别法推断 $\sum a_n$ 与 $\sum b_n$ 同敛散。然而，在比值判别法或根值判别法中直接替换通项可能导致错误结果。问题：在什么条件下，使用等价无穷小替换可保持级数敛散性不变？尤其在极限比较判别法中，为何要求比较的极限存在且为正常数？

Answer 1

一、等价无穷小替换的基本概念与适用背景

在分析正项级数的收敛性时，常借助极限比较判别法（Limit Comparison Test）来简化通项表达式。一个常见技巧是使用等价无穷小替换：当 $ n \to \infty $ 时，若 $ a_n \sim b_n $，即：

$$ \lim_{n \to \infty} \frac{a_n}{b_n} = 1 $$

则称两个序列在无穷远处等价。直观上，这意味着它们的增长或衰减速率趋于一致。

然而，并非所有情况下都可以随意替换。例如，在比值判别法（Ratio Test）中直接对 $ a_n $ 进行等价替换可能导致错误结论，因为该方法依赖于相邻项的比值变化趋势，而等价替换可能破坏这种局部结构。

1. 等价无穷小适用于整体趋势判断
2. 不适用于依赖精确增长速率的方法
3. 必须确保被比较的级数为正项级数
4. 避免在条件收敛或交错级数中滥用

二、极限比较判别法的核心条件解析

极限比较判别法的形式如下：设 $ a_n > 0, b_n > 0 $，且存在极限

$$ L = \lim_{n \to \infty} \frac{a_n}{b_n} $$

• 若 $ 0 < L < \infty $，则 $ \sum a_n $ 与 $ \sum b_n $ 同敛散；
• 若 $ L = 0 $ 且 $ \sum b_n $ 收敛，则 $ \sum a_n $ 收敛；
• 若 $ L = \infty $ 且 $ \sum b_n $ 发散，则 $ \sum a_n $ 发散。

其中最关键的是第一种情况——当极限为正常数时，才能保证敛散性相同。这是因为：

// 数学逻辑伪代码表示
if (limitExists(a_n / b_n) == true && limitValue ∈ (0, ∞)) {
    return sameConvergenceBehavior();
} else {
    useOtherTests(); // 如比较判别法、积分判别法等
}

极限为正常数意味着两个序列“渐近等价”，其部分和的增长阶数一致，从而决定了级数的整体行为一致性。

三、为何要求极限存在且为正常数？

极限类型	含义	是否可推断同敛散
$ L \in (0, \infty) $	两序列渐近比例恒定	✅ 是
$ L = 0 $	$ a_n $ 比 $ b_n $ 衰减更快	❌ 否（仅单向）
$ L = \infty $	$ a_n $ 增长远超 $ b_n $	❌ 否（仅单向）

只有当 $ L $ 为正常数时，才能建立双向控制关系：存在 $ c_1, c_2 > 0 $ 和 $ N $，使得对所有 $ n > N $，有

$$ c_1 b_n \leq a_n \leq c_2 b_n $$

这正是比较判别法成立的基础——通过上下界控制实现敛散性传递。

四、等价替换的安全使用条件

1. 前提条件：$ a_n \sim b_n $ 且 $ b_n > 0 $
2. 目标级数为正项级数：排除交错或条件收敛干扰
3. 用于极限比较判别法而非比值/根值法
4. 替换后的通项需保持主导项结构不变
5. 不能用于涉及高阶小量抵消的情形
6. 避免在递推定义或隐式表达式中盲目替换

例如，考虑级数：

$$ \sum \frac{1}{n + \ln n} \quad \text{vs} \quad \sum \frac{1}{n} $$

虽然 $ \frac{1}{n + \ln n} \sim \frac{1}{n} $，但由于 $ \sum \frac{1}{n} $ 发散，且极限比较得：

$$ \lim_{n \to \infty} \frac{\frac{1}{n + \ln n}}{\frac{1}{n}} = \lim_{n \to \infty} \frac{n}{n + \ln n} = 1 $$

故可安全判定原级数也发散。

五、典型误用场景与规避策略

graph TD
    A[原始通项 a_n] --> B{是否正项？}
    B -->|否| C[禁止等价替换]
    B -->|是| D[尝试找等价 b_n]
    D --> E[计算 lim a_n/b_n]
    E --> F{极限是否存在且为正？}
    F -->|否| G[改用其他判别法]
    F -->|是| H[应用极限比较判别法]
    H --> I[得出敛散性结论]

常见误区包括：

• 在 $ a_n = \frac{1}{n} - \frac{1}{n+1} $ 中做等价替换（实际为 telescoping 级数）
• 将 $ \sin(1/n) \sim 1/n $ 直接代入比值判别法计算 $ a_{n+1}/a_n $
• 忽略低阶项在累加中的累积效应，如 $ \sum (\sqrt{n+1} - \sqrt{n}) $

解决方案是始终验证极限比较的前提，并优先选择已知基准级数（如 p-级数、几何级数）作为比较对象。