THE DYNAMIC BEHAVIOR OF DETERMINISTIC AND STOCHASTIC ...

24
Journal of Applied Analysis and Computation Website:http://jaac-online.com/ Volume 8, Number 4, August 2018, 1061–1084 DOI:10.11948/2018.1061 THE DYNAMIC BEHAVIOR OF DETERMINISTIC AND STOCHASTIC DELAYED SIQS MODEL * Xiaobing Zhang 1,2 , Haifeng Huo 1,2,, Hong Xiang 2 and Dungang Li 2 Abstract In this paper, we present the deterministic and stochastic delayed SIQS epidemic models. For the deterministic model, the basic reproductive number R0 is given. Moreover, when R0 < 1, the disease-free equilibrium is globally asymptotical stable. When R 0 > 1 and additional conditions hold, the endemic equilibrium is globally asymptotical stable. For the stochastic model, a sharp threshold R 0 which determines the extinction or persistence in the mean of the disease is presented. Sufficient conditions for extinction and persistence in the mean of the epidemic are established. Numerical simulations are also conducted in the analytic results. Keywords Random perturbations, Itˆo s formula, the threshold, time delay. MSC(2010) 34K45, 37G15, 92C45. 1. Introduction Quarantine (Isolation) is an important intervention means to control the spread of infectious diseases. It can reduce transmissions of the infections to susceptibles. More recently, Quarantine is popularly used to fight against the spread of some emerging and re-emerging human and animal infectious diseases, such as the swine influenza pandemic, foot-and-mouth disease, the severe acute respiratory syndrome (SARS), ebola and so on (see [6, 17, 32, 37] and the references therein). Numerous mathematical models have been designed to study effects of quaran- tine on controlling the spread of infectious disease in human and animal populations (see [5, 8, 2831, 34, 36] and the references therein). Hsieh etc [13] studied impact of quarantine on the 2003 SARS outbreak. Dobay etc [7] investigated a SIR model with the quarantine by analyzing an epidemic of syphilis. Liu etc [24] discussed the stability of an SIQS model with the effects of transposrt-related infection and exit-entry screenings. Chen etc [4] addressed the stability analysis and the estima- the corresponding author. Email address:[email protected](H. F. Huo) 1 College of Electrical and Information engineering, Lanzhou University of Technology, Lanzhou, Gansu, 730050, China 2 Department of Applied Mathematics, Lanzhou University of Technology, Lanzhou, Gansu, 730050, China * The authors were supported by National Natural Science Foundation of China (11461041 and 11661050), National Science Foundation of Gansu Province (148RJZA024) and Hongliu Young Teachers of Lanzhou University of Tech- nology (Q201313).

Transcript of THE DYNAMIC BEHAVIOR OF DETERMINISTIC AND STOCHASTIC ...

Journal of Applied Analysis and Computation Website:http://jaac-online.com/

Volume 8, Number 4, August 2018, 1061–1084 DOI:10.11948/2018.1061

THE DYNAMIC BEHAVIOR OFDETERMINISTIC AND STOCHASTIC

DELAYED SIQS MODEL∗

Xiaobing Zhang1,2, Haifeng Huo1,2,† , Hong Xiang2

and Dungang Li2

Abstract In this paper, we present the deterministic and stochastic delayedSIQS epidemic models. For the deterministic model, the basic reproductivenumber R0 is given. Moreover, when R0 < 1, the disease-free equilibrium isglobally asymptotical stable. When R0 > 1 and additional conditions hold,the endemic equilibrium is globally asymptotical stable. For the stochastic

model, a sharp threshold∧R0 which determines the extinction or persistence in

the mean of the disease is presented. Sufficient conditions for extinction andpersistence in the mean of the epidemic are established. Numerical simulationsare also conducted in the analytic results.

Keywords Random perturbations, Ito′s formula, the threshold, time delay.

MSC(2010) 34K45, 37G15, 92C45.

1. Introduction

Quarantine (Isolation) is an important intervention means to control the spread ofinfectious diseases. It can reduce transmissions of the infections to susceptibles.More recently, Quarantine is popularly used to fight against the spread of someemerging and re-emerging human and animal infectious diseases, such as the swineinfluenza pandemic, foot-and-mouth disease, the severe acute respiratory syndrome(SARS), ebola and so on (see [6, 17,32,37] and the references therein).

Numerous mathematical models have been designed to study effects of quaran-tine on controlling the spread of infectious disease in human and animal populations(see [5, 8, 28–31, 34, 36] and the references therein). Hsieh etc [13] studied impactof quarantine on the 2003 SARS outbreak. Dobay etc [7] investigated a SIR modelwith the quarantine by analyzing an epidemic of syphilis. Liu etc [24] discussedthe stability of an SIQS model with the effects of transposrt-related infection andexit-entry screenings. Chen etc [4] addressed the stability analysis and the estima-

†the corresponding author. Email address:[email protected](H. F. Huo)1College of Electrical and Information engineering, Lanzhou University ofTechnology, Lanzhou, Gansu, 730050, China

2Department of Applied Mathematics, Lanzhou University of Technology,Lanzhou, Gansu, 730050, China

∗The authors were supported by National Natural Science Foundation of China(11461041 and 11661050), National Science Foundation of Gansu Province(148RJZA024) and Hongliu Young Teachers of Lanzhou University of Tech-nology (Q201313).

1062 X. B. Zhang, H. F. Huo, X. Hong & D. Li

tion of domain of attraction for the endemic equilibrium of a class of susceptible-exposed-infected-quarantine (SEIQ) epidemic models. Herbert etc [12] introducedthe following SIQS model

S′ (t) = A− βIS − µS + γI + εQ,

I ′ (t) = βIS − (µ+ α2 + δ + γ) I, (1.1)

Q′ (t) = δI − (µ+ α3 + ε)Q.

The meanings of all variables and parameters in the above model are as follows:S (t): the number of susceptible individuals in the population at time t;I (t): the number of infectious individuals in the population at time t;Q (t): the number of quarantined individuals in the population at time tA: the recruitment rate of susceptibles corresponding to births and immigration;µ: the natural death rate;δ: the rate of individuals leaving the infective compartment I for the quarantined

compartment Q;α2: the disease-related death rate in I ;α3: the disease-related death rate in Q;γ and ε: the rate of individuals recovering and returning to susceptible com-

partment S from compartments I and Q, respectively.In [12], the authors assumed that the individuals in the quarantined compart-

ment Q (t) return to the susceptible compartment S at constant rate. However,in reality, the infectious are usually quarantined for a fixed time period in term ofthe types of infectious diseases. For this reason, the fixed quarantined period isincorporated in our model by introducing the term δI (t− τ) e−(µ+α3)τ , where τ isthe length of quarantined period. That is, we suppose that a infectious individualis quarantined in the quarantined compartment Q for a fixed finite time period τ ,then return to susceptible compartment S. Consequently, the model (1.2) can berewritten as follows:

dS (t)

dt= A− βIS − µS + γI + δI (t− τ) e−(µ+α3)τ ,

dI (t)

dt= βIS − (µ+ α2 + δ + γ) I, (1.2)

dQ (t)

dt= δI − (µ+ α3)Q− δI (t− τ) e−(µ+α3)τ ,

Moreover, we assume that all parameters are positive except τ which is non-negative.

As usual, the initial condition of (1.2) is given as

S (ϖ) = ψ1 (ϖ) , I (ϖ) = ψ2 (ϖ) , Q (ϖ) = ψ3 (ϖ) , − τ ≤ ϖ ≤ 0,

ψ1 (ϖ) ≥ 0, ψ2 (ϖ) ≥ 0, ψ3 (ϖ) ≥ 0, − τ ≤ ϖ ≤ 0, (1.3)

ψ1 (0) > 0, ψ2 (0) > 0, ψ3 (0) > 0,

where ψ = (ψ1, ψ2, ψ3)T ∈ C

([−τ, 0] ,R3

+0

), the Banach space of continuous func-

tions mapping the interval [−τ, 0] into R3+0, where R3

+0=(u1, u2, u3) :u1, u2, u3≥0 .On the other hand, any system is always subject to environmental noise. Re-

