麥角菌科
[拼音]：fenqi lilun
[外文]：bifurcation theory
研究在一帶引數的動力體系中平衡態隨引數變化時個數發生變化的現象，特別是平衡態由一個分裂為二個或多個的現象。近年來由於實際問題中不斷湧現出大量的分歧問題，也由於在理論上建立了較系統地處理這類問題的方法而發展成為一個獨立的數學研究方向。
自然界廣泛出現分歧現象。例如，沿軸向加壓的彈性圓柱杆（圖1
）。若以軸向外力λ為引數，當λ由0逐漸增大時，杆開始變為粗短，但其中心線則保持挺直；而當λ越過某一定值λc時，杆的中心線由直變彎。因為對一切外力λ，直杆都是一種平衡態，所以當λ<λc時，只有一個平衡態，而當λ>λc時則至少有兩個平衡態:直的與彎的。
旋轉流體隨角速度增大，由水平層流分裂為泰勒旋渦以及更復雜的週期、雙週期結構；水平傳導板之間隨溫差之增大，由熱傳導分裂出熱對流；化學反應中，隨濃度之增大，溫度分佈出現多重平衡態；以及氫氣的自燃、雙星的裂變等等都是分歧現象。
在數學上，用運算元方程
(1)
的解來描寫系統的平衡態，其中λ是引數，而x則屬於某向量空間。用Sλ表示固定λ時滿足(1)的x的集合即解集，所謂λ0是一個分歧點，是指對於λ0的一個鄰域 V，存在x∈Sλ的一個鄰域U，以及λ1、λ2∈V，使得
與
不是同胚的。然而，通常流行的說法則是下列比較直接的描述:設x=θ總滿足(1)，即F(θ，λ)呏0。一點(θ，λ0)稱為分歧點，是指在它的任意鄰域內都含有(1)的非θ解。
分歧的數學理論主要研究以下幾個問題：
（1）一點成為分歧點的充分必要條件；
（2）在分歧點附近，解集的構造；
（3）對分歧點區域性的瞭解能否匯出有關解集的整體性結論。
由隱函式定理可知，若(θ，λ0)是分歧點，則必須偏導數 Fx(θ，λ0)是奇異的。但它不是一個充分條件。在一些特殊情況下，可以利用線性化運算元Fx(θ，λ0)的譜來作判斷，然而常用的辦法是通過有窮維約化手續（李亞普諾夫-施密特手續或中心流形理論）將(1)約化為有窮維方程組，再利用各種特定條件把這有窮維方程組在(θ，λ0) 鄰近的解集行為歸結到相應的截斷泰勒展開式去研究。例如，若這約化後的方程在(x，λ0)=(θ，0)附近呈下列形式：
式中x∈R1，而
，則可以通過適當的座標變換將其化為方程
(3)
通過在引數空間(λ1，λ2)上觀察(3)的解集個數的變化，可以回覆到(2)的分歧行為，不難看出，尖點方程
決定的曲線正是解集個數變化的分界線，稱為分歧曲線（或面）。觀察圖2
，其中a為解集曲面；b顯示了分歧曲線，解的個數在此曲線兩側各為1個與3個；c是在λ2=0平面上解集曲面之截口；d為λ2>0固定時解集曲面的截口。
有許多情況約化方程組不能歸結到相應的泰勒展開式，這在退化階數高而引數空間維數不夠的時候經常發生。此時往往要利用約化方程的特性去獲得有關分歧曲面的知識。
從分歧點的區域性性態不容易獲得解集的整體性質。這方面人們知道得很少。P.H.拉賓諾維茨利用拓撲度方法討論了從奇數重特徵值分歧出的連通分支在整體上的幾種可能性，它被應用於討論非線性斯圖姆-劉維爾問題解的個數。例如，
式中λ是引數。當
時，此方程正好有n個非平凡解，這裡λn是對應的線性化方程的特徵值，n=1，2，…。
因為分歧問題來自動力體系中平衡態個數的變化，在物理上，人們關心哪個平衡態是穩定的，所以經常要討論分歧前後解的穩定性。在微分方程中平衡態通常表現為平衡點、週期軌道、擬週期軌道或異常軌道。從平衡點分歧出週期軌道的分支稱為霍普夫分支。