積分因子(integrating factor)
積分因子是你用來乘整個方程、以修復其結構的一個函數——把一個頑固方程變成可直接積分的那一勺魔法。圖景很簡單:你有一個幾乎是全導數、卻差一點的方程,恰當的乘子把它重新配平,使左邊變成某個單一乘積的恰當導數,只需一次積分即可還原。
它的主角戲是線性一階方程 dy/dx + P(x)*y = Q(x)。單看左邊並不是任何整齊東西的導數。把整個方程乘以積分因子 mu(x) = e^(對 P(x) 積分),左邊就恰好變成 (mu*y) 對 x 的導數 d/dx——這正是該公式的全部要點。於是方程讀作 d/dx(mu*y) = mu*Q,兩邊積分一次得 mu*y = 積分 mu*Q dx + C,故 y = (1/mu)*(積分 mu*Q dx + C)。一次乘法、一次積分,完事。更一般地,對不恰當方程 M dx + N dy = 0,也存在使其恰當的積分因子 mu(x, y),只是求它可能很難。
積分因子是整個微分方程中最常被複用的裝置之一,每當你想把一串和打包成單個導數時,同一個思想就會重現——它是分部求和的離散表親,也是線性方程解公式背後的引擎。誠實的告誡:對一般的不恰當方程,積分因子原則上總存在,卻沒有普適的求法;乾淨的 e^(積分 P) 公式專屬於線性情形,那時 mu 只依賴 x。
對 dy/dx + (1/x)*y = x,這裡 P = 1/x,故 mu = e^(積分 1/x dx) = e^(ln x) = x。乘整個方程:d/dx(x*y) = x^2,於是 x*y = x^3/3 + C,得 y = x^2/3 + C/x。
乘以 mu = e^(積分 P) 把左邊坍縮成一個利落的導數。
積分因子從來不唯一——mu 的任意非零常數倍同樣好用,因為積分時常數會消去。挑最簡單的那個;指數裡不需要加積分常數。