歡迎來到 Maclaurin 和 Taylor 級數!

你好,未來的數學家!本章節常見於進階純數學 2 (FP2),將為你介紹微積分中最強大的工具之一:級數展開 (Series Expansions)

我們即將學習如何將複雜的函數(如 \(e^x\)、\(\sin x\) 或 \(\ln(1+x)\))轉換成簡單的無限多項式。這為什麼很重要呢?因為多項式在微分、積分和計算方面都非常方便!透過這項技術,我們能以驚人的準確度估算函數值。

如果起初覺得有點棘手,別擔心;我們會一步步拆解公式,並運用清晰的類比,確保你完全掌握這個關鍵課題!

快速複習:你需要用到的工具

在深入研究級數之前,請確保你對以下兩個核心概念感到熟練:

1. 重複微分 (Repeated Differentiation): 你必須能夠快速且準確地求出常見函數的一階、二階、三階及後續導數。
2. 階乘 (Factorials): 符號 \(n!\)(讀作「n 的階乘」)表示所有小於或等於 \(n\) 的正整數之乘積。
例子: \(4! = 4 \times 3 \times 2 \times 1 = 24\)。請記得 \(0! = 1\)。


Maclaurin 級數:以零為中心

Maclaurin 級數是 Taylor 級數的一個特殊情況。它利用一個多項式來近似函數 \(f(x)\),而該多項式的導數在 \(x=0\) 處與原函數的導數完全吻合。

Maclaurin 公式

如果一個函數 \(f(x)\) 在 \(x=0\) 處擁有各階導數,則其 Maclaurin 級數表示為:

$$ f(x) = f(0) + x f'(0) + \frac{x^2}{2!} f''(0) + \frac{x^3}{3!} f'''(0) + \dots + \frac{x^n}{n!} f^{(n)}(0) + \dots $$

以求和符號表示為:

$$ f(x) = \sum_{n=0}^{\infty} \frac{x^n}{n!} f^{(n)}(0) $$

拆解公式(DNA 類比)

把函數 \(f(x)\) 想像成一個複雜的有機體。Maclaurin 級數就像是在 \(x=0\) 處掃描它的「DNA」(即它的導數),從而以多項式形式複製出一個一模一樣的副本。

  • 常數項 \(f(0)\): 這確保了多項式近似在 \(x=0\) 時從正確的高度開始。
  • 係數 \(\frac{f^{(n)}(0)}{n!}\): 這是最關鍵的部分。我們將 \(x=0\) 處的第 \(n\) 階導數乘以 \(1/n!\)。為什麼要用階乘? 階乘剛好可以抵銷在重複微分多項式項時自然產生的因子,確保導數在 \(x=0\) 處完全吻合。

求 Maclaurin 級數的步驟指南

讓我們求出 \(f(x) = e^x\) 的前四項非零項。

第一步:寫出通用公式(或級數架構)。

\(f(x) \approx f(0) + x f'(0) + \frac{x^2}{2!} f''(0) + \frac{x^3}{3!} f'''(0) + \dots\)

第二步:求出函數的導數。

