Mathematical Analysis of Visceral Leishmaniasis Model

Research in Applied Mathematics
vol. 1 (2017), Article ID 101263, 16 pages
doi:10.11131/2017/101263
AgiAl
Publishing House
http://www.agialpress.com/
Research Article
Mathematical Analysis of Visceral
Leishmaniasis Model
F. Boukhalfa, M. Helal, and A. Lakmeche
Laboratory of Biomathematics, Department of Mathematics, Univ. Sidi-Bel-Abbes, P.B. 89, SidiBel-Abbes, 22000, Algeria
Abstract. In this work, we consider a mathematical model describing the dynamics of visceral
leishmaniasis in a population of dogs 𝐷. First, we consider the case of constant total population
𝐷, this is the case where birth and death rates are equal, in this case transcritical bifurcation
occurs when the basic reproduction number β„›0 is equal to one, and global stability is shown
by the mean of suitable Lyapunov functions. After that, we consider the case where the birth
and death rates are different, if the birth rate is great than death rate the total dog population
increases exponentially, while the infectious dogs 𝐼 dies out if the basic reproduction number is
less than one, if it is great than one then 𝐷 goes to infinity. We also prove that the total population
𝐷 will extinct for birth rate less than death rate. Finally we give numerical simulations.
Keywords: Visceral leishmaniasis model, Bifurcation, Global stability, Lyapunov functions,
asymptotic properties.
Corresponding Author
M. Helal
[email protected]
Editor
Paul Bracken
Dates
Received 13 November 2016
Accepted 9 February 2017
Copyright © 2017 F.
Boukhalfa et al. This is an
open access article
distributed under the Creative
Commons Attribution
License, which permits
unrestricted use, distribution,
and reproduction in any
medium, provided the
original work is properly
cited.
Mathematics Subject Classification. Primary: 34C60. Secondary: 34C23, 34D05, 37B28,
37L10.
1. Introduction
In this paper, we investigate a mathematical model of zoonotic visceral leishmaniasis (ZVL),
the model studied here is inspired from [1, 4, 5]. Zoonotic visceral leishmaniasis (ZVL) caused
by Leishmania infantum is a disease of humans and domestic dogs (the reservoir) transmitted
by phlebotomize sandflies. According to the World Health Organization, leishmaniasis is one
of the diseases affecting the poorest in developing countries, 350 million people are considered
at risk of contracting leishmaniasis (see [11]).
Many works have considered mathematical models for ZVL, we can cite [1, 4–10], where
behavior of infection, and stability of free disease and endemic equilibria are studied.
Following [1, 4], at time 𝑑 let the dog population of size 𝐷(𝑑), it is divided into two categories,
ever-infectious dogs (that become infectious) and never-infected dogs. Ever-infectious dogs
category is partitioned into three subclasses who are susceptible (uninfected), latent (infected
but not infectious) and infectious dogs, with sizes (numbers) denoted by 𝑆(𝑑), 𝐿(𝑑) and 𝐼(𝑑)
respectively. Never-infected dogs category is partitioned into two subclasses who are uninfected
and infected dogs, with sizes denoted by 𝑅(𝑑) and 𝑄(𝑑) respectively (Figure 1).
The sum 𝑆(𝑑) + 𝐿(𝑑) + 𝐼(𝑑) + 𝑅(𝑑) + 𝑄(𝑑) is the total population 𝐷(𝑑). The natural death rate
𝛿 is assumed to be identical in all subclasses. A proportion 𝛼 of the dogs born susceptible to
ZVL with 0 < 𝛼 < 1. Consequently, the birth flux into the susceptible class is 𝛼𝛽𝐷(𝑑) and
into the resistant class is (1 βˆ’ 𝛼)𝛽𝐷(𝑑) where 𝛽 is the natural birth rate of dogs. The latent
dogs become infectious and re-enter into infected class with rate 𝜎. The force of infection is
How to cite this article: F. Boukhalfa, M. Helal, and A. Lakmeche, β€œMathematical Analysis of Visceral Leishmaniasis Model,”
Research in Applied Mathematics, vol. 1, Article ID 101263, 16 pages, 2017. doi:10.11131/2017/101263
Page 1
Research in Applied Mathematics
Figure 1: Compartmental model.
𝐢𝐼(𝑑)/𝐷(𝑑), where 𝐢 is the vectorial capacity of the sandfly population transmitting infection
between dogs. It is denoted by 𝐢𝐼(𝑑)𝑆(𝑑)/𝐷(𝑑) (resp. 𝐢𝐼(𝑑)𝑅(𝑑)/𝐷(𝑑)) for the contact between
infectious and susceptible (resp. infectious and uninfected) dogs.
Based on the above assumptions, we obtain the epidemic model governed by the following
system of ordinary differential equations (see [1, 4])
⎧
βŽͺ
βŽͺ
βŽͺ
βŽͺ
βŽͺ
βŽͺ
βŽͺ
⎨
βŽͺ
βŽͺ
βŽͺ
βŽͺ
βŽͺ
βŽͺ
βŽͺ
⎩
𝐢𝐼𝑆
𝑑𝑆
= 𝛼𝛽𝐷 βˆ’
βˆ’ 𝛿𝑆,
𝑑𝑑
𝐷
𝐢𝐼𝑆
𝑑𝐿
=
βˆ’ (𝜎 + 𝛿) 𝐿,
𝑑𝑑
𝐷
𝑑𝐼
= 𝜎𝐿 βˆ’ 𝛿𝐼,
𝑑𝑑
(1)
𝐢𝐼𝑅
𝑑𝑅
= (1 βˆ’ 𝛼) 𝛽𝐷 βˆ’
βˆ’ 𝛿𝑅,
𝑑𝑑
𝐷
𝑑𝑄
𝐢𝐼𝑅
=
βˆ’ 𝛿𝑄
𝑑𝑑
𝐷
with initial conditions
𝑆(0) β‰₯ 0, 𝐿(0) β‰₯ 0, 𝐼(0) β‰₯ 0, 𝑅(0) β‰₯ 0 and 𝑄(0) β‰₯ 0.
(2)
From system (1), it follows that the total dog population 𝐷(𝑑) = 𝑆(𝑑) + 𝐿(𝑑) + 𝐼(𝑑) + 𝑅(𝑑) + 𝑄(𝑑)
can be determined from the differential equation 𝑑𝐷
= (𝛽 βˆ’ 𝛿)𝐷 which gives 𝐷(𝑑) = 𝐷0 𝑒(π›½βˆ’π›Ώ)𝑑 ,
𝑑𝑑
where 𝐷0 = 𝐷(0).
Therefore
⎧ 0 if 𝛽 < 𝛿,
βŽͺ
lim 𝐷(𝑑) = ⎨ 𝐷0 if 𝛽 = 𝛿,
π‘‘β†’βˆž
βŽͺ ∞ if 𝛽 > 𝛿.
⎩
In [1], the case of constant total population is considered (i.e. 𝛽 = 𝛿), where well-posedness
of (1), (2) is proved and local stability of equilibria is investigated. In fact, the disease free
equilibrium 𝐸𝑓 = (𝑆 0 , 𝐿0 , 𝐼 0 , 𝑅0 , 𝑄0 ) = (𝛼𝐷, 0, 0, (1 βˆ’ 𝛼)𝐷, 0) is locally asymptotically stable
πΆπ›ΌπœŽ
< 1, and unstable for β„›0 (𝛿) > 1. For β„›0 (𝛿) > 1, the endemic equilibrium
for β„›0 (𝛿) = 𝛿(𝜎+𝛿)
doi:10.11131/2017/101263
Page 2
Research in Applied Mathematics
𝐸 βˆ— = (𝑆 βˆ— , πΏβˆ— , 𝐼 βˆ— , π‘…βˆ— , π‘„βˆ— ) = ( ℛ𝛼𝐷(𝛿) ,
0
is locally asymptotically stable.
𝛿 2 𝐷(β„›0 (𝛿)βˆ’1) 𝛿𝐷(β„›0 (𝛿)βˆ’1) (1βˆ’π›Ό)𝐷 (1βˆ’π›Ό)𝐷(β„›0 (𝛿)βˆ’1)
,
, β„› (𝛿) ,
)
𝜎𝐢
𝐢
β„›0 (𝛿)
0
exists and
In this paper, we study the global stability of equilibria of (1) by constructing a suitable Lyapunov functions and using LaSalle’s invariance principle when 𝛿 = 𝛽. A critical case β„›0 (𝛿) = 1
is also investigated. After that, we consider the case where 𝛽 β‰  𝛿. Numerical simulations are
given in section four to illustrate our results. We end our work by some conclusions.
2. Constant Total Population (Case 𝛿 = 𝛽)
The results of Boukhalfa et al. [1] are given in Theorems 2.1 and 2.2.
Theorem 2.1 (see [1]). Assume that 𝛽 = 𝛿. System (1) has the following equilibria:
β€’ The disease free equilibrium 𝐸𝑓 = (𝑆 0 , 𝐿0 , 𝐼 0 , 𝑅0 , 𝑄0 ) = (𝛼𝐷, 0, 0, (1 βˆ’ 𝛼)𝐷, 0) which
exists always.
β€’ If β„›0 (𝛿) > 1, the system (1) admits a unique positive equilibrium 𝐸 βˆ— = (𝑆 βˆ— , πΏβˆ— , 𝐼 βˆ— ,
𝛼𝐷
π‘…βˆ— , 𝑄 βˆ— ) = ( β„›
,
0
rium.
𝛿 2 𝐷(β„›0 βˆ’1) 𝛿𝐷(β„›0 βˆ’1) (1βˆ’π›Ό)𝐷 (1βˆ’π›Ό)𝐷(β„›0 βˆ’1)
,
, β„› ,
)
𝜎𝐢
𝐢
β„›0
0
namely the endemic equilib-
Theorem 2.2 (see [1]). Let 𝛽 = 𝛿.
β€’ If β„›0 (𝛿) < 1, then the disease free equilibrium (DFE) 𝐸𝑓 of (1) is locally asymptotically
stable. If β„›0 (𝛿) > 1, 𝐸𝑓 is unstable.
β€’ If β„›0 (𝛿) > 1, the endemic equilibrium 𝐸 βˆ— of (1) is locally asymptotically stable.
The first four equations of (1) are independent of 𝑄, therefore the last equation of (1) can be
omitted without loss of generality. Hence, system (1) is reduced to
⎧
βŽͺ
βŽͺ
βŽͺ
βŽͺ
βŽͺ
⎨
βŽͺ
βŽͺ
βŽͺ
βŽͺ
βŽͺ
⎩
𝐢𝐼𝑆
𝑑𝑆
= 𝛼𝛽𝐷 βˆ’
βˆ’ 𝛿𝑆,
𝑑𝑑
𝐷
𝑑𝐿
𝐢𝐼𝑆
=
βˆ’ (𝜎 + 𝛿) 𝐿,
𝑑𝑑
𝐷
(3)
𝑑𝐼
= 𝜎𝐿 βˆ’ 𝛿𝐼,
𝑑𝑑
𝑑𝑅
𝐢𝐼𝑅
= (1 βˆ’ 𝛼) 𝛽𝐷 βˆ’
βˆ’ 𝛿𝑅
𝑑𝑑
𝐷
with initial conditions
𝑆(0) β‰₯ 0, 𝐿(0) β‰₯ 0, 𝐼(0) β‰₯ 0, 𝑅(0) β‰₯ 0
(4)
and 𝐷(𝑑) = 𝐷0 𝑒(π›½βˆ’π›Ώ)𝑑 .
The considered region for (3) is
Μƒ
Γ𝐷 ∢= {(𝑆, 𝐿, 𝐼, 𝑅) ∈ ℝ4+ \𝑆 + 𝐿 + 𝐼 + 𝑅 ≀ 𝐷}.
which is positively invariant since all solutions of (3) in Μƒ
Γ𝐷 remain there for all 𝑑 β‰₯ 0.
0
βˆ—
0
βˆ—
βˆ— βˆ—
βˆ—
Μƒ
Μƒ
Let 𝐸𝑓 = (𝑆 , 0, 0, 𝑅 ) and 𝐸 = (𝑆 , 𝐿 , 𝐼 , 𝑅 ) be the equilibria of (3).
doi:10.11131/2017/101263
Page 3
Research in Applied Mathematics
2.1. Bifurcation analysis
The case β„›0 (𝛿) = 1 corresponding to 𝐢 = 𝐢1 =
𝛿(𝜎+𝛿)
.
π›ΌπœŽ
To prove bifurcation for β„›0 (𝛿) = 1, we use center manifold method described in CastilloChavez and Song [2]. To this aim, let π‘₯ = (π‘₯1 , π‘₯2 , π‘₯3 , π‘₯4 ) such that π‘₯1 = 𝑆, π‘₯2 = 𝐿, π‘₯3 = 𝐼,
π‘₯4 = 𝑅.
From (3) we obtain
⎧
βŽͺ
βŽͺ
βŽͺ
βŽͺ
βŽͺ
⎨
βŽͺ
βŽͺ
βŽͺ
βŽͺ
βŽͺ
⎩
𝐢π‘₯3 π‘₯1
𝑑π‘₯1
= 𝛼𝛽𝐷 βˆ’
βˆ’ 𝛽π‘₯1 = 𝑓1 (π‘₯, 𝐢),
𝑑𝑑
𝐷
𝐢π‘₯3 π‘₯1
𝑑π‘₯2
=
βˆ’ (𝜎 + 𝛽) π‘₯2 = 𝑓2 (π‘₯, 𝐢),
𝑑𝑑
𝐷
(5)
𝑑π‘₯3
= 𝜎π‘₯2 βˆ’ 𝛽π‘₯3 = 𝑓3 (π‘₯, 𝐢),
𝑑𝑑
𝐢π‘₯3 π‘₯4
𝑑π‘₯4
= (1 βˆ’ 𝛼) 𝛽𝐷 βˆ’
βˆ’ 𝛽π‘₯4 = 𝑓4 (π‘₯, 𝐢).
𝑑𝑑
𝐷
The linearization matrix of system (3) around the disease-free equilibrium for 𝐢 = 𝐢1 is
0
βˆ’πΆ1 𝛼
βŽ› βˆ’π›Ώ
⎜
⎜
𝐢1 𝛼
⎜ 0 βˆ’ (𝜎 + 𝛿)
𝐴=⎜
⎜
𝜎
βˆ’π›Ώ
⎜ 0
⎜
⎜
0
βˆ’(1 βˆ’ 𝛼)𝐢1
⎝ 0
0 ⎞
⎟
⎟
0 ⎟
⎟.
⎟
0 ⎟
⎟
⎟
βˆ’π›Ώ ⎠
The eigenvalues of 𝐴 are πœ†1 = βˆ’π›Ώ with multiplicity two, πœ†2 = 0 and πœ†3 = βˆ’πœŽ βˆ’ 2𝛿. Zero is a
simple eigenvalue of 𝐴 and the other eigenvalues have negative real parts.
A right eigenvector π‘Š = (𝑀1 , 𝑀2 , 𝑀3 , 𝑀4 )𝑇 such that π΄π‘Š = πœ†2 π‘Š (corresponding to the zero
𝐢 𝜎
, 1, πœŽπ›Ώ , βˆ’(1 βˆ’ 𝛼) 𝛿12 )𝑇 and the left eigenvector 𝑉 = (𝑣1 , 𝑣2 , 𝑣3 , 𝑣4 ) such
eigenvalue) is π‘Š = (βˆ’ 𝜎+𝛿
𝛿
𝛿
𝛿(𝜎+𝛿)
that 𝑉𝐴 = πœ†2 𝑉 and 𝑉.π‘Š = 1 is 𝑉 = (0, 𝜎+2𝛿
, 𝜎(𝜎+2𝛿)
, 0).
Let
4
πœ• 2 π‘“π‘˜
π‘Ž=
𝑣 𝑀𝑀
(𝛼𝐷, 0, 0, (1 βˆ’ 𝛼)𝐷, 𝐢1 )
βˆ‘ π‘˜ 𝑖 𝑗 πœ•π‘₯𝑖 πœ•π‘₯𝑗
π‘˜,𝑖,𝑗=1
and
4
𝑏=
βˆ‘
π‘˜,𝑖=1
doi:10.11131/2017/101263
π‘£π‘˜ 𝑀𝑖
πœ• 2 π‘“π‘˜
(𝛼𝐷, 0, 0, (1 βˆ’ 𝛼)𝐷, 𝐢1 ).
πœ•π‘₯𝑖 πœ•πΆ
Page 4
Research in Applied Mathematics
The second partial derivatives of 𝑓2 and 𝑓3 are given by
2
πœ• 2 𝑓2
πœ• 2 𝑓2
πœ• 2 𝑓2
𝐢 πœ• 𝑓2
= ,
=
=
= 0,
πœ•π‘₯1 πœ•π‘₯3
𝐷 πœ•π‘₯21
πœ•π‘₯1 πœ•π‘₯2
πœ•π‘₯1 πœ•π‘₯4
π‘₯
πœ• 2 𝑓2
πœ• 2 𝑓2
πœ• 2 𝑓2
πœ• 2 𝑓2
πœ• 2 𝑓2
=
= 3,
=
=
= 0,
πœ•π‘₯1 πœ•πΆ
𝐷 πœ•π‘₯22
πœ•π‘₯1 πœ•π‘₯2
πœ•π‘₯2 πœ•π‘₯3
πœ•π‘₯2 πœ•π‘₯4
πœ• 2 𝑓2
πœ• 2 𝑓2
πœ• 2 𝑓2
π‘₯1
πœ• 2 𝑓2
=
=
0,
=
,
=
πœ•π‘₯3 πœ•π‘₯3
πœ•π‘₯3 πœ•π‘₯4
πœ•π‘₯3 πœ•πΆ
𝐷
πœ•π‘₯23
πœ• 2 𝑓2
πœ• 2 𝑓2
πœ• 2 𝑓2
πœ• 2 𝑓2
=
=
=
= 0,
πœ•π‘₯4 πœ•π‘₯1
πœ•π‘₯4 πœ•π‘₯2
πœ•π‘₯4 πœ•π‘₯3
πœ•π‘₯24
πœ• 2 𝑓3
= 0, 1 ≀ 𝑖, 𝑗 ≀ 4.
πœ•π‘₯𝑖 πœ•π‘₯𝑗
It follows that
4
π‘Ž = 𝑣2
βˆ‘
𝑀𝑖 𝑀𝑗
𝑖,𝑗=1
πœ• 2 𝑓2
(𝛼𝐷, 0, 0, (1 βˆ’ 𝛼)𝐷, 𝐢1 )
πœ•π‘₯𝑖 πœ•π‘₯𝑗
πœ• 2 𝑓3
𝑀𝑖 𝑀𝑗
(𝛼𝐷, 0, 0, (1 βˆ’ 𝛼)𝐷, 𝐢1 )
πœ•π‘₯𝑖 πœ•π‘₯𝑗
πœ• 2 𝑓2
= 2𝑣2 𝑀1 𝑀3
(𝛼𝐷, 0, 0, (1 βˆ’ 𝛼)𝐷, 𝐢1 )
πœ•π‘₯1 πœ•π‘₯3
𝜎(𝜎 + 𝛿)
< 0,
= βˆ’2
𝛿(𝜎 + 2𝛿)
+𝑣3 βˆ‘4𝑖,𝑗=1
and
4
πœ• 2 𝑓2
𝑀
𝑏 = 𝑣2
(𝛼𝐷, 0, 0, (1 βˆ’ 𝛼)𝐷, 𝐢1 )
βˆ‘ 𝑖 πœ•π‘₯𝑖 πœ•πΆ
𝑖=1
πœ• 2 𝑓3
4
+𝑣3 βˆ‘π‘–=1 𝑀𝑖
(𝛼𝐷, 0, 0, (1 βˆ’ 𝛼)𝐷, 𝐢1 )
πœ•π‘₯𝑖 πœ•πΆ
2
πœ• 𝑓2
= 𝑣2 𝑀3
(𝛼𝐷, 0, 0, (1 βˆ’ 𝛼)𝐷, 𝐢1 )
πœ•π‘₯ πœ•πΆ
π›ΌπœŽ 3
=
> 0.
2𝛿 + 𝜎
Thus π‘Ž < 0 and 𝑏 > 0, from result of Theorem 4.1 in Castillo-Chavez and Song [2] we deduce
the following theorem.
Theorem 2.3. A transcritical bifurcation occurs at β„›0 (𝛿) = 1. When 𝐢 crosses 𝐢1 , a disease
free equilibrium Μƒ
𝐸𝑓 changes its stability from stable to unstable. Correspondingly, a negative
unstable equilibrium Μƒ
𝐸 βˆ— for 𝐢 < 𝐢1 , becomes positive and locally asymptotically stable for
𝐢 > 𝐢1 (Figure 2).
doi:10.11131/2017/101263
Page 5
Research in Applied Mathematics
Figure 2: Bifurcation diagram for (3).
2.2. Global stability
In this subsection we investigate the global asymptotic stability of disease free equilibrium 𝐸𝑓
and endemic equilibrium 𝐸 βˆ— .
We state the following theorem.
Theorem 2.4.
β€’ If 𝑅0 (𝛿) ≀ 1, then Μƒ
𝐸𝑓 is globally asymptotically stable in Μƒ
Γ𝐷 .
β€’ If 𝑅0 (𝛿) > 1, then Μƒ
𝐸 βˆ— is globally asymptotically stable in Μƒ
Γ𝐷 \Μƒ
Λ𝐷 where Μƒ
Λ𝐷 = {(𝑆, 0,
4
0, 𝑅) ∈ ℝ+ \0 ≀ 𝑆 + 𝑅 ≀ 𝐷}.
Proof. To study the global stability, we reduce system (3) as follow
⎧
βŽͺ
βŽͺ
βŽͺ
⎨
βŽͺ
βŽͺ
βŽͺ
⎩
𝐢𝐼𝑆
𝑑𝑆
= 𝛼𝛿𝐷 βˆ’
βˆ’ 𝛿𝑆,
𝑑𝑑
𝐷
𝐢𝐼𝑆
𝑑𝐿
=
βˆ’ (𝜎 + 𝛿)𝐿,
𝑑𝑑
𝐷
(6)
𝑑𝐼
= 𝜎𝐿 βˆ’ 𝛿𝐼.
𝑑𝑑
Since 𝑆, 𝐿 and 𝐼 are independent of 𝑅, we study the system (6) in the closed set
Μƒ
Ω𝐷 = {(𝑆, 𝐿, 𝐼) ∈ ℝ3+ \0 ≀ 𝑆 + 𝐿 + 𝐼 ≀ 𝐷}.
β€’ By means of a Lyapunov function we show that the disease free equilibrium Μƒ
𝐸𝑓 is
globally asymptotically stable.
doi:10.11131/2017/101263
Page 6
Research in Applied Mathematics
We set
𝑉1 (𝑆, 𝐿, 𝐼) =
1
1
𝜎+𝛿
(𝑆 βˆ’ 𝑆 0 )2 + 𝐿 +
𝐼 + (𝑆 βˆ’ 𝑆 0 + 𝐿 + 𝐼)2 .
0
𝜎
2
2𝑆
𝑉1 (𝑆, 𝐿, 𝐼) β‰₯ 0 and 𝑉1 (𝑆, 𝐿, 𝐼) = 0 if and only if 𝑆 = 𝑆 0 and 𝐿 = 𝐼 = 0.
Computing the time derivative of 𝑉1 , we find
𝑑𝑉1
1
𝑑𝑆 𝑑𝐿 𝜎 + 𝛿 𝑑𝐼
𝑑𝑆 𝑑𝐿 𝑑𝐼
= 0 (𝑆 βˆ’ 𝑆 0 )
+
+
+ (𝑆 βˆ’ 𝑆 0 + 𝐿 + 𝐼) (
+
+
𝑑𝑑
𝑑𝑑
𝑑𝑑
𝜎
𝑑𝑑
𝑑𝑑
𝑑𝑑
𝑑𝑑 )
𝑆
=
1
𝐢𝐼𝑆
𝐢𝐼𝑆
(𝑆 βˆ’ 𝑆 0 ) (𝛼𝛿𝐷 βˆ’
βˆ’ 𝛿𝑆 ) +
βˆ’ (𝜎 + 𝛿) 𝐿
0
𝐷
𝐷
𝑆
+
=
𝜎+𝛿
(𝜎𝐿 βˆ’ 𝛽𝐼) + (𝑆 βˆ’ 𝑆 0 + 𝐿 + 𝐼) (𝛼𝛿𝐷 βˆ’ 𝛿𝑆 βˆ’ 𝛿𝐿 βˆ’ 𝛿𝐼)
𝜎
𝐢𝐼𝑆
𝐢𝐼𝑆
𝑆 βˆ’ 𝑆0
βˆ’
βˆ’ 𝛿(𝑆 βˆ’ 𝑆 0 )) +
βˆ’ (𝜎 + 𝛿) 𝐿
(
0
( 𝑆 )
𝐷
𝐷
+
= βˆ’
𝜎+𝛿
(𝜎𝐿 βˆ’ 𝛿𝐼) βˆ’ 𝛿(𝑆 βˆ’ 𝑆 0 + 𝐿 + 𝐼)2
𝜎
𝑆2
𝐢
𝜎+𝛿
𝛿
𝐢
0 2
(𝑆
βˆ’π‘†
)
+
2𝑆
βˆ’
βˆ’π‘† 0
𝐼 + (𝑆 0 βˆ’π›Ώ
𝐼 βˆ’π›Ώ(𝑆 βˆ’π‘† 0 +𝐿+𝐼)2 .
0
0
(
)
𝐷
𝐷
𝜎 )
𝑆
𝑆
We can show that the coefficients of the term 𝐼 in the last equality are negative. In fact,
𝐢𝛼(β„› (𝛿)βˆ’1)
πΆπœŽπ›Ό
𝐢
since 𝑆 0 = 𝛼𝐷 and β„›0 (𝛿) = 𝛿(𝛿+𝜎)
, we have 𝑆 0 𝐷
βˆ’ 𝛿 𝜎+𝛿
= β„›0 (𝛿) , which is negative
𝜎
for 𝑅0 (𝛿) ≀ 1. Further, we have 2𝑆 βˆ’
𝑆2
𝑆0
0
0
βˆ’ 𝑆 ≀ 0 for 𝑆 β‰₯ 0.
𝑑𝑉
Thus, for 𝑅0 (𝛿) ≀ 1 we have 𝑑𝑑1 (𝑆, 𝐼, 𝐿) ≀ 0 for all (𝑆, 𝐿, 𝐼) ∈ Μƒ
Ω𝐷 . And
0
only if (𝑆, 𝐿, 𝐼) = (𝑆 , 0, 0) holds.
𝑑𝑉1
𝑑𝑑
= 0 if and
Thus, the only invariant set contained in Μƒ
Ω𝐷 is {Μƒ
𝐸𝑓 }. Hence, LaSalle’s theorem implies
0
convergence of the solutions (𝑆, 𝐿, 𝐼) to (𝑆 , 0, 0) if initial values are in Μƒ
Ω𝐷 .
Further, we have
lim 𝐼(𝑑) = 0 ⇔ βˆ€πœ– > 0, βˆƒπ΄πœ– > 0 such that for 𝑑 > π΄πœ– we have |𝐼(𝑑)| < πœ–.
𝑑→+∞
Let πœ– > 0, from equation four of system (3) we have
βˆ’(πœ–
doi:10.11131/2017/101263
𝐢
𝑑
𝐢
+ 𝛿)𝑅 + (1 βˆ’ 𝛼)𝛿𝐷 ≀ 𝑅(𝑑) ≀ βˆ’(βˆ’πœ– + 𝛿)𝑅 + (1 βˆ’ 𝛼)𝛿𝐷.
𝐷
𝑑𝑑
𝐷
Page 7
Research in Applied Mathematics
After integrating between π΄πœ– and 𝑑 we obtain
(1 βˆ’ 𝛼)𝛿𝐷
(1 βˆ’ 𝛼)𝛿𝐷
≀ lim 𝑅(𝑑) ≀
π‘‘β†’βˆž
𝐢
𝐢
πœ– +𝛿
βˆ’πœ– + 𝛿
𝐷
𝐷
𝐷
𝛿. Thus lim 𝑅(𝑑) = (1 βˆ’ 𝛼)𝐷 = 𝑅0 .
π‘‘β†’βˆž
𝐢
Therefore, for β„›0 (𝛿) ≀ 1 the disease free equilibrium Μƒ
𝐸𝑓 is globally asymptotically
Μƒ
stable in Γ𝐷 .
for all πœ– such that 0 < πœ– <
β€’ Let
𝑉2 (𝑆, 𝐿, 𝐼) =
𝛿𝐷
𝑆
𝛿𝐷
𝐿
𝐼
(𝑆 βˆ’ 𝑆 βˆ— βˆ’ 𝑆 βˆ— ln βˆ— ) +
(𝐿 βˆ’ πΏβˆ— βˆ’ πΏβˆ— ln βˆ— ) + (𝐼 βˆ’ 𝐼 βˆ— βˆ’ 𝐼 βˆ— ln βˆ— )
𝐿
𝐼
𝐢𝑆 βˆ—
𝑆
𝐢𝑆 βˆ—
for (𝑆, 𝐿, 𝐼) ∈ Μƒ
Γ𝐷 \Μƒ
Λ𝐷 .
Then, we have
𝑑𝑉2
𝛿𝐷
𝛿𝐷
𝐼 βˆ— 𝑑𝐼
𝑆 βˆ— 𝑑𝑆
πΏβˆ— 𝑑𝐿
=
)
+
)
+ (1 βˆ’ )
βˆ— (1 βˆ’
βˆ— (1 βˆ’
𝑑𝑑
𝑆 𝑑𝑑
𝐿 𝑑𝑑
𝐼 𝑑𝑑
𝐢𝑆
𝐢𝑆
=
𝛿
𝐢𝑆 βˆ—
𝐢
𝑆 βˆ’ π‘†βˆ—
𝛿𝐷
βˆ— 2
βˆ—
βˆ—
βˆ—
(βˆ’
(𝑆
βˆ’
𝑆
)
βˆ’
(𝐼
βˆ’
𝐼
)(𝑆
βˆ’
𝑆
)
βˆ’
(𝑆
βˆ’
𝑆
)𝐼
)
𝐷𝑆
𝐷
𝑆
𝐢𝑆 βˆ— 𝑆
+
𝛿𝐷 𝐢𝐼𝑆
πΏβˆ— 𝐢𝐼𝑆
(
βˆ’
(𝜎
+
𝛿)𝐿
βˆ’
+ πΏβˆ— (𝜎 + 𝛿))
𝐿 𝐷
𝐢𝑆 βˆ— 𝐷
+(𝜎𝐿 βˆ’ 𝛿𝐼 βˆ’
=
𝛿𝐷
𝐢𝑆 βˆ—2 𝐼
𝐢𝑆 βˆ—2 𝐼 βˆ— 𝐢
𝐢
𝐼
𝐢
𝛿
βˆ— 2
(𝑆
βˆ’
𝑆
)
+
βˆ’
βˆ’ 𝐼𝑆 βˆ’ 𝑆 βˆ—2 + 2 𝑆 βˆ— 𝐼)
(βˆ’
βˆ—
𝑆
𝐷 𝑆
𝐷𝑆
𝐷
𝐷
𝑆
𝐷
𝐢𝑆
+
𝛿𝐷 𝐢
πΆπΏβˆ— 𝐼𝑆
+ πΏβˆ— (𝜎 + 𝛿))
βˆ— ( 𝐼𝑆 βˆ’ (𝜎 + 𝛿)𝐿 βˆ’
𝐷 𝐿
𝐢𝑆 𝐷
+𝜎𝐿 βˆ’ 𝛿𝐼 βˆ’
= βˆ’
+
= βˆ’
βˆ’
πΌβˆ—
𝜎𝐿 + 𝐼 βˆ— 𝛿
𝐼
𝛿𝐷 𝛿
𝛿𝑆 βˆ— 𝐼 βˆ—
𝛿
βˆ— 2
βˆ—
(𝑆
βˆ’
𝑆
)
+
𝛿𝐼
βˆ’
βˆ’ βˆ— 𝐼𝑆 + 𝛿𝐼
βˆ—
𝑆
𝐢𝑆 𝑆
𝑆
𝛿
𝛿𝐷
π›ΏπΏβˆ— 𝐼𝑆
𝛿𝐷 βˆ—
+
𝐿 (𝜎 + 𝛿)
βˆ— 𝐼𝑆 βˆ’
βˆ— (𝜎 + 𝛿)𝐿 βˆ’
𝑆
𝐢𝑆
π‘†βˆ— 𝐿
𝐢𝑆 βˆ—
+𝜎𝐿 βˆ’ 𝛿𝐼 βˆ’
doi:10.11131/2017/101263
πΌβˆ—
𝜎𝐿 + 𝐼 βˆ— 𝛿)
𝐼
πΌβˆ—
𝜎𝐿 + 𝐼 βˆ— 𝛿
𝐼
𝛿𝐷 𝛿
𝛿𝑆 βˆ— 𝐼 βˆ—
𝛿𝐷
βˆ— 2
βˆ—
(𝜎 + 𝛿)) 𝐿
(𝑆
βˆ’
𝑆
)
+
2𝛿𝐼
βˆ’
+ (𝜎 βˆ’
βˆ—
𝑆
𝐢𝑆 𝑆
𝐢𝑆 βˆ—
π›ΏπΏβˆ— 𝐼𝑆
𝛿𝐷 βˆ—
πΌβˆ—
+
𝐿
(𝜎
+
𝛿)
βˆ’
𝜎𝐿.
𝐼
π‘†βˆ— 𝐿
𝐢𝑆 βˆ—
Page 8
Research in Applied Mathematics
Since 𝑆 βˆ— =
𝐷𝛿(𝜎 + 𝛿)
𝛿
and πΏβˆ— = 𝐼 βˆ— , we have
𝐢𝜎
𝜎
𝑑𝑉2
𝜎 𝛿
𝛿𝑆 βˆ— 𝐼 βˆ— π›ΏπΏβˆ— 𝐼𝑆 𝐼 βˆ—
= βˆ’
(𝑆 βˆ’ 𝑆 βˆ— )2 + 3𝛿𝐼 βˆ— βˆ’
βˆ’ βˆ—
βˆ’ 𝜎𝐿
𝑑𝑑
𝜎+𝛿𝑆
𝑆
𝐼
𝑆 𝐿
= βˆ’
𝜎 𝛿
𝑆 𝛿𝐼
π‘†βˆ— 𝜎 𝐿
(𝑆 βˆ’ 𝑆 βˆ— )2 βˆ’ 𝛿𝐼 βˆ— ( βˆ—
+
+
βˆ’ 3)
𝜎+𝛿𝑆
𝑆
𝛿𝐼
𝑆 𝜎𝐿
which is negative if ( π‘†π‘†βˆ— πœŽπ›Ώ 𝐿𝐼 +
Set 𝑒 =
π‘†βˆ—
𝑆
and 𝑣 =
𝜎𝐿
𝛿 𝐼
π‘†βˆ—
𝑆
+
𝜎𝐿
𝛿 𝐼
βˆ’ 3) is positive.
and consider the function
β„Ž(𝑒, 𝑣) = 𝑒 + 𝑣 +
Computing the first derivatives of β„Ž, we have
Moreover
πœ•β„Ž(1,1)
πœ•π‘’
= 0 and
derivatives of β„Ž, we have
πœ•β„Ž(1,1)
πœ•π‘£
πœ• 2 β„Ž(𝑒,𝑣)
πœ•π‘’πœ•π‘£
1
βˆ’ 3.
𝑣𝑒
πœ•β„Ž(𝑒,𝑣)
πœ•π‘’
= 1βˆ’
1
𝑒2 𝑣
and
πœ•β„Ž(𝑒,𝑣)
πœ•π‘£
= 1βˆ’
1
.
𝑒𝑣2
= 0, thus (1, 1) is a critical point of β„Ž. For the second
=
2
1
, πœ• β„Ž(𝑒,𝑣)
𝑒2 𝑣 2
πœ•π‘’2
=
2
𝑣𝑒3
and
πœ• 2 β„Ž(𝑒,𝑣)
πœ•π‘£2
=
2
.
𝑒𝑣3
We obtain
2
𝐻𝑒𝑠𝑠(β„Ž)(1, 1) =
πœ• 2 β„Ž(1, 1)
πœ• 2 β„Ž(1, 1) πœ• 2 β„Ž(1, 1)
= 3.
βˆ’
( πœ•π‘’πœ•π‘£ )
πœ•π‘’2
πœ•π‘£2
We have 𝐻𝑒𝑠𝑠(β„Ž)(1, 1) < 0 and
point (𝑒, 𝑣) = (1, 1).
πœ• 2 β„Ž(1,1)
πœ•π‘’2
> 0, therefore the function β„Ž has a minimum
Moreover, β„Ž(1, 1) = 0 and β„Ž β‰₯ 0 which imply that ( π‘†π‘†βˆ— πœŽπ›Ώ 𝐿𝐼 +
Thus
𝑑
𝑉 (𝑆, 𝐿, 𝐼)
𝑑𝑑 2
π‘†βˆ—
𝑆
+
𝜎𝐿
𝛿 𝐼
βˆ’ 3) is positive.
≀ 0.
𝑑
The function 𝑉2 is a Lyapunov function for system (6), and 𝑑𝑑
𝑉2 (𝑆, 𝐿, 𝐼) = 0 if and only
βˆ—
if 𝑆 = 𝑆 and 𝜎𝐿 = 𝛿𝐼. Looking at the first equation in system (6) for 𝑆 = 𝑆 βˆ— we obtain
𝐼 = 𝐼 βˆ—.
Hence 𝐿 = πΏβˆ— and the equilibrium (𝑆 βˆ— , πΏβˆ— , 𝐼 βˆ— ) is the only point satisfying
= 0.
𝑑
𝑉 (𝑆, 𝐿, 𝐼)
𝑑𝑑 2
Thus the only invariant set contained in Μƒ
Ω𝐷 is {Μƒ
𝐸 βˆ— }, hence LaSalle’s theorem implies
βˆ—
βˆ— βˆ—
convergence of the solutions (𝑆, 𝐿, 𝐼) to (𝑆 , 𝐿 , 𝐼 ) for all initial values in Μƒ
Ω𝐷 \Μƒ
Σ𝐷 where
Μƒ
Σ𝐷 ∢= {(𝑆, 0, 0) ∈ ℝ3+ \0 ≀ 𝑆 ≀ 𝐷}.
Moreover, using the procedure above, we can show that lim 𝑅(𝑑) = π‘…βˆ— . Therefore, for
π‘‘β†’βˆž
β„›0 (𝛿) > 1 the endemic equilibrium Μƒ
𝐸 βˆ— is globally asymptotically stable in Μƒ
Γ𝐷 \Μƒ
Λ𝐷 .
doi:10.11131/2017/101263
Page 9
Research in Applied Mathematics
Remark 2.1. If β„›0 (𝛿) > 1 and the initial conditions (𝑆(0), 𝐿(0), 𝐼(0), 𝑅(0)) ∈ Μƒ
Γ𝐷 with
(𝑆(0), 𝐿(0), 𝐼(0)) ∈ Μƒ
Σ𝐷 , then the solution of (3) converges to the disease free equilibrium
Μƒ
𝐸𝑓 .
Corollary 2.1.
β€’ If 𝑅0 (𝛿) ≀ 1, then 𝐸𝑓 is globally asymptotically stable in Γ𝐷 ∢= {(𝑆, 𝐿, 𝐼, 𝑅, 𝑄) ∈
ℝ5 \𝑆 + 𝐿 + 𝐼 + 𝑅 + 𝑄 = 𝐷}.
β€’ If 𝑅0 (𝛿) > 1, then 𝐸 βˆ— is globally asymptotically stable in Γ𝐷 \Λ𝐷 where Λ𝐷 ∢=
{(𝑆, 0, 0, 𝑅, 𝑄) ∈ ℝ5+ \0 ≀ 𝑆 + 𝑅 + 𝑄 ≀ 𝐷}. In addition, if the initial conditions
(𝑆(0), 𝐿(0), 𝐼(0), 𝑅(0)) ∈ Λ𝐷 then the solution of (1) converges to the disease free
equilibrium 𝐸𝑓 .
3. Non Constant Total Population (Case 𝛿 β‰  𝛽)
Let us introduce new non-dimensional variables
𝑄
𝐿
𝐼
𝑅
𝑆
and π‘ž = .
𝑠= , 𝑙= , 𝑖= , π‘Ÿ=
𝐷
𝐷
𝐷
𝐷
𝐷
We obtain the system
β€²
⎧ 𝑠 = 𝛼𝛽 βˆ’ 𝐢𝑖𝑠 βˆ’ 𝛽𝑠,
βŽͺ
βŽͺ β€²
βŽͺ 𝑙 = 𝐢𝑖𝑠 βˆ’ (𝜎 + 𝛽)𝑙,
βŽͺ
βŽͺ β€²
⎨ 𝑖 = πœŽπ‘™ βˆ’ 𝛽𝑖,
βŽͺ
βŽͺ β€²
βŽͺ π‘Ÿ = (1 βˆ’ 𝛼) 𝛽 βˆ’ πΆπ‘–π‘Ÿ βˆ’ π›½π‘Ÿ,
βŽͺ
βŽͺ β€²
⎩ π‘ž = πΆπ‘–π‘Ÿ βˆ’ π›½π‘ž
(7)
𝑠(0) β‰₯ 0, 𝑙(0) β‰₯ 0, 𝑖(0) β‰₯ 0, π‘Ÿ(0) β‰₯ 0, π‘ž(0) β‰₯ 0.
(8)
with initial conditions
From the homogeneity of (1), note that the total population size 𝐷 does not appear in (7). Also
observe that the first four equations in (7) do not depend on π‘ž and 𝑠 + 𝑙 + 𝑖 + π‘Ÿ + π‘ž = 1. Therefore
the last equation can be omitted without loss of generality. Hence, system (7) can be reduced to
β€²
⎧ 𝑠 = 𝛼𝛽 βˆ’ 𝐢𝑖𝑠 βˆ’ 𝛽𝑠,
βŽͺ
βŽͺ
βŽͺ 𝑙′ = 𝐢𝑖𝑠 βˆ’ (𝜎 + 𝛽)𝑙,
βŽͺ
⎨
βŽͺ 𝑖′ = πœŽπ‘™ βˆ’ 𝛽𝑖,
βŽͺ
βŽͺ
βŽͺ π‘Ÿβ€² = (1 βˆ’ 𝛼) 𝛽 βˆ’ πΆπ‘–π‘Ÿ βˆ’ π›½π‘Ÿ.
⎩
(9)
We study (9) in the closed set
Μƒ
Ξ“1 = {(𝑠, 𝑙, 𝑖, π‘Ÿ) ∈ ℝ4+ \0 ≀ 𝑠 + 𝑙 + 𝑖 + π‘Ÿ ≀ 1}.
doi:10.11131/2017/101263
Page 10
Research in Applied Mathematics
Figure 3: Bifurcation diagram for system (1). In left figure, the initial conditions (𝑆(0), 𝐿(0), 𝐼(0), 𝑅(0), 𝑄(0)) ∈
√ 2
Γ𝐷0 \Λ𝐷0 , whenever 𝛽 > 𝛿 and 𝛽 > 𝛽1 = βˆ’πœŽ+ 𝜎2 +4πΆπœŽπ›Ό the disease dies out while the total population increases
exponentially. Although the disease spreads (that is, the number of infected grows in total number) when 𝛽1 < 𝛽. In
right figure, the initial conditions (𝑆(0), 𝐿(0), 𝐼(0), 𝑅(0), 𝑄(0)) ∈ Λ𝐷0 . Then, whenever 𝛽 > 𝛿 the disease dies out
while the total population increases exponentially. Note that when 𝛽 < 𝛿, the total population decreases exponentially.
The set Μƒ
Ξ“1 is positively invariant with respect to (9).
Note that (9) is equivalent to (3) for 𝐷 = 1 and 𝛿 = 𝛽. The basic reproduction number is
given by
β„›0 (𝛽) =
πΆπ›ΌπœŽ
.
𝛽(𝜎 + 𝛽)
From Theorem 2.4 and Remark 2.1 we deduce the following results.
Theorem 3.1.
(i) If β„›0 (𝛽) ≀ 1, then 𝑒𝑓 = (𝑠0 , 𝑙0 , 𝑖0 , π‘Ÿ0 ) = (𝛼, 0, 0, 1 βˆ’ 𝛼) is the only equilibrium of (9),
namely disease free equilibrium, it is globally asymptotically stable in Μƒ
Ξ“1 .
(ii) If β„›0 (𝛽) > 1, then 𝑒𝑓 is unstable and there exists a unique endemic equilibrium π‘’βˆ— =
(π‘ βˆ— , π‘™βˆ— , π‘–βˆ— , π‘Ÿβˆ— ) = ( ℛ𝛼 ,
0
cally stable in Μƒ
Ξ“1 \Μƒ
Ξ›1 .
𝛽 2 (β„›0 βˆ’1) 𝛽(β„›0 βˆ’1) (1βˆ’π›Ό) (1βˆ’π›Ό)(β„›0 βˆ’1)
, 𝐢 , β„› ,
)
𝜎𝐢
β„›0
0
of (9), it is globally asymptoti-
(iii) If β„›0 (𝛽) > 1, then for all initial conditions (𝑠(0), 𝑙(0), 𝑖(0), π‘Ÿ(0)) ∈ Μƒ
Ξ›1 the solution of (9)
converges to the disease free equilibrium 𝑒𝑓 .
From Theorem 3.1 we deduce the following results.
Corollary 3.1. If 𝛽 < 𝛿, then lim 𝑆(𝑑) = lim 𝐿(𝑑) = lim 𝐼(𝑑) = lim 𝑅(𝑑) = lim 𝑄(𝑑) = 0.
π‘‘β†’βˆž
π‘‘β†’βˆž
π‘‘β†’βˆž
π‘‘β†’βˆž
π‘‘β†’βˆž
Corollary 3.2. Let 𝛽 > 𝛿.
(i) If β„›0 (𝛽) ≀ 1, then for all initial conditions (𝑆(0), 𝐿(0), 𝐼(0), 𝑅(0), 𝑄(0)) ∈ Γ𝐷0 we have
lim 𝑆(𝑑) = lim 𝑅(𝑑) = +∞ and lim 𝐿(𝑑) = lim 𝐼(𝑑) = lim 𝑄(𝑑) = 0.
π‘‘β†’βˆž
doi:10.11131/2017/101263
π‘‘β†’βˆž
π‘‘β†’βˆž
π‘‘β†’βˆž
π‘‘β†’βˆž
Page 11
Research in Applied Mathematics
Table 1: Parameter values for (1).
parameter value (case 𝛽 = 𝛿) value (case 𝛽 < 𝛿) value (case 𝛽 > 𝛿)
𝛼
0.43
0.43
0.43
𝛽
0.0011
0.0011
0.00167
𝛿
0.0011
0.00167
0.0011
𝜎
0.0050
0.0050
0.0050
𝐷0
50
50
50
(ii) If β„›0 (𝛽) > 1, then for all initial conditions (𝑆(0), 𝐿(0), 𝐼(0), 𝑅(0), 𝑄(0)) ∈ Γ𝐷0 \Λ𝐷0 we
have lim 𝑆(𝑑) = lim 𝐿(𝑑) = lim 𝐼(𝑑) = lim 𝑅(𝑑) = lim 𝑄(𝑑) = +∞.
π‘‘β†’βˆž
π‘‘β†’βˆž
π‘‘β†’βˆž
π‘‘β†’βˆž
π‘‘β†’βˆž
(iii) If β„›0 (𝛽) > 1, then for all initial conditions (𝑆(0), 𝐿(0), 𝐼(0), 𝑅(0), 𝑄(0)) ∈ Λ𝐷0 we have
lim 𝑆(𝑑) = lim 𝑅(𝑑) = +∞ and lim 𝐿(𝑑) = lim 𝐼(𝑑) = lim 𝑄(𝑑) = 0.
π‘‘β†’βˆž
π‘‘β†’βˆž
π‘‘β†’βˆž
π‘‘β†’βˆž
π‘‘β†’βˆž
Remark 3.1. In the above results we can see that asymptotic behaviors of total population and
infection subclasses depend on the values of birth and death rates and initial conditions (Figure
3).
4. Numerical Simulations
In this section we give numerical simulations for our model. The parameters values used were
inspired from [4, 5] (see Table 1).
We discuss the simulation results of the system (1) according to the values of 𝛽 and 𝛿.
4.1. Case 𝛽 = 𝛿
(1) When β„›0 (𝛿) ≀ 1, the disease free equilibrium 𝐸𝑓 is globally asymptotically stable in Γ𝐷
(see Figure 4).
(2) When β„›0 (𝛿) > 1, the endemic equilibrium 𝐸 βˆ— is globally asymptotically stable in Γ𝐷 \Λ𝐷
and if the initial condition is in Λ𝐷 , the solution tends to disease free equilibrium 𝐸𝑓 (see
Figure 5).
4.2. Case 𝛽 < 𝛿
In this case we have extinction of total dog population (see Figure 6).
4.3. Case 𝛽 > 𝛿
(1) When β„›0 (𝛽) ≀ 1 (i.e. 𝛽 > 𝛽1 ), the disease dies that is lim 𝐿(𝑑) = 𝐼(𝑑) = 𝑄(𝑑) = 0, and
π‘‘β†’βˆž
total dog population increases exponentially, that is lim 𝑁(𝑑) = 𝑆(𝑑) = 𝑅(𝑑) = ∞ (see
π‘‘β†’βˆž
Figure 7).
doi:10.11131/2017/101263
Page 12
Research in Applied Mathematics
Figure 4: Simulation results for β„›0 (𝛿) = 0.4806, 𝐢 = 0.0015 and initial condition (𝑆(0), 𝐿(0), 𝐼(0), 𝑅(0), 𝑄(0)) =
(4, 5, 20, 10, 11)
Figure 5: Simulation results for β„›0 (𝛿) = 8.9076, 𝐢 = 0.0278 and initial condition (𝑆(0), 𝐿(0), 𝐼(0), 𝑅(0), 𝑄(0)) =
(4, 5, 20, 10, 11) (resp. (𝑆(0), 𝐿(0), 𝐼(0), 𝑅(0), 𝑄(0)) = (29, 0, 0, 10, 11)) in left (resp. right) figure.
(2) When β„›0 (𝛽) > 1 (i.e. 𝛽 < 𝛽1 ), all subclasses of 𝐷 grow and we have lim 𝐿(𝑑) = 𝐼(𝑑) =
π‘‘β†’βˆž
𝑄(𝑑) = 𝑆(𝑑) = 𝑅(𝑑) = ∞ if the initial condition is in Γ𝐷 \Λ𝐷 . The disease dies if the initial
condition is in Λ𝐷 , in this case we have lim 𝐿(𝑑) = 𝐼(𝑑) = 𝑄(𝑑) = 0 and lim 𝑁(𝑑) = 𝑆(𝑑) =
π‘‘β†’βˆž
π‘‘β†’βˆž
𝑅(𝑑) = ∞ (see Figure 8).
5. Conclusions
We have studied a ZVL mathematical model considered in [1, 4, 5] where only constant dog
population is considered. In our work we have investigated the both cases where 𝐷 is constant
or not, our main results are given in Theorems 3, 4 and 6. .
In fact, in the case of constant dog population, we have analyzed the bifurcation of disease
free equilibrium 𝐸𝑓 to the endemic equilibrium 𝐸 βˆ— (Theorem 3), where stability is transmitted
from 𝐸𝑓 to 𝐸 βˆ— , the bifurcation studied with respect to the force of infection 𝐢, this is possible
doi:10.11131/2017/101263
Page 13
Research in Applied Mathematics
Figure 6: Simulation results for β„›0 (𝛽) = 5.3659, 𝐢 = 0.0278 and initial condition (𝑆(0), 𝐿(0), 𝐼(0), 𝑅(0), 𝑄(0)) =
(4, 5, 20, 10, 11).
Figure 7: Simulation results for β„›0 (𝛽) = 0.2895, 𝐢 = 0.0015 and initial condition (𝑆(0), 𝐿(0), 𝐼(0), 𝑅(0), 𝑄(0)) =
(4, 5, 20, 10, 11).
for 𝐢 = 𝐢1 corresponding to the basic reproduction number β„›0 (𝛿) = 1. In Theorem 4, we have
found Lyapunov functions to prove the global stability of equilibria Μƒ
𝐸𝑓 and Μƒ
𝐸 βˆ— . These results
βˆ—
allow us to find a global asymptotic stability domains of 𝐸𝑓 and 𝐸 (Corollary 5). In the case
of non constant dog population, we have transformed (1) to a new model (7) equivalent to (1)
by the mean of fraction of subclasses of the dog population 𝐷. We have obtained an interesting
results concerning the behavior of each subclasses of 𝐷 (Corollaries 7 and 8). Our results allows
us to determine the cases where the infection goes to extinction or persistence depending on the
parameter values. In fact, the birth and death rates values 𝛽 and 𝛿 are important for the behavior
of the size of total population 𝐷, which remains constant for equal values of birth and death
rates. If 𝛽 < 𝛿 the total population goes to zero (Figure 6). In the contrary, if 𝛽 > 𝛿 then total
population explodes, in this case the behavior of the infection depends on the value of the basic
reproduction number β„›0 (𝛽) and on domains of global asymptotic stability of the disease free
doi:10.11131/2017/101263
Page 14
Research in Applied Mathematics
Figure 8: Simulation results for β„›0 (𝛿) = 5.3659, 𝐢 = 0.0278 and initial condition (𝑆(0), 𝐿(0), 𝐼(0), 𝑅(0), 𝑄(0)) =
(4, 5, 20, 10, 11) (resp. (𝑆(0), 𝐿(0), 𝐼(0), 𝑅(0), 𝑄(0)) = (29, 0, 0, 10, 11)) in left (resp. right) figure.
and endemic equilibria. In fact, for β„›0 (𝛽) ≀ 1 the infection subclasses go to extinction (Figure
7), but for β„›0 (𝛽) > 1 the behaviors of 𝐼 and 𝐿 depend on the domain of initial conditions, more
precisely the infection vanishes only for 𝐼(0) = 𝐿(0) = 0 (Figure 8). If birth and death rates are
equal then the behavior of infection subclasses goes to extinction for β„›0 (𝛿) ≀ 1 (Figure 4). The
infection persists if β„›0 (𝛽) > 1 for all initial conditions such that 𝐼(0) β‰  0 β‰  𝐿(0) (Figure 5).
Moreover, our results are illustrated by interesting numerical simulations for each cases.
This work could be continued, for example to see in what cases we must use control of the
disease in order to reduce infection or to eradicate it. We can also consider the interaction with
infected dog population and populations of sandflies and humans in order to obtain a more
global model.
Competing Interests
The authors declare that they have no competing interests.
Acknowledgment
This work was partially supported by the MESRS (Algeria), through CNEPRU research project
contract B02120100005.
References
[1] F. Boukhalfa, M. Helal, and A. Lakmeche, β€œVisceral leishmania model,” ITM web of conferences, vol. 4, Article
ID 01007, pp. 1–7, 2015.
[2] C. Castillo-Chavez and B. Song, β€œDynamical models of tuberculosis and their applications,” Mathematical
Biosciences and Engineering. MBE, vol. 1, no. 2, pp. 361–404, 2004.
[3] D. N. C. C. Costa, C. T. Codeço, M. A. Silva, and G. L. Werneck, β€œCulling Dogs in Scenarios of Imperfect
Control: Realistic Impact on the Prevalence of Canine Visceral Leishmaniasis,” PLoS Neglected Tropical
Diseases, vol. 7, no. 8, Article ID e2355, 2013.
doi:10.11131/2017/101263
Page 15
Research in Applied Mathematics
[4] O. Courtenay, R. J. Quinnell, L. M. Garcez, J. J. Shaw, and C. Dye, β€œInfectiousness in a cohort of brazilian dogs:
Why culling fails to control visceral leishmaniasis in areas of high transmission,” Journal of Infectious Diseases,
vol. 186, no. 9, pp. 1314–1320, 2002.
[5] C. Dye, β€œThe logic of visceral leishmaniasis control,” American Journal of Tropical Medicine and Hygiene, vol.
55, no. 2, pp. 125–130, 1996.
[6] I. M. ELmojtaba, J. Y. T. Mugisha, and M. Hashim, β€œVaccination model for visceral leishmaniasis with infective
immigrants,” Mathematical Methods in the Applied Sciences, vol. 36, no. 2, pp. 216–226, 2013.
[7] I. M. ELmojtaba, J. Y. T. Mugisha, and M. H. A. Hashim, β€œMathematical analysis of the dynamics of visceral
leishmaniasis in the Sudan,” Applied Mathematics and Computation, vol. 217, no. 6, pp. 2567–2578, 2010.
[8] K. K. Gorahava, J. M. Rosenberger, and A. Mubayi, β€œOptimizing insecticide allocation strategies based on houses
and livestock shelters for visceral leishmaniasis control in Bihar, India,” American Journal of Tropical Medicine
and Hygiene, vol. 93, no. 1, pp. 114–122, 2015.
[9] L. M. Ribas, V. L. Zaher, H. J. Shimozako, and E. Massad, β€œEstimating the optimal control of zoonotic visceral
leishmaniasis by the use of a mathematical model,” The Scientific World Journal, vol. 2013, Article ID 810380,
2013.
[10] A. Stauch, R. R. Sarkar, A. Picado et al., β€œVisceral leishmaniasis in the indian subcontinent: Modelling
epidemiology and control,” PLoS Neglected Tropical Diseases, vol. 5, no. 11, Article ID e1405, 2011.
[11] WHO., β€œControl of the leishmaniases,” WHO, Geneva, 2010, Report of a meeting of the WHO expert committee
on the control of leishmaniases. WHO Technical Report Series 949.
doi:10.11131/2017/101263
Page 16