# On the Stability and Equilibrium Points of MultistagedS

Authors: Raul Nistal; Manuel de la Sen; Santiago Alonso-Quesada; Asier Ibeas; Aitor J. Garrido
Journal: Discrete Dynamics in Nature and Society
 (2015)

---

## Abstract

This paper relies on the concept of next generation matrix defined ad hoc for a new
proposed extended SEIR model referred to asS
I
(
n
)
R-model to study its stability.
The model includes n successive stages of infectious subpopulations, each one acting
at the exposed subpopulation of the next infectious stage in a cascade global disposal
where each infectious population acts as the exposed subpopulation of the next infectious
stage. The model also has internal delays which characterize the time intervals of
the coupling of the susceptible dynamics with the infectious populations of the various cascade infectious stages. Since the susceptible subpopulation is common, and then
unique, to all the infectious stages, its coupled dynamic action on each of those stages
is modeled with an increasing delay as the infectious stage index increases from 1 to n.
The physical interpretation of the model is that the dynamics of the disease exhibits
different stages in which the infectivity and the mortality rates vary as the individual
numbers go through the process of recovery, each stage with a characteristic average
time.


---

## Body

## 1. Introduction

There is a very relevant interest in the literature concerning different aspects of dynamics of populations and related biological modeling issues including their positivity, stability, controllability, and observability and appropriate design of control rules for such models. The interest is twofold; namely, (a) on the one hand they have an undoubted mathematical interest because of the rich nonlinear dynamics they can exhibit which makes its analysis nontrivial in most cases, (b) on the other hand they have relevant interests in the real world concerning aspects such as health, resource exploitation, or rationalization of the labor management force towards economical issues. Biological and population dynamics models are usually defined by a variety of mathematical tools. Among them we can find differential and difference equations, eventually including internal delayed dynamics (i.e., delays in the state) or external delays (i.e., delays in the forcing action, if any) [1–8]. The delays can be, in general, modeled as point delays or as distributed delays and as constant or as time-varying delays. The background literature on the various involved subjects is exhaustive. In that context, important interest has been devoted to models of interaction of species versus their habitat, such as, for instance, the various Beverton-Holt models and some related generalizations, with their intrinsic problems of positivity, equilibrium analysis, stability, oscillatory solutions, and their control; see, for instance, [9, 10] and references therein. Important attention is paid to the study of their inverse models and their control which are equivalent to the initial direct ones while being much more tractable mathematically [9, 10]. Control rules through the online design of the habitat carrying capacity have been dealt with and applied in aquaculture exploitation [9]. Logistic equations, predator-prey models, and related oscillatory regimes have been also studied in the background literature (see, e.g., [11–13]). On the other hand, epidemic models of various kinds ranging from very elementary to sophisticated have received and still receive important attention. The literature is exhaustive (see, e.g., [1–8, 14–35]). Basic models are named via acronyms as SIR (susceptible-infectious-removed by immunity), SEIR (susceptible-infected-infectious-removed by immunity), or SVEIR (susceptible-vaccinated-infected-infectious-removed-by-immunity) models according to the involved subpopulations with coupled dynamics. An alternative popular name for the infected population is “the exposed” (those without external symptoms but already incubating the disease). An alternative popular name for the removed-by-immunity population is “the immune." There are also a wide variety of extended models available built with combinations and extensions of the above ones. The main properties dealt with are the calculation and related stability analysis of the disease-free and endemic equilibria, the infection permanence, which leads to the impossibility of reaching the disease-free equilibrium, and the positivity of the trajectories whose analysis combined with the boundedness of the total population leads to the internal stability [2, 3, 18, 20, 22, 24] of the whole model implying the boundedness of all the subpopulations [2–5, 18, 20, 22, 24–28, 30, 31, 35]. The control action on an epidemic model is performed through vaccination rules which can be of different types, for instance, constant or based either on linear or nonlinear feedback of some measurable or known subpopulations, mainly, the infectious population. Vaccination laws can also be of an impulsive nature (in practice, acting with large efforts along very short periods of time) or of a combined regular/impulsive nature [2, 5–7, 26–31]. In particular, the technique of adaptive sampling to design the relevant vaccination time instants is combined with the design of vaccination rules in [30] so as to increase the vaccination performance towards the disease eradication. It has to be pointed out that epidemic models are essentially uncontrollable so that it is not possible to drive simultaneously via a vaccination rule all the subpopulations to prefixed arbitrary values in finite prefixed time intervals since the total population is a constrain for all time for the sum of all the subpopulations [2, 7, 26]. However, most of the models are output controllable, or at least output stabilizable, with the outputs being defined “ad hoc” by either the infected and/or infectious subpopulations or the susceptible plus the immune subpopulations, those defined to be the output of the dynamic system, if necessary. The relevant idea in the epidemic models is that there is a transfer in-between subpopulations along the infection process (being, therefore, uncontrollable). The agent transmitting the infection is a quadratic dynamics of the susceptible and infected population with some either constant or functional factors (the incidence rate) which depends on a parameter or functional factor (the coefficient transmission rate) which depends on each infectious disease and the population nature [3, 16]. There is a very basic parameter to analyze, called the basic reproduction number, which has the following two interpretations.(a)
If it ranges from zero to one, the disease-free equilibrium is asymptotically stable and the infection asymptotically vanishes without requiring any external action on the system. In this case, the Jacobian of the matrix of the dynamics of the epidemic model defining the linearized state-trajectory has all its eigenvalues in the stable region. If it exceeds one, the disease-free equilibrium is unstable so that the state trajectories can converge asymptotically to the endemic equilibrium or exhibit an oscillatory behavior.
(b)
The infection cannot progress if the reproduction number is less than one since the minimum available initial infected population to propagate the disease is below its critical value for spreading.However, the explicit expression of the reproduction number is neither direct nor easy to obtain in sophisticated epidemic models. Therefore, more advanced techniques, based on the so-called next generation matrix, have been proposed to define such a reproduction number; see, for instance, [8, 33–35]. More recent studies on epidemic models are described in [36, 37]. The importance of demographics is taken into account in [36], while the stability of the equilibrium points of a delayed disease is described in [37]. This paper addresses the concept of the next generation matrix for a new proposed extended continuous time SEIR model referred to as S
I
(
n
)
R model with delays where there are n-successive stages of infectious subpopulations, each one acting at the exposed subpopulation of the next infectious stage in a cascade global disposal. Since the susceptible subpopulation is common to all infectious stages, its impact on each of those stages is modeled with an increasing delay as the infectious stage index increases from 1 to n. A second related model is used without the above delay. Both models are also reformulated with discretized versions. The physical interpretation of the S
I
(
n
)
R models is that the incubating period of any disease is not identical for all the susceptible individuals so that they can become infected at different times. So, each of the infectious stages is an infectious class which includes a certain number of individuals which become infected at times centered about a reference average time instant which is considered common for the whole group. The stability analysis is performed by defining a basic reproduction number from an ad hoc next generation matrix for this model. The basic properties which are proved are as follows. (
1
) All the trajectories remain bounded since the differential system is nonnegative, as it is the alternative discrete model, in the sense that all the subpopulations are nonnegative for all time, and the total population is uniformly bounded for all time. (
2
) If the defined basic reproduction number is less than one, then the disease-free equilibrium point is globally asymptotically stable as it is proved through the definition and use of a Lyapunov function. In this case, the endemic equilibrium point is locally unstable and, furthermore, it is unfeasible (i.e., nonreachable by any trajectory) since it is not compatible with the system positivity. (
3
) If such a basic reproduction number is equal to one, then the endemic equilibrium does not exist as such since it is identical to the disease-free equilibrium and then globally stable since the system is positive and the total population is uniformly bounded for all the time so that none of the subpopulation can be unbounded. (
4
) If the basic reproduction number exceeds one then the disease-free equilibrium point is locally unstable.


## 2. The Model

This section contains the description and main properties of the introduced models. Previous models of multistaged infectious diseases have been described in [38] including (a) the so-called epidemic models with multistaged infectious period where the susceptible population influences the first infectious stage, that one, the second infectious stage, and so on; (b) the epidemic models with several types of infective subpopulations which are influenced in a parallel disposal and all of them have transitions to a unique removed population; (c) the epidemic among a number of homogeneous groups (each susceptible group generates its own SIR model). It can be considered, in a general context, that the structure proposed in this paper lies in the first of the above classes of the multistaged models.


### 2.1.S
I
(
n
)
R Model with No Delays

The proposed model is described as a succession of infectious stages of the disease, each one with a characteristic infectivity rateβ
i. The susceptible subpopulation goes through each infected subpopulation until they reach the recovered subpopulation, immune to the disease for a certain time until they become susceptible again. The susceptible population is born at a rate α while the death rate of each infectious subpopulation is ν
i
=
b
+
ξ
i, with b being the natural death rate of the population and ξ
i the mortality rate associated with the disease at each infectious stage. The transition rate from the ith infectious subpopulation to the next one as well as the transition rate from the last infectious subpopulation to the recovered one is denoted by γ
i, while the transition from the recovered to the susceptible is μ
-
1. All the parameters are assumed to be positive so as to possess full physical meaning. The equations for the dynamics of the subpopulations are coupled as follows:
(1)
S
˙
t
=
α
-
b
+
∑
j
=
1
n
β
j
I
j
t
S
t
+
R
t
μ
,
I
˙
1
t
=
S
t
∑
j
=
1
n
β
j
I
j
t
-
ν
1
+
γ
1
I
1
t
,
I
˙
m
t
=
γ
m
-
1
I
m
-
1
t
-
ν
m
+
γ
m
I
m
t
∀
m
=
2,3
,
…
,
n
,
R
˙
t
=
γ
n
I
n
t
-
b
+
μ
-
1
R
t
,
where S and R are the susceptible and recovered subpopulations and I
i are the various infectious subpopulations corresponding to the different infection stages. For notation simplicity, the vector x is defined as
(2)
x
t
=
I
1
t
,
I
2
t
,
…
,
I
n
t
,
R
t
,
S
t
T
.Now the positivity, existence of equilibrium points, and stability are studied for this model.


#### 2.1.1. Positivity and Boundedness

Proposition 1.
All the subpopulations remain nonnegative for all time for any given nonnegative initial conditions,x
i
≥
0
∀
i
∈
[
1
,
…
,
n
+
2
] and all t
≥
0.Proof.
Lett
s
>
0 be so that S
(
t
s
)
=
0 and R
(
t
s
)
,
I
i
(
t
s
)
≥
0
∀
i
∈
[
1
,
…
,
n
]. Then, from 1
(3)
S
˙
(
t
s
)
=
α
+
R
t
s
μ
≥
0
.
Now, lett
1
>
0 be so that I
1
(
t
1
)
=
0 and S
(
t
1
)
,
I
i
(
t
1
)
≥
0
∀
i
∈
[
2
,
…
,
n
]. Then, from 1
(4)
I
˙
(
t
1
)
=
S
(
t
1
)
∑
j
=
2
n
β
j
I
j
t
1
≥
0
.
For the nextn
-
1 infectious subpopulations the same operation is made: let t
j
>
0 be so that I
j
(
t
j
)
=
0 and S
(
t
j
)
,
I
i
(
t
j
)
≥
0
∀
i
≠
j. Then, from 1
(5)
I
˙
j
(
t
j
)
=
γ
j
-
1
I
j
-
1
(
t
j
)
≥
0
.
Finally, lett
r
>
0 so that R
(
t
r
)
=
0 and S
(
t
r
)
,
I
i
(
t
r
)
≥
0, ∀
i
∈
[
1
,
…
,
n
]. Then, from 1
(6)
R
˙
(
t
r
)
=
γ
n
I
n
(
t
r
)
≥
0
.
Since it has been proven that none of the subpopulations will have a negative derivative at any time instant when they vanish and the rest of the subpopulations are nonnegative, then all the subpopulations must have nonnegative values for all time.Not only does the epidemic system possess nonnegative solutions under nonnegative initial conditions, but also the total population and all the subpopulations are bounded for all time with a uniform finite upper-bound as it is discussed in the subsequent two results.Proposition 2.
The total populationΣ
i
=
1
n
+
2
x
i
(
t
)
=
N
(
t
) is finitely upper-bounded for any given nonnegative initial conditions.Proof.
If we sum up1, we obtain
(7)
N
˙
t
=
α
-
b
N
t
-
∑
j
=
1
n
‍
ξ
j
I
j
t
.
Since Proposition 1 guarantees the nonnegativity of subpopulations and all the parameters are assumed to be positive, then as ξ
j
≥
0 and I
j
(
t
)
≥
0 for all time t
≥
0, ∑
j
=
1
n
‍
ξ
j
I
j
(
t
)
≥
0 for all t
≥
0 and
(8)
N
˙
t
=
α
-
b
N
t
-
∑
j
=
1
n
‍
ξ
j
I
j
t
≤
α
-
b
N
t
.
The solution to the differential inequality 8 is given by
(9)
N
(
t
)
≤
e
-
b
t
N
(
0
)
+
α
b
(
1
-
e
-
b
t
)
≤
max
⁡
N
(
0
)
,
α
b
for all t
≥
0. Thus, the total population is finitely upper-bounded and the proposition is proved.Corollary 3.
All the subpopulations are finitely upper-bounded for all time for any given nonnegative initial conditions, obeying the constraintsx
i
(
t
)
≤
N
(
0
)
e
-
b
t
+
N
d
f
e
*
(
1
-
e
-
b
t
)
∀
i
∈
[
1,2
,
…
,
n
+
2
], where N
d
f
e
*
=
α
/
b is the total population at the disease-free equilibrium.


#### 2.1.2. Equilibrium Points

The equilibrium points are obtained by zeroing the left-hand side of1, resulting in
(10)
0
=
α
-
b
+
∑
j
=
1
n
β
j
I
j
t
S
(
t
)
+
R
t
μ
0
=
S
t
∑
j
=
1
n
β
j
I
j
t
-
ν
1
+
γ
1
I
1
t
0
=
γ
m
-
1
I
m
-
1
t
-
ν
m
+
γ
m
I
m
t
∀
m
=
2,3
,
…
,
n
0
=
γ
n
I
n
t
-
b
+
μ
-
1
R
t
.
This system possesses in general two solutions. The first one is the disease-free equilibrium point (DFE) in which the infectious and recovered subpopulations vanish so that the susceptible becomes the total population N
dfe
*:
(11)
S
dfe
*
=
α
b
I
i
dfe
*
=
0
∀
i
∈
[
1,2
,
…
n
]
R
dfe
*
=
0
and the endemic equilibrium point (END), described as
(12)
S
end
*
=
∑
i
=
1
n
‍
β
i
Λ
i
-
1
I
1
,
end
*
=
(
1
+
b
μ
)
-
b
+
b
∑
j
=
1
n
β
j
Λ
j
(
b
μ
+
∑
j
=
1
n
ν
j
Λ
j
)
(
ν
1
+
γ
1
)
∑
j
=
1
n
β
j
Λ
j
=
(
b
μ
+
1
)
b
S
dfe
*
-
S
end
*
(
b
μ
+
∑
j
=
1
n
ν
j
Λ
j
)
(
ν
1
+
γ
1
)
I
m
,
end
*
=
γ
m
-
1
γ
m
+
ν
m
I
m
-
1
,
end
*
∀
m
∈
[
2,3
,
…
,
n
]
R
end
*
=
γ
n
b
+
μ
-
1
I
n
,
end
*
,
is Λ
i
=
∏
j
=
1
i
-
1
γ
j
/
∏
j
=
1
i
(
ν
j
+
γ
j
). Note that if S
end
*
>
S
dfe
*, then I
m
*
<
0
∀
m
∈
[
2,3
,
…
,
n
], so the endemic equilibrium is not feasible so that the only reachable equilibrium point is the disease-free equilibrium point. In the next section, it is seen that this situation corresponds to the reproductive number R
0 to be less than one. Once we have the expressions of both equilibrium points, we are prepared to discuss their equilibrium in the next section.


#### 2.1.3. Stability Analysis: Next Generation Matrix

The local stability of the DFE point is proved in this section after introducing the reproductive numberR
0, which is the average number of new cases that produce an infected individual during the average duration of the disease. In order to find this number easily, a next generation matrix with small domain is constructed as follows. The Jacobi matrix defined around the disease-free equilibrium is composed of four different submatrices: F, Σ, A, and C:(13)
J
=
∂
x
˙
∂
x
dfe
=
β
1
S
dfe
-
ν
1
+
γ
1
β
2
S
dfe
⋯
β
n
-
1
S
dfe
β
n
S
dfe
0
0
γ
1
-
ν
2
+
γ
2
⋯
0
0
0
0
⋯
⋯
⋯
⋯
⋯
⋯
⋯
0
0
⋯
-
ν
n
-
1
+
γ
n
-
1
0
0
0
0
0
⋯
γ
n
-
1
-
ν
n
+
γ
n
0
0
-
β
1
S
dfe
-
β
2
S
dfe
⋯
-
β
n
-
1
S
dfe
-
β
n
S
dfe
-
γ
n
-
b
+
μ
-
1
0
0
0
⋯
0
0
1
/
μ
-
b
=
F
-
Σ
0
A
C
,where
(14)
F
=
β
1
S
dfe
β
2
S
dfe
⋯
β
n
-
1
S
dfe
β
n
S
dfe
0
0
⋯
0
0
⋯
⋯
⋯
⋯
⋯
0
0
⋯
0
0
0
0
⋯
0
0
would be the transmission matrix, representing the appearance of new infections, while
(15)
Σ
=
ν
1
+
γ
1
0
⋯
0
0
-
γ
1
ν
2
+
γ
2
⋯
0
0
⋯
⋯
⋯
⋯
⋯
0
0
⋯
ν
n
-
1
+
γ
n
-
1
0
0
0
⋯
-
γ
n
-
1
ν
n
+
γ
n
represent the remaining transitions of the infected subpopulation unrelated as the deaths, or the transition from recovered to susceptible. Then, the inverse of that matrix Σ
-
1 would represent the average time in which a subpopulation stays in an infected state. The next generation matrix will be then defined as K
=
-
F
Σ
-
1, and the reproductive number R
0 corresponds to the spectral radius of K. Thus, the spectral radius is given by
(16)
ρ
K
=
R
0
=
∑
i
=
1
n
β
i
S
dfe
*
∏
j
=
1
i
-
1
γ
j
∏
j
=
1
i
γ
j
+
ν
j
=
S
dfe
*
∑
i
=
1
n
‍
β
i
Λ
i
=
S
dfe
*
S
end
*
.
Thus, the stability of the disease-free equilibrium point is directly related to this spectral radius. In this way, it will be locally asymptotically stable when R
0
<
1, while R
0
>
1 will imply instability of such a DFE point [35]. Studies of epidemic models with a parallel disposal of several submodels of susceptible-infectious-recovered subpopulations have proven that, for R
0
>
1, the endemic point is locally asymptotically stable [39]. Remember that it has been proven in previous section, 12, that if R
0
<
1, the only reachable point is the disease-free equilibrium, which is also locally asymptotically stable. If R
0
=
1, both equilibrium points coincide (see 12).


