ISRN Applied Mathematics

Volume 2012, Article ID 185939, 14 pages

http://dx.doi.org/10.5402/2012/185939

## HIV/AIDS Model with Early Detection and Treatment

^{1}General Studies Department, Arusha Technical College, P.O. Box 296, Arusha, Tanzania^{2}Mathematics Department, University of Dar es Salaam, P.O. Box 35062, Dar es Salaam, Tanzania

Received 21 December 2011; Accepted 23 January 2012

Academic Editors: G. Kyriacou and F. Lamnabhi-Lagarrigue

Copyright © 2012 Augustine S. Mbitila and Jean M. Tchuenche. 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.

#### Abstract

A classical epidemiological framework is used to qualitatively assess the impact of early detection and treatment on the dynamics of HIV/AIDS. Within this theoretical framework, two classes of infected populations: those infected but unaware of their serological status and those who are aware of their disease status, are considered. In this context, we formulate and analyze a deterministic model for the transmission dynamics of HIV/AIDS and assess the potential population-level impact of early detection in curtailing the epidemic. A critical threshold parameter for which case detection will have a positive impact is derived. Model parameters sensitivity analysis indicates that the number of partners is the most sensitive (in increasing the average number of secondary transmission) parameter. However, the case detection coverage is the main drivers in reducing the initial disease transmission. Numerical simulations of the model are provided to support the analytical results. Early detection and treatment alone are insufficient to eliminate the disease, and other control strategies are to be explored.

#### 1. Introduction

HIV/AIDS has killed more than 25 million people globally since its emergence in 1981, making it one of the most destructive epidemics in recorded history. The disease continues to inflict a significant morbidity, mortality, and social-economic and public health burden. For the estimated 33.3 million people living with HIV after nearly 30 years into a very complex epidemic, the gains are real but still fragile, even as the number of annual AIDS-related deaths worldwide has steadily decreased from the peak of 2.1 million in 2004 to an estimated 1.8 million in 2009 [1].

Various preventative and therapeutic measures have been embarked upon, aiming at combating one of the greatest pandemics in modern times [2, 3]. In sub-Saharan Africa, many infected individuals are unaware of their disease status. Recent randomized control trials have found that treating HIV-positive individuals with antiretroviral drugs reduces the risk of them transmitting the disease to their heterosexual partners by more than 90% [4]. As the current treatment therapy has been proven beyond reasonable doubt to reduce transmission, it is imperative to identify those who are infected and put them on treatment when eligible. It is therefore desirable to encourage voluntary testing that will increase case detection, thereby reducing the number of secondary infections of individuals receiving treatment. There is no explicit mathematical account of the potential population level impact of case detection when treatment is available known to us. Thus, a dynamical system model is formulated in order to assess the trade-off/population-level impact between treatment and early detection of HIV positive. The results are sensitive to parameter values, and for this reason, a deterministic sensitivity analysis is carried out.

The rest of this work is organized as follows. The basic model formulation and its analysis are provided in Section 2. The extended model incorporating case detection and treatment is described and analyzed in Section 3. The model simulation using heuristic parameter values for the purpose of illustration follows in Section 4.

#### 2. Model Formulation and Analysis

We begin by formulating a deterministic sex-structured basic HIV/AIDS model (i.e., without interventions). Individuals are identified as male and female only in connection with features peculiar to their sex. The male to female infectivity rate is greater than the female to male [5]. We also assume that the mixing between individuals is homogeneous; individuals may become HIV-infected only through sexual contacts with HIV infected individuals. Those in the final disease stage are considered too ill to remain sexually active. We ignore important HIV transmission path such as intravenous drug injections, vertical transmission, breast feeding, blood transfusion, and needle sharing. It is also assumed that there is no recruitment of HIV positive. The total heterosexual population is divided into male and female subpopulations with the following epidemiological subgroups (the classification is based on individuals disease status): susceptible male and female (), infected male and female (), and symptomatic individuals in the final disease (AIDS) stage ().

