Li et al. [1] applied uncertain differential equation (UDE) to study a class of susceptible-infectious-susceptible (SIS) epidemic model with the bilinear incidence rate and constant population size. In this paper, we study an uncertain SIS epidemic model with standard incidence and demography. By scale transformation, the deterministic and uncertain proportion epidemic models are introduced. Solutions of these models and α-paths of uncertain model are given. Further, under threshold conditions, we discuss extinction and permanence of the disease and reveal relationship of the deterministic and uncertain models. Some examples are provided to illustrate these results.
Mathematical models play an important role in analysing the spread of infectious diseases and get more and more attentions by many people, for example Hethcote [2], Yang and Mao [3], Artalejo and Lopez-Herrero [4], Bai and Mu [5].
Let St and It be the numbers of susceptible and infected individuals at time t, respectively. Hethcote and Yorke [6] introduced a classical susceptible-infectious-susceptible (SIS) epidemic model, described by the following ordinary differential equation (ODE)
where N is a constant and means the total size of the population among whom the disease is spreading at time t, μ is the natural-death rate of population per unit time, γ is the rate at which infected individuals become cured per unit time, β is the disease transmission coefficient per unit time and βStIt is of bilinear incidence. For model (M1), it has powerful qualitative results such as globally asymptotically stable under some conditions. However, most of ODE epidemic models are inevitably affected by environment fluctuations. For better understanding of epidemic dynamics in reality, many scholars introduced white noise into deterministic models and established stochastic versions with the effect of noise. For example, Gray et al. [7] considered a stochastic differential equation (SDE) for SIS epidemic model as follows
Here, Bt is a Wiener process with B0 = 0, defined in probability space (Ω, {ℱt} t≥0, P) with a filtration {ℱt} t≥0 satisfying the usual condition that contains all P-null sets. The intensity of white noise is σt (>0). Parameters N, μ, β and γ are defined as above. By the stochastic Lyapunov functional method, they obtained asymptotic behavior of the stochastic system around equilibria.
When no samples are available to estimate probability properties of the model (M2), we have to use a means of handling uncertainty rather than to randomness. One of the most important tools is fuzzy set theory, which the idea of fuzzy set was first proposed by Zaheh in 1965. A fuzzy set is a class of objects. Such a set is characterized by a set function (measure) which assigns to each object ranging between zero and one. In order to measure a fuzzy event, Liu [9] introduced a set function of fuzzy set named uncertain measure based on normality, duality, subadditivity and product axioms, and established uncertainty theory as a branch of mathematics for studying behavior of uncertainphenomena.
For a non-empty fuzzy set Γ, is a σ-algebra on the set Γ and uncertain measure denoted by ℳ is a function from to [0,1], satisfying four axioms. The triplet is called an uncertainty space. Uncertain process Ct is a given one-dimensional Liu process defined on uncertainty space. For the model (M1), there exist some uncertain phenomena influencing the cured rate γ. Suppose the rate γ is described by Liu process Ct, that is, γdt in model (M1) is replaced by γdt + σtdCt. Li et al. [1] firstly established an uncertain differential equation (UDE) of SIS epidemic model with bilinear incidence, formed by
where σt (>0) is the intensity of Liu process Ct. Further, they obtained the solutions, convergence properties of α-paths of model (M3) and compared the results of ODE, SDE and UDE epidemic models, respectively. Comparing with the results of ODE model, those of UDE model reflected some practical problems better reasonably than those of SDE case without sample data. For model (M3), we have St + It = N - (N - N0) e−μt, where N0 = S0 + I0. If t→ + ∞, then St + It → N. This means the model (M3) has constant population size.
However, for the long time the total population size may vary and the disease can cause deaths during the spread of epidemic. In this work, we applied the uncertainty theory to study a class of uncertain SIS epidemic model with standard incidence and demography. The rest is organized as follows. In Section 2, some basic concepts and notation of uncertainty theory are reviewed. Two modified SIS epidemic model are established in Section 3. In Section 4, α-paths of the models are obtained. Further, by α-paths, uncertainty distributions and expected values of uncertain SIS model are given. Some examples are provided to illustrate these results. A brief conclusion is in Section 5.
Preliminaries
This section will briefly review some basic concepts and notation of uncertainty theory, including uncertain measure, uncertain variable, uncertain process, uncertain differential equation and α-path. More details to see Liu [9–12], Yao and Chen [13], Yao [14].
A set function is called an uncertain measure if it is supposed to satisfy the following axioms:
Axiom 1 (Normality Axiom) ℳ {Γ} =1 for the universal set Γ.
Axiom 2 (Duality Axiom) ℳ {Λ} + ℳ {Λc} =1 for any event Λ.
Axiom 3 (Subadditivity Axiom) For every countable sequence of events Λ1, Λ2,...,
Axiom 4 (Product Axiom) Let be uncertainty spaces and Λi be arbitrarily chosen events from for i = 1, 2,..., then the product uncertain measure ℳ is an uncertain measure satisfying
Let T be an index set and be an uncertainty space. An uncertain process Xt is a measurable function from to the set of real numbers, i.e., for each t ∈ T and any Borel set B of real numbers, the set {Xt ∈ B} = {γ|Xt (γ) ∈ B} is an event. The uncertain process Xt is said to have an uncertainty distribution Φt (x) if at each time t, uncertain variable Xt has uncertainty distribution Φt (x) and
for any real number .
Definition 1. An uncertain process Ct is said to be Liu process if
(i) C0 = 0 and almost all sample paths are Lipschitz continuous.
(ii) Ct has stationary and independent increments.
(iii) Every increment Ct+s - Cs is a normal uncertain variable with an uncertainty distribution
Let Xt be an uncertain process and Ct be Liu process. For any partition of a closed interval [a, b] with a = t1 < t2 < ⋯ < tk+1 = b, the mesh is written as
Then, Liu integral of Xt is defined by
provided that the limit exists almost surely and is finite.
Definition 2. defUDE Suppose Ct is Liu process, and f and g are two given functions. Then
is called an uncertain differential equation (UDE). An uncertain process Xt is called a solution of the equation, if Xt satisfies dXt ≡ f (t, Xt) dt + g (t, Xt) dCt for any time t.
For 0 < α < 1, α-path of an uncertain differential equation dXt = f (t, Xt) dt + g (t, Xt) dCt with initial value X0 is a deterministic function with respect to t that solves the ordinary differential equation (ODE)
where Φ−1 (α) is the inverse uncertainty distribution of standard normal uncertain variable, i.e.,
Let Xt be an uncertain process. If for each α ∈ (0, 1), there exists a real function such that
then Xt is called a contour process. is called α-path of the process Xt. Expected value of Xt is defined by
provided that at least one of the two integrals is finite. If Xt has the regular uncertainty distribution Φt, then
Two SIS epidemic models and solutions
Let Nt be the total number of people at time t and Nt = St + It. The study of growth and change of populations is called demography. Thus, for some epidemic diseases without permanent immunity, it is appropriate to add the mortality and population variable Nt to SIS model. A new SIS model is established as follows
with the initial values S0 and I0, where θ (θ < β) is the mortality rate of the disease per unit time. μ, β and γ are defined in the model (M1). is the average number of infection transmissions by all infectious individuals per unit time, called standard incidence. The bilinear and standard incidences agree when the total population size is a constant, but they differ if the total population size is variable. For the model (M1), Nt → N as t→ + ∞. However, for model (2), we have dNt = - θItdt. Thus, the modified SIS model (2) is an SIS type with standard incidence rate and demography.
For simplicity, we nondimensionalize model (2) by defining
where Xt and Yt are the proportions of susceptible and infected individuals, respectively. Thus, the model (2) is equivalent to the ODE model
with the initial values X0 = S0/N0, Y0 = I0/N0. For any time t ≥ 0, Xt + Yt = 1. By (3), we have
Denote a = β - θ - μ - γ and b = θ - β. Thus, the solution of the model (3) is
For the ODE model (3), a basic reproductive number is defined as
Through the fundamental theory of ordinary differential equation, it is easy to obtain the following results.
Theorem 1. (i) If then the disease free-equilibrium
of the model (3) is globally asymptotically stable.
(ii) If then there exists a unique endemic equilibrium
for model (3), which is globally asymptotic stability.
Let be an uncertainty space and Ct is Liu process defined on uncertainty space. Suppose the uncertain fluctuating environment in the form of Liu process effects the disease transmission coefficient β, that is, replace βdt with βdt + σtdCt, then the model (3) becomes an uncertain differential equation (UDE) of SIS epidemic model in form of
where σt (>0) is an integrable and differential function for any t, called the intensity of environmental disturbances.
In order to provide solutions of the uncertain SIS model (5), we discuss the solution of an uncertain differential equation and obtain the following result.
Lemma 1.Let uit, vit be two integrable and differential functions about time t for i = 1, 2 and v1t ≠ 0. Then, the uncertain differential equation
has a solution where
and
with
Proof. By Theorem 14.2 in Liu [9], we have
Denote , i.e. . Thus,
Further,
Based on Theorem 1 of Liu [15], the above equation has a solution
Therefore,
□
Since Xt + Yt = 1, we only study the Yt of the uncertain SIS model (5), that is,
Theorem 2.The uncertain SIS model (5) has a solution
where , and
with
Proof. Denote u1t = β - θ - μ - γ, u2t = θ - β, v1t = σt and v2t = - σt. Then, for the equation (6), we obtain
From Lemma 1 and Yt = 1 - Xt, the solution of the model (5) can be obtained. □
An examples is provided to illustrate the above results.
Example 1. Take θ = 0.10, β = 0.50, μ = 0.03, γ = 0.27 and X0 = 0.90, Y0 = 0.10 for ODE SIS model (3) and UDE SIS model (5), respectively. Evidently, the solution of model (3) is
By the definition of , we have . From Theorem 1, there exists an endemic equilibrium (X*, Y*) = (0.75, 0.25), which is globally asymptotically stable.
Comparing with the model (3), by Theorem 2 the model (5) has the following solution
where dWt1 = [-0.1 (Wt1 + eσCt) +0.4] dt with W01 = 9.
Next we respectively provide two different intensities of environmental disturbances in model (5): (i) σ = 0.2; (ii) σ = 0.7. Fig. 1 shows curves of solutions for two models (3) and (5) with σ = 0.2 and σ = 0.7, respectively. Under uncertainty disturbance, trajectories of the model (5) is highly relevant to those of the model (3) in a timely manner to reflect changes, and will not deviate from the long-term value of model (3). On the other hand, for model (5), the larger the value of disturbance intensity is, the greater the fluctuation.
Trajectories of solutions Xt,Yt in two models (3) and (5) with σ = 0.2 and σ = 0.7.
Main results of α-paths
In order to obtain uncertainty distribution, we need to study α-path of the uncertain SIS model (5). Let the α-paths be denoted by and , respectively. Yao [14] verified that a solution of the UDE is a contour process. Thus, solutions Xt and Yt of the uncertain SIS model (5) are contour processes. An uncertain process Zt is a contour process if and only if for each α ∈ (0, 1), there exists α-path suchthat
Then, for solution (Xt, Yt) of the uncertain model (5), we have
and
Based on equation (6), α-path is to solve the following ODE
with , where Φ−1 (α) is defined by (φ).
Theorem 3.The α-paths of the model (5) are
where σudu.
Proof. From Xt = 1 - Yt, we have
Since Yt is a contour process, it is to get
Thus, , which is α-path of Xt in the uncertain SIS model (5). For the ODE (8), we denote and get
which satisfies a Bernoulli differential equation. Due to the equation , the result follows. □
Let and ΦZt (x) be the inverse uncertainty distribution and uncertainty distribution of the contour process Zt, where Zt = Xt or Yt. Based on Theorem 2 in Yao [14] and Theorem 4, the result below is obtained.
Theorem 4.For the model (5), the inverse uncertainty distributions of Xt and Yt are
and expected values are
where and are defined in (9).
By (10), we can obtain uncertainty distributions ΦXt (x) and ΦYt (x) of Xt, Yt, respectively. From Theorem 1, equilibria of the model (3) have globally asymptotically stable. The following results show asymptotic properties of α-paths in the model (5) and reveal the relationship of two models.
Theorem 5.Let σt = σ > 0 and with 0 < α < 1.
(i) If , then
where (X0, Y0) = (1, 0) is the disease free equilibrium of the model (3).
(ii) If , then
Especially, if α = 0.5, then
where is the endemic equilibrium of the model (3).
Proof. Since σt = σ, we have and g (t, α) = (μ + γ + θ - β - σΦ−1 (α)) t.
(i) By Theorem 3, if , then
If , i.e. μ + γ + θ - β - σΦ−1 (α) >0, we have . Thus,
(ii) If , i.e. μ + γ + θ - β - σΦ−1 (α) <0, then . Further,
For α = 0.5, we have Φ−1 (α) = Φ−1 (1 - α) =0. □
Theorem 5 reflects a fact: if α = 0.5, then α-paths of the uncertain model (5) are equivalent to model (3).
Example 2. (Example 1 Continue.) {In the model (5), take θ = 0.10, β = 0.50, μ = 0.03, γ = 0.27 and X0 = 0.90, Y0 = 0.10. From Theorem 5, we get α-paths as follows
For α = 0.1, 0.2, …, 0.9, Figs. 2 and 3 respectively provide trajectories of α-paths with two cases σ = 0.2, 0.7. In addition, they reveal asymptotic behavior of α-paths Xt and Yt with different value σ.
Trajectories of α-paths with σ = 0.2, 0.7 for α = 0.1, 0.2, …, 0.9.
Trajectories of α-paths with σ = 0.2, 0.7 for α = 0.1, 0.2, …, 0.9.
Table 1 provides the values of with σ = 0.2, 0.7 when α = 0.1, 0.2, …, 0.9. By Theorem 4, if , then
Otherwise,
These results show uncertainty of extinction and permanence of the disease mainly depends on the value α, see Figs. 2 and Fig. 3. Especially, if α = 0.5, then , which is the same to the endemic equilibrium (X*, Y*) of model (3).
The values of with σ = 0.2, 0.7
α
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
with σ = 0.2
1.3557
1.1322
0.9836
0.8618
0.7500
0.6382
0.5164
0.3678
0.1443
with σ = 0.7
2.8699
2.0875
1.5675
1.1412
0.7500
0.3588
−0.0675
−0.5875
−1.3699
From (10) and α-paths Xt, Yt, Fig. 4 provides uncertainty distributions of Xt and Yt with σ = 0.2, 0.7. It is interesting to note that there exits a point of intersection for different uncertainty distributions when α = 0.5. Based on Theorem 5, we can obtain the expected value of Xt and Yt. In Fig. 5, curves of E [Xt] and E [Yt] are given under σ = 0.2, 0.7.
Uncertainty distributions of Xt and Yt with (X0, Y0) = (0.90, 0.10) at t = 1.
The expected values of Xt and Yt with (X0, Y0) = (0.90, 0.10).
Conclusion
This paper applies uncertain differential equation to study a class of SIS epidemic model with standard incidence and demography, which generalizes the main results of Li et al. [17]. For a classical SIS model, we introduce the mortality and population changes in it. By scale transformation, the ODE SIS model becomes an ODE proportion epidemic model with the mortality rate. Consider the disease transmission rate is uncertain, we obtain an UDE proportion epidemic model with the mortality rate. Further, we respectively provide the solutions of two models and obtain the corresponding asymptotic properties. According to the relationship of Xt and Yt, α-paths of UDE model are acquired, respectively. Based on α-paths, we discuss threshold cases to reflect extinction and permanence of the disease. Comparing with the ODE and UDE models, we observe that they not only have some similarities, but also possess their respective characteristics.
Similar to uncertain differential equation, there exist other differential equations to investigate the spread dynamic of epidemic, for example, fuzzy differential equation and fuzzy fractional differential equations. More details about this topic to see He and Yi [16], Kanagarajan and Sambath [17], Agarwal et al. [18], Alikhani and Bahrami [19]. How to establish some epidemic models defined by these differential equations and reveal the corresponding dynamic properties of epidemic. This is an interesting, new and opening topic.
Footnotes
Acknowledgements
We thank the editors and reviewers for their insightful comments. This research was funded by the National Natural Science Foundation of China (Grant No. 11661076), the Innovative Training Program for College Students of Xinjiang University (Grant No. XJU-SRT-17082), and the Natural Science Foundation of Xinjiang (Grant No. 2016D01C043).
References
1.
LiZ., ShengY., TengZ. and MiaoH., An uncertain differential equation for SIS epidemic model, J Intell Fuzzy Syst33 (2017), 2317–2327.
2.
HethcoteH.W., The mathematics of infectious disease, SIAM Rev42 (2000), 599–653.
3.
YangQ.S. and MaoX.R., Extinction and recurrence of multigroup SEIR epidemic models with stochastic perturbations, Nonlinear Anal Real World Appl14 (2013), 1434–1456.
4.
ArtalejoJ.R. and Lopez-HerreroM.J., Stochastic epidemic models: New behoral indicators of the disease spreading, Appl Math Model38 (2014), 4371–4387.
5.
BaiY.Z. and MuX.Q., Global asymptotic stability of a generalized SIRS epidemic model with transfer from infectious to susceptible, J Applied Anal Comput8 (2018), 402–412.
6.
HethcoteH.W. and YorkeJ.A., Gonorrhea Transmission Dynamics and Control, Lecture Notes in Biomathematics, 56Springer-Verlag, 1994.
7.
GrayA., GreenhalghD., MaoX. and PanJ., A stochastic differential equation SIS epidemic model, SIAM J Appl Math71 (2011), 876–902.
LiuB., Fuzzy process, hybird process and uncertain process, J Uncertain Syst2 (2008), 3–16.
11.
LiuB., Some research problems in uncertainty theory, J Uncertain Syst3 (2009), 3–10.
12.
LiuB., Uncertainty Theory. A Branch of Mathematics for Modeling Human Uncertainty, Springer-Verlag, Berlin2010.
13.
YaoK. and ChenX., A numberical method for solving uncertain differential equations, J Intell Fuzzy Syst25 (2013), 825–832.
14.
YaoK., Uncertain contour process and it’s application in stock model with floating interest rate, Fuzzy Optim Decis Ma14 (2015), 399–342.
15.
LiuY.H., An analytic method for solving uncertain differential equations, J Uncertain Syst6 (2012), 244–249.
16.
HeO. and YiW., On fuzzy differential equations, Fuzzy Sets Systems24 (1989), 321–325.
17.
KanagarajanK. and SambathM., Runge-kutta nystrom method for solving fuzzy differential equations, J Comput Meth Appl Math10 (2010), 195–203.
18.
AgarwalR.P., ArshadS., O’ReganD. and LupulescuV., Fuzzy fractional integral equations under compactness type condition, Fract Calc Appl Anal15 (2012), 572–590.
19.
AlikhaniR. and BahramiF., Global solutions for nonlinear fuzzy fractional integral and integrodifferential equations, Commun Nonlinear Sci Numer Simul18 (2013), 2007–2017.