### 2.2. DiscreteS
I
(
n
)
R Model with No Delays

This section considers the discrete-time counterpart of the continuous-time model1. In the discrete framework notation the subpopulations are written as x
m
(
t
)
=
x
k
m for any time t
∈
k
τ
,
(
k
+
1
)
τ. The discrete model will be based on the continuous one from 1, with a step size τ
>
0. Thus, it is defined as the change x
˙
k
→
x
k
+
1
-
x
k
/
τ, with x
k
=
(
I
k
1
,
I
k
2
,
…
,
I
k
n
,
R
k
,
S
k
,
) as in the continuous subpopulations from 2. Therefore, it is obtained for k
≥
1 that
(17)
S
k
+
1
=
τ
α
+
1
-
τ
b
-
∑
j
=
1
n
τ
β
j
I
k
j
S
k
+
R
k
τ
μ
-
1
R
k
+
1
=
γ
n
I
k
n
+
1
-
τ
b
-
τ
μ
-
1
R
k
I
k
+
1
1
=
S
k
∑
j
=
1
n
τ
β
j
I
k
j
+
1
-
τ
ν
1
-
τ
γ
1
I
k
1
I
k
+
1
m
=
τ
γ
m
-
1
I
k
m
-
1
+
1
-
τ
ν
m
-
τ
γ
m
I
k
m
∀
m
=
2,3
,
…
,
n
.Proposition 4.
The discrete system described in17 is nonnegative for any nonnegative initial conditions if the step size τ is small enough to satisfy
(18)
τ
≤
min
⁡
⁡
[
τ
1
,
τ
2
,
τ
3
,
…
,
τ
n
+
2
]
with τ
m
+
2
-
1
=
ν
m
+
γ
m
∀
m
∈
[
1
,
…
,
n
], τ
2
-
1
=
b
+
μ
-
1, and τ
1
-
1
=
b
+
n
β
M
(
N
1
+
α
/
b
), where β
M
=
max
⁡
1
≤
j
≤
n
⁡
[
β
j
] and N
1 is the total initial population (i.e., the total population at the initial time).Proof.
Given a set of nonnegative subpopulations at thekth-sample, from the second equation of 17, it can be deduced that
(19)
R
k
+
1
=
R
k
(
1
-
τ
(
b
+
μ
-
1
)
)
+
γ
n
I
k
n
≥
R
k
1
-
τ
b
+
μ
-
1
.
Then, R
k
+
1
≥
0 if τ
≤
τ
2. The same method can be applied for guaranteeing the nonnegativity of I
k
+
1
m
∀
m
∈
[
1
,
…
,
n
]. From the third and fourth equations at 17, it is deduced that
(20)
I
k
+
1
m
≥
(
1
-
τ
(
ν
m
+
γ
m
)
)
I
k
m
∀
m
∈
[
1
,
…
,
n
]
.
Then, I
k
+
1
m
≥
0
∀
m
∈
[
1
,
…
,
n
] if τ
≤
min
⁡
1
≤
m
≤
n
⁡
[
τ
m
+
2
].
In order to guarantee the nonnegativity of the susceptible subpopulation, first a maximum value is set forN
k. From 17
(21)
S
k
+
1
+
R
k
+
1
∑
j
=
1
n
I
k
+
1
j
=
N
k
+
1
=
α
τ
+
N
k
(
1
-
b
τ
)
-
∑
j
=
1
n
I
k
j
ν
j
-
b
,
N
k
+
1
≤
α
τ
+
N
k
1
-
b
τ
,
N
k
+
1
≤
1
-
b
τ
k
-
1
N
1
+
α
τ
1
-
1
-
b
τ
k
b
τ
,
then ∀
k
≥
1, and it can be said that
(22)
N
k
+
1
≤
max
⁡
⁡
1
-
b
τ
k
-
1
N
1
+
max
⁡
⁡
α
τ
1
-
1
-
b
τ
k
b
τ
=
N
1
+
α
b
.
So from the first equation at17 it is known that
(23)
S
k
+
1
≥
1
-
τ
b
+
∑
j
=
1
n
β
j
I
k
j
S
k
.
Then, given that I
k
j
≤
N
k
∀
k, j
>
0, it is defined that τ
1
=
1
/
(
b
+
β
M
(
N
1
+
α
/
b
)
) so that the susceptible subpopulation remains nonnegative if
(24)
τ
≤
τ
1
=
1
b
+
β
M
(
N
1
+
α
/
b
)
≤
1
b
+
∑
j
=
1
n
β
j
I
k
j
.
Thus, for a step size τ
≤
min
⁡
⁡
[
τ
1
,
τ
2
,
τ
3
,
…
,
τ
m
], the system remains positive.The equilibrium points are obtained by makingx
k
+
1
=
x
k
=
x
* in 17:
(25)
S
*
=
τ
α
+
1
-
τ
b
+
∑
j
=
1
n
τ
β
j
I
j
*
S
*
+
R
*
τ
μ
-
1
R
*
=
γ
n
I
n
*
+
1
-
τ
b
-
τ
μ
-
1
R
*
I
*
1
=
S
*
∑
j
=
1
n
τ
β
j
I
j
*
+
1
-
τ
ν
1
-
τ
γ
1
I
1
*
I
*
m
=
τ
γ
m
-
1
I
m
-
1
*
+
1
-
τ
ν
m
-
τ
γ
m
I
m
*
∀
m
=
2,3
,
…
,
n
.The solutions of the above system of equations are the same as in the continuous-time case and given by11 and 12 for the disease-free and endemic equilibrium points, respectively. A next generation matrix approach for discrete models is made so that the Jacobian matrix evaluated at the disease-free equilibrium is as follows:
(26)
J
=
∂
x
k
+
1
∂
x
k
x
k
+
1
-
x
dfe
=
J
x
k
-
x
dfe
.
The Jacobian takes the form(27)
J
=
I
-
τ
ν
1
+
γ
1
-
β
1
S
dfe
-
β
2
S
dfe
τ
⋯
-
β
n
-
1
S
dfe
τ
-
β
n
S
dfe
τ
0
0
-
τ
γ
1
τ
ν
2
+
γ
2
⋯
0
0
0
0
⋯
⋯
⋯
⋯
⋯
⋯
⋯
0
0
⋯
τ
ν
n
-
1
+
γ
n
-
1
0
0
0
0
0
⋯
-
τ
γ
n
-
1
τ
ν
n
+
γ
n
0
0
β
1
S
dfe
τ
β
2
S
dfe
τ
⋯
β
n
-
1
S
dfe
τ
β
n
S
dfe
-
γ
n
τ
b
+
μ
-
1
τ
0
0
0
⋯
0
0
τ
/
μ
τ
b
.The Jacobian can be separated into four submatrices as follows:
(28)
J
=
F
-
Σ
0
A
Cwith the fertility submatrix n
×
n, related to the new infections and represented as F and the transition submatrix Σ, with the same dimensions, related to the transition of the individuals between the different subpopulations resulting in(29)
Σ
=
τ
ν
1
+
γ
1
0
⋯
0
0
-
τ
γ
1
τ
ν
2
+
γ
2
⋯
0
0
⋯
⋯
⋯
⋯
⋯
0
0
⋯
τ
ν
n
-
1
+
γ
n
-
1
0
0
0
⋯
-
τ
γ
n
-
1
τ
ν
n
+
γ
n
-
I
,
F
=
β
1
S
dfe
τ
β
2
S
dfe
τ
⋯
β
n
-
1
S
dfe
τ
β
n
S
dfe
τ
0
0
⋯
0
0
⋯
⋯
⋯
⋯
⋯
0
0
⋯
0
0
0
0
⋯
0
0
.A simple calculation with the Jacobian matrix results in an equivalent decomposition of the whole linearization about the equilibrium system into two complete subsystems, one describing the infection progress while the other one expresses the disease-free subpopulation dynamics as follows:(30)
y
k
+
1
=
F
-
Σ
y
k
,
l
k
+
1
=
A
y
k
+
C
l
k
.
The term Σ
i
,
j represents the fraction of the individuals from the jth infected subpopulation that will survive and move to the ith. Because of these demographic interpretations, from Perron-Frobenius theory on the maximum modulus [40], the parameters are set so that the column sum of Σ and the maximum moduli of its eigenvalues are less than one; that is, ρ
[
Σ
]
<
1, so as to exclude the case of an immortal population. Then, it can be established for the vector of initial infectious individuals that lim
⁡
k
→
∞
⁡
-
Σ
k
y
0
=
0. Then, the next generation matrix Q can be defined as the sum of the infections ever produced by the infected individuals at t
k for all the time they remain infectious, which would be F
y
k at t
k, -
F
Σ
y
k at t
k
+
1, and F
Σ
2
y
k at t
k
+
2 ad infinitum:
(31)
Q
y
k
=
F
y
k
-
Σ
y
k
+
Σ
2
y
k
-
Σ
3
y
k
+
Σ
4
y
k
⋯
,
where Q represents the distribution of all infections accumulated during the lifespan of the infectious population:
(32)
Q
=
F
I
-
Σ
+
Σ
2
-
Σ
3
+
Σ
4
⋯
=
F
I
+
Σ
-
1
.
Then the basic reproduction number is defined as the spectral radius of the Q matrix R
0
=
ρ
Q
=
ρ
F
I
+
Σ
-
1. The spectral radius of the F
-
Σ is defined as ρ
[
F
-
Σ
]
=
r. It is proven in [40] that either r
=
R
0
=
1 or 1
<
r
<
R
0 or 1
>
r
>
R
0
>
0, so the stability of the disease-free equilibrium is determined by the value of R
0. In our model this reproduction number is obtained as
(33)
R
0
=
∑
i
=
1
n
τ
β
i
S
dfe
∏
j
=
1
i
-
1
τ
γ
j
∏
j
=
1
i
τ
γ
j
+
ν
j
=
S
dfe
S
end
.Thus, the disease-free equilibrium state will be locally stable when the reproduction number is less than 1 and unstable otherwise. From known previous calculations of the stability of similar models [35, 40], this decomposition technique for stability analysis can be compared to previous ones such as the study of the stability made in [35] for the SEIR model, which is a specific version of a continuous S
I
(
n
)
R model in which n
=
2
β
1
=
0, ν
1
=
ν
2
=
b, and γ
1
=
κ. From the definition in 33 it is obtained that R
0
=
β
2
S
dfe
κ
/
b
+
κ
b
+
γ
2, which agrees with the study of the eigenvalues of the Jacobian in a continuous-time model [26].


### 2.3.S
I
(
n
)
R Model with Delays

#### 2.3.1. Construction of the Model

A new model is proposed based on the previous one in which the transition rates between subpopulations are substituted by delays, implying that each individual must stay at each stage of the infection during a certain period of time (latent period) before recovery. Such time periods are defined asτ
i
=
γ
i
-
1 for the infectious stages of the disease and τ
R
=
μ for the recovered state. The model also preserves the infectivity mechanism of the previous one, in which all the infectious subpopulations affect the infection of the first stage at different rates. For notational abbreviation in the subsequent exposition it is now defined as the function f
ω
=
S
ω
∑
j
=
1
n
β
j
I
j
ω. Thus, the value of the infected subpopulation I
1 at a certain time t is defined by the ratio of the people that became infected at time ω
<
t that has not passed to the I
2 infectious subpopulation yet. In order to calculate such a total amount, consider the probability
(34)
1
-
∫
0
t
-
ω
‍
ρ
1
ξ
d
ξ
=
∫
t
-
ω
∞
‍
ρ
1
ξ
d
ξ
with ρ
1
(
ξ
) being the probability distribution of the transition I
1
→
I
2 plus the probability to stay alive after time t
-
ω, which would be equal to e
ν
1
(
ω
-
t
). An integration ω
∈
(
-
∞
,
t
) is made in order to obtain the value of the subpopulation at the instant t resulting in
(35)
I
1
t
=
∫
-
∞
t
‍
∫
t
-
ω
∞
‍
ρ
1
ξ
d
ξ
f
ω
e
ν
1
(
ω
-
t
)
d
ω
.
Given the above integral function of the first stage of the infectious subpopulations, its derivative through time is easily obtained as
(36)
I
˙
1
t
=
f
t
-
ν
1
I
1
t
-
∫
0
∞
‍
ρ
1
ω
f
t
-
ω
e
-
ν
1
ω
d
ω
.
The probability distribution of transition is defined as ρ
1
(
ω
)
=
δ
(
ω
-
τ
1
), meaning that the probability of transition of the subpopulation at the stage 1 of the disease to the next one is set to zero before it has passed a latent time interval τ
1 and is equal to 1 after that time, so that 36 transforms to
(37)
I
˙
1
t
=
f
t
-
ν
1
I
1
t
-
e
-
ν
1
τ
1
f
t
-
τ
1
.
As the rate of death in the subpopulation I
1
(
t
) corresponds to -
ν
1
I
1
(
t
), it is inferred that the term e
-
ν
1
τ
1
f
(
t
-
τ
1
) corresponds to the rate of transition from I
1
(
t
) to I
2
(
t
). Then, the value of the people that arrives at I
2 at ω
<
t would be e
-
ν
1
τ
1
f
(
ω
-
τ
1
), and I
2 at certain time would be written as I
2
t
=
∫
-
∞
t
‍
∫
t
-
ω
∞
‍
ρ
1
ξ
d
ξ
e
ν
2
(
ω
-
t
)
e
-
ν
1
τ
1
f
(
ω
-
τ
1
)
d
ω. For any subpopulation m
∈
[
1,2
,
…
,
n
], it can be written that
(38)
I
m
t
=
e
-
ν
m
t
∫
-
∞
t
‍
∫
t
-
ω
∞
‍
ρ
m
ξ
d
ξ
C
m
-
1
=
e
-
ν
m
t
∫
-
∞
t
‍
·
f
ω
-
T
m
-
1
e
ν
m
ω
d
ω
.For the recovered subpopulation the same technique is used, so that the dynamic ofR over time can be written as
(39)
R
(
t
)
=
e
-
ν
R
t
∫
-
∞
t
‍
∫
t
-
ω
∞
‍
ρ
R
ξ
d
ξ
C
n
f
ω
-
T
n
e
ν
R
ω
d
ω
with C
i
=
∏
j
=
1
i
e
-
ν
i
τ
i, C
n
+
1
=
C
n
e
-
ν
R
τ
R, and T
i
=
∑
j
=
1
i
τ
j, T
n
+
1
=
T
n
+
τ
R. The dynamic equations of the subpopulations are defined then as
(40)
S
˙
(
t
)
=
α
-
b
S
t
-
f
t
+
C
n
+
1
f
t
-
T
n
+
1
R
˙
(
t
)
=
C
n
f
(
t
-
T
n
)
-
C
n
+
1
f
t
-
T
n
+
1
-
ν
R
R
t
I
˙
m
t
=
C
m
-
1
f
t
-
T
m
-
1
-
C
m
f
t
-
T
m
-
ν
m
I
m
t
∀
m
∈
1,2
,
…
,
n
,
where, as in the previous model, α is the constant birth rate, and the fully immune recovered subpopulation eventually becomes susceptible again after the period of time τ
R.


#### 2.3.2. Positivity and Boundedness

Proposition 5.
The model equation40 is nonnegative for any initial nonnegative conditions. Thus,
(41)
x
i
ω
≥
0
;
∀
m
=
1,2
,
…
,
n
+
2
∀
ω
∈
(
-
∞
,
t
0
), which implies x
i
t
≥
0; ∀
m
=
1,2
,
…
,
n
+
2
∀
t
∈
[
t
0
,
∞
).Proof.
Sinceβ
i
≥
0, it is then deduced from 41 that f
(
ω
)
≥
0
∀
ω
∈
(
-
∞
,
t
0
). Assume that
(42)
∃
λ
>
0
∣
S
(
t
0
+
λ
)
=
0
,
I
m
(
t
)
≥
0
∀
m
=
1,2
,
…
,
n
+
1
;
∀
t
∈
[
t
0
,
t
0
+
λ
)
then, from 40 at the time t
0
+
λ,
(43)
S
˙
(
t
0
+
λ
)
=
α
+
C
n
+
1
f
(
t
0
+
λ
-
T
n
+
1
)
>
0
;
therefore, the subpopulation S will not be the first subpopulation to be negative.
From38 assume that ∃
t
1
≥
t
0 such that I
m
(
t
1
)
=
0 for the first time and the value ζ
≥
0 as small as desired such that I
(
t
1
-
ζ
)
>
0; I
t
1
+
ζ
<
0. Then it can be said that
(44)
I
m
t
1
+
ζ
=
∫
-
∞
t
1
-
ζ
‍
∫
t
1
-
ζ
-
ω
∞
‍
ρ
m
ξ
d
ξ
C
m
-
1
f
ω
-
T
m
-
1
=
∫
-
∞
t
1
-
ζ
‍
×
e
ν
m
(
ω
-
(
t
1
-
ζ
)
)
d
ω
+
∫
t
1
-
ζ
t
1
+
ζ
‍
∫
t
1
+
ζ
-
ω
∞
‍
ρ
m
ξ
d
ξ
C
m
-
1
f
ω
-
T
m
-
1
+
∫
t
1
-
ζ
t
1
+
ζ
‍
×
e
ν
m
(
ω
-
(
t
1
+
ζ
)
)
d
ω
.
Sincef
(
t
1
-
ζ
)
≥
0 and knowing that f
(
t
) is continuous and derivable for all t, from the mean value theorem, it can be deduced that
(45)
lim
⁡
ζ
→
0
I
m
t
1
+
ζ
≥
∫
t
1
-
ζ
t
1
+
ζ
‍
∫
t
1
+
ζ
-
ω
∞
‍
ρ
m
ξ
d
ξ
C
m
-
1
f
ω
-
T
m
-
1
≥
∫
t
1
-
ζ
t
1
+
ζ
‍
×
e
ν
m
(
ω
-
(
t
1
+
ζ
)
)
d
ω
≥
C
m
-
1
f
t
1
-
T
m
-
1
e
ν
m
(
ω
-
t
1
)
2
ζ
≥
0
which is in direct contradiction with the original assumption of I
(
t
1
-
ζ
)
>
0; I
t
1
+
ζ
<
0. Then as S
(
ω
) is not negative before t
1
≥
0, the term f
(
ω
) will remain nonnegative. Consider ∀
ω
∈
(
-
∞
,
t
1
+
ζ
+
). Therefore, neither the infectious nor the susceptible subpopulation will be the first one to have a negative value. The same method can be applied to demonstrate that the recovered subpopulation will not be the first to have a negative value either. Then, x
i
(
t
)
≥
0
∀
i
=
[
1
,
…
,
n
+
2
] holds for all time for any given nonnegative initial conditions.Since the lower bound of the subpopulations is established as 0, an upper-bound for all the subpopulations is set in the following proposition.Proposition 6.
S
(
t
)
≤
N
d
f
e, I
m
(
t
)
≤
N
d
f
e, R
(
t
)
≤
N
d
f
e  N
d
f
e
=
∑
i
=
1
n
+
2
x
i
d
f
e
*
=
α
/
b, for any given initial conditions ∑
i
=
1
n
+
2
x
i
(
0
)
=
N
(
0
)
≤
α
/
b.Proof.
The dynamic ofN
(
t
) is obtained from 40: N
˙
(
t
)
=
α
-
b
N
(
t
)
-
∑
i
=
1
n
I
i
(
t
)
ν
i
-
b. As ν
i
≥
b
∀
i
=
[
1,2
,
…
,
n
], and given the previous boundary of nonnegativity from Proposition 4, it can be seen that, for any t
0
∣
N
(
t
0
)
=
α
/
b, N
˙
(
t
0
)
=
-
∑
i
=
1
n
I
i
(
t
)
ν
i
-
b
≤
0. Thus, N
(
t
)
≤
α
/
b
∀
t
>
t
0. Then, for each subpopulation
(46)
x
(
t
)
=
S
t
,
I
1
t
,
I
2
t
,
…
,
I
n
(
t
)
,
R
(
t
)
T
it is established that x
i
(
t
)
=
N
(
t
)
-
∑
j
≠
i
n
+
2
x
j
(
t
)
≤
α
/
b
-
∑
j
≠
i
n
+
2
x
j
(
t
)
≤
α
/
b; ∀
t
>
t
0.


