Abstract

A compartmental model with antiviral therapy was proposed to identify the important factors that influence HIV
infection among gay men in China and suggest some effective control strategies. We proved that the disease will
be eradicated if the reproduction number is less than one. Based on the number of annual reported HIV/AIDS
among MSM we used the Markov-Chain Monte-Carlo (MCMC) simulation to estimate the unknown parameters.
We estimated a mean reproduction number of 3.88 (95% CI: 3.69–4.07). The estimation results showed that there were
a higher transmission rate and a lower diagnose rate among MSM than those for another high-risk population.
We compared the current treatment policy and immediate therapy once people are diagnosed with HIV, and
numerical studies indicated that immediate antiviral therapy would lead to few HIV new infections conditional
upon relatively low infectiousness; otherwise the current treatment policy would result in low HIV new infection.
Further, increasing treatment coverage rate may lead to decline in HIV new infections and be beneficial to
disease control, depending on the infectiousness of the infected individuals with antiviral therapy. The finding
suggested that treatment efficacy (directly affecting infectiousness), behavior changes, and interventions greatly affect
HIV new infection; strengthening intensity will contribute to the disease control.

1. Introduction

After the detection of the first acquired immunodeficiency syndrome (AIDS) patient, human immunodeficiency virus (HIV) spreads at an alarming rate worldwide. In recent years, though the number of people newly infected with HIV is decreasing, the prevalence of HIV among men who have sex with men (MSM) has increased significantly in China since 2005. In China, the first AIDS patient among MSM was found in 1989 and the proportion of reported cases resulting from homosexual contact in year 2005 to 2011 is 0.4%, 2.5%, 3.4%, 5.9%, 8.6%, 10.8%, and 13.0%, respectively [1]. The prevalence of HIV among MSM is increasing year by year, has reached an average of 5% in large and medium cities, and is greater than 10% in the main cities of the Southwest [1]. Among all people living with HIV, the proportion of people infected by homosexual contact increases from 14.7% in 2009 to 17.4% in 2011 [2]. In mainland China MSM bear a high burden of HIV since the cultural norm may cause them to wish to be hidden, which makes them very likely to be exposed to HIV, and moreover causes much more difficulties to implement intervention measures. At the same time, anal intercourse between men, if unprotected, carries a high risk of HIV transmission [3]. There are studies that showed that HIV infection rate via homosexual contact is much higher than heterosexual contact [4]. So, how to identify the important factors which greatly influence HIV infection among MSM and control the quick increase in HIV epidemic among MSM became urgent in recent years. The primary objective of our study is to understand the HIV epidemic among MSM and to try to suggest some control strategies.

Discovered in 1981, HIV is one of the few things that draw attention from both mathematicians, medical scientists and behavioral scientists. Many models have been proposed in order to predict and control the spread of HIV effectively. A basic SIR model was formulated by Gran et al. [5] in 2008. Considering the feature of chronic disease, the authors generalized the basic model to a Markov model to represent different infection rates in different stages [5]. In such model, HIV/AIDS infected individuals are divided into 13 different stages according to CD4+ level, and at each stage people have a specific infection rate. The idea of dividing the infected group to different stages has been widely used in the study of HIV dynamics [6–10]. In 2008, Zhou et al. [10] proposed a staged discrete model to investigate HIV epidemic in mainland China. We will also utilize the idea in this paper to formulate our mathematical model.

In mainland China, the government initiated a large scale of antiviral therapy since 2003, and free treatment has been expanded to all HIV-positive individuals whose CD4+ T count is less than 350 cells per (microliter) of blood from 2007. In recent years, antiviral therapy has become a measure to control the epidemic since there are studies demonstrating that antiviral therapy can extend the life expectancy of HIV/AIDS infected individuals and reduce their infection rates [4, 13, 18, 19]. Granich et al. [12] put forward a new therapy, starting antiviral therapy as soon as people are diagnosed with HIV. And he proved that this therapy can reduce the infection rate and death rate greatly. Note that lower infection rate is beneficial to the disease control, but extended life span increases the risk to infect others. For this high-risk group, whether immediate antiviral therapy once people are diagnosed with HIV is beneficial to disease control or not is controversial since early treatment will inevitably result in early occurrence of drug resistance due to bad adherence and no additional drugs are available [20]. So, to what extent antiviral therapy will be implemented or when to initiate antiviral therapy is unclear. All these fall within the scope of this study.

