Skip to main content

Enhancing reservoir control in the co-dynamics of HIV-VL: from mathematical modeling perspective


HIV patients are vulnerable to developing active visceral leishmaniasis (VL). To understand this complication, we studied a mathematical model for HIV and visceral leishmaniasis coinfection. In this approach, we reckoned two distinct equilibria: the disease-free and the endemic equilibria. The local and global stability of the disease-free equilibrium were thoroughly investigated. To further support the qualitative findings, we performed simulations to quantify the changes of the dynamical behavior of the full model for variation of relevant parameters. Increasing the rate of VL recovery (\(\phi _{1}\)), the recovery rate for VL–HIV Co-infection (\(\phi _{2}\)), removing reservoirs (\(c_{1}\)), minimizing the contact rate (\(\beta _{h}\)) are important in controlling the transmission of individual and co-infection disease of VL and HIV. In conclusion, possible measures should be implemented to reduce the number of infected individuals. Therefore, we recommend that policy makers and stakeholders incorporate these measures during planing and implementation phases to control the transmission of VL–HIV co-infection.


Visceral leishmaniasis (VL) also known as ‘Kala-azar’ is a vector borne, zoonotic disease caused by Leishmania donovani species [1, 2]. There are more than 20 species of leishmania that can cause human infection. The infection is transmitted following a successful bite and inoculation by the infected phlebotomine female sand flies [3, 4]. The World Health Organization(WHO) considers leishmaniasis as the sixth most important endemic disease in the world [5], and it is distributed around the world in 90 countries [6], most of which are developing countries associated with malnutrition, population displacement, poor housing, a weak immune system, and lack of financial resources [6]. WHO estimated that from about 900,000 to 1.3 million new cases of leishmaniasis are reported per year [1, 2, 6, 7]; of these, approximately 0.2–0.4 million are of visceral leishmaniasis (VL) [6, 7]. The spread of the disease is linked to environmental changes such as deforestation, building of dams, irrigation schemes, and urbanization [7].

Human immunodeficiency virus (HIV) is the etiological agent responsible for the acquired immunodeficiency syndrome (AIDS) [8]. There are multiple modes of HIV transmission including sexual intercourse, sharing needles with HIV-infected persons, or via HIV-contaminated blood transfusions and others [8]. It is estimated that 36.7 million people worldwide are living with HIV [7] and 2.0 million new infections are reported per year [7, 9]. Also approximately one million died of HIV-related causes globally [10].

It is expected that there is an overlap between the transmission areas of HIV and leishmaniasis. Due to this fact there have been an increasing number of cases of VL–HIV co-infection, which has spread throughout the world [4, 7]. The co-infection has been reported in 35 countries [11, 12]. So that VL–HIV co-infection is an emerging new threat to global public health and development [4, 11, 12].

Mathematical modeling has a great role in describing the dynamics of infectious diseases in a community [13, 14]. Several scholars have developed different models for HIV, VL, and their co-infection with other diseases to study their transmission dynamics. For example, many mathematical models have been developed to understand the transmission nature of HIV [9, 1518] and VL [1925] explicitly. In addition, some co-infection models for HIV and malaria [26], HIV-TB [8] and VL and malaria [5] were proposed and analyzed. Hussaini et al. [27] recently presented a mathematical model to study the transmission dynamics of HIV and VL co-infection. In developing their model, they took into account the human and sand fly populations. However, they did not consider the reservoir population for VL and co-infection transmission dynamics in their assumption. Reservoirs are important for maintaining the life cycle of many leishmania species and hence are important for transmission of zoonotic and rural/sylvatic infections. Reservoirs acquire infection with leishmaniasis following contact with infected sand flies, and they are infected to their life time. Treating humans while removing reservoirs from the system reduces the fraction of infected sand flies, which gives a good control strategy against the disease [3, 21].

In this study, we formulated and analyzed mathematical model for VL–HIV co-infection, which incorporates the key epidemiological and biological features of each of the two diseases by considering the reservoir population for VL transmission.

The paper is organized as follows: In Sect. 2, the mathematical model of HIV–VL is presented together with a set of definitions and basic underlying hypotheses. The formulated HIV–VL mathematical model is analyzed in Sect. 3. In Sect. 4 numerical simulations to give a better interpretation of the analytical results were reported. The last part, Sect. 5, is devoted to the discussion and conclusions.

Baseline model formulation

In this work, the population that has been considered is classified into three sub-populations, namely the human population, the sand fly population, and the reservoir population; each of them are again divided into different states. The human population \(N_{h}(t)\) that are sexually active in a certain community are sub-divided into susceptible individuals \(S_{h}(t)\), individuals infected with visceral leishmaniasis (VL) only \(I_{hl}(t)\), HIV only infected individuals without clinical symptoms of AIDS \(I_{hh}(t)\), individuals co-infected with VL and HIV with no clinical symptoms of AIDS \(I_{hhl}(t)\), HIV infected individuals with AIDS symptoms \(A_{h}(t)\), and co-infected individuals both with clinical symptoms of AIDS and VL \(A_{hl}(t)\).

The number of susceptible individuals can be increased by a constant rate of recruitment \(\Lambda _{h}\) and recovery from only VL infected class with a rate \(\phi _{1}\) and diminished by natural death rate \(\mu _{h}\), forces of infection \(\lambda _{h}\) and \(\lambda _{l}\) from HIV only and VL only infections, respectively. A susceptible individual can acquire VL infection following the effective contact with VL infected single sand fly at a rate of \(\lambda _{l}\), and he/she also acquires HIV at a rate of \(\lambda _{h}\) if the individual is in effective contact with an HIV infected individual. Once the susceptible individuals are infected with either of infections, they will transfer to the respective infection classes (either \(I_{hh}(t)\) or \(I_{hl}(t)\)). In this co-infection model the natural death rate \(\mu _{h}\) is assumed equal for all human population classes. For a more detailed description of the parameters, refer to Table 1. Thus, the total human population is given by

$$ N_{h}(t)=S_{h}(t) + I_{hl}(t) + I_{hh}(t) + I_{hhl}(t) + A_{h}(t) + A_{hl}(t). $$

The second sub-population of the model, the sand fly population \(N_{s}(t)\), has two sub-classes denoted by \(S_{s}(t)\) and \(I_{s}(t)\) at time t representing susceptible and infected sand flies, respectively. The susceptible sand flies can be recruited at a rate of \(\Lambda _{s}\) through birth to the sand fly population. The natural death rate of the sand fly is denoted by \(\mu _{s}\), it can contribute to the reduction of the sand fly susceptible class. This sums the total sand fly population to

$$ N_{s}(t) = S_{s}(t) + I_{s}(t). $$

The last sub-population considered in this disease dynamics study is the reservoir population \(N_{r}(t)\) at time t, which is also categorized into two groups; the susceptible class \(S_{r}(t)\) and the infected reservoir \(I_{r}(t)\). Thus, the total reservoir population is given by

$$ N_{r}(t) = S_{r}(t) + I_{r}(t). $$

The forces of infection associated with HIV/AIDS, VL, sand flies and reservoir population are denoted by \(\lambda _{h}\), \(\lambda _{l}\), \(\lambda _{s}\), and \(\lambda _{r}\), respectively, and are given as follows:

$$\begin{aligned} &\lambda _{h}= \beta _{h} \biggl\lbrace \frac{(I_{hh} + \eta _{hh}I_{hhl}) + \eta _{A}(A_{h} + \eta _{hl}A_{hl})}{N_{h}} \biggr\rbrace , \\ &\lambda _{l}= a_{l}b_{l}\frac{I_{s}}{N_{h}}, \\ &\lambda _{s}= a_{l}c_{l} \biggl\lbrace \frac{I_{hl} + I_{hhl} + A_{hl}}{N_{h}} + \frac{I_{r}}{N_{r}} \biggr\rbrace , \\ &\lambda _{r}= a_{l}b_{l}\frac{I_{s}}{N_{r}}. \end{aligned}$$

Considering the formulations and assumptions above with the compartmental diagram in Fig. 1, the HIV/AIDS–VL co-infection model can be described by the following system of ordinary differential equations:

$$\begin{aligned} &S_{h}^{\prime }= \Lambda _{h} + \phi _{1}I_{hl} -\mu _{h}S_{h}- a_{l}b_{l}I_{s} \frac{S_{h}}{N_{h}} - \beta _{h} \bigl\lbrace (I_{hh} + \eta _{hh}I_{hhl}) + \eta _{A}(A_{h} + \eta _{hl}A_{hl}) \bigr\rbrace \frac{S_{h}}{N_{h}}, \\ &I_{hl}^{\prime }= a_{l}b_{l}I_{s} \frac{S_{h}}{N_{h}} - \beta _{h} \bigl\lbrace (I_{hh} + \eta _{hh}I_{hhl}) + \eta _{A}(A_{h} + \eta _{hl}A_{hl}) \bigr\rbrace \frac{I_{hl}}{N_{h}} - (\phi _{1} + \delta _{l} + \mu _{h})I_{hl}, \\ &I_{hh}^{\prime }= \beta _{h} \bigl\lbrace (I_{hh} + \eta _{hh}I_{hhl}) + \eta _{A}(A_{h} + \eta _{hl}A_{hl}) \bigr\rbrace \frac{S_{h}}{N_{h}} + \phi _{2} I_{hhl} - a_{l}b_{l}I_{s}\frac{I_{hh}}{N_{h}} - (\mu _{h} + \kappa )I_{hh}, \\ &I_{hhl}^{\prime }= \beta _{h} \bigl\lbrace (I_{hh} + \eta _{hh}I_{hhl}) + \eta _{A}(A_{h} + \eta _{hl}A_{hl}) \bigr\rbrace \frac{I_{hl}}{N_{h}} \\ &\hphantom{I_{hhl}^{\prime }=}{}+ a_{l}b_{l}I_{s} \frac{I_{hh{}}}{N_{h}} - (\phi _{2} + \varepsilon _{1}\kappa + \mu _{h} + \tau \delta _{l})I_{hhl}, \\ &A_{h}^{\prime }= \kappa I_{hh} + \phi _{3} A_{hl} - \varepsilon _{2}a_{l}b_{l} I_{s} \frac{A_{h}}{N_{h}} - (\delta _{A} + \mu _{h})A_{h}, \\ &A_{hl}^{\prime }= \varepsilon _{1} \kappa I_{hhl} + \varepsilon _{2}a_{l}b_{l} I_{s} \frac{A_{h}}{N_{h}} - (\phi _{3} + \delta _{hl} + \mu _{h})A_{hl}, \\ &S_{s}^{\prime }= \Lambda _{s} - a_{l}c_{l} \biggl( \frac{I_{hl} + I_{hhl} + A_{hl}}{N_{h}} + \frac{I_{r}}{N_{r}} \biggr)S_{s} - \mu _{s} S_{s}, \\ &I_{s}^{\prime }= a_{l}c_{l} \biggl( \frac{I_{hl} + I_{hhl} + A_{hl}}{N_{h}} + \frac{I_{r}}{N_{r}} \biggr)S_{s} - \mu _{s} I_{s}, \\ &S_{r}^{\prime }= \Lambda _{r} - a_{l}b_{l} I_{s}\frac{S_{r}}{N_{r}} - \mu _{r} S_{r}, \\ &I_{r}^{\prime }= a_{l}b_{l} I_{s}\frac{S_{r}}{N_{r}} - \mu _{r} I_{r}. \end{aligned}$$

