![]()
導語
“集智百科精選”是一個長期專欄,持續為大家推送復雜性科學相關的基本概念和資源信息。作為集智俱樂部的開源科學項目,集智百科希望打造復雜性科學領域最全面的百科全書,歡迎對復雜性科學感興趣、熱愛知識整理和分享的朋友加入,文末可以掃碼報名加入百科志愿者!
↑↑↑掃碼直達百科詞條
黃蕓、楊明哲 | 作者
作者簡介
目錄
1. 歷史溯源
2. 標準型及其性質
2.1 求解不動點
2.2 不動點及其穩定性
2.3 相圖與分岔圖
3 案例:激光模型
3.1 模型描述
3.2 分岔點
3.3 物理意義
4 二維系統及以上
4.1 二維標準型
4.2 穩定性分析
5 相關概念
跨臨界分岔(transcritical bifurcation)是動力系統中一類典型的局部分岔現象,其特征是兩條平衡點分支在臨界點處相交,并在參數穿過臨界值時交換穩定性。與鞍結點分岔所對應的平衡點產生或湮滅不同,跨臨界分岔描述的是原有狀態之間的閾值切換,因此常見于生態、傳播和激光等具有“平凡狀態—非平凡狀態”競爭關系的模型中。 分岔圖是以導致分岔的參數x為自變量,系統不動點F(x)為因變量,能直觀展示參數的取值與不動點的關系,如下圖。
![]()
1. 歷史淵源
跨 臨界分岔(transcritical bifurcation)并不是在分岔理論早期就以獨立術語被明確提出的,而是在現代分岔理論逐步形成的過程中,從一類“平衡分支相交并交換穩定性”的現象中被識別出來的。就概念史而言,龐加萊在1885年討論“分岔平衡”(équilibre de bifurcation)時,已經把“參數變化引起平衡結構改變”的問題納入定性研究視野,但當時的討論仍停留在一般性的分岔現象層面,尚未把跨臨界分岔與后來所說的鞍結點分岔等局部分岔類型明確區分[1]。
20世紀30年代,安德羅諾夫學派圍繞“粗糙系統”和“結構穩定性”建立了現代分岔理論的早期框架。Andronov 與 Pontryagin 在1937年的工作把“系統在小擾動下是否保持其定性結構”變成核心問題;隨后,這一研究傳統又從相平面拓撲結構改變、非粗糙性和分岔集合等角度,逐步推動了對局部分岔機制的系統分類。在這一背景下,人們開始更清楚地區分不同的零特征值分岔:有的對應平衡點的產生與湮滅,有的則對應兩條平衡分支在臨界點相遇后繼續穿越[2][3]。
從術語和理論定型的角度看,跨臨界分岔的歷史特殊性在于:這種現象并不是一開始就以“跨臨界分岔”之名被單獨提出,而是在20世紀下半葉中心流形、正規形和奇點理論逐步成熟之后,才在現代教材和綜述中被固定為一種獨立的局部分岔類型。與鞍結點分岔相比,它的核心并不是平衡點“出現—消失”,而是兩個平衡分支在臨界點相交,并交換穩定性。也正因為如此,現代文獻通常強調跨臨界分岔往往不是最一般的一參數泛型情形,而常常依賴某種附加結構,例如平凡分支對所有參數始終存在、不變子空間、守恒約束或對稱性等[4][5][6][7][8]。
因此,從歷史脈絡上看,跨臨界分岔并不是“先有清晰命名、后有統一理論”的對象,而是先在早期定性研究中以幾何現象的形式出現,再在結構穩定性與局部分岔分類的框架中逐步被識別,最終才在現代非線性動力學中被確立為一種具有明確判別特征和廣泛應用背景的基本分岔類型[6][7][8]。
2. 標準型及其性質
在數學上,我們可以通過標準型來研究分岔的本質特征。對于一維動力系統(參考一維動力學),跨臨界分岔的最簡微分方程形式(標準型)如下[9]
其中 x ∈ R 是狀態變量, r ∈ R 為誘導分岔產生的外部參數。
跨臨界分岔的關鍵性質在于,隨著系統參數 r 的改變,相空間中原本存在的兩個不動點(一個穩定,一個不穩定)相互靠近、碰撞并最終互換:穩定變不穩定,不穩定變穩定。
2.1 求解不動點
不動點意味著變化率為0,以為例,就是。
這個一元二次方程有兩個解: x ? = 0 和 x ? = r
2.2 不動點及其穩定性
要分析不動點的穩定性,可以通過計算不動點的一階導數。這里就是 f ′ ( x ? ) = r ? 2 x ? 。
當 r < 0 時,
不動點 x ? = 0 ,有 f ′ ( x ? ) = r ? 2 ? 0 = r < 0 ,微小擾動會衰減,是穩定不動點。
不動點 x ? = r ,有 f ′ ( x ? ) = r ? 2 r = ? r > 0 ,微小擾動會放大,是不穩定不動點;
當 r = 0 ,有 f ′ ( x ? ) = 0 ,此處為分岔點。
當 r > 0 時,
不動點 x ? = 0 ,有 f ′ ( x ? ) = r ? 2 ? 0 = r > 0 ,微小擾動會放大,是不穩定不動點。
不動點 x ? = r ,有 f ′ ( x ? ) = r ? 2 r = ? r < 0 ,微小擾動會衰減,是穩定不動點;
根據以上求解和分析,對于這個系統,可以畫出相圖和分岔圖來直觀展示參數變化對系統的影響。
相圖即的圖像,縱坐標為,橫坐標為 x ,展示了系統在參數 r 取不同值時可分為三種不同的狀態。
實心點為穩定不動點,空心點為不穩定不動點,半空心點為臨界半穩定不動點,箭頭為演化方向。
![]()
分岔圖如下:分岔圖是以參數 r 為自變量,系統不動點 x ? 為因變量,能直觀展示參數的取值與不動點的數量和性質的關系。
從上面的相圖可以看出:當 < r < 0 時,該系統的穩定不動點一直是 x ? = 0 ,不穩定不動點 x ? = r ; 而當 > r > 0 時,該系統的穩定不動點是 x ? = r ,不穩定不動點一直是 x ? = 0 ; 據此,可以畫出如下的跨臨界分岔圖
![]()
3. 案例:激光模型
3.1 模型描述
這里介紹哈肯在1983年研究的激光模型的簡化版[9]。 哈肯是協同學的創始人,他起初從事激光研究。
![]()
如上圖所示:外面是泵,里面有很多高能級的活躍的原子束,這些原子受激輻射會產生新的光子。泵兩邊都是鏡子,用于反射光子。右邊這個鏡子中間有一個小孔,用來釋放滿足條件后可溢出的激光。
這個模型主要描述的是光子數的動力學變化。數學表述為:= g a i n ? l o s s = G n N ? k n ,其中 N ( t ) = N 0 ? a n ,代入后就是:= G n ( N 0 ? a n ) ? k n = ( G N 0 ? k ) n ? ( a G ) n 2 。
說明: n 光子數, N 高能級原子數, G 增益系數, k n 光子逸出或被吸收的損耗, a n 受激輻射損失的高能級原子。
3.2 分岔點
對這個系統= G n ( N 0 ? a n ) ? k n = ( G N 0 ? k ) n ? ( a G ) n 2 ,開始時,光強為0(無序)。當泵中能量增加,光強從0開始增長,當閾值(即初始高能量原子數)時,泵中原子開始“覺醒”,齊步協同,才出現可溢出的頻率、相位、方向都高度一致的光子數(激光),這時可以求出它的兩個不動點: ( 不 穩 定 ) n ? = 0 ( 不 穩 定 ) 和(穩定)。據此可以畫出這個系統的相圖,如下:
![]()
從上面的相圖可以看出:當泵中光強隨著能量從0(無序)開始增長到閾值(即初始高能量原子數)時,泵中才出現可溢出的頻率、相位、方向都高度一致的光子數(激光),表明它的不穩定不動點是: n ? = 0 ,穩定不動點是,形如下面的分叉圖:
![]()
3.3 物理意義
哈肯提出的“激光模型”,本質上是一種跨學科的“范式轉移”:它并非具體的工程設計,而是借助激光這一物理系統,來解釋“無序如何產生有序”的思維框架。
該模型表明,在外部能量驅動下(如激光器中的泵浦過程),系統內部的微觀粒子(原子)會自發地由無序的隨機運動轉變為協同一致的集體行為,從而在宏觀上涌現出一種全新的高度有序狀態(激光)。換言之,它用“光”的機制揭示了自然界中普遍存在的自組織現象。
具體而言,這一過程可以理解為:在普通光(如燈泡)中,原子各自獨立、隨機發光,其相位與方向雜亂無章;而當外部驅動達到某一臨界閾值后,系統發生質變,原子開始“協同”,發出頻率、相位和方向高度一致的光,即形成激光。這一躍遷揭示了從非相干(incoherent)到相干(coherent)的本質轉變。
其核心機制在于“協同”與“序參量”。原子之間并非直接相互作用,而是通過其產生的電磁場(光場)這一“中介”實現協調,這個光場即為序參量。在初始階段,光強接近于零(無序);隨著能量輸入增加,光強逐漸增長,并反過來“役使”所有原子,使其服從統一的振蕩節奏(即“役使原理”)。由此形成一個從微觀到宏觀、再由宏觀反過來支配微觀的反饋閉環。
更重要的是,這一模型具有高度的普適性:激光中的“原子”可以類比為任意系統的微觀單元(如神經元、細胞或個體),而“光場”則對應于宏觀的集體模式(如腦電波、人群共識或市場趨勢)。因此,它不僅解釋了激光的產生機制,更提供了一個普適的理論框架,用以說明宏觀秩序如何從微觀混沌中涌現,并體現出“整體大于部分之和”的普遍規律。
總的來說,哈肯的激光模型從物理層面揭示了:協同作用如何使原本混亂的個體自發形成相干、有序的集體行為,是協同學理論最經典、最具代表性的物理基礎。
4. 二維系統及以上
與一維動力系統中的跨臨界分岔類似,二維及以上的跨臨界分岔同樣描述了一個穩定不動點和一個不穩定不動點隨參數變化而互換穩定性的過程。[9]
4.1 二維標準型
![]()
- x與y為狀態變量。
- μ為分岔參數。
一式描述了系統在 x 維度上的分岔行為。
二式描述了系統在 y 維度上的收縮行為(其中 λ > 0 ,通常取 λ = 1 來簡化討論),表明系統在非分岔方向上是穩定的。
三維以上的標準型與二維類似,僅在某個維度有分岔行為(類似),系統在其余維度上穩定(均為類似的形式,其中參數 λ > 0 )。
4.2 穩定性分析
這個二維系統
![]()
相圖如下:
![]()
x 方向的不動點分析與一維情況完全類似。隨著參數 μ 的變化,二維相平面上的拓撲結構經歷以下三個階段:
1. 雙不動點共存階段 ( μ < 0 ):
穩定不動點 ( 0 , 0 ) :在兩個特征方向上均表現為吸引,對應系統的一個穩態。
不穩定不動點 ( μ , 0 ) :在 y 方向吸引,在 x 方向排斥。
動力學特征:相空間被不穩定不動點分割,大部分軌線最終收斂于穩定不動點。
2. 臨界分岔點 ( μ = 0 ): 兩個不動點在原點 ( 0 , 0 ) 處發生碰撞并融合。
3. 互換穩定性后的雙不動點共存階段 ( μ > 0 ):
不穩定不動點 ( 0 , 0 ) :在 y 方向吸引,在 x 方向排斥。
穩定不動點 ( μ , 0 ) :在兩個特征方向上均表現為吸引,對應系統的一個穩態。
動力學特征:相空間被不穩定不動點分割,大部分軌線最終收斂于穩定不動點。
5. 相關概念
從奇點理論與突變論的角度看,鞍結點分岔與折疊突變(fold catastrophe)的對應關系最為直接:二者都體現為平衡解分支在臨界點附近發生折疊,并導致平衡點的產生或湮滅。突變論由 René Thom 建立,其核心思想是用奇點理論研究控制參數連續變化時系統臨界點結構的類型變化[10]。
相比之下,跨臨界分岔不宜簡單地與折疊突變直接等同。更準確地說,它是一類與折疊型奇點密切相關的零特征值局部分岔,但通常需要額外結構——例如平凡平衡分支對所有參數始終存在、不變子空間、守恒約束或對稱性——才能穩定出現。它的典型特征不是平衡點的產生或消失,而是兩條平衡分支在臨界點相交,并在參數穿過臨界值時交換穩定性[11][12]。
這也解釋了跨臨界分岔為何在歷史上常與鞍結點分岔相混淆:兩者在線性化層面都以零特征值為信號,但若進一步考察平衡分支的幾何結構,前者表現為“分支相交并交換穩定性”,后者則表現為“分支折疊并導致平衡點成對產生或湮滅”。因此,在現代分岔理論中,鞍結點分岔通常被視為更泛型的情形,而跨臨界分岔則常與叉式分岔一起,被視為需要特殊結構支持的非泛型分支點分岔[13][14]。
參考文獻
Poincaré, H. (1885). Sur l'équilibre d'une masse fluide animée d'un mouvement de rotation. Acta Mathematica, 7, 259–380.
Andronov, A. A.; Pontryagin, L. S. (1937). Systèmes grossiers. Doklady Akademii Nauk SSSR, 14, 247–251.
Andronov, A. A.; Leontovich, E. A.; Gordon, I. I.; Maier, A. G. (1973). Theory of Bifurcations of Dynamic Systems on a Plane. Jerusalem: Israel Program for Scientific Translations; New York: Wiley.
Guckenheimer, J.; Holmes, P. (1983). Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields. New York: Springer-Verlag.
Golubitsky, M.; Schaeffer, D. G. (1985). Singularities and Groups in Bifurcation Theory. Volume I. New York: Springer-Verlag.
Crawford, J. D. (1991). Introduction to bifurcation theory. Reviews of Modern Physics, 63(4), 991–1037.
Arnold, V. I.; Afraimovich, V. S.; Ilyashenko, Yu. S.; Shilnikov, L. P. (1994). Dynamical Systems V: Bifurcation Theory and Catastrophe Theory. Berlin: Springer.
Uecker, H. (2022). Continuation and Bifurcation in Nonlinear PDEs: Algorithms, Applications, and Experiments. Jahresbericht der Deutschen Mathematiker-Vereinigung, 124, 43–80.
Strogatz, S. H. (1994). Nonlinear Dynamics and Chaos. Reading, MA: Perseus Books.
Arnold, V. I.; Afrajmovich, V. S.; Il’yashenko, Yu. S.; Shilnikov, L. P. (1994). Dynamical Systems V: Bifurcation Theory and Catastrophe Theory. Berlin: Springer.
Uecker, H. (2022). Continuation and Bifurcation in Nonlinear PDEs: Algorithms, Applications, and Experiments. Jahresbericht der Deutschen Mathematiker-Vereinigung, 124, 43–80.
Crawford, J. D. (1991). Introduction to bifurcation theory. Reviews of Modern Physics, 63(4), 991–1037.
Golubitsky, M.; Schaeffer, D. G. (1985). Singularities and Groups in Bifurcation Theory. Volume I. New York: Springer-Verlag.
Uecker, H. (2022). Continuation and Bifurcation in Nonlinear PDEs: Algorithms, Applications, and Experiments. Jahresbericht der Deutschen Mathematiker-Vereinigung, 124, 43–80.
參考文獻可上下滑動查看
本詞條由集智俱樂部眾包生產,難免存在紕漏和問題,歡迎大家留言反饋,一經采納,可以獲得對應的積分獎勵噢!
親愛的社區伙伴與知識探索者:
我們誠摯邀請熱愛知識分享的您,加入集智百科詞條編寫志愿團隊!無論您是領域專家,還是對特定主題充滿熱忱的學習者,這里都有您的舞臺。通過編寫百科詞條,您將為全球讀者傳遞權威知識,同時獲得專家指導與個人能力躍升的雙重成長。
志愿者職責
創作新詞條:覆蓋復雜系統、人工智能等前沿領域
迭代經典內容:更新現有詞條,守護知識的準確性與時效性
質量守護者:參與內容校對審核,共建精品知識庫
我們期待您
集智讀書會成員(需完成一期字幕任務)
擁有清晰表達復雜概念的寫作能力
對特定領域有深度研究或強烈興趣
具備信息檢索與整合素養
懷揣責任感與協作精神,愿為知識共享賦能
您將收獲
百科積分(支持兌換集智俱樂部周邊:文化衫、復雜科學知識卡以及提現)
集智俱樂部創始人張江教授親自指導寫作
科研志愿者晉升通道:表現優異者可加入張江教授科研團隊從事科研志愿者
你的百科貢獻之路,從一字一句開始!
第一步,從成為一名字幕志愿者開始!
只需完成一期讀書會講座字幕任務,這不僅是貢獻,更是一次深度的學習。字幕任務過關后,您將升級為“百科志愿者”,開啟編輯詞條、整理術語的進階旅程。
從字幕到百科,這是一條清晰的成長路徑。立即行動,從第一個任務開始你的升級吧!
Koopman分析在非線性動力學中的
應用系列課程
非線性動力學是復雜系統研究中重要的理論基礎和研究工具,它有助于理解系統的本質特性,通過構建和分析系統的粗粒化程度不同的數學模型來解決實際問題。盡管低維非線性系統的理論已經相當完備,但如何將其用到高維非線性體系中,獲取系統的關鍵動力學信息是一個長期困擾研究者的挑戰。
好的理論和工具會大大加快科研進展,Koopman算符有望成為分析和預測動態系統的標準理論。集智學園邀請北京郵電大學蘭岳恒教授開設,面向致力于學習和發展Koopman算符理論的社區朋友,在6節課程時間中,通過細致的講解,深入的互動,形成蘇格拉底式課堂氛圍,共同進步。歡迎感興趣的朋友加入課程!
1.
2.
3.
4.
5.
6.
7.
特別聲明:以上內容(如有圖片或視頻亦包括在內)為自媒體平臺“網易號”用戶上傳并發布,本平臺僅提供信息存儲服務。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.