 Research
 Open Access
 Published:
Global dynamics of a statedependent feedback control system
Advances in Difference Equations volume 2015, Article number: 322 (2015)
Abstract
The main purpose is to develop novel analytical techniques and provide a comprehensive qualitative analysis of global dynamics for a statedependent feedback control system arising from biological applications including integrated pest management. The model considered consists of a planar system of differential equations with statedependent impulsive control. We characterize the impulsive and phase sets, using the phase portraits of the planar system and the Lambert W function to define the Poincaré map for impulsive point series defined in the phase set. The existence, local and global stability of an order1 limit cycle and obtain sharp sufficient conditions for the global stability of the boundary order1 limit cycle have been provided. We further examine the flip bifurcation related to the existence of an order2 limit cycle. We show that the existence of an order2 limit cycle implies the existence of an order1 limit cycle. We derive sufficient conditions under which any trajectory initiating from a phase set will be free from impulsive effects after finite statedependent feedback control actions, and we also prove that orderk (\(k\geq3\)) limit cycles do not exist, providing a solution to an open problem in the integrated pest management community. We then investigate multiple attractors and their basins of attraction, as well as the interior structure of a horseshoelike attractor. We also discuss implications of the global dynamics for integrated pest management strategy. The analytical techniques and qualitative methods developed in the present paper could be widely used in many fields concerning statedependent feedback control.
Introduction
This study concerns the global dynamics of semidynamical systems with statedependent feedback arising from modeling integrated pest management (IPM) [1–4]. The challenge for the study of the system’s global dynamics is due to the statedependent impulsive control.
Impulsive semidynamical systems arise from many important applications in the life sciences including population dynamics (biological resource and pest management programs, and chemostat cultures) [1–10], virus dynamics (HIV) [11–17], medicine and pharmacokinetics (diabetes mellitus and tumor control) [18–22], epidemiology (vaccination strategies, the control of epidemics and plant epidemiology) [23–32], and neuroscience [33–40]. In some applications such as spraying pesticides and releasing natural enemies for pest control and impulse vaccinations and drug administrations for disease treatment [1–5, 8, 41, 42], the impulsive control is implemented at fixed moments to reflect how human actions are taken at fixed periods. In some applications, however, impulsive differential equations with statedependent feedback control have to be used to model densitydependent control strategies [1, 3, 4, 19, 31, 43]. In particular, in an integrated pest management (IPM) strategy, actions are taken only when the density of pests reaches an economic threshold [44, 45]. Feedback control strategies have also been applied in different fields in quite different ways [46–49].
There has also been substantial theoretical development for impulsive semidynamical systems [50–55]. Techniques including the Lyapunov method have been developed to study the stability and boundedness of solutions for impulsive differential equations with fixed moments, with applications in many important areas [1–5, 8]. Despite a few interesting studies on more complicated dynamics such as limit cycles [56–58], invariant and limiting sets [59–64], LaSalle’s invariance principle [65] and the PoincaréBendixson theorem [58, 60], much remains to be done for the qualitative theory, and especially the global dynamics, of impulsive semidynamical systems. This is particularly so for impulsive differential equations with statedependent feedback control.
Some prototype models with biological motivation are needed to guide the development of a general qualitative theory of semidynamical systems with statedependent control. A good example in the series of models motivated by integrated pest management (IPM) [1–4], where the classical LotkaVolterra model with statedependent feedback control is used and some novel techniques for the existence and stability of an order1 limit cycle, nonexistence of limit cycles with order no less than 3, the coexistence of multiple attractors and their basins of attraction are developed. The modeling framework and the developed analytical techniques have been used in a number of recent studies. For example, Huang et al. [19] proposed mathematical models depicting impulsive injection of insulin for type 1 and type 2 diabetes mellitus, and considered the existence and local stability of an order1 limit cycle. Based on biomass concentrationdependent impulsive perturbations, the studies [6, 66] proposed and analyzed chemostat models with statedependent feedback control, again focusing on the existence and stability of an order1 limit cycle. These studies also found that the models have no limit cycles with order no less than 3. The work [30, 67] also considered the existence and stability of limit cycles with different orders, in relation to the biological issue of maintaining the density of an infected plant population below a certain threshold level. See also similar work on population dynamics [10, 58, 68–73] and epidemiology [31]. These studies, however, focused on the existence and local stability of an order1 limit cycle for specific cases.
Here, we develop novel analytical techniques in order to understand the global dynamics of a very general class of impulsive models with statedependent feedback control, commonly used in a number of biological applications including IPM. In particular, we address the following issues and explore their biological implications:

the precise information as regards the domains of impulsive sets and the phase sets, and the domains for the Poincaré map of impulsive point series;

the global stability of order1 limit cycles (including boundary order1 limit cycles);

the existence of order2 limit cycles and nonexistence of limit cycles with order no less than 3, an open problem listed in [1];

the necessary condition for the existence of order2 limit cycles, and the relation between the existence of order2 limit cycles and order1 limit cycles;

the precise information on parameter space for the finite statedependent feedback control actions, crucial for designing threshold control strategies;