#### 2.3.3. Equilibrium Points

The existence of equilibrium points in our model is now studied. The dynamics of the subpopulation described in40 is zero at the equilibrium points, so that
(47)
0
=
b
α
b
-
S
*
-
f
*
1
-
C
n
+
1
0
=
f
*
C
m
-
1
-
C
m
-
ν
m
I
m
*
0
=
f
*
C
n
-
C
n
+
1
-
ν
R
R
*being f
*
=
S
*
∑
j
=
1
n
β
I
j
*.  Two equilibrium points are obtained and result in
(48)
S
dfe
*
=
α
b
I
i
dfe
*
=
0
R
dfe
*
=
0
,
(49)
S
end
*
=
∑
j
=
1
n
β
j
η
j
-
1
,
I
i
end
*
=
Γ
η
i
∀
i
∈
1
,
…
,
n
,
R
end
*
=
Γ
η
n
+
1
with η
j
=
(
C
j
-
1
-
C
j
)
/
ν
j and Γ
=
b
(
α
/
b
-
(
∑
j
=
1
n
(
β
j
l
j
)
)
-
1
)
/
(
1
-
C
n
+
1
). Note that 1
≥
C
1
≥
C
2
≥
⋯
≥
C
i
-
1
≥
C
i
≥
⋯
≥
C
n
+
1
≥
0 and ν
j
≥
0
∀
j, so η
j
≥
0
∀
j. Given any nonnegative initial conditions, the endemic equilibrium point would not be reachable if S
end
*
=
(
∑
j
=
1
n
(
β
j
l
j
)
)
-
1
>
α
/
b, as Γ and I
i
end
* would be <0.Take into account that ifS
*
=
α
/
b, x
end
=
x
dfe, the endemic, and the disease-free equilibrium are the same, so there is only one equilibrium point in the system.


#### 2.3.4. Stability of the Disease-Free Equilibrium (DFE) Point

The local stability of the DFE point is proved in this section after introducing the reproductive numberR
0, the average number of new cases that produce an infected individual during the average duration of the disease. In order to find this number easily, a next generation is constructed as follows.First, the vector of the subpopulations is reorganized as in2, so that the Jacobian matrix around the DFE point can be properly written as
(50)
J
=
∂
x
˙
∂
x
dfe
=
F
-
Σ
0
A
C
,
where F is the transmission matrix, representing the appearance of new infections F
i
j
=
C
i
-
1
β
j, while Σ represent the remaining transitions of the subpopulation which are unrelated directly to the infection, such as the deaths, or the transition from recovered subpopulation to susceptible subpopulation.Then, the next generation matrix is given byK
=
-
F
Σ
-
1. The submatrices composing the Jacobian are(51)
F
-
Σ
=
S
dfe
*
C
0
-
C
1
β
1
C
0
-
C
1
β
2
⋯
C
0
-
C
1
β
n
-
1
C
0
-
C
1
β
n
C
1
-
C
2
β
1
C
1
-
C
2
β
2
⋯
C
1
-
C
2
β
n
-
1
C
1
-
C
2
β
n
⋯
⋯
⋯
⋯
⋯
C
n
-
1
-
C
n
β
1
C
n
-
1
-
C
n
β
2
⋯
C
n
-
1
-
C
n
β
n
-
1
C
n
-
1
-
C
n
β
n
C
n
-
C
n
+
1
β
1
C
n
-
C
n
+
1
β
2
⋯
C
n
-
C
n
+
1
β
n
-
1
C
n
-
C
n
+
1
β
n
-
ν
1
0
⋯
0
0
0
ν
2
⋯
0
0
⋯
⋯
⋯
⋯
⋯
0
0
⋯
ν
n
-
1
0
0
0
⋯
0
ν
n
A
=
S
dfe
*
C
n
-
C
n
+
1
β
1
C
n
-
C
n
+
1
β
2
⋯
C
n
-
C
n
+
1
β
n
-
1
C
n
-
C
n
+
1
β
n
-
C
0
-
C
n
+
1
β
1
-
C
0
-
C
n
+
1
β
2
⋯
-
C
0
-
C
n
+
1
β
n
-
1
-
C
0
-
C
n
+
1
β
n
C
=
-
b
0
0
-
b
,so the transmission and transition matrices are
(52)
F
i
j
=
C
i
-
1
β
j
S
dfe
*
Σ
i
j
=
ν
i
δ
i
j
+
C
i
β
j
S
dfe
*
∀
i, j
=
1
,
…
,
n. The element K
i
j is the number of new cases generated in the stage of the disease i by one infected case that has just arrived to the stage of the disease j. Then, the dominant eigenvalue of the next generation matrix K would correspond to the reproduction number R
0. However, it is possible in this case to construct a small domain next generation matrix [35] K
S with a lower dimension than K, from which it will be much easier to obtain this dominant eigenvalue. Since (a) R is a matrix whose rows are linearly independent vectors spanning the rows of F and (b) C is a matrix whose columns are linearly independent vectors spanning the columns of F
, then F
=
C
R, and the small domain next generation matrix will be defined as K
S
=
-
R
Σ
-
1
C. In our case C
=
C
0
,
C
1
,
C
2
,
…
,
C
n
-
1
T and R
=
β
1
,
β
2
,
…
,
β
n, so
(53)
K
S
=
-
β
1
,
β
2
,
…
,
β
n
Σ
-
1
C
0
C
1
⋯
C
n
-
1
=
∑
i
=
1
n
(
β
i
C
i
-
1
/
ν
i
)
b
/
α
+
∑
i
=
1
n
(
β
i
C
i
/
ν
i
)
=
R
0
;
since dim
⁡
K
S
=
1, the dominant eigenvalue of K
S would be K
S. Note that K
S
=
R
0 implies that if R
0
≶
1, then (
∑
i
=
1
n
(
β
i
C
i
-
1
-
C
i
/
ν
i
)
)
-
1
=
S
*
≷
S
dfe
*, which is also the condition of reachability of the endemic equilibrium, as stated in the previous section.Proposition 7.
The DFE is globally asymptotically stable ifR
0
<
1.Proof.
A candidate for a Lyapunov functionΦ is defined as Φ
=
ϕ
1
+
ϕ
2
+
ϕ
3, having the auxiliary functions ϕ
1, ϕ
2, ϕ
3 been defined as
(54)
ϕ
1
=
∑
i
=
1
n
β
i
ν
i
I
i
(
t
)
ϕ
2
=
-
∑
i
=
1
n
β
i
ν
i
C
i
∫
t
-
T
i
t
-
T
i
-
1
‍
f
(
ω
)
d
ω
ϕ
3
=
∑
i
=
1
n
β
i
C
i
-
1
-
C
i
ν
i
∫
t
-
T
i
-
1
t
‍
f
ω
d
ω
;
now, ϕ
3 is positive definite ∀
t, since f
(
ω
)
≥
0
∀
ω, β
i
≥
0, b
i
>
0, and C
i
-
1
>
C
i
=
C
i
-
1
e
-
b
i
τ
i
∀
i
=
1,2
,
…
,
n. To verify the positivity of ϕ
1
+
ϕ
2, consider the definition of the infectious subpopulation from 38 and the probability transition function ρ
i
(
ξ
)
=
δ
(
ξ
-
τ
i
). It is then established that
(55)
I
i
(
t
)
=
C
i
-
1
∫
-
∞
t
‍
θ
(
ω
+
τ
i
-
t
)
f
ω
-
T
i
-
1
e
ν
i
(
ω
-
t
)
d
ω
.
This integral function can be reconfigured as(56)
I
i
t
=
C
i
-
1
∫
-
∞
t
-
T
i
-
1
‍
θ
ω
′
+
T
i
-
t
f
ω
′
e
ν
i
ω
′
+
T
i
-
1
-
t
d
ω
′
,
=
C
i
-
1
∫
t
-
T
i
t
-
T
i
-
1
‍
f
ω
e
ν
i
(
ω
-
(
t
-
T
i
-
1
)
)
d
ω
,
=
C
i
∫
t
-
T
i
t
-
T
i
-
1
‍
f
ω
e
ν
i
(
ω
-
(
t
-
T
i
)
)
d
ω
.
Given this definition ofI
i
(
t
), the parameter σ
i
(
t
) is defined as
(57)
σ
i
t
=
I
i
(
t
)
-
C
i
∫
t
-
T
i
t
-
T
i
-
1
‍
f
ω
d
ω
=
C
i
∫
t
-
T
i
t
-
T
i
-
1
‍
f
ω
(
e
ν
i
(
ω
-
(
t
-
T
i
)
)
-
1
)
d
ω
.
Since f
(
ω
)
≥
0 and (
e
ν
i
(
ω
-
(
t
-
T
i
)
)
-
1
)
≥
0
∀
ω
∈
[
t
-
T
i
,
t
-
T
i
-
1
], it is deduced that σ
i
(
t
)
≥
0
∀
t, ∀
i
∈
[
1
,
…
,
n
]. Then ϕ
1
(
t
)
+
ϕ
2
(
t
)
=
∑
i
=
1
n
(
β
i
/
ν
i
)
σ
i
(
t
)
≥
0
∀
t and ϕ
3
(
t
)
≥
0
∀
t. Thus the nonnegativity of the Φ function is proven. The function Φ is equal to zero for I
i
(
ω
)
=
0
∀
i
=
1
,
…
,
n, ∀
ω
∈
[
t
-
T
n
,
t
]. Then the derivative over time Φ
˙
=
ϕ
˙
1
+
ϕ
˙
2
+
ϕ
˙
3 is calculated as
(58)
Φ
˙
=
∑
i
=
1
n
β
i
ν
i
C
i
-
1
f
(
t
-
T
i
-
1
)
-
C
i
f
(
t
-
T
i
)
-
b
i
I
i
(
t
)
+
∑
i
=
1
n
β
i
ν
i
C
i
f
(
t
-
T
i
)
-
f
(
t
-
T
i
-
1
)
+
∑
i
=
1
n
β
i
(
C
i
-
1
-
C
i
)
ν
i
f
(
t
)
-
C
i
f
(
t
-
T
i
-
1
)
Φ
˙
=
∑
i
=
1
n
(
β
i
C
i
-
1
-
C
i
/
ν
i
)
f
(
t
)
-
β
i
I
i
(
t
)
=
f
(
t
)
(
S
(
t
)
-
S
*
)
/
S
*
S
(
t
). For R
0
<
1
→
S
*
>
α
/
b
≥
S
(
t
), so Φ
˙
=
0 for I
i
=
0
∀
i
=
1
,
…
,
n and Φ
˙
<
0 otherwise from 40. Thus the proposition is proved.


#### 2.3.5. Stability of the Endemic Equilibrium Point (END) Model withn
=
1

For simple models, that is, models with only one or two infectious subpopulations, a study of the stability of their endemic points is also made. The model is linearized around the endemic point and the eigenvalues of the Jacobi matrix are obtained. The functionf
(
λ
) is defined as
(59)
f
(
λ
)
=
Det
[
λ
I
-
J
]
=
0
with J the 3
×
3 Jacobi matrix from 40, defined at the endemic equilibrium point from 49:
(60)
J
=
∂
x
˙
∂
x
end
.The solutions off
(
λ
)
=
(
-
b
+
λ
)
(
b
ν
1
(
S
dfe
*
/
S
end
*
-
1
)
+
b
S
dfe
*
/
S
end
*
λ
+
λ
)
=
0 are
(61)
λ
1
=
-
b
,
λ
2
=
A
-
A
2
+
B
,
λ
3
=
A
+
A
2
+
B
,
respectively, with A
=
-
b
S
dfe
*
/
2
S
end
* and B
=
-
b
ν
1
(
S
dfe
/
S
end
*
-
1
). Since b
>
0 and S
dfe
*
/
S
end
*
>
0, λ
1 and λ
2 are defined as negative. The third solution will be defined as negative λ
3
<
0 if A
>
A
2
+
B
→
A
2
>
A
2
+
B
→
B
<
0, which is satisfied for S
dfe
*
/
S
end
*
>
1 or, as is shown in Section 2.3.4, when R
0
>
1.


#### 2.3.6. Stability of the Endemic Equilibrium Point (END) Model withn
=
2

Forn
=
2 (i.e., there are two infectious subpopulations) a function g
(
λ
) will be defined as in 59, this time with J a 4
×
4 Jacobi matrix from the susceptible, the recovered, and the two stages of the infectious subpopulations:
(62)
g
(
λ
)
=
(
b
+
λ
)
(
g
0
+
g
1
λ
+
g
2
λ
2
+
g
3
λ
3
)
with
(63)
g
0
=
b
ν
1
ν
2
(
S
dfe
*
S
end
*
-
1
)
,
g
1
=
b
ν
1
+
ν
2
S
dfe
*
S
end
*
-
b
X
,
g
2
=
(
ν
1
+
ν
2
+
b
S
dfe
*
S
end
*
)
-
X
,
g
3
=
1
being X
=
ν
1
ν
2
(
β
1
(
1
-
C
1
)
+
β
2
(
C
1
-
C
2
)
)
/
(
β
1
(
1
-
C
1
)
ν
2
+
β
2
(
C
1
-
C
2
)
)
ν
1. The first eigenvalue is trivially obtained as λ
=
-
b. The other eigenvalues will not be directly obtained, as it is only needed to demonstrate that their real part is negative in order to prove the local asymptotic stability of the model. The Routh-Hurwitz criterion [41] says that in order to have all the solutions of g
(
λ
i
)
=
0 on the left half plane, the coefficients of g must satisfy the following conditions: (1)
g
i
>
0
∀
i
=
0,1
,
2,3
(2)
g
1
g
2
>
g
3
g
0. Both conditions can be satisfied once that the limits of the X parameter are established. Given ν
M
=
max
⁡
[
ν
1
,
ν
2
] and ν
m
=
min
⁡
[
ν
1
,
ν
2
] then
(64)
ν
1
ν
2
(
β
1
(
1
-
C
1
)
+
β
2
(
C
1
-
C
2
)
)
ν
M
(
β
1
(
1
-
C
1
)
+
β
2
(
C
1
-
C
2
)
)
≤
X
≤
ν
1
ν
2
(
β
1
(
1
-
C
1
)
+
β
2
(
C
1
-
C
2
)
)
ν
m
(
β
1
(
1
-
C
1
)
+
β
2
(
C
1
-
C
2
)
)
,
ν
m
≤
X
≤
ν
M
,
so that, for R
0
>
1
→
S
dfe
*
/
S
end
*
>
1, it is deduced that the coefficients are positive:
(65)
0
<
b
ν
1
ν
2
(
S
dfe
*
S
end
*
-
1
)
=
g
0
,
0
<
b
ν
m
S
dfe
*
S
end
*
+
(
S
dfe
*
S
end
*
-
1
)
ν
M
≤
g
1
,
0
<
(
ν
m
+
b
S
dfe
*
S
end
*
)
≤
g
2
,
0
<
1
=
g
3
.
And the lower limit of the second condition is defined as
(66)
g
1
g
2
-
g
1
g
0
≥
min
⁡
[
g
1
]
min
⁡
[
g
2
]
-
g
3
g
0
=
b
S
dfe
*
S
end
*
ν
m
b
S
dfe
*
S
end
*
+
ν
m
+
b
S
dfe
*
S
end
*
-
1
ν
M
>
0
,
so all the real parts of the eigenvalues are negative and the equilibrium endemic point is locally asymptotically stable as long as R
0
>
1.


### 2.4. DiscreteS
I
(
n
)
R Model with Delay

The dynamic equation40 is approximated to x
˙
k
→
(
x
k
+
1
-
x
k
)
/
τ, with x
k
=
(
I
k
1
,
I
k
2
,
…
,
I
k
m
,
R
k
,
S
k
)
T being the vector of the subpopulations to obtain a discrete-time counterpart of the continuous-time model. The notation for any subpopulation at the time interval t
∈
k
τ
,
(
k
+
1
)
τ is established then as x
m
(
t
)
=
x
k
m. Thus, the analogous discrete equations to the model from 17 are obtained:
(67)
S
k
+
1
=
τ
α
-
1
-
τ
b
+
∑
j
=
1
n
τ
β
j
I
k
j
S
k
+
D
μ
S
k
-
σ
μ
∑
j
=
1
n
τ
β
j
I
k
-
σ
μ
j
R
k
+
1
=
D
n
S
k
-
σ
n
∑
j
=
1
n
τ
β
j
I
k
-
σ
n
j
-
D
μ
S
k
-
σ
μ
∑
j
=
1
n
τ
β
j
I
k
-
σ
μ
j
+
1
-
τ
b
R
k
I
k
+
1
m
=
D
m
-
1
S
k
-
σ
m
-
1
∑
j
=
1
n
τ
β
j
I
k
-
σ
m
-
1
j
-
D
m
S
k
-
σ
m
∑
j
=
1
n
τ
β
j
I
k
-
σ
m
j
+
1
-
τ
ν
m
I
k
m
∀
m
∈
[
2
,
…
,
n
]
I
k
+
1
1
=
S
k
∑
j
=
1
n
τ
β
j
I
k
j
+
1
-
τ
ν
1
I
k
1
-
D
1
S
k
-
σ
1
∑
j
=
1
n
τ
β
j
I
k
-
σ
1
j
and σ
i
=
∑
j
=
1
i
N
i, σ
μ
=
σ
n
+
τ
μ, with D
i
=
∏
j
=
1
i
-
1
e
-
ν
j
N
j
τ and D
μ
=
D
n
e
-
b
N
μ
τ being N
i and N
μ the rounded half down value for τ
i
/
τ,  τ
μ
/
τ, respectively. Now, at the equilibrium point, the delays are not relevant, while the dynamic equation at the equilibrium can be rewritten as
(68)
S
*
=
τ
α
-
1
-
τ
b
S
*
+
D
μ
-
1
S
*
∑
j
=
1
n
τ
β
j
I
j
*
R
*
=
D
n
-
D
μ
S
*
∑
j
=
1
n
τ
β
j
I
j
*
+
1
-
τ
b
R
*
I
m
*
=
D
m
-
1
-
D
m
S
*
∑
j
=
1
n
τ
β
j
I
j
*
+
1
-
τ
ν
m
I
m
*
I
1
*
=
1
-
D
1
S
*
∑
j
=
1
n
τ
β
j
I
j
*
+
1
-
τ
ν
1
I
1
.The reproductive number will be obtained again with a next generation matrix method as in the previous section, so the value would be(69)
K
S
=
R
0
=
∑
i
=
1
n
(
β
i
D
i
-
1
/
ν
i
τ
)
b
/
α
τ
+
∑
i
=
1
n
β
i
D
i
/
ν
i
τ
which is similar to the reproductive number from the continuous model, with the only difference of the D
i constants instead of the previous C
i. However, given their similar origins and values, the properties exhibited in both sets of constants will be the same, in the sense that 0
≤
C
n
≤
C
n
-
1
≤
⋯
≤
C
1
≤
1 such as 0
≤
D
n
≤
D
n
-
1
≤
⋯
≤
D
1
≤
1. Given the same S
I
(
n
)
R model with the same characteristics, the values of the reproduction number will be very similar too.


