Elsevier

Applied Mathematical Modelling

Volume 88, December 2020, Pages 55-67
Applied Mathematical Modelling

Extinction and permanence of the predator-prey system with general functional response and impulsive control

https://doi.org/10.1016/j.apm.2020.06.033Get rights and content

Highlights

  • Modelling the predator-prey ecosystem using a ‘generalized’ impulsive response function for the first time.

  • Dynamical behaviors such as sufficient conditions for the stability of prey-eradication and the permanence have been given.

  • The generalized solutions under asymptotically stable conditions are validated through various specific response functions.

  • The correctness of the derived theoretical results are further validated using numerical simulations.

  • Unlike previous research this paper also models the non-simultaneous occurrence of predator stocking and prey harvesting.

Abstract

Traditional approach for modelling the evolution of populations in the predator-prey ecosystem has commonly been undertaken using specific impulsive response function, and this kind of modelling is applicable only for a specific ecosystem under certain environmental situations only. This paper attempts to fill the gap by modelling the predator-prey ecosystem using a ‘generalized’ impulsive response function for the first time. Different from previous research, the present work develops the modelling for an integrated pest management (IPM) especially when the stocking of predator (natural enemy) and the harvesting of prey (pest) occur impulsively and at different instances of time. The paper firstly establishes the sufficient conditions for the local and the global stabilities of prey eradication periodic solution by applying the Floquet theorem of the Impulsive different equation and small amplitude perturbation under a ‘generalized’ impulsive response function. Subsequently the sufficient condition for the permanence of the system is given through the comparison techniques. The corollaries of the theorems that are established by using the ‘general impulsive response function’ under the locally asymptotically stable condition are found to be in excellent agreement with those reported previously. Theoretical results that are obtained in this work is then validated by using a typical impulsive response function (Holling type-II) as an example, and the outcome is shown to be consistent with the previously reported results. Finally, the implication of the developed theories for practical pest management is illustrated through numerical simulation. It is shown that the elimination of either the preys or the pest can be effectively deployed by making use of the theoretical model established in this work. The developed model is capable to predict the population evolutions of the predator-prey ecosystem to accommodate requirements such as: the combinations of the biological control, chemical control, any functional response function, the moderate impulsive period, the harvest rate for the prey and predator parameter and the incremental stocking of the predator parameter.

Introduction

Study of dynamic systems has been an important research subject due to its diverse applications across vast multi-disciplinary science and engineering such as for the modeling of biological systems, communication, control systems, networked systems, manufacturing and mechanical systems etc [1], [2]. The dynamic system is said to be hybrid when it exhibits continuous and discrete dynamics [3], [4], and it is termed as a switched system when it consists of a family of subsystems in which the dynamics is switched among the subsystems according to a logical rule [2], [5], [6], [7], [8], [9], [10]. The interactions of prey and predator, such as the study of the populations in the crops and pests system, is a simplified special case of the dynamic systems which has been investigated extensively in the ecological, agricultural and environmental research within the past few decades [11], [12], [13], [14], [15]. Particularly, the research on the pest control has been a popular topic as it imposes significant impacts on the social and economic stability of the region in question [16], [17], [18]. There are two commonly used approaches for pests control: chemically through pesticide spray and biological control through the introduction of natural enemies into the local environment. In some cases the integrated pest management (IPM) which utilizes both chemical and the environmentally friendly biological control [16], [17], [18], [19] is preferred, particularly when results are desired to be achieved rapidly. However, to maintain the long term existences of prey or the eliminations of the pest, it requires the delicate balance between when the cycles of pesticides should be applied and the exact timing for introducing natural enemies. This is needed to be evaluated through careful modeling or experiments due to the negative effect of pesticide to the natural enemies of the pest. Due to the difficulty to implement experiments effectively in the ecological systems, mathematical modeling has been an alternative promising way to solve practical problems [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20], [21], [22], [23], [24], [25], [26], [27], [28], [29], [30], [31], [32], [33], [34], [35], [36], [37], [38]. Considering the discontinuity of the spraying pesticides and natural enemies, the description of the short-term rapid changes of their populations is commonly modeled through impulsive differential equations (IDE) [8], [14], [15], [16], [17], [18], [19], [20], [21], [22], [23], [24], [25], [26], [27], [28], [29], [30], [31], [32], [33], [34], [35]. Most previous work modelled the simultaneously spraying pesticides and natural enemies impulsively at the same fixed moments [8], [22], [27]. It is not reasonable due to the effects of pesticides on natural enemies. Thus the modelling of the predator-prey system using non-simultaneous timings of impulsive control strategies is more realistic and relevant for practical applications.

