最大存在區間（maximal interval of existence）

存在性定理是謙虛的：它們只承諾在起點附近某個小區間上有解。但一旦你有了一個解，通常可以把它往左、往右繼續推，誠實地延伸到它能走的盡頭。最大存在區間就是包含起點 x0、且解在其上存活的最大開區間 (a, b)——那條特定軌跡的完整壽命，超出之後便無法再延續。

把它想成：沿著軌跡走，直到有什麼東西攔住你。一個解之所以無法越過某個有限端點 b，只有兩條路：要麼解在空間裡耗盡了餘地——當 x 趨近 b 時其值 y(x) 衝向無窮（有限時間爆破）——要麼它撞上了 f 有定義且乖巧之區域的邊緣。只要解停留在 f 乖巧的區域內、且其值保持有界，就能在新的前沿重新套用局部存在性定理、再往前推一點；最大存在區間正是那種推進終於變得不可能之處。端點 a 與 b 不必對稱，兩者都可以是有限或無限的。

這就是為什麼問「解是什麼」而不問「在什麼區間上」會誤導人。同一個看似工整的方程，可能給出對所有 x 都有定義的解，也可能給出只在一小段區間上存在、之後就爆炸的解。最大存在區間是解誠實的家；報出一條公式卻不附上它，會悄悄誇大公式有效的範圍。這個區間的寬度也可能取決於初始條件，所以輕推一下起始值，就可能縮短或延長解的壽命。