## 2.1.S
I
(
n
)
R Model with No Delays

The proposed model is described as a succession of infectious stages of the disease, each one with a characteristic infectivity rateβ
i. The susceptible subpopulation goes through each infected subpopulation until they reach the recovered subpopulation, immune to the disease for a certain time until they become susceptible again. The susceptible population is born at a rate α while the death rate of each infectious subpopulation is ν
i
=
b
+
ξ
i, with b being the natural death rate of the population and ξ
i the mortality rate associated with the disease at each infectious stage. The transition rate from the ith infectious subpopulation to the next one as well as the transition rate from the last infectious subpopulation to the recovered one is denoted by γ
i, while the transition from the recovered to the susceptible is μ
-
1. All the parameters are assumed to be positive so as to possess full physical meaning. The equations for the dynamics of the subpopulations are coupled as follows:
(1)
S
˙
t
=
α
-
b
+
∑
j
=
1
n
β
j
I
j
t
S
t
+
R
t
μ
,
I
˙
1
t
=
S
t
∑
j
=
1
n
β
j
I
j
t
-
ν
1
+
γ
1
I
1
t
,
I
˙
m
t
=
γ
m
-
1
I
m
-
1
t
-
ν
m
+
γ
m
I
m
t
∀
m
=
2,3
,
…
,
n
,
R
˙
t
=
γ
n
I
n
t
-
b
+
μ
-
1
R
t
,
where S and R are the susceptible and recovered subpopulations and I
i are the various infectious subpopulations corresponding to the different infection stages. For notation simplicity, the vector x is defined as
(2)
x
t
=
I
1
t
,
I
2
t
,
…
,
I
n
t
,
R
t
,
S
t
T
.Now the positivity, existence of equilibrium points, and stability are studied for this model.


### 2.1.1. Positivity and Boundedness

Proposition 1.
All the subpopulations remain nonnegative for all time for any given nonnegative initial conditions,x
i
≥
0
∀
i
∈
[
1
,
…
,
n
+
2
] and all t
≥
0.Proof.
Lett
s
>
0 be so that S
(
t
s
)
=
0 and R
(
t
s
)
,
I
i
(
t
s
)
≥
0
∀
i
∈
[
1
,
…
,
n
]. Then, from 1
(3)
S
˙
(
t
s
)
=
α
+
R
t
s
μ
≥
0
.
Now, lett
1
>
0 be so that I
1
(
t
1
)
=
0 and S
(
t
1
)
,
I
i
(
t
1
)
≥
0
∀
i
∈
[
2
,
…
,
n
]. Then, from 1
(4)
I
˙
(
t
1
)
=
S
(
t
1
)
∑
j
=
2
n
β
j
I
j
t
1
≥
0
.
For the nextn
-
1 infectious subpopulations the same operation is made: let t
j
>
0 be so that I
j
(
t
j
)
=
0 and S
(
t
j
)
,
I
i
(
t
j
)
≥
0
∀
i
≠
j. Then, from 1
(5)
I
˙
j
(
t
j
)
=
γ
j
-
1
I
j
-
1
(
t
j
)
≥
0
.
Finally, lett
r
>
0 so that R
(
t
r
)
=
0 and S
(
t
r
)
,
I
i
(
t
r
)
≥
0, ∀
i
∈
[
1
,
…
,
n
]. Then, from 1
(6)
R
˙
(
t
r
)
=
γ
n
I
n
(
t
r
)
≥
0
.
Since it has been proven that none of the subpopulations will have a negative derivative at any time instant when they vanish and the rest of the subpopulations are nonnegative, then all the subpopulations must have nonnegative values for all time.Not only does the epidemic system possess nonnegative solutions under nonnegative initial conditions, but also the total population and all the subpopulations are bounded for all time with a uniform finite upper-bound as it is discussed in the subsequent two results.Proposition 2.
The total populationΣ
i
=
1
n
+
2
x
i
(
t
)
=
N
(
t
) is finitely upper-bounded for any given nonnegative initial conditions.Proof.
If we sum up1, we obtain
(7)
N
˙
t
=
α
-
b
N
t
-
∑
j
=
1
n
‍
ξ
j
I
j
t
.
Since Proposition 1 guarantees the nonnegativity of subpopulations and all the parameters are assumed to be positive, then as ξ
j
≥
0 and I
j
(
t
)
≥
0 for all time t
≥
0, ∑
j
=
1
n
‍
ξ
j
I
j
(
t
)
≥
0 for all t
≥
0 and
(8)
N
˙
t
=
α
-
b
N
t
-
∑
j
=
1
n
‍
ξ
j
I
j
t
≤
α
-
b
N
t
.
The solution to the differential inequality 8 is given by
(9)
N
(
t
)
≤
e
-
b
t
N
(
0
)
+
α
b
(
1
-
e
-
b
t
)
≤
max
⁡
N
(
0
)
,
α
b
for all t
≥
0. Thus, the total population is finitely upper-bounded and the proposition is proved.Corollary 3.
All the subpopulations are finitely upper-bounded for all time for any given nonnegative initial conditions, obeying the constraintsx
i
(
t
)
≤
N
(
0
)
e
-
b
t
+
N
d
f
e
*
(
1
-
e
-
b
t
)
∀
i
∈
[
1,2
,
…
,
n
+
2
], where N
d
f
e
*
=
α
/
b is the total population at the disease-free equilibrium.


### 2.1.2. Equilibrium Points

The equilibrium points are obtained by zeroing the left-hand side of1, resulting in
(10)
0
=
α
-
b
+
∑
j
=
1
n
β
j
I
j
t
S
(
t
)
+
R
t
μ
0
=
S
t
∑
j
=
1
n
β
j
I
j
t
-
ν
1
+
γ
1
I
1
t
0
=
γ
m
-
1
I
m
-
1
t
-
ν
m
+
γ
m
I
m
t
∀
m
=
2,3
,
…
,
n
0
=
γ
n
I
n
t
-
b
+
μ
-
1
R
t
.
This system possesses in general two solutions. The first one is the disease-free equilibrium point (DFE) in which the infectious and recovered subpopulations vanish so that the susceptible becomes the total population N
dfe
*:
(11)
S
dfe
*
=
α
b
I
i
dfe
*
=
0
∀
i
∈
[
1,2
,
…
n
]
R
dfe
*
=
0
and the endemic equilibrium point (END), described as
(12)
S
end
*
=
∑
i
=
1
n
‍
β
i
Λ
i
-
1
I
1
,
end
*
=
(
1
+
b
μ
)
-
b
+
b
∑
j
=
1
n
β
j
Λ
j
(
b
μ
+
∑
j
=
1
n
ν
j
Λ
j
)
(
ν
1
+
γ
1
)
∑
j
=
1
n
β
j
Λ
j
=
(
b
μ
+
1
)
b
S
dfe
*
-
S
end
*
(
b
μ
+
∑
j
=
1
n
ν
j
Λ
j
)
(
ν
1
+
γ
1
)
I
m
,
end
*
=
γ
m
-
1
γ
m
+
ν
m
I
m
-
1
,
end
*
∀
m
∈
[
2,3
,
…
,
n
]
R
end
*
=
γ
n
b
+
μ
-
1
I
n
,
end
*
,
is Λ
i
=
∏
j
=
1
i
-
1
γ
j
/
∏
j
=
1
i
(
ν
j
+
γ
j
). Note that if S
end
*
>
S
dfe
*, then I
m
*
<
0
∀
m
∈
[
2,3
,
…
,
n
], so the endemic equilibrium is not feasible so that the only reachable equilibrium point is the disease-free equilibrium point. In the next section, it is seen that this situation corresponds to the reproductive number R
0 to be less than one. Once we have the expressions of both equilibrium points, we are prepared to discuss their equilibrium in the next section.


### 2.1.3. Stability Analysis: Next Generation Matrix

The local stability of the DFE point is proved in this section after introducing the reproductive numberR
0, which is the average number of new cases that produce an infected individual during the average duration of the disease. In order to find this number easily, a next generation matrix with small domain is constructed as follows. The Jacobi matrix defined around the disease-free equilibrium is composed of four different submatrices: F, Σ, A, and C:(13)
J
=
∂
x
˙
∂
x
dfe
=
β
1
S
dfe
-
ν
1
+
γ
1
β
2
S
dfe
⋯
β
n
-
1
S
dfe
β
n
S
dfe
0
0
γ
1
-
ν
2
+
γ
2
⋯
0
0
0
0
⋯
⋯
⋯
⋯
⋯
⋯
⋯
0
0
⋯
-
ν
n
-
1
+
γ
n
-
1
0
0
0
0
0
⋯
γ
n
-
1
-
ν
n
+
γ
n
0
0
-
β
1
S
dfe
-
β
2
S
dfe
⋯
-
β
n
-
1
S
dfe
-
β
n
S
dfe
-
γ
n
-
b
+
μ
-
1
0
0
0
⋯
0
0
1
/
μ
-
b
=
F
-
Σ
0
A
C
,where
(14)
F
=
β
1
S
dfe
β
2
S
dfe
⋯
β
n
-
1
S
dfe
β
n
S
dfe
0
0
⋯
0
0
⋯
⋯
⋯
⋯
⋯
0
0
⋯
0
0
0
0
⋯
0
0
would be the transmission matrix, representing the appearance of new infections, while
(15)
Σ
=
ν
1
+
γ
1
0
⋯
0
0
-
γ
1
ν
2
+
γ
2
⋯
0
0
⋯
⋯
⋯
⋯
⋯
0
0
⋯
ν
n
-
1
+
γ
n
-
1
0
0
0
⋯
-
γ
n
-
1
ν
n
+
γ
n
represent the remaining transitions of the infected subpopulation unrelated as the deaths, or the transition from recovered to susceptible. Then, the inverse of that matrix Σ
-
1 would represent the average time in which a subpopulation stays in an infected state. The next generation matrix will be then defined as K
=
-
F
Σ
-
1, and the reproductive number R
0 corresponds to the spectral radius of K. Thus, the spectral radius is given by
(16)
ρ
K
=
R
0
=
∑
i
=
1
n
β
i
S
dfe
*
∏
j
=
1
i
-
1
γ
j
∏
j
=
1
i
γ
j
+
ν
j
=
S
dfe
*
∑
i
=
1
n
‍
β
i
Λ
i
=
S
dfe
*
S
end
*
.
Thus, the stability of the disease-free equilibrium point is directly related to this spectral radius. In this way, it will be locally asymptotically stable when R
0
<
1, while R
0
>
1 will imply instability of such a DFE point [35]. Studies of epidemic models with a parallel disposal of several submodels of susceptible-infectious-recovered subpopulations have proven that, for R
0
>
1, the endemic point is locally asymptotically stable [39]. Remember that it has been proven in previous section, 12, that if R
0
<
1, the only reachable point is the disease-free equilibrium, which is also locally asymptotically stable. If R
0
=
1, both equilibrium points coincide (see 12).


## 2.1.1. Positivity and Boundedness

Proposition 1.
All the subpopulations remain nonnegative for all time for any given nonnegative initial conditions,x
i
≥
0
∀
i
∈
[
1
,
…
,
n
+
2
] and all t
≥
0.Proof.
Lett
s
>
0 be so that S
(
t
s
)
=
0 and R
(
t
s
)
,
I
i
(
t
s
)
≥
0
∀
i
∈
[
1
,
…
,
n
]. Then, from 1
(3)
S
˙
(
t
s
)
=
α
+
R
t
s
μ
≥
0
.
Now, lett
1
>
0 be so that I
1
(
t
1
)
=
0 and S
(
t
1
)
,
I
i
(
t
1
)
≥
0
∀
i
∈
[
2
,
…
,
n
]. Then, from 1
(4)
I
˙
(
t
1
)
=
S
(
t
1
)
∑
j
=
2
n
β
j
I
j
t
1
≥
0
.
For the nextn
-
1 infectious subpopulations the same operation is made: let t
j
>
0 be so that I
j
(
t
j
)
=
0 and S
(
t
j
)
,
I
i
(
t
j
)
≥
0
∀
i
≠
j. Then, from 1
(5)
I
˙
j
(
t
j
)
=
γ
j
-
1
I
j
-
1
(
t
j
)
≥
0
.
Finally, lett
r
>
0 so that R
(
t
r
)
=
0 and S
(
t
r
)
,
I
i
(
t
r
)
≥
0, ∀
i
∈
[
1
,
…
,
n
]. Then, from 1
(6)
R
˙
(
t
r
)
=
γ
n
I
n
(
t
r
)
≥
0
.
Since it has been proven that none of the subpopulations will have a negative derivative at any time instant when they vanish and the rest of the subpopulations are nonnegative, then all the subpopulations must have nonnegative values for all time.Not only does the epidemic system possess nonnegative solutions under nonnegative initial conditions, but also the total population and all the subpopulations are bounded for all time with a uniform finite upper-bound as it is discussed in the subsequent two results.Proposition 2.
The total populationΣ
i
=
1
n
+
2
x
i
(
t
)
=
N
(
t
) is finitely upper-bounded for any given nonnegative initial conditions.Proof.
If we sum up1, we obtain
(7)
N
˙
t
=
α
-
b
N
t
-
∑
j
=
1
n
‍
ξ
j
I
j
t
.
Since Proposition 1 guarantees the nonnegativity of subpopulations and all the parameters are assumed to be positive, then as ξ
j
≥
0 and I
j
(
t
)
≥
0 for all time t
≥
0, ∑
j
=
1
n
‍
ξ
j
I
j
(
t
)
≥
0 for all t
≥
0 and
(8)
N
˙
t
=
α
-
b
N
t
-
∑
j
=
1
n
‍
ξ
j
I
j
t
≤
α
-
b
N
t
.
The solution to the differential inequality 8 is given by
(9)
N
(
t
)
≤
e
-
b
t
N
(
0
)
+
α
b
(
1
-
e
-
b
t
)
≤
max
⁡
N
(
0
)
,
α
b
for all t
≥
0. Thus, the total population is finitely upper-bounded and the proposition is proved.Corollary 3.
All the subpopulations are finitely upper-bounded for all time for any given nonnegative initial conditions, obeying the constraintsx
i
(
t
)
≤
N
(
0
)
e
-
b
t
+
N
d
f
e
*
(
1
-
e
-
b
t
)
∀
i
∈
[
1,2
,
…
,
n
+
2
], where N
d
f
e
*
=
α
/
b is the total population at the disease-free equilibrium.


## 2.1.2. Equilibrium Points

The equilibrium points are obtained by zeroing the left-hand side of1, resulting in
(10)
0
=
α
-
b
+
∑
j
=
1
n
β
j
I
j
t
S
(
t
)
+
R
t
μ
0
=
S
t
∑
j
=
1
n
β
j
I
j
t
-
ν
1
+
γ
1
I
1
t
0
=
γ
m
-
1
I
m
-
1
t
-
ν
m
+
γ
m
I
m
t
∀
m
=
2,3
,
…
,
n
0
=
γ
n
I
n
t
-
b
+
μ
-
1
R
t
.
This system possesses in general two solutions. The first one is the disease-free equilibrium point (DFE) in which the infectious and recovered subpopulations vanish so that the susceptible becomes the total population N
dfe
*:
(11)
S
dfe
*
=
α
b
I
i
dfe
*
=
0
∀
i
∈
[
1,2
,
…
n
]
R
dfe
*
=
0
and the endemic equilibrium point (END), described as
(12)
S
end
*
=
∑
i
=
1
n
‍
β
i
Λ
i
-
1
I
1
,
end
*
=
(
1
+
b
μ
)
-
b
+
b
∑
j
=
1
n
β
j
Λ
j
(
b
μ
+
∑
j
=
1
n
ν
j
Λ
j
)
(
ν
1
+
γ
1
)
∑
j
=
1
n
β
j
Λ
j
=
(
b
μ
+
1
)
b
S
dfe
*
-
S
end
*
(
b
μ
+
∑
j
=
1
n
ν
j
Λ
j
)
(
ν
1
+
γ
1
)
I
m
,
end
*
=
γ
m
-
1
γ
m
+
ν
m
I
m
-
1
,
end
*
∀
m
∈
[
2,3
,
…
,
n
]
R
end
*
=
γ
n
b
+
μ
-
1
I
n
,
end
*
,
is Λ
i
=
∏
j
=
1
i
-
1
γ
j
/
∏
j
=
1
i
(
ν
j
+
γ
j
). Note that if S
end
*
>
S
dfe
*, then I
m
*
<
0
∀
m
∈
[
2,3
,
…
,
n
], so the endemic equilibrium is not feasible so that the only reachable equilibrium point is the disease-free equilibrium point. In the next section, it is seen that this situation corresponds to the reproductive number R
0 to be less than one. Once we have the expressions of both equilibrium points, we are prepared to discuss their equilibrium in the next section.


## 2.1.3. Stability Analysis: Next Generation Matrix

