Mathematical Analysis of Visceral Leishmaniasis Model

Similar documents
Mathematical Model of Tuberculosis Spread within Two Groups of Infected Population

Thursday. Threshold and Sensitivity Analysis

Mathematical Analysis of Epidemiological Models: Introduction

The E ect of Occasional Smokers on the Dynamics of a Smoking Model

A Mathematical Analysis on the Transmission Dynamics of Neisseria gonorrhoeae. Yk j N k j

GLOBAL DYNAMICS OF A MATHEMATICAL MODEL OF TUBERCULOSIS

Global Stability of a Computer Virus Model with Cure and Vertical Transmission

Mathematical Analysis of Epidemiological Models III

Stability of SEIR Model of Infectious Diseases with Human Immunity

GLOBAL STABILITY OF THE ENDEMIC EQUILIBRIUM OF A TUBERCULOSIS MODEL WITH IMMIGRATION AND TREATMENT

Introduction to SEIR Models

Delay SIR Model with Nonlinear Incident Rate and Varying Total Population

Global Analysis of an SEIRS Model with Saturating Contact Rate 1

A New Mathematical Approach for. Rabies Endemy

SIR Epidemic Model with total Population size

The Dynamic Properties of a Deterministic SIR Epidemic Model in Discrete-Time

Combating Leishmaniasis through Awareness Campaigning: A Mathematical Study on Media Efficiency

Analysis of SIR Mathematical Model for Malaria disease with the inclusion of Infected Immigrants

Analysis of a model for hepatitis C virus transmission that includes the effects of vaccination and waning immunity

Mathematical Epidemiology Lecture 1. Matylda Jabłońska-Sabuka

Mathematical Analysis of HIV/AIDS Prophylaxis Treatment Model

Simple Mathematical Model for Malaria Transmission

STUDY OF THE BRUCELLOSIS TRANSMISSION WITH MULTI-STAGE KE MENG, XAMXINUR ABDURAHMAN

A Delayed HIV Infection Model with Specific Nonlinear Incidence Rate and Cure of Infected Cells in Eclipse Stage

GLOBAL STABILITY OF A VACCINATION MODEL WITH IMMIGRATION

Research Article Modeling Computer Virus and Its Dynamics

Australian Journal of Basic and Applied Sciences. Effect of Personal Hygiene Campaign on the Transmission Model of Hepatitis A

Introduction: What one must do to analyze any model Prove the positivity and boundedness of the solutions Determine the disease free equilibrium

Australian Journal of Basic and Applied Sciences

STABILITY ANALYSIS OF A GENERAL SIR EPIDEMIC MODEL

Stability Analysis of a SIS Epidemic Model with Standard Incidence

GLOBAL STABILITY OF SIR MODELS WITH NONLINEAR INCIDENCE AND DISCONTINUOUS TREATMENT

Global Analysis of a Mathematical Model of HCV Transmission among Injecting Drug Users and the Impact of Vaccination

On CTL Response against Mycobacterium tuberculosis

Spotlight on Modeling: The Possum Plague

MODELING AND ANALYSIS OF THE SPREAD OF CARRIER DEPENDENT INFECTIOUS DISEASES WITH ENVIRONMENTAL EFFECTS

A Model on the Impact of Treating Typhoid with Anti-malarial: Dynamics of Malaria Concurrent and Co-infection with Typhoid

Epidemics in Two Competing Species

Applied Mathematics Letters

Non-Linear Models Cont d: Infectious Diseases. Non-Linear Models Cont d: Infectious Diseases

Research Article On the Stability Property of the Infection-Free Equilibrium of a Viral Infection Model

GlobalStabilityofStificrsImpactonMemeTransmissionModel. Global Stability of Stificrs Impact on Meme Transmission Model

Stochastic modelling of epidemic spread

A Stochastic Viral Infection Model with General Functional Response

Dynamical models of HIV-AIDS e ect on population growth

Behavior Stability in two SIR-Style. Models for HIV

Three Disguises of 1 x = e λx

Modeling and Global Stability Analysis of Ebola Models

Modelling of the Hand-Foot-Mouth-Disease with the Carrier Population

Qualitative Analysis of a Discrete SIR Epidemic Model

Mathematical Modeling and Analysis of Infectious Disease Dynamics

A Note on the Spread of Infectious Diseases. in a Large Susceptible Population