New recruits enter the heterosexually active population at constant rates and for male and female, respectively (all recruits into the population are assumed susceptible). Male and female susceptible acquire infection at time-dependent rates and and become infectious. Infectious individuals exhibit AIDS clinical defining symptoms at rates and for male and female, respectively. In the absence of the disease, individuals in the population die of natural death at the rate . The disease-induced mortality rate is for both individuals in the infectious and AIDS classes. A full description of the model variables and parameters used in the model is described in Tables 2 and 3, respectively.

Based on our model description and assumptions, we establish the following equations. We note that the red and dash arrows, respectively, in Figures 1 and 2 are the feedback branches which indicate how the male and female subpopulations are coupled (via the force of infection) The forces of infection for male and female are, respectively, given by where , and , are, respectively, the probabilities of acquiring HIV and the average number of male and female sexual partners, respectively. The basic model (2.1) with nonnegative initial conditions is epidemiologically meaningful and mathematically well posed. Thus, system (2.1) is dissipative (i.e., all feasible solutions are uniformly bounded [6, 7]). System (2.1) has a disease-free equilibrium (DFE) given by Using the next-generation operator method [8], the basic model reproduction number of model (2.1), defined as the number of secondary infections caused by a typical infected individual introduced into the entire susceptible population during his entire period of infectiousness [9], is given by The expression of is a geometric mean of the average number of secondary male infections produced by one female, and the average number of secondary female infections produced by one male. From Theorem 2 of van den Driessche and Watmough [8], the following result holds.

Lemma 2.1. *The DFE of system (2.1) is locally asymptotically stable if , and unstable if .*

If , then on average an infected individual produces less than one new infection over its infectious period, and the epidemic cannot grow. That is, a small influx of infected individuals would not generate large outbreaks if . Conversely, if , then each infected individual produces on average more than one new infection, and the disease can invade the population. However, in order for disease elimination to be independent of the initial sizes of the subpopulations of the model when , global stability of is required.

Lemma 2.2. *The is globally asymptotically stable if , and unstable otherwise.*

*Proof. *The proof is based on a comparison theorem [10]. The rate of change of the variables representing the infected components of the system (2.1) can be written as
where the matrices and are given, respectively, by
Thus,
Using the fact that the eigenvalues of the matrix all have negative real parts, it follows that the linearized differential inequality above is stable whenever . Consequently, as . By a comparison Theorem [10], as . Thus, as for , and hence, the DFE is globally asymptotically stable if .

The above result indicates that HIV could be eliminated from the community if the threshold quantity can be brought to (and maintained at) a value less than unity. The endemic equilibrium (EE) of (2.1) is given by where where and . Solving for using the values of , in (2.9) and the value of , after some lengthy algebraic manipulations, the endemic equilibrium of HIV/AIDS basic model satisfies the following linear equation: where while provided , and consequently, the linear system has a unique positive solution , whenever . The components of the endemic equilibrium are then determined by substituting into (2.9). Noting that implies ; thus, for , the force of infection at steady state is negative (and biologically meaningless). Hence, the model has no endemic equilibrium in this case. Thus, we have established the following result.

Lemma 2.3. *The HIV/AIDS model (2.1) has a unique positive EE whenever and none otherwise.*

The uniqueness of and the global stability of the DFE imply that the model does not exhibit the phenomenon of backward or subcritical bifurcation where a locally stable EE coexists with a stable DFE when the reproduction number is less than unity. Because the model parameters are taken from different sources, a deterministic sensitivity analysis is carried out using the approach in [11]. Sensitivity indices (of the reproduction number) which measure initial disease transmission allow us to estimate the relative change in a state variable when a parameter changes. The sensitivity indices of to the parameters for the HIV/AIDS model are given in Table 1. The negative parameters simply means that an increase in that parameter leads to a decrease in the reproductive number. For instance, a 10% increase of the number of sexual partners will lead to a 5% increase of the value of (initial disease transmission threshold).

#### 3. Analysis of the Model with Interventions

