一階線性方程與積分因子

當分離法用完時

你已經爬過了第一個可解家族：可分離方程，其中每個 x 裝在一個袋子裡、每個 y 裝在另一個袋子裡。麻煩在於大多數方程拒絕那樣分開。試試 dy/dx = x - y：x 與 y 被一個樸素的減法黏在一起，無論怎麼重排，你都無法把含 y 的全放一邊、含 x 的全放另一邊。分離法，你的第一個真正工具，在這裡根本派不上用場。

但請注意 dy/dx = x - y 有個讓人懷抱希望的地方：未知函數 y 只單獨出現，從不被平方、從不與 y' 相乘、從不被塞進正弦裡。把它改寫成 y' + y = x，形狀就跳了出來。這就是一階線性方程，第二個重要的可解家族——而且不像只在幸運情形下管用的分離法，這個家族帶著一個保證有效的方法，從不要求你聰明或幸運。

「線性」到底是什麼意思

一個一階線性方程總能被整理成一個標準形狀：y' + p(x) y = q(x)。這裡 p(x) 與 q(x) 都是只含 x 的已知函數——它們可以是常數，或像 e^x 或 1/x 這樣真正的函數。「線性」的全部重點，是對 y 與 y' 如何進入方程的一個限制：兩者都只以一次方出現，從不彼此相乘、從不被平方、從不被餵進函數。所以 y、y'、以及一個依賴 x 的係數——你被允許的就只有這些。

右邊的 q(x) 有個特別的名字：強迫項或輸入。當 q(x) = 0 時方程稱為齊次，而一個愉快的巧合出現了——齊次線性方程 y' + p(x) y = 0 同時也是可分離的，能用你已經擁有的工具求解。真正全新的地盤是非齊次情形，q(x) 不為零，此時強迫項把解推來推去，而分離法束手無策。這正是積分因子被發明出來填補的缺口。

訣竅：把左邊塌縮成單一導數

讓一切豁然開朗的想法在此。盯著 y' + p(x) y = q(x) 的左邊看。它看起來幾乎——但不完全——像某個乘積法則的結果。回想乘積法則把 (mu y)' 變成 mu y' + mu' y。如果那雜亂的左邊 mu y' + p mu y 其實偷偷是個偽裝的乘積法則就好了，那我們就能把它改寫成 (mu y)'，方程便變得無比簡單。積分因子正是被設計來讓那個偽裝成真的乘子 mu(x)。

把方程的每一項都乘上某個尚未確定的函數 mu(x)。左邊變成 mu y' + mu p y。把它與真正的乘積法則展開 (mu y)' = mu y' + mu' y 相比。當 mu' = mu p 那一刻——也就是 mu 自己的導數等於 p 乘 mu 時——兩者就完全吻合。所以我們只需要一個導數等於 p 乘以自己的函數，而指數函數恰好做這件事。選 mu(x) = e^(p(x) 的積分) 保證 mu' = mu p，因為 e^(p 的積分) 的導數正是 p 乘以 e^(p 的積分)。這個因子並非魔法；它是從那個讓乘積法則啟動的唯一條件反推出來的。

y' + p(x) y = q(x)            (standard form)
mu(x) = e^( integral p(x) dx )   (the integrating factor)
mu y' + mu p y = mu q
( mu y )'        = mu q        (left side is now ONE derivative)
mu y = integral( mu q ) dx + C
y = ( integral( mu q ) dx + C ) / mu

為什麼這永遠不會卡住

一旦左邊成了單一導數 (mu y)'，方程便讀作 (mu y)' = mu(x) q(x)，你只要對兩邊積分、再除回 mu 就完成。這裡深層的安慰是無條件的可靠：只要 p 與 q 在某區間上連續，這個積分因子解法就在該區間上給出通解——不需要幸運的結構、不用猜。這與分離法形成鮮明對比，後者只在變數恰好分得開時才管用。下一篇指南會慢慢走過那四個步驟；現在，只要感受方法永遠存在的那份確定即可。

拿一個小例子 y' + (1/x) y = x。這裡 p = 1/x，所以 mu = e^((1/x) 的積分) = e^(ln x) = x。整個乘以 x 得 x y' + y = x^2，其左邊恰好是 (x y)'。現在 (x y)' = x^2，積分得 x y = x^3/3 + C，再除以 x 落到 y = x^2/3 + C/x。注意這裡係數 p 是一個真正的 x 函數，而非常數——方法處理它的方式完全一樣。

讀懂答案：兩個部分各司其職

回頭看 y = x^2/3 + C/x，你已經能看出貫穿整個線性理論的一個模式。每個通解都乾淨地拆成兩部分：一個齊次部分加上一個特解部分，寫作 y = y_h + y_p。齊次部分 y_h 攜帶那唯一的任意常數 C，並解去掉強迫的方程 y' + p(x) y = 0；特解部分 y_p 是任何單一一個滿足含 q(x) 的完整方程的函數。在上面，C/x 是 y_h，x^2/3 是 y_p。

這種拆分之所以存在，是因為線性方程服從疊加原理：對組合輸入的反應就是反應的組合，所以你能藉由把一個自由的齊次擺動加到一個固定的特解上，來建構完整的解。任意常數 C 接著由初始條件釘住。對像 y' + 2 y = 6 這樣的常係數情形，兩部分變成 y_h = C e^(-2x)（一個隨時間流逝而衰減的部分）與 y_p = 3（一個就停在那裡的部分）——這正是本級最後一篇指南將要發展的暫態加穩態圖像的種子。

關於那個拆分有一點讓人安心：並沒有唯一「正確」的特解 y_p——任何滿足完整方程的函數都行。兩個有效的選擇只差一個齊次解，而自由常數 C 會吸收那個差異，所以無論哪一種，通解都完全一樣。你永遠不必擔心自己挑了「錯的」y_p。

誠實的邊界與你的去向

兩個誠實的提醒讓你遠離麻煩。第一，積分因子只有在方程化為標準形、y' 的係數為 1 之後才管用。若你從 a(x) y' + b(x) y = c(x) 出發，要先除以 a(x)——否則你會從錯誤的 p 算出 mu，整件事會悄無聲息地出錯。第二，那次除法可能引入被排除的點：先前除以 x 意味著解 C/x 只在 x = 0 之外有效，所以答案活在一個有效區間上，而那未必是整條直線。

與可分離方程不同，線性配方沒有遺失常數解的陷阱——這裡沒有隱藏的、除以某個含 y 的東西而可能丟掉平衡解的步驟，因為唯一的除法是除以 mu(x)，而 mu 從不依賴 y。那份整潔是線性的結構性饋贈，順帶一提，正是這同一份饋贈，阻止了一階線性解像非線性的 y' = y^2 那樣在有限時間內爆破。

1. 把方程寫成標準形 y' + p(x) y = q(x)——若 y' 的係數還不是 1 就整個除過去。
2. 造出積分因子 mu(x) = e^(p(x) 的積分)；任一個反導數都行，不需常數。
3. 整個乘以 mu，並認出左邊是單一導數 (mu y)'，於是方程讀作 (mu y)' = mu q。
4. 對兩邊積分（在這裡保留常數 C），再除以 mu 把 y 孤立出來——並用任何初始條件釘住 C。