1.
Introduction
The human immunodeficiency virus (HIV) is a lentivirus that causes HIV infection and over time acquired immunodeficiency syndrome (AIDS). AIDS leads to progressive failure of the immune system, which allows life-threatening opportunistic infections and cancers to thrive. In the past decades, within host virus models have been investigated in some literatures, which helps us understand the biological interactions between viruses and host cells. Nowak et al. [20] designed a mathematical model including uninfected cells x(t), infected cells y(t) and free virus v(t) to describe the viral dynamics in HIV-1 infection:
where uninfected cells x(t) are produced at rate s and die at rate d; β1 is the infection rate of virus-to-cell infection; a is the death rate of infected cells; k denotes the number of free virus particles produced by per infected cell; u is the remove rate of virus. System (1.1) has been further investigated by Perelson and Nelson [21] and Cangelosi et al. [1].
Faced with different virus infections, immunity system protects us against pathogens. Human specific immunity can be classified into cell-mediated immunity, for which the protective function is associated with cells and humoral immunity, where the protective function exists in the humor [2]. As for cell-mediated immunity, activated effector T cells can detect peptide antigens originating from various types of pathogens and remove virus-infected cells. Some HIV-1 infection models have been proposed to describe the virus dynamics with cell-mediated immune response (see, for example, [15,19,24,26,34]). While, in humoral immunity, matured B cells migrate from bone marrow to lymph nodes or other lymphatic organs, where they begin to eliminate pathogens [23]. There have been several works on virus models with humoral immune response (see, for example, [4,14,28,29,30]). In [6], Fouts et al. pointed out that a guiding principle for HIV vaccine design has been that cellular and humoral immunities work together to provide the strongest degree of efficacy. In [33], Yan and Wang considered both cell-mediated and humoral immune responses and put forward an HIV-1 infection model including both T cells and B cells, which only involves virus-to-cell infection mechanism.
It is mentioned in [17] that cell-to-cell transmission is a more potent and efficient means of virus propagation than the virus-to-cell infection mechanism. Cell-to-cell spread not only facilitates rapid viral dissemination but also reduce the effectiveness of neutralizing antibodies and viral inhibitors by immune evasion. In [25], Sigal et al. proved that cell-to-cell spread of HIV-1 does reduce the efficacy of antiretroviral therapy, since cell-to-cell transmission can cause multiple infections of target cells, which can in turn reduce the sensitivity to the antiretroviral drugs. In view of this, some mathematical analysis of virus models with cell-to-cell transmission has been performed. For instance, Li and Wang [13] dealt with the global dynamics of an HIV infection model which incorporated direct cell-to-cell transmission. Meanwhile, Lai and Zou [11,12] studied the effect of cell-to-cell transfer of HIV-1 on the virus dynamics.
It was assumed in system (1.1) that the infection process is governed by the mass-action principle, namely, the infection rate per host or per virus is a constant. In [22], Regoes et al. illustrated that the infection rate is often found to be a sigmoidal rather than a linear function of the parasite dose to which it is exposed, and presented a dose-dependent infection rate (v/ID50)κ/[1+(v/ID50)κ], where ID50 denotes the infectious dose at which 50% of the hosts are infected and κ measures the slope of the sigmoidal curve at ID50. In [10], Huang et al. indicated that the bilinear incidence rate is insufficient to describe the infection process in detail and proposed a class of nonlinear incidence. Besides, to place the model on more sound biological grounds, Xu [31] and Elaiw et al. [5] incorporated a saturation incidence β1v(t)/(1+αv(t)) to replace the mass-action infection rate.
Motivated by the works of Fouts et al. [6], Yan and Wang [33], Sigal et al. [25] and Regoes et al. [22], in the present paper, we are concerned with the effects of cell-to-cell transmission, saturation incidence, both cell-mediated and humoral immune responses on the global dynamics of HIV-1 infection model. To this end, we consider the following delay differential equations:
where x(t), y(t), v(t), z(t), w(t) denote the concentration of uninfected cells, infected cells, virus, T cells and B cells at time t, respectively, and other parameters are described in Table 1. A simple schematic diagram for the virus infection corresponding to system (1.2) is shown in Figure 1.
The initial condition for system (1.2) takes the form
where it satisfies that ϕi(θ)≥0, θ∈[−τ,0), ϕi(0)>0, where ϕi∈C([−τ,0],R5+0), i=1,2,3,4,5, the Banach space of continuous functions mapping the interval [−τ,0] into R5+0, where R5+0={(x1,x2,x3,x4,x5):xi≥0,i=1,2,3,4,5}.
It can be proved by the fundamental theory of functional differential equations [7] that system (1.2) has a unique solution (x(t),y(t),v(t),z(t),w(t)) satisfying the initial condition (1.3). It is easy to show that all solutions of system (1.2) with initial condition (1.3) are defined on [0,+∞) and remain positive for all t≥0.
This paper is organized as follows. In Section 2, we calculate the reproduction ratios to system (1.2) and establish the existence of feasible equilibria. In Section 3, the local asymptotic stability of each of feasible equilibria is studied. In Section 4, we investigate the global asymptotic stability of each of feasible equilibria. In Section 5, we present numerical simulations to illustrate the theoretical results and study the effects of cell-to-cell transmission, viral production rate, death rate of infected cells and viral removal rate on viral dynamics, respectively. Besides, we perform a sensitivity analysis of reproduction ratios. The paper ends with a conclusion in Section 6.
2.
Reproduction ratios and feasible equilibria
Clearly, system (1.2) always has an infection-free equilibrium E0(s/d,0,0,0,0). Denote
where R0 is called immunity-inactivated reproduction ratio of system (1.2), which represents the number of newly infected cells produced by one infected cell during its lifespan [3]. It is easy to show that if R0>1, system (1.2) has an immunity-inactivated equilibrium E1(x1,y1,v1,0,0), where
and
in which,
Denote
where
R1 is called cell-mediated immunity-activated reproduction ratio, which denotes the average number of T cells activated by infectious cells when virus infection is successful and humoral immune response has not been established. If R1>1, in addition to E0 and E1, system (1.2) has a cell-mediated immunity-activated equilibrium E2(x2,y2,v2,z2,0), where
and
We further denote
in which
R2 is called humoral immunity-activated reproduction ratio, which denotes the average number of B cells activated by viruses when virus infection is successful and cell-mediated response has not been established. When R2>1, system (1.2) has a humoral immunity-activated equilibrium E3(x3,y3,v3,0,w3), where
where w3 is the positive real root of the following quadratic equation:
Denote
where R3 is called humoral immunity-competed reproduction ratio and represents the average number of B cells activated by viruses under the condition that cell-mediated immune response has been established, while, R4 is called cell-mediated immunity-competed reproduction ratio and represents the average number of T cells activated by infectious cells under the condition that humoral immune response has been established. If R3>1 and R4>1, system (1.2) has an immunity-activated equilibrium E∗(x∗,y∗,v∗,z∗,w∗), where
and
in which cell-mediated and humoral immune responses take effect simultaneously.
3.
Local asymptotic stability
In this section, we are concerned with the local asymptotic stability of each of feasible equilibria to system (1.2) by analyzing the distribution of roots of corresponding characteristic equations.
Theorem 3.1. If R0<1, the infection-free equilibrium E0(s/d,0,0,0,0) of system (1.2) is locally asymptotically stable; if R0>1, E0 is unstable.
Proof. The characteristic equation of system (1.2) at E0 is
It is clear that (3.1) has negative real roots λ=−b1, λ=−b2, λ=−d and other roots are determined by the following equation:
Denote R0=R01+R02, where
Substituting R0 and R02 into (3.2) yields
Now, we claim that all roots of (3.3) have negative real parts. Otherwise, there exists a root λ1=Reλ1+iImλ1 with Reλ1≥0. In this case, if R0<1, it is easy to see that
It follows that
which contradicts to (3.3). Therefore, if R0<1, all roots of (3.1) have negative real parts and E0 is locally asymptotically stable. If R0>1, we denote the left side of (3.2) by G(λ):
where G(0)=au(1−R0)<0 and G(λ)→∞ as λ→∞. Noting that G(λ) is a continuous function in respect to λ, if R0>1, Eq. (3.1) has a positive real root, then E0 is unstable.
Theorem 3.2. If R0>1, R1<1 and R2<1, the immunity-inactivated equilibrium E1(x1,y1,v1,0,0) of system (1.2) is locally asymptotically stable.
Proof. The characteristic equation of system (1.2) at E1 is
Note that
in which
and
where
It is clear that (3.5) has negative real roots λ=c1y1−b1 and λ=c2v1−b2, and other roots are determined by the following equation:
For the sake of contradiction, let λ2=Reλ2+iImλ2 with Reλ2≥0. In this case, it is easy to see that
Direct calculation shows that
which contradicts to (3.8). Thus, if R0>1, R1<1 and R2<1, all roots of Eq. (3.5) have negative real parts, and E1 is locally asymptotically stable.
Theorem 3.3. If R1>1 and R3<1, the cell-mediated immunity-activated equilibrium E2(x2,y2,v2, z2,0) of system (1.2) is locally asymptotically stable.
Proof. The characteristic equation of system (1.2) at E2 is
Note that R3=(c2v2−b2)/b2+1<1. It is clear that (3.9) has negative real root λ=c2v2−b2, and other roots are determined by the following equation:
Similarly, we claim that all roots of (3.10) have negative real parts. Otherwise, there exists a root λ3=Reλ3+iImλ3 with Reλ3≥0. In this case, it is obvious that
It follows that
which contradicts to (3.10). Hence, if R1>1 and R3<1, all roots of Eq. (3.9) have negative real parts, and E2 is locally asymptotically stable.
Theorem 3.4. If R2>1 and R4<1, the humoral immunity-activated equilibrium E3(x3,y3,v3,0,w3) of system (1.2) is locally asymptotically stable.
Proof. The characteristic equation of system (1.2) at E3 is
Note that
It is obvious that (3.11) has negative real root λ=c1y3−b1, and other roots are determined by the following equation:
Similarly, we claim that all roots of (3.13) have negative real parts. If not, there exists a root λ4=Reλ4+iImλ4 with Reλ4≥0. In this case, it is easy to see that
Direct calculation yields
which contradicts to (3.13). Therefore, if R2>1 and R4<1, all roots of Eq. (3.11) have negative real parts, and E3 is locally asymptotically stable.
Theorem 3.5. If R3>1 and R4>1, the immunity-activated equilibrium E∗(x∗,y∗,v∗,z∗,w∗) of system (1.2) is locally asymptotically stable.
Proof. The characteristic equation of system (1.2) at E∗ is
Similarly, we claim that all roots of (3.14) have negative real parts. Otherwise, there exists a root λ5=Reλ5+iImλ5 with Reλ5≥0. In this case, it is clear that
Direct calculation shows that
which contradicts to (3.14). Therefore, if R3>1 and R4>1, all roots of Eq. (3.14) have negative real parts, and E∗ is locally asymptotically stable.
4.
Global asymptotic stability
In this section, we study the global stability of each of feasible equilibria to system (1.2) by suitable Lyapunov functionals and LaSalle's invariance principle. First, we discuss the boundedness of solutions.
Lemma 4.1. Any solution of system (1.2) with initial condition (1.3) is bounded for all t≥0.
Proof. Let (x(t),y(t),v(t),z(t),w(t)) be any solution of system (1.2) with initial condition (1.3). Denote
Calculating the derivatives of B1(t) and B2(t) in respect to t yields
and
Therefore, the following set is positively invariant set for system (1.2) :
It is easy to see that x(t), y(t), v(t), z(t) and w(t) are bounded in the invariant set {\bf\Omega}.
Next, define a function g(x) = x-1-\rm{ln}x, which will be used in Lyapunov functionals of this section.
Theorem 4.2. If {{\mathcal R}_{0}} < 1, the infection-free equilibrium {E_0}(s/d, 0, 0, 0, 0) of system (1.2) is globally asymptotically stable.
Proof. Let (x(t), y(t), v(t), z(t), w(t)) be any positive solution of system (1.2) with initial condition (1.3). Define
where x_0 = s/d, and constants l_{11}, l_{12}, l_{13}, l_{14} will be determined later. Calculating the derivative of V_1(t) along positive solutions of system (1.2) yields
Direct calculation yields
Choose
Thus, we obtain from (4.1) and (4.2) that
It follows that \dot V_1(t) \le 0 with equality holding if and only if x = {x_0}, y = v = z = w = 0. It can be verified that {M_0} = \{ {E_0}\} \subset {\bf\Omega} is the largest invariant subset of \{(x(t), y(t), v(t), z(t), w(t)):\dot V_1(t) = 0\}. Noting that if {{\mathcal R}_{0}} < 1, E_0 is locally asymptotically stable, thus we obtain the global asymptotic stability of E_0 from LaSalle's invariance principle.
Theorem 4.3. If {{\mathcal R}_{0}} > 1, {{\mathcal R}_{1}} < 1 and {{\mathcal R}_{2}} < 1, the immunity-inactivated equilibrium {E_1}({x_1}, {y_1}, {v_1}, 0, 0) of system (1.2) is globally asymptotically stable.
Proof. Let (x(t), y(t), v(t), z(t), w(t)) be any positive solution of system (1.2) with initial condition (1.3). Define
where constants l_{21}, l_{22}, l_{23} and l_{24} will be determined later. Calculating the derivative of V_2(t) along positive solutions of system (1.2), we have
Substituting s = d{x_1} + {{{\beta _1}{x_1}{v_1}}}/({1 + \alpha {v_1}}) + {\beta _2}{x_1}{y_1}, {{{\beta _1}{e^{ - m\tau }}{x_1}{v_1}}}/({1 + \alpha {v_1}}) + {\beta _2}{e^{ - m\tau }}{x_1}{y_1} = a{y_1}, k{y_1} = u{v_1} into (4.3) yields
Choose
From (4.4) and (4.5), we obtain that
From (3.6) and (3.7), we derive that {c_1}{y_1} < {b_1} and {c_2}{v_1} < {b_2}. Since function g(x) = x - 1 - \ln x is always positive except for x = 1 where g(x) = 0. It follows from (4.6) that \dot V_2(t) \le 0 with equality holding if and only if x = {x_1}, y = {y_1}, v = {v_1}, z = w = 0. It can be proved that {M_1} = \{{E_1}\} \subset {\bf\Omega} is the largest invariant subset of \{ (x(t), y(t), v(t), z(t), w(t)):\dot V_2(t) = 0\}. Noting that if {{\mathcal R}_{0}} > 1, {{\mathcal R}_{1}} < 1 and {{\mathcal R}_{2}} < 1, E_1 is locally asymptotically stable, hence we obtain the global asymptotic stability of E_1 from LaSalle's invariance principle.
Theorem 4.4. If {{\mathcal R}_{1}} > 1 and {{\mathcal R}_{3}} < 1, the cell-mediated immunity-activated equilibrium {E_2}({x_2}, {y_2}, {v_2}, {z_2}, 0) of system (1.2) is globally asymptotically stable.
Proof. Let (x(t), y(t), v(t), z(t), w(t)) be any positive solution of system (1.2) with initial condition (1.3). Define
where constants l_{31}, l_{32}, l_{33} and l_{34} will be determined later. Calculating the derivative of V_3(t) along positive solutions of system (1.2), we obtain that
Substituting s = d{x_2} + {\beta _1}{x_2}{v_2}/({1 + \alpha {v_2}}) + {\beta _2}{x_2}{y_2}, {\beta _1}{e^{ - m\tau }}{x_2}{v_2}/({1 + \alpha {v_2}}) + {\beta _2}{e^{ - m\tau }}{x_2}{y_2} = a{y_2} + {p_1}{y_2}{z_2}, k{y_2} = u{v_2}, {c_1}{y_2}{z_2} = {b_1}{z_2} into (4.7) yields
Choose
From (4.8) and (4.9), we obtain that
Noting that {\mathcal{R}_3} = \left( {{c_2}{v_2} - {b_2}} \right)/{b_2} + 1 < 1, it is clear that {c_2}{v_2} < {b_2}. It follows from (4.10) that \dot V_3(t) \le 0 with equality holding if and only if x = {x_2}, y = {y_2}, v = {v_2}, z = {z_2}, w = 0. It can be verified that {M_3} = \{ {E_2}\} \subset {\bf\Omega} is the largest invariant subset of \{ (x(t), y(t), v(t), z(t), w(t)):\dot V_3(t) = 0\}. Noting that if {{\mathcal R}_{1}} > 1 and {{\mathcal R}_{3}} < 1, E_2 is locally asymptotically stable, thus we obtain the global asymptotic stability of E_2 from LaSalle's invariance principle.
Theorem 4.5. If {{\mathcal R}_{2}} > 1 and {{\mathcal R}_{4}} < 1, the humoral immunity-activated equilibrium {E_3}({x_3}, {y_3}, {v_3}, 0, {w_3}) of system (1.2) is globally asymptotically stable.
Proof. Let (x(t), y(t), v(t), z(t), w(t)) be any positive solution of system (1.2) with initial condition (1.3). Define
where constants l_{41}, l_{42}, l_{43} and l_{44} will be determined later. Calculating the derivative of V_4(t) along positive solutions of system (1.2), we obtain that
Substituting s = d{x_3} + {{\beta _1}{x_3}{v_3}}/({1 + \alpha {v_3}}) + {\beta _2}{x_3}{y_3}, {{\beta _1}{e^{ - m\tau }}{x_3}{v_3}}/({1 + \alpha {v_3}}) + {\beta _2}{e^{ - m\tau }}{x_3}{y_3} = a{y_3}, k{y_3} = u{v_3} + {p_2}{v_3}{w_3}, {c_2}{v_3}{w_3} = {b_2}{w_3} into (4.11) yields
Choose
It follows from (4.12) and (4.13) that
According to (3.12), it is easy to see that {c_1}{y_3} < {b_1}. It follows from (4.14) that \dot V_4(t) \le 0 with equality holding if and only if x = {x_3}, y = {y_3}, v = {v_3}, z = 0, w = {w_3}. It can be proved that {M_4} = \{ {E_3}\} \subset {\bf\Omega} is the largest invariant subset of \{ (x(t), y(t), v(t), z(t), w(t)):\dot V_4(t) = 0\}. Noting that if {{\mathcal R}_{2}} > 1 and {{\mathcal R}_{4}} < 1, E_3 is locally asymptotically stable, hence we obtain the global asymptotic stability of E_3 from LaSalle's invariance principle.
Theorem 4.6. If {{\mathcal R}_{3}} > 1 and {{\mathcal R}_{4}} > 1, the immunity-activated equilibrium E^*({x^*}, {y^*}, {v^*}, {z^*}, {w^*}) of system (1.2) is globally asymptotically stable.
Proof. Let (x(t), y(t), v(t), z(t), w(t)) be any positive solution of system (1.2) with initial condition (1.3). Define
where constants l_{51}, l_{52}, l_{53} and l_{54} will be determined later. Calculating the derivative of V_5(t) along positive solutions of system (1.2), we have
Substituting s = d{x^*} + {{\beta _1}{x^*}{v^*}}/({1 + \alpha {v^*}}) + {\beta _2}{x^*}{y^*} , {{\beta _1}{e^{ - m\tau }}{x^*}{v^*}}/({1 + \alpha {v^*}}) + {\beta _2}{e^{ - m\tau }}{x^*}{y^*} = a{y^*} + {p_1}{y^*}{z^*}, k{y^*} = u{v^*} + {p_2}{v^*}{w^*}, {c_1}{y^*}{z^*} = {b_1}{z^*}, {c_2}{v^*}{w^*} = {b_2}{w^*} into (4.15) yields
Choose
From (4.16) and (4.17), we can obtain that
It follows from (4.18) that \dot V_5(t) \le 0 with equality holding if and only if x = {x^*}, y = {y^*}, v = {v^*}, z = {z^*}, w = {w^*}. It can be verified that {M_5} = \{ {E^*}\} \subset {\bf\Omega} is the largest invariant subset of \{ (x(t), y(t), v(t), z(t), w(t)):\dot V_5(t) = 0\} . Noting that if {{\mathcal R}_{3}} > 1 and {{\mathcal R}_{4}} > 1, E^* is locally asymptotically stable, we therefore obtain the global asymptotic stability of E^* from LaSalle's invariance principle.
5.
Numerical simulations
In this section, we want to illustrate the theoretical results for system (1.2) by numerical simulations. Besides, we investigate the effects of cell-to-cell transmission, viral production rate, death rate of infected cells and viral remove rate on viral dynamics. Furthermore, sensitivity analysis is used to quantify the range of variables in reproduction ratios and identify the key factors giving rise to reproduction ratios, which can be helpful to design treatment strategies and provide insights on evaluating effective antiviral drug therapies.
Following [18,26,27,32], we choose appropriate parameters and simulate each of feasible equilibria, respectively.
Case 1: Corresponding parameters are listed in Case 1 of Table 2. The immunity-inactivated reproduction ratio is calculated as {\mathcal R}_{0} = 0.5640 < 1. From Theorem 3.1, we derive that infection-free equilibrium E_0 is locally asymptotically stable, which is illustrated in Figure 2.
Case 2: Corresponding parameters are listed in Case 2 of Table 2. By simple computing, we obtain that {\mathcal R}_{0} = 1.0217 > 1, {\mathcal R}_{1} = 0.9635 < 1 and {\mathcal R}_{2} = 0.9625 < 1. From Theorem 3.2, we derive that immunity-inactivated equilibrium E_1 is locally asymptotically stable, which is in accord with Figure 3.
Case 3: Corresponding parameters are listed in Case 3 of Table 2. Similarly, we obtain that {\mathcal R}_{1} = 5.1140 > 1 and {\mathcal R}_{3} = 0.2459 < 1. From Theorem 3.3, we derive that cell-mediated immunity-activated equilibrium E_2 is locally asymptotically stable, which is illustrated in Figure 4.
Case 4: Corresponding parameters are listed in Case 4 of Table 2. Likewise, we obtain that {\mathcal R}_{2} = 14.1830 > 1 and {\mathcal R}_{4} = 0.2108 < 1. From Theorem 3.4, we derive that humoral immunity-activated equilibrium E_3 is locally asymptotically stable, which is in keeping with in Figure 5.
Case 5: Corresponding parameters are listed in Case 5 of Table 2. By calculation, we obtain that {\mathcal R}_{3} = 24.5895 > 1 and {\mathcal R}_{4} = 3.7395 > 1. From Theorem 3.5, we derive that immunity-activated equilibrium E^* is locally asymptotically stable, which is consistent with observation in Figure 6.
5.1. Effect of cell-to-cell transmission
In order to investigate the effect of cell-to-cell transmission, we carry out some numerical simulations to show the contribution of cell-to-cell transmission during the whole infection. First, we let \beta_2 as zero to compare the virus infection without cell-to-cell transmission with the infection which has both transmissions. Figure 7 (\beta_2 = 0, ~\beta_2 = 4.7 \times {10^{ - 7}}) shows that cell-to-cell transmission is of benefit to HIV-1 transmission and the time to reach the peak level of virus is shorter. Then, we increase \beta_2 to study the change of the peak level of infected cells and virus, and the time to reach the peak level. Figure 7 (\beta_2 = 4.7 \times {10^{ - 7}}, ~\beta_2 = 4.7 \times {10^{ - 6}}, ~\beta_2 = 4.7 \times {10^{ - 5}}) shows that infected cells and virus reach the peak level more quickly as \beta_2 increases, meanwhile, the peak level become larger as \beta_2 increases, too. Therefore, cell-to-cell transmission plays an important role in the whole virus infection.
5.2. Effect of viral production rate
Viral production rate also has great influence on the dynamical behavior of the model. We set the viral production rate k as 11.349, 34.047, 68.094. In Figure 8, we observe that the time to reach the peak level of infected cells and virus becomes shorter as k increases, which means that larger viral production rate contributes to the viral infection. Meanwhile, T cells and B cells increase more quickly as k increases, especially, larger viral production rate can stimulate more B cells. Hence, the peak level of infected cells and virus decreases as k increases. In terms of the prevention and treatment of HIV, it implies that antiretroviral therapies, such as, reverse transcriptase inhibitors and protease inhibitors are effective methods to decrease k, namely, to inhibit virus reproduction.
5.3. Effect of death rate of infected cells and viral remove rate
Usually, the death rate of infected cells is larger than the death rate of uninfected cells due to the fact that HIV infection can kill more host cells. We present some numerical simulations to study the effect of death rate of infected cells on the dynamical behavior of the model. We can observe from Figure 9 that, infected cells and virus increase more slowly as a increases, which indicates that increasing the death rate of infected cells can slow down the virus infection. Humoral immunity is mainly used to clear virus in our humor, so the viral remove rate has an effect on viral infection as well. Figure 10 implies that as the viral remove rate increases, infected cells and virus increase more slowly, which has the similar results to a. In the clinic treatment of HIV, promoting body's immune capacity contributes to increasing the death rate of infected cells and viral remove rate.
5.4. Sensitivity analysis
Sensitivity analysis is used to quantify the range of variables in reproduction ratios and to identify the key factors giving rise to reproduction ratios. In [9,16], Latin hypercube sampling (LHS) is found to be a more efficient statistical sampling technique which has been introduced to the field of disease modelling.
LHS allows an un-biased estimate of the reproduction ratios, with the advantage that it requires fewer samples than simple random sampling to achieve the same accuracy. For each parameter of reproduction ratios, a probability density function is defined based on experimental data and stratified into N equiprobable serial intervals. A single value is then selected randomly from every interval and this is done for every parameter. In this way, an parameter value from each sampling interval is used only once in the analysis but the entire parameter space is equitably sampled in an efficient manner. Distributions of the reproduction ratios can then be derived directly by running the model N times with each of the sampled parameter sets.
In terms of the prevention and treatment of HIV, we pay more attention to antiretroviral therapies, which is directly related to viral production rate and viral remove rate. Figure 11 shows the scatter plots of {\mathcal R}_{0}, {\mathcal R}_{1} and {\mathcal R}_{2} in respect to k and u, which implies that k is a positively correlative variable with {\mathcal R}_{0} and {\mathcal R}_{2}, while u is a negatively correlative variable. As for {\mathcal R}_{1}, we find that the correlation between k and {\mathcal R}_{1} or u and {\mathcal R}_{1} is not clear.
In [16], Marino et al. mentioned that Partial Rank Correlation Coefficients (PRCCs) provide a measure of the strength of a linear association between the parameters and the reproduction ratios. Furthermore, PRCCs are useful for identifying the most important parameters. The positive or negative of PRCCs respectively denote the positive or negative correlation with the reproduction ratios, and the sizes of PRCCs measure the strength of the correlation. First, we investigate the immunity-inactivated reproduction ratio {\mathcal R}_{0}, as we can see in Figure 12, {\beta}_1 and k are positively correlative variables with {\mathcal R}_{0} while others are negatively correlative variables. In order of correlative strength, it goes: {\beta}_1, d, a, k, u and {\beta}_2. Similarly, we obtain the PRCCs of {\mathcal R}_{1} and {\mathcal R}_{2} (see Figure 13). Specially, we observe that k and u is weakly correlative in respect to {\mathcal R}_{1}, which accords with the scatter plots of {\mathcal R}_{1}.
6.
Conclusion
In this paper, we have considered an HIV-1 infection model to describe cell-to-cell transmission, saturation incidence, both cell-mediated and humoral immune responses. By a complete mathematical analysis, the threshold dynamics of the model is established and it can be fully determined by reproduction ratios. If {{\mathcal R}_{0}} < 1, the infection-free equilibrium E_0 is locally and globally asymptotically stable; if {{\mathcal R}_{0}} > 1, {{\mathcal R}_{1}} < 1 and {{\mathcal R}_{2}} < 1, the immunity-inactivated equilibrium E_1 is locally and globally asymptotically stable; if {{\mathcal R}_{1}} > 1 and {{\mathcal R}_{3}} < 1, the cell-mediated immunity-activated equilibrium E_2 is locally and globally asymptotically stable; if {{\mathcal R}_{2}} > 1 and {{\mathcal R}_{4}} < 1, the humoral immunity-activated equilibrium E_3 is locally and globally asymptotically stable; if {{\mathcal R}_{3}} > 1 and {{\mathcal R}_{4}} > 1, the immunity-activated equilibrium E^* is locally and globally asymptotically stable.
Numerical simulations vividly illustrate our main results of stability analysis for system (1.2). Besides, we have investigated the effects of cell-to-cell transmission, viral production rate, death rate of infected cells and viral remove rate on viral dynamics. It is worth mentioning that as the infection rate of cell-to-cell transmission {\beta}_2 increases, virus load rises quickly and largely, which implies that cell-to-cell transmission facilitates virus spread. Furthermore, we perform a sensitivity analysis of reproduction ratios, which implies some useful consequences on the prevention and treatment of HIV-1.
It is easy to see that immunity-inactivated reproduction ratios {{\mathcal R}_{0}} is the sum of the reproduction ratio determined by virus-to-cell infection, {{\mathcal R}_{01}}, and that determined by cell-to-cell transmission, {{\mathcal R}_{02}}. In other words, immunity-inactivated reproduction ratio {{\mathcal R}_{0}} becomes larger when the model includes cell-to-cell transmission. Meanwhile, we find that our research includes some existing work. When \beta_2 = 0 and \alpha = 0, our virus model is similar to the model in [33] and the immunity-inactivated reproduction ratio {{\mathcal R}_{0}} reduces to {{\mathcal R}_{01}}. Based on the model in [33], Wang et al. [27] consider nonlinear incidence and continuous intracellular delay, which is similar to our model with \beta_2 = 0 only. Besides, when we only consider one of the immune responses, our model reduces to the models in [14] and [26].
Acknowledgments
This work was supported by the National Natural Science Foundation of China (Nos.11871316, 11801340, 11371368, 11331009), Shanxi Scientific Data Sharing Platform for Animal Diseases (201605D121014), and the Science and Technology Innovation Team of Shanxi Province (201605D131044-06).
Conflict of interest
The authors declare there is no conflict of interest.