從一族曲線到單一答案
在上一篇你已看到，解很少是單一函數——它往往是一大群函數。當你對 y' = 2x 積分時，得到的不是一條曲線，而是對*每一個*數 C 都成立的 y = x^2 + C，一疊上下平移的相同拋物線。這一疊就是通解，而那個浮動的 C 就是它的任意常數。一階方程式恰好留給你一個這樣的常數，所以它的解構成一個單參數族。
把整個族同時畫出來想像一下：一張無窮多曲線排成的格紙，每一個高度都有一條穿過。每一條都是一條積分曲線——它的圖形在每一點的斜率早已服從這個方程式。方程式本身無法告訴你，這些曲線中*哪一條*描述的是你那顆特定的落下蘋果、變涼的咖啡，或衰變的同位素。它們全都滿足同一條變化律，差別只在於起點不同。
因此方程式給你的是*所有可能歷史的形狀*，而要釘住真正發生的那一段歷史，還需要額外的資訊。那個額外的事實幾乎總是一次單一測量：系統在某一刻位於何處。提供它，就能把一整族變成一個特解——一條有名有姓的曲線。
初始條件：在格紙上釘一根針
這個額外的事實有個名字：初始條件。它是一句形如「在輸入 x = x0 時，未知量取值 y = y0」的陳述，簡寫成 y(x0) = y0。從幾何上看，它就是平面上的一個點。把這根針釘穿那張排滿積分曲線的格紙，通常恰好有一條曲線穿過被釘住的點——而那條曲線就是你的答案。
把一個方程式與這樣的條件配成一對，就是初值問題，簡稱 IVP——它是整個學科中最常見的問題類型。「初」這個字來自時間：若 x 是時間，y(0) = y0 就說「這是起始時刻的狀態」，方程式接著把它向前演化。這兩部分扮演不同角色：方程式提供*律則*（事物如何變化），而初始條件提供*資料*（事物從何處出發）。
equation: y' = f(x, y) the law of change condition: y(x0) = y0 one measured point ---------------------------------------------------- together: one IVP -> (normally) one particular solution
解 IVP：先求解，再選定
標準的做法簡單到令人愉快。先盡你所能把方程式解出來，一路帶著那個未知常數。然後把初始條件代入，算出那個常數。第二步只不過是一個關於某個數的方程式，往往只需一行算術。
- 求出通解，保留那個任意常數。對於 y' = 2x 且 y(0) = 3，你會得到 y = x^2 + C。
- 把初始點代入這個通解：在 x = 0 時 y 必須等於 3，所以 3 = 0^2 + C。
- 解出那個常數：C = 3。恰好只有一個值符合。
- 把填好常數的特解寫出來：y = x^2 + 3。這就是你選定的那一條曲線——若願意，可用代入法驗證它。
在這個整潔的程序裡藏著兩個警告。第一，有時把條件在解的*過程中*就用上，會比留到最後容易得多——對一個可分離變數的 IVP，你可以把不定積分換成從初始點起算的定積分，那個常數根本不會出現。第二，若你在解的途中曾除以某個表達式（分離變數時的經典動作），你可能悄悄丟掉了一些常數解，而帶著單一 C 的那一族並無法把它們找回來。通解涵蓋甚廣，但它並不總是*全部*的真相。
一根針真的只挑出一條曲線嗎？
我們一直說「通常」有一條曲線穿過被釘住的點，這個保留語很重要。那個乾淨的圖像——每一點都恰有一條積分曲線穿過——是一條定理，而非處處成立的保證。確立它的結果是Picard-Lindelof 定理：若右端的 f(x, y) 在你的起點附近夠平滑，則該 IVP 在 x0 周圍的某個區間上有且僅有一個解。
「夠平滑」有一個精確的意思，我們會在後面的階段中細究：f 必須對 y 滿足 Lipschitz 條件——大致說，當 y 移動時 f 的變化不能太陡。當這個條件成立時，兩條不同的積分曲線永遠不會相交或相切，所以一根針只能釘住其中一條。這種不相交正是唯一性的幾何核心，也正因如此，斜率場看起來像梳得整齊的頭髮，而非一團亂麻。
為何我們信賴那唯一一條曲線
當定理的條件確實成立時，這個 IVP 就是數學家所謂的適定：解存在、唯一，而且同樣重要的是，它對資料連續地依賴。把起點 y0 稍稍挪動，被選中的曲線也只稍稍移動，至少在有限的範圍內如此。最後這個性質正是建立在微分方程上的物理之所以可信賴的原因：一次我們永遠無法做到完美的測量，仍能給出一個我們能依靠的預測。
不過，要誠實面對那些附帶細則。「連續依賴」並不等於「不敏感」。在長時間尺度上，即便是適定的問題，也能把微小的差異放大到極致——這種確定卻又不可預測的行為，我們日後會稱之為混沌。而且，保證唯一解存在的那個區間可能很短：有些解會在有限時間內衝向無窮，定理所承諾的，從來只是起點附近的一條曲線，而非永遠延伸的一條。
在向上攀登時，請把這個大格局放在眼前。方程式是無數段歷史所共享的律則；初始條件是選出你所關心那段歷史的那一個事實；而 IVP 就是兩者的結合。前方幾乎每一種技巧——分離變數、積分因子、Laplace 變換、每一種數值方法——歸根究柢，都是一種方法，讓你從那個被釘住的起點出發，沿著律則所容許的那唯一一條曲線走下去。