The local stability of the DFE point is proved in this section after introducing the reproductive numberR
0, which is the average number of new cases that produce an infected individual during the average duration of the disease. In order to find this number easily, a next generation matrix with small domain is constructed as follows. The Jacobi matrix defined around the disease-free equilibrium is composed of four different submatrices: F, Σ, A, and C:(13)
J
=
∂
x
˙
∂
x
dfe
=
β
1
S
dfe
-
ν
1
+
γ
1
β
2
S
dfe
⋯
β
n
-
1
S
dfe
β
n
S
dfe
0
0
γ
1
-
ν
2
+
γ
2
⋯
0
0
0
0
⋯
⋯
⋯
⋯
⋯
⋯
⋯
0
0
⋯
-
ν
n
-
1
+
γ
n
-
1
0
0
0
0
0
⋯
γ
n
-
1
-
ν
n
+
γ
n
0
0
-
β
1
S
dfe
-
β
2
S
dfe
⋯
-
β
n
-
1
S
dfe
-
β
n
S
dfe
-
γ
n
-
b
+
μ
-
1
0
0
0
⋯
0
0
1
/
μ
-
b
=
F
-
Σ
0
A
C
,where
(14)
F
=
β
1
S
dfe
β
2
S
dfe
⋯
β
n
-
1
S
dfe
β
n
S
dfe
0
0
⋯
0
0
⋯
⋯
⋯
⋯
⋯
0
0
⋯
0
0
0
0
⋯
0
0
would be the transmission matrix, representing the appearance of new infections, while
(15)
Σ
=
ν
1
+
γ
1
0
⋯
0
0
-
γ
1
ν
2
+
γ
2
⋯
0
0
⋯
⋯
⋯
⋯
⋯
0
0
⋯
ν
n
-
1
+
γ
n
-
1
0
0
0
⋯
-
γ
n
-
1
ν
n
+
γ
n
represent the remaining transitions of the infected subpopulation unrelated as the deaths, or the transition from recovered to susceptible. Then, the inverse of that matrix Σ
-
1 would represent the average time in which a subpopulation stays in an infected state. The next generation matrix will be then defined as K
=
-
F
Σ
-
1, and the reproductive number R
0 corresponds to the spectral radius of K. Thus, the spectral radius is given by
(16)
ρ
K
=
R
0
=
∑
i
=
1
n
β
i
S
dfe
*
∏
j
=
1
i
-
1
γ
j
∏
j
=
1
i
γ
j
+
ν
j
=
S
dfe
*
∑
i
=
1
n
‍
β
i
Λ
i
=
S
dfe
*
S
end
*
.
Thus, the stability of the disease-free equilibrium point is directly related to this spectral radius. In this way, it will be locally asymptotically stable when R
0
<
1, while R
0
>
1 will imply instability of such a DFE point [35]. Studies of epidemic models with a parallel disposal of several submodels of susceptible-infectious-recovered subpopulations have proven that, for R
0
>
1, the endemic point is locally asymptotically stable [39]. Remember that it has been proven in previous section, 12, that if R
0
<
1, the only reachable point is the disease-free equilibrium, which is also locally asymptotically stable. If R
0
=
1, both equilibrium points coincide (see 12).


## 2.2. DiscreteS
I
(
n
)
R Model with No Delays

This section considers the discrete-time counterpart of the continuous-time model1. In the discrete framework notation the subpopulations are written as x
m
(
t
)
=
x
k
m for any time t
∈
k
τ
,
(
k
+
1
)
τ. The discrete model will be based on the continuous one from 1, with a step size τ
>
0. Thus, it is defined as the change x
˙
k
→
x
k
+
1
-
x
k
/
τ, with x
k
=
(
I
k
1
,
I
k
2
,
…
,
I
k
n
,
R
k
,
S
k
,
) as in the continuous subpopulations from 2. Therefore, it is obtained for k
≥
1 that
(17)
S
k
+
1
=
τ
α
+
1
-
τ
b
-
∑
j
=
1
n
τ
β
j
I
k
j
S
k
+
R
k
τ
μ
-
1
R
k
+
1
=
γ
n
I
k
n
+
1
-
τ
b
-
τ
μ
-
1
R
k
I
k
+
1
1
=
S
k
∑
j
=
1
n
τ
β
j
I
k
j
+
1
-
τ
ν
1
-
τ
γ
1
I
k
1
I
k
+
1
m
=
τ
γ
m
-
1
I
k
m
-
1
+
1
-
τ
ν
m
-
τ
γ
m
I
k
m
∀
m
=
2,3
,
…
,
n
.Proposition 4.
The discrete system described in17 is nonnegative for any nonnegative initial conditions if the step size τ is small enough to satisfy
(18)
τ
≤
min
⁡
⁡
[
τ
1
,
τ
2
,
τ
3
,
…
,
τ
n
+
2
]
with τ
m
+
2
-
1
=
ν
m
+
γ
m
∀
m
∈
[
1
,
…
,
n
], τ
2
-
1
=
b
+
μ
-
1, and τ
1
-
1
=
b
+
n
β
M
(
N
1
+
α
/
b
), where β
M
=
max
⁡
1
≤
j
≤
n
⁡
[
β
j
] and N
1 is the total initial population (i.e., the total population at the initial time).Proof.
Given a set of nonnegative subpopulations at thekth-sample, from the second equation of 17, it can be deduced that
(19)
R
k
+
1
=
R
k
(
1
-
τ
(
b
+
μ
-
1
)
)
+
γ
n
I
k
n
≥
R
k
1
-
τ
b
+
μ
-
1
.
Then, R
k
+
1
≥
0 if τ
≤
τ
2. The same method can be applied for guaranteeing the nonnegativity of I
k
+
1
m
∀
m
∈
[
1
,
…
,
n
]. From the third and fourth equations at 17, it is deduced that
(20)
I
k
+
1
m
≥
(
1
-
τ
(
ν
m
+
γ
m
)
)
I
k
m
∀
m
∈
[
1
,
…
,
n
]
.
Then, I
k
+
1
m
≥
0
∀
m
∈
[
1
,
…
,
n
] if τ
≤
min
⁡
1
≤
m
≤
n
⁡
[
τ
m
+
2
].
In order to guarantee the nonnegativity of the susceptible subpopulation, first a maximum value is set forN
k. From 17
(21)
S
k
+
1
+
R
k
+
1
∑
j
=
1
n
I
k
+
1
j
=
N
k
+
1
=
α
τ
+
N
k
(
1
-
b
τ
)
-
∑
j
=
1
n
I
k
j
ν
j
-
b
,
N
k
+
1
≤
α
τ
+
N
k
1
-
b
τ
,
N
k
+
1
≤
1
-
b
τ
k
-
1
N
1
+
α
τ
1
-
1
-
b
τ
k
b
τ
,
then ∀
k
≥
1, and it can be said that
(22)
N
k
+
1
≤
max
⁡
⁡
1
-
b
τ
k
-
1
N
1
+
max
⁡
⁡
α
τ
1
-
1
-
b
τ
k
b
τ
=
N
1
+
α
b
.
So from the first equation at17 it is known that
(23)
S
k
+
1
≥
1
-
τ
b
+
∑
j
=
1
n
β
j
I
k
j
S
k
.
Then, given that I
k
j
≤
N
k
∀
k, j
>
0, it is defined that τ
1
=
1
/
(
b
+
β
M
(
N
1
+
α
/
b
)
) so that the susceptible subpopulation remains nonnegative if
(24)
τ
≤
τ
1
=
1
b
+
β
M
(
N
1
+
α
/
b
)
≤
1
b
+
∑
j
=
1
n
β
j
I
k
j
.
Thus, for a step size τ
≤
min
⁡
⁡
[
τ
1
,
τ
2
,
τ
3
,
…
,
τ
m
], the system remains positive.The equilibrium points are obtained by makingx
k
+
1
=
x
k
=
x
* in 17:
(25)
S
*
=
τ
α
+
1
-
τ
b
+
∑
j
=
1
n
τ
β
j
I
j
*
S
*
+
R
*
τ
μ
-
1
R
*
=
γ
n
I
n
*
+
1
-
τ
b
-
τ
μ
-
1
R
*
I
*
1
=
S
*
∑
j
=
1
n
τ
β
j
I
j
*
+
1
-
τ
ν
1
-
τ
γ
1
I
1
*
I
*
m
=
τ
γ
m
-
1
I
m
-
1
*
+
1
-
τ
ν
m
-
τ
γ
m
I
m
*
∀
m
=
2,3
,
…
,
n
.The solutions of the above system of equations are the same as in the continuous-time case and given by11 and 12 for the disease-free and endemic equilibrium points, respectively. A next generation matrix approach for discrete models is made so that the Jacobian matrix evaluated at the disease-free equilibrium is as follows:
(26)
J
=
∂
x
k
+
1
∂
x
k
x
k
+
1
-
x
dfe
=
J
x
k
-
x
dfe
.
The Jacobian takes the form(27)
J
=
I
-
τ
ν
1
+
γ
1
-
β
1
S
dfe
-
β
2
S
dfe
τ
⋯
-
β
n
-
1
S
dfe
τ
-
β
n
S
dfe
τ
0
0
-
τ
γ
1
τ
ν
2
+
γ
2
⋯
0
0
0
0
⋯
⋯
⋯
⋯
⋯
⋯
⋯
0
0
⋯
τ
ν
n
-
1
+
γ
n
-
1
0
0
0
0
0
⋯
-
τ
γ
n
-
1
τ
ν
n
+
γ
n
0
0
β
1
S
dfe
τ
β
2
S
dfe
τ
⋯
β
n
-
1
S
dfe
τ
β
n
S
dfe
-
γ
n
τ
b
+
μ
-
1
τ
0
0
0
⋯
0
0
τ
/
μ
τ
b
.The Jacobian can be separated into four submatrices as follows:
(28)
J
=
F
-
Σ
0
A
Cwith the fertility submatrix n
×
n, related to the new infections and represented as F and the transition submatrix Σ, with the same dimensions, related to the transition of the individuals between the different subpopulations resulting in(29)
Σ
=
τ
ν
1
+
γ
1
0
⋯
0
0
-
τ
γ
1
τ
ν
2
+
γ
2
⋯
0
0
⋯
⋯
⋯
⋯
⋯
0
0
⋯
τ
ν
n
-
1
+
γ
n
-
1
0
0
0
⋯
-
τ
γ
n
-
1
τ
ν
n
+
γ
n
-
I
,
F
=
β
1
S
dfe
τ
β
2
S
dfe
τ
⋯
β
n
-
1
S
dfe
τ
β
n
S
dfe
τ
0
0
⋯
0
0
⋯
⋯
⋯
⋯
⋯
0
0
⋯
0
0
0
0
⋯
0
0
.A simple calculation with the Jacobian matrix results in an equivalent decomposition of the whole linearization about the equilibrium system into two complete subsystems, one describing the infection progress while the other one expresses the disease-free subpopulation dynamics as follows:(30)
y
k
+
1
=
F
-
Σ
y
k
,
l
k
+
1
=
A
y
k
+
C
l
k
.
The term Σ
i
,
j represents the fraction of the individuals from the jth infected subpopulation that will survive and move to the ith. Because of these demographic interpretations, from Perron-Frobenius theory on the maximum modulus [40], the parameters are set so that the column sum of Σ and the maximum moduli of its eigenvalues are less than one; that is, ρ
[
Σ
]
<
1, so as to exclude the case of an immortal population. Then, it can be established for the vector of initial infectious individuals that lim
⁡
k
→
∞
⁡
-
Σ
k
y
0
=
0. Then, the next generation matrix Q can be defined as the sum of the infections ever produced by the infected individuals at t
k for all the time they remain infectious, which would be F
y
k at t
k, -
F
Σ
y
k at t
k
+
1, and F
Σ
2
y
k at t
k
+
2 ad infinitum:
(31)
Q
y
k
=
F
y
k
-
Σ
y
k
+
Σ
2
y
k
-
Σ
3
y
k
+
Σ
4
y
k
⋯
,
where Q represents the distribution of all infections accumulated during the lifespan of the infectious population:
(32)
Q
=
F
I
-
Σ
+
Σ
2
-
Σ
3
+
Σ
4
⋯
=
F
I
+
Σ
-
1
.
Then the basic reproduction number is defined as the spectral radius of the Q matrix R
0
=
ρ
Q
=
ρ
F
I
+
Σ
-
1. The spectral radius of the F
-
Σ is defined as ρ
[
F
-
Σ
]
=
r. It is proven in [40] that either r
=
R
0
=
1 or 1
<
r
<
R
0 or 1
>
r
>
R
0
>
0, so the stability of the disease-free equilibrium is determined by the value of R
0. In our model this reproduction number is obtained as
(33)
R
0
=
∑
i
=
1
n
τ
β
i
S
dfe
∏
j
=
1
i
-
1
τ
γ
j
∏
j
=
1
i
τ
γ
j
+
ν
j
=
S
dfe
S
end
.Thus, the disease-free equilibrium state will be locally stable when the reproduction number is less than 1 and unstable otherwise. From known previous calculations of the stability of similar models [35, 40], this decomposition technique for stability analysis can be compared to previous ones such as the study of the stability made in [35] for the SEIR model, which is a specific version of a continuous S
I
(
n
)
R model in which n
=
2
β
1
=
0, ν
1
=
ν
2
=
b, and γ
1
=
κ. From the definition in 33 it is obtained that R
0
=
β
2
S
dfe
κ
/
b
+
κ
b
+
γ
2, which agrees with the study of the eigenvalues of the Jacobian in a continuous-time model [26].


## 2.3.S
I
(
n
)
R Model with Delays

### 2.3.1. Construction of the Model

A new model is proposed based on the previous one in which the transition rates between subpopulations are substituted by delays, implying that each individual must stay at each stage of the infection during a certain period of time (latent period) before recovery. Such time periods are defined asτ
i
=
γ
i
-
1 for the infectious stages of the disease and τ
R
=
μ for the recovered state. The model also preserves the infectivity mechanism of the previous one, in which all the infectious subpopulations affect the infection of the first stage at different rates. For notational abbreviation in the subsequent exposition it is now defined as the function f
ω
=
S
ω
∑
j
=
1
n
β
j
I
j
ω. Thus, the value of the infected subpopulation I
1 at a certain time t is defined by the ratio of the people that became infected at time ω
<
t that has not passed to the I
2 infectious subpopulation yet. In order to calculate such a total amount, consider the probability
(34)
1
-
∫
0
t
-
ω
‍
ρ
1
ξ
d
ξ
=
∫
t
-
ω
∞
‍
ρ
1
ξ
d
ξ
with ρ
1
(
ξ
) being the probability distribution of the transition I
1
→
I
2 plus the probability to stay alive after time t
-
ω, which would be equal to e
ν
1
(
ω
-
t
). An integration ω
∈
(
-
∞
,
t
) is made in order to obtain the value of the subpopulation at the instant t resulting in
(35)
I
1
t
=
∫
-
∞
t
‍
∫
t
-
ω
∞
‍
ρ
1
ξ
d
ξ
f
ω
e
ν
1
(
ω
-
t
)
d
ω
.
Given the above integral function of the first stage of the infectious subpopulations, its derivative through time is easily obtained as
(36)
I
˙
1
t
=
f
t
-
ν
1
I
1
t
-
∫
0
∞
‍
ρ
1
ω
f
t
-
ω
e
-
ν
1
ω
d
ω
.
The probability distribution of transition is defined as ρ
1
(
ω
)
=
δ
(
ω
-
τ
1
), meaning that the probability of transition of the subpopulation at the stage 1 of the disease to the next one is set to zero before it has passed a latent time interval τ
1 and is equal to 1 after that time, so that 36 transforms to
(37)
I
˙
1
t
=
f
t
-
ν
1
I
1
t
-
e
-
ν
1
τ
1
f
t
-
τ
1
.
As the rate of death in the subpopulation I
1
(
t
) corresponds to -
ν
1
I
1
(
t
), it is inferred that the term e
-
ν
1
τ
1
f
(
t
-
τ
1
) corresponds to the rate of transition from I
1
(
t
) to I
2
(
t
). Then, the value of the people that arrives at I
2 at ω
<
t would be e
-
ν
1
τ
1
f
(
ω
-
τ
1
), and I
2 at certain time would be written as I
2
t
=
∫
-
∞
t
‍
∫
t
-
ω
∞
‍
ρ
1
ξ
d
ξ
e
ν
2
(
ω
-
t
)
e
-
ν
1
τ
1
f
(
ω
-
τ
1
)
d
ω. For any subpopulation m
∈
[
1,2
,
…
,
n
], it can be written that
(38)
I
m
t
=
e
-
ν
m
t
∫
-
∞
t
‍
∫
t
-
ω
∞
‍
ρ
m
ξ
d
ξ
C
m
-
1
=
e
-
ν
m
t
∫
-
∞
t
‍
·
f
ω
-
T
m
-
1
e
ν
m
ω
d
ω
.For the recovered subpopulation the same technique is used, so that the dynamic ofR over time can be written as
(39)
R
(
t
)
=
e
-
ν
R
t
∫
-
∞
t
‍
∫
t
-
ω
∞
‍
ρ
R
ξ
d
ξ
C
n
f
ω
-
T
n
e
ν
R
ω
d
ω
with C
i
=
∏
j
=
1
i
e
-
ν
i
τ
i, C
n
+
1
=
C
n
e
-
ν
R
τ
R, and T
i
=
∑
j
=
1
i
τ
j, T
n
+
1
=
T
n
+
τ
R. The dynamic equations of the subpopulations are defined then as
(40)
S
˙
(
t
)
=
α
-
b
S
t
-
f
t
+
C
n
+
1
f
t
-
T
n
+
1
R
˙
(
t
)
=
C
n
f
(
t
-
T
n
)
-
C
n
+
1
f
t
-
T
n
+
1
-
ν
R
R
t
I
˙
m
t
=
C
m
-
1
f
t
-
T
m
-
1
-
C
m
f
t
-
T
m
-
ν
m
I
m
t
∀
m
∈
1,2
,
…
,
n
,
where, as in the previous model, α is the constant birth rate, and the fully immune recovered subpopulation eventually becomes susceptible again after the period of time τ
R.


### 2.3.2. Positivity and Boundedness