This paper is divided into 6 sections. In Section 2, a mathematical model with antiviral therapy is formulated following a modeling approach for stratification of the population according to the clinical progression of the disease and epidemiological status of the individuals [6]. In Section 3, the unknown parameters and initial values involved in the model are estimated. In Section 4, the main results of this paper are given which include the threshold dynamics, prediction for the disease, the effects of antiviral therapy, and the effects of intervention measures. In Section 5, some sensitivity analyses are conducted. At last, discussions are given in Section 6.

2. Mathematical Model

Our model is formulated based on the key epidemiological properties of HIV/AIDS and some implemented public heath interventions such as condom use and antiviral therapy. The underlying structure of the model comprises classes of individuals among MSM who are high-risk susceptibles , HIV infected but not yet diagnosed , diagnosed HIV-positive individuals who have not yet progressed to AIDS stage, and those with AIDS clinical symptoms . Further, according to the CD4+ T cell counts in the blood we divide the diagnosed HIV-positive individuals without receiving treatment into two different stages: the HIV-positive individuals with (), individuals with (), where denotes the CD4+ T level in the blood (i.e., the number of CD4+ T cells per microliter of blood). HIV-positive individuals in group and will enter into and if they receive antiviral therapy, respectively, and finally progress to the AIDS stage (). The flow diagram is described in Figure 1. Let be AIDS patients who are diagnosed after onset of AIDS. Since all AIDS patients are given treatment at the present stage in China, here we do not distinguish between AIDS patients in and those in . The high-risk population size is represented by ; that is, ,

Figure 1: The flow diagram of model with antiviral therapy.

We assume that people enter into the susceptible class at a rate , exit high-risk population at a constant rate . Each one has a natural death rate . It is assumed that the transmission probability for the undiagnosed HIV-positive individuals per high-risk behavior (i.e., male-male sex) is a constant, denoted by . represents the contact rate per year, and represents the protection rate by interventions such as condom use and antiviral therapy. Since HIV/AIDS infected individuals in different stages may have different transmission probabilities per high-risk behavior due to different CD4 cell count, antiviral therapy, behavior changes, and so forth, we then introduce a modification factor for each infectious class, denoted by , , , , and , respectively. Thus, susceptible people become HIV infected at a rate . and are the proportions of HIV-positive individuals with and when diagnosed, respectively. Let , and then is the proportion of individuals who have already progressed to AIDS stage when diagnosed. Constants and represent the progression rates from to and from to , respectively. and denote the progression rates from to and from to , respectively. and represent the disease related death rate and antiviral therapy coverage rate for each stage. The model equations are given in (1), where . The model is illustrated in Figure 1, and definitions of parameters are given in Table 2. We can verify that any solution of system (1) with nonnegative initial value is nonnegative. And it is easy to get that is positively invariant.

3. Data and Parameter Estimation

3.1. Data

Based on the current surveillance system we can get the number of annual reported HIV-positive cases and AIDS patients among MSM from year 1985 to 2009 in mainland China. The first HIV infected case among MSM in China was reported in 1989. However, the disease has spread very quickly among this population. The proportion of reported cases resulting from homosexual contact increases as follows: 2.5% (2006), 3.4% (2007), 5.9% (2008), and 8.6% (2009) [1]. Sentinel surveillance results have shown that the HIV-positive rates among MSM population in different regions have been consistently greater than 1% and are increasing year by year. Homosexual transmission is becoming one of the most important drivers of the AIDS epidemic. We choose year 2005 as a starting point since the consistent surveillance and testing policy has been implemented in mainland China since then [15].

3.2. Parameter Values Obtained from Data or the Literature

The natural death rate was estimated to be [11]. Generally speaking, if a person is a homoeroticism he tends to be a homoeroticism, through all his life. So we roughly choose . Zhou et al. [10] estimated the progression rate from to is and the progression rate from to is . Gran et al. [5] estimated that the scale of progression rate reduced by antiviral therapy is . So we choose and . Because , we can suppose that one-third of the HIV-positive individuals are in stage and two-thirds are in stage when diagnosed; that is, and . Xiao et al. [15] estimated the additional death rate for the diagnosed HIV-positive individuals to be 0.172; then we choose . The disease related death rate for AIDS patients without receiving treatment is estimated to be by Zhang et al. [17]. The ministry of health, China [16], estimated that the disease related death rate can be decreased by 65.3% after antiviral therapy, so the disease related death rate for AIDS patients with antiviral therapy is . The disease-related death rate for HIV-positive individuals with antiviral therapy is .

