Abstract

Human Immunodeficiency Virus (HIV) is a virus that attacks or infects cells in the immune system that causes immune decline. Acquired Immunodeficiency Syndrome (AIDS) is the most severe stage of HIV infection. AIDS is the rapidly spreading and becoming epidemic diseases in the world of almost complete influence across the country. A mathematical model approach of HIV/AIDS dynamic is needed to predict the spread of the diseases in the future. In this paper, we presented a fractional-order model of the spread of HIV and AIDS diseases which incorporates two-sex population. The fractional derivative order of the model is in the interval . We compute the basic reproduction number and prove the stability of the equilibriums of the model. The sensitivity analysis also is done to determine the important factor controlling the spread. Using the Adams-type predictor-corrector method, we then perform some numerical simulations for variation values of the order of the fractional derivative. Finally, the effects of various antiretroviral therapy (ART) treatments are studied and compared with numerical approach.

1. Introduction

Human Immunodeficiency Virus (HIV) is a virus that attacks or infects cells in the immune system that causes immune decline. Acquired Immunodeficiency Syndrome (AIDS) is the most severe stage of HIV infection, which can take from 2 to 15 years to develop depending on the individual. AIDS is defined by the development of certain cancers, infections, or other severe clinical manifestations. HIV can be transmitted via the exchange of a variety of body fluids from infected individuals, such as blood, breast milk, semen, and vaginal secretions. There were approximately 36.7 million people living with HIV at the end of 2016 with 1.0 million people died from HIV-related causes globally. In 2015, an estimated 44% of new infections occurred among key populations and their partners [1].

Until now, there is no cure for HIV infection. However, effective antiretroviral therapy (ART) can inhibit HIV progression in immune defects. Since 1996, ART has begun to be used by people living with HIV in the world because it can prevent death early [2]. The benefits of ART for people with HIV/AIDS are to improve quality of life, prevent mother-to-child transmission of HIV, prolong survival, and restore the immune system [3]. In 2016, 19.5 million people with HIV have been receiving ART globally [1].

Mathematical models are needed to understand the dynamics of epidemic infection [48]. At present many models have been proposed to describe the dynamics of HIV/AIDS infection [911]. For instance, authors in [9] formulated a mathematical model for the transmission dynamics of HIV/AIDS in a two-sex population considering counseling and antiretroviral therapy. Authors in [10] studied the impact of the optimal control on the treatment of HIV/AIDS incorporating use of condom, screening of unaware infective, and treatment of HIV individuals. In recent year, Yang et al. [11] formulated a two-group (female sex workers and senior male clients) compartmental model to study the impact of senior male clients on the transmission dynamics, the containment, and the elimination of the HIV.

Memory effect plays an important role in the spread of disease. The presence of memory effects on past events will affect the spread of disease in the future so that the spread of disease in the future can be controlled. The distance of memory effect indicates the history of disease spread. Thus, memory effects on the spread of infectious diseases can be investigated using fractional derivatives. Fractional derivatives have been used in the literature to observe the effect of memory on a system dynamics by replacing the ordinary derivative order with the fractional derivative order [1215]. Sardar et al. [13] formulated the dengue model with memory in the transmission process by using fractional differential operator and order of the fractional derivative as an index of memory. Huo et al. [12] analyzed the effects of vaccines on mathematical models of fractional order of HIV disease spread. They also performed a local stability analysis on the fractional-order framework of HIV disease spread and bifurcation behavior of the system. In 2017, Saeedian et al. [14] studied the evolution of the SIR epidemic model, considering memory effects. Using the fractional calculus technique, the authors in [14] show that the dynamics of such a system depend on the strength of memory effects, controlled by the order of fractional derivatives. In 2017, Pinto and Carvalho [15] derived a fractional-order model for the dynamics of the coinfection of HIV and TB in the presence of TB resistant strains.

In this paper, we proposed a fractional order of two-sex mathematical model for dynamic HIV transmission, as a generalization of an integer model, proposed by Kimbir et al. [9]. We also modified the basic model in [9] by distinguishing populations infected with HIV and infected with AIDS. By using fractional ordinary differential equation, we hope that the fractional-order model can accommodate the real phenomenon of the spread of HIV/AIDS. The structure of the paper is organized as follows. In Section 2, we introduce the description of the fractional order of the HIV/AIDS model. In Section 3, the stability analysis of the equilibriums of the model is proven. In Section 4, we carry out the sensitivity analysis of the reproduction number to the parameters in the model. Section 5 shows some numerical results for distinct values of the fractional order . Finally, in Section 6, we give a brief conclusion.