Proposition 5.
The model equation40 is nonnegative for any initial nonnegative conditions. Thus,
(41)
x
i
ω
≥
0
;
∀
m
=
1,2
,
…
,
n
+
2
∀
ω
∈
(
-
∞
,
t
0
), which implies x
i
t
≥
0; ∀
m
=
1,2
,
…
,
n
+
2
∀
t
∈
[
t
0
,
∞
).Proof.
Sinceβ
i
≥
0, it is then deduced from 41 that f
(
ω
)
≥
0
∀
ω
∈
(
-
∞
,
t
0
). Assume that
(42)
∃
λ
>
0
∣
S
(
t
0
+
λ
)
=
0
,
I
m
(
t
)
≥
0
∀
m
=
1,2
,
…
,
n
+
1
;
∀
t
∈
[
t
0
,
t
0
+
λ
)
then, from 40 at the time t
0
+
λ,
(43)
S
˙
(
t
0
+
λ
)
=
α
+
C
n
+
1
f
(
t
0
+
λ
-
T
n
+
1
)
>
0
;
therefore, the subpopulation S will not be the first subpopulation to be negative.
From38 assume that ∃
t
1
≥
t
0 such that I
m
(
t
1
)
=
0 for the first time and the value ζ
≥
0 as small as desired such that I
(
t
1
-
ζ
)
>
0; I
t
1
+
ζ
<
0. Then it can be said that
(44)
I
m
t
1
+
ζ
=
∫
-
∞
t
1
-
ζ
‍
∫
t
1
-
ζ
-
ω
∞
‍
ρ
m
ξ
d
ξ
C
m
-
1
f
ω
-
T
m
-
1
=
∫
-
∞
t
1
-
ζ
‍
×
e
ν
m
(
ω
-
(
t
1
-
ζ
)
)
d
ω
+
∫
t
1
-
ζ
t
1
+
ζ
‍
∫
t
1
+
ζ
-
ω
∞
‍
ρ
m
ξ
d
ξ
C
m
-
1
f
ω
-
T
m
-
1
+
∫
t
1
-
ζ
t
1
+
ζ
‍
×
e
ν
m
(
ω
-
(
t
1
+
ζ
)
)
d
ω
.
Sincef
(
t
1
-
ζ
)
≥
0 and knowing that f
(
t
) is continuous and derivable for all t, from the mean value theorem, it can be deduced that
(45)
lim
⁡
ζ
→
0
I
m
t
1
+
ζ
≥
∫
t
1
-
ζ
t
1
+
ζ
‍
∫
t
1
+
ζ
-
ω
∞
‍
ρ
m
ξ
d
ξ
C
m
-
1
f
ω
-
T
m
-
1
≥
∫
t
1
-
ζ
t
1
+
ζ
‍
×
e
ν
m
(
ω
-
(
t
1
+
ζ
)
)
d
ω
≥
C
m
-
1
f
t
1
-
T
m
-
1
e
ν
m
(
ω
-
t
1
)
2
ζ
≥
0
which is in direct contradiction with the original assumption of I
(
t
1
-
ζ
)
>
0; I
t
1
+
ζ
<
0. Then as S
(
ω
) is not negative before t
1
≥
0, the term f
(
ω
) will remain nonnegative. Consider ∀
ω
∈
(
-
∞
,
t
1
+
ζ
+
). Therefore, neither the infectious nor the susceptible subpopulation will be the first one to have a negative value. The same method can be applied to demonstrate that the recovered subpopulation will not be the first to have a negative value either. Then, x
i
(
t
)
≥
0
∀
i
=
[
1
,
…
,
n
+
2
] holds for all time for any given nonnegative initial conditions.Since the lower bound of the subpopulations is established as 0, an upper-bound for all the subpopulations is set in the following proposition.Proposition 6.
S
(
t
)
≤
N
d
f
e, I
m
(
t
)
≤
N
d
f
e, R
(
t
)
≤
N
d
f
e  N
d
f
e
=
∑
i
=
1
n
+
2
x
i
d
f
e
*
=
α
/
b, for any given initial conditions ∑
i
=
1
n
+
2
x
i
(
0
)
=
N
(
0
)
≤
α
/
b.Proof.
The dynamic ofN
(
t
) is obtained from 40: N
˙
(
t
)
=
α
-
b
N
(
t
)
-
∑
i
=
1
n
I
i
(
t
)
ν
i
-
b. As ν
i
≥
b
∀
i
=
[
1,2
,
…
,
n
], and given the previous boundary of nonnegativity from Proposition 4, it can be seen that, for any t
0
∣
N
(
t
0
)
=
α
/
b, N
˙
(
t
0
)
=
-
∑
i
=
1
n
I
i
(
t
)
ν
i
-
b
≤
0. Thus, N
(
t
)
≤
α
/
b
∀
t
>
t
0. Then, for each subpopulation
(46)
x
(
t
)
=
S
t
,
I
1
t
,
I
2
t
,
…
,
I
n
(
t
)
,
R
(
t
)
T
it is established that x
i
(
t
)
=
N
(
t
)
-
∑
j
≠
i
n
+
2
x
j
(
t
)
≤
α
/
b
-
∑
j
≠
i
n
+
2
x
j
(
t
)
≤
α
/
b; ∀
t
>
t
0.


### 2.3.3. Equilibrium Points

The existence of equilibrium points in our model is now studied. The dynamics of the subpopulation described in40 is zero at the equilibrium points, so that
(47)
0
=
b
α
b
-
S
*
-
f
*
1
-
C
n
+
1
0
=
f
*
C
m
-
1
-
C
m
-
ν
m
I
m
*
0
=
f
*
C
n
-
C
n
+
1
-
ν
R
R
*being f
*
=
S
*
∑
j
=
1
n
β
I
j
*.  Two equilibrium points are obtained and result in
(48)
S
dfe
*
=
α
b
I
i
dfe
*
=
0
R
dfe
*
=
0
,
(49)
S
end
*
=
∑
j
=
1
n
β
j
η
j
-
1
,
I
i
end
*
=
Γ
η
i
∀
i
∈
1
,
…
,
n
,
R
end
*
=
Γ
η
n
+
1
with η
j
=
(
C
j
-
1
-
C
j
)
/
ν
j and Γ
=
b
(
α
/
b
-
(
∑
j
=
1
n
(
β
j
l
j
)
)
-
1
)
/
(
1
-
C
n
+
1
). Note that 1
≥
C
1
≥
C
2
≥
⋯
≥
C
i
-
1
≥
C
i
≥
⋯
≥
C
n
+
1
≥
0 and ν
j
≥
0
∀
j, so η
j
≥
0
∀
j. Given any nonnegative initial conditions, the endemic equilibrium point would not be reachable if S
end
*
=
(
∑
j
=
1
n
(
β
j
l
j
)
)
-
1
>
α
/
b, as Γ and I
i
end
* would be <0.Take into account that ifS
*
=
α
/
b, x
end
=
x
dfe, the endemic, and the disease-free equilibrium are the same, so there is only one equilibrium point in the system.


### 2.3.4. Stability of the Disease-Free Equilibrium (DFE) Point

The local stability of the DFE point is proved in this section after introducing the reproductive numberR
0, the average number of new cases that produce an infected individual during the average duration of the disease. In order to find this number easily, a next generation is constructed as follows.First, the vector of the subpopulations is reorganized as in2, so that the Jacobian matrix around the DFE point can be properly written as
(50)
J
=
∂
x
˙
∂
x
dfe
=
F
-
Σ
0
A
C
,
where F is the transmission matrix, representing the appearance of new infections F
i
j
=
C
i
-
1
β
j, while Σ represent the remaining transitions of the subpopulation which are unrelated directly to the infection, such as the deaths, or the transition from recovered subpopulation to susceptible subpopulation.Then, the next generation matrix is given byK
=
-
F
Σ
-
1. The submatrices composing the Jacobian are(51)
F
-
Σ
=
S
dfe
*
C
0
-
C
1
β
1
C
0
-
C
1
β
2
⋯
C
0
-
C
1
β
n
-
1
C
0
-
C
1
β
n
C
1
-
C
2
β
1
C
1
-
C
2
β
2
⋯
C
1
-
C
2
β
n
-
1
C
1
-
C
2
β
n
⋯
⋯
⋯
⋯
⋯
C
n
-
1
-
C
n
β
1
C
n
-
1
-
C
n
β
2
⋯
C
n
-
1
-
C
n
β
n
-
1
C
n
-
1
-
C
n
β
n
C
n
-
C
n
+
1
β
1
C
n
-
C
n
+
1
β
2
⋯
C
n
-
C
n
+
1
β
n
-
1
C
n
-
C
n
+
1
β
n
-
ν
1
0
⋯
0
0
0
ν
2
⋯
0
0
⋯
⋯
⋯
⋯
⋯
0
0
⋯
ν
n
-
1
0
0
0
⋯
0
ν
n
A
=
S
dfe
*
C
n
-
C
n
+
1
β
1
C
n
-
C
n
+
1
β
2
⋯
C
n
-
C
n
+
1
β
n
-
1
C
n
-
C
n
+
1
β
n
-
C
0
-
C
n
+
1
β
1
-
C
0
-
C
n
+
1
β
2
⋯
-
C
0
-
C
n
+
1
β
n
-
1
-
C
0
-
C
n
+
1
β
n
C
=
-
b
0
0
-
b
,so the transmission and transition matrices are
(52)
F
i
j
=
C
i
-
1
β
j
S
dfe
*
Σ
i
j
=
ν
i
δ
i
j
+
C
i
β
j
S
dfe
*
∀
i, j
=
1
,
…
,
n. The element K
i
j is the number of new cases generated in the stage of the disease i by one infected case that has just arrived to the stage of the disease j. Then, the dominant eigenvalue of the next generation matrix K would correspond to the reproduction number R
0. However, it is possible in this case to construct a small domain next generation matrix [35] K
S with a lower dimension than K, from which it will be much easier to obtain this dominant eigenvalue. Since (a) R is a matrix whose rows are linearly independent vectors spanning the rows of F and (b) C is a matrix whose columns are linearly independent vectors spanning the columns of F
, then F
=
C
R, and the small domain next generation matrix will be defined as K
S
=
-
R
Σ
-
1
C. In our case C
=
C
0
,
C
1
,
C
2
,
…
,
C
n
-
1
T and R
=
β
1
,
β
2
,
…
,
β
n, so
(53)
K
S
=
-
β
1
,
β
2
,
…
,
β
n
Σ
-
1
C
0
C
1
⋯
C
n
-
1
=
∑
i
=
1
n
(
β
i
C
i
-
1
/
ν
i
)
b
/
α
+
∑
i
=
1
n
(
β
i
C
i
/
ν
i
)
=
R
0
;
since dim
⁡
K
S
=
1, the dominant eigenvalue of K
S would be K
S. Note that K
S
=
R
0 implies that if R
0
≶
1, then (
∑
i
=
1
n
(
β
i
C
i
-
1
-
C
i
/
ν
i
)
)
-
1
=
S
*
≷
S
dfe
*, which is also the condition of reachability of the endemic equilibrium, as stated in the previous section.Proposition 7.
The DFE is globally asymptotically stable ifR
0
<
1.Proof.
A candidate for a Lyapunov functionΦ is defined as Φ
=
ϕ
1
+
ϕ
2
+
ϕ
3, having the auxiliary functions ϕ
1, ϕ
2, ϕ
3 been defined as
(54)
ϕ
1
=
∑
i
=
1
n
β
i
ν
i
I
i
(
t
)
ϕ
2
=
-
∑
i
=
1
n
β
i
ν
i
C
i
∫
t
-
T
i
t
-
T
i
-
1
‍
f
(
ω
)
d
ω
ϕ
3
=
∑
i
=
1
n
β
i
C
i
-
1
-
C
i
ν
i
∫
t
-
T
i
-
1
t
‍
f
ω
d
ω
;
now, ϕ
3 is positive definite ∀
t, since f
(
ω
)
≥
0
∀
ω, β
i
≥
0, b
i
>
0, and C
i
-
1
>
C
i
=
C
i
-
1
e
-
b
i
τ
i
∀
i
=
1,2
,
…
,
n. To verify the positivity of ϕ
1
+
ϕ
2, consider the definition of the infectious subpopulation from 38 and the probability transition function ρ
i
(
ξ
)
=
δ
(
ξ
-
τ
i
). It is then established that
(55)
I
i
(
t
)
=
C
i
-
1
∫
-
∞
t
‍
θ
(
ω
+
τ
i
-
t
)
f
ω
-
T
i
-
1
e
ν
i
(
ω
-
t
)
d
ω
.
This integral function can be reconfigured as(56)
I
i
t
=
C
i
-
1
∫
-
∞
t
-
T
i
-
1
‍
θ
ω
′
+
T
i
-
t
f
ω
′
e
ν
i
ω
′
+
T
i
-
1
-
t
d
ω
′
,
=
C
i
-
1
∫
t
-
T
i
t
-
T
i
-
1
‍
f
ω
e
ν
i
(
ω
-
(
t
-
T
i
-
1
)
)
d
ω
,
=
C
i
∫
t
-
T
i
t
-
T
i
-
1
‍
f
ω
e
ν
i
(
ω
-
(
t
-
T
i
)
)
d
ω
.
Given this definition ofI
i
(
t
), the parameter σ
i
(
t
) is defined as
(57)
σ
i
t
=
I
i
(
t
)
-
C
i
∫
t
-
T
i
t
-
T
i
-
1
‍
f
ω
d
ω
=
C
i
∫
t
-
T
i
t
-
T
i
-
1
‍
f
ω
(
e
ν
i
(
ω
-
(
t
-
T
i
)
)
-
1
)
d
ω
.
Since f
(
ω
)
≥
0 and (
e
ν
i
(
ω
-
(
t
-
T
i
)
)
-
1
)
≥
0
∀
ω
∈
[
t
-
T
i
,
t
-
T
i
-
1
], it is deduced that σ
i
(
t
)
≥
0
∀
t, ∀
i
∈
[
1
,
…
,
n
]. Then ϕ
1
(
t
)
+
ϕ
2
(
t
)
=
∑
i
=
1
n
(
β
i
/
ν
i
)
σ
i
(
t
)
≥
0
∀
t and ϕ
3
(
t
)
≥
0
∀
t. Thus the nonnegativity of the Φ function is proven. The function Φ is equal to zero for I
i
(
ω
)
=
0
∀
i
=
1
,
…
,
n, ∀
ω
∈
[
t
-
T
n
,
t
]. Then the derivative over time Φ
˙
=
ϕ
˙
1
+
ϕ
˙
2
+
ϕ
˙
3 is calculated as
(58)
Φ
˙
=
∑
i
=
1
n
β
i
ν
i
C
i
-
1
f
(
t
-
T
i
-
1
)
-
C
i
f
(
t
-
T
i
)
-
b
i
I
i
(
t
)
+
∑
i
=
1
n
β
i
ν
i
C
i
f
(
t
-
T
i
)
-
f
(
t
-
T
i
-
1
)
+
∑
i
=
1
n
β
i
(
C
i
-
1
-
C
i
)
ν
i
f
(
t
)
-
C
i
f
(
t
-
T
i
-
1
)
Φ
˙
=
∑
i
=
1
n
(
β
i
C
i
-
1
-
C
i
/
ν
i
)
f
(
t
)
-
β
i
I
i
(
t
)
=
f
(
t
)
(
S
(
t
)
-
S
*
)
/
S
*
S
(
t
). For R
0
<
1
→
S
*
>
α
/
b
≥
S
(
t
), so Φ
˙
=
0 for I
i
=
0
∀
i
=
1
,
…
,
n and Φ
˙
<
0 otherwise from 40. Thus the proposition is proved.


### 2.3.5. Stability of the Endemic Equilibrium Point (END) Model withn
=
1

For simple models, that is, models with only one or two infectious subpopulations, a study of the stability of their endemic points is also made. The model is linearized around the endemic point and the eigenvalues of the Jacobi matrix are obtained. The functionf
(
λ
) is defined as
(59)
f
(
λ
)
=
Det
[
λ
I
-
J
]
=
0
with J the 3
×
3 Jacobi matrix from 40, defined at the endemic equilibrium point from 49:
(60)
J
=
∂
x
˙
∂
x
end
.The solutions off
(
λ
)
=
(
-
b
+
λ
)
(
b
ν
1
(
S
dfe
*
/
S
end
*
-
1
)
+
b
S
dfe
*
/
S
end
*
λ
+
λ
)
=
0 are
(61)
λ
1
=
-
b
,
λ
2
=
A
-
A
2
+
B
,
λ
3
=
A
+
A
2
+
B
,
respectively, with A
=
-
b
S
dfe
*
/
2
S
end
* and B
=
-
b
ν
1
(
S
dfe
/
S
end
*
-
1
). Since b
>
0 and S
dfe
*
/
S
end
*
>
0, λ
1 and λ
2 are defined as negative. The third solution will be defined as negative λ
3
<
0 if A
>
A
2
+
B
→
A
2
>
A
2
+
B
→
B
<
0, which is satisfied for S
dfe
*
/
S
end
*
>
1 or, as is shown in Section 2.3.4, when R
0
>
1.


### 2.3.6. Stability of the Endemic Equilibrium Point (END) Model withn
=
2

Forn
=
2 (i.e., there are two infectious subpopulations) a function g
(
λ
) will be defined as in 59, this time with J a 4
×
4 Jacobi matrix from the susceptible, the recovered, and the two stages of the infectious subpopulations:
(62)
g
(
λ
)
=
(
b
+
λ
)
(
g
0
+
g
1
λ
+
g
2
λ
2
+
g
3
λ
3
)
with
(63)
g
0
=
b
ν
1
ν
2
(
S
dfe
*
S
end
*
-
1
)
,
g
1
=
b
ν
1
+
ν
2
S
dfe
*
S
end
*
-
b
X
,
g
2
=
(
ν
1
+
ν
2
+
b
S
dfe
*
S
end
*
)
-
X
,
g
3
=
1
being X
=
ν
1
ν
2
(
β
1
(
1
-
C
1
)
+
β
2
(
C
1
-
C
2
)
)
/
(
β
1
(
1
-
C
1
)
ν
2
+
β
2
(
C
1
-
C
2
)
)
ν
1. The first eigenvalue is trivially obtained as λ
=
-
b. The other eigenvalues will not be directly obtained, as it is only needed to demonstrate that their real part is negative in order to prove the local asymptotic stability of the model. The Routh-Hurwitz criterion [41] says that in order to have all the solutions of g
(
λ
i
)
=
0 on the left half plane, the coefficients of g must satisfy the following conditions: (1)
g
i
>
0
∀
i
=
0,1
,
2,3
(2)
g
1
g
2
>
g
3
g
0. Both conditions can be satisfied once that the limits of the X parameter are established. Given ν
M
=
max
⁡
[
ν
1
,
ν
2
] and ν
m
=
min
⁡
[
ν
1
,
ν
2
] then
(64)
ν
1
ν
2
(
β
1
(
1
-
C
1
)
+
β
2
(
C
1
-
C
2
)
)
ν
M
(
β
1
(
1
-
C
1
)
+
β
2
(
C
1
-
C
2
)
)
≤
X
≤
ν
1
ν
2
(
β
1
(
1
-
C
1
)
+
β
2
(
C
1
-
C
2
)
)
ν
m
(
β
1
(
1
-
C
1
)
+
β
2
(
C
1
-
C
2
)
)
,
ν
m
≤
X
≤
ν
M
,
so that, for R
0
>
1
→
S
dfe
*
/
S
end
*
>
1, it is deduced that the coefficients are positive:
(65)
0
<
b
ν
1
ν
2
(
S
dfe
*
S
end
*
-
1
)
=
g
0
,
0
<
b
ν
m
S
dfe
*
S
end
*
+
(
S
dfe
*
S
end
*
-
1
)
ν
M
≤
g
1
,
0
<
(
ν
m
+
b
S
dfe
*
S
end
*
)
≤
g
2
,
0
<
1
=
g
3
.
And the lower limit of the second condition is defined as
(66)
g
1
g
2
-
g
1
g
0
≥
min
⁡
[
g
1
]
min
⁡
[
g
2
]
-
g
3
g
0
=
b
S
dfe
*
S
end
*
ν
m
b
S
dfe
*
S
end
*
+
ν
m
+
b
S
dfe
*
S
end
*
-
1
ν
M
>
0
,
so all the real parts of the eigenvalues are negative and the equilibrium endemic point is locally asymptotically stable as long as R
0
>
1.


