# Mathematical Analysis and Clinical Implications of an HIV Model with Adaptive Immunity.

1. IntroductionThe human immunodeficiency virus (HIV) is a virus that gradually weakens the immune system since it targets the principal vital immune cells. It is considered as the main cause for several deadly diseases after the resulting acquired immunodeficiency syndrome (AIDS) is reached. With 36.7 million people living with HIV, 1.8 million people becoming newly infected with HIV, and more than 1 million deaths annually, HIV becomes a major global public health issue [1].

In the last decades, many mathematical models describing HIV dynamics were developed [2-11]. With the three main dynamics compartments that are free viruses, healthy [CD4.sup.+] T cells, and infected [CD4.sup.+] T cells, the first viral dynamics was presented and studied in [2]. Including the exposed cells as a new fourth compartment, a modified HIV viral model was tackled in [8]. More recently, the model describing HIV viral dynamics with another fifth compartment representing the cytotoxic T-lymphocytes (CTL) cells is formulated and studied in [9]. The authors study the global stability of the endemic states and illustrate the numerical simulations in order to show the numerical stability for each problem steady state. Notice that the adaptive immunity has two main arms that are cellular and humoral responses. The first one is mediated by CTL cells that play a crucial role in the infection by killing infected cells, while the second arm is mediated by the antibodies which are proteins that are produced by B cells and are specifically programmed to neutralize the viruses [12]. In this paper, we extend the recent work [9] by incorporating to the model this other main component of the adaptive immune response. The dynamics of the HIV infection model including these two arms of the adaptive immune response will be governed by the following nonlinear system of differential equations:

[mathematical expression not reproducible]. (1)

With the initial conditions, x(0) = [x.sub.0], s(0) = [s.sub.0], y(0) = [y.sub.0], v(0) = [v.sub.0], w(0) = [w.sub.0], and z(0) = [z.sub.0]. In this model, x, s, y, v, w, and z denote the concentration of uninfected cells, exposed cells, infected cells, free viruses, antibodies, and CTL cells, respectively. Susceptible host cells, [CD4.sup.+] T cells, are produced at a rate A. and die at a rate [d.sub.1]x and become infected by virus at a rate [k.sub.1]xv/ (x + v). The exposed cells die at a rate ([d.sub.2] + [k.sub.2])s. The infected cells increase at rate [k.sub.2]s and decay at rate [d.sub.3]y and are killed by the CTL response at a rate p yz. Free viruses are produced by infected cells at a rate ay and decay at a rate [d.sub.4]v and are killed by the antibodies at a rate qvw. Antibodies develop in response to free viruses at a rate gvw and decay at a rate hw. Finally, CTLs expand in response to viral antigen derived from infected cells at a rate cyz and decay in the absence of antigenic stimulation at a rate bz. Note that this model (1), includes the saturated rate, called the saturated mass action [11], which describes better the rate of viral infection. Such HIV viral dynamics is illustrated in Figure 1. The model (1) extends the recent work [9] by adding a new compartment which is the adaptive immune response. In addition to the mathematical analysis of this new model, we will compare our simulations with some clinical data and we will perform a sensitivity analysis of our parameters.

The rest of the paper is organized as follows. The analysis of the model is described in Section 2. In Section 3, we illustrate numerical simulations and compare the model solution to some clinical data. We conclude in the last section.

2. Analysis of the Model

2.1. Positivity and Boundedness. For the problems dealing with cell population evolution, the cell densities should remain nonnegative and bounded. In this section, we will establish the positivity and boundedness of solutions of the model (1). First of all, for biological reasons, the parameters [x.sub.0], [s.sub.0], [y.sub.0], [v.sub.0], [w.sub.0], and [z.sub.0] must be larger than or equal to 0. Hence, we have the following result:

Proposition 1. For any initial conditions ([x.sub.0], [s.sub.0], [y.sub.0], [v.sub.0], [w.sub.0], [z.sub.0]), system (1) has a unique solution. Moreover, this solution is nonnegative and bounded for all t [greater than or equal to] 0.

Proof. By the classical functional differential equations theory (see for instance [13], and the references therein), we can confirm that there is a unique local solution (x(t), s(t), y(t), v(t), w(t), z(t)) to system (1) in [0, [t.sub.m]).

We have the following:

[mathematical expression not reproducible], (2)

this shows the positivity of solutions for t [member of] [0, [t.sub.m]). For the boundedness of the solutions,

X = x + s + y + P/c z, (3)

then, we have

[??] = [lambda] - [d.sub.1]x - [d.sub.2]s - [d.sub.3]y - bp/c z [less than or equal to] [lambda] - [delta]X, (4)

where [delta] = min([d.sub.1], [d.sub.2], [d.sub.3], b). So,

