微積分・無窮級數

無窮級數

級數將數列的各項逐一相加;當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

圖形以1到一百萬的對數軸表示n,繪出SnS_n。左側數線將每一項畫成從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。越界幅度不超過造成越界的項的絕對值,而各項趨近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的把手。

相關概念