- Research
- Open Access

# Mathematical modelling of HIV epidemic and stability analysis

- Fatma Bozkurt
^{1}and - Fatma Peker
^{2}Email author

**2014**:95

https://doi.org/10.1186/1687-1847-2014-95

© Bozkurt and Peker; licensee Springer. 2014

**Received:**13 October 2013**Accepted:**10 March 2014**Published:**24 March 2014

## Abstract

A nonlinear mathematical model of differential equations with piecewise constant arguments is proposed. This model is analyzed by using the theory of both differential and difference equations to show the spread of HIV in a homogeneous population. Because of the solution of this differential equations being established in a certain subinterval, solutions will be analyzed as a system of difference equations. After that, results will be considered for differential equations as well. The population of the model is divided into three subclasses, which are the HIV negative class, the HIV positive class that do not know they are infected and the HIV positive class that know they are infected. As an application of the model we took the spread of HIV in India into consideration.

**MSC:**39A10, 39A11.

## Keywords

- logistic differential equations
- difference equations
- piecewise constant arguments
- stability

## 1 Introduction

Sexually transmitted diseases such as HIV are overwhelmingly observed in some populations. Countries are dealing with the growing impact of the epidemics on the youngest and most productive population groups; increasing numbers in children and adolescents; worsening situation among the poor and marginalized populations; a continuous aggravation of the existent health problems (such as tuberculosis); and above all, the diversion of resources from other health, welfare, and educational priorities. It is very important to understand how the transmission process of the infectious diseases works in order to avoid ulterior spread of these epidemics [1]. So mathematical models for transmission dynamics in HIV play an important role in better understanding of epidemiological patterns for disease control as they provide short and long term prediction for HIV and AIDS incidence [2].

The first mathematical model used for the explicit study of a sexually transmitted disease was a one sex model that was constructed by Cooke and Yorke in 1973 [1, 3]. A two sex model developed specifically for gonorrhea was formulated by Lajmanovich and Yorke in 1976 [4]. One STD (sexually transmitted disease) that many people are worried about getting is HIV. Mathematical modeling of the HIV epidemic has been studied by various authors recently [5–12]. In 1994, Velasco-Hernandez and Hsieh analyzed the HIV epidemic in a male population [13]. In 2004, Bachar and Dorfmatr considered the mathematical model where the population was divided into three sub populations [14]. Expanding [14], Naresh has studied the effect of contact tracing on reducing the spread of HIV/AIDS in a homogeneous population with constant immigration of susceptibles.

In the equations above, *t* is the time and $[|t|]$ is the exact value of *t* for $t\ge 0$. The model monitors three populations; susceptibles $S(t)$, HIV positives that do not know they are infected ${I}_{1}(t)$, HIV positives that know they are infected ${I}_{2}(t)$. The susceptibles are composed of individuals that have not contracted the infection but may get infected through contacts (sexual, blood transfusion *etc.*) with infectives. ${r}_{1}$ is the population growth rate of the susceptible population. The deaths (of natural causes) are given at a rate ${\alpha}_{1}$. ${p}_{1}$ is the rate of susceptible population per year. The susceptibles are lost from their class following contacts with the infectives ${I}_{1}$ and ${I}_{2}$ at a rate ${\beta}_{1}$ and ${\beta}_{2}$, respectively. ${I}_{1}$ are populations that are HIV positive but do not know it, because disease symptoms have not yet appeared in this class. This population is generated by the HIV infection of susceptibles. ${r}_{2}$ is the population growth rate of the population ${I}_{1}$. The deaths (of natural causes) are given at a rate ${\alpha}_{2}$. The population of this class decreases and becomes aware after screening at a rate *θ*. *γ* is the rate of individuals in class ${I}_{1}$ that detect the infection by tracing contacts with class ${I}_{2}$. Following the contacts of class *S* and ${I}_{1}$, class *S* becomes aware of the infection and this class is detected further which has the rate of ${\epsilon}_{1}$. And also, following the contacts of class *S* and ${I}_{2}$, class *S* becomes aware of the infection and is detected further with the rate of ${\epsilon}_{2}$. ${r}_{3}$ is the population growth rate of the population ${I}_{2}$. The deaths (of natural causes) are given at a rate ${\alpha}_{3}$.

## 2 Local and global asymptotic stability analysis

In this section, the local and global behavior of the nonlinear system (1.1) under specific conditions is investigated. To show the consistence of the population classes with the model constructed in Section 2, the data of [2] is used. Examples show the spread of the population over the time.