The rates of change for the total human population, the sand fly population, and the reservoir population with change in time are as follows:

$$\begin{aligned} &N_{h}^{\prime }= \Lambda _{h} - \mu _{h} N_{h} - (\delta _{l} I_{hl} + \tau \delta _{l} I_{hhl} + \delta _{A} A_{h} + \delta _{hl} A_{hl}), \\ &N_{s}^{\prime }= \Lambda _{s} - \mu _{s} N_{s}, \\ &N_{r}^{\prime }= \Lambda _{r} - \mu _{r} N_{r}, \end{aligned}$$

where \(\phi _{2}=\iota _{1}\phi _{1}\), \(\phi _{3}=\iota _{2}\phi _{1}\), \(\delta _{hl}=\epsilon \delta _{A} + \tau \delta _{l}\).

Figure 1

Compartmental diagram of HIV–VL on co-infectious

Table 1 Parameter descriptions of the HIV–VL co-infection model

Invariant region

The system in (1) describes the epidemiological dynamics of the human population, the sand fly population, and the reservoir population. If disease specific induced death rates are assumed negligible (\(\delta _{l}=0=\delta _{A}=\delta _{hl}\)), then

$$ \lim_{t\rightarrow \infty }\sup N_{h}(t)= \frac{\Lambda _{h}}{\mu _{h}},\qquad \lim_{t\rightarrow \infty }\sup N_{s}(t)= \frac{\Lambda _{s}}{\mu _{s}}, \quad \text{and}\quad \lim_{t\rightarrow \infty } \sup N_{r}(t)= \frac{\Lambda _{r}}{\mu _{r}}. $$

Thus, the feasible region is

$$\begin{aligned} \Omega ={}& \biggl\lbrace (S_{h},I_{hl},I_{hh},I_{hhl},A_{h},A_{hl},S_{s},I_{s},S_{r},I_{r} )\in \mathbb{R}_{+}^{10} : S_{h},I_{hl},I_{hh},I_{hhl},A_{h},A_{hl}, \\ &{} S_{s},I_{s},S_{r},I_{r} \geq 0, N_{h} \leq \frac{\Lambda _{h}}{\mu _{h}}, N_{s} \leq \frac{\Lambda _{s}}{\mu _{s}}, N_{r} \leq \frac{\Lambda _{r}}{\mu _{r}} \biggr\rbrace . \end{aligned}$$

All the model parameters and variables are nonnegative. If nonnegative initial values of the state variables are taken from this region, then the solution of system (1) will remain in Ω. Therefore, this region is a positively invariant set, and hence studying the dynamics of model (1) in the biologically meaningful and mathematically well-posed region Ω is sufficient.

Analysis of the HIV/AIDS–VL co-infection model

Model analysis is an important part in modeling the epidemiological phenomenon to find the qualitative and theoretical results. Before proceeding to further analysis, nondimensionalizing the sub-populations as seen below helps to study the proportion of each of the state variables.

$$\begin{aligned} &s_{h}(t)=\frac{S_{h}(t)}{N_{h}(t)},\qquad i_{hl}(t)= \frac{I_{hl}(t)}{N_{h}(t)},\qquad i_{hh}(t)=\frac{I_{hh}(t)}{N_{h}(t)}, \\ & i_{hhl}(t)= \frac{I_{hhl}(t)}{N_{h}(t)},\qquad a_{h}(t)= \frac{A_{h}(t)}{N_{h}(t)}, \\ & a_{hl}(t)=\frac{A_{hl}(t)}{N_{h}(t)},\qquad s_{s}(t)= \frac{S_{s}(t)}{N_{s}(t)},\qquad i_{s}(t)=\frac{I_{s}(t)}{N_{s}(t)}, \\ & s_{r}(t)= \frac{S_{r}(t)}{N_{r}(t)},\qquad i_{r}(t)= \frac{I_{r}(t)}{N_{r}(t)}. \end{aligned}$$

Here, it can be defined that \(p=\frac{N_{s}}{N_{h}}\) and \(q=\frac{N_{s}}{N_{r}}\) are the female sand fly–human ratio and female sand fly–reservoir ratio [5], respectively, and they can be assumed as constants [28]. Then the new deterministic model for the above re-scaled classes is as follows:

$$ \begin{aligned} &s_{h}^{\prime }= \frac{\Lambda _{h}}{N_{h}} + \phi _{1}i_{hl} - a_{l}b_{l} p i_{s} s_{h} - \beta _{h} \bigl\lbrace (i_{hh} + \eta _{hh}i_{hhl}) + \eta _{A}(a_{h} + \eta _{hl}a_{hl}) \bigr\rbrace s_{h} \\ &\hphantom{s_{h}^{\prime }=}{} - \biggl( \frac{\Lambda _{h}}{N_{h}} -(\delta _{l}i_{hl} + \tau \delta _{l}i_{hhl} + \delta _{A}a_{h} + \delta _{hl}a_{hl}) \biggr) s_{h}, \\ &i_{hl}^{\prime }= a_{l}b_{l} p i_{s} s_{h} - \beta _{h} \bigl\lbrace (i_{hh} + \eta _{hh}i_{hhl}) + \eta _{A}(a_{h} + \eta _{hl}a_{hl}) \bigr\rbrace i_{hl} - \phi _{1} i_{hl} \\ &\hphantom{i_{hl}^{\prime }=}{} - \biggl( \frac{\Lambda _{h}}{N_{h}} + \delta _{l} -( \delta _{l}i_{hl} + \tau \delta _{l}i_{hhl} + \delta _{A}a_{h} + \delta _{hl}a_{hl}) \biggr) i_{hl}, \\ &i_{hh}^{\prime }= \beta _{h} \bigl\lbrace (i_{hh} + \eta _{hh}i_{hhl}) + \eta _{A}(a_{h} + \eta _{hl}a_{hl}) \bigr\rbrace s_{h} + \phi _{2} i_{hhl} - a_{l}b_{l}pi_{s}i_{hh} \\ &\hphantom{i_{hh}^{\prime }=}{} - \kappa i_{hh} - \biggl( \frac{\Lambda _{h}}{N_{h}} -( \delta _{l}i_{hl} + \tau \delta _{l}i_{hhl} + \delta _{A}a_{h} + \delta _{hl}a_{hl}) \biggr) i_{hh}, \\ &i_{hhl}^{\prime }= \beta _{h} \bigl\lbrace (i_{hh} + \eta _{hh}i_{hhl}) + \eta _{A}(a_{h} + \eta _{hl}a_{hl}) \bigr\rbrace i_{hl} + a_{l}b_{l} p i_{s} i_{hh} \\ & \hphantom{i_{hhl}^{\prime }=}{}- \biggl( \frac{\Lambda _{h}}{N_{h}} + \phi _{2} + \varepsilon _{1} \kappa + \tau \delta _{l} - (\delta _{l}i_{hl} + \tau \delta _{l}i_{hhl} + \delta _{A}a_{h} + \delta _{hl}a_{hl}) \biggr) i_{hhl}, \\ &a_{h}^{\prime }= \kappa i_{hh} + \phi _{3} a_{hl} - \varepsilon _{2}a_{l}b_{l}p i_{s} a_{h} - \biggl( \frac{\Lambda _{h}}{N_{h}} + \delta _{A} - ( \delta _{l}i_{hl} + \tau \delta _{l}i_{hhl} + \delta _{A}a_{h} + \delta _{hl}a_{hl}) \biggr) a_{h}, \\ &a_{hl}^{\prime }= \varepsilon _{1} \kappa i_{hhl} + \varepsilon _{2}a_{l}b_{l}p i_{s} a_{h} - \biggl( \frac{\Lambda _{h}}{N_{h}} + \phi _{3} + \delta _{hl} - (\delta _{l}i_{hl} + \tau \delta _{l}i_{hhl} + \delta _{A}a_{h} + \delta _{hl}a_{hl}) \biggr) a_{hl}, \\ &s_{s}^{\prime }= \frac{\Lambda _{s}}{N_{s}} - a_{l}c_{l} (i_{hl} + i_{hhl} + a_{hl} + i_{r} )s_{s} - \frac{\Lambda _{s}}{N_{s}} s_{s}, \\ &i_{s}^{\prime }= a_{l}c_{l} (i_{hl} + i_{hhl} + a_{hl} + i_{r} )s_{s} - \frac{\Lambda _{s}}{N_{s}} i_{s} \\ &s_{r}^{\prime }=\frac{ \Lambda _{r}}{N_{r}} - a_{l}b_{l}q i_{s} s_{r} - \frac{\Lambda _{r}}{N_{r}} s_{r}, \\ &i_{r}^{\prime }= a_{l}b_{l}q i_{s} s_{r} - \frac{\Lambda _{r}}{N_{r}} i_{r} \end{aligned} $$