## 2.3.1. Construction of the Model

A new model is proposed based on the previous one in which the transition rates between subpopulations are substituted by delays, implying that each individual must stay at each stage of the infection during a certain period of time (latent period) before recovery. Such time periods are defined asτ
i
=
γ
i
-
1 for the infectious stages of the disease and τ
R
=
μ for the recovered state. The model also preserves the infectivity mechanism of the previous one, in which all the infectious subpopulations affect the infection of the first stage at different rates. For notational abbreviation in the subsequent exposition it is now defined as the function f
ω
=
S
ω
∑
j
=
1
n
β
j
I
j
ω. Thus, the value of the infected subpopulation I
1 at a certain time t is defined by the ratio of the people that became infected at time ω
<
t that has not passed to the I
2 infectious subpopulation yet. In order to calculate such a total amount, consider the probability
(34)
1
-
∫
0
t
-
ω
‍
ρ
1
ξ
d
ξ
=
∫
t
-
ω
∞
‍
ρ
1
ξ
d
ξ
with ρ
1
(
ξ
) being the probability distribution of the transition I
1
→
I
2 plus the probability to stay alive after time t
-
ω, which would be equal to e
ν
1
(
ω
-
t
). An integration ω
∈
(
-
∞
,
t
) is made in order to obtain the value of the subpopulation at the instant t resulting in
(35)
I
1
t
=
∫
-
∞
t
‍
∫
t
-
ω
∞
‍
ρ
1
ξ
d
ξ
f
ω
e
ν
1
(
ω
-
t
)
d
ω
.
Given the above integral function of the first stage of the infectious subpopulations, its derivative through time is easily obtained as
(36)
I
˙
1
t
=
f
t
-
ν
1
I
1
t
-
∫
0
∞
‍
ρ
1
ω
f
t
-
ω
e
-
ν
1
ω
d
ω
.
The probability distribution of transition is defined as ρ
1
(
ω
)
=
δ
(
ω
-
τ
1
), meaning that the probability of transition of the subpopulation at the stage 1 of the disease to the next one is set to zero before it has passed a latent time interval τ
1 and is equal to 1 after that time, so that 36 transforms to
(37)
I
˙
1
t
=
f
t
-
ν
1
I
1
t
-
e
-
ν
1
τ
1
f
t
-
τ
1
.
As the rate of death in the subpopulation I
1
(
t
) corresponds to -
ν
1
I
1
(
t
), it is inferred that the term e
-
ν
1
τ
1
f
(
t
-
τ
1
) corresponds to the rate of transition from I
1
(
t
) to I
2
(
t
). Then, the value of the people that arrives at I
2 at ω
<
t would be e
-
ν
1
τ
1
f
(
ω
-
τ
1
), and I
2 at certain time would be written as I
2
t
=
∫
-
∞
t
‍
∫
t
-
ω
∞
‍
ρ
1
ξ
d
ξ
e
ν
2
(
ω
-
t
)
e
-
ν
1
τ
1
f
(
ω
-
τ
1
)
d
ω. For any subpopulation m
∈
[
1,2
,
…
,
n
], it can be written that
(38)
I
m
t
=
e
-
ν
m
t
∫
-
∞
t
‍
∫
t
-
ω
∞
‍
ρ
m
ξ
d
ξ
C
m
-
1
=
e
-
ν
m
t
∫
-
∞
t
‍
·
f
ω
-
T
m
-
1
e
ν
m
ω
d
ω
.For the recovered subpopulation the same technique is used, so that the dynamic ofR over time can be written as
(39)
R
(
t
)
=
e
-
ν
R
t
∫
-
∞
t
‍
∫
t
-
ω
∞
‍
ρ
R
ξ
d
ξ
C
n
f
ω
-
T
n
e
ν
R
ω
d
ω
with C
i
=
∏
j
=
1
i
e
-
ν
i
τ
i, C
n
+
1
=
C
n
e
-
ν
R
τ
R, and T
i
=
∑
j
=
1
i
τ
j, T
n
+
1
=
T
n
+
τ
R. The dynamic equations of the subpopulations are defined then as
(40)
S
˙
(
t
)
=
α
-
b
S
t
-
f
t
+
C
n
+
1
f
t
-
T
n
+
1
R
˙
(
t
)
=
C
n
f
(
t
-
T
n
)
-
C
n
+
1
f
t
-
T
n
+
1
-
ν
R
R
t
I
˙
m
t
=
C
m
-
1
f
t
-
T
m
-
1
-
C
m
f
t
-
T
m
-
ν
m
I
m
t
∀
m
∈
1,2
,
…
,
n
,
where, as in the previous model, α is the constant birth rate, and the fully immune recovered subpopulation eventually becomes susceptible again after the period of time τ
R.


## 2.3.2. Positivity and Boundedness

Proposition 5.
The model equation40 is nonnegative for any initial nonnegative conditions. Thus,
(41)
x
i
ω
≥
0
;
∀
m
=
1,2
,
…
,
n
+
2
∀
ω
∈
(
-
∞
,
t
0
), which implies x
i
t
≥
0; ∀
m
=
1,2
,
…
,
n
+
2
∀
t
∈
[
t
0
,
∞
).Proof.
Sinceβ
i
≥
0, it is then deduced from 41 that f
(
ω
)
≥
0
∀
ω
∈
(
-
∞
,
t
0
). Assume that
(42)
∃
λ
>
0
∣
S
(
t
0
+
λ
)
=
0
,
I
m
(
t
)
≥
0
∀
m
=
1,2
,
…
,
n
+
1
;
∀
t
∈
[
t
0
,
t
0
+
λ
)
then, from 40 at the time t
0
+
λ,
(43)
S
˙
(
t
0
+
λ
)
=
α
+
C
n
+
1
f
(
t
0
+
λ
-
T
n
+
1
)
>
0
;
therefore, the subpopulation S will not be the first subpopulation to be negative.
From38 assume that ∃
t
1
≥
t
0 such that I
m
(
t
1
)
=
0 for the first time and the value ζ
≥
0 as small as desired such that I
(
t
1
-
ζ
)
>
0; I
t
1
+
ζ
<
0. Then it can be said that
(44)
I
m
t
1
+
ζ
=
∫
-
∞
t
1
-
ζ
‍
∫
t
1
-
ζ
-
ω
∞
‍
ρ
m
ξ
d
ξ
C
m
-
1
f
ω
-
T
m
-
1
=
∫
-
∞
t
1
-
ζ
‍
×
e
ν
m
(
ω
-
(
t
1
-
ζ
)
)
d
ω
+
∫
t
1
-
ζ
t
1
+
ζ
‍
∫
t
1
+
ζ
-
ω
∞
‍
ρ
m
ξ
d
ξ
C
m
-
1
f
ω
-
T
m
-
1
+
∫
t
1
-
ζ
t
1
+
ζ
‍
×
e
ν
m
(
ω
-
(
t
1
+
ζ
)
)
d
ω
.
Sincef
(
t
1
-
ζ
)
≥
0 and knowing that f
(
t
) is continuous and derivable for all t, from the mean value theorem, it can be deduced that
(45)
lim
⁡
ζ
→
0
I
m
t
1
+
ζ
≥
∫
t
1
-
ζ
t
1
+
ζ
‍
∫
t
1
+
ζ
-
ω
∞
‍
ρ
m
ξ
d
ξ
C
m
-
1
f
ω
-
T
m
-
1
≥
∫
t
1
-
ζ
t
1
+
ζ
‍
×
e
ν
m
(
ω
-
(
t
1
+
ζ
)
)
d
ω
≥
C
m
-
1
f
t
1
-
T
m
-
1
e
ν
m
(
ω
-
t
1
)
2
ζ
≥
0
which is in direct contradiction with the original assumption of I
(
t
1
-
ζ
)
>
0; I
t
1
+
ζ
<
0. Then as S
(
ω
) is not negative before t
1
≥
0, the term f
(
ω
) will remain nonnegative. Consider ∀
ω
∈
(
-
∞
,
t
1
+
ζ
+
). Therefore, neither the infectious nor the susceptible subpopulation will be the first one to have a negative value. The same method can be applied to demonstrate that the recovered subpopulation will not be the first to have a negative value either. Then, x
i
(
t
)
≥
0
∀
i
=
[
1
,
…
,
n
+
2
] holds for all time for any given nonnegative initial conditions.Since the lower bound of the subpopulations is established as 0, an upper-bound for all the subpopulations is set in the following proposition.Proposition 6.
S
(
t
)
≤
N
d
f
e, I
m
(
t
)
≤
N
d
f
e, R
(
t
)
≤
N
d
f
e  N
d
f
e
=
∑
i
=
1
n
+
2
x
i
d
f
e
*
=
α
/
b, for any given initial conditions ∑
i
=
1
n
+
2
x
i
(
0
)
=
N
(
0
)
≤
α
/
b.Proof.
The dynamic ofN
(
t
) is obtained from 40: N
˙
(
t
)
=
α
-
b
N
(
t
)
-
∑
i
=
1
n
I
i
(
t
)
ν
i
-
b. As ν
i
≥
b
∀
i
=
[
1,2
,
…
,
n
], and given the previous boundary of nonnegativity from Proposition 4, it can be seen that, for any t
0
∣
N
(
t
0
)
=
α
/
b, N
˙
(
t
0
)
=
-
∑
i
=
1
n
I
i
(
t
)
ν
i
-
b
≤
0. Thus, N
(
t
)
≤
α
/
b
∀
t
>
t
0. Then, for each subpopulation
(46)
x
(
t
)
=
S
t
,
I
1
t
,
I
2
t
,
…
,
I
n
(
t
)
,
R
(
t
)
T
it is established that x
i
(
t
)
=
N
(
t
)
-
∑
j
≠
i
n
+
2
x
j
(
t
)
≤
α
/
b
-
∑
j
≠
i
n
+
2
x
j
(
t
)
≤
α
/
b; ∀
t
>
t
0.


## 2.3.3. Equilibrium Points

The existence of equilibrium points in our model is now studied. The dynamics of the subpopulation described in40 is zero at the equilibrium points, so that
(47)
0
=
b
α
b
-
S
*
-
f
*
1
-
C
n
+
1
0
=
f
*
C
m
-
1
-
C
m
-
ν
m
I
m
*
0
=
f
*
C
n
-
C
n
+
1
-
ν
R
R
*being f
*
=
S
*
∑
j
=
1
n
β
I
j
*.  Two equilibrium points are obtained and result in
(48)
S
dfe
*
=
α
b
I
i
dfe
*
=
0
R
dfe
*
=
0
,
(49)
S
end
*
=
∑
j
=
1
n
β
j
η
j
-
1
,
I
i
end
*
=
Γ
η
i
∀
i
∈
1
,
…
,
n
,
R
end
*
=
Γ
η
n
+
1
with η
j
=
(
C
j
-
1
-
C
j
)
/
ν
j and Γ
=
b
(
α
/
b
-
(
∑
j
=
1
n
(
β
j
l
j
)
)
-
1
)
/
(
1
-
C
n
+
1
). Note that 1
≥
C
1
≥
C
2
≥
⋯
≥
C
i
-
1
≥
C
i
≥
⋯
≥
C
n
+
1
≥
0 and ν
j
≥
0
∀
j, so η
j
≥
0
∀
j. Given any nonnegative initial conditions, the endemic equilibrium point would not be reachable if S
end
*
=
(
∑
j
=
1
n
(
β
j
l
j
)
)
-
1
>
α
/
b, as Γ and I
i
end
* would be <0.Take into account that ifS
*
=
α
/
b, x
end
=
x
dfe, the endemic, and the disease-free equilibrium are the same, so there is only one equilibrium point in the system.


## 2.3.4. Stability of the Disease-Free Equilibrium (DFE) Point

The local stability of the DFE point is proved in this section after introducing the reproductive numberR
0, the average number of new cases that produce an infected individual during the average duration of the disease. In order to find this number easily, a next generation is constructed as follows.First, the vector of the subpopulations is reorganized as in2, so that the Jacobian matrix around the DFE point can be properly written as
(50)
J
=
∂
x
˙
∂
x
dfe
=
F
-
Σ
0
A
C
,
where F is the transmission matrix, representing the appearance of new infections F
i
j
=
C
i
-
1
β
j, while Σ represent the remaining transitions of the subpopulation which are unrelated directly to the infection, such as the deaths, or the transition from recovered subpopulation to susceptible subpopulation.Then, the next generation matrix is given byK
=
-
F
Σ
-
1. The submatrices composing the Jacobian are(51)
F
-
Σ
=
S
dfe
*
C
0
-
C
1
β
1
C
0
-
C
1
β
2
⋯
C
0
-
C
1
β
n
-
1
C
0
-
C
1
β
n
C
1
-
C
2
β
1
C
1
-
C
2
β
2
⋯
C
1
-
C
2
β
n
-
1
C
1
-
C
2
β
n
⋯
⋯
⋯
⋯
⋯
C
n
-
1
-
C
n
β
1
C
n
-
1
-
C
n
β
2
⋯
C
n
-
1
-
C
n
β
n
-
1
C
n
-
1
-
C
n
β
n
C
n
-
C
n
+
1
β
1
C
n
-
C
n
+
1
β
2
⋯
C
n
-
C
n
+
1
β
n
-
1
C
n
-
C
n
+
1
β
n
-
ν
1
0
⋯
0
0
0
ν
2
⋯
0
0
⋯
⋯
⋯
⋯
⋯
0
0
⋯
ν
n
-
1
0
0
0
⋯
0
ν
n
A
=
S
dfe
*
C
n
-
C
n
+
1
β
1
C
n
-
C
n
+
1
β
2
⋯
C
n
-
C
n
+
1
β
n
-
1
C
n
-
C
n
+
1
β
n
-
C
0
-
C
n
+
1
β
1
-
C
0
-
C
n
+
1
β
2
⋯
-
C
0
-
C
n
+
1
β
n
-
1
-
C
0
-
C
n
+
1
β
n
C
=
-
b
0
0
-
b
,so the transmission and transition matrices are
(52)
F
i
j
=
C
i
-
1
β
j
S
dfe
*
Σ
i
j
=
ν
i
δ
i
j
+
C
i
β
j
S
dfe
*
∀
i, j
=
1
,
…
,
n. The element K
i
j is the number of new cases generated in the stage of the disease i by one infected case that has just arrived to the stage of the disease j. Then, the dominant eigenvalue of the next generation matrix K would correspond to the reproduction number R
0. However, it is possible in this case to construct a small domain next generation matrix [35] K
S with a lower dimension than K, from which it will be much easier to obtain this dominant eigenvalue. Since (a) R is a matrix whose rows are linearly independent vectors spanning the rows of F and (b) C is a matrix whose columns are linearly independent vectors spanning the columns of F
, then F
=
C
R, and the small domain next generation matrix will be defined as K
S
=
-
R
Σ
-
1
C. In our case C
=
C
0
,
C
1
,
C
2
,
…
,
C
n
-
1
T and R
=
β
1
,
β
2
,
…
,
β
n, so
(53)
K
S
=
-
β
1
,
β
2
,
…
,
β
n
Σ
-
1
C
0
C
1
⋯
C
n
-
1
=
∑
i
=
1
n
(
β
i
C
i
-
1
/
ν
i
)
b
/
α
+
∑
i
=
1
n
(
β
i
C
i
/
ν
i
)
=
R
0
;
since dim
⁡
K
S
=
1, the dominant eigenvalue of K
S would be K
S. Note that K
S
=
R
0 implies that if R
0
≶
1, then (
∑
i
=
1
n
(
β
i
C
i
-
1
-
C
i
/
ν
i
)
)
-
1
=
S
*
≷
S
dfe
*, which is also the condition of reachability of the endemic equilibrium, as stated in the previous section.Proposition 7.
The DFE is globally asymptotically stable ifR
0
<
1.Proof.
A candidate for a Lyapunov functionΦ is defined as Φ
=
ϕ
1
+
ϕ
2
+
ϕ
3, having the auxiliary functions ϕ
1, ϕ
2, ϕ
3 been defined as
(54)
ϕ
1
=
∑
i
=
1
n
β
i
ν
i
I
i
(
t
)
ϕ
2
=
-
∑
i
=
1
n
β
i
ν
i
C
i
∫
t
-
T
i
t
-
T
i
-
1
‍
f
(
ω
)
d
ω
ϕ
3
=
∑
i
=
1
n
β
i
C
i
-
1
-
C
i
ν
i
∫
t
-
T
i
-
1
t
‍
f
ω
d
ω
;
now, ϕ
3 is positive definite ∀
t, since f
(
ω
)
≥
0
∀
ω, β
i
≥
0, b
i
>
0, and C
i
-
1
>
C
i
=
C
i
-
1
e
-
b
i
τ
i
∀
i
=
1,2
,
…
,
n. To verify the positivity of ϕ
1
+
ϕ
2, consider the definition of the infectious subpopulation from 38 and the probability transition function ρ
i
(
ξ
)
=
δ
(
ξ
-
τ
i
). It is then established that
(55)
I
i
(
t
)
=
C
i
-
1
∫
-
∞
t
‍
θ
(
ω
+
τ
i
-
t
)
f
ω
-
T
i
-
1
e
ν
i
(
ω
-
t
)
d
ω
.
This integral function can be reconfigured as(56)
I
i
t
=
C
i
-
1
∫
-
∞
t
-
T
i
-
1
‍
θ
ω
′
+
T
i
-
t
f
ω
′
e
ν
i
ω
′
+
T
i
-
1
-
t
d
ω
′
,
=
C
i
-
1
∫
t
-
T
i
t
-
T
i
-
1
‍
f
ω
e
ν
i
(
ω
-
(
t
-
T
i
-
1
)
)
d
ω
,
=
C
i
∫
t
-
T
i
t
-
T
i
-
1
‍
f
ω
e
ν
i
(
ω
-
(
t
-
T
i
)
)
d
ω
.
Given this definition ofI
i
(
t
), the parameter σ
i
(
t
) is defined as
(57)
σ
i
t
=
I
i
(
t
)
-
C
i
∫
t
-
T
i
t
-
T
i
-
1
‍
f
ω
d
ω
=
C
i
∫
t
-
T
i
t
-
T
i
-
1
‍
f
ω
(
e
ν
i
(
ω
-
(
t
-
T
i
)
)
-
1
)
d
ω
.
Since f
(
ω
)
≥
0 and (
e
ν
i
(
ω
-
(
t
-
T
i
)
)
-
1
)
≥
0
∀
ω
∈
[
t
-
T
i
,
t
-
T
i
-
1
], it is deduced that σ
i
(
t
)
≥
0
∀
t, ∀
i
∈
[
1
,
…
,
n
]. Then ϕ
1
(
t
)
+
ϕ
2
(
t
)
=
∑
i
=
1
n
(
β
i
/
ν
i
)
σ
i
(
t
)
≥
0
∀
t and ϕ
3
(
t
)
≥
0
∀
t. Thus the nonnegativity of the Φ function is proven. The function Φ is equal to zero for I
i
(
ω
)
=
0
∀
i
=
1
,
…
,
n, ∀
ω
∈
[
t
-
T
n
,
t
]. Then the derivative over time Φ
˙
=
ϕ
˙
1
+
ϕ
˙
2
+
ϕ
˙
3 is calculated as
(58)
Φ
˙
=
∑
i
=
1
n
β
i
ν
i
C
i
-
1
f
(
t
-
T
i
-
1
)
-
C
i
f
(
t
-
T
i
)
-
b
i
I
i
(
t
)
+
∑
i
=
1
n
β
i
ν
i
C
i
f
(
t
-
T
i
)
-
f
(
t
-
T
i
-
1
)
+
∑
i
=
1
n
β
i
(
C
i
-
1
-
C
i
)
ν
i
f
(
t
)
-
C
i
f
(
t
-
T
i
-
1
)
Φ
˙
=
∑
i
=
1
n
(
β
i
C
i
-
1
-
C
i
/
ν
i
)
f
(
t
)
-
β
i
I
i
(
t
)
=
f
(
t
)
(
S
(
t
)
-
S
*
)
/
S
*
S
(
t
). For R
0
<
1
→
S
*
>
α
/
b
≥
S
(
t
), so Φ
˙
=
0 for I
i
=
0
∀
i
=
1
,
…
,
n and Φ
˙
<
0 otherwise from 40. Thus the proposition is proved.