### 2.1 Equilibrium point of the model (1.1)

*t*go to $n+1$ where $n=0,1,2,3,\dots $ , we obtain a system of difference equations as follows:

- (i)
${\beta}_{1}=3{\beta}_{2}$,

- (ii)
${\beta}_{2}<\sqrt{\frac{{\alpha}_{1}({\alpha}_{3}-\gamma )}{3-4{\epsilon}_{1}}}$,

- (iii)
${\epsilon}_{1}={\epsilon}_{2}$,

- (iv)
${\epsilon}_{1}\ne (1-{\epsilon}_{2})$,

- (v)
$(1-{\epsilon}_{1})({\alpha}_{2}+2\theta -2\gamma +3{\alpha}_{3})>3({\alpha}_{3}-\gamma )$,

- (vi)
${\alpha}_{3}>\gamma $,

- (vii)
${\epsilon}_{1}={\epsilon}_{2}<0.75$,

- (viii)
$\theta >\gamma $.

### 2.2 Local and global stability of the positive equilibrium

In this part, the local and global stability of system (2.2) will be analyzed. For the proof of Theorem 2.1, Theorem 2.2, and Theorem 2.3, it is assumed that conditions (i)-(viii) hold.

**Theorem 2.1**

*Let*$\overline{X}=(\overline{S},{\overline{I}}_{1},{\overline{I}}_{2})$

*the positive equilibrium point of system*(2.2)

*and assume that*

*Furthermore*,

*suppose that*

*If*

*where*

*then the positive equilibrium point of system* (2.2) *is locally asymptotically stable*.

*Proof*To prove Theorem 2.1, we have used the Schur-Cohn criteria (see [15]) to obtain conditions for the local asymptotic stability of the positive equilibrium points of system (2.2). We have

Furthermore, if the following conditions hold, then the inequality (2.39) is available.

where $-\gamma +{\beta}_{2}{\epsilon}_{1}S>0$.

This completes the proof. □

**Theorem 2.2**

*Let*${\{S(n),{I}_{1}(n),{I}_{2}(n)\}}_{n=0}^{\mathrm{\infty}}$,

*be a positive solution of system*(2.2).

*The following statements are true*.

