積分因子，一步一步來

從想法到流程

在上一篇指南裡，你看到了積分因子為什麼存在：把 y' + p(x) y = q(x) 乘上一個巧妙挑選的 mu(x)，整個左邊就塌縮成單一導數 (mu y)'，之後一次積分便完成工作。那是「為什麼」。這篇指南講的是「怎麼做」——把同一個想法放慢到散步的速度，讓你的手而不只是你的腦學會這些動作。懂一個方法、與在壓力下乾淨俐落地執行它，是兩種不同的技能，而後者只能靠看著每一步穩穩落地才能獲得。

這裡是完整的解法，化為你在本級剩下的部分都會反覆使用的四個步驟。它們永不改變；改變的只有 p 與 q。現在先讀一遍，然後看著它們在下面真正的方程上跑起來。

標準形。把方程改寫成 y' + p(x) y = q(x)，使 y' 的係數恰好是 1。若你從 a(x) y' + b(x) y = c(x) 出發，要先把所有項除以 a(x)——這一步是最常出錯的地方。
造出 mu。讀出 p(x)，把它積分，組成因子 mu(x) = e^(p(x) 的積分)。你只需要一個反導數——這裡丟掉 +C，因為任何單一個 mu 都管用。
塌縮並積分。整個乘以 mu，認出左邊是 (mu y)'，於是方程讀作 (mu y)' = mu(x) q(x)；接著對兩邊積分——而現在你「要」保留 +C。
解出 y。除以 mu 把 y 孤立出來，得到通解；若給了初始條件，代入以釘住 C。

範例一：變係數

求解 x y' + 3 y = x^2（取 x > 0）。它一開始不是標準形——y' 的係數是 x，不是 1——所以第一步是把所有項除以 x。得到 y' + (3/x) y = x，現在我們可以讀出 p(x) = 3/x 與 q(x) = x。注意 p 是一個真正的 x 函數，一個變係數，而非常數；解法對此絲毫不在意。

第二步：造出 mu。把 p 積分，所以 (3/x) 的積分 = 3 ln x，而 mu(x) = e^(3 ln x) = e^(ln x^3) = x^3。指數與對數相消，這正是為什麼積分因子常常乾淨地化為 x 的冪次。第三步：把標準形方程整個乘以 x^3。右邊變成 x^3 乘 x = x^4，而左邊被設計成單一導數 (x^3 y)'。所以方程現在讀作 (x^3 y)' = x^4——因子的全部用意，達成了。

第四步收尾。對 (x^3 y)' = x^4 的兩邊積分得 x^3 y = x^5/5 + C——這次保留常數 C，因為這正是承載通解自由度的那次積分。除以 x^3 把 y 孤立出來：答案是 y = x^2/5 + C/x^3。你可以直接讀出它的兩個部分——x^2/5 是由強迫項 q = x 塑造的特解反應，而 C/x^3 是攜帶自由常數的齊次部分。

範例二：用初始值釘住常數

大多數真實問題以線性初值問題的形式出現：一個方程加上一個起始值，要求那條通過給定點的唯一曲線。求解 y' + 2 y = 6，其中 y(0) = 1。y' 的係數已是 1，所以我們處於標準形，帶有常係數 p = 2 與 q = 6。這裡 2 dx 的積分 = 2x，所以積分因子是 mu(x) = e^(2x)。當 p 為常數時，因子永遠是個樸素的指數 e^(p x)——這是最簡單的情形。

整個乘以 e^(2x)：左邊塌縮成 (e^(2x) y)'，右邊變成 6 e^(2x)。所以 (e^(2x) y)' = 6 e^(2x)。對兩邊積分——6 e^(2x) 的積分是 3 e^(2x)——得 e^(2x) y = 3 e^(2x) + C。除以 e^(2x) 得到通解 y = 3 + C e^(-2x)。直到現在我們才使用初始條件：在 x = 0 時方程說 1 = 3 + C，所以 C = -2，而我們要的那條曲線是 y = 3 - 2 e^(-2x)。

看看 y = 3 - 2 e^(-2x) 的形狀。當 x 增大時，項 -2 e^(-2x) 朝零縮小，留下穩定值 3，而在起始處它把曲線往下拉到 y(0) = 1。那個衰減的部分是暫態，而存活下來的 3 是穩態——這正是本級最後一篇指南將完整展開的暫態加穩態讀法。實際上，你已經把它算出來了。

一步一步會在哪裡出錯

解法是可靠的，但有四個失誤在一開始幾乎絆倒每一個人，而這四個都是機械性的、而非觀念性的。好消息是：一旦你知道它們藏在哪裡，就很容易避開。在這些動作還陌生的時候，把這份短清單放在手邊。

SLIP 1  Forgetting standard form.
        Reading p straight off a y' + b y = c gives the WRONG p.
        Fix: divide by a(x) FIRST so y' stands alone.

SLIP 2  Multiplying only the left side by mu.
        mu must hit EVERY term, the q(x) on the right included.

SLIP 3  Dropping +C, or adding it too early.
        No +C when building mu (step 2).
        DO add +C at the integration in step 3.

SLIP 4  Using the initial condition before C exists.
        Pin C only at the very end, on the general solution.

四個機械性失誤，各配上一行的修正。

有一個失誤值得再看一眼，因為它改變的是答案的定義域、而不只是它的值。在範例一中我們寫 mu = x^3，純粹是因為我們假設了 x > 0；第一步裡除以 x 這個動作本身，就把 x = 0 排除在畫面之外。所以 y = x^2/5 + C/x^3 活在一個有效區間上，它在原點處停住，那裡 C/x^3 爆炸。每當某一步除以一個可能化為零的東西時，解只在遠離那些點處才誠實——積分因子從不讓你免於盯著定義域。

為什麼線性這趟路比分離法安全得多

回想本級第一、二篇指南裡那個安靜的陷阱：分離變數可能悄悄丟掉一個常數平衡解，因為你除以一個含 y 的式子，而那式子為零的情形就從縫隙裡漏掉了。積分因子這趟路沒有這種陷阱。整個四步之中唯一的除法是除以 mu(x)，而 mu 只依賴 x、從不依賴 y——所以它永遠不可能抹掉任何一個 y 的解。沒有東西會遺失；你算出的通解真正地涵蓋了每一個解。

那份整潔是線性的結構性饋贈，而誠實地說明它的適用範圍是值得的。「總是可解」意味著當 p 與 q 連續時，這四步總能套用——它並不承諾一個整齊的公式。第三步的積分可能沒有初等反導數（想想 q = e^(-x^2)）；那時解法仍然取勝，只是把答案交給你作為一個需數值求值的積分。而一旦 y 以非線性方式進入——比如 y' = y^2——這整套機器就停止適用，非線性方程那些更棘手的麻煩，包括有限時間爆破，便又回來了。

現在你把積分因子當作一套流程、而不只是一個故事擁有了：標準形、造 mu、塌縮並積分、解出 y。親手跑個三、四次，這四步就融合成一個流暢的動作。本級最後一篇指南會回到你一直在產生的那些答案——y = 3 - 2 e^(-2x) 及其同類——把它們讀作一個朝穩態安頓下來的暫態，正是這幅圖像讓一階線性模型感覺鮮活起來。