1,054
Views
0
CrossRef citations to date
0
Altmetric
Tianyuan Hengyang Workshop 2020

The state-dependent impulsive control for a general predator–prey model

, &
Pages 354-372 | Received 04 Feb 2021, Accepted 22 May 2021, Published online: 05 Jun 2021

Abstract

In this paper, a general predator–prey model with state-dependent impulse is considered. Based on the geometric analysis and Poincaré map or successor function, we construct three typical types of Bendixson domains to obtain some sufficient conditions for the existence of order-1 periodic solutions. At the same time, the existing domains are discussed with respect to the system parameters. Moreover, the Analogue of Poincaré Criterion is used to obtain the asymptotic stability of the periodic solutions. Finally, to illustrate the results, an example is presented and some numerical simulations are carried out.

2010 AMS Subject Classifications:

This article is part of the following collections:
Tianyuan Hengyang Workshop 2020

1. Introduction

Impulsive control is widely utilized in biology [Citation6,Citation7,Citation25]. For instance, in the treatment of HIV-1 infection, the combination of vaccination and stimulation delays viral rebound following ART (Antiretroviral therapy) discontinuation [Citation2,Citation11,Citation12]. Compared with the process of disease, the impact of taking drugs, vaccination and stimulation is short enough to be assumed that the therapy leads to an impulsive effect. Usually, from the economy point of view, the corresponding treatment is proposed to receive when the infected system reaches a critical state, on which the amount CD4+T decreases to 350 or 500 mm3. Similarly, in the controlling of insects and other animals, to minimize damage to non-target organisms, and to preserve the environment, the integrated pest management (IPM) was introduced [Citation3,Citation17], which is a strategy that reduce pests to tolerable levels by releasing natural enemies, spraying pesticides, isolating or harvesting the pests when they reach a threshold. Likewise, in fishery industry, for the sake of ecological balance and maximum economic benefit, people usually take a sustainable strategy by harvesting and releasing according to the densities of certain species. For example, sometimes we need suppress the predator-fish by harvesting, and to stimulate the prey-fish by releasing, and other time it's just on the opposite purpose [Citation9]. The discontinuity of human intervention leads to population changing very rapidly, which can be taken into account impulsive differential equations.

The impulsive differential equations have even been intensively studied in recent two decades, especially for state-dependent impulsive equations, which means the impulsive control takes place when a certain state is met [Citation4,Citation5,Citation8,Citation10–24,Citation26]. However, because of the discontinuity of the system, the issue becomes more complicated but not less important than a continuous one. So it is still challenging to probe the dynamical properties of such systems.

In [Citation21], Wang et al. consider an impulsive Kolmogorov predator–prey model with non-selective harvesting given by (1) dxdt=xF(x,y)dydt=yG(x,y),xh,Δx(t)=px(t)Δy(t)=qy(t)+τ,x=h,(1) where x(t) and y(t) denote the densities of the prey and predator species at time t. Suppose one expects to perform an economical harvesting on the prey and predator (e.g. two kinds of food fish). When the density of prey increases to h, one harvests the prey and the predator at a rate p and q respectively. Because the reduction of prey may prevent predators from getting enough growth, and the harvesting on predator may also make it be on the verge of extinction, therefore to maintain the ecological balance among two populations and to obtain a sustainable economic benefit, one can release the predator on a scare of τ.

The authors incorporated two discriminants Δ1 and Δ2 to discuss the existence, non-existence and multiplicity as well as the stability of order-1 periodic solutions. Motivated by the work of [Citation20,Citation21], we consider the following state-dependent impulsive predator–prey population ecological model: (2) dxdt=xU(x,y)dydt=yV(x),xh,Δx(t)=nx(t)Δy(t)=my(t)+τ,x=h,(2) where x(t),y(t), h and τ are in the same meaning as those in (Equation1); n and m represent the rates at which the prey and the predator are harvested, respectively.

Assume that h is positive constant, and n,m[0,1),τ0,FC2(R2,R),GC(R,R). The initial value conditions satisfy (3) 0<x(0+)=x0+<h,y(0+)=y0+>0.(3) Moreover, the following assumptions hold:

  1. Ux<0, Uy<0, V(x)>0 for x>0.

  2. There exist two positive numbers w<k such that U(k,0)=0 and V(w)=0, and w>(1n)h,k>h.

In this paper, based on the theory of Bendixson domains established in [Citation20,Citation21], some results on the existence and stability of order-1 periodic solutions for system (Equation2) are established. Since the isolines of system (Equation2) are different from that of system (Equation1), the discriminants Δ1 and Δ2 are not always valid for system (Equation2). We classify the structure of Bendixson domains into three categories, and combine them with Poincaré maps and successor functions, which help us to obtain the existence and location of impulsive order-1 periodic solution(s). Further, by using the Analogue of Poincaré Criterion, the stability of the order-1 periodic solution for system (Equation2) is considered. In the last, we focus on the numerical simulations for the theory results.

2. Preliminaries

Let the impulse function be I, then I(x,y)=((1n)x,(1m)y+τ). For the sake of simplicity, it is also denoted by I(y)=(1m)y+τ. Further, we denote the system without impulse that corresponding to (Equation2) by (4) dxdt=xU(x,y),dydt=yV(x).(4) Let impulse set M={(x,y)|y>0,x=h} and image set N={(x,y)|y>0,x=h_}, where h_=(1n)h+τ. Obviously I(M)N. Let O+(Q) be the positive trajectory of the system (Equation4) starting from the point Q and let O(Q) be a negative trajectory reaching the point Q. For any Q(h_,y)N, if O+(Q) intersects with M for the first time at a point Q¯(h,y¯), and is consecutively mapped to Q+(h_,y+)N, then we define Poincaré map P,PN and successor function F as follows: (5) P(Q)=Q¯,PN(Q)=Q+,F(Q)=(IP)(Q)Q=Q+Q.(5) where Q also represents its coordinate yQ. For convenience, if a point A is above point B, that is yA>yB, then we write A>B. Obviously, PN=IoP, F(y)=(1m)P(y)1.

