一個別的軌跡無法觸及的迴圈
在本級至此,所有的長期歸宿都是某個靜止點。線性化告訴你附近的軌跡是螺旋地收進某個平衡點、還是從它逃離,而李雅普諾夫函數甚至在雅可比矩陣處於臨界時也能證明穩定性。但許許多多真實的系統根本不會安頓到一個點上。一次心跳、一個放電的神經元、一個時鐘電路、一個在顏色之間閃爍的化學反應——它們以一種持續、自我更新的振盪運行著。在相平面裡,這種穩定的節律不是表現為一個靜止點,而是一個系統一遍又一遍描繪出的閉合迴圈。
並非每個迴圈都特別。一個無摩擦的單擺裡塞滿了閉合軌道,每個起始振幅都對應一個——整整一族層層相套,沒有一個是孤立的,每一個都只是下一個的鄰居。而極限環是更稀有、更堅固的那一種:一個*孤立的*閉合軌道,一個身旁緊鄰處再無其他閉合軌道的單一迴圈。正因它形單影隻,附近的軌跡便不可能也是迴圈——它們無處可去,只能螺旋地*朝向*這個環收進(穩定極限環),或*遠離*它(不穩定極限環)。這份孤立正是關鍵所在:一個穩定的極限環,是一個有確定形狀、確定週期的吸引子,而系統無論在附近何處出發,都會鎖定到它身上。
捕捉區的構想
在你解不出 x(t) 的情況下,你究竟要如何證明一個迴圈存在?這裡是龐加萊—本迪克松定理背後那個優美、近乎拓撲的論證。假設你能在平面上找到一塊區域——想像一個環形帶、一個圈狀的環帶——流可以進入卻永遠出不去:在它整個邊界上,速度向量場都嚴格指向內部。一旦軌跡踏入這樣一個捕捉區,它便在往後的所有時間裡都被困在其中。問題於是變成:在無窮的時間、卻只有有限的空間裡,它究竟可能落腳何處?
在平面上,答案受到極嚴格的限制。一條被困住的軌跡無法永遠漫遊而不重複,因為二維性讓它沒有空間去與自身相交、也無從逃脫——這條軌跡會把自己圍困起來。如果捕捉區內不含任何可供軌跡落入的平衡點,那麼唯一剩下的歸宿,就是趨近一個閉合軌道。那條漫遊的路徑必定纏繞到一個迴圈之上。那個迴圈就是極限環,而你不曾寫下任何一個解,便已證明了它的存在。
- 建一個捕捉區:在相平面上一個封閉、有界的環帶,流會進入卻無法離開,且向量場沿其整個邊界一律指向內部。
- 確保這個環帶內不含任何平衡點——通常是在靜止點周圍挖出一個小洞,讓它落在環帶之外。
- 援引龐加萊—本迪克松定理:被困在一個不含平衡點的平面區域裡的軌跡,必定趨近某個閉合軌道。
- 得出結論:環帶內至少有一個極限環存在——它的存在現已獲證,儘管它確切的形狀仍是未知的。
定理保證了什麼——又沒保證什麼
要誠實看待那些細則,因為每一條都有其存在的理由。首先,平面是不可或缺的。龐加萊—本迪克松是一個嚴格的二維定理:它立足於「平面上一條曲線會把內部與外部分隔開來」這個事實,所以軌跡無法在不與自身相交的情況下糾纏。加上第三個維度,那道圍籬便消失了——一條路徑可以無止盡地在自己之上、之下盤繞,卻永遠不閉合。那份額外的自由,正是混沌得以發生之處:三維的勞侖次系統永遠在一個奇異吸引子上漫遊,既不安頓到一點,也不閉合成一個環——這正是一個平面自治系統被根本禁止做的事。
其次,系統必須是自治的且光滑——不能有顯含時間的外力驅動,否則「軌跡不自我相交」的論證便瓦解了。第三,定理證明的是閉合軌道*存在*;它並不會交給你它的形狀、週期,甚至不告訴你這個環是穩定還是不穩定,也不說環帶裡藏了幾個環。而且它從不給你公式。如同本學科裡一切定性的東西,它回答的是*是否*以及*大致在哪*,把「求出精確 x(t)」這個解不出來的要求,換成一個關於長期行為的真確陳述。要釘住迴圈實際的形狀與週期,你仍得退回去倚靠前面各級的數值方法。
把迴圈排除掉:本迪克松判別法
有一個相伴的結果做著相反的工作,而且往往更容易應用。假設你想知道某個區域裡*沒有*極限環。本迪克松否定判別法檢視場的散度 df/dx + dg/dy。如果這個量在一個單連通區域(沒有洞的區域)內始終保持同一符號——恆正、或恆負——那麼沒有任何閉合軌道能容身其中。其推理是散度定理一個乾淨的應用:一個閉合軌道會圈出一塊面積,繞著迴圈一圈,淨流入減流出必須相消為零,而一個從不為零的散度使這成為不可能。
system: x' = f(x, y) , y' = g(x, y)
divergence of the field: D(x, y) = df/dx + dg/dy
Bendixson: if D keeps one sign (and is never 0) on a
hole-free region R => NO closed orbit lies in R
范德波:一個你幾乎能看見成形的迴圈
最乾淨的具體範例——也是本級最後一篇將完整研究的那一個——是范德波振盪器,x'' - mu(1 - x^2) x' + x = 0,誕生自早期的真空管收音機電路。讀一下那個阻尼項 mu(1 - x^2):當擺幅很小時,x^2 < 1,括號為正,這一項*把能量注入*,推著振盪增長。當擺幅很大時,x^2 > 1,括號翻為負,這一項*把能量抽走*,振盪被勒回。小幅運動被放大,大幅運動被抑制——系統於是從兩邊被夾擠到中間一個單一的、自我維持的迴圈上。
那種夾擠,恰恰就是捕捉區的實際運作:來自內側的軌跡向外增長,來自外側的軌跡向內收縮,於是流被漏斗般導入一個不含任何穩定靜止點的環帶。龐加萊—本迪克松定理便保證內部存在一個極限環——而在這裡,它恰好是唯一且穩定的。每一條軌跡,無論起始振幅為何,都纏繞到*同一個*迴圈、最終帶著*同一個*週期。這正是真正的范德波振盪的標誌,也是這類電路能做出可靠時鐘的原因:那份節律是系統自身的性質,而非你如何起動它的結果。
退一步,看看本級現在如何環環相扣。線性化與雅可比矩陣讀出每個平衡點處的*局部*命運;哈特曼—葛羅曼說明那份局部讀法何時可信;李雅普諾夫函數在線性圖像噤聲之處證明了穩定性。龐加萊—本迪克松是最後一塊拼圖——那個*整體*的陳述:在平面上,一旦軌跡被困住而遠離任何靜止點,振盪便必定成形。它們合在一起,讓你能為一個永遠解不出的系統勾勒出忠實的相圖,平衡點與迴圈一併納入。下一篇、也是最後一篇,將拿單擺與范德波,把這每一件工具完整地在它們身上走一遍。