X(t) [less than or equal to] X(0)[e.sup.-[delta]t] + [lambda]/[delta] (1 - [e.sup.-[delta]t]) [less than or equal to] X(0)[e.sup.-[delta]t] + [lambda]/[delta]. (5)

Similarly, let us consider

V = v + q/g w; (6)

therefore,

[??] = ay - [d.sub.4]v - hq/g w [less than or equal to] ay - [delta]V, (7)

where [alpha] = min([d.sub.4], h), then,

V(t) [less than or equal to] V(0) + a/[alpha] [[parallel]y[parallel].sub.[infinity]], (8)

this proves that the solutions x(t), s(t), y(t), v(t), w(t), and z(t) are bounded. Hence, every local solution can be prolonged up to any time [t.sub.m] > 0, which means that the solution exists globally.

2.2. Steady States. System (1) has an infection-free equilibrium [E.sub.f] = ([lambda]/[d.sub.1], 0, 0, 0, 0, 0), corresponding to the maximal level of healthy [CD4.sup.+] T-cells. By simple calculation, the basic reproduction number of (1) is given by

[R.sub.0] = a[k.sub.1][k.sub.2]/[d.sub.3][d.sub.4]([d.sub.2] + [k.sub.2]) = [k.sub.1] [k.sub.2]/[d.sub.2] + [k.sub.2] x a/[d.sub.3] x 1/[d.sub.4], (9)

where [k.sub.2]/([d.sub.2] + [k.sub.2]) is the proportion of the exposed cells to become productively infected cells, a/[d.sub.3] is the number of free virus production by an infected cell, and 1/[d.sub.4] is the average life of virus. From a biological point of view, [R.sub.0] stands for the average number of secondary infections generated by one infected cell when all cells are susceptibles. Depending on the value of this basic reproduction number [R.sub.0]; in other words, depending on these three biological proportions, we will study the stability of the free-disease and the endemic equilibria. Indeed, it is easy to see that when [R.sub.0] > 1, system (1) has four of them. The first endemic equilibrium is [E.sub.1] = ([x.sub.1], [s.sub.1], [y.sub.1], [v.sub.1], [w.sub.1], [z.sub.1]), where

[mathematical expression not reproducible]. (10)

We define the antibody immune response reproduction number by

[R.sup.w.sub.1] = g[v.sub.1]/h = g[lambda]([R.sub.0] - 1)/[d.sub.1]h + h[k.sub.1](1 - (1/[R.sub.0])), (11)

where 1/h is the average life of antibodies cells and [v.sub.1] is the number of free viruses at [E.sub.1]. For the biological significance, [R.sup.w.sub.1] represents the average number of the antibodies activated by virus when the viral infection is successful in the absence of CTL immune response.

Furthermore, we introduce the CTL immune response reproduction number given by

[R.sup.z.sub.1] = c[y.sub.1]/b = c[lambda][d.sub.4]([R.sub.0] - 1)/ab[d.sub.1] + ab[k.sub.1](1 - (1/[R.sub.0])), (12)

where 1/b represents the average life of CTL cells and [y.sub.1] is the number of infected cells at [E.sub.1]. Hence, [R.sup.z.sub.1] represents the mean of CTL immune cells activated by an infected cell when the viral infection is successful in the absence of the antibody immune response. The second endemic equilibrium is

[E.sub.2] = ([x.sub.2], [s.sub.2], [y.sub.2], [v.sub.2], [w.sub.2], [z.sub.2]), (13)

where

[mathematical expression not reproducible], (14)

with A = [(ab[k.sub.l] - [lambda]c[d.sub.4]).sup.2] + [a.sup.2][b.sup.2][d.sup.2.sub.1] + 2[a.sup.2][b.sup.2][d.sub.1][k.sub.1] + 2[lambda]abc[d.sub.1][d.sub.4].

We introduce the antibody immune competition reproduction number given by

[R.sup.w.sub.2] = g[v.sub.2]/h = abg/c[d.sub.4]h, (15)

with 1/h represents the average life of antibodies and [v.sub.2] is the number of free viruses at [E.sub.2]. For biological point of view, [R.sup.w.sub.2] represents the average number of the antibodies activated by virus when the viral infection is successful in the absence of CTL response. The third endemic equilibrium is

[E.sub.3] = ([x.sub.3], [s.sub.3], [y.sub.3], [v.sub.3], [w.sub.3], [z.sub.3]), (16)

where

[mathematical expression not reproducible], (17)

with B = [(h[k.sub.1] - [lambda]g).sup.2] + [d.sup.2.sub.1][h.sup.2] + 2[k.sub.1][d.sub.1][h.sup.2][k.sub.1] + 2[lambda]g[d.sub.1]h.

We define the CTL immune competition reproduction number [R.sup.z.sub.3] of our model by

[mathematical expression not reproducible], (18)

