- Research
- Open access
- Published:

# Dynamics and bifurcation analysis of a state-dependent impulsive SIS model

*Advances in Difference Equations*
**volumeÂ 2021**, ArticleÂ number:Â 287 (2021)

## Abstract

Recently, considering the susceptible population size-guided implementations of control measures, several modelling studies investigated the global dynamics and bifurcation phenomena of the state-dependent impulsive SIR models. In this study, we propose a state-dependent impulsive model based on the SIS model. We firstly recall the complicated dynamics of the ODE system with saturated treatment. Based on the dynamics of the ODE system, we firstly discuss the existence and the stability of the semi-trivial periodic solution. Then, based on the definition of the PoincarĂ© map and its properties, we systematically investigate the bifurcations near the semi-trivial periodic solution with all the key control parameters; consequently, we prove the existence and stability of the positive periodic solutions.

## 1 Introduction

The emerge and re-emergence of infectious diseases have always led to unpredictable epidemics and posed serious challenges to public health. In the past 200 years, at least seven waves of cholera, four new strains of influenza virus, tuberculosis, and HIV spread across the world and resulted in at least 100 million deaths [1]. Particularly in developed countries, infectious disease mortality disproportionately affects indigenous and disadvantaged minorities [2]. Since the outbreak of COVID-19 at the end of 2019, it has spread to over 200 countries with 163,212,543 confirmed cases and 3,383,979 deaths globally till May 18, 2021 [3]. Therefore, it is crucial to conduct an early prediction and give warning of the epidemics for guiding the development of control interventions [4] and to evaluate the efficacy of different strategies of control interventions in successfully controlling the spread of the disease [5â€“7].

As an attractive tool, mathematical models have been widely applied to understand the transmission mechanism of infectious diseases and to provide evidence for the effects of interventions in different groups of populations. During this COVID-19 pandemic, various mathematical models have been developed and further studied [8â€“10], which played a key role in controlling the spread of the virus [5, 11]. We note that, in terms of control strategies, the state-dependent feedback control was frequently used aiming at preventing the spread of infectious diseases [12â€“14]; consequently, abundant state-dependent impulsive models have been proposed [15â€“19]. Fractional calculus is a generalization of the standard integer calculus. It has become a significant field of investigation due to its immense opportunity and wide applications. A considerable number of articles have been concerned with reviewing the presence of solutions to fractional systems. Several researchers pioneered their attempts to extend the impulsive modelling methods to the fractional models [20â€“23] or the fractional integro-differential equations [24, 25], with various new analytic techniques developed and lots of interesting results obtained [26]. Gupta et al. in [20] investigated the existence and uniqueness of impulsive dynamical fractional systems with quadratic perturbation of second type subject to nonlocal boundary conditions. Kumar et al. in [22] explored the existence of solution of non-autonomous fractional differential equations with integral impulse condition by the measure of non-compactness (MNC), fixed point theorems, and *k*-set contraction. Ravichandran in [24] discussed the existence and uniqueness of solution to the integro-differential equations involving Atanganaâ€“Baleanu fractional derivatives.

Recently, several studies have introduced the susceptible population guided impulsive control into the SIR-type models and systematically investigated the dynamic behaviors [27â€“30]. In this study, we extend this modelling idea to the SIS-type model and investigate the rich dynamical behaviors and the bifurcations. The classical SIS-type model is given by

where *S* and *I* are the populations of susceptible and infectious, respectively. *A* is the recruitment rate of the susceptible populations, and *d* is the natural death rate. *Î²* is the property of transmission *per* contact, and the incidence rate is denoted by *Î²SI*. The recovery from the infected compartment is presented by *vI*. Furthermore, considering the continuous interventions, including the treatment and vaccination for controlling infectious diseases, system (1.1) becomes the following three-dimensional SIVS model:

Here, the added compartment *V* denotes the vaccinated population. The recovery from the infected compartment with hospital treatment is represented by \(\frac{\mathit{cI}}{b+I}\). Moreover, the susceptible population is vaccinated with rate *q*, and the vaccine protection wanes with rate *Î¸*. Then, we can extend model (1.2) by including the state-dependent control strategies and replacing the continuous vaccination with impulsive vaccination, and we obtain the following state-dependent impulsive model:

Here, \(q\in (0,1)\) denotes the vaccination rate of the susceptible population.

## 2 Preliminaries

Subject to the restriction \(N(t)=S(t)+I(t)+V(t)\) for the ODE system of model (1.3), we have

which means that \(N(t)\) will tend to \(\frac{A}{d}\) as *t* approaches infinity. Without loss of generality, the ODE system in model (1.3) can be reduced to the following system:

Consequently, the proposed state-dependent impulsive model (i.e. system (1.3)) is reduced to the following system:

We start with concluding the main dynamics of ODE system (2.1), while the detailed proof is similar to the existing study [31]. From biological considerations, we study (2.1) in the closed set

which is invariant set under nonnegative initial conditions.

Let the right-hand side of (2.1) be zero, we obtain that (2.1) has a disease-free equilibrium \(E_{0}= (\frac{A}{d},0 )\). Using the notation in van den Driessche and Watmough [32], the reproduction number is given by

Note that the characteristic equation of (2.1) at \(E_{0}\) reads

then it follows that all the eigenvalues of (2.4) have negative real parts if and only if \(R_{0}<1\). Thus, we obtain the following.

### Proposition 1

*For model* (2.1), *the disease*-*free equilibrium* \(E_{0}\) *is locally asymptotically stable if* \(R_{0}<1\) *and unstable if* \(R_{0}>1\).

In order to obtain the existence of endemic equilibria, we give the following quadratic equation from model (2.1) depending on the solutions of

with

For convenience, we denote

with \(\Delta =a_{1}^{2}-4a_{2}\).

We further denote

Then we get the result regarding the number of endemic equilibrium.

### Theorem 2

*For model* (2.1), *with* \(A_{1}\) *and* \(\widehat{R}_{0}\) *defined as above*, *we have*:

