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

單擺與范德波耳振盪器

把兩個著名的非線性系統從頭做到尾,藉此熔合本級所學的一切:線性化並讀出雅可比矩陣、在該信任時信任哈特曼—葛羅曼、在不能信任處建造李雅普諾夫函數,並用龐加萊—本迪克松定理證明極限環的存在。

兩台機器,一套工具

你來到本級的最後一篇,手裡握著四件工具,是時候把它們一次全用在兩個值得記一輩子的系統上了。第一個是非線性單擺——一根桿子吊著重物,在重力下擺動,帶著那個任何線性把戲都驅不走、頑固的 sin(theta)。第二個是范德波耳振盪器,巴爾塔薩·范德波耳在 1920 年代造的一個電路,它的阻尼會變號:擺幅小時注入能量,擺幅大時抽走能量。單擺將向我們展示一個由層層套疊的迴圈構成的保守世界;范德波耳則展示一個吸引一切的、孤立的單一迴圈。同一套工具,兩種相反的命運。

兩者都是二階方程,所以第一步就是「系統」那一級的動作:把每一個都化為相平面上的平面一階系統,一軸放位置、一軸放速度。接著本級的每件工具都能開口:找出平衡點、線性化並讀出雅可比矩陣、判斷哈特曼—葛羅曼在何處容許你信任線性判決、在它不容許處取用李雅普諾夫函數,並在牽涉到閉合迴圈時請出龐加萊—本迪克松定理。

單擺:下方是中心,上方是鞍點

把無阻尼單擺 theta'' + sin(theta) = 0 寫成 x = theta、y = theta',得 x' = y、y' = -sin(x)。平衡點需 y = 0 且 sin(x) = 0,故靜止點落在 x = 0(垂直下垂)與 x = pi(垂直倒立),每隔 2*pi 重複一次。雅可比矩陣上一列為 (0, 1),下一列為 (-cos(x), 0)。在下方,cos(0) = 1 給出特徵值 +/- i——一個中心。在上方,cos(pi) = -1 給出符號相反的實數特徵值 +/- 1——一個鞍點。倒立的狀態如同刀刃:往任一邊傾一髮就會倒下。這正是你的眼睛預期的判決。

能量判定那個臨界情形

無摩擦單擺守恆總能量:動能加位能,E = (1/2) y^2 - cos(x),沿著每條軌跡保持不變。你可以直接驗證——把 E 沿運動微分,dE/dt = y*y' + sin(x)*x' = y*(-sin(x)) + sin(x)*y = 0——所以每條軌道都被困在一條等位曲線 E = 常數 上。這就是一個守恆量,而像這樣的保守系統,正是哈密頓系統最乾淨的範例。在底端附近,等位曲線是貨真價實的閉合迴圈,所以雅可比矩陣猜出的那個「中心」終究是真的:小幅擺動永遠繞行、永不衰減。

這也是一堂關於「每件工具各司何職」的課。這裡的能量扮演了類似李雅普諾夫函數的角色,但它很特別:它恰好守恆,dE/dt = 0,而非嚴格遞減。所以它證實了穩定性——軌道停留在閉合曲線上、永不逃逸——卻從不證實漸近穩定性;沒有任何東西被往內拉,因為沒有摩擦帶走能量。本級稍早關於李雅普諾夫直接法的提醒,恰好落在此處:dE/dt <= 0 換來穩定性,而 dE/dt < 0 嚴格成立,才是讓軌跡真正落定到靜止點所需的條件。單擺給了前者,卻沒給後者。

加進一點摩擦,theta'' + b*theta' + sin(theta) = 0 且 b > 0,能量便向下傾斜:dE/dt = -b*y^2 <= 0,只要擺錘在動就在下降。此刻能量是一個真正的李雅普諾夫函數,閉合迴圈鬆解成向內的螺旋,底端變為漸近穩定——單擺終於擺落歸於靜止。雅可比矩陣也同意:摩擦把那對 +/- i 特徵值往虛軸左側輕推,成為穩定螺旋。誠實的小字:當 b 很大時,底端是過阻尼結點而非螺旋;而在整個圓周上,整體圖像比任何單一靜止點都更豐富——高能量的軌道會翻過頂端旋轉,而非擺動。

范德波耳:一個吸引一切的迴圈

現在來看相反的性格。范德波耳方程是 x'' - mu*(1 - x^2)*x' + x = 0 且 mu > 0,一種會變號的阻尼。當 x 很小(|x| < 1)時,因子 (1 - x^2) 為正,故該項充當阻尼——它注入能量、推動擺幅增長。當 x 很大(|x| > 1)時,因子轉負,普通阻尼回歸,擺幅又被抽回。被夾在「小則增長、大則收縮」之間,系統無法停在任何固定擺幅上,唯獨一條特殊的閉合軌道例外。這種一推一拉,正是自持振盪器的標誌:它在完全沒有外部驅動下,自行製造出自己的節律。

把它寫成系統,x' = y、y' = mu*(1 - x^2)*y - x。唯一的平衡點是原點。它在那裡的雅可比矩陣上一列為 (0, 1)、下一列為 (-1, mu),跡為 mu > 0、行列式為 1 > 0:兩個特徵值的實部皆為正,是一個不穩定螺旋。所以每條軌跡都被從中心往外拋。然而大擺幅的運動又被阻尼往內拉回。軌跡被兩側擠壓——被原點排斥、被從遠處趕回——擠到夾在中間的一條閉合曲線上。

兩種命運為何不同

把兩者並排,深層的對比便豁然開朗。單擺是保守的:它的相平面被一整族連續、層層套疊的閉合迴圈填滿,每個能量層級一個,你騎上哪一個,全看你從何處出發。范德波耳振盪器則是「帶泵浦的耗散」:它從整個平面中,恰恰只挑出一條閉合軌道,並徹底忘掉你的初始條件。真正的極限環是孤立的——附近沒有別的閉合軌道——而單擺的迴圈是一整片連續體,因此根本不是極限環。把這兩者分辨開來,正是本級在觀念上的回報。

                  pendulum (undamped)        van der Pol (mu > 0)
  equilibria      down: center               origin: unstable spiral
                  up:   saddle
  energy          conserved, dE/dt = 0       pumped low, damped high
  closed orbits   continuum of nested loops  one isolated limit cycle
  start matters?  yes (picks the loop)        no (all roads -> same loop)
  key tool        conserved quantity         Poincare-Bendixson
兩個非線性經典,以本級的工具相互對照:一個是中心與鞍點構成的保守世界,另一個是帶著單一吸引極限環的自持振盪器。

請記住兩個誠實的但書。其一,龐加萊—本迪克松定理嚴格地只適用於二維——它的「困住」論證依賴平面的拓撲,而在三維以上,軌跡可以永遠遊蕩到奇異吸子與混沌之上,這是下一級要探索的。其二,范德波耳極限環沒有閉式公式:當 mu 很小時,它是一個半徑約為 2 的近似圓;當 mu 很大時,它變成一種尖銳、帶刺的弛緩振盪,慢慢累積又驟然彈跳——而我們知道它存在、唯一且具吸引性,全程從不寫出 x(t)。這正是定性理論的全部精神:正因為我們解不出系統,才直接從它的結構讀出它的命運。