 Research
 Open Access
 Published:
An SEIRS epidemic model with stochastic transmission
Advances in Difference Equations volumeÂ 2017, ArticleÂ number:Â 109 (2017)
Abstract
For an SEIRS epidemic model with stochastic perturbations on transmission from the susceptible class to the latent and infectious classes, we prove the existence of global positive solutions. For sufficiently small values of the perturbation parameter, we prove the almost surely exponential stability of the diseasefree equilibrium whenever a certain invariant \(\mathcal{R}_{\sigma}\) is below unity. Here \(\mathcal{R}_{\sigma}< \mathcal{R}\), the latter being the basic reproduction number of the underlying deterministic model. Biologically, the main result has the following significance for a disease model that has an incubation phase of the pathogen: A small stochastic perturbation on the transmission rate from susceptible to infectious via the latent phase will enhance the stability of the diseasefree state if both components of the perturbation are nontrivial; otherwise the stability will not be disturbed. Simulations illustrate the main stability theorem.
1 Introduction
In recent years, a number of articles have been published on stochastic differential equation models of population dynamics of infectious diseases. In comparison with models described by ordinary differential equations (ode), the stochastic differential equation (sde) models provide of course a means of accommodating randomness in the model. Two themes of special interest in the modeling of population dynamics of a disease are the stability of equilibrium points and the optimal control of interventions such as vaccination, quarantine, public health education and others. For sde models, optimal control problems and solutions are presented in [1] of Cai and Luo, [2] of Ishikawa and in [3]. In the stochastic setting, stability of equilibria and the long term persistence or extinction of a disease in a population have been studied in most of the sde models in the literature. Such studies use different versions of stability. Stochastic perturbation has also been studied in multigroup models, such as in [4â€“6] for example. In many cases it has been proved that the introduction of stochastic perturbations into an ode epidemic model system can possibly render an unstable diseasefree equilibrium of the ode system to become stable in the stochastic differential equation system. This phenomenon was highlighted in [7] by Chen et al., [8] by Gray et al. and in [9] for instance.
Since the basic models such as [10] by Li et al. on diseases of the SEIRS type, many variations have been presented in the literature, such as [11] of Melesse and Gumel. Starting with an ode model of SEIRS type, in this paper we study the effect of stochastic perturbations on the stability of the diseasefree equilibrium of the system. The models in [7] and in [8] have perturbations of the transmission rate from the Sclass to the Iclass. The latter models do not include a latent infection compartment such as the E compartment in SEIR type models. The current paper is among the first studies of a disease model with a latent infection compartment, having a perturbation of the disease transmission. In the literature there are stochastic models such as in [4] and [5] having latent infection compartments, but with the stochastic perturbations not directly aimed at transmission. We prove the existence of solutions which are almost surely global and positive. We also study stability of the diseasefree equilibrium. In particular, we introduce an invariant \(\mathcal{R}_{ \sigma}\) of the model that is related to the basic reproduction number \(\mathcal{R}\) of the underlying deterministic model, with \(\mathcal{R}_{ \sigma}< \mathcal{R}\). With the given type of randomness in the system, we prove that there is a greater chance of the disease vanishing from the population. The main results are illustrated with simulations.
2 Preliminaries
Notation 2.1
By \(\mathbb{R}^{n}_{+}\) (resp. \(\mathbb{R}^{n} _{++}\)) we denote the set of points in \(\mathbb{R}^{n}\) having only nonnegative (resp. strictly positive) coordinates.
We assume throughout the paper that we have a complete probability space \((\Omega, \mathcal{F}, \mathbb{P})\), equipped with a filtration, \(\{ {\mathcal{F}}_{t}\}_{t\geq0}\), that is right continuous and with \({\mathcal{F}}_{0}\) containing all the subsets having measure zero. We consider a onedimensional Wiener process \(W(t)\) on this filtered probability space.
Consider the kdimensional stochastic differential equation, for some multidimensional Wiener process \(B(t)\):
A solution is denoted by \(x(t,x_{0})\). Assume that \(f(0,t)=g(0,t)=0\) for all \(t\geq0\), so that the origin point is an equilibrium point of equation (2.1).
By \(\mathcal {L}\) we denote the infinitesimal generator (see for instance [12]) associated with the function displayed in equation (2.1), defined for a function \(V(t,x)\in C^{1,2}(\mathbb{R} _{+} \times\mathbb{R}^{k})\).
Definition 2.2
See [13]
The equilibrium \(x=0\) of the system (2.1) is said to be almost surely exponentially stable if for each initial value \(x_{0}\) in a given subset, we have
The limit \(\limsup_{t\to\infty} \frac{1}{t}\ln x(t)\) is called the Lyapunov exponent of \(x(\cdot)\).
The following lemma was utilized in [9] and proved in [14]. For completeness we include the simple proof.
Lemma 2.3
For \(k\in\mathbb{N}\), let \(X(t)=(X_{1}(t), X _{2}(t), \ldots , X_{k}(t))\) be a bounded \(\mathbb{R}^{k}\)valued function and let \((t_{0,n})\) be any increasing unbounded sequence of positive real numbers. Then there is a family of sequences \((t_{l,n})\) such that, for each \(l\in\{ 1, 2, \ldots, k\}\), \((t_{l,n})\) is a subsequence of \((t_{l1,n})\) and the sequence \(X_{l}(t_{l,n})\) converges to a chosen limit point of the sequence \(X_{l}(t_{l1,n})\).
Proof
Let b be an upper bound for the functions \(X_{i}(t)\). In the compact set \([0,b]\), we can choose a limit point in the closure of the set \(\{ X_{1}(t_{0,n}) \vert n\in\mathbb{N}\}\) and select a convergent subsequence \((t_{1,n})\) of \((t_{0,n})\) for which the limit is the chosen limit point. In the same way we can start with the sequence \((t_{1,n})\) and pick a subsequence \((t_{2,n})\) for which \((X_{2}(t_{2,n}))\) is convergent, etc.â€ƒâ–¡
The function that we now introduce will be important in the stability analysis. Consider any \(p\in[0,1]\) and let \(q=1p\). Now we define the function
Let \(h_{*}:[0,1] \to\mathbb{R}_{+}\) be the function defined by
Proposition 2.4
Let p, h and \(h_{*}\) be as above, and let \(h_{1}=h\vert _{(0,1]}\) be the (domain) restriction of h to \((0,1]\). Then \(h_{*}(p)\) is the absolute minimum of \(h_{1}\).
Proof
If \(p=\frac{1}{2}\), then \(h(x)=(4x)^{1}\) and the result follows easily. Thus, for the remainder of the proof we exclude the case \(p=\frac{1}{2}\). Then we observe that h tends to +âˆž if \(x\to0^{+}\) and also, h tends to +âˆž as \(x\to+\infty\). Using calculus we find that \(h'(x)\) is continuous on \(\mathbb{R}_{++}\) and has exactly one root \(x_{0}\), which is \(x_{0}=p\cdot \vert qp\vert ^{1}\). Therefore, the minimum of \(h_{1}\) is \(h(x_{0})\) whenever \(x_{0} \le1\) and is \(h(1)\) otherwise. Further, \(x_{0}\le1\) if and only if \(0\le p\le\frac{1}{3}\). The rest of the proof follows readily.â€ƒâ–¡
3 The model
Melesse and Gumel [11] present a model for a disease of SEIRS type that may cause different stages of infectiousness in a patient. In a special case of the mentioned model, in this paper we study the effect of stochastic perturbations on the stability of the diseasefree equilibrium. The population, which at any time t consists of \(N(t)\) individuals, is regarded as being divided into four compartments or classes. These are called the susceptible, exposed, infectious and removed classes. Their sizes, at any time t, are denoted by \(S(t)\), \(E(t)\), \(I(t)\) and \(R(t)\), respectively. The equations of motion of the system are assumed to be given by the system (3.1) of stochastic differential equations. If \(\sigma=0\) then the system reduces to a system of ode, which can be called the underlying deterministic model or the underlying system of ode. For the system (3.1), the underlying system of ode coincides with a special case of the model in [11]. Inflow into the population is assumed to be all into the class of susceptibles, and it is at a rate \(\mu_{0}K\). Additionally there is flow from the recovered class into the class of susceptibles at a rate \(\alpha_{3}R\), due to loss of infectionacquired immunity. The mortality rates in the different classes are denoted by \(\mu_{i}\) (\(i=0,1,2,3\)) and this allows for higher mortality rates in classes which have been affected by the disease, such as also in [15] of Beretta et al. Hence the condition (3.2) below. The symbol Î² denotes the effective contact rate. The parameters \(\alpha_{1}\) and \(\alpha_{2}\) determine the rates at which individuals in the population pass from classes E to I and (respectively) from I to R.
We further assume that W is a standard Brownian motion. The aim of the paper is to have stochastic perturbations on the transmission rate. We do this by introducing two complementary pairs of stochastic perturbation terms. The nonnegative constants Ïƒ, p and q are such that Ïƒ determines the intensity of the perturbation, while p and q are the relative weights attached to the split parts of the perturbation. We assume that
The first pair of perturbation terms (\( \sigma pSE\,dW\) and \(+ \sigma pSE\,dW\)) constitutes randomness in the transmission rate from the class S to the class E. Let us explain the presence of the factor E (instead of I) in this component of the perturbation. We note that, for any equilibrium point \(P^{*}\) of the underlying system of ode, there is a proportionality,
and this motivates the presence of the factor E in the first pair of complementary perturbation terms. This form of the first pair of terms is particularly significant since we are specifically concerned with what happens near diseasefree equilibrium. The second pair of complementary perturbation terms can be understood in view of the infection ultimately driving the susceptibles (via the E class) into the I class. The shorter the average latent period, the more relevant does the latter perturbation become. All the parameters are nonnegative or positive constants. So for instance, if \(\alpha_{3}=0\), then the model is said to be of the SEIR type, but for \(\alpha_{3}\neq0\), the model is referred to as SEIRS.
The system of stochastic differential equations is as follows:
Throughout the paper we assume that
The basic reproduction number of the underlying deterministic model, see [11], is
The following invariant \(\mathcal{R}_{\sigma}\) of the model (3.1) shall feature in the main theorem on almost sure extinction of the Iclass. In describing \(\mathcal{R}_{\sigma}\) we use the number \(h_{*} = h_{*}(p)\) from SectionÂ 2:
We introduce the following set:
Proposition 3.1
Suppose that, for some T, there is a local solution
for the system, with \(X(t)\in\mathbb{R}^{4}_{+}\) for each \(t\in[0, T)\). If \(N(0)\le K\), then \(N(t)\le K\) for each \(t\in[0, T)\).
Proof
Given any such local solution \(X(t)\), then
The condition \(X(t)\in\mathbb{R}_{++}^{4}\) together with \(\mu_{0} \le\min\{ \mu_{1}, \mu_{2}, \mu_{3} \}\) ensures that
Consequently,
Solution of the first order linear ordinary differential equation reveals that if \(N(0)< K\), then \(N(t)< K\) for all \(t\in[0, T)\).â€ƒâ–¡
We now prove the existence of solutions which are almost surely global and positive.
Theorem 3.2
Given any initial value \(X_{0}=(S_{0}, E_{0}, I_{0}, R_{0})\in\Delta_{K}\), then the system (3.1) admits a unique solution \(X(t)=(S(t), E(t), I(t), R(t))\) on \(t\geq0\), and this solution remains in \(\Delta_{K}\) almost surely.
Proof
The coefficients of the system (3.1) are locally Lipschitz continuous. By [13], TheoremÂ 3.5, for the given initial value \(X_{0}\in\Delta_{K}\) there is a unique local solution \(X(t)\) over the interval \(t\in[0,\tau_{\mathrm{en}} )\), where \(\tau_{ \mathrm{en}}\) is the explosion time.
There is a number \(m_{0}\in\mathbb{N}\) which is sufficiently large to allow \(S_{0},E_{0}, I_{0},R_{0} \in(1/m_{0}, K)\). For each \(n\in\mathbb{N}\cap[m_{0},\infty)\), let us write
Then we define stopping times \(\tau_{n}\) and \(\tau_{\infty}\) by taking \(\tau_{n}\) to be the infimum of \(D_{n}\) if \(D_{n}\neq\emptyset\) and otherwise \(\tau_{n} = \infty\). The set \(D_{\infty}\) and the random variable \(\tau_{\infty}\) are defined as
For each \(\gamma> 0\), let \(\Omega_{(\gamma)}\) be the subset of Î© defined thus:
We shall prove by contradiction that \(\tau_{\mathrm{en}}=\infty\) (a.s.). So let us assume to the contrary that there exist \(T,C\in\mathbb{R}\) with \(C>0\), and with \(T<\tau_{\mathrm{en}}\) such that \(\mathbb{P}(\Omega _{(T)})= C\).
Let us define the function \(V_{0}(X)\), for \(X=(S,E,I,R)\), by the formula:
By PropositionÂ 3.1, each of the four terms of \(V_{0}(X(t))\) are nonnegative for every \(t\in[0, \tau_{\infty})\).
We set up a contradiction by calculating upper and lower bounds on expectations of \(V_{0}\). Firstly we calculate an upper bound. For every \(u\in[0, \tau_{\infty}\wedge T)\) we have
We remove some negative terms and deduce the following inequality:
Now let
and for \(t\in[0, \tau_{\infty}\wedge T]\), let \(M_{0}(t)\) be
Now we have the following inequality:
Therefore, for any \(k\in\mathbb{N}\cap[m_{0},\infty)\) we have
The stochastic process \(M_{0}(t)\) is a local martingale and therefore for any \(m\in\mathbb{N}\cap[m_{0},\infty)\) we have \(\mathbb{E}[M _{0}(t\wedge\tau_{m})]=M_{0}(0)=0\). Consequently,
and we have the upper bound which we set out to find. We now search for a lower bound for \(\mathbb{E}[V_{0}(X(T\wedge\tau_{m}))]\). Note that if \(w\in\Omega_{(T)}\) and we evaluate \(V_{0}(X(\zeta))\) for \(\zeta=w( \tau_{m})\), then we get
We can deduce the lower bound:
These two bounds yield
We can choose a value of m sufficiently big, so that
leading to a contradiction. Therefore we must have \(\tau_{\infty}= \infty\) almost surely. This completes the proof of TheoremÂ 3.2.â€ƒâ–¡
Remark 3.3
(a) In the remainder of this paper we assume that sample paths are restricted to \(\Omega_{0}\), which is defined as follows:
(b) Let us briefly consider a slightly different form of the stochastic perturbation. In the first equation of the model (3.1), the \((dS)\) equation, let us consider a perturbation of the form \((\sigma_{1}E+\sigma_{2}I)S\,dW\), with \(\sigma_{1}\) and \(\sigma_{2}\) both nonnegative and at least one of them being nonzero. Now let \(\sigma=\sigma_{1}+\sigma_{2}\). We set \(p=\sigma_{1}/\sigma\) and \(q=\sigma_{2}/\sigma\). Then \(p,q \in[0,1]\), \(p+q=1\) and
The introduction of p and q simplifies the analysis when we get to deal with the functionÂ \(h(\cdot)\).
4 Stability theorems
The concept of stability of a deterministic system of differential equations ramifies into different forms when dealing with stochastic differential equations. In this paper we shall focus on almost sure exponential stability, which is conceptually uncomplicated. We prove that when the basic reproduction number \(\mathcal{R}\) of the underlying deterministic model is below unity, then the diseasefree equilibrium is almost surely exponentially stable. We also prove stronger results on \(I(t)\) converging to zero, in terms of the analog \(\mathcal{R_{\sigma }}\) of \(\mathcal{R}\).
Theorem 4.1
If \(\mathcal{R} < 1\), then the diseasefree equilibrium of the system (3.1) is almost surely exponentially stable.
The proof of TheoremÂ 4.1 will be presented following a discussion which is relevant to all the stability results that we derive in this paper.
Item 4.2
AÂ construction and notation.
The following construction is crucial for the proofs of the stability theorems. We fix a positive real number b and let \(a\ge0\) and \(a_{1}\ge0\). Let us write \((S(t),E(t), I(t),R(t))=X(t)\). We define the following stochastic processes:
Note that for every \(t>0\) we have
Since (see RemarkÂ 3.3) we assume the sample paths to be in the subset \(\Omega_{0}\), it follows that \(z(X(t))>0\) for all \(t>0\). Let
For every sample path w of the Wiener process \(W(t)\), there exists an unbounded increasing sequence \((\tau_{n}^{w})\) of positive time values for which
Fix such a sequence. Then by LemmaÂ 2.3 there exists a subsequence \((t_{n}^{w})\) for which the following limits exist:
Let us write
Item 4.3
AÂ useful inequality for \(\mathcal{L}V(X(u))\).
Using ItÃ´â€™s formula we can express the stochastic process \(V(X(t))\) as
with \(M_{1}(t)\) being the ItÃ´ integral
Since
and the latter is a (bounded) fixed number, it follows that
Thus we may apply the strong law of large numbers for local martingales, as from [16] for instance, and we deduce that
Since also
it follows that
Now we calculate \(\mathcal{L}V(X(t))\).
For our further analysis it will suffice to have a suitable function dominating \(\mathcal{L}V\). From the last equation we obtain
Now we introduce notation from ItemÂ 4.2, to obtain the following inequality:
Remark 4.4
In the proofs of the stability theorems we shall need to prove that, for paths \(w\in\Omega_{0}\),
To this end we note here that it suffices to prove that
Proof of TheoremÂ 4.1
Since \(\mathcal{R} < 1\) we have the inequality
Now we can choose \(a>0\) sufficiently small such that
We can also choose positive real numbers \(a_{0}\) and \(a_{1}\) sufficiently small such that
Now let \(b=c+a_{0}(\mu_{1}+\alpha_{1})^{1}\), and with these values of a, b and \(a_{1}\) we define \(z(X(t))\) as in ItemÂ 4.2. It suffices to prove that \(\Lambda<0\). We modify the inequality (4.4) ignoring the last term, using \(S< K\) and noting that \(b(\alpha_{1}+\mu_{1})\alpha _{1}=a_{0}\). Then we deduce the following inequality:
We form limits as in equations (4.2a) and (4.2b), and after rearranging the terms we obtain
The coefficients of q, f and r are negative, and by inequality (4.5) the coefficient of i is also negative. Since \(aq+bf+i+a_{1}r=1\), it follows that at least one of these limits \(\{ q, f, i,r\}\) must be nonzero. Hence \(\Lambda<0\) and the proof is complete.â€ƒâ–¡
TheoremÂ 4.1 implies that if a diseasefree equilibrium is locally asymptotically stable with respect to the underlying odesystem, then it is almost surely exponentially stable with respect to the stochastic model, in particular, the perturbations do not disrupt the stability of the diseasefree equilibrium.
Remark 4.5
In the sequel we shall use a special form of the inequality (4.4), taking \(a=a_{1}=0\). Then \(z=bE+I\) and from (4.4) we obtain the inequality
Since \(bE_{z}=1I_{z}\), and with \(h(\cdot)\) being the function as in equation (2.2), we can write
Since \(0< I_{z} <1\), by PropositionÂ 2.4 we have \(h(I_{z})\ge h _{*}(p)\). Therefore we can write
We now present the main result of this paper, which proves that the stochastic perturbation improves the stability of the diseasefree equilibrium for small values of the perturbation parameter.
Theorem 4.6
If the following conditions hold:

(1)
\(\mathcal{R}_{\sigma}< 1\),

(2)
\(\sigma^{2}\le\frac{c\beta}{Kh_{*}}\) with \(c=\frac{ \alpha_{1}}{\mu_{1}+\alpha_{1}}\),
then \((E(t),I(t))\) almost surely converges exponentially to 0.
Proof
Let us assume the conditions (1) and (2) of the theorem to hold. In particular then, the condition (1) is equivalent to
Choose any positive number \(a_{3}\) to be sufficiently small such that
This can be written
Using this value of b in the inequality (4.7) while \(a=0=a_{1}\), yields
The quadratic function \(g(\zeta)\) of equation (4.9) reaches an absolute maximum when \(\zeta= b\beta(\sigma^{2}h_{*})^{1}\). By assumption (2) it follows that \(c\beta(\sigma^{2}h_{*})^{1}\ge K\). Therefore also
Considering that \(0 < S \le K\), it follows that \(g(S)\le g(K)\) and therefore
Therefore (see the notation in ItemÂ 4.2) we have
Now we observe that \(g(K)\) coincides with the left hand side of the inequality (4.8). Since at least one of f and i must be nonzero, it follows that \(\Lambda<0\). This completes the proof of TheoremÂ 4.6.â€ƒâ–¡
In SectionÂ 5 we shall further reflect on TheoremÂ 4.6. Also, TheoremÂ 4.8 below combines very well with TheoremÂ 4.6. However, while our main result TheoremÂ 4.6 focused on small perturbations, let us briefly address the case of larger perturbations. The following theorem asserts that, for sufficiently large values of the perturbation parameter Ïƒ, the disease will eventually vanish from the population.
Theorem 4.7
The pair \((E(t),I(t))\) almost surely converges exponentially to 0 if
Proof
Let \(a_{4}\) be sufficiently small to support the inequality:
and let \(b=c+a_{4}(\alpha_{1}+\mu_{1})^{1}\). Now we revisit the construction presented under ItemÂ 4.2, using the constant b as selected and \(a=0=a_{1}\). Then similar to the proof of TheoremÂ 4.6, we obtain an inequality,
The inequality \(\sigma^{4} > \frac{(b\beta)^{2}}{(\alpha_{2}+\mu_{2})h _{*}^{2}}\) is equivalent to
Therefore,
This implies that \(\Lambda\le ig(s)  a_{4}f <0\), and the proof is complete.â€ƒâ–¡
Theorem 4.8
If \((E(t),I(t))\) almost surely converges exponentially to 0, then
Proof
This proof is by contradiction, so let us suppose, to the contrary, that (on a subset \(\Omega_{\lim}\) of Î© of positive measure) we have \(\lim_{t\to\infty} (KS(t))+ R(t)>0\). Let z be as in ItemÂ 4.2, with \(a=b=a_{1}=1\). Then, since \(\lim_{t\to\infty} E(t)=0\) while \(\lim_{t\to\infty} (KS(t))+ R(t)>0\), it follows that \(f=0\) on \(\Omega_{\lim}\). Similarly it follows that \(i=0\) on \(\Omega_{\lim}\). Therefore from the inequality (4.4) it follows that on \(\Omega_{\lim}\) we have
Therefore, \(\Lambda< 0\). This implies that z converges to 0 and, consequently, that \(\lim_{t\to\infty} (KS(t))+ R(t)=0\), which is a contradiction. This completes the proof.â€ƒâ–¡
Remark 4.9
(a) TheoremÂ 4.6 is much more significant than TheoremÂ 4.7 because in disease modeling, in practice one is more interested in smaller perturbations rather than the larger perturbations. Let us denote the bounds on Ïƒ specified in Theorems 4.6 and 4.7 by \(\theta_{1}\) and \(\theta_{2}\) respectively. If \(\theta_{1} > \theta _{2}\), then these theorems can be combined, guaranteeing the diseasefree equilibrium to be almost surely exponentially stable irrespective of the magnitude of Ïƒ.
(b) Of course, TheoremÂ 4.8 serves to extend Theorems 4.6 and 4.7.
5 Simulations
TheoremÂ 4.6 suggests that \(\mathcal{R}_{\sigma}\) is an approximation for a threshold that decides stability in a way similar to the basic reproduction number. Simulations show that it is a rather useful approximation. For a nonnegative stochastic process, almost sure convergence to 0 can be tested by computing the (approximation over finitely many paths, of the) mean of sample paths. If the mean of I is not asymptotically stable, then I is not almost surely exponentially stable. The simulations that were run produced trajectories of the mean of I which consistently appears to converge to a value which is smaller than, or at least not bigger than, in the deterministic case.
These simulations are obtained by considering an influenza infection of the type in [11] and [17]. The relevant parameter values for \(\alpha_{1}\), \(\alpha_{3}\), \(\mu_{0}\), \(\mu_{1}\) and \(\mu_{3}\) are taken directly from [11] and other parameters values are derived. Our value for \(1/\alpha_{2}\) is obtained by taking the sum of the average times spent in the \(I_{(\cdot)}\)compartments (of [11]). The value of \(\mu_{2}\) is taken as \(1.025\mu_{0}\). The parameter Î² is not kept fixed in these simulations. Here we note that infections that are aerially transmitted will spread faster when people are in high density locations with poor ventilation. So for instance the same disease has a higher value for the effective contact rate, when considered in a concentration camp as compared to an ordinary small village or rural area.
Initial values in millions are \(S(0)=6\), \(E(0)=2\), \(I(0)= 0.9\) and \(R(0)= 1.05\).
Using the EulerMaruyama scheme, we simulate the trajectories of one sample path of the Iclass of the model,

the mean of I, taken over 1,000 sample paths and indicated as â€˜I (1000ave)â€™, and

the Iclass trajectory â€˜I determâ€™ (broken line) of the underlying deterministic model,
with the parameter values as explained above. We take

\(K=10\) (in millions),
and the values of the other parameters are all given, with oneday as time unit, in the accompanying TableÂ 1.
Parameters such as p and Ïƒ are difficult to compute. We choose \(p=0.333\) for simulation. The parameters Î² and Ïƒ are varied in order to obtain different values of \(\mathcal{R}_{\sigma}\).
In FigureÂ 1 we show trajectories for the case \(\beta= 0.0235\) and \(\sigma=0.05\), for which we get \(\mathcal{R}_{\sigma}=1.1429\). In this case we cannot deduce stability of the diseasefree equilibrium from TheoremÂ 4.6, since condition (1) is not satisfied. In fact we observe the mean value of I as seeming to converge to a positive value. The given Ipath also does not seem to converge to 0. We do note, however, that after 400 days (a relatively long period) it gives a mean I value (computed as 6,600), which is lower than in the deterministic case (19,400).
In FigureÂ 2 we show a case in which we take \(\beta= 0.021\), \(\sigma=0.08\), and we calculate \(\mathcal{R} = 1.0497\) and \(\mathcal{R} _{\sigma}=0.9800 \le1\). However, condition (2) is not satisfied. The Itrajectory shown does not seem to converge to 0, although the mean seems to converge to 0. This further demonstrates the need for condition (2) in TheoremÂ 4.6 (other than condition (2) just being utilized in the proof). In this case the deterministic model has a nontrivial equilibrium value \(I^{*}\) for I. For the stochastic case we observe that the mean seems to converge to a value smaller than \(I^{*}\).
In FigureÂ 3 we use \(\beta= 0.0215\), \(\sigma=0.05\), and then we have \(\mathcal{R} =1.0247\) and \(\mathcal{R}_{\sigma}= 0.99700\). This time the parameters selection fulfills all the conditions of TheoremÂ 4.6, and indeed what we see appears to be in line with the assertion of the theorem.
6 Conclusion
In this paper we constructed an SEIRS model, with stochastic perturbations which can be viewed as linked to the transmission rate out of the class of susceptibles. We proved that the system of stochastic differential equations permits solutions that are almost surely global and positive. The model permits a diseasefree equilibrium which we showed to be almost surely exponentially stable whenever the basic reproduction number of the underlying deterministic model is below unity, and even slightly beyond under given conditions.
Biologically we observe, in particular, the following effect of a stochastic perturbation on the disease transmission in the case of a deterministic compartmental model which allows for a latently infectious class. Given a small stochastic perturbation on the transmission rate from susceptible to infectious via the latent phase, the stability of the diseasefree state will be improved if both components of the perturbation are nontrivial. If any one of the components of the perturbation is zero, then the stability will not be disturbed. The simulations confirm the proven results and also provide further insights, such as about the behavior of the mean of the Iclass trajectories.
References
Cai, H, Luo, X: Stochastic control of an epidemic process. Int. J. Syst. Sci. 254, 821828 (1994)
Ishikawa, M: Optimal strategies for vaccination using the stochastic SIRV model. Trans. Inst. Syst. Control Inf. Eng. 25(12), 343348 (2012)
Witbooi, PJ, Muller, GE, van Schalkwyk, GJ: Vaccination control in a stochastic SVIR epidemic model. Comput. Math. Methods Med. 2015, Article ID 271654 (2015).
Yang, Q, Mao, X: Extinction and recurrence of multigroup SEIR epidemic models with stochastic perturbations. Nonlinear Anal., Real World Appl. 14(3), 14341456 (2013)
Yuan, C, Jiang, D, Oâ€™Regan, D, Agarwal, RP: Stochastically asymptotically stability of the multigroup SEIR and SIR models with random perturbation. Commun. Nonlinear Sci. Numer. Simul. 17, 25012516 (2012)
Zhao, J, Liu, M, Wang, W, Yang, P: The stability of SI epidemic model in complex networks with stochastic perturbation. Abstr. Appl. Anal. 2014, Article ID 610959 (2014)
Chen, G, Li, T, Liu, C: Lyapunov exponent of a stochastic SIRS model. C. R. Math. 351(12), 3335 (2013)
Gray, A, Greenhalgh, D, Hu, L, Mao, X, Pan, J: A stochastic differential equation SIS epidemic model. SIAM J. Appl. Math. 71(3), 876902 (2011)
Witbooi, PJ: Stability of an SEIR epidemic model with independent stochastic perturbations. Physica A 392(20), 49284936 (2013)
Li, MY, Muldowney, JS, van den Driessche, P: Global stability of SEIRS models in epidemiology. Can. Appl. Math. Q. 7(4), 409425 (1999)
Melesse, DY, Gumel, AB: Global asymptotic properties of an SEIRS model with multiple infectious stages. J. Math. Anal. Appl. 366, 202217 (2010)
Ã˜ksendal, B: Stochastic Differential Equations: An Introduction with Applications. Springer, New York (1998)
Mao, X: Stochastic Differential Equations and Applications. Horwood, Chichester (1997)
Witbooi, PJ: Stability of stochastic model of an SIR epidemic with vaccination. Acta Biotheor. (2017). doi:10.1007/s1044101793085
Beretta, E, Hara, T, Ma, W, Takeuchi, Y: Global asymptotic stability of an SIR epidemic model with distributed time delay. Nonlinear Anal., Theory Methods Appl. 47(6), 41074115 (2001)
Feller, W: An Introduction to Probability Theory and Its Applications, vol.Â II. Wiley, New York (1966)
NuÃ±o, M, Reichert, TA, Chowell, G, Gumel, AB: Protecting residential care facilities from pandemic influenza. Proc. Natl. Acad. Sci. USA 105(30), 1062510630 (2008)
Acknowledgements
The author acknowledges financial support by the National Research Foundation of South Africa.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that he has no competing interests.
Publisherâ€™s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Witbooi, P.J. An SEIRS epidemic model with stochastic transmission. Adv Differ Equ 2017, 109 (2017). https://doi.org/10.1186/s1366201711666
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366201711666
Keywords
 SEIRS model
 stochastic transmission
 almost sure exponential stability