with the biologically feasible region of

$$\begin{aligned} \Phi ={}& \bigl\lbrace (s_{h},i_{hl},i_{hh},i_{hhl},a_{h},a_{hl},s_{s},i_{s},s_{r},i_{r} )\in \mathbb{R}_{+}^{10} : 0 \leq s_{h} , i_{hl} , i_{hh} , i_{hhl}, \\ &{} a_{h} , a_{hl} \leq 1, 0 \leq s_{s} , i_{s} \leq 1, 0 \leq s_{r} , i_{r} \leq 1 \bigr\rbrace . \end{aligned}$$

Region Φ is a positively invariant domain, and it is mathematically well-posed under system (2). Now it is possible to proceed to the detailed analysis of epidemiological model (2).

Disease-free equilibrium and basic reproduction number

Studying the possibility of the population to be invaded has paramount importance. Here the disease-free state that shows the absence of the diseases is investigated. The DFE for system (2) is given by

$$\mathcal{E}_{0}= \bigl(s_{h}^{*},i_{hl}^{*},i_{hh}^{*},i_{hhl}^{*},a_{h}^{*},a_{hl}^{*},s_{s}^{*},i_{s}^{*},s_{r}^{*},i_{r}^{*} \bigr)= ( 1, 0, 0, 0, 0, 0, 1, 0, 1, 0 ). $$

Using the next generation approach (see [29, 30]), \(\mathcal{F}\) and \(\mathcal{V}\) stand for new infections and transition of infection rates, respectively. The partial derivatives of \(\mathcal{F}\) and \(\mathcal{V}\) with respect to each non-susceptible class are denoted by F and V, respectively, where

F= ( 0 0 0 0 0 a l b l p 0 0 β h β h η h l β h η A β h η A η h l 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 a l c l 0 a l c l 0 a l c l 0 a l c l 0 0 0 0 0 a l b l q 0 )


V= ( v 11 0 0 0 0 0 0 0 v 22 ϕ 2 0 0 0 0 0 0 v 33 0 0 0 0 0 κ 0 v 44 ϕ 3 0 0 0 0 ε 1 κ 0 v 55 0 0 0 0 0 0 0 μ s 0 0 0 0 0 0 0 μ r ) ,

where \(v_{11}= \phi _{1} + \delta _{l} + \mu _{h}\), \(v_{22}=\kappa + \mu _{h} \), \(v_{33}=\phi _{2} + \varepsilon _{1}\kappa + \tau \delta _{l} + \mu _{h}\), \(v_{44}=\delta _{A} + \mu _{h}\), \(v_{55}=\phi _{3} + \delta _{hl} + \mu _{h}\).

Then the basic reproduction number associated with system (2) is defined by the spectral radius of the next generation matrix \(FV^{-1}\) and obtained as

$$\begin{aligned} \mathcal{R}_{0}=\max \biggl\lbrace \frac{\beta _{h}(\delta _{A} + \mu _{h} + \eta _{A}\kappa )}{(\kappa + \mu _{h})(\delta _{A} + \mu _{h})}, \sqrt{ \frac{a_{l}c_{l} (\mu _{r} a_{l} b_{l} p + a_{l} b_{l} q (\phi _{1} + \delta _{l} + \mu _{h}) )}{\mu _{s} \mu _{r} (\phi _{1} + \delta _{l} + \mu _{h})}} \biggr\rbrace . \end{aligned}$$

Furthermore, it can also be given as \(\mathcal{R}_{0} = \rho (FV^{-1})=\max \lbrace \mathcal{R}_{0h}, \mathcal{R}_{0l} \rbrace \).

\(\mathcal{R}_{0l}= \frac{\beta _{h}(\delta _{A} + \mu _{h} + \eta _{A}\kappa )}{(\kappa + \mu _{h})(\delta _{A} + \mu _{h})}\) is the basic reproduction number for an HIV only model, i.e., at the absence of VL. And \(\mathcal{R}_{0h} = \sqrt{ \frac{a_{l}c_{l} (\mu _{r} a_{l} b_{l} p + a_{l} b_{l} q (\phi _{1} + \delta _{l} + \mu _{h}) )}{\mu _{s} \mu _{r} (\phi _{1} + \delta _{l} + \mu _{h})}}\) represents the reproduction number for a VL only model at the absence of HIV.

Theorem 3.1

The DFE of system (2) \(\mathcal{E}_{0}\) is locally asymptotically stable in Φ if \(\mathcal{R}_{0} < 1\) and unstable if \(\mathcal{R}_{0} > 1\).


To prove Theorem 3.1, it is apparent to start with linearizing model (2) around \(\mathcal{E}_{0}\). Thus, the Jacobian matrix is given as follows:

J E 0 = ( μ h j 12 β h j 14 j 15 j 16 0 a l b l p 0 0 0 j 22 0 0 0 0 0 a l b l p 0 0 0 0 j 33 j 34 β h η A β h η A η h l 0 0 0 0 0 0 0 j 44 0 0 0 0 0 0 0 0 κ 0 j 55 ϕ 3 0 0 0 0 0 0 0 ε 1 κ 0 j 66 0 0 0 0 0 a l c l 0 a l c l 0 a l c l μ s 0 0 a l c l 0 a l c l 0 a l c l 0 a l c l 0 μ s 0 a l c l 0 0 0 0 0 0 0 a l b l q μ r 0 0 0 0 0 0 0 0 a l b l q 0 μ r ) ,

where \(j_{12}=\phi _{1} + \delta _{l}\), \(j_{14}=-\beta _{h}\eta _{hh} + \tau \delta _{l}\), \(j_{15}=-\beta _{h}\eta _{A} + \delta _{A}\), \(j_{16}=-\beta _{h}\eta _{A}\eta _{hl} + \delta _{hl}\), \(j_{22}=\phi _{1} + \delta _{l} + \mu _{h} \), \(j_{33}=\beta _{h} - \kappa - \mu _{h}\), \(j_{34}=\beta _{h}\eta _{hh} + \phi _{2}\), \(j_{44}=\phi _{2} + \varepsilon _{1}\kappa + \tau \delta _{l} + \mu _{h}\), \(j_{55}=\delta _{A} + \mu _{h}\), \(j_{66}=\phi _{3} + \delta _{hl} + \mu _{h}\).

Hence the eigenvalues of the matrix \(J_{\mathcal{E}_{0}}\) are \(\lambda _{1} =-\mu _{h}\), \(\lambda _{4}=-(\phi _{2} + \varepsilon _{1}\kappa + \tau \delta _{l} + \mu _{h})\), \(\lambda _{6}=-(\phi _{3} + \delta _{hl} + \mu _{h})\), \(\lambda _{7}= -\mu _{s}\), \(\lambda _{9} = -\mu _{r}\), and the rest can be obtained from the following characteristic polynomials:

$$ \begin{aligned} &\lambda ^{2} + A_{1}\lambda + A_{0}=0, \\ &\lambda ^{3} + B_{2}\lambda ^{2} + B_{1}\lambda + B_{0}=0, \end{aligned} $$

where \(A_{1}=\kappa + \delta _{A} + 2\mu _{h} - \beta _{h}\), \(A_{0}= -\beta _{h}\eta _{A}\kappa - (\beta _{h} - \kappa - \mu _{h})( \delta _{A} + \mu _{h})\), \(B_{2}=\mu _{r} + \mu _{s} + \mu _{h} + \phi _{2} + \delta _{l}\), \(B_{1}=(\mu _{h} + \phi _{2} + \delta _{l})(\mu _{r} + \mu _{s}) + \mu _{r}\mu _{s} - a_{l}c_{l}a_{l} b_{l} q - a_{l}c_{l} p a_{l}b_{l} \), \(B_{0} = (\mu _{h} + \phi _{2} + \delta _{l})(\mu _{r}\mu _{s} - a_{l}c_{l}a_{l}b_{l}q) - a_{l}b_{1}pa_{l}c_{l}\mu _{r}\).

For a quadratic polynomial to have negative roots, the Routh–Hurwitz stability criterion states that both \(A_{1}\) and \(A_{0}\) must be greater than zero. Thus, from the quadratic equation of system (3) if \(\mathcal{R}_{0}<1\), \(A_{1}\) and \(A_{0}\) yield

$$\begin{aligned} &\kappa + \delta _{A} + 2\mu _{h} > \beta _{h}, \\ &-\beta _{h}\eta _{A}\kappa - (\beta _{h} - \kappa - \mu _{h}) (\delta _{A} + \mu _{h}) > 0 \quad \Rightarrow\quad \mathcal{R}_{0} < 1. \end{aligned}$$

And for cubic polynomial the criterion is \(B_{2} > 0\), \(B_{0} > 0\) and \(B_{2}B_{1} - B_{0} > 0\). Thus, from the cubic polynomial of equation (3), \(B_{2}\) is apparently positive; as can be seen it is the sum of positive parameters. It is given for \(B_{0}>0\) that

$$\begin{aligned} (\mu _{h} + \phi _{2} + \delta _{l}) (\mu _{r}\mu _{s} - a_{l}c_{l}a_{l}b_{l}q) - a_{l}b_{1}pa_{l}c_{l}\mu _{r} > 0, \end{aligned}$$

which simplified to \(\mathcal{R}_{0} < 1\). And for \(B_{2} B_{1} - B_{0}>0\),

