A Comparison of Deterministic and Stochastic Susceptible-Infected-Susceptible (SIS) and Susceptible-Infected-Recovered (SIR) Models

Abstract

In this paper we build and analyze two stochastic epidemic models with death. The model assumes that only susceptible individuals (S) can get infected (I) and may die from this disease or a recovered individual becomes susceptible again (SIS model) or completely immune (SIR Model) for the remainder of the study period. Moreover, it is assumed there are no births, deaths, immigration or emigration during the study period; the community is said to be closed. In these infection disease models, there are two central questions: first it is the disease extinction or not and the second studies the time elapsed for such extinction, this paper will deal with this second question because the first answer corresponds to the basic reproduction number defined in the bibliography. More concretely, we study the mean-extinction of the diseases and the technique used here first builds the backward Kolmogorov differential equation and then solves it numerically using finite element method with FreeFem++. Our contribution and novelty are the following: however the reproduction number effectively concludes the extinction or not of the disease, it does not help to know its extinction times because example with the same reproduction numbers has very different time. Moreover, the SIS model is slower, a result that is not surprising, but this difference seems to increase in the stochastic models with respect to the deterministic ones, it is reasonable to assume some uncertainly.

Share and Cite:

Moujahid, A. and Vadillo, F. (2021) A Comparison of Deterministic and Stochastic Susceptible-Infected-Susceptible (SIS) and Susceptible-Infected-Recovered (SIR) Models. Open Journal of Modelling and Simulation, 9, 246-258. doi: 10.4236/ojmsi.2021.93016.

A population is like a billiard ball: you get a lot of variability, but the variability is random, in all directions.

Stephen Jay Gould: The Pattern of Life’s History [1].

1. Introduction

The ordinary differential equations in epidemic models has been a well-known topic for some time, there exist classic book like ( [2], Chap. 10) or [3] and more recent monographs: [4] and [5]. All these deterministic models serve as a framework for formulating analogous stochastic models and as a source of comparison with the stochastic models (see for example [6] for a complete reference guide to all important contributions in stochastic epidemic models). In this way, there have been two ways to pass from the ordinary system to the stochastic system, one of them is simply adding new stochastic terms, for example in [7] [8] [9] [10]. The other one is explained in [11] [12] and it is used in this paper. This technique begins by assuming different probabilities of the changes and calculating means and covariance matrix to obtain a stochastic differential system. But later we’ll see that the stochastic parts are different and this will cause great differences in the asymptotic behavior of the solutions (see for example this results in [13] for a simple example about a population model).

The Stochastic Differential Equation (SDE) system for the dynamics of n variables has the form

d X = μ ( t , X ) + B ( t , X ) d W , (1)

where X = ( X 1 , , X n ) T and W = ( W 1 , , W n ) T are n independent Wiener processes. The vectorial function μ ( t , X ) is called the drift, and B ( t , X ) the diffusion matrix. Moreover, the components μ j = E ( X j ) , j = 1 , , n and the diffusion term is the square root of the covariance matrix D ( t , X ) i.e. B B = D .

Obviously, a key question in the epidemic models is to understand the constrains that lead to extinction or not of the disease and when. In order to study this question, let define the random variable T that indicates the persistence time i.e. the time it takes for the size of either variables to reach zero.

T inf { t 0 : X j = 0 , for some j = 1 , , n } ,

obviously T depends on the initial value X ( 0 ) although it is not explicitly indicated.

As discussed in ( [2], p. 150), the mean persistence-time τ E ( T ) for (1) satisfies the stationary backward Kolmogorov equation

L ( τ ) j = 1 n μ j τ x j + 1 2 j = 1 n k = 1 n D j k 2 τ x j x k = 1. (2)

and with boundary conditions