The death of an epidemic

Mathematical Model of Dengue Disease Transmission Dynamics with Control Measures

New results on the existences of solutions of the Dirichlet problem with respect to the Schrödinger-prey operator and their applications

TRANSMISSION DYNAMICS OF CHOLERA EPIDEMIC MODEL WITH LATENT AND HYGIENE COMPLIANT CLASS

Stability Analysis of an SVIR Epidemic Model with Non-linear Saturated Incidence Rate

Research Article Propagation of Computer Virus under Human Intervention: A Dynamical Model

A mathematical model for malaria involving differential susceptibility, exposedness and infectivity of human host

Accepted Manuscript. Backward Bifurcations in Dengue Transmission Dynamics. S.M. Garba, A.B. Gumel, M.R. Abu Bakar

LAW OF LARGE NUMBERS FOR THE SIRS EPIDEMIC

MATHEMATICAL MODELS Vol. III - Mathematical Models in Epidemiology - M. G. Roberts, J. A. P. Heesterbeek

The effect of population dispersal on the spread of a disease

Mathematical models on Malaria with multiple strains of pathogens

Modeling And Analysis Of An SVIRS Epidemic Model Involving External Sources Of Disease

Demographic impact and controllability of malaria in an SIS model with proportional fatality

Modeling Co-Dynamics of Cervical Cancer and HIV Diseases

Mathematical Modeling Applied to Understand the Dynamical Behavior of HIV Infection

Models of Infectious Disease Formal Demography Stanford Summer Short Course James Holland Jones, Instructor. August 15, 2005

A Mathematical Model for Transmission of Dengue

Research Article Global Dynamics of a Mathematical Model on Smoking

Research Article Hopf Bifurcation in an SEIDQV Worm Propagation Model with Quarantine Strategy

Lie Symmetries Analysis for SIR Model of Epidemiology

Modelling the spread of bacterial infectious disease with environmental effect in a logistically growing human population

Modeling the Transmission Dynamics and Control of Rabies in China

Analysis of a Vaccination Model for Carrier Dependent Infectious Diseases with Environmental Effects

HETEROGENEOUS MIXING IN EPIDEMIC MODELS

Stochastic Model for the Spread of the Hepatitis C Virus with Different Types of Virus Genome

Transmission in finite populations

Figure The Threshold Theorem of epidemiology

The dynamics of disease transmission in a Prey Predator System with harvesting of prey

arxiv: v1 [math.ds] 9 Nov 2017

Fixed Point Analysis of Kermack Mckendrick SIR Model

Bifurcation Analysis of a Vaccination Model of Tuberculosis Infection

Smoking as Epidemic: Modeling and Simulation Study

MODELING MAJOR FACTORS THAT CONTROL TUBERCULOSIS (TB) SPREAD IN CHINA

Global Analysis of a HCV Model with CTL, Antibody Responses and Therapy

Global Stability of SEIRS Models in Epidemiology

Mathematical modelling and controlling the dynamics of infectious diseases

Applications in Biology

Optimal control of vaccination and treatment for an SIR epidemiological model

Global Dynamics of an SEIRS Epidemic Model with Constant Immigration and Immunity

Multistate Modelling Vertical Transmission and Determination of R 0 Using Transition Intensities

Dynamics of a Networked Connectivity Model of Waterborne Disease Epidemics

IN mathematical epidemiology, deterministic models are

Global Properties for Virus Dynamics Model with Beddington-DeAngelis Functional Response

Reproduction numbers and sub-threshold endemic equilibria for compartmental models of disease transmission

EPIDEMIC MODELS I REPRODUCTION NUMBERS AND FINAL SIZE RELATIONS FRED BRAUER

Stability Analysis of a Quarantined Epidemic Model with Latent and Breaking-Out over the Internet

MODELING THE SPREAD OF DENGUE FEVER BY USING SIR MODEL. Hor Ming An, PM. Dr. Yudariah Mohammad Yusof

Transcription:

vol. 1 (2017), Article I 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, epartment of Mathematics, Univ. Sidi-Bel-Abbes, P.B. 89, Sidi- Bel-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 R 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 I 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 mhelal_abbes@yahoo.fr Editor Paul Bracken ates 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, 3405, 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 t let the dog population of size (t), 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 S(t), L(t) and I(t) respectively. Never-infected dogs category is partitioned into two subclasses who are uninfected and infected dogs, with sizes denoted by R(t) and Q(t) respectively (Figure 1). The sum S(t) + L(t) + I(t) + R(t) + Q(t) is the total population (t). 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 αβ(t) and into the resistant class is (1 α)β(t) 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 I 101263, 16 pages, 2017. doi:10.11131/2017/101263 Page 1