The basic model is extended to include screening (detected classes, , ) and treatment classes (, ). It is assumed that the number of contacts made by susceptible individuals under treatment is less than or equal to the number of contacts made with an untreated infective due to behavioral change. This is captured via the parameters and which are both less than or equal to unity (, ). Also, treatment reduces infectivity, accounted herein by the parameters , . The model compartments and flow are depicted in Figure 2, while the additional variables and parameters for the extended model are described in Tables 2 and 3, respectively.

With the above assumptions and terminology, the model is given by the following system of nonlinear equations: The force of infections of male and female is, respectively, given by The DFE of model system (3.1) denoted by is given by Using the next-generation matrix operator [8], the reproduction number of (3.1) is where Thus, using Theorem 2 of van den Driessche and Watmough [8], the following result holds.

Lemma 3.1. *The DFE of model system (3.1) is locally asymptotically stable if , and unstable if . *

and are the reproduction numbers for males and females, respectively (i.e., represents the number of females infected by a single male during his entire period of infectiousness in a population where treatment is available). If the interventions are dropped, that is, , , and , , then the effective reproduction number reduces to the basic reproduction number . The endemic equilibrium of (3.1) denoted by is where The endemic equilibrium exists provided and . Consider given in (3.7), then Substituting and in (3.9), after some rearrangement, we obtain It is therefore evident that provided . A similar expression can be derived for . Thus, we have established the following result.

Lemma 3.2. *The model system (3.1) has a unique positive EE whenever and none otherwise. *

We analytically investigate the impact of case detection on HIV/AIDS dynamics. By partially differentiating with respect to the case detection rate , we obtain where . For , (3.11) is negative and consequently, early detection will always have a positive impact on the dynamics of HIV/AIDS. If , then case detection has no impact (this case will only arise if treatment of those eligible does not follow). From epidemiological and demographical standpoint, the threshold parameter is to be expected.

The sensitivity indices of are given in Table 4. Next, we numerically investigate the impact of the number of partners, case detection, and treatment on the disease dynamics. Tanzania started HIV/AIDS care and treatment in October 2004, and the target for the first year was to cover 44,000 patients. About 96 care and treatment providing facilities were selected to initiate the services, which included four referral hospitals; Muhimbili, Kilimanjaro Christian Medical Centre (KCMC), Bugando Medical Centre (BMC), and Mbeya Medical Centre. Some of the parameter values (see Table 3) are provided courtesy of the regional medical officer estimated based on data from the Bugando Medical Centre (BMC) and the Sekou Toure Hospital (STH) both located in Mwanza City in northern Tanzania. Others are taken from the literature, and the remaining ones are assumed within realistic range for the purpose of illustration.

Multiple partnerships increase the risk factor of acquiring HIV. When the number of partners is small over a long time period, the rate of infection is minimal. In this case, the disease tends to die down (Figure 3(a)). The disease will persist when multiple and concurrent partnerships are frequent in the community, in which case infections are on the increase over time (Figure 3(b)).

Since it is assumed that all detected HIV-positive individuals are treated if eligible, the shapes of the time trends of detected (Figure 4(a)) and treated individuals (Figure 4(b)) are similar. The slight difference is due to the rate of developing full blown AIDS from the treated class.

Figure 5 depicts the effect of increasing early detection and treatment on the reproduction numbers and .

#### 4. Conclusion

The dynamic and determinants of the HIV epidemics are multiple and are shaped by the sexual patterns which are related to social, cultural, and economic factors: for example, promiscuity, low and inconsistent condom use, intergenerational sex, concurrent sexual partners, and various opportunistic infections. Screening is a barometer for achieving success in the fight against the epidemic. It is against this background that a simple deterministic HIV/AIDS model which accounts for case detection and antiretroviral therapy was formulated and analyzed. Conditions for the global stability which rules out any possibility for the model to exhibit the phenomenon of backward bifurcation were provided. Therefore, the classical requirement of the reproduction number to be less than unity might be sufficient for disease elimination. However, HIV/AIDS is inherently a multifaceted disease with poverty-drug use-behavioral/attitudinal change and gender inequality are some of the social factors that need to be addressed. Sensitivity results point to the case detection rate as a driving factor in stemming the tide of the epidemic. Thus, increasing voluntary and or mass screening will always have a positive impact on HIV/AIDS control in reducing the disease burden.