cently, many scholars introduce environmental noise to epidemic models and studytheir influence on the dynamics of infectious disease (see [1,10,11,15,16,18–21,25,27,

The dynamic behavior of SIQS model . . . 1063

38–40]). Gray etc [9] studied a stochastic differential equation SIS epidemic model.Teng etc [33] discussed persistence and extinction for a class of stochastic SIS epi-demic model with nonlinear incidence rate. Liu etc [22] analysed the deterministicand stochastic SIRS epidemic models with nonlinear incidence. Wei etc [35] con-sidered an SIQS epidemic model with saturated incidence and independent randomperturbations. Zhang etc [41] introduced a deterministic and stochastic SIQS modelwith nonlinear incidence and gave sufficient conditions for the extinction and theexistence of a unique stationary distribution of a disease.

Inspired by the above literature, we introduce environmental noise into (1.2),consequently, obtain the following stochastic SIQS model:

dS (t) =(A− βIS − µS + γI + δI (t− τ) e−(µ+α3)τ

)dt+ σ1SdB1 (t) ,

dI (t) = (βIS − (µ+ α2 + δ + γ) I) dt+ σ2IdB2 (t) , (1.4)

dQ (t) =(δI − (µ+ α3)Q− δI (t− τ) e−(µ+α3)τ

)dt+ σ3QdB3 (t) ,

where all variables and parameters have the same meaning in (1.2) . Bi (t) (i = 1, 2, 3)are mutually independent standard Brownian motions and σi (i = 1, 2, 3) representcorresponding the intensities, respectively.

Because the first two equations are independent of the third equation of system(1.4), so we only need consider following system:

dS (t) =(A− βIS − µS + γI + δI (t− τ) e−(µ+α3)τ

)dt+ σ1SdB1 (t) , (1.5)

dI (t) = (βIS − (µ+ α2 + δ + γ) I) dt+ σ2IdB2 (t) .

For system (1.5), we are concerned about a sharp threshold which determinesextinction or persistence of the disease. As far as we know, the results of this studyare very few. Cai etc [3] studied a stochastic SIRS epidemic model with infectiousforce under intervention strategies and gave a sharp threshold of extinction of diseaseand endemic stationary distribution. Ji etc [42] investigated threshold of a stochasticSIR model with bilinear incidence. Zhao etc [43] studied a sharp threshold of astochastic SIRS epidemic model with saturated incidence and then considered asharp threshold of a stochastic SIS epidemic model with vaccination (see [44]).Recently, they investigated a sharp threshold of a stochastic SIRS epidemic modelin a population with varying size (see [14]) and a sharp threshold of a stochasticSIVS epidemic model with nonlinear saturated incidence. Liu [23] analysed the asharp threshold of a stochastic delayed SIR epidemic model.

The purpose of the current study is to analyse effect of isolation time τ andenvironmental noise on dynamic behavior of the model (1.2) and (1.5). To proceed,the rest of the paper is arranged as follows. In Section 2, the basic reproductionnumber R0 of the model (1.2) is presented. Moreover, the global stability of thedisease-free equilibrium is established, if R0 < 1. Hopf bifurcations at the endemicequilibrium is discussed. Sufficient conditions are derived for the global stabilityof the endemic equilibrium. In Section 3, the existence and uniqueness of a global

positive solution of system (1.5) is proved. A sharp threshold∧R0 of system (1.5) is

proposed. Moreover, it is showed that when∧R0 < 1, the disease will died out and

when∧R0 > 1, the disease will persist. In Section 4, we give some discussions.

1064 X. B. Zhang, H. F. Huo, X. Hong & D. Li

2. Asymptotical behavior of the deterministic model(1.2)

Obviously, for the model (1.2) , the disease free equilibrium P0

(Aµ , 0, 0

)always

exists.

Now, we analyze the behavior of the system (1.2) near P0. The characteristicequation of the linearization of (1.2) near P0 is

det

λ+ µ −γ + βA

µ − δe−(µ+α3+λ)τ 0

0 λ− βAµ + (µ+ α2 + δ + γ) 0

0(1− e−(µ+α3+λ)τ

)(λ+ µ+ α3)

= 0,

that is,

(λ+ µ) (λ+ µ+ α3)

(λ− βA

µ+ (µ+ α2 + δ + γ)

)= 0. (2.1)

The roots of (2.1) are λ = −µ, λ = −µ− α3 and λ = βAµ − (µ+ α2 + δ + γ) .

Define the basic reproduction number R0 = βAµ(γ+δ+µ+α2)

. If R0 < 1, then the

roots of (2.1) are negative and the disease free equilibrium P0 is locally asymptot-ically stable. If R0 > 1, then (2.1) has a positive root and hence the disease freeequilibrium P0 is unstable.

Next, we will discuss globally asymptotical behavior of the disease-free equilib-rium P0.

Theorem 2.1. If R0 < 1, then the disease-free equilibrium P0

(Aµ , 0, 0

)of system

(1.2) is globally asymptotical stable.

Proof. Since R0 < 1, we may choose ε > 0 sufficiently small such that

β

(A

µ+ ε

)< (γ + δ + µ+ α2) . (2.2)

Denote the total population N (t) = S (t) + I (t) +Q (t) . From (1.2) , we have

dN (t)

dt=A− µN − α2I − α3Q

≤A− µN,

which yields

limt→∞

supN (t) ≤ A

µ. (2.3)

Hence, limt→∞

supS (t) ≤ Aµ . This implies that for any ε satisfying (2.2) , there exists

a time t1 > 0 such that when t > t1, S (t) < Aµ + ε.

The dynamic behavior of SIQS model . . . 1065

For any ε satisfying (2.2) and t > t1, it follows from the second equation ofsystem (1.2) that

dI (t)

dt≤

(A

µ+ ε

)− (µ+ α2 + δ + γ)

]I.

Noting that (2.2) holds, it is easy to see that

limt→∞

sup I (t) = 0. (2.4)

Similarly, for any ε satisfying (2.2) , there exists a time t2 > t1 such that whent > t2, I (t) < ε.

Moreover, for t > t2 + τ, from the first equation of system (1.2) we get that

dS (t)

dt≥ A− βεS − µS,

which deduce that

limt→∞

inf S (t) ≥ A

µ+ βε.

Letting ε→ 0, we have that

limt→∞

inf S (t) ≥ A

µ.

This together with (2.3), yields that

limt→∞

S (t) =A

µ.

It is easy to confirm that the third equation of system equivalent to

Q (t) = δ

∫ t

t−τ

I (r) e−(µ+α3)(t−τ)dr.

Thus, for t > τ, using L’Hospital’s rule and (2.4) yields that

limt→∞

Q (t) = 0.

Furthermore, noting that when R0 < 1, the disease-free equilibrium P0

(Aµ , 0, 0

)of

system is locally asymptotically stable. Hence, P0 is globally asymptotically stable.This finishes the proof.

When R0 > 1, it is easy to confirm that there exists the endemic equilibrium

P1 (S∗, I∗, R∗) =

(µ+α2+δ+γ

β , β(R0−1)

µ(γ+δ+µ+α2)(µ+α2+δ−δe−(µ+α3)τ),δ(1−e−(µ+α3)τ)

µ+α3I∗).

Next, let us discuss the asymptotical behavior of the system (1.2) near P1.The characteristic equation of the linearization of (1.2) near P1 is

g (λ) = (λ+ µ+ α3)(λ2 + aλ+ b+ ce−λτ

)= 0,

1066 X. B. Zhang, H. F. Huo, X. Hong & D. Li

where

a =βI∗ + µ,

b =βI∗ (µ+ α2 + δ) ,

c =− βI∗δe−(µ+α3)τ .

If τ = 0, it is easy to see

g (λ) = (λ+ µ+ α3)(λ2 + (βI∗ + µ)λ+ βI∗ (µ+ α2)

)and all roots of g (λ) = 0 have negative real parts. Hence, when τ = 0, the endemicequilibrium P1 is locally asymptotically stable.

In addition, as τ → ∞,

g (λ) = (λ+ µ+ α3)(λ2 + (βI∗ + µ)λ+ βI∗ (µ+ α2 + δ)

),

of which all roots have negative real parts. So, the endemic equilibrium P1 is alsolocally asymptotically stable, as τ → ∞.

Denote

h (λ) = λ2 + aλ+ b+ ce−λτ . (2.5)

Let λ = iy with y > 0 and τ > 0 finite and h (iy) = 0, we obtain that sin yτ = − (βI∗+µ)y

βI∗δe−(µ+α3)τ = ayc ,

cos yτ = βI∗(µ+α2+δ)−y2

βI∗δe−(µ+α3)τ = y2−bc .

(2.6)

Squaring and adding the equations in (2.6) gives

y4 +(a2 − 2b

)y2 + b2 − c2 = 0. (2.7)

Obviously,

