A saddle-node bifurcation is a collision and disappearance of two equilibria in dynamical systems. In systems generated by autonomous ODEs, this occurs when the critical equilibrium has one zero eigenvalue. This phenomenon is also called fold or limit point bifurcation. A discrete version of this bifurcation is considered in the article "Saddle-node bifurcation for maps".
Contents |
Consider an autonomous system of ordinary differential equations (ODEs) \[ \dot{x}=f(x,\alpha),\ \ \ x \in {\mathbb R}^n \] depending on a parameter \(\alpha \in {\mathbb R}\ ,\) where \(f\) is smooth.
Then, generically, as \(\alpha\) passes through \(\alpha=0\ ,\) two equilibria collide, form a critical saddle-node equilibrium (case \(\beta=0\) in Figure 1), and disappear. This bifurcation is characterized by a single bifurcation condition \(\lambda_1=0\) (has codimension one) and appears generically in one-parameter families of smooth ODEs. The critical equilibrium \( x^0 \) is a multiple (double) root of the equation \( f(x,0)=0 \ .\)
\[ \dot{x} = f(x,\alpha), \ \ \ x \in {\mathbb R} \ .\] If the following nondegeneracy conditions hold:
then this system is locally topologically equivalent near the origin to the normal form \[ \dot{y} = \beta + \sigma y^2 \ ,\] where \(y \in {\mathbb R},\ \beta \in {\mathbb R}\ ,\) and \(\sigma= {\rm sign}\ a(0) = \pm 1\ .\)
The normal form has two equilibria (one stable and one unstable) \(y^{1,2}=\pm \sqrt{-\sigma \beta}\) for \(\sigma \beta<0\) and no equilibria for \(\sigma \beta > 0\ .\) At \(\beta=0\ ,\) there is one critical equilibrium \(y^0=0\) with zero eigenvalue.
In the \(n\)-dimensional case with \(n \geq 2\ ,\) the Jacobian matrix \(A_0\) at the saddle-node bifurcation has
with \(n_s+n_u+1=n\ .\) According to the Center Manifold Theorem, there is a family of smooth one-dimensional invariant manifolds \(W^c_{\alpha}\) near the origin. The \(n\)-dimensional system restricted on \(W^c_{\alpha}\) is one-dimensional, hence has the normal form above.
Moreover, under the non-degeneracy conditions (SN.1) and (SN.2), the \(n\)-dimensional system is locally topologically equivalent near the origin to the suspension of the normal form by the standard saddle, i.e. \[ \dot{y} = \beta + \sigma y^2 \ ,\] \[ \dot{y}^s = -y^s \ ,\] \[ \dot{y}^u = +y^u \ ,\] where \(y \in {\mathbb R}\ ,\) \(y^s \in {\mathbb R}^{n_s}, \ y^u \in {\mathbb R}^{n_u}\ .\) Figure 1 shows the phase portraits of the normal form suspension when \(n=2\ ,\) \(n_s=1\ ,\) \(n_u=0\ ,\) and \(\sigma=+1\ .\)
The quadratic coefficient \(a(0)\ ,\) which is involved in the nondegeneracy condition (SN.1), can be computed for \(n \geq 1\) as follows. Write the Taylor expansion of \(f(x,0)\) at \(x=0\) as \[ f(x,0)=A_0x + \frac{1}{2}B(x,x) + O(\|x\|^3) \ ,\] where \(B(x,y)\) is the bilinear function with components \[ \ \ B_j(x,y) =\sum_{k,l=1}^n \left. \frac{\partial^2 f_j(\xi,0)}{\partial \xi_k \partial \xi_l}\right|_{\xi=0} x_k y_l \ ,\] where \(j=1,2,\ldots,n\ .\) Let \(q\in {\mathbb R}^n\) be a null-vector of \(A_0\ :\) \(A_0q=0, \ \langle q, q \rangle =1\ ,\) where \(\langle p, q \rangle = p^Tq\) is the standard inner product in \({\mathbb R}^n\ .\) Introduce also the adjoint null-vector \(p \in {\mathbb R}^n\ :\) \(A_0^T p = 0, \ \langle p, q \rangle =1\ .\) Then (see, for example, Kuznetsov (2004)) \[ a(0)= \frac{1}{2} \langle p, B(q,q))\rangle = \left.\frac{1}{2} \frac{d^2}{d\tau^2} \langle p, f(\tau q,0) \rangle \right|_{\tau=0} \ .\] Standard bifurcation software (e.g. MATCONT) computes \(a(0)\) automatically.
Saddle-node bifurcation occurs also in infinitely-dimensional ODEs generated by PDEs and DDEs, to which the Center Manifold Theorem applies. Saddle-node bifurcations occur also for dynamical systems with discrete time (iterated maps).
An important case of saddle-node bifurcation in planar ODEs is when the center manifold makes a homoclinic loop, as in the Figure 3. Such a saddle-node homoclinic bifurcation results in the birth of a limit cycle when the saddle-node disappears. The period of this cycle tends to infinity as the parameter approaches its bifurcation value. In ODEs with \( n \geq 3 \ ,\) a saddle-node with \( n_sn_u >0 \) can have more than one homoclinic orbit simultaneously. Disappearance of such a saddle-node, called a saddle-saddle or a Shilnikov saddle-node, generates an infinite number of saddle periodic orbits.
Internal references
Andronov-Hopf bifurcation, Bifurcations, Center manifold theorem, Dynamical systems, Equilibria, MATCONT, Ordinary differential equations, Saddle-node bifurcation for maps, Saddle-node homoclinic bifurcation, XPPAUT