那個承諾從來都是局部的
回頭看看本級每條定理的附帶細則。皮亞諾給了你在起點 x0 周圍 某個 區間上的一個解。皮卡-林德洛夫定理 藉著加上 利普希茨條件，把它升級為一個 *唯一* 的解——但仍然只在 x0 周圍某個區間上。誠實地讀皮卡-林德洛夫，你會發現它從不說「對所有 x」。它交給你的保證本質上是 局部的：在起點一個可能極小的鄰域裡，有一個解，而且它是唯一的。
局部保證與全域企圖之間的這道縫隙，正是這最後一篇的整個主題。你會很希望知道解對你可能在意的每一個 x 都活著——但目前為止沒有任何東西能保證這點。誠實的區分是 局部對全域：由上面那些定理，局部解 在 x0 附近存在；而全域解要能在你想要的整個範圍上存活。從前者跳到後者並不免費，而看清楚究竟為什麼，正是接下來一切的重點。
把碎片縫起來：解的延拓
那麼你要怎麼伸得比第一個小區間更遠？你重新套用定理。假設皮卡-林德洛夫給了你直到某點 x1 的解，在那裡它取值 y1。現在把 (x1, y1) 當成一個全新的起點，再套一次定理：只要 f 在 (x1, y1) 附近仍然連續且滿足利普希茨條件，你就在 x1 之外又得到一小段解。把它黏到第一段上。這種縫合就是 解的延拓，它讓你能一步一步不斷延伸。
把這個過程推到極限，你就抵達了 最大存在區間——也就是那條最大的開區間，比方說圍繞 x0 的 (a, b)，唯一的解就活在其上。依其構造，它再也無法延伸：它是解完整的自然壽命，是「解能撐多久？」的答案。最大存在區間 由方程與初始條件共同唯一地決定；它不是你挑選的，而是問題替你定下的。
有限時間爆破：戲劇性的退場
第二種退場方式——數值狂奔向無窮——有個生動的名字：有限時間爆破。最乾淨的例子是 y' = y^2 並帶有 y(0) = 1。右端 f(x, y) = y^2 在任何有界區域上都光滑且滿足利普希茨條件，所以皮卡-林德洛夫爽快地給出唯一的局部解。分離變數，你得到 y(x) = 1/(1 - x)。看看會發生什麼：當 x 爬向 1 時，分母縮到零、y 衝向無窮。即便方程本身看起來再溫馴不過，解就在 x = 1 處乾脆不再存在。
y' = y^2, y(0) = 1 separate: dy/y^2 = dx -> -1/y = x + C fit y(0)=1: C = -1 -> y(x) = 1 / (1 - x) x -> 1^- => y -> +infinity (BLOW-UP at x = 1) maximal interval of existence: (-infinity, 1)
這裡有兩個沉重的教訓。第一，局部定理說的全是實話：它們從頭到尾只承諾 x = 0 附近的解，而解確實活在 (-infinity, 1) 上、再多一吋都不行。第二——也是必須打破的迷思——一個光滑、滿足利普希茨、漂亮地唯一的右端，並不 保證有全域解。有限時間爆破 正是「一個完全適定的 初值問題 仍可能只有撐一陣子的解」的日常理由。f 的良好性控制存在與唯一；它本身並不控制壽命。
什麼能逼出永遠存在的解
如果 f 的良好性還不夠，那什麼才夠？最乾淨的充分條件是一個成長上限。若 f(x, y) 對 y 的成長不快於線性——具體說，|f(x, y)| 保持在類似 A + B|y| 之下——那麼解就根本無法在有限時間內抵達無窮，最大存在區間便是整條實線。y^2 之所以爆破，正是因為它 *平方地* 成長：這麼強的回饋會跑贏任何有限的時鐘。把回饋放慢到線性，爆炸就被禁止了。
讓這件事嚴格化的工具是 格朗沃爾不等式。粗略地說，它告訴你：若一個量的成長速率被該量自身的某個倍數所界住，那麼這個量至多只能指數成長——而指數成長無論多快，仍要花無窮久才能抵達無窮。所以 f 的線性成長界送進 格朗沃爾不等式，出來的是 |y| 的一道指數天花板，它讓解在每個有限的 x 處都保持有限。這也正是為什麼每個係數連續的線性方程 y' = p(x) y + q(x)，其解都活在係數所在的整個區間上：線性 *本身* 就是一道線性成長界。
誠實核對：成長界對全域存在是 *充分* 而非必要。邏輯斯諦方程 y' = r y (1 - y/K) 的右端同樣是平方的，但它的解永不爆破——超過承載容量之後的負回饋，把每條軌跡都彎回 K。所以真正的問題從來不只是「f 有多大」，而是「回饋是否把解夠快地往外推、推到能逃逸」。平方又往外的會爆炸；平方但自我限制的能存活。
為什麼存在區間的問題為本級收尾
退一步，看清楚藏在「解這個初值問題」這句天真話語裡的三個承諾，如今已被完全拆開。存在：皮亞諾，僅憑連續性。唯一：皮卡-林德洛夫，一旦你加上利普希茨條件。壽命：最大存在區間，可能被爆破截短。每個承諾都需要它自己的假設與它自己的論證，沒有任何一個能蘊涵其餘的。這份乾淨的解剖，正是這整級真正的獎賞。
還有一個承諾值得點名，因為接下來幾級都靠著它：解 *連續地* 依賴於資料。把初始條件輕推一點，解也只移動一點，至少在有限區間上如此——這就是 對初始條件的連續依賴，它同樣是格朗沃爾不等式的副產物。存在加唯一加連續依賴，三者合起來，正是問題 適定 的意思。適定性 是一張正式的許可證，它說：是的，放手在電腦上解這個問題，並信任你得到的結果吧。
而這就是走出本級的那道門。既然你已能信任「在一個確定的區間上存在唯一的解，且它隨資料可預測地彎曲」，你便有了去追它的許可。本階梯後面的數值方法，一步一步逼近的正是這個解；定性的相平面推理，則不靠公式描述它的形狀。兩者都立足於你剛剛掙得的這張證書——那裡恰好有一個解等著被找到，而且你誠實地知道，它能撐多久。