 Research
 Open access
 Published:
The impact of resource limitation on the pestnatural enemy ecosystem with antipredator behavior and fear effect
Advances in Continuous and Discrete Models volumeÂ 2024, ArticleÂ number:Â 10 (2024)
Abstract
Research on agricultural pest control data indicates that the actual effectiveness of insecticides may exhibit slight variations, influenced by factors such as the type and quantity of pests. Additionally, the development of resistance by pests, as a result of adaptation to the environment, can impact the precision of pest control strategies. Hence we suggest implementing a nonlinear pulse statedependent feedback control system, considering resource limitations, to investigate the influence of varying pesticide fatality rates on pest outbreaks. This paper takes into account the fear effect and antipredator behavior to accurately portray the farmland ecosystem. We assessed the phase set and PoincarĂ© map under the conditions for the existence of orderk (where \(k=1,2,3\)) periodic solutions and examined their stability behavior. Remarkably, the system exhibited diverse bifurcation phenomena associated with pesticiderelated parameters. Furthermore, the system demonstrated a multistability phenomenon involving the coexistence of the order1 periodic solution and the limit cycle. This suggests that altering control strategies can disturb the initial coexistence status of pests and natural enemies. It also underscores that resource limitations can indeed impact the outbreak patterns and frequencies of pests. In addition to the variability in pesticide fatality rates, the inclusion of natural enemy releases in the nonlinear pulse strategy contributes to the model exhibiting complex dynamic characteristics. All these findings are substantiated by numerical simulations.
1 Introduction
Pest control [1, 2] involved the frequent occurrence of plant diseases and insect pests, the level of food quality and safety, and the maintenance of ecological civilization, and the sustainable development of the agricultural economy has been a major issue that has plagued people from ancient times to the present. The purpose of adhering to green prevention and control in the process of combating pests lies in reducing pesticide residues [3], increasing crop yield, and maintaining human health. Therefore pest control is a longterm and indispensable work of essential practical significance.
To efficiently control pest populations, an integrated Pest Management (IPM) strategy [4â€“7] emerged as a comprehensive approach in the field of pest control. Furthermore, mathematical models [8â€“11] were employed to illustrate the dynamics of fluctuations in the populations of pests and their natural enemies, with the renowned Lotkaâ€“Volterra (LV) system being the most representative. Through years of development and exploration, various factors such as functional response [12, 13], nonsmooth control, and random perturbation [14] were considered to make relevant mathematical models more comprehensive and diverse, suitable for distinct pest control environments. These models enable us to conduct quantitative investigations into the effective reduction of pests, develop comprehensive and rational pest control strategies, and continually monitor pest populations in farmland to assess the efficacy of control measures.
The tenet of the IPM control strategy indicates that eradicating pests is unrealistic. The widespread approach is to limit the pest population to a certain state within the economic threshold ET [15]. Meanwhile, the economic harm level of pests can be ignored. Control measures, such as releasing natural enemies and spraying pesticides, should be implemented only when the pest population surpasses a certain threshold. Hence the unanimous consensus among scholars is the construction of a statedependent pulse differential equation [12, 16â€“20] for Integrated Pest Management (IPM) strategies to examine the dynamic behavior of pestnatural enemy ecosystems.
In the actual process of pest control, many challenges are often more difficult than expected, and the impact of preyâ€™s antipredator behavior [21â€“23], employed to resist predators and ensure selfsecurity, on the system dynamics is one of them. The predators can suppress the prey in somatotype or attack means; the prey also constantly adapts to the environment to cope with the threat of the predators and reduce the risk of predation through camouflaging, burrowing, intimidating, and arranging sentries. For example, the ochotona curzoniae will reduce the time to go out to forage, and the wings of the vulnerable parus major grow faster to obtain the selective advantage of avoiding predators. Some prey even choose to actively attack young predators after discovering their nests to reduce their survival rate. Of course, counterattack also carries risks, known as the price or investment [24, 25] paid by prey in antipredator behavior. In addition, the prey investment is inversely proportional to the number of predators.
The fear effect is another potential restraint form of predators against prey, in addition to predation, which is mainly reflected in the anxiety and timidity of prey due to fear of being eaten and leading to a decline in reproduction rate. Simultaneously, the fear effect can be interpreted as an alternative antipredator behavior exhibited by prey. Prolonged fear may compel prey to seek refuge in caves, limiting their access to a broader habitat and hindering the accumulation of sufficient food reserves. Furthermore, this fear expands as the number of predators increases. Qi et al. [26] investigated a random predatory ecosystem incorporating fear effects and prey refuge. Their study demonstrated that mitigating predator fear and increasing the availability of shelters can enhance the survival rate of prey. Sarkar et al. [27] incorporated the fear effect into a predatory ecosystem with Holling II functional response. They observed that the alteration in prey growth rate caused by fear influenced the occurrence of Hopf bifurcation and altered its direction. This suggests that appropriately induced fear can lead to the stable coexistence of predators and prey. In addition, many meaningful biological conclusions have been proposed in [17, 21, 22, 28, 29], where the fear effect is considered.
Note that in the IPM strategy, the fatality rate of pesticides used for chemical control of pests is usually a constant [6, 30, 31], which is beneficial to facilitate the management and control of agricultural resources and monitor the actual situation of farmland. Actually, the effectiveness of pesticides will weaken with the increase of pest resistance. Furthermore, in the face of a large number of sudden and uncertain pest outbreaks, agricultural resources such as pesticides and manpower will be severely scarce. To cope with this sudden situation with limited resources [32, 33], an IPM strategy related to the nonlinear fatality rate amount depending on the state of pests is given, which is used to discuss the dynamic changes of the pestnatural enemy ecosystem with resource limitation. Qin et al. [34] investigated a predatory ecosystem with nonlinear pulse control. They employed sensitivity analysis to identify key factors influencing pest outbreaks and compared these findings with scenarios unaffected by resource limitations. The conclusion is drawn that improving the effectiveness of insecticides can more efficiently contain pests.
This paper is grounded in the concepts of resource limitations, fear effects, and antipredator behavior. The objective is to formulate a statedependent impulsive differential model that accurately captures the quantitative relationship between pests and natural enemies in farmland. Analyzing the stability of periodic solutions and investigating key parameters in nonlinear impulsive control are essential to assess the practical effectiveness of IPM control strategies. Special emphasis was placed on studying the outbreak patterns of pests, their influencing factors, and the threshold conditions required for the longterm coexistence of prey and predators.
The remainder of the paper is structured as follows. In the next section, we construct a nonsmooth predatorâ€“prey ecosystem with Holling II functional response. Section 3 delves into the fundamental properties of equilibrium points in the relevant Ordinary Differential Equation (ODE) model by exploring the connection between eigenvalues and the stability of planar systems. In Sect. 4, we present the pulse set and phase set under different thresholds and the definition and properties of the PoincarĂ© map. In Sect. 5, we derive the necessary conditions for the stability of periodic solutions and validate the accuracy of these results through numerical simulation. The concluding section summarizes the key findings of the paper, unveiling the effectiveness of nonlinear pulse control.
2 Mathematical model
Based on a predatorâ€“prey twodimensional planar system, the model is developed through the following steps:
(I) In 1987, Ives et al. [24] constructed a predatorâ€“prey ecological system with a functional response function:
(II) Take into account the influence of the fear effect on pests. Consequently, the first equation of the aforementioned model is modified to
(III) In consideration of the agricultural economy, coupled with resource limitations, a nonlinear pulse control strategy is introduced. When the pest population reaches the threshold ET, actions such as pesticide spraying and natural enemy release are implemented, causing an instantaneous change in both pest and natural enemy numbers. This is described by the following continuous function:
Incorporating all the aforementioned factors, we derive the pulse semidynamic system:
For a more convenient understanding of model (1), in Table 1, we list the biological significance and dimensions of all parameters in model (1).
In model (1) the applied pest control strategy comprises two components: intermittent pesticide spraying and the release of natural enemies. Typically, these two actions are carried out simultaneously. Due to resource constraints, it is imperative to minimize the depletion of the natural enemy population. Hence the chosen pesticide exclusively targets pests and has no impact on natural enemies. The pulse fluctuation in natural enemy density is solely attributable to the release quantity of natural enemies bred or acquired on the farm. For the model, we also see the proposal of \([{1  \frac{{px(t)}}{{x(t) + h}}}]x(t)\), which suggests that the instantaneous killing rate of insecticides is not constant but rather a saturation function solely determined by the pest density at time \(x=ET\). Likewise, the natural enemy release quantity is also tied to the current density of natural enemies. From this we can see that p and Ï„ are the maximum killing rate and maximum release amount that combine the actual situation of farmland and resource limitation. Additionally, Îµ and v are relevant parameters for antipredation behavior, and we can see that the higher values of Îµ and v resulting in lower predation rates.
Model (1) is based on the state feedback control model, taking into account both the fear effect and nonlinear impulse control term, and we used new qualitative analysis techniques and methods to study the properties of the semitrivial and order1 periodic solution of model (1), established a threshold condition ensuring global stability of the periodic solution, revealed its underlying biological significance and conclusions, and proposed new ideas and strategies for reasonable comprehensive pest control.
3 Basic properties of an ODE model
To investigate the dynamic characteristics of the pest control model (1), we study the following model:
Set the two equations of the above model equal to 0 and note the positivity of y. Therefore the two isoclines of the model (2) are
where \(d=e^{  \varepsilon v}\). Obviously, when \(y=0\), model (2) has two boundary equilibria points \(E_{1}(x_{1},0)\) and \(E_{2}(x_{2},0)\), as illustrated in Fig. 1(A), and \(x_{1}\) and \(x_{2}\) are the two roots of equation \(rx^{2}+KrxKv=0\),
We can see that y is positive when x is in the interval \(({x_{1}},{x_{2}})\). Additionally, to ensure that both boundary equilibrium points are on the positive xaxis, the parameter v meets \(v<\frac{Kr}{4}\). On the other hand, according to the Vieta theorem, \({x_{1}}+{x_{2}}=K\).
When \(y \ne 0\), we achieve the internal equilibrium point \(E^{*}(x^{*},y^{*})\) with \({x^{*}} = \frac{m}{{cdq  mb}}\), as shown in Fig. 1(B). Substitute \({x^{*}}\) into \(L_{1}\) and make \(cdq  mb=l\) to obtain
To demonstrate that the equilibrium \(E^{*}(x^{*}, y^{*})\) resides in the first quadrant, there is \(cdq  mb>0\), and both conditions \({x_{1}} < {x^{*}} < {x_{2}}\) and \(v<\frac{Kr}{4}\) mentioned above must be met. Otherwise, the two isoclinic lines of model (2) will not intersect in the first quadrant. To make the subsequent calculations more concise, we denote
Therefore the internal equilibrium can be written as \({E^{*}} ( {\frac{m}{l},\frac{\gamma }{{2am}}} )\).
When \(a=0\), that is, without considering the fear effect, model (2) can be expressed as
The establishment process and dynamic behavior of model (4) are presented in [24]. When \(a=v=0\), the fear effect and antipredator factor are not involved. Hence model (2) can be written as
The dynamic characteristics of model (5) have been investigated in [12].
Therefore this paper is a further deepening of existing research, embodying the combination of antipredator factor, Holling II functional response, and fear effect. A more detailed description of the pestnatural enemy ecosystem and a more rich population dynamic behavior is reflected.
In the following research, under the premise that both a and v are not zero, the type and stability of the equilibrium are influenced by the real part symbol of characteristic value of the variational matrix constructed by the twodimensional system. It should be emphasized that the numerical simulation at the end of the paper reveals that the value of \(x_{1}\) is quite small. Therefore it is not in line with the actual biological situation where the number of pests is less than \(x_{1}\). Hence we do not consider the case of \(x^{*}< x_{1}\),
Theorem 1
The stability conclusion of equilibrium points for system (2).