b2 − c2 = [βI∗ (µ+ α2 + δ)]2 −

(βI∗δe−(µ+α3)τ

)2

> 0,

a2 − 2b =β2I∗2 + 2βI∗µ+ µ2 − 2βI∗ (µ+ α2 + δ)

=β2I∗2 − 2β (α2 + δ) I∗ + µ2.

If (2.7) has no positive root, then the endemic equilibrium P1 is locally asymptot-ically stable. Consequently, we have the following sufficient condition for stabilityof the endemic equilibrium P1.

Theorem 2.2. Suppose that

2b− a2 < 2√b2 − c2, (2.8)

then the endemic equilibrium P1 of system (1.2) is locally asymptotically stable.

Proof. If a2 − 2b ≥ 0, then (2.8) hold and (2.7) does not admit any positive root.

If a2 − 2b < 0, then (2.8) implies that the discriminant of (2.7) 1 =(2b− a2

)2 −4(b2 − c2

)< 0. Therefore, (2.7) has no positive root and the endemic equilibrium

P1 of (1.2) system is locally asymptotically stable.

The dynamic behavior of SIQS model . . . 1067

Define

f (I) = β2I2 − 2β (α2 + δ) I + µ2,

then a2 − 2b = f (I∗) .Let 2 be the discriminant of f (I) , then

2 =4β2 (α2 + δ)2 − 4β2µ2

=4β2 (α2 + δ + µ) (α2 + δ − µ) .

Clearly, if α2 + δ − µ > 0, then f (I) > 0 which implies a > 0. Namely, whenα2+δ−µ > 0, the positive equilibrium P1 of system is locally asymptotically stablefor all τ > 0.

If 2b− a2 = 2√b2 − c2, then (2.7) has a unique positive root y1 = 4

√b2 − c2.

If 2b− a2 > 2√b2 − c2, then (2.7) has two positive roots y− and y+ satisfying

y2± (τ) =1

2

(2b− a2 ±

√(2b− a2)

2 − 4 (b2 − c2)

).

In order to find that τ values of stability switches, we use the procedure describedin Beretta etc [2]. For each positive root y (τ) of (2.7) , we define the angle θ (τ) ∈(0, 2π) as a solution of sin θ (τ) = a(τ)y(τ)

c(τ) ,

cos θ (τ) = y2(τ)−b(τ)c(τ) .

For each y (τ) satisfying (2.7) , define

Sn (τ) = τ − θ (τ) + 2nπ

y (τ), n = 0,±1, · · · .

Following Beretta etc [2], we have the following result.

Theorem 2.3. If R0 > 1. For system , we have(1) If β2I∗2−2β (α2 + δ) I∗+µ2 > 0, then the endemic equilibrium P1 of system

(1.2) is locally asymptotically stable for all τ ≥ 0.(2) Suppose that there is τ∗ > 0 satisfying Sn (τ

∗) = 0 for some n ∈ N and that(2.7) has a pair of simple and conjugate pure imaginary roots λ = ±y (τ∗) i withy (τ∗) > 0.

(a) when y (τ∗) = y+ (τ∗) , this pair of simple pure imaginary roots crosses theimaginary axis from left to right (as τ increases) if ξ+ (τ∗) > 0 and from right toleft if ξ+ (τ∗) < 0, where

ξ+ (τ∗) = sign

d (Reλ)

∣∣∣∣λ=iy+(τ∗)

= sign

dSn (τ)

∣∣∣∣τ=τ∗

.

(b) when y (τ∗) = y− (τ∗) , this pair of simple pure imaginary roots crosses theimaginary axis from left to right (as τ increases) if ξ− (τ∗) > 0 and from right toleft if ξ− (τ∗) < 0, where

ξ− (τ∗) = sign

d (Reλ)

∣∣∣∣λ=iy−(τ∗)

= −sign

dSn (τ)

∣∣∣∣τ=τ∗

.

1068 X. B. Zhang, H. F. Huo, X. Hong & D. Li

To illustrate possible behaviors of system (1.2) , we give some examples andperform numerical simulation.

Example 2.1. In system (1.2) , choose A = 0.25, β = 4, µ = 0.1, α2 = 0.1,α3 = 0.001, γ = 0.001, δ = 5. These give R0 = 1.5382. System (1.2) has a uniqueendemic equilibrium P1. Let τ = 1 in system (1.2) with the other coefficients above,numerical simulation shows that the endemic equilibrium P1 of system (1.2) is stable(see Fig. 1). Let τ = 3 in system (1.2) with the other coefficients above, the system(1.2) admits a periodic solution (see Fig. 2). As the quarantine period increase fromτ = 3 to τ = 4, the amplitude of these oscillations increases correspondingly (seeFig. 3). Further increase τ = 30, the periodic solution disappears and the endemicequilibrium P1 becomes stable (Fig. 4). This implies that there exist a interval inwhich system admits a periodic solution.

0 20 40 60 80 1000

0.5

1

1.5

t

S(t)I(t)Q(t)

Figure 1. A = 0.25, β = 4, µ = 0.1, α2 =0.1, α3 = 0.001, γ = 0.001, δ = 5, τ = 1.

0 100 200 300 400 500−0.5

0

0.5

1

1.5

2

2.5

t

S(t)I(t)Q(t)

Figure 2. A = 0.25, β = 4, µ = 0.1, α2 =0.1, α3 = 0.001, γ = 0.001, δ = 5, τ = 3.

0 100 200 300 400 500−0.5

0

0.5

1

1.5

2

2.5

t

S(t)I(t)Q(t)

Figure 3. A = 0.25, β = 4, µ = 0.1, α2 =0.1, α3 = 0.001, γ = 0.001, δ = 5, τ = 4.

0 200 400 600 800 10000

0.2

0.4

0.6

0.8

1

1.2

1.4

1.6

1.8

t

S(t)I(t)Q(t)

Figure 4. A = 0.25, β = 4, µ = 0.1, α2 =0.1, α3 = 0.001, γ = 0.001, δ = 5, τ = 30.

Next, we present a lemma to be used to prove globally asymptotical stability ofthe endemic equilibrium P1.

The dynamic behavior of SIQS model . . . 1069

Lemma 2.1. Let the initial value for system (1.2) satisfy (1.3). Then S (t) ≤max

Aµ , S (0) + I (0) +R (0)

≜ N∞.

Proof. From system (1.2) , we know that the total population N (t) satisfy

dN (t)

dt= A− µN − α2I − α3Q ≤ A− µN.

Now, Consider the following auxiliary equationdu(t)dt = A− µu (t) ,

u (0) = S (0) + I (0) +R (0) .

It is easy to know that

u (t) =A

µ+

(u (0)− A

µ

)e−ut → A

µas t→ ∞.

This implies that u (t) ≤ max

Aµ , u (0)

. Hence, it follows from the comparison

principle that

N (t) ≤ u (t) ≤ max

A

µ, S (0) + I (0) +R (0)

.

Consequently,

S (t) ≤ N (t) ≤ N∞.

Theorem 2.4. Suppose that R0 > 1. If µ − 12δe

−(µ+α3)τ > 0, µ + α3 − 12δ −

12δe

−(µ+α3)τ > 0 and c (µ+ α2 + δ)+(µ+ α2 + δ + γ)−βN∞−12δ−

1+3c2 δe−(µ+α3)τ >

0, then the endemic equilibrium P1 (S∗, I∗, Q∗) of system (1.2) is globally asymp-

totical stable, where N∞ = max

Aµ , S (0) + I (0) +R (0)

and c = βI∗

2µ+α2+δ .

Proof. We center system (1.2) at the endemic equilibrium P1 (S∗, I∗, Q∗) by in-

troducing new variables as

x = S − S∗, y = I − I∗ and z = Q−Q∗.

After substituting these variables, system (1.2) can be rewritten in the followingform:

dxdt = −βI∗x− βSy − µx+ γy + δy (t− τ) e−(µ+α3)τ ,

dy(t)dt = βI∗x+ βSy − (µ+ α2 + δ + γ) y,

dz(t)dt = δy − (µ+ α3) z − δy (t− τ) e−(µ+α3)τ .

(2.9)

Now, let us introduce the following functional:

V1 (x, y, z) =1

2c (x+ y)

2+

1

2

(y2 + z2

),

1070 X. B. Zhang, H. F. Huo, X. Hong & D. Li

where c = βI∗

2µ+α2+δ . Differentiating V (x, y, z) and using (2.9) gives

dV1dt

=c (x+ y)

