Pitchfork bifurcation

From HandWiki
Short description: Bifurcation from a system having one fixed point to three fixed points

In bifurcation theory, a field within mathematics, a pitchfork bifurcation is a particular type of local bifurcation where the system transitions from one fixed point to three fixed points. Pitchfork bifurcations, like Hopf bifurcations, have two types – supercritical and subcritical.

In continuous dynamical systems described by ODEs—i.e. flows—pitchfork bifurcations occur generically in systems with symmetry.

Supercritical case

Supercritical case: solid lines represent stable points, while dotted line represents unstable one.

The normal form of the supercritical pitchfork bifurcation is

[math]\displaystyle{ \frac{dx}{dt}=rx-x^3. }[/math]

For [math]\displaystyle{ r\lt 0 }[/math], there is one stable equilibrium at [math]\displaystyle{ x = 0 }[/math]. For [math]\displaystyle{ r\gt 0 }[/math] there is an unstable equilibrium at [math]\displaystyle{ x = 0 }[/math], and two stable equilibria at [math]\displaystyle{ x = \pm\sqrt{r} }[/math].

Subcritical case

Subcritical case: solid line represents stable point, while dotted lines represent unstable ones.

The normal form for the subcritical case is

[math]\displaystyle{ \frac{dx}{dt}=rx+x^3. }[/math]

In this case, for [math]\displaystyle{ r\lt 0 }[/math] the equilibrium at [math]\displaystyle{ x=0 }[/math] is stable, and there are two unstable equilibria at [math]\displaystyle{ x = \pm \sqrt{-r} }[/math]. For [math]\displaystyle{ r\gt 0 }[/math] the equilibrium at [math]\displaystyle{ x=0 }[/math] is unstable.

Formal definition

An ODE

[math]\displaystyle{ \dot{x}=f(x,r)\, }[/math]

described by a one parameter function [math]\displaystyle{ f(x, r) }[/math] with [math]\displaystyle{ r \in \mathbb{R} }[/math] satisfying:

[math]\displaystyle{ -f(x, r) = f(-x, r)\,\, }[/math]  (f is an odd function),
[math]\displaystyle{ \begin{align} \frac{\partial f}{\partial x}(0, r_0) &= 0, & \frac{\partial^2 f}{\partial x^2}(0, r_0) &= 0, & \frac{\partial^3 f}{\partial x^3}(0, r_0) &\neq 0, \\[5pt] \frac{\partial f}{\partial r}(0, r_0) &= 0, & \frac{\partial^2 f}{\partial r \partial x}(0, r_0) &\neq 0. \end{align} }[/math]

has a pitchfork bifurcation at [math]\displaystyle{ (x, r) = (0, r_0) }[/math]. The form of the pitchfork is given by the sign of the third derivative:

[math]\displaystyle{ \frac{\partial^3 f}{\partial x^3}(0, r_0)\begin{cases} \lt 0, & \text{supercritical} \\ \gt 0, & \text{subcritical} \end{cases} \,\, }[/math]

Note that subcritical and supercritical describe the stability of the outer lines of the pitchfork (dashed or solid, respectively) and are not dependent on which direction the pitchfork faces. For example, the negative of the first ODE above, [math]\displaystyle{ \dot{x} = x^3 - rx }[/math], faces the same direction as the first picture but reverses the stability.

See also

References

  • 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.