 Research
 Open Access
 Published:
Investigation on dynamics of an impulsive predator–prey system with generalized Holling type IV functional response and antipredator behavior
Advances in Difference Equations volume 2021, Article number: 160 (2021)
Abstract
In the present article, we propose and analyze a new mathematical model for a predator–prey system including the following terms: a Monod–Haldane functional response (a generalized Holling type IV), a term describing the antipredator behavior of prey populations and one for an impulsive control strategy. In particular, we establish the existence condition under which the system has a locally asymptotically stable preyeradication periodic solution. Violating such a condition, the system turns out to be permanent. Employing bifurcation theory, some conditions, under which the existence and stability of a positive periodic solution of the system occur but its preyeradication periodic solution becomes unstable, are provided. Furthermore, numerical simulations for the proposed model are given to confirm the obtained theoretical results.
1 Introduction
Natural phenomena such as porous medium problems and periodically oscillatory waves that we usually observe in science, engineering or some other fields can be explained via mathematical models which are often formulated by means of a differential equation or a system of differential equations [1–3]. However, a relationship between predators and preys in an ecological system is considered as one of the most interesting natural phenomena because it is a type of the most fundamental biological systems in nature. Due to its universal existence and importance, the dynamical behaviors of predator–prey systems have been studied by a great number of scholars [4–7]. Interactions between predator and prey populations are extensively exploited for arranging economically damaging prey (pest) species in an ecofriendly community. In 1925–1926, Lotka and Volterra described the relationship between predators and their preys in an ecological system by establishing a system of two autonomous ordinary differential equations, namely the Lotka–Volterra model. The Lotka–Volterra system is the simplest model of predator–prey interactions based on linear per capita growth rates [8, 9]. Some recent developments of complex predator–prey systems, which have been investigated in depth by many researchers to obtain their dynamics, are as follows. For example, Tiwari et al. [10] proposed and analyzed a mathematical model for a predator–prey system with multiple Allee effect acting on the growth rate of the prey population. Haldar et al. [11] formulated a delayinduced ecoepidemic model using a reconstructed Leslie–Gowertype growth rate and then analyzed the dynamics of the system with infection in the prey population. A predator–prey model with the additive Allee effect and the fear effect in the prey was presented and investigated by Lai et al. [12]. The bifurcation analysis of the model was explored by considering on the impact of these two effects. To further grasp other crucial predator–prey mathematical models in detail, one can refer to [13–19].
It has been found that the prey adopts several mechanisms for overcoming the predation pressure in their interactions. Two such techniques, which are used in the predator–prey models for an ecological system but not well scrutinized in the literature, are group defense and antipredator behavior in prey [20]. Firstly, group defense [21–24] is a term used to describe the phenomenon whereby predation is decreased or even prevented altogether because of the enlarged ability of the prey to maintain its own survival via better defending or disguising itself when a sufficiently large number of prey appear. The explorations for predator–prey models with group defense were considered by many researchers such as in [24–27]. Particularly, Freedman and Wolkowicz introduced a general model of predator–prey interactions in which the prey behaves a group defense and there is no mutual interference among predators. Their model consisting of autonomous ordinary differential equations of generalized Gausstype can be expressed as follows:
where \(x(t)\) and \(y(t)\) represent the density of prey and predator populations, respectively. The functions g, p and q are assumed to be continuously differentiable and the parameters d and k are positive constants. More details as regards system (1) can be found in [21].
Secondly, preys can sometimes jeopardize their predators. This leads to role reversals in predators and prey, namely antipredator behaviors. Several authors studied the complicated dynamics of predator–prey systems with antipredator behaviors such as in [20, 28–33]. In particular, an antipredator behavior of prey [20] is a counterattacking approach in which adult preys attack the juvenile predators to decrease their future predation circumstances. Biological experiments demonstrate that antipredator behaviors of prey populations are characterized as (i) morphological changes or behavior changes [34, 35], or (ii) attacking their predators [29, 36]. Normally, juvenile preys escaping from predation and becoming adult can counterattack and kill juvenile predators, but do not consume them so that a number of preys probably killed in the future are reduced [37]. Therefore, this cyclic dominance is very significant for predator–prey interactions because there are adverse effects on the biological control strategy. Here are some recent examples of studies of predator–prey models with antipredator behaviors. In 2017, Sun et al. [38] introduced a predator–prey model equipped with antipredator behaviors occurring only when the population size of the prey is greater than a threshold. They concluded that a large antipredator rate induces the prey population to persist but whether we have coexistence between prey and predator populations depends upon the threshold activating antipredator behavior. In 2019, Prasad et al. [20] analyzed the predator–prey model with an antipredator behavior in prey to overcome the loss in predator populations via catering the predators with some additional food. However, we are quite interested in studying the effect of antipredator behavior on the predator–prey system proposed by Tang and Xiao [30]. Their mathematical model is expressed as
in which the functional response \(\varPsi (x)\) is specifically chosen to be the simplified Monod–Haldane functional response \(\varPsi (x)=\frac{\beta x }{a+x^{2}}\), where β is the capture rate of the predator and a is the reciprocal of group defense in prey. The remaining parameters in system (2) are described as follows: r is the intrinsic growth rate of the prey, k is the prey carrying capacity, μ is the conversion fraction of prey into predator and d is the natural death rate of the predator population. The parameter η is the rate of antipredator behavior of prey to the predator population in such a way that this behavior reduces the growth of the predator population because the prey population is not mainly fed on the predator population. All of the parameter values in system (2) are assumed to be positive. Actually, there are many types of functional response \(\varPsi (x)\) indicating the change in the density of prey attacked per unit of time per predator when the prey density changes. Some interesting functional responses, widely used in predator–prey models, are Holling type, sigmoid type and Beddington–DeAngelis functional responses. More details as regards the functional responses can be found in [23, 39–41]. However, the generalized Holling type IV functional response or the Monod–Haldane function [5, 42–45]
where β, a, b are positive constants, will be selected to use in our work due to its nonmonotonicity.
Next, we adopt the predator–prey model with antipredator behavior (2) via replacing \(\varPsi (x)\) with the generalized Holling type IV functional response in Eq. (3). As mentioned, we obtain the following autonomous system:
System (4) can be thought of as adding the antipredator term, \(\eta x y\), to the predator–prey model with prey group defense in Eq. (1) from which the functions g, p and q are identified as
The functions g, p and q in (5) satisfy the conditions (2)–(4) given in [21], respectively, with \(M=\sqrt{a}\).
Defining \(Q(x)=q(x)\eta x\), we obtain
Using Descartes’ rule of signs, if \(a\eta <\beta \mu \), then the equation \(Q'(x)=0\) has exactly one positive real root denoted by \(x=M^{*}\). It is not difficult to see that \(Q(x), x \in [0,\infty )\) has a global maximum at \(M^{*}\). Now, we must assume for system (4) that \(Q(M^{*})>d\) because of otherwise the predator cannot survive on the prey at any density. The predator–prey system (4) will be a part of our impulsive problem proposed later on.
The remaining parts of this paper are organized as follows. In Sect. 2, an impulsive differential system based on the predator–prey model (4) is formulated. The meaning of the state variables and the parameters of the system is given there. Section 3 provides the theoretical outcomes of the impulsive model including the basic results, the extinction and permanence and the bifurcation and existence of positive periodic solution obtained using the Floquet theory of an impulsive system and bifurcation theory. Numerical results showing that the system can exhibit several interesting phenomena are given in Sect. 4. We discuss and conclude our results in the last section.
2 Impulsive model formulation
Over the last few decades, impulsive differential equations have been found in almost every region of applied science and have been studied in many fields such as impulsive birth [46], impulsive vaccination [47], chemotherapeutic treatment of disease [48] and population ecology [49, 50]. In general, they are exploited to describe the phenomena depending upon steep or instantaneous changes which make the differential system more intractable. A large number of researchers have suggested to apply an impulsive control strategy [50–54] to a modified predator–prey model for obtaining some desired results such as a reduction in pest populations in a farm. This approach is known as integrated pest management (IPM), which is a suitable method for manipulating pests (or preys) with a combination of biological, cultural, physical and chemical tools so that one can minimize economic, health and environmental risks [51, 55]. Periodically releasing natural enemies or spraying pesticides at a different fixed time is regarded as a certain example of the IPM.
The present section is devoted to formulating an impulsive mathematical model for predator–prey model (4) in which the generalized Holling type IV functional response and the antipredator behavior are inserted. Our impulsive differential system with a fixed moment can be expressed as
where \(\Delta x(t)=x(t^{+})x(t)\), \(\Delta y(t)=y(t^{+})y(t)\) and T is the impulsive period for releasing predators in order to remove target pests, prevent harmless pests from extinction and drive target pests to extinction, or control target pests at acceptably low level to avoid an increase of pest population due to an economic loss. The notations \(x(t^{+})\) and \(y(t^{+})\) are the right limits representing the values of x and y immediately after a pulse at time t. The number \(n \in \mathbb{N}=\{1,2,3,\ldots\}\) and \(p_{1}\), \(p_{2}\), \(p_{3}\) are nonnegative constants with \(0 \leq p_{1}\), \(p_{2} < 1\), \(p_{3} \geq 0\). Here, \(p_{1}\) and \(p_{2}\) represent the proportional constants of the prey and predator, respectively which are eradicated by using chemical poisons in agriculture or by harvesting. The constant \(p_{3}\) is the density of predators released each time. Consequently, the last two equations of Eq. (7) can be considered as the IPM of the system. The values of the parameters r, k, β, μ, a, b, d, η are assumed to be positive. The descriptive list of the variables and parameters presented in system (7) is shown in Table 1. To the best of the authors’ knowledge, the impulsive system (7) has never been proposed and investigated before so the dynamics of the system remains unclear, and falls within the scope of our exploration.
3 Analysis of the model
With a view on the use of the generalized Holling type IV functional response, the antipredator behavior and the impulsive IPM appearing in the impulsive predator–prey system (7), we are interested in analyzing some important properties of the system in this section.
3.1 Fundamental results
In the following section, we will show that a solution of system (7) is nonnegative and bounded above for sufficient large t. In addition, the system has a preyeradication periodic solution.
Let \(\mathbb{R}_{+} = [0,\infty )\), \(\mathbb{R}^{2}_{+}= \{z=(x,y) \in \mathbb{R}^{2} : x ,y \in \mathbb{R}_{+}\}\). Let \(F = (F_{1}, F_{2})\) denote the map defined by the right hand of system (7). Then a function \(V : \mathbb{R}_{+}\times \mathbb{R}_{+}^{2}\rightarrow \mathbb{R}_{+}\) is said to belong to class \(V_{0}\) if [56]:

(i)
V is continuous in \((t,z)\in (nT, (n+1)T] \times \mathbb{R}_{+}^{2}\) and for each \(z \in \mathbb{R}^{2}_{+}\), \(n \in \mathbb{N} \),
$$ \lim_{(t,v)\rightarrow (nT^{+},z)} V (t, v) =V \bigl(nT^{+}, z\bigr) $$(8)exists.

(ii)
V is locally Lipschitzian in z.
Definition 3.1
Let \(V \in V_{0}\). Then, for \((t, z) \in (nT, (n+1)T] \times \mathbb{R}^{2}_{+}\), the upper right derivative of \(V(t,z)\) with respect to the impulsive differential system (7) is defined as
The solution \(z(t)=(x(t),y(t))\) of system (7) is a piecewise continuous function with the properties that \(z : \mathbb{R}^{+}\rightarrow \mathbb{R}^{2} _{+}\) is continuous on \((nT, (n+1)T], n\in \mathbb{N}\), and \(z(nT^{+}) = \lim_{t\rightarrow nT^{+} }z(t)\) exists. The smoothness properties of F ensure the global existence and uniqueness of solutions of system (7). More details can be found in [57]. Note from system (7) that \(\frac{dx(t)}{dt}=0\) and \(\frac{dy(t)}{dt}=0\) whenever \(x(t) = 0\) and \(y(t) = 0\) for \(t \neq nT\) and \(x(nT^{+}) = (1  p_{1})x(nT)\) and \(y(nT^{+}) =(1 p_{2})y(nT) + p_{3}\) where \(0 \leq p_{1}\), \(p_{2} < 1\), \(p_{3} \geq 0\). Then we have the following lemma.
Lemma 3.1
Suppose \(z(t)=(x(t),y(t))\) is a solution of system (7) with \(z(0^{+})\geq 0\). Then \(z(t) \geq 0\) for all \(t \geq 0\). Moreover, \(z(t) >0\) for all \(t \geq 0 \) if \(z(0^{+}) > 0\).
Proof
The proof by contradiction is here performed. Suppose that there exists \(\hat{t}\in (0,T]\) such that \(x(t) \geq 0\), \(y(t) \geq 0\), \(x(\hat{t}) = 0\), \(x'(\hat{t}) < 0 \) and \(y(\hat{t}) \geq 0\) for all \(t \in (0, \hat{t})\). From the first equation of system (7), we have \(x'(\hat{t}) = 0 \), which is a contradiction. Furthermore, we also obtain
where \(t \in (0, nT]\). Hence, \(x(t) \geq 0\) if \(x(0^{+}) \geq 0\) and \(x(t) > 0\) if \(x(0^{+}) > 0\) for \(t \in (0,T]\). The proof for \(y(t)\) can be conducted in a like manner. □
Next, we show that all solutions of system (7) are uniformly ultimately bounded.
Lemma 3.2
There exists a constant \(M>0\) such that \(x(t)\leq M\) and \(y(t)\leq M\) for each solution \(z(t)=(x(t),y(t))\) of system (7) for sufficient large t.
Proof
Let \(V(t,z(t))=\mu x(t)+y(t)\). It is clear that \(V \in V_{0}\). Choosing a positive constant c such that
and using the upper right derivative of \(V(t,z(t))\) along a solution of system (7), we obtain for \(t \neq nT\)
where \(M_{0}\equiv \frac{k(r+c)^{2}}{4r}\). Hence, \(D^{+}V\leq cV+M_{0}\) for \(t \neq nT\).
For \(t=nT\),
Hence, for \(t \in (nT, (n+ 1)T]\) and \(t_{k}=kT\), \(k=1,2,\ldots,n\), Lemma 2.2 of [58] implies that
Therefore, \(V(t,z)\) is ultimately bounded by \(M>0\). In consequence, \(x(t) \leq M\) and \(y(t) \leq M\) when t is sufficiently large. In other words, the positive solution \(z(t)\) of system (7) is uniformly ultimately bounded. This completes the proof. □
The following comparison theorem on impulsive differential systems [57] will be used for system (7).
Lemma 3.3
Suppose \(V\in V_{0}\). Assume that
where \(g: \mathbb{R}_{+}\times \mathbb{R}_{+}\rightarrow \mathbb{R}\) is continuous in \((nT,(n+1)T]\times \mathbb{R}_{+}\), and for \(u\in \mathbb{R}_{+}\), \(n\in \mathbb{N}\), \(\lim_{(t,v)\rightarrow (nT^{+},u)}g(t,v)=g(nT^{+},u)\) exists and \(h_{n}:\mathbb{R}_{+}\rightarrow \mathbb{R}_{+}\) is nondecreasing.
Let \(R(t)\) be the maximal solution of the scalar impulsive differential equation
existing on \([0, \infty )\). Then \(V(0^{+},z(0^{+}))\leq u_{0}\) implies that \(V(t,z(t))\leq R(t)\) for all \(t\geq 0\), where \(z(t)\) is any solution of system (7).
Let \(r(t)\) be the minimal solution of (16) existing on \([0,\infty )\), and assume that the inequalities in (15) are reversed and \(h_{n}\) is nonincreasing. Then \(V (t, z(t)) \geq r(t)\) for all \(t \geq 0\).
Note that if we have some smoothness conditions on g to ensure the existence and uniqueness of solutions for (16), then \(R(t)\) and \(r(t)\) are exactly the unique solution of (16).
Consider the following system:
which is a subsystem of system (7). Some important properties of subsystem (17) are given as follows. It is not difficult to see that
is a positive solution of system (17) for \(t \in (nT, (n+ 1)T]\), \(n\in \mathbb{N}\) with
Since
is the solution of system (17) for \(t \in (nT, (n+ 1)T]\) where \(n\in \mathbb{N}\), we have the following lemma.
Lemma 3.4
System (17) has a positive periodic solution \(\tilde{y}(t)\) with a period T. For every solution \(y(t)\) of (17) with \(y_{0} \geq 0\), we have \(y(t)\tilde{y}(t)\rightarrow 0\) as \(t\rightarrow \infty \). Therefore, system (7) has a preyeradication periodic solution
for \(t\in (nT,(n+1)T]\), and \(\tilde{y}(nT^{+})=\tilde{y}(0^{+})= \frac{p_{3}}{1(1p_{2})\exp (dT )}\), \(n\in \mathbb{N}\).
3.2 Extinction and permanence
Before studying the permanence of system (7), we will give the condition ensuring the locally asymptotical stability of the preyeradication periodic solution \((0,\tilde{y}(t))\). Next, the condition for the permanence of the system will be given.
Theorem 3.1
Let \((x(t), y(t))\) be any solution of system (7). Then \((0,\tilde{y}(t))\) is locally asymptotically stable provided that
Proof
The local stability of the periodic solution \((0,\tilde{y}(t))\) in Eq. (21) may be determined by scrutinizing the behavior of small amplitude perturbations of the solution. Defining
then we may express
where \(\Phi (t)\) is the fundamental solution matrix satisfying
and \(\Phi (0)=I\), the \(2 \times 2\) identity matrix. Hence,
The term \((*)\) will not be used in further calculation; then there is no need to calculate the exact expression for \((*)\) in the above equation.
The linearization of the last two equations of system (7) becomes
According to the Floquet theory [58] of an impulsive differential equation, if both eigenvalues of the matrix
have absolute values less than one, then the periodic solution \((0,\tilde{y}(t))\) is locally asymptotically stable.
Let \(\lambda _{1}\) and \(\lambda _{2}\) denote the eigenvalues of \(\mathscr{M}\). We have
and
It is obvious that \(\vert \lambda _{1}\vert < 1\). However, \(\vert \lambda _{2}\vert < 1\) if and only if
Hence, the solution \((0, \tilde{y}(t))\) of system (7) is locally asymptotically stable when the condition (31) holds. This completes the proof. □
Definition 3.2
System (7) is said to be permanent if there exist positive constants m, M and \(T_{0}\) such that each positive solution \(z(t)=(x(t),y(t))\) of system (7) with the initial values \(x(0^{+})>0\) and \(y(0^{+})>0\) satisfies \(m \leq x(t) \leq M\) and \(m \leq y(t) \leq M\) for all \(t \geq T_{0}\). Note that m, M are independent of the initial values but \(T_{0}\) may depend on the initial values.
Theorem 3.2
System (7) is permanent if the condition
holds.
Proof
Suppose that \(z(t) = (x(t),y(t))\) is a solution of system (7) with \(x(0^{+})>0\), \(y(0^{+})>0\). Then Lemma 3.2 guarantees that \(z(t)\) is bounded above when t is large enough. Consequently, there is a constant \(M> \frac{ra}{\beta } >0\) such that \(x(t)\leq M\) and \(y(t)\leq M\) when t is sufficiently large.
Since \(\frac{\mu \beta x y}{a+bx_{1}+x_{1}^{2}}\geq 0\), system (7) implies that
where \(D_{0} \equiv d+\eta M>0\). Consider the comparison system
We see that, for \(t \in (nT, (n+ 1)T]\), \(n\in \mathbb{N}\),
is a positive solution of the comparison system (34) with
Therefore, the solution of the comparison system (34) is
for \(t \in (nT, (n+ 1)T]\), \(n\in \mathbb{N}\) and \(s(t)\rightarrow \tilde{s}(t)\) as \(t\rightarrow \infty \). Then we have
for some \(\varepsilon _{2}>0\) and for all sufficiently large t. According to [57], we have \(y(t) \geq s(t)\) by Lemma 3.3 and hence, when t is large enough,
Then we only need to find a constant \(m_{1} > 0\) such that \(x(t) \geq m_{1}\) for all t large enough. Following the two steps below, we will obtain the desired result.
Step 1. From condition (32), we can equivalently get
Based on condition (40), one can choose \(m_{3}>0\) and \(\varepsilon _{1}>0\) sufficiently small such that \(m_{3}< \min \{ k,\frac{ad}{\mu \beta } \} \), \(D_{1} \equiv d\frac{\mu \beta m_{3}}{a}>0\) and
We will prove that \(x(t)< m_{3}\) cannot hold for all \(t \geq 0\). Otherwise, from the second and fourth equations of system (7) and the fact that \(x^{2}+bx \geq 0\) and \(\eta x \geq 0\) due to \(x(t)\geq 0\), we consequently have
From Lemmas 3.3 and 3.4, we obtain \(y(t) \leq w(t)\) and \(w(t)\rightarrow \tilde{w}(t)\) as \(t\rightarrow \infty \), where \(w(t)\) is the solution of the following system:
and
Therefore, there exists a bound \(T_{1} > 0\) such that
and
for \(t \geq T_{1}\).
Let \(k \in \mathbb{N}\) and \(kT\geq T_{1}\). Integrating (46) on \((nT,(n+1)T], n\geq k\), we obtain
where Ω is expressed in Eq. (41). Then \(x((n+k)T)> x(nT)\Omega ^{k}\rightarrow \infty \) as \(k \rightarrow \infty \), which contradicts the boundedness of \(x(t)\). Hence, there exists a time \(t_{1} > 0\) such that \(x(t_{1}) \geq m_{3}\).
Step 2. If \(x(t)\geq m_{3}\) for all \(t\geq t_{1}\), then our aim is attained. Otherwise, let \(t^{*}=\inf_{t>t_{1}}\{t:x(t)< m_{3}\}\). Next, we consider two possible cases for \(t^{*}\).
Case 1. \(t^{*}=n_{1}T\), \(n_{1}\in \mathbb{N}\). Then \(x(t) \geq m_{3}\) for \(t\in [t_{1}, t^{*}]\) and
Choose \(n_{2}, n_{3} \in \mathbb{N}\) such that
where
Now we let \(T' = n_{2}T + n_{3}T\) and claim that \(t_{2} \in (t^{*}, t^{*} + T']\) must exist for which \(x(t_{2}) > m_{3}\). Otherwise, considering system (43) with \(w(t^{*+}) = y(t^{*+})\), we have
for \(t \in (nT, (n + 1)T]\), where \(n_{1} \leq n \leq n_{1} + n_{2} + n_{3}\).
Using \(w(t)\tilde{w}(t) < (y(t^{*+})p_{3} ) \exp (D_{1}(tt^{*}) )\) and the first inequality of condition (49), we then have
and
for \(t^{*}+ n_{2}T \leq t \leq t^{*} + T'\). This implies that (46) holds for \(t^{*} + n_{2}T \leq t \leq t^{*} + T'\). So as in Step 1 we have
where Ω is defined in Eq. (41).
From system (7), we have for \(t \in [t^{*}, t^{*} + n_{2}T]\)
where \(\Omega _{1}\) is defined in Eq. (50). Integrating (55) on \([t^{*}, t^{*} + n_{2}T]\), we obtain
Since \((1p_{1})\geq (1p_{1})^{n_{2}}\), \(n_{2}\in \mathbb{N}\) and \(x(t^{*}) \geq m_{3}\), we have
From the second condition of (49) along with the inequalities in (54) and (57), we have
which contradicts the assumption that \(x(t) \leq m_{3}\) for all \(t \in (t^{*}, t^{*} + T']\). Thus, there must exist \(t_{2} \in (t^{*}, t^{*} + T']\) so that \(x(t_{2}) > m_{3}\).
Next, we let \(\tilde{t}=\inf_{t>t^{*}}\{t:x(t)>m_{3}\}\). Since \(x(t)\) is left continuous and \(x(t^{+}) = (1  p)x(t) \leq x(t)\) when \(t = nT\), we can conclude that \(x(t)\leq m_{3}\) for \(t\in (t^{*}, \tilde{t})\) and \(x(\tilde{t})=m_{3}\). For \(t\in (t^{*},\tilde{t})\), we assume that \(t \in (t^{*}+(l1)T,t^{*}+lT]\) where \(l\in \mathbb{N}\) and \(l\leq n_{2} + n_{3}\). From (55) we have
Hence, we can conclude that \(x(t) \geq m'_{1}\) for \(t \in (t^{*},\tilde{t})\). For \(t>\tilde{t}\), the same arguments can be continued since \(x(\tilde{t})\geq m_{3}\). In consequence, when t is sufficiently large, we obtain \(x(t)\geq m_{1}>0\).
Case 2. \(t^{*}\neq nT\), \(n\in \mathbb{N}\). Then \(x(t) \geq m_{3}\) for \(t\in [t_{1}, t^{*})\) and \(x(t^{*})=m_{3}\). Suppose \(t^{*}\in (n_{1}'T, (n'_{1}+1)T)\), \(n_{1}'\in \mathbb{N}\). The following two possible cases for \(t \in (t^{*}, (n_{1}'+1)T)\) are considered.
Case 2.1. \(x(t) \leq m_{3}\) for all \(t \in (t^{*}, (n'_{1}+1)T)\). We claim that \(t'_{2}\in [(n'_{1}+1)T, (n'_{1}+1)T+T']\) must exist for which \(x(t'_{2})>m_{3}\). Otherwise, considering system (43) with \(w((n_{1}'+1)T^{+})=y((n'+1)T^{+})\), then we have
for \(t \in (nT, (n + 1)T]\) and \(n'_{1}+1\leq n\leq n'_{1}+1+n_{2}+n_{3}\).
Similarly to Case 1 of Step 2, we have
Since \(x(t)\leq m_{3}\) for \(t\in (t^{*}, (n_{1}'+1)T)\), (55) is true on \([t^{*}, (n_{1}'+1+n_{2})T]\). Thus, we obtain
From the second condition of (49) along with the inequalities in (61) and (62), we thus obtain
The contradiction now emerges.
Next, we let \(\bar{t}=\inf_{t>t^{*}}\{t:x(t)>m_{3}\}\). For \(t\in (t^{*},\bar{t})\), we have \(x(t) \leq m_{3}\) and \(x(\bar{t}) = m_{3}\). Now we suppose for \(t\in (t^{*},\bar{t})\) that \(t\in (n_{1}'T+(l'1)T,n_{1}'T+l'T)\) where \(l'\in \mathbb{N}\) and \(l'\leq n_{2}+n_{3}+1\). From (55), we hence have
where \(m_{1}< m_{1}'\). So, \(x(t) \geq m_{1}\) for \(t \in (t^{*}, \bar{t})\). For \(t > \bar{t}\), the same arguments can be applied since \(x(\bar{t}) \geq m_{3}\). We consequently have \(x(t)\geq m_{1}>0\) when t is large enough.
Case 2.2. There exists a time \(t\in (t^{*},(n_{1}'+1)T)\) such that \(x(t)> m_{3}\). Let \(\check{t}=\inf_{t>t^{*}}\{t:x(t)>m_{3}\}\). Therefore, \(x(t) \leq m_{3}\) for \(t\in (t^{*}, \check{t})\) and \(x(\check{t}) = m_{3}\). We see that (55) holds for \(t\in (t^{*}, \check{t})\). Integrating (55) on \((t^{*}, \check{t})\), we then have
The above arguments can be applied again for \(t>\check{t}\) using the fact that \(x(\check{t}) \geq m_{3}\). Hence, \(x(t) \geq m_{1}\) for all \(t \geq t_{1}\). In other words, \(x(t)\geq m_{1}>0\) when t is sufficiently large.
Finally, we can choose \(\hat{m}=\min \{m_{1},m_{2}\}\) so that \(x(t), y(t)\geq \hat{m}>0\). So, the system is permanent if condition (32) holds. The proof is now complete. □
Remark 3.1
Let
Since \(g(0)=\ln { (\frac{1}{1p_{1}} )}<0\), \(g(T)\rightarrow \infty \) as \(T \rightarrow \infty \) and
\(g(T)=0\) has a unique positive root, denoted by \(T_{\max }\). From Theorems 3.1 and 3.2 we know that \(T_{\max }\) is a threshold. If \(T< T_{\max }\), then the preyeradication periodic solution \((0,\tilde{y}(t))\) is asymptotically stable. However, if \(T>T_{\max }\), then system (7) is permanent.
3.3 Bifurcation and stability of positive periodic solution
In this section, we will investigate the existence of a nontrivial periodic solution to system (7) near the preyeradication periodic solution \((0,\tilde{y}(t) )\) via bifurcation. Such a positive periodic solution is stable when the preyeradication loses its stability. To do this, we apply Theorem 2 of [59] to system (7) by interchanging the state variables \(x(t)\), \(y(t)\) and giving a new variable for the period T.
Letting \(x_{1}(t)=y(t)\), \(x_{2}(t)=x(t)\) and \(\tau =T\), system (7) consequently becomes
All notations used in this section are the same as those in [59]. Then
where ỹ is defined in Eq. (18) with \(T=\tau \) and where \(\tau _{0}\) is the root of \(d'_{0}\equiv 1 (\frac{\partial \Theta _{2}}{\partial x_{2}} \frac{\partial \Phi _{2}}{\partial x_{2}} )_{(\tau _{0},X_{0})}=0\) in which \(\Phi =(\Phi _{1},\Phi _{2})^{T}\) is the flow associated to system (68). It will be notified in a later step that \(\tau _{0}=T_{\max }\) which is the positive root of \(g(T)=0\), where \(g(T)\) is defined in Eq. (66).
As defined above, we have
Next, we obtain the following terms involving the flow \(\Phi =(\Phi _{1},\Phi _{2})^{T}\):
Consider
It is not difficult to see from (73) and (74) that \(\frac{\partial ^{2} \Phi _{2}(\tau _{0},X_{0})}{\partial x_{2}^{2}}<0\) if the condition
is true.
In addition, we have
Then we compute
If \(d'_{0}=0\), then there is only one positive value of \(\tau _{0}\) satisfying the equation
Furthermore, we obtain
and
Since
\(b_{0}'<0\) provided that the condition (75) holds.
Now, we compute
Now, we know from the results obtained above that \(\frac{\partial ^{2} \Phi _{2}(\tau _{0},X_{0})}{\partial x_{1} \partial x_{2}} < 0\), \(a'_{0}>0\), \(\frac{\partial \Theta _{1}}{\partial x_{1}}>0\), and \(\frac{\partial \Phi _{1}(\tau _{0},X_{0})}{\partial {\tau }}<0\). Next, we claim that \(r \frac{\beta p_{3}\exp (d\tau _{0} )}{a(1(1p_{2})\exp (d\tau _{0} ))}>0\) so that one consequently obtains \(B<0\). To verify the claim, we let
Then we have
Thus, \(\varphi (t)\) is strictly increasing. In addition,
Hence, we can conclude that \(\varphi (\tau _{0})>0\) according to the computations as shown above.
Finally, we calculate
The above inequality is obtained via the fact that \(a_{0}'>0\), \(\frac{\partial ^{2} \Phi _{2}(\tau _{0},X_{0})}{\partial x_{1}\partial x_{2}}<0\) and \(b_{0}' < 0\), \(\frac{\partial ^{2} \Phi _{2}(\tau _{0},X_{0})}{\partial x_{2}^{2}} <0\), which can be obtained using the condition (75). From the above notations, we have the following lemma.
Lemma 3.5
(see [59])
If \(1a'_{0}<1\) and \(d'_{0}=0\), then the following results are obtained.

(a)
If \(BC\neq 0\), then one has a bifurcation. Specifically, one has a supercritical bifurcation of a nontrivial periodic solution of system (68) if \(BC<0\) and a subcritical case if \(BC>0\).

(b)
If \(BC=0\), then one has an undetermined case.
Letting \(T_{\max }\equiv \tau _{0}\), where \(\tau _{0}\) satisfies Eq. (78) and using Lemma 3.5 with the condition \(BC<0\), one can conclude that system (7) has a supercritical bifurcation when \(T>T_{\max }\) and T is close to \(T_{\max }\) as stated in the following theorem.
Theorem 3.3
System (7) has a positive periodic solution if \(T>\tau _{0}\) and T is close to \(\tau _{0}\), where \(\tau _{0}\) satisfies Eq. (78) and the nontrivial periodic solution is supercritical case via bifurcation, which means that the positive periodic solution is stable provided that the condition (75) holds.
4 Numerical simulations
The algorithm for solving impulsive differential equations is based on wellknown numerical schemes [60–62] such as the spline approximation method, the θmethod, the multistep method and the Runge–Kutta method. However, the adaptive stepsize control should be incorporated as a part of such methods because it can handle an impulsive differential equation, considered as a stiff problem involving rapidly changing components together with slowly changing ones, quite well. Here, numerical simulations for system (7) are obtained using the builtin function ode15s [63] in MATLAB which is a variableorder, variable step size and multistep solver based on the backward differentiation formulas [64]. The entire time of investigation is partitioned into equal subintervals. Each of the subintervals has length T (the impulsive period). The behavior of a solution for system (7) is characterized right before a pulse and immediately after the pulse by exploiting ode15s to numerically solve each subinterval of time. The information, evaluated at the jump point or the last time of the current subinterval, is used to compute the right limit of such a point. The right limit is then used as the initial condition of the next consecutive subinterval. The process is repeated in a similar manner for the rest subintervals and is terminated when we apply ode15s to perform numerical results for the last subinterval. The obtained numerical simulations in this section will be carried out to confirm our theoretical outcomes reported in Sect. 3. Studying the consequences of the impulsive effect to the dynamics of the impulsive preypredator population model (7) will be done by the numerical experiments through adjusting the values of \(p_{1}\), \(p_{2}\), \(p_{3}\) and T. Some parametric values for system (7) are exactly taken from the literature [23, 30] but the others are appropriately estimated in order to satisfy the relevant conditions. The numerical simulations are as follows.
Figure 1 displays the simulation results of the impulsive system of Eq. (7) with the parameter values \(r=3.1\), \(k=2.067\), \(\beta =1.083\), \(a=1.031\), \(b=0.001\), \(\mu =0.85\), \(d=0.3\), \(\eta =0.01\). Figure 1(a) shows the coexisting circumstance in which the prey and predator densities are the periodic oscillations starting at \((x(0),y(0))=(0.5,0.5)\). This is because the value of the parameters \(p_{1}\), \(p_{2}\), \(p_{3}\) is all set to be zero, that is, any pestmanagement strategy is not yet applied to the system. The following numerical experiments confirm the result of Theorem 3.1 indicating that the solution of system (7) locally asymptotically converges to the preyeradication periodic solution \((0,\tilde{y} (t))\) as \(T< T_{\max }\). When we simulate the system with \((x(0),y(0))=(1,1)\) and \(p_{1}=p_{2}=0\), \(p_{3}=0.8\) (in other words, there is only a periodic releasing of the predators but without giving pesticide), then the solution trajectory tends toward the oscillatory solution \((0,\tilde{y}(t))\) when time passes long enough and \(T=0.8< T_{\max }=0.9\). This phenomenon can be seen in Fig. 1(b). It can be observed from Fig. 1(c) that the predator density \(y(t)\) oscillates in a stable periodic solution but the prey population \(x(t)\) quickly reduces to zero. This preyeradication periodic solution occurs when we set \(p_{1}=0.85\), \(p_{2}=0.2\), \(p_{3}=0.9\), \(x(0)=y(0)=1\) and \(T=1< T_{\max }=1.335\) in the simulation. According to the used parameter values for the last two simulations, one can verify that condition (22) in Theorem 3.1 is satisfied.
In Fig. 2, the numerical simulation beginning with \((x(0),y(0))=(0.1,0.5)\) of the impulsive system of Eq. (7) locally asymptotically converges to the preyeradication periodic solution \((0,\tilde{y} (t))\) when time sufficiently increases and \(T=2< T_{\max }=2.47\). The parameter values used for this computation are \(r=0.8\), \(k=0.5\), \(\beta =0.7\), \(a=0.3\), \(b=0.05\), \(\mu =0.85\), \(d=0.85\), \(\eta =0.1\), \(p_{1}=p_{2}=p_{3}=0.5\). With this IPM, the density of prey \(x(t)\) converges asymptotically to zero but the density of predators \(y(t)\) tends to a periodic oscillation of period \(T=2\). This means that when t is large enough, the prey population tends to extinction, however, the number of the predators changes in terms of the periodic oscillation. These obtained results are in good agreement with Theorem 3.1 since the condition (22) in Theorem 3.1 holds.
Next, we utilize the same parameter values and initial condition as used in the simulation for Fig. 2 except using \(T=8>T_{\max }=2.47\) to simulate the numerical solution of the impulsive system (7). In consequence, the impulsive system with the use of this IPM is permanent as shown in Fig. 3. In other words, the prey and predator densities of the system are positively bounded as predicted in Theorem 3.2 because the condition (32) holds. As a result, Figs. 3(a), (b) and (c) show the bounded time series of the prey density \(x(t)\), the predator density \(y(t)\) and their trajectory projected on the xyplane, respectively.
In order to verify Theorem 3.3 applied for system (7), we must select the values of T, k, β, a, b, μ, η to satisfy all of the conditions in Theorem 3.3. Specifically, one can choose the impulsive period T such that \(T>T_{\max }\) and T is close to \(T_{\max }\). In the final simulation, we here use the same parameter values and initial condition as used in the simulation for Fig. 2 except using \(T=2.7>T_{\max }=2.47\). The numerical solution plotted in Fig. 4 shows that the preyeradication periodic solution \((0,\tilde{y} (t))\) becomes unstable and then the preys and predators can coexist, which this characterization is exhibited in terms of a sustained positive periodic oscillation when time passes and \(T=2.7>T_{\max }=2.47\). This phenomenon allows the system to have a supercritical bifurcation, which can be used to control the magnitude of the prey population.
5 Discussion and conclusions
We have studied the dynamical behaviors of the mathematical impulsive model for the predator–prey system as proposed in Eq. (7). The impulsive system consists of the predator–prey model in which the generalized Holling type IV functional response and the antipredator term are included and the impulsive control strategy concerning with giving pesticide and releasing of predators. Firstly, we have shown that system (7) has a positive solution which is uniformly ultimately bounded. Secondly, we have proved that the preyeradication periodic solution \((0,\tilde{y}(t))\) is locally asymptotically stable provided that the impulsive period T is less than the critical value \(T_{\max }\), or equivalently the condition (22) holds. Practically, if the impulsive control strategy in system (7) is selected to push the preys to extinction, then we can determine the impulsive period T based on the influences of spraying chemical pesticide and releasing natural predators such that \(T< T_{\max }\). Of course, an absolute eradication of the prey population is not suitable for a real ecological system, so the effective preycontrol practice should decrease the number of preys in the system to acceptable levels. In contrast, system (7) is permanent (i.e., the prey and predator populations are positively bounded) if \(T>T_{\max }\). Profoundly, the system can lose the stability of the preyeradication periodic solution and have a positive periodic solution when \(T>T_{\max }\) and T is close to \(T_{\max }\). From the numerical experiments, we can observe that the narrower duration of T results in the lower number of preys. Thirdly, system (7) can undergo either supercritical or subcritical bifurcations via choosing the values of the parameters in such a way that the sign of the discriminant BC in Lemma 3.5 changes. Finally, changing the functional response, the antipredator term or the IPM in system (7) could result in obtaining interesting and complicated dynamical behaviors of the preys and predators.
Availability of data and materials
Not applicable.
References
Chiu, K.S., Li, T.: Oscillatory and periodic solutions of differential equations with piecewise constant generalized mixed arguments. Math. Nachr. 292(10), 2153–2164 (2019)
Li, T., Pintus, N., Viglialoro, G.: Properties of solutions to porous medium problems with different sources and boundary conditions. Z. Angew. Math. Phys. 70(3), 1–18 (2019)
Frassu, S., Viglialoro, G.: Boundedness for a fully parabolic Keller–Segel model with sublinear segregation and superlinear aggregation. Acta Appl. Math. 171(19), 1–20 (2021)
Liu, B., Zhang, Y., Chen, L.: The dynamical behaviors of a Lotka–Volterra predator–prey model concerning integrated pest management. Nonlinear Anal., Real World Appl. 6(2), 227–243 (2005)
Wang, Q., Dai, B., Chen, Y.: Multiple periodic solutions of an impulsive predator–prey model with Hollingtype IV functional response. Math. Comput. Model. 49(9–10), 1829–1836 (2009)
Zeng, G., Wang, F., Nieto, J.J.: Complexity of a delayed predator–prey model with impulsive harvest and Holling type II functional response. Adv. Complex Syst. 11(01), 77–97 (2008)
Liu, M.: Optimal harvesting policy of a stochastic predator–prey model with time delay. Appl. Math. Lett. 48, 102–108 (2015)
Lotka, A.J.: Elements of physical biology. Sci. Prog. Twentieth Century (1919–1933) 21(82), 341–343 (1926)
Volterra, V.: Fluctuations in the abundance of a species considered mathematically. Nature 118, 558–560 (1926)
Tiwari, B., Raw, S., Mishra, P.: Qualitative analysis of a spatiotemporal prey–predator model with multiple Allee effect and schooling behaviour. Nonlinear Dyn. 102, 3013–3038 (2020)
Haldar, S., Khatua, A., Das, K., Kar, T.: Modeling and analysis of a predator–prey type ecoepidemic system with time delay. Model. Earth Syst. Environ. (2020). https://doi.org/10.1007/s40808020008939
Lai, L., Zhu, Z., Chen, F.: Stability and bifurcation in a predator–prey model with the additive Allee effect and the fear effect. Mathematics 8(8), 1280 (2020)
Kiss, K., Kovács, S.: Qualitative behavior of ndimensional ratiodependent predator–prey systems. Appl. Math. Comput. 199(2), 535–546 (2008)
Liu, X., Chen, L.: Complex dynamics of Holling type II Lotka–Volterra predator–prey system with impulsive perturbations on the predator. Chaos Solitons Fractals 16(2), 311–320 (2003)
Ma, Z., Chen, F., Wu, C., Chen, W.: Dynamic behaviors of a Lotka–Volterra predator–prey model incorporating a prey refuge and predator mutual interference. Appl. Math. Comput. 219(15), 7945–7953 (2013)
Zhao, X., Zeng, Z.: Stationary distribution and extinction of a stochastic ratiodependent predator–prey system with stage structure for the predator. Phys. A, Stat. Mech. Appl. 545, 123310 (2020)
Yan, S., Guo, S.: Dynamics of a Lotka–Volterra competitiondiffusion model with stage structure and spatial heterogeneity. Discrete Contin. Dyn. Syst., Ser. B 23(4), 1559 (2018)
Li, Y., Rafaqat, M., Zia, T.J., Ahmed, I., Jung, C.Y.: Flip and Neimark–Sacker bifurcations of a discrete time predator–prey model. IEEE Access 7, 123430–123435 (2019)
Raw, S., Tiwari, B., Mishra, P.: Dynamical complexities and pattern formation in an ecoepidemiological model with prey infection and harvesting. J. Appl. Math. Comput. 64, 17–52 (2020)
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)
Freedman, H.I., Wolkowicz, G.S.: Predator–prey systems with group defence: the paradox of enrichment revisited. Bull. Math. Biol. 48(5–6), 493–508 (1986)
Xiao, D., Ruan, S.: Global analysis in a predator–prey system with nonmonotonic functional response. SIAM J. Appl. Math. 61(4), 1445–1472 (2001)
Li, S.: Complex dynamical behaviors in a predator–prey system with generalized group defense and impulsive control strategy. Discrete Dyn. Nat. Soc. 2013, Article ID 358930 (2013)
Tang, B.: Dynamics for a fractionalorder predator–prey model with group defense. Sci. Rep. 10(1), 1–17 (2020)
Raw, S., Mishra, P., Kumar, R., Thakur, S.: Complex behavior of prey–predator system exhibiting group defense: a mathematical modeling study. Chaos Solitons Fractals 100, 74–90 (2017)
Sasmal, S.K., Takeuchi, Y.: Dynamics of a predator–prey system with fear and group defense. J. Math. Anal. Appl. 481(1), 123471 (2020)
Köhnke, M.C., Siekmann, I., Malchow, H.: Taxisdriven pattern formation in a predator–prey model with group defense. Ecol. Complex. 43, 100848 (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)
Choh, Y., Ignacio, M., Sabelis, M.W., Janssen, A.: Predator–prey role reversals, juvenile experience and adult antipredator behaviour. Sci. Rep. 2, 728 (2012)
Tang, B., Xiao, Y.: Bifurcation analysis of a predator–prey model with antipredator behaviour. Chaos Solitons Fractals 70, 58–68 (2015)
Mortoja, S.G., Panja, P., Mondal, S.K.: Dynamics of a predator–prey model with stagestructure on both species and antipredator behavior. Inform. Med. Unlock. 10, 50–57 (2018)
Liu, Q., Jiang, D., Hayat, T., Alsaedi, A.: Stationary distribution of a regimeswitching predator–prey model with antipredator behaviour and higherorder perturbations. Phys. A, Stat. Mech. Appl. 515, 199–210 (2019)
Raw, S., Mishra, P., Tiwari, B.: Mathematical study about a predator–prey model with antipredator behavior. Int. J. Appl. Comput. Math. 6, 68 (2020)
Lima, S.L.: Stress and decisionmaking under the risk of predation: recent developments from behavioral, reproductive, and ecological perspectives. Adv. Study Behav. 27(8), 215–290 (1998)
Relyea, R.A.: How prey respond to combined predators: a review and an empirical test. Ecology 84(7), 1827–1839 (2003)
Janssen, A., Faraji, F., Van Der Hammen, T., Magalhães, S., Sabelis, M.W.: Interspecific infanticide deters predators. Ecol. Lett. 5(4), 490–494 (2002)
Saitō, Y.: Prey kills predator: counterattack success of a spider mite against its specific phytoseiid predator. Exp. Appl. Acarol. 2(1), 47–62 (1986)
Sun, X., Li, Y., Xiao, Y.: A predator–prey model with prey population guided antipredator behavior. Int. J. Bifurc. Chaos 27(07), 1750099 (2017)
Holling, C.S.: The functional response of predators to prey density and its role in mimicry and population regulation. Mem. Entomol. Soc. Can. 97(S45), 5–60 (1965)
Sarkar, K., Khajanchi, S., Chandra Mali, P., Nieto, J.J.: Rich dynamics of a predator–prey system with different kinds of functional responses. Complexity 2020, Article ID 4285294 (2020)
Köhnke, M.C., Siekmann, I., Seno, H., Malchow, H.: A type IV functional response with different shapes in a predator–prey model. J. Theor. Biol. 505, 110419 (2020)
Sokol, W., Howell, J.: Kinetics of phenol oxidation by washed cells. Biotechnol. Bioeng. 23(9), 2039–2049 (1981)
Huang, J.C., Xiao, D.M.: Analyses of bifurcations and stability in a predator–prey system with Holling typeIV functional response. Acta Math. Appl. Sin. 20(1), 167–178 (2004)
Parshad, R.D., Upadhyay, R.K., Mishra, S., Tiwari, S.K., Sharma, S.: On the explosive instability in a threespecies food chain model with modified Holling type IV functional response. Math. Methods Appl. Sci. 40(16), 5707–5726 (2017)
Yousef, A., Rida, S., Gouda, Y.G., Zaki, A.: Dynamical behaviors of a fractionalorder predator–prey model with Holling type iv functional response and its discretization. Int. J. Nonlinear Sci. Numer. Simul. 20(2), 125–136 (2019)
Roberts, M., Kao, R.: The dynamics of an infectious disease in a population with birth pulses. Math. Biosci. 149(1), 23–36 (1998)
Shulgin, B., Stone, L., Agur, Z.: Pulse vaccination strategy in the SIR epidemic model. Bull. Math. Biol. 60(6), 1123–1148 (1998)
Dees, H., Scott, T.: Medicaments for chemotherapeutic treatment of disease. Google Patents. US Patent App. 10/331,735 (2003)
Ballinger, G., Liu, X.: Permanence of population growth models with impulsive effects. Math. Comput. Model. 26(12), 59–72 (1997)
Vajrapatkul, A., Koonprasert, S., Sirisubtawee, S.: An application of the impulsive csoh model for managing squirrels in the coconut farm. Adv. Differ. Equ. 2019(1), 248 (2019)
Flint, M.L.: Integrated pest management for walnuts. University of California Statewide Integrated Pest Management Project, Division of Agriculture and Natural Resources, 2nd edn. Publication 3270, 3641 (1987)
Pei, Y., Chen, L., Zhang, Q., Li, C.: Extinction and permanence of oneprey multipredators of Holling type II function response system with impulsive biological control. J. Theor. Biol. 235(4), 495–503 (2005)
Liu, J., Hu, J., Yuen, P.: Extinction and permanence of the predator–prey system with general functional response and impulsive control. Appl. Math. Model. 88, 55–67 (2020)
Li, W., Ji, J., Huang, L.: Global dynamic behavior of a predator–prey model under ratiodependent state impulsive control. Appl. Math. Model. 77, 1842–1859 (2020)
Van Lenteren, J.: Integrated pest management in protected crops. Integrated pest management: principles and systems development (1995)
Liu, B., Zhi, Y., Chen, L.S.: The dynamics of a predator–prey model with Ivlev’s functional response concerning integrated pest management. Acta Math. Appl. Sin. 20(1), 133–146 (2004)
Lakshmikantham, V., Simeonov, P.S., et al.: Theory of Impulsive Differential Equations, vol. 6 (1989)
Baınov, D., Simeonov, P.: Impulsive Differential Equations: Periodic Solutions and Applications. Pitman Monographs and Surveys in Pure and Applied Mathematics, vol. 66. Longman, Harlow (1993)
Lakmeche, A.: Birfurcation of non trivial periodic solutions of impulsive differential equations arising chemotherapeutic treatment. Dyn. Contin. Discrete Impuls. Syst. 7, 265–287 (2000)
Randelovic, B., Stefanovic, L., Dankovic, B.: Numerical solution of impulsive differential equations. FACTA Univ. (NIS) Ser. Math. Info 15, 101–111 (2000)
Ran, X., Liu, M., Zhu, Q.: Numerical methods for impulsive differential equation. Math. Comput. Model. 48(1–2), 46–55 (2008)
Akça, H., Sarr, M., Covachev, V.: Numerical methods for solution of impulsive differential equations and stability analysis. Far East J. Math. Sci. 99(12), 1955 (2016)
Celaya, E.A., Aguirrezabala, J.A., Chatzipantelidis, P.: Implementation of an adaptive bdf2 formula and comparison with the Matlab ode15s. Proc. Comput. Sci. 29, 1014–1026 (2014)
Gear, C.W.: Numerical Initial Value Problems in Ordinary Differential Equations. PrenticeHall Series in Automatic Computation (1971)
Acknowledgements
The authors are grateful to anonymous referees for the valuable comments, which have significantly improved this paper.
Funding
No funding.
Author information
Authors and Affiliations
Contributions
All authors worked together to produce the results, and they all read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
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
Sirisubtawee, S., Khansai, N. & Charoenloedmongkhon, A. Investigation on dynamics of an impulsive predator–prey system with generalized Holling type IV functional response and antipredator behavior. Adv Differ Equ 2021, 160 (2021). https://doi.org/10.1186/s1366202103324w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366202103324w
Keywords
 Predator–prey system
 Antipredator behavior
 Impulsive control strategy
 Generalized Holling type IV functional response