−βI∗x− βSy − µx+ γy + δy (t− τ) e−(µ+α3)τ

+βI∗x+ βSy − (µ+ α2 + δ + γ) y

+ y [βI∗x+ βSy − (µ+ α2 + δ + γ) y]

+ z[δy − (µ+ α3) z − δy (t− τ) e−(µ+α3)τ

]=− cµx2 + [βS − c (µ+ α2 + δ)− (µ+ α2 + δ + γ)] y2 − (µ+ α3) z

2

+ [−c (µ+ α2 + δ)− cµ+ βI∗]xy + δyz + cδxy (t− τ) e−(µ+α3)τ

+ cδyy (t− τ) e−(µ+α3)τ − δzy (t− τ) e−(µ+α3)τ .

Using c = βI∗

2µ+α2+δ and Cauchy-Schwartz inequality, we obtian that

dV1dt

≤− cµx2 + [βS − c (µ+ α2 + δ)− (µ+ α2 + δ + γ)] y2

− (µ+ α3) z2 +

1

2δ(y2 + z2

)+

1

2cδe−(µ+α3)τx2

+1

2cδe−(µ+α3)τy2 (t− τ) +

1

2cδe−(µ+α3)τy2

+1

2cδe−(µ+α3)τy2 (t− τ) +

1

2δe−(µ+α3)τz2 +

1

2δe−(µ+α3)τy2 (t− τ)

=− c

(µ− 1

2δe−(µ+α3)τ

)x2

+

[c (µ+ α2 + δ) + (µ+ α2 + δ + γ)− βS − 1

2δ − 1

2cδe−(µ+α3)τ

]y2

−(µ+ α3 −

1

2δ − 1

2δe−(µ+α3)τ

)z2 +

(c+

1

2

)δe−(µ+α3)τy2 (t− τ) .

Choose the Lyapunov functional

V (x, y, z) = V1 (x, y, z) +

(c+

1

2

)δe−(µ+α3)τ

∫ t

t−τ

y2 (r) dr.

Using Lemma 2.1, we get

dV

dt≤− c

(µ− 1

2δe−(µ+α3)τ

)x2 −

c (µ+ α2 + δ) + (µ+ α2 + δ + γ)

−βN∞ − 12δ −

12cδe

−(µ+α3)τ

y2−(µ+ α3 −

1

2δ − 1

2δe−(µ+α3)τ

)z2 +

(c+

1

2

)δe−(µ+α3)τy2

=− c

(µ− 1

2δe−(µ+α3)τ

)x2 −

(µ+ α3 −

1

2δ − 1

2δe−(µ+α3)τ

)z2

−[c (µ+ α2 + δ) + (µ+ α2 + δ + γ)− βN∞ − 1

2δ − 1 + 3c

2δe−(µ+α3)τ

]y2.

By the conditions of the Theorem 2.4 and the Lyapunov-LaSalle type theorem, itis easy to see lim

t→∞x (t) = 0, lim

t→∞y (t) = 0 and lim

t→∞z (t) = 0.

The dynamic behavior of SIQS model . . . 1071

3. Asymptotical behavior of the stochastic model(1.5)

In this section, we will discuss the dynamic behavior of the model (1.5) . First, wegive some symbols and instructions.

In what follows, let(Ω,F , Ft≥0 , P

)be a complete probability space with

a filtration Ft≥0 satisfying the usual conditions (i.e. it is increasing and rightcontinuous while F0 contains all P−null sets).

In general, the d-dimensional stochastic system:

dX (t) = f (t,X (t)) dt+ g (t,X (t)) dBt, (3.1)

where f (t, x) is an function in Rd defined in [t0,∞] × Rd, and g (t, x) is an d ×mmatrix, f , g are locally Lipschitz functions in x. Bt is an m-dimensional standardWiener process defined on the above probability space.

Denote by C2,1(Rd × [t0,∞] ; R+

)the family of all nonnegative functions V (x, t)

defined on Rd× [t0,∞] such that they are continuously twice differentiable in x andonce in t. Set Rd

+ =x ∈ Rd, xi > 0, 1 ≤ 1 ≤ d

. The differential operator L of

Eq. (3.1) is defined [26] by

L =∂

∂t+

d∑i=1

fi (t)∂

∂xi+

1

2

d∑i,j=1

[gT (x, t) g (x, t)

]ij

∂2

∂xi∂xj. (3.2)

If L acts on a function V ∈ C2,1(Rd × [t0.,∞] ;R+

), then

LV (x, t) = Vt (x, t) + Vx (x, t) f (x, t) +1

2trace

[gT (x, t)Vxxg (x, t)

],

where Vt (x, t) =∂V∂t , Vx (x, t) =

(∂V∂x1

, · · · , ∂V∂xd

), Vxx =

(∂2V∂xixj

)d×d

. By Ito′s for-

mula, if x (t) ∈ Rd, then dV (x, t) = LV (x, t) dt+ Vx (x, t) g (x, t) dBt.

3.1. Existence and uniqueness of the positive solution

In this section, we show there is a unique global positive solution of model (1.5) .

Theorem 3.1. For any given initial value S (0) > 0 and I (ϖ) ≥ 0 for all ϖ ∈[−τ, 0) with I (0) > 0, there is a unique positive solution (S (t) , I (t)) of model(1.5) on t ≥ 0 and the solution will remain in ∈ R2

+ with probability 1, namely(S (t) , I (t)) ∈ R2

+ for t ≥ 0 almost surely.

Proof. Since the coefficients of the model (1.5) are locally Lipschitz continuous,for any given initial value S (0) > 0 and I (ϖ) ≥ 0 for all ϖ ∈ [−τ, 0) with I (0) > 0,there is a unique local solution (S (t) , I (t)) on t ∈ [−τ, τe) , where τe is the explosiontime (see [27]). To show this solution is global, we need to show that τe = ∞ a.s.Let k0 ≥ 0 be sufficiently large so that S (0) , I (0) ∈ [1/k0, k0]. For each integerk ≥ k0, define the stopping time

τk = inf t ∈ [0, τe) : min (S (t) , I (t)) ≤ 1/k or max (S (t) , I (t)) ≥ k ,

1072 X. B. Zhang, H. F. Huo, X. Hong & D. Li

where throughout this paper we set inf ϕ = ∞ (as usual ϕ denotes the empty set).Clearly, τk is increasing as k → ∞. Set τ∞ = limk→∞ τk whence τ∞ ≤ τe a.s. If wecan show that τ∞ = ∞ a.s. (almost surely), then τe = ∞ and (S (t) , I (t)) ∈ R2

+

a.s. for all t ≥ 0. In other words, to complete the proof, we need to show is thatτ∞ = ∞ a.s. If this statement is false, then there is a pair of constants T > 0 andϵ ∈ (0, 1) such that

P τ∞ ≤ T > ϵ.

Hence, there is an integer k1 ≥ k0 such that,

P τk ≤ T ≥ ϵ for all k ≥ k1. (3.3)

Define a C2-function V : R2+ → R1

+

V =

(S − λ− λ log

S

λ

)+ (I − 1− log I) + δe−(µ+α3)τ

∫ t

t−τ

I (r) dr, (3.4)

where λ is a positive constant to be determined later. The non-negativity of thisfunction can be seen from u− 1− log u ∀ u > 0. Using Ito′s formula, we get

dV =

(1− λ

S

)[(A− βIS − µS + γI + δI (t− τ) e−(µ+α3)τ

)dt+ σ1SdB1 (t)

]+

(1− 1

I

)[(βIS − (µ+ α2 + δ + γ) I) dt+ σ2IdB2 (t)]

+λσ2

1

2dt+

σ22

2dt+ δe−(µ+α3)τIdt− δe−(µ+α3)τI (t− τ) dt

=LV dt+

(1− λ

S

)σ1SdB1 (t) +

(1− 1

I

)σ2IdB2 (t) ,

where

LV =

(1− λ

S

)(A− βIS − µS + γI + δI (t− τ) e−(µ+α3)τ

)+λσ2

1

2

+

(1− 1

I

)(βIS − (µ+ α2 + δ + γ) I) +

σ22

2

+ δe−(µ+α3)τI − δe−(µ+α3)τI (t− τ)

=A− µS − (µ+ α2 + δ) I − λA

S+ λβI + λµ− λγ

I

S− λ

δI (t− τ) e−(µ+α3)τ

S

− βS + µ+ α2 + δ + γ +λσ2

1

2+σ22

2+ δe−(µ+α3)τI

