Open Access

Effects of HIV infection on CD4+ T-cell population based on a fractional-order model

Advances in Difference Equations20172017:92

https://doi.org/10.1186/s13662-017-1143-0

Received: 30 December 2016

Accepted: 17 March 2017

Published: 29 March 2017

Abstract

In this paper, we study the HIV infection model based on fractional derivative with particular focus on the degree of T-cell depletion that can be caused by viral cytopathicity. The arbitrary order of the fractional derivatives gives an additional degree of freedom to fit more realistic levels of CD4+ cell depletion seen in many AIDS patients. We propose an implicit numerical scheme for the fractional-order HIV model using a finite difference approximation of the Caputo derivative. The fractional system has two equilibrium points, namely the uninfected equilibrium point and the infected equilibrium point. We investigate the stability of both equilibrium points. Further we examine the dynamical behavior of the system by finding a bifurcation point based on the viral death rate and the number of new virions produced by infected CD4+ T-cells to investigate the influence of the fractional derivative on the HIV dynamics. Finally numerical simulations are carried out to illustrate the analytical results.

Keywords

fractional derivative HIV model finite difference scheme dynamical analysis

1 Introduction

According to WHO there were approximately 35 million people at the end of 2013 living with HIV with 2.1 million people becoming newly infected in 2013 globally with HIV. HIV belongs to the family of lentiviruses, which means being acting slowly. Lentiviruses cause diseases that progress over a long period disturbing the immune system in humans. HIV produces virus particles by converting viral RNA into DNA in the cell and then making many RNA copies. The transformation is completed with an enzyme named reverse transcriptase. The change from RNA to DNA and back to RNA is substantial and makes fighting against HIV challenging. There is a chance of the virus mutating and there being errors each time when it happens. These copies or virus particles destroy the cell after formation and infecting other cells. Although HIV attacks many different cells, it inflicts the most disorder on the CD4+ T-cells, the main target of CD4+ T-cells is to form the body’s overall immune response to external infections. HIV provides the basis to grow acquired immune deficiency syndrome (AIDS). For a person infected from HIV it can take 10-15 years to develop AIDS. On the medical frontier there have been many advances, but still there is no effective cure or vaccine available for HIV. Since the early 1980s, many mathematical models have been developed to better understand the interaction of HIV and the human immune system for the purpose of testing treatment strategies [18]. Silva and Torres [9] proposed a population model for TB-HIV/AIDS coinfection transmission dynamics, they applied optimal control theory to TB-HIV/AIDS model to study optimal strategies for the minimization of the number of individuals with TB and AIDS. Recently Rocha et al. [10] investigated an HIV optimal control problem with delays in both state and control variables, where the objective is to find the optimal treatment strategy that maximizes the number of CD4+ T-cells and CTL immune response cells, keeping the drug strength low. Luo et al. [11] studied bifurcations and stability of an HIV model that incorporates the immune responses. An HIV model including latent infection and antiretroviral therapy is examined by Wang et al. [12]. They obtained the global asymptotic stability of the uninfected equilibrium by constructing a Lyapunov function. We refer the reader to the excellent review paper on mathematical modeling of HIV on different phenomena of [13]. Quantitative analysis of HIV-1 replication in vivo has made significant contributions to understanding of AIDS pathogenesis and antiretroviral treatment ([4, 14]). For a detailed mathematical analysis on such models, we refer to [15] and [5].

Fractional-order dynamics has recently been a focus of interest because of its appearance in physics, biology and engineering applications. There is a rich literature on the theoretical research of the fractional differential equations. The book of Podlubny [16] provides an overview to the basic theory of fractional differential equations. The monograph by Samko, Kilbas, and Marichev [17] contains remarkably comprehensive theory on the topic of fractional differential equations. Recently, much work has done on modeling the HIV infection with fractional-order derivatives [1823] and [24]. A fractional-order model retains its memory, which is one of the main characteristic of the fractional-order derivative, while the features of immune response include memory. In [22] a fractional-order time-delay model is investigated which include three types of cells, namely healthy CD4+ T-cells, infected CD4+ T-cells and free HIV virus particles. In [19] the authors introduced fractional orders to the model of HIV-1 whose components are plasma densities of uninfected CD4+ T-cells, they use the generalized Euler method (GEM) and homotopy analysis method (HAM) to approximate the solution. Approximate solutions of fractional-order differential system for modeling human T-cell lymphotropic virus I (HTLV-I) infection of CD4+ T-cells is investigated in [25] using a multi-step generalized differential transform method. Bernstein operational matrices is applied to fractional order HIV model to approximate the solution [26]. Homotopy decomposition method is given in [27] to solve a system of fractional nonlinear differential equations that arise in the model for HIV infection of CD4+ T-cells. Recently, Huo et al. [28] studied a fractional-order HIV model to assess the impact of vaccines in a homosexual community. They have shown that the vaccinated reproduction below unity is not a threshold of HIV eradication when effectiveness and the dosage of the vaccines are low. A new critical threshold is derived in order to eradicate the HIV. Recently Pinto et al. [29] studied a fractional-order model for HIV infection that includes latently infected cells, macrophages and CTLs. In this paper we propose a finite difference implicit scheme to solve fractional-order HIV model containing four types of populations: uninfected CD4+ T-cells, latently infected, actively infected CD4+ T-cells and HIV virus particles. Further we analyze the dynamics of fractional-order HIV by investigating bifurcation points. The benefit of fractional-order systems is that they permit greater degrees of freedom in the model.

This paper is organized as follows: Section 2 includes generalized HIV model. In Section 3, we introduce implicit scheme for solving the fractional-order HIV-1 infection model. Dynamical behavior of generalized HIV model is investigated in Section 4. In Section 5, we present numerical simulations of the model and discuss the biological significance of the results. A conclusion is given in the last section.

2 Generalized HIV model