with 1/b represents the average life of CTL cells and [y.sub.3] is the number of infected cells at [E.sub.3]. Hence, [R.sup.z.sub.3] represents the average number of CTL immune cells activated by an infected cell when the viral infection is successful in the absence of the antibody immune response. The last endemic equilibrium is

[E.sub.4] = ([x.sub.4], [y.sub.4], [v.sub.4], [w.sub.4], [z.sub.4]), (19)

where

[mathematical expression not reproducible]. (20)

We observe that the second endemic state [E.sub.2] = ([x.sub.2], [y.sub.2], [v.sub.2], [w.sub.2], [z.sub.2]) exists when [R.sup.z.sub.1] > 1. We explain the existence of this endemic equilibrium [E.sub.2] as follows. We recall first that, in this state, both the free viruses and CTL cells are present. Assume that [R.sub.0] > 1, in the total absence of CTL immune response, the infected cell load per unit time is [lambda][d.sub.4]([R.sub.0] - 1)/(a[d.sub.1] + a[k.sub.1](1 - (1/[R.sub.0]))). Via the six equations of model (1), CTL cells are reproduced due to infected cells stimulated per unit time being (c[lambda][d.sub.4]([R.sub.0] - 1)/(a[d.sub.1] + a[k.sub.1](1 - (1/[R.sub.0])))) = c[y.sub.1]. The CTL load during the lifespan of a CTL cell is (c[lambda][d.sub.4]([R.sub.0] - 1)/ ([abd.sub.1] + [abk.sub.1] (1 - (1/[R.sub.0])))) = [R.sup.z.sub.1]. If (c[lambda][d.sub.4]([R.sub.0] - 1)/([abd.sub.1] + [abk.sub.1](1 - (1/[R.sub.0])))) > 1, we will have the existence of the endemic equilibrium [E.sub.2]. We observe also that the third endemic state [E.sub.3] = ([x.sub.3], [y.sub.3], [v.sub.3], [w.sub.3], [z.sub.3]) exists when [R.sup.w.sub.1] > 1. We explain the existence of this endemic equilibrium [E.sub.3] as follows. We recall first that, in this state, both of the free viruses and antibodies are present. Assume that [R.sub.0] > 1, in the total absence of the antibody immune response, the viral load per unit time is [lambda]([R.sub.0] - 1)/([d.sub.1] + [k.sub.1](1 - (1/[R.sub.0]))). Via the six equations of model (1), antibodies are reproduced due to free viruses stimulation per unit time is (g[lambda]([R.sub.0] - 1)/([d.sub.1] + [k.sub.1] (1 - (1/[R.sub.0])))) = g[v.sub.1]. The viral load during the lifespan of virion is (g[lambda]([R.sub.0] - 1)/([d.sub.1]h + h[k.sub.1](1- (1/[R.sub.0])))) = [R.sup.w.sub.1]. If (g[lambda]([R.sub.0] - 1)/([d.sub.1]h + h[k.sub.1](1- (1/[R.sub.0])))) > 1, we will have the existence of the endemic equilibrium [E.sub.3]. Similarly, one can see that [E.sub.4] = ([x.sub.4], [y.sub.4], [v.sub.4], [w.sub.4], [z.sub.4]) exists when [R.sup.z.sub.3] > 1 and [R.sup.w.sub.2] > 1.

2.3. Global Stability of the Disease-Free Equilibrium. For the global stability of the disease-free equilibrium, we have the following result.

Proposition 2. If [R.sub.0] [less than or equal to] 1, then the endemic point [E.sub.f] is globally asymptotically stable.

Proof. Let the following Lyapunov functional be

[mathematical expression not reproducible]. (21)

The time derivative is given by

[mathematical expression not reproducible]. (22)

If [R.sub.0] < 1, then [??] [less than or equal to] 0. Moreover, [??] [less than or equal to] 0 when v = 0. The largest compact invariant is

E = {(x, s, y, v, w, z) | v = 0}. (23)

According to LaSalle's invariance principle [14], we have [lim.sub.+[infinity]]v(t) = 0. The limit system of equations is

[mathematical expression not reproducible]. (24)

We define

[mathematical expression not reproducible]. (25)

Since [x.sub.0] = [lambda]/[d.sub.1], then

[mathematical expression not reproducible]. (26)

Since the arithmetic mean is greater than or equal to the geometric mean, it follows that

2 - x/[x.sub.0] - [x.sub.0]/x [less than or equal to] 0. (27)

Therefore, [??] [less than or equal to] 0, and the equality holds if x = [x.sub.0] and s = y = w = z = 0, which complete the proof.

2.4. Global Stability of Infection Steady States. In this subsection, attention is focused on the stability of the infection steady states.

For the first endemic equilibrium [E.sub.1], we have the following result.

Proposition 3. If [R.sub.0] > 1, [R.sup.z.sub.1] [less than or equal to] 1, and [R.sup.w.sub.1] [less than or equal to] 1, then the endemic point [E.sub.1] is globally asymptotically stable.

