 Research
 Open Access
 Published:
Predicting the effectiveness of drug interventions with ‘HIV counseling & testing’ (HCT) on the spread of HIV/AIDS: a theoretical study
Advances in Difference Equations volume 2018, Article number: 451 (2018)
Abstract
In this paper, a dynamic compartmental model is constructed for the transmission of HIV/AIDS receiving drug treatment and knowledge from effective awareness programs through media. Using stability theory of differential equations the model is analyzed qualitatively. The equilibrium points in the local and global stability proof are found to be stable under certain conditions. Further, we use Pontryagin’s Minimum Principle in the timedependent constant control case to derive necessary conditions for the optimal control of the disease. Sensitivity analysis is also performed to check the robustness of the model with respect to small changes in parametric values of the system. In order to predict the long term dynamics of the disease, projections are made. These studies reveal that HIV incidence could be substantially reduced by improving the testandtreat strategy and implication of media awareness.
Introduction
According to the report from the US Centers for Disease Control and Prevention, acquired immune deficiency syndrome (AIDS) was first identified as a distinct infectious disease in the year 1981. Since then, more than 70 million people have been infected and about 35 million people have already died of this disease. World Health Organization (WHO) reported that globally, there were 36.9 million people who were living with HIV at the end of 2017 and 940,000 people died of HIVrelated illnesses worldwide in the same year. Can you imagine what would happen if this number of deaths still happen for next few years?
Nevertheless, there is no room for complacency. Countries need to live up their commitment, adopted by the United Nations General Assembly in September 2015, to end the AIDS epidemic as a public health threat by 2030. The immediate challenge is to reach the FastTrack targets for 2020, and a rational step should be immediately taken to make people aware about the disease, and its preventive measures, through the media, as HIVrelated deaths are still unacceptably high.
Recent studies suggested that education and media have a great visitation in preventing the spread of HIV/AIDS among married couples in Bangladesh [1, 2]. Broadcast media, being the primary source of information, can not only increases the governmental health care involvement to control the spread of HIV but also makes people acquainted with the disease. Del Valle et al. (2004) studied the effects of education, temporary vaccination, and treatment on HIV transmission in a homosexually active population [3]. It was suggested by them that along with proper vaccination and treatment, awareness programs could be one of the effective solutions in reduction of such diseases. Gumel et al. (2004) worked on determining the optimal vaccine coverage and efficacy levels needed for communitywide eradication of HIV [4]. Baryarama et al. (2005) worked on a mathematical model and explained that there is a tendency for the epidemic to stabilize at higher numbers of infectives and AIDS cases than the minimum numbers attained during the first decline of the epidemic [5]. HoveMusekwa et al. (2009) worked to determine the effects of carriers and randomly screened carriers, who are aware of their status, on the transmission of HIV [6]. Tripathi et al. (2007) also proposed a model presented without interventions, which considers infection leading to asymptomatic HIV infectives who are later screened and finally develop AIDS [7]. A similar approach was undertaken earlier by Hyman et al. (2003) with differential infectivity and staged progression models [8]. In our recent works, we have shown that the incidences can be controlled if people take obligatory precautions to make themselves protected [9, 10]. They can minimize the risk if they become wellinformed and aware about the prevalence. Other research articles are also studied to improve this modeling process [11,12,13,14].
These studies have motivated us to formulate a mathematical model that incorporates both of these events: testandtreat program and media awareness. In the modeling process, we assume that the growth rate of the cumulative density of awareness programs driven by the media is proportional to the number of untreated infectives present in the population. The whole population is divided into five separate classes; highrisk unaware susceptible class, class of nondiagnosed HIV infected individuals, diagnosed class of HIVpositive individuals who have not yet progressed to AIDS, class of those individuals with clinical AIDS, and aware susceptible class. We also discuss the equilibrium points and their stability. Finally, we solve the model numerically and then discuss the results from the biological aspect.
The model
We formulate a mathematical model which considers voluntary counseling and testing followed by immediate initiation of drug therapy, where HIVpositive individuals were identified and immediately received antiretroviral treatment. Following this assumption, we consider a region with total population \(N(t)\) at any instant of time t. The whole population is subdivided into five classes, that are: unaware susceptibles, \(S(t)\); aware susceptibles, \(S_{+}(t)\); unaware and untreated infected individuals, \(I(t)\); diagnosed and treated infected individuals who have not yet developed to AIDS, \(I_{D}(t)\); and diagnosed infected individuals with clinical AIDS, \(I_{DA}(t)\). Therefore, \(N=S + S_{+} + I + I_{D} + I_{DA}\). As mentioned earlier, the number of awareness campaigns is considered explicitly and is represented by \(M(t)\) at time t. The growth rate of awareness campaigns is assumed to be proportional to the number of diagnosed infected people, with and without AIDS developed, present in the population. Moreover, the diminution of awareness campaigns due to societal and psychological barriers is also incorporated in the model. Further, it is also assumed that people with possession of awareness may lose it with the passage of time, due to memory fading or other reasons. On the basis of the assumptions above, the dynamics of model are governed by the following system of nonlinear ordinary differential equations:
with initial values \(S(0)=S_{0}\), \(I(0)=I_{0}\), \(I_{D}(0)=I_{D_{0}}\), \(I _{DA}(0)=I_{DA_{0}}\), \(S_{+}(0)=S_{+_{0}}\) and \(M(0)=M_{0}\) at \(t=0\), and \(\xi '=\xi (1\eta )\), where η is effectiveness of the drug input and ξ represents the rate of progression from HIV diagnosis to the AIDS class.
Here, the constant recruitment rate in the susceptible population is Π either by birth or immigration. There is a constant natural death rate d. β is the product of the effective contact rate between susceptible and infected individuals to result in HIV infection and the transmission probability of HIV per contact. \(\lambda_{1}\), \(\lambda_{2}\) are the modification factors accounting for varying levels of the activity and infectiousness of the diagnosed HIVpositive individuals and the AIDS patients, respectively. The dissemination rate of awareness among susceptible, at which they form the aware class, is represented by c. The transfer rate from aware susceptible to unaware susceptible class is denoted as ω. δ is the diagnosis rate and \(d_{I}\) is the natural death rate of infected individuals. ρ is the proportion of diagnosed individuals who have not yet developed to AIDS (\(0\leq \rho \leq 1\)). Here, \(\alpha_{I}\) and \(\alpha_{D}\) are additional death rates for the diagnosed HIVpositive individuals and for those who are AIDS infected, respectively. The parameter μ is the proportionality constant which governs the implementation of awareness programs and \(\mu_{0}\) denotes the depletion rate of these programs due to ineffectiveness, public interests, social problems, etc.
Throughout this paper, to shorten the notation, we use the following notations: \(\mu_{1}=\delta + d + d_{I}\), \(\mu_{2}=\xi ' + d +\alpha_{I}\), \(\mu_{3}=d+\alpha_{A}\), \(\mu_{4}=d+\omega \).
Model properties:
System (1) will be analyzed in a domain \(\mathcal{D} \subset \mathbb{R}^{6}_{+}\), where all feasible solutions enter the region
Theorem 2.1
The solutions of system (1) with initial conditions satisfy \(S(t)>0\), \(I(t)>0\), \(I_{D}(t)>0\), \(I_{DA}(t)>0\), \(S_{+}(t)>0\), \(M(t)>0\) for all \(t>0\). The region \(\mathcal{D}\in \mathbb{R}^{6}_{+}\) is positively invariant and attracting with respect to system (1).
Proof
From the first equation of (1) we have
giving
In a similar fashion we can show that \(I(t)\), \(I_{D}(t)\), \(I_{DA}(t)\), and \(S_{+}(t)\) are all strictly positive. Thus we can conclude that all solutions of system (1) remain positive for all \(t>0\). Now, we will show that all feasible solutions are uniformly bounded in \(\mathcal{D}\). Using the fact that \(N=S + I + I_{D} + I_{DA} + S_{+}\), we get
Solving this differential equation, we have
where \(N(0)\) represents the initial value of the total population at time \(t=0\). Thus, \(0\leq N(t)\leq \frac{\varPi }{d}\) hold, as \(t\rightarrow \infty \). Therefore, it is clear from the above that \(\varPi /d\) is an upper bound of N, provided \(N(0)\leq \varPi /d\). If \(N(0) > \frac{ \varPi }{d}\), then N will decrease to this level. Hence, all feasible solutions of the system attracted or remain in the region \(\mathcal{D}\). Further, the usual existence, uniqueness, and continuation results hold for the system in this region. □
Analysis of equilibria
In this section, we focus on the existence and stability of equilibria for system (1). The equilibrium points are obtained by equating the righthand side of each equation in (1) to zero and it is found that system (1) has two nonnegative equilibria.
Let \(( S^{*}, I^{*}, I_{D}^{*}, I_{DA}^{*}, S_{+}^{*}, M^{*} ) \) denote an equilibrium point. Clearly, from the third equation we have \(I_{D}^{*}=\frac{\rho \delta }{\mu_{2}} I^{*}\), then from the fourth equation \(I_{DA}^{*}= \frac{\delta }{\mu_{2}\mu_{3}} [\rho \xi '+(1\rho )\mu_{2} ]I^{*}\). Next, from the second equation we obtain two possibilities: either \(I^{*}=0\) or \(\beta S ^{*} [ 1 + \lambda_{1}\frac{\rho \delta }{\mu_{2}}+ \lambda_{2} \frac{ \delta }{\mu_{2}\mu_{3}} (\rho \xi '+(1\rho )\mu_{2} ) ] =\mu_{1} \). In the first case we subsequently obtain \(M^{*}=0\) from the sixth equation, \(S_{+}^{*}=0\) from the fifth equation, and \(S^{*}=\frac{ \varPi }{d}=:S_{0}\) from the first one, which gives us diseasefree equilibrium (DFE). In the latter case we easily see that \(S^{*}=\frac{ \mu_{1}}{\beta [ 1 + \lambda_{1}\frac{\rho \delta }{\mu_{2}}+ \lambda_{2} \frac{\delta }{\mu_{2}\mu_{3}} (\rho \xi '+(1\rho ) \mu_{2} ) ] }>0 \) and all other coordinates of this equilibrium point are dependent on the value of \(I^{*}\), namely \(S_{+}^{*}=\frac{c}{ \mu_{4}}S^{*}M^{*}\) and \(M^{*}=\frac{\mu \delta }{\mu_{0}\mu_{2}\mu _{3}} [ \rho (\mu_{3}+\xi ')+(1\rho )\mu_{2} ] I^{*}\), which allows to calculate \(I^{*}\) from the first equation. We obtain
It is obvious that \(I^{*}>0\) implies positivity of all other coordinates, and therefore \(S^{*}< S_{0}\) is the condition guaranteeing the existence of positive (endemic) equilibrium (EE).
Diseasefree equilibrium (DFE) and basic reproduction number \(\mathcal{R}_{0}\)
The model has always a diseasefree equilibrium \(E_{0} = (S_{0},0,0,0,0,0) = (\frac{\varPi }{d},0,0,0,0,0 )\). Local stability of \(E_{0}\) is governed by basic reproduction number \(\mathcal{R}_{0}\); cf. [15]. Biologically speaking, \(\mathcal{R}_{0}\) is an average number of new secondary infections generated by a single HIV infected individual, introduced into a susceptible population. The basic reproduction number \(\mathcal{R} _{0}\) could be determined using the next generation approach [15]. Using this approach we need to renumber the model variables in such a way that compartments reflecting infected individuals are at the beginning, so we have \(x=(I, I_{D}, I_{DA}, S, S_{+}, M)^{T}\), with the number of infected compartments equal to 3. Now, by \(\mathcal{X}_{S}\) we denote the set of all diseasefree states, \(\mathcal{X}_{S}=\{x \geq 0 : x_{i}=0 \text{ for } i=1, 2,3 \}\). System (1) shall be written in the form
where \(\mathcal{F}_{i}\) describes a rate of appearance of new infections in compartment i, while \(\mathcal{V}_{i}=\mathcal{V}_{i}^{}  \mathcal{V}_{i}^{+}\) and \(\mathcal{V}_{i}^{+}\) is a rate of transfer into the compartment i, \(\mathcal{V}_{i}^{}\) is a rate of transfer out of the compartment i. The following assumptions are to be posed:

(A1) \(\mathcal{F}_{i}(x) \geq 0\), \(\mathcal{V}_{i}^{+}(x) \geq 0\), \(\mathcal{V}_{i}^{}(x) \geq 0\) for any \(x \geq 0\);

(A2) if \(x_{i}=0\), then \(\mathcal{V}_{i}^{}=0\);

(A3) \(\mathcal{F}_{i}=0\) for \(i>3\);

(A4) if \(x \in \mathcal{X}_{S}\), then \(\mathcal{F}_{i}(x)=0\) and \(\mathcal{V}_{i}^{+}(x)=0\) for \(i=1, 2, 3\);

(A5) if \(x_{0}\) is DFE, then eigenvalues of the Jacobi matrix \(Df(x_{0})\) restricted to the subspace \(\mathcal{F}=0\) have all eigenvalues with negative real parts.
According to Lemma 1 in [15]
where F and V are squared matrices of dimension m and \(\mathcal{R}_{0}=\varrho ( F V^{1} ) \) (ϱ denotes a spectral radius). Eventually, according to Theorem 2 in [15], we know that \(x_{0}\) is locally asymptotically stable for \(\mathcal{R}_{0}<1\) and unstable for reverse inequality.
In the case of system (1),
and
It is obvious that \(\mathcal{F}\), \(\mathcal{V}^{+}\), \(\mathcal{V}^{}\) satisfy Assumptions (A1)–(A4). Moreover,
and all eigenvalues z of \(Df(E_{0}) _{\mathcal{F}=0}\) are real negative. Namely, \(z_{1}=\mu_{1}\), \(z_{2}=\mu_{2}\), \(z_{3}=\mu_{3}\), \(z_{4}=d\), \(z_{5}=\mu_{4}\), \(z_{6}=\mu_{0}\). Therefore, all assumptions posed in [15] are satisfied and \(E_{0}\) is locally stable if \(\mathcal{R}_{0}<1\).
Let us calculate \(\mathcal{R}_{0}\). The matrices F and V for new infection terms and remaining transfer terms are respectively given by
The basic reproduction number \(\mathcal{R}_{0}\) is thus given by \(\mathcal{R}_{0}=\varrho (FV^{1}) = \frac{\beta \varPi }{d\mu_{1}} (1+\lambda_{1}\frac{ \rho \delta }{\mu_{2}}+\lambda_{2}\frac{ \delta [\rho \xi '+(1\rho )\mu_{2}]}{\mu_{2}\mu_{3}} )\).
Corollary 3.1
If \(\frac{\beta \varPi }{d\mu_{1}} (1+\lambda_{1}\frac{ \rho \delta }{\mu_{2}}+\lambda_{2}\frac{\delta [\rho \xi '+(1\rho )\mu_{2}]}{\mu _{2}\mu_{3}} ) <1\), then the diseasefree equilibrium \(E_{0}\) is locally asymptotically stable.
Notice that, the inequality \(\mathcal{R}_{0}<1\) is equivalent to \(S^{*}>S_{0}\) which means that the positive equilibrium EE does not exist. On the other hand, if EE exists, then DFE is unstable.
Endemic equilibrium (EE) and its stability
System (1) has an endemic equilibrium \(E^{*}=(S^{*},I^{*},I _{D}^{*},I_{DA}^{*},S_{+}^{*},M^{*})\) with positive coordinates provided that \(\mathcal{R}_{0}>1\). From the analysis presented at the beginning of this section we have
Remark
Observe from the expression of \(I^{*}\) that when \(\mathcal{R}_{0}>1\), the endemic equilibrium exists. We thus have the existence condition of the endemic equilibria. It is also important to note that \(\frac{\partial I^{*}}{\partial c}\) and \(\frac{\partial I ^{*}}{\partial \delta }\) are negative. This means, as long as infected individuals become aware and go under treatment, the equilibrium level of unaware and untreated infectives starts to decrease. This shows that the dissemination rate and the treatment rate really have significant input in HIV control.
In order to attain full characterization of the endemic equilibrium \(E^{*}\), we study the asymptotic stability behavior using Lyapunov’s stability theory. If this function has only a single minimum, i.e., an equilibrium point, and it is strictly decreasing along all nonequilibrium solutions, then all solutions tend to the equilibrium point where the scalar function (Lyapunov function) is minimum. The results obtained by performing local and global stability analysis of the obtained equilibria are stated in the following theorems.
Theorem 3.2
The endemic equilibrium \(E^{*}\) is locally asymptotically stable (LAS) in \(\mathcal{D}\), provided the inequalities hold:
where \(\psi_{i}\) (\(i=2,3,4,5\)) are chosen so that conditions (35), (36), (37), and (38) are satisfied.
In the next theorem, we show that the endemic equilibrium point \(E^{*}(S^{*},I^{*},I_{D}^{*}, I_{DA}^{*}, S_{+}^{*},M^{*})\) is globally asymptotically stable.
Theorem 3.3
The endemic equilibrium \(E^{*}\) is globally asymptotically stable (GAS) in \(\mathcal{D}\), provided the following inequalities hold:
where \(W= [d_{I}\beta (I^{*}+\lambda_{1} I_{D}^{*}+\lambda_{2} I _{DA}^{*})+(2d+d_{I}) (\mu_{1} \frac{\varPi \beta }{d} ) ]\).
For the proof of Theorems 3.2 and 3.3 see Appendices 1 and 2, respectively.
Optimal control strategy
In this section, we formulate an optimal control problem using Pontryagin minimum principle [16] in order to obtain an optimal strategy for our epidemiological system (1). Generally we solve these types of problems by finding the timedependent profiles of the control variable to optimize a particular performance. It is apparent from our previous discussion that to control the spread of HIV/AIDS, it is obligatory to propagate awareness amongst individuals. In this section, we consider a control problem together with the mathematical model described by equation (1) with the objective function given by
where \(u_{1}(t)\) and \(u_{2}(t)\) are the control variables representing efficacy of drugdosing and implementation rate of awareness campaigns, respectively. The parameters P and Q are weight constants for control inputs. The first term in (7) represents systemic cost of the drug treatments and second term represents cost associated with the implementation of awareness campaign. The objective function (7) expresses our goal to minimize costs for both drugdosing and successful media campaigns, while maximizing aware susceptible individuals. Therefore, we seek an optimal control pair \((u_{1}, u _{2} )\) such that
subject to the system of ODEs
where \(\mathcal{U}=\{(u_{1}, u_{2}): u_{i} \text{ measurable}, 0 \leq u_{i}(t) \leq 1, t \in [t_{0}, t_{f} ], \text{for }i=1,2\}\).
The optimality system
We begin this section by noting that the existence of an optimal control pair that can be obtained using a result from Fleming et al. (2012) [17]. It is rather straightforward to show that the righthand sides of system (1) are bounded by a linear function of the state and control variables, and the integrand of the objective function (7) is concave on \(\mathcal{U}\) and is bounded below. These bounds give one the compactness needed to establish the existence of optimal controls using standard arguments (see [17]).
The Pontryagin minimum principle [16] converts the problem of minimizing the cost functional (8) subject to state variables into minimizing the Hamiltonian [18, 19] with respect to the controls at each time t. From Hamiltonian H we have
where \(\xi_{i}\) (\(i=1,2,\ldots,6\)) are the adjoint variables.
Given an optimal control and corresponding states, there exists adjoint variable \(\xi_{i}\) satisfying the following equations:
with transversality conditions \(\xi_{i}(t_{f}) = 0\) for \(i = 1,2,\ldots,6\).
The Hamiltonian is minimized with respect to \(u_{1}\) and \(u_{2}\) at the optimal value \((u^{*}_{1}, u^{*}_{2})\), so the derivative of the H with respect to \(u_{1}\) and \(u_{2}\) at \((u^{*}_{1}, u^{*}_{2})\) must be zero. Now, using the fact that
and differentiating the expression for H with respect to \(u_{1}\) and \(u_{2}\) give
According to Pontryagin’s Minimum Principle, the unrestricted optimal control \(u_{1}^{*}\) and \(u_{2}^{*}\) satisfies \(\frac{\partial H}{\partial u} = 0\) at \((u^{*}_{1}, u^{*}_{2})\). So we have
Since the standard control is bounded, we conclude for the control \(u_{1}\) that
Hence the compact form of \(u^{*}_{1}\) is
In a similar manner we can get the compact form of \(u^{*}_{2}\)
Therefore, we have the following theorem.
Theorem 4.1
If the objective cost function \(J(u_{1},u_{2})\) over \(\mathcal{U}\) attains its minimum for the optimal control \(u^{*}=(u_{1}^{*},u_{2} ^{*})\) corresponding to the endemic equilibrium \((S^{*},I^{*}, I^{*} _{D}, I^{*}_{DA}, S^{*}_{+},M^{*})\), then there exist adjoint functions \(\xi_{1}\), \(\xi_{2}\), \(\xi_{3}\), \(\xi_{4}\), \(\xi_{5}\), \(\xi_{6}\) satisfying equations (10) along with the transversality condition \(\xi_{i}(t_{f})=0\) (\(i=1,2,\ldots,6\)).
Numerical simulation
To study the dynamical behavior of our model (1), we perform numerical computations with initial values \(S(0)=200\), \(I(0)=15\), \(I_{D}(0)=10\), \(I _{DA}=5 \), \(S_{+}(0)=50\), and \(M(0)=5\). The set of parameter values is given in Table 1. These values are cumulated from different journals and the rest are hypothetical parameters relevant to HIV/AIDS. Numerical simulations are done using MATLAB (version 7.6.0).
Initially, to confirm the feasibility of our analysis regarding existence and its stability conditions for system (1), we have carried out some numerical simulations by selecting the following parametric set as described in Table 1. For the set of parameter values given in Table 1, it may be checked that the condition of existence of an endemic equilibrium \(E^{*}\) and the stability conditions are satisfied. The eigenvalues of the Jacobian matrix corresponding to the equilibrium \(E^{*}\) of the model system (1) are obtained as −0.8689, −0.7432, \(0.3938\pm 0.1232i\), and \(0.07094 \pm 0.0383i\). We note that all eigenvalues of the Jacobian matrix are either negative or have negative real parts. Hence, the endemic equilibrium \(E^{*}\) is locally asymptotically stable for the above set of parameter values.
From our analytical results, it is observed that when \(\beta = 0.002\), \(\mathcal{R}_{0}\) becomes \(0.85<1\) and when \(\beta = 0.005\), \(\mathcal{R}_{0}=2.125>1\). We have plotted the observed population trajectories in the graphs depicting their respective individual trends for \(\beta =0.002\) and \(\beta =0.005\) in Figs. 1 and 2, respectively. These figures clearly illustrate the change in equilibrium level from diseasefree state to endemic state. Hence, it is clear that the state of the system depends on the disease progression rate and for high transmission rate, the system attains its endemic state. In Figs. 3 and 4 respectively, we show the nonlinear stability behaviors of \((S^{*},I^{*})\) and \((I^{*}_{D},I ^{*}_{DA})\) in \(SI\) and \(I_{D}I_{DA}\) spaces. These two figures convey that both the trajectories are initiating inside the region of attraction approach towards the equilibrium values \((S^{*},I^{*})\) and \((I^{*}_{D},I^{*}_{DA})\), respectively.
The variations of human population and awareness programs with respect to time t for different values of \(u_{1}\) and \(u_{2}\) are shown in Fig. 5. For this we took initial values \(S(0)=35{,}000\), \(I(0)=20{,}000\), \(I_{D}(0)=500\), \(I_{DA}=200\), \(S_{+}(0)=500\), \(M(0)=25\), constant recruitment rate as \(\varPi = 10{,}000/\text{year}\) and other parameters are fixed as in Table 1. It can be concluded from this figure that with proper inputs in control parameters \(u_{1}\) and \(u_{2}\), it yields more trustworthy results in increasing the awareness within susceptible populations (\(S(t)\) and \(S_{+}(t)\)) and decreasing infection incidences among the infected populations (\(I(t)\), \(I_{D}(t)\), and \(I_{DA}(t)\)). Here, red trajectories indicate the graphs for control inputs \((u_{1},u_{2})=(0.0,0.2)\), whereas black and blue trajectories indicate the graphs for \((u_{1},u_{2})=(0.5,0.4)\) and \((u_{1},u_{2})=(0.5,0.6)\), respectively. Noteworthily, when \(u_{2}\) has greater value than \(u_{1}\) (blue lines), the graph reflects more significant results rather than the case when \(u_{1}>u_{2}\) (black lines). This indicates that people need to be more vigilant and aware about their personal health behavior, instead of being reluctant during therapeutic regime or engaging in sexual acts.
Lastly, we use sensitivity analysis method to investigate the impact of various intervention measures on HIV transmission. We hope that these results obtained here could improve the knowledge of the effect of different interventions. Here we derive sensitivity index by using partial rank correlation coefficients (PRCC) of the basic reproductive ratio with respect to the parameters. The normalized forward sensitivity index of \(\mathcal{R}_{0}\) with respect to a parameter ‘a’ is defined as follows Abiodun et al. (2013) [20]:
It follows from Fig. 6 that the basic reproductive ratio \(\mathcal{R}_{0}\) for system (1) is most negatively correlated with δ and \(\xi '\), which implies that increasing the values of factors can lead to a decrease in disease prevalence. Thus, disease prevalence is sensitive to diagnosis rate and drug efficacy. Increasing the drug efficacy and diagnosis rate can greatly reduce new cases and prevalence. We also considered how the values of δ and \(\xi '\) jointly influence the reproduction number \(\mathcal{R}_{0}\). Figure 7 shows a threedimensional contour plot of δ, \(\xi '\), and \(\mathcal{R}_{0}\). We simultaneously plot the \(\mathcal{R}_{0}=1\) plane and show the intersections of the two planes. The points where these two planes intersect are the threshold values of diagnosis rate δ and drug efficacy \(\xi '\) at necessary for the control of the epidemic. The contour shows that δ does not play a significant role in mitigating the disease when compared to \(\xi '\). This can be interpreted in the context of the epidemic to mean that regular treatment and drug effectiveness are highly prevailing to make a meaningful impact on the current HIV epidemic.
Conclusion
In this paper, we have established an epidemic model to investigate the likely impact of awareness campaigning driven by media along with screening and treatment on the dynamics of HIV/AIDS. This model looks at the recently launched HIV counseling and testing (HCT) campaign followed by awareness campaigning, to model its feasible impact on the dynamics of the disease. HIV awareness and prevalence of the disease are inversely correlated with each other and depend upon human behavior. The model analysis shows how the inclusion of awareness modifies the contact structure and thereby affects the disease states. The model exhibits two equilibria, namely diseasefree equilibrium and endemic equilibrium. We have studied the existence and stability of the diseasefree and endemic equilibria. We obtain the basic reproduction number \((\mathcal{R}_{0})\) which determines the persistence of the disease. For \(\mathcal{R}_{0}\) below the unity, disease cannot persist in the system, whereas for \(\mathcal{R}_{0}\) above the unity, disease coexists in the system. We have also observed that the basic reproduction number \(\mathcal{R} _{0}\) contains terms like δ, \(\xi '\) etc., but does not contain any awareness related terms. However, HCT itself has very little impact on reducing the prevalence of HIV unless the efficacy of the campaigns exceeds an evaluated threshold. We prove the local and global asymptotic stability of the diseasefree equilibrium. Also, for \(\mathcal{R}_{0}>1\), the global stability of the endemic equilibrium is also derived by constructing a Lyapunov function.
Developing an optimal strategy that minimizes the total number of infected individuals and the costs associated, drugdosing and the implementation of awareness campaigns, we have extended our proposed model, where we consider that drugdosing and implementation of awareness campaigns are not constants but vary with time. The obtained optimality system (8) subject to (9) measures a cost effective way of controlling the disease by expanding the number of effective awareness campaigning. Also, drugdosing through antiviral therapy is equally important, which decelerates the AIDS progression significantly due to reduction in viral load. However, we should keep in mind that we should always run awareness campaigning in a cabalistic way so that people always keep receiving the latest information about the disease. Since it is observed that if the awareness of the local prevalence of a disease is not addressed by the media or local health authorities, it is more likely to be raised by the acts of informal information spread. If the information about infectious disease is disseminated in the population, people regulate their behavior according to their awareness level.
References
 1.
Khanam, P.A., e Khuda, B., Khane, T.T., Ashraf, A.: Awareness of sexually transmitted disease among women and service providers in rural Bangladesh. International journal of STD & AIDS 8(11), 688–696 (1997)
 2.
Rahman, M.S., Rahman, M.L.: Media and education play a tremendous role in mounting AIDS awareness among married couples in Bangladesh. AIDS Research and Therapy 4(1), 10 (2007)
 3.
Del Valle, S., Evangelista, A.M., Velasco, M.C., KribsZaleta, C.M., Schmitz, S.F.H.: Effects of education, vaccination and treatment on HIV transmission in homosexuals with genetic heterogeneity. Math. Biosci. 187(2), 111–133 (2004)
 4.
Gumel, A.B., Moghadas, S.M., Mickens, R.E.: Effect of a preventive vaccine on the dynamics of HIV transmission. Commun. Nonlinear Sci. Numer. Simul. 9(6), 649–659 (2004)
 5.
Baryarama, F., Luboobi, L.S., Mugisha, J.Y.: Periodicity of the HIV/AIDS epidemic in a mathematical model that incorporates complacency. Am. J. Infect. Dis. 1(1), 55–60 (2005)
 6.
HoveMusekwa, S.D., Nyabadza, F.: The dynamics of an HIV/AIDS model with screened disease carriers. Comput. Math. Methods Med. 10(4), 287–305 (2009)
 7.
Tripathi, A., Naresh, R., Sharma, D.: Modeling the effect of screening of unaware infectives on the spread of HIV infection. Appl. Math. Comput. 184(2), 1053–1068 (2007)
 8.
Hyman, J.M., Li, J., Stanley, E.A.: Modeling the impact of random screening and contact tracing in reducing the spread of HIV. Math. Biosci. 181(1), 17–54 (2003)
 9.
Roy, P.K., Saha, S., Al Basir, F.: Effect of awareness programs in controlling the disease HIV/AIDS: an optimal control theoretic approach. Adv. Differ. Equ. 2015(1), 217 (2015)
 10.
Saha, S., Roy, P.K.: A comparative study between two systems with and without awareness in controlling HIV/AIDS. Int. J. Appl. Math. Comput. Sci. 27(2), 337–350 (2017)
 11.
Wang, Y., Cao, J.: Global stability of general cholera models with nonlinear incidence and removal rates. J. Franklin Inst. 352(6), 2464–2485 (2015)
 12.
Wang, Y., Cao, J.: Global stability of a multiple infected compartments model for waterborne diseases. Commun. Nonlinear Sci. Numer. Simul. 19(10), 3753–3765 (2014)
 13.
Chatterjee, A.N., Roy, P.K.: Antiviral drug treatment along with immune activator IL2: a controlbased mathematical approach for HIV infection. Int. J. Control 85(2), 220–237 (2012)
 14.
Chatterjee, A.N., Saha, S., Roy, P.K.: Human immunodeficiency virus/acquired immune deficiency syndrome: using drug from mathematical perceptive. World J. Virol. 4(4), 356 (2015)
 15.
Van den Driessche, P., Watmough, J.: Reproduction numbers and subthreshold endemic equilibria for compartmental models of disease transmission. Math. Biosci. 180(1–2), 29–48 (2002)
 16.
Pontryagn, L.S.: Selected Research Papers. CRC Press, Boca Raton (1987)
 17.
Fleming, W.H., Rishel, R.W.: Deterministic and Stochastic Optimal Control, vol. 1. Springer, Berlin (2012)
 18.
Kamien, M.I., Schwartz, N.L.: Dynamic Optimisation. The Calculus of Variations and Optimal Control in Economics and Management, 2nd edn. NorthHolland, New York (1991)
 19.
Lakshmikantham, V., Trigiante, D.: Theory of Difference Equations: Numerical Methods and Applications, vol. 251, pp. x+–300. Dekker, New York (2002)
 20.
Abiodun, G.J., Marcus, N., Okosun, K.O., Witbooi, P.J.: A model for control of HIV/AIDS with parental care. Int. J. Biomath. 6(02), 1350006 (2013)
Acknowledgements
The authors would like to give special thanks to Prof. Urszula Foryś, Faculty of Mathematics, Informatics and Mechanics, Institute of Applied Mathematics and Mechanics, Warsaw University for her constructive and insightful comments, which helped us to improve the quality of this work.
Funding
INSPIRE Program (IF131081), Department of Science and Technology, Government of India is gratefully acknowledged for its financial support.
Author information
Affiliations
Contributions
All authors contributed equally and significantly in this manuscript, and they read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix 1: Proof of Theorem 3.2
We consider the following positive definite function:
where \(\psi_{j}\) (\(j=1,2,\ldots,5\)) are some positive constants and will be defined later. Here s, i, \(i_{d}\), \(i_{da}\), \(s_{+}\), and m are small perturbations in S, I, \(I_{D}\), \(I_{DA}\), \(S_{+}\), and M around equilibrium \(E^{*}\), respectively, i.e., \(S=S^{*}+s\), \(I=I^{*}+i\), \(I_{D}=I_{D} ^{*}+i_{d}\), \(I_{DA}=I_{DA}^{*}+i_{da}\), \(S_{+}=S_{+}^{*}+s_{+}\), and \(M=M^{*}+m\). Now, differentiating \(\mathcal{L}\) with respect to \(`t'\) and using the linearized system of (1) around \(E^{*}\), we get
Now, we choose \(\psi_{1}=\frac{\beta S^{*}}{(I^{*}+\lambda_{1} I_{D} ^{*}+\lambda_{2} I^{*}_{DA})}\), so that we get
It is evident from equation (21) that \(\mathcal{L'}\) will be negative definite if the following inequalities are satisfied:
Now, from inequalities (22)–(30), we can choose positive values of \(\psi_{2}\), \(\psi_{3}\), \(\psi_{4}\), and \(\psi_{5}\), provided the following conditions hold properly:
We can assert from inequalities (31)–(38) that \(\mathcal{L'}\) is negative definite, and hence the theorem follows.
Appendix 2: Proof of Theorem 3.3
To study the global stability of the endemic equilibrium, we construct the following positive definite Lyapunov function:
where the coefficients \(\phi_{j}\) (\(j=1,2,\ldots,5\)) are positive constants to be chosen suitably later. The corresponding derivative of the Lyapunov function is given as
Using equation (1) and doing some algebraic manipulations, we get the above equation as follows:
Now we pick \(\phi_{1}=\frac{(2d+d_{I})}{\beta (I^{*}+\lambda_{1} I _{D}^{*}+\lambda_{2} I_{DA}^{*})}\), \(\phi_{2}=\frac{(d_{I}+\alpha_{I})}{ \rho \delta }\), \(\phi_{3}=\frac{(d_{I}+\alpha_{A})}{(1\rho )\delta }\), \(\phi_{4}=\frac{2d}{cM^{*}}\) so that some nonlinear terms become vanished. Note that, the coefficient of \((II^{*})^{2}\) is
in presence of infection. Hence, we have
and \(\mathcal{V}'\) turns to this form
Now \(\mathcal{V}'\) will be negative definite if the following conditions hold:
Now, from inequalities (52), (54), and (55), we may choose a positive value of \(\phi_{5}\) if
and from the rest of inequalities (except (45)), we get
where \(W= [d_{I}\beta (I^{*}+\lambda_{1} I_{D}^{*}+\lambda_{2} I _{DA}^{*})+(2d+d_{I}) (\mu_{1}\beta S_{R} ) ]\).
Finally, using the region of attraction \(\mathcal{D}\), the above inequalities (56) and (57) reduce to the third and second conditions, respectively, in Theorem (3.3), which gives sufficient conditions for the stability of the endemic equilibrium point \(E^{*}\), and hence the theorem follows.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Roy, P.K., Saha, S. Predicting the effectiveness of drug interventions with ‘HIV counseling & testing’ (HCT) on the spread of HIV/AIDS: a theoretical study. Adv Differ Equ 2018, 451 (2018). https://doi.org/10.1186/s1366201818773
Received:
Accepted:
Published:
Keywords
 Epidemic model
 HIV
 Drugdosing
 Awareness programs
 Basic reproductive number
 Local & global stability
 Numerical simulation
 Sensitivity analysis