Abstract
In this study, we investigate the dynamics of a discrete-time with predator-prey system with a Holling-III type functional response model. The center manifold theorem and bifurcation theory are used to create existence conditions for flip bifurcations and Neimark-Sacker bifurcations. Bifurcation diagrams, maximum Lyapunov exponents, and phase portraits are examples of numerical simulations that not only show the soundness of theoretical analysis but also show complicated dynamical behaviors and biological processes. From the point of view of biology, this implies that the tiny integral step size can steady the system into locally stable coexistence. Yet, the large integral step size may lead to instability in the system, producing more intricate and richer dynamics. This also means that when the intrinsic death rate of the predator is high, this leads to a chaotic growth rate of the prey. The model has bifurcation features that are similar to those seen in logistic models. In addition, there is a bidirectional Neimark-Sacker bifurcation for both prey and predator, and therefore we obtain a direct correlation in symbiosis. This means that the higher the growth rate of the prey, the greater the growth rate of the predator. Therefore, the operation of predation has increased. The opposite is also true. Finally, the OGY approach is used to control chaos in the predator and prey model. which led to a new concept which we call bifurcation phase of control chaos.
Similar content being viewed by others
Introduction
It is generally recognised that when there are non-overlapping generations in populations, discrete-time models defined by difference equations are more useful and trustworthy than continuous-time models. Furthermore, as compared to continuous models, these models give efficient computing results for numerical simulations as well as richer dynamical properties1,2,3,4,5,6,7. Many fascinating works on the stability, bifurcation and chaotic occurrences in discrete temporal models have appeared in the literature in recent years8,9,10,11,12,13,14,15. Because of its widespread occurrence and relevance, research into the dynamic connection between prey-predator has been and will continue to be a hot issue for a long time. In 1959, a Canadian researcher called Holling16 presented the matching functional response function for different sorts of species to show the predation rate of predator population to prey population based on his experimental data, which included three primary categories. Holling types I, II, and III, with Holling-III being the functional response function, i.e., \(\dfrac{\alpha x_{n}^{2}}{\beta +x_{n}^{2}}\) is applicable to both terrestrial and marine organisms (applies to whales, deer, and other vertebrates). Since then, research into the functional response of Holling type III has grown in importance as a new avenue for studying predator-prey interactions17,18. We consider the following set of equations to describe the dynamics of a prey-predator system:
where x and y denote prey population and predator population densities, respectively; a, b, c, d and e are positive constants, a a stands for prey intrinsic growth rate, b is the predation coefficient of the predator, which reflects the size of the predator’s ability, c is death rate of the predator, d is the conversion factor denoting the number of newly born predators for each captured prey and e is half capturing saturation and the predation rate.
The term \(\left( \frac{bx^{2}}{e+x^{2}}\right)\) denotes the responses function of the predator. This function is termed as holling-III responses function.
Using Euler technique on System (1), we get the following system:
where h is the step size integral, we may assume that the prey is located in a spot isolated from predators where the impact of the death of the newly born prey due to predators can be neglected, including its death due to natural conditions. We are only looking at the capabilities of predators for predation. Thus, in System (2), the predator-prey model with the response function of the third type is given by the following system:
In this work, we focus on the dynamical behavior of System (3) in the interior first quadrant \(\mathbb {R}_{+}^{2}\) from the standpoint of biology. Specifically, the stability of System the fixed points is discussed. Using the center manifold theorem and bifurcation theory, we strictly establish that System (3) undergoes the flip bifurcation, FB in short, and hopf bifurcation, HB in short. Moreover, the research shows a new phase of chaos control using the feedback control approach to stabilise chaos on unstable paths. Numerical simulations that support our findings.
Existence and stability of the fixed points
In this section, we present some results related to the existence and stability of the fixed points in the model (3). In System (3) x and y have to be positive values in order to be biologically viable. We have at most two fixed points under various conditions:
-
(i)
The demise state of the total population \(p_{0}(0,0)\),
-
(ii)
The cohabitation state of the prey and predator \(p_{1}( \frac{ce}{\sqrt{(b-c)ce}},\frac{ae}{\sqrt{(b-c)ce}})\) is inside fixed point exist for \(b>c\).
We rewrite System (3) as follows:
The Jacobian matrix (J) of System (4) about the fixed point p(x, y) is given by
where
The characteristic equation of the variational matrix can be written as
where this is a one-variable quadratic equation with \(T(x,y)=-(j_{11}+j_{22})\) and \(D(x,y)=j_{11}j_{22}-j_{12}j_{21}\).
Lemma 1
19,20. Let \(\mathcal {F}(R)=R^{2}+TR+D\). Suppose that \(\mathcal {F}(1)>0,\) \(R_{1}\) and \(R_{2}\) are two root of \(\mathcal {F}(R)=0\). Then
-
(i)
\(\left| R_{1}\right| <1\) and \(\left| R_{2}\right| <1\) if and only if \(\mathcal {F}(-1)>0\) and \(D<1\).
-
(ii)
\(\left| R_{1}\right| <1\) and \(\left| R_{2}\right| >1\) (or \(\left| R_{1}\right| >1\) and \(\left| R_{2}\right| <1\)) if and only if \(\mathcal {F}(-1)<0\).
-
(iii)
\(\left| R_{1}\right| >1\) and \(\left| R_{2}\right| >1\) if and only if \(\mathcal {F}(-1)>0\) and \(D>1\).
-
(iv)
\(R_{1}=-1\) and \(\left| R_{2}\right| \ne 1\) if and only if \(\mathcal {F}(-1)=0\) and \(T\ne 0,2\).
-
(v)
\(R_{1}\) and \(R_{2}\) are complex and \(\left| R_{1}\right| =\left| R_{2}\right| =1\) if and only if \(T^{2}-4D<0\) and \(D=1\) .
Let \(R_{1}\) and \(R_{2}\) be two roots of (6). We recall some definitions of topological types for a fixed point p(x, y). p(x, y) is called a sink if \(\left| R_{1}\right| <1\) and \(\left| R_{2}\right| <1\). A sink is locally asymptotic stable. p(x, y) is called a source if \(\left| R_{1}\right| >1\) and \(\left| R_{2}\right| >1\). A source is locally unstable. p(x, y) is called a saddle if \(\left| R_{1}\right| <1\) and \(\left| R_{2}\right| >1\) (or \(\left| R_{1}\right| >1\) and \(\left| R_{2}\right| <1\)). And p(x, y) is called non-hyperbolic if either \(\left| R_{1}\right| =1\) or \(\left| R_{2}\right| =1\).
Theorem 1
For the trivial fixed point \(P_{0}(0,0)\), the following statements hold:
-
(1)
When \(0<h<\frac{2}{c}\) is a saddle point.
-
(2)
When \(h=\frac{2}{c}\) is a non-hyperbolic fixed point.
-
(3)
When \(h>\frac{2}{c}\) is a source fixed point.
Proof
The Jacobian matrix at \(p_{0}(0,0)\) takes the following form:
which has two eigenvalues \(R_{1}\) \(=ah+1\) and \(R_{2}\) \(=1-ch\). Clearly, by applying Lemma 1, we get the result directly.
From Theorem 1, when \(h=\frac{2}{c}\), we observe that one of the eigenvalues around the fixed point \(p_{0}(0,0)\) is \(-1\). So, a flip bifurcation may happen when the parameter converts in the small neighborhood of \(h=\frac{2}{c}\). For \(h\in \left[ 0,2\right]\) and \(c\in \left[ 0,2\right]\) topological classification of boundary fixed point \(p_{0}(0,0)\) is depicted in Fig. 1. \(\square\)
Theorem 2
When b > 2c, then the following statements hold true:
-
(i)
If one set of the following conditions are true, then \(p_{1}(\frac{ce}{\sqrt{(b-c)ce}},\frac{ae}{\sqrt{(b-c)ce}})\) is locally asymptotically stable (sink):
-
(ii)
\((b-2c)^{2}a-8bc(b-c)\ge 0\) and \(0<h<\frac{(b-2c)a-\sqrt{ a((b-2c)^{2}a-8bc(b-c))}}{2ac(b-c)}\).
-
(iii)
\((b-2c)^{2}a-8bc(b-c)<0\) and \(0<h<\frac{b-2c}{2c(b-c)}\).
-
(iv)
If one set of the following conditions are true, then \(p_{1}(\frac{ce}{\sqrt{ (b-c)ce}},\frac{ae}{\sqrt{(b-c)ce}})\) is unstable (source):
-
(v)
\((b-2c)^{2}a-8bc(b-c)\ge 0\) and \(h>\frac{(b-2c)a+\sqrt{ a((b-2c)^{2}a-8bc(b-c))}}{2ac(b-c)}\).
-
(vi)
\((b-2c)^{2}a-8bc(b-c)<0\) and \(h>\frac{b-2c}{2c(b-c)}\).
-
(vii)
If one set of the following conditions are true, then \(p_{1}(\frac{ce}{\sqrt{ (b-c)ce}},\frac{ae}{\sqrt{(b-c)ce}})\) is unstable (non-hyperbolic):
-
(viii)
\((b-2c)^{2}a-8bc(b-c)\ge 0\) and \(h=\frac{(b-2c)a\pm \sqrt{ a((b-2c)^{2}a-8bc(b-c))}}{2ac(b-c)}\), and \(h\ne \frac{2b}{a\left( b-2c\right) }\), \(\frac{4b}{a\left( b-2c\right) }\)
-
(ix)
\((b-2c)^{2}a-8bc(b-c)<0\) and \(h=\frac{b-2c}{2c(b-c)}\).
-
(x)
the fixed point \(p_{1}(\frac{ce}{\sqrt{ (b-c)ce}},\frac{ae}{\sqrt{(b-c)ce}})\) is unstable (saddle point) if
-
(xi)
\((b-2c)^{2}a-8bc(b-c)>0\),
-
(xii)
\(\frac{(b-2c)a+\sqrt{a((b-2c)^{2}a-8bc(b-c))}}{2ac(b-c)}<h<\frac{(b-2c)a-\sqrt{ a((b-2c)^{2}a-8bc(b-c))}}{2ac(b-c)}\).
Proof
The Jacobian matrix at \(p_{1}(\frac{ce}{\sqrt{(b-c)ce}},\frac{ae}{\sqrt{ (b-c)ce}})\) which has the form
where
Let
where
then, we get
From Lemma 1, we say that the fixed point is locally asymptotically stable If and only if \(D<1\) and \(\mathcal {F}(-1)>0\) and the fixed point is non hyperbolic if and only if \(T\ne 0,2\) and \(\mathcal {F}(-1)=0\). The results are therefore obtained by calculating (8).This completes our proof.
From Theorem 2, it is clear that one of the eigenvalues related to the unique positive equilibrium point is \(p_{1}(\frac{ce}{\sqrt{(b-c)ce}},\frac{ ae}{\sqrt{(b-c)ce}})\) is \(-1\) and the other is neither 1 nor \(-1\) if (iii-1) in Theorem 2 holds. When (iii-2) in Theorem 2 is true, the eigenvalues related to \(p_{1}(\frac{ ce}{\sqrt{(b-c)ce}},\frac{ae}{\sqrt{(b-c)ce}})\) are two conjugate complex numbers with the same modulus.
Let
and
Then the unique positive equilibrium point \(p_{1}(\frac{ce}{\sqrt{(b-c)ce}}, \frac{ae}{\sqrt{(b-c)ce}})\) may undergo the Flip bifurcation (period-doubling bifurcation) when the parameters vary in a small neighborhood of \(F_{1P_{1}}\) or \(F_{2P_{1}}\). Let
Then the unique positive equilibrium point \(p_{1}(\frac{ce}{\sqrt{(b-c)ce}}, \frac{ae}{\sqrt{(b-c)ce}})\) may undergo the Neimark-Sacker bifurcation (hopf bifurcation) when the parameters vary in a small neighborhood of \(H_{P_{1}}\).
Bifurcations analysis
This section deals with the positive fixed point \(p_{1}(\frac{ce}{\sqrt{ (b-c)ce}},\frac{ae}{\sqrt{(b-c)ce}})\) where, using the center manifold theorem and bifurcation theory, we define the integral step size h as a bifurcation parameter to investigate the flip bifurcation and Neimark-Sacker bifurcation of \(p_{1}(\frac{ce}{\sqrt{(b-c)ce}},\frac{ae}{\sqrt{(b-c)ce}} )\).
Flip bifurcation
Here we investigate the flip bifurcation of the discrete-time model (3) with respect to the unique positive fixed point \(p_{1}(\frac{ce}{\sqrt{(b-c)ce}}, \frac{ae}{\sqrt{(b-c)ce}})\), when the parameters vary in a small neighborhood of \(F_{1P_{1}}\) (similar arguments can be applied to the case of \(F_{2P_{1}}\)).
Taking the parameters (a, b, c, e, h) arbitrarily from \(F_{1P_{1}}\), we consider System (3) with \((a,b,c,e,h)\in F_{1P_{1}}\) described by
From Eq. (6), it is easy to obtain that the eigenvalues related to \(p_{1}(\frac{ce}{\sqrt{(b-c)ce}},\frac{ae}{\sqrt{(b-c)ce}})\) are \(R_{1}=-1\) and \(R_{2}=3-\frac{h_{1}(b-2c)a}{b}\) with \(\left| R_{2}\right| \ne 1\) by Theorem 2.
Choosing \(h_{*}\) as a bifurcation parameter, we consider a perturbation of (9) as follows:
where \(\left| h_{*}\right|<<1\) is a small disturbance parameter.
Assume that \(u=x-x^{*}\), \(u=y-y^{*}\). Then we transform the fixed point \(p_{1}(\frac{ce}{\sqrt{(b-c)ce}},\frac{ae}{\sqrt{(b-c)ce}})\) or \(p_{1}(x^{*},y^{*})\) of System (10) into the origin. Then we have
where
and \(h=h_{1}.\)
The invertible matrix \(\mathcal {M}\) defined by
and apply the translation \((x,y)^{T}=\mathcal {M}(\bar{x},\bar{y})^{T}\). Then Map (11) may be changed into
where
with \(u=\) \(\hat{E}_{12}\bar{x}+\hat{E}_{12}\bar{y}\) and \(v=-(1+\hat{E}_{11})\bar{ x}+(k_{2}-\hat{E}_{11})\bar{y}\).
Next, the center manifold theorem is then applied see21 to determine the dynamics of the fixed point \((\bar{x},\bar{y})=(0,0)\) at \(h_{*}=0\). Then there exists a center manifold \(W^{c}(0,0)\) of Map (13). It may be expressed as follows:
where \(o((\left| \bar{x}\right| +\left| h_{*}\right| )^{3})\) is a function with at least three orders in its variables \((\bar{x},h_{*})\)
and
Therefore, Map (14) restricted to \(W^{c}(0,0)\) is given by
where
and
Let
and
From the previous discussion, we get the following theorem:
Theorem 3
If \(\Gamma _{1}\ne 0\) and \(\Gamma _{2}\ne 0\), then System ( 3) undergoes a flip bifurcation at the unique positive fixed point \(p_{1}(\frac{ce}{\sqrt{(b-c)ce}},\frac{ae}{\sqrt{(b-c)ce}})\) when the parameter h varies in a small neighborhood of \(F_{P_{1}}\). Moreover, if \(\Gamma _{2}>0\) (resp., \(\Gamma _{2}<0\)), then the period-2 orbits that bifurcate from \(p_{1}(\frac{ce}{\sqrt{(b-c)ce}},\frac{ae}{\sqrt{(b-c)ce}})\) are stable (resp., unstable).
Neimark-Sacker bifurcation
Next, we discuss the Neimark-Sacker bifurcation of \(p_{1}(\frac{ce}{\sqrt{ (b-c)ce}},\frac{ae}{\sqrt{(b-c)ce}})\) when the parameters (a, b, c, e, h) vary in a small neighborhood of \(H_{p_{1}}\). We consider System (3) with\((a,b,c,e,h)\in H_{p_{1}}\) represented by
Then Map (15) has a unique positive fixed point \(p_{1}(\frac{ce}{ \sqrt{(b-c)ce}},\frac{ae}{\sqrt{(b-c)ce}})\).
Then we choose \(\bar{h}_{*}\) as a bifurcation parameter and consider a perturbation of (15) as follows:
where \(\left| \bar{h}_{*}\right|<<1\) is a small perturbation parameter.
Assume that \(u=x-x^{*}\), \(u=y-y^{*}\). Then we transform the fixed point \(p_{1}(\frac{ce}{\sqrt{(b-c)ce}},\frac{ae}{\sqrt{(b-c)ce}})\) of Map (10) into the origin. Then we have
where \(\hat{E}_{11},\) \(\hat{E}_{12},\) \(\hat{E}_{13},\) \(\hat{E}_{14},\) \(\hat{E }_{21},\) \(\hat{E}_{22},\) \(\hat{E}_{23},\) \(\hat{E}_{24}\) are given in (14) by substituting h for \(h_{2}+\bar{h}_{*}\).
Then Map (15) has a unique positive fixed point \(p_{1}(x^{*},y^{*})\), where \(x^{*}=\frac{ce}{\sqrt{(b-c)ce}}\), \(y^{*}=\frac{ae}{\sqrt{(b-c)ce}}\).
Then the characteristic equation model (16) at \(p_{1}(x^{*},y^{*})\) is given by
where
and
Since parameters \((a,b,c,e,h)\in H_{p_{1}}\), the eigenvalues of \(p_{1}(x^{*},y^{*})\) are a pair of complex conjugate numbers R, \(\overline{R}\) with modulus 1 by Theorem 2, where
Then we have
In addition, we require that when \(\bar{h}_{*}=0\), \(R^{n}\), \(\overline{R} ^{n}\ne 1\), \(n=1,\) 2, 3, 4, which is equivalent to \(p(0)\ne -2,\) 0, 1, 2. Note that \((a,b,c,e,h)\in H_{p_{1}}\), so \(p(0)\ne -2,\) 2. Thus we only need to satisfy \(p(0)\ne 0,\) 1, which leads to
In the following, we investigate the normal form of Map (17) at \(\bar{h}_{*}=0\).
Put
and
Using the translation
the model (17) becomes
where
In addition,
and
Then Map (19) can undergo the Neimark-Sacker bifurcation when the following discriminatory quantity is not zero:
where
Based on this analysis and the Neimark-Sacker bifurcation theorem discussed in22,23, we arrive at the following theorem.
Theorem 4
If condition (18) holds and \(\Theta \ne 0\), then System (3) undergoes a Neimark-Sacker bifurcation at the unique positive fixed point \(p_{1}(\frac{ce}{\sqrt{(b-c)ce}},\frac{ae}{\sqrt{(b-c)ce}})\) when the parameter h varies in a small neighborhood of \(H_{p_{1}}\). Furthermore, if \(\Theta <0\) (resp., \(\Theta >0\)), then an attracting (resp., repelling) invariant closed curve bifurcates from the fixed point for \(h>h_{2}\) (resp., \(h<h_{2}\)).
Remark 1
According to bifurcation theory discussed in24, the bifurcation is called a supercritical Neimark-Sacker bifurcation if the discriminatory quantity \(\Theta <0\). In the following section, numerical simulations guarantee that a supercritical Neimark-Sacker bifurcation occurs for the discrete-time model (4).
Chaos control
In this section, our goal is to apply a feedback control method known as Ott-Grebogi-Yorke (OGY)25,26,27, to System (3). For controlling chaos under the effect of Neimark-Sacker and Period-doubling bifurcation at positive fixed point of System (3). To apply the OGY method, we write System (3) as follows:
where c is taken for chaos control parameter. Furthermore, c it is assumed that \(c\in \left( c_{0}-\delta ,c_{0}+\delta \right)\) with \(\delta >0\) and \(c_{0}\) denotes the nominal value of c. Moreover, we consider \(p_{1}(x^{*},y^{*})=p_{1}(\frac{ce}{\sqrt{(b-c)ce}},\frac{ae}{\sqrt{ (b-c)ce}})\) as positive fixed point of System (3). Then, one can approximate System (20) in the neighborhood of the fixed point \(p_{1}(x^{*},y^{*})=p_{1}(\frac{ce}{\sqrt{(b-c)ce}},\frac{ae}{\sqrt{ (b-c)ce}})\) as follows:
where
and
Moreover, System (20) is controlled by the following matrix:
has rank 2. Since \(\sqrt{(b-c_{0})c_{0}e}>0\), therefore rank of \(\check{T}\) is 2. Next, we assume that \([c-c_{0}]=-K\left[ \begin{array}{c} x_{n}-x^{*} \\ y_{n}-y^{*} \end{array} \right]\), where \(K=\left[ \begin{array}{cc} \rho _{1}&\rho _{2} \end{array} \right]\), then System (21) can be written as
Furthermore, the positive fixed point \(p_{1}(x^{*},y^{*})\) is locally asymptotically stable if and only if both eigenvalues of the matrix \(J-CK\) lie in an open unit disk. Now the matrix \(J-CK\) can be written as follows:
where
The characteristic equation of the Jacobian matrix \(J-CK\) is given by
Let \(R_{1}\) and \(R_{2}\) are the eigenvalues of characteristic Eq. (22), then we have
and
Moreover, we take \(R_{1}=\pm 1\) and \(R_{1}R_{2}=1\). Thus, the lines of marginal stability for (23) and (24) are computed as follows:
Next, we suppose that \(R_{1}=1\), then Eqs. (24) and (23) yield that:
Finally, if \(R_{1}=-1\) and using equations (23) we get
Then, stability region for (20) is triangular region bounded by \(H_{1},H_{2}\) and \(H_{3}\) in \(\rho _{1}\rho _{2}\)-plane.
Numerical simulations
In this section, we present bifurcation diagrams, phase images, and maximum Lyapunov (ML in short) exponents of System (3) in order to highlight our theoretical analysis and demonstrate complex dynamical behaviors using numerical simulation.
Flip bifurcation
Example 1
Case 1 We consider h as a parameter and consider the following subcases:
(I) \(a=4, b=2, c=0.1, e=0.7\). We have only one positive fixed point. By calculation the flip bifurcation of model (3) shows from the fixed point \(p_{1}(x^{*}, y^{*})=(0.191942974, 7.67771896)\) at \(h=0.5926274349\) with \(\Gamma _{1}=-3.374801576\), \(\Gamma _{2}=0.2675441516\), and \((a,b,c,e,h)\in F_{P_{1}}\), which illustrates Theorem 3. From Fig. 2(i), (ii) we observe that the fixed point \(p_{1}(x^{*}, y^{*})\) is stable for \(0.58\le h<0.5926274349\) and loses its stability at the flip bifurcation parameter value \(h=0.5926274349\). Also, there is a cascade of period -2, 4, 8, 16 orbits emerging. The maximum Lyapunov exponents corresponding to Fig. 2(i), (ii) are shown in Fig. 2(iii).
(II) \(a=3, b=2.5, c=0.2, e=0.5\). By computation the flip bifurcation of model (3) Shows from the fixed point \(p_{1}(x^{*}, y^{*})=(0.2085144141, 3.127716212)\) at \(h=1.022801547\) with \(\Gamma _{1}=-1.955413544\), \(\Gamma _{2}=1.553116178\), and \((a,b,c,e,h)\in F_{P_{1}}\), which illustrates Theorem 3. From Fig. 3(i), (ii). we observe that the fixed point \(p_{1}(x^{*},y^{*})\) is stable for \(0.95\le h<1.022801547\) and loses its stability at the flip bifurcation parameter value \(h=1.022801547\). Also, there is a cascade of period -2, 4, 8, 16 orbits emerging. The maximum Lyapunov exponents corresponding to Fig. 3(i ), (ii). are shown in Fig. 3(iii).
Case 2 We consider a as a parameter and consider the following subcases:
\((I)^{'}\) \(b=2, c=0.1, e=0.7, h=0.5926274349\). from Fig. 4(i), (ii) we observe that the fixed point \(p_{1}(x^{*}, y^{*})\) is stable for \(3.4\le a<4\) and loses its stability at the flip bifurcation parameter value \(a=4\). The maximum Lyapunov exponents corresponding to Fig. 4(i), (ii) are shown in Fig. 4(iii).
\((II)^{'}\) \(b=2.5,c=0.2,e=0.5,h=1.022801547\). from Fig. 5(i), (ii) we observe that the fixed point \(p_{1}(x^{*}, y^{*})\) is stable for \(2.9\le a<3\) and loses its stability at the flip bifurcation parameter value \(a=3\). The maximum Lyapunov exponents corresponding to Fig. 5(i), (ii) are shown in Fig. 5(iii).
Case 3 We consider c as a parameter and consider the following subcases:
\((I)^{''}\) \(a=4, b=2, e=0.7, h=0.5926274349\). from Fig. 6(i), (ii) we observe that the fixed point \(p_{1}(x^{*}, y^{*})\) is stable for \(0.05\le c<0.1\) and loses its stability at the flip bifurcation parameter value \(c=0.1\). The maximum Lyapunov exponents corresponding to Fig. 6(i), (ii) are shown in Fig. 6(iii). local amplification (LA in short) corresponding to Fig. 6(iv) for \(0.533 \le c \le 0.55\) is shown in Fig. 6(i)
\((II)^{''}\) \(a=3, b=2.5, e=0.5,h=1.022801547\). from Fig. 7(i), (ii) we observe that the fixed point \(p_{1}(x^{*}, y^{*})\) is stable for \(0.2<c\le 0.39\) and loses its stability at the flip bifurcation parameter value \(c=0.2\). The maximum Lyapunov exponents corresponding to Fig. 7(i), (ii) are shown in Fig. 7(iii).
Neimark-Sacker bifurcation
Example 2
Case 4 We consider h as a parameter and consider the following subcases:
(I) \(a=1.5, b=0.5, c=0.1, e=2\). By computation the Neimark-Sacker bifurcation with positive fixed point of model (3) shows from the fixed point \(p_{1}(x^{*}, y^{*})=(0.7071067810, 10.60660172)\) at \(h=3.7328\) with \(\Theta =-0.3951153931\) and \((a,b,c,e,h)\in H_{p_{1}}\). This proves that Theorem 4 is correct. From Fig. 8(i), (ii) we observe that the fixed point \(p_{1}(x^{*}, y^{*})\) is stable for \(3.71\le h<3.7328\) and loses its stability at the Neimark-Sacker bifurcation parameter value \(h=3.7328\). Then an attracting invariant cycle bifurcates from the fixed point since \(\Theta =-0.3951153931<0\) by Theorem 4. Therefore if \(h=3.7328>0\) then the model (3) undergoes a supercritical Neimark-Sacker bifurcation see Table 1. The maximum Lyapunov exponents corresponding to Fig. 8(i), (ii) are calculated and shown in Fig. 8(iii). Figure 8(iv) is a local amplification for \(h\in [3.785, 3.7946]\). The phase portraits associated with Fig. 8(i), (ii) are displayed in Fig. 9.
The phase portraits associated with Fig. 8(i), (ii).
(II) \(a=0.5, b=1.5, c=0.5, e=1.2\). By computation the Neimark-Sacker bifurcation of model (3) shows from the fixed point \(p_{1}(x^{*}, y^{*})=(0.7745966692, 0.774596669)\) at \(h=0.44\) with \(\Theta =-0.0008133888886\), and \((a,b,c,e,h)\in H_{P_{1}}\), which illustrates Theorem 4. From Fig. 10(i), (ii) we observe that the fixed point \(p_{1}(x^{*}, y^{*})\) is stable for \(0<h<0.44\) and loses its stability at the Neimark-Sacker bifurcation parameter value \(h=0.44\), and for \(h\in [0.56, 0.58]\) its local amplification is depicted in Fig. 10(iii). The phase portraits associated with Fig. 10(i), (ii) are displayed in Fig. 11.
The phase portraits associated with Fig. 10(i), (ii).
Case 5 We consider a as a parameter and consider the following subcases:
\((I)^{'}\) \(b=0.5, c=0.1, e=2, h=3.75\). We get New bifurcation diagrams are obtained, as shown in Fig. 12. This explains that the prey-predator of model (3) experiences a Bidirectional Neimark-Sacker bifurcations in the range \(1.4727\le a<1.527\). The system first undergoes chaotic dynamics for small value of a. Yet, with increasing value, the chaotic dynamics of the prey-predator system suddenly disappear through the bifurcation of the Neimark-Sacker to a steady state for \(a\in \left[ 1.48092, 1.48175\right]\). Next, we find that the dynamics of the predator-prey system jump to a chaotic state through the second Neimark-Sacker bifurcation until it reaches a steady state for \(a\in \left[ 1.52525,1.52646\right]\). The maximum Lyapunov exponents corresponding to Fig. 12(i), (ii) are calculated and shown in Fig. 12(iii). Which confirms the dynamic transition in the System (3) from the state of chaos to the stable state and then back again to the state of chaos.
\((II)^{'}\) \(b=1.5, c=0.5, e=1.2, h=0.5\), from Fig. 13(i), (ii) we observe that the fixed point \(p_{1}(x^{*}, y^{*})\) is stable for \(0<a<0.00627\). and loses its stability at the Neimark-Sacker bifurcation parameter value \(a=0.00627\). The maximum Lyapunov exponents corresponding to Fig. 13(i), (ii) are shown in Fig. 13(iii). The phase portraits associated with Fig. 13(i), (ii) are displayed in Fig. 14.
The phase portraits associated with Fig. 13(i), (ii).
Case 6 We consider c as a parameter and consider the following subcases:
\((I)^{''}\) \(a=1.5, b=0.5, e=2, h=3.75\). with initial conditions \(x^{*}=0.7071067810\) and \(y^{*}=10.60660172\). Then, System (3) undergoes both flip bifurcation and Neimark-Sacker bifurcation as c varies in small neighborhoods \(c_{1}\simeq 0.09120395559\) and \(c_{2}\simeq 0.09942\), respectively. If \(a=1.5, b=0.5, e=2, h=3.75\) and \(c_{1}=0.09120395559\) the positive fixed point (0.6679877411, 10.98616398) of System (3) and The characteristic equation for (3) is calculated as follows:
Furthermore, the roots of the above equation are \(R_{1}=-1\) and \(R_{2}=-0.5729109977\) with \(\Gamma _{1}=-0.5333333321\), \(\Gamma _{2}=-1.339568037<0\) and \((a,b,c,e,h)\in F_{P_{1}}\). This proves that Theorem (3). Similarly, If \(a=1.5,b=0.5,e=2,h=3.75\) and \(c_{2}=0.09942\) the positive fixed point (0.7045425810, 10.62979151) of System (3) and The characteristic equation for (3) is calculated as follows:
Furthermore, the roots of the above equation are \(R_{1,2}=-0.6940250000\pm 0.7004067856i\) with \(\Theta =-0.4090765553\) and \((a,b,c,e,h)\in H_{p_{1}}\). This proves that Theorem (4). Figure 15 shows bifurcation diagrams and maximal Lyapunov exponents.
\((II)^{''}\) \(a=0.5, b=1.5, e=1.2, h=0.5\), from Fig. 16(i), (ii) we observe that the fixed point \(p_{1}(x^{*}, y^{*})\) is stable for \(0.43<c<0.5076\). and loses its stability at the Neimark-Sacker bifurcation parameter value \(c=0.47819\). The maximum Lyapunov exponents corresponding to Fig. 16(i), (ii) are shown in Fig. 16(iii), and for \(c\in [0.48, 0.505]\) its local amplification is depicted in Fig. 16(iv).
Chaos control
In order to discuss chaos control for System (3), we apply OGY method and for this taking parameters \(a=9,b=2,c=0.25,e=0.5\) and \(h=0.5\).
Example 3
then System (3) has a unique positive equilibrium point \(p_{1}(x^{*}, y^{*})=\) \((0.2672612419, 9.621404709)\) which is unstable. We can take \(c_{0}=0.25\) as the nominal value. Then, corresponding controlled system is given by:
where K=\(\left[ \begin{array}{cc} \rho _{1}&\rho _{2} \end{array} \right]\)be gain matrix and \(p_{1}(x^{*}, y^{*})=(0.2672612419, 9.621404709)\) is unstable equilibrium point of System (3 ). Furthermore, we have
and
Then, it is easy to check that rank of \(\check{T}\) is 2, therefore System (28) is controllable. Moreover, the Jacobian matrix \(J-LK\) of the controlled System (28) is given by
Then, characteristic equation of (29) is given by
Then, the roots of (30) lie inside a unit disk \(\left| \mu \right| <1\) if the following conditions are satisfied:
or
In this case, the lines of marginal stability are given by
and
Then, the stable triangular region bounded by the marginal lines \(H_{1}\), \(H_{2}\) and \(H_{3}\) for the controlled System (28) is shown in Fig. 17.
Stability region of the controlled System (28).
Next, we take \(\rho _{1}=1.55\), then the unique positive equilibrium point of the controlled System (28) is locally asymptotically stable if and only if \(-0.1260146999<\rho _{2}<0.1180361151\). Choosing \(\rho _{1}=1.55\) and \(\rho _{2}\in [-0.16, 0.3]\), then the bifurcation diagrams of the controlled System (28) are shown in Fig. 18.
Bifurcation diagrams for the controlled system (28) with \(\rho _{1}=1.55\), \(p_{1}(x^{*},y^{*})=(0.2672612419, 9.621404709)\) and \(\rho _{2}\in [-0.16, 0.3]\).
Finally, we will introduce a new concept the phase of Chaos Control bifurcation . We consider \(\rho _{2}\) as variable and show the behavior of \(x_{n}\) for \(\rho _{2}\in [-0.12, 0.3]\). We will choose some values of \(\rho _{1}\) as shown in Fig. 19.
The Phase Chaos of the controlled system (28).
Data availability
All data used in this manuscript have been presented within the article.
Code availability
The codes used and/or analysed during the current study available from the corresponding author on reasonable request.
References
Khan, A. Q. Bifurcations of a two-dimensional discrete-time predator-prey model. Adv. Differ. Equ. 2019(1), 1–23. https://doi.org/10.1186/s13662-019-1995-6 (2019).
Xie, B. Impact of the fear and Allee effect on a holling type II prey-predator model. Adv. Differ. Equ. 2021(1), 1–15. https://doi.org/10.1186/s13662-021-03592-6 (2021).
Ma, R., Bai, Y. & Wang, F. Dynamical behavior analysis of a two-dimensional discrete predator-prey model with prey refuge and fear factor. J. Appl. Anal. Comput. 10(4), 1683–1697. https://doi.org/10.11948/20190426 (2020).
Zhao, J. & Yan, Y. Stability and bifurcation analysis of a discrete predator-prey system with modified Holling-Tanner functional response. Adv. Differ. Equ. 2018(1), 1–18. https://doi.org/10.1186/s13662-018-1819-0 (2018).
Elettreby, M., Nabil, T. & Khawagi, A. Stability and bifurcation analysis of a discrete predator-prey model with mixed Holling interaction. Comput. Model. Eng. Sci. 122(3), 907–922. https://doi.org/10.32604/cmes.2020.08664 (2020).
El-Metwally, H., Sohaly, M. & Elbaz, I. Stochastic global exponential stability of disease-free equilibrium of HIV/AIDS model. Eur. Phys. J. Plus 135(10), 1–14. https://doi.org/10.1140/epjp/s13360-020-00856-0 (2020).
Elbaz, I., Sohaly, M. & El-Metwally, H. Stochastic HIV/AIDS dynamics with discrete and distributed delays. Pramana 96(1), 1–15. https://doi.org/10.1007/s12043-021-02246-2 (2022).
Jiangang, Z. et al. Stability and bifurcation analysis of a discrete predator-prey model with holling type III functional response. J. Nonlinear Sci. Appl 2016, 6228–6243 (2016).
Xie, B. & Zhang, N. Influence of fear effect on a holling type III prey-predator system with the prey refuge. AIMS Math. 7(2), 1811–1830. https://doi.org/10.3934/math.2022104 (2022).
Sohel Rana, S. M. Dynamics and chaos control in a discrete-time ratio-dependent Holling-Tanner model. J. Egypt. Math. Soc. 27(1), 1–16 (2019).
Lin, Y., Din, Q., Rafaqat, M., Elsadany, A. A. & Zeng, Y. Dynamics and chaos control for a discrete-time Lotka-Volterra model. IEEE Access 8, 126760–126775. https://doi.org/10.1109/ACCESS.2020.3008522 (2020).
Elabbasy, E., Agiza, H., El-Metwally, H. & Elsadany, A. Bifurcation analysis, chaos and control in the burgers mapping. Int. J. Nonlinear Sci. 4(3), 171–185 (2007).
Xie, B., Zhang, Z. & Zhang, N. Influence of the fear effect on a Holling type II Prey-Predator system with a Michaelis-Menten type harvesting. Int. J. Bifurc. Chaos 31(14), 2150216. https://doi.org/10.1142/S0218127421502163 (2021).
Almutairi, A., El-Metwally, H., Sohaly, M. & Elbaz, I. Lyapunov stability analysis for nonlinear delay systems under random effects and stochastic perturbations with applications in finance and ecology. Adv. Differ. Equ. 2021(1), 1–32. https://doi.org/10.1186/s13662-021-03344-6 (2021).
El-Metwally, H., Sohaly, M. & Elbaz, I. Mean-square stability of the zero equilibrium of the nonlinear delay differential equation: Nicholson’s blowflies application. Nonlinear Dyn. 105(2), 1713–1722. https://doi.org/10.1007/s11071-021-06696-6 (2021).
Holling, C. S. The components of predation as revealed by a study of small-mammal predation of the european pine sawfly1. Can. Entomol. 91(5), 293–320. https://doi.org/10.4039/Ent91293-5 (1959).
Jun-Ping, C. & Hong-De, Z. The qualitative analysis of two species predator-prey model with Holling’s type III functional response. Appl. Math. Mech. 7(1), 77–86. https://doi.org/10.1007/BF01896254 (1986).
Kar, T. & Matsuda, H. Global dynamics and controllability of a harvested prey-predator system with Holling type III functional response. Nonlinear Anal. Hybrid Syst. 1(1), 59–67. https://doi.org/10.1016/j.nahs.2006.03.002 (2007).
Liu, X. & Xiao, D. Complex dynamic behaviors of a discrete-time predator-prey system. Chaos Solitons Fractals 32(1), 80–94. https://doi.org/10.1016/j.chaos.2005.10.081 (2007).
Agiza, H., Elabbasy, E., El-Metwally, H. & Elsadany, A. Chaotic dynamics of a discrete prey-predator model with Holling type II. Nonlinear Anal. Real World Appl. 10(1), 116–129. https://doi.org/10.1016/j.nonrwa.2007.08.029 (2009).
Carr, J. Applications of Center Manifold Theory Vol. 35 (Springer Science & Business Media, 2012). https://doi.org/10.1007/978-1-4612-5929-9.
Robinson, C. Dynamical Systems: Stability, Symbolic Dynamics, and Chaos (CRC Press, 1998). https://doi.org/10.1201/9781482227871.
Wiggins, S., Wiggins, S. & Golubitsky, M. Introduction to Applied Nonlinear Dynamical Systems and Chaos Vol. 2 (Springer, 2003). https://doi.org/10.1007/b97481.
Kuznetsov, Y. A. Elements of Applied Bifurcation Theory Vol. 112 (Springer, 2004). https://doi.org/10.1007/978-1-4757-3978-7.
Ott, E., Grebogi, C. & Yorke, J. A. Controlling chaos. Phys. Rev. Lett. 64(11), 1196–1199. https://doi.org/10.1103/PhysRevLett.64.1196 (1990).
Din, Q. Qualitative analysis and chaos control in a density-dependent host-parasitoid system. Int. J. Dyn. Control 6(2), 778–798. https://doi.org/10.1007/s40435-017-0341-7 (2018).
Din, Q., Elsadany, A. & Ibrahim, S. Bifurcation analysis and chaos control in a second-order rational difference equation. Int. J. Nonlinear Sci. Numer. Simul. 19(1), 53–68. https://doi.org/10.1515/ijnsns-2017-0077 (2018).
Acknowledgements
The authors thank the main editor and anonymous referees for their valuable comments and constructive suggestions leading to the improvement of this paper.
Funding
Open access funding provided by The Science, Technology & Innovation Funding Authority (STDF) in cooperation with The Egyptian Knowledge Bank (EKB).
Author information
Authors and Affiliations
Contributions
The study presented here was carried out in collaboration between both authors. H.A.E. and M.O.A. contributed to the selection and interpretation of the model. The theoretical analysis, numerical simulation of the model, and drafting of the manuscript were carried out by M.O.A. Critical revision of the manuscript was contributed to by H.A.E., E.M.E., and M.O.A.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher's note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
AL-Kaff, M.O., El-Metwally, H.A. & Elabbasy, EM.M. Qualitative analysis and phase of chaos control of the predator-prey model with Holling type-III. Sci Rep 12, 20111 (2022). https://doi.org/10.1038/s41598-022-23074-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41598-022-23074-3
- Springer Nature Limited
This article is cited by
-
Exploring chaos and bifurcation in a discrete prey–predator based on coupled logistic map
Scientific Reports (2024)