在你求解任何東西之前要問的兩個問題
本梯級前面的幾篇教過你去解那些可解的：可分離方程、線性方程的積分因子，以及若干特殊技巧。但你這輩子寫下的大多數一階方程 dy/dx = f(x, y)，其解根本沒有公式——能解出它們的那個積分是非初等的，或者方程本身就是貨真價實的非線性，沒有任何方法碰得了它。所以在你伸手去取技巧之前，還有兩個更基本的問題值得誠實地回答。給定一個起點——一個初值問題，即方程 dy/dx = f(x, y) 配上一個條件 y(x0) = y0——過那一點的解曲線究竟存不存在？倘若存在，它是唯一的嗎，還是可能有兩條不同的曲線都過同一點、都服從同一條定律？參見初值問題。
這些不是迂腐的顧慮。唯一性正是讓一個微分方程成為一條好用的自然定律的東西：若你知道一個系統此刻的狀態，正是唯一的未來才讓你能預測它。存在性則告訴你：在你浪費一個下午去搜尋公式之前，這個問題是否根本就是適定的。而那個令人意外的事實——本篇之所以存在、要講得鮮活的事實——是：你能把這兩個問題都了結，甚至畫出整族解曲線，卻根本不必找到任何一個解的公式。方程本身，只要讀法對，就把那幅圖景交到你手上。
斜率場：用眼睛求解
下面就是那個核心技巧，簡單得幾乎令人不好意思。方程 dy/dx = f(x, y) 是一份配方：在平面上的每一個點 (x, y)，它都告訴你，一條解曲線若過那點，必須具有的斜率。要讀出這一點，你無需求解任何東西——只要把點代進去。於是走到一個點，算出 f(x, y)，就在那裡畫一小段帶著這個斜率的線段。在一整片網格點上都這麼做，你就得到一張方向場（也叫斜率場）：一片覆蓋平面的、由許多傾斜小短劃組成的草地，每一劃都是一條局部指令，說著「一條從這裡穿過的解，必須朝這個方向走去」。參見方向場。
現在是魔法時刻。一條解曲線無非就是這樣一條曲線：在它經過的每一點，它都與坐落在那裡的小短劃相切——因為根據「解方程」這件事的定義，它的斜率 dy/dx 恰好就是 f(x, y)。這不過是卷一裡那個想法——導數就是切線的斜率——反過來讀：你不再從一條已知曲線算出斜率，而是培育一條曲線去匹配規定好的斜率。於是你真能用手描出一個解。把鉛筆尖落在任一起點，看它底下的短劃，朝那個方向滑一小步，再看新的短劃，再滑——你掃出的那條光滑曲線，就是過那一點的解。不同的起點給出不同的曲線，它們合在一起，就用整族解填滿了平面。
讀一張真實的場：dy/dx = y
我們用文字造一張具體的場。取 dy/dx = y，指數增長的方程。任一點處的斜率就是高度 y 本身：在 x 軸上（y = 0）每一劃都是平的，在軸上方很高處短劃陡峭地朝上傾斜，在下方很低處陡峭地朝下傾斜，而整片場左右對稱，因為 x 從不進入公式。從剛好在軸上方處起描一條曲線，它先輕輕地往上爬，接著變陡、衝向天際——它越爬，短劃越陡，餵養著自身的增長。從剛好在軸下方處起描，它則以鏡像之姿墜向負無窮。我們碰巧知道這裡的答案是 y = C e^{x}，但請注意：在寫下公式之前，你就能在場中看見那整個解族的全部形狀。
這張場還揭示出公式可能藏起來的結構。沿 y = 0 那條平整的短劃線本身就是一個解——那個恆等於零的常數解——而沒有別的曲線會越過它，因為越過就會迫使相遇點處出現兩個不同的斜率。那條分界線是一個平衡點，它把平面劈成上半個世界（曲線轟然上衝）與下半個世界（曲線墜然下落）。當 f 像這樣只依賴於 y 時，方程被稱為自治方程，它的場在每一條豎直窄帶裡看起來都一樣；正是這種特殊結構，被下一篇講相位線的內容所利用。眼下的教益很樸素：斜率場把平衡點、對稱性，以及每個解的長期命運都擺給你看——全都直接從 f 讀出，不需一次積分。
皮卡-林德勒夫：圖景何時可信
跟著短劃描出一個解，感覺萬無一失——但它悄悄假定了恰好有一條曲線從你的起點冒出來。皮卡-林德勒夫定理（也叫皮卡存在唯一性定理）精確地說出這個假定何時是掙來的。乾淨的版本是：若 f(x, y) 在你起點 (x0, y0) 周圍的一個方塊裡連續，並且 f 在 y 方向上變化得不太劇烈——術語上叫它關於 y 是利普希茨的，只要偏導數 partial f / partial y 在該點附近存在且保持有界，這一條就有保證——那麼這個初值問題恰好有一個解，至少活在 x0 周圍某個小區間上。存在與唯一，二者俱呈，全程不見一個公式。參見皮卡-林德勒夫定理。
為何對 partial f / partial y 的一個界能給你買來唯一性？誠實的答案，是一個藏在定理內部、能自我改進的美麗循環。把問題改寫成積分：y(x) = y0 + the integral from x0 to x of f(t, y(t)) dt——解方程，就是當那個積分的一個不動點。現在從對 y 的一個粗糙猜測開始，把它餵進右邊得到一個更好的猜測，再把它餵回去，如此反覆。利普希茨條件恰恰是那個齒輪，讓每一遍都把誤差縮小，於是這些猜測向著唯一一條極限曲線逼攏。這個證明是一台你真能開動的機器，而它正是驅動數值求解器的那個同一個不動點思想。
Picard iteration for dy/dx = y, y(0) = 1 (so f = y): y_0(x) = 1 y_1(x) = 1 + integral_0^x y_0 dt = 1 + x y_2(x) = 1 + integral_0^x (1 + t) dt = 1 + x + x^2/2 y_3(x) = 1 + x + x^2/2 + x^3/6 ... y_n(x) -> 1 + x + x^2/2 + x^3/6 + ... = e^x (the unique solution) The iterates are exactly the partial sums of the Taylor series of e^x.
誠實的附屬細則
這條定理很慷慨，但不是一張空白支票，而三條附屬細則會讓你保持誠實。第一條、也是最重要的一條：保證是局部的。它許諾在 x0 周圍某個小區間上有唯一解，卻對那個區間能伸多遠隻字不提。一個解可能在有限時間內爆向無窮、並就此不復存在——dy/dx = y^2 配 y(0) = 1，有那個再漂亮不過的解 y = 1/(1 - x)，它在 x 趨近 1 時狂奔向無窮，過了 x = 1 就根本沒有解，儘管 f = y^2 光滑得不能再光滑。f 的光滑性買不來一個永久存續的解；它只買來一個能起步的解。
第二條：當利普希茨前提真正失效時，唯一性也可能真正失效——這不是一個你能揮手抹去的技術細節。經典的例子是 dy/dx = square root of |y| 配 y(0) = 0。這裡 f 連續，所以解存在，但 partial f / partial y 在 y = 0 處爆掉，於是利普希茨條件恰恰在起點就破了。唯一性隨之碎裂：常數 y = 0 是一個解，y = x^2/4 也是一個解，還有一整族無窮多個解——它們在軸上停留一陣，然後在你喜歡的任何時刻剝離而去。無窮多條解曲線從同一點離開。斜率場沒法把這顯示給你看——在 y = 0 處每一劃都是平的、看上去人畜無害——而這正是你為何需要那條定理、而不只是那幅圖的全部理由。
把兩個想法合在一起
斜率場與存在唯一性定理，是同一份理解的兩半，它們互相為對方背書。定理保證了：你穿過場所描出的曲線是真實的、單一的、定義良好的——在利普希茨條件成立處，恰有一個解穿過每一點，於是眾多短劃拼成一族乾淨的、互不相交的曲線，朝哪邊走毫無歧義。而場使定理變得可見：解曲線永不相交，正是唯一性的幾何面孔；而場在某點處暈開、曲線扇形散開，正是某個前提失效的幾何面孔。一個給你嚴格，一個給你視力。
- 把方程寫成 dy/dx = f(x, y)，並把 f 讀作一道斜率指令：在平面的每一點，它都規定了過那裡的解必須具有的斜率。
- 在你起點附近檢驗前提：f 在那裡連續嗎？partial f / partial y 有界嗎？若是，皮卡-林德勒夫就在一個小區間上給你一個解——在局部相信那幅圖。
- 藉由等斜線勾出場（從 f = 0 入手），標出平衡點，再從你關心的起點出發、描出與短劃相切的解曲線——那就是整族解，未用一個公式畫就。
- 對界限保持誠實：保證是局部的（解可能在有限時間內爆掉），而在前提失效處（留意 partial f / partial y 爆掉的地方），要提防非唯一性或一個隱藏的奇解。
把這一點作為本梯級乃至下一梯級中一切內容的根基帶向前去。大多數微分方程無法以封閉形式求解，然而你遠非束手無策：斜率場把一個你永遠寫不出的解的形狀、長期行為與平衡點都擺給你看，而皮卡-林德勒夫則誠實地、連同它的界限一併說清，告訴你那幅圖何時配得上你的信任。下一篇會取自治這一情形，把整片二維的場壓縮成單單一條線——相位線——好讓你一眼讀出每個解的命運。