- (i)
*If*$\{\begin{array}{c}{p}_{1}-{\beta}_{1}{I}_{1}(n)-{\beta}_{2}{I}_{2}(n)-{\alpha}_{1}S(n)>0,\hfill \\ 1-{I}_{1}(n)({\alpha}_{2}+\theta )-\gamma {I}_{2}(n){\beta}_{1}(1-{\epsilon}_{1})S(n){\beta}_{2}(1-{\epsilon}_{2})S(n){I}_{2}(n)>0,\hfill \\ 1-{\alpha}_{3}{I}_{2}(n)+{\beta}_{2}{\epsilon}_{2}+(\gamma +\theta ){I}_{1}(n)+{\beta}_{1}{\epsilon}_{1}S(n){I}_{1}(n)>0,\hfill \end{array}$(2.52)

*then the solution of system*(2.2)

*increases monotonically*.

- (ii)
*If*$\{\begin{array}{c}{p}_{1}>{p}_{1}-{\beta}_{1}{I}_{1}(n)-{\beta}_{2}{I}_{2}(n)>{\alpha}_{1}S(n),\hfill \\ 1>1+{\beta}_{1}(1-{\epsilon}_{1})S(n)-\theta {I}_{1}(n)-\gamma {I}_{2}(n)+{\beta}_{2}(1-{\epsilon}_{2})S(n){I}_{2}(n)\hfill \\ \phantom{1}>{\alpha}_{2}{I}_{1}(n),\hfill \\ 1>1+{\beta}_{2}{\epsilon}_{2}S(n)+(\gamma +\theta ){I}_{1}(n)+{\beta}_{1}{\epsilon}_{1}S(n){I}_{1}(n)>{\alpha}_{3}{I}_{2}(n),\hfill \end{array}$(2.53)

*then*

*Proof* The proof will be left to the readers. □

**Theorem 2.3**

*Let system*(2.2)

*be written as follows*:

*where the first order partial derivatives of the functions*

*f*,

*g*,

*and*

*h*

*with regard to*$S(t)$, ${I}_{1}(t)$, ${I}_{2}(t)$

*are continuous in*$I\subset {R}^{+}$

*and*$f,g,h:V\subset {{R}^{+}}^{3}\to I\subset {R}^{+}$.

*If*

*and*

*then* (2.55) *has no* 2-*cycle in* *I*, *where* ${\alpha}_{1}>3{\beta}_{2}$, ${\alpha}_{2}>\theta $.

*Proof*Let the initial values be as follows:

*I*. In view of Theorem 2.2, the following results can be obtained.

- (1)$f(S(t),{I}_{1}(t),{I}_{2}(t))$ has no cycle in
*I*, since for ${\alpha}_{1}>3{\beta}_{2}$ we obtain$1+\frac{\partial f(x)}{\partial S}>0,\phantom{\rule{2em}{0ex}}1+\frac{\partial f(x)}{\partial {I}_{1}}>0,\phantom{\rule{2em}{0ex}}1+\frac{\partial f(x)}{\partial {I}_{2}}>0,$(2.61)

- (2)Similarly, ${I}_{1}(t+1)=g(S(t),{I}_{1}(t),{I}_{2}(t))$ has no cycle in
*I*, since for ${\alpha}_{2}>\theta $, we get$1+\frac{\partial g(x)}{\partial S}>0,\phantom{\rule{2em}{0ex}}1+\frac{\partial g(x)}{\partial {I}_{1}}>0,\phantom{\rule{2em}{0ex}}1+\frac{\partial g(x)}{\partial {I}_{2}}>0,$(2.63)

- (3)Finally, ${I}_{2}(t+1)=h(S(t),{I}_{1}(t),{I}_{2}(t))$ has no cycle in
*I*, since (2.62) and (2.64) hold, and we have$1+\frac{\partial h(x)}{\partial S}>0,\phantom{\rule{2em}{0ex}}1+\frac{\partial h(x)}{\partial {I}_{1}}>0,\phantom{\rule{2em}{0ex}}1+\frac{\partial h(x)}{\partial {I}_{2}}>0.$(2.65)

This completes the proof. □

Some additional assumptions of (2.55) are needed to verify global asymptotic stability for the positive equilibrium point $\overline{x}=(\overline{S},{\overline{I}}_{1},{\overline{I}}_{2})$.

*f*,

*g*,

*h*be continuous functions and

- i.
$f:A\times B\times C\to A$,

- ii.
$g:A\times B\times C\to B$,

- iii.
$h:A\times B\times C\to C$.

**Corollary 2.1** *Let us have a positive equilibrium point of system* (2.2). *If Theorems* 2.1-2.3 *hold*, *then the positive equilibrium point of system* (2.2) *is globally asymptotically stable*.

## Example

*t*. Considering Figure 1, it is seen that after 75 years an important increase of the ${I}_{1}$ class and decrease of the

*S*class will happen for the selected values in system (2.2). When Figures 1 and 2 are compared, one can see that in the same years the ${I}_{1}$ class increases more in Figure 2 and that the

*S*class decreases more in Figure 2. In Figure 3, for ${\beta}_{2}=0.3$ and ${\beta}_{1}=0.9$ after 25 years an important increase of class ${I}_{1}$ and decrease of class

*S*will happen. In that case it is said that as the value of ${\beta}_{2}$ (per capita contact rate for susceptibles with unaware infectives (${I}_{2}$)) increases, the ${I}_{1}$ class decreases in earlier years.

*θ*and

*k*is shown. It is seen that as infected persons,

*i.e.*the unaware HIV infectives become aware about their infection, detect by a rate

*θ*, we may trace out the other infectives which have had the sexual contacts in the past by contact tracing by a rate

*γ*, which results in the decrease of the number of unaware infectives. It is seen that as the rate of

*θ*and

*k*become zero (see Figure 6)

*i.e.*the infectives who do not know that they are infected will continue maintaining sexual relationships in the community which will ultimately increase the infective populations.

Thus, on changing the behavior and increasing the awareness about the HIV infection in the population the infection can be slowed down and may be kept under control.

## Discussion

In this paper, a mathematical model with piecewise constant arguments is proposed to investigate the impact of the parameters (*e.g.* contact tracing, screening) on the spread of HIV in a population with variable size structure. The model is analyzed using Schur-Cohn criteria on difference equations and numerical simulation. The equilibrium point is found to be locally asymptotically stable and globally asymptotically stable under certain conditions. It is observed that if the aware HIV infectives, detected by screening and contact tracing, do not take part in spreading the disease, HIV infection reduces significantly. It is also found that the disease becomes more endemic due to immigration and the endemicity of the disease decreases when the infectives become aware of their infection after screening and contact tracing and do not take part in sexual interaction, whereas it increases in the absence of contact tracing. In the absence of screening and contact tracing, the infected people continue to spread the disease without taking any precaution due to unawareness of their infection.

Finally from the analysis, it may be speculated that the most effective way to reduce the infection rate and prevalence level is to educate the people about the HIV and make them aware of the consequences of practicing non-safe sex or any other kind of risky behavior. If the population presents a positive attitude toward preventive procedures, the disease may tend to vanish, even for relatively small random screening rates.

## Declarations

### Acknowledgements

Authors are thankful to the reviewers, whose suggestions and constructive comments helped us in finalizing the paper. This research is supported by the Erciyes University Bap organization within the scope of the FBA-12-3993 project.

## Authors’ Affiliations

## References

- López-Cruz, R: Structured SI epidemic models with applications to HIV epidemic. Postgraduate thesis, Arizona State University (2006)Google Scholar
- Naresh R, Sharma D, Tripathi A: A nonlinear HIV/AIDS model with contact tracing.
*Appl. Math. Comput.*2011, 217(23):9575-9591. 10.1016/j.amc.2011.04.033MathSciNetView ArticleGoogle Scholar - Cooke KL, Yorke JA: Some equations modelling growth processes and gonorrhea epidemics.
*Math. Biosci.*1973, 16: 75-101. 10.1016/0025-5564(73)90046-1MathSciNetView ArticleGoogle Scholar - Lajmanovich A, Yorke JA: A deterministic model for gonorrhea in a nonhomogeneous population.
*Math. Biosci.*1976, 28: 221-236. 10.1016/0025-5564(76)90125-5MathSciNetView ArticleGoogle Scholar - Dietz K, Heesterbeek JAP: Daniel Bernoulli’s epidemiological model revisited.
*Math. Biosci.*2002, 180(1-2):1-21. 10.1016/S0025-5564(02)00122-0MathSciNetView ArticleGoogle Scholar - Anderson RM, Medley GF, May RM, Johnson AM: A preliminary study of the transmission dynamics of the human immunodeficiency virus HIV, the causative agent of AIDS.
*IMA J. Math. Appl. Med. Biol.*1986, 3: 229-263. 10.1093/imammb/3.4.229MathSciNetView ArticleGoogle Scholar - Adams BM, Banks HT, Davidian M, Kwon HD, Tran HT, Wynne SN, Rosenberg ES: HIV dynamics: modeling, data analysis, and optimal treatment protocols.
*J. Comput. Appl. Math.*2005, 184(1):10-49. 10.1016/j.cam.2005.02.004MathSciNetView ArticleGoogle Scholar - Blythe SP, Anderson RM: Variable infectiousness in HIV transmission models.
*IMA J. Math. Appl. Med. Biol.*1988, 5: 181-200. 10.1093/imammb/5.3.181MathSciNetView ArticleGoogle Scholar - Naresh R, Sharma D, Tripathi A: Modelling the effect of risky sexual behaviour on the spread of HIV/AIDS.
*Int. J. Appl. Math. Comput.*2009, 1(3):132-147.Google Scholar - Arazoza HD, Lounes R: A non-linear model for a sexually transmitted disease with contact tracing.
*IMA J. Math. Appl. Med. Biol.*2002, 19: 221-234. 10.1093/imammb/19.3.221View ArticleGoogle Scholar - Doyle M, Greenhalgh D: Asymmetry and multiple endemic equilibria in a model for HIV transmission in a heterosexual population.
*Math. Comput. Model.*1999, 29(3):43-61. 10.1016/S0895-7177(99)00029-1View ArticleGoogle Scholar - Nyabadza F, Mukandavire Z, Hove-Musekwa SD: Modelling the HIV/AIDS epidemic trends in South Africa: insights from a simple mathematical model.
*Nonlinear Anal., Real World Appl.*2011, 12(4):2091-2104. 10.1016/j.nonrwa.2010.12.024MathSciNetView ArticleGoogle Scholar - Velasco-Hernandez JX, Hsieh Y-H: Modelling the effect of treatment and behavioral change in HIV transmission dynamics.
*J. Math. Biol.*1994, 32: 233-249. 10.1007/BF00163880View ArticleGoogle Scholar - Bachar M, Dorfmayr A: HIV treatment models with time delay.
*C. R. Biol.*2004, 327(11):983-994. 10.1016/j.crvi.2004.08.007View ArticleGoogle Scholar - Allen LJS:
*An Introduction to Mathematical Biology*. Pearson/Prentice Hall, Upper Saddle River; 2007.Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.