跳转至

局部增长率怎样产生比值与根值判别？

先备知识

几何级数在公比绝对值小于 \(1\) 时收敛。若正项序列最终满足 \(a_{n+1}\le q a_n\) 且 \(q<1\)，反复迭代就把它压在几何尾部之下。上极限允许我们 在普通比值极限不存在时仍提取“最终严格小于 \(1\)”的统一界。

学习目标

完成本单元后，你应能：

  1. 从最终几何控制证明比值判别；
  2. 从 \(n\) 次根控制证明根值判别；
  3. 使用上极限形式处理局部波动；
  4. 分清收敛、发散和临界值 \(1\) 无结论三种状态；
  5. 根据项的结构选择比值、根值或比较判别。

牵引问题

阶乘、指数与 \(n\) 次幂混合时，直接找基准级数往往困难。若每一步的相对缩放最终小于 某个固定 \(q<1\)，能否直接获得几何控制？若缩放在两个数之间振荡又怎么办？

探索与猜想

若 \(a_{n+1}/a_n\to L<1\)，选择 \(L<q<1\)，则充分大时 \(a_{n+1}/a_n\le q\)。关键不是极限符号本身，而是它产生了一个与 \(n\) 无关的严格 几何因子。等号 \(L=1\) 无法选出这样的 \(q\)。

概念与理论

比值判别

设 \(a_n>0\)，且

\[ \lim_{n\to\infty}\frac{a_{n+1}}{a_n}=L. \]
  • 若 \(L<1\)，则 \(\sum a_n\) 收敛；
  • 若 \(L>1\) 或该比值最终至少为某个 \(q>1\)，则 \(a_n\not\to0\)，级数发散；
  • 若 \(L=1\)，判别无结论。

收敛证明。 选 \(L<q<1\)。存在 \(N\) 使 \(n\ge N\) 时 \(a_{n+1}\le q a_n\)。归纳得

\[ a_{N+j}\le a_Nq^j. \]

右侧形成收敛几何级数，直接比较得到 \(\sum a_n\) 收敛。

发散情形中，若最终 \(a_{n+1}\ge q a_n\) 且 \(q>1\)，则通项不趋于零。

根值判别

设 \(a_n\ge0\)，且

\[ \lim_{n\to\infty}\sqrt[n]{a_n}=L. \]
  • 若 \(L<1\)，则 \(\sum a_n\) 收敛；
  • 若 \(L>1\)，则通项不趋于零，级数发散；
  • 若 \(L=1\)，无结论。

若 \(L<1\)，选 \(L<q<1\)，最终有 \(\sqrt[n]{a_n}\le q\)，即 \(a_n\le q^n\)，再与几何级数比较。若 \(L>1\)，充分大时根大于某个 \(q>1\)，所以 \(a_n\ge q^n\)。

上极限形式

普通极限可能不存在。更稳健地，令

\[ \rho=\limsup_{n\to\infty}\sqrt[n]{a_n}. \]

若 \(\rho<1\)，选 \(\rho<q<1\)。由上极限的最终上界性质，充分大时 \(\sqrt[n]{a_n}\le q\)，所以级数收敛。若 \(\rho>1\)，存在无穷多个 \(n\) 使 \(\sqrt[n]{a_n}>q>1\)，于是 \(a_n\not\to0\)，级数发散。

比值也可用

\[ \limsup\frac{a_{n+1}}{a_n}<1 \]

给出收敛。这里必须写“上极限严格小于 \(1\)”；仅仅每个比值都小于 \(1\) 而越来越 接近 \(1\)，未必有统一几何控制。

例题与迁移

例 1：阶乘压过固定指数

对 \(a_n=c^n/n!\)，

\[ \frac{a_{n+1}}{a_n}=\frac c{n+1}\to0, \]

所以对任意固定 \(c>0\)，\(\sum c^n/n!\) 收敛。

例 2：临界值 1 为什么没有结论

对 \(a_n=1/n\) 和 \(b_n=1/n^2\)，都有

\[ \frac{a_{n+1}}{a_n}\to1,\qquad \frac{b_{n+1}}{b_n}\to1, \]

也都有 \(n\) 次根趋于 \(1\)。前者发散，后者收敛。因此临界值 1 同时容纳两种行为。

例 3：比值极限不存在但根值成功

令

\[ a_n=2^{-n}\begin{cases} 1,&n\text{ 为偶数},\\ 2,&n\text{ 为奇数}. \end{cases} \]

相邻比值在两种值间振荡，比值极限不存在；但 \(\sqrt[n]{a_n}\to1/2\)，根值判别给出收敛。

即时检验与回望

即时检验 1

若比值极限为 \(0.8\)，证明中为什么不能直接写 \(a_{n+1}\le0.8a_n\)？

答案

极限等于 \(0.8\) 不保证比值最终不超过 \(0.8\)。应选任意 \(q\in(0.8,1)\)，例如 \(0.9\)，再由极限得到最终上界。

即时检验 2

若所有 \(a_{n+1}/a_n<1\)，是否必有 \(\sum a_n\) 收敛？

答案

不一定。\(a_n=1/n\) 严格递减且比值小于 \(1\)，但比值趋于临界值 \(1\)，级数 发散。

习题与答案

习题 1

判定 \(\sum n!/n^n\)。

答案

比值为 \((n+1)n^n/(n+1)^{n+1}=(n/(n+1))^n\to e^{-1}<1\)，故收敛。

习题 2

判定 \(\sum n^3/2^n\)。

答案

比值趋于 \(1/2<1\)，故收敛。

习题 3

判定 \(\sum(3n/(2n+1))^n\)。

答案

\(n\) 次根趋于 \(3/2>1\)，通项不趋于零，级数发散。

习题 4

解释为什么比值判别不能判定任意 \(p\)-级数。

答案

\((n/(n+1))^p\to1\)，落在无结论的临界值。

习题 5

若 \(\limsup\sqrt[n]{a_n}=0.95\)，写出严格几何控制。

答案

选 \(q=0.975\)。充分大时 \(\sqrt[n]{a_n}\le q\)，故 \(a_n\le q^n\)。

习题 6

若 \(\limsup\sqrt[n]{a_n}=1.1\)，为何足以判定发散？

答案

选 \(1<q<1.1\)。有无穷多个 \(n\) 满足 \(\sqrt[n]{a_n}>q\)，故 \(a_n>q^n\)，通项不趋于零。

习题 7

在 \(a_n=1/(n^2+1)\) 上比较“极限比较”和“比值判别”的结论强弱。

答案

与 \(1/n^2\) 极限比较立即收敛；比值极限为 \(1\)，无结论。结构选择比机械套法 更重要。

习题 8

构造一个根值极限为 \(1\) 的收敛级数和一个发散级数。

答案

分别取 \(1/n^2\) 与 \(1/n\)。二者的 \(n\) 次根都趋于 \(1\)。

常见误区与后续

  1. 从极限 \(L<1\) 直接写比值最终不超过 \(L\)，而没有留出 \(q\) 的间隙。
  2. 把临界值 \(1\) 解释为发散或收敛。
  3. 比值极限不存在就停止，而不检查根值或上极限。
  4. 只看到“每步下降”就误以为存在统一几何下降率。

下一单元处理比值与根值最常失效的慢变族：用积分和二进分块建立 \(p\)-级数、对数 修正级数的阈值，并把尾界变成截断预算。