微积分 · 无穷级数

无穷级数

级数把一个数列的项一项一项加起来;n增大时部分和Sₙ趋于一个确定的数,级数就收敛。项趋于0是收敛的必要条件,但不是充分条件。

无穷级数与本页画面

无穷级数a1+a2+a3+⋯a_1 + a_2 + a_3 + \cdots没有最后一项,所以要看前n项之和,也就是部分和SnS_n,随n增大怎样变化。SnS_n趋于一个数S时,级数收敛,S就是它的和;否则级数发散。

级数的和是部分和的极限
Sn=∑k=1nak,∑k=1∞ak=lim⁡n→∞Sn=SS_n = \sum_{k=1}^{n} a_k, \qquad \sum_{k=1}^{\infty} a_k = \lim_{n\to\infty} S_n = S

图里按对数刻度画出SnS_n随n从1到一百万的变化。左边的数轴把每一项画成一段弧,从Sk−1S_{k-1}到SkS_k。各项都为正时,弧全朝一个方向;正负交错时,弧来回摆动。

项趋于0是收敛的必要条件,因为an=Sn−Sn−1→S−S=0a_n = S_n - S_{n-1} \to S - S = 0。但这还不够。调和级数1+12+13+⋯1 + \tfrac12 + \tfrac13 + \cdots的项趋于0,部分和却无限增大。“积分比较”说明了原因:区间[k, k + 1]上高为1/k的矩形在曲线y = 1/x上方,所以Sn>ln⁡(n+1)S_n > \ln(n+1)。它增长得非常慢,加了一百万项也才约14.39。

同样的矩形也能判断p级数∑1/kp\sum 1/k^p:它恰好在p > 1时收敛。p > 1时,这些矩形还能把加了n项之后剩下的部分,也就是余项Rn=S−SnR_n = S - S_n,夹在两个积分之间:

加了前面几项之后,剩下的部分夹在两个积分之间
(n+1)1−pp−1=∫n+1∞x−p dx  <  Rn  <  ∫n∞x−p dx=n1−pp−1\frac{(n+1)^{1-p}}{p-1} = \int_{n+1}^{\infty} x^{-p}\,dx \;<\; R_n \;<\; \int_{n}^{\infty} x^{-p}\,dx = \frac{n^{1-p}}{p-1}

所以,即使极限没有简单的公式,页面也能给出一个一定包含它的区间。不过区间窄,不等于SnS_n已经很接近极限。p = 1.1时,一百万项的部分和离极限还差约2.5。但给两个积分各加上SnS_n,得到的区间已经很窄,并且包含极限。

几何级数r+r2+r3+⋯r + r^2 + r^3 + \cdots的部分和有封闭的公式:

几何级数和它的和
Sn=∑k=1nrk=r(1−rn)1−r(r≠1),∑k=1∞rk=r1−r(∣r∣<1)S_n = \sum_{k=1}^{n} r^k = \frac{r(1 - r^n)}{1 - r} \quad (r \ne 1), \qquad \sum_{k=1}^{\infty} r^k = \frac{r}{1 - r} \quad (|r| < 1)

r = ½时,每一项都补上还剩下的缺口的一半,“剩下的缺口”画的就是这件事,于是12+14+18+⋯=1\tfrac12 + \tfrac14 + \tfrac18 + \cdots = 1。r = 1时部分和无限增大;r = −1时部分和在−1和0之间来回跳,永远停不下来。

如果各项正负交错,绝对值递减并趋于0,级数就收敛,而且它的和总在相邻两个部分和之间。每个这样的区间都落在前一个里面,宽度趋于0,于是它们收拢到一个数上。“嵌套区间”把它们一层层摞起来。本页有两个这样的级数:1−12+13−⋯=ln⁡21 - \tfrac12 + \tfrac13 - \cdots = \ln 2,以及莱布尼茨级数1−13+15−⋯=π/41 - \tfrac13 + \tfrac15 - \cdots = \pi/4。

交错调和级数只是条件收敛:去掉符号,∑1/k\sum 1/k是发散的。黎曼重排定理说,这样的级数重新排列以后,可以收敛到任何一个数T。“重排”保留同号项原来的顺序:和不大于T时加下一个正项,大于T时加下一个负项。正项单独加起来趋于+∞,负项单独加起来趋于−∞,所以每一轮都会到达或越过T。每次越过T的偏差不超过刚加的那一项的绝对值,而项趋于0,所以部分和稳定在T上。

值得注意

  • 加一百万项只是证据,不是证明。在这个尺度上,发散的调和级数和收敛的p = 1.1级数看起来差不多。级数收不收敛,要靠上面那样的论证来判断。
  • 1−1+1−⋯1 - 1 + 1 - \cdots没有和:它的部分和是1, 0, 1, 0, …。把项分组成(1−1)+(1−1)+⋯=0(1 - 1) + (1 - 1) + \cdots = 0,只留下了一部分部分和,等于换了一个级数。

操作

  • 在图上任意一处按下就设定n,横向拖动可以改变它;n会吸附在10的各次幂上。选“重排”时,可以上下拖动T的把手。

相关概念