Bifurcation Theory - Core Definitions

Bifurcation theory studies qualitative changes in the dynamics of parameterized families of systems. As parameters vary, fixed points may appear, disappear, or change stability, and new dynamical objects like limit cycles can emerge. Understanding bifurcations is crucial for predicting how systems respond to changing conditions.

DefinitionBifurcation

A bifurcation occurs at a parameter value $\mu = \mu_c$ in a family of dynamical systems $\dot{\mathbf{x}} = \mathbf{F}_\mu(\mathbf{x})$ if the topological structure of the phase portrait changes qualitatively at $\mu_c$ . The value $\mu_c$ is called a bifurcation point, and the locus of fixed points or periodic orbits in parameter space is the bifurcation diagram.

Typical bifurcations involve:

Creation or annihilation of fixed points
Change of stability of equilibria
Birth or death of periodic orbits
Qualitative changes in invariant manifolds

Bifurcations are typically associated with non-hyperbolic conditions: fixed points where eigenvalues have zero real part, or periodic orbits with unit Floquet multipliers. At these critical values, linearization fails to determine stability, and higher-order nonlinear terms become decisive.

DefinitionSaddle-Node (Fold) Bifurcation

The saddle-node (or fold) bifurcation is the basic mechanism for creation and annihilation of fixed points. The normal form is:

$\dot{x} = \mu + x^2$

For $\mu < 0$ : two fixed points at $x^* = \pm\sqrt{-\mu}$ (one stable, one unstable)
For $\mu = 0$ : one non-hyperbolic fixed point at $x^* = 0$ (saddle-node)
For $\mu > 0$ : no fixed points

At $\mu = 0$ , the two fixed points collide and annihilate. This is the generic way fixed points appear or disappear in one-parameter families.

The saddle-node bifurcation is ubiquitous in applications. When a physical system transitions from one equilibrium state to another as a parameter changes, it often does so through a saddle-node where equilibria emerge from or merge into nothingness. The normal form captures the essential local behavior near the bifurcation point.

DefinitionTranscritical Bifurcation

The transcritical bifurcation describes an exchange of stability between two branches of fixed points. The normal form is:

$\dot{x} = \mu x - x^2$

There are always two fixed points:

$x^* = 0$ (stable for $\mu < 0$ , unstable for $\mu > 0$ )
$x^* = \mu$ (unstable for $\mu < 0$ , stable for $\mu > 0$ )

At $\mu = 0$ , the two branches cross and exchange stability. This bifurcation typically arises when a system has a fixed point constrained to exist for all parameter values (e.g., by symmetry or conservation laws).

DefinitionPitchfork Bifurcation

The pitchfork bifurcation occurs in systems with symmetry. There are two types:

Supercritical: $\dot{x} = \mu x - x^3$

For $\mu < 0$ : one stable fixed point at $x^* = 0$
For $\mu > 0$ : unstable $x^* = 0$ and two stable fixed points at $x^* = \pm\sqrt{\mu}$

Subcritical: $\dot{x} = \mu x + x^3$

For $\mu < 0$ : stable $x^* = 0$ and two unstable fixed points at $x^* = \pm\sqrt{-\mu}$
For $\mu > 0$ : one unstable fixed point at $x^* = 0$

The supercritical case describes smooth symmetry breaking, while the subcritical case can lead to catastrophic jumps to distant attractors.

ExampleLaser Threshold

A simple laser model exhibits a transcritical bifurcation. Let $n$ be photon number and $\mu$ represent pump strength:

$\dot{n} = (\mu - \kappa)n - \gamma n^2$

For $\mu < \kappa$ , the only stable state is $n = 0$ (no lasing). At $\mu = \kappa$ , a transcritical bifurcation occurs, and for $\mu > \kappa$ , the laser operates in a stable lasing state $n^* = (\mu - \kappa)/\gamma > 0$ . The threshold behavior is a direct consequence of the bifurcation structure.

Remark

These "codimension-one" bifurcations (requiring variation of one parameter) are the building blocks of bifurcation theory. More complex "codimension-two" bifurcations like cusp and Bogdanov-Takens require two parameters and organize the parameter space into regions with different bifurcation scenarios. Understanding these elementary bifurcations allows us to predict and control system behavior by identifying critical parameter values where qualitative changes occur.

Bifurcation theory provides a systematic framework for understanding how dynamics changes with parameters. Rather than solving systems for each parameter value separately, bifurcation analysis identifies critical values and classifies the qualitative changes, providing a global picture of how the system evolves across parameter space.