2. Description of the Model

In this section we propose a mathematical model of two-sex HIV/AIDS transmission based on [9]. The model is constructed under the following assumptions:(1)The total population is divided into two groups, namely, the population of males and females.(2)The population of males is divided into three compartments: the susceptible males , the HIV infected males , and the AIDS infected males . The population of females is also divided into three compartments: the susceptible females , the HIV infected females , and the AIDS infected females . Moreover, the total population of males and females is given by .(3)The HIV transmission is by heterosexual contact only.(4)Vertical transmission and age-structure are ignored.(5)The population is homogeneous mixing.(6)Male and female AIDS populations were isolated and then do not contribute to HIV infection.

The transmission diagram of the model is shown in Figure 1.

The basic model is derived as follows:

The description of the parameter for model (1) could be seen in Table 1. The biologically feasible region of model (1) is and all of the parameters used in model (1) are nonnegative.

The region is positively invariant. In this region, model (1) is well-posed. So, if it is given an initial condition in the region, then the solution is defined for all time and remains in the region.

Next, we consider a fractional-order model of system (1). The fractional model corresponding to system (1) is as follows: where is the order of the fractional derivative. Fractional derivative of model (3) is in the sense of Caputo. The Caputo approach is mostly used in real applications. The main advantages of Caputo approach are the initial values for fractional differential equations with the Caputo derivatives taking on the same form as for integer order differential equations [16]. The Caputo fractional derivative is defined as follows.

Definition 1 (see [16]). The Caputo fractional differential operator of order , with , is defined by where is the gamma function.

3. Model Analysis

In this section, we study the stability of the equilibrium of the fractional-order model (3). We begin by computing the basic reproduction number of model (3). The basic reproduction number is defined as the number of secondary cases of primary case during the infectious period due to the type of infection [17, 18].

Now, we recall the properties of the stability of the fractional-order systems. The stability theorem on fractional-order system is as follows.

Theorem 2 (see [19, 20]). Consider the following autonomous nonlinear fractional-order system:with and . The equilibrium points of the above system are solutions to the equation . An equilibrium is locally asymptotically stable if all eigenvalues of the Jacobian matrix evaluated at the equilibrium satisfy .

Based on Theorem 2, the equilibria are obtained by setting the right-hand sides of the equations in model (3) to zero. The disease-free equilibrium of model (3) to the coordinate is given by .

Then, the basic reproduction number is computed by using the next-generation method [21, 22]. For the next-generation matrix method [22], we take the infected compartments . The Jacobian matrices and for the new infection in the compartment and the transfer of individuals between the compartment respectively, evaluated at , are given byThe basic reproduction number of model (3) is the spectral radius of the matrix such that we have

The following theorem provides the local stability of the disease-free equilibrium.

Theorem 3. The disease-free equilibrium is locally asymptotically stable if .

Proof. The Jacobian matrix of model (3) around the disease-free equilibrium, , is given by The eigenvalues of matrix are and and the roots of quadratic equation , where and , with . Thus, we have . Next, we check the roots of the quadratic equation . Authors in [23] show that the Routh-Hurwitz criteria, , are necessary and sufficient for . It is clear that all of the eigenvalues are negative (, for ) if or equivalently . Hence, the disease-free equilibrium is locally asymptotically stable for if .

We continue with the computing of the endemic equilibrium of model (3). The endemic equilibrium is given by where with . The endemic equilibrium exists if or equivalently .

The stability of the endemic equilibrium is difficult to prove analytically, because it involves a quartic equation which depend on the variables and . Numerical simulations show that the endemic equilibrium is locally asymptotically stable if . This can be seen in Figures 2 and 3. Using three different initial conditions for the simulation, these orbits converge to the same point as time evolves.

4. Sensitivity Analysis