(1) *When* \(R_{0}>1\) *or* \(R_{0}=1\) *and* \(A>A_{1}\), *there is a unique endemic equilibrium* \(E^{*}\).

(2) *When* \(R_{0}<1\) *and* \(A\leq A_{1}\), *there is no endemic equilibrium*.

(3) *When* \(1>R_{0}>\widehat{R}_{0}\) *and* \(A>A_{1}\), *there are two endemic equilibria* \(E^{*}\) *and* \(E_{*}\).

(4) *When* \(R_{0}=\widehat{R}_{0}\) *and* \(A>A_{1}\), \(E^{*}\) *and* \(E_{*}\) *coincide into a unique endemic equilibrium of multiplicity* 2.

(5) *When* \(R_{0}<\widehat{R}_{0}\) *and* \(A>A_{1}\), *there is no endemic equilibrium*.

### Remark 1

When \(A>A_{1}\), this theorem shows that there exists \(\widehat{R}_{0}\) (\(0<\widehat{R}_{0}<1\)) such that the model has a unique endemic equilibrium for \(R_{0}=\widehat{R}_{0}\), then the model has two endemic equilibria for \(1>R_{0}>\widehat{R}_{0}\) and a unique endemic equilibrium for \(R_{0}=1\). This situation corresponds to a backward bifurcation which occurs at \(R_{0}=1\). There is also a forward transcritical bifurcation at \(E_{0}\) (where \(R_{0}=1\)) if \(A\leq A_{1}\).

When model (2.1) has no endemic equilibria, we get the global stability of the disease-free equilibrium \(E_{0}\).

### Theorem 3

*If* \(R_{0}<1\) *and* \(A\leq A_{1}\) *or* \(R_{0}<\widehat{R}_{0}\) *and* \(A>A_{1}\) *hold*, *then the disease*-*free equilibrium* \(E_{0}\) *of* (2.1) *is globally asymptotically stable*.

Next, we study the stability of the endemic equilibria. Denote \(H(I)=\theta +d+q+\beta I-\frac{\mathit{cI}}{(b+I)^{2}}\), we get the following results.

### Theorem 4

*Suppose* \(R_{0}>1\) *or* \(1>R_{0}>\widehat{R}_{0}\) *and* \(A>A_{1}\), *the endemic equilibrium* \(E^{*}\) *of model* (2.1) *is a stable node or focus when* \(H(I^{*})>0\); \(E^{*}\) *is an unstable node or focus when* \(H(I^{*})<0\); *and* \(E^{*}\) *is a center of the linear system of* (2.1) *when* \(H(I^{*})=0\).

To investigate the dynamical behaviors of system (2.2), we first briefly summarize the basic definitions and properties of the impulsive semi-dynamical systems. We consider the following generalized planer impulsive semi-dynamical system with state-dependent feedback control:

where \((x,y)\in R_{+}^{2}=\{(x,y):x\geq 0,y\geq 0\}\), \(\Delta x=x^{+}-x\), and \(\Delta y=y^{+}-y\). Here, *P*, *Q*, *a*, *b* are continuous functions from \(R_{+}^{2}\) to *R*, \(\Phi \subset R_{+}^{2}\) is the impulsive set. For \((x,y)\in \Phi \), the impulsive function \(\psi :R_{+}^{2}\rightarrow R_{+}^{2}\) is defined as

with \(z^{=}(x^{+},y^{+})\) called an impulsive point of \(z=(x,y)\). Then, based on the definitions in [12], we can define the impulsive semi-dynamical system and the order-*k* period solution. Particularly, the following analogue of PoincarĂ© criterion in [33] determines the local stability of an order-*k* periodic solution.

### Lemma 5

*Let* \(\phi (x,y)\) *be a sufficiently smooth function with* \(\operatorname{grad} \phi (x,y)\neq 0\). *The order*-*k* *periodic solution* \((x,y)=(\xi (t),\eta (t))\) *with period* *T* *of* (2.5) *is orbitally asymptotically stable if the Floquet multiplier* \(\mu _{2}\) *satisfies* \(|\mu _{2}|<1\). *Here*,

*where*

*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}^{+}))\) *with* \(\tau _{k}(k\in N)\) *is the time of the* *kth jump*.

In order to study the bifurcations of the PoincarĂ© map defined by system (2.5), we introduce the following lemmas [34].

### Lemma 6

(Transcritical bifurcation)

*Let* \(G:U\times I\rightarrow R\) *define a one*-*parameter family of maps*, *where* *G* *is* \(C^{r}\) *with* \(r\geq 2\), *and* *U*, *I* *are open intervals of the real line containing* 0. *Assume*

*Then there are* \(\alpha _{1}<0<\alpha _{2}\) *and* \(\epsilon >0\) *such that*:

(1) *If* \(\alpha _{1}<\alpha <0\), *then* \(G_{\alpha }\) *has two fixed points*, 0 *and* \(x_{1\alpha }>0\) *in* (âˆ’*Ïµ*, *Ïµ*). *The origin is asymptotically stable*, *while the other fixed point is unstable*.

(2) *If* \(0<\alpha <\alpha _{2}\), *then* \(G_{\alpha }\) *has two fixed points*, 0 *and* \(x_{1\alpha }<0\) *in* (âˆ’*Ïµ*, *Ïµ*). *The origin is unstable*, *while the other fixed point is asymptotically stable*.

Note that making the change of parameter \(\alpha \rightarrow -\alpha \), we can handle the case \(\frac{\partial ^{2}G(0,0)}{\partial x\partial \alpha }<0\).

### Lemma 7

(Supercritical pitchfork bifurcation)

*Let* \(G:U\times I\rightarrow R\) *define a one*-*parameter family of maps*, *where* *G* *is* \(C^{r}\) *with* \(r\geq 3\), *and* *U*, *I* *are open intervals of the real line containing* 0. *Assume that*

*Then there are* \(\alpha _{1}<0<\alpha _{2}\) *and* \(\epsilon >0\) *such that*:

(1) *If* \(\alpha _{1}<\alpha <0\), *then* \(G_{\alpha }\) *has a unique fixed point*, \(x=0\) *in* (âˆ’*Ïµ*, *Ïµ*), *which is asymptotically stable*.

(2) *If* \(0<\alpha <\alpha _{2}\), *then* \(G_{\alpha }\) *has three fixed points*, 0 *and* \(x_{1\alpha }<0<x_{2\alpha }\) *in* (âˆ’*Ïµ*, *Ïµ*). *The origin is unstable*, *while the other two fixed points are asymptotically stable*.

Similarly, note that we can handle the case \(\frac{\partial ^{2}G(0,0)}{\partial x\partial \alpha }<0\) by making the change of parameter \(\alpha \rightarrow -\alpha \).

## 3 PoincarĂ© map and its properties

In this section, we first define the PoincarĂ© map of system (2.2), and then we discuss its main properties. Before moving to the details, we firstly provide some intuitive basis on the PoincarĂ© map. PoincarĂ© used a cross section (called the PoincarĂ© section) to transverse the trajectory of continuous motion. Then, according to the discrete motion of the intersection points of the trajectory to the cross section, we can simply judge the trend of the continuous motion. In the diagram on the PoincarĂ© section, the succeed point where the trajectory crosses the PoincarĂ© section can be regarded as a mapping of the point where the trajectory crosses the PoincarĂ© section last time, which can be denoted by \(x_{n+1}=f(x_{n})\), \(n = 1, 2, 3,\ldots \)â€‰. This is actually the PoincarĂ© map, and its function is to study the continuous motion through a simple discrete mapping. Based on the above interpretation, we can easily know that the fixed points of the PoincarĂ© map actually reflect the periodic motion of the phase space.

We assume that \(S_{T}<\frac{A}{d}\) holds true. Denote the two isolines of the system

as follows:

and define two sections as follows:

According to the definitions in the last section, we have that the impulsive function \(H(S,I)\) can be defined as

Set the section \(S_{\mathit{qS}_{T}}\) as a PoincarĂ© section. Choosing an initial point \(P_{k}^{+}=((1-q)S_{T},I_{k}^{+})\) on the PoincarĂ© section, and the orbit starting from \(P_{k}^{+}\) reaches \(S_{S_{T}}\). We denote the intersection point as \(P_{k+1}=(S_{T},I_{k+1})\), then the trajectory will jump to \(P_{k+1}^{+}=((1-q)S_{T},I_{k+1})\) on the section \(S_{\mathit{qS}_{T}}\). It follows from the existence and uniqueness of solutions that \(I_{k+1}\) is identically determined by \(I_{k}^{+}\). Therefore, we can define a function *g* with \(g (I_{k}^{+} )=I_{k+1}\), and then the PoincarĂ© map \(\mathcal{P}_{1}\) can be defined as follows:

Since the domain and range of the PoincarĂ© map depends on the dynamics of system (3.1), we conclude the dynamics of system (3.1) by considering the following cases:

\((C_{1}) R_{0}<1\) and \(A\leq A_{1} \) or \(R_{0}< \widehat{R}_{0}\) and \(A>A_{1}\);

\((C_{2}) R_{0}>1\) and \(H(I^{*})>0\);

\((C_{3}) R_{0}>1\) and \(H(I^{*})<0\);

\((C_{4}) 1>R_{0}>\widehat{R}_{0}\) and \(A>A_{1}\).

Note that the phase trajectories of system (3.1) for case \((C_{3})\) or \((C_{4})\) show complexity, which leads to the complicated impulsive and phase sets of impulsive system (2.1). In what follows we discuss the definitions of the impulsive set and the phase set of system (2.2) for case \((C_{1})\) and case \((C_{2})\). Under case (\(C_{1}\)), the DFE \(E_{0} (\frac{A}{d},0 )\) is globally asymptotically stable. It follows from the properties of the vector fields of system (3.1) that there exists an orbit \(\Gamma _{1}\) tangent to \(S_{\mathit{qS}_{T}}\) at the point \(Q_{\mathit{qS}_{T}}= ((1-q)S_{T},I_{\mathit{qS}_{T}} )\) with \(I_{\mathit{qS}_{T}}\) satisfying

with \(B=v-\theta -\beta (1-q)S_{T}\), \(D=(d+\theta ) (\frac{A}{d}-(1-q)S_{T} )>0\). Note that if \(B\geq 0\), there is no positive solution of equation (3.2), while if \(B<0\), there is a unique positive solution of (3.2):

The intersection point of \(\Gamma _{1}\) to \(S_{S_{T}}\) is denoted by

Then the impulsive set is

and the phase set *N* can be defined as follows:

For case (\(C_{2}\)), the endemic equilibrium \(E^{*}(S^{*},I^{*})\) is a stable focus or node. If \(S_{T}< S^{*}\) holds, the impulsive set and the phase set of system (2.2) are similar to case (\(C_{1}\)). If \(S_{T}>S^{*}\), we let

with \(B=v-\theta -\beta S_{T}\), \(D=(d+\theta ) (\frac{A}{d}-S_{T} )>0\). Note that if \(B_{1}\geq 0\), there is no positive solution of equation (3.3), while if \(B_{1}<0\), there is a unique positive solution of (3.3):

We assume \(B_{1}<0\), then there exists an orbit \(\Gamma _{2}\) tangent to the set \(S_{S_{T}}\) at the point \(Q_{S_{T}}= (S_{T},I_{S_{T}} )\). And we denote the intersection point of the orbit \(\Gamma _{2}\) to the section \(S_{\mathit{qS}_{T}}\) as \(Q_{q}=((1-q)S_{T},I_{q})\) with \(I(S_{T};(1-q)S_{T},I_{q})=I_{S_{T}}\). Any solution of model (2.2) with initial value (\(S_{0}^{+}\), \(I_{0}^{+}\)) with \(S_{0}^{+}=(1-q)S_{T}\) and \(I_{0}^{+}\in (0,I_{q})\) will reach the section \(S_{S_{T}}\) at finite time. Therefore, the impulsive set and the phase set of system can be defined as

