Abstract
This article deals with the dynamical analysis of discrete-time Brusselator models. Euler’s forward and nonstandard difference schemes are implemented for discretization of Brusselator system. We investigate the local dynamics related to equilibria of both discrete-time models. Furthermore, with the help of bifurcation theory and center manifold theorem, explicit parametric conditions for directions and existence of flip and Hopf bifurcations are investigated. A novel chaos control method is implemented in order to control chaos in discrete-time Brusselator models under the influence of flip and Hopf bifurcations. Numerical simulations are provided to illustrate theoretical discussion and effectiveness of newly introduced chaos control strategy.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Recently, many authors have studied the models of nonlinear oscillatory behavior related to chemical reactions [1]. These chemical reactions play important role due to their similarities with neuronal and biological networks. Moreover, many nonlinear models related to these chemical reactions have complex and chaotic behavior [2]. The Belousov–Zhabotinsky reaction which is commonly known as BZ reaction [3,4,5], is a family of reactions representing the traditional example of non-equilibrium thermodynamics and such type of reactions yield nonlinear chemical oscillator. The oscillatory behavior of Brusselator reaction is similar to BZ reaction. The Brusselator reaction is an oscillating chemical reaction that was first studied by Prigogine and Lefever in 1968 [6] (see also [7]). Moreover, this model is the minimal mathematical system that can incorporate the oscillating behavior. In general, the Brusselator chemical reaction is described by the following steps:
Assume that concentrations of A and B are constants and reversible reactions are neglected, then aforementioned reaction displays oscillatory behavior in two species X and Y. Under these assumptions, we have only two varying concentrations which are represented by X and Y. This is minimum number required for an isothermal oscillatory system [8]. Furthermore, the two reaction rate equations describing how the concentrations of X and Y vary with respect to time \(\tau \) are given as follows:
and
Moreover, the concentrations [A] and [B] are assumed to be constants, and equal to their initial values represented by \([A]_0\) and \([B]_0\). In order to obtain the dimensionless forms for aforementioned reaction rate equations, we consider the following transformations:
Furthermore, we assume that the initial concentrations related to A and B are greater, then the maximum rate concentrations for X and Y are described by the following differential equations:
where \(\alpha \) and \(\beta \) are positive constants, which are proportional to the concentrations of chemical reactants A and B, respectively. Moreover, the dimensionless variables x and y are proportional to the chemical reactants X and Y, respectively. The nonlinear equations may have a stable limit cycle for certain values the parameters \(\alpha \) and \(\beta \). This system exhibits oscillatory changes in the concentrations of X and Y depending upon the values of \(\alpha \) and \(\beta \). System (1.1) has unique positive equilibrium point \(\left( \alpha ,\frac{\beta }{\alpha }\right) \). By standard mathematical calculation yields that the unique positive equilibrium point of (1.1) is locally asymptotically stable if and only if \(\beta <1+\alpha ^2\). Moreover, system (1.1) undergoes Andronov–Hopf bifurcation in the neighborhood of \(\beta =1+\alpha ^2\) at its positive equilibrium point, and oscillations are observed for \(\beta >1+\alpha ^2\) [9].
It is worthwhile to note that discrete-time models governed by difference equations are more appropriate than the continuous one due to their efficient computational results and rich dynamical behavior [10, 11]. Moreover, this argument also works effectively in the case of nonlinear oscillatory behavior related to chemical reactions [12,13,14]. Therefore, we study stability, bifurcation analysis and chaos control related to two discrete counterparts of (1.1).
In [15], Kang and Pesin studied a discrete version of Brusselator model governed by the reaction–diffusion equations. Zafar et al. [16] implemented the classical fourth order Runge–Kutta method and non-standard finite difference scheme to system (1.1). Sanayei [17] investigated chaos control for a Brusselator chemical reaction model under the influence of a sinusoidal force acted on the reaction as a chaotic oscillator. In [18], Xu et al. discussed Turing instability and pattern formation in a semi-discrete Brusselator model. Moreover, in [19], Yu and Gumel investigated Hopf bifurcation and double-Hopf bifurcations of a chemical oscillator arising from the series coupling of two Brusselators. Similarly, we refer to [20,21,22,23,24,25,26,27,28,29,30,31] for some interesting investigations related to various variants of Brusselator models.
According to the definition of Strogatz [32], chaos requires three ingredients, that is, periodic long-term behavior, deterministic system, and sensitive dependence on initial conditions. The last item is equivalent to stating that nearby trajectories diverge exponentially (positive Lyapunov exponent). Continuous systems in a 2-dimensional phase space cannot experience such a divergence, hence chaotic behaviors can only be observed in deterministic continuous systems with a phase space of dimension 3, at least. That is why, there is no chance of chaotic behavior in continuous system (1.1). On the other hand, in a discrete map it is well known that chaos occurs also in one-dimension. Therefore, discrete-time chaotic systems, such as the logistic map, exhibit chaos whatever their dimension.
Aforementioned investigations reveal that it is an interesting mathematical study related to period-doubling bifurcation, Neimark–Sacker bifurcation and chaos control for discrete counterparts of system (1.1). In order to discuss the rich dynamical study of the system (1.1), we consider the discrete counterparts of (1.1). For this, we apply forward Euler’s method to the system (1.1) as follows:
where \(0<h<1\) represents step size for Euler’s method. Furthermore, in order to obtain a dynamically consistent discrete-time model, a nonstandard difference scheme yields the following discrete-time model:
In [33], Din investigated local stability of equilibria, flip and Hopf bifurcations, and chaos control for discrete-time glycolysis models. Moreover, Din et al. [34] discussed qualitative behavior including stability analysis, bifurcation analysis and chaos control in discrete-time models related to chlorine dioxide–iodine–malonic acid reaction. In both [33] and [34], step size is taken as bifurcation parameter. In order to discuss chaos control, one cannot apply OGY method while keeping step size ( that is, h) as bifurcation parameter. In order to remove this deficiency, a new hybrid chaos control technique is implemented for systems (1.2) and (1.3).
The main contributions of this article are summarized as follows:
-
A novel dynamically consistent discrete-time Brusselator model (1.3) is proposed which undergoes Hopf bifurcation at its unique positive steady-state.
-
A novel hybrid control technique is introduced for controlling chaos under the influence of flip and Hopf bifurcations in systems (1.2) and (1.3).
-
The effectiveness of proposed strategy is illustrated through suitable numerical simulations, and its comparison with existing hybrid control strategy.
The remaining discussion in this paper is organized as follows. In Sect. 2, we discuss the local dynamical behaviors of (1.2) and (1.3) at their positive steady-states. In Sect. 3, bifurcation theory related to normal forms and center manifold theorem are implemented to discuss existence and directions of flip (period-doubling) for the system (1.2) at its positive steady-state. Section 4 is related to Neimark–Sacker (Hopf) bifurcations for systems (1.2) and (1.3) at their positive steady-states. Moreover, a novel chaos control technique is introduced in Sect. 5. Finally, numerical simulations are provided in Sect. 6 in order to illustrate the theoretical discussion for the systems (1.2) and (1.3).
2 Local stability analysis
In this section, we discuss the local dynamical behaviors of systems (1.2) and (1.3). For this, first we investigate steady-states related to these systems. The steady-states of (1.2) solve the following 2-dimensional algebraic system:
Solving (2.1) yields \(E=\left( \alpha ,\frac{\beta }{\alpha }\right) \) as the unique steady-state for the system (1.2). Moreover, variational matrix of (1.2) at E is computed as follows:
Furthermore, the characteristic polynomial of J(E) is given as follows:
Moreover, from (2.2) it follows that
and
Furthermore, keeping in view the relations between coefficients and roots for a quadratic equation [35,36,37,38,39,40], the following Lemma is presented:
Lemma 2.1
Consider the quadratic polynomial \(\mathbb {P}(\mu )=\mu ^2-p\mu +q\), satisfying \(\mathbb {P}(1)>0\) such that \(\mu _1\), \(\mu _2\) are roots of \(\mathbb {P}(\mu )=0\). Then, the following statements hold true:
-
(a)
\(|\mu _1|<1\) and \(|\mu _2|<1\) iff \(\mathbb {P}(-1)>0\) and \(\mathbb {P}(0)<1\).
-
(b)
\(|\mu _1|<1\) and \(|\mu _2|>1\), or \(|\mu _1|>1\) and \(|\mu _2|<1\) iff \(\mathbb {P}(-1)<0\).
-
(c)
\(|\mu _1|>1\) and \(|\mu _2|>1\) iff \(\mathbb {P}(-1)>0\) and \(\mathbb {P}(0)>1\).
-
(d)
\(\mu _1=-1\) and \(|\mu _2|\ne 1\) iff \(\mathbb {P}(-1)=0\) and \(\mathbb {P}(0)\ne \pm 1\).
-
(e)
\(\mu _1\) and \(\mu _2\) are complex and \(|\mu _1|=|\mu _2|=1\) iff \(p^2-4q<0\) and \(\mathbb {P}(0)=1\).
Moreover, from (2.3) we have that \(P(1)=h^2 \alpha ^2>0\). Thus, Lemma 2.1 can be implemented to prove the following results.
Lemma 2.2
For the steady-state \(E=\left( \alpha ,\frac{\beta }{\alpha }\right) \) of (1.2), the following statements hold true:
-
(i)
\(\left( \alpha ,\frac{\beta }{\alpha }\right) \) is a sink if and only if
$$\begin{aligned} 4+h^2\alpha ^2+2h\beta >2h\alpha ^2+2h, \end{aligned}$$and
$$\begin{aligned} h\alpha ^2+\beta <1+\alpha ^2. \end{aligned}$$ -
(ii)
\(\left( \alpha ,\frac{\beta }{\alpha }\right) \) is a saddle point if and only if
$$\begin{aligned} 4+h^2\alpha ^2+2h\beta <2h\alpha ^2+2h. \end{aligned}$$ -
(iii)
\(\left( \alpha ,\frac{\beta }{\alpha }\right) \) is a repeller if and only if
$$\begin{aligned} 4+h^2\alpha ^2+2h\beta >2h\alpha ^2+2h, \end{aligned}$$and
$$\begin{aligned} h\alpha ^2+\beta >1+\alpha ^2. \end{aligned}$$ -
(iv)
Assume that \(\lambda _1\) and \(\lambda _2\) be roots of (2.2), then \(\lambda _1=-1\) and \(|\lambda _2|\ne 1\) if and only if
$$\begin{aligned} h= & {} \frac{1+\alpha ^2-\beta \pm \sqrt{\alpha ^4+(\beta -1)^2-2 \alpha ^2(1+\beta )}}{\alpha ^2},\\&h\alpha ^2+\beta \ne 1+\alpha ^2, \end{aligned}$$and
$$\begin{aligned} 2+h^2 \alpha ^2+h \beta \ne h+h \alpha ^2. \end{aligned}$$ -
(v)
Suppose that \(\lambda _1\) and \(\lambda _2\) be roots of (2.2), then \(\lambda _1\) and \(\lambda _2\) are complex with absolute values equal to 1 if and only if
$$\begin{aligned} h=\frac{1+\alpha ^2-\beta }{\alpha ^2}, \end{aligned}$$and
$$\begin{aligned} \alpha ^4+(\beta -1 )^2<2 \alpha ^2(1+\beta ). \end{aligned}$$
Next, we discuss the dynamical behavior of (1.3) at its positive steady-state \(\left( \alpha ,\frac{\beta }{\alpha }\right) \). For this, the variational matrix of (1.3) at \(\left( \alpha ,\frac{\beta }{\alpha }\right) \) is computed as follows:
Furthermore, the characteristic polynomial of \(M\left( \alpha ,\frac{\beta }{\alpha }\right) \) is calculated as follows:
From (2.6), we have
and
Moreover, dynamical behavior of (1.3) at its steady-state \(\left( \alpha ,\frac{\beta }{\alpha }\right) \) is described in the following Lemma.
Lemma 2.3
For the system (1.3) the following results hold true:
-
(i)
The steady-state \(\left( \alpha ,\frac{\beta }{\alpha }\right) \) for (1.3) is a sink if and only if
$$\begin{aligned} \frac{1+h \left( 2+h \alpha ^2\right) \beta }{\left( 1+h \alpha ^2\right) (1+h+h \beta )}<1. \end{aligned}$$ -
(ii)
The steady-state \(\left( \alpha ,\frac{\beta }{\alpha }\right) \) for (1.3) cannot be a saddle point for all \(\alpha ,\ \beta >0\) and \(0<h<1\).
-
(iii)
\(\left( \alpha ,\frac{\beta }{\alpha }\right) \) is a source if and only if
$$\begin{aligned} \frac{1+h \left( 2+h \alpha ^2\right) \beta }{\left( 1+h \alpha ^2\right) (1+h+h \beta )}>1. \end{aligned}$$ -
(iv)
Suppose that \(\lambda _1\) and \(\lambda _2\) be roots of (2.6), then \(\lambda _1\) and \(\lambda _2\) are complex with absolute values equal to 1 if and only if
$$\begin{aligned} h=\frac{\beta -1-\alpha ^2}{\alpha ^2}, \end{aligned}$$and
$$\begin{aligned} \alpha ^4 (4 \beta -1)+2 \alpha ^2 \left( 1+\beta -4 \beta ^2\right) +(\beta -1)(1+\beta (3+4\beta ))>0. \end{aligned}$$
3 Flip bifurcation
In this section, center manifold theorem and bifurcation theory are implemented in order to investigate the existence and direction of period-doubling(flip) bifurcation at positive steady-state \(\left( \alpha ,\frac{\beta }{\alpha }\right) \) of the system (1.2). For this, we choose h as bifurcation parameter and taking into account the following conditions:
and
Let us consider
If \((\alpha ,\beta ,h_1)\in \Omega _{PD}\), then roots of (2.2) are \(\lambda _1=-1\) and
where
Assume that \((\alpha ,\beta ,h_1)\in \Omega _{PD}\), then (1.2) is described by the following mapping:
Moreover, denote by \(\bar{h}\) as bifurcation parameter satisfying \(|\bar{h}|\ll 1\), then perturbation mapping for (3.4) is described as follows:
By taking into account the transformations \(x=U-\alpha \) and \(y=V-\frac{\beta }{\alpha }\), then it follows from (3.5) that:
where
and
For the conversion of the matrix \(\left[ \begin{array}{cc} 1+h_1 (\beta -1 ) &{} h_1 \alpha ^2 \\ -h_1 \beta &{} 1-h_1 \alpha ^2 \end{array} \right] \) into normal form, we consider the following transformation
where
be a non-singular matrix. From (3.6) and (3.7), we obtain
where
For the implementation of the center manifold theorem [41] to (3.8), let \(W^c(0,0,0)\) denotes the center manifold of (3.8) evaluated at (0, 0) in a small neighborhood of \(\bar{h}=0\). Then, \(W^c(0,0,0)\) is computed as follows:
where
Furthermore, the map restricted to the center manifold \(W^c(0,0,0)\) is given as follows:
where
and
Next, we define the following two nonzero real numbers:
and
Due to aforementioned computation, we have the following result about period-doubling bifurcation of system (1.2).
Theorem 3.1
Suppose that \(l_1\ne 0\) and \(l_2\ne 0\), then system (1.2) undergoes period-doubling bifurcation at the unique positive equilibrium point when parameter h varies in small neighborhood of \(h_1\). Furthermore, if \(l_2>0\), then the period-two orbits that bifurcate from \(\left( \alpha ,\frac{\beta }{\alpha }\right) \) are stable, and if \(l_2<0\), then these orbits are unstable.
4 Hopf bifurcation
This section is related to investigate the conditions for the existence and direction of Hopf bifurcation at positive steady-state \(\left( \alpha ,\frac{\beta }{\alpha }\right) \) of system (1.2). In order to obtain the parametric conditions for existence of Hopf bifurcation, the point \(\left( \alpha ,\frac{\beta }{\alpha }\right) \) should be non-hyperbolic such that the variational matrix evaluated at \(\left( \alpha ,\frac{\beta }{\alpha }\right) \) has both complex eigenvalues with absolute values equal to 1. For this, first we suppose that
Secondly, we assume that the following inequality holds true:
Under aforementioned conditions, both roots of (2.2) are complex having absolute values equal to 1. Assume that
Let \((\alpha ,\beta ,h_2)\in \Omega _{NS}\), then (1.2) is described by the following mapping:
Next, we take \(\tilde{h}\) as the bifurcation parameter, then perturbation mapping for (4.1) is described as follows:
where \(|\tilde{h}|<<1\) represents the small perturbation parameter. Under the transformations \(x=U-\alpha \) and \(y=V-\frac{\beta }{\alpha }\) the map (4.2) is converted into the following form:
where
and
Furthermore, the characteristic equation for the variational matrix of (4.3) at its fixed point (0, 0) is given as follows:
where
and
Assume that \((\alpha ,\beta ,h_2)\in \Omega _{NS}\), then roots of (4.4) are computed as follows:
and
Furthermore, we obtain that
Moreover, with simple computations it follows that
Moreover, we suppose that \(\varphi (0)\ne 0\) and \(\varphi (0)\ne -1\), then it follows that
Suppose that \((\alpha ,\beta ,h_2)\in \Omega _{NS}\) and conditions (4.5) hold true, then it follows that \(\varphi (0)\ne \pm 2,0,-1\). Thus, we have \(\mu _{1}^{k}, \mu _{2}^{k}\ne 1\) for all \(k=1,2,3,4\) at \(\tilde{h}=0\). Due to these assumptions, it follows that the roots of (4.4) do not lie in the intersection of the unit circle with the coordinate axes when \(\tilde{h}=0\). Suppose that \(\kappa \) and \(\omega \) denote real and imaginary parts of \(\mu _2\) at \(\tilde{h}=0\), respectively, then we have
and
Now, we consider the following transformation:
Implementation of transformation (4.6), the normal form of (4.3) is computed as follows:
where
We compute the following Lyapunov first exponent at \((u,v,\tilde{h})=(0,0,0)\) as follows:
where
and
Furthermore, the partial derivatives related to \(\tilde{P}\) and \(\tilde{Q}\) at \((u,v,\tilde{h})=(0,0,0)\) are computed as follows:
Keeping in view aforementioned calculations and implementing bifurcation theory [42,43,44,45,46], we have the following result which gives criterion of Hopf bifurcation at \(\left( \alpha ,\frac{\beta }{\alpha }\right) \) for the system (1.2).
Theorem 4.1
Suppose that (4.5) holds true and \(\mathbb {L}_1\ne 0\), then system (1.2) undergoes Hopf bifurcation at \(\left( \alpha ,\frac{\beta }{\alpha }\right) \) when h varies in a small neighborhood of \(h_2=\frac{1+\alpha ^2-\beta }{\alpha ^2}\). Moreover, if \(\mathbb {L}_1<0\), then an attracting invariant closed curve bifurcates from \(\left( \alpha ,\frac{\beta }{\alpha }\right) \) for \(h>h_2\), and if \(\mathbb {L}_1>0\), then a repelling invariant closed curve bifurcates from \(\left( \alpha ,\frac{\beta }{\alpha }\right) \) for \(h<h_2\).
Next, we consider the following set for the system (1.3):
where
Moreover, we consider the mapping
where \(|\hat{h}|<<1\) is small bifurcation parameter for (1.3). Furthermore, the transformations \(x=X-\alpha \) and \(y=Y-\frac{\beta }{\alpha }\) convert (4.8) into the following form:
where
and
The characteristic polynomial for variational matrix of (4.9) at (0, 0) is computed as follows:
where
The roots of (4.10) are given as follows:
and
where
and
Then, we obtain that
Furthermore, suppose that \(\alpha ^2\ne \beta \), then with simple computations it follows that
Moreover, we suppose that \(\zeta (0)\ne 0\) and \(\zeta (0)\ne -1\), then it follows that
Suppose that \((\alpha ,\beta ,h_2)\in \Psi _{NS}\) and conditions (4.11) hold true, then it follows that \(\zeta (0)\ne \pm 2,0,-1\). Thus, we have \(\rho _{1}^{k}, \rho _{2}^{k}\ne 1\) for all \(k=1,2,3,4\) at \(\hat{h}=0\). Due to these assumptions, it follows that the roots of (4.10) do not lie in the intersection of the unit circle with the coordinate axes when \(\hat{h}=0\). Suppose that \(\varepsilon \) and \(\xi \) denote real and imaginary parts of \(\rho _2\) at \(\hat{h}=0\), respectively, then we have
and
Now, we consider the following transformation:
Implementation of transformation (4.12), the normal form of (4.9) is computed as follows:
where
We compute the following Lyapunov first exponent for system (1.3) at \((u,v,\hat{h})=(0,0,0)\) as follows:
where
and
Keeping in view aforementioned computation, we have the following result related to Hopf bifurcation for the system (1.3).
Theorem 4.2
Suppose that \(\mathbb {L}_2\ne 0\) and 4.11 is satisfied, then (1.3) undergoes Hopf bifurcation at \(\left( \alpha ,\frac{\beta }{\alpha }\right) \) as h varies in a small neighborhood of \(h_3=\frac{\beta -1-\alpha ^2}{\alpha ^2}\). Moreover, if \(\mathbb {L}_2<0\), then an attracting invariant closed curve bifurcates from \(\left( \alpha ,\frac{\beta }{\alpha }\right) \) for \(h>h_3\), and if \(\mathbb {L}_2>0\), then a repelling invariant closed curve bifurcates from \(\left( \alpha ,\frac{\beta }{\alpha }\right) \) for \(h<h_3\).
5 Chaos control
In order to control chaos under the influence of flip and Hopf bifurcations one can design a controller that can modify the bifurcation properties for a given nonlinear dynamical system and in a result some desired dynamical properties can be obtained [47]. Chen and Yu [48] proposed linear time-delayed state-feedback control for chaotic systems. In [49], Abed et al. implemented non-linear state-feedback control for controlling chaos under the influence of flip bifurcation. Wen et al. [50] investigated washout-filter controller for controlling Hopf bifurcation for discrete-time systems. Luo et al. [51] proposed hybrid control methodology for controlling chaos under the influence of flip bifurcation in discrete-time systems. Ott et al. [52] introduced a feedback control method for controlling chaos in discrete-time systems and this method is known as OGY method. Pole-placement methodology was proposed by Romeiras et al. [53] (also see [54]), which may be treated as generalized OGY method.
In case of mathematical biology, bifurcations and unstable fluctuations have always been regarded as unfavorable phenomena, as they are harmful for the breeding of biological population [55]. For this reason, we modify the hybrid control strategy to control chaos under the influence of flip bifurcation and Neimark–Sacker bifurcation. The classical hybrid control strategy introduced by Luo et al. [51], in which the parameter perturbation and state feedback are combined and used to control the period-doubling bifurcations and chaos in a discrete nonlinear dynamical system [40, 56]. Moreover, in [40] the authors used hybrid control strategy for controlling Neimark–Sacker bifurcation in a discrete-time prey–predator system. For some more applications of feedback control strategies related to discrete-time models, we refer to [57,58,59,60,61,62].
In this section, a novel hybrid control strategy is introduced. Like hybrid control technique, the proposed strategy consists of feedback control and parameters perturbation. Moreover, this novel scheme is applicable for controlling chaos under the influence of both period-doubling and Neimark–Sacker bifurcations. The method works as follows. Consider an n-dimensional discrete dynamical system of the form:
where \(X_k=(x_k^{1},x_k^{2},\ldots ,x_k^{n})\in \mathbb {R}^n\) and \(\delta \in \mathbb {R}\) denotes bifurcation parameter for the system (5.1). We apply both parameters perturbation and state feedback control to system (5.1) as follows:
where \(D\bigg (\exp \big (-\alpha _i(x_k^{i}-x_i^*)\big )\bigg )\) is \(n\times n\) diagonal matrix with diagonal entries \(\exp \big (-\alpha _i(x_k^{i}-x_i^*)\big )\), \(i=1,2,\ldots ,n\), \((x_1^*,x_2^*,\ldots ,x_n^*)\) be equilibrium point of (5.1), \(\alpha _1,\alpha _2,\ldots ,\alpha _n\) are control parameters and \(F^{(m)}\) is mth iteration of \(F(\cdot )\).
In order to implement the control strategy (5.2) to system (1.2), we take \(n=2\) and \(m=1\). Moreover, assume that \((x^*,y^*)=\left( \alpha ,\frac{\beta }{\alpha }\right) \) be steady-state of system (1.2) in chaotic region under the influence of flip or Hopf bifurcations. Then, related controlled system for (1.2) is written as follows:
where \(f(x_n,y_n,h)=x_n+h\left( \alpha -(1+\beta )x_n+x_n^2 y_n\right) \), \(g(x_n,y_n,h)=y_n+ h\left( \beta x_n-x_n^2 y_n\right) \) and \(a,\ b\in \mathbb {R}\) are controlling parameters. Then, variational matrix for the controlled system (5.3) at \((x^*,y^*)=\left( \alpha ,\frac{\beta }{\alpha }\right) \) is computed as follows:
Moreover, the characteristic polynomial of (5.4) is computed as follows:
In this case, the curves of marginal stability are given by
and
Then, stable eigenvalues lie within the bounded regions in ab-plane bounded by the hyperbolic curves \(C_1,C_2,C_3\) for particular parametric values. Thus instead of unique bounded region, one might obtain two possible stability regions. Moreover, the following Lemma gives conditions for local asymptotic stability of positive equilibrium \(\left( \alpha ,\frac{\beta }{\alpha }\right) \) of the controlled system (5.3).
Lemma 5.1
The positive equilibrium \(\left( \alpha ,\frac{\beta }{\alpha }\right) \) of the controlled system (5.3) is locally asymptotically stable, if the following condition holds true:
Similarly, implementation of control strategy (5.2) to system (1.3) gives the following related controlled system:
where \((x^*,y^*)=\left( \alpha ,\frac{\beta }{\alpha }\right) \). Then, variational matrix for the controlled system (5.6) at \((x^*,y^*)=\left( \alpha ,\frac{\beta }{\alpha }\right) \) is computed as follows:
Moreover, the characteristic polynomial of (5.7) is computed as follows:
Moreover, the following Lemma gives conditions for local stability of steady-state \(\left( \alpha ,\frac{\beta }{\alpha }\right) \) for the controlled system (5.6).
Lemma 5.2
The positive equilibrium \(\left( \alpha ,\frac{\beta }{\alpha }\right) \) for the controlled system (5.6) is locally stable, if the following condition holds true:
6 Numerical simulation and discussion
Example 6.1
First, we choose \(\alpha =3.2\), \(\beta =3.1\), \(h\in [0.25,0.348]\) and taking initial values \((x_0,y_0)=(3.2,0.986)\), then system (1.2) undergoes flip bifurcation at (3.2, 0.96875) as h varies in a small neighborhood of \(h_1=0.303724\). For \((\alpha ,\beta ,h)=(3.2,3.1,0.303724)\), the roots of (2.2) are \(\lambda _1=-1\) and \(\lambda _2=0.52769\). Moreover, \(l_1=21.2990196\) and \(l_2=-749.7017252<0\). Furthermore, bifurcation diagrams and largest Lyapunov exponents (LLE) are depicted in Fig. 1.
Next, for \((\alpha ,\beta ,h)=(3.2,3.1,0.347)\) the controlled system (5.3) is rewritten as follows:
The variational matrix for (6.1) is computed as follows
In this case, (5.5) reduces to
Stability conditions of Lemma 5.1 yield that steady-state (3.2, 0.96875) of (6.1) is locally stable if
or
or
or
Moreover, the hyperbolic curves of marginal stability are given as
and
Two possible stability regions bounded by these hyperbolic curves are depicted in Fig. 2.
Example 6.2
Next, we choose \(\alpha =0.5\), \(\beta =1.1\), \(h\in [0.4,1]\) and \((x_0,y_0)=(0.5,2.199)\). Then system (1.2) undergoes Hopf bifurcation as h varies in a small neighborhood of \(h_2=0.6\). At \((\alpha ,\beta ,h)=(0.5,1.1,0.6)\) roots of (2.2) are calculated as follows \(\lambda _1=0.955-0.296606 i\) and \(\lambda _2=0.955 +0.296606 i\) with absolute values 1. The bifurcation diagrams and LLE are shown in Fig. 3. Moreover, for \(\alpha =0.5\), \(\beta =1.1\), \(h=0.57\), \(h=0.6\), \(h=0.61\) and \(h=0.7\) phase portraits of (1.2) are shown in Fig. 4.
Next, for \((\alpha ,\beta ,h)=(0.5,1.1,0.95)\) the controlled system (5.3) is rewritten as follows:
The variational matrix for (6.2) is computed as follows
In this case, (5.5) reduces to
Moreover, the hyperbolic curves of marginal stability are given as
and
The unique stability region bounded by these hyperbolic curves is depicted in Fig. 5. In particular, if we select \(b=-0.0001\), then steady-state (0.5, 2.2) of (6.2) is stable if and only if \(0.218602< a< 4.4716\).
Example 6.3
Taking \(\alpha =0.8\), \(\beta =2.1\), \(h\in [0.1,1]\) and \((x_0,y_0)=(0.8,2.6249)\), then system (1.3) undergoes Hopf bifurcation as h varies in a small neighborhood of \(h_3=0.71875\). At \((\alpha ,\beta ,h)=(0.8,2.1,0.71875)\), (1.3) has steady-state (0.8, 2.625), and roots of (2.6) are computed as follows \(\lambda _1=0.964925-0.262526 i\) and \(\lambda _2=0.964925+0.262526 i\) with absolute values equal to 1. In this case, LLE and bifurcation diagrams are depicted in Fig. 6. Moreover, for \(\alpha =0.8\), \(\beta =2.1\), \(h=0.71875\), \(h=0.6\), \(h=0.3\) and \(h=0.1\) various phase portraits for (1.3) are depicted in Fig. 7.
Finally, we select \((\alpha ,\beta ,h)=(0.8,2.1,0.3)\) to see the effectiveness of newly introduced control strategy (5.6) for system (1.3). In this case, system (5.6) is written as follows:
The variational matrix for (6.3) is computed as follows
In this case, (5.8) reduces to
Moreover, the hyperbolic curves of marginal stability are given as
and
The unique stability region bounded by these hyperbolic curves is depicted in Fig. 8.
7 Concluding remarks
We have investigated the dynamical behavior related to discrete-time Brusselator models (1.2) and (1.3). A dynamically consistent nonstandard difference scheme is implemented in order to obtain model (1.3). Bifurcation theory related to normal forms is implemented for investigation of Hopf bifurcation for both models. Moreover, it is proved that system (1.2) undergoes flip bifurcation. A novel chaos control strategy (5.2) is presented for controlling flip and Hopf bifurcations. In order to show effectiveness of proposed chaos control scheme, a comparison with existing chaos control techniques is presented as follows. For this, first we compare it with OGY method [52]. In order to apply OGY method to (1.2), we take \((\alpha ,\beta ,h)=(0.5,1.1,0.95)\). In this case, the control system via OGY method is written as follows:
where \(k_1\) and \(k_2\) represent control parameters. The variational matrix for (7.1) at (0.5, 2.2) is computed as follows:
Moreover, regulator poles [63] for J(0.5, 2.2) are given by \(0.92875\pm 0.469626 i\) with absolute value \(1.04073>1\). Thus OGY method fails to control chaos under the influence of Hopf bifurcation in system (1.2).
Next, for same parametric values, an application of hybrid control method [51] yields the following control system:
where \(0<A<1\) denotes control parameter. The variational matrix for (7.2) at (0.5, 2.2) is computed as follows:
The characteristic polynomial for V(0.5, 2.2) is computed as follows:
The roots \(P(\lambda )\) have absolute values less than unity if and only if \(0< A < 0.631579\). Thus hybrid control strategy can control chaos in open interval \(\bigg ]0,0.631579\bigg [\) only. Whereas in Example 6.2, newly proposed control strategy (5.2) implemented to (1.2) for the same parametric values and stability region is depicted in Fig. 5. Therefore, the proposed chaos control method is for better than both existing techniques and applicable to larger class of discrete-time models.
References
I.R. Epstein, J.A. Pojman, An Introduction to Nonlinear Chemical Dynamics: Oscillations, Waves, Patterns, and Chaos (Oxford University Press, New York, 1998)
R.J. Field, L. Gyorgyi, Chaos in Chemistry and Biochemistry (World Scientific Publishing Company, Singapore, 1993)
B.P. Belousov, Collection of Short Papers on Radiation Medicine (Medical Publisher, Moscow, 1959), p. 145
A.M. Zhabotinsky, Periodical process of oxidation of malonic acid solution (a study of the Belousov reaction kinetics). Biofizika 9, 306–311 (1964)
A.M. Zhabotinsky, Periodic liquid phase reactions. Proc. Acad. Sci. USSR 157, 392–395 (1964)
I. Prigogine, R. Lefever, Symmetry breaking instabilities in dissipative systems. II. J. Chem. Phys. 48, 1695–1700 (1968)
G. Nicolis, I. Prigogine, Self-Organizations in Non-equilibrium Systems (Wiley-Interscience, New York, 1977)
P. Gray, S.K. Scott, The Brusselator model of oscillatory reactions. J. Chem. Soc. Faraday Trans. I 84(4), 993–1012 (1988)
G.C. Layek, An Introduction to Dynamical Systems and Chaos (Springer, New Delhi, 2015)
J.D. Murray, Mathematical Biology (Springer, New York, 1989)
R.P. Agarwal, P.J.Y. Wong, Advance Topics in Difference Equations (Kluwer, Dordrecht, 1997)
R. Kapral, Discrete models for chemically reacting systems. J. Math. Chem. 6(1), 113–163 (1991)
R.K. Pearson, Discrete-Time Dynamic Models: Topics in Chemical Engineering (Oxford University Press, Oxford, 1999)
C.A. Floudas, X. Lin, Continuous-time versus discrete-time approaches for scheduling of chemical processes: a review. Comput. Chem. Eng. 28, 2109–2129 (2004)
H. Kang, Y. Pesin, Dynamics of a discrete Brusselator model: escape to infinity and Julia set. Milan J. Math. 73(1), 1–17 (2005)
Z. Zafar, K. Rehan, M. Mushtaq, M. Rafiq, Numerical treatment for nonlinear Brusselator chemical model. J. Differ. Equ. Appl. 23(3), 521–538 (2017)
A. Sanayei, Controlling chaotic forced Brusselator chemical reaction, in Proceedings of WCE, London, UK (2010)
L. Xu, L.J. Zhao, Z.X. Chang, J.T. Feng, G. Zhang, Turing instability and pattern formation in a semi-discrete Brusselator model. Mod. Phys. Lett. B 27(1), 1350006 (2013)
P. Yu, A.B. Gumel, Bifurcation and stability analyses for a coupled Brusselator model. J. Sound Vib. 244(5), 795–820 (2001)
A.A. Golovin, B.J. Matkowsky, V.A. Volpert, Turing pattern formation in the Brusselator model with superdiffusion. SIAM J. Appl. Math. 69(1), 251–272 (2008)
A.V. Dernov, Regular dynamics and diffusion chaos in the Brusselator model. Differ. Equ. 37(11), 1631–1633 (2001)
M. Ma, J. Hu, Bifurcation and stability analysis of steady states to a Brusselator model. Appl. Math. Comput. 236, 580–592 (2014)
J.C. Tzou, B.J. Matkowsky, V.A. Volpert, Interaction of turing and Hopf modes in the superdiffusive Brusselator model. Appl. Math. Lett. 22, 1432–1437 (2009)
Z. Lin, R. Ruiz-Baier, C. Tian, Finite volume element approximation of an inhomogeneous Brusselator model with cross-diffusion. J. Comput. Phys. 256, 806–823 (2014)
J. Zhou, C. Mu, Pattern formation of a coupled two-cell Brusselator model. J. Math. Anal. Appl. 366, 679–693 (2010)
Q. Bie, Pattern formation in a general two-cell Brusselator model. J. Math. Anal. Appl. 376, 551–564 (2011)
M.S.H. Chowdhury, T.H. Hassan, S. Mawa, A new application of homotopy perturbation method to the reaction-diffusion Brusselator model. Procedia Soc. Behav. Sci. 8, 648–653 (2010)
V.V. Osipov, E.V. Ponizovskaya, Stochastic resonance in the Brusselator model. Phys. Rev. E 61(4), 4603–4605 (2000)
T. Biancalani, T. Galla, A.J. McKane, Stochastic waves in a Brusselator model with nonlocal interaction. Phys. Rev. E 84, 026201 (2011)
A.-M. Wazwaz, The decomposition method applied to systems of partial differential equations and to the reaction-diffusion Brusselator model. Appl. Math. Comput. 110, 251–264 (2000)
P.V. Kuptsov, S.P. Kuznetsov, E. Mosekilde, Particle in the Brusselator model with flow. Physica D 163, 80–88 (2002)
S.H. Strogatz, Nonlinear Dynamics and Chaos with Applications to Physics, Biology, Chemistry, and Engineering (Addison-Wesley, New York, 1994)
Q. Din, Bifurcation analysis and chaos control in discrete-time glycolysis models. J. Math. Chem. 56(3), 904–931 (2018)
Q. Din, T. Donchev, D. Kolev, Stability, bifurcation analysis and chaos control in chlorine dioxide–iodine–malonic acid reaction. MATCH Commun. Math. Comput. Chem. 79(3), 577–606 (2018)
Z. He, X. Lai, Bifurcation and chaotic behavior of a discrete-time predator–prey system. Nonlinear Anal. RWA 12, 403–417 (2011)
Z. Jing, J. Yang, Bifurcation and chaos in discrete-time predator–prey system. Chaos Soliton Fractals 27, 259–277 (2006)
X. Liu, D. Xiao, Complex dynamic behaviors of a discrete-time predator–prey system. Chaos Soliton Fractals 32, 80–94 (2007)
H.N. Agiza, E.M. ELabbasy, H. EL-Metwally, A.A. Elsadany, Chaotic dynamics of a discrete prey–predator model with Holling type II. Nonlinear Anal. RWA 10, 116–129 (2009)
B. Li, Z. He, Bifurcations and chaos in a two-dimensional discrete Hindmarsh–Rose model. Nonlinear Dyn. 76(1), 697–715 (2014)
L.-G. Yuan, Q.-G. Yang, Bifurcation, invariant curve and hybrid control in a discrete-time predator–prey system. Appl. Math. Model. 39(8), 2345–2362 (2015)
J. Carr, Application of Center Manifold Theory (Springer, New York, 1981)
J. Guckenheimer, P. Holmes, Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields (Springer, New York, 1983)
C. Robinson, Dynamical Systems: Stability, Symbolic Dynamics and Chaos (CRC Press, Boca Raton, 1999)
S. Wiggins, Introduction to Applied Nonlinear Dynamical Systems and Chaos (Springer, New York, 2003)
Y.H. Wan, Computation of the stability condition for the Hopf bifurcation of diffeomorphism on \(R^2\). SIAM J. Appl. Math. 34, 167–175 (1978)
Y.A. Kuznetsov, Elements of Applied Bifurcation Theory (Springer, New York, 1997)
G. Chen, J. Fang, Y. Hong, H. Qin, Controlling Hopf bifurcations: discrete-time systems. Discrete Dyn. Nat. Soc. 5, 29–33 (2000)
G. Chen, X. Yu, On time-delayed feedback control of chaotic systems. IEEE Trans. Circuits Syst. 46, 767–772 (1999)
E.H. Abed, H.O. Wang, R.C. Chen, Stabilization of period-doubling bifurcation and implications for control of chaos. Physica D 70, 154–164 (1994)
G.L. Wen, D.L. Xu, J.H. Xie, Controlling Hopf bifurcations of discrete-time systems in resonance. Chaos Soliton Fractals 23, 1865–1877 (2005)
X.S. Luo, G.R. Chen, B.H. Wang, Hybrid control of period-doubling bifurcation and chaos in discrete nonlinear dynamical systems. Chaos Soliton Fractals 18, 775–783 (2003)
E. Ott, C. Grebogi, J.A. Yorke, Controlling chaos. Phys. Rev. Lett. 64(11), 1196–1199 (1990)
F.J. Romeiras, C. Grebogi, E. Ott, W.P. Dayawansa, Controlling chaotic dynamical systems. Physica D 58, 165–192 (1992)
K. Ogata, Modern Control Engineering, 2nd edn. (Prentice-Hall, Englewood, 1997)
X. Zhang, Q.L. Zhang, V. Sreeram, Bifurcation analysis and control of a discrete harvested prey–predator system with Beddington–DeAngelis functional response. J. Frankl. Inst. 347, 1076–1096 (2010)
J.L. Ren, L.P. Yu, Codimension-two bifurcation, chaos and control in a discrete-time information diffusion model. J. Nonlinear Sci. 26, 1895–1931 (2016)
Q. Din, Neimark–Sacker bifurcation and chaos control in Hassell–Varley model. J. Differ. Equ. Appl. 23(4), 741–762 (2017)
Q. Din, Ö.A. Gümüş, H. Khalil, Neimark–Sacker bifurcation and chaotic behaviour of a modified Host-Parasitoid model. Z. Naturforsch. A 72(1), 25–37 (2017)
Q. Din, Controlling chaos in a discrete-time prey-predator model with Allee effects. Int. J. Dyn. Control 6(2), 858–872 (2018)
Q. Din, Qualitative analysis and chaos control in a density-dependent host-parasitoid system. Int. J. Dyn. Control 6(2), 778–798 (2018)
Q. Din, A.A. Elsadany, S. Ibrahim, Bifurcation analysis and chaos control in a second-order rational difference equation. Int. J. Nonlinear Sci. Numer. 19(1), 53–68 (2018)
Q. Din, M. Hussain, Controlling chaos and Neimark--Sacker bifurcation in a Host--Parasitoid model. Asain J. Control (2018). https://doi.org/10.1002/asjc.1809
S. Lynch, Dynamical Systems with Applications Using Mathematica (Birkhäuser, Boston, 2007)
Acknowledgements
The author thanks the main editor and anonymous referees for their valuable comments and suggestions leading to improvement of this paper.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Din, Q. A novel chaos control strategy for discrete-time Brusselator models. J Math Chem 56, 3045–3075 (2018). https://doi.org/10.1007/s10910-018-0931-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10910-018-0931-4