Recently, antiviral therapy is not provided to HIV-positive individuals with , we then set . According to the treatment policy of China, the HIV-positive individuals with ; are given treatment since early 2007. Lou et al. [13] and Xu et al. [14] estimated the treatment coverage rate for HIV-positive individuals with nowadays to be 0.2. Then we choose time-dependent function from year 2007 to 2009 and from year 2005 to 2006. From the database we can get some initial values for the system: , , and . Considering that there are no HIV-positive individuals receiving antiviral therapy in year 2005, thus we have .

In order to determine the relative infectiousness for each class we follow the principle employed by Gran et al. [5]. They divided the diagnosed HIV-positive individuals into 5 stages based on the CD4+ T cell counts in the blood (above 500, 350–499, 200–349, below 200 copies, and AIDS stage). The numbers of new infections caused by one individual, in each stage, per unit time in a totally susceptible population are 0.031, 0.025, 0.017, 0.013, and 0 for these 5 stages, respectively. Note that we combine the first two stages as one stage in our model. We calculate as follows: the number of new infections in stage is , where 0.0455 and 0.125 are the progression rates from stage to stage and from stage to stage . By similar method we get that the numbers of new infections in and are 0.0407 and 0.017, respectively. Then, we have , which implies that , . Other unknown parameters are estimated on the basis of the real data.

3.3. MCMC Procedure

We utilize the Markov-Chain Monte-Carlo (MCMC) simulation to estimate the main parameters, and initial values of model (1). Metropolis-Hastings (M-H) algorithm [21–26] are employed for MCMC simulation. The algorithm runs for 210000 iterations with a burn-in of 10000 iterations. Using the rest 200000 samples, we obtain our estimates [27]. The estimation procedure is carried out in two steps. Firstly, in order to reduce the number of parameters that need to be estimated to the minimum, we use the method proposed by Tang et al. [28]. Note that the size of high-risk population is very large compared with HIV/AIDS infected population; approximately equals 1. Assuming , we can get a reduced model , given in Appendix A. By fitting the reduced model to the data on annual reported HIV/AIDS cases from 2005 to 2009, we get the estimates for the transmission coefficient , proportion of diagnosed individuals who are HIV-positive , diagnose rate , modification factors , , and initial value of undiagnosed infected individuals . Here we assume since there are no significant difference between the infectiousness of people in these two groups. Using the simulation results of these parameters we can get the Markov Chain of basic reproduction number and its variation. Secondly, based on the estimation results we repeat the same procedure by fitting model (1) to our real data to estimate the rest of the unknown parameters and . See Appendix A for details about parameter estimation.

4. Main Results

4.1. Threshold Dynamics

The basic reproduction number , the average number of secondary cases generated by a single primary case in a fully susceptible population during its average infectious period [29, 30], is a threshold parameter for the infectious disease and can help determine whether an infectious disease will spread through a population. Following the next-generation matrix method [29] we can get for system (1) (see Appendix B for details). For convenience, we let , , , , , and . The expression of is given as follows:

As the model shows, the primary infected individual will stay at the compartments , , , , , , and (if experiencing the stage) for mean times of , , , , , , and , respectively. The probabilities of the primary patient to experience each stage are , , , , and . And the transmission coefficients at each stage are , , , , , , and . It is easy to see that , , , , , , and represent the numbers of individuals the primary case infects at each stage, respectively. Using the total probability formula we get the expression of .

Meanwhile, system (1) has a disease-free equilibrium (DFE) , where . From [29] we can get that when , the disease-free equilibrium of system (1) is locally stable but unstable when . We can also prove that is globally attractive when (see details in Appendix C.1). Thus, we get the following theorem.

Theorem 1. When , the disease-free equilibrium of system (1) is globally asymptotically stable, but unstable when .

Besides the disease-free equilibrium the system has an endemic equilibrium when . It is not difficult to get the expression of , where , , , , , , , , , , , , , and .

