查看“︁分岔理論”︁的源代码

[[File:Saddlenode.gif|thumb|right|300px|{{le|鞍結分岔|Saddle-node bifurcation}}的[[相圖 (動態系統)|相圖]]]]

'''分岔理論'''或'''分歧理论'''（bifurcation theory）是[[數學]]中研究一群曲線在本質或是[[拓扑结构]]上的改變。一群曲線可能是[[向量場]]內的{{le|積分曲線|Integral curve}}，也可能是一群類似[[微分方程]]的解。

'''分岔'''（bifurcation）常出現在[[動態系統]]的數學研究中，是指系統參數（分岔參數）小而連續的變化，結果造成系統本質或是[[拓扑结构]]的突然改變<ref>{{Cite book |first=P. |last=Blanchard |first2=R. L. |last2=Devaney |first3=G. R. |last3=Hall |title=Differential Equations |url=https://archive.org/details/differentialequa00paul_933 |location=London |publisher=Thompson |year=2006 |pages=[https://archive.org/details/differentialequa00paul_933/page/n114 96]–111 |isbn=0-495-01265-3 }}</ref>。分岔會出現在連續系統（以[[常微分方程]]、[[时滞微分方程]]或[[偏微分方程]]來描述）或是離散系統中 （以[[映射]]來描述）。

bifurcation一詞最早是由[[儒勒·昂利·庞加莱]]在1885年的論文中提出，這也是第一篇提到類似特性的數學論文<ref>Henri Poincaré. "''L'Équilibre d'une masse fluide animée d'un mouvement de rotation''". ''Acta Mathematica'', vol.7, pp. 259-380, Sept 1885.</ref>，庞加莱後來也為許多不同的驻点命名而且分類。

==分岔類型==
分岔可以分為以下的二種類型：
* 局部分岔（Local bifurcations）是指分岔特性可以用局部穩定性完全分析的分岔，一般會用參數通過臨界值時，[[平衡点]]、週期性軌跡或其他固定點的局部穩定性。
* 全域分岔（Global bifurcations）是指分岔特性無法用局部穩定性完全分析的分岔，一般是指較大的不變集彼此重疊，或是和系統的平衡点重疊，這無法只靠平衡点的穩定性分析來求得。

===局部分岔===
[[File:Chaosorderchaos.png|300px|right|thumb|逐漸變成有序的週期對半分岔（L），之後是逐漸變成混沌的週期加倍分岔（R）]]
局部分岔是指因參數變化，因此改變平衡點（或是不動點）穩定性的情形，對應平衡點特徵值的實部由正變負或是由負變正，在離散系統中（會由映射描述），是指不動點其[[弗洛凱理論|弗洛凱乘子]]的模為1。這二種情形下，平衡點在分岔時都是非雙曲線的。

局部分岔有一個特性，只要控制分岔參數，可以將系統相圖中的拓樸變化限制在分岔點附近任意小的區域中，因此稱為局部分岔。

考慮用以下常微分方程描述的連續動態系統
:<math>\dot x=f(x,\lambda)\quad f\colon\mathbb{R}^n\times\mathbb{R}\rightarrow\mathbb{R}^n.</math>
若在<math>(x_0,\lambda_0)</math>位置的[[雅可比矩阵]]<math> \textrm{d}f_{x_0,\lambda_0}</math>有實部為0的[[特徵值]]，表示在此點有局部分岔。若特徵值為0，表示此分岔為穩態的分岔，但若特徵值為虛數，表示是[[霍普夫分岔]]。

若是離散系統
:<math>x_{n+1}=f(x_n,\lambda)\,.</math>
若在<math>(x_0,\lambda_0)</math>的矩陣<math> \textrm{d}f_{x_0,\lambda_0}</math>有模數為1的特徵值，表示有局部分岔。若特徵值等於1，分岔可能是{{le|鞍結分岔|saddle-node bifurcation}}、{{le|跨臨界分岔|transcritical bifurcation}}或{{le|叉式分岔|pitchfork bifurcation}}，若特徵值等於-1，表示是{{le|週期加倍分岔|period-doubling bifurcation}}，否則則為[[霍普夫分岔]]。

局部分岔的例子有：
*{{le|鞍結分岔|saddle-node bifurcation}}（fold分岔）
*{{le|跨臨界分岔|transcritical bifurcation}}
*{{le|叉式分岔|pitchfork bifurcation}}
*{{le|週期加倍分岔|period-doubling bifurcation}}（flip分岔）
*[[霍普夫分岔]]
*[[Neimark–Sacker分岔]]（二次霍普夫分岔）

===全域分岔===
全域分岔是指較大的不變集（如週期性軌跡）和平衡點重疊。全域分岔也會改變相圖上的拓樸，而且其變化不會像局部分岔一様限制在一個小區域，因此稱為全域分岔。

全域分岔的例子有：
* {{le|同宿分岔|Homoclinic bifurcation}}是指[[極限環]]和一個[[鞍點]]重疊。
* {{le|異宿分岔|Heteroclinic bifurcation}}是指極限環和二個或多個[[鞍點]]重疊。
* {{le|無限週期分岔|Infinite-period bifurcation}}是指在極限環上有穩定節點和鞍點同時出現。
* {{le|藍天突變|Blue sky catastrophe}}是指極限環和一個nonhyperbolic cycle重疊。

全域分岔有時會和像[[奇異吸引子]]之間更複雜的結構有關，如一種稱為{{le|危機 (動態系統)|Crisis (dynamical systems)|危機}}的現象就是指當動態系統的參數變化時，[[奇異吸引子]]突然出現或是突然消失。

==分岔的餘維數==
分岔的[[餘維數]]是指動態系統中需變動幾個參數，才會使分岔現象出現。<!--This corresponds to  the codimension of the parameter set for which the bifurcation occurs within the full space of parameters.-->鞍結分岔及霍普夫分岔是常見的局部分岔中，實際餘維數為1的二個分岔（其他分岔的餘維數都大於1）。不過跨臨界分岔及叉式分岔的正規式可以寫成只有一個參數的形式，因此也可以視為餘維數為1的分岔。

{{le|Bogdanov-Takens分岔|Bogdanov–Takens bifurcation}}是一個有較多研究，餘維數為2分岔的一個例子。

==在半經典力學及量子力學上的應用==
分岔理論已用在連結量子系統及經典力學系統的動態中，可以用在原子系統<ref>{{Cite journal |title=Quantum manifestations of bifurcations of closed orbits in the photoabsorption spectra of atoms in electric fields |first=J. |last=Gao |first2=J. B. |last2=Delos |journal=Phys. Rev. A |volume=56 |issue=1 |pages=356–364 |year=1997 |doi=10.1103/PhysRevA.56.356 |bibcode = 1997PhRvA..56..356G }}</ref><ref>{{Cite journal |title=Quantum Manifestations of Bifurcations of Classical Orbits: An Exactly Solvable Model |first=A. D. |last=Peters |first2=C. |last2=Jaffé |first3=J. B. |last3=Delos |journal=Phys. Rev. Lett. |volume=73 |issue=21 |pages=2825–2828 |year=1994 |pmid=10057205 |doi=10.1103/PhysRevLett.73.2825 |bibcode=1994PhRvL..73.2825P}}</ref><ref>{{Cite journal |title=Closed Orbit Bifurcations in Continuum Stark Spectra | last1 = Courtney | first1 = Michael | last2 = Jiao | first2 = Hong | last3 = Spellmeyer | first3 = Neal | last4 = Kleppner | first4 = Daniel | last5 = Gao | first5 = J. | last6 = Delos | first6 = J. B. |journal=Phys. Rev. Lett. |volume=74 |issue=9 |pages=1538–1541 |year=1995 |pmid=10059054 |doi=10.1103/PhysRevLett.74.1538 |bibcode=1995PhRvL..74.1538C|display-authors=etal}}</ref>、分子系統<ref>{{Cite journal |title=Bifurcation diagrams of periodic orbits for unbound molecular systems: FH2 |first=M. |last=Founargiotakis |first2=S. C. |last2=Farantos |first3=Ch. |last3=Skokos |first4=G. |last4=Contopoulos |journal=Chemical Physics Letters |volume=277 |issue=5–6 |year=1997 |pages=456–464 |doi=10.1016/S0009-2614(97)00931-7 |bibcode=1997CPL...277..456F}}</ref>及[[谐振隧穿二极管]]<ref>{{Cite journal |title=Quantum Wells in Tilted Fields:Semiclassical Amplitudes and Phase Coherence Times |first=T. S. |last=Monteiro |lastauthoramp=yes |first2=D. S. |last2=Saraga |journal=Foundations of Physics |volume=31 |issue=2 |year=2001 |pages=355–370 |doi=10.1023/A:1017546721313 }}</ref>。分岔理論已用到[[雷射動力學]]<ref>{{Cite journal |title=The dynamical complexity of optically injected semiconductor lasers |first=S. |last=Wieczorek |first2=B. |last2=Krauskopf |first3=T. B. |last3=Simpson |lastauthoramp=yes |first4=D. |last4=Lenstra |journal=Physics Reports |volume=416 |issue=1–2 |year=2005 |pages=1–128 |doi=10.1016/j.physrep.2005.06.003 |bibcode = 2005PhR...416....1W }}</ref>的研究中，也用在許多在實驗上難以處理的理論例子中，例如kicked top<ref>{{Cite journal |title=Quantum entanglement dependence on bifurcations and scars in non-autonomous systems. The case of quantum kicked top |first=G. |last=Stamatiou |lastauthoramp=yes |first2=D. P. K. |last2=Ghikas |journal=Physics Letters A |volume=368 |issue=3–4 |year=2007 |pages=206–214 |doi=10.1016/j.physleta.2007.04.003 |arxiv = quant-ph/0702172 |bibcode = 2007PhLA..368..206S }}</ref>及耦合量子阱<ref>{{Cite journal |title=Chaos in a Mean Field Model of Coupled Quantum Wells; Bifurcations of Periodic Orbits in a Symmetric Hamiltonian System |first=J. |last=Galan |first2=E. |last2=Freire |journal=Reports on Mathematical Physics |volume=44 |issue=1–2 |year=1999 |pages=87–94 |doi=10.1016/S0034-4877(99)80148-7 |bibcode=1999RpMP...44...87G}}</ref>。將量子系統及古典力學運動方程中分岔相連結的主要原因是在分岔時，古典力學軌道的signature會變大，正如{{le|Martin Gutzwiller|Martin Gutzwiller}}在有關{{le|量子混沌|quantum chaos}}中的研究所提出的一樣<ref>{{Cite journal |title=Beyond quantum mechanics: Insights from the work of Martin Gutzwiller |first=D. |last=Kleppner |first2=J. B. |last2=Delos |journal=Foundations of Physics |volume=31 |issue=4 |year=2001 |pages=593–612 |doi=10.1023/A:1017512925106 }}</ref><ref>{{Cite book |first=Martin C. |last=Gutzwiller |title=Chaos in Classical and Quantum Mechanics |year=1990 |publisher=Springer-Verlag |location=New York |isbn=0-387-97173-4 }}</ref>。許多分岔都研究來連結古典力學和量子力學，像是鞍結分岔、霍普夫分岔、umbilic分岔、週期加倍分岔、重新連接分叉（reconnection bifurcation）、切線分叉（tangent bifurcation）及尖分叉（cusp bifurcation）。

==相關條目==
{{Portal|數學}}
*{{le|突變理論|Catastrophe theory}}
*[[相圖 (動態系統)]]
*[[費根鮑姆常數]]
*{{le|分叉內存|Bifurcation memory}}
*{{le|分枝圖|Bifurcation diagram}}

==參考資料==
{{reflist}}

==外部链接==
* [http://episte.math.ntu.edu.tw/articles/mm/mm_15_4_07/index.html 分枝現象與理論] {{Wayback|url=http://episte.math.ntu.edu.tw/articles/mm/mm_15_4_07/index.html |date=20200511233121 }},台灣中央研究院數學所
* [https://web.archive.org/web/20060502064218/http://monet.physik.unibas.ch/~elmer/pendulum/nldyn.htm  Nonlinear dynamics]
* [http://www.egwald.ca/nonlineardynamics/bifurcations.php Bifurcations and Two Dimensional Flows] {{Wayback|url=http://www.egwald.ca/nonlineardynamics/bifurcations.php |date=20200712114022 }} by Elmer G. Wiens 
* [http://prola.aps.org/abstract/RMP/v63/i4/p991_1 Introduction to Bifurcation theory] by John David Crawford

{{混沌理论}}

[[Category:动力系统]]
[[Category:非线性系统]]
[[Category:分岔理论]]