1 Introduction

One intervention procedure to control the spread of infectious diseases is to isolate some infectives, in order to reduce transmissions of the infection to susceptibles. Isolation may have been the first infection control method. Over the centuries quarantine has been used to reduce the transmission of human diseases such as leprosy, plague, cholera, typhus, yellow fever, smallpox, diphtheria, tuberculosis, measles, mumps, ebola, and lassa fever. Quarantine has also been used for animal diseases such as rinderpest, foot and mouth, psittacosis, Newcastle disease, and rabies. Studies of epidemic models with quarantine have become an important area in the mathematical theory of epidemiology, and they have largely been inspired by Refs. [14].

Hethcote et al. in [5] discuss an SIQS epidemic model:

{ S ˙ ( t ) = A β S ( t ) I ( t ) μ S ( t ) + γ I ( t ) + ε Q ( t ) , I ˙ ( t ) = β S ( t ) I ( t ) ( μ + δ + γ + α ) I ( t ) , Q ˙ ( t ) = δ I ( t ) ( μ + ε + α ) Q ( t ) ,
(1.1)

where parameters A, μ, and β are positive constants, and α, γ, ε, and δ are non-negative constants. Here S(t) denotes the number of members who are susceptible to an infection at time t. I(t) denotes the number of members who are infective at time t. Q(t) denotes the number of members who are removed and isolated either voluntarily or coercively from the infectious class. The parameters in the model are summarized in the following list:

A: the recruitment rate of susceptibles corresponding to births and immigration;

β: transmission coefficient between compartments S and I;

μ: the per capita natural mortality rate;

δ: the rate for individuals leaving the infective compartment I for the quarantine compartment Q;

γ: recovery rate of infectious individuals;

ε: the rate at which individuals return to susceptible compartment S from compartments Q;

α: disease-caused death rate of infectious individuals.

In a simple epidemic model, there is generally the basic reproduction number (or the threshold) R 0 . If R 0 1, the disease-free equilibrium is a unique equilibrium in this type of epidemic model and it is globally asymptotically stable; if R 0 >1, this type of model has also a unique endemic equilibrium, which is globally asymptotically stable. The threshold of system (1.1) is

R 0 = β A μ ( μ + δ + γ + α ) .
(1.2)

In [5], the system (1.1) always has the disease-free equilibrium P 0 =( S 0 , I 0 , Q 0 )=( A μ ,0,0). If R 0 1, then P 0 is the unique equilibrium of (1.1) and it is globally stable in invariant set Γ, where

Γ= { ( S , I , Q ) : S > 0 , I 0 , Q 0 , S + I + Q A μ } .

If R 0 >1, then P 0 is unstable and there is an endemic equilibrium

P = ( S , I , Q ) = ( μ + δ + γ + α β , A ( 1 1 R 0 ) ( μ + α ) ( 1 + δ μ + ε + α ) , δ I μ + ε + α ) ,

which is globally asymptotically stable under a sufficient condition in invariant set Γ.

In fact, epidemic models are inevitably affected by environmental white noise which is an important component in realism, because it can provide an additional degree of realism in comparison to their deterministic counterparts. Many stochastic models for epidemic populations have been developed in [617]. Dalal et al. [6] have previously used the technique of parameter perturbation to examine the effect of environmental stochasticity in a model of AIDS and condom use. They found that the introduction of stochastic noise changes the basic reproduction number of the disease and can stabilize an otherwise unstable system. Tornatore et al. [9] propose a stochastic disease model where vaccination is included. They prove existence, uniqueness, and positivity of the solution and the stability of the disease-free equilibrium. Zhao et al. [7] discuss the dynamics of a stochastic SIS epidemic model with vaccination. They obtain the condition of the disease extinction and persistence according to the threshold of the deterministic system and the noise. Ji et al. [10] discuss the SDE SIR model with no delay. They obtain if β<γ+μ σ 2 /2, then the disease-free equilibrium is stochastically asymptotically stable in the large and exponentially mean-square stable. If β>γ+μ, then the solution of the system is fluctuating around ( S , I , R ), which is the endemic equilibrium of the corresponding deterministic system. The disease will prevail if the white noise is small.

However, compared to deterministic systems, it is difficult to give the threshold of stochastic systems. Recently, Gray et al. in [11] investigate the stochastic SIS epidemic model with fluctuations around the transmission coefficient β. They prove that this model has a unique global positive solution and establish conditions for extinction and persistence of I(t) according to the threshold of the stochastic model. In the case of persistence they show the existence of a stationary distribution and derive expressions for its mean and variance. Zhao and Jiang [12] continue to discuss the stochastic SIS epidemic model with vaccination. When the noise is small, they obtain a threshold of the stochastic system which determines the extinction and persistence of the epidemic. Besides, they find that large noise will suppress the epidemic from prevailing.

In this paper, taking into account the effect of randomly fluctuating environment, we assume that fluctuations in the environment will manifest themselves mainly as fluctuations in the parameter β,

ββ+σ B ˙ (t),

where B(t) is standard Brownian motions with B(0)=0, and with intensity of white noise σ 2 >0. The stochastic version corresponding to the deterministic model (1.1) takes the following form:

{ d S ( t ) = ( A β S ( t ) I ( t ) μ S ( t ) + γ I ( t ) + ε Q ( t ) ) d t σ S ( t ) I ( t ) d B ( t ) , d I ( t ) = ( β S ( t ) I ( t ) ( μ + δ + γ + α ) I ( t ) ) d t + σ S ( t ) I ( t ) d B ( t ) , d Q ( t ) = ( δ I ( t ) ( μ + ε + α ) Q ( t ) ) d t ,
(1.3)

This paper is organized as follows. In Section 2, we show there is a unique positive solution of system (1.3). In Section 3, we investigate system (1.3) is exponential stability when the noise is large. In this case, the infective decays exponentially to zero. When the noise is small, we deduce the condition R ˜ 0 <1 which will enable the disease to die out exponentially in Section 3 and the condition R ˜ 0 >1 for the disease being persistent is given in Sections 4. Throughout the paper, outcomes of numerical simulations are reported to support the analytical results.

Next, we give some basic theory in stochastic differential equations (see [18]).

Throughout this paper, unless otherwise specified, let (Ω, { F t } t 0 ,P) be a complete probability space with a filtration { F t } t 0 satisfying the usual conditions (i.e. it is right continuous and F 0 contains all P-null sets). Let

R + d = { x R d : x i > 0  for all  1 i d } , R ¯ + d = { x R d : x i 0  for all  1 i d } .

In general, consider the n-dimensional stochastic differential equation

dx(t)=f ( x ( t ) , t ) dt+g ( x ( t ) , t ) dB(t),for t t 0 ,
(1.4)

with initial value x( t 0 )= x 0 R d . B(t) denotes n dimensional standard Brownian motion defined on the above probability space. Define the differential operator L associated with (1.4) by

L= t + i = 1 d f i (x,t) x i + 1 2 i , j = 1 d [ g T ( x , t ) g ( x , t ) ] i j 2 x i x j .

If L acts on a function V C 2 , 1 ( R d × R ¯ + ; R ¯ + ), then

LV(x,t)= V t (x,t)+ V x (x,t)f(x,t)+ 1 2 trace [ g T ( x , t ) V x x ( x , t ) g ( x , t ) ] ,

where V t = V t , V x =( V x 1 ,, V x d ), V x x = ( 2 V x i x j ) d × d . By Itô’s formula, if x(t) R d , then

dV ( x ( t ) , t ) =LV ( x ( t ) , t ) dt+ V x ( x ( t ) , t ) g ( x ( t ) , t ) dB(t).

Consider (1.4), assume f(0,t)=0 and g(0,t)=0 for all t t 0 . So x(t)0 is a solution of (1.4), called the trivial solution or equilibrium position.

2 Existence and uniqueness of positive solution

In this section we first show that the solution of system (1.3) is global and positive. To get a unique global (i.e. no explosion in a finite time) solution for any given initial value, the coefficients of the equation are generally required to satisfy the linear growth condition and local Lipschitz condition (cf. [18]). However, the coefficients of system (1.3) do not satisfy the linear growth condition, though they are locally Lipschitz continuous, so the solution of system (1.3) may explode in finite time. In this section, using the Lyapunov analysis method (mentioned in [11, 14]), we show the solution of system (1.3) is positive and global.

Theorem 2.1 There is a unique solution (S(t),I(t),Q(t)) of system (1.3) on t0 for any initial value (S(0),I(0),Q(0)) R + 3 , and the solution will remain in R + 3 with probability 1, namely, (S(t),I(t),Q(t)) R + 3 for all t0 almost surely.

Proof Since the coefficients of the equation are locally Lipschitz continuous for any given initial value (S(0),I(0),Q(0)) R + 3 , there is a unique local solution (S(t),I(t),Q(t)) on t[0, τ e ), where τ e is the explosion time (see [18]). To show this solution is global, we need to show that τ e = a.s. Let k 0 0 be sufficiently large so that S(0), I(0), and Q(0) all lie within the interval [1/ k 0 , k 0 ]. For each integer k k 0 , define the stopping time

τ k =inf { t [ 0 , τ e ) : min { S ( t ) , I ( t ) , Q ( t ) } 1 k  or  max { S ( t ) , I ( t ) , Q ( t ) } k } ,

where, throughout this paper, we set inf= (as usual ∅ denotes the empty set). According to the definition, τ k is increasing as k. Set τ = lim k τ k , whence τ τ e a.s. If we can show that τ = a.s., then τ e = and (S(t),I(t),Q(t)) R + 3 a.s. for all t0. In other words, to complete the proof all we need to show is that τ = a.s. If this statement is false, then there exist a pair of constants T>0 and ε(0,1) such that

P{ τ T}>ε.

Hence there is an integer k 1 k 0 such that

P{ τ k T}εfor all k k 1 .
(2.1)

For t τ k , we can see, for each k,

d(S+I+Q)= [ A μ ( S + I + Q ) α ( I + Q ) ] dt [ A μ ( S + I + Q ) ] dt

and so

S(t)+I(t)+Q(t) { A μ , if  S ( 0 ) + I ( 0 ) + Q ( 0 ) A μ , S ( 0 ) + I ( 0 ) + Q ( 0 ) , if  S ( 0 ) + I ( 0 ) + Q ( 0 ) > A μ :=M.

Define a C 2 -function V: R + 3 R ¯ + by

V(S,I,Q)=(S1logS)+(I1logI)+(Q1logQ).

The nonnegativity of this function can be seen from u1logu0, u>0. Let k k 0 and T>0 be arbitrary. Applying the Itô formula, we obtain

d V ( S , I , Q ) = ( 1 1 S ) d S + 1 2 S 2 ( d S ) 2 + ( 1 1 I ) d I + 1 2 I 2 ( d I ) 2 + ( 1 1 Q ) d Q = L V d t + σ ( I S ) d B ( t ) ,
(2.2)

where LV: R + 3 R + is defined by

L V = ( 1 1 S ) ( A β S I μ S + γ I + ε Q ) + 1 2 σ 2 I 2 + ( 1 1 I ) [ β S I ( μ + δ + γ + α ) I ] + 1 2 σ 2 S 2 + ( 1 1 Q ) [ δ I ( μ + ε + α ) Q ] = A β S I μ S + γ I + ε Q A S + β I + μ γ I S ε Q S + 1 2 σ 2 I 2 + β S I ( μ + δ + γ + α ) I β S + ( μ + δ + γ + α ) + 1 2 σ 2 S 2 + δ I ( μ + ε + α ) Q δ I Q + ( μ + ε + α ) A + 3 μ + 2 α + δ + γ + ε + ( γ + ε + β + δ ) M + σ 2 M 2 : = K .

The remainder of the proof follows that in Ji et al. [14]. □

Remark 2.1 From Theorem 2.1, for any initial value (S(0),I(0),Q(0)) R + 3 , there is a unique global solution (S(t),I(t),Q(t)) R + 3 almost surely of system (1.3). Hence

d(S+I+Q) [ A μ ( S + I + Q ) ] dt

and

S(t)+I(t)+Q(t) A μ + e μ t ( S ( 0 ) + I ( 0 ) + Q ( 0 ) A μ ) .

If S(0)+I(0)+Q(0) A μ , then S(t)+I(t)+Q(t) A μ a.s. so the region

Γ = { ( S , I , Q ) : S > 0 , I > 0 , Q > 0 , S + I + Q A μ  a.s. }
(2.3)

is a positively invariant set of system (1.3) on Γ , which is similar to Γ of system (1.1).

From now on, we always assume that (S(0),I(0),Q(0)) Γ .

3 Extinction

In this section, we investigate the conditions for the extinction of the disease. For convenience we introduce the notation:

x ( t ) = 1 t 0 t x(r)dr, R ˜ 0 =β ( A μ ) 1 ( μ + γ + δ + α ) + 1 2 σ 2 ( A μ ) 2 .

We first give a useful lemma.

Lemma 3.1 ([18] (Strong Law of Large Numbers))

Let M= { M t } t 0 be a real-value continuous local martingale vanishing at t=0. Then

lim t M , M t =a.s. lim t M t M , M t =0a.s.

and also

lim sup t M , M t t <a.s. lim t M t t =0a.s.

The following is the main theorem of this section.

Theorem 3.1 Let (S(t),I(t),Q(t)) be the solution of system (1.3) with initial value (S(0),I(0),Q(0)) Γ . If

  1. (a)

    σ 2 >max{ β 2 2 ( γ + δ + μ + α ) , β μ A }, or

  2. (b)

    R ˜ 0 <1 and σ 2 β μ A .

Then

lim sup t log I ( t ) t (μ+γ+α+δ)+ β 2 2 σ 2 <0a.s. if (a) holds;
(3.1)
lim sup t log I ( t ) t β A μ ( 1 1 R ˜ 0 ) <0a.s. if (b) holds;
(3.2)

namely, I(t) tends to zero exponentially a.s. i.e., the disease will die out with probability one. In addition

lim t S(t)= A μ = S 0 , lim t I(t)=0, lim t Q(t)=0a.s.

Proof An integration of the system (1.3) yields

S ( t ) S ( 0 ) t = A β S ( t ) I ( t ) μ S ( t ) + γ I ( t ) + ε Q ( t ) σ t 0 t S ( r ) I ( r ) d B ( r ) , I ( t ) I ( 0 ) t = β S ( t ) I ( t ) ( γ + δ + μ + α ) I ( t ) + σ t 0 t S ( r ) I ( r ) d B ( r ) , Q ( t ) Q ( 0 ) t = δ I ( t ) ( μ + ε + α ) Q ( t ) ,
(3.3)

then we have

μ + ε + α ε [ S ( t ) S ( 0 ) t + I ( t ) I ( 0 ) t ] + Q ( t ) Q ( 0 ) t = μ + ε + α ε A ( μ + ε + α ) μ ε S ( t ) ( μ + ε + α ) ( α + δ + α ) ε I ( t ) + δ I ( t ) .

We compute that

S ( t ) = A μ ( μ + α μ ) μ + ε + α + δ μ + ε + α I ( t ) +φ(t),
(3.4)

where φ(t) is defined by

φ ( t ) = ε μ ( μ + ε + α ) { μ + ε + α ε [ S ( t ) S ( 0 ) t + I ( t ) I ( 0 ) t ] + Q ( t ) Q ( 0 ) t } = 1 μ [ S ( t ) S ( 0 ) t + I ( t ) I ( 0 ) t ] ε μ ( μ + ε + α ) Q ( t ) Q ( 0 ) t .

Obviously φ(t)0, t. Applying Itô’s formula to system (1.3) leads to

dlogI= [ [ β S ( γ + δ + μ + α ) ] d t 1 2 σ 2 S 2 ] dt+σSdB(t).
(3.5)

Integrating this from 0 to t and dividing t on the both sides, we have

log I ( t ) log I ( 0 ) t = β S ( t ) ( μ + γ + δ + α ) 1 2 σ 2 S 2 ( t ) + σ t 0 t S ( r ) d B ( r ) β S ( t ) ( μ + γ + δ + α ) 1 2 σ 2 S ( t ) 2 + σ t 0 t S ( r ) d B ( r ) .
(3.6)

Substituting (3.4) into (3.6) yields

log I ( t ) log I ( 0 ) t = β [ A μ μ + α μ ( 1 + δ μ + ε + α ) I ( t ) + φ ( t ) ] ( μ + γ + δ + α ) 1 2 σ 2 [ A μ μ + α μ ( 1 + δ μ + ε + α ) I ( t ) + φ ( t ) ] 2 + σ t 0 t S ( r ) d B ( r ) = β [ A μ ( μ + α μ ) μ + ε + α + δ μ + ε + α I ( t ) + φ ( t ) ] ( μ + σ + δ + α ) 1 2 σ 2 [ ( A μ ) 2 + ( μ + α μ ) 2 ( μ + ε + α + δ μ + ε + α ) 2 I ( t ) 2 + φ ( t ) 2 ( 2 A μ ) ( μ + α μ ) μ + ε + α + δ μ + ε + α I ( t ) + 2 A μ φ ( t ) 2 ( μ + α μ ) μ + ε + α + δ μ + ε + α I ( t ) φ ( t ) ] + σ t 0 t S ( r ) d B ( r ) = β A μ ( μ + γ + δ + α ) 1 2 σ 2 ( A μ ) 2 ( μ + α μ ) μ + ε + α + δ μ + ε + α ( β σ 2 A μ ) I ( t ) 1 2 σ 2 ( μ + α μ ) 2 ( μ + ε + α + δ μ + ε + α ) 2 I ( t ) 2 + β φ ( t ) 1 2 σ 2 φ ( t ) 2 σ 2 ( A μ ) φ ( t ) + σ 2 ( μ + α μ ) μ + ε + α + δ μ + ε + α I ( t ) φ ( t ) + σ M ( t ) t β A μ ( 1 1 R ˜ 0 ) ( μ + α μ ) μ + ε + α + δ μ + ε + α ( β σ 2 A μ ) I ( t ) + Φ ( t ) + σ M ( t ) t ,
(3.7)

where

Φ ( t ) = β φ ( t ) σ 2 2 φ 2 ( t ) + σ 2 ( μ + ε ) ( μ + α ) μ ( μ + ε + p ) I ( t ) φ ( t ) σ 2 A μ φ ( t ) , M ( t ) = 0 t S ( r ) d B ( r ) .

If the condition (b) is satisfied, we have

log I ( t ) log I ( 0 ) t β A μ ( 1 1 R ˜ 0 ) +Φ(t)+ σ M ( t ) t .
(3.8)

Moreover,

lim sup t M , M t t σ 2 A 2 μ 2 <a.s.

By Lemma 3.1 and φ(t)0, t, we obtain

lim t M ( t ) t =0and lim t Φ(t)=0a.s.
(3.9)

It follows from (3.8) and (3.9) that

lim sup t log I ( t ) t β A μ ( 1 1 R ˜ 0 ) <0a.s.

Conclusion (3.2) is proved.

Next, according to (3.6), we obtain

log I ( t ) log I ( 0 ) t β S ( t ) ( μ + γ + δ + α ) 1 2 σ 2 S ( t ) 2 + σ t 0 t S ( r ) d B ( r ) = 1 2 σ 2 ( S ( t ) β σ 2 ) 2 + β 2 2 σ 2 ( γ + δ + μ + α ) .

If the condition (a) is satisfied, we have

log I ( t ) t β 2 2 σ 2 (γ+δ+μ+α)+σ M ( t ) t + log I ( 0 ) t .

Conclusion (3.1) is proved.

lim sup t log I ( t ) t (μ+γ+α+δ)+ β 2 2 σ 2 <0a.s.

According to (3.1) and (3.2), they implies

lim t I(t)=0a.s.
(3.10)

Next, let us prove the last assertion. We solve the last equation of system (1.3), then

Q(t)= e ( μ + ε + α ) t [ Q ( 0 ) + 0 t δ I ( s ) e ( μ + ε + α ) s d s ] .

Applying L’Hospital’s rule and (3.10), we get

lim t Q(t)= lim t Q ( 0 ) + 0 t δ I ( s ) e ( μ + ε + α ) s d s e ( μ + ε + α ) t = lim t δ I ( t ) μ + ε + α =0.

According to system (1.3), we obtain

d(S+I+Q)= [ A μ ( S + I + Q ) α ( I + Q ) ] dt,

then

S(t)+I(t)+Q(t)= e μ t { [ S ( 0 ) + I ( 0 ) + Q ( 0 ) ] + 0 t [ A α ( I ( s ) + Q ( s ) ) ] e μ s d s } ,

then

lim t S ( t ) = lim t { [ S ( 0 ) + I ( 0 ) + Q ( 0 ) ] + 0 t [ A α ( I ( s ) + Q ( s ) ) ] e μ s d s e μ t I ( t ) Q ( t ) } = lim t A α ( I ( s ) + Q ( s ) ) μ = A μ a.s.

This finishes the proof of Theorem 3.1. □

Remark 3.2 Theorem 3.1 tells us the disease will die out if R ˜ 0 <1 and the white noise is not large satisfied σ 2 β μ A . Moreover, we notice the conditions for I(t) to become extinct in the SDE model (1.3) are weaker than in the corresponding deterministic model. When the white noise is large enough such that σ 2 >max{ β 2 2 ( γ + δ + μ + α ) , β μ A } is satisfied, the disease will also die out. The following examples illustrate this result more explicitly.

Example 3.3 Throughout the paper we shall assume that the unit of time is one day and the population sizes are measured in units of 1 million. Choose the parameters in system (1.3) as follows:

A = 0.8 , β = 0.6 , μ = 0.4 , α = 0.2 , γ = 0.3 , ε = 0.2 , δ = 0.1 , σ = 0.4 .
(3.11)

Note that

R ˜ 0 =β ( A μ ) 1 ( μ + γ + δ + α ) + 1 2 σ 2 ( A μ ) 2 =0.9091<1and σ 2 =0.16 β μ A =0.3,

then by Theorem 3.1, the solution (S(t),I(t),Q(t)) of system (1.3) obeys

lim sup t log I ( t ) t β A μ ( 1 1 R ˜ 0 ) =0.12<0,a.s.

and

lim t S(t)= A μ =2, lim t Q(t)=0a.s.

with any initial value (S(0),I(0),Q(0))=(0.8,0.4,0.5) Γ . That is, I(t) will tend to zero exponentially with probability one.

On the other hand, for the corresponding deterministic model (1.1),

R 0 = β A μ ( μ + δ + γ + α ) =1.2>1,
(3.12)

then the endemic equilibrium ( S , I , Q ) is globally asymptotically stable in Γ. Using the method mentioned in [19], we give the simulations shown in Figure 1 to support our results.

Figure 1
figure 1

Computer simulation of the path S(t) , I(t) , Q(t) for model ( 1.3 ) and ( 1.1 ) for parameter values A=0.8 , β=0.6 , μ=0.4 , α=0.2 , γ=0.3 , ε=0.2 , δ=0.1 and σ=0.4 , with step size Δt=0.001 and initial value (S(0),I(0),Q(0))=(0.8,0.4,0.5) .

Example 3.4 We keep all the parameters of (3.11) unchanged but increase σ to 0.6. Note that σ 2 =0.36>0.3=max{ β 2 2 ( γ + δ + μ + α ) , β μ A }, then by Theorem 3.1, the solution (S(t),I(t),Q(t)) of system (1.3) obeys

lim sup t log I ( t ) t (μ+γ+α+δ)+ β 2 2 σ 2 =0.5<0a.s.

That is, I(t) will tend to zero exponentially with probability one. But, for the corresponding deterministic model (1.1), note (3.12), R 0 =1.2>1, then the endemic equilibrium ( S , I , Q ) is globally asymptotically stable in Γ. Using the method mentioned in [19], we give the simulations shown in Figure 2 to support our results.

Figure 2
figure 2

Computer simulation of the path S(t) , I(t) , Q(t) for model ( 1.3 ) and ( 1.1 ) for parameter values A=0.5 , q=0.8 , β=0.5 , μ=0.1 , p=0.6 , α=0.2 , γ=0.3 , ε=0.2 , and σ=0.6 , with step size Δt=0.001 and initial value (S(0),I(0),Q(0))=(0.8,0.4,0.5) .

4 Persistence

Since there is no internal equilibrium model in the stochastic infectious disease model, how to choose the appropriate scale to reflect the widespread prevalence of the disease is a key issue. We first give a definition of persistence in the mean and a lemma to be used in proof.

Definition 4.1 System (1.3) is said to be persistent in the mean, if

lim inf t 1 t 0 t I(r)dr>0a.s.

Lemma 4.2 [7]

Let fC[[0,)×Ω,(0,)] and F(t)C([0,)×Ω,R). If there exist positive constants λ 0 , λ, and T such that

logf(t)λt λ 0 0 t f(s)ds+F(t)a.s.

for all tT, and lim t F ( t ) t =0 a.s., then

lim sup t 1 t 0 t f(s)ds λ λ 0 a.s.

Theorem 4.1 If R ˜ 0 >1 and σ 2 < β μ A , then for any initial value (S(0),I(0),Q(0)) Γ , the solution (S(t),I(t),Q(t)) of system (1.3) has the following property:

I ˜ lim inf t I ( t ) lim sup t I ( t ) I ˜ a.s.,
(4.1)

where

I ˜ = A μ ( 1 1 R ˜ 0 ) ( μ + α μ ) μ + ε + α + δ μ + ε + α , I ˜ = β A μ ( 1 1 R ˜ 0 ) ( μ + α μ ) μ + ε + α + δ μ + ε + α ( β σ 2 A μ ) .

Moreover,

A μ β A μ ( 1 1 R ˜ 0 ) β σ 2 A μ lim inf t S ( t ) lim sup t S ( t ) A μ R ˜ 0 a.s.,
(4.2)

and

A δ ( 1 1 R ˜ 0 ) ( μ + α ) ( μ + ε + α + δ ) lim inf t Q ( t ) lim sup t Q ( t ) β A δ ( 1 1 R ˜ 0 ) ( μ + α ) ( μ + ε + α + δ ) ( β σ 2 A μ ) a.s.
(4.3)

Proof By the last inequality of (3.7), we have

log I ( t ) t β A μ ( 1 1 R ˜ 0 ) ( μ + α μ ) μ + ε + α + δ μ + ε + α [ β σ 2 A μ ] I ( t ) + Φ ( t ) + σ M ( t ) t + log I ( 0 ) t .

If R ˜ 0 >1 and σ 2 < β μ A , together with Lemma 4.2 and (3.9), then

lim sup t I ( t ) β A μ ( 1 1 R ˜ 0 ) ( μ + α μ ) μ + ε + α + δ μ + ε + α ( β σ 2 A μ ) .
(4.4)

On the other hand, substituting (3.4) into the first equality of (3.6), then

log I ( t ) log I ( 0 ) t β [ A μ ( μ + α μ ) μ + ε + α + δ μ + ε + α I ( t ) + φ ( t ) ] ( μ + γ + δ + α ) 1 2 ( A μ ) 2 + σ t 0 t S ( r ) d B ( r ) .

We compute that

I ( t ) μ ( μ + ε + α ) β ( μ + α ) ( μ + ε + α + δ ) [ β A μ ( μ + γ + δ + α ) 1 2 σ 2 ( A μ ) 2 + β φ ( t ) + σ t 0 t S ( r ) d B ( r ) log I ( t ) log I ( 0 ) t ] = μ ( μ + ε + α ) β ( μ + α ) ( μ + ε + α + δ ) [ β A μ ( 1 1 R ˜ 0 ) + β φ ( t ) + σ t M ( t ) log I ( t ) log I ( 0 ) t ] .
(4.5)

If R ˜ 0 >1 and σ 2 < β μ A , taking the limit inferior of both sides (4.5) leads to

lim inf t I ( t ) μ ( μ + ε + α ) β ( μ + α ) ( μ + ε + α + δ ) β A μ ( 1 1 R ˜ 0 ) = A μ ( 1 1 R ˜ 0 ) ( μ + α ) μ μ + ε + α + δ μ + ε + α .
(4.6)

Combining (4.4) with (4.6), conclusion (4.1) is proved.

Moreover, due to equality (3.4) and inequalities (4.4), (4.6), we have

lim inf t S ( t ) = A μ ( μ + α ) ( μ + ε + α + δ ) μ ( μ + ε + α ) lim sup t I ( t ) A μ β A μ ( 1 1 R ˜ 0 ) β σ 2 A μ

and

lim sup t S ( t ) = A μ ( μ + α ) ( μ + ε + α + δ ) μ ( μ + ε + α ) lim inf t I ( t ) A μ R ˜ 0 .

In view of (3.3), (4.3), and (4.4), we get

lim inf t Q ( t ) = δ μ + ε + α lim inf t I ( t ) A δ ( 1 1 R ˜ 0 ) ( μ + α ) ( μ + ε + α + δ )

and

lim sup t Q ( t ) = δ μ + ε + α lim sup t I ( t ) β A δ ( 1 1 R ˜ 0 ) ( μ + α ) ( μ + ε + α + δ ) ( β σ 2 A μ ) .

This finishes the proof of Theorem 4.1. □

Remark 4.3 From Theorem 3.1 and Theorem 4.1, we can see when the noise is so small that σ 2 < β μ A , then the value of R ˜ 0 <1 will lead to the disease dying out and the value of R ˜ 0 >1 will lead to the disease prevailing. So we consider R ˜ 0 as the threshold of stochastic system (1.3).

Example 4.4 Assume that the parameters of system (1.3) are given by

A = 0.8 , β = 0.8 , μ = 0.2 , α = 0.2 , γ = 0.3 , ε = 0.2 , δ = 0.1 , σ = 0.1 .
(4.7)

Note that

R ˜ 0 =β ( A μ ) 1 ( μ + γ + δ + α ) + 1 2 σ 2 ( A μ ) 2 =3.6364>1and σ 2 =0.01< β μ A =0.2,

then by Theorem 4.1, for any initial value (S(0),I(0),Q(0))=(0.8,0.4,0.5) Γ , we conclude that the solution (S(t),I(t),Q(t)) of system (1.3) obeys

1.2428 lim inf t I ( t ) lim sup t I ( t ) 1.5081a.s.

That is to say, the disease will prevail.

To further illustrate the effect of the noise intensity σ on the model (1.3), we keep all the parameters of (4.7) unchanged but increase σ to 0.05. Using the method mentioned in [19], we give the simulations to support our results in Figure 3. Comparing the first picture and the second picture in Figure 3, with the noise getting smaller, the fluctuation of the solution of system (1.3) is getting weaker.

Figure 3
figure 3

Computer simulation of the path S(t) , I(t) , Q(t) for model ( 1.3 ) and ( 1.1 ) for parameter values A=0.8 , β=0.8 , μ=0.2 , α=0.2 , γ=0.3 , ε=0.2 , δ=0.1 , σ=0.1 , and σ=0.05 , with step size Δt=0.001 and initial value (S(0),I(0),Q(0))=(0.8,0.4,0.5) .