Mathematical models used extensively to study the dynamics of epidemics both from the cellular level to the population level by many researchers  -  . Early models concerned immigration of infective individuals are studied by many researchers  -  . In terms of epidemiology, the wild prevalence of HIV/AIDS has often been associated with the the movement of people, especially, the movement of infected persons. For example, in China, internal migrants exceeds 260 million  and the size of this population is expected to continue to grow. The whole migration process offers ready environment to transport the HIV/AIDS disease from one place to another and vulnerability of migrants may end up with certain HIV/AIDS related risky behaviors. Unlike traditional infectious disease, the process of transmission of HIV/AIDS mostly requires the exchange of the body fluids, this often associated with the decision making process in which the participants can either choose to quit or to proceed. Spontaneously the human sexual behavior comes to the equation. All these aspects have featured a large number of new problems.
To cope with these problems, Megan Coffee et al.  studied the dynamics of HIV/AIDS with infective immigration both clinically and mathematically. A nonlinear mathematical model consisted of two stages of infection before full-blown AIDS with constant inflow of HIV infectives are developed by Ram Naresh et al.  . But they did not consider direct inflow of pre-AIDS individuals, also not consider HIV infectives who received treatment. Agraj Tripathi et al.  proposed a HIV/AIDS model with infective immigrants and time delay. But they have not take the protective measures and gradual behavioral change into consideration. In the absence of an effective and affordable vaccine and due to the non-curative nature of current antiretroviral therapy, behavioral and psychosocial prevention with the goal of limiting risky sexual behaviors remain central to the efforts to decrease the sexual transmission of HIV  . Swarnali Sharma and G. P. Samanta  also analyzed six compartmental HIV/AIDS model which is closely influential to our set of work.
The optimal control theory has been applied to quite a few HIV models (see    ). Baba Seidu and Oluwole D. Makinde  stress their emphases on the optimally reducing the spread of the disease and the increasing productivity in workplace and show the positive effect of applying a multifaceted approach in the fight against HIV/AIDS. Tunde T. Yusuf and Francis Benyah  formulated an optimality system for controlling HIV/AIDS. They consider the change in risky sexual habits and antiretroviral (ARV) therapy as control measures. Their results show that if more and more susceptible individuals practise safe sex, then we can ease the spread of the disease remarkably. In the light of literatures    and references therein we formulated an optimal control problem that considers behavioral change and screening as major control strategies. The reviews about the non-mathematical studies of transmission disease and the comments of recent mathematical works about HIV/AIDS have shaped the context of this paper.
The paper organized as follows: In section 2, we have developed our model and the non-negativity and the boundedness of the solutions are shown as a basic property of the system. Also, we have discussed existence of endemic equilibrium. We derive basic reproduction number , when there is no influxion of infective. The analysis of GAS of the endemic equilibrium is given in Section 3, while our modification of the basic model into an optimal control problem presented in Section 4. In the section 5, we give results of our numerical simulations.
2. The Mathematical Model
We divided the sexually active population into six compartments, namely, susceptible individuals , infected individuals who unaware of their HIV/AIDS infection , infected individuals who aware of their HIV/AIDS infection , infected individuals who receive treatment , full-blown AIDS group and removed class at any time . The population dynamics is given by the following set of ordinary differential equations:
with initial conditions
There are a brief description of the model parameters:
Q0: Total number of newly recruited individuals by birth (who come of age) and by immigration;
ε1: The proportion of infected individuals in the recruited population;
ε2: The proportion of susceptible individuals who changed their sexual habits in the recruited population;
δ: The proportion of unaware infected individuals and the proportion of aware infected individuals in the recruited population;
β1: The horizontal transmission rate for contact with the class;
β2: The horizontal transmission rate for contact with the class;
d: The natural death rate of population;
θ: Proportion of susceptible individuals who changed their sexual habits;
κ1: Proportion of unaware infected individuals who are screened;
κ2: Progression rate of unaware infected individuals to the full-blown AIDS group;
κ3: Progression rate of aware infected individuals to the full-blown AIDS group;
μ1: Proportion of the class receiving treatment;
μ2: Proportion of the class receiving treatment;
σ1: Disease-induced death rate for full-blown AIDS individuals;
σ2: Disease-induced death rate for the individuals who receive the treatment.
The model is formulated based on following assumptions:
・ Since our purpose in this model is to see what effect the human behavior (including movement, sexual habits) can play in the dynamics of HIV/AIDS disease, we avoid to consider detailed clinical stages of HIV/AIDS infection, instead we classed the population in two ways, uninfected and infected group. Uninfected group divided into two different compartments according to their behavior towards safe sex. Infected individuals divided four different compartments according to whether the infected individual aware of his/her HIV infection status, whether the infected individual received treatment and whether the infected individual has developed the last stage of the disease, the full blown AIDS.
・ Susceptible individuals are assumed to get infected by sexual contact with both aware and unaware infected individuals with different transmission rates. The assumption that aware infected individuals also take part in the transmission process is based on the fact that some aware infected individuals may practise low-efficiency safe sex measures (and a few of them may transmit the disease intentionally), and susceptible individuals may not be aware of the infected situation of his/her partner, which make them more vulnerable to the disease. So the new generated infected individuals by aware infective individuals are assumed to be not aware of his/her infection at first and go to the unaware infected individuals class.
・ The simplest conceptual framework based on homogeneous behavior gives us clear insights into how community based chemotherapy can influence epidemiological pattern and transmission success. Here the mixing of susceptibles with infectives is considered to be homogeneous and accordingly the incidence rate is assumed to be bilinear   .
・ All new born are susceptible, i.e., in our model vertical transmission do not account for.
・ We assumed that individuals in the treatment class not only to receive the ART therapy, but also to be served with knowledge about the HIV/AIDS disease so that they were persuaded to avoid unsafe sexual behaviors. Full- blown AIDS individuals are assumed too ill to sexually active, So the suscep- tibles do not get infected through sexual contacts with individuals from these two groups.
・ Inclusion of compartment : It is true that an appreciable number of people are now changing their sexual habits sufficiently due to the awareness of the widespread nature of disease in society, the monumental deaths resulting from the disease, increasing knowledge of the agony and psychological trauma experienced by the infected individuals, and better enlightenment due to intense HIV/AIDS educational campaigns  .
2.1. Basic Properties of the Model
The model system (1) describes human population and therefore it is necessary to prove that all the variables , , , , and are non-negative for all time. Solutions of the model system (1) with positive initial conditions (2) remains positive for all time and are bounded in , where
is defined based on biological considerations and positively invariant with respect to the model system (1).
Hence the theorem
Theorem 2.1 Every solution of the system (1) with initial conditions (2) exists in the interval and , , , ,
and , for all . For the model system (1), the region is positively invariant and all solutions starting in approach, enter, or stay in .
Proof Since the right hand side of system (1) is completely continuous and locally Lipschitzian on C (space of continuous functions), the solution ( , , , , , ) of (1) with initial conditions (2) exists and is unique on [0; ξ), where . Under the given initial conditions (2), it is easy to prove that the components of solutions of the model system (1) are positive; if not, we assume a contradiction: that there exists a first time
If , , , , , and for , then we have , but from the first equation of system (1) we have
which is a contradiction meaning that remains positive; the other cases where , , , and can also be discussed similarly as above. Thus in all cases , , , , and remain positive for all . Since , then
which implies that is bounded and all the solutions starting in G approach, enter or stay in G.
This completes the proof.
Since the variables , and of the system (1) do not appear in the first three equations of the system (1), in the subsequent analysis we only consider the following subsystem:
with initial conditions
2.2. Existence of Endemic Equilibrium
The system (3) does not exhibit a disease-free equilibrium due to direct inflow of population at a constant rate. However, there exists only one non-negative equilibrium point of the model (3), i.e., endemic equilibrium , where , , are positive solutions of the following system of algebraic equations,
By solving Equations (5)-(7), we get
is a positive solution of following quadratic equation
Obviously is always negative and is always positive. By applying the Descartes’ rule of signs, one positive root of Equation (10) exists, whatever is the sign of , i.e., we always get a positive equilibrium of the system (3). Above discussions can be summarized as:
Theorem 2.2 The system (3) has a endemic equilibrium , which exists for all parameter values.
Especially when , we can easily obtain basic reproduction number of the system (3) by using the next generation method as
3. Global Stability Analysis of the Endemic Equilibrium
In this section we shall discuss the global stability of the endemic equilibrium .
Theorem 3.1 The endemic equilibrium of the system (3) is
globally asymptotically stable, if , where .
Before start our proof, we first recall the following lemma by Li and Muldowney  .
Lemma If the system
where , be a function for in an open set such that
1) has a unique equilibrium in and
2) there exists a compact absorbing set ,
then the equilibrium is globally asymptotically stable provided that a
matrix valued function and a Lozinskii measure of with respect to a vector norm in , exist such that
the matrix is obtained by replacing each entry of by its derivative in the direction of and is the second additive compound matrix of the Jacobian matrix , i.e., and
Proof of Theorem 3.1 The system is uniformly persistent in (given in Theorem 2.1). The uniform persistence of system (3) in the bounded set is equivalent to the existence of a compact set that is absorbing for system (3). Therefore the system (3) satisfies the conditions and of the pre- vious Lemma.
The Jacobian matrix of system (3) is given by
where is the corresponding entry of the matrix .
The second additive compound matrix of is given by
Consider the function
Let be a vector in and its norm is defined as
Let be the Lozinskii measure with respect to this norm. Then we choose
where , are matrix norms with respect to the vector norm and denotes the the Lozinski measure with respect to the norm.
So, we have
Furthermore, we obtain
Then based on Theorem 3.5 of  the endemic equilibrium of the system (3) is globally asymptotically stable. Hence the theorem.
4. Optimal Control Problem Formulation
4.1. Existence of an Optimal Control Pair
In this section we give following optimal control problem.
satisfying initial conditions given in (2). We consider following optimal control parameters
1) is the control effort aimed at reducing the infection of susceptible individuals;
2) is the control effort aimed at persuading people to change or moderate their sexual behaviour;
3) is the control effort aimed at screening new arrivals;
4) is the control effort aimed at screening.
The objective functional   is defined as
the weight constants , , , , , , and are the relative weights and help to balance each term in the integrand so that any of the terms do not dominate. is the final time. Our aim is to minimize the objective functional or cost function given in (15) so that the infective as well as the cost of implementing the control strategies can be minimized. So, we seek a set of optimal control such that
the admissible control set is given as
Theorem 4.1 Given the objective function as (15) with admissible control set , subject to the system (14) with initial conditions (2), then there exist an optimal control set , such that (16), if the following conditions are satisfied:
1) The class of all initial conditions with the corresponding control functions in is non-empty;
2) The admissible control set is closed and convex;
3) Each RHS of the system (14) is continuous and is bounded above by sum of bounded control and state and can be written as a linear function of the control variables with coefficients dependent on time and state variables;
4) The integrand in equation is convex on and additionally satisfies , where , and .
Proof 1) We refer to Theorem 3.1 proposed by Picard-Lindelof in  . based on this theorem, if the solutions to the state equations are priori bounded and if the state equations are continuous and Lipschitz in the state variables, then there exists a unique solution, corresponding to the every admissible control set in . Using the fact that for all , all the model states are bounded below and above, the solutions to the state equations are bounded. In addition, the boundedness of the partial derivatives with respect to the state variables in the system can be directly shown, and this shows that the system is Lipschitz with respect to the state variables.
2) The control set is convex and closed by definition.
3) We observe that the integrand in our objective functional is convex, since it is quadratic in the controls.
The above establishes a bound on .
Thus, we have a unique solution of the optimality system for small time intervals due to the opposite time orientations of the state equations and the adjoint equations  . Moreover, the uniqueness of the solution of the optimality system guarantees the uniqueness of the optimal control if it exists.
4.2. Characterization of the Optimal Control
Using Pontryagin’s Maximal principle  , we obtain
where Hamiltonian is defined as
Hence solving for , , and we get
We can now impose the bounds on the controls to get
5. Numerical Simulations
In this section, first we present some numerical results of the system (1), when using initial conditions and parameter values given in Table 1(a)
Table 1. (a) Initial states; (b) parameter values.
and Table 1(b). In our simulations, we consulted some stastical reports   and similar works   in the field for the parameter values Q0, d, μ1, and . All the other parameter values are fitted. The stability of the model (1) is presented in Figure 1(a) and Figure 1(b). In these figures we choose to separate the disease classes from the non-disease classes for their different population scales, we also provide the graphics for the different time scales to clarify the numerical findings. These figures shows that all model variables approaches to the endemic equilibrium of the model (1), namely, .
Now we solved the optimality system numerically by using fourth-order iterative Runge-Kutta scheme and presented some graphical results which mostly are comparative figures of susceptibles , unaware infectives , aware infectives and infectives who receiving treatment . We investigated the dynamics of compartments for varying combination of control measures , , and and present some graphics that show the most explicit difference between variables before and after applying the control measures.. The numerical results for optimality system obtained by using the parameter values given in Table 1(a) and Table 1(b), and for weight constants from the objective function, we set , , , , , , and .
In Figures 2(a)-(c), we present some graphics when we apply all combination of control measures to the system. By comparison its easy to see that we have some positive results immediately after the time break. The decrease in number of susceptible and unaware infectives can be interpreted as there are less people get infected and less people to spread the disease with higher transmission probability. In the contrary, population of recovered class increased and this is very anticipated, ideal state in the war against HIV/AIDS which has no cure. These effects of control measures to the above three classes may explicitly show the essence of this paper. Because persuading more people
Figure 1. (a) The global asymptotically stability of E*. (b) The global asymptotically stability of E*.
(a) (b)(c) (d)(e) (f)(g) (h)(i)
Figure 2. (a) The control figure for susceptibles (S); (b) the control figure for unaware infectives (I1); (c) the control figure for aware infectives (I2); (d) the control figure for treatment class (T); (e) the control figure for recovered class (R); (f) the control u1; (g) the control u2; (h) the control u3; (i) the control u4.
to practise safe sex measures and efficient medical testing is far more cost- efficient. From Figure 2(c) and Figure 2(d), as an immediate effect of control measures, we depicted a tolerable increase in the number of aware infectives and infectives who receiving treatment .
In Figures 3(a)-(c), we consider implying two control measures and . In this case, number of susceptible significantly reduced and recovered class expand rapidly. The main characterization of this combination of control measures would be the static increase of aware infectives than the one there is no control.
In this paper, we formulated a deterministic model for controlling HIV/AIDS disease. we proved that our system only has one endemic equilibrium and it’s
(a) (b)(c) (d)(e) (f)
Figure 3. (a) The control figure for susceptibles (S); (b) the control figure for unaware infectives (I1); (c) the control figure for aware infectives (I2); (d) the control figure for recovered class (R); (e) the control u2, (f) the control u3.
globally asymptotically stable if threshold-like conditions satisfied. And then we presented an optimal control problem. Our aim is to investigate combined role of the human behavior change and medical screening in the transmission of HIV/AIDS. We proved the existence and uniqueness of the optimal control and characterized the controls using Pontryagon’s Maximal Principal. In the end we solved the optimality system numerically, and results once again shows us that the optimal way of preventing further prevalence of HIV/AIDS is practicing safe sexual behaviors and conducting efficient, affordable testing as soon as possible for all people. The initial conditions we used in our simulations come from the statistical data, we have fixed some parameters and introduced some of the parameter values from similar works in this field to show our analytical findings.
This work was supported by the National Natural Science Foundation of China (Grants Nos. 11261056, 11271312).
 Okosun, K.O., Makinde, O.D. and Takaidza, I. (2013) Impact of Optimal Control on the Treatment of HIV/AIDS and Screening of Unaware Infectives. Applied Mathematical Modelling, 37, 3802-3820.
 Yusuf, T.T. and Benyah, F. (1969) Optimal Strategy for Controlling the Spread of HIV/AIDS Disease: A Case Study of South Africa. Journal of Biological Dynamics, 6, 475-494.
 Castillo-Chavez, C. and Feng, Z. (1998) Global Stability of an Age-Structure Model for TB and Its Applications to Optimal Vaccination Strategies. Mathematical Biosciences, 151, 135-154.
 Li, G.H., Wang, W.D. and Jin, Z. (2006) Global Stability of an SEIR Epidemic Model with Constant Immigration. Chaos, Solitons and Fractals, 30, 1012-1019.
 Naresh, R., Tripathi, A. and Sharma, D. (2009) Modelling and Analysis of the Spread of AIDS Epidemic with Immigration of HIV Infectives. Mathematical and Computer Modelling, 49, 880-892.
 Brauer, F. and van den Driessche, P. (2001) Models for Tranmission of Disease with Immigration of Infectives. Mathematical Biosciences, 171, 143-154.
 Tumwiine, J., Mugisha, J.Y.T. and Luboobi, L.S. (2010) A Host-Vector Model for Malaria with Infective Immigrants. Journal of Mathematical Analysis & Applications, 361, 139-149.