≤A− (µ+ α2 + δ) I + λβI + λµ+ µ+ α2 + δ + γ +λσ2

1

2+σ22

2+ δe−(µ+α3)τI

=A+λβ −

[µ+ α2 + δ

(1− e−(µ+α3)τ

)]I

+ λµ+ µ+ α2 + δ + γ +λσ2

1

2+σ22

2.

Choose λ =[µ+α2+δ(1−e−(µ+α3)τ)]

β , we have

LV ≤ A+ λµ+ µ+ α2 + δ + γ +λσ2

1

2+σ22

2≜M.

The remainder of the proof follows that in Mao [27].

The dynamic behavior of SIQS model . . . 1073

3.2. Extinction

For a infective disease, it is importance to obtain the conditions for the spreadand extinction of the disease. In this section, we will analyse the condition for theextinction of the disease.

For convenience, we define ⟨x (t)⟩ = 1t

∫ t

0x (u) du.

First, we present two lemmas which will be used to discuss extinction of the disease.Denote w (t) = S (t) + I (t) + δe−(µ+α3)t

∫ t

t−τe(µ+α3)rI (r) dr.

Lemma 3.1. Assume that µ > σ2

2 . Let (S (t) , I (t)) be any solution of model (1.5)with initial value S (0) > 0 and I (ϖ) ≥ 0 for all ϖ ∈ [−τ, 0) with I (0) > 0. Then

limt→∞

w(t)t = 0, lim

t→∞S(t)t = 0, lim

t→∞I(t)t = 0 and lim

t→∞

δe−(µ+α3)t∫ tt−τ

e(µ+α3)rI(r)dr

t = 0

a.s., moreover, limt→∞

lnw(t)t = 0, lim

t→∞lnS(t)

t = 0, limt→∞

ln I(t)t = 0 and

limt→∞

ln(δe−(µ+α3)t

∫ t

t−τe(µ+α3)rI (r) dr

)t

= 0 a.s., where σ2 = max(σ21 , σ

22

).

Proof. Define

Φ (w) = (1 + w)ρ,

where ρ ∈(2, 1 + 2µ

σ2

)is a positive constant. Using Ito′s formula, we have

dΦ(w) = LΦ(w) dt+ ρ (1 + w)ρ−1

(σ1SdB1 (t) + σ2IdB2 (t)) ,

where

LΦ(w) =ρ (1 + w)ρ−1

A− µS

− (µ+ α3) δe−(µ+α3)t

∫ t

t−τe(µ+α3)rI (r) dr

− (µ+ α2) I

+ρ (ρ− 1)

2(1 + w)

ρ−2 (σ21S

2 + σ22I

2)

≤ρ (1 + w)ρ−1

(A− µS − µδe−(µ+α3)t

∫ t

t−τ

e(µ+α3)rI (r) dr − µI

)+ρ (ρ− 1)

2(1 + w)

ρ−2 (σ21S

2 + σ22I

2)

=ρ (1 + w)ρ−2

((A− µw) (1 + w) +

ρ− 1

2

(σ21S

2 + σ22I

2))

≤ρ (1 + w)ρ−2

((A− µw) (1 + w) +

ρ− 1

2σ2w2

)=ρ (1 + w)

ρ−2

(−(µ− ρ− 1

2σ2

)w2 + (A− µ)w +A

).

Since ρ ∈(2, 1 + 2µ

σ2

), µ− ρ−1

2 σ2 > 0. Denote µ− ρ−12 σ2 = η. Then

LΦ(w) ≤ ρ (1 + w)ρ−2 (−ηw2 + (A− µ)w +A

), (3.5)

1074 X. B. Zhang, H. F. Huo, X. Hong & D. Li

yields that

dΦ(w) ≤ρ (1 + w)ρ−2 (−ηw2 + (A− µ)w +A

)dt (3.6)

+ ρ (1 + w)ρ−1

(σ1SdB1 (t) + σ2IdB2 (t)) .

Let λ be a positive constant and λ < ρη. Then

d (exp (λt)Φ (w)) =L (exp (λt)Φ (w)) dt+ exp (λt) ρ (1 + w)ρ−1

× (σ1SdB1 (t) + σ2IdB2 (t)) .

where

L (exp (λt)Φ (w))

=λ exp (λt)Φ (w) + exp (λt)LΦ(w)

≤λ exp (λt) (1 + w)ρ+ exp (λt) ρ (1 + w)

ρ−2 (−ηw2 + (A− µ)w +A)

=exp (λt) (1 + w)ρ−2 − (ρη − λ)w2 + (Aρ− µρ+ 2λ)w + ρA+ λ

.

Denoting M = supw∈R+

(1 + w)ρ−2 − (ρη − λ)w2 + (Aρ− µρ+ 2λ)w + ρA+ λ

, we

have

E (exp (λt)Φ (w)) ≤ Φ(w (0)) +M exp (λt) ,

which leads to

limt→∞

supE (1 + w)ρ ≤M, a.s.

This together with the continuity of w (t) means that there exists a constant H > 0such that for t > 0

E (1 + w)ρ ≤ H, a.s. (3.7)

Let ϑ be a positive constant and n = 1, 2, . . . , from (3.6) we obtain for nϑ ≤ t ≤(n+ 1)ϑ

Φ(w (t)) ≤Φ(w (nϑ)) +

∫ t

ρ (1 + w (s))ρ−2 (−ηw2 (s) + (A− µ)w (s) +A

)ds

+

∫ t

ρ (1 + w (s))ρ−1

(σ1SdB1 (s) + σ2IdB2 (s)) .

Then

E

[sup

nϑ≤t≤(n+1)ϑ

(1 + w (t))ρ

]≤E [(1 + w (nϑ))

ρ] + f1 (t) + f2 (t)

≤H +G1 (t) +G2 (t) ,

The dynamic behavior of SIQS model . . . 1075

where

G1 (t) =E

[sup

nϑ≤t≤(n+1)ϑ

∣∣∣∣∫ t

ρ (1 + w (s))ρ−2

(−ηw (s)

2+ (A− µ)w (s) +A

)ds

∣∣∣∣]

≤l1E

[sup

nϑ≤t≤(n+1)ϑ

∣∣∣∣∫ t

ρ (1 + w (s))ρds

∣∣∣∣]

≤l1E

[∫ (n+1)ϑ

ρ (1 + w (s))ρds

]≤ l1ϑE

[sup

nϑ≤t≤(n+1)ϑ

(1 + w (t))ρ

],

l1 is a positive constant, and

G2 (t) =E

[sup

nϑ≤t≤(n+1)ϑ

∣∣∣∣∫ t

ρ (1 + w (s))ρ−1

(σ1SdB1 (s) + σ2IdB2 (s)) ds

∣∣∣∣]

=√32E

[∣∣∣∣∫ t

ρ2 (1 + w (s))2ρ−2 (

σ21S

2 + σ22I

2)ds

∣∣∣∣]12

≤σρ√32E

[∫ t

(1 + w (s))2ρ−2 (

S2 + I2)ds

] 12

≤σρ√32E

[∫ t

(1 + w (s))2ρ−2

(1 + w)2ds

] 12

≤σρ√32E

[∫ (n+1)ϑ

supnϑ≤s≤(n+1)ϑ

(1 + w (s))2ρds

] 12

=σρ√32ϑE

[sup

nϑ≤s≤(n+1)ϑ

(1 + w (s))ρ

],

where Burkholder-Davis-inequality is used. Hence

E

[sup

nϑ≤t≤(n+1)ϑ

(1 + w (t))ρ

]≤ H +

(l1ϑ+ σρ

√32ϑ

)E

[sup

nϑ≤s≤(n+1)ϑ

(1 + w (s))ρ

].

Choose ϑ > 0 such that l1ϑ+ σρ√32ϑ ≤ 2

3 , then

E

[sup

nϑ≤t≤(n+1)ϑ

(1 + w (t))ρ

]≤ 3H.

Let ς > 0 be arbitrary. It follows from Chebyshev’s inequality that

P

sup

nϑ≤t≤(n+1)ϑ

(1 + w (t))ρ> (nϑ)

1+ς

≤E[supnϑ≤t≤(n+1)ϑ (1 + w (t))

ρ]

(nϑ)1+ς ≤ 3H

(nϑ)1+ς , n = 1, 2, · · · .

The Borel-Cantelli lemma yields that for almost all ω ∈ Ω there exists a positiveinteger n0 = n0 (ω) such that

supnϑ≤t≤(n+1)ϑ

(1 + w (t))ρ ≤ (nϑ)

