JOVANA
Library Glossary Getting Started Three Levels Fields How it works Mission
Join the mission
All guides

動力系統的觀點

別再追問 x(t) 的公式,改問整個狀態空間如何流動。這個轉念——動力系統的觀點——正是讓分岔與混沌終於說得通的那副眼鏡。

換一個問題

在這道階梯上,大部分時候的目標都是一條公式。分離變數、找一個積分因子、猜一個試驗解、跑一次拉普拉斯變換——每一招都瞄準同一個獎賞:一個你能代入數字的顯式 x(t)。對那些可解的情形,這份直覺幫了你大忙。但你也不止一次撞上那堵牆:誠實的事實是,絕大多數常微分方程根本沒有閉式解。一個帶 sin(theta) 的單擺、兩個互相吞食的物種、暖流體中的三個對流捲——再多的巧思也擠不出整潔的 x(t)。如果公式根本不存在,追問它就是問錯了問題。

於是我們換一個問題。不再問「在時刻 t,x 的精確值是多少」,而是問這類問題:經過很長一段時間後,系統最終落在哪裡?它會靜止下來、陷入某個重複的循環,還是永遠遊蕩?哪些初始條件導向哪一種命運?而且——這是將主導本級的問題——當我們緩緩轉動方程裡的某個旋鈕時,這些答案會發生什麼變化?這些問題沒有一個需要解的公式。它們是關於幾何與長期行為的問題,而回答它們的學科,就是動力系統理論。

狀態空間:運動上演的房間

這個觀點,從一個看似簡單卻深刻的動作開始。把你此刻——而且只此刻——需要知道的關於系統的一切,全部打包,稱這一束為狀態。對一個族群而言,它是一個數。對一個單擺而言,它是兩個數:角度與角速度,因為加速度同時取決於這兩者。所有可能狀態構成的集合,就是狀態空間(在二維裡,你早已認識它就是相平面)。這空間中的一個點,不是你所坐房間裡的某個位置;它是系統的一張完整快照,是它當下狀況的完整描述。

這就是為何狀態必須囊括一切。我們所要求的那條定義性質是:當下的狀態決定了整個未來。只要知道你在狀態空間中的位置,微分方程就告訴你狀態正朝哪個方向、以多快的速度移動——由此推出下一瞬間,再下一瞬間,不需要任何額外資訊。這正是一個方程為自治的意思:變化律 x' = f(x) 取決於狀態 x,卻不顯式取決於時鐘 t。同一個狀態永遠有同一個未來,無論它發生在正午或午夜。正是這份自我封閉,才使一套乾淨的幾何成為可能。

流:定在原地的一條河

現在用幾何的眼光來讀 x' = f(x)。在狀態空間的每一點,函數 f 都指派一個箭頭——給出狀態該移動的方向與速度。整片箭頭場是一張凝固的風向圖,一條把水流定在原地的河:每一處的水都以確定的方式流動,而那個樣式從不改變。在任一起點丟下一個標記,讓它隨流而行,它便描出一條曲線。那條曲線就是一條軌跡(也叫軌道),標記沿著它走的路徑,就是方程的一個解——縱使你也許永遠寫不出這個解的公式。

不只取一個標記,而是同時取所有可能的起點,你就得到:那單一而完整的運動,它接受任一狀態,並告訴你經過任意一段時間後它漂到了哪裡。整片狀態空間像一張紙,隨著水流作為一個協同的整體滑動。把流寫成一個映射,它把每一點按選定的一段時間往前推;先推進時間 s、再推進時間 t,等同於一口氣推進時間 s + t。這條記帳規則——半群性質——不過是「時間會累加」這個顯而易見的陳述,卻是「流」一詞的代數核心。