$$\begin{aligned} &(\mu _{r} + \mu _{s} + \mu _{h} + \phi _{2} + \delta _{l}) \bigl((\mu _{h} + \phi _{2} + \delta _{l}) (\mu _{r} + \mu _{s}) + \mu _{r}\mu _{s} - a_{l}c_{l}a_{l} b_{l} q - a_{l}c_{l} p a_{l}b_{l} \bigr) \\ &\quad {}- (\mu _{h} + \phi _{2} + \delta _{l}) (\mu _{r}\mu _{s} - a_{l}c_{l}a_{l}b_{l}q) + a_{l}b_{1}pa_{l}c_{l}\mu _{r} > 0 \end{aligned}$$

also holds. Therefore, whenever \(\mathcal{R}_{0} < 1\), the DFE becomes locally asymptotically stable. □

Global stability of DFE

Applying the Castillo–Chavez et al. [31] (Appendix A), let us rewrite the model in system (2) as

$$ \begin{aligned} &\frac{dX}{dt}= F(X,Z), \\ &\frac{dZ}{dt}= G(X,Z), G(X,0)=0. \end{aligned} $$

The column vector X contains uninfected classes, while the components of vector Z are the infected individuals. Thus, for the transformed system, model (2) is

$$ \begin{aligned} &X= (s_{h}, s_{s}, s_{r}), \\ &Z= (i_{hl}, i_{hh}, i_{hhl}, a_{h}, a_{hl}). \end{aligned} $$

From the first condition, \(\frac{dX}{dt} = F(X,0)\), \(X^{*}\) is globally asymptotically stable, the reduced system is given by

F(X,0)= ( Λ h N h μ h s h Λ s N s μ s s s Λ r N r μ r s r ) .

Therefore, for the DFE of system (2), say \(E_{0}=(X^{*},0)\), to be globally stable, the following two conditions must be satisfied [31]. From the second condition, \(G(X,Z) = \mathcal{A}Z - \hat{G}(X,Z)\) with \(\hat{G}(X,Z)\geq 0\), where \(\mathcal{A}=D_{z}G(X^{*},0)= ( \frac{\partial G_{i}}{\partial z_{j}} (X^{*},0) )\) is the linearization matrix of system (2) evaluated at \(\mathcal{E}_{0}\). Hence, the matrix \(\mathcal{A}\) is

A= ( v 11 0 0 0 0 a l b l p 0 0 v 22 β h η h l + ϕ 2 β h η A β h η A η h l 0 0 0 0 v 33 0 0 0 0 0 κ 0 v 44 ϕ 3 0 0 0 0 ε 1 κ 0 v 55 0 0 a l c l 0 a l c l 0 a l c l μ s a l c l 0 0 0 0 0 a l b l q μ r ) ,

where only \(v_{22}\) is changed to \(\beta _{h} - \kappa - \mu _{h}\), the rest are as defined previously. Now the column vector \(\hat{G}(X,Z)\) is given by

G ˆ ( X , Z ) = ( G ˆ 1 ( X , Z ) G ˆ 2 ( X , Z ) G ˆ 3 ( X , Z ) G ˆ 4 ( X , Z ) G ˆ 5 ( X , Z ) ) = ( a l b l p i s ( 1 s h ) + β h ( i h h + η h l i h l + η A ( a h + η h l ) ) i h l β h ( i h h + η h l i h l + η A ( a h + η h l ) ) ( 1 s h ) + a l b l p i s i h h ( β h ( i h h + η h l i h l + η A ( a h + η h l ) ) i h l + a l b l p i s i h h ) ε 1 a l b l p i s a h ε 1 a l b l p i s a h a l c l ( i h l + i h h l + a h l + i r ) ( 1 s s ) a l b l q i s ( 1 s r ) )

This implied that the third and the fifth entries of \(\hat{G}(X,Z)\) are negative if all the parameters and the state variables in those entries are taken strictly positive. Hence \(\hat{G}(X,Z)\) is not greater than zero. Thus, the second condition (\(H_{2}\)) stated above is not fulfilled. This concludes that the DFE may not be globally asymptotically stable. Apart from the following special cases, this may be a guarantee for bifurcation analysis. For two special cases, we have the following sub-results.

Lemma 3.2

  1. (a)

    The DFE of system (2) \(\mathcal{E}_{0}\) is globally asymptotically stable if HIV/AIDS patients are protected against VL whenever there is maximum protection against HIV/AIDS (\(\beta _{h}=0\)).

  2. (b)

    The DFE of system (2) \(\mathcal{E}_{0}\) is globally asymptotically stable if VL patients are protected against HIV/AIDS whenever there is maximum protection against VL (\(a_{l}=0\)).

Bifurcation analysis

The center manifold theory [3135], particularly we use the theorem in Castillo–Chavez and Song [31] (Appendix A), helps to study the possibility of backward bifurcation. To determine the direction of bifurcation of system (2) through applying this theory, initially the variables are renamed as \(x_{1}=s_{h}\), \(x_{2}=i_{hl}\), \(x_{3}=i_{hh}\), \(x_{4}=i_{hhl}\), \(x_{5}=a_{h}\), \(x_{6}=a_{hl}\), \(x_{7}=s_{s}\), \(x_{8}=i_{s}\), \(x_{9}=s_{r}\), \(x_{10}=i_{r}\) with vector representation of \(\textbf{x}=(x_{1}, x_{2}, x_{3}, x_{4}, x_{5}, x_{6}, x_{7}, x_{8}, x_{9}, x_{10})^{T}\). If the model is denoted by \(\textbf{x}^{\prime }=\textbf{f}(\textbf{x})\) with \(\textbf{f}(\textbf{x})= (f_{1}(\textbf{x}),f_{2}(\textbf{x}),f_{3}( \textbf{x}),f_{4}(\textbf{x}),f_{5}(\textbf{x}),f_{6}(\textbf{x}), f_{7}( \textbf{x}),f_{8}(\textbf{x}),f_{9}(\textbf{x}), f_{10}(\textbf{x}) )^{T}\), then system (2) can be rewritten as follows:

$$\begin{aligned}& x_{1}^{\prime } = f_{1}= \frac{\Lambda _{h}}{N_{h}} + \phi _{1} x_{2} - a_{l}b_{l} p x_{8} x_{1} - \beta _{h} \bigl\lbrace (x_{3} + \eta _{hh}x_{4}) + \eta _{A}(x_{5} + \eta _{hl}x_{6}) \bigr\rbrace x_{1} \\& \hphantom{x_{1}^{\prime } =}{} - \biggl( \frac{\Lambda _{h}}{N_{h}} -( \delta _{l} x_{2} + \tau \delta _{l} x_{4} + \delta _{A} x_{5} + \delta _{hl}x_{6}) \biggr) x_{1}, \\& x_{2}^{\prime } = f_{2}= a_{l}b_{l} p x_{8} x_{1} - \beta _{h} \bigl\lbrace (x_{3} + \eta _{hh}x_{4}) + \eta _{A}(x_{5} + \eta _{hl}x_{6}) \bigr\rbrace x_{2} - \phi _{1} x_{2} \\& \hphantom{x_{2}^{\prime } =}{} - \biggl( \frac{\Lambda _{h}}{N_{h}} + \delta _{l} -(\delta _{l} x_{2} + \tau \delta _{l} x_{4} + \delta _{A} x_{5} + \delta _{hl} x_{6}) \biggr) x_{2}, \\& x_{3}^{\prime } =f_{3}= \beta _{h} \bigl\lbrace (x_{3} + \eta _{hh} x_{4}) + \eta _{A}(x_{5} + \eta _{hl}x_{6}) \bigr\rbrace x_{1} + \phi _{2} x_{4} - a_{l}b_{l}p x_{8} x_{3} \\& \hphantom{x_{3}^{\prime } =}{} - \kappa x_{3} - \biggl( \frac{\Lambda _{h}}{N_{h}} -(\delta _{l} x_{2} + \tau \delta _{l} x_{4} + \delta _{A} x_{5} + \delta _{hl}x_{6}) \biggr) x_{3}, \\& x_{4}^{\prime } = f_{4}= \beta _{h} \bigl\lbrace (x_{3} + \eta _{hh}x_{4}) + \eta _{A}(x_{5} + \eta _{hl}x_{6}) \bigr\rbrace x_{2} + a_{l}b_{l} p x_{8} x_{3} \\& \hphantom{x_{4}^{\prime } =}{}- \biggl( \frac{\Lambda _{h}}{N_{h}} + \phi _{2} + \varepsilon _{1} \kappa + \tau \delta _{l} - (\delta _{l} x_{2} + \tau \delta _{l} x_{4} + \delta _{A} x_{5} + \delta _{hl}x_{6}) \biggr) x_{4}, \\& x_{5}^{\prime } = f_{5}= \kappa x_{3} + \phi _{3} x_{6} - \varepsilon _{2}a_{l}b_{l}p x_{8} x_{5} - \biggl( \frac{\Lambda _{h}}{N_{h}} + \delta _{A} - ( \delta _{l} x_{2} + \tau \delta _{l} x_{4} + \delta _{A} x_{5} + \delta _{hl}x_{6}) \biggr) x_{5}, \\& x_{6}^{\prime } = f_{6}= \varepsilon _{1} \kappa x_{4} + \varepsilon _{2}a_{l}b_{l}p x_{8} x_{5} \\& \hphantom{x_{6}^{\prime } =}{} - \biggl( \frac{\Lambda _{h}}{N_{h}} + \phi _{3} + \delta _{hl} - (\delta _{l} x_{2} + \tau \delta _{l} x_{4} + \delta _{A} x_{5} + \delta _{hl}x_{6}) \biggr) x_{6}, \\& x_{7}^{\prime } = f_{7}= \frac{\Lambda _{s}}{N_{s}} - a_{l}c_{l} (x_{2} + x_{4} + x_{6} + x_{10} )x_{7} - \frac{\Lambda _{s}}{N_{s}} x_{7}, \\& x_{8}^{\prime } = f_{8}= a_{l}c_{l} (x_{2} + x_{4} + x_{6} + x_{10} )x_{7} - \frac{\Lambda _{s}}{N_{s}} x_{8}, \\& x_{9}^{\prime } = f_{9}= \frac{ \Lambda _{r}}{N_{r}} - a_{l}b_{l}q x_{8} x_{9} - \frac{\Lambda _{r}}{N_{r}} x_{9}, \\& x_{10}^{\prime } = f_{10}= a_{l}b_{l}q x_{8} x_{9} - \frac{\Lambda _{r}}{N_{r}} x_{10}. \end{aligned}$$

