When equilibria appear and exchange stability
Derive saddle-node and pitchfork normal forms, identify their nondegeneracy conditions, and recognize the role of symmetry.
On this page
The question for today
What you’ll understand
- Track fixed points as a control parameter varies.
- Check the local nondegeneracy conditions of a saddle-node.
- Explain why a pitchfork usually needs a symmetry or another constraint.
A smooth change in a parameter can produce an abrupt change in the kinds of long-term motion available. An equilibrium can disappear at a threshold, or one symmetric state can give way to two alternatives. Bifurcation theory identifies that structural change. The useful calculation is not merely finding a zero eigenvalue: it is checking how the parameter and nonlinear terms resolve that degeneracy, and whether a physical symmetry protects the proposed diagram.
The saddle-node creates a pair
Consider the scalar normal form . For positive parameter there are two fixed points: the positive root attracts locally and the negative root repels. At zero they meet; for negative parameter no equilibrium remains nearby. The exact signs depend on the chosen coordinates and direction of the parameter. What survives those conventions is pair creation or annihilation, with one stable and one unstable scalar branch on the side where the pair exists.
For a smooth scalar family , a generic saddle-node at the origin requires while and there. The first two equalities identify the degenerate equilibrium; the inequalities ensure a quadratic state dependence and an effective parameter crossing. A zero derivative without those inequalities can describe a higher degeneracy. In higher-dimensional systems a single zero eigenvalue and suitable complementary stability permit a reduced one-dimensional description, but those additional assumptions must be checked.
A pitchfork is organized by symmetry
The supercritical pitchfork is invariant under replacing x by its negative. Its central branch exists for every parameter. Below zero it attracts; above zero it repels and two attracting states appear at opposite signs. This makes a useful model of a symmetric device choosing either orientation. The two alternatives are related by the symmetry, not by a random term inserted into the deterministic equation; imperfect initial preparation can select which branch is reached.
That symmetry also explains fragility. Adding a small constant bias destroys the exact oddness and generally unfolds the pitchfork into a different arrangement with folds. A subcritical cubic sign instead produces unstable nearby nonzero branches on the opposite side. Stable distant states and hysteresis may require a higher-order saturating term; the destabilizing cubic alone does not prove them. Normal forms describe a neighborhood, so do not infer the entire global response curve from a truncated polynomial near threshold.
A threshold also changes time scales
Close to an attracting branch with a very small negative derivative, disturbances decay slowly. This critical slowing can make a gradual parameter sweep appear to lag behind its equilibrium diagram. A saddle-node can also leave a bottleneck just beyond disappearance: trajectories move slowly through the place where equilibria nearly existed. An observed long pause is therefore not necessarily a surviving fixed point. Estimate rates and observe a long enough interval before labeling a state stationary.
To use these ideas in an experiment, distinguish the controlled parameter from the observed coordinate, sweep in both directions, and record the disturbance size and settling time. Bias, noise, finite sweep rate, and hidden degrees of freedom can blur a diagram. A bifurcation is a statement about the model's invariant structures as parameters change, while a measured trace includes the protocol. Matching those two requires checking symmetry and nondegeneracy, rather than assigning a familiar name to any branching picture.
Work it through
Two symmetric operating states
For , compare the equilibria and their linear recovery rates at and .
At , only is real. Its derivative is , so small displacements decay initially with rate one in the chosen inverse-time units.
At , the three equilibria are . The central derivative is , so the symmetric state repels.
At either nonzero equilibrium, . Each branch attracts locally, with linear relaxation time two. Initial states on opposite sides of zero select different stable branches in this exact symmetric scalar model.
The parameter crossing exchanges central stability for two stable symmetry-related states. The result is a supercritical pitchfork, and relies on maintaining the odd symmetry of the equation.
The living notebook
Explore the model
Interactive lab · function
Inspect quadratic curvature before a fold
Change coefficient a in y=ax² and use position x to inspect the tangent slope. Predict that opposite sides of the parabola have opposite slopes for nonzero a. This diagram illustrates the quadratic curvature used in a saddle-node expansion; its controls do not add μ, move equilibria, or simulate a bifurcation.
- y at chosen x
- 0.608
- Tangent slope · 2ax
- 1.35
- Signed area · ax³/3
- 0.182
This lab uses only y = ax². Playback traces the curve within the fixed integration interval from 0 to x; it does not estimate numerical error or change the chosen point. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.
Look forCurvature supplies a necessary local ingredient of a fold, but a true bifurcation also needs parameter dependence.
Pause & reason
Check your understanding
Your turn
Try it yourself
For at , find both equilibria and their linear rates. What happens to the stable relaxation time as μ approaches zero from above?
Take a moment to make a prediction or work it out on paper. Open a hint when you need one.
Give me a hint
Take the square root, evaluate −2x, and invert the magnitude of the negative rate.
Compare with the solution
The roots are and . Their derivatives are and , so the positive root attracts and the negative root repels. The stable relaxation time is , here about time units, and diverges as μ approaches zero from above. Exactly at the threshold linear recovery is inconclusive and the remaining quadratic flow is only one-sided attracting.
Keep the idea
Take it with you
- A saddle-node needs both degeneracy equalities and nonzero unfolding coefficients.
- A pitchfork's symmetry matters; a generic small bias changes the diagram.
- Equilibrium branches and finite-rate measurement traces answer different questions.
Read further
Original sources and deeper explanations to follow at your own pace.
Optional progress, saved in this browser when available. Revisit any lesson at any time.
Lesson not marked complete.