Abstract
We study the local Hopf bifurcations of codimension one and two, which occur in the Shimizu–Morioka system. This system is a simplified model proposed for studying the dynamics of the well-known Lorenz system for large Rayleigh numbers. We present an analytic study and their bifurcation diagrams of these kinds of Hopf bifurcation, showing the qualitative changes in the dynamics of its solutions for different values of the parameters.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
1 Introduction
In this paper, we study the local Hopf bifurcations of codimension one and two and the kind of stability of the Hopf periodic orbits in the dynamics of the Shimizu–Morioka system given by
where \((x,y,z)\in \mathbb R^3\) are the state variables, and \(\alpha \) and \(\lambda \) are real parameters. System (1) is a simplified model proposed in [18] for studying the dynamics of the well-known Lorenz system [9]. Later, the system gained self-interest, and several articles have appeared in the literature, dealing mainly with the chaotic behavior of the solutions and the emergence of strange attractor, see, for instance [6, 17, 18, 20–22]. It was shown in [17] among other properties that system (1) presents Lorenz-like strange attractors, for example, taking \(\alpha =0.45\) and \(\lambda =0.75\) (see Figure 1 of [13]).
In this note, we perform an analytic bifurcation analysis of dynamical aspects of the solutions of system (1), when the parameters vary, aiming to give a contribution to the understanding of its complex behavior. Our approach permits a geometric synthesis of the bifurcation analysis, based on the algebraic expression and geometric location of the codimension \(2\) Hopf point leading to the bifurcation of periodic orbits.
The study presented here is close to those realized in some papers, which was performed in [12] (see also [3]). But our approach is different, mainly in the computations of the Lyapunov coefficients, which are necessary to study the Hopf bifurcations. In [12], the authors study the system
This system and system (1) are equivalent if \(\beta =\lambda =1\) and \(\eta >0\), taking \(\alpha =\chi \) and doing the change of variables \((x,y,z)\mapsto (\sqrt{\eta }\;x, -\sqrt{\eta }\;x+\sqrt{\eta }\;y, z)\) in system (1), but when \(\beta \ne \lambda \) or \(\eta \le 0\), these systems are not equivalent.
Our main result is the following one.
Theorem 1
Let denote \(h(\lambda )=3\,{\lambda }^{4}-5\,{\lambda }^{2}-1\). The following statements hold for system (1):
-
(a)
For \(\alpha = \frac{2-\lambda ^2}{\lambda }\) and \(\lambda \in (0,\sqrt{2})\), system (1) has two non-hyperbolic singular points \(Q_-\) and \(Q_+\), and if \(h(\lambda )\ne 0\), a one codimension Hopf bifurcation takes place at these points, permitting the existence of limit cycles near them. These cycles on the central manifolds of \(Q_-\) and \(Q_+\) are unstable if \(h(\lambda ) < 0\) and stable if \(h(\lambda ) > 0\).
-
(b)
For \(\alpha = \frac{2-\lambda ^2}{\lambda }\) with \(\lambda \in (0,\sqrt{2})\) and \(h(\lambda )= 0\), a two codimension Hopf bifurcation takes place at the points \(Q_-\) and \(Q_+\), with the creation of two limit cycles, one unstable and the other stable on the central manifolds of \(Q_-\) and \(Q_+\) .
The paper is organized as follows. In Sect. 2, through a linear analysis of system (1), we present a study of the bifurcations, which occurs with its singular points. In Sect. 3, we describe a method to compute the focus quantities, related to the stability of the limit cycles, which appear in the Hopf bifurcations. In Sect. 4, we present a brief review of the theory used to study codimension one and two Hopf bifurcations. These methods are used in Sect. 5 to prove statements (a) and (b) of Theorem 1. For some extensions of the Hopf bifurcation, see [1].
2 Analysis of the singular points
The statement (a) and (b) of the next proposition are not new, in fact, they are well known in the literature see, for instance, [5, 13].
Proposition 1
The following statements hold for system (1).
-
(a)
For \(\alpha < 0\), the origin of system (1) is the unique hyperbolic singular point. It is a saddle with a one-dimensional stable manifold and two-dimensional unstable manifold;
-
(b)
For \(\alpha = 0\), the \(z\)-axis of system (1) is filled of singular points. The origin becomes a non-hyperbolic singular point, and a degenerate pitchfork bifurcation occurs on it. More precisely, for \(\alpha > 0\) sufficiently small, this line of singular points disappear, the origin becomes a hyperbolic saddle with a two-dimensional stable manifold and an one-dimensional unstable manifold, two new singular points \(Q_-\) and \(Q_+\) are created, and they are symmetric with respect to the z-axis. These new equilibria are hyperbolic and asymptotically stable if \(\alpha >\frac{2-\lambda ^2}{\lambda }\) and \(\lambda >0\). For either \(\alpha =\frac{2-\lambda ^2}{\lambda }\) and \(\lambda \in (-\infty , -\sqrt{2})\) or \(\alpha <\frac{2-\lambda ^2}{\lambda }\) and \(\lambda \in (-\infty , -\sqrt{2})\cup (0,\sqrt{2})\), \(Q_-\) and \(Q_+\) are unstable singular points.
Proof
For \(\alpha < 0\), the origin \((0, 0,0)\) is the unique singular point of system (1) and the eigenvalues of its linear part are
with eigenvectors given by \(v_0=(0, 0, 1)\), \(v_\pm =(1, \sigma _\pm , 0)\), respectively. As the eigenvalues are all reals and \(\alpha <0\), \(\sigma _+\sigma _-<0\), by the Invariant Manifold Theorem and the Hartman Theorem (see for instance [7]), the origin is a hyperbolic saddle with an one-dimensional stable manifold tangent to the line generated by \(v_-\) and a two-dimensional unstable manifold tangent to the plane generated by \(v_0\) and \(v_+\) for all \(\lambda \). Note that for \(\alpha <0\) the solutions in the invariant \(z\)-axis go away from the origin.
If \(\alpha =0\), the invariant \(z\)-axis is filled by singular points of system (1). Then, the origin is a non-isolated degenerate singular point. Moreover, the eigenvalues of the linear part of system (1) at this point are \(0\) and \(\sigma _\pm \).
When the parameter \(\alpha \) crosses the zero value, the vector fields associated with system (1) cross this degenerate situation transversally. On the other words, for \(\alpha >0\), the \(z\)-axis filled of singular points that exist for \(\alpha =0\) disappears, and system (1) has only the singular points
The eigenvalues of the linear part of system (1) at \(Q_0\) are given in (2), and we have \(\sigma _0<0\) and \(\sigma _-<0\) and \(\sigma _+>0\). Therefore, \(Q_0\) is a hyperbolic saddle with a two-dimensional stable manifold and an one-dimensional unstable manifold for all \(\lambda \). Thus, under the creation and subsequent elimination of the line of singular points when \(\alpha \) crosses the zero value, the origin \(Q_0\) of system (1) gains one dimension in the stable manifold and loses one dimension in the unstable one, as stated in statement (b) of the proposition.
Under the change of coordinates \((x,y,z)\mapsto (-x,-y,z)\), system (1) is invariant. Hence, the kind of stability of the singular point \(Q_+\) follows from the kind of stability of \(Q_-\). The characteristic polynomial of the linear part of system (1) at \(Q_-\) is
The rest of proof follows from the next proposition.
Proposition 2
Consider \(\alpha >0\). The singular point \(Q_-\) is asymptotically stable to system (1) if \(\alpha >\frac{2-\lambda ^2}{\lambda }\) and \(\lambda >0\), and unstable if either \(\alpha =\frac{2-\lambda ^2}{\lambda }\) and \(\lambda \in (-\infty , -\sqrt{2})\) or \(\alpha <\frac{2-\lambda ^2}{\lambda }\) and \(\lambda \in (-\infty , -\sqrt{2})\cup (0,\sqrt{2})\).
Proof
The proof follows easily from the Routh–Hurwitz stability criterion (see [14, p. 58]).
The next proposition is a straightforward consequence of the relations between roots and coefficients of a polynomial in one variable.
Proposition 3
Consider \(\alpha >0\). If \(\alpha = \frac{2-\lambda ^2}{\lambda }\) and \(\lambda \in (0,\sqrt{2})\), then the linear part of system (1) at the singular point \(Q_-\) has one negative eigenvalue and two conjugated pure imaginary eigenvalues.
Following [12], the symmetric bifurcation that occurs when the parameter \(\alpha \) crosses the zero value is called degenerate pitchfork bifurcation, due to the line of equilibria which exists for \(\alpha =0\), and it has already been observed in other systems, which also present chaotic behavior (see, for instance, [16, p. 4] and [12]).
3 Center Theorem and focus quantities
In this section, we summarize the method described in [4] (see also [10, 11]) for studying the center problem on a center manifold for vector fields in \(\mathbb R^3\). Let \(X: U\rightarrow \mathbb R^3\) be a real analytic vector field, such that \(DX(0)\) has two pure imaginary eigenvalues and one nonzero. By a linear change of variables and a possible rescaling of the time, the system of differential equations \({\dot{\mathbf{u}} }= X(\mathbf{u})\) can be written as
where \(\beta \) is a real nonzero number. We denote again by \(X\) this new vector field.
A non-constant \(C^1\) function \(H\) from a neighborhood of the origin of \(\mathbb R^3\) into \(\mathbb R\) is a local first integral of system (3) if it is constant on the orbits of (3), i.e., \(H\) satisfies
in a neighborhood of the origin. A non-constant formal power series \(H\) in \(u\), \(v\), and \(w\) is a formal first integral for system (3) if when \(\tilde{P}\), \(\tilde{Q}\), and \(\tilde{R}\) are expanded in power series at the origin, every coefficient in the formal power series in (4) is zero. If \(w\) and \(\dot{w} \) do not appear in system (3) the system is in \(\mathbb R^2\), the singular point at the origin is either a focus (every trajectory near the origin spirals toward the origin, or every trajectory does so in reverse time) or a center (a punctured neighborhood is composed entirely of periodic orbits). The problem of distinguishing between these two cases is the center problem. It was solved by Poincaré and Lyapunov in terms of the nonexistence or existence of a local first integral. A proof is given in [15].
From Theorem \(5.1\) page 152 of [7], we know that system (3) admits a local center manifold \(W_\mathrm{{loc}}^c\) at the origin. The following theorem provides one the main tools for detecting a center on a center manifold . See [4] for a proof.
Theorem 2
The following statements are equivalent.
-
(a)
The origin is a center for \(X\mid _{W^c_{loc}}\).
-
(b)
There is a local analytic first integral at the origin for system (3) of the form \(H(u,v,w) = u^2 +v^2 +\cdots \) (here the dots mean higher-order terms).
-
(c)
There is a formal first integral at the origin for system (3) of the form \(H(u,v,w)\) \( = u^2 +v^2 +\cdots \).
The Lyapunov Center Theorem corresponds to the equivalence of statements (a) and (b); for a proof, see also [2]. From this theorem, we can restrict our attention to investigate the conditions for the existence or nonexistence of a first integral of the form \(H(u,v,w) = u^2 +v^2 +\cdots \), which is equivalent to determine necessary and sufficient conditions for the existence of a center or a focus on the local center manifold, respectively.
In what follows, we consider that P, Q, and R in (3) are polynomials. We start by introducing the complex variable \(x = u + iv\). Therefore, the first two equations in (3) are equivalent to the unique equation \(\dot{x} = ix + \cdots \). Adding to this equation its complex conjugate, changing \(\bar{x}\) (where as usual \(\bar{x}\) denote the conjugate of \(x\)) by \(y\), thinking in \(y\) as an independent complex variable, and substituting \(w\) by \(z\), we obtain the following complexification of system (3)
where \(b_{qpr} = \bar{a}_{pqr}\) and the \(c_{pqr}\) are such that \(\sum ^{n}_{p+q+r=2} c_{pqr} x^p \bar{x}^q w^r\) is real for all \(x\in \mathbb C\) and \(w\in \mathbb R\). Again, we denote by \(X\) the new vector field associated with system (5) on \(\mathbb C^3\). Now, the existence of a first integral \(H(u,v,w) = u^2 + v^2 + \cdots \) for a system (3) is equivalent to the existence of a first integral of the form
for system (5).
By computing the coefficients of \(XH\) and equating them to zero, we investigate the existence of a first integral \(H\) for a system (5) . When \(H\) has the form (6), we can calculated explicitly the coefficient \(g_{k_1k_2k_3}\) of \(x^{k1} y^{k2} z^{k3}\) in \(XH\) (see [4]). But when \((k_1,k_2,k_3) = (k, k, 0)\) for a positive integer \(k\), we can solved in a unique way for \(v_{k_1k_2k_3}\) the equation \(g_{k_1k_2k_3}\) = 0 in terms of the known quantities \(v_{\alpha \beta \gamma }\) such that \(\alpha +\beta +\lambda < k_1+k_2+k_3\). Hence, if \(g_{kk0} = 0\) for all \(k\in \mathbb N\), a formal first integral \(H\) exists. When the coefficient \(g_{kk0}\) is nonzero, an obstruction to the existence of the formal series \(H\) occurs. Such a coefficient is called the kth focus quantity.
The focus quantities \(g_{110} = 0\) and \(g_{220}\) are determined in a unique way, but the others depend on the choices made for \(v_{kk0}\), \(k \in \mathbb N\), \(k\ge 2\). Once such computations are made, \(H\) is determined and satisfies
It follows that if for one choice of the \(v_{kk0}\) at least one focus quantity is nonzero, the same is true for every other choice of the \(v_{kk0}\). A sufficient and necessary condition for the existence of a center on the center manifold is to vanish all focus quantities; otherwise, we have a focus (see [4]).
In rest of this work, we denote the kth focus quantity \(g_{kk0}\) by \(\nu _k\).
4 Hopf bifurcation method
Let \((\theta ,\rho )\) be polar coordinates on the local center manifold \(W_{loc}^c\), such that \(\rho =0\) corresponds to the origin in Cartesian coordinates. Consider system (3) restricted to its local center manifold and let \(\varPi ({\rho })\) the respective Poincaré first return map on a sufficiently short segment of the axis \(\theta =0\) starting at \(\rho =0\). By the \(k\)th Lyapunov coefficient, we mean the coefficient \(l_k\) in the expansion of displacement map \(\varPi (\rho )-\rho \), i.e.,
It follows by the proof of Theorem 6.2.3 of the page \(261\) of [15] that
where \(c_1,\dots , c_k\) are positive constants.
A method to compute the Lyapunov coefficients can be found in the pages 177–181 of [7] or in [8, 12].
A singular point \((x_0, \mu _0)\) of a \(\mu \)-parameter family of vector fields \(X(x,\mu )\) in \(\mathbb R^3\) is called a Hopf point if the Jacobian matrix \(DX(x_0,\mu _0)\) has a real eigenvalue \(\lambda _1\ne 0\) and a pair of purely imaginary eigenvalues \(\lambda _{2,3}=\pm i\omega _0\). There is a two-dimensional center manifold at a Hopf point, and it is invariant by the flow of the system \(\dot{x}=X(x,\mu )\), see [7, p. 152]. If varying the parameters, the complex eigenvalues cross the imaginary axis with nonzero derivative and the Hopf point is called transversal, i.e., if \(\mu \) is one-dimensional parameter, then \(\dfrac{\mathrm{d}\xi }{\mathrm{d}\mu }(\mu _0)\ne 0\) (where \(\xi (\mu ) \pm i \omega (\mu )\) are the conjugated complex eigenvalues of the linear part of \(X(x,\mu )\) at singular point \(x_\mu \) when \(|\mu -\mu _0|\) is enough small). At a neighborhood of transversal Hopf point with \(l_1(\mu _0)\ne 0\) the system \(\dot{x}=X(x,\mu )\), restricted to a center manifold, is orbitally topologically equivalent to the following complex normal form
where \(w\in \mathbb C\), \(\sigma =\text{ sign }\;l_1(\mu _0)=\pm 1\), \(l_1(\mu _0)\) the first Lyapunov coefficient at the Hopf point, and \(\xi \), \(\omega \) are real functions having derivatives of arbitrary higher order, which are continuations of \(0\) and \(\omega _0\), see [7, p. 98]. There is one family of stable (unstable) periodic orbits if \(l_1 < 0\) (\(l_1 > 0\)) on the space of phases variables and parameters shrinking to a singular Hopf point.
A Hopf point of codimension \(2\) is a Hopf point where \(l_1 (\mu _0)=0\) and \(l_2(\mu _0)\ne 0\). It is called transversal if the manifolds \(\xi (\mu )=0\) (\(\xi (\mu )\) is the real part of the conjugated complex eigenvalues) and \(l_1(\mu )\) have transversal intersections, i.e., the map \(\mu \mapsto (\xi (\mu ), l_1 (\mu ))\) is regular at \(\mu _0\). The codimension two Hopf bifurcation is also called of Bautin bifurcation or degenerated Hopf bifurcation. The system \(\dot{x}=X(x,\mu )\) restricted to a center manifold at a neighborhood of a transversal Hopf point of codimension \(2\) is orbitally topologically equivalent to
where \(\xi \) and \(\tau \) are the unfolding parameters and \(\sigma = \text{ sign } \;l_2(\mu _0)=\pm 1\), see [7, p. 311]. The bifurcation diagram of system (8) on the space of parameters \((\xi , \tau )\) for \(\sigma =1\) is shown in Fig. 1, where the lines \(H^{\pm }_1=\{\pm \tau >0\}\) correspond to the Hopf bifurcation of codimension one with negative and with positive Lyapunov coefficient, respectively. Along these lines, the singular point has eigenvalues \(\lambda _{1,2} = \pm \omega _0 i\). Moreover, the singular point is stable for \(\xi < 0\) and unstable for \(\xi > 0\). The first Lyapunov coefficient is \(l_1(\xi , \tau ) = \tau \). Therefore, the point of the Hopf bifurcation of codimension two \(H_2\) occurs when \(\xi = \tau = 0\) and separates the two branches, \(H^-_1\) and \(H^+_1\) of \(\tau \)-axis. An unstable limit cycle bifurcates from the singular point if we cross \(H^+_1\) from right to left, while a stable limit cycle appears if we cross \(H^-_1\) in the opposite direction. These limit cycles collide and disappear on the curve
corresponding to a non-degenerate fold bifurcation of the cycles. Along this curve, the system has a semistable limit cycle of multiplicity one, see [7, p. 311].
The bifurcation diagrams for \(\sigma =-1\) can be found in [7], page \(313\), and in [19] .
From (7), the Hopf method described above can be applied changing the Lyapunov coefficients by the focus quantities. Thus, in rest of this paper, we shall use the focus quantities in place of the Lyapunov coefficients to study Hopf bifurcations of codimension one and two.
5 Hopf bifurcation in the Shimizu–Morioka system
In this section, we study the stability of the singular point \(Q_-\) of system (1) under the conditions \(\alpha =\frac{2-\lambda ^2}{\lambda }\) and \(\lambda \in (0,\sqrt{2})\) given in Proposition 3, i.e., on the Hopf axis correspondent to the \(\tau \)-axis of Fig. 1. We prove the following theorem.
Theorem 3
Consider the two-parameter family of differential equations (1). The first focus quantity at the point \(Q_-\) for parameter values satisfying \(\alpha = \dfrac{2-\lambda ^2}{\lambda }\) and \(\lambda \in (0,\sqrt{2})\) is given by
For \(\lambda \in (0,\sqrt{2})\) such that \(h(\lambda )=3\,{\lambda }^{4}-5\,{\lambda }^{2}-1\) is different from zero, system (1) has a transversal Hopf point at \(Q_-\) for \(\alpha = \dfrac{2-\lambda ^2}{\lambda }\).
Now for the parameter values \(\lambda _c=\sqrt{\dfrac{5+\sqrt{37}}{6}}\) and \(\alpha =\dfrac{7-\sqrt{37}}{\sqrt{6(5+37)}}\), system (1) has a transversal Hopf point of codimension 2 at \(Q_-\), which is unstable because \(\nu _2 > 0\).
Proof
For simplify the computations, we introduce the new parameters \((\beta ,\varepsilon )\) by
The Jacobian determinant of this change of parameters in the point \((0,\beta )\) is
Thus, the change of parameters is well defined for \((\varepsilon ,\beta ) \in (-\delta ,\delta )\times (0,\sqrt{2})\), with \(\delta \) enough small. In this new parameters, the linear part of system (1) at the singular point \(Q_-\) has a real eigenvalue and two conjugated complex given by \(\varepsilon \pm i\beta \). Furthermore, the conditions \(\alpha =\frac{2-\lambda ^2}{\lambda }\) and \(\lambda \in (0,\sqrt{2})\) correspond to \(\varepsilon =0\) and \(\beta \in (0,\sqrt{2})\). Hence, in this case, we have
in system (1). Now, doing the change of coordinates \((x, y, z)\mapsto (\tilde{x}-\sqrt{\alpha }, \tilde{y}, \tilde{z}+1)\), the singular point \(Q_-\) is translated to the origin \((0,0,0)\). Now, we shall write the linear part of system in the coordinates \((\tilde{x}, \tilde{y}, \tilde{z})\) at the origin in its real Jordan normal form. For this, we introduce the variables \((u, v, w)\) by
and so system (1) becomes
Note that the above system is in the form (3). Now, we apply the method described in Sect. 3.
Firstly, we introduce the change of variables \((u, v, w)\mapsto (x,y,z)=(u+iv, u-iv, w)\) with inverse given by \((x,y,z)\mapsto (u,v,w)=\left( \dfrac{1}{2}(x+y),-\dfrac{i}{2}(x-y),z\right) \). Hence, we obtain system (1) in the complex form (5). Again let denote by \(X\) the vector field associated with this last system in complex form and let \(H\) be given by (6). We have that
where \(H_m\) are homogeneous polynomials of degree \(m\) in the variables \((x,y,z)\). It is easy to see that \(H_2\equiv 0 \). Denoting the coefficients of \(H_m\) by \(g_{jkl}\) with \(j+k+l=m\), we can solve easily the equations \(g_{jkl}=0\) with \(j+k+l=3\) in terms of the coefficients \(\nu _{\alpha \beta \gamma }\) of \(H\) such that \(\alpha +\beta +\gamma \le 3\). For instance, the equation \(g_{003}=0\) is given by
which solution in terms of the coefficients of \(H\) is \(\nu _{003}=0\). Analogously, we can solve the equations \(g_{jkl}=0\) with \(j+k+l=4\) in terms of the coefficients \(\nu _{\alpha \beta \gamma }\) of \(H\) with \(\alpha +\beta +\gamma \le 4\), except the equation \(g_{220}=0\), because this equation does not depend on the coefficients of \(H\), only on the coefficients of \(X\). Hence, we have that the first focus quantity is \(g_{220}=\nu _1\) given by
Following the above ideas, we obtain the second focus quantity \(g_{330}=\nu _2\), i.e.,
Note that the polynomial \(\beta ^4-2 \beta ^2-4\) has only two real roots, \(\pm \sqrt{1+\sqrt{5}}\), and so it has negative sign in \((-\sqrt{1+\sqrt{5}}, \sqrt{1+\sqrt{5}})\). Now, the polynomial \(\beta ^4-2 \beta ^2-1\) also has only two real roots, \(\pm \sqrt{1+\sqrt{2}}\), and so it has negative sign in \((-\sqrt{1+\sqrt{2}}, \sqrt{1+\sqrt{2}})\). Therefore, the sign of the first focus quantity is determined by the sign of \(h(\beta )=3 \beta ^4-7 \beta ^2+1\), since we are considering \(\beta \in (0,\sqrt{2})\) and so the denominator of (10) is positive. Observe that, for \(\beta \in (0,\sqrt{2})\), the first focus quantity vanishes on \(\beta _c=\sqrt{\dfrac{1}{6} \left( 7-\sqrt{37}\right) }\), and the second is deferent from zero, i.e., \(\nu _1(\beta _c)=0\) and \(\nu _2(\beta _c)=\dfrac{\sqrt{274249 \sqrt{37}-591726}}{15568}\). Moreover, \(\nu _1>0\) for \(\beta \in (0,\beta _c)\) and \(\nu _1<0\) for \(\beta \in (\beta _c,\sqrt{2})\).
Clearly, in the plane of parameters \((\varepsilon , \beta )\), we have a transversal Hopf point in \(Q_-\) for \(\varepsilon =0\) and \(\beta \in (0,\sqrt{2})\setminus \{\beta _c\}\). Now, as the map \((\varepsilon ,\beta )\mapsto (\varepsilon , \nu _1(\beta ))\) is regular in \((0,\beta _c)\), since
it follows that we have a transversal Hopf point of codimension two in \(Q_-\) for \(\varepsilon =0\) and \(\beta =\beta _c\).
In the parameter \(\lambda \), by (9), the function \(h\) becomes \(h(\lambda )=3\,{\lambda }^{4}-5\,{\lambda }^{2}-1\ne 0\),
and \(\nu _1(\lambda )\) is zero in the \((0,\sqrt{2})\) only for the value \(\lambda _c=\sqrt{\dfrac{5+\sqrt{37}}{6}}\). Moreover, in this point, by (9), \(\alpha =\dfrac{7-\sqrt{37}}{\sqrt{6(5+37)}}\).
The same results stated in Theorem 1 are valid also for the point \(Q_+\), due to the symmetry of the system under the change \((x,y,z)\mapsto (-x,-y,z)\). The statements \(({a})\) and \((b)\) of Theorem 1 follow from the above results.
The bifurcation diagram on the space of parameters \((\lambda , \alpha )\) of system (1) on the neighborhood of the two codimension Hopf point \(H_2= \left( \sqrt{\dfrac{5+\sqrt{37}}{6}}, \dfrac{7-\sqrt{37}}{\sqrt{6(5+37)}}\right) \) is described in Fig. 2, where by Sect. 4 the curves \(H^\pm _1\) and \(T\) correspond, respectively, with the curves of Fig. 1. Note that
References
Aguirre, L., Arredondo, J.H., López, R., Seibert, P.: On certain generalizations of the Hopf bifurcation. Ann. Mat. Pura Appl. 186, 509–524 (2007)
Bibikov, Y.: Local Theory of Nonlinear Analytic Ordinary Differential Equations. Lecture Notes in Mathematics, vol. 702. Springer, New York (1979)
Dias, F.S., Mello, L.F., Zhang, J.-G.: Nonlinear analysis in a Lorenz-like system. Nonlinear Anal. Real World Appl. 11(5), 3491–3500 (2010)
Edneral, V., Mahdi, A., Romanovski, V.G., Shafer, D.S.: The center problem on a center mani-fold. Nonlinear Anal. Theory Methods Appl. 75, 2614–2622 (2012)
Islam, N., Mazumdar, H.P., Das, A.: On the stability and control of the Schimizu–Morioka system of dynamical equations. Differ. Geom. Dyn. Syst. 11, 135–143 (2009)
Kokubu, H., Roussarie, R.: Existence of a singularly degenerate heteroclinic cycle in the Lorenz system and its dynamical consequences: part I. J. Dyn. Differ. Equ. 16(2), 513–557 (2004)
Kuznetsov, Y.A.: Elements of Applied Bifurcation Theory. Springer, New York (2004)
Kuznetsov, Y.A.: Numerical normalization techniques for all codim 2 bifurcations of equilibria in ODE’s. SIAM J. Numer. Anal. 36, 1104–1124 (1999)
Lorenz, E.N.: Deterministic nonperiodic flow. J. Atmos. Sci. 20, 130–141 (1963)
Mahdi, A.: Center problem for third-order ODEs. Int. J. Bifurc. Chaos Appl. Sci. Eng. 23(5), 11 (2013)
Mahdi, A., Romanovski, V.G., Shafer, D.S.: Stability and periodic oscillations in the Moon–Rand systems. Nonlinear Anal. Real World Appl. 14(1), 294–313 (2013)
Mello, L.F., Messias, M., Braga, D.C.: Bifurcation analysis of a new Lorenz-like chaotic system. Chaos Solitons Fractals 37, 1244–1255 (2008)
Messias, M., Gouveia, M.R.A., Pessoa, C.: Dynamics at infinity and other global dynamical aspects of Shimizu-Morioka equations. Nonlinear Dyn. 69, 577–587 (2012)
Pontryagin, L.S.: Ordinary Differential Equations. Addison-Wesley, Reading (1962)
Romanovski, V.G., Shafer, D.S.: The Center and Cyclicity Problems: A Computational Algebra Approach. Birkhäuser, Boston (2009)
Rubinger, R.M., Nascimento, A.W.M., Mello, L.F., Rubinger, C.P.L., Manzanares Filho N., Albuquerque, H.A.: Inductorless Chua’s circuit: experimental time series analysis. Math. Probl. Eng. 2007 (2007). doi:10.1155/2007/83893
Shilnikov, A.L.: On bifurcations of the Lorenz attractor in the Shimizu–Morioka model. Phys. D Nonlinear Phenom. 62, 338–346 (1993)
Shimizu, T., Morioka, N.: On the bifurcation of a symmetric limit cycle to an asymmetric one in a simple model. Phys. Lett. A 76(3,4), 201–204 (1980)
Takens, F.: Unfoldings of certain singularities of vectorfields: Generalized Hopf bifurcations. J. Differ. Equ. 14, 476–493 (1973)
Tigan, G., Turaev, D.: Analytical search for homoclinic bifurcations in the Shimizu-Morioka model. Phys. D Nonlinear Phenom. 240(12), 985–989 (2011)
Vladimirov, A.G., Volkov, D.Y.: Low-intensity chaotic operations of a laser with a saturable absorber. Opt. Commun. 100, 351–360 (1993)
Yu, S., Tang, W.K.S., Lü, J., Chen, G.: Generation of \(n\times m\)-wing Lorenz-like attractors from a modified Shimizu–Morioka model. IEEE Trans. Circuit Syst. 55(11), 1168–1172 (2008)
Acknowledgments
The first author was partially supported by the Grants MINECO/FEDER MTM 2008-03437, AGAUR 2014SGR 568, ICREA Academia and FP7 PEOPLE-2012-IRSES-316338 and 318999. The second author was partially supported by Program CAPES/DGU Process 8333/13-0 and by FAPESP Project 2011/13152-8.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Llibre, J., Pessoa, C. The Hopf bifurcation in the Shimizu–Morioka system. Nonlinear Dyn 79, 2197–2205 (2015). https://doi.org/10.1007/s11071-014-1805-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11071-014-1805-3