Proof. Let the following Lyapunov functional be

[mathematical expression not reproducible]. (28)

we have then

[mathematical expression not reproducible]. (29)

On the other hand, we have

[mathematical expression not reproducible]. (30)

Hence,

[mathematical expression not reproducible]. (31)

Thus, this fact implies that

[mathematical expression not reproducible]. (32)

Since

[mathematical expression not reproducible], (33)

We have

[mathematical expression not reproducible]. (34)

Therefore,

[mathematical expression not reproducible], (35)

which implies that

[mathematical expression not reproducible]. (36)

Since the arithmetic mean is greater than or equal to the geometric mean, it follows that

5 - [x.sub.1]/x x + [v.sub.1]/[x.sub.1] + [v.sub.1] - [s.sub.1]/s xv/[x.sub.1][v.sub.1] [x.sub.1] + [v.sub.1]/x + v - s[y.sub.1]/[s.sub.1]y - y[v.sub.1]/[y.sub.1]v - x + v/x + [v.sub.1] [less than or equal to] 0, (37)

and we know that [R.sup.z.sub.1] < 1 and [R.sup.w.sub.1] < 1, then [??] [less than or equal to] 0, and the equality holds when x = [x.sub.1], y = [y.sub.1], v = [v.sub.1], w = [w.sub.1], and z = [z.sub.1]. By the LaSalle invariance principle [14], the endemic point [E.sub.1] is asymptotically stable when [R.sub.0] > 1.

For the second endemic equilibrium [E.sub.2], we have the following result.

Proposition 4. If [R.sub.0] > 1, [R.sup.z.sub.1] > 1, and [R.sup.w.sub.2] [less than or equal to] 1, then the endemic point [E.sub.2] is globally asymptotically stable.

Proof. Let the following Lyapunov functional be

[mathematical expression not reproducible], (38)

then, we have

[mathematical expression not reproducible]. (39)

We know that

[mathematical expression not reproducible], (40)

so, we have

[mathematical expression not reproducible]. (41)

On the other hand, we have

[mathematical expression not reproducible]. (42)

This fact implies that

[mathematical expression not reproducible]. (43)

Since the arithmetic mean is greater than or equal to the geometric mean, it follows that

5 - [x.sub.2]/x x + [v.sub.2]/[x.sub.2] + [v.sub.2] - [s.sub.2]/s xv/[x.sub.2][v.sub.2] [x.sub.2] + [v.sub.2]/x + v - s[y.sub.2]/[s.sub.2]y - y[v.sub.2]/[y.sub.2]v - x + v/x + [v.sub.2] [less than or equal to] 0, (44)

and we know that [R.sup.w.sub.2] < 1 which means that [??] [less than or equal to] 0, and the equality holds when x = [x.sub.2], s = [s.sub.2], y = [y.sub.2], v = [v.sub.2], w = [w.sub.2], and z = [z.sub.2]. By the LaSalle invariance principle [14], the endemic point [E.sub.2] is asymptotically stable.

For the third endemic equilibrium [E.sub.3], we have the following result.

Proposition 5. If [R.sub.0] > 1, [R.sup.z.sub.3] [less than or equal to] 1, and [R.sup.w.sub.1] > 1, then the endemic point [E.sub.3] is globally asymptotically stable.

Proof. Let the following Lyapunov functional be

[mathematical expression not reproducible]. (45)

Then, we have

[mathematical expression not reproducible]; (46)

this fact implies that

[mathematical expression not reproducible]. (47)

We know that

[mathematical expression not reproducible]. (48)

So, we have

[mathematical expression not reproducible]. (49)

Then, we have

[mathematical expression not reproducible]. (50)

Since the arithmetic mean is greater than or equal to the geometric mean, it follows that

5 = [x.sub.3]/x x + [v.sub.3]/[x.sub.3] + [v.sub.3] - [s.sub.3]/s xv/[x.sub.3][v.sub.3] [x.sub.3] + [v.sub.3]/x + v - s[y.sub.3]/[s.sub.3]y - y[v.sub.3]/[y.sub.3]v - x + v/x + [v.sub.3] [less than or equal to] 0, (51)

and we know that [R.sup.z.sub.3] < 1, then [??] [less than or equal to] 0, and the equality holds when x = [x.sub.3], s = [s.sub.3], y = [y.sub.3], v = [v.sub.3], w = [w.sub.3], and z = [z.sub.3]. By the LaSalle invariance principle [14], the endemic point [E.sub.3] is asymptotically stable when [R.sub.0] > 1.

Finally, for the last endemic equilibrium [E.sub.4], we have the following result.

Proposition 6. If [R.sub.0] > 1, [R.sup.z.sub.3] > 1, and [R.sup.w.sub.2] > 1, then the endemic point [E.sub.4] is globally asymptotically stable.