The geometric interpretation of Poincaré map P,PN and successor function F is shown in the Figure .

Figure 1. The geometric illustration for Poincaré maps P, PN and successor function F, where P(Q)=Q¯,PN(Q)=Q+,F(Q)=Q+Q.

Figure 1. The geometric illustration for Poincaré maps P, PN and successor function F, where P(Q)=Q¯,PN(Q)=Q+,F(Q)=Q+−Q.

Definition 2.1

If Q=Q+, that is F(Q)=0, then the ring formed by trajectory QQ¯ and line segment Q¯Q+ is called the order-1 periodic orbit.

It is known from the properties of U and V, for system (Equation4), that the existence and uniqueness of the solutions hold true, and the solutions are continuously dependent on and differentiable with respect to the initial value. It is also easy to verify that the solution of (Equation4) with a positive initial value must be positive.

Lemma 2.1

Under the Assumption (A1)(A2), the system (Equation4) has two unstable saddle points E0=(0,0), E1=(k,0) and an asymptotically stable node or focus E2=(w,y), where y is the solution of the equation U(w,y)=0. There is no positive periodic solution in the first quadrant for system (Equation4).

Proof.

Obviously, the point (0,0) is an equilibrium. Since U(k,0)=0, the point (k,0) is a boundary equilibrium of the system (Equation4). In addition, according to assumption (A1), the equation U(x,y)=0 determine an implicit function, named y=σ(x). From the differential rule for implicit function, we have σ(x)=UxUy<0,which means that the function y=σ(x) is decreasing with x, and σ(k)=0 because of U(k,0)=0. Since V(w)=0 and w<k, so the curve of y=σ(x) must intersect with the line x = w at the point (w,y), where y is the solution of the equation U(w,y)=0. Hence (w,y) is a positive equilibrium of the system (Equation4).

The Jacobian matrix along the system (Equation4) is J=U(x,y)+xUxxUyyV(x)V(x).Calculating the eigenvalues of the Jacobian matrix at E0=(0,0), E1=(k,0) and E2=(ω,y), respectively, it is known that the equilibria E0, E1 are unstable saddle points and E2 is an asymptotically stable node or focus.

Taking a Dulac function D(x,y)=1xy(x>0,y>0), we have (DxU(x,y))x+(DyV(x))y=1yUx<0.Therefore, the unique positive equilibrium point E2 is globally asymptotically stable and there is no positive periodic solution in the first quadrant.

When O+(Q)MΦ, we called the function P,PN, F are well defined. Following the discussion in [Citation21] and [Citation20], we have

Lemma 2.2

If P,PN, F are well defined on a non-tangent interval [c,d](except the end point), then P, PN, F are continuous on [c,d].

Further similar analysis to Lemma 2.2 in [Citation21] shows that the vector field of the system (Equation4) is counterclockwise.

Let the isoline y=σ(x) intersects with M and N at points R=(h,yR) and T=(h_,yT) respectively. Then (6) yT=σ(h_),yR=σ(h).(6) Because of σ<0 and h_<h, we have yR<yT. The possible location of impulse set, image set, isolines and related characterized points is shown in Figure .

Figure 2. The possible location of impulse section, image section, isoclines and some characterized points: (a)h_<h<x=w; (b) h_<x<h.

Figure 2. The possible location of impulse section, image section, isoclines and some characterized points: (a)h_<h<x∗=w; (b) h_<x∗<h.

Definition 2.2

For system (Equation2), suppose a domain D is composed of impulse set M, image set N, trajectory L1 and L2, and satisfies

  1. there is no singularity in D;

  2. the trajectory L1 intersects with N and M at A and A¯ successively; the trajectory L2 intersects with N, M at B and B¯ successively;

  3. line segments AB and A¯B¯ have no tangent points with the trajectory of the system (Equation4) except for the end points.

If A>BA¯>B¯, then D is called a parallel rectangular domain (see Figure a).

Figure 3. The illustration for three categories of Bendexion domain: (a) parallel domain; (b) sub-parallel domain; (c) semi-ring domain.

Figure 3. The illustration for three categories of Bendexion domain: (a) parallel domain; (b) sub-parallel domain; (c) semi-ring domain.

If A>BA¯<B¯, and L2 is tangent to N at B, then D is called a sub-parallel rectangular domain (see Figure b).

If A>BA¯<B¯, L1 intersects with N at A and A successively, and L2 intersects with N at B and B successively, and L2 is tangent to M at B, then D is called a semi-circle domain (see Figure c).

Lemma 2.3

[Citation20,Citation21]

For parallel and sub-parallel domains, if F is defined on the non-tangent interval [A,B]N and such that F(A)F(B)<0, then there is an order-1 periodic solution starting from CAB. For semi-ring domains, if PN(AB)AB or PN(AB)AB, then there is an order-1 periodic solution starting from AB. If PN(AB)AB or PN(AB)AB, then there is an order-1 periodic solution starting from AB. If PN(AB)BB or PN(AB)BB, then there is no order-1 periodic solution in D (see Figure ).

3. Main results

Let (h_,τ)Qτ, (h_,τm)Qm.

Lemma 3.1

For any Q¯(h,y¯)M, if y¯>τm, then Qm<I(Q¯)<Q¯; if y¯<τm, then Q¯<I(Q¯)<Qm.

