兩個定理，兩個不同的承諾
到目前為止，本級已交給你兩個聽起來相似、卻承諾著截然不同事物的結果。皮亞諾存在定理說：若 y' = f(t, y) 的右端 f(t, y) 在起點附近僅僅是連續的，那麼至少存在一個解。皮卡—林德洛夫定理要求得更多——要 f 滿足一個利普希茨條件——作為回報它也給你更多：恰好一個解。那兩個承諾之間的落差，正是這篇指南的全部主題。存在性幾乎是免費的；唯一性卻必須掙得。
人們很容易以為這兩者總是結伴而行——只要有解存在，它就必然是唯一的。這個假設是錯的，而弄清楚究竟為什麼，是理解微分方程的真正轉捩點之一。初學者常把初值問題想成一座只有一個出口的迷宮：選定起點，方程便逼著你沿著一條被迫的路徑往前走。當 f 是利普希茨的時候，這幅圖像是對的。一旦拿掉利普希茨條件，迷宮就可能分岔。
著名的反例：y' = y^(2/3)
考慮初值問題 y' = y^(2/3)，其中 y(0) = 0。右端 f(y) = y^(2/3) 處處都完美地連續——沒有除以零、沒有跳躍、沒有任何令人警覺的東西——所以皮亞諾欣然保證了解的存在。而確實有一個：水平線 y(t) = 0 滿足它，因為兩邊對所有 t 都為零。那是一個常數解，正是分離變數法最愛忽略的那一種。
但水平線並不孤單。把變數分離——integral of y^(-2/3) dy = integral of dt——你得到 3 y^(1/3) = t + C，所以第二個解是 y(t) = (t/3)^3 = t^3/27。驗證一下：這條曲線同樣從 y(0) = 0 出發，卻立刻爬離零。所以「同一個」起點 (0, 0) 容許兩個全然不同的未來：永遠保持水平，或像三次方那樣升空。一點通過兩個解，這已是唯一性的破壞——而我們才剛剛開始。
證明究竟在哪裡斷裂
回想利普希茨那篇指南裡，這個條件實際上替你買到了什麼。利普希茨界說 |f(t, y1) - f(t, y2)| 至多是 L |y1 - y2|——f 在 y 方向上的斜率永遠不能超過某個固定數 L。那單一個界正是讓皮卡迭代成為壓縮映射的關鍵成分，於是它的逐次逼近會收斂到唯一一個不動點。沒有利普希茨界，就沒有壓縮；沒有壓縮，就無法保證迭代收斂到單一極限。
對於 y = 0 附近的 f(y) = y^(2/3)，這樣的 L 不存在。取 y2 = 0 並讓 y1 朝零縮小：比值 |y1^(2/3) - 0| / |y1 - 0| = y1^(2/3) / y1 = y1^(-1/3) 在 y1 趨於 0 時無界地增大。沒有任何有限的 L 能壓在所有這些比值之上，所以 f 在原點處不是利普希茨的——而這正是一切所繫的唯一樞紐。皮卡—林德洛夫在此根本不適用；它從未承諾過任何事，所以它說的話沒有一句被打破。被打破的，是那個沒有說出口的、以為唯一性是免費的期待。
不只兩個解——而是無窮多個
這種分岔遠比在水平與三次方之間擲硬幣更糟。這裡有個引爆它的訣竅。任選一個等待時間 a 大於等於 0。造一個解，它在 t-軸上保持水平直到時刻 a，然後像一個平移過的三次方那樣剝離：當 t 至多為 a 時 y(t) = 0，而當 t 超過 a 時 y(t) = ((t - a)/3)^3。每一條這樣的曲線都是貨真價實的解——它在平衡解上停留一陣子，而因為斜率與值在升空點處都平滑地化為零，兩段毫無轉折地接合。
Three of the infinitely many solutions through (0, 0):
a = 0 y(t) = (t/3)^3 lifts off immediately
a = 1 y(t) = 0, t <= 1 waits, then lifts off at t = 1
y(t) = ((t-1)/3)^3, t > 1
a = inf y(t) = 0 for all t never lifts off (the flat line)
Every choice a >= 0 gives a different valid solution.由於 a 可以是任何非負數，通過單一點 (0, 0) 就有無窮多個解——一個連續統，每一個對應何時離開軸的一種選擇。這是值得帶走的圖像：唯一性的失效不是兩條曲線勉強略有不同的、髮絲般細微的技術問題。當它失效時，可以失效得驚天動地，整片解的洪流從單一個初始條件中傾瀉而出。順帶一提，那條水平線正是包絡整個族的奇解——一個 y = (t/3 + C/3)^3 中積分常數的任何單一值都觸及不到的解。
為什麼這不是一個牽強的邊角情形
把 y' = y^(2/3) 歸檔為「病態的奇珍」然後翻篇，這會讓人舒服。要抵抗這念頭。同樣的平方根、立方根式增長出現在真實模型裡：一個遵循托里切利定律的漏水箱，其流出量正比於 y 的平方根，恰恰在空箱狀態 y = 0 處不是利普希茨的——這正是為什麼「水箱何時排完」這個問題在時間倒退時可能沒有唯一答案。分數冪、絕對值、以及其他不光滑的右端很常見，而其中每一個都是在信任唯一性之前該檢查斜率的地方。
這裡還有一個關於建模誠實性的更深教訓。若你正在為某個物理事物建模，而你的方程失去了唯一性，數學是在告訴你：這個模型是欠定的——當前狀態確實沒有鎖定未來，你需要額外的物理來選擇一個分支。那不是數學的失敗——而是數學在盡職，標記出你的假設用盡了的地方。唯一性與決定論緊緊相連，而在它斷裂之處，決定論正對世界作出一個或許根本不成立的真實主張。
所以把這兩個承諾清楚地分開拿住。皮亞諾僅憑連續性就給你一個解；皮卡—林德洛夫把它升級成「那個」解，但只有付出利普希茨代價才行。每當你看到一個不光滑的右端，放慢腳步，問問斜率是否保持有界。本級下一篇也是最後一篇指南，會拿起那個倖存的解，問一個不同的問題——不是它是否唯一，而是它在時間上實際能伸展多遠，才會爆破或耗盡。