Proof. Let the following Lyapunov functional be

[mathematical expression not reproducible]. (52)

Then, we have

[mathematical expression not reproducible]. (53)

We know that

[mathematical expression not reproducible], (54)

then,

[mathematical expression not reproducible]. (55)

This fact implies that

[mathematical expression not reproducible]. (56)

Since the arithmetic mean is greater than or equal to the geometric mean, it follows that

5 - [x.sub.4]/x x + [v.sub.4]/[x.sub.4] + [v.sub.4] - [s.sub.4]/s xv/[x.sub.4][v.sub.4] [x.sub.4] + [v.sub.4]/x + v - s[y.sub.4]/[s.sub.4]y - y[v.sub.4]/[y.sub.4]v - x + v/x + [v.sub.4] [less than or equal to] 0, (57)

which means that L [less than or equal to] 0, and the equality holds when x = [x.sub.4], s = [s.sub.4], y = [y.sub.4], v = [v.sub.4], w = [w.sub.4], and z = [z.sub.4]. By the LaSalle invariance principle [14], the endemic point [E.sub.4] is globally asymptotically stable when [R.sub.0] > 1.

3. Numerical Results

For our numerical simulations, system (1) is solved using the Runge-Kutta method iterative scheme. The numerical ranges of our parameters are given in Table 1. Figure 2 shows the behavior of disease during the first 60 days of observation. From this figure, we observe that the solution converges to the point [E.sub.f] = (827.22,0,0,0,0,0). With these chosen parameters, we have [R.sub.0] = 0.22 < 1, which proves that [E.sub.f] is stable. This supports our theoretical findings. Figure 3 shows the behavior of the disease during 60 first days. From this figure, we observe that the solution of (1) converges towards the point [E.sub.1] = (33.17, 1.33, 2.54, 4.24 x [10.sup.2], 0,0). With these chosen parameters, we have [R.sub.0] = 13.81 > 1, [R.sup.z.sub.1] = 7.64 x [10.sup.-1] < 1, and [R.sup.w.sub.1] = 4.24 x [10.sup.-8] < 1. This fact supports that [E.sub.1] is stable. Figure 4 shows the behavior of disease during 60 days. We observe that the solution of (1) converges towards the endemic point [E.sub.2] = (1.96x [10.sup.2], 6.32, 3.33, 5.55 x [10.sup.2], 0, 6.28 x [10.sup.2]). In this figure, we have [R.sub.0] = 13.81 > 1, [R.sup.z.sub.1] = 3.81 > 1, and [R.sup.w.sub.2] = 5.55 x [10.sup.-8] < 1, which supports the fact that [E.sub.2] is stable. Figure 5 shows the behavior of disease during the first 60 days of observation. We clearly see that the solution of (1) converges towards the endemic point [E.sub.3] = (32.07, 1.35, 2.57, 1000, 4.45, 0). With the chosen parameters, we have [R.sub.0] = 2.39 x [10.sup.2] > 1, [R.sup.z.sub.3] = 0.77 < 1, and [R.sup.w.sub.1] = 9.61 > 1; this supports the stability of [E.sub.3]. In addition, Figure 6 shows the behavior of disease for the first 60 days. We remark that the solution converges towards the last endemic point [E.sub.4] = (1.77 x [10.sup.2], 6.55, 3.33, 1000, 4.46, 6.61 x [10.sup.2]). With the used parameters, we have [R.sub.0] = 75.31 > 1, [R.sup.z.sub.3] = 3.74 > 1, and [R.sup.w.sub.2] = 3.03 > 1; this confirms the theoretical result concerning the stability of [E.sub.4].

3.1. Comparison with the Clinical Data. First, define the following objective function:

J = 1/n [n.summation over (i=1)] log[(v([t.sub.i]) - log([??]([t.sub.i]))).sup.2], (58)

