最近的数学分析作业接着上次的数列极限练习，走到了 Stolz 定理。看课堂照片里的证明时，我一开始没听懂：为什么突然把不等式累加，为什么又除以 yₙ？这次先把定义和证明的用途分开整理，留下后面复习时可以逐步核对的线索。
收敛、有界和无穷大量，要求并不一样
对实数数列 aₙ，三个定义分别是：
- 收敛到实数
A：任意给定ε>0，都存在正整数N，使所有n>N满足|aₙ−A|<ε。要求的是尾部所有项都靠近同一个数。 - 有界：存在固定的
M>0，使所有项都满足|aₙ|≤M。要求的是整个数列能被同一个范围装住。 - 无穷大量：任意给定
M>0，都存在正整数N，使所有n>N满足|aₙ|>M。要求的是尾部所有项最终都跑出任意大的范围。
收敛一定有界，反过来不成立，(−1)ⁿ 就是反例。无穷大量一定无界，反过来也不成立：奇数项取 n、偶数项取 0，虽然无界，却总会回到零。这里最容易漏掉的是“后面的所有项”，不能只找到一些很大的项。
另外，无穷大量看的是绝对值。(−1)ⁿn 的绝对值趋于正无穷，但它本身既不趋于正无穷，也不趋于负无穷。
Stolz 定理先检查分母
这次接触的版本要求 yₙ 严格递增，并且 yₙ→+∞。如果相邻差的比值
(xₙ₊₁−xₙ)/(yₙ₊₁−yₙ)→L，
那么 xₙ/yₙ→L。这里的 L 可以是有限实数，也可以是正、负无穷；不要求 xₙ 递增。定理条件可对照 Gabriel Nagy 的 Stolz–Cesàro 讲义。
直观上，是从“每一步新增量的比例”推到“累计量的比例”。两个比例在同一项上通常并不相等。严格递增保证 yₘ₊₁−yₘ>0，乘过去时不等号不变；趋于正无穷则让起点留下的影响逐渐消失。
累加之后，为什么只剩首尾
先看 L 有限的情况。给定 ε>0，选好起点 k，使 yₖ>0，且此后每个相邻差比值都在 L−ε/2 与 L+ε/2 之间。乘正分母，再从 m=k 累加到 n−1，中间项会抵消：
(xₖ₊₁−xₖ)+…+(xₙ−xₙ₋₁)=xₙ−xₖ。
y 的差也一样，因此得到
(L−ε/2)(yₙ−yₖ)<xₙ−xₖ<(L+ε/2)(yₙ−yₖ)。
再除以正数 yₙ 并整理，就能估计
|xₙ/yₙ−L|<ε/2+|xₖ−Lyₖ|/yₙ。
这一步需要记住：给定 ε 后，k 已经固定，继续变化的是 n。右边第二项的分子是常数，分母趋于正无穷，所以可以再让它小于 ε/2，把总误差压到 ε 以内。证明中的累加和相除，各自都有明确的任务。
用平方和极限核对方法
课堂例子是 (1²+2²+…+n²)/n³。令分子为 xₙ、分母为 yₙ，先检查 n³ 严格递增且趋于正无穷，再计算相邻差：
xₙ₊₁−xₙ=(n+1)²，
yₙ₊₁−yₙ=3n²+3n+1。
因此相邻差的比值趋于 1/3，由 Stolz 定理，原式也趋于 1/3。一长串求和经过作差，只留下新增的一项。
这还不是可以随意套用的规则。例如 xₙ=1、yₙ=n/(n+1) 时，分母递增却只趋于 1；相邻差的比值为零，原比值却趋于 1，说明分母趋于无穷的条件不能省掉。
现在这份整理能把证明的路线拆开，但还不能当作已经熟练。接下来复习时，先不看讲解重写“乘正分母—累加—除以 yₙ—控制起点影响”这几步，再检查自己能否说清每个条件用在了哪里。
评论
0 条