## 2.3.5. Stability of the Endemic Equilibrium Point (END) Model withn
=
1

For simple models, that is, models with only one or two infectious subpopulations, a study of the stability of their endemic points is also made. The model is linearized around the endemic point and the eigenvalues of the Jacobi matrix are obtained. The functionf
(
λ
) is defined as
(59)
f
(
λ
)
=
Det
[
λ
I
-
J
]
=
0
with J the 3
×
3 Jacobi matrix from 40, defined at the endemic equilibrium point from 49:
(60)
J
=
∂
x
˙
∂
x
end
.The solutions off
(
λ
)
=
(
-
b
+
λ
)
(
b
ν
1
(
S
dfe
*
/
S
end
*
-
1
)
+
b
S
dfe
*
/
S
end
*
λ
+
λ
)
=
0 are
(61)
λ
1
=
-
b
,
λ
2
=
A
-
A
2
+
B
,
λ
3
=
A
+
A
2
+
B
,
respectively, with A
=
-
b
S
dfe
*
/
2
S
end
* and B
=
-
b
ν
1
(
S
dfe
/
S
end
*
-
1
). Since b
>
0 and S
dfe
*
/
S
end
*
>
0, λ
1 and λ
2 are defined as negative. The third solution will be defined as negative λ
3
<
0 if A
>
A
2
+
B
→
A
2
>
A
2
+
B
→
B
<
0, which is satisfied for S
dfe
*
/
S
end
*
>
1 or, as is shown in Section 2.3.4, when R
0
>
1.


## 2.3.6. Stability of the Endemic Equilibrium Point (END) Model withn
=
2

Forn
=
2 (i.e., there are two infectious subpopulations) a function g
(
λ
) will be defined as in 59, this time with J a 4
×
4 Jacobi matrix from the susceptible, the recovered, and the two stages of the infectious subpopulations:
(62)
g
(
λ
)
=
(
b
+
λ
)
(
g
0
+
g
1
λ
+
g
2
λ
2
+
g
3
λ
3
)
with
(63)
g
0
=
b
ν
1
ν
2
(
S
dfe
*
S
end
*
-
1
)
,
g
1
=
b
ν
1
+
ν
2
S
dfe
*
S
end
*
-
b
X
,
g
2
=
(
ν
1
+
ν
2
+
b
S
dfe
*
S
end
*
)
-
X
,
g
3
=
1
being X
=
ν
1
ν
2
(
β
1
(
1
-
C
1
)
+
β
2
(
C
1
-
C
2
)
)
/
(
β
1
(
1
-
C
1
)
ν
2
+
β
2
(
C
1
-
C
2
)
)
ν
1. The first eigenvalue is trivially obtained as λ
=
-
b. The other eigenvalues will not be directly obtained, as it is only needed to demonstrate that their real part is negative in order to prove the local asymptotic stability of the model. The Routh-Hurwitz criterion [41] says that in order to have all the solutions of g
(
λ
i
)
=
0 on the left half plane, the coefficients of g must satisfy the following conditions: (1)
g
i
>
0
∀
i
=
0,1
,
2,3
(2)
g
1
g
2
>
g
3
g
0. Both conditions can be satisfied once that the limits of the X parameter are established. Given ν
M
=
max
⁡
[
ν
1
,
ν
2
] and ν
m
=
min
⁡
[
ν
1
,
ν
2
] then
(64)
ν
1
ν
2
(
β
1
(
1
-
C
1
)
+
β
2
(
C
1
-
C
2
)
)
ν
M
(
β
1
(
1
-
C
1
)
+
β
2
(
C
1
-
C
2
)
)
≤
X
≤
ν
1
ν
2
(
β
1
(
1
-
C
1
)
+
β
2
(
C
1
-
C
2
)
)
ν
m
(
β
1
(
1
-
C
1
)
+
β
2
(
C
1
-
C
2
)
)
,
ν
m
≤
X
≤
ν
M
,
so that, for R
0
>
1
→
S
dfe
*
/
S
end
*
>
1, it is deduced that the coefficients are positive:
(65)
0
<
b
ν
1
ν
2
(
S
dfe
*
S
end
*
-
1
)
=
g
0
,
0
<
b
ν
m
S
dfe
*
S
end
*
+
(
S
dfe
*
S
end
*
-
1
)
ν
M
≤
g
1
,
0
<
(
ν
m
+
b
S
dfe
*
S
end
*
)
≤
g
2
,
0
<
1
=
g
3
.
And the lower limit of the second condition is defined as
(66)
g
1
g
2
-
g
1
g
0
≥
min
⁡
[
g
1
]
min
⁡
[
g
2
]
-
g
3
g
0
=
b
S
dfe
*
S
end
*
ν
m
b
S
dfe
*
S
end
*
+
ν
m
+
b
S
dfe
*
S
end
*
-
1
ν
M
>
0
,
so all the real parts of the eigenvalues are negative and the equilibrium endemic point is locally asymptotically stable as long as R
0
>
1.


## 2.4. DiscreteS
I
(
n
)
R Model with Delay

The dynamic equation40 is approximated to x
˙
k
→
(
x
k
+
1
-
x
k
)
/
τ, with x
k
=
(
I
k
1
,
I
k
2
,
…
,
I
k
m
,
R
k
,
S
k
)
T being the vector of the subpopulations to obtain a discrete-time counterpart of the continuous-time model. The notation for any subpopulation at the time interval t
∈
k
τ
,
(
k
+
1
)
τ is established then as x
m
(
t
)
=
x
k
m. Thus, the analogous discrete equations to the model from 17 are obtained:
(67)
S
k
+
1
=
τ
α
-
1
-
τ
b
+
∑
j
=
1
n
τ
β
j
I
k
j
S
k
+
D
μ
S
k
-
σ
μ
∑
j
=
1
n
τ
β
j
I
k
-
σ
μ
j
R
k
+
1
=
D
n
S
k
-
σ
n
∑
j
=
1
n
τ
β
j
I
k
-
σ
n
j
-
D
μ
S
k
-
σ
μ
∑
j
=
1
n
τ
β
j
I
k
-
σ
μ
j
+
1
-
τ
b
R
k
I
k
+
1
m
=
D
m
-
1
S
k
-
σ
m
-
1
∑
j
=
1
n
τ
β
j
I
k
-
σ
m
-
1
j
-
D
m
S
k
-
σ
m
∑
j
=
1
n
τ
β
j
I
k
-
σ
m
j
+
1
-
τ
ν
m
I
k
m
∀
m
∈
[
2
,
…
,
n
]
I
k
+
1
1
=
S
k
∑
j
=
1
n
τ
β
j
I
k
j
+
1
-
τ
ν
1
I
k
1
-
D
1
S
k
-
σ
1
∑
j
=
1
n
τ
β
j
I
k
-
σ
1
j
and σ
i
=
∑
j
=
1
i
N
i, σ
μ
=
σ
n
+
τ
μ, with D
i
=
∏
j
=
1
i
-
1
e
-
ν
j
N
j
τ and D
μ
=
D
n
e
-
b
N
μ
τ being N
i and N
μ the rounded half down value for τ
i
/
τ,  τ
μ
/
τ, respectively. Now, at the equilibrium point, the delays are not relevant, while the dynamic equation at the equilibrium can be rewritten as
(68)
S
*
=
τ
α
-
1
-
τ
b
S
*
+
D
μ
-
1
S
*
∑
j
=
1
n
τ
β
j
I
j
*
R
*
=
D
n
-
D
μ
S
*
∑
j
=
1
n
τ
β
j
I
j
*
+
1
-
τ
b
R
*
I
m
*
=
D
m
-
1
-
D
m
S
*
∑
j
=
1
n
τ
β
j
I
j
*
+
1
-
τ
ν
m
I
m
*
I
1
*
=
1
-
D
1
S
*
∑
j
=
1
n
τ
β
j
I
j
*
+
1
-
τ
ν
1
I
1
.The reproductive number will be obtained again with a next generation matrix method as in the previous section, so the value would be(69)
K
S
=
R
0
=
∑
i
=
1
n
(
β
i
D
i
-
1
/
ν
i
τ
)
b
/
α
τ
+
∑
i
=
1
n
β
i
D
i
/
ν
i
τ
which is similar to the reproductive number from the continuous model, with the only difference of the D
i constants instead of the previous C
i. However, given their similar origins and values, the properties exhibited in both sets of constants will be the same, in the sense that 0
≤
C
n
≤
C
n
-
1
≤
⋯
≤
C
1
≤
1 such as 0
≤
D
n
≤
D
n
-
1
≤
⋯
≤
D
1
≤
1. Given the same S
I
(
n
)
R model with the same characteristics, the values of the reproduction number will be very similar too.


## 3. Simulation

A set of Matlab simulations are made based on the models described in the previous section, in order to contrast the predictions on their respective endemic and disease-free equilibrium states. A large enough number of infectious subpopulations are chosen,n
=
3, so the stability of the models will be tested regarding their reproductive numbers. A common initial condition is set to all the susceptible subpopulation in the disease-free equilibrium plus a 0.1 of that value of infected subpopulation at the first stage of the disease. For exposition and calculations convenience, the mortality rate b and the birth rate α will be both taken as equal to the inverse of the average lifespan of a human b
=
α
=
(
1
/
70
)
yea
r
-
1. The mortality rate of the three stages of the infection will be ν
1
=
2
b, ν
2
=
3
b, ν
3
=
3
b
/
2, and the average time which an individual spends in each stage will be 19, 29, and 61 days, respectively. The infectious ratios β
i will be altered in order to obtain reproductive numbers below and above 1, but the ratios between them will be constant, as 4
β
1
=
7
β
2
=
4
β
3. When simulating the discrete models, an appropriate time step size is chosen in order to guarantee the nonnegativity of model with no delays. As for the discrete model with delays, given that nonnegativity of the subpopulations in the continuous model has been proved in Proposition 5, an algorithm is established during the simulation so that the discrete dynamics approximates to the continuous one in any critical positivity points. A loop in which the following point is evaluated is introduced, acting over the time step size. While any of the subpopulations of the next point present a negativity x
k
+
1
,
i
<
0 for any i
∈
[
1
,
…
,
n
+
2
], then the step size is reduced τ
k
j
=
λ
τ
j
k
-
1, with j being the jth loop iteration, τ
k
0
=
τ
k, and λ
∈
(
0,1
). Another loop is set after this resetting the time step size τ
k
j
=
λ
-
1
τ
k
j
-
1 while the next point is nonnegative or the time step size is equal to or below the original value.


### 3.1.S
I
(
3
)
R Model with No Delays

Given the parameters previously commented, the transition ratios between the different subpopulations are obtained as the inverse of their average times during each stage. Thus,γ
1
=
365
/
19
yea
r
-
1, γ
2
=
365
/
29
yea
r
-
1, γ
3
=
365
/
61
yea
r
-
1, and the final transition from recovered to susceptible again will be set as γ
4
=
365
/
670
yea
r
-
1. Given a value of the transition rates β
¯
=
β
0
(
7,4
,
7
) the reproduction number will be set to 0.5 and 1.5, respectively. For the continuous model, two graphics representing the evolution of each subpopulation for both situations are presented in Figures 1 and 2 while, for the discrete model, a step time τ is set to 0.1 years and the simulations are run with the same parameters. The results of these simulations are presented in Figures 3 and 4.Figure 1
Dynamic of the subpopulations forR
0
=
1.5. The dotted lines represent the predicted endemic values.Figure 2
Dynamic of the subpopulations forR
0
=
0.5. The dotted line represents the predicted disease-free value of the susceptible subpopulation.Figure 3
Dynamic of the subpopulations forR
0
=
1.5. The dotted lines represent the predicted endemic values.Figure 4
Dynamic of the subpopulations forR
0
=
0.5.


### 3.2.S
I
(
3
)
R Model with Delays

The common parameters are set as in the previous cases, but this time the delayed times will be equal to their respective average timesτ
1
=
19
/
365 years, τ
2
=
29
/
365 years, and τ
3
=
61
/
365 years. The delay of the transition between the recovered and the susceptible subpopulations will be changed from 610/365 to 80/365 years in order to let the simulation achieve the simulation at a reasonable time. The values of the transmission rates will maintain their proportionality, but the range of the possible reproductive number is not so wide as in the previous case. Their values are changed to now be R
0
=
1.01 and R
0
=
0.92, respectively. The evolution of the subpopulations is presented in Figures 5 and 6.Figure 5
Dynamics of theS
I
(
3
)
R model of the subpopulations for R
0
=
1.01. The dotted lines represent the predicted endemic values.Figure 6
Dynamics model of the subpopulations of theS
I
(
3
)
R for R
0
=
0.92. Observe that the subpopulations rapidly tend to the disease-free equilibrium.In the discrete model, the same time step as before is set toτ
=
0.1 years. The evolution of the subpopulations for each reproductive number can be seen in Figures 7 and 8, respectively.Figure 7
Dynamics of the different subpopulations of the discrete delayedS
I
(
3
)
R model for R
0
=
1.01. The dotted lines represent the predicted endemic values.Figure 8
Dynamics of the subpopulations of theS
I
(
3
)
R discrete delayed model for R
0
=
0.92.Observe that the subpopulations rapidly tend to the disease-free equilibrium in Figure8. While it is seen that the discrete-time and continuous-time models reach the same final states when the conditions are equal, the irregularity of the dynamics in the discrete models over the continuous has also been noticed. This fact reveals that the discretization procedure along with the time step must be selected carefully prior to simulating the discrete-time model.


## 3.1.S
I
(
3
)
R Model with No Delays

Given the parameters previously commented, the transition ratios between the different subpopulations are obtained as the inverse of their average times during each stage. Thus,γ
1
=
365
/
19
yea
r
-
1, γ
2
=
365
/
29
yea
r
-
1, γ
3
=
365
/
61
yea
r
-
1, and the final transition from recovered to susceptible again will be set as γ
4
=
365
/
670
yea
r
-
1. Given a value of the transition rates β
¯
=
β
0
(
7,4
,
7
) the reproduction number will be set to 0.5 and 1.5, respectively. For the continuous model, two graphics representing the evolution of each subpopulation for both situations are presented in Figures 1 and 2 while, for the discrete model, a step time τ is set to 0.1 years and the simulations are run with the same parameters. The results of these simulations are presented in Figures 3 and 4.Figure 1
Dynamic of the subpopulations forR
0
=
1.5. The dotted lines represent the predicted endemic values.Figure 2
Dynamic of the subpopulations forR
0
=
0.5. The dotted line represents the predicted disease-free value of the susceptible subpopulation.Figure 3
Dynamic of the subpopulations forR
0
=
1.5. The dotted lines represent the predicted endemic values.Figure 4
Dynamic of the subpopulations forR
0
=
0.5.


## 3.2.S
I
(
3
)
R Model with Delays

The common parameters are set as in the previous cases, but this time the delayed times will be equal to their respective average timesτ
1
=
19
/
365 years, τ
2
=
29
/
365 years, and τ
3
=
61
/
365 years. The delay of the transition between the recovered and the susceptible subpopulations will be changed from 610/365 to 80/365 years in order to let the simulation achieve the simulation at a reasonable time. The values of the transmission rates will maintain their proportionality, but the range of the possible reproductive number is not so wide as in the previous case. Their values are changed to now be R
0
=
1.01 and R
0
=
0.92, respectively. The evolution of the subpopulations is presented in Figures 5 and 6.Figure 5
Dynamics of theS
I
(
3
)
R model of the subpopulations for R
0
=
1.01. The dotted lines represent the predicted endemic values.Figure 6
Dynamics model of the subpopulations of theS
I
(
3
)
R for R
0
=
0.92. Observe that the subpopulations rapidly tend to the disease-free equilibrium.In the discrete model, the same time step as before is set toτ
=
0.1 years. The evolution of the subpopulations for each reproductive number can be seen in Figures 7 and 8, respectively.Figure 7
Dynamics of the different subpopulations of the discrete delayedS
I
(
3
)
R model for R
0
=
1.01. The dotted lines represent the predicted endemic values.Figure 8
Dynamics of the subpopulations of theS
I
(
3
)
R discrete delayed model for R
0
=
0.92.Observe that the subpopulations rapidly tend to the disease-free equilibrium in Figure8. While it is seen that the discrete-time and continuous-time models reach the same final states when the conditions are equal, the irregularity of the dynamics in the discrete models over the continuous has also been noticed. This fact reveals that the discretization procedure along with the time step must be selected carefully prior to simulating the discrete-time model.


## 4. Conclusions

A model of a disease spreading with multiple infectious stages has been studied in depth. The next generation techniques have been proven to be quite useful when operating with models with complex interactions as in the variations of the model presented in this work. The reproduction numbers obtained in each case have also proven to predict correctly the final stable state of the subpopulations when they are properly simulated. The simulations have also shown that the different discretizations of a continuous model can cause significant discrepancies in the resulting dynamics. An appropriate integration step should be considered taking this into account as well as other factors like the computation time available, or, if the model is being used in a controlled system, the available time for data acquisition.



---

*Source: 379576-2015-05-14.xml*