where v([t.sub.i]) represents the virus concentration at time t{ using the mathematical model (1) and [??]([t.sub.i]) represents the virus concentration clinical data at time [t.sub.i] [18].

The numerical simulations are performed and compared to three patients' data picked from [18]. The data were from the University of Washington study [7] and from the Aaron Diamond AIDS Research Center (see Table 2).

In Figure 7, the dots show the evolution of the infection during the first 120 days for the first patient [18], while the solid curve represents the numerical simulation of our suggested model. The error between the numerical simulation and the clinical data is approximately J [approximately equal to] 2.378 x [10.sup.-1] which indicates that the numerical simulation is a good approximation of the clinical data. Figures 8 and 9 show a comparison between the clinical data (dots) and the mathematical model (solid line), and the error is approximately J [approximately equal to] 8.43 x [10.sup.-2] and J [approximately equal to] 1.64 x [10.sup.-1], respectively. These three results indicate that our mathematical model can fit the clinical data of different patients for the first days of observations. However, the limit of our model is to predict a long time behavior of the infection disease.

3.2. Sensitivity Analysis. Using the method outlined in [19], we perform a sensitivity analysis using partial rank correlation coefficients (PRCC) to identify the main drivers of the basic reproduction number [R.sub.0]. Parameters were tested within the ranges given in Table 1.

In Figure 10, we observe that a and [k.sub.1] is highly positively correlated with [R.sub.0]. However, [d.sub.4] has a strong negative correlation with [R.sub.0]. The other parameters [k.sub.2], [d.sub.2], and [d.sub.3] present a weak correlation with [R.sub.0]. From the biological point of view, the sensitivity analysis shows that an increase of production rate of the virus by infected cells a or an increase of the infection rate [k.sub.1] leads to an increase of the basic reproduction number [R.sub.0]. However, an increase in the clearance rate of virus d4 leads to a significant decease of the basic reproduction number [R.sub.0].

4. Conclusion

In this paper, we have presented and studied a mathematical model describing HIV viral infection with saturated rate in the presence of the adaptive immune response. This adaptive immunity is represented by CTL immune response and antibodies. By using suitable Lyapunov functionals, the global stability of each equilibrium has been established. More precisely, the disease-free equilibrium is globally asymptotically stable when the basic reproduction number is below unity ([R.sub.0] [less than or equal to] 1). Also, the endemic steady state [E.sub.1] is globally asymptotically stable when [R.sub.0] [greater than or equal to] 1, [R.sup.z.sub.1] [less than or equal to] 1, and [R.sup.w.sub.1] [less than or equal to] 1. In presence of the adaptive immune response governed by competition between CTL and antibody responses, system (1) admits three infection steady states. The first infection steady state [E.sub.2] is with only the presence of CTL response which is globally asymptotically stable if [R.sup.z.sub.1] [greater than or equal to] 1 and [R.sup.w.sub.2] [less than or equal to] 1. The second infection steady state [E.sub.3] is with only the presence of the antibody response which is globally asymptotically stable if [R.sup.w.sub.1] [greater than or equal to] 1 and [R.sup.z.sub.3] [less than or equal to] 1. The third infection steady state is [E.sub.4] with the activation of the antibodies and the CTL response at the same time. In this case, this equilibrium [E.sub.4] is globally asymptotically stable when [R.sup.w.sub.2] [greater than or equal to] 1 and [R.sup.z.sub.3] [greater than or equal to] 1. In addition, different numerical simulations are performed in order to confirm the theoretical findings and to show that the adaptive immune response is responsible to reduce the viral load, increase the uninfected cells, and decrease the infected cells. Moreover, a comparison with some clinical data shows that our suggested model can be considered as a good approximation of the clinical tests especially for the first days of observation.

https://doi.org/10.1155/2019/7673212

Data Availability

All the used data for our simulations are cited in the manuscript and can be founded in the references.

Conflicts of Interest

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

Acknowledgments

The authors would like to thank "Centre National de Recherche Scientique et Technique" (CNRST), Morocco, and "Centre National de Recherche Scientique" (CNRS), France, for the support of the research project in the form of PICS project.

References

[1] World Health Organization, HIV/AIDS Key facts, World Health Organization, Geneva, Switzerland, 2017, http://www. who.int/mediacentre/factsheets/fs360/en/index.html.

[2] M. A. Nowak and C. R. M. Bangham, "Population dynamics of immune responses to persistent viruses," Science, vol. 272, no. 5258, pp. 74-79, 1996.

[3] H. L. Smith and P. De Leenheer, "Virus dynamics: a global analysis," SIAM Journal on Applied Mathematics, vol. 63, no. 4, pp. 1313-1327, 2003.

[4] E. S. Daar, T. Moudgil, R. D. Meyer, and D. D. Ho, "Transient high levels of viremia in patients with primary human immunodeficiency virus type 1 infection," New England Journal of Medicine, vol. 324, no. 14, pp. 961-964, 1991.

[5] J. O. Kahn and B. D. Walker, "Acute human immunodeficiency virus type 1 infection," New England Journal of Medicine, vol. 339, no. 1, pp. 33-39, 1998.

[6] G. R. Kaufmann, P. Cunningham, A. D. Kelleher et al., "Patterns of viral dynamics during primary human immunodeficiency virus type 1 infection," The Journal of Infectious Diseases, vol. 178, no. 6, pp. 1812-1815, 1998.

[7] T. Schacker, A. C. Collier, J. Hughes, T. Shea, and L. Corey, "Clinical and epidemiologic features of primary HIV infection," Annals of Internal Medicine, vol. 125, no. 4, pp. 257-264, 1996.

[8] Q. Sun, L. Min, and Y. Kuang, "Global stability of infection-free state and endemic infection state of a modified human immunodeficiency virus infection model," IET Systems Biology, vol. 9, no. 3, pp. 95-103, 2015.

[9] K. Allali, J. Danane, and Y. Kuang, "Global analysis for an HIV infection model with CTL immune response and infected cells in eclipse phase," Applied Sciences, vol. 7, no. 8, p. 861, 2017.

[10] J. Danane and K. Allali, "Optimal control of an HIV model with CTL cells and latently infected cells," Numerical Algebra, Control and Optimization, 2019, In press.

[11] Q. Sun and L. Min, "Dynamics analysis and simulation of a modified HIV infection model with a saturated infection rate," Computational and Mathematical Methods in Medicine, vol. 2014, Article ID 145162, 14 pages, 2014.

[12] S. F. M. Burnet, The clonal selection theory of acquired immunity, Franklin-Classics-Trade-Press, Abingdon, UK, 1959.

[13] J. Hale and S. M. Verduyn Lunel, Introduction to Functional Differential Equations, Applied Mathematical Science, Vol. 99, Springer, New York, USA, 1993.

[14] J. P. LaSalle, The Stability of Dynamical Systems, Vol. 25, SIAM, Philadelphia, PA, USA, 1976.

[15] Y. Wang, Y. Zhou, J. Wu, and J. Heffernan, "Oscillatory viral dynamics in a delayed HIV pathogenesis model," Mathematical Biosciences, vol. 219, no. 2, pp. 104-112, 2009.

[16] Y. Tabit, A. Meskaf, and K. Allali, "Mathematical analysis of HIV model with two saturated rates, CTL and antibody responses," World Journal of Modelling and Simulation, vol. 12, no. 2, pp. 137-146, 2016.

[17] H. Zhu, Y. Luo, and M. Chen, "Stability and Hopf bifurcation of a HIV infection model with CTL-response delay," Computers and Mathematics with Applications, vol. 62, no. 8, pp. 3091-3102, 2011.

[18] M. A. Stafford, L. Corey, Y. Cao, E. S. Daar, D. D. Ho, and A. S. Perelson, "Modeling plasma virus concentration during primary HIV infection," Journal of Theoretical Biology, vol. 203, no. 3, pp. 285-301, 2000.

[19] S. Marino, I. B. Hogue, C. J. Ray, and D. E. Kirschner, "A methodology for performing global uncertainty and sensitivity analysis in systems biology," Journal of Theoretical Biology, vol. 254, no. 1, pp. 178-196, 2008.

Jaouad Danane [ID] and Karam Allali [ID]

Laboratory of Mathematics and Applications, Faculty of Sciences and Technologies, University Hassan II of Casablanca, P.O. Box 146, Mohammedia, Morocco

Correspondence should be addressed to Jaouad Danane; jaouaddanane@gmail.com

Received 30 December 2018; Accepted 1 November 2019; Published 16 November 2019

Academic Editor: Rafik Karaman

Caption: Figure 1: Schematic of the model under consideration.

Caption: Figure 2: The behavior of the disease for [lambda] = 10, [d.sub.1] = 0.0139, [k.sub.1] = 0.04, [d.sub.2] = 0.0495, [k.sub.2] = 1.1, [d.sub.3] = 0.5776, a = 2, [d.sub.4] = 0.6, q = 0.05, g = [10.sup.-11], h = 0.1, p = 0.0024, c = 0.15, and b = 0.5.

Caption: Figure 3: The behavior of the disease for [lambda] = 2, [d.sub.1] = 0.0139, [k.sub.1] = 0.05, [d.sub.2] = 0.0495, [k.sub.2] = 1.1, [d.sub.3] = 0.5776, a = 100, [d.sub.4] = 0.6, q = 0.05, g = [10.sup.-11], h = 0.1, p = 0.0024, c = 0.15, and b = 0.5.

Caption: Figure 4: The behavior of the disease for [lambda] = 10, [d.sub.1] = 0.0139, [k.sub.1] = 0.05, [d.sub.2] = 0.0495, [k.sub.2] = 1.1, [d.sub.3] = 0.5776, a = 100, [d.sub.4] = 0.6, q = 0.05, g = [10.sup.-11], h = 0.1, p = 0.0024, c = 0.15, and b = 0.5.

Caption: Figure 5: The behavior of the disease for [lambda] = 2, [d.sub.1] = 0.0139, [k.sub.1] = 0.05, [d.sub.2] = 0.0495, [k.sub.2] = 1.1, [d.sub.3] = 0.5776, a = 500, [d.sub.4] = 0.6, q = 0.05, g = [10.sup.-4], h = 0.1, p = 0.0024, c = 0.15, and b = 0.5.

Caption: Figure 6: The behavior of the disease for [lambda] = 10, [d.sub.1] = 0.0139, [k.sub.1] = 0.05, [d.sub.2] = 0.0495, [k.sub.2] = 1.1, [d.sub.3] = 0.5776, a = 800, [d.sub.4] = 0.6, q = 0.5, g = [10.sup.-4], h = 0.1, p = 0.0024, c = 0.15, and b = 0.5.

Caption: Figure 7: Comparison between the mathematical model (solid line) and the clinical data of the first patient [18] (dots). The used parameters for the model are [lambda] = 10, [d.sub.1] = 0.0139, [k.sub.1] = 0.05, [d.sub.2] = 0.0495, [k.sub.2] = 1.1, [d.sub.3] = 0.5776, a = 850, [d.sub.4] = 0.6, q = 0.5, g = 1.2 x [10.sup.-3], h = 0.1, p = 0.0024, c = 0.15, and b = 0.5.

Caption: Figure 8: Comparison between the mathematical model (solid line) and the clinical data of the fifth patient [18] (dots). The used parameters for the model are [lambda] = 10, [d.sub.1] = 0.0139, [k.sub.1] = 0.05, [d.sub.2] = 0.0495, [k.sub.2] = 1.1, [d.sub.3] = 0.5776, a = 650, [d.sub.4] = 0.6, q = 0.5, g = [10.sup.-3], h = 0.12, p = 0.0024, c = 0.15, and b = 0.5.

Caption: Figure 9: Comparison between the mathematical model (solid line) and the clinical data of the seventh patient [18] (dots). The used parameters for the model are [lambda] = 10, [d.sub.1] = 0.0139, [k.sub.1] = 0.05, [d.sub.2] = 0.0495, [k.sub.2] = 1.1, [d.sub.3] = 0.5776, a = 600, [d.sub.4] = 0.6, q = 0.5, g = [10.sup.-3], h = 0.182, p = 0.0024, c = 0.15, and b = 0.5.

Caption: Figure 10: Sensitivity analysis of [R.sub.0] to different input parameters of the model.

Table 1: Parameters and their symbols and default values used in the suggested HIV model. Parameters Units [LAMBDA] cells [micro][l.sup.-1] [day.sup.-1] [k.sub.1] [micro]l [virion.sup.-1] [day.sup.-1] [d.sub.1] [day.sup.-1] [d.sub.2] [day.sup.-1] [k.sub.2] [day.sup.-1] [d.sub.3] [day.sup.-1] a [day.sup.-1] [d.sub.4] [day.sup.-1] Q [micro]l virion [days.sup.-1] G [micro]l virion [days.sup.-1] H [day.sup.-1] P [micro]l [cell.sup.-1] [day.sup.-1] C cells [cell.sup.-1] [day.sup.-1] b [day.sup.-1] Parameters Meaning [LAMBDA] Source rate of [CD4.sup.+] T cells [k.sub.1] Average of infection [d.sub.1] Decay rate of healthy cells [d.sub.2] Death rate of exposed [CD4.sup.+] T cells [k.sub.2] The rate that exposed cells become infected [CD4.sup.+] T cells [d.sub.3] Death rate of infected [CD4.sup.+] T cells, not by CTL killing a The rate of production the virus by infected [CD4.sup.+] T cells [d.sub.4] Clearance rate of virus Q Killing rate of antibody G Activation rate CTL cells H Death rate of antibody P Clearance rate of infection C Activation rate CTL cells b Death rate of CTL cells Parameters Value References [LAMBDA] [0,10] [15] [k.sub.1] [2.5 x [10.sup.-4], 0.5] [9] [d.sub.1] 0.0139 [9] [d.sub.2] 0.0495 [9] [k.sub.2] 1.1 [9] [d.sub.3] 0.5776 [9] a [2, 1250] [9] [d.sub.4] [0.3466, 2.4] [9] Q 0.5 [16] G 10-11, [10.sup.-4] [16] H 0.1 [16] P 0.0024 [17] C 0.15 [17] b 0.5 [17] Table 2: The used clinical data [18] for Figure 7 (A), for Figure 8 (B), and for Figure 9 (C). Clinical day test Viral load (virions per [micro]l) A 22 27.7 43 210 78 85.9 106 81.1 B 0 228.8 2 599.2 14 169.6 21 93.7 42 165.6 98 127 C 0 1350.6 9 337.2 12 340.6 16 202.3 19 169.7 23 141.4 26 56.48 30 182.75 50 267 60 182.7

Printer friendly Cite/link Email Feedback | |

Title Annotation: | Research Article |
---|---|

Author: | Danane, Jaouad; Allali, Karam |

Publication: | Computational and Mathematical Methods in Medicine |

Date: | Nov 1, 2019 |

Words: | 6408 |

Previous Article: | Mathematical Models for Possible Roles of Oxytocin and Oxytocin Receptors in Autism. |

Next Article: | A Long Short-Term Memory Ensemble Approach for Improving the Outcome Prediction in Intensive Care Unit. |

Topics: |