In this section we present the sensitivity analysis of the reproduction number to the parameters in model (3). The aim of this analysis was to measure the parameters that have the most effects on the reproduction number. We derived analytically the sensitivity index of to each parameter following the approach in [24].

Definition 4 (see [24]). The normalized forward sensitivity index of a variable, , that depends differentially on a parameter, , is defined as

Based on Definition 4, the sensitivity indices of with respect to each parameter such as , and can be computed in the same way as (11). For example, the sensitivity index of with respect to is Thus, we compute the sensitivity indexes of the remaining parameters using the parameter values in the Table 2. The results are given in Table 3.

The sensitivity index can be analyzed as follows. The positive sensitivity index shows that an increase in the parameters will lead to increase in the basic reproduction number, while a negative sensitivity index means that an increase in the parameter will lead to a decrease in the basic reproduction number. For example, for , increasing the value by 10% increases the reproduction number by 5%. Thus, increasing natural death rate by 10% decreases by 18.25%.

We also perform sensitivity simulation to verify our sensitivity analysis. The parameter values used in the simulations are given in Table 2. In Figures 4 and 5, we can see that, for the parameter chosen with distinct values of and , respectively, increases monotonically with both and . This results indicate that increasing and will increase the basic reproduction number .

5. Numerical Simulation

In this section, we conduct several numerical simulations of model (3). An Adams-type predictor-corrector method [2527] is applied to solve the numerical solution of the fractional-order model (3). Parameters values used in these simulations could be seen in Table 2. The adopted initial conditions are . Here, we take 500 days for the time horizon. The simulations are carried out with varying values of the order of the fractional derivative .

In Figures 611, we display the dynamic of the populations when and in Figures 1217 when . In each figure six different values of are employed.

Now, we set and and the remaining of parameters as in Table 2 to simulate Figures 611. In this case, the value of is which means that the infection will die out in the population. This condition is confirmed by simulation results in Figures 6 and 7, Figures 8 and 9, and Figures 10 and 11 for susceptible male and female populations, respectively, infected by HIV and infected by AIDS. These figures show that the solutions of model (3) are convergent to the disease-free equilibrium. Moreover, we observe that the solutions with higher order have faster convergence speed compared to the smaller.

Next, we plot in Figures 1217 the numerical simulations using the parameters as in Table 2. In this condition, the value of is which means that the infection will persist in the population. In Figures 12 and 13, Figures 14 and 15, and Figures 16 and 17 the dynamics of the susceptible male and female populations, respectively, are seen, infected by HIV and infected by AIDS with different values of . The figures show that the solutions of model (3) converge to the endemic equilibrium when . Similar to the nonendemic condition, we see that as the order increases, the convergence of solutions is faster for the endemic condition.

In Figures 1823, we depict the dynamic of both male and female populations infected by AIDS for different values of the efficacy of ART treatment for , , and . For , we observe that the AIDS infected both male and female populations decrease when the value of is increase. On the contrary, the number of both AIDS infections increases when the efficacy of ART treatment, , is smaller. The similar behavior is seen for and . It is well known that the ART treatment could improve the quality of HIV infected both male and female patients.

6. Conclusion

In this paper, we have investigated a fractional order of two-sex mathematical model for dynamic HIV, as a generalization of an integer order model, proposed by Kimbir et al. [9]. The basic model in [9] is modified by distinguishing populations infected with HIV and AIDS. We have computed the basic reproduction number and proved the stability of equilibriums of the fractional-order model of the HIV infection. Based on the mathematical analysis, the disease-free equilibrium is locally asymptotically stable when that means the infection will die out in the population. Numerically, the endemic equilibrium tends to be locally asymptotically stable when which means that the infection will persist in the population. We also studied analytically and numerically the sensitivity analysis to measure the parameters that have high impact on . Finally, we have carried out the numerical simulations for different values of the order of the fractional derivative. The simulations results show that the solutions with higher order have faster convergence compared to the smaller . We also found that as the efficacy of ART treatment increases there is a corresponding decrease in the number of the AIDS infected both male and female populations for three values of . These results indicate the effectiveness of the ART treatment to reduce the AIDS infected.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this manuscript.

Acknowledgments

Part of this research is financially supported by the Hibah Riset Mandat, Universitas Airlangga, 2017, according to SK Rektor no. 569/UN3//2017.