Let \(\beta _{h} = \beta ^{*} = \frac{(\kappa + \mu _{h})(\delta _{A} + \mu _{h})}{\delta _{A} + \mu _{h} + \eta _{A}\kappa }\) be the bifurcation parameter solved at \(\mathcal{R}_{0l} < \mathcal{R}_{0h} = 1\) (\(\mathcal{R}_{0}=1\)). Then the Jacobian of system (5) at DFE is given by

J β = ( μ h j 12 β j 14 j 15 j 16 0 a l b l p 0 0 0 j 22 0 0 0 0 0 a l b l p 0 0 0 0 j 33 j 34 β η A β η A η h l 0 0 0 0 0 0 0 j 44 0 0 0 0 0 0 0 0 κ 0 j 55 ϕ 3 0 0 0 0 0 0 0 ε 1 κ 0 j 66 0 0 0 0 0 a l c l 0 a l c l 0 a l c l μ s 0 0 a l c l 0 a l c l 0 a l c l 0 a l c l 0 μ s 0 a l c l 0 0 0 0 0 0 0 a l b l q μ r 0 0 0 0 0 0 0 0 a l b l q 0 μ r ) ,

where the shorthand representations are as given previously, but \(\beta _{h}\) is given by the bifurcation parameter \(\beta ^{*}\). There are two eigenvectors associated with \(J_{\beta ^{*}}\) at its simple (zero) eigenvalue. Thus, the right eigenvector denoted by \((\textbf{w}=(w_{1},w_{2},w_{3},w_{4},w_{5},w_{6},w_{7},w_{8},w_{9}, w_{10})^{T})\) has the entries as given below.

$$ \begin{aligned} &w_{1}= \frac{j_{12}w_{2} - \beta ^{*}w_{3} + j_{15}w_{5} - a_{l}b_{l}w_{8}}{\mu _{h}},\qquad w_{2}=\frac{a_{l}b_{l}pw_{8}}{j_{22}}, \qquad w_{3}= \frac{j_{55}w_{5}}{\kappa }, \\ &w_{4}=0,\qquad w_{5}=w_{5},\qquad w_{6}=0,\qquad w_{7}=-w_{8}, \\ & w_{8}=w_{8},\qquad w_{9}=-w_{10},\qquad w_{10}=w_{10}. \end{aligned} $$

And the left eigenvector represented by \((\textbf{v}=(v_{1},v_{2},v_{3},v_{4},v_{5},v_{6},v_{7},v_{8},v_{9},v_{10})^{T})\) is given with the following values of entries:

$$ \begin{aligned} &v_{1}=0,\qquad v_{2}= \frac{a_{l}c_{l}v_{8}}{j_{22}}, \qquad v_{3}= \frac{-\kappa v_{5}}{j_{33}}, \\ & v_{4}= \frac{\varepsilon _{1}\kappa v_{6} +j_{34}v_{3} + a_{l}c_{l}v_{8}}{j_{44}},\qquad v_{5}=v_{5}, \\ &v_{6}= \frac{\beta ^{*}\eta _{A}\eta _{hl}v_{3} +\phi _{3}v_{5} +a_{l}c_{l}v_{8}}{j_{66}}, \qquad v_{7}=0, \\ & v_{8}= \frac{\mu _{r} v_{10}}{a_{l}c_{l}}, \qquad v_{9}=0,\qquad v_{10}=v_{10}. \end{aligned} $$

The center manifold approach described in [31] is used to study the direction of bifurcation analysis with computation of a and b, where

$$\begin{aligned} &a=\sum_{k,i,j=1}^{10} v_{k}w_{i}w_{j} \frac{\partial f_{k}}{\partial x_{i} \partial x_{j}} \bigl(\mathcal{E}_{0}, \beta ^{*} \bigr) \\ &b= \sum_{k,i=1}^{10} v_{k}w_{i} \frac{\partial f_{k}}{\partial x_{i} \partial \beta _{h}} \bigl( \mathcal{E}_{0}, \beta ^{*} \bigr). \end{aligned}$$

The first, the seventh, and the ninth entries of the left eigenvector are zero, thus the partial derivatives of the corresponding drift functions (\(f_{1}\), \(f_{7}\), and \(f_{9}\)) are not important in computing a and b than wasting time. Thus, from system (5), the only crucial ones and nonzero derivative of the drift evaluated at \((\mathcal{E}_{0}, \beta ^{*})\) are given below.

$$ \begin{aligned} &\frac{\partial ^{2} f_{2}}{\partial x_{2} \partial x_{3}}= \frac{\partial ^{2} f_{2}}{\partial x_{3} \partial x_{2}}=-\beta ^{*}, \qquad \frac{\partial ^{2} f_{2}}{\partial x_{2} \partial x_{4}}= \frac{\partial ^{2} f_{2}}{\partial x_{4} \partial x_{2}}=- \beta ^{*} \eta _{hh}, \\ &\frac{\partial ^{2} f_{2}}{\partial x_{2} \partial x_{5}}= \frac{\partial ^{2} f_{2}}{\partial x_{5} \partial x_{2}}=-\beta ^{*} \eta _{A}, \qquad \frac{\partial ^{2} f_{2}}{\partial x_{2} \partial x_{6}}= \frac{\partial ^{2} f_{2}}{\partial x_{6} \partial x_{2}}=-\beta ^{*} \eta _{A}\eta _{hl}, \\ &\frac{\partial ^{2} f_{2}}{\partial x_{1} \partial x_{8}}= \frac{\partial ^{2} f_{2}}{\partial x_{8} \partial x_{1}}=a_{l}b_{l}p, \\ &\frac{\partial ^{2} f_{3}}{\partial x_{1} \partial x_{3}}= \frac{\partial ^{2} f_{3}}{\partial x_{3} \partial x_{1}}=\beta ^{*},\qquad \frac{\partial ^{2} f_{3}}{\partial x_{1} \partial x_{4}}= \frac{\partial ^{2} f_{3}}{\partial x_{4} \partial x_{1}}=\beta ^{*} \eta _{hh}, \\ &\frac{\partial ^{2} f_{3}}{\partial x_{1} \partial x_{5}}= \frac{\partial ^{2} f_{3}}{\partial x_{5} \partial x_{1}}=\beta ^{*} \eta _{A},\qquad \frac{\partial ^{2} f_{3}}{\partial x_{1} \partial x_{6}}= \frac{\partial ^{2} f_{3}}{\partial x_{6} \partial x_{1}}=\beta ^{*} \eta _{A}\eta _{hl}, \\ &\frac{\partial ^{2} f_{3}}{\partial x_{3} \partial x_{8}}= \frac{\partial ^{2} f_{3}}{\partial x_{8} \partial x_{3}}=-a_{l}b_{l}p, \\ &\frac{\partial ^{2} f_{4}}{\partial x_{2} \partial x_{3}}= \frac{\partial ^{2} f_{4}}{\partial x_{3} \partial x_{2}}=\beta ^{*},\qquad \frac{\partial ^{2} f_{4}}{\partial x_{2} \partial x_{4}}= \frac{\partial ^{2} f_{4}}{\partial x_{4} \partial x_{2}}=\beta ^{*} \eta _{hh}, \\ &\frac{\partial ^{2} f_{4}}{\partial x_{2} \partial x_{5}}= \frac{\partial ^{2} f_{4}}{\partial x_{5} \partial x_{2}}=\beta ^{*} \eta _{A},\qquad \frac{\partial ^{2} f_{4}}{\partial x_{2} \partial x_{6}}= \frac{\partial ^{2} f_{4}}{\partial x_{6} \partial x_{2}}=\beta ^{*} \eta _{A}\eta _{hl}, \\ &\frac{\partial ^{2} f_{4}}{\partial x_{3} \partial x_{8}}= \frac{\partial ^{2} f_{4}}{\partial x_{8} \partial x_{3}}=a_{l}b_{l}p, \\ &\frac{\partial ^{2} f_{5}}{\partial x_{5} \partial x_{8}}= \frac{\partial ^{2} f_{5}}{\partial x_{8} \partial x_{5}}=- \varepsilon _{2} a_{l} b_{l}p,\qquad \frac{\partial ^{2} f_{6}}{\partial x_{5} \partial x_{8}}= \frac{\partial ^{2} f_{6}}{\partial x_{8} \partial x_{5}}= \varepsilon _{2} a_{l} b_{l}p, \\ &\frac{\partial ^{2} f_{8}}{\partial x_{2} \partial x_{7}}= \frac{\partial ^{2} f_{8}}{\partial x_{7} \partial x_{2}}= \frac{\partial ^{2} f_{8}}{\partial x_{4} \partial x_{7}}= \frac{\partial ^{2} f_{8}}{\partial x_{7} \partial x_{4}}= \frac{\partial ^{2} f_{8}}{\partial x_{6} \partial x_{7}} \\ &\hphantom{\frac{\partial ^{2} f_{8}}{\partial x_{2} \partial x_{7}}}= \frac{\partial ^{2} f_{8}}{\partial x_{7} \partial x_{6}} = \frac{\partial ^{2} f_{8}}{\partial x_{10} \partial x_{7}} = \frac{\partial ^{2} f_{8}}{\partial x_{7} \partial x_{10}}=a_{1}c_{1}, \\ &\frac{\partial ^{2} f_{10}}{\partial x_{8} \partial x_{9}}= \frac{\partial ^{2} f_{10}}{\partial x_{9} \partial x_{8}}= a_{l} b_{l}q. \end{aligned} $$