\(f(x) = e^x\)
\(f'(x) = e^x\)
\(f''(x) = e^x\)
\(f'''(x) = e^x\)

第三步:將 \(x=0\) 代入函數及其導數中。

\(f(0) = e^0 = 1\)
\(f'(0) = e^0 = 1\)
\(f''(0) = e^0 = 1\)
\(f'''(0) = e^0 = 1\)

第四步:將這些值代回 Maclaurin 公式。

$$ e^x = 1 + x(1) + \frac{x^2}{2!}(1) + \frac{x^3}{3!}(1) + \dots $$ $$ e^x = 1 + x + \frac{x^2}{2} + \frac{x^3}{6} + \dots $$

常見錯誤警示: 千萬記得要除以階乘 \(n!\)。這是最常被遺漏的步驟!

Maclaurin 級數的關鍵總結

Maclaurin 級數是一個以 \(x=0\) 為中心的多項式。它需要重複微分並精確地代入零值,隨後除以對應的階乘。


標準 Maclaurin 級數展開

在考試中,你需要熟悉(並且經常需要推導)幾個標準函數的 Maclaurin 級數。強烈建議你把這些規律背起來!

1. 指數函數 (Exponential Function)
$$ e^x = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \dots = \sum_{n=0}^{\infty} \frac{x^n}{n!} $$

2. 三角函數 (Trigonometric Functions)

小知識: Sine 是奇函數 (\(\sin(-x) = -\sin x\)),所以它的展開式只包含 \(x\) 的奇次項。Cosine 是偶函數,所以它的展開式只包含 \(x\) 的偶次項。這是個很好的記憶小技巧!

$$ \sin x = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \dots = \sum_{n=0}^{\infty} (-1)^n \frac{x^{2n+1}}{(2n+1)!} $$ $$ \cos x = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \dots = \sum_{n=0}^{\infty} (-1)^n \frac{x^{2n}}{(2n)!} $$

3. 對數函數 (Logarithmic Function)

在求 \(\ln x\) 的 Maclaurin 級數時,我們遇到了一個問題:\(\ln(0)\) 是未定義的!因此,我們改用在 \(x=0\) 處有定義的 \(\ln(1+x)\)。

$$ \ln(1+x) = x - \frac{x^2}{2} + \frac{x^3}{3} - \frac{x^4}{4} + \dots = \sum_{n=1}^{\infty} (-1)^{n+1} \frac{x^{n}}{n} $$

注意: 這裡的分母沒有階乘!

4. 二項式級數 (Binomial Series)(快速回顧)

雖然二項式展開通常較早教授,但因為其結構類似,這裡再次包含。它適用於 \(\lvert x \rvert < 1\)。

$$ (1+x)^n = 1 + nx + \frac{n(n-1)}{2!}x^2 + \frac{n(n-1)(n-2)}{3!}x^3 + \dots $$

注意: 若 \(n\) 為正整數,級數會終止;若 \(n\) 為分數或負數,則為無限級數。


Taylor 級數:以 \(x = a\) 為中心

Maclaurin 級數非常實用,但它只能在 \(x=0\) 附近提供良好的近似。如果我們需要在 \(x=3\) 或 \(x= -1\) 附近進行高精度的近似呢?

這就是 Taylor 級數發揮作用的地方。Taylor 級數是 Maclaurin 級數的推廣形式,允許我們以任何點 \(x=a\) 為中心來建構多項式近似。

Taylor 公式

如果一個函數 \(f(x)\) 在 \(x=a\) 處擁有各階導數,則其 Taylor 級數為:

$$ f(x) = f(a) + (x-a) f'(a) + \frac{(x-a)^2}{2!} f''(a) + \frac{(x-a)^3}{3!} f'''(a) + \dots $$

以求和符號表示為:

$$ f(x) = \sum_{n=0}^{\infty} \frac{(x-a)^n}{n!} f^{(n)}(a) $$

Taylor 的位移: 注意我們從 \(x^n\) 位移到了 \((x-a)^n\),而求值點也從 \(x=0\) 移動到了 \(x=a\)。

例子:求 \(\ln x\) 在 \(a=1\) 處的 Taylor 級數

由於 \(\ln 0\) 未定義,我們必須使用一個在該點有定義的中心點,例如 \(a=1\)。這意味著我們的級數將會是 \((x-1)\) 的冪次方。

第一步:設定 \(a=1\) 並求出導數。

\(f(x) = \ln x\)
\(f'(x) = 1/x\)
\(f''(x) = -1/x^2\)
\(f'''(x) = 2/x^3\)

第二步:在 \(x=a=1\) 處求值。

\(f(1) = \ln 1 = 0\)
\(f'(1) = 1/1 = 1\)
\(f''(1) = -1/1 = -1\)
\(f'''(1) = 2/1 = 2\)

第三步:代入 Taylor 公式。

$$ \ln x = f(1) + (x-1) f'(1) + \frac{(x-1)^2}{2!} f''(1) + \frac{(x-1)^3}{3!} f'''(1) + \dots $$ $$ \ln x = 0 + (x-1)(1) + \frac{(x-1)^2}{2!}(-1) + \frac{(x-1)^3}{3!}(2) + \dots $$ $$ \ln x = (x-1) - \frac{(x-1)^2}{2} + \frac{2(x-1)^3}{6} + \dots $$ $$ \ln x = (x-1) - \frac{(x-1)^2}{2} + \frac{(x-1)^3}{3} - \dots $$

留意這與 \(\ln(1+x)\) 的 Maclaurin 級數有多相似,只是將 \(x\) 換成了 \((x-1)\)!

Taylor 級數的關鍵總結

Taylor 級數透過將近似中心設為 \(x=a\),推廣了 Maclaurin 級數。處理過程與 Maclaurin 相同,只是改為在 \(x=a\) 處求值,並使用 \((x-a)\) 的冪次方。


進階技巧:使用標準展開式

計算高階導數往往既耗時又容易出錯。通常,求級數展開最快且最保險的方法是利用你已經熟記的標準級數,進行代換、相乘或組合。

技巧 1:代換法 (Substitution)

如果你知道 \(f(u)\) 的級數,你可以透過將 \(u\) 替換為 \(g(x)\) 來求出 \(f(g(x))\) 的級數。

例子:求 \(e^{2x}\) 到 \(x^3\) 項的 Maclaurin 級數。

我們知道:\(e^u = 1 + u + \frac{u^2}{2!} + \frac{u^3}{3!} + \dots\)

設 \(u = 2x\)。將所有 \(u\) 替換為 \(2x\):

$$ e^{2x} = 1 + (2x) + \frac{(2x)^2}{2!} + \frac{(2x)^3}{3!} + \dots $$ $$ e^{2x} = 1 + 2x + \frac{4x^2}{2} + \frac{8x^3}{6} + \dots $$ $$ e^{2x} = 1 + 2x + 2x^2 + \frac{4}{3}x^3 + \dots $$

技巧 2:組合級數 (Multiplication and Addition)

要找到函數乘積 \(f(x)g(x)\) 的展開式,你可以將它們各自的級數展開式視為多項式進行相乘。

例子:求 \(e^x \cos x\) 到 \(x^3\) 項的 Maclaurin 級數。

\(e^x = 1 + x + \frac{x^2}{2} + \frac{x^3}{6} + \dots\)
\(\cos x = 1 - \frac{x^2}{2} + \dots\)

將兩個多項式相乘,忽略任何高於 \(x^3\) 的項:

$$ e^x \cos x = \left( 1 + x + \frac{x^2}{2} + \frac{x^3}{6} \right) \left( 1 - \frac{x^2}{2} \right) $$

逐項相乘(只保留到 \(x^3\)):

  • \(1 \times 1 = 1\)
  • \(1 \times (-\frac{x^2}{2}) = -\frac{x^2}{2}\)
  • \(x \times 1 = x\)
  • \(x \times (-\frac{x^2}{2}) = -\frac{x^3}{2}\)
  • \(\frac{x^2}{2} \times 1 = \frac{x^2}{2}\)
  • \(\frac{x^3}{6} \times 1 = \frac{x^3}{6}\)

現在,合併同類項:

$$ e^x \cos x = 1 + x + \left(-\frac{x^2}{2} + \frac{x^2}{2}\right) + \left(\frac{x^3}{6} - \frac{x^3}{2}\right) + \dots $$ $$ e^x \cos x = 1 + x + (0)x^2 + \left(\frac{x^3 - 3x^3}{6}\right) + \dots $$ $$ e^x \cos x = 1 + x - \frac{2x^3}{6} + \dots $$ $$ e^x \cos x = 1 + x - \frac{x^3}{3} + \dots $$

技巧 3:積分與微分法

如果你需要一個函數 \(f(x)\) 的級數但很難直接微分,看看它的導數或積分是否更容易展開。

例子: 要求 \(\arctan x\) 的級數,求其導數的級數會簡單得多:

\(\frac{d}{dx} (\arctan x) = \frac{1}{1+x^2}\)。

你可以使用二項式級數 \((1+u)^{-1}\)(令 \(u=x^2\))展開 \(\frac{1}{1+x^2}\)。展開後,對多項式逐項積分,即可得到 \(\arctan x\) 的級數。(別忘了積分常數,這可以透過 \(x=0\) 求出)。

快速複習小卡:成功秘訣

  • Maclaurin = 代入 \(x=0\) 進行求值。
  • Taylor = 代入 \(x=a\) 進行求值。
  • 永遠記得除以分母的階乘 \(n!\)(\(\ln(1+x)\) 除外)。
  • 多利用代換法,盡量節省求導時間。

你已經掌握了級數展開的核心概念!這是高等數學中許多領域的基礎。繼續練習那些標準推導,你就會發現這類考題其實非常直接!