Skip to main content
Mathematics LibreTexts

11.2: Bifurcation Theory

  • Page ID
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    A bifurcation occurs in a nonlinear differential equation when a small change in a parameter results in a qualitative change in the long-time solution. Examples of bifurcations are when fixed points are created or destroyed, or change their stability.


    Screen Shot 2022-05-29 at 10.44.29 PM.png


    Screen Shot 2022-05-29 at 10.44.56 PM.png
    Figure 11.2: Saddlenode bifurcation. (a) \(\dot{x}\) versus \(x ;(b)\) bifurcation diagram.

    We now consider four classic bifurcations of one-dimensional nonlinear differential equations: saddle-node bifurcation, transcritical bifurcation, supercritical pitchfork bifurcation, and subcritical pitchfork bifurcation. The corresponding differential equation will be written as

    \[\dot{x}=f_{r}(x), \nonumber \]

    where the subscript \(r\) represents a parameter that results in a bifurcation when varied across zero. The simplest differential equations that exhibit these bifurcations are called the normal forms, and correspond to a local analysis (i.e., Taylor series expansion) of more general differential equations around the fixed point, together with a possible rescaling of \(x\).

    11.2.1. Saddle-node bifurcation

    View tutorial on YouTube

    The saddle-node bifurcation results in fixed points being created or destroyed. The normal form for a saddle-node bifurcation is given by

    \[\dot{x}=r+x^{2} . \nonumber \]

    The fixed points are \(x_{*}=\pm \sqrt{-r}\). Clearly, two real fixed points exist when \(r<0\) and no real fixed points exist when \(r>0\). The stability of the fixed points when \(r<0\) are determined by the derivative of \(f(x)=r+x^{2}\), given by \(f^{\prime}(x)=2 x\). Therefore, the negative fixed point is stable and the positive fixed point is unstable.

    Graphically, we can illustrate this bifurcation in two ways. First, in Fig. 11.2(a), we plot \(\dot{x}\) versus \(x\) for the three parameter values corresponding to \(r<0, r=0\) and


    Screen Shot 2022-05-29 at 10.47.31 PM.png


    Screen Shot 2022-05-29 at 10.48.01 PM.png
    Figure 11.3: Transcritical bifurcation. (a) \(\dot{x}\) versus \(x\); (b) bifurcation diagram.

    \(r>0\). The values at which \(\dot{x}=0\) correspond to the fixed points, and arrows are drawn indicating how the solution \(x(t)\) evolves (to the right if \(\dot{x}>0\) and to the left if \(\dot{x}<0\) ). The stable fixed point is indicated by a filled circle and the unstable fixed point by an open circle. Note that when \(r=0\), solutions converge to the origin from the left, but diverge from the origin on the right. Second, in Fig. 11.2(b), we plot a bifurcation diagram illustrating the fixed point \(x_{*}\) versus the bifurcation parameter \(r\). The stable fixed point is denoted by a solid line and the unstable fixed point by a dashed line. Note that the two fixed points collide and annihilate at \(r=0\), and there are no fixed points for \(r>0\).

    11.2.2. Transcritical bifurcation

    View tutorial on YouTube

    A transcritical bifurcation occurs when there is an exchange of stabilities between two fixed points. The normal form for a transcritical bifurcation is given by

    \[\dot{x}=r x-x^{2} \nonumber \]

    The fixed points are \(x_{*}=0\) and \(x_{*}=r\). The derivative of the right-hand-side is \(f^{\prime}(x)=r-2 x\), so that \(f^{\prime}(0)=r\) and \(f^{\prime}(r)=-r\). Therefore, for \(r<0, x_{*}=0\) is stable and \(x_{*}=r\) is unstable, while for \(r>0, x_{*}=r\) is stable and \(x_{*}=0\) is unstable. The two fixed points thus exchange stability as \(r\) passes through zero. The transcritical bifurcation is illustrated in Fig. 11.3.


    Screen Shot 2022-05-29 at 10.49.53 PM.png


    Screen Shot 2022-05-29 at 10.50.17 PM.png
    Figure 11.4: Supercritical pitchfork bifurcation. (a) \(\dot{x}\) versus \(x ;(b)\) bifurcation diagram.

    11.2.3. Supercritical pitchfork bifurcation

    View tutorial on YouTube

    The pitchfork bifurcations occur in physical models where fixed points appear and disappear in pairs due to some intrinsic symmetry of the problem. Pitchfork bifurcations can come in one of two types. In the supercritical bifurcation, a pair of stable fixed points are created at the bifurcation (or critical) point and exist after (super) the bifurcation. In the subcritical bifurcation, a pair of unstable fixed points are created at the bifurcation point and exist before (sub) the bifurcation.

    The normal form for the supercritical pitchfork bifurcation is given by

    \[\dot{x}=r x-x^{3} . \nonumber \]

    Note that the linear term results in exponential growth when \(r>0\) and the nonlinear term stabilizes this growth. The fixed points are \(x_{*}=0\) and \(x_{*}=\pm \sqrt{r}\), the latter fixed points existing only when \(r>0\). The derivative of \(f\) is \(f^{\prime}(x)=r-3 x^{2}\) so that \(f^{\prime}(0)=r\) and \(f^{\prime}(\pm \sqrt{r})=-2 r\). Therefore, the fixed point \(x_{*}=0\) is stable for \(r<0\) and unstable for \(r>0\) while the fixed points \(x=\pm \sqrt{r}\) exist and are stable for \(r>0\). Notice that the fixed point \(x_{*}=0\) becomes unstable as \(r\) crosses zero and two new stable fixed points \(x_{*}=\pm \sqrt{r}\) are born. The supercritical pitchfork bifurcation is illustrated in Fig. 11.4.

    11.2.4. Subcritical pitchfork bifurcation

    View tutorial on YouTube

    Screen Shot 2022-05-29 at 10.52.56 PM.png
    Figure 11.5: Subcritical pitchfork bifurcation.

    In the subcritical case, the cubic term is destabilizing. The normal form (to order \(\left.x^{3}\right)\) is

    \[\dot{x}=r x+x^{3} . \nonumber \]

    The fixed points are \(x_{*}=0\) and \(x_{*}=\pm \sqrt{-r}\), the latter fixed points existing only when \(r \leq 0\). The derivative of the right-hand-side is \(f^{\prime}(x)=r+3 x^{2}\) so that \(f^{\prime}(0)=r\) and \(f^{\prime}(\pm \sqrt{-r})=-2 r\). Therefore, the fixed point \(x_{*}=0\) is stable for \(r<0\) and unstable for \(r>0\) while the fixed points \(x=\pm \sqrt{-r}\) exist and are unstable for \(r<0\). There are no stable fixed points when \(r>0\).

    The absence of stable fixed points for \(r>0\) indicates that the neglect of terms of higher-order in \(x\) than \(x^{3}\) in the normal form may be unwarranted. Keeping to the intrinsic symmetry of the equations (only odd powers of \(x\) ) we can add a stabilizing nonlinear term proportional to \(x^{5}\). The extended normal form (to order \(x^{5}\) ) is

    \[\dot{x}=r x+x^{3}-x^{5}, \nonumber \]

    and is somewhat more difficult to analyze. The fixed points are solutions of

    \[x\left(r+x^{2}-x^{4}\right)=0 \nonumber \]

    The fixed point \(x_{*}=0\) exists for all \(r\), and four additional fixed points can be found from the solutions of the quadratic equation in \(x^{2}\) :

    \[x_{*}=\pm \sqrt{\frac{1}{2}(1 \pm \sqrt{1+4 r})} . \nonumber \]

    These fixed points exist only if \(x_{*}\) is real. Clearly, for the inner square-root to be real, \(r \geq-1 / 4\). Also observe that \(1-\sqrt{1+4 r}\) becomes negative for \(r>0\). We thus have three intervals in \(r\) to consider, and these regions and their fixed points are

    \[\begin{array}{cl} r<-\frac{1}{4}: & x_{*}=0 \quad \text { (one fixed point); } \\ -\frac{1}{4}<r<0: \quad x_{*}=0, \quad x_{*}=\pm \sqrt{\frac{1}{2}(1 \pm \sqrt{1+4 r})} \quad \text { (five fixed points); } \\ r>0: \quad x_{*}=0, \quad x_{*}=\pm \sqrt{\frac{1}{2}(1+\sqrt{1+4 r})} \quad \text { (three fixed points). } \end{array} \nonumber \]

    Stability is determined from \(f^{\prime}(x)=r+3 x^{2}-5 x^{4}\). Now, \(f^{\prime}(0)=r\) so \(x_{*}=0\) is stable for \(r<0\) and unstable for \(r>0\). The calculation for the other four roots can be simplified by noting that \(x_{*}\) satisfies \(r+x_{*}^{2}-x_{*}^{4}=0\), or \(x_{*}^{4}=r+x_{*}^{2}\). Therefore,

    \[\begin{aligned} f^{\prime}\left(x_{*}\right) &=r+3 x_{*}^{2}-5 x_{*}^{4} \\ &=r+3 x_{*}^{2}-5\left(r+x_{*}^{2}\right) \\ &=-4 r-2 x_{*}^{2} \\ &=-2\left(2 r+x_{*}^{2}\right) \end{aligned} \nonumber \]

    With \(x_{*}^{2}=\frac{1}{2}(1 \pm \sqrt{1+4 r})\), we have

    \[\begin{aligned} f^{\prime}\left(x_{*}\right) &=-2\left(2 r+\frac{1}{2}(1 \pm \sqrt{1+4 r})\right) \\ &=-((1+4 r) \pm \sqrt{1+4 r}) \\ &=-\sqrt{1+4 r}(\sqrt{1+4 r} \pm 1) \end{aligned} \nonumber \]

    Clearly, the plus root is always stable since \(f^{\prime}\left(x_{*}\right)<0\). The minus root exists only for \(-\frac{1}{4}<r<0\) and is unstable since \(f^{\prime}\left(x_{*}\right)>0\). We summarize the stability of the various fixed points:

    \[\begin{aligned} & r<-\frac{1}{4}: \quad x_{*}=0 \quad(\text { stable }) \\ & -\frac{1}{4}<r<0: \quad x_{*}=0, \quad \text { (stable) } \\ & x_{*}=\pm \sqrt{\frac{1}{2}(1+\sqrt{1+4 r})} \quad(\text { stable }) \\ & x_{*}=\pm \sqrt{\frac{1}{2}(1-\sqrt{1+4 r})} \text { (unstable); } \\ & r>0: \quad x_{*}=0 \quad \text { (unstable) } \\ & x_{*}=\pm \sqrt{\frac{1}{2}(1+\sqrt{1+4 r})} \quad \text { (stable) } . \end{aligned} \nonumber \]

    The bifurcation diagram is shown in Fig. 11.5, and consists of a subcritical pitchfork bifurcation at \(r=0\) and two saddle-node bifurcations at \(r=-1 / 4\). We can imagine what happens to \(x\) as \(r\) increases from negative values, supposing there is some small noise in the system so that \(x=x(t)\) will diverge from unstable fixed points. For \(r<-1 / 4\), the equilibrium value of \(x\) is \(x_{*}=0\). As \(r\) increases into the range \(-1 / 4<r<0, x\) will remain at \(x_{*}=0\). However, a catastrophe occurs as soon as \(r>0\). The \(x_{*}=0\) fixed point becomes unstable and the solution will jump up (or down) to the only remaining stable fixed point. Such behavior is called a jump bifurcation. A similar catastrophe can happen as \(r\) decreases from positive values. In this case, the jump occurs as soon as \(r<-1 / 4\).

    Since the stable equilibrium value of \(x\) depends on whether we are increasing or decreasing \(r\), we say that the system exhibits hysteresis. The existence of a subcritical pitchfork bifurcation can be very dangerous in engineering applications since a small change in a problem’s parameters can result in a large change in the equilibrium state. Physically, this can correspond to a collapse of a structure, or the failure of a component.

    11.2.5. Application: a mathematical model of a fishery

    View tutorial on YouTube

    We illustrate the utility of bifurcation theory by analyzing a simple model of a fishery. We utilize the logistic equation (see \(\S 7.4 .6\) ) to model a fish population in the absence of fishing. To model fishing, we assume that the government has established fishing quotas so that at most a total of \(C\) fish per year may be caught. We assume that when the fish population is at the carrying capacity of the environment, fisherman can catch nearly their full quota. When the fish population drops to lower values, fish may be harder to find and the catch rate may fall below \(C\), eventually going to zero as the fish population diminishes. Combining the logistic equation together with a simple model of fishing, we propose the mathematical model

    \[\frac{d N}{d t}=r N\left(1-\frac{N}{K}\right)-\frac{C N}{A+N} \nonumber \]

    where \(N\) is the fish population size, \(t\) is time, \(r\) is the maximum potential growth rate of the fish population, \(K\) is the carrying capacity of the environment, \(C\) is the maximum rate at which fish can be caught, and \(A\) is a constant satisfying \(A<K\) that is used to model the idea that fish become harder to catch when scarce.

    We nondimensionalize Equation \ref{11.4} using \(x=N / K, \tau=r t, c=C / r K, \alpha=A / K\) :

    \[\frac{d x}{d \tau}=x(1-x)-\frac{c x}{\alpha+x} . \nonumber \]

    Note that \(0 \leq x \leq 1, c>0\) and \(0<\alpha<1\). We wish to qualitatively describe the equilibrium solutions of Equation \ref{11.5} and the bifurcations that may occur as the nondimensional catch rate \(c\) increases from zero. Practically, a government would like to issue each year as large a catch quota as possible without adversely affecting the number of fish that may be caught in subsequent years.

    The fixed points of Equation \ref{11.5} are \(x_{*}=0\), valid for all \(c\), and the solutions to \(x^{2}-\) \((1-\alpha) x+(c-\alpha)=0\), or

    \[x_{*}=\frac{1}{2}\left[(1-\alpha) \pm \sqrt{(1+\alpha)^{2}-4 c}\right] . \nonumber \]

    The fixed points given by Equation \ref{11.6} are real only if \(c<\frac{1}{4}(1+\alpha)^{2}\). Furthermore, the minus root is greater than zero only if \(c>\alpha\). We therefore need to consider three intervals over which the following fixed points exist:

    \[\begin{aligned} 0 \leq c \leq \alpha: & x_{*}=0, \quad x_{*}=\frac{1}{2}\left[(1-\alpha)+\sqrt{(1+\alpha)^{2}-4 c}\right] \\ \alpha<c<\frac{1}{4}(1+\alpha)^{2}: & x_{*}=0, \quad x_{*}=\frac{1}{2}\left[(1-\alpha) \pm \sqrt{(1+\alpha)^{2}-4 c}\right] \\ c>\frac{1}{4}(1+\alpha)^{2}: & x_{*}=0 . \end{aligned} \nonumber \]

    The stability of the fixed points can be determined with rigor analytically or graphically. Here, we simply apply biological intuition together with knowledge of the types of one dimensional bifurcations. An intuitive argument is made simpler if we consider \(c\) decreasing from large values. When \(c\) is large, that is \(c>\frac{1}{4}(1+\alpha)^{2}\), too many fish are being caught and our intuition suggests that the fish population goes extinct. Therefore, in this interval, the single fixed point \(x_{*}=0\) must be stable. As

    Screen Shot 2022-05-29 at 10.55.09 PM.png
    Figure 11.6: Fishery bifurcation diagram.

    \(c\) decreases, a bifurcation occurs at \(c=\frac{1}{4}(1+\alpha)^{2}\) introducing two additional fixed points at \(x_{*}=(1-\alpha) / 2\). The type of one dimensional bifurcation in which two fixed points are created as a square root becomes real is a saddlenode bifurcation, and one of the fixed points will be stable and the other unstable. Following these fixed points as \(c \rightarrow 0\), we observe that the plus root goes to one, which is the appropriate stable fixed point when there is no fishing. We therefore conclude that the plus root is stable and the minus root is unstable. As \(c\) decreases further from this bifurcation, the minus root collides with the fixed point \(x_{*}=0\) at \(c=\alpha\). This appears to be a transcritical bifurcation and assuming an exchange of stability occurs, we must have the fixed point \(x_{*}=0\) becoming unstable for \(c<\alpha\). The resulting bifurcation diagram is shown in Fig. 11.6.

    The purpose of simple mathematical models applied to complex ecological problems is to offer some insight. Here, we have learned that overfishing (in the model \(\left.c>\frac{1}{4}(1+\alpha)^{2}\right)\) during one year can potentially result in a sudden collapse of the fish catch in subsequent years, so that governments need to be particularly cautious when contemplating increases in fishing quotas.

    This page titled 11.2: Bifurcation Theory is shared under a CC BY 3.0 license and was authored, remixed, and/or curated by Jeffrey R. Chasnov via source content that was edited to the style and standards of the LibreTexts platform.