(i)
When \({x^{*}} >{x_{2}}\), there is no internal equilibrium point in model (2). The boundary equilibrium point \(E_{2}\) is stable, and \(E_{1}\) is unstable.

(ii)
When \({x^{*}} \in ({x_{1}},{x_{2}})\), if \(\lambda < 0\) and \(\Delta > 0\), then \(E^{*}\) is a stable node.

(iii)
When \({x^{*}} \in ({x_{1}},{x_{2}})\), if \(\lambda < 0\) and \(\Delta < 0\), then \(E^{*}\) is a stable focus.

(iv)
If \({cdq{x_{2}}/(1 + b{x_{2}})}  m > 0\) and \(\lambda > 0\), then \(E^{*}\) is deemed unstable, and model (2) exhibits precisely one stable limit cycle in the first quadrant.
Here Î» and Î” are defined in the proof.
Proof
System (2) can be regarded as the differential equation system
and the variational matrix of system (2) is
Substituting the equilibrium point \(E_{1}(x_{1},0)\) into matrix (6) yields
By calculating we have \(r  \frac{{2r}}{K}{x_{1}} = \frac{{\sqrt {{K^{2}}{r^{2}}  4Krv} }}{K} > 0\). Therefore the positivity of trace and determinant of a matrix \(J  {_{{E_{1}}}} \) depend on \({\frac{{cdq{x_{1}}}}{{1 + b{x_{1}}}}  m}\). For this purpose, it is advisable to define
Differentiating \(\rho (x) \), we have
for \(x > 0\). Hence \(\rho (x)\) is increasing with respect to x. Note that when \(x=x^{*}\), we have \(\rho (x^{*})=0\). For \(x_{1}< x^{*}\), we have \(\rho (x_{1}) <0\), and thus
which shows that \(E_{1}\) is a saddle.
Similarly, substituting \(E_{2}\) into matrix (6) yields
By calculating we have \(r  \frac{{2r}}{K}{x_{2}} =  \frac{{\sqrt {{K^{2}}{r^{2}}  4Krv} }}{K} < 0\). Just like above, for \(x_{2}< x^{*}\), we obtain \(\rho (x_{2}) <0\). Hence
which means that \(E_{2}\) is a stable node or focus, as illustrated in Fig. 2(A).
Analogously, substituting \(E^{*}\) into matrix (6) yields
To determine the stability of \(E^{*}\), we define
Here Î” is the discriminant of the characteristic equation of \(J  {_{{E^{*}}}} \). According to (6), we can see that \(\eta > 0\). Therefore, based on the relationship between equilibrium points and eigenvalues, we can conclude that when \(\lambda < 0\) and \(\Delta > 0\), the equilibrium point \(E^{*}\) represents a stable node, as depicted in Fig. 2(B); when \(\lambda < 0\) and \(\Delta < 0\), the equilibrium point \(E^{*}\) becomes a stable focus, as illustrated in Fig. 2(C). Specifically, if \(\lambda > 0\), then \(E^{*}\) is unstable. Hence the existence of a limit cycle can be established based on the PoincarĂ©â€“Bendixson theorem [36, 37], which states that when the equilibrium points \(E_{2}\) and \(E^{*}\) are unstable, i.e., under the assumptions \(\frac{{cdq{x_{2}}}}{{1 + b{x_{2}}}}  m > 0\) and \(\lambda > 0\), system (2) possesses precisely one limit cycle in the first quadrant, as illustrated in Fig. 2(D).â€ƒâ–¡
4 PoincarĂ© map
To analyze the global dynamics of system (1) using the PoincarĂ© map, it is essential to delineate the extent of the phase set. To achieve this, we need a combination of a phase diagram and the value of ET.
4.1 Pulse set
To demonstrate the biological significance of the model, define the valid range \(R^{2}=\{(x,y)x\geq 0,y\geq 0\}\) to ensure that the populations of pests and natural enemies consistently fall within this range. Additionally, considering the constraint \(ET< K\), define the set
Now, according to the part where \(x=ET\) in system (1), we can also define it as follows:
Here \(\theta = \frac{{pET}}{{ET + h}}\) and \(0 \le \theta < 1\). For the convenience of writing, equation (3) can be written as
Hence the intersection of \(L_{1}\) and \(L_{3}\) can be defined as \(Q_{0}=((1\theta )ET, y_{Q_{0}})\), where
Analogously, we can obtain the intersection point of \(L_{1}\) and \(L_{4}\), denoted as \(T=(ET,y_{T})\), where
Note that for system (1), \(0 \leq y \leq y_{T}\) represents the maximum range of the ordinate in the pulse set. Therefore the pulse set obtained is
Obviously, \(\mathcal{M}\) is included within \({R}^{2}\). With the function \(I:(x,y)\rightarrow (x^{+},y^{+})\), where \((x^{+},y^{+})\) denotes an impulsive point corresponding to \((x,y)\), the phase set is defined as
where the range of \(Y_{0}\) depends on the monotonicity of the nonmonotonic term \(\frac{\tau }{{1 + \delta y(t)}}\). It will be a focal point in our subsequent investigation into the precise boundaries of the phase set. Unless specified otherwise, we assume that the initial values \((x^{+}_{0},y^{+}_{0})\) belong to \(\mathcal{N}\).
According to Theorem 1, we implement the following classification.
Here \(x_{3}\), \(x_{4}\), and \(x_{5}\) are defined in the proof of Lemma 2.
Lemma 2
When ET and \((1\theta )ET\) meet conditions (7)â€“(10), respectively, the corresponding pulse set obtained is as follows:
Here \(\mathcal{M}_{\times}\) indicates that the pulse set of these cases cannot be defined and the pulse set
where \(y_{Q_{1}}\) is the ordinate of the intersection point between the curve tangent to \(L_{3}\) and line \(L_{4}\).
Proof
For Case (i), as shown in Fig. 3, there is no internal equilibrium point in system (1), and all solutions tend to be stable \(E_{2}\). Then there must be a trajectory tangent to \(L_{3}\), denoted as \({\Gamma _{1}}\), with a tangent point of \(Q_{0}\). As both ET and \(x_{2}\) are less than K, it is imperative to explore the relationship between ET and \(x_{2}\). If \(ET \le x_{2}\), then the intersection of \({\Gamma _{1}}\) and line \(L_{4}\) is defined as \(Q_{1}\). Therefore the pulse set is \(\mathcal{M}_{1}\). If \(ET>x_{2}\), then we cannot determine whether the trajectory of system (1) intersects with line \(L_{4}\), and thus we are unable to provide an accurate domain of the pulse set.
For Case (ii), as shown in Fig. 4, consistent with the analysis method of case \(H_{1}\), if \(ET \le {x^{*}}\), then the pulse set is \(\mathcal{M}_{1}\). If \(ET > {x^{*}}\), then the curve originating from the phase set will converge to a stable node \(E^{*}\) along the asymptotic line, which may not reach the pulse set, so the accurate domain of the pulse set cannot be given.
According to Fig. 5, we can seen that for subcase \(J_{1}\) in Case (iii), like in case \(H_{1}\), the pulse set is \(\mathcal{M}_{1}\). For \(J_{2}\), when \(ET>x^{*}\), there must be a trajectory tangent to \(L_{4}\), denoted as \({\Gamma _{2}}\), with a tangent point of T. In addition, the point T is also one of the two intersections of \({\Gamma _{2}}\) and \(L_{1}\), and the other intersection point is defined as \(E_{3}\). If \((1  \theta )ET < {x_{3}}\), then as in case \(H_{1}\), the pulse set is \(\mathcal{M}_{1}\). If \((1  \theta )ET \ge {x_{3}}\), then there will be two intersections of \(L_{3}\) and trajectory \({\Gamma _{2}}\). The point with a larger ordinate will be denoted \(P_{1}\), and the other point will be denoted \(P_{2}\). Obviously, except for the points between \(P_{2}\) and \(P_{1}\), all trajectories starting from \(L_{3}\) can reach the set \(\mathcal{M}\).
In Case (iv), as depicted in Fig. 6, there exists a limit cycle in model (1), denoted Î©, then Î© and \(L_{1}\) will have left and right intersections, denoted \(E_{4}\) and \(E_{5}\), respectively. According to the relationship of \(x^{*}\), \(x_{5}\) and ET, consider the three cases of \(K_{1}\), \(K_{2}\), and \(K_{3}\). For cases \(K_{1}\) and \(K_{31}\), like in case \(H_{1}\), the pulse set is \(\mathcal{M}_{1}\). For subcases \(K_{21}\) and \(K_{22}\) in case \(K_{2}\), as in cases \(J_{21}\) and \(J_{22}\), the pulse sets are \(\mathcal{M}_{1}\) and \(\mathcal{M}\), respectively. For case \(K_{32}\), when \({x^{*}} < ET < {x_{5}}\) and \((1  \theta )ET > {x_{4}}\), any solution starting from \(L_{3}\) either directly reaches the pulse set, or there will be many intersections with \(L_{3}\) before reaching the pulse set. Hence the pulse set is \(\mathcal{M}\).
Note that when \(L_{3}\) and \(L_{2}\) coincide, \(E^{*}\) cannot be used as the initial point.â€ƒâ–¡
Note that in many cases, the definition of pulse sets needs to be analyzed in conjunction with phase sets, and we will focus on examining them in the next section.
4.2 Phase set
According to the definition of a pulse set for classification conditions (7)â€“(10) and above, we found that the dynamics of the solution trajectory starting from phase set \(\mathcal{N}\) exhibit multiple possibilities. Hence, to define the phase set under different conditions and examine the characteristics of periodic solutions using the PoincarĂ© map on the phase set, it is crucial to identify the specific range where the solution of system (1) starting from the phase set remains unaffected by impulsive effects. This observation is evident in Fig. 5(C) and Fig. 6(C), where any solution originating from the section line \(\overline{{P_{1}}{P_{2}}}\) is devoid of pulse effects. For these two cases, we define the set
where \(y_{{P_{1}}}\) and \(y_{{P_{2}}}\) are the ordinates of points \(P_{1}\) and \(P_{2}\), respectively. To investigate the impact of the nonmonotonic term \(y(t) + \frac{\tau }{{1 + \delta y(t)}}\) on the dynamics of system (1), define the pulse function
Differentiating equation (11), we obtain
Solving \(f'(y) = 0\), we get \(y = \frac{{\sqrt {\tau \delta }  1}}{\delta }\). By calculation we obtain that if \(y > \frac{{\sqrt {\tau \delta }  1}}{\delta }\), then the function \(f(y)\) is increasing, and if \(y < \frac{{\sqrt {\tau \delta }  1}}{\delta }\), then the function \(f(y)\) is decreasing. For analyzing the phase set, we need the following lemma.
Lemma 3
If the pulse set is the same, then the phase set is the same.
Proof
In a specific case, for \(\mathcal{N}=I(\mathcal{M})\), we can see that the abscissa of a point \((x,y)\) in M is always mapped from ET to \((1\theta )ET\), and the ordinate is mapped from y to \(f(y)\) after the action of function I. Therefore the phase set is determined by the pulse set and the pulse function. This correspondence is just like the range is calculated according to the analytic expression and the domain. Therefore the phase set is the same when the pulse set is the same.â€ƒâ–¡
For the pulse set \(\mathcal{M}_{1}\), the domain of y is \([0,{y_{Q_{1}}}]\). Because the monotonicity of the pulse function (11) varies in different intervals, the following three subcases are analyzed.
(a) If \(\frac{{\sqrt {\tau \delta }  1}}{\delta } \le 0\), then it is not difficult to get that the pulse function \(f(y)\) is increasing on the interval \([0,{y_{Q_{1}}}]\), indicating that
So define the set
Therefore, in this case, the phase set corresponding to the pulse set \(\mathcal{M}_{1}\) is
(b) If \(\frac{{\sqrt {\tau \delta }  1}}{\delta } \ge y_{Q_{1}}\), then the pulse function \(f(y)\) is decreasing on the interval \([0,{y_{Q_{1}}}]\), indicating that
So define the set
Therefore, in this case, the phase set corresponding to the pulse set \(\mathcal{M}_{1}\) is
(c) If \(0 < \frac{{\sqrt {\tau \delta }  1}}{\delta } < {y_{Q_{1}}}\), then the function \(f(y)\) is decreasing on the interval \([ {0,\frac{{\sqrt {\tau \delta }  1}}{\delta }} ]\) and increasing on the interval \(( {\frac{{\sqrt {\tau \delta }  1}}{\delta },{y_{Q_{1}}}}]\), with \(f( {\frac{{\sqrt {\tau \delta }  1}}{\delta }} ) = \frac{{2\sqrt {\tau \delta }  1}}{\delta }\) being the minimum value on the interval \([0,{y_{Q_{1}}}]\), and the maximum value is \(f(0)\) or \(f(y_{Q_{1}})\). Hence we define the interval
Therefore, in this case, the phase set corresponding to the pulse set \(\mathcal{M}_{1}\) is
According to Lemma 3, the phase sets of cases \(H_{1}\), \(I_{1}\), \(J_{1}\), \(J_{21}\), \(K_{1}\), \(K_{21}\), and \(K_{31}\) can all be defined in this way.
For the pulse set \(\mathcal{M}\), the domain of y is \([0,{y_{T}}]\). Considering the monotonicity of the pulse function and the fact that the solution trajectory starting from within section line \(\overline {{P_{1}}{P_{2}}} \) will not experience pulse effects, we analyze the following three subcases.
(d) If \(\frac{{\sqrt {\tau \delta }  1}}{\delta } \le 0\), then the pulse function \(f(y)\) is increasing on the interval \([0,{y_{T}}]\), indicating that
So define the set
Therefore, in this case, the phase set is
(e) If \(\frac{{\sqrt {\tau \delta }  1}}{\delta } \ge y_{T}\), then the pulse function \(f(y)\) is decreasing on the interval \([0,{y_{T}}]\), indicating that
So define the set
Therefore, in this case, the phase set is
(f) If \(0 < \frac{{\sqrt {\tau \delta }  1}}{\delta } < {y_{T}}\), then the function \(f(y)\) is decreasing on the interval \([ {0,\frac{{\sqrt {\tau \delta }  1}}{\delta }} ]\) and increasing on the interval \(( {\frac{{\sqrt {\tau \delta }  1}}{\delta },{y_{T}}} ]\), with \(f( {\frac{{\sqrt {\tau \delta }  1}}{\delta }} ) = \frac{{2\sqrt {\tau \delta }  1}}{\delta }\) being the minimum value on interval \([0,{y_{T}}]\), and the maximum value is \(f(0)\) or \(f(y_{T})\). Hence we define the interval
Therefore, in this case, the phase set is
According to Lemma 3, the phase sets of cases \(J_{22}\), \(K_{22}\), and \(K_{32}\) can all be defined in this way.
For the pulse set \(\mathcal{M}_{\times}\), since the domain of y cannot be determined, an accurate phase set cannot be obtained. Therefore, for cases \(H_{2}\) and \(I_{2}\), we define the phase set as \(\mathcal{N}_{\times}\).
The monotonicity of the nonlinear pulse function and the diversity of ET selection can cause the system to exhibit various complex dynamics. Therefore we select two representative cases \(J_{21}\) and \(J_{22}\) for analysis. To summarize the above discussion, we list the selected cases in Table 2.
4.3 Establishment of PoincarĂ© map
Given the properties of the successor function, we can provide a mathematical expression for the PoincarĂ© map. Assuming that \(p_{k}^{+}((1\theta )ET,y_{k}^{+})\) is a point belonging to the phase set, the solution \(\psi (t,{t_{0}},(1  \theta )ET,y_{k}^{+} )\) with an initial value of \(p_{k}^{+}\) reaches the point \(p_{k+1}(ET,y_{k+1})\) on the pulse set after time \(t_{1}\). This indicates that the location of point \(p_{k+1}\) is influenced by the coordinates of point \(p_{k}^{+}\). Then \(y_{k+1}=\mathcal{A}(y_{k}^{+})\). The solution Ïˆ of system (1) transitions to the point \(p_{k+1}^{+}((1\theta )ET,y_{k+1}^{+})\) after a pulse effect at point \(p_{k+1}\), where \(y_{k+1}^{+} = {y_{k + 1}} + \frac{\tau }{{1 + \delta {y_{k + 1}}}}\). So the PoincarĂ© map can be defined as
Since the function \(\mathcal{A}(y_{k}^{+})\) is continuously differentiable with respect to \(y_{k}^{+}\), \(\varphi (y_{k}^{+})\) is also continuously differentiable with respect to \(y_{k}^{+}\). Therefore the existence of a fixed point in \(\varphi (y_{k}^{+})\) is equivalent to the presence of an order1 periodic solution within system (1).
Remark 4
If \(\frac{{\sqrt {\tau \delta }  1}}{\delta }\) is the ordinate of a point on the pulse set, then define a key point \({Q_{\delta }}({x_{{Q_{\delta }}}},{y_{{Q_{\delta }}}}) = ( {ET, \frac{{\sqrt {\tau \delta }  1}}{\delta }} )\), and after the pulse effect, the corresponding pulse point is marked as \(Q_{\delta }^{+} ({x_{Q_{\delta }^{+} }},{y_{Q_{\delta }^{+} }}) = ( {(1  \theta )ET,\frac{{2\sqrt {\tau \delta }  1}}{\delta }} )\).
Theorem 5
For cases \(J_{21}\) and \(J_{22}\), we have the following properties of \(\varphi (y_{k}^{+})\):
 (i^{âˆ—}):

For case \(J_{21}\), system (1) has a stable focus, \(ET>x^{*}\) and \((1\theta )ET< x_{3}\), the monotonicity of \(\varphi (y_{k}^{+})\) is shown in the upper half of Table 3.
 (ii^{âˆ—}):

For case \(J_{22}\), system (1) has a stable focus, \(ET>x^{*}\) and \((1\theta )ET \ge x_{3}\), the monotonicity of \(\varphi (y_{k}^{+})\) is shown in the lower half of Table 3.
 (iii^{âˆ—}):

If the point \(p_{k}^{+}((1\theta )ET,y_{k}^{+})\) is the pulse point corresponding to the point \(p_{k}(ET,y_{k})\), and \({\zeta _{k}}\) is the slope of pulse segment \(\overline {p_{k}^{+} p_{k}} (k = 1,2,3, \ldots )\), then we conclude that if \(y_{k+1}>y_{k}\), then \({\zeta _{k + 1}} > {\zeta _{k}}\).
 (iv^{âˆ—}):

\(\varphi (y_{k}^{+})\) has a horizontal asymptote \(y = \tau \).
Proof
\(\mathrm{(i^{*})}\) Based on the previous analysis, we easily get that the domain of \(\varphi (y_{k}^{+})\) is \([0, + \infty )\). For the three subcases of \(J_{21}\), any solution curve originating from the interval \([0, + \infty )\) causes the pulse effect. By the motion trend of the vector field and the uniqueness of the solution the function \(\mathcal{A}(y_{k}^{+})\) increases on the interval \([0,{y_{{Q_{0}}}}]\) and decreases on the interval \(({y_{{Q_{0}}}}, + \infty )\). On the other hand, for subcase (a), the impulse function \(f(y)\) increases within \([0, y_{Q_{1}}]\). According to the nature of composite function, \(\varphi (y_{k}^{+})\) increases within the interval \([0, y_{Q_{0}}]\) and decreases within the interval \((y_{Q_{0}}, +\infty )\). The same analysis method is used for cases (b) and (c).
\(\mathrm{(ii^{*})}\) For case \(J_{22}\), note that the effective domain of \(\varphi (y_{k}^{+})\) is \([0,{y_{{P_{2}}}}] \cup [{y_{{P_{1}}}}, + \infty ]\), and the rest of the reasoning process is consistent with \(\mathrm{(i^{*})}\).
\(\mathrm{(iii^{*})}\) When \(x=ET\), the nonlinear term of system (1) leads to the nonparallelism of pulse segment \(\overline {p_{k}^{+} p_{k}}\ (k = 1,2,3, \dots )\). When \(\tau > 0\), the slope
On the other hand, considering \({\zeta _{k}}\) as a function of \(y_{k}\)and taking the derivative of \({\zeta _{k}}\), we have \({\zeta '_{k}}({y_{k}}) = \frac{{\tau \delta }}{{\theta ET{{(1 + \delta {y_{k}})}^{2}}}} > 0\). Therefore the slope \({\zeta _{k}}\) is increasing with respect to \(y_{k}\), indicating that when \(y_{k+1}>y_{k}\), we have \({\zeta _{k + 1}} > {\zeta _{k}}\).
\(\mathrm{(iv^{*})}\) To illustrate that map \(\varphi (y_{k}^{+})\) has a horizontal asymptote \(y = \tau \), we need to establish the limit
meaning that as \({y_{k}^{+} \to + \infty }\), we have \({\mathcal{A}}( + \infty ) = 0\), which can be explained by using reduction to absurdity. If \({\mathcal{A}}( + \infty ) =y_{*}> 0\), then choose a point \(P(ET,{y_{P}}) (0 < {y_{P}} < {y_{*}})\). Then there must be a trajectory Î“ between the xaxis and the trajectory where P is located, and Î“ will intersect with \(L_{3}\) at two points. The point above is defined as \({P_{0}}((1  \theta )ET,{y_{{P_{0}}}})\) based on the property of no intersection between any two solutions, which leads to \({y_{{P_{0}}}} > + \infty \), which is a contradiction. Therefore \({\mathcal{A}}( + \infty ) = 0\). Hence \(\varphi (y_{k}^{+})\) has a horizontal asymptote \(y = \tau \).â€ƒâ–¡
5 Relevant properties of periodic solution
According to the above discussion, Table 2 reveals that the parameter Î¸, being a sensitive factor, plays a pivotal role in the derivation of PoincarĂ© maps, analogous to the significance of ET. Now we will explore how the impact of these parameters on the periodic solution manifests in the dynamics of system (1).
5.1 Boundary order1 periodic solution with \(\tau = 0\)
On the premise of not artificially releasing natural enemies, evidently, \(\varphi (y_{i}^{+} )\) possesses a fixed point at \(y = 0\). It suggests the presence of a firstorder periodic solution along the boundary in system (1). Indeed, by treating \(y(t) \) and Ï„ in system (1) as 0, we can derive the subsystem
To ensure the normal operation of pulse measures, the value of x needs to increase from \((1  \theta )ET\) to ET, and then the inequality \(\frac{dx}{dt} > 0\) is satisfied, which implies \(v < \frac{ Kr}{4}\). Additionally, based on the previous analysis, the value of x must satisfy \({x_{1}} < x < {x_{2}}\). Hence the value of ET also satisfies \({x_{1}} < (1  \theta )ET < ET < {x_{2}}\) with \(\theta \ne 0\).
The equation at time \(x< ET\) in model (13) can be rewritten as \(\frac{{dx}}{{dt}} =  \frac{r }{K}(x  {x_{1}})(x  {x_{2}})\) and then converted into equation of separated variables
After performing the calculation, the solution to system (13) is
By substituting the initial value \(((1\theta )ET,0)\) we obtain
After a cycle T, the number of x reaches ET. Hence
Using T as a variable, we calculate
Therefore the solution of system (1) on the positive xaxis is
To demonstrate the asymptotic stability of solution (17), we utilize a PoincarĂ© criterion analogy.
Theorem 6
Under the condition
solution (17) exhibits the asymptotic stability. where Ïƒ and Ï‘ are defined in the proof below.
Proof
For \(\tau = 0\), let
Since \(d = {e^{  \varepsilon v}}\), we can determine the value by performing the calculation
Then
Additionally, let us consider
where
and
where
and
Based on (16), substitute T into the results of the above calculation and define \(\vartheta = \frac{{1+b{x_{1}} }}{{1+b{x_{2}} }}\) and \(\sigma = \frac{{(ET  {x_{1}})[ {{x_{2}}  (1  \theta )ET} ]}}{{[ {(1  \theta )ET  {x_{1}}} ]({x_{2}}  ET)}}\). Hence (20) is calculated as
According to (15), (19), (21), and Î¾ (defined in (14)), the Floquet multiplier
After obtaining an expression for \(u_{2}\), we now discuss the conditions under which \(u_{2}\) is less than 1. Based on the inequality \({x_{1}} < (1  \theta )ET < ET < {x_{2}}\), we can conclude that \(ETx_{1} > (1\theta )ETx_{1}\) and \(x_{2} (1\theta )ET > x_{2}ET\), so there are \(\sigma > 1\) and \(\frac{{\vartheta + C\sigma }}{{\vartheta + C}} > 1\). Adding \(\frac{{cdqK}}{{r(1 + b{x_{1}})(1 + b{x_{2}})}}>0\) generates \({( {\frac{{\vartheta + C\sigma }}{{\vartheta + C}}} )^{ \frac{{cdqK}}{{r(1 + b{x_{1}})(1 + b{x_{2}})}}}}>1\). Therefore, for any \(\theta \in (0,1)\), when condition (18) is satisfied, we obtain that \(u_{2}<1\), and the solution \(({x^{T}}(t),0)\) is locally stable.â€ƒâ–¡
Given the above inference, under the premise of \(\tau =0\), when condition \({x_{1}} < x < {x^{*}}\) is met, the solution \(({x^{T}}(t),0)\) is locally stable, as illustrated in Fig. 7, it is evident that \(y_{k}^{+}\) diminishes with the progression of k, and \(\mathop {\lim }\limits _{k \to \infty } y_{k}^{+} = 0\). Therefore the solution \(({x^{T}}(t),0)\) is globally attractive. When condition \({x^{*}} < x < {x_{2}}\) is met, the solution \(({x^{T}}(t),0)\) is no longer stable, as illustrated in Fig. 8.
Examining subfigures Fig. 7(B) and 7(C), it becomes evident that when the boundary periodic solution stabilizes, x will oscillate periodically with higher frequencies over time t, whereas y will gradually decrease and disappear over time t. From subfigures Fig. 8(B) and 8(C), when the boundary periodic solution is unstable, both x and y will transition from the exterior to the interior of the limit cycle under the influence of pulse control, and the transformation process converges toward the limit cycle, ultimately achieving stability in a firstorder periodic solution within the confines of the limit cycle.
Based on the above facts, model (1) possesses a stable boundary solution. To more clearly see the impact of pulse control on system (1), we used different values of Ï„ for numerical simulation, as depicted in Fig. 9, and the observation reveals that as the parameter Ï„ varies from 0 to 0.1, system (1) manifests an intrinsic periodic solution regardless of the initial value. In this periodic solution, both x and y coexist over time.
5.2 Orderk positive periodic solution with \(\tau \ne 0\)
In the illustration provided by Fig. 9, it is evident that for any positive value of Ï„, no matter how small, system (1) exhibits a firstorder periodic solution. This implies an increased complexity in the dynamics of the system. Our primary focus of this section is on examining the properties of internal solution when \(\tau > 0\), especially the existence and stability of order1 periodic solution, as well as the existence of orderk periodic solution. This aim can be achieved by demonstrating the presence and stability of the fixed point of the PoincarĂ© map \(\varphi (y_{k}^{+} )\).
There is a threshold condition for the existence of order1 periodic solution in case \(J_{21}\).
Theorem 7
For case \(J_{21}\), there is at least one fixed point for map \(\varphi (y_{k}^{+} )\).
Proof
From the phase portrait Fig. 5(B) of case \(J_{21}\) we can see that the trajectory \({\Gamma _{1}}\) and \(L_{4}\) intersect at point \(Q_{1}(ET,{y_{{Q_{1}}}})\), and point \(Q_{1}\) transitions to point \(Q_{1}^{+} ((1  \theta )ET,{y_{Q_{1}^{+} }})\) after passing through the pulse effect. If \(\varphi ({y_{{Q_{0}}}}) = {y_{Q_{1}^{+} }} = {y_{{Q_{0}}}}\), then it is apparent that \({y_{{Q_{0}}}}\) serves as a fixed point for \(\varphi (y_{k}^{+} )\).
For case \(J_{21}\)(a), if \({y_{Q_{1}^{+} }} \ne {y_{{Q_{0}}}}\), whether \(Q_{1}^{+}\) is above or below \(Q_{0}\), the trajectory starting from point \(Q_{1}^{+}\) will intersect with \(L_{4}\) below point \(Q_{1}\), with a point of intersection of \(Q_{2}\). After the pulse effect, the pulse point of \(Q_{2}\) is marked as \(Q_{2}^{+} ((1  \theta )ET,{y_{Q_{2}^{+} }})\). Since the pulse function \(f(y)\) is increasing on the interval \([0,{y_{{Q_{1}}}}]\), when \({y_{{Q_{2}}}} < {y_{{Q_{1}}}}\), there is \({y_{Q_{2}^{+} }} < {y_{Q_{1}^{+} }}\), which is
On the flip side, \(f(0)=\tau \) signifies the lowest value of \(f(y)\). Hence there is a lowest pulse point in the \(L_{3}\), denoted as \(Q_{\tau }^{+} ((1  \theta )ET,\tau )\), such that
From (22) and (23), by the continuity of \(\varphi (y_{k}^{+} )\) the latter has at least one fixed point on \((\tau ,{y_{{Q_{1}^{+}}}})\).
For case \(J_{21}\)(b), if \({y_{Q_{1}^{+} }} \ne {y_{{Q_{0}}}}\), then since the pulse function \(f(y)\) is decreasing on the interval \([0,{y_{{Q_{1}}}}]\), we have
On the flip side, \(f(0)=\tau \) signifies the highest value of \(f(y)\), and \(Q_{\tau }^{+} \) is the highest pulse point, which yields
From (24) and (25), by the continuity of \(\varphi (y_{k}^{+} )\) the latter has at least one fixed point on \(({y_{{Q_{1}^{+}}}},\tau )\).
For case \(J_{21}\)(c), if \({y_{Q_{1}^{+} }} > {y_{{Q_{0}}}}\), then the inequality \(\varphi ({y_{{Q_{0}}}}) > {y_{{Q_{0}}}}\) is established. According to the previous description of the set \(\mathcal{N}\), the maximum value of the pulse function \(f(y)\) is \(y_{\tau }^{1}\), and the highest defined pulse point is \(Q_{\tau 1}^{+} ((1  \theta )ET,y_{\tau }^{1})\), and thus we have \(\varphi (y_{\tau }^{1}) < y_{\tau }^{1}\). Therefore \(\varphi (y_{k}^{+} )\) has a fixed point on \(({y_{{Q_{0}}}},y_{\tau }^{1})\). Similarly, if \({y_{Q_{1}^{+} }} < {y_{{Q_{0}}}}\), then \(\varphi ({y_{{Q_{0}}}}) < {y_{{Q_{0}}}}\), and the lowest pulse point is \(Q_{\delta }^{+} \) (defined in Remark 4), and thus \(\varphi ({y_{Q_{\delta }^{+} }}) > {y_{Q_{\delta }^{+} }}\). Therefore the map \(\varphi (y_{k}^{+} )\) possesses a fixed point on \(({y_{Q_{\delta }^{+} }},{y_{{Q_{0}}}})\).â€ƒâ–¡
Since in case \(J_{22}\), where \(y_{k}^{+} \in ({y_{{P_{2}}}},{y_{{P_{1}}}})\), the solution trajectory starting from \(L_{3}\) will not reach the pulse set, based on this premise, we obtain the following theorem.
Theorem 8
For case \(J_{22}\), if \({y_{{T^{+} }}} \ge {y_{{P_{1}}}}\) or \({y_{{T^{+} }}} \le {y_{{P_{2}}}}\), then the mapping \(\varphi (y_{k}^{+} )\) possesses at least a single fixed point.
Proof
According to the description of the solution trajectory in phase portrait Fig. 5(C), for case \(J_{22}\), curve \({\Gamma _{2}}\) intersects line \(L_{4}\) at point \(T(ET, y_{T})\) with a tangent relationship. If \({y_{{T^{+} }}} = {y_{{P_{1}}}}\) or \({y_{{T^{+} }}} = {y_{{P_{2}}}}\), then in that way, \(\varphi (y_{k}^{+} )\) must have a fixed point.
For case \(J_{22}\)(a), if \({y_{{T^{+} }}} > {y_{{P_{1}}}}\), then \(\varphi ({y_{{P_{1}}}}) > {y_{{P_{1}}}}\). In addition, the solution trajectory starting from point \({T^{+} }\) and line \(L_{4}\) will intersect at point \(T_{1}\) below point T satisfying \({y_{{T_{1}}}} < {y_{T}}\). Since the pulse function \(f(y)\) is increasing under this condition, there is \({y_{T_{1}^{+} }} < {y_{{T^{+} }}}\) such that
Therefore the mapping \(\varphi (y_{k}^{+} )\) possesses a single fixed point on \(({y_{{P_{1}}}},{y_{{T^{+} }}})\).
On the other hand, if \({y_{{T^{+} }}} < {y_{{P_{2}}}}\), then \(\varphi ({y_{{P_{2}}}}) < {y_{{P_{2}}}}\). In addition, there is a point \({R^{+} }((1  \theta )ET,{y_{{R^{+} }}})\) below point \({T^{+} }\) that satisfies \({y_{{R^{+} }}}(1 + \delta {y_{{R^{+} }}}) < \tau \). The trajectory starting from point \({R^{+} }\) intersects with \(L_{4}\) at point \({R_{1}}\) such that \({y_{{R_{1}}}} < {y_{{R^{+} }}}\). Therefore
where \({R_{1}^{+} }\) is the pulse point of \({{R_{1}}}\). Then \(\varphi (y_{k}^{+} )\) has a fixed point on \(({y_{{R^{+} }}},{y_{{P_{2}}}})\).
For case \(J_{22}\)(b), if \({y_{{T^{+} }}} > {y_{{P_{1}}}}\), then \(\varphi ({y_{{P_{1}}}}) > {y_{{P_{1}}}}\). Additionally, according to the previous definition of the phase set, in this case, \(f(0) = \tau \) is the maximum value of the ordinate of pulse point in the phase set, which yields \(\varphi (\tau ) < \tau \). Therefore the map \(\varphi (y_{k}^{+} )\) has at least one fixed point on \(({y_{{P_{1}}}},\tau )\).
On the other hand, if \({y_{{T^{+} }}} < {y_{{P_{2}}}}\), then \(\varphi ({y_{{P_{2}}}}) < {y_{{P_{2}}}}\). Additionally, \(T_{1}\) is located below point T, and since \(f(y)\) is decreasing, \({y_{T_{1}^{+} }} = \varphi ({y_{{T^{+} }}}) > {y_{{T^{+} }}}\). Therefore the map \(\varphi (y_{k}^{+} )\) has at least one fixed point on \(({y_{{T_{1}^{+}}}},y_{P_{2}})\).
For case \(J_{22}\)(c), if \({y_{{T^{+} }}} > {y_{{P_{1}}}}\), then \(\varphi ({y_{{P_{1}}}}) > {y_{{P_{1}}}}\). Moreover, \(f(y)\) first decreases and then increases on \([0,{y_{T}}]\) with a maximum value of \(y_{\tau }^{2}\). We can define the highest pulse point on the phase set as \(P_{\tau 2}^{+} ((1  \theta )ET,{y_{P_{\tau 2}^{+} }})\), which easily yields \(\varphi ({y_{P_{\tau 2}^{+} }}) < {y_{P_{\tau 2}^{+} }}\). This indicates the existence of a fixed point of \(\varphi (y_{k}^{+} )\) on the interval \(({y_{{P_{1}}}},{y_{P_{\tau 2}^{+} }})\).
On the other hand, if \({y_{{T^{+} }}} < {y_{{P_{2}}}}\), then \(\varphi ({y_{{P_{2}}}}) < {y_{{P_{2}}}}\). Moreover, the lowest pulse point on the phase set is \(Q_{\delta }^{+} \), which yields \(\varphi ({y_{Q_{\delta }^{+} }}) > {y_{Q_{\delta }^{+} }}\). This indicates the existence of a fixed point of \(\varphi (y_{k}^{+} )\) on the interval \(({y_{Q_{\delta }^{+} }},{y_{{P_{2}}}})\).â€ƒâ–¡
To further verify the above conclusions, numerical simulations were conducted for case \(J_{22}\)(a), as shown in Fig. 10. It is not difficult to see from Fig. 10(A) that the solution trajectory starting from point \(P_{1}\), under the action of two pulse effects, reaches \(T^{+}\) and \(T_{1}^{+}\) successively, resulting in two pulse segments, and the larger the \(y_{k}\), the greater the slope \(\zeta _{k}\), which also reflects the third property in Theorem 5.
Theorems 7 and 8 imply that \(\varphi (y_{k}^{+} )\) consistently possesses a value of y for which \(\varphi (y )=0\). Afterward, assuming that the fixed point of \(\varphi (y_{k}^{+} )\) is È³, it is unique. According to the properties of the solution and the above reasoning, we know that \(\varphi (y_{k}^{+} ) < y_{k}^{+}\) when \(y_{k}^{+} > \bar{y}\) and \(\varphi (y_{k}^{+} ) > y_{k}^{+}\) when \(y_{k}^{+} < \bar{y}\).
Now let us delve into the stability analysis of È³. This can be established by demonstrating the convergence of the following limit:
where \(y_{k}^{+} \in [0, + \infty )\), and \(i \ge 1\) are positive integers.
Theorem 9
For cases \(J_{21}\)(a), if either \(\varphi ({y_{{Q_{0}}}}) < {y_{{Q_{0}}}}\) or \(\varphi ({y_{{Q_{0}}}}) > {y_{{Q_{0}}}}\) with \({\varphi ^{2}}(y_{k}^{+} ) > y_{k}^{+} \) for \(y_{k}^{+} \in [{y_{{Q_{0}}}},{\bar{y}})\), then È³ is globally stable. For case \(J_{21}\)(b), if either \(\varphi ({y_{{Q_{0}}}}) > {y_{{Q_{0}}}}\) or \(\varphi ({y_{{Q_{0}}}}) < {y_{{Q_{0}}}}\) with \({\varphi ^{2}}(y_{k}^{+} ) < y_{k}^{+} \) for \(y_{k}^{+} \in ({\bar{y}},{y_{{Q_{0}}}}]\), then È³ is globally stable.
Proof
By Theorem 7 a fixed point for È³ exists in the case of \(J_{21}\).
In case \(J_{21}\)(a), when \(\varphi ({y_{{Q_{0}}}}) < {y_{{Q_{0}}}}\), obviously, \({\bar{y}} < {y_{{Q_{0}}}}\). We will address three intervals separately. (1) If \(y_{k}^{+} \in [0,{\bar{y}})\), then \(y_{k}^{+} < \varphi (y_{k}^{+} ) < {\bar{y}}\), and since \(\varphi (y_{k}^{+} )\) is increasing in this case, \(\varphi (y_{k}^{+} ) < {\varphi ^{2}}(y_{k}^{+} ) < {\bar{y}}\), and so on, \({\varphi ^{i  1}}(y_{k}^{+} ) < {\varphi ^{i}}(y_{k}^{+} ) < { \bar{y}}\). Additionally, treating \({\varphi ^{i}}(y_{k}^{+} )\) as a function of i yields limit (28). (2) If \(y_{k}^{+} \in ({\bar{y}},{y_{{Q_{0}}}}]\), then \(\bar{y} < \varphi (y_{k}^{+} ) < y_{k}^{+}\). Like in case (1), \({\bar{y}} < {\varphi ^{i}}(y_{k}^{+} ) < {\varphi ^{i  1}}(y_{k}^{+} )\). Hence limit (28) is established. (3) If \(y_{k}^{+} \in ({y_{{Q_{0}}}}, + \infty )\), then according to the properties of the solution, there must be \(\varphi (y_{k}^{+} ) \in (0,{y_{{Q_{0}}}})\), indicating that
Therefore, when \(\varphi ({y_{{Q_{0}}}}) < {y_{{Q_{0}}}}\), È³ is globally stable.
On the other hand, when \(\varphi ({y_{{Q_{0}}}}) > {y_{{Q_{0}}}}\) and, obviously, \({\bar{y}} > {y_{{Q_{0}}}}\), we also consider two intervals. (1) If \(y_{k}^{+} \in [{y_{{Q_{0}}}},{\bar{y}})\), then \(\varphi (y_{k}^{+} )\) is decreasing, which means that \({\bar{y}} < \varphi (y_{k}^{+} ) < \varphi ({y_{{Q_{0}}}})\). In addition, the relationship \({\varphi ^{2}}(y_{k}^{+} ) > y_{k}^{+} \) yields \(y_{k}^{+} < {\varphi ^{2}}(y_{k}^{+} ) < {\bar{y}}\). Further, we obtain \({\bar{y}} < {\varphi ^{3}}(y_{k}^{+} ) < {\varphi}(y_{k}^{+} )\), \({\varphi ^{2}}(y_{k}^{+} ) < {\varphi ^{4}}(y_{k}^{+} ) < {\bar{y}}\), and so on, \({\varphi ^{2i  2}}(y_{k}^{+} ) < {\varphi ^{2i}}(y_{k}^{+} ) < { \bar{y}}\). Therefore, limit (28) is established. For intervals (2) \(y_{k}^{+} \in [0,{y_{{Q_{0}}}}) \cup (\bar{y}, + \infty )\), we can conclude that there exists a positive integer \(j_{1}\) such that \({\varphi ^{j_{1}}}(y_{k}^{+} ) \in [{y_{{Q_{0}}}},{\bar{y}})\). Thereby
Therefore, when \(\varphi ({y_{{Q_{0}}}}) > {y_{{Q_{0}}}}\) with \({\varphi ^{2}}(y_{k}^{+} ) > y_{k}^{+} \) for \(y_{k}^{+} \in [{y_{{Q_{0}}}},{\bar{y}})\), È³ is globally stable.
In the case of \(J_{21}\)(b), the proof is analogous to that of case \(J_{21}\)(a).â€ƒâ–¡
Theorem 10
For cases \(J_{21}\)(c), if either \(\varphi ({y_{{Q_{0}}}}) < {y_{{Q_{0}}}}\), \(\varphi ({y_{d}}) > {y_{d}}\) or \(\varphi ({y_{{Q_{0}}}}) > {y_{{Q_{0}}}}\), \(\varphi ({y_{u}}) < {y_{u}}\) with \({\varphi ^{2}}(y_{k}^{+} ) < y_{k}^{+} \) for \(y_{k}^{+} \in (\bar{y},{y_{u}}]\), then the fixed point È³ is globally stable.
Proof
In the case of \(\varphi ({y_{{Q_{0}}}}) < {y_{{Q_{0}}}}\), \(\varphi ({y_{d}}) > {y_{d}}\), the fixed point exists in the interval \(({y_{d}},{y_{{Q_{0}}}})\), we also consider three intervals: (1) \([{y_{d}},\bar{y})\); (2) \((\bar{y},{y_{{Q_{0}}}}]\); and (3) \((0,{y_{d}}) \cup ({y_{{Q_{0}}}}, + \infty )\). For interval (1), we have \({y_{d}} \le y_{k}^{+} < \bar{y}\), and since \(\varphi (y_{k}^{+} )\) is increasing, it follows that \(y_{k}^{+} < \varphi (y_{k}^{+} ) < \bar{y}\). After repeated multiple times, resulting in \({\varphi ^{i  1}}(y_{k}^{+} ) < {\varphi ^{i}}(y_{k}^{+} ) < \bar{y}\), we can note that with the increasing value of i, \({\varphi ^{i}}(y_{k}^{+})\) likewise increases and gradually converges toward È³. Thus limit (28) is established. For interval (2), we have \(\bar{y} < y_{k}^{+} \le {y_{{Q_{0}}}}\), so we can also get \(\bar{y} < {\varphi ^{i}}(y_{k}^{+} ) < {\varphi ^{i  1}}(y_{k}^{+} )\). Thus limit (28) is established. For interval (3), there is a number \({j_{2}}\) such that \({\varphi ^{{j_{2}}}}(y_{k}^{+} ) \in [{y_{d}},{y_{{Q_{0}}}}]\) leads to
and thus È³ is globally stable.
On the other hand, in the case of \(\varphi ({y_{{Q_{0}}}}) > {y_{{Q_{0}}}}\), \(\varphi ({y_{u}}) < {y_{u}}\), the fixed point is in the interval \(({y_{{Q_{0}}}},{y_{u}})\), and we consider the following two intervals: (1) \((\bar{y},{y_{u}}]\) and (2) \((0,\bar{y}) \cup ({y_{u}}, + \infty )\). For interval (1), since \(\varphi (y_{k}^{+} )\) is decreasing, we have \(\bar{y} < {\varphi ^{2}}(y_{k}^{+} ) < y_{k}^{+} \), from which it follows that \(\bar{y} < {\varphi ^{4}}(y_{k}^{+} ) < {\varphi ^{2}}(y_{k}^{+} )\), and for all \(i \ge 1\), we have \(\bar{y} < {\varphi ^{2i}}(y_{k}^{+} ) < {\varphi ^{2i  2}}(y_{k}^{+} )\), which means that limit (28) is established. For interval (2), there exists a positive integer \({j_{3}}\) such that \({\varphi ^{{j_{3}}}}(y_{k}^{+} ) \in (\bar{y},{y_{u}}]\), which leads to
Therefore È³ is globally stable.â€ƒâ–¡
Theorem 11
For case \(J_{22}\)(d), if \(\varphi ({y_{{P_{2}}}}) < {y_{{P_{2}}}}\)or, alternatively, if \(\varphi ({y_{{P_{1}}}}) > {y_{{P_{1}}}}\) has \({\varphi ^{2}}(y_{k}^{+} ) > y_{k}^{+} \) for all \(y_{k}^{+} \in [{y_{{P_{1}}}},\bar{y})\) and satisfies \(\tau \ge {y_{{P_{1}}}}\), then È³ is globally stable. For case \(J_{22}\)(e), if \(\varphi ({y_{{P_{1}}}}) > {y_{{P_{1}}}}\)or, alternatively, if \(\varphi ({y_{{P_{2}}}}) < {y_{{P_{2}}}}\) has \({\varphi ^{2}}(y_{k}^{+} ) < y_{k}^{+} \) for all \(y_{k}^{+} \in (\bar{y},{y_{{P_{2}}}}]\) and satisfies \(\tau \le {y_{{P_{2}}}}\), then È³ is globally stable.
Proof
By Theorem 8, for case \(J_{22}\), if \({y_{{T^{+} }}} \ge {y_{{P_{1}}}}\) or \({y_{{T^{+} }}} \le {y_{{P_{2}}}}\), then \(\varphi (y_{k}^{+} )\) has a fixed point.
For case \(J_{22}\)(d), if \(\varphi ({y_{{P_{2}}}}) < {y_{{P_{2}}}}\), then the fixed point È³ is below \({y_{{P_{2}}}}\). Consider intervals (1) \([0,\bar{y})\), (2) \((\bar{y},{y_{{P_{2}}}}]\), and (3) \([{y_{{P_{1}}}}, + \infty )\), which is consistent with the case \(J_{21}\)(a) and \(\varphi ({y_{{Q_{0}}}}) < {y_{{Q_{0}}}}\) in Theorem 9.
On the other hand, if \(\varphi ({y_{{P_{1}}}}) > {y_{{P_{1}}}}\), then \(\bar{y}> {y_{{P_{1}}}}\). Consider two intervals (1) \([{y_{{P_{1}}}},\bar{y})\) and (2) \([0,{y_{{P_{2}}}}] \cup (\bar{y}, + \infty )\). Because \(\varphi (y_{k}^{+} )\) is decreasing in the first interval, it is not difficult to see that \(\bar{y} < \varphi (y_{k}^{+} ) \le \varphi ({y_{{P_{1}}}})\). Combining with the given condition \({\varphi ^{2}}(y_{k}^{+} ) > y_{k}^{+} \), we obtain \(y_{k}^{+} < {\varphi ^{2}}(y_{k}^{+} ) < \bar{y}\). Similarly, we can infer that \({\varphi ^{2i  2}}(y_{k}^{+} ) < {\varphi ^{2i}}(y_{k}^{+} ) < \bar{y}\), so limit (28) is established. For the second interval, since \(\varphi (0) = \tau \ge {y_{{P_{1}}}}\), there is a positive integer \({j_{4}}\) such that \({\varphi ^{{j_{4}}}}(y_{k}^{+} ) \in [{y_{{P_{1}}}},\bar{y})\). Therefore
and thus È³ is globally stable.
In the case of \(J_{22}\)(e), the proof follows a parallel process to that of \(J_{22}\)(d).â€ƒâ–¡
Theorem 12
For cases \(J_{22}\)(f), if \(\varphi ({y_{{P_{2}}}}) < {y_{{P_{2}}}}\), \(\varphi ({y_{{D}}}) > {y_{{D}}}\) or, alternatively, if \(\varphi ({y_{{P_{1}}}}) > {y_{{P_{1}}}}\), \(\varphi ({y_{U}}) < {y_{U}}\) with \({\varphi ^{2}}(y_{k}^{+} ) > y_{k}^{+} \) for \(y_{k}^{+} \in [{y_{P_{1}}}, \bar{y})\), then È³ is globally stable.
Proof
If \(\varphi ({y_{{P_{2}}}}) < {y_{{P_{2}}}}\), \(\varphi ({y_{{D}}}) > {y_{{D}}}\), then there is a fixed point È³ in the interval \(({y_{D}},{y_{{P_{2}}}})\). We consider three intervals: (1) \((\bar{y},{y_{{P_{2}}}}]\), (2) \([{y_{D}},\bar{y})\), and (3) \([0,{y_{D}}) \cup [{y_{{P_{1}}}}, + \infty )\). For the first interval, we have the inequality \(\bar{y} < \varphi (y_{k}^{+} ) < y_{k}^{+} \), and \(\varphi (y_{k}^{+} )\) is increasing, indicating that \({\varphi ^{i}}(y_{k}^{+} )\) decreases with the increase of i and gradually approaches È³. Similarly, for the second interval, \({\varphi ^{i}}(y_{k}^{+} )\) increases with the increase of i and gradually approaches È³, thus obtaining limit (28). For the third interval, there is a positive integer \({j_{5}}\) such that \({\varphi ^{{j_{5}}}}(y_{k}^{+} ) \in [{y_{{D}}},{y_{{P_{2}}}}]\). Hence
On the flip side, if \(\varphi ({y_{{P_{1}}}}) > {y_{{P_{1}}}}\), \(\varphi ({y_{U}}) < {y_{U}}\), then È³ is in the interval \(({y_{{P_{1}}}},{y_{U}})\). We consider two intervals (1) \([{y_{{P_{1}}}},\bar{y})\) and (2) \([0,{y_{{P_{2}}}}] \cup (\bar{y}, + \infty )\). When \({y_{{P_{1}}}} \le y_{k}^{+} < \bar{y}\), since \(\varphi (y_{k}^{+} )\) decreasing on the interval \([{y_{{P_{1}}}},{y_{U}}]\), we have \(\bar{y} < \varphi (y_{k}^{+} ) \le \varphi ({y_{{P_{1}}}})\), which, combined with the inequality \({\varphi ^{2}}(y_{k}^{+} ) > y_{k}^{+} \), yields \(y_{k}^{+} < {\varphi ^{2}}(y_{k}^{+} ) < \bar{y}\). Thus we can infer that \({\varphi ^{2i  2}}(y_{k}^{+} ) < {\varphi ^{2i}}(y_{k}^{+} ) < \bar{y}\), which indicates that limit (28) is established. When \(y_{k}^{+} \) belongs to the second interval, there exists a number \({j_{6}}\) such that \({\varphi ^{{j_{6}}}}(y_{k}^{+} ) \in [{y_{{P_{1}}}},\bar{y})\). Hence
and thus È³ is globally stable.â€ƒâ–¡
Theorems 9â€“12 delineate the pertinent conditions for the global stability of the fixed point of \(\varphi (y_{k}^{+})\), signifying the global stability of the firstorder periodic solution of system (1). We now discuss the orderk \((k \ge 2)\) periodic solution and only analyze only cases \(J_{21}\)(a) and (b).
According to Theorem 7, we know that system (1) must have an order1 periodic solution in case \(J_{21}\). Denote it by \(( {\xi (t),\eta (t)} )\) and assume that it passes through points \({G^{+} }((1  \theta )ET,\eta _{0}^{+} )\) and \(G(ET,{\eta _{0}})\). Now we give threshold conditions for the existence of only order1 periodic solution.
Theorem 13
For cases \(J_{21}\)(a), if \({y_{Q_{1}^{+} }} \le {y_{{Q_{0}}}}\), then system (1) exclusively displays an order1 periodic solution and does not possess an order2 periodic solution.
Proof
If \({y_{Q_{1}^{+} }} = {y_{{Q_{0}}}}\), then the conclusion is valid. If \({y_{Q_{1}^{+} }} < {y_{{Q_{0}}}}\), then assuming that the initial point of system (1) is \(Q_{1}^{+} \), the solution trajectory will reach point \({Q_{2}}\) on the pulse set as the solution trajectories cannot intersect. Therefore \({Q_{2}}\) is below \({Q_{1}}\) and then mapped to \(Q_{2}^{+} \) through the pulse effect. Based on the increasing pulse function \(f(y)\) in this case, there is \(Q_{2}^{+} \) below \(Q_{1}^{+} \), which means that \(y_{k}^{+} \) decreases as \(y_{k}\) decreases, resulting in that point \(Q_{k+1}^{+} \) is below point \(Q_{k}^{+} \). Hence the sequence \(y_{Q_{k}^{+}}\) \((k = 1,2, \dots ,n)\) is decreasing, that is,
It is not difficult to see from relationship (29) that system (1) only exhibits an order1 without an order2 periodic solution.â€ƒâ–¡
Similarly, for case \(J_{21}\)(b), if \({y_{Q_{1}^{+} }} \ge {y_{{Q_{0}}}}\), then we can arrive at the same conclusion.
Now we give threshold conditions for the existence of order1 or order2 periodic solution.
Theorem 14
For cases \(J_{21}\)(a), if \({y_{Q_{1}^{+} }} > {y_{{Q_{0}}}}\) and \({y_{Q_{2}^{+} }} \ge {y_{{Q_{0}}}}\), then system (1) only exhibits order1 or order2 without order3 periodic solution.
Proof
If \({y_{Q_{1}^{+} }} > {y_{{Q_{0}}}}\), \({y_{Q_{2}^{+} }} = {y_{{Q_{0}}}}\), then the conclusion is valid. If \({y_{Q_{2}^{+} }} > {y_{{Q_{0}}}}\), then since \(\varphi (y_{k}^{+} )\) is decreasing on the interval \([{y_{{Q_{0}}}}, + \infty )\), so \({y_{Q_{2}^{+} }} < {y_{Q_{1}^{+} }}\), the pulse point \({Q_{3}^{+} }\) corresponding to the solution starting from \({Q_{2}^{+} }\) will fall into the interval \(({y_{Q_{2}^{+} }},{y_{Q_{1}^{+} }})\), and then pulse point \({Q_{4}^{+} }\) corresponding to the solution starting from \({Q_{3}^{+} }\) will fall into the interval \(({y_{Q_{2}^{+} }},{y_{Q_{3}^{+} }})\). Therefore \({y_{Q_{1}^{+} }} > {y_{Q_{3}^{+} }} > {y_{Q_{4}^{+} }} > {y_{Q_{2}^{+} }} > {y_{{Q_{0}}}}\). Without loss of generality, after k times of pulse effect, the sequence \(y_{Q_{k}^{+}}\) satisfies
According to equation (30), if
then \(\varphi (y_{k}^{+})\) possesses a fixed point. Furthermore, if
then \(\varphi (y_{k}^{+} )\) has a periodic twopoint cycle. Based on the above description, system (1) does not exhibit an order3 periodic solution.â€ƒâ–¡
Similarly, for case \(J_{21}\)(b), if \({y_{Q_{1}^{+} }} < {y_{{Q_{0}}}}\) and \({y_{Q_{2}^{+} }} \le {y_{{Q_{0}}}}\), then we can arrive at the same conclusion.
Now we proceed to discussing the conditions for the existence of an order3 periodic solution.
Theorem 15
For case \(J_{21}\)(a), assuming that \(y_{q}^{+} = \min \{ y_{k}^{+} \vert {\varphi (y_{k}^{+} ) = {y_{{Q_{0}}}}} .\}\), if \(\varphi ({y_{{Q_{0}}}}) > {y_{{Q_{0}}}}\) and \({\varphi ^{2}}({y_{{Q_{0}}}}) < y_{q}^{+} \), then system (1) exhibits an order3 periodic solution.
Proof
According to the assumed conditions, it is evident that \(\varphi (y_{k}^{+} )\) possesses a fixed point on \(({y_{{Q_{0}}}},{y_{Q_{1}^{+} }})\). Therefore we only need to prove that there exists a number \(y \in {Y_{1}}\) such that \(\varphi (y) \ne y\) and \({\varphi ^{3}}(y) = y\). Indeed, it is easy to obtain
By the continuity of \(\varphi (y_{k}^{+})\) there exists a number \(\tilde{y} \in (0, y_{q}^{+})\) such that \(\tilde{y} < {y_{{Q_{0}}}}\) and \({\varphi ^{3}}(\tilde{y}) = \tilde{y}\). In other words, system (1) has an order3 periodic solution.â€ƒâ–¡
Theorem 15 indicates that a discrete mapping \(\varphi (y_{k}^{+} )\) has a periodic point with a minimum period of 3. According to the Sarkovskii theorem, the mapping \(\varphi (y_{k}^{+} )\) also has periodic points with a minimum period of any positive integer, implying the manifestation of chaotic phenomena in system (1). Consequently, system (1) also possesses orderk periodic solutions with \(k > 3\).
5.3 Numerical simulation
When \(\tau \ne 0\), conclusions have been derived from Theorems 7â€“15. Now we employ numerical simulations to validate these theorems. The typical approach is to examine its bifurcation diagram, revealing the system dynamic changes concerning an invariant parameter. Consequently, we have depicted the bifurcation diagram of system (1) with respect to p, h, Ï„, and Î´, as illustrated in Fig. 11.
Figure 11(A) shows the bifurcation diagram regarding p. It is easy to see that when \(p<0.3\), the system is in chaos, and in the interval \((0.3,0.4)\), the system undergoes a transition from a highorder to a loworder periodic solution in the chaotic band, which is the periodhalving bifurcation. Afterward, every time the system undergoes such a transition, The order of the periodic solution will undergo halving until \(p \approx 0.718\), at which point an order1 periodic solution will emerge in system (1). This indicates that the system no longer depends on the initial value, and any solution trajectory will tend to the order1 periodic solution.
Similarly, with h as the bifurcation parameter, the obtained bifurcation diagram can also illustrate the complex dynamics of system (1). From Fig. 11(B) we can see that when \(h=0\) and other parameter values are fixed, the order1 periodic solution exists, and as h increases within the interval \((0,30)\), the periodic solution of the system undergoes a rapid transition from order 1 to order 2, and then to order 4, until it enters the chaotic region, indicating the existence of perioddoubling bifurcation. When \(h \approx 34.5\), the system generates an order3 periodic solution from the chaotic region, and then h continues to increase. The perioddoubling bifurcation will cause a transition from the order 3 to the order 6 periodic solution until it enters the chaotic region again.
To highlight the impact of nonlinear pulses on the dynamic characteristics of model (1), we then selected Ï„ and Î´ as bifurcation parameters, as shown in Figs. 11(C) and 11(D). The results demonstrate that the system also displays noteworthy behavior in periodic solution transitions. Figure 11(C) reflects that system (1) has undergone transcritical and perioddoubling bifurcations successively, leading to the appearance of order1 periodic solution and the phenomenon of periodic increases from order k to order \((k+1)\). Figure 11(D) presents the phenomenon of periodic decreases from order \((k+1)\) to order k until order 1. These results all indicate that the nonlinear pulse constructed due to resource limitation has a significant impact on the periodic oscillations of two populations; it also shows us the rationality of considering resource limitation in mathematical model related to pest management.
To further understand the impact of resource limitation on the orderk periodic solution. As shown in Fig. 12, we fix all parameter values in the ODE model and only change the parameters related to nonlinear pulse and threshold ET, draw the phase portrait of system (1) from an order1 to order4 periodic solution. We can see that within a cycle T (referring to the time interval between x and y passing through the same point), the more complex the trajectory, the greater the pest outbreak period. This indicates that when different pulse strategies are applied, the outbreak mode and frequency of pests change.
Since resource limitation plays a crucial role in comprehensive control measures, the killing rate of pesticides is also a topic that we need to pay special attention to. Based on Fig. 11(A), we can see that when \(p \approx 0.374\), the chaotic attractor of the system disappears, and a periodic attractor suddenly appears [38]. Therefore we fixed all parameters, taking \(p = 0.374\), and the outbreak mode of pests is shown in Fig. 13. The results show that system (1) possesses an order8 periodic solution, indicating that the pest population will experience eight different degrees of outbreaks within one cycle, and the duration of each outbreak varies, and this can also be seen in the time series in Fig. 13(B). Similar phenomena are also quite common in many nervous systems [39]. In addition, it indicates that the effectiveness of pesticides is also one of the important indicators for pest control strategy.
Of course, in addition to the parameter p, we can see from the bifurcation diagram that changes in parameters h, Ï„, Î´ also exacerbate the complexity of system (1). Extensive numerical studies indicate that the system possesses a multistability phenomenon. For example, in Fig. 14 the coexistence of the firstorder periodic solution and the limit cycle can be observed, suggesting that the ultimate state of the predatorâ€“prey system will be contingent on the initial values of pests and natural enemies. If the initial value is situated inside the limit cycle, then the system will ultimately converge to the stable limit cycle Î©; if it is outside the limit cycle, then the system will tend to the firstorder periodic solution. This result has long been confirmed [12, 40].
6 Conclusions
In the previous pest management models, the effectiveness of insecticides was often considered fixed, thus ignoring the issue of insufficient agricultural resources during pest outbreaks. We established a nonlinear pulse suitable for resource limitation conditions, incorporated the fear effect and the Holling II functional response, and formulated a predatorâ€“prey model that accounts for antipredator behavior. The dynamic behavior of system (1) was mainly studied, and the effects of changes in insecticide fatality rate and natural enemy release on pest outbreaks were expounded.
For the established model, the phase diagram is used to get the range of the phase set and build a PoincarĂ© map. We utilized the properties of the successor function to study the existence and stability of the boundary solution. Figures 7 and 8 mean that under the condition of no artificial release of natural enemies, the number of pests show different periodic oscillations due to different natural enemy mortality and thresholds, but the number of pests will always be controlled within the given threshold range. Furthermore, by the properties of the PoincarĂ© map and nonlinear impulse, the existence conditions for the system to possess order1 to order3 periodic solutions are given. In particular, it is expounded that the system can produce periodic solutions of any order in chaos.
The numerical simulation results show that system (1) possesses rich and complex dynamic properties, such as multiple bifurcation types, periodic windows, and chaotic crises. By applying different impulse control strategies pests and natural enemies will eventually coexist in different forms, and pests will also show diversified outbreak patterns. Figures 12 and 13 indicate that the outbreak pattern of pests depends on the selection of sensitive parameters. In addition, we found the coexistence of the order1 periodic solution and the limit cycle, which reflects that the initial value of system (1) is also an important indicator that affects the global dynamics in a particular case. This helps to provide practical guidance for pest management.
Compared to previous research on impulsive semidynamical systems, the differences in this paper are primarily manifested in the following aspects: (1) Based on the relationship between equilibrium point and threshold, 12 cases are listed, and pulse sets and phase sets are discussed; (2) The existence of parameter h reduces the oscillation amplitude of the solution trajectory of system (1) under resource limitation; (3) The multistability phenomenon of the system makes it possible for pests and natural enemies to coexist in different periodic solutions under the same control strategy; (4) Illustrations of order1 to order4 solutions, as well as of order8 periodic solution, are provided to facilitate a comprehensive understanding of the temporal patterns of pest outbreaks. Nevertheless, it should be noted that the insecticide effect in this paper only targets pests and does not consider the impact on natural enemies or pesticide residues, which can confuse the judgment of optimizing agricultural economic conditions. Therefore adopting appropriate and safe pesticide replacement strategies to improve the economic feasibility of crops will be the focus of our future research.
Data availability
No data were used for the research described in the paper.
References
Fitri, I.R., Hanum, F., Kusnanto, A., Bakhtiar, T.: Optimal pest control strategies with costeffectiveness analysis. Sci. World J. 2021, 1â€“17 (2021)
Mamta, B., Rajam, M.: RNAi technology: a new platform for crop pest control. Physiology and Molecular Biology of Plants 23, 487â€“501 (2017)
Raupp, M.J., Holmes, J.J., Sadof, C., Shrewsbury, P., Davidson, J.A.: Effects of cover sprays and residual pesticides on scale insects and natural enemies in urban forests. J. Arboric. 27(4), 203â€“214 (2001)
Daelemans, R., Hulsmans, E., Laenen, E., Remy, S., Belien, T., Honnay, O.: Direct and indirect effects of management and landscape on biological pest control and crop pest infestation in apple orchards. J. Appl. Ecol. 60(1), 181â€“192 (2023)
Kungu, M., Deletre, E., Subramanian, S., Fiaboe, K.K., Gitonga, L., Lagat, Z.O., Martin, T.: A new mite IPM strategy: predator avoidance behaviour resulting from the synergetic effects of predator release and acaricidetreated nets. Pest Manag. Sci. 75(4), 979â€“985 (2019)
Tang, S., Cheke, R.A.: Statedependent impulsive models of integrated pest management (IPM) strategies and their dynamic consequences. J. Math. Biol. 50, 257â€“292 (2005)
Tian, Y., Tang, S., Cheke, R.A.: Dynamic complexity of a predatorâ€“prey model for IPM with nonlinear impulsive control incorporating a regulatory factor for predator releases. Math. Model. Anal. 24(1), 134â€“154 (2019)
Tang, S., Cheke, R.A.: Models for integrated pest control and their biological implications. Math. Biosci. 215(1), 115â€“125 (2008)
Tang, S., Liang, J., Tan, Y., Cheke, R.A.: Threshold conditions for integrated pest management models with pesticides that have residual effects. J. Math. Biol. 66(1â€“2), 1â€“35 (2013)
Tan, X., Qin, W., Tang, G., Xiang, C., Liu, X., et al.: Models to assess the effects of nonsmooth control and stochastic perturbation on pest control: a pestnaturalenemy ecosystem. Complexity 2019, 8326164 (2019)
Qin, W., Tang, G., Tang, S., et al.: Generalized predatorâ€“prey model with nonlinear impulsive control strategy. J. Appl. Math. 2014, 919242 (2014)
Yang, J., Tang, S.: Holling type ii predatorâ€“prey model with nonlinear pulse as statedependent feedback control. J. Comput. Appl. Math. 291, 225â€“241 (2016)
Baishya, C.: Dynamics of fractional Holling typeII predatorâ€“prey model with prey refuge and additional food to predator. J. Appl. Nonlinear Dyn. 10(02), 315â€“328 (2021)
Tang, S., Tang, G., Cheke, R.A.: Optimum timing for integrated pest management: modelling rates of pesticide application and natural enemy releases. J. Theor. Biol. 264(2), 623â€“638 (2010)
Zhu, Y., Liu, L., Zhang, Z.: Dynamics of a nonsmooth pestnatural enemy model with the threshold control strategy. Phys. Scr. (2023)
He, M., Tang, S., Tang, G., Xiang, C.: Bifurcation analysis of an ecological system with statedependent feedback control and periodic forcing. Int. J. Bifurc. Chaos 31(15), 2150227 (2021)
Tian, Y., Li, H.: The study of a predatorâ€“prey model with fear effect based on statedependent harvesting strategy. Complexity 2022, 1â€“19 (2022)
Bainov, D.D., Covachev, V.: Impulsive differential equations with a small parameter 24 (1994)
Bainov, D.D., Simeonov, P.: Impulsive differential equations: asymptotic properties of the solutions 28 (1995)
Bainov, D.D., Simeonov, P.: Impulsive differential equations: periodic solutions and applications (2017)
Dubey, B., Kumar, A., et al.: Stability switching and chaos in a multiple delayed preyâ€“predator model with fear effect and antipredator behavior. Math. Comput. Simul. 188, 164â€“192 (2021)
Prasad, K.D., Sasmal, S.K.: Dynamics of antipredator behavior and effect of fear on preyâ€“predator model. J. Biol. Syst. 30(04), 887â€“912 (2022)
Raw, S., Mishra, P., Tiwari, B.: Mathematical study about a predatorâ€“prey model with antipredator behavior. Int. J. Appl. Comput. Math. 6, 1â€“22 (2020)
Ives, A.R., Dobson, A.P.: Antipredator behavior and the population dynamics of simple predatorâ€“prey systems. Am. Nat. 130(3), 431â€“447 (1987)
Tang, B., Xiao, Y.: Bifurcation analysis of a predatorâ€“prey model with antipredator behaviour. Chaos Solitons Fractals 70, 58â€“68 (2015)
Qi, H., Meng, X.: Threshold behavior of a stochastic predatorâ€“prey system with prey refuge and fear effect. Appl. Math. Lett. 113, 106846 (2021)
Sarkar, K., Khajanchi, S.: Impact of fear effect on the growth of prey in a predatorâ€“prey interaction model. Ecol. Complex. 42, 100826 (2020)
Zhang, H., Cai, Y., Fu, S., Wang, W.: Impact of the fear effect in a preyâ€“predator model incorporating a prey refuge. Appl. Math. Comput. 356, 328â€“337 (2019)
Wang, X., Zou, X.: Modeling the fear effect in predatorâ€“prey interactions with adaptive avoidance of predators. Bull. Math. Biol. 79, 1325â€“1359 (2017)
Tang, S., Tang, B., Wang, A., Xiao, Y.: Holling II predatorâ€“prey impulsive semidynamic model with complex PoincarĂ© map. Nonlinear Dyn. 81, 1575â€“1596 (2015)
Gao, W., Tang, S.: The effects of impulsive releasing methods of natural enemies on pest control and dynamical complexity. Nonlinear Anal. Hybrid Syst. 5(3), 540â€“553 (2011)
Wilby, A., Thomas, M.B.: Natural enemy diversity and pest control: patterns of pest emergence with agricultural intensification. Ecol. Lett. 5(3), 353â€“360 (2002)
Wang, X., Tian, Y., Tang, S., et al.: A Holling type II pest and natural enemy model with density dependent IPM strategy. Math. Probl. Eng. 2017, 8683207 (2017)
Qin, W., Tang, S., Cheke, R.A., et al.: The effects of resource limitation on a predatorâ€“prey model with control measures as nonlinear pulses. Math. Probl. Eng. 2014, 450935 (2014)
Prasad, K.D., Prasad, B.: Qualitative analysis of additional food provided predatorâ€“prey system with antipredator behaviour in prey. Nonlinear Dyn. 96(3), 1765â€“1793 (2019)
Hwang, T.W.: Global analysis of the predatorâ€“prey system with Beddingtonâ€“DeAngelis functional response. J. Math. Anal. Appl. 281(1), 395â€“401 (2003)
Hwang, T.W.: Uniqueness of limit cycles of the predatorâ€“prey system with Beddingtonâ€“DeAngelis functional response. J. Math. Anal. Appl. 290(1), 113â€“122 (2004)
Grebogi, C., Ott, E., Yorke, J.A.: Crises, sudden changes in chaotic attractors, and transient chaos. Phys. D: Nonlinear Phenom. 7(1â€“3), 181â€“200 (1983)
Moehlis, J.: Dynamical systems in neuroscience: the geometry of excitability and bursting. SIAM Rev. 50(2), 397â€“401 (2008)
Jones, W.A., Greenberg, S., Legaspi, B. Jr: The effect of varying Bemisia argentifolii and Eretmocerus mundus ratios on parasitism. BioControl 44(1), 13â€“28 (1999)
Acknowledgements
The authors would like to thank the editor and the anonymous reviewers for their constructive comments and suggestions to improve the quality of the paper.
Funding
This work is supported by National Natural Science Foundation of China (Nos. 12261104, 12361104) and the Youth Talent Program of Xingdian Talent Support Plan (No. XDYCQNRC20220708).
Author information
Authors and Affiliations
Contributions
Wenjie Qin: Idea, methodology, project administration, and review editing. Zhengjun Dong: Software, writing, and formal analysis. Both authors read and approved the final manuscript.
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
Qin, W., Dong, Z. The impact of resource limitation on the pestnatural enemy ecosystem with antipredator behavior and fear effect. Adv Cont Discr Mod 2024, 10 (2024). https://doi.org/10.1186/s13662024038049
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662024038049