Proof.

Obviously, I(y)=(1m)y+τI(τm)=τm. Assume that y¯>τm. On the one hand, we have I(y¯)=(1m)y¯+τ>(1m)τm+τ=τm. On the other hand, I(y¯)=(1m)y¯+τ=y¯+(τmy¯)<y¯. Thus τm<I(y¯)<y¯, which means Qm<I(Q¯)<Q¯. Similarly, when y¯<τm, we have y¯<I(y¯)<τm, that is Q¯<I(Q¯)<Qm.

Further, if F(Qτ) is well defined, then (7) F(Qτ)=(1m)yQ¯τ+ττ>0.(7) Next, we discuss the existence and location of order-1 periodic solutions of the system (Equation2) under the case h_<h<x=w and h_<x<h, respectively.

3.1. h_<h<x=w

In this case, for any QN, F(Q) is well defined since E2(w,y) is globally asymptotically stable.

Theorem 3.1

Assume (A1)(A2) hold and τ>0. Then there must exist a positive order-1 periodic solution for system (Equation2).

Proof.

To specify the structure and location of the order-1 periodic solution and probe the effect of parameter m and τ, we discuss case by case.

Case 1. τm>yT.

(i) F(T)>0. The domain formed by trajectory TT¯ and T+T¯+, segments TT+ and T¯T¯+ is sub-parallel. It follows from the structure of the trajectories of system (Equation2) and the monotonic increasing of impulse function I that F(T+)<0. Thus F(T)F(T+)<0. According to Lemma 2.3, there is an order-1 periodic solution in this sub-parallel domain.

(ii) F(T)<0. Because F(Qτ) is well defined, the domain composed of trajectories TT¯ and QτQ¯τ, segments TQτ and T¯Q¯τ is a parallel one. It follows from (Equation7) that F(T)F(Qτ)<0, which implies that there is a positive order-1 periodic solution starting from the segment TQτ.

Case 2. 0<τmyT.

Take the trajectory as a graph of a function, then O+(T) is decreasing with respect to x for x<x=w. Therefore T¯<T. It follows from Lemma 3.1 that I(T¯)<T no matter τmyT¯ or τm>yT¯, and hence F(T)<0. Moreover F(Qτ)>0, which leads to F(T)F(Qτ)<0. So in the parallel domain composed of trajectories QτQ¯τ, TT¯ and segments QτT and Qτ¯T¯, there is a positive order-1 periodic solution initiating from the segment QτT.

Theorem 3.2

Suppose that τ=0. Then there is a semi-trivial periodic solution (X(t),0), where h_X(t)h.

Proof.

When h_<x<h<w, O+(Q) is decreasing for any Q<T, and it follows that Q¯<Q. If τ=0, then F(Q)=(1m)Q¯Q<0 for Q<T. Moreover, similar to the discussion of Lemma 2.2 in [Citation21], we have (8) F(Y)=(1m)exph_hzU(z,y(z,Y))V(z)zV(z)y(z,Y)Uy(z,y(z,Y))(zU(z,y(z,Y)))2dz1,Y<yT.(8) From the assumption (A1)(A2), it gives F(Y)<0 for Y<yT. Thus for the successor function F, both F(Q)<0 and F(Q)<0 are satisfied for Q<T. Since 0<m<1 and the solutions of system (Equation4) are positive with positive initial value. Henceforth, limϵ0+F(ϵ)=0 holds true because of the continuity of F.

Remark 3.1

In fact, even since h_<x<h, the inequality F(T)<0 is always true under the case that F(T) is well defined and τ=0. In view of the uniqueness of the solution, the trajectory Q+(T) intersects with the isoline on the right side of M, therefore T¯<T holds, which means F(T)<0.

When m = 0, the result is similar to the case τm>yT.

Corollary 3.1

Suppose m = 0. Then the following statements are true. (i) If F(T)>0, then there is an order-1 periodic solution initiating above T. (ii) If F(T)<0, then the order-1 periodic solution is starting from QτT, which is below T.

3.2. h_<x<h

In this case, F(T) may be not well defined.

If F(T) is well defined, F(Q) is defined for any QN. Similar to the proof of Theorem 3.1, there must exist an order-1 periodic solution for system (Equation2).

If F(T) is not well defined (it is only possible when h_<x<h), we only consider the case that O(R)NΦ and there are at least two intersection points, because the impulse control is hardly valid when there is unique or no intersection[Citation20,Citation21]. Let R=max{Rk|O+(Rk)M=R,Rk<T},R=min{Rk|O+(Rk)M=R,Rk>T}.From Lemma 2.3, we have the following theorems.

Theorem 3.3

Suppose that τmyR, I(R)>R and PN(R+)>R hold. Then there is an order-1 periodic solution starting from segment RR+, which lies in the semi-ring domain.

Proof.

Obviously, under the conditions given by the theorem, PN(RR+)RR+ holds true. It follows from Lemma 2.3 that there is an order-1 periodic solution in the semi-ring domain, which is composed of trajectories RR¯, R+R¯+ and segments RR+ and R¯R¯+.

Theorem 3.4

Suppose that τyR and τm<yR hold. Then the system (Equation2) has no positive periodic solution.

Proof.

Since τyR, we have I(yR)=(1m)yR+τ>τyR. From Lemma 3.1, no matter τm<yR or τm>yR, the inequality I(R)<R can be obtained from τm<yR and yR<yT<yR. The trajectories starting from the points below R on N are all mapped onto segment RR under the effect of impulse, so the trajectory initiating on RR will no longer reach M, which are determined by system (Equation4). From Lemma 2.3, there is no positive periodic solution for system (Equation4), so does for system (Equation2).