$$ \begin{aligned} &\frac{\partial ^{2} f_{3}}{\partial x_{3} \partial \beta _{h}}= \frac{\partial ^{2} f_{3}}{\partial \beta _{h} \partial x_{3}}=1, \qquad \frac{\partial ^{2} f_{3}}{\partial x_{4} \partial \beta _{h}}= \frac{\partial ^{2} f_{3}}{\partial \beta _{h} \partial x_{4}}=\eta _{hh}, \\ &\frac{\partial ^{2} f_{3}}{\partial x_{5} \partial \beta _{h}}= \frac{\partial ^{2} f_{3}}{\partial \beta _{h} \partial x_{5}}=\eta _{A},\qquad \frac{\partial ^{2} f_{3}}{\partial x_{6} \partial \beta _{h}}= \frac{\partial ^{2} f_{3}}{\partial \beta _{h} \partial x_{6}}= \eta _{A} \eta _{hl}. \end{aligned} $$

Thus, using equations (6), (7), (8), and (9), it can be found that

$$ \begin{aligned} a={}& \frac{a_{l}c_{l}v_{8}}{j_{22}}v_{8} w_{8} a_{l}b_{l}p \left\lbrace Q_{1}-Q_{2}\right\rbrace - \frac{\kappa v_{5}}{j_{33}}w_{5}\left\lbrace Q_{1}\beta^{*} \left( \frac{j_{55}}{\kappa} + \eta_{A} \right) - \frac{j_{55}}{\kappa} w_{8} a_{l}b_{l}p\right\rbrace \\&{}+ \frac{\varepsilon_{1}\kappa v_{6} + j_{34}v_{3} + a_{l}c_{l}v_{8}}{j_{44}} w_{5}w_{8}a_{l}b_{l}p \\ &{} \left\lbrace Q_{2} + \frac{j_{55}}{\kappa}\right\rbrace -w_{5}w_{8} \varepsilon_{2} a_{l}b_{l}p\left\lbrace v_{5} - \frac{(\beta^{*}\eta_{A}\eta_{hl}v_{3} +\phi_{3}v_{5} +a_{l}c_{l}v_{8})}{j_{66}} \right\rbrace \\ &{} -\mu_{r} v_{10} w_{8} \left( \frac{a_{l}b_{l}p}{j_{22}}w_{8} + w_{10} \right) - v_{10}w_{8}w_{10}a_{l}b_{l}q \end{aligned} $$


$$ \begin{aligned} b={}&\frac{(\delta_{A} + \mu_{h} + \eta_{A})(\delta_{A} + \mu_{h} + \eta_{A}\kappa)}{(\kappa + \mu_{h})\eta_{A}\kappa}v_{5}w_{5} \end{aligned} $$


$$\begin{aligned} Q_{1}&= \frac{(j_{12}w_{2} - \beta ^{*}w_{3} + j_{15}w_{5} - a_{l}b_{l}w_{8})}{\mu _{h}}, \\ Q_{1}&= \frac{\beta ^{*}w_{5}}{j_{22}} \biggl( \frac{j_{55}}{\kappa } + \eta _{A} \biggr). \end{aligned}$$

It is clear from equation 11 that the bifurcation coefficient, b, is automatically positive. Thus, it follows from Theorem 4.1 in [31] that the the HIV-VL co-infection model will undergo backward bifurcation if the bifurcation coefficient, a, given by equation 10, is positive.

Sensitivity analysis

In this section, sensitivity indices of \(\mathcal{R}_{0}\) with respect to the parameters are calculated, as shown in Table 2, using the formula, where y is the model parameter, following the technique described in [36, 37]. These indices show how important each parameter is to the disease transmission. Since \(\mathcal{R}_{0}=\max \{\mathcal{R}_{0l}, \mathcal{R}_{0h}\}\), we obtained the sensitivity indices of \(\mathcal{R}_{0l}\) and \(\mathcal{R}_{0h}\) separately (see Appendix B).

Table 2 Sensitivity indices table

From Fig. 2 and Table 2, we have the following statements. If the sensitivity index is positive, then the reproduction number increases along with increasing value of the parameter. That means that positive index parameters have a power of expanding the disease if their value increases. On the other hand, if the sensitivity index is negative, then reproduction decreases with the increasing value of the parameter. This also mean that negative index parameters have a power of reducing the burden of the disease in the community as their value increases. From this policy makers and stakeholders are expected to act accordingly in combating VL infection, HIV infection, and their co-infection from the community.

Figure 2

Magnitude and direction of sensitivity analysis results of parameters for (a) HIV and (b) VL explicit models

Numerical simulation

In this section, we use numerical simulations to support the analytical results previously established. We used Maple 18 to show the effect of some parameters in the expansion as well as for the control of HIV only, VL only, and co-infection of HIV and VL. We used parameter values in Table 3 for simulation purpose.

Table 3 Parameter values of the VL–HIV co-infection model

Effect of human recovery rate (\(\phi _{1}\)) on VL infectious population

In Fig. 3, we investigated the effect of \(\phi _{1}\) in reducing VL-only infectious population by maintaining the other parameters constant. The figure reflects that when the values of \(\phi _{1}\) increase, the number of VL only infectious population is diminished. Therefore, we should focus on improving recovery rates either by treating infected populations or by increasing the levels of individuals’ immunity to VL disease in the population. Government policy makers should take this into account as a mitigation strategy.

Figure 3

Effect of human recovery rate on VL infectious population

Effect of effective contact rate(\(\beta _{h}\)) on HIV infectious and co-infectious population

In this section, we examine the influence of effective contact rate \(\beta _{h}\) on HIV infectious and HIV–VL co-infectious population. Figure 4 reflects that as the value of contact rate of \(\beta _{h}\) is increased, the HIV infectious and HIV–VL co-infectious population is increased, which leads to the increased expansion of co-infection of HIV and VL. Consequently, to control HIV infected and co-infection of HIV and VL, decreasing the contact rate of \(\beta _{h}\) is significant. Therefore, stakeholders need to focus on reducing the contact rate of HIV infectious by using an appropriate method of prevention mechanism to bring down the expansion of co-infection in the community.

Figure 4

Effect of contact rate on HIV infectious and co-infectious population

Effect of VL progression rate (\(c_{l}\)) on human and sand fly population

Figure 5 shows the effect of VL progression rate on humans and sand fly population. It reveals that as the VL in humans and sand flies population increases, the infection of population by VL also grows up. Therefore, it is advisable to use treated bed net, chemical techniques to reduce the expansion. This is also another good control strategy to reduce VL infection.

Figure 5

Effect of VL progression rate on the sand fly population

Effect of recovery rate of HIV–VL (\(\phi _{2}\)) on the co-infectious population

In this section, we investigate the effect of recovery rate of HIV and VL (\(\phi _{2}\)) on the co-infectious population. As we clarified in the model description, due to treatment or other mechanisms, the co-infectious population recovers from VL only diseases with their own probability and join the recovered compartment. Therefore, Fig. 6 shows that increasing the rate of recovery of the co-infectious population has a great advantage in reducing VL diseases in the population.

Figure 6

Effect of recovery rate of HIV–VL on the co-infectious population

Effect of VL progression rate in the sand fly reservoir population

Figure 7 shows the effect of VL progression rate on the sand fly reservoir population. It illustrates that as the reservoir increases around the sand fly population, the infection of these reservoirs also increases. From this we can understand that it is important to remove reservoirs from the system to reduce the number of infected reservoirs and infected sand flies. This gives a good control strategy against the disease.

Figure 7

Effect of recovery rate of HIV–VL on co-infectious population

Results and conclusions

We developed a transmission dynamics model for VL–HIV co-infection, and the population is subdivided into ten compartments. Before starting the qualitative analysis of the model, we proved the existence of a region where the model is mathematically and epidemiologically well posed. Basic reproduction numbers, disease-free equilibrium, endemic equilibrium, and stability analysis of equilibrium points were analyzed. Numerically, we experimented on the effect of basic parameters in the expansion or control of VL only, HIV only, and their co-infection. From the result, we conclude that an increase in the rate of VL recovery (\(\phi _{1}\)) contributes greatly to reducing VL infectious individuals in the community. Similarly, increasing the recovery rate for VL-HIV co-infection (\(\phi _{2}\)) contributes to the reduction of co-infection in the population. Also it is important to remove reservoirs (\(c_{1}\)) from the system so that the number of infected reservoirs and infected sand flies is reduced. Reducing the contact rate \(\beta _{h}\) is significant in bringing down the number of HIV and VL–HIV co-infected infectious population. The rate of recovery for co-infection also has an influence on dropping co-infectious population if its value has been improved. Therefore, stakeholders should focus on the above basic parameters by using an appropriate method of prevention mechanism to reduce the expansion of infection in VL only, HIV only, and VL–HIV co-infection in the community.

Availability of data and materials