1+ς, whenever n > n0 (ω) .

1076 X. B. Zhang, H. F. Huo, X. Hong & D. Li

So, for nϑ ≤ t ≤ (n+ 1)ϑ n > n0 (ω) , we have

ln (1 + w (t))ρ

ln t≤ (1 + ς) ln (nϑ)

ln (nϑ)= (1 + ς) .

Hence,

limt→∞

supln (1 + w (t))

ρ

ln t≤ (1 + ς) a.s.

Letting ς → 0, we get

limt→∞

supln (1 + w (t))

ρ

ln t≤ 1 a.s.

Then

limt→∞

suplnw (t)

ln t≤ lim

t→∞sup

ln (1 + w (t))

ln t≤ 1

ρa.s. (3.8)

It follows from (3.8) and ρ ∈(2, 1 + 2µ

σ2

)that for arbitrary ϱ ∈

(0, 1− 1

ρ

)there

exist a time T1 = T1 (ω) and a set Ω1 such that P (Ω1 ) ≥ 1− ϱ and for t > T1 (ω)

lnw (t)

ln t≤ 1

ρ+ ϱ < 1.

Hence

limt→∞

supw (t)

t≤ lim

t→∞sup

t1ρ+ϱ

t= 0,

which together with positivity of the solution yields that

limt→∞

w (t)

t= lim

t→∞

S (t) + I (t) + δe−(µ+α3)t∫ t

t−τe(µ+α3)rI (r) dr

t= 0, a.s. (3.9)

Therefore

limt→∞

S (t)

t= 0, lim

t→∞

I (t)

t= 0, lim

t→∞

δe−(µ+α3)t∫ t

t−τe(µ+α3)rI (r) dr

t= 0, a.s.

It follows from (3.9) that for arbitrary ϵ > 0 there exist a time T3 = T3 (ω) and aset Ω3 such that P (Ω3) ≥ 1− ϵ and for t > T3 (ω)

w (t) ≤ ϵt.

Then, for t > T3 (ω) and ω ∈ Ω3, we have

lnw (t) ≤ ln ϵ+ ln t,

leads to

limt→∞

lnw (t)

t= 0, a.s.

Hence, limt→∞

lnS(t)t = 0, lim

t→∞ln I(t)

t = 0, limt→∞

ln(δe−(µ+α3)t∫ tt−τ

e(µ+α3)rI(r)dr)t = 0 a.s.

This finishes the proof of Lemma 3.1.

The dynamic behavior of SIQS model . . . 1077

Lemma 3.2. Assume that µ > σ2

2 . Let (S (t) , I (t)) be any solution of model(1.4) with initial value S (0) > 0 and I (ϖ) ≥ 0 for all ϖ ∈ [−τ, 0) with I (0) >

0. Then limt→∞

1t

∫ t

0S (u) dB1 (u) = 0, lim

t→∞1t

∫ t

0I (u) dB2 (u) = 0 a.s., where σ2 =

max(σ21 , σ

22

).

Proof. Assign ρ ∈(2, 1 + 2µ

σ2

). By virtue of Burkholder-Davis-Gundy inequality

and (3.7)

E sup0≤s≤t

∣∣∣∣∫ s

0

S (u) dB1 (u)

∣∣∣∣ρ ≤CρE sup0≤s≤t

∣∣∣∣∫ t

0

S2 (u) du

∣∣∣∣ρ2

≤ Cρtρ2E

[sup

0≤u≤tS2 (u)

] ρ2

=Cρtρ2E

[sup

0≤u≤tSρ (u)

]≤ Cρt

ρ2H.

Let κ be an arbitrary positive constant. Using Doob’s martingle inequality [26],we obtain

P

sup

nϑ≤t≤(n+1)ϑ

∣∣∣∣∫ s

0

S (u) dB1 (u)

∣∣∣∣ρ > (nϑ)1+ ρ

2+κ

≤E(∣∣∣∫ (n+1)ϑ

0S (u) dB1 (u)

∣∣∣ρ)(nϑ)

1+ ρ2+κ ≤

E sup0≤s≤(n+1)ϑ

∣∣∫ s

0S (u) dB1 (u)

∣∣ρ(nϑ)

1+ ρ2+κ

≤Cρ [(n+ 1)ϑ]ρ2 H

(nϑ)1+ ρ

2+κ ≤ Cρ [2nϑ]ρ2 H

(nϑ)1+ ρ

2+κ =Cρ2

ρ2H

(nϑ)1+κ .

Then it follows from the Borel-Cantelli lemma that for almost all ω ∈ Ω there existsa positive integer n1 = n1 (ω) such that

supnϑ≤t≤(n+1)ϑ

∣∣∣∣∫ s

0

S (u) dB1 (u)

∣∣∣∣ρ < (nϑ)1+ ρ

2+κ, whenever n > n1 (ω) .

Therefore

ln∣∣∫ s

0S (u) dB1 (u)

∣∣ρln t

≤(1 + ρ

2 + κ)ln (nϑ)

ln (nϑ)= 1 +

ρ

2+ κ,

which leads to

limt→∞

supln

∣∣∫ s

0S (u) dB1 (u)

∣∣ρln t

≤ 1 +ρ

2+ κ.

Letting κ → 0, we have

limt→∞

supln∣∣∫ s

0S (u) dB1 (u)

∣∣ln t

≤1 + ρ

2

ρ=

1

2+

1

ρ,

which means that for arbitrary υ ∈(0, 12 − 1

ρ

), there exist a random time T1 =

T1 (ω) > 0 and a set Ω2 such that P (Ω2) ≥ 1− υ and for t > T1 (ω) , ω ∈ Ω2,

ln

∣∣∣∣∫ s

0

S (u) dB1 (u)

∣∣∣∣ ≤ (1

2+

1

ρ+ υ

)ln t.

1078 X. B. Zhang, H. F. Huo, X. Hong & D. Li

Hence,

limt→∞

sup

∣∣∫ s

0S (u) dB1 (u)

∣∣t

≤ limt→∞

supt12+

1ρ+υ

t= 0.

which leads to

limt→∞

∣∣∫ s

0S (u) dB1 (u)

∣∣t

= 0, a.s.,

that is

limt→∞

∫ s

0S (u) dB1 (u)

t= 0, a.s.

Similarly, we have limt→∞

∫ s0I(u)dB1(u)

t = 0 a.s. This completes the proof of Lemma

3.2.

Denote∧R0 = βA

µ(µ+α2+δ+γ) −σ22

2(µ+α2+δ+γ) .

Theorem 3.2. Assume that µ > σ2

2 . Let (S (t) , I (t)) be any solution of model(1.5) with initial S (0) > 0 and I (ϖ) ≥ 0 for all ϖ ∈ [−τ, 0) with I (0) > 0. If∧R0 < 1, then lim

t→∞ln I(t)

t ≤ (µ+ α2 + δ + γ)

(∧R0 − 1

), limt→∞

⟨S (t)⟩ = Aµ a.s., where

σ2 = max(σ21 , σ

22

). That is, the disease dies out with probability one.

Proof. From (1.5) , we get

S (t)− S (0)

t+I (t)− I (0)

t+

1

tδe−(µ+α3)τ

(∫ t

t−τ

I (r) dr −∫ 0

−τ

I (r) dr

)=A− µ ⟨S (t)⟩ − (µ+ α2 + δ) ⟨I (t)⟩+ 1

tδe−(µ+α3)τ

∫ t

0

I (r − τ) dr

+1

t

(∫ t

t−τ

I (r) dr −∫ 0

−τ

I (r) dr

)+σ21

t

∫ t

0

S (u) dB1 (u) +σ22

t

∫ t

0

I (u) dB2 (u)

=A− µ ⟨S (t)⟩ −[µ+ α2 + δ

(1− e−(µ+α3)τ

)]⟨I (t)⟩

+σ21

t

∫ t

0

S (u) dB1 (u) +σ22

t

∫ t

0

I (u) dB2 (u) .

That is,

⟨S (t)⟩ = A

µ− 1

µ

[µ+ α2 + δ

(1− e−(µ+α3)τ

)]⟨I (t)⟩+ h (t) , (3.10)

where h (t) = 1µ

σ21

t

∫ t

0S (u) dB1 (u) +

σ22

t

∫ t

0I (u) dB2 (u)− S(t)−S(0)

t

− I(t)−I(0)t − 1

t δe−(µ+α3)τ

(∫ t

t−τI (r) dr −

∫ 0

−τI (r) dr

) .

According to Lemma 3.1, 3.2 and the law of large number,

