1. Introduction
In [1] the Bifurcation Control is described as the task of designing a control law that modifies the bifurcation characteristics in order to achieve a desirable dynamic behaviour. To specify the above, set a given nonlinear system,
(1)
with state vectors
and parameters vector
, which presents a bifurcation. A parametric class of functions
is proposed, called control laws, with which (1) is perturbed, resulting the nonlinear system,
(2)
The bifurcation control problem consists in to find, within the parametric class, a control law that achieves a desirable behaviour or an established objective in the perturbed system.
Objectives of the bifurcation control are diverse, some of them are: to move the critical value or the bifurcation points [2] [3] , introducing a new bifurcation at a preferable parameter value [4] , to change the amplitude or frequency of some limit cycles emerging from bifurcation [1] [5] , to stabilize the periodic orbit that emerges from the Hopf bifurcation [3] [6] , to modify the shape or type of a bifurcations chain [7] [8] , to change and/or create a bifurcation [4] [9] .
A kind of bifurcation is the Hopf bifurcation, this corresponds to the following situation: when the parameter crosses a critical value, the Jacobian of the system evaluated in the equilibrium has a pair of conjugate complex eigenvalues, which moves from the left to the right half-plane, while the other eigenvalues remain stable; at the crossing moment the real parts of the two eigenvalues become zero, the stability of the equilibrium changes from stable to unstable and a limit cycle arises. When the limit cycle is stable the Hopf bifurcation is said to be supercritical and when the limit cycle is unstable it is said that the Hopf bifurcation is subcritical [10] .
When the system (1) presents Hopf bifurcation in a equilibrium point
, the Hopf Bifurcation Control consists in to determine a control law
of a parametric class
, in such a way that the equilibrium point
of (1) moves to an equilibrium point
of the perturbed system (2), the Hopf bifurcation is preserved and one of the following situations occurs:
1) Stability of the limit cycle that emerges from the Hopf bifurcation changes from unstable to stable or vice versa.
2) Change the orientation of the limit cycle.
In this paper is consider the Lorenz type system
(3)
with state vector
, parameters
,
and
. The system (3) is a particular case of the system studied by Xianyi Li y Qianjun Ou in [11] , where is proved, under standar hypotheses, the system has a Hopf bifurcation. Recently, in [12] is proved the Hopf bifurcation in (3) is non-degenerated and supercritical.
The objective is apply Hopf Bifurcation Control to the system (3) in order to change the Hopf bifurcation from supercritical to subcritical, by using non-lineal control laws in state feedback. The used method for Hopf bifurcation analisys include the Hopf Theorem, the Central Manifold Theorem, Normal Forms, and a formule for the first Lyapunov coefficient given in [13] .
On one side, the system (3) is a particular case of the system studied in [11] , another side it is an extension of the Lu system [14] , namely, when the parameter g takes the value 1, the system (3) is reduced to the Lu system [14] . The Lorenz type systems class is studied or taken as reference in fields of physics, engineering, and mathematics; in topics such as: chaos [15] [16] , Hopf bifurcation [11] [17] [18] , synchronization [14] and control [19] [20] [21] [22] [23] .
On the other hand, in [3] [24] [25] [26] , Hopf bifurcation control is done with the purpose of to change the Hopf bifurcation from supercritical to subcritical, for systems that are not Lorenz type.
Remainder of this paper is ordered as follows. The Section 2 describes some preliminary results concerning the existence of the Hopf bifurcation in the system (3). In Section 3 it is proved that the Hopf bifurcation is non-degenerate and supercritical. In Sections 4 and 5 the Hopf bifurcation control of the system (3) is made. Finally, in Section 6 the conclusions of this paper are presented.
2. Dynamics System
In this section, in order to make a self-contained writing, the results of [11] are specialize to the system (3), which correspond to the Hopf bifurcation.
System that Li and Ou considers is as follows,
(4)
where
,
,
,
,
, and states vector
. It is observed that when
the system (3) is obtained.
Li and Ou [11] found that when
and
, the system that results presents the Lyapunov exponents:
,
,
, it is observed that two of these exponents are positive, which characterizes the emergence of a chaotic orbit. The Figure 1 shows the chaotic attractor of the system (4) when the initial conditions and parameters are as indicated at the beginning of the paragraph.
Equilibrium points of the system (4) are classified according to the next cases:
・ Case
: There is only one equilibrium point
.
・ Case
: If
, all point of form
is an equilibrium and for
the equilibrium is
.
・ Case
: There are three equilibrium points
,
and
.
From now, the analysis focuses on the system (3) that results from taking
in (4), and is restricted to the case
.
Li and Ou in [11] proved that in P0 the system (3) has a no-bifurcation dynamics and that in the equilibrium points P1 y P2 the system presents Hopf bifurcation, if
the bifurcation critical value is:
Next theorem guarantees the existence of the Hopf bifurcation of the system (3) in the equilibrium points P1 and P2.
Theorem 1 When
,
,
and
, the following statements are true to the system (3):
1) For
, the equilibriums P1 and P2 are asymptotically stable.
2) When
, the equilibriums P1 and P2 are unstables.
3) When
, in each equilibrium P1 and P2 a periodic orbit emerges with period
.
Hence the system (3) presents Hopf bifurcation at the equilibrium points P1 and P2.
3. Hopf Bifurcation Analysis
In this section it will be showed that the Hopf bifurcation of the system (3) is non-degenerated and supercritical. To achieve this it is used the central manifold theory, it can be consulted in [10] Chapter 5.
Theorem 2 can be found in [12] and the proof presented here is in essence the same except that the Lyapunov coefficient is obtained through a different way.
Theorem 2 If the parameters satisfy
,
,
, and
,
then the system (3) exhibits non-degenerated and supercritical Hopf Bifurcation in the equilibrium points P1 and P2.
Proof. Since the conditions in the Theorem 1 are met, the system (3) exhibits Hopf bifurcation in the equilibrium points P1 and P2. It will be demonstrated that Hopf bifurcation is supercritical, at verifying that the first Lyapunov coefficient is negative in the equilibrium point P1. Since the symmetry of the system, the conclusion is the same for the equilibrium point P2.
The Jacobian matrix A of the system (3) in the point P1 is given by,
(5)
and corresponding characteristic polynomial
Let P be with a couple of pure imaginary roots and a not-zero real root denoted by
,
and
, respectively, where
. Due to the relationship between the roots and the P coefficients, it follows that
(6)
(7)
(8)
By replacing
into (6) is obtained the root
, which is
negative since a is positive. Then, by replacing in (8)
,
and
, is obtained
.
Resolving the system
, it has that the complex eigenvector is,
By resolving the system
, it has the complex eigenvector,
In order to eigenvectors p and q satisfy the condition
, the eigenvector p is rewritten in the form:
The equilibrium point
is moved to the origin via the transformation
,
,
, thus the system (3) beecomes
(9)
where
and
.
Observe that the system (9) has the form
, where A is the Jacobian matrix of the system evaluated in the equilibrium point
and the non-linear part
, is a smooth function with Taylor expansion in a neighbourhood of
with expression:
where
and
, are multi-linear vector functions of Y.
To the system (9), the multi-linear functions B and C are:
finally, obtaining
First Lyapunov coefficient
is calculated using the formula taken from [10] ,
(10)
where
denotes the usual inner product in the field of complex numbers and
denotes the real part function of a complex number. Some elements of the formula are written below. The inverse matrix of A defined in (5) is
The matrix
and its inverse are,
where
.
By replacing this elements in (10), result the first Lyapunov coefficient
which is negative, thus the periodic orbit that arises in the equilibrium point
of the system (3) is stable. Hence in the equilibrium points
and
of the system (3) the supercritical and non-degenerated Hopf bifurcation is presented.
Example 1 For each case of the Theorem 1 a particular system and the graph of the orbit with initial condition
are presented.
System with parameters
satisfies the conditions
,
,
and
. Then by the part 1 of the Theorem 1, the
equilibrium points P1 and P2 are asymptotically stables. The Figure 2(a) illustrates the behaviour of the orbit around P1.
When the parameters are
, the conditions
,
,
and
are satisfied, and the part 2 of the Theorem 1
guaranties that the equilibrium points P1 and P2 are unstable, as is illustrated in the Figure 2(b).
To the parameters
, the conditions
,
,
and
are verified, and the part 3 of the Theorem 1 guaranties
the existence of a periodic orbit. As consequence of the Theorem 2 this orbit is stable. The Figure 2(c) shows a orbit that converge at limit cycle around P1.
(a)(b)(c)
Figure 2. Dynamics of the system (3) when
. (a)
; (b)
; (c)
.
4. Hopf Bifurcation Control
In this section the main results about Hopf bifurcation control in the system (3) are presented, the proofs are postponed to the next section.
In order to resolve the Hopf bifurcation control problem in the system (3), the control laws class in closed loop are used,
(11)
where
is the states vector, the parameter k is a positive real number called control gain, and d is a parameter of the system (3). The control laws class (11) was used by Pei in [23] to the Hopf bifurcation control in the Lü system.
Perturbed system with the control laws class (11) is the next,
(12)
with parameters
,
,
and
.
Problem consists in finding a control law of the class (11) such that the perturbed system preserves the equilibrium points of the system (3), it presents Hopf bifurcation and this is subcritical. When a control law achieve the planted objectives, it is said that it changes the Hopf bifurcation of the system (3) from supercritical to subcritical.
Observe that the perturb system preserves the equilibrium points P1, P2 and P3 of the system (3), since
.
Next theorem states that the perturbed system (12) presents Hopf bifurcation in the equilibrium points P1 and P2.
Theorem 3 To the system (12) with parameters
,
,
,
and
, the critical value of the bifurcation is
and the next sentences are true:
1) When
, the equilibrium points P1 and P2 are stable.
2) For the case
, the equilibrium points P1 and P2 are unstable.
3) When
, in each equilibrium point P1 and P2 arises a periodic orbit with period
where
.
Thus, the system presents Hopf bifurcation in the equilibrium points P1 and P2.
Next theorem states that there are control laws for which the Hopf bifurcation of the perturbed system is subcritical.
Theorem 4 Let the perturbed system (12) be, with parameters
,
,
and
, then there is at least a value of k such that the
system presents subcritical Hopf bifurcation in the equilibrium points P1 y P2.
Next corollary summarizes the obtained results.
Corollary 1 The control law in feedback of states
changes the Hopf bifurcation of the system (3) from supercritical to subcritical.
Example 2 In the Figure 3, a numerical simulation is presented to illustrate the Theorem 4 results. Taking the parameter values
the conditions
,
,
and
are met, and the Theorem 4 ensures the presence of an unstable periodic orbit around each equilibrium P1 and P2. On the graph, the orbit with
initial condition
converges to equilibrium point and moves off of cycle, while the orbit with initial condition
, moves around of each equilibrium point, like a Lorenz attractor.
5. Proof of Theorems 3 and 4
To proof the Theorems 3 and 4 the following lemmas are used.
Lemma 1 Let
be defined as
. The system (12) is invariant under T.
The proof follows from the fact that vectorial field f associated to the system (12) satisfies
, for all
.
A consequence of the previous lemma is that the dynamic system, determined by the perturbed system, is symmetric with respect to the z-axis.
Lemma 2 Polynomial with real coefficients
has a couple of conjugate imaginary pure roots, if and only if,
with
.
Figure 3. Unstable limit cycle for
.
Lemma 3 Let
be a polynomial which coefficients are differentiable real functions with respect to the parameter
in the neighbourhood
. Suppose that for
, P has a couple of conjugate roots
,
with
and
, and a negative real root
. Then, for all
in a neighbourhood of
, the polynomial P has two conjugate roots
,
with
and a negative real root
, and the derivative of the real part of the
in
is:
(13)
Proof of Theorem 3. Under the established conditions in the parameters the analysis of stability of the system in the equilibrium point P1 is done. As the system is symmetric, the conclusion is the same to the equilibrium point P2.
The Jacobian matrix A of the system (12) in the point P1 takes the form
(14)
and characteristic polynomial
(15)
With help of the Lemma 2, the necessary and sufficient conditions so that
to have two imaginary pure roots are
1)
2)
From 1)
From 2) and by the hypothesis of the theorem (
and
),
(16)
Case 1. Let
be, that is,
As the terms of inequality are positive,
Thus
. As
and
, it follows that
, and
. Hence,
.
By Routh-Hurwitz criterion, [27] page 460, a necessary and sufficient condition so that eigenvalues
,
and
of the matrix A to have negative real part is that the expressions
,
and
are positives, which is proved. Hence, the point P1 of the perturbed system is stable.
Case 2. Let
be, that is,
Since the terms of inequality are positive,
Then
. From the previous inequality and from
, by the Routh-Hurwitz criterion there is at least a
such that
. The case
, implies that
, which is not possible. In the case that
is pure imaginary, by the Lemma 2,
, which is not possible, since that
. Hence, when
there is at least a
such that
. Therefore the equilibrium point P1 of the system (12) is unstable.
Case 3. Let
,
and
be the roots of
. When
,
it follows that two of these are pure imaginary, of the form
,
with
. To find the value of
, it is observed that the coefficients of
satisfy,
(17)
(18)
(19)
By replacing
in (17), the real root
is obtained. By replacing
,
and
in (19),
is obtained. Hence, as
, the polynomial (15) has two conjugate eigenvalues
,
with
and
. Since to the Lemma 3 the transversality value is,
Due to
,
and
, it follows that the transversality value is positive. And by the Hopf Theorem, in the equilibrium
point P1 of the system (12) arises a periodic orbit with period
, where
.
Proof of Theorem 4. Let the parameters be as in the Theorem 4. According to Theorem 3, the system (12) exhibit Hopf bifurcation in the equilibriums P1 and P2. Using the central manifold theory and the same steps that in the proof of Theorem 2, below is shown that the periodic orbit which arises in P1 is unstable.
When solving the system
, with A the Jacobian matrix of the system (12) evaluated in P1, the complex eigenvector
is obtained, with
. When solving the system
, the eigenvector,
is obtained, where
. Also
is satisfied.
Equilibrium point P1 is moved to the origin via the transformation
, with
, resulting the system (12) in
, where A is given by (14), the non-linear part
is a smooth function with Taylor expansion in a neighbourhood of
,
where
y
are vectorial multi-linear functions with
.
To the system (12) in the origin, the vectorial multi-linear functions B and C are:
resulting,
First Lyapunov coefficient
is founded using the formula (10), below the elements of this formula are described.
Inverse matrix
of the matrix A definite in (14) is,
Matrix
and her inverse are:
where
.
Finally, these are replaced in (10), resulting the Lyapunov coefficient
(20)
with
.
When
, the expression (20) takes the form,
Due to the first Lyapunov coefficient is positive, the periodic orbit is unstable. Hence, in the equilibrium P1 of the system (12) arises sub-critical non-degenerated Hopf bifurcation. By Lemma 1, the conclusion is the same to the equilibrium P2.
6. Conclusions
Via the Theorem 2, the existence of the supercritical and non-degenerate Hopf Bifurcation to the system (3) in the equilibrium points P1 and P2 was proved.
It was proved that at perturbing the system (3) in the system (12), the control law
changes the Hopf bifurcation of the system (3) from supercritical to subcritical, in the parameters region
,
,
and
.
Acknowledgements
To CONACYT by the scholarship granted to the PhD in Mathematics student Pablo Emilio Calderon Saavedra of Universidad Veracruzana
Conflicts of Interest
The authors declare no conflicts of interest regarding the publication of this paper.