Consider an autonomous system of ordinary differential equations depending on a parameter
where is a smooth function. Suppose that at , the system (a1) has an equilibrium position with a simple pair of purely imaginary eigenvalues , , of its Jacobian matrix . Then, generically, a unique limit cycle bifurcates from the equilibrium while it changes stability, as passes through . This phenomenon is called the Hopf (or Andronov–Hopf) bifurcation [a1], [a7], [a2], [a3]. It is characterized by a single bifurcation condition (has codimension one) and appears generically in one-parameter families.
First, consider a smooth planar system
that has for all sufficiently small the equilibrium with eigenvalues , , . If the following non-degeneracy (genericity) conditions hold:
1) , where is the first Lyapunov coefficient (see below);
2) , then (a2) is locally topologically equivalent (cf. Equivalence of dynamical systems) near the origin to the normal form
Supercritical Hopf bifurcation on the plane
Consider the case . Then the system (a3) has an equilibrium at the origin , which is stable for (weakly at ) and unstable for . Moreover, there is a unique and stable circular limit cycle that exists for and has radius (see Fig.a1). This is a supercritical Hopf bifurcation.
Subcritical Hopf bifurcation on the plane
For , the origin in (a3) is stable for and unstable for (weakly at ), while a unique and unstable limit cycle exists for (see Fig.a2). This is a subcritical Hopf bifurcation.
In the -dimensional case, the Jacobian matrix evaluated at the equilibrium has a simple pair of purely imaginary eigenvalues , , as well as eigenvalues with , and eigenvalues with (). According to the centre manifold theorem (cf. Centre manifold) [a5], [a7], [a2], there is an invariant two-dimensional centre manifold near the origin, the restriction of (a1) to which has the form (a2). Moreover, [a2], under the non-degeneracy conditions 1) and 2), the system (a1) is locally topologically equivalent (cf. Equivalence of dynamical systems) near the origin to the suspension of the normal form (a3) by the standard saddle:
where , , , . Fig.a3 shows the phase portraits of the system (a4) in the three-dimensional case, when , , , and .
Hopf bifurcation in
The first Lyapunov coefficient can be computed (to within a scalar multiple) in terms of the right-hand side of (a1) at . Represent as
where and are multilinear functions (cf. also Multilinear mapping). In coordinates one has
where . Let be a complex eigenvector of corresponding to the eigenvalue :
Introduce also the adjoint eigenvector :
There is an analogue of the Hopf bifurcation for discrete-time dynamical systems, called the Neimark–Sacker bifurcation [a7], [a4], [a2], [a8], [a6]. Under certain non-degeneracy conditions, it generates a closed invariant curve around a fixed point which changes stability due to the transition of a pair of its complex eigenvalues through the unit circle.
|[a1]||A.A. Andronov, E.A. Leontovich, I.I. Gordon, A.G. Maier, "Theory of bifurcations of dynamical systems on a plane" , Israel Program Sci. Transl. (1971) (In Russian)|
|[a2]||V.I. Arnol'd, "Geometrical methods in the theory of ordinary differential equations" , Grundlehren math. Wiss. , 250 , Springer (1983) (In Russian)|
|[a3]||J. Guckenheimer, Ph. Holmes, "Nonlinear oscillations, dynamical systems and bifurcations of vector fields" , Springer (1983)|
|[a4]||G. Iooss, "Bifurcations of maps and applications" , North-Holland (1979)|
|[a5]||A. Kelley, "The stable, center stable, center, center unstable and unstable manifolds" J. Diff. Eq. , 3 (1967) pp. 546–570|
|[a6]||Yu.A. Kuznetsov, "Elements of applied bifurcation theory" , Springer (1995)|
|[a7]||J. Marsden, M. McCracken, "Hopf bifurcation and its applications" , Springer (1976)|
|[a8]||D.C. Whitley, "Discrete dynamical systems in dimensions one and two" Bull. London Math. Soc. , 15 (1983) pp. 177–217|
Hopf bifurcation. Yu.A. Kuznetsov (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Hopf_bifurcation&oldid=18291