Theorem 3.5

Suppose 0<τ<yR holds. If I(R)<R, then there is an order-1 periodic solution which departures from segment QτR. Specifically, if F(Qm)<0, then there is an order-1 periodic solution initiating from segment QτQm.

Proof.

Equation (Equation7) gives F(Qτ)>0. Since I(R)<R, that is F(R)<0, and hence F(τ)F(R)<0 holds. It is known from Lemma 2.3 that there is an order-1 periodic solution initiating from the segment QτR. Specifically, if F(Qm)<0, then F(Qτ)F(Qm)<0. Therefore there is an positive order-1 periodic solution initiating from segment QτQm.

Remark 3.2

Theorems 3.2–3.4 present the sufficient conditions for the existence or non-existence of order-1 periodic solutions to system (Equation2). We have not established the existence conditions of order-1 periodic solution when I(R)>R and 0<τ<yR, the simulations show that there maybe exist or not exist a positive order-1 periodic solution.

Remark 3.3

When F(T) is well defined, the results are the same as that under the case h_<h<x.

Theorem 3.6

Suppose τ=0 and F(T) be not well defined. Then there is a semi-trivial order-1 periodic solution under the case I(R)<R, and when I(R)>R, there maybe exist an positive order-1 periodic solution.

Proof.

Since O(R)Nset, we have F(ϵ) is well defined for ϵ<R. Further, limϵ0+F(ϵ)=0 holds true, which means there exists a semi-trivial order-1 periodic solution. When h_<x<h, from Equation (Equation8), the inequality F(Q)<0 does not necessarily hold for Q<R. Therefore, when I(R)>R, there maybe exist an positive order-1 periodic solution besides the semi-trivial periodic solution.

Corollary 3.2

Suppose m = 0 and F(T) be well defined. Then the following statements are true. (i) If F(T)>0, then there is an order-1 periodic solution initiating above T. (ii) If F(T)<0, the order-1 periodic solution is initiating from QτT, which is below T.

Corollary 3.3

Suppose that m = 0 and F(T) be not well defined. (i) If I(R)>R and PN(R+)>R, there is an order -1 periodic solution starting above R. (ii) If I(R)<R, there is an order -1 periodic solution starting from QτR.

Remark 3.4

When h_<x<h, F(T) maybe or not well defined. If F(T) is well defined, for any Q<TN,F(Q) is well defined. If F(T) is not well defined, for any Q<RN, F(Q) is well defined. When h_<h<x, the trajectory O+(Q) is decreasing with x on [h_,h], however, it is not necessarily decreasing on [h_,h] under the case h_<x<h. Hence, it is still possible that there is a point Q such that (1m)yQ¯+τ>yQ, that is, F(Q)>0. If F(T) is well defined and F(T)<0, then it is still possible that there is a positive order-1 periodic solution starting from the segment QT. If F(T) is not well defined and I(R)<R, that is, F(R)<0, then there may exist a positive order-1 periodic solution which initiating from the segment QR.

Next, we summarize the results in two tables as follows, which are listed according to whether F(T) is well defined, where the symbol ‘par.’ and ‘semi-tri.’ are the abbreviations of ‘parallel’ and ‘semi-trivial’. The check mark ‘’ indicates the claim is true(see Table  and Table ).

Table 1. The existence and location of order-1 periodic solution when F(T) is well defined.

Table 2. The existence and location of order-1 periodic solution when F(T) is not well defined.

4. Stability of the order-1 positive periodic solution

Consider the general plane state-dependent impulsive differential system (9) dxdt=P(x,y),dydt=Q(x,y),if ϕ(x,y)0,Δx=I1(x,y),Δy=I2(x,y),if ϕ(x,y)=0,(9) where P(x,y), Q(x,y) is continuously differentiable, Φ(x,y) is a smooth function and Φ0.

Lemma 4.1

Analogue of Poincaré Criterion [Citation1,Citation8,Citation15].

If |μ1|<1, then the order-1 periodic solution of system (9) is orbitally asymptotically stable, where (10) μ1=j=1nκjexp0ωPξ(t),η(t)x+Qξ(t),η(t)ydt,(10) (11) κj=I2yϕxI2xϕy+ϕxP++I1xϕyI1yϕx+ϕyQ+ϕxP+ϕyQ,(11) and P,Q,I1x,I1y,I2x,I2y,ϕx,ϕy are calculated at the point (ξ(τj),η(τj)), P+, and Q+ are calculated at the point (ξ(τj+),η(τj+)), and τj is the time of the jth jump.

Theorem 4.1

Let (X(t),Y(t)) be an order-1 ω-periodic solution of the system (Equation2). If |μ1|<1, then (X(t),Y(t)) is orbitally asymptotically stable, where (12) |μ1|=(1m)Y(ω)(1m)Y(ω)+τexp0ωYUyVU|(X(t),Y(t))dt<1.(12)

Proof.