The predator-prey relationship between pests and natural enemies is quite well-known. Typical models involve a characteristic predators rate of feeding on the prey, which is known as the functional response, to model the change of predation rate as a function of the prey density through a set of differential equations. Depending on the nature of ecosystems concerned, many different kinds of functional responses such as the Holling type-I (ϕ1), the Holling type-II (ϕ2), the Holling type-III (ϕ3) [15], [19], [20], [21] have been applied for various applications. The Holling type ϕ1, ϕ2 and ϕ3 are commonly in the form of:ϕ1(x)={bax0<x<abx>a,ϕ2(x)=rxa+bx,ϕ3(x)=rx2a+bx2.The Ivlev-type functional response ϕ4 is in the form of [22], [30]:ϕ4(x)=r(1eαx).where a, b, r, α are constants and x(t) is prey density. Note that the above functional responses are modelled for scenarios when the predator-prey interaction depends on prey densities only. In the real world both the prey and predator densities affect the predator-prey interactions, so more complex functional response such as the Beddington-DeAngelis functional response ϕ5 has been proposed [8]:ϕ5(x,y)=mxa+bx+cy.where y(t) represents the density of the predator, and alternative form of the ratio-dependent functional response ϕ6 has also been suggested [15], [23], [25]:ϕ6(xy)=cxym+xy=cxmy+x.where a,b,m,c are constants. Due to the complicated natural environment which compounds by various degree of human interferences, a plethora of functional responses has been proposed for modelling the dynamical relationships between the predator and the prey, for example [26], [27], [28], [29], [31]:

the Watt-type functional response ϕ7=expcxym;

the Hassell-Varley functional response ϕ8=cx(t)myγ+x;

the Square-Root functional responses ϕ9=βx(t)1+αx(t);

the Monod-Haldance functional response ϕ10=mx(t)a+x2(t) etc.

Instead of modelling the predator-prey system using a specific type of functional response like that performed by previous research, this paper attempts for the first time to model the predator-prey system by using a general functional response. This paper gives a generalized local and global stability of prey eradication periodic solution under sufficient conditions, and the solution is then illustrated by using a specific functional response as an example.

Previous work employed the Holling II functional response [24], the Monod-Haldance functional response [29], [31], the Ivlev-type functional response [30], the ratio-dependent functional response [15], [23], the Beddington-DeAngelis functional response [8] and the Hassell-Varley functional response etc [27], for modelling the predator-prey system using these impulsive control strategies. Although these previous studies had provided the local asymptotic stability of prey-eradication periodic solution and the permanence of system under sufficient conditions, they could be applied only for specific scenarios and therefore their impacts to the real world is limited.

Thus it is necessary to generalize previous findings such as that reported in [24], [29], [30] by using a general functional response for modelling the predator-prey system, especially when the predator is stocked and the prey is harvested at different instances of time. It is believed that this work may represent a first study of its kind for modelling the predator-prey system by using the general function g(x, y) as the system in (1) below:{dx(t)dt=x(t)(rrKx(t))g(x,y)x(t)y(t)dy(t)dt=y(t)(D+kg(x,y)x(t))}t(n+l1)T,tnTΔx(t)=p1x(t)Δy(t)=p2y(t)}t=(n+l1)TΔx(t)=0Δy(t)=μ}t=nTwhere x(t), y(t) denote the densities of the prey (pest) and predator (natural enemy) at time t, respectively. T is the period of the impulsive harvesting and stocking. r > 0 is the intrinsic growth rate of the prey, K > 0 is the carrying capacities of the prey, D > 0 is the death rate of the predator. The k > 0 denotes the rate of converting consumed preys into the growth of predator, and the x(t)g(x, y) is the general functional response of the prey which represents the rate of predation by the predator per-capita. The g(x, y) is assumed to be monotonous decreasing with respect to x and y respectively, which satisfied the Lemma 2.3 in Section 2, and y(t)g(x, y) is the monotonous increasing density of y which represents the main functional responses of the ecosystem. Also, Δx(t)=x(t+)x(t);Δy(t)=y(t+)y(t);x(t+)=limtt+x(t);y(t+)=limtt+y(t). And 0 ≤ p1, p2 < 1 is the harvest rate of the prey and the predator at time (n+l1)T respectively, where l ∈ (0, 1), n ∈ N. μ > 0 is the incremental stocking of the predator at time nT.