and

respectively.

## 4 Semi-trivial periodic solution

### 4.1 Existence and stability of semi-trivial periodic solution

Let \(I(t)=0\) for all \(t\in (0,+\infty )\), system (2.2) becomes the following subsystem:

Integrating the first equation of (4.1) with the initial conditions \(S(0)=(1-q)S_{T}\), we have

Let \(\frac{A}{d}- (\frac{A}{d}-(1-q)S_{T} )\exp (-(d+\theta )T)=S_{T}\), and solving it with respect to *T*, we get the period

Therefore, system (2.2) has a semi-trivial periodic solution with period *T*, which is given as follows:

Denote \((\widehat{S}(t),\widehat{I}(t) )=(\xi (t),0)\), then we discuss the stability of the semi-trivial periodic solution \((\xi (t),0)\). There are

It is easy to calculate that

and

Moreover, there is

Thus, the Floquet multiplier \(\mu _{2}\) can be calculated as

Because \(0<1-q<1\), \(\exp (-\frac{\beta \mathit{qS}_{T}}{d+\theta } )>0\), and \(\frac{A-d(1-q)S_{T}}{A-dS_{T}}>1\), we have that if \(R_{0}<1\), then there are \(\frac{-d-v-\frac{c}{b}+\frac{\beta A}{d}}{d+\theta }<0\) and \(0< (\frac{A-d(1-q)S_{T}}{A-dS_{T}} )^{ \frac{-d-v-\frac{c}{b}+ \frac{\beta A}{d}}{d+\theta }}<1\); if \(R_{0}>1\), then there are \(\frac{-d-v-\frac{c}{b}+\frac{\beta A}{d}}{d+\theta }>0\) and \((\frac{A-d(1-q)S_{T}}{A-dS_{T}} )^{ \frac{-d-v-\frac{c}{b}+ \frac{\beta A}{d}}{d+\theta }}>1\).

It follows from the definition of PoincarĂ© map and the property of system (3.1) that the PoincarĂ© map \(\mathcal{P}_{1}\) is monotonically decreasing under case (\(C_{1}\)) on the whole domain of definition. Therefore, the semi-trivial periodic solution \((\xi (t),0)\) is globally attractive. Based on the above discussion, we have the following conclusion.

### Theorem 8

*If* \(R_{0}<1\), *then the semi*-*trivial periodic solution is orbitally asymptotically stable*. *Particularly*, *for case* (\(C_{1}\)), *the semi*-*trivial periodic solution of system* (2.2) *is globally stable*.

### 4.2 Bifurcation of the semi-trivial periodic solution

Consider system (3.1) in the phase space, we have

Given an initial point \((S_{0},I_{0} )\) on the PoincarĂ© section with \(S_{0}=(1-q)S_{T}\), \(I_{0}\in (0,I_{q})\), we can solve *I* with respect to *S* as follows:

\(\mathcal{P}_{1}\) can be also represented as

with \(I_{0}\in (0,I_{q})\) as the variable, \(\alpha \in \Theta \) being the bifurcation parameter. For example, if we consider the bifurcation with respect to *q*, then *Î±* means *q*. For convenience, we denote

Through easy calculation, there are

Therefore, we have

with

where

#### 4.2.1 Bifurcations with respect to *q*

Firstly, we consider the existence of \(q^{*}\) such that \(\mu _{2}|_{q=q^{*}}=1\). Taking the derivative of \(\mu _{2}\) with respect to *q* yields

Definitely, there is \(\frac{\mu _{2}\,dS_{T}}{(d+\theta )(A-d(1-q)S_{T})}>0\), thus the sign of \(\frac{\partial \mu _{2}}{\partial q}\) is determined by \(\beta (1-q)S_{T}-d-v-\frac{c}{b}\). If \(\frac{b(b+v)+c}{b\beta }< S_{T}<\frac{A}{d}\), there is \(\widetilde{q}=1-\frac{b(b+v)+c}{b\beta S_{T}}\in (0,1)\), thus we have \(\frac{\partial \mu }{\partial q}=0\) for \(q=\widetilde{q}\), \(\frac{\partial \mu }{\partial q}<0\) for \(q>\widetilde{q}\), and \(\frac{\partial \mu }{\partial q}>0\) for \(q<\widetilde{q}\). This means that \(\mu _{2}(q)\) is decreasing in the interval \((\widetilde{q},1)\) and increasing in the interval \((0,\widetilde{q})\). Furthermore, we have

with

Therefore, we have that

(1) If \(\mu _{2}|_{q=1}\geq 1\), then there is no \(q^{*}\in (0,1)\) satisfying \(\mu _{2}|_{q=q^{*}}=1\).

(2) If \(\mu _{2}|_{q=1}<1\), then there is \(q^{*}=q_{1}^{*}\in (\widetilde{q},1)\) such that \(\mu _{2}|_{q=q_{1}^{*}}=1\). And, it is easy to verify that \(\frac{\partial ^{2}\mathcal{P}_{1}}{\partial I_{0}\partial q}(0,q_{1}^{*})<0\) holds true.

On the other hand, if \(0< S_{T}<\frac{b(b+v)+c}{b\beta }\), then \(\mu _{2}(q)\) is decreasing in the interval \((0,1)\). Thus, there is no \(q^{*}\in (0,1)\) satisfying \(\mu _{2}|_{q=q^{*}}=1\). Therefore, we have the following proposition.

### Proposition 9