Suppose (X(t),Y(t)) intersects with M, N at the point O(h,Y(ω)) and O+(h_,Y(ω+)), respectively, where Y(ω+)=(1m)Y(ω)+τ. Corresponding to system (Equation9), we have P(x,y)=xU(x,y), Q(x,y)=yV(x), Φ(x,y)=xh, and I1(x,y)=nx and I2(x,y)=my+τ. Therefore Px=U(x,y)+xUx,Qy=V(x),I1x=n,I2y=m,ϕx=1,I1y=I2x=ϕy=0.It follows that (13) κ1=I2yϕxI2xϕy+ϕxP++I1xϕyI1yϕx+ϕyQ+ϕxP+ϕyQ=(1m)P+P.(13) Moreover, we have (14) 0ωP(X,Y)Xdt=0ω[U(X,Y)+XUx(X,Y)]dt=h_h1XdX+0ωXUx(X,Y)dt=lnhh_+0ωXUx(X,Y)dt(14) and (15) 0ωQ(X,Y)Ydt=0ωV(X)dt=Y(ω+)Y(ω)1YdY=lnY(ω)Y(ω+).(15) Further, the last items of (Equation14) give (16) 0ωXUx(X,Y)dt=0ωX[Ux(X,Y)+Uy(X,Y)dYdX]XU(X,Y)X˙(t)dt0ωUy(X,Y)U(X,Y)Y˙(t)dt=h_hdU(X,Y(X))U(X,Y(X))0ωUy(X,Y)U(X,Y)YV(X)dt=lnU(h,Y(ω))U(h_,Y(ω+)0ωUy(X,Y)U(X,Y)YV(X)dt.(16) Hence, it follows from (Equation14)–(Equation16) that (17) exp0ωPX,YX+QX,YYdt=explnhh_+lnU(h,Y(ω))U(h_,Y(ω+))+lnY(ω)Y(ω+)0ωUy(X,Y)U(X,Y)YV(X)dt=hh_U(h,Y(ω))U(h_,Y(ω+)exp0ωUy(X,Y)U(X,Y)YV(X)dt.(17) Therefore, according to (Equation12), (Equation13), (Equation14) and (Equation17), we have |μ1|=(1m)P+Phh_Y(ω)Y(ω+)U(h,Y(ω))U(h_,Y(ω))exp0ωUy(X,Y)U(X,Y)YV(X)dt=(1m)Y(ω)(1m)Y(ω)+τexp0ωUyYVU|(X(t),Y(t))dt<1.According to Lemma 4.1, the order-1 periodic solution (X(t),Y(t)) is orbitally asymptotically stable.

Remark 4.1

If h<x and F(T)<0, then there exists an order-1 periodic solution (X(t),Y(t)), which must be orbitally asymptotically stable, in view of U>0,Uy0 and V <0, Y >0 for Y(ω+)<yT, and hence |μ1|<1.

5. Example and simulations

Consider the state-dependent impulsive differential system (18) dxdt=rx1xkβxydydt=y(βxα),x<h,Δx=nx(t)Δy=my(t)+τ,x=h.(18) Obviously, corresponding to system (Equation2), we have U(x,y)=rrkxβy,V(x)=βxα,Ux=rk,Uy=β,V(x)=β.From V(x)=0, it follows that w=μβ. It is not difficult to figure out (x,y)=αβ,rβ1αkβ,yT=rβ1h_k,yR=rβ1hk.If k>h and (1n)h<μβ, then the assumptions (A1) and (A2) hold.

In the following, some simulations are carried out by Matlab software, which are somewhat corresponding to Table  and Table .

5.1. F(T) is well defined

Taking the parameters r = 1, k = 10, β=0.025, a = 0.188, n = 0.3 and h = 5.5, the computation shows that (x,y)=(7.52,9.92), h_=3.85, yT=24.6 and yT¯=15.8055, which means h_<h<x.

Let τ=15 and m = 0. Then τm=150>yT and F(T)=5.73>0 are satisfied. As can be seen from Figure (a) that there is an order-1 periodic solution in a sub-parallel domain. Let τ=7 and m = 0.1. Then we have τm=70>yT and F(T)=2.269<0. There is an order-1 periodic solution initiating below T, which is in a parallel domain (Figure b). If τ=2 and m = 0.1, then the condition 0<τm=20<yT holds true, it can be seen from Figure (c) that there exists an order-1 periodic solution in a parallel domain. Let τ=0 and m = 0.1. It is known from Figure (d) that there is a semi-trivial periodic solution in the system.

Figure 4. The order-1 periodic solution of system (Equation18) under the case h_<h<x, where r = 1, k = 10, β=0.025, a = 0.188, n = 0.3,h = 5.5. (a) m = 0, τ=15 such that τm>yT and F(T)>0; (b)m = 0.1, τ=7 such that τm>yT and F(T)<0; (c) m = 0.1, τ=2 such that 0<τm<yT and F(T)<0; (d) when τ=0 and m = 0.1, there is a semi-trivial periodic solution.

Figure 4. The order-1 periodic solution of system (Equation18(18) dxdt=rx1−xk−βxydydt=y(βx−α),x<h,Δx=−nx(t)Δy=−my(t)+τ,x=h.(18) ) under the case h_<h<x∗, where r = 1, k = 10, β=0.025, a = 0.188, n = 0.3,h = 5.5. (a) m = 0, τ=15 such that τm>yT and F(T)>0; (b)m = 0.1, τ=7 such that τm>yT and F(T)<0; (c) m = 0.1, τ=2 such that 0<τm<yT and F(T)<0; (d) when τ=0 and m = 0.1, there is a semi-trivial periodic solution.

When h_<x<h, F(T) may be well defined or not well defined.

Let r = 0.5, k = 15, β=0.025, a = 0.165, m = 0.03, n = 0.428, h = 7 be fixed, the calculation shows that h_=4.004, yT=14.661 and yT¯=9.9286, which means F(T) is well defined. Compared with Figure , Figure  illustrates the existence of the order-1 periodic solutions which are the same as h<x.

Figure  and Figure  show that there must exist an positive order-1 periodic solution for system (Equation2) under the case F(T) is well defined and τ>0.

5.2. F(T) is not well defined

If F(T) is not well defined, then h_<x<h.

Taking r = 0.5, k = 15, β=0.025, a = 0.27, n = 0.3, m = 0.5 and h = 11, then h_=7.7, (x,y)=(10.8,5.6), which means h_<x<h. The calculation gives yT=9.7333, yR=5.333 and F(T) is not well defined. Further, yR=6.808 and yR=18.875 are obtained.

Let τ=30. Then τm=60yR, I(R)=yR+=32.6665>yR and PN(R+)=32.089>yR are satisfied. It can be seen from Figure (a) that there is an order-1 periodic solution which locates in a semi-ring domain. Take τ=7, then τ>yR and τm=14<yR hold. As can be seen from Figure (b) that there does not exist periodic solution because the trajectories of the system ultimately approach the equilibrium (x,y). While τ=2, we can verify that 0<τ<yR, I(yR)=yR+=4.6665<yR and F(τ)=0.91715>0. We can see from Figure (c) that an order-1 periodic solution exists.

Figure 5. The existence of order-1 periodic solution of system (5.1) when h_<x<h and F(T) is well defined, where r = 0.5, k = 15, β=0.025, a = 0.165, m = 0.03, n = 0.428 and h = 7. (a) τ=7 such that τm>yT and F(T)>0; (b) τ=1 such that τm>yT and F(T)<0; (c) τ=0.05 such that 0<τmyT; (d) τ=0.

Figure 5. The existence of order-1 periodic solution of system (5.1) when h_<x∗<h and F(T) is well defined, where r = 0.5, k = 15, β=0.025, a = 0.165, m = 0.03, n = 0.428 and h = 7. (a) τ=7 such that τm>yT and F(T)>0; (b) τ=1 such that τm>yT and F(T)<0; (c) τ=0.05 such that 0<τm≤yT; (d) τ=0.

Figure 6. The existence of order-1 periodic solution of system (Equation18) when h_<x<h and F(T) is not well defined, where r = 0.5,k = 15,β=0.025,a = 0.27, n = 0.3, m = 0.5 and h = 11. (a) τ=30 such that τmyR,I(R)>R and PN(R+)>R; (b) τ=7 such that τYR and τm<yR; (c) τ=2 such that 0<τ<YR,I(R)<R.

Figure 6. The existence of order-1 periodic solution of system (Equation18(18) dxdt=rx1−xk−βxydydt=y(βx−α),x<h,Δx=−nx(t)Δy=−my(t)+τ,x=h.(18) ) when h_<x∗<h and F(T) is not well defined, where r = 0.5,k = 15,β=0.025,a = 0.27, n = 0.3, m = 0.5 and h = 11. (a) τ=30 such that τm≥yR−,I(R)>R− and PN(R+)>R−; (b) τ=7 such that τ≥YR− and τm<yR−; (c) τ=2 such that 0<τ<YR−,I(R)<R−.

Let r = 0.5, k = 15, β=0.025, a = 0.165, n = 0.3 and h = 9 be fixed. Then we have h_=6.35, yR=8 and yR=6.325. Take τ=0 and m = 0.04, then I(R)=7.68>6.3=R. When (x0,y0)=(6.3,0.5), it can be seen from Figure (a) that the system has a limit cycle. Changing the initial value (x0,y0)=(6.3,1.5), the trajectory approaches the equilibrium E2 after finite times of impulse impact. Let τ=0 and m = 0.5. Then I(R)=4<6.325=R, and the system has a semi-trivial order-1 periodic solution (see Figure b). Given a small τ=0.05, even since the initial value of y is zero, there is still a positive order-1 periodic solution (see Figure c).

Figure 7. The existence of periodic solution of system (Equation18) when h_<x<h and F(T) is not well defined, where r = 0.5, k = 15, β=0.025, a = 0.165, n = 0.3 and h = 9. (a) τ=0, m = 0.04, such that I(R)>R, (x0,y0) is taken by (6.3,5.5) and (6.3,0.5),respectively; (b) τ=0, m = 0.5, such that I(R)<R, (x0,y0)=(6.3,1.5), and limϵ0+F(ϵ)=0; (c) τ=0.05, m = 0.5, such that I(R)<R, where (x0,y0)=(6.3,0).

Figure 7. The existence of periodic solution of system (Equation18(18) dxdt=rx1−xk−βxydydt=y(βx−α),x<h,Δx=−nx(t)Δy=−my(t)+τ,x=h.(18) ) when h_<x∗<h and F(T) is not well defined, where r = 0.5, k = 15, β=0.025, a = 0.165, n = 0.3 and h = 9. (a) τ=0, m = 0.04, such that I(R)>R−, (x0,y0) is taken by (6.3,5.5) and (6.3,0.5),respectively; (b) τ=0, m = 0.5, such that I(R)<R−, (x0,y0)=(6.3,1.5), and limϵ→0+F(ϵ)=0; (c) τ=0.05, m = 0.5, such that I(R)<R−, where (x0,y0)=(6.3,0).

From Figure , it can be seen that the existence of periodic solutions depends on the initial values, parameters m,τ and the structure of the system without impulse. Moreover, Figure (b) and Figure (c) show that a small τ can stimulate a positive order-1 periodic solution.

5.3. Stability of the order-1 periodic solution

Let (X(t),Y(t)) be an order-1 ω-periodic solution of the system (Equation18). Corresponding to system (Equation2), we have (19) |μ¯1|=(1m)Y(ω)(1m)Y(ω)+τexp0ωYUyVU|(X(t),Y(t))dt=(1m)Y(ω)(1m)Y(ω)+τexp0ωβ2X(t)Y(t)βaY(t)rrkX(t)βY(t)dt(19)

Proposition 5.1

Assume k>h and (1n)h<μβ hold. If |μ¯1|<1, then the order-1 periodic solution (X(t),Y(t)) is orbitally asymptotically stable, where |μ¯1| is defined in

Discretizing the above integral, (Equation19) becomes (20) |μ¯1|=(1m)Y(ω)(1m)Y(ω)+τexpi=1Nβ2X(ti)Y(ti)βaY(ti)rrkX(ti)βY(ti)Δti,(20) where Δti=ωN, which is the step size, dividing the interval [0,ω] into N subintervals.

Let r = 1, k = 10, β=0.025, a = 0.188, n = 0.3, m = 0.03, h = 5.5, which means that h_<h<x and F(T) is well defined. According to Theorem 3.1, there exists an order-1 periodic solution (X(t),Y(t)) for system (Equation18). Take the uniform step size Δti=0.05. When τ=30, the computation gives ω=10.348, Y(ω)=14.8256, Y(ω+)=44.3808 and N=ωΔti=207. Following Equation (Equation18), we have |μ¯1|=0.5223<1. Therefore, the order-1 periodic solution is orbitally asymptotically stable(see Figure a). Let τ=7. Then ω=4.84, Y(ω)=15.7080, Y(ω+)=22.2368 and N = 97, and hence μ¯1=0.2222<1, which can be seen from Figure (b) that the order-1 periodic solution is orbitally asymptotically stable.

Figure 8. The stability of order-1 periodic solution of system under the case that h_<h<x and F(T) is well defined, where r = 1, k = 10, β=0.025, a = 0.188, n = 0.3, m = 0.03, h = 5.5 and Δti=0.05 such that |μ¯1|<1: (a) τ=30 such that F(T)>0; (b) τ=7 such that F(T)<0.

Figure 8. The stability of order-1 periodic solution of system under the case that h_<h<x∗ and F(T) is well defined, where r = 1, k = 10, β=0.025, a = 0.188, n = 0.3, m = 0.03, h = 5.5 and Δti=0.05 such that |μ¯1|<1: (a) τ=30 such that F(T)>0; (b) τ=7 such that F(T)<0.

Fix r = 0.5, k = 15, β=0.025 and n = 0.3. Then h_<x<h. Let a = 0.165, m = 0.03, τ=30, h = 9. Then F(T) is not well defined, and ω=22.909, Y(ω)=7.5269, Y(ω+)=37.3011. take Δti=0.25. The calculation shows μ¯1=0.2956<1. Further, let a = 0.27, m = 0, τ=0.05, h = 11 and Δti=0.01, the computation shows that ω=2.116, Y(ω)=0.6663, Y(ω+)=0.7163 and N = 212, and hence |μ¯1|=0.9175<1. Obviously, there is an orbitally asymptotically stable periodic solution of system, respectively, which can be seen from Figure (a) and Figure (b).

Figure 9. The stability of order-1 periodic solution of system when h_<x<h and F(T) is not well defined, where r = 0.5, k = 15, β=0.025 and n = 0.3 so that |μ¯1|<1. (a) a = 0.165, m = 0.03, τ=30, h = 9, and such that I(R)>R and PN(R+)>R;(b) a = 0.27, m = 0, τ=0.05, h = 11 and such that I(R)<R.

Figure 9. The stability of order-1 periodic solution of system when h_<x∗<h and F(T) is not well defined, where r = 0.5, k = 15, β=0.025 and n = 0.3 so that |μ¯1|<1. (a) a = 0.165, m = 0.03, τ=30, h = 9, and such that I(R)>R− and PN(R+)>R−;(b) a = 0.27, m = 0, τ=0.05, h = 11 and such that I(R)<R−.

6. Conclusion and discussion

In the paper, the existence and existing domain, along with the stability of order-1 periodic solutions are considered. Further, we focus on the effects of parameters τ and m on the existence and stability of periodic solutions, which are performed theoretically and numerically. We construct three kinds of Bendixson domains with different structures, which overcome the difficulty, to some extent, that caused by the discontinuity of impulsive impact.

Our results show that the system (Equation4) without a positive periodic solution may have periodic oscillations under the effects of pulses. In this sense, the pulse action can ‘activate’ the state of periodic oscillation. When h<x, F(T) must be well defined, and when h_<x<h, F(T) is not necessarily well defined. If F(T) is well defined, then system (Equation2) has an order-1 periodic solution, and when τ>0, there must exist a positive order-1 periodic solution. If F(T) is not well defined and the parameters τ and m are taken moderate values, the impulse effect will be invalid ultimately (see Theorem 3.4). If τ and τm are small enough, the population of the predator species, corresponding to y of the periodic solution, is also small. When τm is large enough, the periodic solutions locate in the sub-parallel domain (when F(T) is well defined) or in the semi-ring domain (when F(T) is not well defined), corresponding to a larger scale of predator species. When τ=0, no matter h_<h<x or h_<x<h holds, there exist a semi-trivial periodic solution. However, when h_<x<h, there may still exist other positive order-1 periodic solutions (see Figure (a)).

From biological control point of view, when the density of the prey reaches a threshold h, the two species are harvested. When τ=0, the system has a semi-trivial periodic solution, which means the predator becomes extinct, and the ecosystem is destroyed. Comparing Figure (c), Figure (c), Figure (b) with Figure (d), Figure (d), Figure (c), respectively, it can be seen that a small τ can ‘activate’ an positive order-1 periodic solution, which means the releasing of a small scale of predator can ‘stimulate’ an dynamic equilibrium of the ecosystem. When |μ1|<1, the dynamic equilibrium is stable, and we can implement the control of harvesting or releasing at every ω time, so as to maintain the ecological balance between the two species and to ensure the sustainable economic benefits.

Disclosure statement

No potential conflict of interest was reported by the author(s).

Additional information

Funding

This work was supported by The Natural Science Foundation of Hunan Province [2019JJ40240,2018JJ2319].

References

  • D. Bainov and P. Simeonov, Impulsive Differential Equations: Periodic Solutions and Applications, Longman Scientific & Technical, England, 1993.
  • E. Borducchi, C. Cabral, K. Stephenson, J. Liu, and H. Dan, Ad26/mva therapeutic vaccination with tlr7 stimulation in siv-infected rhesus monkeys, Nature 540 (2016), pp. 284–287.
  • J. Chavez, D. Jungmann, and S. Siegmund, A comparative study of integrated pest management strategies based on impulsive control, J. Biological Dyn. 12 (2018), pp. 318–341.
  • T. Cheng, S. Tang, and R.A. Cheke, Threshold dynamics and bifurcation of a state-dependent feedback nonlinear control SIR model, J. Comput. Nonlinear Dyn. 14 (2019), pp. 209.
  • R. Hakl, M. Pinto, and V. Tkachenko, Almost periodic evolution systems with impulse action at state-dependent moments, J. Math. Anal. Appl. 446 (2017), pp. 1030–1045.
  • Z. He, C. Li, L. Chen, and Zh. Cao, Dynamic behaviors of the FitzHugh–Nagumo neuron model with state-dependent impulsive effects, Neural Netw. 121 (2019), pp. 497–511. 
  • X. Hu, J. Li, and X. Feng, Threshold dynamics of a HCV model with virus to cell transmission in both liver with CTL immune response and the extrahepatic tissue, J. Biological Dyn. 15 (2021), pp. 19–34.
  • G. Jiang, Q. Lu, and L. Qian, Complex dynamics of a Holling type II prey–predator system with state feedback control, Chaos Solit. Fract. 31 (2007), pp. 448–461.
  • T. Kar and S. Chattopadhyay, A focus on long-run sustainability of a harvested prey predator system in the presence of alternative prey, Comp. Rend. Biol. 333 (2010), pp. 841–849.
  • L. Li, Ch. Li, and W. Zhang, Existence of solution, pulse phenomena and stability criteria for state-dependent impulsive differential equations with saturation, Commun. Nonlinear Sci. Numer. Simul. 77 (2019), pp. 312–323.
  • M. Liao, Y. Liu, Sh. Liu, and A. Meyad, Stability and Hopf bifurcation of HIV-1 model with Holling II infection rate and immune delay, J. Biological Dyn. (2021). Available at DOI:https://doi.org/10.1080/17513758.2021.1895334.
  • L. Nie, J. Shen, and C. Yang, Dynamic behavior analysis of SIVS epidemic models with state-dependent pulse vaccination, Nonlinear Anal. Hybrid Syst. 27 (2018), pp. 258–270.
  • L. Nie, Zh. Teng, H. Lin, and J. Peng, The dynamics of a Lotka-Volterra predator-prey model with state dependent impulsive harvest for predator, BioSystems 98 (2009), pp. 67–72.
  • M. Nowak and R. May, Virus Dynamics: Mathematical Principles of Immunology and Virology, Oxford University Press, Oxford, 2000.
  • P. Simeonov and D. Bainov, Orbital stability of periodic solutions of autonomous systems with impulse effect, Int. J. Syst. Sci.19 (1989), pp. 2561–2585.
  • S. Tang and R. Cheke, State-dependent impulsive models of integrated pest management (IPM) strategies and their dynamic consequences, Math. Biol. 50 (2005), pp. 257–292.
  • X. Tang and X. Fu, On period-k solution for a population system with state-dependent impulsive effect, J. Appl. Anal. Comput. 7 (2017), pp. 39–56.
  • S. Tang, X. Tan, and J. Yang, Periodic solution bifurcation and spiking dynamics of impacting predator–prey dynamical model, Int. J. Bifurcation Chaos 28 (2018), pp. 1850147. Article ID 1850147.
  • J. Wang, H. Chen, Y. Li, and X. Zhang, The geometrical analysis of a predator-prey model with multi-state dependent impulses, J. Appl. Anal. Comput. 8 (2018), pp. 427–442.
  • H. Wang, B. Dai, and Q. Xiao, Existence of order-1 periodic solutions for a viral infection model with state-dependent impulsive control, Adv. Differ. Eq. 2019 (1) (2019). Available at https://doi.org/10.1186/s13662-019-1967-x.
  • H. Wang, Ch. Ou, and B. Dai, The existence and stability of order-1 periodic solutions for an impulsive Kolmogorov predator–prey model with non-selective harvesting, J. Appl. Anal. Comput. 11(2021), pp. 1348–1370.
  • A. Wang, Y. Xiao, and R. Smith, Using non-smooth models to determine thresholds for microbial pest management, J. Math. Biol. 78 (2019), pp. 1389–1424.
  • Ch. Xu, M. Liao, P. Li, Y. Guo, Q. Xiao, and Sh. Yuan, Influence of multiple time delays on bifurcation of fractional-order neural networks, Appl. Math. Comput. 361 (2019), pp. 565–582.
  • G. Zeng, L. Chen, and L. Sun, Existence of periodic solution of order one of planar impulsive autonomous system, J. Comput. Appl. Math. 186 (2006), pp. 466–481.
  • Q. Zhang, B. Tang, and S. Tang, Vaccination threshold size and backward bifurcation of SIR model with state-dependent pulse control, J. Theoretical Biol. 455 (2018), pp. 75–85.
  • Y. Zhou, Ch. Li, and H. Wang, Stability analysis on state-dependent impulsive hopfield neural networks via fixed-time impulsive comparison system method, Neurocomputing 316 (2018), pp. 20–29.