This paper is organized as follows: Section 1 (this section) outlines the problem statement and the objectives of this paper. The preliminaries including definitions and lemmas are given in Section 2. In Section 3, the stability of the prey-eradication periodic solution, including the local asymptotic stability and global asymptotically stability of the predator-prey system modelled by using a ‘general’ functional response is given. Section 4 investigates the boundedness of solutions and the sufficient conditions that are required for the permanence of the system (1). To illustrate the established theoretical results, numerical simulations of the systems in section 3 have been performed by using a specific response function as an example and the results are presented in Section 5. Section 6 summarizes the methodology of the present work to model the prey and predator system using a generalized impulsive response function, and the suggestions to apply the results of this work for practical pest management are subsequently given.

Section snippets

Definitions and Lemmas

In this section, the lemmas and definitions which are needed in this work are given here:

Definition 2.1

[39]

The system (1) is said to be permanent provided that there exists positive constants m and M, such that each positive solution(x(t), y(t)) of the system (1) satisfies m ≤ x(t) ≤ M, m ≤ y(t) ≤ M for all large enough t.

Definition 2.2

[39]

The prey or the predator goes extinct provided that there exists a solution(x(t), y(t)) such that limtx(t)=0 or limty(t)=0.

Lemma 2.3

[39]

The solution of system (1) is a piecewise continuous function.

The stability of prey-eradication periodic solution

Theorem 3.1

Let X(t)=(x(t),y(t)) the solution of the system in (1), then the prey-eradication periodic solution (0,y˜(t)) is locally asymptotically stable ifln(1p1)+rT0Tg(0,y˜(s))y˜(s)ds<0.

Proof

By applying the small amplitude perturbations of the solution and the use of the Floquet theorem, the local stability of the periodic solution (0,y˜(t)) can be obtained.

Firstly, define u(t)=x(t),w(t)=y(t)y˜(t), where u(t), w(t) are small perturbations. Let the system be expanded in the Taylor series and after

Boundedness and permanence

Theorem 4.1

Let X(t)=(x(t),y(t)) be any solution of the system in (1), then there exists a constant M > 0, such that x(t)M,y(t)M for all sufficiently large t.

Proof

Define a function W(t,x)=kx(t)+y(t), then:D+W(t,x)=kdx(t)dt+dy(t)dt=kx(t)(rrKx(t))Dy(t).which is the upper right derivative of W(t, x) along a solution of the system in (1). For 0 < λ ≤ D, we haveD+W(t,x)+λW(t,x)=kx(t)(λ+rrKx(t))+(λD)y(t)k(λ+r)xrkx2K=krK(x2(λ+r)Kxr)=krK[(x(λ+r)K2r)2(λ+r)2K24r2](λ+r)2Kk4r.Thus there exists a positive

Numerical simulations

This section is devoted to the validation of the theoretical results obtained in the above sections with respected to the findings reported in [24], [29], [30] through numerical simulations.

Firstly, let f(T)=ln(1p1)+rT0Tg(0,y˜(s))y˜(s)ds, then f(0)=ln(1p1), f(T) → ∞ as T → ∞. As f″(T) > 0, f(T)=0 has an unique positive root Tmax, which is the critical value of T.

It is known from Theorem 3.1 and Theorem 4.2 that when T < Tmax, the system in (1) has the asymptotically stable periodic solution

Conclusions

This paper attempts for the first time to model the predator-prey system by using a generalized impulsive response function. The sufficient condition of locally asymptotic stability of prey-eradication periodic solution and the permanence of this system have been established according to the Theorem 3.1 and Theorem 4.2 derived in this work. These theorems are in fact the extension of existing achievements reported in recent papers by Liu et al and Baek et al in [24], [29], [30]. The theoretical

Acknowledgements

The authors would like to thank the financial supports by the Shanxi Agricultural University of Science and Technology Innovation Fund Projects(2017019,2017005).

References (39)

Cited by (0)

View full text