*If* \(R_{0}>1\), \(\frac{b(b+v)+c}{b\beta }< S_{T}<\frac{A}{d}\), *and* \(\mu _{2}|_{q=1}\geq 1\) *hold true*, *then the semi*-*trivial periodic solution* \((\xi (t),0)\) *is unstable for* \(q\in (0,1)\); *If* \(R_{0}>1\), \(\frac{b(b+v)+c}{b\beta }< S_{T}<\frac{A}{d}\), *and* \(\mu _{2}|_{q=1}<1\) *hold true*, *then the semi*-*trivial periodic solution* \((\xi (t),0)\) *is orbitally asymptotically stable for* \(q\in (q_{1}^{*},1)\) *and unstable for* \(q\in (0,q_{1}^{*})\); *If* \(R_{0}>1\) *and* \(0< S_{T}<\frac{b(b+v)+c}{b\beta }\) *hold true*, *then the semi*-*trivial periodic solution* \((\xi (t),0)\) *is orbitally asymptotically stable for* \(q\in (0,1)\).

In what follows, we consider the bifurcations with respect to *q* under the conditions of the existence of \(q^{*}\). It is easy to see that there is \(\mathcal{P}_{1}(0,q)=0\) for all \(q\in (0,1)\), and

Moreover, we have

As a result of the indeterminacy of the sign of \(m(s)\) in the interval \(s\in ((1-q_{1}^{*})S_{T},S_{T})\), the sign of \(g''(0;q_{1}^{*})\) is undetermined. If we assume \(g''(0;q_{1}^{*})>0\), then we have

Based on the above discussion, we have the following conclusion.

### Theorem 10

*If* \(R_{0}>1\), \(\frac{b(b+v)+c}{b\beta }< S_{T}<\frac{A}{d}\), *and* \(\mu _{2}|_{q=1}<1\) *hold true*, *then the PoincarĂ© map* \(\mathcal{P}_{1}(I_{0},q)\) *undergoes a transcritical bifurcation at* \(p_{1}^{*}\). *Further*, *an unstable positive fixed point appears when* *q* *goes through* \(q=q_{1}^{*}\) *from left to right*. *Correspondingly*, *system* (2.2) *has an unstable positive periodic solution if* \(p\in (p_{1}^{*},p_{1}^{*}+\delta )\) *with* \(\delta >0\).

### Theorem 11

*If* \(R_{0}>1\), \(\frac{b(b+v)+c}{b\beta }< S_{T}<\frac{A}{d}\), \(\mu _{2}|_{q=1}<1\), \(g''(0;q_{1}^{*})=0\), *and* \(g'''(0;q_{1}^{*})>0\) *hold true*, *then the PoincarĂ© map* \(\mathcal{P}_{1}(I_{0},q)\) *undergoes a supercritical pitchfork bifurcation at* \(p_{1}^{*}\). *Therefore*, *an unstable positive fixed point appears when* *q* *goes through* \(q=q_{1}^{*}\) *from left to right*. *Correspondingly*, *system* (2.2) *has an unstable positive periodic solution if* \(p\in (p_{1}^{*},p_{1}^{*}+\delta )\) *with* \(\delta >0\).

#### 4.2.2 Bifurcation with respect to \(S_{T}\)

Similar to the case for *q*, we first analyze the existence of \(S_{T}^{*}\) such that \(\mu _{2}|_{S_{T}=S_{T}^{*}}=1\). Taking the derivative of \(\mu _{2}\) with respect to \(S_{T}\) yields

with

The roots of the equation \(f(S_{T})=0\), denoted by \(\overline{S}_{T}\), satisfy the following equation:

Let

Thus, \(\Delta >0\) is equivalent to \(R_{0}>\frac{4(1-q)}{(q-2)^{2}}\). Denote \(K(q)=\frac{4(1-q)}{(q-2)^{2}}\). There are \(K(0)=1\) and \(K'(q)=\frac{4q}{(q-2)^{3}}<0\). Therefore, we have that \(K(q)<1\) holds for all \(q\in (0,1)\). This means that \(\Delta >0\) when \(R_{0}>1\), hence equation (4.4) has two roots, denoted by

We can verify that \(0<\overline{S}_{T_{1}}<\frac{A}{d}<\overline{S}_{T_{2}}\). Thus, \(\mu _{2}\) is decreasing when \(S_{T}\in (0,\overline{S}_{T_{1}})\) and increasing when \(S_{T}\in (\overline{S}_{T_{1}},\frac{A}{d})\).

Furthermore, when \(R_{0}>1\), there are

Therefore, there is a unique \(S_{T}^{*}\in (\overline{S}_{T_{1}},\frac{A}{d})\) such that \(\mu _{2}|_{S_{T}=\overline{S}_{T_{1}}}=1\) with \(S_{T}^{*}\) satisfying

Based on the above discussion, we can conclude the following.

### Proposition 12

*If* \(R_{0}>1\), *there exists unique* \(S_{T}^{*}\in (\overline{S}_{T_{1}},\frac{A}{d})\) *such that* \(\mu _{2}|_{S_{T}=S_{T}^{*}}=1\). *Then the semi*-*trivial periodic solution* \((\xi (t),0)\) *is orbitally asymptotically stable for* \(S_{T}\in (0,S_{T}^{*})\) *and unstable for* \(S_{T}\in (S_{T}^{*},\frac{A}{d})\).

In what follows, we investigate the bifurcations of the semi-trivial periodic solution at \(S_{T}^{*}\). We can easily verify that \(\mathcal{P}_{1}(0,S_{T})=0\) holds true for all \(S_{T}\in (0,\frac{A}{d})\), and

Moreover, we have

As a result of the indeterminacy of the sign of \(m(s)\) in the interval \(s\in ((1-q)S_{T}^{*},S_{T}^{*})\), the sign of \(g''(0;S_{T}^{*})\) is undetermined. If we assume \(g''(0;S_{T}^{*})>0\), then we have

Based on the above discussion, we have the following conclusion.

### Theorem 13

*If* \(R_{0}>1\) *and* \(g''(0;S_{T}^{*})>0\) *hold true*, *then the PoincarĂ© map* \(\mathcal{P}_{1}(I_{0},S_{T})\) *undergoes a transcritical bifurcation at* \(S_{T}=S_{T}^{*}\). *Further*, *an unstable positive fixed point appears when* \(S_{T}\) *goes through* \(S_{T}=S_{T}^{*}\) *from right to left*. *Correspondingly*, *system* (2.2) *has an unstable positive periodic solution if* \(S_{T}\in (S_{T}^{*}-\delta ,S_{T}^{*})\) *with* \(\delta >0\).

### Theorem 14

*If* \(R_{0}>1\), \(g''(0;S_{T}^{*})=0\) *and* \(g'''(0;S_{T}^{*})>0\) *hold true*, *then the PoincarĂ© map* \(\mathcal{P}_{1}(I_{0},S_{T})\) *undergoes a supercritical pitchfork bifurcation at* \(S_{T}=S_{T}^{*}\). *Therefore*, *an unstable positive fixed point appears when* \(S_{T}\) *goes through* \(S_{T}=S_{T}^{*}\) *from right to left*. *Correspondingly*, *system* (2.2) *has an unstable positive periodic solution if* \(S_{T}\in (S_{T}^{*}-\delta ,S_{T}^{*})\) *with* \(\delta >0\).

