- Original research
- Open Access
- Published:
Analytical bifurcation behaviors of a host–parasitoid model with Holling type III functional response
Journal of the Egyptian Mathematical Society volume 31, Article number: 2 (2023)
Abstract
This topic presents a study on a host–parasitoid model with a Holling type III functional response. In population dynamics, when host density rises, the parasitoid response initially accelerates due to the parasitoid’s improved searching efficiency. However, above a certain density threshold, the parasitoid response will reach a saturation level due to the influence of reducing the handling time. Thus, we incorporated a Holling type III functional response into the model to characterize such a phenomenon. The dynamics of the current model are discussed in this paper. We first obtained the existence and local stability conditions of the positive fixed point of the model. Furthermore, we investigated the bifurcation behaviors at the positive fixed point. More specifically, we used bifurcation theory and the center manifold theorem to prove that the model possess both period doubling and Neimark–Sacker bifurcations. Then, the chaotic behavior of the model, in the sense of Marotto, is proven. Furthermore, we apply a state-delayed feedback control strategy to control the complex dynamics of the present model. Finally, numerical examples are provided to support our analytic results.
Introduction
In recent decades, discrete-time models have been an interesting topic for researchers due to their ability to exhibit a wide range of complicated dynamic behavior, including various forms of bifurcations, periodic orbits, and chaotic attractors [1,2,3,4]. These discrete-time models provide an idealistic description of the dynamics of species that breed seasonally [5,6,7,8]. Also, in mathematical biology, discrete-time models are better than continuous-time models for populations with generations that do not overlap in their progeny. Furthermore, recurrence equations can be numerically investigated using rapidly evolving computer software.
The dynamic interaction between hosts and their parasitoids has been and will remain a dominant ecological subject because of its universal existence. The first difference equation model of host–parasitoid interaction was formulated by Thompson [9] in 1924s. Thompson’s model has some deficiencies, such as persistence and the existence of a positive steady-state. So, the Nicholson-Bailey model [6] was suggested to avoid these deficiencies. Nicholson-Bailey model is described as follows
where \(H_{n}\) and \(P_{n}\) indicate the host and parasitoid densities respectively at generation \(n\). The probability that a host will escape parasitism is defined by the function \({\text{exp}}\left( { - aP_{n} } \right)\) generated by the Poisson distribution as suggested by Nicholson and Bailey [6], where \(a\) is the parasitoid searching efficiency, \(e\) is the mean number of eggs laid by a host, and \(\alpha\) is the parasite’s average number of progeny from a parasitized host.
A series of studies determining the subsequent evolution of model (1) were noted. For example, Yousef et al. [10] investigated the influence of mutual interference on a host–parasitoid model with Beverton–Holt growth. Their results suggested that mutual interference could be an important stabilizing factor. Liu et al. [11] established a discrete host–parasitoid model with Allee effect and Holling type III functional response. They concluded that the Allee effect can decrease the dynamic complexity of the model. Wu and Zhao [12] discussed the qualitative behaviors of a discrete host–parasitoid model with refuge and strong Allee effects. They observed that the incorporation of both refuges and strong Allee effects has either a negative or positive impact on the coexistence of the two populations. Din et al. [13] studied the qualitative behavior of a modified host–parasitoid model. Din et al. [14] constructed a new density-dependent host–parasitoid model by introducing the Hassell growth function in the host population. Yu et al. [15] studied numerically the complex dynamical behavior in a parasitoid- host–parasitoid model. Their results demonstrated that the superiority coefficient may be a strong destabilizing factor. Ringel et al. [16] investigated the evolution of a diapause in a coupled host–parasitoid system using a discrete-generation population dynamic model that incorporates the diapause. Zhao et al.[17]. investigated the effect of prolonged diapause on host–parasitoid dynamics. They concluded that the prolonged diapause may have a minor effect on the stability and persistence of coupled host–parasitoid interactions. Liu et al. [18] proposed a new host-parasitoid model with Allee effect for the host and parasitoid aggregation. Their results suggested that Allee effect can alleviate dynamic complexities. In [19], Zhao et al. suggested and numerically investigated a host–parasitoid model with prolonged diapause for the host. The researchers discovered that parasitism and moderate prolonged diapause can help the model coexist.
It is well known that functional response function between species is an important point in population dynamics research. The functional response describes the per capita parasitism rates of the parasites depending on the host density. There are four forms of functional responses, called Holling types (I, II, III, and IV), which were suggested by Holling [20]. In this work, we will study the dynamics of the host–parasitoid model by using Holling type III functional response. Holling type III functional response defines that when the host population increases, the response first rises due to the parasitoid’s improved efficiency. It then decreases under the effect of handling time or satiation [21].
In this paper, we consider the following host–parasitoid model with a simplified Holling type III functional response [20, 21]:
where \(K\) is the carrying capacity for the host in the absence of parasitoid, \(r\) is the intrinsic growth rate, \(b\) is a conversion factor related to the Holling type III functional response, \(T\) is the total time initially available for search, and \(T_{h}\) is the handing time. The parameters \(b,r,K,T,T_{h}\) are all positive constants. For simplicity, we substitute \(x = \frac{H}{K},\;y = P,\;m = \frac{T}{{KT_{h} }},\;d = \frac{1}{{KbT_{h} }}\) and \(\hat{\alpha } = \alpha K\) and ignoring the hat, then model (2) can be rewritten as:
where \(x_{n}\) and \(y_{n}\) indicate the host and parasitoid densities respectively at generation \(n\). The term \(\frac{{mx_{n}^{2} y_{n} }}{{d + x_{n}^{2} }}\) is Holling type III functional response. In population dynamics, the Holling Type III functional response is used to simulate the switching phenomenon [22]. The sigmoidal nature of this functional response frequently indicates an instance of learning behavior in the parasitoid population, with a monotonic increase in the success rate of parasitism as more interactions with the host take place [20]. Incorporating a Holling Type III functional response into the Neclison-Billey model has the potential to maintain a more stable host–parasitoid balance.
The purpose of this work is to highlight the analysis of dynamic complexity in a discrete-time host–parasitoid model with Hollings Type III functional response. That is, we will investigate how the Holling type III response influences the dynamic complexity of host–parasitoid interactions.
The major contribution of this research is to examine the dynamic behaviors of the host–parasitoid model with Hollings Type III functional response. As far as we know, there has not been any research that has focused on the examination of qualitative behaviors in the current model. As a result, we first used an effective technique to discuss the analytical bifurcation structures of two-dimensional discrete-time models [8]. It is entirely independent of any symmetry technique or numerical bifurcation tools. More specifically, we study flip and Neimark–Sacker bifurcation analytically for the first time using normal form theory and the center manifold theorem. In addition, sensitivity alone is insufficient for deducing the onset of chaotic behaviors in some ecological models. Thus, we exhibited the first strict evidence for Marotto’s chaos existence in the host–parasitoid model with Holling Type III functional response by using the snap-back repeller concept. Also, our results suggest that the ecological model is more likely to stay stable if we choose a good functional response.
The following is the layout of the paper: in Sect. Methods, the boundedness and existence of the positive fixed point of the model are investigated. Then, the local stability of the model fixed point is discussed. Furthermore, a detailed analysis of the bifurcation of fixed points is studied. Then, we derived the conditions for the existence of Marotto’s chaos. After that, we apply a stated-delayed feedback control strategy to eliminate the bifurcation and chaotic behavior of our model. In Sect. Results and discussion, numerical simulations are performed to validate the theoretical results. A brief conclusion is presented in Sect. Conclusion.
Methods
Existence and boundedness of positive fixed point
First, we show the boundedness of the model (3) and the existence of a positive fixed point as follows:
Lemma 1
[23] Suppose that \(x_{n}\) satisfies \(x_{0} > 0\), and \(x_{n + 1} \le x_{n} {\text{exp}}\left[ {A\left( {1 - Bx_{n} } \right)} \right]\) for \(n \in N\), where \(A\;and\;B\) are positive constants. Then \({\text{lim}}_{n \to \infty } {\text{sup}}x_{n} \le \frac{1}{AB}{\text{exp}}\left( {A - 1} \right)\).
Theorem 1
Every positive solution \(\left( {x_{n} ,y_{n} } \right)\) of model (3), satisfies the following inequality: \(\mathop {{\text{lim}}}\limits_{n \to \infty } {\text{sup}}\left( {x_{n} ,y_{n} } \right) \le {\text{max}}\left\{ {\frac{1}{r}{\text{exp}}\left( {r - 1} \right),\frac{\alpha }{r}{\text{exp}}\left( {r - 1} \right)} \right\}\).
Proof:
Suppose that \(\left\{ {\left( {x_{n} ,y_{n} } \right)} \right\}\) is a positive arbitrary solution of model (3). Next, from the first equation of model (3), we get.
for all \(n = 0,1,2, \cdots\). Suppose that \(x_{0} > 0\), then by using Lemma 1, we acquire
In the similar manner, from the second equation of model (3), one concludes
Thus, it follows that \({\text{lim}}_{n \to \infty } {\text{sup}}\left( {x_{n} ,y_{n} } \right) \le {\text{max}}\left\{ {\frac{1}{r}{\text{exp}}\left( {r - 1} \right),\frac{\alpha }{r}{\text{exp}}\left( {r - 1} \right)} \right\}\).
Theorem 2
If \(d + 1 < m\alpha\), the model (3) has a positive fixed point \(\left( {x_{*} ,y_{*} } \right) \in \left( {0,1} \right)\).
Proof:
The fixed point can be obtained by solving.
Ignoring the trivial fixed point \(\left( {0,0} \right)\), so that we are left with
Suppose that
where \(f\left( x \right) = \frac{{r\left( {d + x^{2} } \right)\left( {1 - x} \right)}}{{mx^{2} }}\). Then,
Notice that, \(f\left( 1 \right) = 0\). By applying l’Hôpital’s rule, and assume that \(d + 1 < m\alpha\), we get
So, \(F\left( x \right) = 0\) has at least one positive root in \(\left( {0,1} \right)\).
Stability analysis of the positive fixed point
Now, we study the conditions of local stability of the positive fixed point \(E_{*} \left( {x_{*} ,y_{*} } \right)\). First, the generalized Jacobian matrix of model (3) evaluated at \(E_{*} \left( {x_{*} ,y_{*} } \right)\) is given by:
The characteristic equation of \(J\left( {x_{*} ,y_{*} } \right)\) can be written as:
where
and
For the discussion of the stability of the fixed point \(E_{*} \left( {x_{*} ,y_{*} } \right)\), we state the next lemma [24].
Lemma 2
[25] Take the second-degree polynomial equation
where \(\hat{A}\) and \(\hat{B}\) are both real values. Then,
is the necessary and sufficient condition for both roots of the (9) to lie inside the open disk \(\left| \lambda \right| < 1\).
Proposition 1
Let \(E_{*} \left( {x_{*} ,y_{*} } \right)\) be the positive fixed point of model (3). Then, the next statements hold:
-
1.
\(E_{*} \left( {x_{*} ,y_{*} } \right)\) is a repeller if and only if
$$\left| {Q\left( {x_{*} ,y_{*} } \right)} \right| > 1,\;and\;\left| {R\left( {x_{*} ,y_{*} } \right)} \right| < \left| {1 + Q\left( {x_{*} ,y_{*} } \right)} \right|.$$ -
2.
\(E_{*} \left( {x_{*} ,y_{*} } \right)\) is a saddle point if and only if
$$R\left( {x_{*} ,y_{*} } \right)^{2} > 4Q\left( {x_{*} ,y_{*} } \right),\quad \left| {R\left( {x_{*} ,y_{*} } \right)} \right| > \left| {1 + Q\left( {x_{*} ,y_{*} } \right)} \right|.$$ -
3.
\(E_{*} \left( {x_{*} ,y_{*} } \right)\) is a non-hyperbolic point if and only if
$$\left| {R\left( {x_{*} ,y_{*} } \right)} \right| = \left| {1 + Q\left( {x_{*} ,y_{*} } \right)} \right|,$$(10)
Or
The theorem below demonstrates the necessary and adequate conditions for the local asymptotic stability of the model (3) at its positive fixed point.
Theorem 3
If neither (10) nor (11) holds, then the positive fixed point of (3) is locally asymptotically stable if and only if
where \(R\left( {x_{*} ,y_{*} } \right)\) and \(Q\left( {x_{*} ,y_{*} } \right)\) are given in (7) and (8), respectively.
Bifurcation analysis
Now, we will discuss different bifurcation types [26, 27] of the model (3). Recall the characteristic equation of \(J\left( {E_{*} } \right)\):
where
and
If \(R^{2} \left( {x_{*} ,y_{*} } \right) > 4Q\left( {x_{*} ,y_{*} } \right)\), that is:
and \(R\left( {x_{*} ,y_{*} } \right) + Q\left( {x_{*} ,y_{*} } \right) = - 1\), then
So, the eigenvalues of \(E_{*} \left( {x_{*} ,y_{*} } \right)\) is \(\lambda_{1} = - 1\) and \(\lambda_{2} = 2 - rG - L + V\).
Consider
and
Flip bifurcation
Firstly, we investigate the flip bifurcation of model (3) when the parameters vary in a small neighborhood of \(\Omega_{FB}\). Taking arbitrary parameters \(\left( {r_{1} ,d,m,\alpha } \right)\) from \(\Omega_{FB}\), then model(3) is converted to
Choosing \(r_{1}\) as a bifurcation parameter. Model (15) has a positive fixed point \(E_{*} \left( {x_{*} ,y_{*} } \right)\) which may undergoes a flip bifurcation when \(r_{1}\) varies in a small neighborhood of \(\Omega_{FB}\).
Consider a small perturbation of (15) as follows:
where \(\left| {r^{*} } \right| \ll 1\), denotes a small perturbation parameter.
Assume \(u = x - x_{*}\) and \(v = y - y_{*}\), then model (16) becomes
where
We next consider the following nonsingular matrix
Using the following translation
Then, the model (17) becomes
where
and
Assume that Eq. (20) has a center manifold \(W^{c} \left( {0,0,0} \right)\) at \(r^{*} = 0\), which may be approximated as below [11]:
where
Therefore, the model (20) restricted to the center manifold \(W^{c} \left( {0,0,0} \right)\) given by
where
Define the following two nonzero real quantities:
Finally, the above discussion can be summarized in the next theorem.
Theorem 4
When the parameter \(r\) fluctuates in a small neighborhood of \(r_{1}\), the model (3) undergoes a flip bifurcation at the fixed point \(\left( {x_{*} ,y_{*} } \right)\) if \(\alpha_{2} \ne 0\). Moreover, if \(\alpha_{2} > 0\), the period-2 orbits bifurcating from \(\left( {x_{*} ,y_{*} } \right)\) are stable, whereas if \(\alpha_{2} < 0\), they are unstable.
Neimark–Sacker bifurcation
Secondly, we discuss the Neimark–Sacker bifurcation of model (3) by choosing the parameters \(\left( {d,r_{2} ,m,\alpha } \right)\) arbitrarily from the set \({\Omega }_{NS}\), so, model (3) is converted into the new following form:
Consider a perturbation of (21) as below:
where \(\left| {\overline{{r^{*} }} } \right| \ll 1\) denotes a small perturbation parameter.
Suppose \(u = x - x_{*}\), \(v = y - y_{*}\). Then, we transform the fixed point \(\left( {x_{*} ,y_{*} } \right)\) of model (22) into the origin, we have
and \(a_{1} ,a_{2} ,a_{11} ,a_{12} ,a_{22} ,b_{1} ,b_{2} ,b_{11} ,b_{22} ,b_{12}\) are given in (19) by replacing \(r_{1}\) with \(r_{2} + \overline{{r^{*} }}\).
The characteristic equation of model (23) is indicated by
where
Since the parameters \(\left( {r_{2} ,m,d,\alpha } \right) \in NS\), then the eigenvalues are conjugate complex numbers \(\lambda \;,\;\overline{\lambda }\) with \(\left| {\lambda ,\overline{\lambda } } \right| = 1\), where:
So, we have
Since the parameter \(\left( {d,r_{2} ,m,\alpha } \right) \in NS\), implies that \(R\left( 0 \right) \ne - 2,2\). Thus \(R\left( 0 \right) \ne - 2,0,1,2\) at \(\overline{{r^{*} }} = 0\), gives \(\lambda^{n} ,\overline{\lambda }^{n} \ne 1,{\text{for all}}\;\;n = 1,2,3,4\). Moreover, we rule out \(R\left( 0 \right) \ne 0,1\), which results in:
Consequently, when \(\overline{{r^{*} }} = 0\) and the conditions (24) holds, the roots of (23) do not lie in the intersection of the unit circle with the coordinate axes. we use
to generate the normal form of model (23) at \(\overline{{r^{*} }} = 0\).
Consider the next translation:
Under the translation (25), we get
where
and
After that, we characterize the next nonzero real quantities:\(\theta = \left[ { - Re\left( {\frac{{\left( {1 - 2\lambda } \right)\overline{\lambda }^{2} }}{1 - \lambda }L_{11} L_{12} } \right) - \frac{1}{2}\left| {L_{11} } \right|^{2} - \left| {L_{21}^{2} } \right| + Re\left( {\overline{\lambda } L_{22} } \right)} \right]|_{{\overline{{r^{*} }} = 0}} ,\)
where
On the basis of this analysis, the following theorem is constructed.
Theorem 5
Suppose that conditions (24) and \(\theta \ne 0\) are satisfied, then model (3) will exhibit N-Sacker bifurcation at the fixed point \(\left( {x_{*} ,y_{*} } \right)\) when \(r\) is close to \(r_{2}\). Further, if \(\theta < 0\left( {resp.,\theta > 0} \right)\), then an attracting (resp., repelling) invariant closed curve bifurcates from the fixed point for \(r > r_{2} \;\left( {resp.,r < r_{2} } \right)\).
Existence of Marotto’s chaos
Here, we demonstrates how the model (3) shows chaotic behavior in the sense of Marrotto [28]
Definition 1
Assume that the function \(F:R^{n} \to R^{n}\) is differentiable in \(B_{r} \left( Z \right)\). If \(F\left( Z \right) = Z\) and all eigenvalues of \(DF\left( X \right)\) exceed \(1\) in norm for every \(X \in B_{r} \left( Z \right)\), the point \(Z \in R^{n}\) is an expanding fixed point of \(F\) in \(B_{r} \left( Z \right)\).
Definition 2
For some \(r > 0\), let \(Z\) be an expanding fixed point of \(F\) in \(B_{r} \left( Z \right)\). If there exists a point \(X_{0} \in B_{r} \left( Z \right)\) with \(X_{0} \ne Z,F^{M} \left( {X_{0} } \right) = Z\) and \(DF^{M} \left( {X_{0} } \right) \ne 0\) for some positive integer \(M\), then \(Z\) is said to be a snapback repeller of \(F\).
Firstly, we state the condition that \(\left( {x_{*} ,y_{*} } \right)\) is an expanding fixed point of \(F\). For model (3), we get
The eigenvalues associated with \(\left( {x_{*} ,y_{*} } \right)\) are given by
where
We assume that these eigenvalues with \(\left( {x_{*} ,y_{*} } \right)\) are a pair of complex eigenvalues \(\lambda\), \(\overline{\lambda }\), and \(\left| {\lambda ,\overline{\lambda } } \right|\) is greater than unit. This implies to
Suppose that
Thus \(D_{1} \left( {x_{*} ,y_{*} } \right) < 0\) if \(r \in W_{1} = \{ \left( {r,d,\alpha ,m} \right) \in R_{ + }^{4} |r < \frac{{4V - \left( {1 - rG - L + V} \right)^{2} }}{4GV}\}\).
Also,
Thus \(D_{2} \left( {x_{*} ,y_{*} } \right) > 0\) if \(r \in W_{2} = \{ \left( {r,d,\alpha ,m} \right) \in R_{ + }^{4} |r < \frac{N - 1}{{GV}}\}\). We summarize the above analysis in the following lemma.
Lemma 3
If \(\left( {x_{*} ,y_{*} } \right) \in W_{1} \cap W_{2}\), then \(R^{2} \left( {x_{*} ,y_{*} } \right) - 4Q\left( {x_{*} ,y_{*} } \right) < 0\) and \(Q\left( {x_{*} ,y_{*} } \right) - 1 > 0.\) Moreover, if the fixed point \(z^{*} \left( {x_{*} ,y_{*} } \right)\) of model (3) satisfies \(z^{*} \left( {x_{*} ,y_{*} } \right) \in U_{{z^{*} }} = \left\{ {\left( {x_{*} ,y_{*} } \right);\left( {x_{*} ,y_{*} } \right) \in W_{1} \cap W_{2} } \right\}\). Then, \(z^{*} \left( {x_{*} ,y_{*} } \right)\) is an expending fixed point in \(U_{{z^{*} }}\).
According to the definition of a snap-back repeller, we need to find one point \(z_{1} \left( {x_{1} ,y_{1} } \right) \in U_{{z^{*} }}\), such that \(z_{1} \ne z^{*} ,F^{M} \left( {z_{1} } \right) = z^{*}\), \(\left| {DF^{M} \left( {z_{1} } \right)} \right| \ne 0\), for some positive integer M, where Map \(F\) is defined by (3).
To continue, notice that
and
Now, a map \(F^{2}\) has been constructed to map the point \(z_{1} \left( {x_{1} ,y_{1} } \right)\) to the fixed point \(z^{*} \left( {x_{*} ,y_{*} } \right)\) after two iterations if there are different solutions from \(z^{*}\) for Eqs. (27) and (17). The various solutions from \(z^{*}\) for Eqs. (17) satisfy the equation below
Substituting \(x_{2}\) and \(y_{2}\) into Eq. (27) and solving \(x_{1}\) and \(y_{1}\), we have
By simple calculations, we get
where
Clearly, if lemma 3 is satisfied, the solutions of Eqs. (29) and (30) will furthermore be subject to \(z_{1} \left( {x_{1} ,y_{1} } \right),z_{2} \left( {x_{2} ,y_{2} } \right) \ne z^{*} \left( {x_{*} ,y_{*} } \right),z_{1} \left( {x_{1} ,y_{1} } \right) \in U_{{z^{*} }} {\text{and}}\;\left| {DF^{2} \left( {z_{1} } \right)} \right| \ne 0\), then \(z^{*}\) is a snap-back repeller in \(U_{{z^{*} }}\). As a result, the next theorem is obtained.
Theorem 6
Let the conditions in lemma 3 hold. Then, the solutions \(z_{2} \left( {x_{2} ,y_{2} } \right)\;{\text{and}}\;z_{1} \left( {x_{1} ,y_{1} } \right)\) of Eqs. (29) and (30) satisfy in addition \(z_{1} \left( {x_{1} ,y_{1} } \right),z_{2} \left( {x_{2} ,y_{2} } \right) \ne \left( {x_{*} ,y_{*} } \right),\;z_{1} \left( {x_{1} ,y_{1} } \right) \in U_{{z^{*} }} ,\;z_{1} \left( {x_{1} ,y_{1} } \right) \ne \left( {0,0} \right)\;{\text{and}}\;\left| {DF^{2} \left( {z_{1} } \right)} \right| \ne 0,\;{\text{then}}\;z^{*} \left( {x_{*} ,y_{*} } \right)\) is a snap-back repeller of model (3), and therefore model (3) is chaotic in the sense of Marotto.
In Sect. Results and discussion related to numerical simulation, we choose specific parametric values to demonstrate the presence of conditions in Theorem 6.
Chaos control
Here, the state delayed feedback control method [29,30,31] will be used to stabilize the chaotic orbit at an unstable fixed point of the model (3). The controlled form of model (3) can be written as follows:
where \(\delta\) is the feedback gain for the controlled model (31).
After that, we introduce \(u_{n} = x_{n} - x_{n - 1}\) to get the next controlled model, which is equivalent to model (31):
The generalized Jacobian matrix of controlled model (32) calculated at the fixed point \(\left( {x_{*} ,y_{*} ,u_{*} } \right)\) is given as:
The characteristic equation of \(J\left( {x_{*} ,y_{*} ,u_{*} } \right)\) is given as
where
Keeping in mind that the model (31) is controllable, we have the next lemma.
Lemma 4
Suppose that \(d + 1 < m\alpha\), then the fixed point \(\left( {x_{*} ,y_{*} ,u_{*} } \right)\) of model (31) is a sink if the following conditions are satisfied:
Results and discussion
Numerical examples and discussion
This section presents bifurcation diagrams, phase portraits, and maximum Lyapunov exponents (MLE) to validate our analytical results and demonstrate the complicated dynamics of the model (3).
Example 1
We choose \(d = 4,\;\alpha = 2,\;{\text{and}}\;\;m = 10\) with initial condition \(\left( {x_{0} ,y_{0} } \right) = \left( {0.683,0.728} \right)\) and suppose \(r\) changes in the interval \(\left[ {2,3.5} \right]\). According to Theorem 2, we know that model (3) has only one positive fixed point \(\left( {x_{*} ,y_{*} } \right) = \left( {0.683204,0.0.727583} \right)\) at \(r \approx 2.4\). Furthermore, the characteristic equation of the linearized model (3) estimated at \(\left( {x_{*} ,y_{*} } \right)\) is given by:
The roots of (37) are given by \(\lambda_{1} = - 1\;{\text{and}}\;\lambda_{2} = - 0.332993\;{\text{with}}\;\left| {\lambda_{2} } \right| \ne 1\) and \(\left( {d,\alpha ,m,r} \right) \in FB\). From Fig. 1a, b, we see that model (3) undergoes flip bifurcation at \(r \approx 2.4\). The bifurcation diagrams of model (3) for \(x_{n} ,y_{n}\) shows that when \(r < 2.4\), the fixed point is stable, at \(r \approx 2.4\), it becomes unstable and periodic oscillations appear in the range \(2.4 \le r \le 2.59\), which ultimately leads to chaos. In Fig. 1c, the maximal Lyapunov exponent is plotted to confirm the existence of chaotic behavior. Keeping in view Fig. 1c, we are able to split the interval \(\left[ {2,3.5} \right]\) into two sub-intervals, one being a non-chaotic area where all the MLE are negative and it is indicated by \(\left[ {2,2.59} \right]\), and the other being a chaotic area and it is indicated by \(\left[ {2.59,3.5} \right]\), where some MLE are positive and others are negative. In addition, the chaotic area is larger than the non-chaotic area. Arguing as in [32], the changing MLE signs confirmed that in the chaotic area \(\left[ {2.59,3.5} \right]\), there are stable fixed points or stable periodic windows.
Flip bifurcation diagrams and MLE for model (3) with d = 4, α = 2, m = 10, 2 ≤ r ≤ 3.5 and (x0,y0) = (0.683, 0.728)
Example 2
Fixing \(d = 1.4,\;\alpha = 2,\;{\text{and}}\;m = 10\) with initial condition \(\left( {x_{0} ,y_{0} } \right) = \left( {0.514,0.679} \right)\). Hence, using Theorem 2, the model (3) has a positive fixed point \(\left( {x_{*} ,y_{*} } \right) = \left( {0.514265,0.678663} \right)\) at \(r \approx 2.22\). Also, the characteristic equation of model (3) evaluated at \(\left( {0.514265,0.678663} \right)\) is described by
Further, \(P\left( \lambda \right)\) has a pair of conjugate complex roots \(\lambda_{1,2} = - 0.699876 \pm 0.713969i\) with \(\left| {\lambda_{1,2} } \right| = 1\) and \(\left( {r,m,d,\alpha } \right) \in NS\). As a result of Theorem 5, a Neimark–Sacker bifurcation occurs at \(r \approx 2.22\). Figure 2a, b shows the bifurcation diagrams for model (3). In addition, the MLE are plotted in Fig. 2c. These MLE confirm the existence of chaotic behavior. Figure 3 shows various phase portraits for model (3). From Fig. 3a, it is clear that the unique positive fixed point \(\left( {x_{*} ,y_{*} } \right) = \left( {0.514265,0.678663} \right)\) of the model (3) is locally asymptotically stable. Further, at \(r \approx 2.22\), the fixed point \(E_{*}\) becomes unstable, and a closed invariant curve containing the unstable fixed point \(E_{*}\) is formed. This indicates the existence of Neimark–Sacker bifurcation at \(r \approx 2.22\) (see Fig. 3b). The radii of these closed curves increase as \(r\) rises, as shown in Fig. 3c, d. The closed invariant curve vanishes at \(r = 2.4733\), and orbits with periods of \(k\) form, as shown in Fig. 3e. At \(r \approx 2.5822\), an attractive chaotic set forms, as seen in Fig. 3f.
N-Sacker bifurcation diagrams and MLE for model (3) with d = 1.4, α = 2, m = 10, 2 ≤ r ≤ 2.7 and (x0,y0) = (0.514,0.679)
Phase portraits of model (3) for different values of r with d = 1.4, m = 10, α = 2, 2 ≤ r ≤ 2.7 and and initial conditions (x0,y0) = (0.514, 0.679). Phase portrait for a r = 2.111, b r = 2.22, c r = 2.31664, d r = 2.34055, e r = 2.4732 and f r = 2.5822
Example 3
Here, we illustrate the existence of Marotto’s chaos in model (3). Taking \(r = 2.5822,\;d = 1.4,\;m = 10,\;{\text{and}}\;\alpha = 2\). Also, the fixed point \(E_{*}\) has the form \(z^{*} \left( {2.43,3.21} \right)\) and the eigenvalues related to this fixed point are \(\lambda_{1,2} = - 0.79301 \pm 0.516882i\). From Lemma 3, we have \(z^{*} \in U = \left\{ {\left( {x_{*} ,y_{*} } \right);\left( {x_{*} ,y_{*} } \right) \in W_{1} \cap W_{2} } \right\}\) i.e. \(z^{*}\) is expanding fixed point. Further, there is a fixed point \(z_{1} \left( {x_{1} ,y_{1} } \right) = \left( {0.614365,0.746553} \right)\) such that \(F^{2} \left( {z_{1} } \right) = z^{*}\) and \(\left| {DF^{2} \left( {z_{1} } \right)} \right| \ne 0\). Thus, \(z^{*}\) is snapback repeller. Figure 4 shows the chaotic attractor associated with these parametric values.
The Marotto’s chaotic attractor for (3) with d = 1.4, m = 10, α = 2, and r = 2.5822
Example 4
Finally, we illustrate the effectiveness of the delayed feedback control strategy for the model (3). Taking \(m = 10,\;\alpha = 2,\;d = 1.4,\) and \(r = 2.55\) in the chaotic region. Then, model (3) has a unique positive fixed point \(\left( {x_{*} ,y_{*} } \right) = \left( {0.524796,0.73716} \right)\), and the characteristic equation for the Jacobian matrix has a pair of conjugate complex roots \(\lambda_{1.2} = - 0.924898 \pm 0.427348i\) with \(\left| {\lambda_{1.2} } \right| = 1.01885 > 1\). Thus, \(E_{*} = \left( {0.524796,0.73716} \right)\) is a source of model (3). Then, model (32) can be written as:
The characteristic equation of the Jacobian matrix of (38) is given by:
From Lemma 4, we have \(E_{*}\) is a sink if \(0.05 < \delta < 0.1650491\). Thus, model (38) is controllable for \(\delta \in \left] {0.05,0.1650491} \right[\). The controllable region related to these parametric values is shown in Fig. 5.
Controllability region of model (32) with d = 1.4, α = 2, m = 10 and r ∈ [2.22, 2.7]
Conclusion
In this work, we investigated the complicated dynamic behaviors of a host–parasitoid model with Holling type III functional response. Firstly, the existence and stability of the positive fixed point are derived. We then studied the bifurcation behavior of the model (3) by applying a perturbation method and the center manifold theorem. Consequently, it is analytically demonstrated that the model presents chaotic behavior in the sense of Marotto. Chaos control of the model (3) is performed by the state-delayed feedback control method. Finally, examples with numerical simulations are carried out to confirm our analytical findings. Our results show that our suggested model has rich features and complicated dynamics. Also, we find that when a simplified Holling type III functional response is included, the area of chaos is reduced when compared to host–parasitoid models with the functional response that was examined by [33]. So, the Holling type III functional response could be seen, at least in part, as a stabilizing effect. Therefore, the Holling type III functional response leads to a direct density dependence when host density is low and thus can lead to the stabilization of host–parasitoid interactions. Thus, natural enemies that display a Holling Type III response are more effective at organizing hosts because they can find hosts at lower densities. This research helps to understand the dynamic behavior of host–parasitoid interactions with an intraspecific competition that may be used to improve classical biological pest control.
Generally, many biological scientists have developed many complex nonlinear mathematical models to describe population dynamics and interactions. However, biologists are generally frustrated by such mathematical models’ analytical intractability. The method used can be regarded as a different approach to the problem.
Availability of data and materials
No data was used for the research described in the article.
Abbreviations
- FB:
-
Flip bifurcation
- NS:
-
Neimark–Sacker
- MLE:
-
Maximum Lyapunov exponents
References
Allen, L.J.: Introduction to Mathematical Biology. Prentice Hall, New Jersey (2007)
Brauer, F., Castillo-Chavez, C.: Mathematical Models in Population Biology and Epidemiology, vol. 2. Springer (2012)
Elaydi, S: Dynamics of first-order difference equations, An Introduction to Difference Equations, pp. 1–55, (2005)
Guckenheimer, J., Holmes, P.: Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields, vol. 42. Springer Science and Business Media (2013)
Mohamad, S., Naim, A.: Discrete-time analogues of integrodifferential equations modelling bidirectional neural networks. J. Comput. Appl. Math. 138(1), 1–20 (2002). https://doi.org/10.1016/S0377-0427(01)00366-1
Nicholson, A. J., Bailey, V.A: The balance of animal populations.: part I. in Proceedings of the zoological society of London. vol 105, pp. 551–598. Wiley Online Library (1935). https://doi.org/10.1111/j.1096-3642.1935.tb01680.x.
Yousef, A.: Stability and further analytical bifurcation behaviors of Moran–Ricker model with delayed density dependent birth rate regulation. J. Comput. Appl. Math. 355, 143–161 (2019). https://doi.org/10.1016/j.cam.2019.01.012
Yousef, A., Salman, S., Elsadany, A.: Stability and bifurcation analysis of a delayed discrete predator-prey model. Int. J. Bifurc. Chaos. 28(9), 1850116 (2018). https://doi.org/10.1142/S021812741850116X
Thompson, W.: La theorie mathematique de I’action des parasites entomophages et le facteur du hasard. Annu Fac Sci Mars 2, 69–89 (1924)
Yousef, A., Rida, S., Arafat, S.: Stability, analytic bifurcation structure and chaos control in a mutual interference host–parasitoid model. Int. J. Bifurc. Chaos. 30(15), 2050237 (2020). https://doi.org/10.1142/S0218127420502375
Liu, H., Zhang, K., Ye, Y., Wei, Y., Ma, M.: Dynamic complexity and bifurcation analysis of a host–parasitoid model with Allee effect and Holling type III functional response. Adv. Differ. Equ. 2019(1), 1–20 (2019). https://doi.org/10.1186/s13662-019-2430-8
Wu, D., Zhao, H.: Global qualitative analysis of a discrete host–parasitoid model with refuge and strong Allee effects. Math. Methods Appl. Sci. 41(5), 2039–2062 (2018). https://doi.org/10.1002/mma.4731
Din, Q., Hussain, M.: Controlling chaos and Neimark–Sacker bifurcation in a host–parasitoid model. Asian J. Control 21, 1202–1215 (2019). https://doi.org/10.1002/asjc.1809
Din, Q., Gumus, O.A., Khalil, H.: Neimark–Sacker bifurcation and chaotic behaviour of a modified host–parasitoid model. Zeitschrift fur Naturforschung A 72, 25–37 (2017). https://doi.org/10.1515/zna-2016-0335
Liu, X., Chu, Y., Liu, Y.: Bifurcation and chaos in a host–parasitoid model with a lower bound for the host. Adv. Differ. Equ. 2018, 31 (2018). https://doi.org/10.1186/s13662-018-1476-3
Ringel, M., Rees, M., Godfray, H.: The evolution of diapause in a coupled host–parasitoid system. J. Theor. Biol. 194, 195–204 (1998). https://doi.org/10.1006/jtbi.1998.0754
Zhao, M., Zhang, L., Zhu, J.: Dynamics of a host–parasitoid model with prolonged diapause for parasitoid. Commun. Nonlinear Sci. Numer. Simul. 16, 455–462 (2011). https://doi.org/10.1016/j.cnsns.2010.03.011
Liu, H., Li, Z., Gao, M., Dai, H., Liu, Z.: Dynamics of a host–parasitoid model with Allee effect for the host and parasitoid aggregation. Ecol. Complex. 6, 337–345 (2009)
Zhang, L., Zhao, M.: Dynamic complexities in a hyperparasitic system with prolonged diapause for host. Chaos Solit. Fract. 42, 1136–1142 (2009). https://doi.org/10.1016/j.chaos.2009.03.007
Holling, C.: S: Some characteristics of simple types of predation and parasitism. Can. Entomol. 91, 385–398 (1959). https://doi.org/10.4039/Ent91385-7
Hassell, M.: The Spatial and Temporal Dynamics of Host–Parasitoid Interactions. OUP Oxford (2000)
van Baalen, M., Krivan, V., van Rijn, P.C.J., Sabelis, M.W.: Alternative food, switching predators, and the persistence of predator prey systems. Am Nat 157(5), 512–524 (2001). https://doi.org/10.1086/319933
Yang, X.: Uniform persistence and periodic solutions for a discrete predator-prey system with delays. J. Math. Anal. Appl. 316, 161–177 (2006). https://doi.org/10.1016/j.jmaa.2005.04.036
Dhar, J., Singh, H., Bhatti, H.S.: Discrete-time dynamics of a system with crowding effect and predator partially dependent on prey. Appl. Math. Comput. 252, 324–335 (2015). https://doi.org/10.1016/j.amc.2014.12.021
Choo, Y.: An elementary proof of the Jury test for real polynomials. Automatica 47, 249–252 (2011). https://doi.org/10.1016/j.automatica.2010.10.040
Kuznetsov, Y.: A: Elements of Applied Bifurcation Theory, vol. 112. Springer Science and Business Media (2013)
Wiggins, S.: Introduction to Applied Nonlinear Dynamical Systems and Chaos, vol. 2. Springer Science and Business Media (2003)
Marotto, F.R.: On redefining a snap-back repeller. Chaos Solitons Fract. 25, 25–28 (2005). https://doi.org/10.1016/j.chaos.2004.10.003
Ott, E., Grebogi, C., Yorke, J.A.: Controlling chaos. Phys. Rev. Lett. 64, 1196 (1990). https://doi.org/10.1103/PhysRevLett.64.1196
Romeiras, F.J., Grebogi, C., Ott, E., Dayawansa, W.: Controlling chaotic dynamical systems. Phys. D 58, 165–192 (1992). https://doi.org/10.1016/0167-2789(92)90107-X
Robinson, C.: Dynamical Systems: Stability, Symbolic Dynamics, and Chaos. CRC Press (1998)
He, Z., Jiang, X.: Bifurcation and chaotic behaviour of a discrete-time variable-territory predator-prey model. IMA J. Appl. Math. 76, 899–918 (2011). https://doi.org/10.1093/imamat/hxr006
Tang, S., Chen, L.: Chaos in functional response host–parasitoid ecosystem models. Chaos Solit. Fract. 13, 875–884 (2002)
Acknowledgements
The authors would like to thank anonymous referees for their valuable comments and suggestions that improved the quality of the paper.
Funding
This research work is not funded.
Author information
Authors and Affiliations
Contributions
AMY: Conceptualization, methodology, software, writing—review and editing. SZR: Supervision. SA: Writing—original draft, Formal analysis. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have 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
Yousef, A.M., Rida, S.Z. & Arafat, S. Analytical bifurcation behaviors of a host–parasitoid model with Holling type III functional response. J Egypt Math Soc 31, 2 (2023). https://doi.org/10.1186/s42787-023-00160-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s42787-023-00160-7
Keywords
- Host–parasitoid model
- Holling type III functional response
- Stability
- Bifurcation analysis
- Chaotic behavior