Moreover, according to the persistence theorem developed by Smith and Zhao in [31] we can prove the system is uniformly persistent if . To this end we verify that invariant sets in the boundary of the feasible region are not attractors (see details in Appendix C.2.) Hence we have the following theorem.

Theorem 2. System (1) is uniformly persistent when , in the sense that there is a positive number such that for all initial values , the solution of system (1) satisfies

4.2. Prediction for the Disease

Based on the number of individuals living with HIV (not AIDS) or AIDS among MSM from year 2005 to year 2009, we estimate mean values of parameters and their standard deviations which are listed in Table 2. We also derive the goodness of fit with data together with the uncertainties (shown in Figure 2). The areas from light to dark mean the 50%, 90%, 95%, and 99% limits of the posterior uncertainty due to model parameters. In particular, we get the mean value of the basic reproduction number to be 3.8840 with a estimation error 0.097, and the 95% confidence interval is . Figure 3 describes the Markov Chain for , which has a good convergency. From the estimation results we find that the value of transmission coefficient is larger than the estimation for heterosexual transmission by Xu et al. [14] and that for the general high-risk population without considering transmission routs by Xiao et al. [15]. This implies that, on the one hand, HIV transmission probability among MSM are higher than that for other high-risk groups [4]; on the other hand, the condom use rate or other interventions among MSM are a bit lower [32]. What is more, the diagnose rate among MSM estimated is only 0.08, which is lower than that for other high-risk groups. That is almost due to the physiological specificity of MSM and the cultural norm of China. A study for Beijing was given in 2006, which pointed out that testing and awareness of HIV infection among MSM are very lacking [33].

We suppose that the treatment coverage rate will not change and the current treatment policy will remain the same (i.e., antiviral therapy starts when CD4+ T cell counts are less than 350 per of blood). Our estimation shows that the total number of HIV/AIDS individuals among MSM in 2015 will reach , with HIV-positive individuals and AIDS patients if the current surveillance, testing, and interventions are unchanged (shown in Figure 4(a)). In particular, our estimation gives that there are 6596 HIV/AIDS infected individuals among MSM receiving antiviral therapy in 2011, which takes up to 55% of the diagnosed individuals among MSM with CD4+ T count less than 350 cells per , whereas, estimation from Ministry of Health, people's republic of China stated that the antiviral therapy coverage rate has reached 73.5% in 2011 [2]. This difference agrees with the conclusion obtained by Tong that the treatment coverage rate for HIV/AIDS cases infected sexually is lower than that for HIV/AIDS individuals infected by other routes [34].

Figure 4: Prediction of HIV/AIDS among MSM in China from 2005 to 2020 and the uncertainties of the model. Areas from light to dark mean the 50%, 90%, 95%, and 99% predictive probability limits due to parameter uncertainties. (a) Total HIV/AIDS cases. (b) Total HIV-positive cases. (c) Total AIDS cases. (d) Total HIV/AIDS cases with antiviral therapy. Parameters and initial values used are shown in Table 2. Antiviral therapy started when CD4+ counts are less than 350 cells per .

4.3. Effects of Antiviral Therapy

Antiviral therapy can effectively decrease the viral load in the blood of HIV/AIDS infected individuals, thereby reduceing their infectivity. However, the decrease in viral load consequently alleviates the symptom of HIV/AIDS infected individuals; then they may become active or increase their high-risk behaviors. There are some studies showed that HIV infected individuals may increase their high-risk behaviors since they believe that antiviral therapy can make them more healthy [4, 35–37]. Moreover, antiviral therapy can prolong the lifespan of HIV/AIDS infected individuals, which consequently makes them have more opportunities to infect others. Some researchers supported the conclusion that immediate antiviral therapy once people are diagnosed with HIV is more effective for reducing the infection rate and death rate, and finally controlling the infection [12], whereas other researchers worried that early initiating treatment inevitably induces early occurrence of drug resistance due to poor drug adherence and side effect and consequently results in the decline in treatment efficacy hence it is harmful to control HIV infection [20]. So when antiviral therapy should be started is still controversial and needs a further study. In order to investigate this issue we consider the following two situations and compare the basic reproduction numbers of these two situations.

Situation 1. Start antiviral therapy when CD4+ T counts are less than 350 cells per of blood (keep the current treatment policy). Then we have . Let ; we get the expression of basic reproduction number in this situation, which is denoted by ; then