### 4.3 Bifurcation with respect to *A*

Taking \(\mu _{2}\) as a function of *A*, we have

It is continuously differentiable when \(A\in (dS_{T},+\infty )\), and there are

Taking the derivative of \(\mu _{2}\) with respect to *A* yields

with

Then, taking the derivative of \(B_{1}\) with respect to *A*, we have

with

If \(\frac{(2-q) (d+v+\frac{c}{b} )}{\beta }-(1+d)(1-q)S_{T} \geq 0\) i.e. \(S_{T}\leq \frac{(2-q) (d+v+\frac{c}{b} )}{\beta (1+d)(1-q)}\). Under this case, \(B_{2}(A)>0\) holds for \(A\in (dS_{T},+\infty )\). Furthermore, there is \(\lim_{A\rightarrow +\infty }B_{1}(A)=0\), hence \(B_{1}(A)<0\) for \(A\in (dS_{T},+\infty )\), which means that \(\frac{\partial \mu _{2}}{\partial A}<0\) for \(A\in (dS_{T},+\infty )\). Combining with (4.6), we have that there exists unique \(A^{*}\in (dS_{T},+\infty )\) satisfying \(\mu _{2}(A^{*})=1\) with \(\frac{\partial \mu _{2}(A^{*})}{\partial A}<0\).

If \(\frac{(2-q) (d+v+\frac{c}{b} )}{\beta }-(1+d)(1-q)S_{T}<0\) i.e. \(S_{T}>\frac{(2-q) (d+v+\frac{c}{b} )}{\beta (1+d)(1-q)}\). Under this scenario, there exists one and only one positive \(A_{1}\) such that \(B_{2}(A_{1})=0\). If \(A_{1}\leq \,dS_{T}\), then the situation is similar to \(S_{T}\leq \frac{(2-q) (d+v+\frac{c}{b} )}{\beta (1+d)(1-q)}\) discussed above. If \(A_{1}>dS_{T}\), when \(A\in (dS_{T},A_{1})\), \(B_{2}(A)<0\), hence \(B_{1}(A)\) is decreasing. Similarly, we get that \(B_{1}(A)\) is increasing when \(A\in (A_{1},+\infty )\). Further, \(\lim_{A\rightarrow +\infty }B_{1}(A)=0\), thus \(B_{1}(A)<0\) holds for \(A\in (A_{1},+\infty )\). If we also assume that \(B_{1}(A)<0\) for \(A\in (dS_{T},A_{1})\), then there is \(\frac{\partial \mu _{2}}{\partial A}<0\) for \(A\in (dS_{T},+\infty )\). Therefore, there is unique \(A^{*}\in (dS_{T},+\infty )\) satisfying \(\mu _{2}(A^{*})=1\) with \(\frac{\partial \mu _{2}(A^{*})}{\partial A}<0\). On the other hand, if we assume that there is \(\widetilde{A}\in (dS_{T},A_{1})\) such that \(B_{1}(\widetilde{A})=0\), then \(\mu _{2}\) is increasing for \(A\in (dS_{T},\widetilde{A})\), and \(\mu _{2}\) is decreasing for \(A\in (\widetilde{A},+\infty )\). Therefore, there is also unique \(A^{*}\in (\widetilde{A},+\infty )\) satisfying \(\mu _{2}(A^{*})=1\) with \(\frac{\partial \mu _{2}(A^{*})}{\partial A}<0\). Therefore, we have the following conclusion.

### Proposition 15

*If* \(R_{0}>1\) *holds*, *then there exists unique* \(A^{*}>dS_{T}\) *satisfying* \(\mu _{2}(A^{*})=1\) *with* \(\frac{\partial \mu _{2}(A^{*})}{\partial A}<0\). *And the semi*-*trivial periodic solution* \((\xi (t),0)\) *is orbitally asymptotically stable when* \(A\in (A^{*},+\infty )\) *and unstable when* \(A\in (dS_{T},A^{*})\).

In what follows, we consider the bifurcations of the semi-trivial periodic solution at \(A^{*}\). Similarly, we can easily verify that \(\mathcal{P}_{1}(0,A)=0\) holds for all \(A\in (dS_{T},+\infty )\), and \(\frac{\partial \mathcal{P}_{1}}{\partial I_{0}}(0,A^{*})=1\), \(\frac{\partial ^{2} \mathcal{P}_{1}}{\partial I_{0}\partial A}(0,A^{*})<0\). Moreover, we have

Similarly, the sign of \(g''(0;A^{*})\) is undetermined. If we assume \(g''(0;A^{*})>0\), we have \(\frac{\partial ^{2} \mathcal{P}_{1}}{\partial I_{0}^{2}}(0,A^{*})>0\), then there appears an unstable fixed point of the PoincarĂ© map \(\mathcal{P}_{1}\) when *A* passes through \(A^{*}\) from left to right.

Based on the above discussion, we have the following conclusion.

### Theorem 16