{ τ ( , x j 1 , 0 , x j + 1 , ) = 0 , τ x j ( , x j 1 , M j , x j + 1 ) = 0 , (3)

assuming that x j M j , j = 1 , , n .

The Equation (2) is an Elliptic Partial Differential Equations of Second Order [14], really it is a advection diffusion equation, and as the name suggests, the mean persistence-time will depend on the operator D . These comments would explain the results in [13]. Moreover in [7] [8] [9] [10] the matrices B are diagonals which implies that the variables are not correlated, an unreasonable hypothesis. As already commented in the abstract, we will solved numerically the backward Kolmogorov equation using finite element method with FreeFem++. These authors et. al. have used this technique en several paper: [13] [15] [16] [17] or [18] with very hopeful results to spread more complex problems.

This paper is organized as follows. In Section 2, we describe the SIS and SIR models with death and obtain the backward Kolmogorov equations. In Section 3 we explain the numerical methods with their results, with special attention to variational formulation of the problem (10) - (11). Finally in Section 4 we analyze the numerical results and draw the main conclusions.

Our numerical methods were implemented in Matlab© and FreeFem++ which is freely available and particularly efficient, see [19]. The experiments were carried out in an Intel(R) Core(TM)i7-8665U CPU @ 1.90 GHz, 16.0 GB of RAM. The codes for the numerical tests are available on request.

2. Two Models with Death

2.1. Stochastic SIS Model

In the SIS epidemic models the variable X = ( S , I ) T where S = S ( t ) is the susceptible population size and I = I ( t ) is the infected population size. In this model an individual starts off susceptible, at some stage catches the disease and after a short infectious period become susceptible again. Such a model is appropriate for a bacterial disease such as pneumococcus.

The SIS model without demography is considerably simpler than the one considered here (see for example [17] and its references). The SIS model with demography was proposed in [20] or [21], in particular we consider only death of infected individuals with rate β . The changes and their probabilities to the first order in Δ t are given in Table 1 with x = ( S , I ) T .

Following ( [11], p. 148) we obtain the following deterministic model:

{ d S d t = μ 1 ( S , I ) = α S I S + I + γ I , d I d t = μ 2 ( S , I ) = α S I S + I ( γ + β ) I , (4)

This model has a fixed point at I = 0 because μ 1 ( S , 0 ) = μ 2 ( S , 0 ) = 0 and the solution approaches the disease-free equilibrium lim t I ( t ) = 0 when a

Table 1. Possible change in x = ( S , I ) T and their probabilities.

new basic reproduction number satisfies R = α / ( γ + β ) 1 (see [17] or [22] ).

The covariance matrix

D ( S , I ) = ( d ( S , I ) d ( S , I ) d ( S , I ) d ( S , I ) + β I ) , (5)

with d ( S , I ) = α S I S + I + γ I .

Then if S ( 0 ) = x , I ( 0 ) = y its backward Kolmogoronv equation is

μ 1 ( x , y ) τ x + μ 2 ( x , y ) τ y + 1 2 d ( x , y ) ( 2 τ x 2 2 2 τ x y + 2 τ y 2 ) + β y 2 2 τ y 2 = 1 , (6)

with a singularity at the boundary y = 0 because for this value the coefficient of the second derivative is cancelled, which is why boundary payer will arise. The boundary conditions are:

{ τ ( 0 , x ) = τ ( y , 0 ) = 0 , τ x ( M x , y ) = 0 , τ y ( x , M y ) = 0 , (7)

provided that the number of x and y cannot exceed some values M x and M y respectively.

2.2. Stochastic SIR Model

In the SIR epidemic models the variable X = ( S , I , R ) T where S = S ( t ) is the susceptible population size, I = I ( t ) is the infected population size and R ( t ) the recovered individuals because are assumed that individuals are immune after recovering from the disease. For example, [7] [8] [9] [10] proposes a model that in view of the results of [13] does not have any practical value, in my opinion.

Now, the changes and their probabilities to the first order in Δ t are given in Table 2 with x = ( S , I , R ) T .

Quite similar the model in [23] plus a new parameter β . The deterministic model is

{ d S d t = α S I S + I , d I d t = α S I S + I ( γ + β ) I , d R d t = γ I , (8)

Table 2. Possible change in x = ( S , I , R ) T and their probabilities.

In this differential system, the surface I = 0 is fix and its jacobian has three eigenvalues: λ = 0 doble and λ = α ( γ + β ) and then when

γ + β 1 < α < 1 + γ + β ,

and the matrix covariance

D ( S , I , R ) = ( α S I S + I α S I S + I 0 α S I S + I α S I S + I + ( γ + β ) I γ I 0 γ I γ I ) . (9)

Now assuming S ( 0 ) = x , I ( 0 ) = y , R ( 0 ) = z the backward Kolmogoronv equation is

d ( x , y ) τ x + ( d ( x , y ) ( γ + β ) y ) τ y + γ y τ z + 1 2 d ( x , y ) ( 2 τ x 2 2 2 τ x y + 2 τ y 2 ) + 1 2 ( γ + β ) y 2 τ y 2 + 1 2 γ y 2 τ z 2 γ y 2 τ y z = 1 (10)

where d ( x , y ) = α x y x + y , and the boundary conditions

{ τ ( 0 , y , z ) = τ ( x , 0 , z ) = τ ( x , y , 0 ) = 0 , on Γ 1 , τ x ( M x , y , z ) = 0 , on Γ 2 , τ y ( x , M y , z ) = 0 , on Γ 3 , τ z ( x , y , M z ) = 0 , on Γ 4 , (11)

provided that the number of x, y and z cannot exceed some values M x , M y and M z respectively.

3. Numerical Results

3.1. Deterministic Models

In the deterministic models, the value of the basic reproductive number 0 = α β + γ determines persistence or extinction of the disease. If 0 < 1 , the disease is eliminated, whereas if 0 > 1 , the disease persists in the population (see for example [22] when the total population size remains constant). However, this parameter does not inform about the speed towards one situation or another.

Because these kinds of models are appropriate for a bacterial disease such as pneumococcus consider in [21], they study the pneumococcus in the population of Scottish children under two years, first we test this realistic example (Case 1) and later two example with similar value for 0 .

Let’s consider the following example.

Case 1: In [17] we studied the pneumococcus in the population of Scottish children with α = 0.0214 , γ = 0.0211 , β = 0.00137 0 = 0.9986 < 1 .

Case 2: For α = 0.1997 , γ = 0.1 , β = 0.1 0 = 0.9986 < 1 .

Case 3: For α = 0.3994 , γ = 0.3 , β = 0.1 0 = 0.9986 < 1 .

We solved the two deterministic models (4) and (8) using Matlab. In Figure 1 we have plotted two paths for 0 t 25000 in blue is the SIS Model with S ( 0 ) = 1000 , I ( 0 ) = 10 and in red the SIR Model with S ( 0 ) = 1000 , I ( 0 ) = 10 , R ( 0 ) = 1 , in both path I ( t ) 0 but in very different directions, a result that we would expect. Moreover, it would be more natural to ask Matlab to return the time t * such that 0 < I ( t * ) = I * 1 , which can be done using the event location facility. The highlighted numerical results are summarized in Table 3. In this table we have noted the time t 0 where I ( t * ) 0.99 in the first line, and I ( t * ) 10 3 in the second.

These three examples with the same reproduction number already have slight differences in their extinction, the third case is by far the fastest as well as the second model SIR.

Figure 1. Case 1 for 0 t 25000 , blue SIS Model for S ( 0 ) = 10000 , I ( 0 ) = 10 and red SIR model with R ( 0 ) = 1 .

Table 3. Time t * for S ( 0 ) = 1000 , I ( 0 ) = 10 .

3.2. Mean Extinction-Time in Each Model

These authors have resolved the boundary problems (6) - (7) using the Finite Element Method (FEM) and the software FreeFem++ which is freely available [19], this is a standard technique hence we will skip the details [17]. In Figure 2 we can see the numerical solution of (6) - (7) with M x = 1000 , M y = 100 . Note that the three graphs are very similar but the scale is quite different, the value of its peaks can be read in Table 4.

Figure 2. The numerical solution of (6) - (7) with M x = 1000 , M y = 100 .

Table 4. Maximum τ for 0 I ( 0 ) , R ( 0 ) 100 .

On the other hand, the boundary problem (10) - (11) has three independent variables which further complicates its numerical study, although the technique is similar. Let us multiply multiple (10) by a regular function ϕ ( x , y , z ) satisfying the homogeneous Dirichlet boundary conditions on Γ 1 . Integrating over the domain Ω = [ 0 , M x ] × [ 0 , M y ] × [ 0 , M z ] , the following terms with will appear:

Ω d ( x , y ) 2 τ x 2 ϕ = Ω d τ x ϕ x Ω d x τ x ϕ + Ω d ( x , y ) ϕ ( τ x n x ) ,

Ω c ( x , y ) 2 τ y 2 ϕ = Ω c τ y ϕ y Ω c y τ y ϕ + Ω c ( x , y ) ϕ ( τ y n y ) ,

Ω γ y 2 τ z 2 ϕ = Ω γ y τ z ϕ z + Ω γ y ϕ ( τ z n z ) ,

Ω d ( x , y ) 2 τ x y ϕ = Ω d τ y ϕ x + Ω d x τ y ϕ Ω d ϕ ( τ y n x ) ,

Ω γ y 2 τ y z ϕ = Ω γ y τ z ϕ y + Ω γ τ z ϕ Ω γ y ϕ ( τ z n y ) ,

and c ( x , y ) = d ( x , y ) + ( γ + β ) y and where the boundary terms are of the following form:

Ω d ϕ ( τ x n x ) = Ω c ϕ ( τ y n y ) = Ω γ y ϕ ( τ z n z ) = 0 , Ω d ϕ ( τ y n x ) = Γ 2 d ϕ τ y , Ω γ y ϕ ( τ z n y ) = Γ 3 γ y ϕ τ z . .

In Figure 3 we can see the numerical solution (10) - (11) in S ( 0 ) = x = 1000 and M y = 100 , M z = 100 , again the three graphs are very similar but the scale is quite different and the value of its peaks can be read in Table 4. Note that the value of its peaks are close to half of the SIS model, it now appears that the distance between the two models is greater than the deterministic case.

3.3. Numerical Simulation of the Stochastic Models

In view of the results of the two previous subsections: the great difference in extinction time between deterministic and stochastic models, we thought it reasonable to use some numerical simulation of stochastic differential equations in order to have more information. Our numerical simulations for the two stochastic

Figure 3. The numerical solution of (10)-(11) with My=100, Mz=100.

models have been done using the classic Euler-Maruyama numerical method, although it has strong order 1/2 and weak order 1 (we refer to [24] or [17] for a review on the numerical solutions of SDEs). This method applied to stochastic SIS model is straightforward and may be described as follows:

Algorithm 3.1. Given α , β and γ , let Δ t be the time-step, nrun, the number of simulations, and Tol the tolerances. Then, we have:

This Algorithm obtains the mean and standard deviation of the stopping time T * = i n f { I n or S n < T o l } . The numerical results are in Table 5 with S ( 0 ) = 1000 , I ( 0 ) = 10 , Δ t = 10 3 , n r u m = 100 . Note first that deviations from mean are very high, to obtain conclusions it would be necessary to decrease the step and increase the number of trials, which would cost a lot of computing time with doubtful results due to possible on numerical stability problems. In other words, we needed more precise and reliable numerical methods. However, note that the times are less than the estimates in the previous subsection and much further away from the deterministic problem. For the SIR model the results are very similar.

Table 5. Euler-Maruyama for S ( 0 ) = 1000 , I ( 0 ) = 10 .

4. Conclusions

In summary, in this paper first we have found the stochastic SIS and SIR models with death and computed the mean of the extinction-time analyzing and simulating its backward Kolmogorov differential equation. The more important conclusions are the following:

1) Although the reproduction number concludes the extinction or not of the disease, however, this number it does not help to know its extinction times because example with the same reproduction numbers has quite different time.

2) The cases that increase the value of the first parameter α also disappear more quickly, although always with the reproduction number 0 < 1 .

3) Infection disappears much earlier in stochastic models than in the corresponding deterministic models.

4) Finally, we again encounter a stochastic model, as we saw in [18], which is verydifferent from the deterministic model.

Perhaps the most important problem now is to describe techniques to computer the parameter values using data set, i.e. a calibration of the model, in [17] these authors have researched an academic example.

Acknowledgements

This work was supported by Spanish Ministry of Sciences Innovation and Universities with the project PGC2018-094522-B-100 and by the Basque Government with the project IT1247-19. The authors would like to thank the referees for the constructive and helpful comments and suggestions on the manuscript.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1] Brockman, J. (1995) The Third Culture: Beyond the Scientific Revolution. Simon and Shuster, New York.
[2] Murray, J.D. (2002) Mathematical Biology I: An Introduction. 3rd Edition, Springer-Verlag, New York.
https://doi.org/10.1007/b98868
[3] Daley, D.J. and Gani, J. (1999) Epidemid Modelling: An Introduction. Cambridge University Press, Cambridge.
[4] Brauer, F. and Castillo-Chaves, C. (2012) Mathematical Models in Population Biology and Epidemiology. Springer, New York.
[5] Brauer, F., Castillo-Chaves, C. and Feng, Z. (2019) Mathematical Models in Epidemiology. Springer, New York.
https://doi.org/10.1007/978-1-4939-9828-9
[6] Britton, T. (2010) Stochastic Epidemic Model: A Survey. Mathematical Biosciences, 225, 24-35.
https://doi.org/10.1016/j.mbs.2010.01.006
[7] Jiang, D., Yu, J., Ji, C. and Shi, N. (2011) Asymptotic Behavior of Global Positive Solution to a Stochastic SIR Model. Mathematical and Computer Modelling, 54, 221-232.
https://doi.org/10.1016/j.mcm.2011.02.004
[8] Zhao, Y. and Jiang, D. (2014) The Threshold of a Stochastic SIRS Epidemic Model with Saturated Incidence. Applied Mathematics Letter, 34, 90-93.
https://doi.org/10.1016/j.aml.2013.11.002
[9] Rajasekar, S.P. and Pitchaimani, M. (2020) Ergodic Stationary Distribution and Extinction of a Stochastic SIRS Epidemic Model with Logistic Growth and Nonlinear Incidence. Applied Mathematics Letter and Computation, 337, Article ID: 125143.
https://doi.org/10.1016/j.amc.2020.125143
[10] Liu, Q. and Jiang, D. (2020) Threshold Behavior in a Stochastic SIR Epidemic Model with Logistic Birth. Physica A: Statistical Mechanics and its Applications, 540, Article ID: 123488.
https://doi.org/10.1016/j.physa.2019.123488
[11] Allen, E. (2007) Modeling with Itô Stochastic Differential Equations. Vol. 22, Springer, Dordrecht.
https://doi.org/10.1007/978-1-4020-5953-7
[12] Allen, L.J.S. (2010) An Introduction to Stochastic Processes with Applications to Biology. 2nd Edition, CRC Press, New York.
https://doi.org/10.1201/b12537
[13] Vadillo, F. (2019) Comparing Stochastic Lotka-Volterra Predator-Prey Models. Applied Mathematics and Computation, 360, 181-189.
https://doi.org/10.1016/j.amc.2019.05.002
[14] Gilbarg, D. and Trudinger, N. (1983) Elliptic Partial Differential Equations of Second Order. 2nd Edition, Vol. 224, Springer, Berlin, Heidelberg.
https://doi.org/10.1007/978-3-642-61798-0
[15] de la Hoz, F. and Vadillo, F. (2012) A Mean Extinction-Time Estimate for a Stochastic Lotka-Volterra Predator-Prey Model. Applied Mathematics and Computation, 219, 170-179.
https://doi.org/10.1016/j.amc.2012.05.060
[16] de la Hoz, F., Doubova, A. and Vadillo, F. (2015) Persistence-Time Estimation for Some Stochastic SIS Epidemic Models. Discrete and Continuous Dynamical Systems Series B, 20, 2933-2947.
https://doi.org/10.3934/dcdsb.2015.20.2933
[17] Vadillo, F. (2020) On a Stochastic SIS Epidemic Model with Demography and its Calibration. Submitted.
[18] Vadillo, F. (2020) On Multiple Pathogen Models: Deterministic or Stochastic? Submitted.
[19] Hecht, F. (2012) New Development in Freefem++. Journal of Numerical Mathematics, 20, 251-265.
https://doi.org/10.1515/jnum-2012-0013
[20] Nasell, I. (2002) Stochastic Models for Some Epidemical Infections. Mathematical Biosciences, 179, 1-19.
https://doi.org/10.1016/S0025-5564(02)00098-6
[21] Greenhalgh, D., Liang, Y. and Mao, X. (2016) SDE SIS Epidemic Model with Demographic Stochasticity and Varying Populationsize. Applied Mathematics and Computation, 276, 218-238.
https://doi.org/10.1016/j.amc.2015.11.094
[22] Allen, L.J.S. and Burgin, A.M. (2000) Comparison of Deterministic and Stochastic SIS and SIR Models in Discrete Time. Mathematical Biosciences, 163, 1-33.
https://doi.org/10.1016/S0025-5564(99)00047-4
[23] Allen, L.J.S. (2017) A Primer on Stochastic Epidemic Models: Formulation, Numerical Simulation, and Analysis. Infectious Disease Modeling, 2, 128-142.
https://doi.org/10.1016/j.idm.2017.03.001
[24] Kloeden, P.E. and Platen, E. (1998) Numerical Solution of Stochastic Differential Equations. Cambridge University Press, Cambridge.

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.