Situation 2. Start antiviral therapy immediately once people are diagnosed with HIV. In this situation, the expression of basic reproduction number is given in Section 4.1.

Using the parameter values listed in Table 2 we get that , . This implies that immediate antiviral therapy once diagnosed may cause more new infections and is not beneficial to the disease control if parameter values are chosen as those listed in Table 2. In such scenarios, the effect of expanded lifespan may overweight the effect of reduced infectiousness caused by early treatment.

It is interesting to note that the value of is greater than based on the parameter values shown in Table 2. However, immediate antiviral therapy may not always lead to a greater value of the reproduction number. In fact, the relationship between and depends on many factors such as treatment coverage, infectiousness, and so forth. In the following we investigate the relation between and :
In order to determine the sign of , we turn to consider
It is obvious that , where denotes the sign function and indicates the sign of . So if and satisfy the following:
we have , which means that immediate antiviral therapy once people are diagnosed with HIV will result in a lower value of basic reproduction number and hence lead to fewer new infections.

From (7) we obtain that the difference between and is determined by many parameter values. For simplicity, we introduce a factor which varies from 0 to 1 to let the modification factors vary simultaneously. To this end, let multiply , , and ; we then analyze the value of and as a function of . Thus, denotes that the infected individuals are not infectious anymore and means the modification factors , , and take values as those listed in Table 2. In order to compare the two situations (antiviral therapy started when CD4+ count less than 350 cells per , antiviral therapy started immediately once people are diagnosed with HIV) we draw and in Figure 5(a). It shows that there is a critical value such that for and for . That is to say, if we can reduce the modification factors to 81%, immediate antiviral therapy will be more beneficial in terms of inducing a less reproduction number. Summing up the above, if the modification factors for people with antiviral therapy are relatively small, the earlier to start antiviral therapy the better; in contrast, if the modification factors are relatively large, postponing antiviral therapy is better in terms of causing relatively few new infections.

Figure 5: (a) Plots of and against factor . (b) Contour plot of varies the factor and treatment coverage rate, where . Parameters used are shown in Table 2.

Should We Increase the Treatment Coverage Rate? In the following we investigate whether increasing the treatment coverage rate is beneficial or harmful to control HIV epidemic. To this end, we examine the variation in with treatment coverage rate. We simply suppose . Solving the partial derivative of with respect to we have
where

We can verify that (see Appendix D for details about the proof of ). Let ; we have

Thus, there exists a critical value for a combination of parameters , , , and so forth such that for and for . Note that and are both positive, which implies that if the modification factors for HIV-positive individuals are relatively small, then a large treatment coverage rate will lead to decline in new infections and hence is beneficial to disease control; otherwise increasing treatment coverage rate would result in an increase in new infections. That is to say, given unchanged behavior of HIV-positive individuals, the infectiousness due to antiviral therapy plays a vital role in determining HIV new infections. In particular, when infectiousness due to antiviral therapy is below a critical value, increasing treatment coverage rate is effective to reduce the new infections. Whereas infectiousness is greater than a critical value, increasing treatment coverage rate induces more new infections, which implies the more therapy for the HIV infected individuals, the more new infections produced (see Figure 5(b) for details). It follows from Figure 5(b) that decreases as treatment uptake rate increases if is less than a critical value (around 0.6), which implies that increasing treatment coverage is beneficial to disease control in the case of better treatment efficacy; otherwise, increasing treatment is harmful to it.

4.4. Effects of Intervention Measures

In recent years many intervention measures have been implemented to control the quick increase of HIV epidemic among MSM. The intervention measures include (1) strengthening education to the high-risk population, which decreases the constant recruitment rate , the contact rate per year and increases the condom use rate; (2) increasing surveillance and testing, which results in an increase in the diagnose rate . Note that both decreasing in contact rate and increasing in condom use rate can lead to the decline of transmission coefficient .