The data supporting this deterministic model are from previous published articles.


  1. 1.

    Tadese, D., Hailu, A., Bekele, F., Belay, S.: An epidemiological study of visceral leishmaniasis in North East Ethiopia using serological and leishmanin skin tests. PLoS ONE 14(12), 225083 (2019)

    Article  Google Scholar 

  2. 2.

    Adriaensen, W., Dorlo, T.P.C., Vanham, G., Kestens, L., Kaye, P.M., van Griensven, J.: Immunomodulatory therapy of visceral leishmaniasis in human immunodeficiency virus-coinfected patients. Front. Immunol. 8, 1943 (2018)

    Article  Google Scholar 

  3. 3.

    Kone, A.K., Niaré, D.S., Piarroux, M., Izri, A., Marty, P., Laurens, M.B., Piarroux, R., Thera, M.A., Doumbo, O.K.: Visceral leishmaniasis in West Africa: clinical characteristics, vectors, and reservoirs. J. Parasitol. Res. 2019, Article ID 9282690 (2019)

    Article  Google Scholar 

  4. 4.

    Monge-Maillo, B., Norman, F.F., Cruz, I., Alvar, J., Lopez-Velez, R.: Visceral leishmaniasis and HIV coinfection in the Mediterranean region. PLoS Negl. Trop. Dis. 8(8), e3021 (2014)

    Article  Google Scholar 

  5. 5.

    Elmojtaba, I.M.: Mathematical model for the dynamics of visceral leishmaniasis–malaria co-infection. Math. Methods Appl. Sci. 39(15), 4334–4353 (2016)

    MathSciNet  MATH  Article  Google Scholar 

  6. 6.

    Lindoso, J.A.L., Moreira, C.H.V., Cunha, M.A., Queiroz, I.T.: Visceral leishmaniasis and HIV coinfection: current perspectives. HIV/AIDS (Auckl.) 10, 193 (2018)

    Google Scholar 

  7. 7.

    Lainson, R., Ryan, L., Shaw, J.J.: Infective stages of leishmania in the sandfly vector and some observations on the mechanism of transmission. Mem. Inst. Oswaldo Cruz 82(3), 421–424 (1987)

    Article  Google Scholar 

  8. 8.

    Roeger, L.-I.W., Feng, Z., Castillo-Chavez, C.: Modeling TB and HIV co-infections. Math. Biosci. Eng. 6(4), 815 (2009)

    MathSciNet  MATH  Article  Google Scholar 

  9. 9.

    Aldila, D., et al.: Mathematical model for HIV spreads control program with art treatment. J. Phys. Conf. Ser. 974, 012035 (2018)

    Article  Google Scholar 

  10. 10.

    Sweileh, W.M.: Global research output on HIV/AIDS–related medication adherence from 1980 to 2017. BMC Health Serv. Res. 18(1), 1–13 (2018)

    Article  Google Scholar 

  11. 11.

    World Health Organization: Fifth Consultative Meeting on Leishmania/HIV Coinfection, Addis Ababa, Ethiopia. World Health Organization, Geneva (2007)

    Google Scholar 

  12. 12.

    World Health Organization: Leishmaniasis and HIV Coinfection. Geneva. World Health Organization, Switzerland (2014)

    Google Scholar 

  13. 13.

    Shiri, B., Baleanu, D.: Numerical solution of some fractional dynamical systems in medicine involving non-singular kernel with vector order. Results Nonlinear Anal. 2(4), 160–168 (2019)

    Google Scholar 

  14. 14.

    Liancheng, W.A.N.G., Xiaoqin, W.U.: Stability and Hopf bifurcation for an SEIR epidemic model with delay. Adv. Theory Nonlinear Anal. Appl. 2(3), 113–127 (2018)

    MATH  Google Scholar 

  15. 15.

    Waziri, A.S., Massawe, E.S., Makinde, O.D.: Mathematical modelling of HIV/AIDS dynamics with treatment and vertical transmission. Appl. Math. 2(3), 77–89 (2012)

    Google Scholar 

  16. 16.

    Mastroberardino, A., Cheng, Y., Abdelrazec, A., Liu, H.: Mathematical modeling of the HIV/AIDS epidemic in Cuba. Int. J. Biomath. 8(04), 1550047 (2015)

    MathSciNet  MATH  Article  Google Scholar 

  17. 17.

    Omondi, E.O., Mbogo, R.W., Luboobi, L.S.: A mathematical modelling study of HIV infection in two heterosexual age groups in Kenya. Infect. Dis. Model. 4, 83–98 (2019)

    Google Scholar 

  18. 18.

    Sohaib, M., et al.: Mathematical modeling and numerical simulation of HIV infection model. Results Appl. Math. 7, 100118 (2020)

    MATH  Article  Google Scholar 

  19. 19.

    Ribas, L.M., Zaher, V.L., Shimozako, H.J., Massad, E.: Estimating the optimal control of zoonotic visceral leishmaniasis by the use of a mathematical model. Sci. World J. 2013, Article ID 810380 (2013)

    Article  Google Scholar 

  20. 20.

    Zou, L., Chen, J., Ruan, S.: Modeling and analyzing the transmission dynamics of visceral leishmaniasis. Math. Biosci. Eng. 14(5–6), 1585 (2017)

    MathSciNet  MATH  Article  Google Scholar 

  21. 21.

    Agyingi, E., Wiandt, T.: Analysis of a model of leishmaniasis with multiple time lags in all populations. Math. Comput. Appl. 24(2), 63 (2019)

    MathSciNet  Google Scholar 

  22. 22.

    Song, Y., Zhang, T., Li, H., Wang, K., Lu, X.: Mathematical model analysis and simulation of visceral leishmaniasis, Kashgar, Xinjiang, 2004–2016. Complexity 2020, Article ID 5049825 (2020)

    Google Scholar 

  23. 23.

    Elmojtaba, I.M., Mugisha, J.Y.T., Hashim, M.H.A.: Vaccination model for visceral leishmaniasis with infective immigrants. Math. Methods Appl. Sci. 36(2), 216–226 (2013)

    MathSciNet  MATH  Article  Google Scholar 

  24. 24.

    Elmojtaba, I.M., Mugisha, J.Y.T., Hashim, M.H.A.: Modelling the role of cross-immunity between two different strains of leishmania. Nonlinear Anal., Real World Appl. 11(3), 2175–2189 (2010)

    MathSciNet  MATH  Article  Google Scholar 

  25. 25.

    Elmojtaba, I.M., Mugisha, J.Y.T., Hashim, M.H.A.: Mathematical analysis of the dynamics of visceral leishmaniasis in the Sudan. Appl. Math. Comput. 217(6), 2567–2578 (2010)

    MathSciNet  MATH  Google Scholar 

  26. 26.

    Mukandavire, Z., Gumel, A.B., Garira, W., Tchuenche, J.M.: Mathematical analysis of a model for HIV-malaria co-infection. Math. Biosci. Eng. 6(2), 333 (2009)

    MathSciNet  MATH  Article  Google Scholar 

  27. 27.

    Hussaini, N., Lubuma, J.M.S., Barley, K., Gumel, A.B.: Mathematical analysis of a model for AVL-HIV co-endemicity. Math. Biosci. 271, 80–95 (2016)

    MathSciNet  MATH  Article  Google Scholar 

  28. 28.

    Vandermeer, J.H., Goldberg, D.E.: Population Ecology: First Principles. Princeton University Press, Princeton (2013)

    Book  Google Scholar 

  29. 29.

    Van den Driessche, P., Watmough, J.: Reproduction numbers and sub-threshold endemic equilibria for compartmental models of disease transmission. Math. Biosci. 180(1–2), 29–48 (2002)

    MathSciNet  MATH  Article  Google Scholar 

  30. 30.

    Alemneh, H.T.: A co-infection model of Dengue and leptospirosis diseases. Adv. Differ. Equ. 2020(1), 1 (2020)

    MathSciNet  Article  Google Scholar 

  31. 31.

    Castillo-Chavez, C., Song, B.: Dynamical models of tuberculosis and their applications. Math. Biosci. Eng. 1(2), 361–404 (2004)

    MathSciNet  MATH  Article  Google Scholar 

  32. 32.

    Carr, J.: Applications of Centre Manifold Theory. Springer, Berlin (1981)

    MATH  Book  Google Scholar 

  33. 33.

    Berhe, H.W., Makinde, O.D., Theuri, D.M.: Co-dynamics of measles and dysentery diarrhea diseases with optimal control and cost-effectiveness analysis. Appl. Math. Comput. 347, 903–921 (2019)

    MathSciNet  MATH  Google Scholar 

  34. 34.

    Melese, Z.T., Mwalili, S.M., Orwa, G.O.: Threshold dynamics of the transmission of antibiotic-resistant infections. Biosystems 171, 80–92 (2018)

    Article  Google Scholar 

  35. 35.

    Dushoff, J., Huang, W., Castillo-Chavez, C.: Backwards bifurcations and catastrophe in simple models of fatal diseases. J. Math. Biol. 36(3), 227–248 (1998)

    MathSciNet  MATH  Article  Google Scholar 

  36. 36.

    Blower, S.M., Dowlatabadi, H.: Sensitivity and uncertainty analysis of complex models of disease transmission: an HIV model, as an example. Int. Stat. Rev. 62(2), 229–243 (1994)

    MATH  Article  Google Scholar 

  37. 37.

    Alemneh, H.T., Alemu, N.Y.: Mathematical modeling with optimal control analysis of social media addiction. Infect. Dis. Model. 6, 405–419 (2021)

    Google Scholar 

  38. 38.

    Kasap, O.E., Bulent, A.: Comparative demography of the sand fly phlebotomus papatasi (diptera: psychodidae) at constant temperatures. J. Vector Ecol. 31(2), 378–385 (2006)

    Article  Google Scholar 

  39. 39.

    Sundar, S., Lockwood, D.N.J., Agrawal, G., Rai, M., Makharia, M.K., Murray, H.W.: Treatment of Indian visceral leishmaniasis with single or daily infusions of low dose liposomal amphotericin b: randomised trialcommentary: cost and resistance remain issues. BMJ, Br. Med. J. 323(7310), 419–422 (2001)

    Article  Google Scholar 

  40. 40.

    Mukandavire, Z., Garira, W.: Sex-structured HIV/AIDS model to analyse the effects of condom use with application to Zimbabwe. J. Math. Biol. 54(5), 669–699 (2007)

    MathSciNet  MATH  Article  Google Scholar 

  41. 41.

    Castillo-Chavez, C., Blower, S., van den Driessche, P., Kirschner, D., Yakubu, A.-A.: Mathematical Approaches for Emerging and Reemerging Infectious Diseases: Models, Methods, and Theory. Springer, New York (2002)

    MATH  Book  Google Scholar 

