你一直在花用的一張借據
在上一篇裡，你做了一件大膽而略帶可疑的事。面對一個彎曲的非線性系統 x' = f(x)，你站到一個平衡點上，在那裡算出雅可比矩陣 J，把每一個高階項都扔掉，然後宣告：*在這一點附近，系統的行為就像 x' = J x。* 接著你讀出特徵值，把那個平衡點喚作結點、鞍點或螺旋點。在那些例子上它運作得漂亮極了。但細心的讀者該感到不安。你刪掉的，正是讓方程變得有趣的那一份非線性——是什麼給了你權利，去相信剩下的那張線性卡通圖，竟與真實之物有半分相似？
那份不安完全正確，而它值得一個誠實的回答，而非聳一聳肩。線性化是一張*借據*：它聲稱非線性系統的局部圖像，與它線性化的局部圖像相符。這張借據並非免費——總得有人擔保它能兌現。哈特曼—格羅布曼定理正是那份擔保。它道出那一替換合法的精確條件，並且——同樣要緊——在那借據唯一會跳票的情形周圍，劃下一道清晰的界線。本篇要做的，就是仔細地讀懂這份合約，因為不知其細則便動用線性化，正是自信的學生抵達自信的錯誤結論的途徑。
「行為就像」非得是什麼意思不可
在能證明任何事之前，我們得先釘住「行為就像」這個滑溜的說法。它不可能意味著諸解*相等*——它們顯然不相等；非線性軌跡在線性軌跡走直線之處彎了過去。它甚至不可能意味著它們永遠在數值上彼此貼近；一個真解與它線性近似之間極微小的初始落差，可隨時間推移而無界地增長。那麼，存活下來的是什麼？答案是*相圖的形狀*——諸軌跡如何環繞平衡點排布的那套定性樣式：哪些流入、哪些流出、共有幾個方向、是否盤旋。我們所要求被保住的，是那套樣式，而非那些確切的曲線。
數學家說「同一形狀」的方式，是拓樸等價，又稱拓樸共軛。設想把那線性系統的相圖印在一張完美富彈性的橡皮上。你愛怎麼彎、怎麼拉、怎麼扭那張皮都可以——這裡壓扁、那裡拉長——只要你絕不把它撕破、絕不把兩個點黏成一個。凡你能藉這種溫和的扭曲抵達的圖像，都算作「同一個」。當兩幅相圖中的一幅，不過是另一幅連續彎曲後的複本，且每條軌跡上的流動方向都被保住，它們便是拓樸等價的。這是一種寬容的「相同」觀念——它無視角度、速率、確切曲率等一切度量上的細節——而正是這份寬容，才使得一條關於它的定理有可能為真。
定理本身，與它唯一的要求
現在來看定理，剝到只剩核心。取一個光滑系統 x' = f(x)，它在某點有一個平衡點，我們不妨就喚作原點，並令 J 為它在該處的雅可比矩陣。哈特曼—格羅布曼定理說：*若 J 的每一個特徵值的實部都不為零，那麼在平衡點的一個小鄰域裡，非線性流與線性系統 x' = J x 的流拓樸等價。* 那唯一的條件——沒有特徵值坐在虛軸上——就是入場的全部代價。一個滿足它的平衡點，稱作雙曲平衡點，而雙曲性正是貫穿本整級的那個魔法詞。
為什麼實部不為零會是要緊的那件事？回想線性理論裡，特徵值的實部掌管增長或衰減：實部為正的 lambda 把一個方向像 e^(rt) 爆增那樣往外拉伸，實部為負則把它往內收縮。只要沒有任何特徵值的實部恰好為零，每一個方向就都有一份*確切的判決*——要嘛堅定地吸引、要嘛堅定地排斥——而且那份「拉力」足以壓過鄰近那些微小的非線性項。被刪掉的高階碎片，就像一個 e^2 擺在一個結實的 e 旁邊：確實存在，卻太羸弱，翻不動線性部分早已果斷下達的判決。雙曲性，恰恰就是線性部分發言夠有權威、足以蓋過那份修正的那個條件。
eigenvalues of J equilibrium is... linearization is... -------------------------------------------------------------------- all Re(lambda) < 0 sink (stable node/spiral) TRUSTWORTHY all Re(lambda) > 0 source (unstable) TRUSTWORTHY mixed signs, none = 0 saddle TRUSTWORTHY -------------------------------------------------------------------- some Re(lambda) = 0 NON-hyperbolic VERDICT WITHHELD (e.g. pure imaginary -> linear center) linear picture may LIE
真相用罄之處：中心
現在來到誠實而要緊的部分——定理刻意拒絕涵蓋的那個情形。設想雅可比矩陣有一對純虛特徵值，實部恰好為零。線性系統 x' = J x 於是有一個中心：一窩完美的閉合環圈，永遠繞著原點轉，既不向內捲入、也不向外盤出。這個平衡點*不是*雙曲的，所以哈特曼—格羅布曼定理什麼也不說——而那份沉默並非可揮手帶過的技術細節。它是一個貨真價實的警告，因為在這裡，線性圖像真的可能說謊。
這裡有一記具體的震撼。考慮系統 x' = -y + a x(x^2 + y^2)、y' = x + a y(x^2 + y^2)。它在原點的雅可比矩陣有特徵值 +i 與 -i——一個教科書式的中心、閉合環圈，按線性的讀法是「穩定但不吸引」。然而換成半徑變數 r = sqrt(x^2 + y^2)，真正的方程便塌縮為 r' = a r^3。若 a 哪怕略為正，r 便增長，每一條軌跡都緩緩向*外*盤旋到無窮——一個不穩定的螺旋點。若 a 略為負，r 便收縮，一切都向*內*盤旋——一個漸近穩定的螺旋點。線性的中心兩者都沒預測到；那個在雙曲點處無能為力的三次項，在線性部分於虛軸上沉默之時，竟是室內唯一發聲的人。同一個線性化，相反的命運，全由你方才想扔掉的那份非線性裁定。
在實務中動用這張許可證
綜合起來，這條定理把上一篇那個鬆散的習慣，化成一套有紀律的程序。整件事的要點在於：那個昂貴的問題——完整的非線性流在這附近看起來如何？——靠那個廉價的問題——某一個矩陣的特徵值是什麼？——來回答，但*唯有在*你藉檢查雙曲性掙得這份權利之後。略過那道檢查，你便不再是在做數學，而只是在盼望。這份合約依序走一遍如下。
- 找出每一個平衡點：同時解出 f(x) = 0 的所有分量。這些是速度消失的點——相圖的骨架。
- 在每一個平衡點上算出雅可比矩陣 J——在該點求值的偏導數矩陣。這是 f 在該處附近最佳的線性替身。
- 求出 J 的特徵值，讀出它們的實部。這是直接承自線性理論的「蒐集判決」步驟。
- 檢查雙曲性：是否每一個實部都不為零？若是，這個平衡點便是雙曲的，你便拿到了綠燈。
- 若是雙曲的，便有把握地分類：實部全為負 -> 穩定的匯（sink）；全為正 -> 源（source）；正負混雜 -> 鞍點。哈特曼—格羅布曼定理擔保非線性流與此局部圖像相符。
- 若有某個實部為零（非雙曲），就停下。宣告線性檢驗無從定論，改用李雅普諾夫方法或中心流形分析——此刻握有決定性一票的，是非線性本身。
最後一句常被輕輕帶過的誠實話：縱在最好的情形，這份擔保也嚴格地是*局部*的。哈特曼—格羅布曼定理只在平衡點某個小鄰域之內發言，而那鄰域多大，它從不告訴你。它說原點附近那個鞍點確實是鞍點；它對那鞍點的影響力延伸多遠、兩個吸引盆地在何處相接、又有什麼大尺度結構——譬如遠處一條閉合軌道——可能主宰整體流動，則隻字未提。線性化是一具顯微鏡，而非整個國度的地圖。既知它認證了什麼、又知它的視野止於何處，正是「駕馭它」與「被它誤導」之間的分野。
你如今帶往前方的東西
你帶著一個好用的訣竅與一絲縈繞不去的疑慮走進這一篇。你帶著化為定理的訣竅、與化為精確分界的疑慮走出去。線性化不是一個讓你只能祈禱的含糊近似——它是一件嚴謹的工具，蓋著一張清晰的保固章：在雙曲平衡點處有效，在虛軸上失效。雙曲與否這一道區分，正是本級餘下部分賴以轉動的那道樞紐。當線性部分作出裁決，就全心倚靠它；當它棄權，你也已經知道該找誰。
那個「該找誰」，就是緊接著的下一篇。我們在此正面撞上的中心情形——純虛特徵值、線性化聳肩攤手——恰恰是李雅普諾夫直接法為填補而生的那道缺口。它將讓你藉著盯住一個類能量的量如何流失來認證穩定，無需特徵值、無需求解，也不必要求平衡點是雙曲的。哈特曼—格羅布曼定理畫出了線性化奏效之處的地圖；下一件工具，是為它留白的那片疆域而備的。