To address the impact of each intervention measure on HIV infection among MSM, we investigate variation in number of HIV/AIDS infected individuals with varying transmission coefficients, treatment uptake rate. Figure 6 shows that strengthening education to high-risk population (i.e., smaller ) and increasing surveillance and testing (i.e., larger ) slow down the spread of HIV significantly. In particular, if decreases by 30% and increases by 25%, the total number of HIV/AIDS infected individuals among MSM will decrease to , which is decreased by . Similarly, we could increase the diagnose rate only to examine the effect of improving HIV diagnose and testing strategy on HIV transmission among MSMs. In particular, if the diagnose rate increases to , , and , the total number of HIV/AIDS infected individuals will decrease by , , and in year 2015, respectively, and the number of individuals with treatment will increase by , , and in year 2015, as shown in Figure 8. It is interesting to note that relatively large testing rate leads to a slow increase of the number of individuals with treatment (shown in Figure 8(d)). Meanwhile, low recruitment rate and large exit rate will also slow down the spread of HIV however their effects are very limited (as shown in Figure 7). This is because the number of HIV infected individuals is very small compared with the total high-risk population among MSM; thus the variation of is very limited. This conclusion is in agreement with that for general high-risk population obtained by Xiao et al. [15].

Figure 6: Plots of estimated number of HIV/AIDS cases vary with transmission coefficient and diagnose rate . (a) Total number of HIV/AIDS cases. (b) Total HIV-positive cases. (c) Total AIDS cases. (d) Total HIV/AIDS with treatment. Other parameters used are shown in Table 2.

Figure 7: Plots of estimated number of HIV/AIDS cases vary with constant recruitment and exit rate . (a) Total number of HIV/AIDS cases. (b) Total HIV-positive cases. (c) Total AIDS cases. (d) Total HIV/AIDS with treatment. Other parameters used are shown in Table 2.

Figure 8: Plots of estimated number of HIV/AIDS cases vary with diagnose rate . (a) Total number of HIV/AIDS cases. (b) Total HIV-positive cases. (c) Total AIDS cases. (d) Total HIV/AIDS with treatment. Other parameters used are shown in Table 2.

In order to investigate the effect of antiviral therapy, we study the variation in the incidence of HIV with different antiviral therapy efficacy represented by infectiousness (, , ), disease progression rates (, ), and disease-related death rates ( and ). In order to reduce the number of variables we introduce two factors and to describe variation in infectiousness and disease progression rates, respectively. During the analysis, is set to be 0.75, 0.5 and 0.25 to represent that infectiousness is decreased to 75%, 50%, and 25%, respectively. We suppose that antiviral therapy decreased the progression rates to 5%. Figure 9 shows that HIV incidence will peak in around year 2016, and the better drug efficacy the lower HIV incidence. It indicates that although the drugs are persistently effective, HIV incidence will increase in the recent years. That is because effect of antiviral therapy on HIV epidemic between hosts is not instantaneous but delays some time.

Figure 9: Plots of incidence against factor when antiviral therapy started immediately after diagnose. . Other parameters used are shown in Table 2.

5. Sensitivity Analysis

Note that in our model some parameters are known with uncertainties or have large variances, which may greatly affect outcomes. It is then necessary to do the uncertainty and sensitivity analysis such that the sensitive parameters can be detected. To examine the sensitivity of our results to parameter variations, we use latin hypercube sampling (LHS) and partial rank correlation coefficients (PRCCs) [38] to examine the dependence of the reproduction number and the expected number of total HIV/AIDS individuals in 2015 on each parameter.

We initially examine the sensitivity of basic reproduction number to parameter variations. We choose the sample size , parameters interested as the input variables, and the value of as the output variable. Parameter values and ranges are listed in Table 1. Figure 10(a) shows the PRCC value of each parameter. Parameters with star above the bar are the significant ones, and the significance level we choose here is . It shows that , , , , , and have positive impact upon , whilst , , , , , and have negative impact. From the PRCC results we know that is not sensitive to parameters , , , and . So, assumptions of , , and , being half of and are justified and hence have little influence on our main results. Further, we can get that the most influential parameters are , since the PRCC values of them are larger than 0.8. In particular, simple calculation indicates that the basic reproduction number can decrease to less than 1 if reduces to 0.2.

Table 1: Parameter values and ranges.

Table 2: Parameters and initial values.

Figure 10: (a) Partial rank correlation coefficients (PRCC) results for the dependence of on each parameter. (b) Partial rank correlation coefficients (PRCC) results for the dependence of total HIV/AIDS cases in year 2015 on each parameter. denotes the value of PRCC is not zero significantly, where the significance level is 0.05.

