什麼才算是一個解？

解是一個函數，不是一個數

在前兩篇指南中，你認識了微分方程的概念，也學會讀出它的階、以及它是線性還是非線性。現在我們要問整門學科賴以立足的問題：方程到底在什麼時候算是被回答了？心智的跳躍在於這點。在普通代數裡，解「x^2 = 9」是在獵捕一個數。在微分方程中，未知量是一整個函數，所以一個解是一整條曲線——一條在每一個輸入處、一次給出所有輸出值的規則。

把方程想像成在平面的每一點張貼一道指令：「在這裡你的斜率必須恰好是這麼多。」一個解就是一條曲線，它在某個區間上忠實地、處處都恰好以規則所要求的斜率前進——從不與之對抗。對 y' = 2y，曲線 y = e^(2x) 合格，因為在每一點它自身的斜率 2 e^(2x)，等於它高度的兩倍，也就是 2 乘 e^(2x)。曲線與規則在每一個 x 上都一致。這——也只有這——才是「成為一個解」的意思。

用代入法驗證——那個永遠管用的檢驗

這是本層最令人安心的事實：你永遠不必憑信心去相信一個解。因為未知量原本是個函數，你大可把一個候選函數及其導數代回方程，然後機械地檢查兩邊對區間內每一個 x 是否相等。這就是用代入法驗證解，而且即使你完全不知道答案是怎麼找到的，它依然管用——拿到一個猜測、一條教科書公式，或朋友的一句斷言，你都能在不求解任何東西的情況下確認或駁倒它。

宣稱：y = sin(x) 解出 y'' + y = 0。算出你需要的導數：y' = cos(x)，再得 y'' = -sin(x)。
代入左邊：y'' + y = (-sin(x)) + sin(x)。
化簡：-sin(x) + sin(x) = 0，這對每一個 x 都等於右邊。驗證成立。
同一套配方也能駁倒錯誤的猜測：y = x 不滿足 y'' + y = 0，因為 y'' + y = 0 + x = x，並不等於 0。

代入法也是你檢查隱解的方式——隱解是一個把 x 與 y 綁在一起、而非把 y 獨自端上的關係式。對 x^2 + y^2 = C，你做隱微分：2x + 2y y' = 0，重排後得 y' = -x/y。所以這個關係式確實是 y' = -x/y 的解，即便 y 從未被孤立出來。隱式答案就是完整的答案；只有在你真的需要數值時才解出 y，而那時你可能得挑出曲線正確的那個分支。

一個解，還是一整族？

解一個微分方程，你很少得到孤零零一條曲線——你得到的是一支艦隊。通解就是那條主公式，藉由旋轉名為任意常數的可調旋鈕，產生出每一個成員。旋鈕的數目與階相符：一階方程帶一個、二階方程帶兩個、n 階方程帶 n 個。對 y' = k y，通解是 y = C e^(kx)，當單一常數 C 掃過每一個實數值，這些曲線堆疊起來填滿整個平面——這就是單參數解族。

特解是那一族裡被選定的某一個成員，沒有剩下任何自由常數。你藉由給那個族一筆起始資訊來得到它。從 y = C e^(kx) 開始；得知 y(0) = 5，令 x = 0 得 5 = C e^0 = C，所以 C = 5，特解就是 y = 5 e^(kx)。從通解到特解的動作——寫出族，再套用條件釘住常數——是你將學到的幾乎每一種方法的標準收尾，而這正是下一篇指南要展開的初值問題。

equation order n  ->  general solution has n arbitrary constants

  y' = k y            y = C e^(kx)              (1 constant)
  y'' + y = 0         y = C1 cos x + C2 sin x   (2 constants)
  y''' = 0            y = C1 + C2 x + C3 x^2    (3 constants)

階決定了通解帶有多少個常數——也決定了需要多少個條件才能挑出一條曲線。

誠實的陷阱：當「通解」漏掉了解

人們很容易把「通解」讀成「字面上的每一個解」。對線性方程，這是對的。對非線性方程，要保持警覺——有些漏網之魚是那帶常數的族永遠捕捉不到的。第一種出現在你用除以 y 的方式去解可分離方程時。除法假定了 y 不為零，所以這一步悄悄丟棄了任何 y = 0 的常數解。那條被丟掉的曲線就是遺失的常數解：一個你的代數運算扔掉了的、完全有效的答案。永遠要另外檢查，看看某個常數函數是否滿足方程。

更深的一種是奇解：一個確實的解，卻完全落在通解族之外，任何常數值都生不出它。經典案例是克萊羅方程，它的族是一組直線，而一條彎曲的包絡線——與所有這些直線相切——也是它的解，卻不對應任何常數。這樣的包絡線正是奇解的幾何標記。要記住的是：「通」意味著「主要的那一族」，而非完整性的保證；對非線性方程，你必須去找那個族遺漏了什麼。

當公式不存在時——以及為何這沒關係

這是整門學科最令人清醒的誠實。入門課程裡那些整齊的封閉形式答案——e^(kx)、正弦與餘弦、漂亮的隱式關係——只是一小撮特殊的集合。絕大多數微分方程「沒有」能以初等公式表達的解。即使是看起來像 y' = x^2 + y^2 這樣無害的東西，也無法用你所認識的任何函數組合解出。解依然存在；你只是無法用有限的公式把它寫下來。

這非但不是死路，反而正是這門學科其餘部分存在的理由。當沒有公式可用時，兩扇門就打開了。數值方法以微小的步伐把解一步步往前推進，交給你一條由數字構成的近似曲線。定性方法則描述解的行為——它是上升、下降、在平衡解處趨平，還是爆掉——卻從不寫出任何公式。本層最後一篇指南，將用斜率場推開第二扇門：一種在你計算任何一條曲線之前，就能「看見」整族解曲線的方法。