Existence of Supercritical Hopf Bifurcation on a Type-Lorenz System ()
1. Introduction
Lorenz-Type systems present a great variety of dynamic behaviors such as the presence of chaotic orbits [1] [2], existence of homoclinic and heteroclinic orbits [3] [4] [5], presence of bifurcaciones de Pitch-fork o Hopf [6] [7] [8], as well as the Lorenz attractor [7] [9], among others. An interesting problem is determining the geometric structure of the Lorenz attractor for specific Lorenz-type systems.
Hopf Bifurcation corresponds to the following situation: when the system parameter is varied and it crosses a critical value, the Jacobian, at equilibrium, has a pair of conjugate complex eigenvalues moving from the left half-plane to the right or vice versa, while the other eigenvalues remain fixed; at the time of crossing, the real parts of the two eigenvalues become zero, the stability of the equilibrium changes from stable to unstable, or from unstable to stable, thus giving rise to a limit cycle. When the limit cycle is stable, the Hopf Bifurcation is supercritical. When the limit cycle is unstable, the Hopf bifurcation is said to be subcritical [5]. The Hopf Bifurcation concept is very important and has been studied in various mathematical models of interest, such as the Homogeneous Diffusive Predator-Prey System with Holling Type II and Predator-Prey Model with Mutual Interference, see [10] and [11].
In this paper, it is proposed the study of the Hopf Bifurcation for the Lorenz-type system
(1)
when
,
,
,
,
, and
represents the system state variable.
The system (1) is presented by Li and Ou in their article [8] of the year 2011; for this reason it is called Li-Ou system. Precisely, in the cited reference the authors demonstrate the existence of the Hopf Bifurcation, leaving open the problem of determining whether the Hopf Bifurcation is nondegenerate, as well as the problem of distinguishing whether such a bifurcation is supercritical or subcritical. In this regard, in 2013 Li and Wang claim that the issue is still open due to its complexity [7], while in 2018, Calderón-Saavedra et al., address the problem for the case where the parameter f is zero, proving the existence of subcritical Hopf Bifurcation [12]. In this paper, the problem is addressed for the case
and it is proved the existence of the supercritical Hopf Bifurcation for this system, and a concrete example is modeled showing the Hopf bifurcation with the behavior of trajectories for a particular system. This is the main result of the work presented here and the methodology developed to solve it is the same as that used by [4] and [13] to calculate the Lyapunov coefficient.
It is clear that there is still a lot to analyze in the system, for example, it would be necessary to distinguish regions where the subcritical Hopf Bifurcation exists, to determine the extension of the regions where the Supercritical Hopf Bifucation is still present. In the same way, it would be necessary to address the Hopf bifurcation control for the system.
Lorenz-type systems are of interest in various topics of physics and engineering, such as synchronization [9], control and Hopf bifurcation control ( [13] - [18] ), to name a few.
This paper is organized as follows. In Section 2, some preliminary results are described regarding the existence of the Hopf bifurcation in system (1). In Section 3, it is shown that the Hopf bifurcation is nondegenerate and supercritical for some constraints on the parameters. It is illustrated geometrically the behavior of trajectories for a particular system. Finally, in Section 4, the conclusions of this paper are presented.
2. Dynamics of the Li-Ou System
2.1. Symmetry
The following lemma shows that the Li-Ou system is symmetric with respect to the Z axis.
Lemma 1 The system (1) is invariant under the linear transformation
defined by
for all
.
Proof follows from
for the vector field F associated with system (1). For a demonstration of this result see [13].
2.2. Equilibriums
Analysis of the system begins by determining the equilibrium points, for which the following system of equations is solved:
Equilibrium points of (1) are classified according to the following cases.
Case
. The origin is the only equilibrium point of the system and is denoted by
.
Case
. There are two possibilities,
or
. When
, it is obtained that
, and every point of the form
is an equilibrium of the system. When
, the only equilibrium point of the system is
.
Case
. The system has three equilibrium points:
First two cases are not of interest, the analysis focuses on the case
. In 2011, Li and Ou [8] showed that in
the system (1) presents a dynamic without bifurcation, in contrast, at the equilibrium points
and
the system presents Hopf bifurcation. With the purpose of offering a self-contained work, the result from [8] for the system (1), with
, is stated in Theorem 1.
Theorem 1 For the system (1) with parameters
,
,
and
, the following statements hold:
1) For
, the equilibrium points
and
are stable.
2) When
, the equilibriums
and
are unstable.
3) When
, in each equilibrium
and
arises a periodic orbit with period
.
Therefore, the system presents a Hopf bifurcation at the equilibrium points
and
with bifurcation critical value
.
In addition, the result of [8] for the system (1), with
, is stated in Theorem 2.
Theorem 2 The system (1) is considered with parameters
,
,
,
and
. The following statements hold:
1) When
, the equilibriums
and
are stable.
2) When
, the equilibriums
and
are unstable.
3) For
, an orbit appears at each equilibrium
and
with period
, where
.
Thus, the system presents a Hopf bifurcation at the equilibrium points
and
with bifurcation critical value
(2)
Analysis of the Hopf bifurcation is very important in the study of the stability of the periodic orbits of a system (see [6] [19] [20] ). On the other hand, when the stability of a periodic orbit is not desired, it is possible to disturb the system in order to change its stability. This process is called stability control. In the Hopf bifurcation control, the information that provides the analysis of the bifurcation is considered primary information (see [15] [18] [21] [22] ). A Hopf bifurcation analysis consists of determining whether the Hopf bifurcation is nondegenerate, and whether it is the case, to distinguish if it is supercritical or subcritical, in this activity, the first Lyapunov coefficient plays a fundamental role [7] [23] [24].
3. Nondegenerate Hopf Bifurcation
3.1. Case f = 0
This case was studied in [12] where it is shown that the bifurcation Hopf is non-degenerate and supercritical in a specific region of parameters. The following result is for a self-contained presentation of this work.
Theorem 3 When the parameters satisfy
,
,
,
and
, the system (1) presents a Hopf bifurcation nondegenerate and supercritical at equilibrium points
and
.
3.2. Case f > 0
This section presents the main result of this work, which provides two specific regions of system parameters, where the Hopf bifurcation is nondegenerate and supercritical.
Regions in the parameters space of the system are determined (1):
and
Theorem 4 If the system parameters (1) are in the region
or the region
, the periodic orbits around
and
are stable. Therefore, the system (1) presents Hopf bifurcation non-degenerate and supercritical in R at equilibrium points
and
.
Proof. Under the conditions in the parameters,
,
,
,
and
, Theorem 2 guarantees the existence of the Hopf bifurcation at equilibrium points
and
. For analysis of the Hopf bifurcation at these equilibrium points, it proceeds as follows. By the symmetry of the system with respect to the z axis (Lemma 1), the critical point
is analyzed and the results are extended to the point critical
. Using the well-known formula for the first Lyapunov coefficient (see page 98 of Y. Kuznetsov [5] ) it is determined that the first Lyapunov coefficient is negative at the equilibrium point
. Finally, it is concluded by the Hopf Theorem (see page 98 of Y. Kuznetsov [5] ) that the Hopf bifurcation is supercritical.
Jacobian matrix A of system (1) evaluated at equilibrium
is
Solving the system
, the eigenvalue
is obtained, with eigenvector
The adjoint eigenvector
, that is, the vector that satisfies the equation
, is
It is necessary to determine a vector parallel to p that satisfies the property
, hence, vector p is normalized:
In order to calculate the first Lyapunov coefficient, the equilibrium point must be transferred to the origin
This is done by the transformation
, where X satisfies the system (1). Then Y satisfies the system
(3)
where
is the first Y coordinate and K is the matrix,
It is observed that system (3) has the form
, where A is the Jacobian matrix of the system evaluated at equilibrium
and the nonlinear part
Thus,
. On the other hand, the Taylor expansion of F in a neighborhood of
is expressed by
where
and
are multilinear vector functions with
. To find an expression for multilinear vector functions B and C, the partial derivatives of the components functions
of F are used. The first component function is the zero function, so it does not contribute to the expressions that are searched for. The partial derivatives of
are,
Then the function
is expressed in the form
The partial derivatives of
are used,
Then the function
is expressed in the form
Finally, the expression for the multifunction is obtained
By a similar process, the following expressions are obtained,
The Inverse matrix
of A is given by
While the matrix
, and its inverse are written below,
On the other hand, the inverse matrix
is given by the expression
with
.
With what has been done up to now, it has the elements from the formula of the First Lyapunov Coefficient of [5]. Thus, if the hypotheses
,
,
,
and
are considered, it is found that the Lyapunov coefficient in
is
With the respective parameters, in the
region it is found that the Lyapunov coefficient is
Value of the coefficient was obtained with a program carried out with the Maple software.
Since
is negative in the regions
and
, as a consequence of Hopf Theorem, the periodic orbit that emerges in the point
is stable. Therefore, in both parameter regions, the system (1) presents non-degenerate and supercritical Hopf bifurcation at equilibrium points
and
.
Example 1 To illustrate the Theorem 4, two particular trajectories are presented together with their graphs of the Li-Ou system, with values of theparameters,
. The chosen values verify thehypotheses,
,
,
,
and
and clearly belong to the
region, therefore, it is verified what ensures the Theorem 4, the presence of a stable periodic orbit.In Figure 1, it is represented in red the graph of the orbit with initial condition
Figure 1. Stable limit cycle
.
and it is represented in blue the graph of the orbit with initial condition
Graphs of the orbits in Figure 1 give evidence of the existence of a stable periodic orbit.
4. Conclusion
Under some hypotheses in the parameters of the Li-Ou system, it is showed that the Hopf bifurcation, the existence of which has been known since the year 2011 [8], is non-degenerate and supercritical, Theorem 3. For this purpose, the symmetry of the system with respect to the z axis was used to reduce the analysis to only one critical point and the well-known formula for the first Lyapunov coefficient. Theorem 3 is illustrated geometrically, graphically showing the evolution of two trajectories for an instance of the Li-Ou system.
Acknowledgements
To CONACYT-Mexico for the scholarship granted to Pablo Emilio Calderón Saavedra.