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

分岔（bifurcation）常出現在動態系統的數學研究中，是指系統參數（分岔參數）小而連續的變化，結果造成系統本質或是拓扑结构的突然改變^[1]。分岔會出現在連續系統（以常微分方程、时滞微分方程或偏微分方程來描述）或是離散系統中 （以映射來描述）。

bifurcation一詞最早是由儒勒·昂利·庞加莱在1885年的論文中提出，這也是第一篇提到類似特性的數學論文^[2]，庞加莱後來也為許多不同的驻点命名而且分類。

分岔可以分為以下的二種類型：

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

局部分岔是指因參數變化，因此改變平衡點（或是不動點）穩定性的情形，對應平衡點特徵值的實部由正變負或是由負變正，在離散系統中（會由映射描述），是指不動點其弗洛凱乘子的模為1。這二種情形下，平衡點在分岔時都是非雙曲線的。

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

考慮用以下常微分方程描述的連續動態系統

${\displaystyle {\dot {x}}=f(x,\lambda )\quad f\colon \mathbb {R} ^{n}\times \mathbb {R} \rightarrow \mathbb {R} ^{n}.}$

若在${\displaystyle (x_{0},\lambda _{0})}$位置的雅可比矩阵${\displaystyle {\textrm {d}}f_{x_{0},\lambda _{0}}}$有實部為0的特徵值，表示在此點有局部分岔。若特徵值為0，表示此分岔為穩態的分岔，但若特徵值為虛數，表示是霍普夫分岔。

若是離散系統

${\displaystyle x_{n+1}=f(x_{n},\lambda )\,.}$

若在${\displaystyle (x_{0},\lambda _{0})}$的矩陣${\displaystyle {\textrm {d}}f_{x_{0},\lambda _{0}}}$有模數為1的特徵值，表示有局部分岔。若特徵值等於1，分岔可能是鞍結分岔（英语：saddle-node bifurcation）、跨臨界分岔（英语：transcritical bifurcation）或叉式分岔（英语：pitchfork bifurcation），若特徵值等於-1，表示是週期加倍分岔（英语：period-doubling bifurcation），否則則為霍普夫分岔。

局部分岔的例子有：

• 鞍結分岔（英语：saddle-node bifurcation）（fold分岔）
• 跨臨界分岔（英语：transcritical bifurcation）
• 叉式分岔（英语：pitchfork bifurcation）
• 週期加倍分岔（英语：period-doubling bifurcation）（flip分岔）
• 霍普夫分岔
• Neimark–Sacker分岔（二次霍普夫分岔）

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

全域分岔的例子有：

• 同宿分岔（英语：Homoclinic bifurcation）是指極限環和一個鞍點重疊。
• 異宿分岔（英语：Heteroclinic bifurcation）是指極限環和二個或多個鞍點重疊。
• 無限週期分岔（英语：Infinite-period bifurcation）是指在極限環上有穩定節點和鞍點同時出現。
• 藍天突變（英语：Blue sky catastrophe）是指極限環和一個nonhyperbolic cycle重疊。

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

分岔的餘維數是指動態系統中需變動幾個參數，才會使分岔現象出現。鞍結分岔及霍普夫分岔是常見的局部分岔中，實際餘維數為1的二個分岔（其他分岔的餘維數都大於1）。不過跨臨界分岔及叉式分岔的正規式可以寫成只有一個參數的形式，因此也可以視為餘維數為1的分岔。

Bogdanov-Takens分岔（英语：Bogdanov–Takens bifurcation）是一個有較多研究，餘維數為2分岔的一個例子。

分岔理論已用在連結量子系統及經典力學系統的動態中，可以用在原子系統^[3][4][5]、分子系統^[6]及谐振隧穿二极管^[7]。分岔理論已用到雷射動力學^[8]的研究中，也用在許多在實驗上難以處理的理論例子中，例如kicked top^[9]及耦合量子阱^[10]。將量子系統及古典力學運動方程中分岔相連結的主要原因是在分岔時，古典力學軌道的signature會變大，正如Martin Gutzwiller（英语：Martin Gutzwiller）在有關量子混沌（英语：quantum chaos）中的研究所提出的一樣^[11][12]。許多分岔都研究來連結古典力學和量子力學，像是鞍結分岔、霍普夫分岔、umbilic分岔、週期加倍分岔、重新連接分叉（reconnection bifurcation）、切線分叉（tangent bifurcation）及尖分叉（cusp bifurcation）。

• 突變理論（英语：Catastrophe theory）
• 相圖 (動態系統)
• 費根鮑姆常數
• 分叉內存（英语：Bifurcation memory）
• 分枝圖（英语：Bifurcation diagram）

• 分枝現象與理論 （页面存档备份，存于互联网档案馆）,台灣中央研究院數學所
• Nonlinear dynamics
• Bifurcations and Two Dimensional Flows （页面存档备份，存于互联网档案馆） by Elmer G. Wiens
• Introduction to Bifurcation theory by John David Crawford