一階方程:恰當方程與代換
奇異解(singular solution)
一階方程的大多數解都屬於一個帶自由常數的整潔族:選一個常數值,得一條曲線。奇異解是叛逆者——一個方程的真正解,卻無法靠「任何」那個常數的選擇得到。它是活在參數化清單之外的例外,這正是為何「通解」與「所有解」並不總是同一回事。
在幾何上,最重要的奇異解是包絡:一條與某單參數族中每個成員都相切的曲線,像一道光滑的外邊界般擁抱整族。因為奇異解與每個普通解相切地相觸,兩者在該處共有一點與一個斜率,於是存在唯一性定理的條件在那些相切點失效——唯一性破裂,一個第二解從旁岔出。這正是奇異解之所以能存在的深層原因:它們恰好出現在唯一性無保證之處。
你在克萊羅方程中最乾淨地遇見它們,其直線族有一條彎曲的包絡,但凡是你除以某個可能為零的東西之處,它們也都潛伏著。例如分離變數時,可能丟掉一個常數平衡解,而它恰好是奇異的。誠實的結論:找到通解後,停一下,問問方程是否有藏在族之外的額外解——數學並不總像那條整潔公式所暗示的那麼完整。
方程 y' = sqrt(y)(其中 y >= 0)有族 y = (x + C)^2/4(對 x >= -C),但 y = 0 也是一個解,且不屬於該族任何成員——它是一個奇異解。在 y = 0 的每一點,族中一條拋物線觸及並岔出,故唯一性在此失效(右側 sqrt(y) 在 y = 0 處不滿足利普希茨條件)。
y = 0 滿足方程,卻不在族中任何成員裡——一個位於唯一性失效處的奇異解。
奇異解不是「額外的雜事」——它是通解公式漏掉的真正解。忘了它,意味著你對解集的描述確實不完整,尤其在涉及包絡或除以可能為零之量的問題中。
又称
另见