Numerical simulations clearly show that early detection and treatment alone are insufficient to eliminate the disease (Figures 4 and 5). Other control strategies such as condom and microbicides used are to be explored. The study is not exhaustive and can be extended in various ways by incorporating a potential (imperfect) vaccine, withdrawal from sexual activity of a fraction of individuals in the AIDS defining stage, and development of drug resistance and superinfection (with different virus strains).

#### Acknowledgments

A. S. Mbitila acknowledges with thanks the support in part of the Norad’s programme for Master Studies (in mathematical modelling) at the University of Dar es Salaam and the Arusha Technical College for financial support and study leave.

#### References

- WHO/UNAIDS, “UNAIDS report on the global AIDS epidemic 2010,”
*UNAIDS/10.11E*JC1958E, 2010. View at Google Scholar - M. A. Foulkes, “Advances in HIV/AIDS statistical methodology over the past decade,”
*Statistics in Medicine*, vol. 17, no. 1, pp. 1–25, 1998. View at Publisher · View at Google Scholar - Z. Mukandavire, J. M. Tchuenche, C. Chiyaka, and G. Musuka, “HIV/AIDS and the use of mathematical models in the theoretical assessment of intervention strategies: a review,” in
*Advances in Disease Epidemiology*, J. M. Tchuenche and Z. Mukandavire, Eds., pp. 221–241, Nova Science Publishers, New York, NY, USA, 2009. View at Google Scholar - “HIV treatment as prevention—it works,”
*The Lancet*, vol. 377, no. 9779, p. 1719, 2011. View at Publisher · View at Google Scholar - N. S. Padian, S. C. Shiboski, and N. P. Jewell, “Female-to-male transmission of human immunodeficiency virus,”
*Journal of the American Medical Association*, vol. 266, no. 12, pp. 1664–1667, 1991. View at Publisher · View at Google Scholar - V. Hutson and K. Schmitt, “Permanence and the dynamics of biological systems,”
*Mathematical Biosciences*, vol. 111, no. 1, pp. 1–71, 1992. View at Publisher · View at Google Scholar - E. Mtisi, H. Rwezaura, and J. M. Tchuenche, “A mathematical analysis of malaria and tuberculosis co-dynamics,”
*Discrete and Continuous Dynamical Systems Series B*, vol. 12, no. 4, pp. 827–864, 2009. View at Publisher · View at Google Scholar - P. van den Driessche and J. Watmough, “Reproduction numbers and sub-threshold endemic equilibria for compartmental models of disease transmission,”
*Mathematical Biosciences*, vol. 180, pp. 29–48, 2002. View at Publisher · View at Google Scholar - O. Diekmann, J. A. P. Heesterbeek, and J. A. J. Metz, “On the definition and the computation of the basic reproduction ratio ${R}_{0}$ in models for infectious diseases in heterogeneous populations,”
*Journal of Mathematical Biology*, vol. 28, no. 4, pp. 365–382, 1990. View at Publisher · View at Google Scholar - V. Lakshmikantham, S. Leela, and A. A. Martynyuk,
*Stability Analysis of Nonlinear Systems*, Monographs and Textbooks in Pure and Applied Mathematics, Marcel Dekker, New York, NY, USA, 1989. - N. Chitnis, J. M. Hyman, and J. M. Cushing, “Determining important parameters in the spread of malaria through the sensitivity analysis of a mathematical model,”
*Bulletin of Mathematical Biology*, vol. 70, no. 5, pp. 1272–1296, 2008. View at Publisher · View at Google Scholar - Z. Mukandavire and W. Garira, “Sex-structured HIV/AIDS model to analyse the effects of condom use with application to Zimbabwe,”
*Journal of Mathematical Biology*, vol. 54, no. 5, pp. 669–699, 2007. View at Publisher · View at Google Scholar - J. Karrakchou, M. Rachik, and S. Gourari, “Optimal control and infectiology: application to an HIV/AIDS model,”
*Applied Mathematics and Computation*, vol. 177, no. 2, pp. 807–818, 2006. View at Publisher · View at Google Scholar