*If* \(R_{0}>1\) *and* \(g''(0;A^{*})>0\) *hold*, *then the PoincarĂ© map* \(\mathcal{P}_{1}(I_{0},A)\) *undergoes a transcritical bifurcation at* \(A=A^{*}\). *Further*, *an unstable positive fixed point appears when* *A* *passes through* \(A=A^{*}\) *from left to right*. *Correspondingly*, *system* (2.2) *has an unstable positive periodic solution if* \(A\in (A^{*},A^{*}+\delta )\) *with* \(\delta >0\).

### Theorem 17

*If* \(R_{0}>1\), \(g''(0;A^{*})=0\), *and* \(g'''(0;A^{*})>0\) *hold true*, *then the PoincarĂ© map* \(\mathcal{P}_{1}(I_{0},A)\) *undergoes a supercritical pitchfork bifurcation at* \(A=A^{*}\). *Therefore*, *an unstable positive fixed point appears when* *A* *goes through* \(A=A^{*}\) *from left to right*. *Correspondingly*, *system* (2.2) *has an unstable positive periodic solution if* \(A\in (A^{*},A^{*}+\delta )\) *with* \(\delta >0\).

By choosing \(S_{T}\), *q*, *A* as the bifurcation parameters and fixing all the other parameters, we numerically verified the existence of the critical bifurcation point with respect to these three parameters in Fig.Â 1. In Fig.Â 2(A), we showed that the semi-trivial periodic solution is globally stable when we choose \(S_{T}=6.3\). As \(S_{T}\) increases to 8, then an unstable periodic solution appears, the semi-trivial periodic solution and the positive equilibrium \(E^{*}\) are bistable, as shown in Fig.Â 2(B).

## 5 Conclusion and discussion

Recently, several studies pioneered the attempt to include the susceptible population-guided interventions for controlling infectious diseases into the SIR systems [27â€“30]. As highlighted in these studies, with this kind of control strategies, it is possible to define the control reproduction number for the impulsive system compared with the infected-population induced control interventions. In this study, we extended the SIS model by including the control strategy i.e. susceptible population-guided impulsive control, and systematically studied its dynamics and bifurcations.

We started with recalling the dynamic behavior of the ODE system. By defining the PoincarĂ© map of the proposed model and presenting the proof of its properties, we explored the existence and stability of the semi-trivial periodic solution. We found a threshold parameter, which can be defined as the control reproduction number, determining the stability of the semi-trivial periodic solution. In detail, it is locally stable when the control reproduction number is less than 1 and unstable when the reproduction number exceeds the threshold value 1.

Furthermore, we investigated the bifurcations near the semi-trivial periodic solution considering the key parameters, including the constant recruitment rate *A*, the threshold level of the susceptible population \(S_{T}\), and the pulse vaccination rate *q*. We proved that as the bifurcation parameters vary, the system can undergo the transcritical or pitchfork bifurcation near the semi-trivial periodic solution; consequently, the semi-trivial periodic solution loses its stability, while an unstable positive periodic solution appears. It is also interesting to summarize the biological implications by this impulsive SIS model and its dynamic behaviors and bifurcations. Through the bifurcation analysis with respect to \(S_{T}\), we obtained a critical value of the threshold to guarantee the disease-free periodic solution to be stable. This means that by choosing a proper threshold of the susceptible population size, this kind of control strategy can indeed help to eliminate the disease. The bifurcations with respect to other parameters can actually reflect similar implications, like choosing a proper vaccination rate. On the other hand, the bistability of the positive equilibrium and the semi-trivial periodic solution indicate that the outcomes under this state-dependent control strategy depend on the initial conditions of the susceptible population and the infected population, hence a personalized strategy is recommended. Our model does not cover spatio-temporal delay, thus considering the effect of spatio-temporal delay [7] could be a valuable issue for future research.

## Availability of data and materials

Data sharing is not applicable to this article as no datasets were generated or analysed during the current study.

## References

Cobey, S.: Modeling infectious disease dynamics. Science

**368**, 713â€“714 (2020)Morens, D.M., Folkers, G.K., Fauci, A.S.: The challenge of emerging and re-emerging infectious diseases. Nature

**430**(6996), 242â€“249 (2004)WHO Coronavirus (COVID-19) Dashboard. https://covid19.who.int/table [Accessed at May 18, 2021]

Tang, B., Wang, X., Li, Q., et al.: Estimation of the transmission risk of the 2019-nCoV and its implication for public health interventions. J. Clin. Med.

**9**, 462 (2020)Hsiang, S., Allen, D., Annan-Phan, S., et al.: The effect of large-scale anti-contagion policies on the COVID-19 pandemic. Nature

**584**, 262â€“267 (2020)Worby, C.J., Chang, H.H.: Face mask use in the general population and optimal resource allocation during the COVID-19 pandemic. Nat. Commun.

**11**, 4049 (2020)Zhou, Y.H., Yang, Y.R., Zhang, H.J.: Stability of non-monotone critical waves in a population dynamics model with spatio-temporal delay. Math. Nat. Sci.

**2**(1), 8â€“23 (2018)Atangana, A., Araz, S.R.: Modeling and forecasting the spread of COVID-19 with stochastic and deterministic approaches: Africa and Europe. Adv. Differ. Equ.

**2021**, 57 (2021)Atangana, A., Araz, S.R.: Mathematical model of COVID-19 spread in Turkey and South Africa: theory, methods and applications. Adv. Differ. Equ.

**2020**, 659 (2020)Tang, B., Xia, F., Tang, S.Y., et al.: The effectiveness of quarantine and isolation determine the trend of the COVID-19 epidemics in the final phase of the current outbreak in China. Int. J. Infect. Dis.

**95**, 288â€“293 (2020)Kucharski, A.J., Klepac, P., Conlan, A.J.K., et al.: Effectiveness of isolation, testing, contact tracing, and physical distancing on reducing transmission of SARS-CoV-2 in different settings: a mathematical modelling study. Lancet Infect. Dis.

**20**(10), 1151â€“1160 (2020)Tang, S.Y., Tang, B., Wang, A.L., Xiao, Y.N.: Holling II predator-prey impulsive semi-dynamic model with complex PoincarĂ© map. Nonlinear Dyn.

**81**, 1575â€“1596 (2015)Tang, S.Y., Liang, J.H., Xiao, Y.N., Cheke, R.A.: Sliding bifurcations of Filippov two stage pest control models with economic thresholds. SIAM J. Appl. Math.

**72**(4), 1061â€“1080 (2012)Tang, B., Xiao, Y.N., Sivaloganathan, S., Wu, J.H.: A piecewise model of virus-immune system with effector cell-guided therapy. Appl. Math. Model.

**47**, 227â€“248 (2017)Zhou, Y.C., Liu, H.W.: Stability of periodic solutions for an SIS model with pulse vaccination. Math. Comput. Model.

**38**, 299â€“308 (2003)Tang, S.Y., Pang, W.H., Cheke, R.A., Wu, J.H.: Global dynamics of a state-dependent feedback control system. Adv. Differ. Equ.

**2015**, 322 (2015)Tang, B., Xiao, Y.N., Tang, S.Y., Check, R.A.: A feedback control model of comprehensive therapy for treating immunogenic tumours. Int. J. Bifurc. Chaos

**26**(3), 1650039 (2016)Nie, L., Peng, J., Teng, Z., Hu, L.: Existence and stability of periodic solution of a Lotka-Volterra predator-prey model with state dependent impulsive effects. J. Comput. Appl. Math.

**224**, 544â€“555 (2009)Tian, Y., Sun, Y., Chen, L.: Modelling and qualitative analysis of a predator-prey system with state-dependent impulsive effects. Math. Comput. Simul.

**82**, 318â€“331 (2011)Gupta, V., Jarad, F., Valliammal, N., Ravichandran, C., Nisar, K.S.: Existence and uniqueness of solutions for fractional nonlinear hybrid impulsive system. Numer. Methods Partial Differ. Equ.

**2**(2), 117â€“134 (2020)Khan, H., Khan, A., Jarad, F., Shah, A.: Existence and data dependence theorems for solutions of an ABC-fractional order impulsive system. Chaos Solitons Fractals

**131**, 109477 (2020)Kumar, A., Chauhan, H.V.S., Ravichandran, C., Nisar, K.S., Baleanu, D.: Existence of solutions of non-autonomous fractional differential equations with integral impulse condition. Adv. Differ. Equ.

**2020**, 434 (2020)Bulut, H., Kumar, D., Singh, J., Swroop, R., Baskonus, H.M.: Analytic study for a fractional model of HIV infection of CD4

^{+}T lymphocyte cells. Math. Nat. Sci.**2**, 33â€“43 (2018)Ravichandran, C., Logeswari, K., Jarad, F.: New results on existence in the framework of Atangana-Baleanu derivative for fractional integro-differential equations. Chaos Solitons Fractals

**125**, 194â€“200 (2019)Chalishajar, D., Ravichandran, C., Dhanalakshmi, S., Murugesu, R.: Existence of fractional impulsive functional integro-differential equations in Banach spaces. Appl. Math. Innov.

**2**(18), 117â€“134 (2019)Jothimani, K., Kaliraj, K., Hammouch, Z., Ravichandran, C.: New results on controllability in the framework of fractional integrodifferential equations with nondense domain. Eur. Phys. J. Plus

**134**, 441 (2019)Li, Q., Xiao, Y.N.: Dynamical behavior and bifurcation analysis of the SIR model with continuous treatment and state-dependent impulsive control. Int. J. Bifurc. Chaos

**29**(10), 1950131 (2019)Li, Q., Xiao, Y.N.: Analysis of a mathematical model with nonlinear susceptibles-guided interventions. Math. Biosci. Eng.

**16**(5), 5551â€“5583 (2019)Zhang, Q.Q., Tang, B., Tang, S.Y.: Vaccination threshold size and backward bifurcation of SIR model with state-dependent pulse control. J. Theor. Biol.

**455**, 75â€“85 (2018)Zhang, Q.Q., Tang, B., Tang, S.Y.: Bifurcation analysis of a generalized impulsive Kolmogorov model with applications to pest and disease control. SIAM J. Appl. Math.

**80**(4), 1796â€“1819 (2020)Cui, J., Mu, X., Wan, H.: Saturation recovery leads to multiple endemic equilibria and backward bifurcation. J. Theor. Biol.

**254**(2), 275â€“283 (2002)van den Driessche, P., Watmough, J.: Reproduction numbers and sub-threshold endemic equilibria for compartmental models of disease transmission. Math. Biosci.

**1**(80), 29â€“48 (2002)Simenov, P., Bainov, D.D.: Orbital stability of the periodic solutions of autonomous systems with impulse effect. Int. J. Syst. Sci.

**19**, 2561â€“2585 (1989)Grandmont, J.M.: Nonlinear difference equations, bifurcations and chaos: an introduction. Res. Econ.

**62**(3), 122â€“177 (2008)

## Acknowledgements

The author presents their sincere thanks to the editors.

## Funding

This work was partially supported by the National Natural Science Foundation of China (No.: 12001014, 61761002, 12061002) and the Construction Project of First-Class Disciplines in Ningxia Higher Education (No.: NXYLXK2017B09).

## Author information

### Authors and Affiliations

### Contributions

All of this work was done by Jinyan. The author read and approved the final manuscript.

### Corresponding author

## Ethics declarations

### Competing interests

The author declares that they have no competing interests.

## Rights and permissions

**Open Access** This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the articleâ€™s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the articleâ€™s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

## About this article

### Cite this article

Wang, J. Dynamics and bifurcation analysis of a state-dependent impulsive SIS model.
*Adv Differ Equ* **2021**, 287 (2021). https://doi.org/10.1186/s13662-021-03436-3

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13662-021-03436-3