在数学的分岔理论中,叉分岔(Pitchfork bifurcation)是动力学系统中一个不动点变为三个不动点的一类局部分岔。叉分岔与Hopf分岔类似,有两种类型—超临界叉分岔与次临界叉分岔。
在以微分方程组描述的连续动力学系统中,叉分岔一般与系统的对称性有关。
超临界叉分岔
超临界叉分岔的正则方程为:
当
时,系统有一个稳定不动点
。当
时,系统有一个不稳定不动点
及两个稳定不动点
。
次临界叉分岔
次临界戏分岔的正则方程为:
![{\displaystyle {\frac {dx}{dt}}=rx+x^{3}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9beb569f412ba5ec1f6dceb80ecb0f9884aefc1)
当
时,系统有一个稳定不动点
及两个不稳定不动点
。当
时,系统只有一个不稳定不动点
。
叉分岔的定义
对于一般的微分方程:
![{\displaystyle {\dot {x}}=f(x,r)\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/96a55e8567a568799bf0646eefd0ab959edb0167)
其中
为实参数。若其满足:
,
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f04eadeb54288267f4003d9a8109668e8f1debe)
则由该微分方程描述的动力学系统在
处有叉分岔。该叉分岔的类型由其三阶微分的符号确定:
时为超临界
时为次临界
注意,区分超临界叉分岔与次临界叉分岔是根据其分岔图中外围不动点的稳定性确定的(外围不动点为稳定时对应超临界叉分岔,外围不动点为不稳定时对应次临界叉分岔),而与分岔图中叉分岔曲线的开口方向无关。即对方程
来说,虽然其在分岔图中的曲线形状与上述提到超临界分岔例子的分岔图十分相似,但它为次临界分岔系统。
注释
- 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.
相关条目