limt→∞

h (t) = 0 a.s. (3.11)

Applying Ito′s formula, we have

The dynamic behavior of SIQS model . . . 1079

d ln I (t) =

(βS − (µ+ α2 + δ + γ)− 1

2σ22

)dt+ σ2dB2 (t) ,

which yields

ln I (t)− ln I (0)

t= β ⟨S (t)⟩ − (µ+ α2 + δ + γ)− 1

2σ22 + σ2

B2 (t)

t.

Together with (3.10), we have

ln I (t)

t=βA

µ− (µ+ α2 + δ + γ)− 1

2σ22 (3.12)

− β1

µ

[µ+ α2 + δ

(1− e−(µ+α3)τ

)]⟨I (t)⟩

+ βh (t) + σ2B2 (t)

t+

ln I (0)

t

=(µ+ α2 + δ + γ)

(∧R0 − 1

)− β

1

µ

[µ+ α2 + δ

(1− e−(µ+α3)τ

)]⟨I (t)⟩

+ βh (t) + σ2B2 (t)

t+

ln I (0)

t

≤ (µ+ α2 + δ + γ)

(∧R0 − 1

)+ βh (t) + σ2

B2 (t)

t+

ln I (0)

t.

By the law of large number, we have limt→∞

B2(t)t = 0 a.s. which together with

(3.11) leads to

limt→∞

supln I (t)

t≤ (µ+ α2 + δ + γ)

(∧R0 − 1

)< 0 a.s.

This implies

limt→∞

I (t) = 0 a.s. (3.13)

By (3.10) and (3.13) , we have

limt→∞

⟨S (t)⟩ = 0 a.s.

This finishes the proof the Theorem 3.2.

Next, we perform numerical simulation to support our results.

Example 3.1. In system (1.5) , choose A = 0.25, β = 0.13, µ = 0.1, α2 = 0.1, α3 =

0.001, γ = 0.001, δ = 0.1, τ = 1, σ1 = 0.01, σ2 = 0.2. These give∧R0 = 0.9468 and

R0 = 1.0797. Then, from Theorem 3.2 we have limt→∞

⟨S (t)⟩ = 2.5 and limt→∞

I (t) = 0

a.s., namely, the disease dies out with probability one. Fig. 5 confirms these.

1080 X. B. Zhang, H. F. Huo, X. Hong & D. Li

0 200 400 600 800 10000

0.1

0.2

0.3

0.4

t

I(t)

0 200 400 600 800 10001.5

2

2.5

3

t

S(t)

Figure 5. A = 0.25, β = 0.13, µ = 0.1, α2 = 0.1, α3 = 0.001, γ = 0.001, δ = 0.1, τ = 1, σ1 = 0.01,

σ2 = 0.2,∧R0 = 0.9468 and R0 = 1.0797.

3.3. Persistence

In this section, we study the persistence of the model (1.5) .

Theorem 3.3. Suppose that µ > σ2

2 . Let (S (t) , I (t)) be any solution of model(1.5) with initial value S (0) > 0 and I (ϖ) ≥ 0 for all ϖ ∈ [−τ, 0) with I (0) > 0. If

∧R0 > 1, then lim

t→∞⟨S (t)⟩ = A

µ−(µ+α2+δ+γ)

(∧R0−1

)β , lim

t→∞⟨I (t)⟩ =

(µ+α2+δ+γ)

(∧R0−1

)β(

(µ+α3)δ

µ(µ+α3+ε)+

µ+α2µ

)a.s.

Proof. From (3.12) , we have

ln I (t)

t=(µ+ α2 + δ + γ)

(∧R0 − 1

)− β

µ

[µ+ α2 + δ

(1− e−(µ+α3)τ

)]⟨I (t)⟩

+ βh (t) + σ2B2 (t)

t+

ln I (0)

t.

By the law of large number, Lemma 3.1 and (3.11), we have

limt→∞

⟨I (t)⟩ =µ (µ+ α2 + δ + γ)

(∧R0 − 1

)β(µ+ α2 + δ

(1− e−(µ+α3)τ

)) . (3.14)

Using (3.10) and (3.11) , we have

⟨S (t)⟩ = A

µ− 1

µ

[µ+ α2 + δ

(1− e−(µ+α3)τ

)]⟨I (t)⟩+ h (t) ,

limt→∞

⟨S (t)⟩ = A

µ− 1

µ

[µ+ α2 + δ

(1− e−(µ+α3)τ

)]limt→∞

⟨I (t)⟩ .

Consequently,

limt→∞

⟨S (t)⟩ = A

µ−

(µ+ α2 + δ + γ)

