從一句斷言到一個構造
到此你手裡握著兩個承諾。第一篇用 皮亞諾定理 發誓：只要右手邊 f(t, y) 僅僅連續，初值問題 y' = f(t, y)、y(t0) = y0 就至少有一個解。第二篇加上 利普希茨條件，把它升級為恰好一個解。兩者都只是存在性的斷言——它們告訴你解就在那裡，卻從未示範如何把它抓到手中。這一篇把這道缺口補上。皮卡疊代 是一套真正把解造出來的配方，一次造出一個近似，而且還順手從內部把存在與唯一性重新證明一遍。
第一步你其實早就悄悄見過：把微分方程化成積分方程。把 y' = f(t, y) 兩邊從起始時刻 t0 積到一般時刻 t。左邊會伸縮抵消——導數的積分不過是 y 的變化量——得到 y(t) - y(t0)。把 y(t0) = y0 移過去，整個初值問題就變成 y(t) = y0 +（從 t0 到 t 對 f(s, y(s)) ds 的積分）。這就是問題的 不動點形式，它把初始條件直接摺進了式子裡頭。
那一次積分悄悄做了一件有力的事：它把一句關於導數的陳述，轉成了一句關於 y 本身的陳述，初始條件已烘焙在內，也沒有任何導數需要另外去滿足。代價是未知的 y 如今同時出現在兩邊——左邊一個，右邊的積分裡又一個。這種自我指涉的形狀看似是麻煩，卻正是疊代可以反覆咀嚼的那種形狀。
迴圈：猜測、代入、重複
留意積分形式那種彆扭的美：未知的 y 出現在左邊，也出現在右邊的積分裡。你沒辦法直接算出右邊，因為要算它你得先知道 y。於是你改用自舉。隨便對 y 做個粗糙的第一猜測——最簡單又誠實的選擇是常數函數 y0(t) = y0，那條至少滿足初始條件的水平線。把這個猜測送進右邊的積分，出來一個新的、通常更好的函數，叫它 y1。再把 y1 送回去得到 y2，把 y2 送進去得到 y3，如此繼續。這個迴圈就是 皮卡疊代，每跑一圈就是一輪 逐次逼近。
y_0(t) = y0 (flat first guess)
y_1(t) = y0 + S[t0..t] f(s, y_0(s)) ds
y_2(t) = y0 + S[t0..t] f(s, y_1(s)) ds
y_3(t) = y0 + S[t0..t] f(s, y_2(s)) ds
...
y_{n+1}(t) = y0 + S[t0..t] f(s, y_n(s)) ds
the y_n converge to the true solution y(t)親手做一個小例子很值得，因為這份魔法是具體的。取 y' = y、y(0) = 1，它的真正答案你早已知道是 e^t。從 y0 = 1 起步。則 y1 = 1 +（從 0 到 t 對 1 ds 的積分）= 1 + t。接著 y2 = 1 +（對 (1 + s) ds 的積分）= 1 + t + t^2/2。再來 y3 = 1 + t + t^2/2 + t^3/6。每一步都恰好黏上 e^t 泰勒級數的下一項。那個粗糙的水平猜測正一項一項地銳化成它本該成為的函數——你字面上正看著 e^t 把自己組裝起來。
為何這些猜測非收斂不可
看著 e^t 浮現固然令人愉快，但為何這個迴圈在一般情形下該收斂，而不是亂晃或炸開？正是在這裡，第二篇的利普希茨條件發揮了它的價值。「拿一個函數、把它推過積分」這個操作，是一台把函數變成函數的機器。f 上的利普希茨界控制著這台機器能把兩個輸入之間的差距拉伸多少：若兩個猜測相差某個量，它們的輸出相差一個更小的量——至少在夠短的時間區間上是如此。一台總是把距離縮小的機器就是一個 壓縮映射，而這正是 壓縮映射原理 的核心。
一旦你知道這台機器是壓縮映射，剩下的幾乎是必然。把每個函數想成一個廣大函數空間裡的點，把積分機器想成一條「讓每個點都更靠近某個特別位置」的規則。一再施用它，每個起點都螺旋落入那單一的歇腳處——一個機器留之不動的點，也就是 不動點。但積分機器留之不動的函數，正好就是滿足 y(t) = y0 +（f 的積分）的函數，也就是我們初值問題的積分形式。所以皮卡數列的極限就是那個解，螺旋不可能落在別處，收斂與唯一性都從同一個論證裡掉了出來。
它究竟給了你什麼，又沒給什麼
人們很容易把皮卡疊代讀成一套實用的解法——把迴圈轉個幾圈，把答案讀出來。對此要誠實：它作為一個證明，遠比作為一台計算器有價值。像 e^t 那樣、每個積分都化成初等函數、各項又組裝成一個認得出的級數的乾淨情形，是例外。對一般的 f(t, y)，第一個積分就可能已經沒有封閉形式，而第二輪疊代還要你去積一個由它搭起來的東西。當作徒手解法，它幾乎立刻就卡住；這不過是「多數常微分方程根本沒有封閉形式解」這個鈍實事實的又一張臉。
- 把 y' = f(t, y)、y(t0) = y0 改寫成積分形式：y(t) = y0 +（從 t0 到 t 對 f(s, y(s)) ds 的積分）。
- 用水平猜測 y0(t) = y0 起步，那個已經符合初始條件的常數。
- 把目前的近似代入右邊的積分，得到下一個：y_{n+1} = y0 +（對 f(s, y_n(s)) ds 的積分）。
- 重複。若 f 對 y 滿足利普希茨，積分映射在短區間上是壓縮映射，於是 y_n 收斂到那唯一的真解——這正是證明所保證的。
那麼它究竟給了你什麼？第一，皮卡—林德洛夫定理 的一個構造性證明：存在與唯一性不再是憑信心接受，而是由一個明確的極限掙來的，以最令人滿意的方式回答了 存在性問題。第二，一個處處受用的思維模型——每當一個數值格式收斂到穩態、或一個遞迴映射安頓到不動點時，同一個壓縮念頭都會再度現身。第三，它畫出了你接下來要探究的那條銳利界線。拿掉利普希茨條件，積分機器就可能不再是壓縮映射；那時螺旋可能落在不只一處，唯一性就會碎裂。那道懸崖邊——y' = y^(2/3) 以及它穿過原點的眾多解——正是第四篇開場的地方。