The Riemann-Liouville fractional integral \(I^{\alpha}u\) of order \(\alpha >0\) of \(u:\mathbb{R}_{+}\to\mathbb{R}\) is defined by
$$ I^{\alpha}u(t)=\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha-1}u(s)\,ds, $$
provided the expression on right hand side is defined. Here Γ denotes the Gamma function [30].
The Caputo fractional derivative \(D^{\alpha}u\) of order α of a continuous function \(u:\mathbb{R}_{+}\to\mathbb{R}\) is defined by
$$ D^{\alpha}u(t)=\left \{ \textstyle\begin{array}{l@{\quad}l} \frac{1}{\Gamma(m-\alpha)}\int_{0}^{t}(t-s)^{m-\alpha-1}u^{(m)}(s)\,ds, & m-1\leq\alpha< m, \\ \frac{d^{m}u(t)}{dt^{m}}, & m=\alpha. \end{array}\displaystyle \right . $$
In particular, when \(0 <\alpha< 1\), we have
$$ D^{\alpha}u(t)=\frac{1}{\Gamma(1-\alpha)} \int_{0}^{t}(t-s)^{-\alpha}u'(s)\,ds. $$
We generalize the integer-order model of target cells limited proposed by Perelson et al. [31] to fractional order \(0<\alpha < 1\), which involves various types of cells: Let T, \(T_{L}\) and \(T_{A}\) denote the population of uninfected CD4+ T-cells, latently infected and actively infected CD4+ T-cells, respectively. The population of free virus particles is denoted by V. Interaction between these cells is given by the following system:
$$ \left \{ \textstyle\begin{array}{l@{\quad}l} D^{\alpha}T=s^{\alpha}-\mu_{T}^{\alpha}T+r^{\alpha}T(1-\frac {T+T_{L}+T_{A}}{T_{\mathrm{max}}})-k_{1}^{\alpha}TV, & t\geq0, \\ D^{\alpha} T_{L}=k_{1}^{\alpha} TV-\mu_{T}^{\alpha} T_{L}-k_{2}^{\alpha }T_{L}, & t\geq0, \\ D^{\alpha} T_{A}=k_{2}^{\alpha} T_{L}-\mu_{b}^{\alpha} T_{A}, & t\geq 0, \\ D^{\alpha} V=N \mu_{b}^{\alpha} T_{A}-k_{1}^{\alpha}V T-\mu_{V}^{\alpha }V, & t\geq0. \end{array}\displaystyle \right . $$
(1)

Note that the units of the fractional differential equation are different, that is, fractional differential equations are expressed with respect to an intrinsic time variable that depends on α [32, 33] instead of the physical time. Thus a reformed parameter has been presented in model (1) to interpret the fractional order. Notice that when \(\alpha\to1\) the fractional HIV model (1) reduces to the classical HIV model.

The first two equations deal with the effects of HIV. Here \(s^{\alpha }\), corresponds to the s, the source term, from the classical HIV model, \(r^{\alpha}\) corresponding to r represents the rate of growth for the CD4+ cell population and \(\mu_{T}^{\alpha}\) is the analogon to the \(\mu_{T}\), the death rate of uninfected CD4+ T-cells. \(k_{1}^{\alpha}\) corresponding to \(k_{1}\) represents the rate at which CD4+ T-cell become infected by virus modeled by mass-action type of term. The dynamical behavior of actively infected T-cells is given in the third equation with \(k_{2}^{\alpha}\) corresponding to the \(k_{2}\) rate at which latently infected cells convert to being actively infected and \(\mu_{b}^{\alpha}\) corresponding to \(\mu_{b}\) represents the death rate per cell from the classical HIV model. The last equation models the free infectious virus population. Assume that an actively infected CD4+ T-cell produces N virus particles. The virus production rate is N times \(\mu_{b}^{\alpha}\). Free virus is expired at a rate \(k_{1}^{\alpha}VT\) by binding to uninfected CD4+ T-cells. Viral death from the body is represented by \(-\mu_{v}^{\alpha}V\).

3 Construction of implicit numerical scheme

In this section, we introduce an implicit numerical scheme using a finite difference approximation of the Caputo derivative. Numerous schemes have been developed for the numerical solution of the fractional differential equations [34]. A class of the fractional multi-step method is proposed by Lubich [35] and Galeone and Garrappa [36], the fractional Adams method is proposed by Diethelm et al. [37] and Odibat and Momani [3] and Grünwald-Letnikov approximation based on the Grünwald-Letnikov definition of the fractional derivative is addressed in [38] and discussed the analysis of convergence and stability. Baker [39] introduced some numerical methods for the Volterra integral and integro-differential equations.

In this paper, we implement the L1-scheme to approximate the Caputo fractional derivative, which was independently developed and analyzed in [40] and [41]. The L1-scheme is based on a piecewise linear approximation to the fractional derivative. We are in favor of the L1-scheme, because this scheme is derived easily and the coefficients of this scheme have good properties e.g. the representation of the coefficients is simple. The L1-scheme has been extensively used in practice and currently it is one of the most efficient numerical methods for solving the time fractional differential equations due to its ease of implementation.

To discretize \(D^{\alpha}f(t)\) based on the L1-scheme, first we defined the temporal size τ and \(t_{n}\) means . Therefore we discretize the Caputo derivative by a finite difference method,
$$\begin{aligned} D^{\alpha}f(t_{n}) =&\frac{1}{\Gamma(1-\alpha)} \int_{0}^{t_{n}}(t_{n}-s)^{-\alpha} \frac{df(s)}{ds}\,ds \\ =&\frac{1}{\Gamma(1-\alpha)} \sum_{j=0}^{n-1} \int_{t_{j}}^{t_{j+1}}(t_{n}-s)^{-\alpha} \frac{f(t_{j+1})-f(t_{j})}{\tau}\,ds+R_{t}^{n} \\ =&\frac{\tau^{-\alpha}}{\Gamma(2-\alpha)} \sum_{j=0}^{n}b_{j}^{n}f(t_{j})+R_{t}^{n}, \end{aligned}$$
(2)
where
$$b_{j}^{n}=\left \{ \textstyle\begin{array}{l@{\quad}l} - (n^{1-\alpha}-(n-1)^{1-\alpha} ), & j=0, \\ (n-j+1)^{1-\alpha}-2(n-j)^{1-\alpha}+(n-j-1)^{1-\alpha}, & j=1,2,\ldots ,n-1, \\ 1, & j=n. \end{array}\displaystyle \right . $$
Let
$$ \nabla_{t}^{\alpha}f(t_{n})=\frac{\tau^{-\alpha}}{\Gamma(2-\alpha)}\sum _{j=0}^{n}b_{j}^{n}f(t_{j}),\quad n=1,2,\ldots,N, $$
(3)
then by [41], we have, for \(n=1,2,\ldots,N\),
$$ \bigl\vert R_{t}^{n} \bigr\vert = \bigl\vert D^{\alpha}f(t_{n})-\nabla_{t}^{\alpha}f(t_{n}) \bigr\vert \leq C \max_{0\leq t\leq T} \biggl\vert \frac {d^{2}f(t)}{d t^{2}} \biggr\vert \tau^{2-\alpha}, $$
(4)
for some \(C>0\). The implicit numerical scheme for fractional-order system (1) with finite difference approximation of the Caputo derivative is
$$ \textstyle\begin{cases} \nabla_{t}^{\alpha}T^{n}=s^{\alpha}-\mu_{T}^{\alpha} T^{n}+r^{\alpha}T^{n} (1-\frac{T^{n}+T_{L}^{n}+T_{A}^{n}}{T_{\mathrm{max}}} )-k_{1}^{\alpha}T^{n}V^{n},\\ \nabla_{t}^{\alpha}T_{L}^{n}=k_{1}T^{n}V^{n}-\mu_{T}^{\alpha} T_{L}^{n}-k_{2}^{\alpha}T_{L}^{n},\\ \nabla_{t}^{\alpha}T_{A}^{n}=k_{2}^{\alpha}T_{L}^{n}-\mu_{b}^{\alpha}T_{A}^{n},\\ \nabla_{t}^{\alpha}V^{n}=N\mu_{b}^{\alpha}T_{A}^{n}-k_{1}^{\alpha}V^{n}T^{n}-\mu _{V}^{\alpha} V^{n}, \end{cases} $$
(5)
that is,
$$\textstyle\begin{cases} T^{n}+ \sum_{j=0}^{n-1}b_{j}^{n}T^{j}-\tau^{\alpha}\Gamma(2-\alpha)(s^{\alpha}-\mu_{T}^{\alpha} T^{n}+r^{\alpha}T^{n} (1-\frac {T^{n}+T_{L}^{n}+T_{A}^{n}}{T_{\mathrm{max}}} )-k_{1}^{\alpha}T^{n}V^{n} )=0,\\ T_{L}^{n}+ \sum_{j=0}^{n-1}b_{j}^{n}T_{L}^{j}-\tau^{\alpha}\Gamma(2-\alpha )(k_{1}^{\alpha}T^{n}V^{n}-\mu_{T}^{\alpha} T_{L}^{n}-k_{2}^{\alpha }T_{L}^{n})=0,\\ T_{A}^{n}+ \sum_{j=0}^{n-1}b_{j}^{n}T_{A}^{j}-\tau^{\alpha}\Gamma(2-\alpha )(k_{2}^{\alpha}T_{L}^{n}-\mu_{b}^{\alpha}T_{A}^{n})=0,\\ V^{n}+ \sum_{j=0}^{n-1}b_{j}^{n}V^{j}-\tau^{\alpha}\Gamma(2-\alpha)(N\mu _{b}^{\alpha}T_{A}^{n}-k_{1}^{\alpha}V^{n}T^{n}-\mu_{V}^{\alpha} V^{n})=0. \end{cases} $$
In order to solve the above nonlinear equations, we choose the Newton iteration method
$$ x^{k+1}=x^{k}-J^{-1} \bigl(x^{k} \bigr)f \bigl(x^{k} \bigr),\quad k=0,1,2,\ldots, $$
(6)
the initial values are given by \(x^{0}=(T^{0},T_{L}^{0},T_{A}^{0},V^{0})\). Furthermore, to ensure the convergence of the Newton iteration method and avoid the Jacobian matrix \(J(x^{k})\) to be nonsingular, we improve the above method by the Algorithm 1.
Algorithm 1

A modified Jacobi matrix on Newton iteration method

1:

Given \(N_{\mathrm{iter}}\), ε, let Nd = 1

2:

if \(k>N_{\mathrm{iter}}\) and \(\|f(x^{k+1})\|>\|f(x^{k})\|\)

3:

\(Nd: =\frac{1}{2}Nd\)

4:

end if

5:

if \(\operatorname{det}(J(x^{k}))<\varepsilon\), %ε is a sufficiently small positive number

6:

\(J(x^{k}): =Nd\cdot(J(x^{k})+I)\), %I is an identity matrix

7:

else

8:

\(J(x^{k}): =Nd\cdot J(x^{k})\)

9:

end if

4 Dynamical behavior of generalized HIV model

In this section we will analyze the dynamics of the generalized HIV model and examine the effect of the fractional order on the HIV dynamics. For this we find the equilibrium points of (1) by solving the following system:
$$\left \{ \textstyle\begin{array}{l} s^{\alpha}-\mu_{T}^{\alpha}T+r^{\alpha}T(1-\frac {T+T_{L}+T_{A}}{T_{\mathrm{max}}})-k_{1}^{\alpha}TV=0, \\ k_{1}^{\alpha} TV-\mu_{T}^{\alpha} T_{L}-k_{2}^{\alpha}T_{L}=0, \\ k_{2}^{\alpha} T_{L}-\mu_{b}^{\alpha} T_{A}=0, \\ N \mu_{b}^{\alpha} T_{A}-k_{1}^{\alpha}V T-\mu_{V}^{\alpha}V=0. \end{array}\displaystyle \right . $$
We find that system (1) has two equilibrium points: the uninfected equilibrium points \(E_{0}^{\alpha}=(T_{0},0,0,0)\) and the (positive) infected equilibrium points \(E_{1}^{\alpha}=(\overline {T},\overline{T_{L}},\overline{T_{A}},\overline{V})\) where
$$\begin{aligned}& T_{0}=\frac{p+\sqrt{p^{2}+4s^{\alpha}\gamma}}{2\gamma}, \qquad\overline {T}=\frac{\mu_{V}^{\alpha}k_{3}}{k_{1}^{\alpha}(Nk_{2}^{\alpha}-k_{3})}, \\ & \overline{T_{L}}=\frac{\mu_{V}^{\alpha} \overline{V}}{Nk_{2}^{\alpha }-k_{3}}, \qquad\overline{T_{A}}= \frac{k_{2}^{\alpha}\mu_{V}^{\alpha} \overline{V}}{\mu_{b}^{\alpha}(Nk_{2}^{\alpha}-k_{3})},\qquad \overline {V}=\frac{s^{\alpha} k_{4}^{2}+p k_{4}\mu_{V}^{\alpha}-\gamma(\mu _{V}^{\alpha})^{2}}{k_{1}^{\alpha}\mu_{V}^{\alpha}(k_{4}+k_{5}\mu _{V}^{\alpha})}, \\ & p=r^{\alpha}-\mu_{T}^{\alpha}, \quad\text{and}\quad \gamma=r^{\alpha}/T_{\mathrm{max}}, \\ & k_{4}=k_{1}^{\alpha} \biggl(\frac{Nk_{2}^{\alpha}}{k_{2}^{\alpha}+\mu _{T}^{\alpha}}-1 \biggr),\qquad k_{3}=k_{2}^{\alpha}+\mu_{T}^{\alpha},\qquad k_{5}=\frac {\gamma}{k_{3}} \biggl(1+\frac{k_{2}^{\alpha}}{\mu_{b}^{\alpha}} \biggr). \end{aligned}$$

Theorem 4.1

The uninfected equilibrium point \(E_{0}^{\alpha}=(T_{0},0,0,0)\) is asymptotically stable if and only if
$$\mu_{V}^{\alpha}>\mu_{\mathrm{crit}}^{\alpha}= \frac{k_{1}^{\alpha}k_{2}^{\alpha }T_{0}N-k_{1}^{\alpha}k_{3}T_{0}}{k_{3}}. $$

Proof

The Jacobian matrix \(J_{1}\) evaluated at \(E_{0}^{\alpha}\) for the system (1) is given by
$$J_{1}=\left ( \textstyle\begin{array}{c@{\quad}c@{\quad}c@{\quad}c} -a & -\gamma T_{0} & -\gamma T_{0} & -k_{1}^{\alpha} T_{0} \\ 0 & -k_{3} & 0 & k_{1}^{\alpha} T_{0} \\ 0 & k_{2}^{\alpha} & -\mu_{b}^{\alpha} & 0 \\ 0 & 0 & N \mu_{b}^{\alpha} & -k_{6} \end{array}\displaystyle \right ), $$
where \(k_{6}=k_{1}^{\alpha}T_{0}+\mu_{V}^{\alpha}\), \(a=-p+2 T_{0}\gamma\).
The associated characteristic equation is given by
$$(\lambda+a)\bigl[\bigl(\lambda+\mu_{b}^{\alpha}\bigr) ( \lambda+k_{3}) (\lambda +k_{6})-k_{1}^{\alpha}k_{2}^{\alpha}T_{0}N \mu_{b}^{\alpha}\bigr]=0. $$
Hence
$$\lambda_{1}=-a < 0, $$
since substituting the value of \(T_{0}\), we get \(a=\sqrt{p^{2}+4 s \gamma}>0\). Dividing the characteristic equation by \((\lambda+a)\), we obtain
$$\lambda^{3}+A_{1} \lambda^{2} +A_{2} \lambda+A_{3}=0, $$
where
$$\begin{aligned}& A_{1}=\mu_{b}^{\alpha}+k_{3}+k_{6}>0, \\ & A_{2}=k_{3}^{\alpha} k_{6} + \mu_{b}^{\alpha} (k_{3} + k_{6})>0, \\ & A_{3}=\mu_{b}^{\alpha}\bigl(k_{3} k_{6}-k_{1}^{\alpha} k_{2}^{\alpha}T_{0} N\bigr). \end{aligned}$$
Using the definition of \(\mu_{\mathrm{crit}}^{\alpha}\), we have
$$\begin{aligned} A_{3} =& \mu_{b}^{\alpha} \bigl(k_{3} k_{6}-k_{1}^{\alpha} k_{2}^{\alpha}T_{0} N \bigr) \\ =& \mu_{b}^{\alpha} \bigl(k_{3} \bigl(k_{1}^{\alpha}T_{0}+ \mu_{V}^{\alpha} \bigr)-k_{1}^{\alpha} k_{2}^{\alpha}T_{0} N \bigr) \\ =& \mu_{b}^{\alpha}k_{3} \biggl( \mu_{V}^{\alpha}- \biggl(\frac{k_{1}^{\alpha} k_{2}^{\alpha}T_{0} N-k_{1}^{\alpha}k_{3}T_{0}}{k_{3}} \biggr) \biggr) \\ =& \mu_{b}^{\alpha} k_{3} \bigl( \mu_{V}^{\alpha}-\mu_{\mathrm{crit}} \bigr). \end{aligned}$$
Eigenvalues have a negative real part if and only if the following conditions of the Routh-Hurwitz criteria are satisfied:
$$A_{1}, A_{3}>0 \quad\text{and}\quad A_{1}A_{2}-A_{3}>0. $$
Here \(A_{1}\) is positive, being a sum of positive terms,
$$A_{1}A_{2}-A_{3}=\mu_{b}^{\alpha}(k_{3} +k_{6})+\mu_{b}^{\alpha }\bigl(k_{3}^{2} +k_{6}^{2}+2 k_{3} k_{6}+k_{1}^{\alpha} k_{2}^{\alpha}T_{0} N\bigr)+k_{3} k_{6}(k_{3}+ k_{6})>0. $$
\(A_{3}>0\) if and only if
$$\mu_{V}^{\alpha}> \mu_{\mathrm{crit}}^{\alpha}. $$
 □

Remark 4.1

\(\mu_{V}^{\alpha}\) is a bifurcation parameter, transcritical bifurcation occurs as \(\mu_{V}^{\alpha}\) passes the point \(\mu _{\mathrm{crit}}^{\alpha}\) (see Figure 1). When
$$\mu_{V}^{\alpha}>\mu_{\mathrm{crit}}^{\alpha}= \frac{k_{1}^{\alpha}k_{2}^{\alpha }T_{0}N-k_{1}^{\alpha}k_{3}T_{0}}{k_{3}}, $$
the uninfected equilibrium point \(E_{0}\) is stable and the infected equilibrium point \(E_{1}^{\alpha}\) does not exist (this case is unphysical). When \(\mu_{V}^{\alpha}=\mu_{\mathrm{crit}}^{\alpha}\), the uninfected equilibrium point is neutrally stable. When \(\mu_{V}^{\alpha}<\mu_{\mathrm{crit}}^{\alpha}\), \(E_{0}\) becomes unstable.
Figure 1

Bifurcation diagram (viral death rate), \(\pmb{N=1\mbox{,}000}\) .

Remark 4.2

Following a similar analysis, we see that a transcritical bifurcation occurs at \(N_{\mathrm{crit}}^{\alpha}\), where
$$N_{\mathrm{crit}}^{\alpha}=\frac{k_{3}(\mu_{V}^{\alpha}+k_{1}^{\alpha }T_{0})}{k_{1}^{\alpha}k_{2}^{\alpha}T_{0}}. $$
If \(N< N_{\mathrm{crit}}^{\alpha}\); the uninfected equilibrium point \(E_{0}^{\alpha}\) is stable and the infected equilibrium point \(E_{1}^{\alpha}\) does not exist (this case is unphysical). The uninfected equilibrium point is neutrally stable at \(N=N_{\mathrm{crit}}^{\alpha}\). \(E_{0}^{\alpha}\) becomes unstable when \(N>N_{\mathrm{crit}}^{\alpha}\).
The Jacobian matrix \(J_{2}\) evaluated at \(E_{1}^{\alpha}\) for the system (1) is given by
$$ J_{2}=\left ( \textstyle\begin{array}{c@{\quad}c@{\quad}c@{\quad}c} -\sigma& -\gamma\overline{T} & -\gamma\overline{T} & -k_{1}^{\alpha } \overline{T} \\ -k_{1}^{\alpha}\overline{T} & -k_{3} & 0 & k_{1}^{\alpha} \overline{T} \\ 0 & k_{2}^{\alpha} & -\mu_{b}^{\alpha} & 0 \\ -k_{1}^{\alpha}\overline{T} & 0 & N \mu_{b}^{\alpha} & -k_{6} \end{array}\displaystyle \right ), $$
(7)
where \(\sigma=-p+2\gamma\overline{T}+\gamma\overline{T}+k_{1}\overline{V}\). The characteristic equation associated to the Jacobian matrix is given by
$$ \lambda^{4}+B_{3}\lambda^{3}+B_{2} \lambda^{2}+B_{1}\lambda+B_{0}=0, $$
(8)
with \(B_{0}=k_{1}^{\alpha}\overline{V}\overline{T}[k_{1}^{\alpha} \mu _{b}^{\alpha}(Nk_{2}^{\alpha}-k_{3}^{\alpha})+\gamma\mu _{V}(k_{2}^{\alpha}+\mu_{b}^{\alpha})]\), \(B_{1}=\sigma[k_{3}k_{6}+\mu_{b}^{\alpha}(k_{3}+k_{6})]+k_{1}^{\alpha }\overline{V}\overline{T} [\gamma(\mu_{V}^{\alpha}+k_{2}^{\alpha}+\mu _{b}^{\alpha})-k_{1}^{\alpha}(k_{3}+\mu_{b}^{\alpha})]\), \(B_{2}=\sigma(k_{3}+k_{6}+\mu_{b}^{\alpha})+\mu_{b}^{\alpha }(k_{3}+k_{6})+k_{3}k_{4}+k_{1}^{\alpha}\overline{T}\overline{V}(\gamma -k_{1}^{\alpha})\), \(B_{3}=\sigma+k_{3}+k_{6}+\mu_{b}^{\alpha}\).

By the Routh-Hurwitz criteria for the stability of fractional-order systems [42], we have the following result for the stability of infected equilibrium.

Theorem 4.2

The infected equilibrium point \(E_{1}^{\alpha}=(\overline{T},\overline {T_{L}},\overline{T_{A}},\overline{V})\) is locally asymptotically stable if the coefficients of the characteristic polynomial (8) evaluated at \(E_{1}^{\alpha}\) satisfy
$$ B_{0}>0,\qquad B_{1}>0, \qquad B_{3}>0 \quad\textit{and} \quad B_{1}B_{2}B_{3}>B_{1}^{2}+B_{3}^{2}B_{0}, $$
(9)
for all \(\alpha\in(0,1]\).

5 Numerical simulations

In this section, numerical simulations are provided to verify the theoretical results established in the previous sections. In the following we will monitor the effect of varying viral death rate and varying number of new virions produced by infected CD4+ T-cells on the dynamical behavior of the fractional model, respectively. The parameters are chosen as in Table 1, unless otherwise stated.
Table 1

HIV model parameters

\(\boldsymbol{\mu_{T}^{\alpha}}\)

\(\boldsymbol{\mu_{b}^{\alpha}}\)

\(\boldsymbol{\mu_{V}^{\alpha}}\)

\(\boldsymbol{k_{1}^{\alpha}}\)

\(\boldsymbol{k_{2}^{\alpha}}\)

\(\boldsymbol{r^{\alpha}}\)

N

\(\boldsymbol{T_{\mathrm{max}}}\)

\(\boldsymbol{s^{\alpha}}\)

\(0.02^{\alpha}\)

\(0.24^{\alpha}\)

\(2.4^{\alpha}\)

\((2.4\times 10^{-5})^{\alpha}\)

\((3\times10^{-3})^{\alpha}\)

0.03

Varies

1,500

\(10^{\alpha}\)

Uninfected equilibria for different fractional orders are as follows:
$$\left \{ \textstyle\begin{array}{l@{\quad}l} E_{0}^{\alpha}=(978,0,0,0),\qquad\mu_{\mathrm{crit}}^{\alpha}=3.4364 &\text{for } \alpha=0.99, \\ E_{0}^{\alpha}=(936,0,0,0),\qquad\mu_{\mathrm{crit}}^{\alpha}=4.2059 &\text{for } \alpha=0.97, \\ E_{0}^{\alpha}=(986,0,0,0),\qquad\mu_{\mathrm{crit}}^{\alpha}=5.1488 &\text{for } \alpha=0.95. \end{array}\displaystyle \right . $$
By Remark 4.1, \(E_{0}^{\alpha}\) is asymptotically stable when \(\mu_{V}^{\alpha}=7.4^{\alpha}>\mu_{\mathrm{crit}}^{\alpha}\) and \(E_{0}^{\alpha }\) become unstable as \(\mu_{V}^{\alpha}=2.4^{\alpha}\) is reduced. Transcritical bifurcation occurs at the point \(\mu_{\mathrm{crit}}^{\alpha}\) see Figure 1. The approximate solution for \(\alpha=0.99, 0.97, 0.95\) are displayed in Figure 2, which are in good agreement with the analytical result.
Figure 2

Solution of fractional HIV model with \(\pmb{\mu_{V}^{\alpha }=2.4^{\alpha}}\) (left panel) and \(\pmb{\mu_{V}^{\alpha}=7.4^{\alpha}}\) (right panel) for \(\pmb{\alpha=0.99, 0.97, 0.95}\) . Take \(N=1\mbox{,}000\) with initial condition \((T^{0},T_{L}^{0},T_{A}^{0},V^{0})=(1\mbox{,}000,0.01,0.1,0.001)\).

Next we will simulate the fractional system by varying the values of the parameter N and choosing other values from Table 1. By calculation we can obtain
$$\left \{ \textstyle\begin{array}{l@{\quad}l} E_{1}^{\alpha}=(978,0,0,0),\qquad N_{\mathrm{crit}}^{\alpha}=694 &\text{for } \alpha=0.99,\\ E_{1}^{\alpha}=(936,0,0,0), \qquad N_{\mathrm{crit}}^{\alpha}=559 &\text{for } \alpha=0.97,\\ E_{1}^{\alpha}=(986,0,0,0), \qquad N_{\mathrm{crit}}^{\alpha}=450 &\text{for } \alpha=0.95. \end{array}\displaystyle \right . $$
According to Remark 4.2, \(E_{0}^{0.99}\) is stable but \(E_{0}^{0.97}\) and \(E_{0}^{0.95}\) are unstable when \(N=600\). Next reducing \(N=500\) gives \(N< N_{\mathrm{crit}}^{0.99}\) and \(N< N_{\mathrm{crit}}^{0.97}\) so \(E_{0}^{0.99}\) and \(E_{0}^{0.97}\) become stable; however, \(E_{0}^{0.95}\) is unstable as shown in Figure 3.
Figure 3

Solution of fractional HIV model with \(\pmb{N=600}\) (left panel) and \(\pmb{N=500}\) (right panel) for \(\pmb{\alpha=0.99, 0.97, 0.95}\) with initial condition \(\pmb{(T^{0},T_{L}^{0},T_{A}^{0},V^{0})=(1\mbox{,}000,0.01,0.1,0.0001)}\) .

For \(\alpha=0.97\) the coefficients of characteristic polynomial evaluated at infected equilibrium \(E_{1}^{\alpha}=(520, 236, 3, 359)\) are
$$\begin{aligned}& B_{0} =2.6259\times10^{-4}>0, \qquad B_{1}=0.0197>0,\qquad B_{3} =2.6610>0,\\& B_{1}B_{2}B_{3}=0.0353>B_{1}^{2}+B_{3}^{2}B_{0}=0.0022. \end{aligned}$$
Hence by Theorem 4.2, \(E_{1}^{0.97}\) is locally asymptotically stable as shown in Figure 4.
Figure 4

Solutions of fractional system ( 1 ) using finite difference scheme for \(\pmb{\alpha=0.97}\) , \(\pmb{N=1\mbox{,}000}\) with initial condition \(\pmb{(1\mbox{,}000,250,4, 10)}\) .

The decline in the number of CD4+ T-cells in peripheral blood is used in a clinical setting as indicators of the disease stage. Decreasing fractional order gives rise to larger amounts of CD4+ T-cell depletion as shown in Figure 5.
Figure 5

Effect of fractional derivative on T-cell depletion for \(\pmb{N=900, 1\mbox{,}200}\) other parameters are given in Table  1 with initial condition \(\pmb{(1\mbox{,}000,0,0,0.001)}\) .

6 Conclusion

In this paper, we have investigated a fractional-order HIV model, as a generalization of an integer-order model. The advantage of the generalized model is that the fractional-order system possesses memory, which belongs to the main features of the immune response. An implicit numerical scheme has been proposed for the fractional-order HIV model using a finite difference approximation of the Caputo derivative. We showed that the system possesses two equilibrium points and derived the analytical condition for the stability of uninfected and infected equilibrium points. Further we analyzed the influence of the fractional derivative on the dynamics of system. In many AIDS patients the T-cell level can be depleted \({<}200\mbox{ mm}^{-3}\) level, on the other hand an integer-order model cannot model this fact using the parameter values in Table 1. However, with the additional degree of freedom of the fractional derivative we can obtain the low CD4+ cell counts seen during the late stages of the disease; see Figure 5. We established that \(\mu_{V}^{\alpha}\) and N are bifurcation parameters, transcritical bifurcation occurs as \(\mu_{V}^{\alpha}\) and N passes the point \(\mu_{\mathrm{crit}}^{\alpha}\) and \(N_{\mathrm{crit}}^{\alpha}\), respectively. We have shown that the disease can be eradicated by increasing the viral death rate greater than \(\mu_{\mathrm{crit}}^{\alpha}\) as shown in Figure 2. Another parameter that could play a vital role to control the HIV virus is the number of new virions produced by infected CD4+ T-cells. We found that the virus can be eliminated if N is less than \(N_{\mathrm{crit}}^{\alpha}\), that is, HIV infection will not be sustained if infected cells die without producing an adequate number of viral progeny as demonstrated in Figure 3. Mathematical models can help physicians to choose an optimal dosage and check the effects of their therapeutic action. HIV progression has many variations from patient to patient, which is difficult to capture by an integer-order derivative. The fractional derivative can be varied to best fit the real data according to the progression of different HIV patients. Thus a more reliable model can be obtained by choosing the relevant fractional index according to real data. Consequently, the clinician can recommend administration of drugs or treatment to each individual patient by using the information from the generalized model with the most relevant fractional index.

Declarations

Acknowledgements

The authors would like to thank the anonymous referees for their valuable suggestions. This research is supported by the State Key Program of National Natural Science Foundation of China (Grant No. 11631013), the National Natural Science Foundation of China (Grant No. 11371357) and by the ITER-China Program (Grant No. 2014GB124005). The third author extend his appreciation to the National Natural Science Foundation of China (No. 11601460) and the Research Foundation of Education Commission of Hunan Province of China (No. 16C1540) for supporting this research work.

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

(1)
LSEC, ICMSEC, Academy of Mathematics and Systems Science, Chinese Academy of Sciences
(2)
Department of Mathematics, Cankaya University
(3)
School of Mathematics and Computational Science, Hunan Key Laboratory for Computation and Simulation in Science and Engineering, Xiangtan University
(4)
Institute of Space Sciences
(5)
School of Mathematical Sciences, University of Chinese Academy of Sciences
(6)
COMSATS Institute of Information Technology

References

  1. Nowak, MA, Bangham, CR: Population dynamics of immune responses to persistent viruses. Science 272, 74-79 (1996) View ArticleGoogle Scholar
  2. Nowak, MA, Bonhoeffer, S, Shaw, GM, May, RM: Anti-viral drug treatment: dynamics of resistance in free virus and infected cell populations. J. Theor. Biol. 184, 203-217 (1997) View ArticleGoogle Scholar
  3. Odibat, Z, Momani, S: An algorithm for the numerical solution of differential equations of fractional order. J. Appl. Math. Inform. 26, 15-27 (2008) MATHGoogle Scholar
  4. Perelson, AS: Modelling viral and immune system dynamics. Nat. Rev. Immunol. 2, 28-36 (2002) View ArticleGoogle Scholar
  5. Perelson, AS, Nelson, PW: Mathematical analysis of HIV-1 dynamics in vivo. SIAM Rev. 41, 3-44 (1999) MathSciNetView ArticleMATHGoogle Scholar
  6. Perelson, AS, Essunger, P, Cao, Y, Vesanen, M, Hurley, A, Saksela, K, Markowitz, M, Ho, DD: Decay characteristics of HIV-1-infected compartments during combination therapy. Nature 387, 188-191 (1997) View ArticleGoogle Scholar
  7. Perelson, AS, Essunger, P, Ho, DD: Dynamics of HIV-1 and CD4+ lymphocytes in vivo. AIDS 11, S17-S24 (1997) Google Scholar
  8. Perelson, AS, Neumann, AU, Markowitz, M, Leonard, JM, Ho, DD: HIV-1 dynamics in vivo: virion clearance rate, infected cell life-span, and viral generation time. Science 271, 1582-1586 (1996) View ArticleGoogle Scholar
  9. Silva, CJ, Torres, DFM: A TB-HIV/AIDS coinfection model and optimal control treatment. Discrete Contin. Dyn. Syst. 35(9), 4639-4663 (2015) MathSciNetView ArticleMATHGoogle Scholar
  10. Rocha, D, Silva, CJ, Torres, DFM: Stability and optimal control of a delayed HIV model. Math. Methods Appl. Sci. (2016). doi:10.1002/mma.4207 Google Scholar
  11. Luo, J, Wang, W, Chen, H, Fu, R: Bifurcations of a mathematical model for HIV dynamics. J. Math. Anal. Appl. 434, 837-857 (2016) MathSciNetView ArticleMATHGoogle Scholar
  12. Wang, Y, Liu, J, Liu, L: Viral dynamics of an HIV model with latent infection incorporating antiretroviral therapy. Adv. Differ. Equ. 2016, Article ID 225 (2016) MathSciNetView ArticleGoogle Scholar
  13. Rong, L, Perelson, AS: Modeling HIV persistence, the latent reservoir, and viral blips. J. Theor. Biol. 260, 308-331 (2009) MathSciNetView ArticleGoogle Scholar
  14. Finzi, D, Siliciano, R: Viral dynamics in HIV-1 infection. Cell 93, 665-671 (1998) View ArticleGoogle Scholar
  15. Kirschner, DE: Using mathematics to understand HIV immune dynamics. Not. Am. Math. Soc. 43, 191-202 (1996) MathSciNetMATHGoogle Scholar
  16. Podlubny, I: Fractional Differential Euations. Acdemic Press, San Diego (1999) MATHGoogle Scholar
  17. Samko, SG, Kilbas, AA, Marichev, OI: Fractional Integrals and Derivatives: Theory and Applications. Gordon and Breach Science Publishers, Yverdon (1993) MATHGoogle Scholar
  18. Arafa, AAM, Rida, SZ, Khalil, M: Fractional modeling dynamics of HIV and CD4+ T-cells during primary infection. Nonlinear Biomed. Phys. 6, Article ID 1 (2012) View ArticleGoogle Scholar
  19. Arafa, AAM, Rida, SZ, Khalil, M: The effect of anti-viral drug treatment of human immunodeficiency virus type 1 (HIV-1) described by a fractional order model. Appl. Math. Model. 37, 2189-2196 (2013) MathSciNetView ArticleMATHGoogle Scholar
  20. Gökdogana, A, Yildirim, A, Merdana, M: Solving a fractional order model of HIV infection of CD4+ T cells. Math. Comput. Model. 54, 2132-2138 (2011) MathSciNetView ArticleGoogle Scholar
  21. Kou, CH, Yan, Y, Liu, J: Stability analysis for fractional differential equations and their applications in the models of HIV-1 infection. Comput. Model. Eng. Sci. 39, 301-317 (2009) MathSciNetMATHGoogle Scholar
  22. Liu, Z, Lu, P: Stability analysis for HIV infection of CD4+ T-cells by a fractional differential time-delay model with cure rate. Adv. Differ. Equ. 2014, Article ID 298 (2014) MathSciNetView ArticleMATHGoogle Scholar
  23. Pinto, CMA, Carvalho, ARM: Fractional modeling of typical stages in HIV epidemics with drug-resistance. Prog. Fract. Differ. Appl. 1(2), 111-122 (2015) Google Scholar
  24. Yan, Y, Kou, C: Stability analysis for a fractional differential model of HIV infection of CD4+ T-cells with time delay. Math. Comput. Simul. 82, 1572-1585 (2012) MathSciNetView ArticleMATHGoogle Scholar
  25. Ertürk, VS, Odibat, ZM, Momanic, S: An approximate solution of a fractional order differential equation model of human T-cell lymphotropic virus I (HTLV-I) infection of CD4+ T-cells. Comput. Math. Appl. 62, 996-1002 (2011) MathSciNetView ArticleMATHGoogle Scholar
  26. Alipour, M, Arshad, S, Baleanu, D: Numerical and bifurcations analysis for multi-order fractional model of HIV infection of CD4+T-cells. Sci. Bull. “Politeh.” Univ. Buchar., Ser. A, Appl. Math. Phys. 78(4), 243-258 (2016) Google Scholar
  27. Atangana, A, Alabaraoye, E: Solving a system of fractional partial differential equations arising in the model of HIV infection of CD4+ cells and attractor one-dimensional Keller-Segel equations. Adv. Differ. Equ. 2013, Article ID 94 (2013) View ArticleGoogle Scholar
  28. Huo, J, Zhao, H, Zhu, L: The effect of vaccines on backward bifurcation in a fractional order HIV model. Nonlinear Anal., Real World Appl. 26, 289-305 (2015) MathSciNetView ArticleMATHGoogle Scholar
  29. Pinto, CMA, Carvalho, ARM: A latency fractional order model for HIV dynamics. J. Comput. Appl. Math. 312, 240-256 (2017) MathSciNetView ArticleMATHGoogle Scholar
  30. Abramowitz, M, Stegun, IA (ed.): Handbook of Mathematical Functions: With Formulas, Graphs, and Mathematical Tables. National Bureau of Standards Applied Mathematics Series, vol. 55. U.S. Government Printing Office, Washington (1964) MATHGoogle Scholar
  31. Perelson, AS, Kirschner, DE, De Boer, R: Dynamics of HIV infection of CD4 T-cells. Math. Biosci. 114, 81-125 (1993) View ArticleMATHGoogle Scholar
  32. Arenas, AJ, González-Parrab, G, Chen-Charpentierc, BM: Construction of nonstandard finite difference schemes for the SI and SIR epidemic models of fractional order. Math. Comput. Simul. 121, 48-63 (2016) MathSciNetView ArticleGoogle Scholar
  33. Diethelm, K: A fractional calculus based model for the simulation of an outbreak of dengue fever. Nonlinear Dyn. 71, 613-619 (2013) MathSciNetView ArticleGoogle Scholar
  34. Weilbeer, M: Efficient numerical methods for fractional differential equations and their analytical background. Ph.D. thesis, Technischen Universität Braunschweig (2005) Google Scholar
  35. Lubich, C: Discretized fractional calculus. SIAM J. Math. Anal. 17, 704-719 (1986) MathSciNetView ArticleMATHGoogle Scholar
  36. Galeone, L, Garrappa, R: On multistep methods for differential equations of fractional order. Mediterr. J. Math. 3, 565-580 (2006) MathSciNetView ArticleMATHGoogle Scholar
  37. Diethelm, K, Ford, NJ, Freed, AD: A predictor-corrector approach for the numerical solution of fractional differential equations. Nonlinear Dyn. 29, 3-22 (2002) MathSciNetView ArticleMATHGoogle Scholar
  38. Scherer, R, Kalla, SL, Tang, Y, Huang, J: The Grünwald-Letnikov method for fractional differential equations. Comput. Math. Appl. 62, 902-917 (2011) MathSciNetView ArticleMATHGoogle Scholar
  39. Baker, CTH: A perspective on the numerical treatment of Volterra equations. J. Comput. Appl. Math. 125, 217-249 (2000) MathSciNetView ArticleMATHGoogle Scholar
  40. Lin, Y, Xu, C: Finite difference/spectral approximations for the time-fractional diffusion equation. J. Comput. Phys. 225(2), 1533-1552 (2007) MathSciNetView ArticleMATHGoogle Scholar
  41. Sun, Z, Wu, X: A fully discrete difference scheme for a diffusion-wave system. Appl. Numer. Math. 56, 193-209 (2006) MathSciNetView ArticleMATHGoogle Scholar
  42. Ahmed, E, El-Sayed, AMA, El-Saka, HAA: On some Routh-Hurwitz conditions for fractional order differential equations and their applications in Lorenz, Rössler, Chua and Chen systems. Phys. Lett. A 358, 1-4 (2006) MathSciNetView ArticleMATHGoogle Scholar

Copyright

© The Author(s) 2017