微積分 · 泰勒級數

泰勒級數

泰勒級數利用一點的各階導數,逐步建立多項式近似。增加項數並移動中心,探索哪些地方近似會改善,以及級數在哪裡停止收斂。

01

這個視覺化中的泰勒級數

函數 ff 在 aa 點的泰勒級數(泰勒展開),是由該點各階導數構成的冪級數;在 a=0a = 0 時也稱為馬克勞林級數。中心也記為 x0x_0。截至 nn 次的部分和是泰勒多項式 PnP_n:在次數不超過 nn 的多項式中,只有它在 aa 的函數值與前 nn 階導數都和 ff 相同:

泰勒多項式
Pn(x)=∑k=0nf(k)(a)k! (x−a)k.P_n(x) = \sum_{k=0}^{n} \frac{f^{(k)}(a)}{k!}\,(x-a)^k.

墨色曲線是 ff,黃色曲線是 PnP_n,藍點標出中心 aa。xx 軸上的黃色長條是實測結果:滿足 ∣f(x)−Pn(x)∣<0.01|f(x) - P_n(x)| < 0.01 的最寬區間 ∣x−a∣<r|x - a| < r。計算方式是在 aa 兩側每隔 0.0025 檢查一點,再細化第一個超出誤差的位置,並將結果向下取值顯示。藍色括號位於 a±Ra \pm R,其中 R 是收斂半徑:級數在 ∣x−a∣<R|x - a| < R 時收斂,在 ∣x−a∣>R|x - a| > R 時發散。這裡的七個函數在該區間內,級數和就是 ff 本身;RR 則是 aa 到最近一個 ff 失去解析性的點的距離,也包含複數點。

在給定的 xx 處,PnP_n 和 ff 相差多少,由餘項衡量。如果 ff 在 aa 與 xx 之間的整個區間上都有 n+1n + 1 階導數(所以區間不能跨過奇異點,例如 1/(1−x)1/(1 - x) 在 1 的極點),那麼

餘項(拉格朗日形式)
f(x)−Pn(x)=f(n+1)(ξ)(n+1)! (x−a)n+1其中 ξ 是介於 a 與 x 之間的某個值。f(x) - P_n(x) = \frac{f^{(n+1)}(\xi)}{(n+1)!}\,(x-a)^{n+1}\quad\text{其中 } \xi \text{ 是介於 } a \text{ 與 } x\text{ 之間的某個值。}
02

值得觀察的地方

  • 在收斂半徑內,這裡的部分和會收斂至 ff;因此,對其中每個 xx,誤差都會隨 nn 增加而趨近 0,但不一定每一步都減少。半徑外,各項不會趨近 0,Pn(x)P_n(x) 也不會穩定下來。長條只能逼近 RR:它是根據螢幕上的範圍量測,而 RR 來自公式。
  • 函數可以在整條實數線上都光滑,收斂半徑卻仍然有限。1/(1+x2)1/(1 + x^2) 在複數點 ±i\pm i 沒有定義,所以它在 aa 展開的級數只在 ∣x−a∣<1+a2|x - a| < \sqrt{1 + a^2} 時收斂。
  • 區間端點的情形各不相同:ln⁡(1+x)\ln(1 + x) 在 0 展開的級數,在 x=1x = 1 收斂(至 ln⁡2\ln 2),但在 x=−1x = -1 不收斂;1/(1−x)1/(1 - x) 的級數在兩端都不收斂,而 1+x\sqrt{1 + x} 的級數在兩端都收斂。
  • 在 a=0a = 0,sin⁡x\sin x 只有奇數次方,cos⁡x\cos x 只有偶數次方,因此正弦函數的 P2mP_{2m} 和 P2m−1P_{2m-1} 是同一個多項式。n → ∞ 會跳過這些係數為零的項,讓每一步都改變曲線。
  • 收斂本身並不保證級數和等於 ff。某個函數在 x≠0x \ne 0 時等於 e−1/x2e^{-1/x^2},在 0 處則為 0;它在 0 的每一階導數都是 0,所以在這裡展開的泰勒級數對所有 xx 都是 0。
03

應用在哪裡

  • 物理常保留一點附近的前幾項:單擺小幅擺動時使用 sin⁡θ≈θ\sin\theta \approx \theta,而 (1−v2/c2)−1/2≈1+v2/(2c2)(1 - v^2/c^2)^{-1/2} \approx 1 + v^2/(2c^2) 讓相對論動能在低速時化為 12mv2\tfrac12 mv^2。
  • 餘項可告訴我們計算需要幾項:將 1/k!1/k! 從 k=0k = 0 加到 1010,也就是函數 exe^x 的 P10(1)P_{10}(1),就已能得到 ee 的近似值,誤差在 3×10−83 \times 10^{-8} 以內。
04

操作方式

  • 轉動次數旋鈕,或按 n → ∞,逐次加入下一個非零項,直到 n=30n = 30(到頂後再按一次,會從 0 重新播放)。拖曳藍點或軸上的標記可移動中心;關鍵中心點可直接跳到精確值。
  • 圖形下方的橫條以對數刻度顯示整個圖形範圍的 ∣f−Pn∣|f - P_n|。簡報模式會開啟適合投影的全螢幕視圖(空白鍵增加項數,← → 改變次數,H 隱藏半徑)。
05

相關概念