有一件幾何事實在這裡做了巨量的工作,而它直接源自唯一性。因為當下的狀態決定了未來,自治系統的兩條相異軌跡永遠不能相交。若它們在某一點相觸,那個共有的點就會有兩個不同的未來,與唯一性矛盾——而只要 f 滿足利普希茨條件,唯一性便有保證。於是軌跡像木頭的紋理、像平滑水流的流線那樣,鋪滿整個狀態空間:層層相套、彼此平行、從不交叉。(小心:當 f 不滿足利普希茨條件時,唯一性可能失效——經典的 x' = x^(2/3) 就讓解能分岔——那裡「不交叉」的圖像也隨之瓦解。)

一眼讀懂整幅圖

把具有代表性的一把軌跡一起畫出來,沿每條軌跡標上小箭頭指明時間的流向,你就得到一幅相圖——系統定性行為在單一圖像裡的完整摘要。它是動力學的天氣圖:一眼便見哪些區域被拉向平靜的中心、哪些被甩向外、哪些無止盡地繞圈。組織起整幅圖的骨架,是一小組特殊的點與曲線,而學會找到它們,就是這項工作的大半。

最先的地標,是那些平衡點。一個平衡點是滿足 f = 0 的狀態——每個箭頭都縮為烏有,是一處死寂的平靜。恰恰放在那裡的標記永不移動:垂直下垂的單擺、停在承載容量上的族群。對這些點,你已從上一級學會局部的招數:線性化、讀出雅可比矩陣的特徵值,再把這個靜止點命名為結點、鞍點、螺旋點或中心。動力系統的觀點不過是把鏡頭再拉遠——那些局部判決,正是用來編織整體相圖的錨點。

  the same equation, three readings:

  x' = f(x)        the rule of change at a state x
  f(x*) = 0        x* is an EQUILIBRIUM (an arrow of length zero)
  flow(t, x0)      where the state x0 has drifted after time t

  question shift:  not  "what is x(t)?"
                   but  "where does the flow send x0 as t -> infinity?"
同一組符號,三種讀法。動力系統的觀點把問題從 x(t) 的值,轉移到流把每個起始狀態帶向何處這件事上。

軌跡通往何方?不變集與吸引子

整個本級的頭條問題,是長期的命運,而這個觀點為它取了俐落的名字。有些區域困住了流:從內部出發的標記永遠出不去,而往回看,內部的每個標記也都必然來自內部。這樣一個區域,就是一個不變集——狀態空間的一塊,動力學在它內部來回攪動,卻從不越界滲漏。平衡點是最簡單的不變集(被困住的單點);流永遠繞行的閉合迴圈是另一種;而我們在本級結尾遇見的那些奇異、碎形的集合,則是第三種。

在所有不變集當中,那些能把鄰居拉進來的,是真正的獎賞。在碗裡滾一顆彈珠,無論你怎麼一彈,摩擦終究讓它停在碗底;一個吸引子就是那長期的歸宿——一個不變集,所有鄰近軌跡隨時間推移都收斂向它。要把「這條路徑最終落在哪裡」說到精確,就永遠盯著單一條軌跡看,並忽略雜亂的起頭:它一再地任意逼近的那些位置所成的集合,就是它的 omega 極限集。對碗裡的彈珠,那個極限集是單獨一點;對自持的振盪,它是一個閉合迴圈;而混沌系統的極限集,則是一個從不安定下來的精巧之物。

這套詞彙,就是前方一切的地圖。平衡點、週期迴圈,以及這些更奇異的集合,是一個平面流唯一可能有的長期行為——一個深刻的結果,你將看到它被龐加萊—本迪克松定理磨得更鋒利。但把維度提高到三,一頭真正全新的怪獸便成為可能:一個有界、非週期、碎形的吸引子,在其上鄰近軌跡以指數速度彼此拉開。那就是確定性混沌,而勞侖茲系統是它最著名的居所。整個本級,是對單一問題的一場漫長回答——當我們轉動一個旋鈕時,流的歸宿如何誕生、改變,又最終碎裂?

為何用這副眼鏡,以及它接著指向何方

要清楚這個觀點買到了什麼、又付出了什麼。它不會把 t = 7.3 時 x 的數值交到你手上——那你仍得求助於像龍格—庫塔這樣的數值方法。它交給你的,是任何單次數值計算都顯示不出的結構:所有可能命運的完整目錄、哪些初始條件導向哪一種,以及每種行為有多穩健。電腦能把一條軌跡描得很漂亮;唯有定性理論才告訴你,那條軌跡只是整片流域的一個代表,而那片流域全都匯入同一個吸引子。

而它也鋪設了本級真正的主題。到目前為止,我們把方程固定住,問的是它的流。下一步,是讓一個參數緩緩漂移——一個增長率、一個阻尼係數、一個加熱強度——並看著相圖變形。有一陣子,定性圖像只是平順地伸縮,本質上什麼都沒變。但在某些臨界值上,結構撕裂了:一個平衡點裂成兩個、一個穩定的靜止點失穩並甩出一個循環、一個循環把它的週期加倍。每一次這樣的撕裂,就是一次分岔,而把它們一串接起來,就是那條終點通往混沌的路。

一路前行時,請記住一個誠實的但書。你將倚賴的許多局部分類——從線性化來為一個平衡點命名——唯有在雙曲平衡點才值得信賴,亦即雅可比矩陣沒有任何特徵值落在虛軸上。這恰恰就是上一級的哈特曼—葛羅曼條件。分岔正好發生在某個特徵值越過虛軸、平衡點轉為非雙曲之時——也就是說,這整套理論最有趣的時刻,恰恰住在那個輕巧的線性捷徑失效之處。這份張力,正是本級其餘各篇所要談的。