一階方程:可分離與線性
齊次加特解的解結構(homogeneous-plus-particular structure)
線性方程的解有一個漂亮的兩部分構造,看懂一次就能解釋很多事。y' + p(x) y = q(x) 的通解總是一個齊次部分加上一個特解部分:y = y_h + y_p。第一部分攜帶自由度(任意常數),第二部分攜帶強迫項 q(x)。
拆解每一塊。齊次解 y_h 解的是去掉強迫的方程 y' + p(x) y = 0(強迫關閉);用分離法它等於 C e^(-p 的積分),並含有那唯一的自由常數 C。特解 y_p 是任何單一一個滿足完整方程 y' + p(x) y = q(x) 的函數——只要一個具體的解,沒有自由常數。把它們相加,y = y_h + y_p,就給出所有解:y_h 提供全部擺動空間,y_p 把家族錨定到實際的右邊。你可以直接驗證——代入 y_h + y_p,看著 y_h 的項抵消為零,而 y_p 的項重現 q(x)。
這個結構是線性微分方程中心事實之一的小規模預演:對任何線性方程,通解等於互補(齊次)解加上一個特解。同樣的模式在二階與更高階線性方程中再現,那裡 y_h 變成多個齊次解的組合。誠實的適用範圍是:這種拆分純粹是線性的特徵——對非線性方程,你不能把齊次解與特解相加而期望落在某個解上,因為疊加失效。
對 y' + 2 y = 6,齊次解是 y_h = C e^(-2x),而一個特解是常數 y_p = 3(因為 0 + 2(3) = 6)。所以通解是 y = 3 + C e^(-2x):一個固定偏移加上一個衰減的自由部分。
y_h 攜帶任意常數;y_p 把家族釘到強迫項;它們的和就是所有解。
並沒有唯一「正確」的 y_p——任何一個特解都行,兩個有效選擇只差一個齊次解,而自由常數 C 反正會吸收它。
又称
另见