我們從未停下來問的問題
到目前為止，你一直是個解題者。你分離變數、跑積分因子、追捕恰當方程裡隱藏的位勢——每一次，你都從一個悄悄成立的假設出發：解就坐在那裡，等著被找到。這個假設值得受審。給定一個 初值問題 y' = f(x, y) 並帶有 y(x0) = y0，到底存不存在任何一個函數，能穿過給定的點又服從這個方程？這就是 存在性問題，它在邏輯上先於你學過的每一個配方：一個計算公式的方法，若根本沒有解可供它計算，便毫無價值。
讓這個問題變得迫切的關鍵在於：絕大多數微分方程根本沒有封閉形式的解。那少數幾個你能用分離變數或線性配方攻克的方程，是幸運的例外，而非常態。對於絕大多數方程——也就是本階梯後面的數值與定性方法專為應付而生的那些——你永遠寫不出公式。所以你無法靠「直接拿出一個解」來回答「解存不存在？」。你需要一條定理，它能在從不展示解本身的情況下，認證解的存在。
一片你永遠能沿著走的斜率場
要感受「為什麼解應該存在」，最乾淨的辦法是想像 斜率場。方程 y' = f(x, y) 並不直接交給你一條曲線，但它確實在平面上每一點種下一支小箭頭：在 (x, y) 處規定的斜率正好是 f(x, y)。一個解不過就是一條曲線，它走到哪裡都與那些箭頭相切。於是存在性問題變得無比具體：從 (x0, y0) 出發，你能否永遠順著當地箭頭所指的方向繼續走下去？
直覺說「能」，只要那些箭頭不要瘋狂地猛然抽動。如果方向場變化平滑——甚至只要連續——那麼當你跨出極小的一步時，下一支箭頭幾乎指向上一支所指之處，你便能順著它們連成一條不中斷的曲線。反之，若 f 有劇烈的跳躍，箭頭之間就可能互相矛盾，把你困在沒有任何一致方向可踏的地方。這幅圖像正是 皮亞諾存在定理 的內容，它把那份直覺轉化成一個保證。
皮亞諾定理：連續性就夠了
這裡是定理的陳述，剝到只剩骨幹。若 f(x, y) 在平面上某個包含起點 (x0, y0) 的矩形上連續，那麼初值問題 y' = f(x, y)、y(x0) = y0 在 x0 周圍的某個區間上至少有一個解。整個假設就這樣：f 連續。不需要光滑、不需要特殊形式、不需要可分離——只要一片不中斷的方向場。皮亞諾存在定理 之所以慷慨，恰恰因為它要求得這麼少。
有兩條附帶細則很重要，誠實要求我們把它們大聲說出來。第一，定理只承諾在 x0 周圍 某個 區間上有解，這區間可能很短——它從不宣稱解能對所有 x 存活下去。它實際能伸展多遠，是 存在區間 的主題，也就是本級最後一篇。第二，更令人吃驚的是，皮亞諾承諾的是「至少一個」解。它對這個解是否唯一隻字不提。連續性為你買到的是存在，僅此而已。
存在性還不夠的地方
皮亞諾留下的那道縫隙不是理論上的細枝末節——有些誠實又簡單的方程，正是在這道縫隙上出問題。經典的例子是 y' = y^(2/3) 並帶有 y(0) = 0。右端的 f(x, y) = y^(2/3) 處處完全連續，所以皮亞諾爽快地保證解存在。確實存在：常數函數 y(x) = 0 坐在起點上、永不移動。但它並不孤單。函數 y(x) = (x/3)^3 也穿過 (0, 0) 且滿足方程，還有一整族函數，它們先在零點逗留一陣子、再剝離而去。一個初始條件，無窮多個解。
這就是 唯一性的失效，而且它並不是為了刁難而精心炮製的病態。在斜率場圖像裡，問題在於 x 軸附近的箭頭陡得太突然——f(x, y) = y^(2/3) 雖連續，但它對 y 的斜率在 y 趨近 0 時爆掉——以致原點處的曲線真的面臨一個岔口。這片場連續到足以讓路徑存在，卻不夠規則到能逼出唯一一條路徑。這裡的 唯一性失效 是斜率場誠實的答案，而非我們推理上的瑕疵。
缺失的那味材料，以及接下來的事
於是診斷很犀利。f 的連續性交付了存在性，卻可能讓唯一性敞開一個大口。要把那個岔口封住，我們需要控制的不只是 f 有多大，而是它隨 y 變動時能變得多快——禁止那些箭頭過於劇烈地變陡。這份額外的控制有個你下一篇就會遇見的名字：利普希茨條件，它對「當 y 改變時 f(x, y) 能改變多少」設下一個量化的上限。而這正是 y^(2/3) 在原點處所無法滿足的。
把利普希茨條件加到連續性上，你便從「有一個解」升級為「恰好有一個解」——這就是著名的 皮卡-林德洛夫定理。更妙的是，它的證明是構造性的：它不只是斷言唯一解存在，而是把它建造為一串不斷改良的猜測所構成的數列的極限。那個構造，也就是皮卡疊代，是本級第三篇的引擎，它與悄悄驅動許多數值方法的，正是同一個不動點念頭。
f continuous => a solution EXISTS (Peano)
f continuous + Lipschitz => exactly ONE solution (Picard-Lindelof)
example y' = y^(2/3), y(0)=0 :
continuous -> a solution exists (e.g. y = 0)
NOT Lipschitz at y=0 -> also y = (x/3)^3 ... uniqueness fails在你往上爬時，請記住這個誠實的框架。存在性定理認證的是「有一個解在那裡等著被逼近」；它們幾乎從不直接遞給你一個公式。這不是理論的弱點——它正是這門學科的其餘部分，那些數值方法與定性的相平面推理，之所以存在的理由。知道斜率場某處住著唯一一個解，正是你拿著電腦去追它、並信任所得答案所需的那張許可證。