Figure 1: Compartmental model. CI(t)/(t), where C is the vectorial capacity of the sandfly population transmitting infection between dogs. It is denoted by CI(t)S(t)/(t) (resp. CI(t)R(t)/(t)) 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]) with initial conditions ds dl di dr dq = αβ CIS = CIS = σl δi, δs, (σ + δ) L, = (1 α) β CIR = CIR δq δr, S(0) 0, L(0) 0, I(0) 0, R(0) 0 and Q(0) 0. (2) From system (1), it follows that the total dog population (t) = S(t) + L(t) + I(t) + R(t) + Q(t) can be determined from the differential equation d = (β δ) which gives (t) = 0 e (β δ)t, where 0 = (0). Therefore 0 if β < δ, lim (t) = 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 E f = (S 0, L 0, I 0, R 0, Q 0 ) = (α, 0, 0, (1 α), 0) is locally asymptotically stable for R 0 (δ) = Cασ < 1, and unstable for R δ(σ+δ) 0 (δ) > 1. For R 0 (δ) > 1, the endemic equilibrium (1) doi:10.11131/2017/101263 Page 2

E = (S, L, I, R, Q α ) = ( is locally asymptotically stable., δ2 (R 0 (δ) 1) R 0 (δ) σc, δ(r 0(δ) 1), (1 α) C, (1 α)(r 0(δ) 1) R 0 (δ) R 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 R 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 E f = (S 0, L 0, I 0, R 0, Q 0 ) = (α, 0, 0, (1 α), 0) which exists always. If R 0 (δ) > 1, the system (1) admits a unique positive equilibrium E = (S, L, I, R, Q α ) = (, δ2 (R 0 1), δ(r 0 1), (1 α), (1 α)(r 0 1) R 0 σc C R 0 R 0 ) namely the endemic equilibrium. Theorem 2.2 (see [1]). Let β = δ. If R 0 (δ) < 1, then the disease free equilibrium (FE) E f of (1) is locally asymptotically stable. If R 0 (δ) > 1, E f is unstable. If R 0 (δ) > 1, the endemic equilibrium E of (1) is locally asymptotically stable. The first four equations of (1) are independent of Q, therefore the last equation of (1) can be omitted without loss of generality. Hence, system (1) is reduced to with initial conditions and (t) = 0 e (β δ)t. ds dl di dr The considered region for (3) is = αβ CIS = CIS = σl δi, δs, (σ + δ) L, = (1 α) β CIR δr S(0) 0, L(0) 0, I(0) 0, R(0) 0 (4) Γ = {(S, L, I, R) R 4 + \S + L + I + R }. which is positively invariant since all solutions of (3) in Γ remain there for all t 0. Let E f = (S 0, 0, 0, R 0 ) and E = (S, L, I, R ) be the equilibria of (3). (3) doi:10.11131/2017/101263 Page 3

2.1. Bifurcation analysis The case R 0 (δ) = 1 corresponding to C = C 1 = δ(σ+δ) ασ. To prove bifurcation for R 0 (δ) = 1, we use center manifold method described in Castillo- Chavez and Song [2]. To this aim, let x = (x 1, x 2, x 3, x 4 ) such that x 1 = S, x 2 = L, x 3 = I, x 4 = R. From (3) we obtain dx 1 dx 2 dx 3 dx 4 = αβ Cx 3 x 1 = Cx 3 x 1 βx 1 = f 1 (x, C), (σ + β) x 2 = f 2 (x, C), = σx 2 βx 3 = f 3 (x, C), = (1 α) β Cx 3 x 4 βx 4 = f 4 (x, C). (5) The linearization matrix of system (3) around the disease-free equilibrium for C = C 1 is A = δ 0 C 1 α 0 0 (σ + δ) C 1 α 0. 0 σ δ 0 0 0 (1 α)c 1 δ The eigenvalues of A are λ 1 = δ with multiplicity two, λ 2 = 0 and λ 3 = σ 2δ. Zero is a simple eigenvalue of A and the other eigenvalues have negative real parts. A right eigenvector W = (w 1, w 2, w 3, w 4 ) T such that AW = λ 2 W (corresponding to the zero eigenvalue) is W = ( σ+δ, 1, σ, (1 α) C 1σ ) T and the left eigenvector V = (v δ δ δ 2 1, v 2, v 3, v 4 ) such δ that VA = λ 2 V and V.W = 1 is V = (0,, δ(σ+δ), 0). σ+2δ σ(σ+2δ) Let a = 4 k,i,j=1 2 f v k w i w k j (α, 0, 0, (1 α), C x i x 1 ) j and b = 4 k,i=1 v k w i 2 f k x i C (α, 0, 0, (1 α), C 1 ). doi:10.11131/2017/101263 Page 4

The second partial derivatives of f 2 and f 3 are given by 2 f 2 x 1 x 3 = C, 2 f 2 x 2 1 x 1 x 2 x 1 x 4 = 0, 2 f 2 x 1 C = x 3, 2 f 2 x 2 2 x 1 x 2 x 2 x 3 x 2 x 4 = 0, 2 f 2 x 3 x 3 x 2 3 x 3 x 4 = 0, 2 f 2 x 3 C = x 1, 2 f 2 x 4 x 1 x 4 x 2 x 4 x 3 x 2 4 = 0, 2 f 3 x i x j = 0, 1 i, j 4. It follows that a = v 2 4 i,j=1 w i w j 2 f 2 x i x j (α, 0, 0, (1 α), C 1 ) and +v 3 4 i,j=1 w i w 2 f 3 j (α, 0, 0, (1 α), C x i x 1 ) j 2 f = 2v 2 w 1 w 2 3 (α, 0, 0, (1 α), C x 1 x 1 ) 3 σ(σ + δ) = 2 δ(σ + 2δ) < 0, b = v 2 4 i=1 w i 2 f 2 x i C (α, 0, 0, (1 α), C 1 ) +v 3 4 i=1 w 2 f 3 i x i C (α, 0, 0, (1 α), C 1 ) 2 f = v 2 w 2 3 x 3 C (α, 0, 0, (1 α), C 1 ) ασ = 2δ + σ > 0. Thus a < 0 and b > 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 R 0 (δ) = 1. When C crosses C 1, a disease free equilibrium E f changes its stability from stable to unstable. Correspondingly, a negative unstable equilibrium E for C < C 1, becomes positive and locally asymptotically stable for C > C 1 (Figure 2). doi:10.11131/2017/101263 Page 5

Figure 2: Bifurcation diagram for (3). 2.2. Global stability In this subsection we investigate the global asymptotic stability of disease free equilibrium E f and endemic equilibrium E. We state the following theorem. Theorem 2.4. If R 0 (δ) 1, then E f is globally asymptotically stable in Γ. If R 0 (δ) > 1, then E is globally asymptotically stable in Γ \ Λ where Λ = {(S, 0, 0, R) R 4 + \0 S + R }. Proof. To study the global stability, we reduce system (3) as follow ds dl di = αδ CIS = CIS = σl δi. δs, (σ + δ)l, Since S, L and I are independent of R, we study the system (6) in the closed set (6) Ω = {(S, L, I) R 3 + \0 S + L + I }. By means of a Lyapunov function we show that the disease free equilibrium E f globally asymptotically stable. is doi:10.11131/2017/101263 Page 6

We set V 1 (S, L, I) = 1 2S (S 0 S0 ) 2 σ + δ + L + σ I + 1 2 (S S0 + L + I) 2. V 1 (S, L, I) 0 and V 1 (S, L, I) = 0 if and only if S = S 0 and L = I = 0. Computing the time derivative of V 1, we find dv 1 = 1 S (S 0 S0 ) ds + dl σ + δ di + σ + (S ds S0 + L + I) ( + dl + di ) = 1 S 0 (S S0 ) ( αδ CIS δs ) + CIS (σ + δ) L σ + δ + (σl βi) + (S S 0 + L + I) (αδ δs δl δi) σ = ( S S 0 S 0 ) ( CIS δ(s S0 ) ) + CIS (σ + δ) L σ + δ + (σl δi) δ(s S 0 + L + I) 2 σ = δ S (S 0 S0 ) 2 + 2S S2 C ( S 0 S0 ) I + C σ + δ ( S0 δ σ )I δ(s S0 +L+I) 2. We can show that the coefficients of the term I in the last equality are negative. In fact, since S 0 = α and R 0 (δ) = Cσα, we have δ(δ+σ) S0 C σ+δ δ = Cα(R 0(δ) 1), which is negative σ R 0 (δ) for R 0 (δ) 1. Further, we have 2S S2 S 0 0 for S 0. S 0 Thus, for R 0 (δ) 1 we have dv 1 (S, I, L) 0 for all (S, L, I) Ω. And dv 1 only if (S, L, I) = (S 0, 0, 0) holds. = 0 if and Thus, the only invariant set contained in Ω is { E f }. Hence, LaSalle s theorem implies convergence of the solutions (S, L, I) to (S 0, 0, 0) if initial values are in Ω. Further, we have lim I(t) = 0 ε > 0, A t + ε > 0 such that for t > A ε we have I(t) < ε. Let ε > 0, from equation four of system (3) we have (ε C + δ)r + (1 α)δ d R(t) ( ε C + δ)r + (1 α)δ. doi:10.11131/2017/101263 Page 7

After integrating between A ε and t we obtain (1 α)δ ε C + δ (1 α)δ lim R(t) ε C + δ for all ε such that 0 < ε < δ. Thus lim C R(t) = (1 α) = R0. Therefore, for R 0 (δ) 1 the disease free equilibrium E f is globally asymptotically stable in Γ. Let V 2 (S, L, I) = δ CS (S S S ln S S ) + δ CS (L L L ln L L ) + (I I I ln I I ) for (S, L, I) Γ \ Λ. Then, we have dv 2 = δ S (1 CS S )ds + δ L (1 CS L )dl + (1 I I )di = δ CS ( δ S (S S ) 2 CS S (I I )(S S ) C (S S S S )I S ) + δ CS (CIS +(σl δi I (σ + δ)l L CIS L + L (σ + δ)) I σl + I δ) = δ CS ( δ S (S S ) 2 + CS 2 I S CS 2 I S C IS C I S 2 S + 2 C S I) + δ CS ( C CL IS IS (σ + δ)l L + L (σ + δ)) +σl δi I I σl + I δ = δ δ CS S (S S ) 2 + δi δs I δ IS + δi S S + δ S δ δl IS IS (σ + δ)l CS S L + δ CS L (σ + δ) +σl δi I I σl + I δ = δ δ CS S (S S ) 2 + 2δI δs I + S ( σ δ CS (σ + δ) ) L δl S IS L + δ CS L (σ + δ) I I σl. doi:10.11131/2017/101263 Page 8

Since S = δ(σ + δ) Cσ and L = δ σ I, we have dv 2 = σ δ σ + δ S (S S ) 2 + 3δI δs I δl IS S S L I I σl = σ δ σ + δ S (S S ) 2 δi ( S δ I S σ L + S S + σ L δ I 3) which is negative if ( S δ I + S + σ L 3) is positive. S σ L S δ I Set u = S S and v = σ δ L I and consider the function h(u, v) = u + v + 1 vu 3. Computing the first derivatives of h, we have h(u,v) u Moreover h(1,1) u = 0 and h(1,1) v derivatives of h, we have 2 h(u,v) u v We obtain = 1 1 h(u,v) and = 1 1 u 2 v v = 0, thus (1, 1) is a critical point of h. For the second = 1, 2 h(u,v) = 2 and 2 h(u,v) = 2. u 2 v 2 u 2 vu 3 v 2 uv 3 2 2 h(1, 1) Hess(h)(1, 1) = 2 h(1, 1) 2 h(1, 1) = 3. ( u v ) u 2 v 2 uv 2. We have Hess(h)(1, 1) < 0 and 2 h(1,1) u 2 point (u, v) = (1, 1). > 0, therefore the function h has a minimum Moreover, h(1, 1) = 0 and h 0 which imply that ( S δ I + S + σ L 3) is positive. S σ L S δ I Thus d V 2 (S, L, I) 0. The function V 2 is a Lyapunov function for system (6), and d V 2 (S, L, I) = 0 if and only if S = S and σl = δi. Looking at the first equation in system (6) for S = S we obtain I = I. Hence L = L and the equilibrium (S, L, I ) is the only point satisfying d V 2 (S, L, I) = 0. Thus the only invariant set contained in Ω is { E }, hence LaSalle s theorem implies convergence of the solutions (S, L, I) to (S, L, I ) for all initial values in Ω \ Σ where Σ = {(S, 0, 0) R 3 + \0 S }. Moreover, using the procedure above, we can show that lim R(t) = R. Therefore, for R 0 (δ) > 1 the endemic equilibrium E is globally asymptotically stable in Γ \ Λ. doi:10.11131/2017/101263 Page 9

Remark 2.1. If R 0 (δ) > 1 and the initial conditions (S(0), L(0), I(0), R(0)) Γ with (S(0), L(0), I(0)) Σ, then the solution of (3) converges to the disease free equilibrium E f. Corollary 2.1. If R 0 (δ) 1, then E f is globally asymptotically stable in Γ = {(S, L, I, R, Q) R 5 \S + L + I + R + Q = }. If R 0 (δ) > 1, then E is globally asymptotically stable in Γ \Λ where Λ = {(S, 0, 0, R, Q) R 5 + \0 S + R + Q }. In addition, if the initial conditions (S(0), L(0), I(0), R(0)) Λ then the solution of (1) converges to the disease free equilibrium E f. 3. Non Constant Total Population (Case δ β) Let us introduce new non-dimensional variables s = S, l = L, i = I, r = R and q = Q. We obtain the system with initial conditions s = αβ Cis βs, l = Cis (σ + β)l, i = σl βi, r = (1 α) β Cir βr, q = Cir βq (7) s(0) 0, l(0) 0, i(0) 0, r(0) 0, q(0) 0. (8) 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 q and s + l + i + r + q = 1. Therefore the last equation can be omitted without loss of generality. Hence, system (7) can be reduced to We study (9) in the closed set s = αβ Cis βs, l = Cis (σ + β)l, i = σl βi, r = (1 α) β Cir βr. (9) Γ 1 = {(s, l, i, r) R 4 + \0 s + l + i + r 1}. doi:10.11131/2017/101263 Page 10

Figure 3: Bifurcation diagram for system (1). In left figure, the initial conditions (S(0), L(0), I(0), R(0), Q(0)) = σ+ σ2 +4Cσα Γ 0 \Λ 0, whenever β > δ and β > β 1 the disease dies out while the total population increases 2 exponentially. Although the disease spreads (that is, the number of infected grows in total number) when β 1 < β. In right figure, the initial conditions (S(0), L(0), I(0), R(0), Q(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 R 0 (β) = Cασ β(σ + β). From Theorem 2.4 and Remark 2.1 we deduce the following results. Theorem 3.1. (i) If R 0 (β) 1, then e f = (s 0, l 0, i 0, r 0 ) = (α, 0, 0, 1 α) is the only equilibrium of (9), namely disease free equilibrium, it is globally asymptotically stable in Γ 1. (ii) If R 0 (β) > 1, then e f is unstable and there exists a unique endemic equilibrium e = (s, l, i, r ) = ( α ) of (9), it is globally asymptotically stable in Γ 1 \ Λ 1., β2 (R 0 1) R 0 σc, β(r 0 1), (1 α) C R 0, (1 α)(r 0 1) R 0 (iii) If R 0 (β) > 1, then for all initial conditions (s(0), l(0), i(0), r(0)) Λ 1 the solution of (9) converges to the disease free equilibrium e f. From Theorem 3.1 we deduce the following results. Corollary 3.1. If β < δ, then lim S(t) = lim L(t) = lim I(t) = lim R(t) = lim Q(t) = 0. Corollary 3.2. Let β > δ. (i) If R 0 (β) 1, then for all initial conditions (S(0), L(0), I(0), R(0), Q(0)) Γ 0 we have lim S(t) = lim R(t) = + and lim L(t) = lim I(t) = lim Q(t) = 0. doi:10.11131/2017/101263 Page 11

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 R 0 (β) > 1, then for all initial conditions (S(0), L(0), I(0), R(0), Q(0)) Γ 0 \Λ 0 we have lim S(t) = lim L(t) = lim I(t) = lim R(t) = lim Q(t) = +. (iii) If R 0 (β) > 1, then for all initial conditions (S(0), L(0), I(0), R(0), Q(0)) Λ 0 we have lim S(t) = lim R(t) = + and lim L(t) = lim I(t) = lim Q(t) = 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 R 0 (δ) 1, the disease free equilibrium E f is globally asymptotically stable in Γ (see Figure 4). (2) When R 0 (δ) > 1, the endemic equilibrium E is globally asymptotically stable in Γ \Λ and if the initial condition is in Λ, the solution tends to disease free equilibrium E f (see Figure 5). 4.2. Case β < δ In this case we have extinction of total dog population (see Figure 6). 4.3. Case β > δ (1) When R 0 (β) 1 (i.e. β > β 1 ), the disease dies that is lim L(t) = I(t) = Q(t) = 0, and total dog population increases exponentially, that is lim N(t) = S(t) = R(t) = (see Figure 7). doi:10.11131/2017/101263 Page 12

Figure 4: Simulation results for R 0 (δ) = 0.4806, C = 0.0015 and initial condition (S(0), L(0), I(0), R(0), Q(0)) = (4, 5, 20, 10, 11) Figure 5: Simulation results for R 0 (δ) = 8.9076, C = 0.0278 and initial condition (S(0), L(0), I(0), R(0), Q(0)) = (4, 5, 20, 10, 11) (resp. (S(0), L(0), I(0), R(0), Q(0)) = (29, 0, 0, 10, 11)) in left (resp. right) figure. (2) When R 0 (β) > 1 (i.e. β < β 1 ), all subclasses of grow and we have lim L(t) = I(t) = Q(t) = S(t) = R(t) = if the initial condition is in Γ \Λ. The disease dies if the initial condition is in Λ, in this case we have lim L(t) = I(t) = Q(t) = 0 and lim N(t) = S(t) = R(t) = (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 E f to the endemic equilibrium E (Theorem 3), where stability is transmitted from E f to E, the bifurcation studied with respect to the force of infection C, this is possible doi:10.11131/2017/101263 Page 13

Figure 6: Simulation results for R 0 (β) = 5.3659, C = 0.0278 and initial condition (S(0), L(0), I(0), R(0), Q(0)) = (4, 5, 20, 10, 11). Figure 7: Simulation results for R 0 (β) = 0.2895, C = 0.0015 and initial condition (S(0), L(0), I(0), R(0), Q(0)) = (4, 5, 20, 10, 11). for C = C 1 corresponding to the basic reproduction number R 0 (δ) = 1. In Theorem 4, we have found Lyapunov functions to prove the global stability of equilibria E f and E. These results allow us to find a global asymptotic stability domains of E f and E (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 R 0 (β) and on domains of global asymptotic stability of the disease free doi:10.11131/2017/101263 Page 14

Figure 8: Simulation results for R 0 (δ) = 5.3659, C = 0.0278 and initial condition (S(0), L(0), I(0), R(0), Q(0)) = (4, 5, 20, 10, 11) (resp. (S(0), L(0), I(0), R(0), Q(0)) = (29, 0, 0, 10, 11)) in left (resp. right) figure. and endemic equilibria. In fact, for R 0 (β) 1 the infection subclasses go to extinction (Figure 7), but for R 0 (β) > 1 the behaviors of I and L depend on the domain of initial conditions, more precisely the infection vanishes only for I(0) = L(0) = 0 (Figure 8). If birth and death rates are equal then the behavior of infection subclasses goes to extinction for R 0 (δ) 1 (Figure 4). The infection persists if R 0 (β) > 1 for all initial conditions such that I(0) 0 L(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 I 01007, pp. 1 7, 2015. [2] C. Castillo-Chavez and B. Song, ynamical models of tuberculosis and their applications, Mathematical Biosciences and Engineering. MBE, vol. 1, no. 2, pp. 361 404, 2004. [3]. N. C. C. Costa, C. T. Codeço, M. A. Silva, and G. L. Werneck, Culling ogs in Scenarios of Imperfect Control: Realistic Impact on the Prevalence of Canine Visceral Leishmaniasis, PLoS Neglected Tropical iseases, vol. 7, no. 8, Article I e2355, 2013. doi:10.11131/2017/101263 Page 15

[4] O. Courtenay, R. J. Quinnell, L. M. Garcez, J. J. Shaw, and C. ye, Infectiousness in a cohort of brazilian dogs: Why culling fails to control visceral leishmaniasis in areas of high transmission, Journal of Infectious iseases, vol. 186, no. 9, pp. 1314 1320, 2002. [5] C. ye, 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 I 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 iseases, vol. 5, no. 11, Article I 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