A Comparison of Deterministic and Stochastic Susceptible-Infected-Susceptible (SIS) and Susceptible-Infected-Recovered (SIR) Models ()
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
(1)
where
and
are n independent Wiener processes. The vectorial function
is called the drift, and
the diffusion matrix. Moreover, the components
and the diffusion term is the square root of the covariance matrix
i.e.
.
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.
obviously T depends on the initial value
although it is not explicitly indicated.
As discussed in ( [2], p. 150), the mean persistence-time
for (1) satisfies the stationary backward Kolmogorov equation
(2)
and with boundary conditions
(3)
assuming that
.
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
. These comments would explain the results in [13]. Moreover in [7] [8] [9] [10] the matrices
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
where
is the susceptible population size and
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
are given in Table 1 with
.
Following ( [11], p. 148) we obtain the following deterministic model:
(4)
This model has a fixed point at
because
and the solution approaches the disease-free equilibrium
when a
Table 1. Possible change in
and their probabilities.
new basic reproduction number satisfies
(see [17] or [22] ).
The covariance matrix
(5)
with
.
Then if
its backward Kolmogoronv equation is
(6)
with a singularity at the boundary
because for this value the coefficient of the second derivative is cancelled, which is why boundary payer will arise. The boundary conditions are:
(7)
provided that the number of x and y cannot exceed some values
and
respectively.
2.2. Stochastic SIR Model
In the SIR epidemic models the variable
where
is the susceptible population size,
is the infected population size and
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
are given in Table 2 with
.
Quite similar the model in [23] plus a new parameter
. The deterministic model is
(8)
Table 2. Possible change in
and their probabilities.
In this differential system, the surface
is fix and its jacobian has three eigenvalues:
doble and
and then when
and the matrix covariance
(9)
Now assuming
the backward Kolmogoronv equation is
(10)
where
, and the boundary conditions
(11)
provided that the number of x, y and z cannot exceed some values
and
respectively.
3. Numerical Results
3.1. Deterministic Models
In the deterministic models, the value of the basic reproductive number
determines persistence or extinction of the disease. If
, the disease is eliminated, whereas if
, 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
.
Let’s consider the following example.
Case 1: In [17] we studied the pneumococcus in the population of Scottish children with
.
Case 2: For
.
Case 3: For
.
We solved the two deterministic models (4) and (8) using Matlab. In Figure 1 we have plotted two paths for
in blue is the SIS Model with
and in red the SIR Model with
, in both path
but in very different directions, a result that we would expect. Moreover, it would be more natural to ask Matlab to return the time
such that
, 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
where
in the first line, and
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
, blue SIS Model for
and red SIR model with
.
Table 3. Time
for
.
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
. 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
.
Table 4. Maximum
for
.
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
satisfying the homogeneous Dirichlet boundary conditions on
. Integrating over the domain
, the following terms with will appear:
and
and where the boundary terms are of the following form:
.
In Figure 3 we can see the numerical solution (10) - (11) in
and
, 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
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
. The numerical results are in Table 5 with
,
,
,
. 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
.
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
.
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.