We also investigate the sensitivity of the expected number of people living with HIV/AIDS to parameter variations. Given the current treatment policy, parameters described in Table 1 except for , , and are chosen as the input variables. The total HIV/AIDS cases in year 2015 is output variable. The PRCC values are shown in Figure 10(b), from which we can find that both and have little impacts on the number of people living with HIV/AIDS in year 2015. The influences of other parameters on total HIV/AIDS cases are similar to their influences on .

6. Discussion

According to the CD4+ T cell counts in the blood, we divided the HIV-positive individuals to several stages and formulated a mathematical model with antiviral therapy. The unknown parameters involved in this model were estimated using the MCMC simulation basing on the real data (i.e., the number of annual reported HIV/AIDS among MSM). We defined the threshold value (the basic reproduction number ) which determines whether the epidemic goes to extinction or not. By using the stability theories and methods of ordinary differential equation, we proved that the disease-free equilibrium is globally asymptotically stable when , whilst the system is uniformly persistence when .

We studied the effect of antiviral therapy in two situations: antiviral therapy started immediately once people are diagnosed with HIV and antiviral therapy started when CD4+ T counts are less than 350 cells per (current policy). We found that, given unchanged behaviors after treatment, there exists a critical value for the infectiousness below which immediate treatment is better than the current policy in terms of the reproduction number, whereas current policy exhibits better results than immediate treatment if the infectiousness is greater than the critical level. It indicates that if the treatment efficacy is really good (i.e., relatively low infectiousness), our conclusion suggests immediate treatment; otherwise the current policy is recommended. Similarly, when the infectiousness is relatively low (relatively good treatment efficacy), increasing treatment coverage will decrease the reproduction number and lead to decline in new HIV infection, whilst increasing treatment coverage will result in an increase in new HIV infection for the relatively great infectiousness, which is in agreement with that for heterosexual transmission [14]. Summing up the above, if treatment efficacy is relatively good, our conclusions suggest immediate treatment with high uptake rate; otherwise the current policy is reasonable.

Using the data on the number of new reported HIV/AIDS infected individuals by year among MSM, we obtained estimates of the reproduction number, intervention parameter values, and the high-risk population size. Our estimated reproduction number is 3.88 (95% CI 3.69–4.07) which is in the ranges of estimates for Western Germany (3.43–4.08) and UK (3.38–3.96) [39]. From the estimated parameters we know that the transmission coefficient is much larger than the estimation for heterosexual transmission [14] and general high-risk population [28]. This result is associated with the conclusion by Lou et al. [13] that MSM are 19 times more likely to be infected with HIV than general population. In fact, there are a lot of money boys in China, also called male sex workers especially in bathhouse, bars, and clubs [34, 40]. Recent surveys showed that the condom use rate among MSM is very low, only less than 30 percent [32]. Anotherstudy showed that anal intercourse between men, if unprotected, carries a high-risk of HIV transmission [3]. All these factors lead to the high probability for HIV transmission among MSM, which is in agreement with our estimation. Our estimation also shows that the diagnose rate among MSM is much lower than that for other high-risk population [15]. Meanwhile, we estimated that the antiviral therapy coverage rate among MSM in 2011 is less than the estimation by Ministry of Health, People's Republic of China [2]. This agrees with the conclusions obtained by Tong [34] that the antiviral therapy coverage rate for individuals infected sexually is lower than other infected groups.

Simulation results show that strengthening education to high-risk population and increasing surveillance and testing can slow down the spread of disease. Further, sensitivity analysis implies that the most influential parameters are infection rate and disease related death rate for HIV-positive individuals . Note that high efficacy drug can reduce the transmission probability of HIV per high-risk behavior [18], and the education may reduce the contact rate and increase the condom use rate. This means that a high effective drug and timely education may effectively control HIV epidemic.

In this paper, we concluded that if the infectiousness for HIV/AIDS infected cases is relatively small, treatment started immediately once diagnosed is more beneficial to disease control. It should be mentioned that we have not considered costs of antiviral therapy. However, early antiviral therapy will increase the financial burden of the government of China and may increase high risk of occurrence of drug resistance. We will consider these factors in the future study.

Appendix

A. Parameter Estimation

Since the number of susceptible cases is large compared to the number of HIV/AIDS infected cases, approximately equals 1. Thus we can get the following reduced model:
where and .