the description of smaller attractors, their basins of attraction and how they are related to phase sets and interior structures of horseshoelike attractors.
The model with statedependent feedback control
A threshold policy can be defined in broad terms as follows: control (grazing, harvesting, pesticide application, treatment etc.) is suppressed when a specific species abundance is below a previously chosen threshold density; above the threshold, control is applied. Its application can be seen in wide areas. For an IPM strategy, a longterm management strategy that uses a combination of biological, cultural, and chemical tactics to reduce pests to tolerable levels, actions must be taken once a critical density of pests (economic threshold, ET) is observed in the field so that the economic injury level (EIL) is not exceeded [44, 45, 74], as shown in Figure 1. Note that EIL and ET are important components of a cost effective IPM program and are useful for decisionmaking in the applications of pesticides [44, 45]. For chemostat setting, when the lactic acid concentration in the bioreactor reaches the critical level, the appropriate control measures (extraction, dilutedness, etc.) should be used such that the concentration of the substrate and the lactic acid change instantaneously [6]. Similarly, once the concentration of the tumor cells reaches the therapeutic threshold level in tumor tissue, a combination of photodynamic therapy and sonodynamic therapy should be used [75–80]. Moreover, including CD4^{+} T cell counts and/or viral load level, statedependent guided antiretroviral therapy has been widely used in HIV [81–84], hepatitis B virus, and hepatitis C virus treatment [16, 85–88].
Let x and y be the densities of the pest and its natural enemy populations. The integrated control interventions are implemented once the x grows and reaches the threshold level. Denoting the threshold level as \(V_{L}\), the statedependent impulsive differential equations are
where \(x(t^{+})\) and \(y(t^{+})\) denote the numbers of pests and natural enemies after a control strategy applied at time t, and \(x(0^{+})\) and \(y(0^{+})\) denote the initial densities of pest and natural enemy populations. Throughout this paper we assume that the initial density of the pest population is always less than \(V_{L}\), i.e. \(x(0^{+})=x_{0}< V_{L}\), \(y(0^{+})=y_{0}>0\). Otherwise, the initial values are taken after an integrated control strategy application.
For the model without control strategy in (2.1), r represents the intrinsic growth rate of the pest population, k represents the carrying capacity. The pest population dies at a rate ax and is predated by the predator population at a rate \(pxy\). The predator response expands at a rate \(\frac{cxy}{1+\omega x}\), which is a saturating function of the amount of pest present. The prey population also inhibits the predator response at a rate \(qxy\), which is the socalled antipredator behavior, and in the absence of the pest declines at a rate δy. Note that all parameters shown in model (2.1) are nonnegative constants.
Many experiments show that the predator and prey populations can reverse their roles, whereby adult prey attack vulnerable young predators [89–92], the so called antipredator behavior. If the variables x and y in model (2.1) describe the prey and predator populations, then the term \(qxy\) represents the effects of the prey population on the predator population, i.e. the prey can kill their predators. Simple predatorprey models with antipredator behavior have been studied [90, 93].
In model (2.1) \(0\leq\theta<1\) is the proportion by which the pest density is reduced by killing or trapping once the number of pests reaches \(V_{L}\), while τ is the constant number of natural enemies released at this time t. Different releasing methods including a proportion for the release rate rather than a constant number can be used in model (2.1) [3, 5, 8]. In order to control the pest we assume, throughout the paper, that \(\tau\geq\frac{b }{p}\) if \(\theta=0\) (from a biological point of view, sufficient of the natural enemies must be released to prevent the pest population exceeding \(V_{L}\), i.e., by maintaining \(\frac{dx(t)}{dt}<0\) (for some time) and \(\theta>0\) if \(\tau=0\). Such a strategy ensures that \(x(t)\) is a decreasing function of time once the pest population reaches the \(V_{L}\).
It is interesting to note that this model can be commonly used in depicting (i) the antipredator behavior of the interaction between pest and its natural enemies, as shown above; (ii) the interaction between the virus population (such as HIV) and its immune cells [94]; (iii) the cytotoxic T lymphocyte response to the growth of an immunogenic tumor [95]; and (iv) the interaction between a toxic phytoplankton population and a zooplankton population [96, 97].
We use this widely used model (2.1) to illustrate systematic methods for investigating global dynamics, and address the basic problems related to models with statedependent feedback control (i.e. statedependent impulsive effects). Of most interest, are questions of how the instant killing rate θ, releasing constant τ and threshold parameter \(V_{L}\) affect the dynamics of model (2.1)? To address this question completely, we choose those three parameters as bifurcation parameters and fix all others aiming to comprehensively investigate the qualitative behavior of model (2.1), of particular interest in the dynamics listed in the Introduction.
Note that this work will focus on model (2.1) with statedependent feedback control, aiming to maintain the density of x below the previous given threshold level. Thus, it is reasonable to assume that the population x could grow exponentially before reaching the threshold level as the threshold value is relatively small compared with the carrying capacity, i.e. we can let \(k\rightarrow+\infty\), then model (2.1) becomes
with \(b=ra\).
Some special cases of model (2.2) have been investigated [1, 4, 58]. For example, let \(\omega=0\) and \(q=0\), then model (2.2) becomes
which has been investigated by Tang and Cheke [1], and we will see that all results related to model (2.3) can be easily obtained based on the results for model (2.2).
The ODE model and its main properties
The ODE model considered in this work becomes
It is easy to see that for model (3.1) there exists a trivial equilibrium \((0,0)\) and the interior equilibrium \((x^{*},y^{*})\) satisfies \(y^{*}=\frac{b}{p}\) and \(x^{*}\) is the root of the following equation:
which indicates that
Therefore, there are two interior equilibria, denoted by
and
provided that \(cq\delta\omega>0\) and \(\Delta=(cq\delta\omega)^{2}4q\omega\delta>0\). Therefore, if
then there are two interior equilibria \(E_{1}\) and \(E_{2}\). Moreover, the two roots collide together if \(cq\delta\omega=2\sqrt{q\omega\delta}\). Throughout this work we assume that the condition (3.4) holds true. It is easy to show that \(E_{1}\) is a saddle point and \(E_{2}\) is a center.
It follows from model (3.1) that we have
which implies that model (3.1) possesses the first integral
That is, we have
where h is a constant. In order to solve the equation \(H(x,y)=h\) with respect to y, the Lambert W function and its properties [98] are necessary throughout the paper, for details see the Appendix.
Thus, according to the definition of the Lambert W function and solving \(H(x,y)=h\) with respect to y yields two roots
and
Again, according to the domains of the Lambert W function we require
to ensure that \(y_{L}\) and \(y_{U}\) are well defined. So we first consider the following equation:
i.e.
Denote
and
By simple calculation we have
and solving \(F_{1}'(x)=0\) with respect to x yields the extreme point, denoted by \(x_{m}=\frac{\delta}{c\delta\omega}\), and \(x_{m}>0\) holds true due to \(cq\delta\omega>0\). \(F_{2}'(x)=q\omega\). Solving \(F''_{1}(x)=0\) yields two inflection points, denoted by \(x_{I}^{1}\) and \(x_{I}^{2}\), and
with \(x_{I}^{2}< x_{m}< x_{I}^{1}\).
Moreover, it is easy to see that \(\lim_{x\rightarrow 0^{+}}F_{1}(x)=+\infty\), and solving \(F_{1}'(x)=F_{2}'(x)\) with respect to x yields two roots (as shown in Figure 2), which are exactly the abscissas of two interior equilibria \(E_{1}\) and \(E_{2}\), i.e.
Denote
and
The family of closed orbits is
moreover, \(\Gamma_{h}\) converts to the equilibrium point \(E_{2}\) as \(h\rightarrow h_{2}\), and \(\Gamma_{h}\) becomes the homoclinic cycle as \(h\rightarrow h_{1}\).
Therefore, the two curves \(F_{1}(x)\) and \(F_{2}(x)\) are tangent at \(x=x_{1}^{*}\) or \(x=x_{2}^{*}\), i.e. \(h=h_{1}\) or \(h=h_{2}\). If we choose h as a bifurcation parameter, then the domains of two branches of \(y_{L}\) and \(y_{U}\) can be determined as follows:

If \(h_{1}< h< h_{2}\), then there are three intersect points between two functions \(F_{1}(x)\) and \(F_{2}(x)\), denoted by \(x_{\min}\), \(x_{\mathrm{mid}}\), and \(x_{\max}\), as shown in Figure 2. For this case, the two branches of \(y_{L}\) and \(y_{U}\) are well defined for all \(x\in[x_{\min}, x_{\mathrm{mid}}]\cup[x_{\max}, +\infty)\) with \(y_{L}\leq\frac{b}{p}\leq y_{U}\), as shown in Figure 3.

If \(h\leq h_{1}\) or \(h\geq h_{2}\), then there exists a unique intersect point between two functions \(F_{1}(x)\) and \(F_{2}(x)\), denoted by \(x_{\min}\). For this case, the two branches of \(y_{L}\) and \(y_{U}\) with \(y_{L}\leq \frac{b}{p}\leq y_{U}\) are well defined for all \(x\in[x_{\min}, +\infty)\), as shown in Figure 3.
Similarly, for any solution \(x=x(t)\), \(y=y(t)\) of system (3.1) initiating from \((x_{0}, y_{0})\) satisfies the relation
That is, we have
with \(h_{0}=b\ln(y_{0})py_{0}\frac{c}{\omega}\ln(1+\omega x_{0})+\delta \ln(x_{0})+qx_{0}\).
In particular, if \(\omega=q=0\), then the model becomes the classical LotkaVolterra model, and the unique interior \((\delta/c, b/p)\) is a center. The first integral is as follows:
i.e. we have
The following theorem is useful for discussing the existence of multiple attractors of models with statedependent feedback control proposed in this work.
Theorem 3.1
Let straight line \(L_{1}\) through point \((x_{1}^{*}, y_{e}^{*})\) be parallel to the x axis, as shown in Figure 3. Take any point \(P_{0}\) (or \(Q_{0}\)) in L, draw the line L through \(P_{0}\) (or \(Q_{0}\)), perpendicular to \(L_{1}\). Choose a point \(P_{1}\) (or \(Q_{1}\)) in L such that \(P_{0}P_{1}=\ell>0\) (or \(Q_{0}Q_{1}=\ell>0\)), and then there exists a unique trajectory of system (3.1) through point \(P_{1}\) (or \(Q_{1}\)) and it intersects another point \(P_{2}\) (or \(Q_{2}\)) in L. Then we must have \(P_{0}P_{1}=\ell\geqP_{0}P_{2}\) (or \(Q_{0}Q_{1}=\ell\geqQ_{0}Q_{2}\)), where \(\cdot\) denotes the length of the line segment. Similar results can be had for the trajectory through point \(P_{3}\) (or \(Q_{3}\)), as shown in Figure 3.
Proof
Note that there are three different trajectories shown in Figure 3, so in the following the closed orbits are chosen to illustrate Theorem 3.1, and the other two cases can be proved similarly. Therefore, taking any closed orbit as shown in Figure 4(A) which contains the center point \(E_{2}\), and the closed orbit divided into two branches by the line \(y=b/p\): the upper branch (denoted by \(U_{b}\)) and the lower branch (denoted by \(L_{b}\)). Let \(\xi=xx_{2}^{*}\), \(\eta=yb/p\), i.e., \(x=\xi+x_{2}^{*}>0\), \(y=\eta+b/p>0\), then model (3.1) becomes
which implies that
Meanwhile, the \(L_{b}\) shown in Figure 4(B) satisfies the following scalar differential equation:
Note that \(\eta>0\), \(\xi+x_{2}^{*}>0\), and \((cq\delta\omega)2q\omega x_{2}^{*}=\sqrt{(cq\delta\omega)^{2}4q\omega\delta}\), and it is easy to know that \(F(\xi, \eta)>f(\xi, \eta)\) for \(\xi<0\), \(F(\xi, \eta)< f(\xi, \eta)\) for \(0<\xi<x_{1}^{*}x_{2}^{*}=\sqrt{(cq\delta\omega)^{2}4q\omega\delta}/(q\omega)\). Further, we have \(F(\xi, \eta)\rightarrow\infty\) and \(f(\xi,\eta)\rightarrow\infty\) as \(\eta\rightarrow0\).
Therefore, if we can show that the curve \(U_{b}\) lies above the curve \(L_{b}\) at the right hand side of point A and left hand of point B for all \(0<\eta\ll1\) (as shown in Figure 4(B)), then, according to the comparison theorem of ODE, the whole curve \(U_{b}\) must lie above the whole curve \(L_{b}\) and the results follow. In the following we only prove the curve \(U_{b}\) lies above the curve \(L_{b}\) at the right hand side of point A. To do this, we rotate Figure 4(B) 90 degrees clockwise about the origin, as shown in Figure 4(C), and then denote \(u=\eta\) and \(v=\xi\), which yields Figure 4(D). Consequently, (3.13) and (3.14) become
and
Similarly, at the point A we have \(v<0\) and \(0< u\ll1\), and then \(0<u+b/p<u+b/p\). Therefore, we have \(g(u,v)< G(u,v)\) for \(0< u\ll1\) and \(v<0\), and \(g(u,v)=G(u,v)\) for \(u=0\) and \(v<0\). So if we choose the initial point A with \((u_{0}, v_{0})=(0, v_{0})\), then according to the second comparison theorem of ODE the results are true. □
Corollary 3.1
If \(\omega=0\) and \(q=0\), then model (3.1) reduces to the classical LotkaVolterra model, and we conclude that the results shown in Proposition 2.1 of reference [1] are true.
Impulsive set, phase set, and Poincaré map
In order to employ the ideas of the Poincaré map or its successor function to address the existence and stability of orderk limit cycles, we must know the exact conditions under which the solution of model (2.2) initiating from \((x_{0}^{+}, y_{0}^{+})\in{\mathcal{N}}\) is free from impulsive effects, i.e. the more exact phase set \({\mathcal{N}}\) should be provided. Moreover, for the impulsive set \({\mathcal{M}}\), \(0\leq y\leq\frac{b}{p}\) is the maximum interval for the vertical coordinates of \({\mathcal{M}}\). Thus, we also want to know the exact interval, i.e. in which part of \(0\leq y\leq\frac{b}{p}\) the solution of model (2.2) cannot reach and then the exact domains of the impulsive set can be obtained.
Based on the position of \(V_{L}\) for fixed θ we consider the following three cases:
Further, the three quantities \(A_{h_{1}}\), \(A_{h}\), and \(A_{1}\) are useful throughout the rest of the paper, which are defined as
and
Based on the signs of \(A_{h_{1}}\), \(A_{h}\), and \(A_{1}\), we can discuss of the domains of the impulsive set and the phase set of model (2.2). To show this, we let \(x_{3}^{*}\) be the horizontal component of the small intersection point (denoted by \(E_{3}=(x_{3}^{*}, b/p)\)) of the homoclinic cycle \(\Gamma_{h_{1}}\) with the line \(y=b/p\) (Figure 5(A)), and \(x_{4}^{*}\) be the horizontal component of the intersection point (denoted by \(E_{4}=(x_{4}^{*}, b/p)\)) of the closed trajectory \(\Gamma_{h}\) which is contained inside the point \(E_{2}\) and is tangent to the line \(L_{4}\) at point T with \(T=(V_{L}, \frac{b}{p})\), as shown in Figure 5(B). Thus, we have \(x_{3}^{*}< x_{4}^{*}\leq x_{2}^{*}<x_{1}^{*}\). For the third case (i.e. (C_{3})), any solution initiating from the phase set \({\mathcal{N}}\) will experience infinite pulse effects, which means that the impulsive set and phase set for case (C_{3}) can easily be defined and obtained.
Impulsive set
There are two subsets \({\mathcal{M}}_{1}\) and \({\mathcal{M}}_{2}\) of the basic impulsive set \({\mathcal{M}}\) which are needed for providing the exact domains of the impulsive set of model (2.2), where
and
where
with \(A_{h}\leq0\) and \(A_{1}\geq0\). Moreover, we have \({\mathcal{M}}_{1}={\mathcal{M}}\) once \(A_{h}=0\), and \({\mathcal{M}}_{2}={\mathcal{M}}\) once \(A_{1}=0\).
Lemma 4.1
For case (C_{1}), if \((1\theta)V_{L}< x_{3}^{*}\) or \((1\theta)V_{L}>x_{1}^{*}\), then the impulsive set is defined by \({\mathcal{M}}_{1}\); if \(x_{3}^{*}\leq (1\theta)V_{L}\leq x_{1}^{*}\) then the impulsive set is defined by \({\mathcal{M}}_{2}\). For case (C_{2}), if \((1\theta)V_{L}\leq x_{4}^{*}\), then the impulsive set is defined as \({\mathcal{M}}_{1}\); if \((1\theta)V_{L}> x_{4}^{*}\), then the impulsive set is defined by \({\mathcal{M}}\). For case (C_{3}), the impulsive set is defined by \({\mathcal{M}}_{1}\).
Proof
We first consider case (C_{1}). If \((1\theta)V_{L}< x_{3}^{*}\), then there exists a curve \(\Gamma_{1}\) which is tangent with line \(L_{5}\) (defined as \(x=(1\theta)V_{L}\)) at point \(((1\theta)V_{L}, b/p)\), where the curve \(\Gamma_{1}\) can be determined as follows:
For this case, the line \(L_{4}\) (i.e. \(x=V_{L}\)) will intersect with the curve \(\Gamma_{1}\) at two points, denoted by \(Q_{1}\) and \(Q_{2}\), and the vertical coordinates of both points are the two roots of the following equation:
i.e. we have
which can be solved by employing the Lambert W function, i.e. if \(A_{h}\leq0\) then we have
Thus, if \((1\theta)V_{L}< x_{3}^{*}\), then the impulsive set is defined by \({\mathcal{M}}_{1}\). If so, no solution of model (2.2) initiating from the phase set can reach into the interval \((Y_{is}^{h}, b/p ]\).
If \(x_{3}^{*}\leq(1\theta)V_{L}\leq x_{1}^{*}\), then the line \(L_{4}\) intersects with the right branch of the homoclinic cycle \(H(x,y)=h_{1}\) at two points, denoted by \(Q_{1}= (V_{L}, Y_{IS}^{h_{1}} )\) and \(Q_{2}= (V_{L}, Y_{is}^{h_{1}} )\) (as shown in Figure 5), where \(Y_{IS}^{h_{1}}\) and \(Y_{is}^{h_{1}}\) are two roots of the following equation with respect to y:
Solving the above equation with respect to y yields two roots as follows:
Therefore, if \(x_{3}^{*}\leq(1\theta)V_{L}\leq x_{1}^{*}\), then the impulsive set can be defined by \({\mathcal{M}}_{2}\). If so, no solution of model (2.2) initiating from the phase set can reach the interval \((Y_{is}^{h_{1}}, b/p ]\).
If \((1\theta)V_{L}>x_{1}^{*}\), then by using the same methods as subcase \((1\theta)V_{L}< x_{3}^{*}\) the impulsive set is defined by \({\mathcal{M}}_{1}\). Similarly, we can prove the results for case (C_{2}) and case (C_{3}) are true. □
Phase set
The exact domains of the phase set depend on the domains of the impulsive set and whether the solution of model (2.2) initiating from \((x_{0}^{+}, y_{0}^{+})\in{\mathcal{N}}\) is free from impulsive effects or not. Thus, to discuss the domains of the phase set, we define \(Y_{D}^{1}\) and \(Y_{D}^{2}\) related to the interval \(Y_{D}\) (here \(Y_{D}= [\tau, b/p+\tau ]\)) as the following two intervals:
We first address under which conditions the solution of model (2.2) initiating from \((x_{0}^{+}, y_{0}^{+}) \in{\mathcal{N}}\) will be free from impulsive effects, and then provide the exact domains of the phase set for each case.
Lemma 4.2
For case (C_{1}), if \(x_{3}^{*}\leq(1\theta )V_{L}\leq x_{1}^{*}\), then any solution initiating from \((x_{0}^{+}, y_{0}^{+})\in{\mathcal{N}}\) with \(y_{0}^{+}\in [Y_{\min}^{h_{1}}, Y_{\max}^{h_{1}} ]\) will be free from impulsive effects, where
Moreover, \(x_{3}^{*}< (1\theta)V_{L}< x_{1}^{*}\Leftrightarrow A_{h_{1}}>0\), and \(A_{h_{1}}=0\) at \((1\theta)V_{L}=x_{3}^{*}\) and \((1\theta)V_{L}=x_{1}^{*}\).
Proof
Note that the curve of homoclinic cycle \(\Gamma_{h_{1}}\) can be described as follows:
Substituting \(y=b/p\) into the above equation, one can see that \(x_{3}^{*}\) satisfies the following equation:
Taking the derivative of \(F_{2}(x)\) with respect to x yields
and solving \(F_{2}'(x)=0\) yields two roots \(x=x_{2}^{*}\) and \(x=x_{1}^{*}\). It is easy to see that \(F_{2}(x_{1}^{*})=F_{2}'(x_{1}^{*})=0\). This indicates that \(F_{2}(x)> 0\) for all \(x\in(x_{3}^{*}, x_{1}^{*})\cup (x_{1}^{*}, +\infty)\).
In this case, the line \(L_{5}\) must intersect with the homoclinic cycle \(\Gamma_{h_{1}}\) at two points, denoted by \(P_{1}= ((1\theta)V_{L}, Y_{\max}^{h_{1}} )\) and \(P_{2}= ((1\theta)V_{L}, Y_{\min}^{h_{1}} )\), which are the two roots of (4.14) with respect to y for \(x=(1\theta)V_{L}\). In fact, substituting \(x=(1\theta)V_{L}\) into (4.14) and rearranging it yield
i.e. we have
Solving the above equation with respect to y yields two roots which are given by (4.13). Moreover, both \(P_{1}\) and \(P_{2}\) are well defined due to \(A_{h_{1}}=F_{2}((1\theta)V_{L})\geq0\) for all \(x_{3}^{*}\leq(1\theta)V_{L}\leq x_{1}^{*}\). Thus, any trajectory initiating from \((x_{0}^{+}, y_{0}^{+})\in{\mathcal{N}}\) with \(Y_{\min}^{h_{1}}\leq y_{0}^{+}\leq Y_{\max}^{h_{1}}\) will be free from impulsive effects. □
Therefore, for case (C_{1}) (i.e. \(V_{L}\geq x_{1}^{*}\)), if \(x_{3}^{*}\leq(1\theta)V_{L}\leq x_{1}^{*}\), the phase set can be defined as follows:
with
If \((1\theta)V_{L}< x_{3}^{*}\) or \((1\theta)V_{L}>x_{1}^{*}\), then the phase set for model (2.2) is defined as
Moreover, any solution initiating from phase set \({\mathcal{N}}_{1}\) will experience infinite statedependent feedback control actions.
Lemma 4.3
For case (C_{2}), if \(x_{4}^{*}< (1\theta)V_{L}\), then any solution initiating from \((x_{0}^{+}, y_{0}^{+})\in{\mathcal{N}}\) with \(y_{0}^{+}\in (Y_{\min}^{h}, Y_{\max}^{h} )\) will be free from impulsive effects, where
Moreover, \(x_{4}^{*}< (1\theta)V_{L}\Leftrightarrow A_{h}>0\), and \(A_{h}=0\) at \((1\theta)V_{L}=x_{4}^{*}\).
Proof
The closed orbit \(\Gamma_{h}\) for \(h_{1}< h< h_{2}\) which is contained inside the point \(E_{2}\) and tangent to the line \(L_{4}\) can be determined as follows:
with \(h=b\ln(b/p)b\frac{c}{\omega}\ln(1+\omega V_{L})+\delta \ln(V_{L})+qV_{L}\).
Similarly, substituting \(y=b/p\) into the above equation, one can see that \(x_{4}^{*}\) should be the smallest root of the following equation:
Moreover, we have \(F_{1}'(x_{2}^{*})=F_{1}'(x_{1}^{*})=0\). This indicates that \(F_{1}(x)> 0\) for all \(x\in(x_{4}^{*}, V_{L})\).
Further, the line \(L_{5}\) must intersect with \(\Gamma_{h}\) at two points, denoted by \(P_{1}=((1\theta)V_{L}, Y_{\max}^{h})\) and \(P_{2}=((1\theta)V_{L}, Y_{\min}^{h})\), which are the two roots of (4.19) with respect to y for \(x=(1\theta)V_{L}\) and can be obtained by using the same methods as those in the proof of Lemma 4.2. Moreover, both \(P_{1}\) and \(P_{2}\) are well defined due to \(A_{h}=F_{1}((1\theta)V_{L})\geq0\) for all \(x_{4}^{*}\leq (1\theta)V_{L}\). Therefore, any trajectory initiating from \((x_{0}^{+}, y_{0}^{+})\in{\mathcal{N}}\) with \(Y_{\min}^{h}< y_{0}^{+}< Y_{\max}^{h}\) will be free from impulsive effects. □
Therefore, for case (C_{2}) (i.e. \(x_{2}^{*}< V_{L}<x_{1}^{*}\)), if \(x_{4}^{*}< (1\theta)V_{L}\), then the phase set can be defined as follows:
with
If \((1\theta)V_{L}\leq x_{4}^{*}\), then the phase set is defined by \({\mathcal{N}}_{1}\). Finally, for case (C_{3}), it is easy to see that the phase set for model (2.2) is defined by \({\mathcal{N}}_{1}\).
In conclusion, we list all possible cases for the domains of the impulsive set and phase set of model (2.2) in Table 1. It follows that the basic phase set \({\mathcal{N}}\) cannot be used to define the real phase set of model (2.2) for any case. This indicates that the exact domains of the phase set of model (2.2) should be carefully discussed. However, the domains of the impulsive set and phase set have not been discussed carefully in the previous literature [1, 4], which may result in some difficulties in employing the Poincaré map or its successor function to study the existence and stability of limit cycles of planar impulsive semidynamical systems.
In the following, if we consider both \(A_{h_{1}}\) and \(A_{h}\) as functions of \(V_{L}\), then we have the following results.
Lemma 4.4
\(A_{h_{1}}=A_{h}\) at \(V_{L}=x_{1}^{*}\) and \(A_{h_{1}}>A_{h}\) if \(V_{L}>x_{1}^{*}\).
Proof
It is easy to see that
Based on the proof of Lemma 4.2 we can see that the equation \(F'(V_{L})=0\) with respect to \(V_{L}\) has two roots \(V_{L}=x_{2}^{*}\) and \(V_{L}=x_{1}^{*}\). It follows from \(F(x_{1}^{*})=F'(x_{1}^{*})=0\) that \(A_{h_{1}}>A_{h}\) for all \(V_{L}>x_{1}^{*}\). □
The impulsive set and phase set for model (2.3). Let \(x_{0}^{*}\) be the horizontal component of the small intersection point (denoted by \(E_{0}=(x_{0}^{*}, b/p)\)) of the closed trajectory \(\Gamma_{h_{0}}\) which is contained inside the center \((\delta/c, b/p)\) and is tangent to the line \(L_{4}\) at point T with \(T=(V_{L}, b/p)\). It follows from the first integral (3.11) that the closed cycle initiating from \((V_{L}, b/p)\) satisfies
Substituting \(y=b/p\) into the above equation, one can see that \(x_{0}^{*}\) satisfies
solving it with respect to x we get two roots: one is \(V_{L}\) with \(V_{L}\geq\frac{\delta}{c}\) and the other is given by
Thus, by using the same methods as those in the proof of Lemma 4.3 we have the following results for model (2.3).
Lemma 4.5
For the case \(V_{L}> \delta/c\) in model (2.3). If \(x_{0}^{*}< (1\theta)V_{L}\), then any solution of model (2.3) initiating from \((x_{0}^{+}, y_{0}^{+})\in{\mathcal{N}}\) with \(y_{0}^{+}\in [Y_{\min}^{0}, Y_{\max}^{0} ]\) will be free from impulsive effects, where
and
Moreover, \(x_{0}^{*}<(1\theta)V_{L}\Leftrightarrow A_{0}> 0\) and \(A_{0}=0\) at \(V_{L}=\frac{x_{0}^{*}}{1\theta}\).
The impulsive set of model (2.3) can be determined as those for model (2.2), and we only need to consider two cases, i.e. \(V_{L}>\delta/c\) and \(V_{L}\leq\delta/c\). For the former case, if \((1\theta)V_{L}<\delta/c\) then the impulsive set is defined by \({\mathcal{M}}_{1}^{0}\) and
with
If \((1\theta)V_{L}\geq\delta/c\) then the impulsive set is \({\mathcal{M}}\). For the latter case (i.e. \(V_{L}\leq\delta/c\)), it is easy to see that the impulsive set is defined by \({\mathcal{M}}_{1}^{0}\).
Therefore, if \(V_{L}>\delta/c\), then the phase set for the case \(x_{0}^{*}<(1\theta)V_{L}\) can be defined as
with
The phase set for the case \((1\theta)V_{L}\leq x_{0}^{*}\) is defined by \({\mathcal{N}}_{1}^{0}\) and
Finally, if \(V_{L}\leq\delta/c\), then it is easy to see that the phase set is defined by \({\mathcal{N}}_{1}^{0}\).
Remark 4.1
Before we provide the formula for the Poincaré map of model (2.2), we want to show how the phase sets change as the key parameters (i.e. θ, \(V_{L}\), and τ) vary. For example, the set \({\mathcal{N}}_{2}^{h}\) can be defined exactly according to the relations among τ, \(Y_{\min}^{h}\), and \(Y_{\max}^{h}\). One simple case is as follows: if \(\tau\leq Y_{\min}^{h}\) and \(Y_{\max}^{h}\leq \tau+b/p\) then
Similarly, we can discuss several other cases and get the domains of \(Y_{D}^{mM}\) and \({\mathcal{N}}_{2}^{h}\), where
It follows from Remark 4.1 that the relations among τ, \(Y_{\min}^{h}\), and \(Y_{\max}^{h}\) are crucial for the exact domains of the phase set, which will be addressed later.
Poincaré map
Theorem 4.1
The Poincaré map for the impulsive points of model (2.2) defined in the phase set can be determined as
Here \(\theta_{1}=1\theta\) and
Proof
Assuming that any solution \(\Pi_{z_{0}^{+}}\) with initial condition \(z_{0}^{+}=(x_{0}^{+},y_{0}^{+})\in{\mathcal{N}}\) experiences impulses \(k+1\) times (finite or infinite), we denote the corresponding coordinates \(P_{i}=(V_{L}, y_{i})\in{\mathcal{M}}\) and \(P_{i}^{+}=((1\theta)V_{L}, y_{i}^{+})\in{\mathcal{N}}\), \(i=1,2,\ldots, k\). Therefore, if both points \(P_{i}^{+}\) and \(P_{i+1}\) lie in the same trajectory Γ (closed or nonclosed) for \(i=0, 1, \ldots, k\), then the points \(P_{i}^{+}\) and \(P_{i+1}\) satisfy the following relation:
In order to show the exact domains of the Poincaré map, we first need to know under what conditions the trajectory initiating from \(P_{i}^{+}\in{\mathcal{N}}\) cannot reach the point \(P_{i+1}\in {\mathcal{M}}\). There are two cases:
Case (i): \(V_{L}\geq x_{1}^{*}\) and \(x_{3}^{*}\leq(1\theta)V_{L}\leq x_{1}^{*}\). It follows from Lemma 4.2 that if the initial point \(P_{i}^{+}=((1\theta)V_{L}, y_{i}^{+})\) lies in the homoclinic cycle \(\Gamma_{h_{1}}\) or its interior, then although the two points \(P_{i}^{+}\) and \(P_{i+1}\) could satisfy (4.36), the trajectory cannot reach the line \(L_{4}\) forever, which indicates that both points \(P_{i}^{+}\) and \(P_{i+1}\) cannot lie in the same trajectory, as shown in Figure 5(A). It follows from Lemma 4.2 and Table 1 that in this case we have \(A_{h_{1}}\geq0\) and we require \(P_{i}^{+}\in{\mathcal{N}}_{2}^{h_{1}}\).
Case (ii): \(x_{2}^{*}< V_{L}< x_{1}^{*}\) and \(x_{4}^{*}<(1\theta)V_{L}\). It follows from Lemma 4.3 that if the initial point \(P_{i}^{+}=((1\theta)V_{L}, y_{i}^{+})\) lies in the interior of the closed cycle \(\Gamma_{h}\), then the trajectory cannot reach the line \(L_{4}\), which shows that both points \(P_{i}^{+}\) and \(P_{i+1}\) cannot lie in the same trajectory, as shown in Figure 5(B). It follows from Lemma 4.3 and Table 1 again that in this case we have \(A_{h}>0\) and we require \(P_{i}^{+}\in{\mathcal{N}}_{2}^{h}\).
Rearranging (4.36) yields
Solving the above equation with respect to \(y_{i+1}\), we have
and
If \(A_{h}\leq0\), it is easy to show that \(\frac{p}{b}y_{i}^{+}\exp (\frac{p}{b}y_{i}^{+}+\frac{A_{h}}{b} )\in [e^{1}, 0)\) for all \(A_{h}\leq0 \), this indicates that equation (4.38) is well defined in this case. If \(A_{h}>0\), we must have \(\frac{p}{b}y_{i}^{+}\exp (\frac{p}{b}y_{i}^{+}+\frac{A_{h}}{b} )\geq e^{1}\). It follows that we get the inequality
which is solved to give, \(y_{i}^{+}\in (0, Y_{\min}^{h} ]\cup [Y_{\max}^{h}, \infty )\), where \(Y_{\min}^{h}\) and \(Y_{\max}^{h}\) are given in (4.18).
Therefore, for case (C_{1}), if \(x_{3}^{*}\leq(1\theta)V_{L}\leq x_{1}^{*}\), then it follows from Lemma 4.4 that \(A_{h_{1}}>A_{h}\) and according to the monotonicity of the Lambert W function we have \([Y_{\min}^{h}, Y_{\max}^{h} ]\subset [Y_{\min}^{h_{1}}, Y_{\max}^{h_{1}} ]\). So no matter what \(A_{h_{1}}>A_{h}>0\) and \(A_{h_{1}}>0\geq A_{h}\) (as shown in Figure 5) the Poincaré map is given by the first case of (4.32) if \(x_{3}^{*}\leq(1\theta)V_{L}\leq x_{1}^{*}\). If \((1\theta)V_{L}< x_{3}^{*}\) or \((1\theta)V_{L}>x_{1}^{*}\), then it follows from the proofs of Lemma 4.1 and Lemma 4.2 that we must have \(A_{h}<0\), consequently the Poincaré map is given by the second case of (4.32).
The other two cases (C_{2}) and (C_{3}) of Theorem 4.1 can be obtained directly from the domains of the Poincaré map and the proof of Lemma 4.3. This completes the proof. □
It follows from Lemma 4.5 that we have the main results for the Poincaré map of the impulsive points of model (2.3).
Corollary 4.1
The Poincaré map for the impulsive points of model (2.3) defined in the phase set can be determined as
Compared with published definitions of the Poincaré map for model (2.3) [1, 4], we can see that more accurate domains have been provided in formula (4.39).
Based on the proofs of Lemmas 4.14.5 and Theorem 4.1 we can see that the signs of \(A_{h_{1}}\) and \(A_{h}\) play the key roles in determining the domains of the impulsive set and phase set, and in defining the Poincaré map \({\mathcal{P}}(y_{i}^{+})\). Therefore, the relations among the key parameters (i.e. θ, \(V_{L}\), and τ), the signs of \(A_{h_{1}}\) and \(A_{h}\) and the domains of the Poincaré map \({\mathcal{P}}(y_{i}^{+})\) will be discussed briefly before we address the existence and stability of the limit cycle of model (2.2), which are also important in the rest of this work.
To do this, we take the notations shown in Figure 5, where \(x_{\min}^{h_{2}}\) represents the intersection point of the curve \(H(x,y)=h_{2}\) with the line \(y=b/p\). Then the relations among the key parameters (i.e. θ, \(V_{L}\), and τ), the signs of \(A_{h_{1}}\) and \(A_{h}\) and the domains of the Poincaré map \({\mathcal{P}}(y_{i}^{+})\) can be summarized in Table 2.
Existence of order1 limit cycles and some important relations
Investigations of the existence and stability of order1 limit cycles of system (2.2) for the whole parameter space are quite challenging, and are similar to the study of the existence and stability of limit cycles of continuous semidynamical systems. Fortunately, the analytical formula of the Poincaré map defined by the impulsive points in the phase set has been obtained, which allows us to employ it to study the existence and stability of order1 limit cycles of model (2.2).
The fixed point of the Poincaré map \({\mathcal{P}}(y_{i}^{+})\) in the phase set corresponds with the existence of the order1 limit cycles of model (2.2) and model (2.3). Without loss of generality, we first discuss the existence of a fixed point of the Poincaré map \({\mathcal{P}}(y_{i}^{+})\) in the basic phase set \({\mathcal{N}}\), i.e. \(y_{i}^{+}\in Y_{D}\), and then we will focus on the particular domains of the Poincaré map \({\mathcal{P}}(y_{i}^{+})\) in phase sets and discuss the existence of the fixed point. Denote the fixed point as \(y^{*}\), then we have
Since \(y^{*}\in Y_{D}=[\tau, b/p+\tau]\), we have
Therefore, according to the definition of the Lambert W function the above yields
Note that if \(\tau=0\) and \(A_{h}=0\), then for any \(0\leq y^{*}\leq b/p\) the above equation holds true; if \(\tau=0\) and \(A_{h}\neq0\), then \(y^{*}=0\) is a unique fixed point of Poincaré map \({\mathcal{P}}(y_{i}^{+})\). If \(\tau>0\), then solving the above equation with respect to \(y^{*}\) yields
The necessary condition for the existence of a fixed point of the Poincaré map \({\mathcal{P}}(y_{i}^{+})\) in the phase set is \(y^{*}\in Y_{D}\). Thus, it is interesting to show under what conditions the \(y^{*}\in(\tau, b/p+\tau]\) first. To do this, we consider the following two cases: (i) \(A_{h}\leq0\); and (ii) \(A_{h}>0\).
If \(A_{h}\leq0\), then it is easy to show that \(y^{*}>\tau\) and
hold true. This indicates that if \(A_{h}\leq0\), then \(y^{*}\in(\tau, b/p+\tau]\).
If \(A_{h}>0\), then we first need \(\exp (\frac{p}{b}\tau\frac{A_{h}}{b} )1>0\) to ensure that \(y^{*}\) is positive and \(y^{*}>\tau\). Thus we must have \(A_{h}< p\tau\). Furthermore,
is equivalent to
Rearranging the above inequality yields
Solving the above inequality with respect to \(\tau+\frac{b}{p}\) yields \(\tau+\frac{b}{p}\leq Y_{\min}^{h}\) (which is impossible due to \(Y_{\min}^{h}<\frac{b}{p}\)) or \(\tau+\frac{b}{p}\geq Y_{\max}^{h}\). This indicates that if \(\tau+\frac{b}{p}\geq Y_{\max}^{h}\), then \(y^{*}\leq \frac{b}{p}+\tau\) when \(0< A_{h}< p\tau\).
Based on the definition of the Poincaré map \({\mathcal{P}}(y_{i}^{+})\) and its domains, the point \(((1\theta)V_{L}, y^{*})\) related to the fixed point \(y^{*}\) must lie in the domains of phase sets rather than basic phase set (i.e. \(y^{*}\in Y_{D}\)). To address this and reveal all possible dynamic behavior of model (2.2), we first need to investigate some important relations among \(y^{*}\), \(y_{2}^{*}\), \(\tau+b/p\), \(Y_{\min}^{i}\), \(Y_{\max}^{i}\) for \(i=h, h_{1}\) and \(\tau+Y_{is}^{h}\), where
Some important relations
Note that the key parameters θ and \(V_{L}\) determine the domains of the Poincaré map \({\mathcal{P}}(y_{i}^{+})\), and the third key parameter τ will play a crucial role in determining the dynamics of model (2.2). Thus, the parameter τ related to statedependent feedback control has been chosen to address the relations, i.e. we consider \(y^{*}\), \(y_{2}^{*}\), \(\tau+b/p\), \(Y_{\min}^{i}\), \(Y_{\max}^{i}\) for \(i=h, h_{1}\) and \(\tau+Y_{is}^{h}\) as functions of τ. As the first step, we discuss the monotonicity of the \(y^{*}\), where \(y^{*}\) is given by (5.2), and we have the following results.
Lemma 5.1
If \(0< A_{h}< p\tau\), then \(y^{*}\) reaches its minimal value (denoted by \(y_{\min}^{*}\) and \(y_{\min}^{*}=Y_{\max}^{h}\)) at \(\tau_{M}=Y_{\max}^{h}\frac{b}{p}\).
Proof
Taking the derivative of \(y^{*}\) with respect to τ yields
Since \(A_{h}< p\tau\), it is seen that \(\frac{dy^{*}}{d\tau}=0\) is equivalent to
Rearranging the above equation yields
and it is easy to see that \(A_{h}< p\tau\) is a necessary condition for the existence of a positive root of the above equation with respect to τ. Solving the above equation with respect to τ, one has two roots and only the larger one is positive, denoted by \(\tau_{M}\), where
Moreover, we have \(\lim_{\tau\rightarrow \frac{A_{h}}{p}^{+}}y^{*}=+\infty\), as shown in Figure 6. This indicates that the \(y^{*}\) reaches its minimal value at \(\tau_{M}\). By calculation we have \(\exp (\frac{p}{b}\tau_{M}\frac{A_{h}}{b} )=W (1, e^{1\frac{A_{h}}{b}} )\), and consequently we have
Furthermore, it follows from Theorem 3.1 that
□
Lemma 5.2
If \(A_{h}\leq0\), then the inequality \(y*< y_{2}^{*}\) holds true naturally.
Proof
If \(A_{h}\leq0\), then the inequality \(y*< y_{2}^{*}\) can be rewritten as
Rearranging the above inequality yields
Denote \(z=\frac{p}{b}\tau>0\), then the above inequality is equivalent to
Let \(F(z)=e^{z}(z+\sqrt{1+z^{2}})\) and we have
□
To discuss the relations among \(y^{*}\), \(\tau+b/p\), \(Y_{\max}^{h_{1}}\), and \(Y_{\min}^{h_{1}}\) which will be used in this work, we define the following four functions with respect to τ
For the first equation \(\Im_{\tau}^{1}\doteq\tau+\frac{b}{p}y^{*}=0\), substituting \(y^{*}\) into it and arranging the items we can see which is equivalent to the equation \(\Im_{\tau}=0\) (defined by (5.5)). This indicates that the equation \(\Im_{\tau}=0\) has a unique positive root \(\tau_{M}\), i.e. the two curves \(y^{*}\) and \(\tau+b/p\) with respect to τ intersect at \(\tau=\tau_{M}\), as shown in Figure 6.
Substituting \(y^{*}\) into the second function and letting \(\Im_{\tau}^{2}=0\) yield
Rearranging the above equation, one has
Substituting \(Y_{\max}^{h_{1}}=\frac{b}{p}W (1, e^{1\frac{A_{h_{1}}}{b}} )\) into the right hand side of the above equation according to the equation \(W(z)e^{W(z)}=z\) yields
In order to ensure (5.12) has a positive root with respect to τ, the necessary condition is \(\tau< Y_{\max}^{h_{1}}\). Given this and according to the definition of the Lambert W function we can solve it and yield two roots, denoted by \(\tau_{1}^{h_{1}}\) and \(\tau_{2}^{h_{1}}\), where
and
Note that \(A_{h_{1}}\geq0\) indicates that \(A_{h_{1}}\geq A_{h}>0\) or \(A_{h_{1}}>0\geq A_{h}\), which means that both \(\tau_{1}^{h_{1}}\) and \(\tau_{2}^{h_{1}}\) are well defined. Moreover, if \(A_{h}\leq0\), then the small root \(\tau_{1}^{h_{1}}\) disappears and \(y^{*}\) will intersect with \(Y_{\min}^{h_{1}}\) at another point, which will be discussed later.
For the third function \(\Im_{\tau}^{3}\), we want to find the root of equation \(\Im_{\tau}^{3}\doteq y^{*}y_{2}^{*}=0\) with respect to τ, i.e. the positive root of the following equation:
It is impossible to solve the above equation directly with respect to τ, so we turn to a discussion of the existence of the positive roots. Note that \(\Im_{\tau_{M}}^{1}=\tau_{M}+\frac{b}{p}y^{*}(\tau_{M})=0\) and \(y_{2}^{*}<\tau+\frac{b}{p}\) for all \(\tau> 0\). This indicates that \(\Im_{\tau_{M}}^{3}= y^{*}(\tau_{M})y_{2}^{*}(\tau_{M})>0\). Moreover, solving the equation \(y_{2}^{*}Y_{\max}^{h_{1}}=0\) with respect to τ, denoted by \(\tau^{*}\) yields
Furthermore, it is easy to see that \(\Im_{\tau^{*}}^{3}= y^{*}(\tau^{*})y_{2}^{*}(\tau^{*})<0\). Therefore, according to the monotonicity of the function \(y^{*}\) and \(y_{2}^{*}\) for \(\tau\geq \tau_{M}\), we conclude that for the equation \(\Im_{\tau}^{3}=y^{*}y_{2}^{*}=0\) there exists a unique positive root, denoted by \(\tau_{2}\) with \(\tau_{2}\in(\tau_{M}, \tau^{*})\) and \(\tau_{2}<\tau_{2}^{h_{1}}\), as shown in Figure 6.
Finally, we discuss the existence of the positive root of the equation \(\Im_{\tau}^{4}\doteq y^{*}Y_{\min}^{h_{1}}=0\) for the case \(A_{h}\leq0\). By employing the same methods as those for the equation \(\Im_{\tau}^{2}\doteq y^{*}Y_{\max}^{h_{1}}=0\), it is easy to see that the for the equation \(\Im_{\tau}^{4}\doteq y^{*}Y_{\min}^{h_{1}}=0\) there exists a unique positive root, denoted by \(\tau_{3}^{h_{1}}\), and
Now we discuss the relations between \(y^{*}\) and \(\tau+Y_{is}^{h_{1}}\) when \(A_{1}\geq0\), and the relations between \(y^{*}\) and \(\tau+Y_{is}^{h}\) when \(A_{h}\leq0\). That is, we have the following main results.
Lemma 5.3
If \(A_{1}\geq0\), then \(y^{*}<\tau+Y_{is}^{h_{1}}\) for all \(\tau>\tau_{2}^{h_{1}}\) and \(y^{*}=\tau+Y_{is}^{h_{1}}\) at \(\tau=\tau_{2}^{h_{1}}\). If \(A_{h}\leq0\), then \(y^{*}\leq\tau+Y_{is}^{h}\) for all \(\tau> 0\).
Proof
First we note that \(y^{*}\) and \(Y_{\max}^{h_{1}}\) intersects at \(\tau=\tau_{2}^{h_{1}}\), so substituting it into \(\tau+Y_{is}^{h_{1}}\) yields
which indicates that those three functions (i.e. \(y^{*}\), \(Y_{\max}^{h_{1}}\), and \(\tau+Y_{is}^{h_{1}}\)) with respect to τ intersect at the same point, i.e. \(\tau =\tau_{2}^{h_{1}}\). Moreover, \(\tau_{M}+Y_{is}^{h_{1}}=Y_{\max}^{h}\frac {b}{p}+Y_{is}^{h_{1}}< Y_{\max}^{h}\). Therefore, we can conclude that if \(y^{*}\) exists then it is no larger than \(\tau+Y_{is}^{h_{1}}\) when \(A_{1}\geq0\).
For the second part of Lemma 5.3, it follows from (5.4) that we consider the following equation:
with respect to τ. Rearranging the above equation one has
and solving the above equation one gets the unique positive root when \(A_{h}\leq0\)
Moreover, we have \(y^{*}(\tau_{T})=\frac{b}{p}=\tau_{T}+Y_{is}^{h}\), which indicates that both functions (i.e. \(y^{*}\) and \(\tau+Y_{is}^{h}\)) are tangent at \(\tau=\tau_{T}\). According to the monotonicity of both functions we conclude that \(y^{*}\leq\tau+Y_{is}^{h}\) when \(A_{h}\leq0\) and the equal holds true only at \(\tau=\tau_{T}\). □
Existence of order1 limit cycle
In order to provide the detailed sufficient conditions for the existence of a fixed point of the Poincaré map \({\mathcal{P}}(y_{i}^{+})\), we rearrange the subcases of the cases (C_{1})(C_{3}) according to the domains of the Poincaré map \({\mathcal{P}}(y_{i}^{+})\) listed in Table 2 or the domains of the phase set listed in Table 1 or the signs of \(A_{h}\) and \(A_{h_{1}}\). Thus, we put the subcases with the domain of the Poincaré map \({\mathcal{P}}(y_{i}^{+})\) defined by \(Y_{D}^{1}\) (or the phase set defined by \({\mathcal{N}}_{1}\) or \(A_{h}\leq0\)) in together, denoted by subcase (SC_{123}), i.e.
We denote the subcase for (C_{1}) with \(A_{h}>0\) and \(A_{h_{1}}\geq0\) as subcase (SC_{11}), i.e.
and denote all subcases for (C_{1}) with \(A_{h}\leq0\) and \(A_{h_{1}}\geq0\) as subcase (SC_{12}), i.e.
The combination of (SC_{11}) and (SC_{12}) is called (SC_{1}) in this work. Finally, we denote the subcases for (C_{2}) with \(A_{h}>0\) as subcase (SC_{2}), i.e.
Based on the important relations discussed before, for the existence of a fixed point of the Poincaré map \({\mathcal{P}}(y_{i}^{+})\) of model (2.2) and consequently the existence of the order1 limit cycle we have the following main results.
Theorem 5.1
If \(\tau=0\) and \(A_{h}=0\) (here \(\theta>0\)), then any \(y^{*}\) in the phase set is a fixed point of the Poincaré map \({\mathcal{P}}(y_{i}^{+})\). If \(\tau=0\) and \(A_{h}\neq0\), then \(y^{*}=0\) is a unique fixed point of the Poincaré map \({\mathcal{P}}(y_{i}^{+})\).
If \(\tau>0\), then the fixed point \(y^{*}\) of the Poincaré map \({\mathcal{P}}(y_{i}^{+})\) is always well defined for (SC_{123}) with \(y^{*}\in Y_{D}^{1}\). If \(\tau>\tau_{2}^{h_{1}}\), then the fixed point \(y^{*}\) of the Poincaré map \({\mathcal{P}}(y_{i}^{+})\) exists for (SC_{11}) and \(y^{*}\in (Y_{\max}^{h_{1}}, Y_{is}^{h_{1}}+\tau ]\). If \(0<\tau<\tau_{3}^{h_{1}}\) (or \(\tau>\tau_{2}^{h_{1}}\)), then the fixed point \(y^{*}\) of the Poincaré map \({\mathcal{P}}(y_{i}^{+})\) exists for (SC_{12}) and \(y^{*}\in (0, Y_{\min}^{h_{1}} )\) (or \(y^{*}\in (Y_{\max}^{h_{1}}, Y_{is}^{h_{1}}+\tau ]\)). If \(\tau \geq \tau_{M}\), then the fixed point \(y^{*}\) of the Poincaré map \({\mathcal{P}}(y_{i}^{+})\) exists for (SC_{2}) and \(y^{*}\in [Y_{\max}^{h}, \frac{b}{p}+\tau ]\).
Proof
The results for \(\tau=0\) are true obviously. Since \(A_{h}\leq 0\) for (SC_{123}), it follows from Lemma 5.3 that \(y^{*}\leq\tau+Y_{is}^{h}\) for all \(\tau> 0\), which indicates that \(y^{*}\) exists in the phase set, i.e. \(y^{*}\in Y_{D}^{1}\).
If \(\tau>\tau_{2}^{h_{1}}\), then it follows from the relations between \(y^{*}\) and \(Y_{\max}^{h_{1}}\) that \(y^{*}>Y_{\max}^{h_{1}}\). Further, according to Lemma 5.3 we have \(y^{*}< Y_{is}^{h_{1}}+\tau\) for all \(\tau>\tau_{2}^{h_{1}}\) due to \(A_{1}\geq0\) in case (SC_{11}). Thus the fixed point \(y^{*}\) of the Poincaré map \({\mathcal{P}}(y_{i}^{+})\) exists for (SC_{11}) and \(y^{*}\in (Y_{\max}^{h_{1}}, Y_{is}^{h_{1}}+\tau ]\).
If \(0<\tau<\tau_{3}^{h_{1}}\), then it follows from the relations between \(y^{*}\) and \(Y_{\min}^{h_{1}}\) that \(y^{*}< Y_{\min}^{h_{1}}\), which means that the fixed point \(y^{*}\) of the Poincaré map \({\mathcal{P}}(y_{i}^{+})\) exists for (SC_{12}) and \(y^{*}\in (0, Y_{\min}^{h_{1}} )\). If \(\tau>\tau_{2}^{h_{1}}\), then the result can be proved by using the same methods as those for case (SC_{11}).
If \(\tau\geq\tau_{M}\), then it follows from the relations between \(y^{*}\) and \(Y_{\max}^{h}\) and the relations between \(y^{*}\) and \(\frac{b}{p}+\tau\) that \(y^{*}\in [Y_{\max}^{h}, \frac{b}{p}+\tau ]\) and consequently the last part of the results shown in Theorem 5.1 are true. □
Based on the relations discussed before and Theorem 5.1, we have the following main results for the nonexistence of a fixed point of the Poincaré map \({\mathcal{P}}(y_{i}^{+})\) of model (2.2).
Corollary 5.1
Assume \(\tau>0\). The Poincaré map \({\mathcal{P}}(y_{i}^{+})\) does not have a fixed point for case (SC_{11}) provided \(\frac{A_{h}}{p}<\tau\leq\tau_{2}^{h_{1}}\); The Poincaré map \({\mathcal{P}}(y_{i}^{+})\) does not have a fixed point for case (SC_{12}) provided \(\tau_{3}^{h_{1}}\leq\tau\leq\tau_{2}^{h_{1}}\); The Poincaré map \({\mathcal{P}}(y_{i}^{+})\) does not have a fixed point for case (SC_{2}) provided \(\frac{A_{h}}{p}<\tau< \tau_{M}\).
Theorem 5.1 and Corollary 5.1 provide the detailed conditions for the existence and nonexistence of a fixed point of the Poincaré map \({\mathcal{P}}(y_{i}^{+})\) of model (2.2), consequently the existence and nonexistence of order1 limit cycles of model (2.2) can be obtained directly. For the existence and nonexistence of a fixed point of model (2.3) we have the following results.
Corollary 5.2
If \(\tau=0\) and \(A_{0}=0\) (here \(\theta>0\)), then any \(y^{*}\) in the phase set is a fixed point of the Poincaré map \({\mathcal{P}}(y_{i}^{+})\) of model (2.3). If \(\tau=0\) and \(A_{0}\neq0\), then \(y^{*}=0\) is a unique fixed point of Poincaré map \({\mathcal{P}}(y_{i}^{+})\). If \(\tau>0\) and \(A_{0}\leq0\), then for the Poincaré map defined in the phase set there exists a unique fixed point \(y^{*}\in Y_{D}^{0}\). If \(A_{0}> 0\) and \(\tau\geq\tau_{M}\), then for the Poincaré map \({\mathcal{P}}(y_{i}^{+})\) there exists a unique fixed point \(y^{*}\) with \(Y_{\max}^{0}\leq y^{*}\leq\tau+\frac{b}{p}\). The Poincaré map \({\mathcal{P}}(y_{i}^{+})\) does not have a fixed point provided \(0<\frac{A_{0}}{p}<\tau< \tau_{M}\).
Local and global stability of order1 limit cycle
To address the stability of \(y^{*}\), we note that if \(\tau=0\) and \(A_{h}=0\) (here \(\theta>0\)), then \(y^{*}\) is stable but not asymptotically stable. For the case \(\tau=0\) and \(A_{h}\neq0\) (i.e. \(y^{*}=0\)) we will address it as a special case later in more detail. Thus, we first assume that \(\tau>0\) and \(y^{*}\) exists, and we provide the sufficient conditions for the local stability and global stability of the fixed point \(y^{*}\). Consequently, the global stability of the order1 limit cycle of model (2.2) can be obtained, which improved on previous results on models with statedependent feedback control [1, 4].
Local stability of order1 limit cycle
Theorem 6.1
Assume that \(\tau>0\) and \(y^{*}\) exists. If \(A_{h}\leq0\) then the fixed point \(y^{*}\) of Poincaré map \({\mathcal{P}}(y_{i}^{+})\) is locally stable; If \(A_{h}>0\) then the fixed point \(y^{*}\) of Poincaré map \({\mathcal{P}}(y_{i}^{+})\) is locally stable provided
Proof
For convenience, denote \(f(y)=\frac{p}{b}y\exp (\frac {p}{b}y+\frac{A_{h}}{b} )\), and we have
Moreover, by simple calculation and according to the properties of the Lambert W function we have
We first note that if \(y^{*}=\tau+b/p\) then \(g(y^{*})=\infty\), which indicates that \(y^{*}\) is unstable. Thus, for the stability of \(y^{*}\), we only need to focus on the interval \(\tau< y^{*}<\tau+b/p\). Moreover, \(\vert g(y^{*})\vert <1\) is equivalent to the following inequalities:
which indicates that if the above inequalities hold, then the fixed point \(y^{*}\) is locally stable. Note that we have \(y^{*}(bp(y^{*}\tau))>0\) for all \(\tau< y^{*}<\tau+b/p\) and \(\tau>0\). It is easy to show that the right hand side of (6.3) holds true naturally, and the left hand side inequality is equivalent to
and solving the above inequality we have \(y_{1}^{*}< y^{*}< y_{2}^{*}\) where
Further, we can show that
This indicates that if \(\tau< y^{*}< y_{2}^{*}\), then the fixed point \(y^{*}\) of Poincaré map \({\mathcal{P}}(y_{i}^{+})\) is locally stable. It follows from Lemma 5.2 that \(y^{*}< y_{2}^{*}\) holds true naturally if \(A_{h}\leq0\). This completes the proof of Theorem 6.1. □
Corollary 6.1
Assume that \(\tau>0\), \(y^{*}\) exists, and \(A_{h}>0\). If \(y^{*}\in (y_{2}^{*}, \tau+\frac{b}{p} ]\), then the fixed point \(y^{*}\) of the Poincaré map \({\mathcal{P}}(y_{i}^{+})\) of model (2.2) is unstable.
Corollary 6.2
Assume that \(\tau>0\) and \(y^{*}\) exists. If \(A_{0}\leq0\), then the fixed point \(y^{*}\) of the Poincaré map \({\mathcal{P}}(y_{i}^{+})\) of model (2.3) is locally stable; If \(A_{0}>0\), then the fixed point \(y^{*}\) of Poincaré map \({\mathcal{P}}(y_{i}^{+})\) is locally stable provided \(y^{*}\in(\tau, y_{2}^{*})\), and it is unstable when \(y^{*}\in (y_{2}^{*}, \tau+\frac{b}{p} ]\).
By combining Theorems 5.1 and 6.1, Corollaries 5.1 and 6.1, and all of the relations discussed in Section 5.1 we can provide the exact conditions for the existence and stability of the fixed point \(y^{*}\) of the Poincaré map \({\mathcal{P}}(y_{i}^{+})\) of model (2.2) based on the three parameters θ, \(V_{L}\), and τ. Here for simplification and convenience we employ the signs of \(A_{h}\) and \(A_{h_{1}}\) rather than θ and \(V_{L}\), and list all results in Table 3.
Here, × means the sign of \(A_{h_{1}}\) is not necessary for that subcase, NE denotes the nonexistence of a fixed point, EU represents the existence of a fixed point which is unstable, ES shows the existence of a fixed point which is stable, EG denotes the existence of a fixed point which is globally stable, and ENS represents the existence of a fixed point which is neutrally stable. Note that if \(\tau=0\), then for case (SC_{12}) we have \(Y_{\min}^{h_{1}}=Y_{is}^{h_{1}}\) once \(A_{h}=0\). Thus, in this subcase, any \(y^{*}\in [0, Y_{\min}^{h_{1}} )= [0, Y_{is}^{h_{1}} )\) is a fixed point of the Poincaré map \({\mathcal{P}}(y_{i}^{+})\) of model (2.2), i.e. for any solution initiating from \(((1\theta)V_{L}, y^{*})\) is an order1 periodic solution which is neutrally stable.
So far, all cases shown in Table 3 have been proved except for the global stability of the fixed point \(y^{*}\) in subcase (SC_{123}) and the stability of \(y^{*}=0\) for \(\tau=0\), which are our main purposes in the following subsections.
Global stability of the order1 limit cycle
For the global stability of the fixed point \(y^{*}\) as well as the order1 limit cycle of system (2.2), we first focus on the case \(\tau>0\) for (SC_{123}) based on the domains of Poincaré map \({\mathcal{P}}(y_{i}^{+})\) and the existence of \(y^{*}\), and we have the following main result.
Theorem 6.2
Assuming that \(\tau>0\) in case (SC_{123}), then the fixed point \(y^{*}\) of Poincaré map \({\mathcal{P}}(y_{i}^{+})\) exists and satisfies \(\tau< y^{*}< y_{2}^{*}\). Moreover, it is globally stable once it exists. Consequently, the order1 limit cycle of system (2.2) is globally stable.
Proof
Note that we have \(A_{h}\leq0\) for (SC_{123}), and then it follows from Theorem 6.1 and Lemma 5.2 that the fixed point \(y^{*}\) of the Poincaré map \({\mathcal{P}}(y_{i}^{+})\) exists and satisfies \(\tau< y^{*}< y_{2}^{*}\). It is easy to see that the Poincaré map \({\mathcal{P}}(y_{i}^{+})\) is continuous and differentiable on its domains. Moreover, for any solution initiating from \(((1\theta)V_{L}, y_{0}^{+})\) with \(y_{0}^{+}\notin(\tau, \tau+b/p]\) will reach the phase set \({\mathcal{N}}_{1}\) after a single impulsive effect with \(y_{1}^{+}\in (\tau, \tau+Y_{is}^{h} ]\subset(\tau, \tau+b/p]\). Further, for all \(y\in(\tau, \tau+b/p]\) we have
According to the conditions we see that \(f(y)\geqe^{1}\) for \(y\in (\tau, \tau+b/p]\), which indicates that \(1\leq W(f(y))< 0\). Moreover, if \(A_{h}=0\), then we have \(W(f(b/p))=1\) and \(\lim_{y\rightarrow b/p}g(y)=0\). Thus there exists a unique \(y_{e}=b/p\) such that \(g(y)=0\), \(g(y)<0\) for all \(y>b/p\) and \(g(y)>0\) for all \(y< b/p\). In order to prove the global stability of the fixed point \(y^{*}\), we consider the following two cases:
Case 1 \(\tau\geq b/p\).
For this case, we have \(1< W(f(y))< 0\) and \(g(y)< 0\) for all \(y\in (\tau, \tau+b/p]\). Therefore, in order to show the global stability, we only need to prove \(g(y)>1\) for all \(y\in(\tau, \tau+b/p]\). It follows from (6.5) that \(g(y)>1\) is equivalent to the following inequality:
It is easy to know that \(\frac{py}{b2py}>1\) for \(y>b/p\), and according to the definition of the Lambert W function the above inequality is equivalent to
i.e.
Thus, we only need to show
Denote \(u=\frac{p}{b}y\) with \(u\in (\frac{p}{b}\tau, 1+\frac{p}{b}\tau ]\subseteq (1, 1+\frac{p}{b}\tau ]\). Then the above inequality is equivalent to the following inequality:
where \(F(1)=0\) and by simple calculation yields
which indicates that \(F'(u)< F'(1)=0\). This shows that if \(\tau\geq b/p\), then we have \(1< g(y)<0\) for all \(y\in(\tau, \tau+b/p]\) and consequently the fixed point \(y^{*}\) is globally stable.
Case 2 \(\tau< b/p\).
For this case, we note that \(1< g(y)<0\) for all \(y\in (\frac{b}{p}, \frac{b}{p}+\tau ]\). Therefore, since we have \(g(b/p)=0\) and in order to prove the global stability of \(y^{*}\) for this case, we only need to show \(0< g(y)<1\) for all \(y\in(\tau, b/p)\). It is easy to see that \(g(y)>0\) holds true for all \(y\in (\tau, b/p)\) and \(g(y)<1\) is equivalent to
Thus, according to the definition of the Lambert W function the above inequality is equivalent to
which holds true naturally if \(A_{h}<0\). Therefore, if \(A_{h}<0\), then we have \(0\leq g(y)<1\) for all \(y\in(\tau, b/p]\), and consequently the fixed point \(y^{*}\) is globally stable if \(\tau< b/p\) and \(A_{h}<0\).
Finally, if \(\tau< b/p\) and \(A_{h}=0\), then it is easy to see that \(y^{*}\in (\frac{b}{p}, y_{2}^{*} )\) and \(g(y)=1\) for all \(y\in (\tau, \frac{b}{p})\). Moreover, by simple calculation we have \(W(f(y))=\frac{py}{b}\) for all \(y\in(\tau, \frac{b}{p})\), which means that for any solution initiating from \(((1\theta)V_{L}, y_{0}^{+})\) with \(y_{0}^{+}< b/p\) we have \(y_{i+1}^{+}=y_{i}^{+}+\tau\) if \(y_{i}^{+}\in(\tau, \frac{b}{p})\). Therefore, there exists a positive integer \(k_{1}\) such that \(y_{k_{1}}^{+}\in(b/p, \tau+b/p]\) and \(y_{i}^{+}\in(\tau, b/p)\) for all \(i< k_{1}\). The result follows if we can prove that \(y_{i}^{+}\in (b/p, \tau+b/p]\) for all \(i\geq k_{1}\). To do this, we need the following result.
Claim If \(y_{k_{1}}^{+}\in(b/p, \tau+b/p]\), then we must have \(y_{k_{1}+1}^{+}\in(b/p, \tau+b/p]\).
Proof
We employ the following two methods to prove the above claim, which are useful later.
Method 1: Note that
and \(y_{k_{1}+1}^{+}\in(b/p, \tau+b/p]\) is equivalent to
Thus, if the following inequality:
holds for all \(y\in (b/p, \tau+b/p]\), then the inequality (6.8) follows. According to the monotonicity of \(\frac{p}{b}y\exp (\frac{p}{b}y )\) we only need to show
It is easy to see that \(\psi(0)=0\) and \(\psi'(\tau)>0\). This indicates that \(y_{k_{1}+1}^{+}>b/p\) and by induction we have \(y_{i}^{+}\in(b/p, \tau+b/p]\) for all \(i\geq k_{1}\).
Method 2: In the following we prove that if \(\tau< b/p\) and \(A_{h}=0\) then \(y^{*}\in (\frac{b}{p}+\frac{\tau}{2}, y_{2}^{*} )\). Note that \(y^{*}< y_{2}^{*}\) has been proved as in Lemma 5.2, and \(y^{*}>\frac{b}{p}+\frac{\tau}{2}\) is equivalent to
Rearranging the above inequality yields
with \(\phi(0)=0\), \(\phi(b/p)=3e>0\) and \(\phi'(\tau)>0\). This indicates that the inequality (6.9) holds true. Thus, if \(y_{k_{1}}^{+}\in(b/p, \tau+b/p]\), then according to \(1< g(y)<0\) for all \(y\in (\frac{b}{p}, \frac{b}{p}+\tau ]\) we have
where \(y_{*}\in(y^{*}, y_{k_{1}}^{+})\) or \(y_{*}\in(y_{k_{1}}^{+}, y^{*})\). It follows from \(y^{*}>\frac{b}{p}+\frac{\tau}{2}\) and \(\tau< b/p\) that we have \(y_{k_{1}+1}^{+}>b/p\). By induction, we conclude that \(y_{i}^{+}\in (b/p, \tau+b/p]\) for all \(i\geq k_{1}\).
Therefore, the fixed point \(y^{*}\) is globally stable when \(A_{h}=0\) and \(\tau< b/p\). Based on results shown in Cases 1 and 2, we can see that if the conditions of Theorem 6.2 are true, then the fixed point \(y^{*}\) is globally stable. This completes the proof. □
Remark 6.1
The above two theorems (Theorem 6.1 and Theorem 6.2) have provided the detailed analyses for the existence and stability of fixed point \(y^{*}\) of the Poincaré map \({\mathcal{P}}(y_{i}^{+})\) and consequently the order1 limit cycle. Further, we note that the period of the order1 limit cycle can be analytically determined by using similar methods as those developed in reference [1].
Corollary 6.3
Assuming that \(\tau>0\) and \(A_{0}\leq0\), then the fixed point \(y^{*}\) of Poincaré map \({\mathcal{P}}(y_{i}^{+})\) for model (2.3) exists and satisfies \(\tau< y^{*}< y_{2}^{*}\). Moreover, it is globally stable once it exists. Consequently, the order1 limit cycle of system (2.3) is globally stable.
Before finishing this subsection, we would like to address some special cases of the order1 limit cycle including the existence of an order1 homoclinic cycle, and long or short order1 limit cycles.
Order1 homoclinic cycle. To address the existence of the order1 homoclinic cycle, we note that the point \(P_{1}^{+}=((1\theta)V_{L}, y^{*})\) determined by the fixed point \(y^{*}\) of the Poincaré map \({\mathcal{P}}(y_{i}^{+})\) must lie in the order1 Homoclinic cycle (as shown in Figure 7), where \(y^{*}\) is defined by formula (5.2), i.e.
Therefore, we have
Then the above equation becomes
Therefore, if \(y^{*}\) satisfies the above equation, i.e. all parameters satisfy the following relation:
then for model (2.2) there exists a unique order1 homoclinic cycle \(\Gamma_{h}\), as shown in Figure 7.
Order1 long or short limit cycle. Based on the existence of the order1 homoclinic cycle, we see that if the fixed point \(y^{*}\) of Poincaré map is less than the \(y_{h}^{*}\) and \((1\theta)V_{L}>x_{1}^{*}\), then we say that model (2.2) has an order1 short limit cycle \(\Gamma_{s}\), as shown in Figure 7. While, if the fixed point \(y^{*}\) of Poincaré map is larger than the \(y_{h}^{*}\) and \((1\theta)V_{L}>x_{1}^{*}\), then we say that model (2.2) has an order1 long limit cycle \(\Gamma_{l}\), as shown in Figure 7. The order1 short or long limit cycle may play a key role in real problems with statedependent feedback control actions, which tells us how frequently the control tactics should be applied or how to design the control tactics to adjust the period of control actions.
Boundary order1 limit cycle and its stability
It follows from Theorem 5.1 that if \(\tau=0\) and \(A_{h}\neq0\), then \(y^{*}=0\) is a unique fixed point of Poincaré map \({\mathcal{P}}(y_{i}^{+})\) (please see Table 3 for details), which indicates that for model (2.2) there exists a unique boundary order1 limit cycle with initial condition \(((1\theta)V_{L}, 0)\). Therefore, in this subsection, we address its analytical formula and stability. Note that, if \(\tau=0\) and \(A_{h}\neq0\), then the derivative of the Poincaré map at \(y^{*}=0\) is one, which indicates that the stability of \(y^{*}=0\), which in this case cannot be determined directly.
In model (2.2), let \(y(t)=0\) and \(\tau=0\), then we have the following subsystem:
Solving the first equation with initial condition \(x(0^{+})=(1\theta)V_{L}\) yields
and letting \(V_{L}=(1\theta)V_{L}\exp(bT)\) and solving it with respect to T, we have \(T=\frac{1}{b}\ln\frac{1}{1\theta}\). Therefore, model (6.11) has a periodic solution, denoted by \(x^{T}(t)\) and \(x^{T}(t)=(1\theta)V_{L}\exp(bt)\) with period T, which means that for model (2.2) there exists a boundary order1 limit cycle \((x^{T}(t),0)\).
To show its stability, we first consider two points \(P_{1}^{+}=((1\theta)V_{L}, y_{1}^{+})\in L_{5}\) and \(Q_{1}=(V_{L}, y_{2})\in L_{4}\) with \(y_{1}^{+}, y_{2}\leq b/p\), which lie in the same trajectory of system (2.2), as shown in Figure 8(C) and (F). Moreover, the coordinates of these two points satisfy the following relations:
It is easy to see that \(y_{1}^{+}\neq y_{2}\). Otherwise, if \(y_{1}^{+}=y_{2}\) then \(A_{h}=0\), which contradicts with \(A_{h}\neq0\). Define function \(h(y)\) as \(h(y)=b\ln(y)py\) with \(h'(y)=p (\frac{b}{p}\frac{1}{y}1 )\), which indicates that \(h'(y)>0\) for \(y<\frac{b}{p}\). Therefore, if \(A_{h}>0\), then we have
here we use \(y_{2}^{+}=y_{2}\) and \(y_{1}^{+}=y_{1}\) due to \(\tau=0\). That is,
which indicate that \(y_{2}^{+}>y_{1}^{+}\) and \(y_{2}>y_{1}\).
Similarly, if \(A_{h}<0\), then \(y_{2}^{+}< y_{1}^{+}\) and \(y_{2}< y_{1}\) must hold true. In conclusion, we have the following main results for the boundary order1 limit cycle.
Theorem 6.3
Let \(\tau=0\) and \(A_{h}\neq0\). The boundary order1 limit cycle \((x^{T}(t), 0)\) is globally asymptotically stable for (SC_{123}), and it is locally asymptotically stable for (SC_{12}). The boundary order1 limit cycle \((x^{T}(t), 0)\) is unstable for (SC_{11}) and (SC_{2}).
Proof
For case (SC_{123}), we assume, without loss of generality, that any solution initiating from phase set \({\mathcal{N}}_{1}\) experience infinite impulsive effects, i.e. we have \(y_{k}^{+}\in (0, Y_{is}^{h} ]\) for all \(k\geq0\). Since \(A_{h}<0\), it follows from the above discussion that by induction we conclude that \(y_{k}^{+}\) is a strictly decreasing sequence with \(\lim_{k\rightarrow\infty}y_{k}^{+}=y^{*}\). Moreover, \(y^{*}=0\) must hold, otherwise it contradicts the uniqueness of \(y^{*}=0\) in this case. Thus, the boundary order1 limit cycle \((x^{T}(t), 0)\) is globally attractive.
So in order to prove Theorem 6.3, we only need to show that it is asymptotically stable. To do this, by using Lemma A.1 we denote \(bx(t)px(t)y(t)\doteq P(x,y)\) and \(\frac{cx(t)y(t)}{1+\omega x(t)}qx(t)y(t)\delta y(t)\doteq Q(x,y)\), then
and \(\triangle_{1}=P_{+}/P=1\theta\). Thus
Therefore,
which indicates that the boundary order1 limit cycle is orbitally asymptotically stable and enjoys the property of asymptotic phase if \(A_{h}<0\). Thus, the boundary order1 limit cycle is globally stable if \(\tau=0\) and \(A_{h}\neq0\) in case (SC_{123}).
The local stability of the boundary order1 limit cycle for (SC_{12}) is obvious due to the domain of the phase set. The instability of the boundary order1 limit cycle for (SC_{11}) and (SC_{2}), is shown since \(A_{h}>0\), \(y_{k}^{+}\) is a strictly increasing sequence and the solution will be free from impulsive effects after finite statedependent feedback control actions, as shown in Figure 8(C). Thus the results are true. □
Remark 6.2
It is interesting to note that if we let \(\tau=0\) and \(A_{h}\) be a bifurcation parameter, then the unique boundary order1 limit cycle is stable when \(A_{h}<0\), and there exists a family of order1 periodic solutions when \(A_{h}=0\). As \(A_{h}\) increases and goes beyond zero (i.e. \(A_{h}>0\)), then the boundary order1 limit cycles disappear. These results indicate that if \(\tau=0\), then the Poincaré map \({\mathcal{P}}(y_{i}^{+})\) undergoes a Fold bifurcation at \((y^{*}, A_{h})=(0, 0)\). Moreover, if the \(A_{h}\) is considered as a function of \(V_{L}\), then there are two critical values \(V_{L}^{1*}\) and \(V_{L}^{2*}\) such that \(A_{h}=0\), as shown in Figure 9.
To confirm the main results obtained in Theorem 6.3, we fixed the parameter values as those in Figure 8, and we can see that if \(A_{h}>0\), then the impulsive points and its phase points of trajectory shown in Figure 8(C) are two monotonically increasing sequences, and eventually the trajectory approaches a closed orbit which frees it from impulsive effects. While if \(A_{h}<0\), then the impulsive points and its phase points of trajectory shown in Figure 8(F) are two monotonically decreasing sequences, and eventually the trajectory tends to the boundary order1 limit cycle \((x^{T}(t),0)\).
Corollary 6.4
If \(\tau=0\) and \(A_{0}\neq0\), then there exists a unique boundary order1 limit cycle \((x^{T}(t), 0)\) for model (2.3). Furthermore, if \(A_{0}>0\), then the order1 limit cycle \((x^{T}(t), 0)\) is unstable; if \(A_{0}<0\), then the order1 limit cycle \((x^{T}(t), 0)\) is globally asymptotically stable.
Flip bifurcation and existence of order2 limit cycle
Investigating the existence or nonexistence of the limit cycle with order no less than 1 for models with statedependent feedback control is challenging, but this problem has been addressed for some special cases [1]. Thus, in the following two sections we will focus on the existence and nonexistence of order2 limit cycles for model (2.2) and provide some sufficient conditions or necessary conditions on this topic.
According to the stability analyses of the fixed point \(y^{*}\) of the Poincaré map \({\mathcal{P}}(y_{i}^{+})\) that if \(\tau>0\) and \(A_{h}\leq 0\), then the fixed point \(y^{*}\) is locally stable or globally stable once it exists. However, it follows from Theorem 6.1 that if \(\tau>0\), \(A_{h}>0\) and \(y^{*}\) exists, then the fixed point \(y^{*}\) of the Poincaré map \({\mathcal{P}}(y_{i}^{+})\) is locally stable provided
Therefore, we can define the following flip bifurcation curve with respect to threshold value \(V_{L}\) when \(\tau>0\) and \(A_{h}>0\):
which indicates that if \(\mu=0\), then we have \(g(y^{*})=1\), and the positive fixed point \(y^{*}\) loses its stability at \(\mu=0\). In order to consider the existence of a flip bifurcation of model (2.2), we choose the threshold \(V_{L}\) as a bifurcation parameter and define \(G(y, V_{L})={\mathcal{P}}(y_{i}^{+})\) as the one parameter maps, correspondingly we denote \(f(y, V_{L})=\frac{p}{b}y\exp (\frac{p}{b}y+\frac{A_{h}}{b} )\). Then we first solve the equation \(\mu(V_{L})=0\) with respect to \(A_{h}\), yielding
Now we discuss the existence of positive roots of the above equation with respect to \(V_{L}\) and consequently the positive roots for the equation \(\mu(V_{L})=0\). To show this, we denote
and we have the following results.
Lemma 7.1
Let \(V_{L}^{2}=\frac{2q+q\theta+\sqrt {B}}{2(1\theta)q\omega}\) with \(B=\theta^{2}q^{2}+4qc4\theta qc\). If \(A_{h}>0\), then there are two positive roots of the equation \(F_{A}(V_{L})=0\), denoted by \(V_{L}^{1*}\) and \(V_{L}^{2*}\), such that \(F_{A}(V_{L})>0\) for all \(V_{L}\in(V_{L}^{1*}, V_{L}^{2*})\). Further, if \(F_{A}(V_{L}^{2})>p\taub\ln (\frac{y_{2}^{*}}{y_{2}^{*}\tau} )\), then the equation \(\mu(V_{L})=0\) exists with two positive roots, denoted by \(V_{L}^{3*}\) and \(V_{L}^{4^{*}}\) (as shown in Figure 9), and \(V_{L}^{1*}< V_{L}^{3*}< V_{L}^{4^{*}}< V_{L}^{2*}\). Moreover, \(F_{A}'(V_{L}^{3*})>0\) and \(F_{A}'(V_{L}^{4*})<0\).
Proof
It is easy to see that \(F_{A}(0)<0\) and \(F_{A}(+\infty)=\infty\). Taking the derivative of \(F_{A}(V_{L})\) with respect to \(V_{L}\) yields
and solving \(F_{A}'(V_{L})=0\) yields two roots \(V_{L}^{1}\), \(V_{L}^{2}\) with
where \(B=\theta^{2}q^{2}+4qc4\theta qc\). Note that \(V_{L}^{1}<\frac{1}{(1\theta)\omega}<\frac{1}{\omega}<0\), thus only the \(V_{L}^{2}\) may be the desirable maximal extreme point of the function \(F_{A}(V_{L})\). Moreover, \(V_{L}^{2}>0\) is equivalent to
Rearranging the above inequality we have: if \(c>q\), then \(V_{L}^{2}>0\) holds true. This indicates that if \(x_{1}^{*}\) and \(x_{2}^{*}\) exist (i.e. \(cq\delta\omega>2\sqrt{q\omega\delta}\)), then for the function \(F_{A}(V_{L})\) there always exists a unique maximal extreme point \(V_{L}^{2}\). Thus, the results for the function \(F_{A}(V_{L})\) and the function \(\mu(V_{L})\) are correct. □
Theorem 7.1
Assuming that \(\tau>0\), \(A_{h}>0\), \(y^{*}\) exists and \(F_{A}(V_{L}^{2})>p\taub\ln (\frac{y_{2}^{*}}{y_{2}^{*}\tau} )\), then the family \(G(y, V_{L})\) undergoes a flip bifurcation at \((y_{2}^{*}, V_{L}^{3*})\), while the family \(G(y, V_{L})\) cannot undergo a flip bifurcation at \((y_{2}^{*}, V_{L}^{4*})\).
Proof
It is easy to see that \(G(y_{2}^{*},V_{L}^{*})=y_{2}^{*}\) for \(V_{L}^{*}=V_{L}^{3*}\) and \(V_{L}^{*}=V_{L}^{4*}\). Further
It follows from the relations \(\tau< y_{2}^{*}<\tau+b/p\) that \(y_{2}^{*}\tau>0\) and \(bp(y_{2}^{*}\tau)>0\). Therefore, according to the signs of \(F_{A}'(V_{L}^{3*})\) and \(F_{A}'(V_{L}^{4*})\) we have \(\frac{\partial^{2} G(y, V_{L})}{\partial y\,\partial V_{L}}_{(y,V_{L})=(y_{2}^{*}, V_{L}^{3*})}<0\) provided \(y_{2}^{*}>b/p\) and \(\frac{\partial G^{2}(y, V_{L})}{\partial y\,\partial V_{L}}_{(y,V_{L})=(y_{2}^{*}, V_{L}^{4*})}<0\) provided \(y_{2}^{*}< b/p\). Further, if \(A_{h}>0\), then \(y^{*}=y_{2}^{*}>\frac{b}{p}\), and it follows from Lemmas A.2A.3 that the family \(G(y, V_{L})\) undergoes a flip bifurcation at \((y_{2}^{*}, V_{L}^{3*})\). In contrast, the family \(G(y, V_{L})\) cannot undergo a flip bifurcation at \((y_{2}^{*}, V_{L}^{4*})\). This completes the proof. □
To address the stability of a flip bifurcation (supercritical or subcritical bifurcation), we need to calculate \(\frac{\partial^{3} G^{2}}{\partial x^{3}}(y,V_{L})\) and to determine its sign at \((y_{2}^{*}, V_{L}^{*})\), which is quite complex. Thus, we turn to, equivalently, a calculation of the Schwarzian derivative of the map \(M(x)\), which is defined as follows [99–101]:
By complex calculation, we have (denote \(W_{1}=W(f(y_{2}^{*},V_{L}^{*}))\))
which indicates that if \(SG(y_{2}^{*})<0\) (i.e. \(\frac{\partial^{3} G^{2}}{\partial x^{3}}(y_{2}^{*},V_{L}^{3*})<0\)), then the family \(G(y, V_{L})\) undergoes a supercritical flip bifurcation at \((y_{2}^{*}, V_{L}^{3*})\); If \(SG(y_{2}^{*})>0\) (i.e. \(\frac{\partial^{3} G^{2}}{\partial x^{3}}(y_{2}^{*},V_{L}^{3*})>0\)), then the family \(G(y, V_{L})\) undergoes a subcritical flip bifurcation at \((y_{2}^{*}, V_{L}^{3*})\).
As an example, we choose the parameter values as shown in Figure 10, then we have \(V_{L}^{3*}=6.872\), \(V_{L}^{4*}=11.578\), and \(y^{*}=2.5503\). Moreover, \(x_{1}^{*}=10\), \(x_{2}^{*}=1.304\), \(A_{h}=0.303\), \(A_{h_{1}}=0.356\), \(Y_{\min}^{h}=0.728, Y_{\max}^{h}=2.350\), \(Y_{\min}^{h_{1}}=0.686\), \(Y_{\max}^{h_{1}}=2.446\), and \(\tau+b/p=2.986\). This indicates that the phase set is defined by \({\mathcal{N}}_{2}^{h}\) and \(y^{*}\in[Y_{\max}^{h}, \tau+b/p]\) with \(V_{L}=6< x_{1}^{*}\). By further calculations we have
Therefore, the subcritical flip bifurcation occurs at point \((y^{*}, V_{L}^{3*})\), and there exists a constant \(\epsilon>0\) such that the Poincaré map has an orbit of period two which is unstable for \(V_{L}^{1*}< V_{L}^{3*}\epsilon< V_{L}< V_{L}^{3*}\). Consequently, for the model (2.2) there exists an unstable order2 limit cycle, as shown in Figure 10.
Corollary 7.1
(Flip bifurcation of model (2.3))
Assume that \(\tau>0\) and \(y^{*}\) exists. If \(A_{0}>0\), then the family \(G(y, V_{L})\) undergoes a flip bifurcation at \((y_{2}^{*}, V_{L}^{0})\), where
Proof
Substituting \(A_{0}=c\theta V_{L}\delta\ln (\frac {1}{1\theta} )\) into \(y^{*}\) and solving the equation \(\mu(V_{L})=0\) with respect to \(V_{L}\) yield one critical value \(V_{L}^{0}\), where
and \(V_{L}^{0}>0\) holds true due to \(A_{0}>0\). It is easy to see that \(G(y_{2}^{*},V_{L}^{0})=y_{2}^{*}\) and
It follows from \(\tau< y_{2}^{*}<\tau+b/p\) that \(\frac{\partial^{2} G(y, V_{L})}{\partial y\,\partial V_{L}}_{(y,V_{L})=(y_{2}^{*}, V_{L}^{0})}<0\). This indicates that the family \(G(y, V_{L})\) undergoes a flip bifurcation at \((y_{2}^{*}, V_{L}^{0})\) due to \(y_{2}^{*}>b/p\) when \(A_{0}>0\). □
Similarly, it is difficult to calculate the \(\frac{\partial^{3} G^{2}}{\partial x^{3}}(y_{2}^{*},V_{L}^{0})\) for model (2.3) and to determine its sign, so we turn to a calculation of the Schwarzian derivative and we have (denote \(W_{1}=W(f(y_{2}^{*},V_{L}^{0}))\))
The necessary condition for the existence of an order2 limit cycle
Evidence for the existence of an order2 limit cycle, as discussed in Section 7, which can bifurcate from an order1 limit cycle through a subcritical flip bifurcation, and some special cases for the existence of an order2 limit cycle will be discussed in Section 11. Moreover, we note that the order2 limit cycles can only appear in cases (SC_{11}) and (SC_{2}), because \(g(y)<1\) for all y lying in the domains of Poincaré map \({\mathcal{P}}\) if \(A_{h}\leq0\). Therefore, for the necessary condition of existence of an order2 limit cycle we only need to focus on cases (SC_{11}) and (SC_{2}), which will be addressed later. So we would like to discuss the relations between order2 and order1 limit cycles first.
The relations between order2 limit cycle and order1 limit cycle
In this section, we assume that for model (2.2) there exists an order2 limit cycle, as shown in Figure 10 with \(P_{0}^{+}=((1\theta)V_{L}, y_{0}^{+})\), \(P_{1}^{+}=((1\theta)V_{L}, y_{1}^{+})\) and \(y_{0}^{+}\neq y_{1}^{+}\), and we denote the corresponding points lying in impulsive set \({\mathcal{M}}\) as \(Q_{0}=(V_{L}, y_{1})\) and \(Q_{1}=(V_{L}, y_{2})\) with \(y_{2}^{+}=y_{0}^{+}\). Without loss of generality, we let \(y_{1}^{+}>y_{0}^{+}\) and focus on case (SC_{2}), i.e. \(V_{L}< x_{1}^{*}\) and \(x_{4}^{*}<(1\theta)V_{L}\), as shown in Table 3. For case (SC_{11}), we can obtain the same results by using the methods developed in this section. Therefore, for case (SC_{2}) there are three possibilities: (i) \(y_{1}^{+}>y_{0}^{+}\geq Y_{\max}^{h}>b/p\); (ii) \(y_{1}^{+}\geq Y_{\max}^{h}>b/p>Y_{\min}^{h}\geq y_{0}^{+}\); (iii) \(b/p>Y_{\min}^{h}\geq y_{1}^{+}>y_{0}^{+}\).
Lemma 8.1
Assuming (SC_{2}) (i.e. \(V_{L}< x_{1}^{*}\) and \(x_{4}^{*}<(1\theta)V_{L}\)) and model (2.2) has an order2 limit cycle, then Cases (ii) and (iii) cannot occur.
Proof
Here we first prove that case (iii) cannot hold true and case (ii) will be proved in Section 8.2. Assume \(b/p>Y_{\min}^{h}\geq y_{1}^{+}>y_{0}^{+}\). If model (2.2) has an order2 limit cycle \(O_{2}\) with initiating value \(P_{0}^{+}\), then the two line segments \(\overline{Q_{2}P_{0}^{+}}\) and \(\overline{Q_{1}P_{1}^{+}}\) satisfy \(\overline{Q_{2}P_{0}^{+}}\parallel\overline{Q_{1}P_{1}^{+}}\), which is impossible due to \(y_{2}^{+}=y_{0}^{+}\). Thus, we conclude that case (iii) cannot appear if for model (2.2) there exists an order2 limit cycle under condition (SC_{2}). □
The following theorem shows the relations between the existence of an order2 limit cycle and the existence of an order1 limit cycle. Similar results and proofs have already been published [1].
Theorem 8.1
Assuming (SC_{2}) (i.e. \(V_{L}< x_{1}^{*}\) and \(x_{4}^{*}<(1\theta)V_{L}\)), then the existence of an order2 limit cycle of model (2.2) indicates the existence of an order1 limit cycle of model (2.2).
Proof
According to the definition of the Poincaré map, for system (2.2) the existence of an order2 limit cycle implies that \((y_{0}^{+}, y_{1}^{+})\) satisfies
with \(y_{0}^{+}\neq y_{1}^{+}\), i.e.,
To prove Theorem 8.1, according to Table 3 we need to prove that the existence of an order2 limit cycle indicates that \(\tau>\frac{A_{h}}{p}\) and \(\tau\geq\tau_{M}\). It follows from Lemma 8.1 that we have: (i) \(y_{1}^{+}>y_{0}^{+}\geq Y_{\max}^{h}>b/p\); (ii) \(y_{1}^{+}\geq Y_{\max}^{h}>b/p>Y_{\min}^{h}\geq y_{0}^{+}\). This shows \(y_{1}^{+}\geq Y_{\max}^{h}\) in both cases. It follows from (8.1) that
i.e.
Moreover, we can prove that if for model (2.2) there exists an order2 limit cycle, then we must have \(A_{h}< p\tau\), and consequently the \(y^{*}\) defined by (5.2) is well defined with \(y^{*}\in [Y_{\max}^{h}, \tau+\frac{b}{p} ]\). Otherwise if \(A_{h}\geq p\tau\), it follows from the two equations (8.2) that we have the following inequalities:
and
From a combination of (8.3) and (8.4) we get
which implies \(y_{1}^{+}+y_{0}^{+}\leq\tau\). This contradicts \(y_{1}^{+}\geq \tau\), \(y_{0}^{+}\geq\tau\) and \(y_{0}^{+}+y_{1}^{+}>2\tau\) due to \(y_{0}^{+}, y_{1}^{+}\in{\mathcal{N}}\). Therefore, \(\tau>A_{h}/p\) and \(\tau\geq Y_{\max}^{h}b/p\) indicate that \(y^{*}\) is well defined and consequently the existence of an order1 limit cycle follows. This completes the proof. □
Remark 8.1
If \(y_{0}^{+}, y_{1}^{+}\in [Y_{\max}^{h}, \tau+b/p ]\) (i.e. case (i)), as shown in Figure 10, then it is easy to prove that the existence of an order2 limit cycle indicates the existence of an order1 limit cycle. That is, the region Ω shown in Figure 10 satisfies all the conditions of the PoincaréBendixson theorem of impulsive semidynamic systems [60]. However, this method cannot be applied when case (ii) occurs, because the domains of the Poincaré map are separated into two segments, i.e. \(y_{i}^{+}\in [\tau, Y_{\min}^{h} ]\cup [Y_{\max}^{h}, b/p+\tau ]\). Therefore, if we want to employ the PoincaréBendixson theorem of impulsive semidynamic systems, then we must exclude case (ii), as mentioned before which will be proved later by using the necessary condition of existence of an order2 limit cycle.
The necessary condition for the existence of an order2 limit cycle
Although we cannot provide the simple sufficient conditions for the existence of an order2 limit cycle as those for the existence of an order1 limit cycle, the necessary conditions shown in the following theorem are quite useful.
Theorem 8.2
The necessary condition for the existence of an order2 limit cycle of model (2.2) is that \(y_{0}^{+}\) and \(y_{1}^{+}\) are the two roots of the following equation:
where \(0< c< f_{2}(y_{2}^{*})\) and \(y_{2}^{*}=\frac{b+p\tau+\sqrt{b^{2}+p^{2}\tau^{2}}}{2p}\) (defined in (5.3)) with \(y_{0}^{+}< y_{2}^{*}< y_{1}^{+}\).
Proof
Assume that model (2.2) has an order2 limit cycle, i.e., \(y_{0}^{+}\) and \(y_{1}^{+}\) lie in the domains of the Poincaré map \({\mathcal{P}}\) with \(y_{0}^{+}\neq y_{1}^{+}\) and satisfy (8.2). Therefore, dividing both sides of (8.2) simultaneously, one has
which indicates that the above equation must hold if for model (2.2) there exists an order2 limit cycle. According to the symmetry of both sides, we can define the function \(f_{2}(y)\) given by (8.5) for all \(y>\tau\) due to both \(y_{0}^{+}\) and \(y_{1}^{+}\) being larger than τ.
Taking the derivative of the function \(f_{2}(y)\) with respect to y yields
Solving the equation \(f_{2}'(y)=0\) yields two roots which are just the same as \(y_{1}^{*}\) and \(y_{2}^{*}\), i.e.
and only the \(y_{2}^{*}=\frac{b+p\tau+\sqrt{b^{2}+p^{2}\tau^{2}}}{2p}\) is a feasible root which satisfies \(\tau< y_{2}^{*}<\tau+b/p\). It is easy to see that the function \(f_{2}(y)\) reaches its maximum value at \(y=y_{2}^{*}\). Moreover, we have \(f_{2}(\tau)=0\) and \(f_{2}(y)\rightarrow0\) as \(y\rightarrow+\infty\). Thus, for any \(0< c< f_{2}(y_{2}^{*})\), there are two roots \(y_{0}^{+}\) and \(y_{1}^{+}\) such that \(f_{2}(y_{0}^{+})=f_{2}(y_{1}^{+})\) (as shown in Figure 11), i.e. (8.6) holds. This completes the proof.
□
In order to show the necessary condition of the existence of an order2 limit cycle, we plot the second iteration of Poincaré map \({\mathcal{P}}(y)\) with the parameter set as those shown in Figure 11(A). Obviously, with the given parameter values, for the Poincaré map \({\mathcal{P}}(y)\) there exists a period two solution, as shown in Figure 11(A). At the same time, we plot the function \(f_{2}(y)\) in Figure 11(B) and we have \(f_{2}(y_{0}^{+})=f_{2}(y_{1}^{+})\) with \(Y_{\max}^{h}< y_{0}^{+}< y_{1}^{+}<\frac{b}{p}+\tau\), which indicates the necessary condition of the existence of an order2 limit cycle holds true.
Remark 8.2
Note that the existence of an order2 limit cycle strictly depends on the \(y_{2}^{*}\), once the two roots \(y_{0}^{+}\) and \(y_{1}^{+}\) of \(f_{2}(y)=c\) coincide, i.e. \(y_{0}^{+}=y_{1}^{+}=y_{2}^{*}\), then we have \(y^{*}=y_{2}^{*}\) at which point the flip bifurcation occurs. All these results confirm that the existence of an order2 limit cycle associates with the flip bifurcation at \(y_{2}^{*}\). Moreover, the function \(f_{2}(y)\) only depends on the three parameters b, p, and τ, which is independent of control parameters \(V_{L}\) and θ.
Note that the family \(G(y, V_{L})\) undergoes a flip bifurcation at \((y_{2}^{*}, V_{L}^{3*})\) and according to Lemma 7.1 and Figure 9 that the \(A_{h}\) is a monotonic increasing function of \(V_{L}\) in the neighborhood of \(V_{L}^{3*}\), which indicates that \(Y_{\max}^{h}\) is a monotonic increasing function, while \(Y_{\min}^{h}\) is a monotonic decreasing function, as shown in Figure 12. Thus, there is less likelihood that the order2 limit cycle exists as \(V_{L}\) passes through the critical \(V_{L}^{3*}\) and decreases. In particular, for a given parameter set, the ranges of initial values \(y_{0}^{+}\) and \(y_{1}^{+}\) for existence of an order2 limit cycle can be determined. For example, if we fixed the parameters as those in Figure 9 and Figure 12, then the flip bifurcation occurs at \((2.5503, 6.972)\), at which we have \(Y_{\max}^{h}=2.3504\doteq Y_{m}^{1}\) and \(f_{2}(Y_{m}^{1})=0.0592\). Thus, we can determine the value \(Y_{M}^{1}\) by solving the equation \(f_{2}(y)=0.0592\), i.e. we have \(Y_{M}^{1}=2.7768\). Similarly, since \(f_{2}(b/p+\tau)=0.0555\) with \(b/p+\tau=2.9846\doteq Y_{M}^{2}\), we can determine \(Y_{m}^{2}\) by solving the equation \(f_{2}(y)=0.0555\), i.e. we have \(Y_{m}^{2}=2.2134\). Therefore, as \(V_{L}\) passes through the critical \(V_{L}^{3*}\) and decreases, the initial values for the existence of an order2 limit cycle can only be in the following intervals: \(y_{0}^{+}\in[Y_{m}^{2}, Y_{m}^{1}]\) and \(y_{1}^{+}\in[Y_{M}^{1}, Y_{M}^{2}]\). For this case we see that both \(y_{0}^{+}\) and \(y_{1}^{+}\) are larger than \(Y_{\max}^{h}>b/p\), i.e. case (i) occurs here.
Based on the necessary condition of existence of an order2 limit cycle, we can prove case (ii) in Lemma 8.1.
Proof of case (ii) in Lemma 8.1
Now we turn to a proof of the second case (i.e. case (ii)) cannot happen in Lemma 8.1, i.e. we ask under what necessary conditions we could have \(y_{1}^{+}\geq Y_{\max}^{h}>b/p>Y_{\min}^{h}\geq y_{0}^{+}\) (case (ii) here) if for model (2.2) there exists an order2 limit cycle. Note that \(\tau< Y_{\min}^{h}\) must hold if case (ii) occurs. Thus, based on the necessary condition we must have
Let \(z=e^{1\frac{A_{h}}{b}}\), then we have
and
Thus, \(f_{2}(Y_{\min}^{h})>f_{2}(\tau+b/p)\) is equivalent to the following inequality (\(\tau< Y_{\min}^{h}\), \(0< A_{h}< p\tau\)):
It is easy to show \((\frac{b}{p}+\frac{\tau}{W(z)} )>0\). Note that if \(A_{h}=0\), then the left hand side becomes \(\frac{b}{p}\tau\). So we first claim that \(\frac{b}{p}\tau< (\frac{b}{p}+\tau )\exp (\frac{2p\tau }{b} )\). To do this, we define
By calculation we have \(f_{3}(0)=0\) and \(f_{3}'(\tau)=1+ (1+\frac{2p\tau}{b} )\exp (\frac{2p\tau }{b} )<0\). This indicates that the inequality (8.9) cannot hold true if \(A_{h}=0\). Further, we denote that
and
It follows from \(\tau< Y_{\min}^{h}=\frac{b}{p}W(z)\) that
This shows that the inequality (8.9) cannot hold true for all \(A_{h}>0\), and consequently if for model (2.2) there exists an order2 limit cycle, then case (ii) cannot occur too. Thus, we prove case (ii) in Lemma 8.1. □
Corollary 8.1
If for model (2.2) there exists an order2 limit cycle, then the order2 and order1 limit cycles coexist. Moreover, the nonexistence of the order1 limit cycle implies the nonexistence of the order2 limit cycle.
Proof
According to the proof of Lemma 8.1 that only case (i), i.e. \(y_{1}^{+}>y_{0}^{+}\geq Y_{\max}^{h}>b/p\), is feasible if for model (2.2) there exists an order2 limit cycle. Consequently, it follows from Remark 8.1 that the region Ω indicated in Figure 10 satisfies the PoincaréBendixson theorem of impulsive semidynamic systems [58]. Thus, the existence of the order2 limit cycle indicates the existence of the order1 limit cycle. □
The necessary condition also tells us that the order2 limit cycle will disappear as \(V_{L}\) is decreasing or τ is increasing. Moreover, we can obtain similar results to those shown in this section for model (2.3) and we do not repeat them here.
Finite statedependent feedback control actions
To address the global dynamic behavior of model (2.2) completely, for cases (SC_{1}) and (SC_{2}) we need to know under which conditions the solution initiating from \(((1\theta)V_{L}, y_{0}^{+})\), where \(y_{0}^{+}\in Y_{D}^{h}\) or \(Y_{D}^{h_{1}}\), will be free from impulsive effects after finite statedependent feedback control actions. That is, whether there exists a positive integer \(k_{1}\), such that \(y_{k_{1}}^{+}\in [Y_{\min}^{h_{1}}, Y_{\max}^{h_{1}} ]\) for case (SC_{1}) or \(y_{k_{1}}^{+}\in (Y_{\min}^{h}, Y_{\max}^{h} )\) for case (SC_{2}). This is not only important for determining the global dynamics, but also it is crucial for our real life problems considered in the present work.
Therefore, in this section we will focus on finding the conditions under which all solutions of model (2.2) with initial value \(((1\theta)V_{L}, y_{0}^{+})\) will be free from impulsive effects after finite statedependent feedback control actions. For convenience, we denote the boundary of closed trajectory \(\Gamma_{h}\) (or homoclinic cycle \(\Gamma_{h_{1}}\)) as \(\partial\Omega_{h}\) (or \(\partial\Omega_{h_{1}}\)) and its interior as \(\operatorname{Int}\Omega_{h}\) (or \(\operatorname{Int}\Omega_{h_{1}}\)).
Finite statedependent feedback control actions for case (SC_{2})
Based on the results shown in Section 6, in particular the results shown in Table 3, we have the following main theorem with respect to finite statedependent feedback control actions for model (2.2) under case (SC_{2}). Note that all trajectories from \(\operatorname{Int}\Omega_{h}\) are free from impulsive effects, and \(\operatorname{Int}\Omega_{h}\) is an invariant set of system (2.2) under case (SC_{2}).
Theorem 9.1
For case (SC_{2}), if \(\frac{A_{h}}{p}<\tau <\tau_{M}\) then any solution initiating from \(((1\theta)V_{L}, y_{0}^{+})\) with \(y_{0}^{+}>0\) will experience finite statedependent feedback control actions and enter into \(\operatorname{Int}\Omega_{h}\) eventually.
Proof
For any solution initiating from \(((1\theta)V_{L}, y_{0}^{+})\) with \(y_{0}^{+}\leq\tau\) or \(y_{0}^{+}>\tau+\frac{b}{p}\) will enter into the region \({\mathcal{N}}_{2}^{h}\) after a single impulsive effect, i.e. \(y_{1}^{+}\in Y_{D}\). It follows from \(\tau<\tau_{M}=Y_{\max}^{h}\frac{b}{p}\) that there are two possibilities: (a) \(y_{1}^{+}\in (Y_{\min}^{h}, Y_{\max}^{h} )\), and (b) \(y_{1}^{+}\in (\tau, Y_{\min}^{h} ]\). For case (a), it is easy to see the results shown in Theorem 9.1 are true, and the solution initiating from \(((1\theta)V_{L}, y_{0}^{+})\) at most experiences an impulsive effect once only before entering into \(\operatorname{Int}\Omega_{h}\).
For case (b), without loss of generality, we assume the solution initiating from \(((1\theta)V_{L}, y_{0}^{+})\) experiences impulsive effects k times and we will prove that k is finite. Otherwise, if k is infinite, then we must have \(y_{k}^{+}\in (\tau, Y_{\min}^{h} ]\) for all \(k>1\) due to \(\tau<\tau_{M}\). We note that
It follows from the definition of the function \(f(y)\), i.e. \(f(y)=\frac{p}{b}y\exp (\frac{p}{b}y+\frac{A_{h}}{b} )\), then we have
which means that \(f'(y)>0\) if \(y>b/p\), and \(f'(y)<0\) if \(y< b/p\). Moreover, the Lambert \(\mathrm{W}(z)\) function is a strictly increasing function for \(z\in[e^{1}, 0)\).
Therefore, if the inequality \(y_{2}^{+}< y_{1}^{+}\) holds, then it follows from the monotonicity of the functions of the Lambert W and f that
and if the inequality \(y_{2}^{+}>y_{1}^{+}\) holds, then
Thus, the limitation
exists with \(y^{*}\in (\tau, Y_{\min}^{h} ]\). According to the continuity of the Lambert W function on the interval \((\tau, Y_{\min}^{h} ]\) we can see that
which indicates that \(y^{*}\) is a fixed point of the Poincaré map \({\mathcal{P}}(y_{i}^{+})\) and this contradicts the nonexistence of the equilibrium, as shown in Table 3. Further, the nonexistence of the equilibrium \(y^{*}\) clarifies that inequalities (9.1) cannot hold true. Therefore, only the inequalities shown in (9.2) can occur, i.e. the sequence \(y_{k}^{+}\) with \(k\geq1\) is strictly monotonically increasing, and it will enter into \(\operatorname{Int}\Omega_{h}\) after finite impulsive effects, as shown in Figure 13(A).
□
Corollary 9.1
For case (SC_{2}), if \(0<\tau<\tau_{M}\) then any solution initiating from \(((1\theta)V_{L}, y_{0}^{+})\) with \(y_{0}^{+}>0\) will experience finite statedependent feedback control actions and enter into \(\operatorname{Int}\Omega_{h}\) eventually.
In Figure 13, we show the effects of different values of τ on the finite impulsive effects of solutions. It follows from Figure 13(A)(C) that if the solution initiating from the same initial point \(((1\theta)V_{L}, 0.2)\), then the smaller τ is, the greater the number of impulsive effects that it has. Note that not all solutions will enter into \(\operatorname{Int}\Omega_{h}\) after finite impulsive effects once the τ increases and exceeds the \(\tau_{M}\), because there exists an order1 limit cycle which could be stable or unstable, as shown in Figure 13(D) and Table 3. If so, for model (2.2) there may exist multiple attractors including a stable order1 limit cycle (indicated as \(O_{1}\) in Figure 13(D)) and \(\operatorname{Int}\Omega_{h}\). Thus, the question is what are their regions of attraction, and we will address this question in the following sections.
Finite statedependent feedback control actions for case (SC_{1})
Note that all trajectories from \(\operatorname{Int}\Omega_{h_{1}}\cup\partial \Omega_{h_{1}}\) are free from impulsive effects for case (SC_{1}), and \(\operatorname{Int}\Omega_{h_{1}} \cup\partial\Omega_{h_{1}}\) is an invariant set of system (2.2) under case (SC_{1}). In the following we provide the results for the two subcases of (SC_{1}) separately.
Theorem 9.2
For case (SC_{11}), if \(\frac{A_{h}}{p}<\tau \leq\tau_{2}^{h_{1}}\) then any solution initiating from \(((1\theta)V_{L}, y_{0}^{+})\) with \(y_{0}^{+}>0\) will experience finite statedependent feedback control actions and enter into \(\operatorname{Int}\Omega_{h_{1}} \cup \partial\Omega_{h_{1}}\) eventually.
Proof
Note that for case (SC_{11}) we have \(V_{L}\geq x_{1}^{*}\), thus the line \(x=V_{L}\) intersects with the right branch trajectory of homoclinic cycle \(\Gamma_{h_{1}}\) at two points, as shown in Figure 14 (gray lines). The vertical coordinate of the small intersection point is \(Y_{\max}^{h_{1}}\tau_{2}^{h_{1}}\), and the rest of the proof of Theorem 9.2 is complete and is the same as was used in the proof of Theorem 9.1, so we omit the details.
□
Corollary 9.2
For case (SC_{11}), if \(0<\tau\leq\tau_{2}^{h_{1}}\) then any solution initiating from \(((1\theta)V_{L}, y_{0}^{+})\) with \(y_{0}^{+}>0\) will experience finite statedependent feedback control actions and enter into \(\operatorname{Int}\Omega_{h_{1}} \cup \partial\Omega_{h_{1}}\) eventually.
In Figure 14(A), we show that if \(\frac{A_{h}}{p}<\tau\leq \tau_{2}^{h_{1}}\), then all solutions initiating from \(((1\theta)V_{L}, y_{0}^{+})\) will be free from impulsive effects and enter into the invariant set \(\operatorname{Int}\Omega_{h_{1}} \cup\partial\Omega_{h_{1}}\) after finite statedependent feedback control actions. However, once the τ is increasing and exceeds the threshold value \(\tau_{2}^{h_{1}}\), then multiple attractors may exist (as shown in Figure 14(B)) and their regions of attraction will also be addressed later.
Similarly, for subcase (SC_{12}) we have the following main results on the finite statedependent feedback control actions.
Theorem 9.3
For case (SC_{12}), if \(\tau_{3}^{h_{1}}\leq\tau\leq\tau_{2}^{h_{1}}\) then any solution initiating from \(((1\theta)V_{L}, y_{0}^{+})\) with \(y_{0}^{+}>0\) will experience finite statedependent feedback control actions and enter into \(\operatorname{Int}\Omega_{h_{1}} \cup\partial\Omega_{h_{1}}\) eventually.
By using the same methods as those in the proof of Theorem 9.1 and Theorem 9.2 we can prove Theorem 9.3. Note that for subcase (SC_{12}) multiple attractors can exist for \(\tau<\tau_{3}^{h_{1}}\) and \(\tau>\tau_{2}^{h_{1}}\).
Nonexistence of orderk (\(k\geq3\)) limit cycles
It follows from Table 3 and the results shown in Section 9 that the dynamical behavior for case (SC_{11}) with \(\tau>\tau_{2}^{h_{1}}\), case (SC_{2}) with \(\tau\geq\tau_{M}\) and case (SC_{12}) with \(\tau<\tau_{3}^{h_{1}}\) or \(\tau>\tau_{2}^{h_{1}}\) could be complex. In order to address the possible complex dynamics in more detail, the nonexistence of orderk (\(k\geq3\)) limit cycles of model (2.2) will be investigated in this section. Thus, without loss of generality, we assume that \(y_{0}^{+}\neq y_{1}^{+}\neq y_{2}^{+}\) and the solution of system (2.2) with initial value \(((1\theta)V_{L},y_{0}^{+})\) experiences impulses k (\(k\geq3\)) times. Then there exists a positive integer n such that \(k=2n\) or \(k=2n+1\).
For convenience we denote the set \({\mathcal{K}}=\{0, 1, 2, 3, \ldots\}={\mathcal{K}}_{1}\cup{\mathcal{K}}_{2}\), where \({\mathcal{K}}_{1}=\{l_{1}, l_{2}, \ldots \}\) and \({\mathcal{K}}_{2}=\{m_{1}, m_{2}, \ldots \}\) are two real subsets of set \({\mathcal{K}}\). Further, we denote \({\mathcal{Y}}=\{y_{k}^{+} k\in{\mathcal{K}}\}\), \(\overline{{\mathcal{Y}}}=\{y_{l}^{+} y_{l}^{+}\geq b/p, l\in{\mathcal{K}}_{1}\}\) and \(\underline{{\mathcal{Y}}}=\{y_{m}^{+} y_{m}^{+}< b/p, m\in{\mathcal{K}}_{2}\}\), respectively.
Generalized results
We first prove the following generalized results before giving the main results in this section. Note that results similar to those shown in the following first two Lemmas have been proved in [1]. For completeness and independence we briefly provide details of the proofs here.
Lemma 10.1
Assume that \(\tau\geq\frac{b}{p}\). One of the following cases must hold (where, without loss of generality, we assume k is an odd number).

(a)
\(y_{1}^{+}< y_{0}^{+}< y_{2}^{+}\). Then
$$\frac{b}{p}< y_{2n+1}^{+}< y_{2n1}^{+}< \cdots < y_{3}^{+}< y_{1}^{+}< y_{0}^{+}< y_{2}^{+}< y_{4}^{+}< \cdots< y_{2n}^{+}. $$ 
(b)
\(y_{1}^{+}< y_{2}^{+}< y_{0}^{+}\). Then
$$\frac{b}{p}< y_{1}^{+}< y_{3}^{+}< \cdots < y_{2n+1}^{+}< y_{2n}^{+}< y_{2(n1)}^{+}< \cdots< y_{4}^{+}< y_{2}^{+}< y_{0}^{+}. $$ 
(c)
\(y_{2}^{+}< y_{0}^{+}< y_{1}^{+}\). Then
$$\frac{b}{p}< y_{2n}^{+}< y_{2(n1)}^{+}< \cdots < y_{4}^{+}< y_{2}^{+}< y_{0}^{+}< y_{1}^{+}< y_{3}^{+}< \cdots< y_{2n+1}^{+}. $$ 
(d)
\(y_{0}^{+}< y_{2}^{+}< y_{1}^{+}\). Then
$$\frac{b}{p}< y_{0}^{+}< y_{2}^{+}< \cdots < y_{2(n1)}^{+}< y_{2n}^{+}< y_{2n+1}^{+}< y_{2n1}^{+}< \cdots< y_{3}^{+}< y_{1}^{+}. $$
Further, if \(A_{h}\leq0\), then only cases (b) and (d) can occur.
Proof
Assume that the solution of system (2.2) with initial value \((x_{0}^{+},y_{0}^{+})\) experiences impulses k (\(k\geq3\)) times and \(k=2n+1\). Note that \(\tau\geq\frac{b}{p}\) and
It follows from the monotonicity of the Lambert W function and \(f(y)\) that we have \(y_{2}^{+}>y_{1}^{+}\) if \(\frac{b}{p}< y_{1}^{+}< y_{0}^{+}\). For the relations between \(y_{2}^{+}\) and \(y_{0}^{+}\) there are two possibilities.
If \(y_{2}^{+}>y_{0}^{+}\) then the inequalities \(y_{1}^{+}< y_{0}^{+}< y_{2}^{+}\) hold, which implies that \(\frac{b}{p}< y_{3}^{+}< y_{1}^{+}\). Again we have
it follows that we have \(\frac{b}{p}< y_{3}^{+}< y_{1}^{+}< y_{0}^{+}< y_{2}^{+}< y_{4}^{+}\). By induction, the inequalities
hold, and case (a) follows. If \(y_{2}^{+}< y_{0}^{+}\) then by the same method as above we can prove that case (b) holds.
If \(\frac{b}{p}< y_{0}^{+}< y_{1}^{+}\) then there are two cases corresponding to cases (c) and (d) which can be proved similarly. According to the proof of Theorem 6.2 we have \(1< g(y)<0\) for all \(y\in (\tau, \tau+b/p]\), which indicates that if \(A_{h}\leq0\), then only the cases (b) and (d) can occur. □
Lemma 10.2
If \(\tau\geq\frac{b}{p}\), then for model (2.2) there does not exist an orderk \((k\geq3)\) limit cycle other than the order1 and order2 limit cycles.
Proof
The existence of order1 periodic solutions and order2 limit cycles has been shown in previous sections. For the nonexistence of orderk (\(k\geq3\)) limit cycles, since \(\tau\geq\frac{b}{p}\), without loss of generality, we can assume \(\frac{b}{p}< y_{0}^{+}\) and the trajectory of system (2.2) with initial value \(((1\theta)V_{L}, y_{0}^{+})\) experiences impulses k times. Denote the coordinates of all impulsive points \(P_{i}^{+}=((1\theta)V_{L}, y_{i}^{+})\) in the phase set corresponding to \(Q_{i}=(V_{L}, y_{i+1})\) (\(i=0, 1,2, \ldots, k\)) in impulsive set, then the line segments \(\overline{Q_{i}P_{i}^{+}}\) satisfy
Assume that system (2.2) has an orderk (\(k\geq3\)) limit cycle, then we have
Lemma 10.1 states that there are only four possible sequences of \(y_{i}^{+}\) (\(i=0, 1,2,\ldots, k\)). Thus \(y_{0}^{+}=y_{k}^{+}\) cannot hold for \(k\geq3\) due to (10.4). This contradiction shows that for system (2.2) an orderk (\(k\geq3\)) limit cycle does not exist if \(\tau\geq\frac{b}{p}\). □
Lemma 10.3
If \(\tau<\frac{b}{p}\) and inequality \(y_{1}^{+}< y_{0}^{+}<\frac{b}{p}\) holds, then for model (2.2) a limit cycle with order no less than 2 does not exist.
Proof
If \(\tau<\frac{b}{p}\) and the inequalities \(y_{1}^{+}< y_{0}^{+}<\frac{b}{p}\) hold, then it follows from the monotonicity of the Lambert \(\mathrm{W}(z)\) function and f that
Taking the same notations as those in the proof of Lemma 10.2 we have the same relations as shown in (10.4). Combining with (10.5) we conclude that an orderk (\(k\geq2\)) limit cycle does not exist for model (2.2). □
Remark 10.1
(Open problem proposed in [1])
Assume \(\tau<\frac{b}{p}\), \(y_{0}^{+}< y_{1}^{+}<\frac{b}{p}\) and any trajectory from \((x_{0}^{+}, y_{0}^{+})\) experiences impulses k times (\(k\geq3\)). If \(y_{k}^{+}\leq\frac{b}{p}\), then from the monotonicity of the Lambert W function and f we have
Further, if \(k\rightarrow\infty\), then it is easy to show that there exists an unique asymptotically stable order1 limit cycle and then for model (2.2) a limit cycle with order no less than 3 does not exist. If there exists a \(j< k\) such that \(y_{j1}^{+}\leq\frac{b}{p}\) and \(y_{j}^{+}>\frac{b}{p}\), then we cannot determine whether for model (2.2) there exists a limit cycle with order no less than 2 or not in this way. This is also an open problem proposed in [1] for model (2.3), which will be solved in this paper.
Lemma 10.4
If \(\tau<\frac{b}{p}\), \(y_{k_{1}}^{+}\in(b/p, \tau+b/p]\) and \(A_{h}\geq0\), then we must have \(y_{k_{1}+1}^{+}\in(b/p, \tau+b/p]\).
Proof
Note that
and \(y_{k_{1}+1}^{+}\in(b/p, \tau+b/p]\) is equivalent to
Thus, if the following inequality:
holds for all \(y\in (b/p, \tau+b/p]\), then the inequality (10.6) follows. Equivalently, we only need to show
which has been proven in Theorem 6.2. This indicates that \(y_{k_{1}+1}^{+}>b/p\) and by induction we have \(y_{i}^{+}\in(b/p, \tau+b/p]\) for all \(i\geq k_{1}\). □
Lemma 10.5
If \(A_{h}\geq0\) then \(y^{*}>\frac{b}{p}+\frac {\tau}{2}\).
Proof
Note that \(y^{*}>\frac{b}{p}+\frac{\tau}{2}\) is equivalent to
Rearranging the above inequality yields
with \(\phi(0)=0\), \(\phi(b/p)=\frac{b}{2p}[3e]>0\) and \(\phi'(\tau)>0\). This indicates that the inequality (10.7) holds true if \(A_{h}\geq0\). □
Nonexistence of a limit cycle with order no less than 3
Now we assume that the solution of model (2.2) experiences infinite pulse effects and we have the following main results.
Theorem 10.1
For model (2.2) a limit cycle with order no less than 3 does not exist.
Proof
It follows from Theorem 5.1 and Theorem 6.3 that if \(\tau=0\) and \(A_{h}=0\), then any solution initiating from \(((1\theta)V_{L}, y_{0}^{+})\) with \(y_{0}^{+}\in Y_{D}\) (or \(Y_{D}^{h}\) or \(Y_{D}^{h_{1}}\)) and \(y_{0}^{+}< b/p\) is an order1 periodic solution; if \(A_{h}\neq0\) then the unique boundary order1 limit cycle is either stable (locally or globally) or unstable. Further, according to Lemma 10.3 and Remark 10.1 it is easy to see that if \(\tau=0\) then for model (2.2) a limit cycle with order no less than 2 does not exist.
If \(\tau>0\) then it follows from Theorem 6.2 that the unique order1 limit cycle is globally stable under condition (SC_{123}), which indicates that for model (2.2) an orderk (\(k\geq2\)) limit cycle does not exist in this case.
For case (SC_{2}), if \(0<\tau<\tau_{M}\) then any solution initiating from \(((1\theta)V_{L}, y_{0}^{+})\) with \(y_{0}^{+}>0\) will experience finite statedependent feedback control actions and enter into \(\operatorname{Int}\Omega_{h}\) eventually. If so, for model (2.2) no limit cycle or periodic solution exists for this case. In the following we prove that if \(\tau\geq\tau_{M}\), then for model (2.2) no limit cycle with order no less than 3 exists for case (SC_{2}).
In fact if \(\tau_{M}\geq b/p\) then \(y_{k}^{+}\geq Y_{\max}^{h}\geq b/p\) for \(k\in{\mathcal{K}}\) must hold, and according to Lemma 10.2 the result follows. If \(\tau_{M}< b/p\) and for any solution which experiences infinite pulse effects under case (SC_{2}), then note that \(A_{h}>0\) and we claim that it is impossible that all \(y_{k}^{+}\leq Y_{\min}^{h}< b/p\) for \(k\in{\mathcal{K}}\). Otherwise, according to \(\tau< y_{k}^{+}\leq Y_{\min}^{h}< b/p\) we conclude that
and \(y^{*}\) is a fixed point of Poincaré map \({\mathcal{P}}\), which contradicts \(y^{*}>\frac{b}{p}+\frac{\tau}{2}\) due to Lemma 10.5.
Therefore, for the series \(y_{k}^{+}\) we have either all \(y_{k}^{+}\geq b/p\) (i.e. \(y_{k}^{+}\geq Y_{\max}^{h}\)) for \(k\in{\mathcal{K}}\) or \({\mathcal{Y}}=\overline{{\mathcal{Y}}}\cup\underline{{\mathcal{Y}}}\). If the former case occurs, then we have all \(y_{k}^{+}> \frac{b}{p}\). It follows from Lemma 10.2 that model (2.2) does not have any limit cycle with order no less than 2. If the latter case occurs, then without loss of generality we assume \(y_{0}^{+}< Y_{\min}^{h}< b/p\) and claim that there must exist the smallest positive integer j such that \(y_{j}^{+}\leq Y_{\min}^{h}\) and \(y_{j+1}^{h}\geq Y_{\max}^{h}\). Otherwise, we have \(y_{k}^{+}\leq Y_{\min}^{h}< b/p\) for \(k\in{\mathcal{K}}\) and this is impossible based on discussions above. Therefore, \(y_{j+1}^{+}\geq Y_{\max}^{h}>b/p\) must hold true. Based on Lemma 10.4 we conclude the \(y_{k}^{+}\geq Y_{\max}^{h}\geq b/p\) for \(k\geq j+1\) and once again according to Lemma 10.2 for model (2.2) a limit cycle with order no less than 3 does not exist.
For case (SC_{11}), we can employ the same methods as those for case (SC_{2}) to prove that for model (2.2) a limit cycle with order no less than 3 does not exist. So we omit the details here.
For case (SC_{12}), it follows from Theorem 9.3 that if \(\tau_{3}^{h_{1}}\leq\tau\leq\tau_{2}^{h_{1}}\), then any solution initiating from \(((1\theta)V_{L}, y_{0}^{+})\) with \(y_{0}^{+}>0\) will experience finite statedependent feedback control actions and enter into \(\operatorname{Int}\Omega_{h_{1}} \cup \partial\Omega_{h_{1}}\) eventually. Thus, for model (2.2) no limit cycle or periodic solution exists if \(\tau_{3}^{h_{1}}\leq \tau\leq\tau_{2}^{h_{1}}\).
If \(0<\tau<\tau_{3}^{h_{1}}\), then it follows from Table 3 that \(A_{h}\leq0\) and the unique fixed point \(y^{*}\) exists and it is stable with \(\tau< y^{*}< Y_{\min}^{h_{1}}\). Without loss of generality we assume \(y_{0}^{+}< Y_{\min}^{h_{1}}\) because if \(y_{0}^{+}>Y_{\max}^{h_{1}}\), then \(y_{1}^{+}\) should be less than \(Y_{\min}^{h_{1}}\) due to \(\tau<\tau_{3}^{h_{1}}\), as shown in Figure 15(A). Note that \(Y_{\min}^{h_{1}}\tau_{3}^{h_{1}}=Y_{is}^{h_{1}}\) and consequently we have \(y_{k}^{+}< Y_{\min}^{h_{1}}\) for all \(k\in{\mathcal{K}}\). Moreover, there are two possibilities: (a) \(y_{0}^{+}>y^{*}\); and (b) \(y_{0}^{+}< y^{*}\). For case (a), according to the uniqueness of the \(y^{*}\) and its stability the sequence \(y_{k}^{+}\) is monotonically decreasing with \(\lim_{k\rightarrow\infty}y_{k}^{+}=y^{*}\), and for case (b) the sequence \(y_{k}^{+}\) is monotonically increasing with \(\lim_{k\rightarrow\infty}y_{k}^{+}=y^{*}\). These results indicate that model (2.2) does not have any limit cycle with order no less than 2.
If \(\tau>\tau_{2}^{h_{1}}\), then we consider the following two cases: (a) \(\tau>\tau_{2}^{h_{1}}\) and \(\tau\geq Y_{\min}^{h_{1}}\), and (b) \(\tau_{2}^{h_{1}}<\tau<Y_{\min}^{h_{1}}\). For case (a), it is easy to see that \(y_{k}^{+}\geq Y_{\max}^{h_{1}}\) for all \(k\geq1\), which, according to Lemma 10.2, indicates that model (2.2) does not have any limit cycle with order no less than 2. For case (b), taking a point \(Q_{1} (V_{L}, Y_{\min}^{h_{1}}\tau )\in{\mathcal{M}}_{2}\) related to the phase point \(P_{1} ((1\theta)V_{L}, Y_{\min}^{h_{1}} )\in{\mathcal{N}}_{2}^{h_{1}}\), and taking a point \(P_{0}((1\theta)V_{L}, y_{M}^{+})\in{\mathcal{N}}_{2}^{h_{1}}\) with \(y_{M}^{+}>Y_{\max}^{h_{1}}\) which lies in the same trajectory with \(Q_{1}\) (as shown in Figure 15(B)), i.e. we have
Solving it with respect to \(y_{M}^{+}\) yields
Now we prove \(y_{M}^{+}>Y_{is}^{h_{1}}+\tau\). It follows from \(A_{1}=A_{h_{1}}A_{h}\) and the monotonicity of the Lambert W function that \(Y_{\min}^{h_{1}}>Y_{is}^{h_{1}}\). Thus, if we can prove \(y_{M}^{+}>Y_{\min}^{h_{1}}+\tau\) then the result follows. In fact, \(y_{M}^{+}>Y_{\min}^{h_{1}}+\tau\) is equivalent to
Note that \(A_{h}\leq0\) in this case and rearranging the above inequality yields
which can easily be proved.
Therefore, the sequence \(y_{k}^{+}\) for any solution initiating from \(((1\theta)V_{L}, y_{0}^{+})\) with \(y_{0}^{+}\in[y_{m}^{+}, y_{M}^{+}]\), which experiences infinite pulse effects, satisfies \(y_{k}^{+}>Y_{\max}^{h_{1}}\) for \(k\geq1\). For the solution with \(y_{0}^{+}\notin[y_{m}^{+}, y_{M}^{+}]\), there must exist a positive integer j such that \(y_{j}^{+} \in [y_{m}^{+}, y_{M}^{+}]\) and consequently we have \(y_{k}^{+}>Y_{\max}^{h_{1}}\) for \(k\geq j+1\). According to Lemma 10.2, model (2.2) does not have any limit cycle with order no less than 3.
Thus, according to results for cases (a) and (b) that if \(\tau>\tau_{2}^{h_{1}}\) then model (2.2) does not have any orderk (\(k>2\)) limit cycle. In conclusion, we have proved that model (2.2) does not have a limit cycle with order no less than 3 for all cases, and consequently the result shown in Theorem 10.1 is true. □
Corollary 10.1
For (SC_{12}), if \(0<\tau<\tau_{3}^{h_{1}}\), then for model (2.2) there exists a unique order1 limit cycle which is globally stable with respect to the phase set \({\mathcal{N}}_{2}^{h_{1}}\).
Corollary 10.2
For model (2.3) a limit cycle with order no less than 3 does not exist.
It follows from [1] that the result shown in Corollary 10.2 for model (2.3) has also been addressed and the proof provided only for \(\tau\geq b/p\), and a conjecture for \(\tau< b/p\) has been proposed. Thus, in this paper we have solved this problem completely.
Multiple attractors and their basins of attraction, interior structure
Based on the key parameters θ, \(V_{L}\), and τ, we can investigate the dynamics of model (2.2) and model (2.3) in terms of different parameter spaces (i.e. (SC_{123}), (SC_{1}) and (SC_{2})) and the critical values of τ. So far, the dynamics for (SC_{1}) and (SC_{2}) have not been solved completely. For example: the global existence of order2 limit cycles and their stabilities have not been solved yet. Moreover, as mentioned in Section 9, for certain intervals of τ model (2.2) there exist multiple attractors including an order1 limit cycle and invariant set \(\operatorname{Int}\Omega_{h}\) or \(\operatorname{Int}\Omega_{h_{1}} \cup\partial\Omega_{h_{1}}\), and the question is how to determine the basins of attraction once multiple attractors exist in model (2.2). Note that for some special cases this question for model (2.3) has been discussed in [1]. Thus, we will focus on those points in this section, aiming to find all the types of multiple attractors for system (2.2) and their regions of attraction.
Multiple attractors and their basins of attraction for (SC_{2})
To address the existence of multiple attractors of model (2.2) for (SC_{2}), it follows from Table 3 that the parameter τ can be divided into two parts: (a) \(\tau\in I_{\tau}^{1}=(0, \tau_{M})\) and (b) \(\tau\in I_{\tau}^{2}=[\tau_{M}, \tau_{2}]\cup (\tau_{2}, +\infty)\). If \(\tau\in I_{\tau}^{1}\), then according to Theorem 9.1 and Corollary 9.1 the set \(\operatorname{Int}\Omega_{h}\) is a unique global attractor of model (2.2) under case (SC_{2}). Thus, we assume \(\tau\in I_{\tau}^{2}\) in this subsection. That is, we have \(\tau_{M}\leq\tau\) and in the following we consider two cases: (a) \(\tau_{M}\leq\tau< b/p\) and (b) \(\max\{\tau_{M}, b/p\}\leq\tau\).
Case (a): For case (a), denote the coordinate of point \(Q_{0}= (V_{L}, \frac{b}{p} )\). Since \(\tau<\frac{b}{p}\), we can cut off the segment \(\overline{Q_{0}Q_{1}}\) on \(L_{4}\) below \(Q_{0}\) equal to τ. Then there must exist a trajectory (closed or nonclosed) \(\Gamma_{Q_{1}}\) through the point \(Q_{1}= (V_{L}, \frac{p}{b}\tau )\) which intersects with the line \(L_{5}\) at two points \(P_{5}^{+}=((1\theta)V_{L}, y_{5}^{+})\) and \(P_{4}^{+}=((1\theta)V_{L}, y_{4}^{+})\), where
Substituting \(x=(1\theta)V_{L}\) into the \(\Gamma_{Q_{1}}\) shows that \(y_{4}^{+}\) and \(y_{5}^{+}\) are the two roots of the following equation:
and solving the above equation with respect to y we have
for \(\tau_{M}\leq\tau< b/p\). Note that both \(y_{4}^{+}\) and \(y_{5}^{+}\) are well defined due to \(A_{h}>0\) for (SC_{2}). For the relations among \(y_{4}^{+}\), \(y_{5}^{+}\) and τ, we have the following results.
Lemma 11.1
For (SC_{2}), if \(\tau_{M}\leq\tau< b/p\), then we have the following inequalities:
Proof
It follows from Theorem 3.1 that we have \(y_{4}^{+}\frac {b}{p}>\frac{b}{p}y_{5}^{+}\). Thus, to prove the inequalities (11.4) we only need to show \(\frac{b}{p}y_{5}^{+}>\tau\), which is equivalent to the following inequality:
According to the definition of the Lambert W function and its monotonicity, the inequality (11.5) becomes as follows:
which holds true due to \(\tau<\frac{b}{p}\) and \(A_{h}>0\). □
Denote the region \(\Omega_{Q_{1}}\) bounded by the trajectory \(\Gamma_{Q_{1}}\), two line segments \(\overline{P_{1}^{+}P_{4}^{+}}\) and \(\overline{Q_{0}Q_{1}}\) and a piece of closed trajectory \(\Gamma_{h}\), i.e. arc \(\widehat{Q_{0}P_{1}^{+}}\). Then we have the following results.
Theorem 11.1
For (SC_{2}), if \(\tau_{M}\leq\tau< b/p\), then the set \(\Omega_{Q_{1}}\) is an attractor whose region of attraction is the basic phase set \({\mathcal{N}}\), as shown in Figure 16. Moreover, the unique order1 limit cycle \(O_{1}\subset\Omega_{Q_{1}}\) if \(\tau_{M}< \tau<b/p\). In particular, if \(\tau=\tau_{M}\), then the arc \(\widehat{Q_{0}P_{1}^{+}}\) becomes an order1 periodic solution.
Proof
It follows from Lemma 11.1 that for (SC_{2}) and all \(\tau_{M}\leq\tau< b/p\) the three line segments \(\overline{Q_{0}Q_{1}}\), \(\overline{P_{0}^{+}P_{4}^{+}}\) and \(\overline{P_{0}^{+}P_{5}^{+}}\) satisfy the following relations:
where \(\cdot\) denotes the length of line segment. This indicates that the point \(P_{3}^{+}\) must lie below the point \(P_{4}^{+}\), and consequently the region \(\Omega_{Q_{1}}\) is an invariant set of model (2.2). By using methods similar to those used in Theorem 9.1 we can show that any trajectory initiating from the basic phase set \({\mathcal{N}}\) and out of the line segment \(\overline{P_{5}^{+}P_{4}^{+}}\) will enter into the region \(\Omega_{Q_{1}}\) after finite impulsive effects. Moreover, the unique fixed point \(y^{*}\) of the Poincaré map \({\mathcal{P}}\) is well defined with \(y^{*}\in[Y_{\max}^{h}, \tau+\frac{b}{p})\) in this case, as shown in Table 3. Thus, all results in Theorem 11.1 are true. □
Remark 11.1
In Theorem 6.1 of [1], only the special case (i.e. \((1\theta)V_{L}=x_{2}^{*}\)) for model (2.3) has been proven. However, in Theorem 11.1 we have proved that the results for model (2.2) hold true for all \((1\theta)V_{L}>x_{4}^{*}\) and of course hold true for model (2.3) under case (SC_{2}) and \(\tau_{M}\leq\tau< b/p\).
It follows from Figure 16 that a smaller attractor of model (2.2) under conditions of Theorem 11.1 may exist. Thus, we aim to find the smaller attractor in the following and its regions of attraction. Note that the coordinate of point \(P_{3}^{+}=((1\theta)V_{L}, b/p+\tau)\), and there exists a trajectory \(\Gamma_{P_{3}^{+}}\) through the point \(P_{3}^{+}\) which will intersect with the impulsive set at point \(Q_{3}\) and \(Q_{3}=(V_{L}, y_{3})\), where
and \(y_{3}\) is the smaller root of the following equation:
Solving the above equation with respect to y yields
It is interesting to note that if there exists a \(\tau\in(\tau_{M}, b/p)\) such that the equation
holds, then for model (2.2) an order2 limit cycle exists. Thus, we first address this.
Note that if we consider the \(y_{3}\) as a function of τ, then we have
which indicates that \(y_{3}+\tau=Y_{\max}^{h}\) at \(\tau=\tau_{M}\). Thus, if there exists a \(\tau\in(\tau_{M}, b/p)\) such that the above equation holds, then model (2.2) has an order2 limit cycle. Taking the derivative of \(y_{3}\) with respect to τ we can see that \(y_{3}\) is monotonically decreasing for \(\tau\in[\tau_{M}, b/p)\), where
Moreover, it is easy to see that \(\frac{dy_{3}}{d\tau}<1\) at \(\tau=\tau_{M}\). These results show that for (11.9) there exists a positive root in the interval \(\tau\in(\tau_{M}, b/p)\) provided \(y_{3}(b/p)> Y_{\max}^{h}\frac{b}{p}=\tau_{M}\), denoted by \(\tau_{2}^{*}\). Thus, we have the following result on the existence of an order2 limit cycle.
Lemma 11.2
For (SC_{2}), if \(\tau\in[\tau_{M}, b/p)\), then there exists a \(\tau_{2}^{*}\in(\tau_{M}, b/p)\) such that model (2.2) has an order2 limit cycle provided \(y_{3}(b/p)> Y_{\max}^{h}\frac{b}{p}=\tau_{M}\).
By using methods similar to those used in Theorem 11.1, we have the following results.
Theorem 11.2
For (SC_{2}), if \(\tau_{2}^{*}\) exists and \(\tau =\tau_{2}^{*}\), then the set \(\Omega_{O_{2}}\) bounded by the order2 limit cycle and two line segments \(\overline{P_{1}^{+}P_{3}^{+}}\) and \(\overline{Q_{0}Q_{3}}\) and the set \(\Omega_{Q_{0}}\) which is the interior of the closed curve \(\Gamma_{h}\) are two invariant sets. Moreover, the set \(\Omega_{O_{2}}\cup \Omega_{Q_{0}}\) is an attractor whose region of attraction is basic phase set \({\mathcal{N}}\), as shown in Figure 17.
Therefore, to address the existence of the attractor for cases (SC_{2}) with \(\tau\in[\tau_{M}, b/p)\) (i.e. case (a)) completely, we need to discuss the following three subcases: (a_{1}) \(y_{3}(b/p)> Y_{\max}^{h}\frac{b}{p}=\tau_{M}\) and \(\tau\in[\tau_{M}, \tau_{2}^{*})\); (a_{2}) \(y_{3}(b/p)> Y_{\max}^{h}\frac{b}{p}=\tau_{M}\) and \(\tau\in [\tau_{2}^{*}, b/p)\); (a_{3}) \(y_{3}(b/p)< Y_{\max}^{h}\frac{b}{p}=\tau_{M}\). By using the same methods as those in Theorem 11.1 the three subcases can be studied and the attractors and their regions of attraction can be obtained similarly, so we omit them here.
Case (b): \(\max\{\tau_{M}, b/p\}\leq\tau\).
To discuss the existence of the attractors and their regions of attraction, we consider the following two subcases: (b_{1}) \(\max\{\tau_{M}, b/p, Y_{\max}^{h}\}\leq\tau\); (b_{2}) \(\max\{\tau_{M}, b/p\}\leq\tau< Y_{\max}^{h}\).
For both subcases (b_{1}) and (b_{2}), we can take a point \(P_{3}^{+}\) in the line \(L_{5}\) (i.e. \(x=(1\theta)V_{L}\)) with \(P_{0}^{+}P_{3}^{+}=\tau\), and \(P_{3}^{+}\) must lie above the point \(P_{1}^{+}\) due to \(\max\{\tau_{M}, b/p\}\leq\tau\), as shown in Figure 18(A). Consider a trajectory through the point \(P_{3}^{+}\). As t increases, the trajectory \(\Gamma_{P_{3}^{+}}\) will intersect with the line \(L_{4}\) (i.e. \(x=V_{L}\)) at point \(Q_{1}=(V_{L}, y_{1})\), and the analytical formula for \(y_{1}\) can easily be obtained according to the first integral and the Lambert W function. So for simplicity we do not provide the analytical formula for the coordinates of all points used here.
Therefore, for subcase (b_{1}), we can measure off \(PP_{2}^{+}\) on \(L_{5}\) equal to τ. There exists a trajectory through \(P_{2}^{+}=((1\theta)V_{L}, \tau)\) that intersects with the line \(L_{4}\) at point \(Q_{2}=(V_{L},y_{2})\).
Since \(Q_{3}\in{\mathcal{M}}\), then \(I(Q_{3})=P_{3}^{+}= ((1\theta)V_{L}, \frac{b}{p}+\tau) \in{\mathcal{N}}_{2}^{h}\). Connect Q and \(P_{2}^{+}\), \(Q_{3}\) and \(P_{3}^{+}\), draw the lines \(\overline{Q_{1}P_{4}^{+}}\) and \(\overline{Q_{2}P_{5}^{+}}\) such that
Then we have
Denote the horseshoelike set \(\Omega_{b_{1}}\) bounded by the two pieces of trajectories, i.e. arc \(\widehat{P_{3}^{+}Q_{1}}\) and arc \(\widehat{P_{2}^{+}Q_{2}}\), and two line segments \(\overline{P_{2}^{+}P_{3}^{+}}\) and \(\overline{Q_{1}Q_{2}}\), then \(\Omega_{b_{1}}\) is a positive invariant set, as shown in Figure 18(A).
Note that any trajectory initiating from \({\mathcal{N}}_{2}^{h}\) either stays in the positive invariant \(\Omega_{b_{1}}\) or jumps into it after a single impulsive effect. This implies that the horseshoelike positive invariant set \(\Omega_{b_{1}}\) is an attractor whose region of attraction is \({\mathcal{N}}_{2}^{h}\), as shown in Figure 18(A). Therefore, we have the following results for subcase (b_{1}).
Theorem 11.3
For (SC_{2}), if \(\max\{\tau_{M}, b/p, Y_{\max }^{h}\}\leq\tau\), then the horseshoelike positive invariant set \(\Omega_{b_{1}}\) is an attractor whose region of attraction is the set \({\mathcal{N}}_{2}^{h}\).
The interesting question arising here is what the interior structure of the horseshoelike positive invariant set \(\Omega_{b_{1}}\) is, and we have the following main results.
Theorem 11.4
For (SC_{2}), assume that \(\max\{\tau_{M}, b/p, Y_{\max}^{h}\}\leq \tau\). Let \(\Pi_{z_{0}^{+}}(t)\) be a trajectory of model (2.2) from the initial point \(z_{0}^{+}=(x_{0}^{+}, y_{0}^{+})\in \overline{P_{2}^{+}P_{3}^{+}}\subset{\mathcal{N}}_{2}^{h}\). Then one of the following cases holds:

(i)
\(\Pi_{z_{0}^{+}}\) is an order1 limit cycle;

(ii)
\(\Pi_{z_{0}^{+}}\) is an order2 limit cycle;

(iii)
\(\lim_{t\rightarrow \infty}\rho(\Pi_{z_{0}^{+}}(t)O_{1})=0\);

(iv)
\(\lim_{t\rightarrow \infty}\rho(\Pi_{z_{0}^{+}}(t)O_{2})=0\),
where \(O_{i}\) (\(i=1,2\)) denote the orderi limit cycles contained in the interior of horseshoelike attractor \(\Omega_{b_{1}}\).
Proof
It follows from Theorem 11.3 that the set \(\Omega _{b_{1}}\) is a positive invariant set. Moreover, the point \(((1\theta)V_{L}, y^{*})\) must lie in the line segment \(\overline{P_{2}^{+}P_{3}^{+}}\), and consequently the fixed point \(y^{*}\) of the Poincaré map \({\mathcal{P}}\) satisfies \(y_{2}^{+}< y^{*}< y_{3}^{+}\), where \(y_{2}^{+}\) and \(y_{3}^{+}\) are the vertical coordinates of two points \(P_{2}^{+}\) and \(P_{3}^{+}\). In fact, based on the Poincaré map \({\mathcal{P}}(y_{k}^{+})\) we can define the following successor function:
and it is easy to see that
where \(y_{4}^{+}\) and \(y_{5}^{+}\) are the vertical coordinates of two points \(P_{4}^{+}\) and \(P_{5}^{+}\). This implies that there exists a point \(P^{*}=((1\theta)V_{L}, y^{**})\) lying between \(P_{2}^{+}\) and \(P_{3}^{+}\) such that \(d(y^{**})=0\) according to the continuity of the function \(d(s)\) on the set \({\mathcal{N}}_{2}^{h}\). Thus, \(y^{**}\) is a fixed point of the Poincaré map \({\mathcal{P}}\), and consequently we have \(y^{*}=y^{**}\) due to the uniqueness of the fixed point. Therefore, the following inequalities:
hold true.
Further, any solution initiating from the line segment \(\overline{P_{4}^{+}P_{5}^{+}}\) will reach the line segment \(\overline{Q_{1}Q_{2}}\), and then their phase points must lie in the interior of the line segment \(\overline{P_{4}^{+}P_{5}^{+}}\). This means that the line segment \(\overline{P_{4}^{+}P_{5}^{+}}\) is an attractor of the phase set \({\mathcal{N}}_{2}^{h}\) for case (b_{1}). Similarly, the vertical coordinates of the successor points \(P_{6}^{+}\) and \(P_{7}^{+}\) for two points \(P_{4}^{+}\) and \(P_{5}^{+}\) satisfy
By induction, we have
The inequalities (11.14) indicate that there exist two constants \(y_{1}^{*}\), \(y_{2}^{*}\) such that
Therefore, according to the uniqueness of \(y^{*}\) we have either \(y_{1}^{*}=y^{*}=y_{2}^{*}\) or \(y_{1}^{*}>y^{*}>y_{2}^{*}\). If the former case occurs, then the trajectory \(\Pi_{z_{0}^{+}}(t)\) tends to the order1 limit cycle; if the later case occurs, then the trajectory \(\Pi_{z_{0}^{+}}(t)\) tends to an order2 limit cycle. □
It follows from the relations discussed in Section 5.1 and the necessary conditions of the existence of an order2 limit cycle discussed in Section 8.2 that we have the following results.
Corollary 11.1
For (SC_{2}), if \(\max\{\tau_{M}, b/p, Y_{\max}^{h}\}\leq \tau\leq\tau_{2}\), then the unique order2 limit cycle of model (2.2) is globally stable with respect to the phase set \({\mathcal{N}}_{2}^{h}\).
Proof
It follows from Figure 6 and the relations discussed in Section 5.1 that if the conditions of Corollary 11.1 hold, then for (SC_{2}) the order1 limit cycle is unstable. Thus, if the order2 limit cycle is unique, then it follows from the proof of Theorem 11.4 that the results of Corollary 11.1 are true. □
Corollary 11.2
For (SC_{2}), if \(\max\{\tau_{M}, b/p, Y_{\max}^{h}\}\leq \tau\) and model (2.2) does not have any order2 periodic solution (i.e. \(y_{1}^{*}=y_{2}^{*}\)), then the order1 limit cycle is globally stable with respect to the phase set \({\mathcal{N}}_{2}^{h}\).
For subcase (b_{2}), as shown in Figure 18(B)(D), connect \(Q_{3}\) and \(P_{3}^{+}=((1\theta)V_{L}, \frac{b}{p}+\tau)\), draw the line \(\overline{P_{1}^{+}Q_{2}}\) such that \(\overline{Q_{3}P_{3}^{+}}\parallel \overline{Q_{2}P_{1}^{+}}\). Then we have the following three possibilities:
(b_{21}): \(Q_{1}\) lies above \(Q_{2}\), as shown in Figure 18(B), where \(Q_{1}=(V_{L},y_{1})\) and \(Q_{2}=(V_{L}, Y_{\max}^{h}\tau)\). Draw the line \(\overline{Q_{1}P_{2}^{+}}\) such that
Then there exists a trajectory \(\Gamma_{Q_{2}}\) through \(Q_{2}\) which intersects the vertical line \(L_{5}\) at \(P_{4}^{+}\) above \(P_{3}^{+}\), and we have
Denote the horseshoelike set \(\Omega_{b_{21}}\) bounded by the two sections of trajectories, i.e. arc \(\widehat{P_{3}^{+}Q_{1}}\) and arc \(\widehat{P_{1}^{+}Q_{3}}\), and two line segments \(\overline{P_{1}^{+}P_{3}^{+}}\) and \(\overline{Q_{1}Q_{3}}\), then \(\Omega_{b_{21}}\) is a positive invariant set, as shown in Figure 18(B).
Note that any trajectory \(\Pi_{z_{0}^{+}}(t)\) with \(z_{0}^{+}\) lying in the line segment \(\overline{P_{3}^{+}P_{4}^{+}}\) will jump into the horseshoelike positive invariant set \(\Omega_{b_{21}}\) after one impulsive effect, and any trajectory \(\Pi_{z_{0}^{+}}(t)\) with initial point above the point \(P_{4}^{+}\) will jump into the interior of closed curve \(\Gamma_{h}\) after one impulsive effect and then be free from impulsive effects.
(b_{22}): \(Q_{1}\) coincides with \(Q_{2}\), as shown in Figure 18(C). By the same method as subcase (b_{21}) we can show that the horseshoelike set \(\Omega_{b_{22}}\) is a positive invariant set whose boundary is an order2 limit cycle or periodic solution. Moreover, no other trajectory enters into the interior of this invariant set from outside.
(b_{23}): \(Q_{1}\) lies below \(Q_{2}\), as shown in Figure 18(D). For this case, we cannot separate the attractors into two subsets as those shown in subcases (b_{21}) and (b_{22}).
The interior structures of the positive invariant sets \(\Omega_{b_{21}}\) and \(\Omega_{b_{22}}\) can be addressed and the results are the same as those shown in Theorem 11.4 can be obtained similarly. For more detailed analyses, please see reference [1].
Multiple attractors and their basins of attraction for (SC_{11}) and (SC_{12})
Based on the previous investigations, for the existence of multiple attractors of both (SC_{11}) and (SC_{12}) we only need to study cases when \(\tau>\tau_{2}^{h_{1}}\), and then two subcases should be considered, i.e. \(\tau_{2}^{h_{1}}<\tau\leq b/p\) and \(\max \{\tau_{2}^{h_{1}}, b/p \}<\tau\). Moreover, the latter case \(\max \{\tau_{2}^{h_{1}}, b/p \}<\tau\) can be separated into two subcases: (c_{1}) \(\max \{\tau_{2}^{h_{1}}, b/p, Y_{\max}^{h_{1}} \}<\tau\); (c_{2}) \(\max \{\tau_{2}^{h_{1}}, b/p \}< \tau<Y_{\max}^{h_{1}}\). These can be investigated by using the same methods as those in Section 12, and similar results could be obtained, so we omit them here.
Discussion
In order to describe the human actions for real word applications such as pest or virus control and disease treatment, impulsive semidynamic systems can be used, which can provide a natural description for threshold control strategies. It is quite challenging to apply the qualitative theorems of impulsive semidynamic systems to investigate real life problems completely, although some special cases of model (2.2) (say \(\omega=0\) and \(q=0\)) have been investigated [1, 4, 58]. In particular, the existence of an order1 limit cycle and its local stability, and the nonexistence of limit cycles with order no less than 3 have been studied. Moreover, the methods developed in [1, 4] have been used to investigate different models arising from several application domains including chemostat cultures [6, 43, 66], epidemiology [19, 30], and IPM strategies [72, 73]. But only very special cases such as any solution that experiences an infinite number of pulse actions have been addressed. That is, few modeling studies have been completed for all possible dynamics of models with statedependent feedback control due to the complexity [1].
Therefore, a commonly used mathematical model with statedependent feedback control has been proposed and analyzed here by employing the definition and properties of impulsive semidynamical systems. The main purpose was to develop novel analytical techniques and to provide comprehensive qualitative analyses for all possible dynamics on the whole parameter space, of particular interest being the effects of the key parameters related to integrated control tactics on the dynamic behavior.
To achieve our aims, we employed the definition of the Lambert W function and its properties and the first integral of ODE model (3.1). The exact analytical formula of the Poincaré map determined by the impulsive point series in the phase set and its domain for each case has been provided. The key points are: (i) The impulsive set and phase set have been analyzed and determined firstly on different parameter spaces, please see Table 1 for details; (ii) The effects of key parameters θ, τ and \(V_{L}\) on the signs of \(A_{h}\) and \(A_{h_{1}}\), and consequently on the domains of the Poincaré map have been completely addressed, as shown in Table 2; (iii) The different parameter spaces for the existence, uniqueness and local stability of the order1 limit cycle have been provided completely, as shown in Table 3. We realize that the above three points are the basis for solving all of the dynamic behavior of model (2.2).
Based on different parameter spaces defined in Table 3, the proof of the global stability of the order1 limit cycle with respect to the basic phase set is possible, and our results show that the local stability of an order1 limit cycle indicates the global stability for case (SC_{123}). In particular, the sufficient conditions for the global stability of the boundary order1 limit cycle have been obtained for the first time, which can be used to compare the efficiency of a single control tactic alone with the efficiency of more than one integrated control measure. Further, the existence of an order2 limit cycle can be determined by the flip bifurcation. Although it is hard to find generalized conditions for the existence of an order2 limit cycle, the necessary conditions for the existence of an order2 limit cycle have been investigated in more detail, which can be used to address the nonexistence of an order2 limit cycle. Moreover, the sufficient conditions for any trajectory initiating from the phase set which will be free from impulsive effects after finite statedependent feedback control actions were studied, and the results show that the orderk (\(k\geq3\)) limit cycle does not exist and so one open problem in reference [1] has been solved here. Finally, multiple attractors and their basins of attraction and the interior structure of horseshoelike attractors have been investigated.
Compared with the previous studies mentioned in the introduction, we can see that the innovative analytical techniques developed in this paper are as follows: (i) Exact domains for impulsive and phase sets; (ii) The definition of the Poincaré map in the phase set; (iii) Methods for proving the global stability of the order1 limit cycle including the boundary order1 limit cycle; (iv) The necessary condition for the existence of an order2 limit cycle; (v) Finite statedependent feedback control actions for all cases have been addressed; (vi) The nonexistence of limit cycles with order no less than 3 has been shown. We believe that these methods could easily be employed to study more generalized models with statedependent feedback control.
The models with statedependent feedback control cannot only provide natural descriptions of real life problems, but can also result in the rich dynamics of models. Our results have provided some fundamental theoretical conclusions that could be of applied importance to real life problems. For instance, under some conditions any solution of our main model (2.2) will jump into a positive invariant set and then stabilize with an order 1 or order 2 limit cycle or become free from impulsive effects. At this stage, the system becomes inert with respect to further impulsive effects and so, in theory, the control purposes can be successfully achieved by a sequence of one, two or a few impulsive actions or, alternatively, by periodic interventions. Note that the analytical formula for the period can be calculated based on the initial values by employing the same methods as those used in [2].
Although it is reasonable to assume that the carrying capacity of the pest population could be infinity due to the threshold level considered in the model being quite small compared with the carrying capacity, the disadvantages of this work are: (i) the Lambert W function and its properties are needed for defining the Poincaré map; and (ii) the first integral of the ODE model plays a key role in most of the results. Therefore, if the carrying capacity is a constant rather than +∞, then the first integral of the generalized model does not exist any more, and consequently the Lambert W function cannot be used. Thus, the question is how to extend all analytical techniques developed in this paper to investigate more generalized models with statedependent feedback control. For our near future work, we will focus on model (2.2) with a constant carrying capacity and different releasing strategies and other models arising from different application fields.
References
Tang, SY, Cheke, RA: Statedependent impulsive models of integrated pest management (IPM) strategies and their dynamic consequences. J. Math. Biol. 50, 257292 (2005)
Tang, SY, Chen, LS: Modelling and analysis of integrated pest management strategy. Discrete Contin. Dyn. Syst., Ser. B 4, 759768 (2004)
Tang, SY, Xiao, YN, Cheke, RA: Multiple attractors of hostparasitoid models with integrated pest management strategies: eradication, persistence and outbreak. Theor. Popul. Biol. 73, 181197 (2008)
Tang, SY, Xiao, YN, Chen, LS, Cheke, RA: Integrated pest management models and their dynamical behaviour. Bull. Math. Biol. 67, 115135 (2005)
Liang, JH, Tang, SY, Nieto, JJ, Cheke, RA: Analytical methods for detecting pesticide switches with evolution of pesticide resistance. Math. Biosci. 245, 249257 (2013)
Nie, LF, Teng, ZD, Hu, L: The dynamics of a chemostat model with state dependent impulsive effects. Int. J. Bifurc. Chaos 21, 13111322 (2011)
Tang, SY, Cheke, RA: Models for integrated pest control and their biological implications. Math. Biosci. 215, 115125 (2008)
Tang, SY, Liang, JH, Tan, YS, Cheke, RA: Threshold conditions for interated pest management models with pesticides that have residual effects. J. Math. Biol. 66, 135 (2013)
Tang, SY, Tang, GY, Cheke, RA: Optimum timing for integrated pest management: modelling rates of pesticide application and natural enemy releases. J. Theor. Biol. 264, 623638 (2010)
Wei, CJ, Zhang, SW, Chen, LS: Impulsive state feedback control of cheese whey fermentation for singlecell protein production. J. Appl. Math. 2013, Article ID 354095 (2013)
Lou, J, Lou, YJ, Wu, JH: Threshold virus dynamics with impulsive antiretroviral drug effects. J. Math. Biol. 65, 623652 (2012)
Maggioloa, F, Airoldia, M, Callegaro, A, et al.: CD4 cellguided scheduled treatment interruptions in HIVinfected patients with sustained immunologic response to HAART. AIDS 23, 799807 (2009)
Miron, RE, Smith, RJ: Modelling imperfect adherence to HIV induction therapy. BMC Infect. Dis. 10, 6 (2010)
Smith RJ: Adherence to antiretroviral HIV drugs: how many doses can you miss before resistance emerges? Proc. R. Soc. Lond. B, Biol. Sci. 273, 617624 (2006)
Smith RJ, Schwartz, EJ: Predicting the potential impact of a cytotoxic Tlymphocyte HIV vaccine: how often should you vaccinate and how strong should the vaccine be? Math. Biosci. 212, 180187 (2008)
Smith RJ, Wahl, LM: Distinct effects of protease and reverse transcriptase inhibition in an immunological model of HIV1 infection with impulsive drug effects. Bull. Math. Biol. 66, 12591283 (2004)
Yang, YP, Xiao, YN: Threshold dynamics for compartmental epidemic models with impulses. Nonlinear Anal., Real World Appl. 13, 224234 (2012)
Cappuccio, A, Castiglione, F, Piccoli, B: Determination of the optimal therapeutic protocols in cancer immunotherapy. Math. Biosci. 209, 113 (2007)
Huang, MZ, Li, JX, Song, XY, Guo, HJ: Modeling impulsive injections of insulin: towards artificial pancreas. SIAM J. Appl. Math. 72, 15241548 (2012)
Panetta, JC, Adam, J: A mathematical model of cyclespecific chemotherapy. Math. Comput. Model. 22, 6782 (1995)
Tang, SY, Xiao, YN: Onecompartment model with MichaelisMenten elimination kinetics and therapeutic window: an analytical approach. J. Pharmacokinet. Biopharm. 34, 807827 (2007)
Tolic, IM, Mosekilde, E, Sturis, J: Modeling the insulinglucose feedback system: the significance of pulsatile insulin secretion. J. Theor. Biol. 207, 361375 (2000)
Agur, Z, Cojocaru, L, Mazor, G, Anderson, RM, Danon, YL: Pulse mass measles vaccination across age cohorts. Proc. Natl. Acad. Sci. USA 90, 1169811702 (1993)
Choisy, M, Guégan, JF, Rohani, P: Dynamics of infectious diseases and pulse vaccination: teasing apart the embedded resonance effects. Physica D 223, 2635 (2006)
d’Onofrio, A: Stability properties of pulse vaccination strategy in SEIR epidemic model. Math. Biosci. 179, 5772 (2002)
Lu, ZH, Chi, XB, Chen, LS: The effect of constant and pulse vaccination on SIR epidemic model with horizontal and vertical transmission. Math. Comput. Model. 36, 10391057 (2002)
Fishman, S, Marcus, R: A model for spread of plant disease with periodic removals. J. Math. Biol. 21, 149158 (1984)
Shulgin, B, Stone, L, Agur, Z: Pulse vaccination strategy in the SIR epidemic model. Bull. Math. Biol. 60, 11231148 (1998)
Stone, L, Shulgin, B, Agur, Z: Theoretical examination of the pulse vaccination policy in the SIR epidemic model. Math. Comput. Model. 31, 207215 (2000)
Tang, SY, Xiao, YN, Cheke, RA: Dynamical analysis of plant disease models with cultural control strategies and economic thresholds. Math. Comput. Simul. 80, 894921 (2010)
Tang, SY, Xiao, YN, Clancy, D: New modelling approach concerning integrated disease control and costeffectivity. Nonlinear Anal., Theory Methods Appl. 63, 439471 (2005)
Terry, AJ: Pulse vaccination strategies in a metapopulation SIR model. Math. Biosci. Eng. 7, 455477 (2010)
Chacron, MJ, Pakdaman, K, Longtin, A: Interspike interval correlations, memory, adaptation, and refractoriness in a leaky integrate and fire model with threshold fatigue. Neural Comput. 15, 253278 (2003)
Ermentrout, GB, Kopell, N: Multiple pulse interactions and averaging in systems of coupled neural oscillators. J. Math. Biol. 29, 195217 (1991)
FitzHugh, R: Impulses and physiological states in theoretical models of nerve membrane. Biophys. J. 1, 445466 (1961)
Goel, P, Ermentrout, B: Synchrony, stability, and firing patterns in pulsecoupled oscillators. Physica D 163, 191216 (2002)
Hindmarsh, JL, Rose, RM: A model of the nerve impulse using two firstorder differential equations. Nature 296, 162164 (1982)
Izhikevich, EM: Class 1 neural excitability, conventional synapses, weakly connected networks, and mathematical foundations of pulsecoupled models. IEEE Trans. Neural Netw. 10, 499507 (1999)
Mirollo, RE, Strogatz, SH: Synchronization of pulsecoupled biological oscillators. SIAM J. Appl. Math. 50, 16451662 (1990)
Nagumo, J, Arimoto, S, Yoshizawa, S: An active pulse transmission line simulating nerve axon. Proc. IRE 50, 20612070 (1962)
d’Onofrio, A: On pulse vaccination strategy in the SIR epidemic model with vertical transmission. Appl. Math. Lett. 18, 729732 (2005)
Gao, SJ, Chen, LS, Teng, ZD: Impulsive vaccination of an SEIRS model with time delay and varying total population size. Bull. Math. Biol. 69, 731745 (2007)
Sun, KB, Tian, Y, Chen, LS, Kasperski, A: Nonlinear modelling of a synchronized chemostat with impulsive state feedback control. Math. Comput. Model. 52, 227240 (2010)
Van Lenteren, JC: Integrated pest management in protected crops. In: Integrated Pest Management. Chapman & Hall, London (1995)
Van Lenteren, JC, Woets, J: Biological and integrated pest control in greenhouses. Annu. Rev. Entomol. 33, 239250 (1988)
Jarad, F, Abdeljawad, T, Baleanu, D: Higher order fractional variational optimal control problems with delayed arguments. Appl. Math. Comput. 218, 92349240 (2012)
Mobayen, S: Robust tracking controller for multivariable delayed systems with input saturation via composite nonlinear feedback. Nonlinear Dyn. 76, 827838 (2014)
Mobayen, S: An LMIbased robust tracker for uncertain linear systems with multiple timevarying delays using optimal composite nonlinear feedback technique. Nonlinear Dyn. 80, 917927 (2015)
Doha, EH, Bhrawy, AH, Baleanu, D, et al.: An efficient numerical scheme based on the shifted orthonormal Jacobi polynomials for solving fractional optimal control problems. Adv. Differ. Equ. 2015, Article ID 15 (2015). doi:10.1186/s136620140344z
Bainov, DD, Simeonov, PS: Systems with Impulsive Effect: Stability, Theory and Applications. Wiley, New York (1989)
Benchohra, M, Henderson, J, Ntouyas, S: Impulsive Differential Equations and Inclusions. Hindawi Publishing Corporation, New York (2006)
Kaul, SK: On impulsive semidynamical systems. J. Math. Anal. Appl. 150, 120128 (1990)
Kaul, SK: On impulsive semidynamical systems III: Lyapunov stability. In: Recent Trends in Differential Equations. World Scientific Series in Applicable Analysis, vol. 1, pp. 335345. World Scientific, River Edge (1992)
Kaul, SK: Stability and asymptotic stability in impulsive semidynamical systems. J. Appl. Math. Stoch. Anal. 7, 509523 (1994)
Lakshmikantham, V, Bainov, DD, Simeonov, PS: Theory of Impulsive Differential Equations. Series in Modern Mathematics. World Scientific, Singapore (1989)
Melin, J: Does distribution theory contain means for extending PoincaréBendixson theory. J. Math. Anal. Appl. 303, 8189 (2004)
Qi, JG, Fu, XL: Existence of limit cycles of impulsive differential equations with impulses as variable times. Nonlinear Anal., Theory Methods Appl. 44, 345353 (2011)
Zeng, GZ, Chen, LS, Sun, LH: Existence of periodic solution of order one of planar impulsive autonomous system. J. Comput. Appl. Math. 186, 466481 (2006)
Bonotto, EM: Flows of characteristic 0^{+} in impulsive semidynamical systems. J. Math. Anal. Appl. 332, 8196 (2007)
Bonotto, EM, Federson, M: Limit sets and the PoincaréBendixson theorem in impulsive semidynamical systems. J. Differ. Equ. 244, 23342349 (2008)
Bonotto, EM, Federson, M: Topological conjugation and asymptotic stability in impulsive semidynamical systems. J. Math. Anal. Appl. 326, 869881 (2007)
Bonotto, EM, Grulha, NG Jr: Lyapunov stability of closed sets in impulsive semidynamical systems. Electron. J. Differ. Equ. 2010, 78 (2010)
Chellaboina, VS, Bhat, SP, Haddad, WM: An invariance principle for nonlinear hybrid and impulsive dynamical systems. Nonlinear Anal., Theory Methods Appl. 53, 527550 (2003)
Matveev, AS, Savkin, AV: Qualitative Theory of Hybrid Dynamical Systems. Birkhäuser, Cambridge (2000)
Bonotto, EM: LaSalle’s theorems in impulsive semidynamical systems. Nonlinear Anal., Theory Methods Appl. 71, 22912297 (2009)
Tian, Y, Sun, KB, Kasperski, A, Chen, LS: Nonlinear modelling and qualitative analysis of a real chemostat with pulse feeding. Discrete Dyn. Nat. Soc. 2010, Article ID 640594 (2010)
Meng, XZ, Li, ZQ: The dynamics of plant disease models with continuous and impulsive cultural control strategies. J. Theor. Biol. 266, 2940 (2010)
Chen, LS: Pest control and geometric theory of semidynamical systems. J. Beihua Univ. Nat. Sci. 12, 19 (2011)
Jiang, GR, Lu, QS, Qian, LN: Complex dynamics of a Holling type II preypredator system with state feedback control. Chaos Solitons Fractals 31, 448461 (2007)
Li, YF, Xie, DL, Cui, A: Complex dynamics of a predatorprey model with impulsive state feedback control. Appl. Math. Comput. 230, 395405 (2014)
Nie, LF, Peng, JG, Teng, ZD, Hu, L: Existence and stability of periodic solution of a LotkaVolterra predatorprey model with statedependent impulsive effects. J. Comput. Appl. Math. 224, 544555 (2009)
Tian, Y, Sun, KB, Chen, LS: Modelling and qualitative analysis of a predatorprey system with statedependent impulsive effects. Math. Comput. Simul. 82, 318331 (2011)
Wei, CJ, Chen, LS: Periodic solution of preypredator model with BeddingtonDeAngelis functional response and impulsive state feedback control. J. Appl. Math. 2012, Article ID 607105 (2012)
Pedigo, LP, Higley, LG: A new perspective of the economic injury level concept and environmental quality. Am. Entomol. 38, 1220 (1992)
BunimovichMendrazitsky, S, Byrne, H, Stone, L: Mathematical model of pulsed immunotherapy for superficial bladder cancer. Bull. Math. Biol. 70, 20552076 (2008)
BunimovichMendrazitsky, S, Claude Gluckman, J, Chaskalovic, J: A mathematical model of combined bacillus CalmetteGuerin (BCG) and interleukin (IL)2 immunotherapy of superficial bladder cancer. J. Theor. Biol. 277, 2740 (2011)
Panetta, JC: A mathematical model of periodically pulsed chemotherapy: tumor recurrence and metastasis in a competitive environment. Bull. Math. Biol. 58, 425447 (1996)
Wei, HC: A numerical study of a mathematical model of pulsed immunotherapy for superficial bladder cancer. Jpn. J. Ind. Appl. Math. 30, 441452 (2013)
Wei, HC, Hwang, SF, Lin, JT, Chen, TJ: The role of initial tumor biomass size in a mathematical model of periodically pulsed chemotherapy. Comput. Math. Appl. 61, 31173127 (2011)
Wei, HC, Lin, JT: Periodically pulsed immunotherapy in a mathematical model of tumorimmune interaction. Int. J. Bifurc. Chaos 23, 113 (2013)
Staccato Study Group, Swiss HIV Cohort Study: CD4 guided scheduled treatment interruption compared to continuous therapy: results of the staccato trial. Lancet 368, 459465 (2006)
ElSadr, WM, Lundgren, JD, Neaton, JD: CD4^{+} countguided interruption of antiretroviral treatment. The strategies for management of antiretroviral therapy (SMART) study group. N. Engl. J. Med. 355, 22832296 (2006)
Mailleret, L, Lemesle, V: A note on semidiscrete modelling in the life sciences. Philos. Trans. R. Soc. A, Math. Phys. Eng. Sci. 367, 47794799 (2009)
Tang, SY, Xiao, YN, Wang, N, Wu, HL: Piecewise HIV virus dynamic model with CD4^{+} T cell count guided therapy: I. J. Theor. Biol. 308, 123134 (2012)
Fleming, GF, Meropol, NJ, Rosner, GL, et al.: A phase I trial of escalating doses of trastuzumab combined with daily subcutaneous interleukin 2: report of cancer and leukemia group B 9661. Clin. Cancer Res. 8, 37183727 (2002)
INSIGHTESPRIT Study Group, SILCAAT Scientific Committee: Interleukin2 therapy in patients with HIV infection. N. Engl. J. Med. 361, 15491559 (2009)
Miron, RE, Smith, RJ: Resistance to protease inhibitors in a model of HIV1 infection with impulsive drug effects. Bull. Math. Biol. 76, 5997 (2014)
Pau, AK, Tavel, JA: Therapeutic use of interleukin2 in HIVinfected patients. Curr. Opin. Pharmacol. 2, 433439 (2002)
Choh, Y, Ignacio, M, Sabelis, MW, Janssen, A: Predatorprey role reversals, juvenile experience and adult antipredator behaviour. Sci. Rep. 2, 16 (2012)
Ives, AR, Dobson, AP: Antipredator behaviour and the population dynamics of simple predatorprey systems. Am. Nat. 130, 431447 (1987)
Janssen, A, Faaraji, F, van der Hammen, T, Magalhães, S, Sabelis, MW: Interspecific infanticide deters predators. Ecol. Lett. 5, 490494 (2002)
Saito, Y: Prey kills predator: counter attack success of a spider mite against its specific phytoseiid predator. Exp. Appl. Acarol. 2, 4762 (1986)
RamaoJiliberto, R, Frodden, E, AránguizAcuña, A: Preencounter versus postencounter inducible defense in predatorprey systems. Ecol. Model. 200, 99108 (2007)
Komarova, NL, Barnes, E, Klenerman, P, Wodarz, D: Boosting immunity by antiviral drug therapy: a simple relationship among timing, efficacy, and success. Proc. Natl. Acad. Sci. USA 100, 18551860 (2003)
Kuznetsov, VA, Makalkin, IA, Taylor, MA, Perelson, AS: Nonlinear dynamics of immunogenic tumors: parameter estimation and global bifurcation analysis. Bull. Math. Biol. 56, 295321 (1994)
Mukhopadhyay, B, Bhattacharyya, R: Modelling phytoplankton allelopathy in a nutrientplankton model with spatial heterogeneity. Ecol. Model. 198, 163173 (2006)
Pei, YZ, Lv, YF, Li, CG: Evolutionary consequences of harvesting for a twozooplankton onephytoplankton system. Appl. Math. Model. 36, 17521765 (2012)
Corless, RM, Gonnet, GH, Hare, DEG, Jeffrey, DJ, Knuth, DE: On the Lambert W function. Adv. Comput. Math. 5, 329359 (1996)
de Melo, W, van Strien, S: OneDimensional Dynamics. Springer, New York (1993)
de Melo, W, van Strien, S: Onedimensional dynamics: the Schwarzian derivative and beyond. Bull., New Ser., Am. Math. Soc. 18, 159162 (1988)
Guckenheimer, J, Holmes, P: Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields. Springer, Berlin (1983)
Andronov, AA, Leontovich, EA, Gordan, LL, Maier, AG: Qualitative Theory of SecondOrder Dynamic Systems. Wiley, New York (1973)
Ciesielski, K: On semicontinuity in impulsive dynamical systems. Bull. Pol. Acad. Sci., Math. 52, 7180 (2004)
Ciesielski, K: On stability in impulsive dynamical systems. Bull. Pol. Acad. Sci., Math. 52, 8191 (2004)
Ciesielski, K: On time reparametrizations and isomorphisms of impulsive dynamical systems. Ann. Pol. Math. 84, 125 (2004)
Zhang, ZF, Ding, TR, Huang, WZ, Dong, ZX: Qualitative Theory of Differential Equations. Translations of Mathematical Monographs, vol. 101. Am. Math. Soc., Providence (1992)
Simeonov, PS, Bainov, DD: Orbital stability of the periodic solutions of autonomous systems with impulse effect. Int. J. Syst. Sci. 19, 25612585 (1988)
Iooss, G: Bifurcations of Maps and Applications. NorthHolland, New York (1979)
Acknowledgements
We would like to thank Prof. Chengzhi Li for helping us to prove Theorem 3.1 that greatly improved the presentation of this paper. This work was partially supported by the National Natural Science Foundation of China (NSFCs 1171199, 11471201), and by the Fundamental Research Funds for the Central Universities (GK201003001, GK201401004).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
ST and WP designed the study and carried out the analysis. ST, WP, RC, and JW contributed to writing the paper. ST performed numerical simulations. All authors read and approved the final manuscript.
Appendix: Some important definitions
Appendix: Some important definitions
Definition A.1
The Lambert W function is defined to be a multivalued inverse of the function \(z\mapsto ze^{z}\) satisfying
For simplicity, we denote it by W. Note that if \(z>1\) then the function \(z\exp(z)\) has the positive derivative \((z+1)\exp(z)\). Define the inverse function of \(z\exp(z)\) restricted on the interval \([1, \infty)\) to be \(W(0,z)\doteq W(z)\). Similarly, we define the inverse function of \(z\exp(z)\) restricted on the interval \((\infty, 1]\) to be \(W(1, z)\), the two real branches of the Lambert W function, \(W(z)\), \(W(1,z)\) and their domains. The branch \(W(z)\) is defined on the interval \([e^{1}, +\infty)\) and it is a monotonically increasing function with respect to z, while the branch \(W(1,z)\) is defined on the interval \([e^{1}, 0)\) and it is a monotonically decreasing function with respect to z. Note that both branches are defined in the common interval \([e^{1}, 0)\) with \(W(z)>W(1,z)\) for \(z\in(e^{1},0)\), \(W(e^{1})=W(1,e^{1})=1\) and \(W(e)=1\), as shown in Figure 19.
Planar impulsive semidynamical systems and preliminaries. The generalized planar impulsive semidynamical systems with statedependent feedback control can be described as follows:
where \((x, y)\in R^{2}\), and P, Q, \(I_{1}\), \(I_{2}\) are continuous functions from \(R^{2}\) into R, \({\mathcal{M}}\subset R^{2}\) denotes the impulsive set. For each point \(z(x,y)\in{\mathcal{M}}\), the map \(I: R^{2}\rightarrow R^{2}\) is defined by
and \(z^{+}\) is called an impulsive point of z.
Let \({\mathcal{N}}=I({\mathcal{M}})\) be the phase set (i.e. for any \(z\in{\mathcal{M}}\), \(I(z)=z^{+}\in{\mathcal{N}}\)), and \({\mathcal{N}}\cap{\mathcal{M}}=\emptyset\). System (A.1) is generally known as a planar impulsive semidynamical system. We note that system (2.2) is an impulsive semidynamical system, where impulsive set \({\mathcal{M}}= \{(x,y)\in R_{+}^{2} x=V_{L}, 0\leq y\leq \frac{b}{p} \}\) is a closed subset of \(R_{+}^{2}\) and continuous function \(I: (V_{L}, y)\in{\mathcal{M}}\rightarrow (x^{+},y^{+})=((1\theta)V_{L}, y+\tau)\in R_{+}^{2}\). It follows that the phase set \({\mathcal{N}}=I({\mathcal{M}})= \{(x^{+},y^{+})\in R_{+}^{2} x^{+}=(1\theta)V_{L}, y^{+}\in Y_{D} \}\) with \(Y_{D}= [\tau, \frac{b}{p}+\tau ]\). Unless otherwise specified in the following we assume the initial point \((x_{0}^{+}, y_{0}^{+})\in{\mathcal{N}}\). In the present work we call \({\mathcal{M}}\) and \({\mathcal{N}}\) the basic impulsive set and the phase set of model (2.2), respectively.
In the following we briefly list some definitions related to impulsive semidynamical systems, which are used in this work.
Let \((X, \Pi, R_{+})\) or \((X, \Pi)\) be a semidynamical system [101, 102], where X is a metric space, \(R_{+}\) is the set of all nonnegative reals. For any \(z\in X\), the function \(\Pi_{z}: R_{+}\rightarrow X\) defined by \(\Pi_{z}(t)=\Pi(z, t)\) is clearly continuous such that \(\Pi(z,0)=z\) for all \(z\in X\), and \(\Pi(\Pi(z,t),s)=\Pi(z,t+s)\) for all \(z\in X\) and \(t,s\in R_{+}\). The set
is called the positive orbit of z. For any set \(M \subset X\), let
where
is the attainable set of z at \(t\in R_{+}\). Finally, we set \(M(z)=M^{+}(z)\cup M^{}(z)\). Before discussing the dynamical behavior of system (3.1), we need the following definitions and lemmas [52, 53, 55, 103–105].
Definition A.2
An impulsive semidynamical system \((X, \Pi; M, I)\) consists of a continuous semidynamical system \((X, \Pi)\) together with a nonempty closed subset M (or impulsive set) of X and a continuous function \(I: M\rightarrow X\) such that the following property holds:

(i)
No point \(z\in X\) is a limit point of \(M(z)\),

(ii)
\(\{tG(z,t)\cap M\neq\emptyset\}\) is a closed subset of \(R_{+}\).
Throughout the paper, we denote the points of discontinuity of \(\Pi_{z}\) by \(\{z^{+}_{n}\}\) and call \(z_{n}^{+}\) an impulsive point of \(z_{n}\).
We define a function Φ from X into the extended positive reals \(R_{+}\cup\{\infty\}\) as follows: let \(z\in X\), if \(M^{+}(z)=\emptyset\) we set \(\Phi(z)=\infty\), otherwise \(M^{+}(z)\neq\emptyset\) and we set \(\Phi(z)=s\), where \(\Pi(x,t)\notin M\) for \(0< t< s\) but \(\Pi(z,s)\in M\).
Definition A.3
A trajectory \(\Pi_{z}\) in \((X, \Pi, M, I)\) is said to be periodic of period \(T_{k}\) and order k if there exist nonnegative integers \(m\geq0\) and \(k\geq1\) such that k is the smallest integer for which \(z_{m}^{+}=z_{m+k}^{+}\) and \(T_{k}=\sum_{i=m}^{m+k1}\Phi(z_{i})=\sum_{i=m}^{m+k1}s_{i}\).
For simplicity, we denote a periodic trajectory of period \(T_{k}\) and order k by an orderk periodic solution. An orderk periodic solution is called an orderk limit cycle if it is isolated.
For more details of the concepts and properties of continuous dynamical systems and impulsive dynamical systems; see [52, 64, 101, 102, 106].
Lemma A.1
(Analog of Poincaré criterion [107])
The orderk limit cycle \(x=\xi(t)\), \(y=\eta(t)\) of system
is orbitally asymptotically stable and enjoys the property of asymptotic phase if the multiplier \(\mu_{2}\) satisfies the condition \( \mu_{2}<1\). Here
and P, Q, \(\frac{\partial a}{\partial x}\), \(\frac{\partial a}{\partial y}\), \(\frac{\partial b}{\partial x}\), \(\frac{\partial b}{\partial y}\), \(\frac{\partial\phi}{\partial x}\), \(\frac{\partial\phi}{\partial y}\) are calculated at the point \((\xi(\tau_{k}),\eta(\tau_{k}))\) and \(P_{+}=P(\xi(\tau_{k}^{+}), \eta(\tau_{k}^{+}))\), \(Q_{+}=Q(\xi(\tau_{k}^{+}), \eta(\tau_{k}^{+}))\).
Lemma A.2
(Supercritical flip bifurcation [108])
Let \(G: U\times I\rightarrow R\) define a oneparameter family of maps, where G is \(C^{r}\) with \(r\geq3\), and U, I are open intervals containing 0. Assume

(1)
\(G(0, \alpha)=0\) for all α;

(2)
\(\frac{\partial G}{\partial x}(0,0)=1\);

(3)
\(\frac{\partial^{2} G}{\partial x\,\partial \alpha}(0,0)<0\);

(4)
\(\frac{\partial^{3} G^{2}}{\partial x^{3}}(0,0)<0\).
Then there are \(\alpha_{1}<0<\alpha_{2}\) and \(\epsilon>0\) such that:

(i)
If \(\alpha_{1}<\alpha\leq0\), then \(G_{\alpha}\) has a unique fixed point at the origin, and no orbit of period two in \((\epsilon, \epsilon)\). The fixed point is asymptotically stable.

(ii)
If \(0<\alpha<\alpha_{2}\), then \(G_{\alpha}\) has a unique fixed point at the origin, and a unique orbit of period two in \((\epsilon, \epsilon)\). The fixed point is unstable and the orbit of period two is asymptotically stable.
Lemma A.3
(Subcritical flip bifurcation [108])
Replace the inequality (4) in Lemma A.2 by \(\frac{\partial^{3} G^{2}}{\partial x^{3}}(0,0)>0\). Then there exist \(\alpha_{1}<0<\alpha_{2}\) and \(\epsilon>0\) such that:

(i)
If \(\alpha_{1}<\alpha< 0\), then \(G_{\alpha}\) has a unique fixed point at the origin, and a unique orbit of period two in \((\epsilon, \epsilon)\). The fixed point is asymptotically stable and the orbit of period two is unstable.

(ii)
If \(0\leq\alpha<\alpha_{2}\), then \(G_{\alpha}\) has a unique fixed point at the origin, and no orbit of period two in \((\epsilon, \epsilon)\). The fixed point is unstable.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Tang, S., Pang, W., Cheke, R.A. et al. Global dynamics of a statedependent feedback control system. Adv Differ Equ 2015, 322 (2015). https://doi.org/10.1186/s136620150661x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s136620150661x
MSC
 34A37
 34C23
 92B05
 93B52
Keywords
 planar impulsive semidynamical system
 integrated pest management
 Poincaré map
 impulsive set
 phase set
 global stability