Download references


The authors acknowledge the comments of the anonymous reviewers which increased the quality of the paper.


Not applicable.

Author information




ZTM: Conceptualization, model formulation, qualitative model analysis, and drafting of the manuscript. Also he read and approved the final manuscript. HTA: Numerical simulation, finalizing the manuscript, partial qualitative model analysis, rearranging the overall work. Also he read and approved the final manuscript.

Corresponding author

Correspondence to Haileyesus Tessema Alemneh.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.


Appendix A: Theorems



For the system

$$ \textstyle\begin{cases} \frac{dX}{dt}=F(X,Z), \\ \frac{dZ}{dt}=G(X,Z), G(X,0)=0, \end{cases} $$

where the components of the column vector \(X \in R^{n}\) denote the uninfected populations and \(Z \in R^{m}\) denotes the infected population\(.E_{0} = (X^{*}, 0)\) represents the disease-free equilibrium of this system\(.E_{0}\) is globally asymptotically stable equilibrium for the model if it satisfies conditions (\(\mathcal{H}_{1}\)) and (\(\mathcal{H}_{2}\)):


For \(\frac{dX}{dt}=F(X,0),X^{*}\) is globally asymptotically stable.


\(\frac{dZ}{dt}= D_{Z}G(X^{*},0)Z-\hat{G}(X,Z) \), \(\hat{G}(X,Z)\geq 0\) for all \((X, Z)\in \Omega \),

where \(D_{Z} G(X^{*}, 0)\) is the Jacobian of \(G(X,Z)\) taken at the infected population and evaluated at \((X^{*},0)\).


(Castillo-Chavez & Song [31])

Let us consider the general system of ODEs with a parameter ϕ:

$$ \frac{dx}{dt}=f(x,\phi ), \qquad f:R^{n}\times R\longrightarrow R^{n}, f\in C^{2} \bigl(R^{n} \times R \bigr), $$

where \(x = 0\) is an equilibrium point for the system in Eq. (18). That is\(,f(0,\phi )\equiv 0\) for all ϕ. Assume the following:


\(A=D_{x}f(0,0)=(\frac{\partial f}{\partial x_{j}}(0,0))\) is the linearization matrix of the system given by (18) around the equilibrium 0 with ϕ evaluated at 0. Zero is a simple eigenvalue of A and other eigenvalues of A have negative real parts;


Matrix A has a nonnegative right eigenvector w and a left eigenvector v corresponding to the zero eigenvalue. Let \(f_{k}\) be the kth component of f and

$$ a=\sum_{k,i,j=1}^{n} v_{k}w_{i}w_{j} \frac{\partial ^{2}f_{k}}{\partial x_{i} \partial x_{j}}(0,0),\qquad b=\sum_{k,i=1}^{n} v_{k}w_{i} \frac{\partial ^{2}f_{k}}{\partial x_{i} \partial \phi }(0,0). $$
The local dynamics of (21) around 0 are totally determined by a and b. If \(a<0\) and \(b>0\), then the bifurcation is forward; if \(a>0\) and \(b>0\),then the bifurcation is backward. Using this approach, the following result may be obtained.

Appendix B: Sensitivity of parameters

The sensitivity indices of \(\mathcal{R}_{0l}\) and \(\mathcal{R}_{0h}\) are given as follows:

$$\begin{aligned}& \mathcal{R}_{0l} = \frac{\beta _{h}(\delta _{A} + \mu _{h} + \eta _{A}\kappa )}{(\kappa + \mu _{h})(\delta _{A} + \mu _{h})}, \\& \mathcal{R}_{0h} = \sqrt{ \frac{a_{l}c_{l}(\mu _{r} a_{l} b_{l} p + a_{l} b_{l} q (\phi _{1} + \delta _{l} + \mu _{h})}{\mu _{s} \mu _{r} (\phi _{1} + \delta _{l} + \mu _{h})}}, \\& \textstyle\begin{cases} \varLambda ^{\Re _{0h}}_{c_{{1}}}=\frac{\Re _{0h}}{\partial c_{1}} \times \frac{c_{1}}{\Re _{0h}}= \frac{1}{2}{ \frac{{a_{{l}}}^{2}b_{{l}} ( \mu _{{r}}p+q\delta _{{l}}+q\mu _{{h}}+q\phi _{{1}} )}{\mu _{{s}}\mu _{{r}} ( \phi _{{1}}+ \delta _{{l}}+\mu _{{h}} ) \sqrt{{\frac{{a_{{l}}}^{2 }c_{{l}}b_{{l}} ( \mu _{{r}}p+q\delta _{{l}}+q\mu _{{h}}+q\phi _{{1}} ) }{\mu _{{s}}\mu _{{r}} ( \phi _{{1}}+\delta _{{l}}+\mu _{{h}} ) }}}}} >0, \\ \varLambda ^{\Re _{0h}}_{b_{{1}}}=\frac{\Re _{0h}}{\partial b_{1}} \times \frac{b_{1}}{\Re _{0h}}= c_{{l}} >0, \\ \varLambda ^{\Re _{0h}}_{a_{{1}}}=\frac{\Re _{0h}}{\partial a_{1}} \times \frac{a_{1}}{\Re _{0h}}= \sqrt{{ \frac{a_{{l}}c_{{l}} ( \mu _{{r}}a_{{l}}b_{{l}}p+a_{{l}}b _{{l}}q ( \phi _{{1}}+\delta _{{l}}+\mu _{{h}} ) ) }{ \mu _{{s}}\mu _{{r}} ( \phi _{{1}}+\delta _{{l}}+\mu _{{h}} ) }} } >0, \\ \varLambda ^{\Re _{0h}}_{\phi _{{1}}}= \frac{\partial \Re _{0h}}{\partial \phi _{{1}}}\times \frac{\phi _{{1}}}{\Re _{0d}}= -{ \frac{\phi _{{1}}\mu _{{r}}c_{{l}}p}{ ( \mu _{{r}}p+q\delta _{{l}} +q\mu _{{h}}+q\phi _{{1}} ) ( \phi _{{1}}+\delta _{{l}}+\mu _{{ h}} ) }} < 0, \\ \varLambda ^{\Re _{0h}}_{\mu _{{r}}}= \frac{\partial \Re _{0h}}{\partial \mu _{{r}}}\times \frac{\mu _{{r}}}{\Re _{0d}}= -{ \frac{qc_{{l}} ( \phi _{{1}}+\delta _{{l}}+\mu _{{h}} ) }{ \mu _{{r}}p+q\delta _{{l}}+q\mu _{{h}}+q\phi _{{1}}}} < 0, \\ \varLambda ^{\Re _{0h}}_{\delta _{{l}}}= \frac{\partial \Re _{0h}}{\partial \delta _{{1}}}\times \frac{\delta _{{1}}}{\Re _{0d}}= -{ \frac{\delta _{{l}}\mu _{{r}}c_{{l}}p}{ ( \mu _{{r}}p+q\delta _{{l }}+q\mu _{{h}}+q\phi _{{1}} ) ( \phi _{{1}}+\delta _{{l}}+\mu _{{h}} ) }} < 0, \\ \varLambda ^{\Re _{0h}}_{\mu _{{s}}}= \frac{\partial \Re _{0h}}{\partial \mu _{{s}}}\times \frac{\mu _{{s}}}{\Re _{0d}}=-c_{{l}} < 0, \end{cases}\displaystyle \\& \textstyle\begin{cases} \varLambda ^{\Re _{0l}}_{\beta _{h}}= \frac{\partial \Re _{0l}}{\partial \beta _{h}}\times \frac{\beta _{h}}{\Re _{0l}}= 1 >0, \\ \varLambda ^{\Re _{0l}}_{\eta _{a}}= \frac{\partial \Re _{0l}}{\partial \eta _{a}}\times \frac{\eta _{a}}{\Re _{0l}}= { \frac{\eta _{{a}}k}{\eta _{{a}}k+\delta _{{a}}+\mu _{{h}}}} >0, \\ \varLambda ^{\Re _{0l}}_{k}=\frac{\partial \Re _{0l}}{\partial k} \times \frac{k}{\Re _{0l}}=-{ \frac{k ( -\eta _{{a}}\mu _{{h}}+\delta _{{a}}+\mu _{{h}} ) }{ ( \eta _{{a}}k+\delta _{{a}}+\mu _{{h}} ) ( k+\mu _{{h }} ) }} < 0, \\ \varLambda ^{\Re _{0l}}_{\delta _{{a}}}= \frac{\partial \Re _{0l}}{\partial \delta _{{a}}}\times \frac{\delta _{{2}}}{\Re _{0l}}=-{ \frac{k\eta _{{a}}\delta _{{a}}}{ ( \eta _{{a}}k+\delta _{{a}}+\mu _{{h}} ) ( \delta _{{a}}+\mu _{{h}} ) }} < 0, \\ \varLambda ^{\Re _{0l}}_{\mu _{h}}= \frac{\partial \Re _{0l}}{\partial \mu _{h}}\times \frac{\mu _{h}}{\Re _{0l}}=-{ \frac{\mu _{{h}} ( k\eta _{{a}} ( k+\delta _{{a}}+2 \mu _{{h }} ) + ( \delta _{{a}}+\mu _{{h}} ) ^{2} ) }{ ( k+\mu _{{h}} ) ( \delta _{{a}}+\mu _{{h}} ) ( \eta _{{a}}k+\delta _{{a}}+\mu _{{h}} ) }} < 0. \end{cases}\displaystyle \end{aligned}$$

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Melese, Z.T., Alemneh, H.T. Enhancing reservoir control in the co-dynamics of HIV-VL: from mathematical modeling perspective. Adv Differ Equ 2021, 429 (2021).

Download citation


  • VL
  • HIV
  • Co-infection
  • Mathematical model
  • Stability analysis
  • Numerical simulation