查看“︁叉分岔”︁的源代码

在數學的[[分岔理論]]中，'''叉分岔'''（Pitchfork bifurcation）是動力學系統中一個不動點變為三個不動點的一類局部分岔。叉分岔與[[Hopf分岔]]類似，有两種類型—超臨界叉分岔與次臨界叉分岔。 

在以微分方程組描述的連續動力學系統中，叉分岔一般與系統的對稱性有關。

== 超臨界叉分岔 ==
超臨界叉分岔的正則方程為：

<math> \frac{dx}{dt}=rx-x^3. </math>

當 <math>r<0</math>時，系統有一個穩定不動點<math>x=0</math>。當 <math>r>0</math>時，系統有一個不穩定不動點 <math>x=0</math>及两個穩定不動點<math>x = \pm \sqrt{r}</math>。

== 次臨界叉分岔 ==
次臨界戏分岔的正則方程為：

: <math> \frac{dx}{dt}=rx+x^3. </math>

當<math>r<0</math>時，系統有一個穩定不動點<math>x=0</math>及两個不穩定不動點<math>x = \pm \sqrt{-r}</math>。當<math>r>0</math>時，系統只有一個不穩定不動點<math>x=0</math>。

== 叉分岔的定義 ==
對于一般的微分方程：

: <math> \dot{x}=f(x,r)\,</math>

其中<math> r</math>為實參數。若其滿足：

: <math> -f(x, r) = f(-x, r)\,\,</math>,

: <math>
\begin{array}{lll}
\displaystyle\frac{\partial f}{\partial x}(0, r_0) = 0 , &
\displaystyle\frac{\partial^2 f}{\partial x^2}(0, r_0) = 0, &
\displaystyle\frac{\partial^3 f}{\partial x^3}(0, r_0) \neq 0,
\\[12pt]
\displaystyle\frac{\partial f}{\partial r}(0, r_0) = 0, &
\displaystyle\frac{\partial^2 f}{\partial r \partial x}(0, r_0) \neq 0.
\end{array}
</math>

則由該微分方程描述的動力學系統在<math>(x, r) = (0, r_0)</math>處有叉分岔。該叉分岔的類型由其三階微分的符號確定：

: <math> \frac{\partial^3 f}{\partial x^3}(0, r_0)<0

</math>時為超臨界
:<math> \frac{\partial^3 f}{\partial x^3}(0, r_0)>0

</math>時為次臨界

注意，區分超臨界叉分岔與次臨界叉分岔是根据其分岔圖中外圍不動點的穩定性確定的(外圍不動點為穩定時對應超臨界叉分岔，外圍不動點為不穩定時對應次臨界叉分岔)，而與分岔圖中叉分岔曲線的開口方向無關。即對方程<math>\dot{x}=x^3-rx</math>來說，雖然其在分岔圖中的曲線形狀與上述提到超臨界分岔例子的分岔圖十分相似，但它為次臨界分岔系統。

== 註釋 ==

* Steven Strogatz, ''Non-linear Dynamics and Chaos: With applications to Physics, Biology, Chemistry and Engineering'', Perseus Books, 2000.
* S. Wiggins, ''Introduction to Applied Nonlinear Dynamical Systems and Chaos'', Springer-Verlag, 1990.

==相關條目==
*[[分岔理論]]
*{{le|分岔圖|Bifurcation diagram}}

[[Category:分岔理论]]