關於一個解的另一種提問
在前一級你學會了拿一個系統 x' = A x，把它的公式磨出來——特徵值、特徵向量，一個你能代入數字的乾淨 x(t)。那是精確的，也是強而有力的。但它只回答一種問題：*在時刻 t，這個解等於多少？* 本級要問的是另一個、往往更有用的問題：*這個解在做什麼？* 它會安定下來、爆掉、永遠繞圈，還是往某一側奔逃而去？這一切你都能不必寫下公式就回答——而對絕大多數連公式都不存在的真實方程而言，這是唯一剩下的路。
這份轉變，是從算術轉向地理。我們不再列一張數值表，而要畫一幅平面的*地圖*，在那幅地圖上，每一個解都成為一條你一眼即見的曲線。眼下我們把自己限制在兩個未知量，且其右邊本身不顯含時間的系統——一個自治平面系統，寫作 x' = f(x)、y' = g(x, y)。「自治」是關鍵詞：流動的規則釘在*地點*上，而非釘在時鐘上，而正是這一點，讓一幅固定的圖像得以描述從任何時刻啟程的運動。
向量場：一陣吹過平面的風
核心的重新框定在此。把 x' = f(x) 讀成的，不是一條待解的方程，而是一道*張貼在每一個點上的指令*。站在平面中任一位置 (x, y)；系統遞給你單獨一支箭頭——速度 (x', y') = (f, g)——告訴你下一步該往哪邁、邁多快。在每一個點都這麼做，你便用箭頭把整個平面塗滿了。那一片箭頭之場，就是速度向量場，它正是整條微分方程攤開成圖像的模樣：一陣穩定的風，在你決定踏上任何特定旅程之前，你早已能在任一處感受到它。
你先前見過它一個瘦弱的表親。對單一條一階方程 y' = f(x, y)，你畫過斜率場——一截截傾斜的短劃，在每一點給出斜率 dy/dx。向量場是更豐富的二維版本：每一支箭頭所帶的不只是方向，還有一個*長度*，把速率編碼進去，而且它活在兩個貨真價實的未知量所構成的平面裡，而非單一個函數的 x 對 y 圖。從前斜率是供你跟隨的傾斜，如今箭頭是供你乘馭的陣風。同樣的精神，往上一個維度，可看的也遠多得多。
軌跡：看得見的解
現在把一顆粒子放進那陣風裡。把它擱在一個起點上，讓它始終恰好沿著腳下的箭頭移動；它描出的曲線就是一條軌跡——也叫軌道——而它*就是*一個解，只是被畫出來而非寫出來。一個解 (x(t), y(t)) 是一個移動的點；它的軌跡是那個點隨 t 流逝所掃出的路徑。注意我們丟掉了什麼：軌跡顯示的是*路線*，而非*時刻表*。兩顆粒子能循著完全相同的曲線，一個慢吞吞、一個猛衝刺，在相平面上卻留下一模一樣的軌跡。
有一個事實統御著整幅圖像，值得牢牢記住：軌跡彼此永不相交。 因為風在每一點恰好指派一支箭頭，抵達該處的粒子便恰好只有一條離去的路——路上沒有岔口。（這就是存在唯一性那一級裡的唯一性，如今披上了幾何的外衣；在 f 不夠光滑、不滿足利普希茨條件之處它確實可能失效，但對此處這些線性而光滑的系統它成立。）於是諸軌跡像木料裡的紋理那樣鋪滿平面——它們可以彼此擁擠、迴旋掃過、甚至盤旋，但兩條相異的軌跡絕不可能真正相遇。唯一的例外，是箭頭為零的那種點，而那個特殊的所在，正是下一節的主角。
平衡點與流動
風止息之處會發生什麼？一個速度為零的點，即 f(x, y) = 0 與 g(x, y) = 0 同時成立之處，是一個平衡點——一個全然靜止的所在。一顆恰好擺在那裡的粒子永不移動，因為沒有箭頭去推它；坐在那一點上的常數函數本身就是一個解，而單獨一個點就是它的整條軌跡。平衡點是整幅相圖的骨架。永遠先找它們：平面中其餘的一切，都圍繞著風在它們鄰域裡如何作為而編排。
把*所有*軌跡匯集起來，你便得到系統的流——那個宏大的記帳規則，拿任一個起點，告訴你它在時間 t 之後漂到了何處。流是系統的命運機器：交給它一個你此刻所在，它回給你一個你終將抵達。在一個平衡點附近，流袒露出它的性格，而那性格只有一份簡短的菜單可選——風是排*入*那個靜止點、由其中噴湧*而出*、繞著它*旋轉*，還是做出某種分裂之舉？為那些型態命名、把它們讀懂，正是前方諸篇的工作。
這裡先給一張路線圖，免得那些名字降臨時讓你措手不及。對一個線性系統，那唯一的平衡點是原點，而它落入屈指可數的幾種形狀之一：結點，其附近每一條軌跡都筆直地進或筆直地出；鞍點，沿一個方向把東西吸入、沿另一個方向把東西甩出；螺旋點，諸軌跡一面旋轉一面捲入或捲出；以及中心，那是閉合環圈永遠繞行的微妙情形，既不增長也不收縮。本級最末一篇——跡—行列式平面——把這一切打包進單一幅圖，你只憑矩陣 A 的兩個數字便能讀出。
相圖：所有未來盡在一圖
現在把一切組裝成一幅圖。標出平衡點，畫上一把有代表性的軌跡，每條配一個小箭頭標明行進方向，你便有了一幅相圖——整門學科的招牌圖像。一旦你體會到它，它的威力令人屏息：單獨一幅靜態的圖，同時展示*每一個*可能初值條件的未來。挑任一個起始點，循著穿過它的那條曲線走，你便讀出了那個解的整個命運，什麼都不必解。一幅草圖，回答無窮多個若是如何。
兩句誠實的提醒，能使這一切不致淪為魔法式的妄想。其一，相圖是定性的：它忠實地顯示形狀與方向，卻丟掉了時刻表，所以它無法告訴你一顆粒子*何時*抵達某個地點，只能告訴你它正朝那裡去。其二——而這正是通往非線性世界的那座大橋——對一個*非線性*系統，你研究每個平衡點的方式，是把它附近那陣彎曲的風，換成最佳的直線之風，即它的線性化，再去讀那個相匹配的線性相圖。那一替換唯有在雙曲平衡點處才可信賴，亦即每個特徵值的實部都不為零之處；恰好落在一個中心上時，那些線性的環圈可能是一場海市蜃樓，真正的非線性流會悄然地穿過它盤旋而去。對這道分界線的誠實，正是把真正的理解與一張漂亮的卡通圖區分開來的所在。
system: x' = f(x, y) (autonomous)
y' = g(x, y)
vector field: at each point (x,y), draw arrow (f, g) -> the wind
trajectory: release a point, follow the arrows -> one solution
(trajectories never cross; route, not timetable)
equilibrium: f = 0 AND g = 0 -> arrow is zero
types: node | saddle | spiral | center
phase portrait = equilibria + sample trajectories + direction arrows
= the future of EVERY initial condition, in one picture本級要帶你去哪裡
你如今握住了本級餘下部分賴以構築的四個詞——場、軌跡、平衡點、相圖。從此往後的計畫，是把每一個都弄精確，然後使其能徒手畫出。接下來我們把鏡頭推近單一個平衡點，問清楚流在它緊鄰的鄰域裡究竟如何作為；其後我們為全體角色命名——結點、鞍點、螺旋點、中心——並學會每一種的特徵值指紋。隨後跡—行列式平面把那整套分類壓縮進一幅總綱圖，而最末一篇把這一切化為一套徒手作畫的食譜。
請從這一篇裡帶走一句話，凌駕於所有其他之上：一個解不只是一條公式，它是一條*穿過風的路徑*，而相圖一次顯示所有的路徑。正是那一幅心象，讓定性理論得以運轉——也正是當公式用罄時仍存活下來的那幅圖像，而對野外幾乎每一條值得在意的方程，公式終究是會用罄的。