當線性化技巧終於卡住的地方
在上一篇中，白努利方程 y' + p(x) y = q(x) y^n 看似非線性，卻悄悄投降了：代換 v = y^(1-n) 把它壓平成你早已會解的一階線性方程。那正是夢想——找到一個變數變換，非線性就溶解了。本篇遇到兩個更難達成此夢想的方程，其中一個甚至直接拒絕。一路上我們會碰到一個真正全新的現象：一個通解看不見的解。
整個梯級一直低聲提醒的誠實背景是：大多數一階常微分方程根本沒有封閉形式的解。本梯級的恰當方程、積分因子與各種代換，是少數幸運案例的精選展覽。黎卡提與克萊羅之所以入選，不是因為它們容易，而是因為各自教會我們一個遠超自身的道理。
黎卡提：非線性，但一個解就能解開其餘
黎卡提方程是 y' = q0(x) + q1(x) y + q2(x) y^2——關於 y 是線性的，再加上單一的二次項 q2 y^2。光是那一個 y^2，就足以把它牢牢推出線性世界之外；一般而言，黎卡提方程沒有以初等函數表示的公式。這不是聰明才智的欠缺，而是定理級別的事實：根本不存在通用配方。
但有一個美妙的條件式救援。假設你能猜出、或被告知一個特解 y1(x)。那麼代換 y = y1 + 1/v 會把整件事變成關於 v(x) 的一階線性方程——正是你總能積分的那一類。於是單一個已知解就像一把鑰匙：它把看似無解的二次式，轉換成本梯級中最友善的家族。
Riccati: y' = q0(x) + q1(x) y + q2(x) y^2 know one solution y1 -> set y = y1 + 1/v result: v' + ( q1 + 2 q2 y1 ) v = - q2 (linear in v!)
克萊羅：微分一次，方程就一分為二
克萊羅方程有著奇特的形狀 y = x y' + f(y')，其中 f 是僅關於斜率 y' 的某個函數。為了看得清楚，把 y' 記為 p：y = x p + f(p)。標準手法不太尋常——你對 x 兩邊都微分。這麼做並整理後得到 (x + f'(p)) p' = 0。一個乘積等於零，所以必有一個因子消失，於是克萊羅方程乾淨俐落地裂成兩個截然不同的情形。
第一種情形：p' = 0，意即斜率為常數，p = c。代回後得到 y = c x + f(c)——一個單參數的直線族。那就是通解，而且值得注意的是，它完全不需要積分：你只要把原方程中的每個 y' 都換成常數 c 即可。每個 c 值對應族中一條不同的直線。
第二種情形才是奇異而精彩的：x + f'(p) = 0。它不給出常數斜率，而是透過 f' 把 x 與 p 綁在一起。再配合原方程 y = x p + f(p)，便以 p 為參數描出一條單一曲線。這條曲線就是奇解，也是本篇的核心。
奇解：任何常數都到不了的曲線
想像把直線族 y = c x + f(c) 為每個 c 值都畫出來。它們傾斜、平移，卻全都與某一條光滑曲線相切——就像每條反射光線都掠過同一邊界時，咖啡杯在桌面投下的那道明亮焦散邊緣。那條邊界曲線就是奇解。從幾何上看，它是直線族的包絡：每條直線都觸碰它，但包絡本身並非其中任何一條直線。
這就是讓奇解值得專闢一篇的關鍵：無論常數 c 取何值，都得不到包絡。你可以永遠地試遍每一個 c 值，卻永遠落不到它上面。所以那看似完整的通解，其實真的漏掉了一個解。一個只會產生 y = c x + f(c) 的方法，對一條完全滿足同一方程的有效曲線視而不見。
為何奇解被允許：唯一性瓦解了
這感覺像是違規。在階梯較早處，存在唯一性理論曾承諾過每一點恰好穿過一個解。包絡與切線怎能同時穿過它們共有的切點呢？答案是：唯一性附帶細則——它只在方程關於 y 滿足利普希茨條件之處成立。在包絡親吻每一條直線的每一點上，該條件悄悄失效，於是「單一路徑」的保證便蒸發了。
你以前就見過同一道裂縫，在那個經典的警示例子 y' = y^(2/3) 中。在 y = 0 處，右側關於 y 的斜率為無限大，利普希茨條件失效，於是有兩個解從原點離開：平直線 y = 0 與曲線 y = (x/3)^3。那是微縮版的唯一性失效。克萊羅方程的奇解是同一現象穿上更優雅的外衣——一整條曲線，解可以在其上自由分岔。
所以結論不是「害怕非線性方程」，而是「尊重它們」。線性世界中乾淨的疊加與整齊的唯一性，是你如今正要離開的奢侈品。一個非線性一階常微分方程，可能藏著你的代換永遠揭不出的解；要確定你已掌握全部，唯一的辦法是檢視方程自身的結構——它的包絡、它的壞點、它利普希茨條件破裂之處。
克萊羅方程的解法步驟，以及本梯級帶你走到了哪裡
- 辨認形式 y = x y' + f(y')：方程是「y 等於 x 乘以斜率，再加上一個僅關於斜率的函數」。
- 免費取得直線族：把每個 y' 換成常數 c，寫下 y = c x + f(c)。這就是通解——無需積分。
- 獵捕奇解：把原方程微分一次，分解出 x + f'(p) = 0，再與 y = x p + f(p) 聯立以消去 p。
- 誠實核對：確認那條奇異曲線確實滿足方程，並留意它是與族中每條直線相切的包絡——一個通解公式漏掉的解。
退一步看整個梯級。你學會了辨認恰當方程並還原其隱藏的位勢，學會在恰當性差一點點時乘上積分因子，學會以 v = y/x 馴服齊次方程，學會把白努利方程線性化，而現在又學會解讀黎卡提與克萊羅方程。這每一招，都是把一個非線性或彆扭的方程，扳回到某個你能積分的東西。
但黎卡提缺失的公式與克萊羅缺失的解，都指向同一條前路。當沒有代換能幫上忙、也不存在公式時，你便不再問「精確答案是什麼？」，而開始問「解會做出什麼行為？」——它會增長、安定、振盪，還是爆炸？這個定性與數值的轉向，是階梯的下一個重大主題，而這兩個方程，正是把你推往那裡的那一下輕推。