(∧R0 − 1

.

This completes the proof of Theorem 3.3.Now, we perform numerical simulation to support our results.

The dynamic behavior of SIQS model . . . 1081

Example 3.2. In system (1.5) , we choose the same parameters in Example 3.1

except σ2 = 0.1 such that∧R0 = 1.0465 > 1. Obviously, R0 = 1.0797 is the

same as in Example 3.1. From Theorem 3.3 we have limt→∞

⟨S (t)⟩ = 2.3923 and

limt→∞

⟨I (t)⟩ = 0.0538 a.s., that is, the disease is persistent. Fig. 6 confirms these.

0 200 400 600 800 10000

0.1

0.2

0.3

0.4

t

I(t)

0 200 400 600 800 10001

1.5

2

2.5

3

t S

(t)Figure 6. A = 0.25, β = 0.13, µ = 0.1, α2 = 0.1, α3 = 0.001, γ = 0.001, δ = 0.1, τ = 1, σ1 = 0.01,

σ2 = 0.1,∧R0 = 1.0465 and R0 = 1.0797.

4. Discussion

In this paper, we formulated a deterministic and stochastic delayed SIQS model. Forthe deterministic system (1.2) , we presented the basic reproduction number R0 =

βAµ(γ+δ+µ+α2)

. In the case R0 < 1 we have showed that the disease-free equilibrium

P0

(Aµ , 0, 0

)is globally asymptotically stable for any time delay, while in case R0 >

1 it has been proved that the endemic equilibrium is existent, and the disease-free equilibrium becomes unstable. Using Lyapunov functional technique, we haveproved that under certain restrictions on the parameter values and the delay time,the endemic equilibrium is globally asymptotically (see Theorem 2.4). To furtherinvestigate system (1.2) , we resorted to numerical simulations. From Fig. 1, weknow that when R0 > 1 and the quarantine period τ is small enough, the endemicequilibrium of system (1.2) is stable. Then, let the quarantine period τ increase, thesolutions of system (1.2) have a periodic solution with small amplitude oscillationsnear the endemic equilibrium P1 (see Fig. 2). Further, let the quarantine period τincrease, the amplitude of these oscillations increase correspondingly (see Fig. 3).As the quarantine period τ increases to large enough, system (1.2) returns the stablesteady-state (see Fig. 4). This shows the dependence of a long term dynamics ofsolutions of system (1.2) on the time τ . This shows the dependence of a long termdynamics of solutions of system (1.2) on the quarantine period τ . It is interesting totheoretically study the existence of a Hopf bifurcation at the endemic equilibriumof system (1.2). We leave this for further work.

For the stochastic system (1.5), We show that the system has a unique global pos-

itive solution and calculate its corresponding sharp threshold∧R0 = R0− σ2

2

2(µ+α2+δ+γ)

which can be used to govern the stochastic dynamics of the model (1.5) as follows:

1082 X. B. Zhang, H. F. Huo, X. Hong & D. Li

(1) If∧R0 < 1, µ > 1

2 max(σ21 , σ

22

), then lim

t→∞ln I(t)

t ≤ (µ+ α2 + δ + γ)

(∧R0 − 1

),

limt→∞

⟨S (t)⟩ = Aµ , a.s. Namely, the disease dies out (see Fig. 5).

(2) If∧R0 > 1, µ > 1

2 max(σ21 , σ

22

), then lim

t→∞⟨S (t)⟩ = A

µ −(µ+α2+δ+γ)

(∧R0−1

)β ,

limt→∞

⟨I (t)⟩ =(µ+α2+δ+γ)

(∧R0−1

)β(

(µ+α3)δ

µ(µ+α3+ε)+

µ+α2µ

) , a.s. That is, the disease will persists (see Fig. 6).

From the above results, we can find that noise can suppress the disease out-

break.∧R0 = R0 − σ2

2

2(µ+α2+δ+γ) < R0 implies that noise decrease the reproduction

number. When∧R0 < 1 < R0, the stochastic model (1.5) has disease extinction with

probability one while the corresponding deterministic model (1.2) has endemic.

Acknowledgements

The authors would like to thank the anonymous referees and the editor for theirvery helpful comments and suggestions.

References

[1] E. Beretta, V. Kolmanovskii and L. Shaikhet, Stability of epidemic model withtime delays influenced by stochastic perturbations, Math. Comput. Simulation.,1998, 45, 269–277.

[2] E. Beretta and Y. Kuang, Geometric stability switch criteria in delay differen-tial systems with delay dependent parameters, SIAM J. Math. Anal., 2002, 33,1144–1165.

[3] Y. Cai, Y. Kang, M. Banerjee and W. Wang, A stochastic SIRS epidemic modelwith infectious force under intervention strategies, J. Differential Equations.,2015, 259, 7463–7502.

[4] X. Chen, J. Cao and H. Jug, Stability analysis and estimation of domain ofattraction for the endemic equilibrium of an SEIQ epidemic model, NonlinearDynamics., 2016, 1–11.

[5] G. Chowell, C. Castillo-Chavez, P. Fenimore et al., Model parameters and out-break control for SARS, EID., 2004, 10, 1258–1263.

[6] T. Day, A. Park, N. Madras et al., When is quarantine a useful control strategyfor emerging infectious diseases?, Amer. J. Epidemiol., 2006, 163, 479–485.

[7] A. Dobay, G. Gall and D. Rankin, Renaissance model of an epidemic withquarantine, Journal of Theoretical Biology, 2013, 317(1), 348–358.

[8] G. Gensini, M. Yacoub and A. Conti, The concept of quarantine in history:from plague to SARS, J. Infect., 2004, 49(4), 257–261.

[9] A. Gray, D. Greenhalgh, L. Hu et al., A stochastic differential equation SISepidemic model, SIAM J. Appl. Math., 2011, 71, 876–902.

[10] A. Gray, D. Greenhalgh and X. Mao, The SIS epidemic model with markovianswitching, J. Math. Anal. Appl., 2012, 394, 496–516.

The dynamic behavior of SIQS model . . . 1083

[11] Z. Han and J. Zhao, Stochastic SIRS model under regime switching, NonlinearAnal. Real World Appl., 2013, 14, 352–364.

[12] H. Herbert, Z. Ma and S. Liao, Effects of quarantine in six endemic models forinfectious diseases, Mathematical Biosciences, 2002, 180, 141–160.

[13] Y. Hsieh and C. King, Impact of quarantine on the 2003 SARS outbreak: Aretrospective modeling study, Journal of Theoretical Biology, 2007, 244(4), 729–736.

[14] C. Ji and D. Jiang, Threshold behaviour of a stochastic SIR model, Appl. Math.Model., 2014, 38, 5067–5079.

[15] C. Ji, D. Jiang and N. Shi, Stability of epidemic model with time delays influ-enced by stochastic perturbations, Math. Comput. Simulation., 2011, 45, 1747–1762.

[16] D. Jiang, J. Yu, C. Ji and N. Shi, Asymptotic behavior of global positive solutionto a stochastic SIR model, Mathematical and Computer Modelling, 2011, 54,221–232.

[17] R. Kao and M. Roberts, Quarantine-based disease control in domesticated an-imal herds, Appl. Math. Lett., 1998, 4, 115–120.

[18] A. Lahrouz, L. Omari and D. Kiouach, Extinction and stationary distributionof a stochastic SIRS epidemic model with non-linear incidence, Statistics andProbability Letters, 2013, 83, 960–968.

[19] A. Lahrouz and A. Settati, Asymptotic properties of switching diffusion epi-demic model with varying population size, Applied Mathematics Computation,2013, 219(24), 11134–11148.

[20] Y. Lin, D. Jiang and S. Wang, Stationary distribution of a stochastic SISepidemic model with vaccination, Phys. A, 2014, 394, 187–197.

[21] Q. Liu, The threshold of a stochastic Susceptible-Infective epidemic model underregime switching, Nonlinear Analysis Hybrid Systems, 2016, 21, 49–58.

[22] Q. Liu and Q. Chen, Analysis of the deterministic and stochastic SIRS epidemicmodels with nonlinear incidence, Phys. A, 2015, 428, 140–153.

[23] Q. Liu and Q. Chen, The threshold of a stochastic delayed SIR epidemic modelwith temporary immunity, Phys. A, 2016, 450, 115–125.

[24] X. Liu, X. Chen and Y. Takeuchi, Dynamics of an SIQS epidemic model withtransport-related infection and exit-entry screenings, Journal of Theoretical Bi-ology, 2011, 285(1), 25–35.

[25] Q. Lu, Stability of SIRS system with random perturbations, Phys. A, 2009, 388,3677–3686.

[26] X. Mao, Stochastic Differential Equations and Applications, Horwood, Chich-ester, 1997.

[27] X. Mao, Stationary distribution of stochastic population systems, Systems andControl Letters, 2011, 60, 398–405.

[28] M. Safi and A. Gumel, Global asymptotic dynamics of a model for quarantineand isolation, Discrete Contin. Dyn. Syst. Ser. B., 2010, 14, 209–231.

[29] M. Safi and A. Gumel, Qualitative study of a quarantine/isolation model withmultiple disease stages, Appl. Math. Comput., 2011, 218(5), 1941–1961.

1084 X. B. Zhang, H. F. Huo, X. Hong & D. Li

[30] M. Safi and A. Gumel, Dynamics of a model with quarantine-adjusted incidenceand quarantine of susceptible individuals, J. Math. Anal. Appl., 2013, 399, 565–575.

[31] G. Sahu and J. Dhar, Dynamics of an SEQIHRS epidemic model with mediacoverage, quarantine and isolation in a community with preexisting immunity,J. Math. Anal. Appl., 2015, 421, 1651–1672.

[32] H. Sato, R. Y. H. Nakada, S. M. S. Imoto and M. Kami, When should weintervene to control the 2009 influenza A(H1N1) pandemic?, Rapid Commu-nications, Euro. Surveill., 2010, 15(1), 9–12.

[33] Z. Teng and L. Wang, Persistence and extinction for a class of stochastic SISepidemic models with nonlinear incidence rate, Phys. A, 2016, 451, 507–518.

[34] X. Wang, T. Zhao and X. Qin, Model of epidemic control based on quarantineand message delivery, Phys. A, 2016, 458, 168–178.

[35] F. Wei and F. Chen, Stochastic permanence of an SIQS epidemic model withsaturated incidence and independent random perturbations, Commun NonlinearSci Numer Simulat, 2016, 453, 99–107.

[36] H. Xiang, Y. L. Tang and H. F. Huo, A viral model with intracellular delay andhumoral immunity, Bulletin of the Malaysian Mathematical Sciences Society,2016, doi:10.1007/s40840–016–0326–2.

[37] X. Yan and Y. Zou, Optimal and sub-optimal quarantine and isolation controlin sars epidemics, Math. Comput. Modelling., 2008, 47, 235–245.

[38] Q. Yang, D. Jiang, N. Shi and C. Ji, The ergodicity and extinction of stochasti-cally perturbed SIR and SEIR epidemic models with saturated incidence, Jour-nal of Mathematical Analysis and Applications, 2012, 388, 248–271.

[39] J. Yu, D. Jiang and N. Shi, Global stability of two-group SIR model with randomperturbation, Journal of Mathematical Analysis and Applications, 2009, 360,235–244.

[40] C. Yuan, D. Jiang, D. O’Regan and R. Agarwal, Stochastically asymptoticallystability of the multi-group SEIR and SIR models with random perturbation,Commun Nonlinear Sci Numer Simulat, 2012, 17, 2501–2516.

[41] X. B. Zhang, H. F. Huo, H. Xiang and X. Y. Meng, Dynamics of the determin-istic and stochastic SIQS epidemic model with non-linear incidence, AppliedMathematics Computation, 2014, 243, 546–558.

[42] Y. Zhao and D. Jiang, The threshold of a stochastic SIRS epidemic model withsaturated incidence, Appl. Math. Lett., 2014, 34, 90–93.

[43] Y. Zhao and D. Jiang, The threshold of a stochastic SIS epidemic model withvaccination, Appl. Math. Comput., 2014, 243, 18–27.

[44] Y. Zhao, D. Jiang and X. Mao, The threshold of a stochastic SIRS epidemicmodel in a population with varying size, Discrete Contin. Dyn. Syst. Ser. B.,2015, 20(2), 1289–1307.