For ensuring good convergence of Markov Chain, some prior information is given. Xiao et al. [15] built a mathematical model which did not consider the different transmission routes and estimated several parameters involved in the model. They got the transmission coefficient is , the diagnose rate for HIV-positive individuals to be , and the proportion of HIV-positive individuals when diagnosed to be . Now we use them as the prior information for our estimation. That is to say, the initial values for , , and are , , and , respectively. What is more, the ranges for each parameter and initial value are given: , , , , , and . Here we assume since there are no significant differences for the infectiousness of people in these two groups. Let and denote the real data, the number of annual reported HIV-positive individuals and AIDS patients from year 2005 to 2009, where . The proposal density is chosen to be multivariate normal distribution. Let , and denotes the numerical solution of the first equation of reduced model (A.1) at time . Then the real value of and can be taken as random variables from Gaussian distributions with mean and , respectively. During the MCMC simulation, we will minimize . We use a small MCMC package to achieve the estimation which provided in http://www.helsinki.fi/~mjlaine/mcmc/.

By fitting this reduced model to the annual reported HIV/AIDS cases from 2005 to 2009 we get the estimates of parameters , , , , , and and their standard deviations. Based on these parameters, and are estimated by fitting model (1) to the data.

B. Basic Reproduction Number

The model has a disease-free equilibrium , where , which can be obtained easily by setting the right side of model (1) to zero. Following the next-generation operator method of [28] we can get of system (1). Let , , , , , , and ; then
such that

C.1. DFE Is Globally Attractive When

Proof. Since , so ; then, . Then we get the comparison system of system (1):
Construct the Lyapunov function as
What is more,
It is easy to see that, when , we have , if and only if , . That is to say system (C.1)'s largest invariant set is . According to Lasalle invariant set principle, when , solutions of system (C.1) satisfy . Then we get the terminal system of system (C.1):
Obviously, all the eigenvalues of (C.4) are negative. Since system (C.4) is a linear differential system with constant coefficients, so the equilibrium is globally asymptotic stable. Then, the solutions of system (C.1) satisfy , , , , , , . From the comparison principle, we get that the disease-free equilibrium of system (1) is globally attractive.

C.2. The Uniform Persistence of the System

Proof of Theorem 2. Let , , and .Define a map , which satisfies , where is the unique solution starting from the initial value . That is to say, is the solution semiflow. Firstly, we show that is uniformly persistent with respect to . It is easy to see that and are positively invariant and the solutions of system (1) are uniformly and ultimately bounded. Thus the semi-flow is point dissipative on , and is compact. By [7], it follows that admits a global attractor.Define . Now we will verify that
In fact, it is obvious that , for any .(1)If , then at least one of , , , , , and is equal to zero. Let us assume that , then . Similarly, when anyone of , , , , and is equal to 0, we can get . (2)If , then at least one of , , , , , is greater than 0. Let us assume that , then , when any one of , , , , is greater than 0, we can get the similar conclusion. According to the above verification, we can get that for sufficiently small, we have ; then ; that is to say, for any there must be ; then . So, .Obviously, is a fixed point of in . If is a solution initiating from , then when , we have , , , , and , , , . Since every solution initiating from will stay in forever, so is an isolated invariance.Since , there exists a small enough such that
The following proof is that . That is to say, there exists a positive constant , such that for any solution initiating from , . Suppose that for any positive (let ),
Then, there exists large enough such that when , , , , , , , , . It follows that . What is more, we have
Now we get the comparison system:
The characteristic equation of (C.9) is
where . Since , so it has at least one of positive real eigenvalues. Let us assume that , is the eigenvector. Suppose ; then , , , , , and . That is to say there exists a positive real eigenvalue which has a positive eigenvector. This implies that the solution tends to infinity as , which contradicts (C.7). This completes the proof.

D. The Proof for

Proof. Suppose , , where . Since , so . Meanwhile, and , so . Consequently, and . Then we have
We only need to verify that . Reducing it to a common denominator, we get the numerator which is denoted by . We just verify that :
This completes the proof.

Acknowledgments

The authors are supported by the National Megaproject of Science Research no. 2012ZX10001-001, by the National Natural Science Foundation of China (NSFC, 11171268 (YX)), by the Fundamental Research Funds for the Central Universities (GK 08143042 (YX)), and by the International Development Research Center, Ottawa, Canada (104519-010).