级数走远了就会崩塌
幂级数把 x 的各次幂无限相加,像 1 + x + x² + x³ + ...。无限多项相加,怎么会得到有限值?秘密在于距离。在以中心为圆心、半径为 R 的范围内,各项缩小得足够快,和聚向一个值(收敛)。可一旦越过 R,各项反而增大,于是和无止境地膨胀、爆炸(发散)。这个分界距离 R 就叫收敛半径。最干净的例子是等比级数 1 + x + x² + ... = 1/(1-x),这里 R=1。恰好在边界上的 x=±R,是必须单独检验的微妙之处。这一讲,你将亲手感受:部分和在内部如何紧贴、在外部如何跳起,比值判别法如何定出 R,以及边界究竟有多微妙。
金色是部分和 SN(x) = 1 + x + ... + xN,灰色是真极限 1/(1-x)。把项数 N 调大。在区间 (-1, 1) 内部,N 越大,金色越紧贴灰色。可在 |x|>1 一侧恰恰相反:N 越大,金色上下跳得越陡,越远离灰色。这就是发散。也移动观察点 x。点落在带内时,S 收敛到 1/(1-x);落在带外时,显示发散。这一幅图就装下了本讲的全部要义:级数因距离而生,也因距离而亡。
半径怎么求?比值判别法就是答案。看相邻两项的大小之比 |后一项 / 当前项|。对 Σ xⁿ 来说,这个比值永远就是 |x|,一个常数。柱子是各项的大小 |x|ⁿ。拖动 x 滑块。当 |x|<1 时比值小于 1,柱子依次缩小(绿色,收敛);当 |x|>1 时柱子越来越大(红色,发散)。比值恰好等于 1 的那一点,即 |x|=1,正是收敛与发散的分界,也就是半径本身。比值判别法在这条分界线上保持沉默,那留给接下来两个模块单独处理。
现在直接在数轴上抓住半径。级数 Σ(x/a)ⁿ 的收敛半径是 R=a。中心 0 周围的金色带就是收敛区间 (-R, R)。把半径滑块往上推,带子变宽;往下拉,带子变窄。移动观察点 x。点在带内时变绿(|x|<R,收敛);越出带外时变红(发散)。收敛归根结底就是一行简单条件:距离 |x| 是否比半径 R 更近?因为只看绝对值,无论 x 正负,收敛区域永远是关于中心对称的区间。
即便半径相同,在边界上的命运也各不相同。在三个级数中选择。它们的半径都是 1,但在边界 x=±1 处表现不同。Σxⁿ 在两端都发散。Σxⁿ/n 在 x=-1 处各项交替相加、部分抵消而收敛,但在 x=+1 处变成调和级数而发散。Σxⁿ/n² 各项缩小得更快,在两端都收敛。柱子描绘部分和的走势。稳定在某个值就收敛;一直漂移或摆动就发散。边界正是比值判别法撒手之处,所以每个级数都得这样单独检验。
最后回到作为锚点的等比级数。1 + x + x² + ... = 1/(1-x),但只在 |x|<1 时成立。每根柱子是一项 xⁿ,从上往下叠加,总和聚向绿色虚线的位置,也就是 1/(1-x)。把比 x 取成 0.6 这样的正值,柱子在同一侧逐渐变短,稳定在一个值。把 x 取负,柱子在基线左右交替而立、彼此抵消,但因为 |x|<1,最终仍聚向一个值。这幅图展示的正是幂级数的本质:只有当各项缩小得足够快,也就是距离落在半径之内,无限和才会变得有限。