Skip to main content


We’d like to understand how you use our websites in order to improve them. Register your interest.

Analysis of the model of HIV-1 infection of \(CD4^{+}\) T-cell with a new approach of fractional derivative


By using the fractional Caputo–Fabrizio derivative, we investigate a new version for the mathematical model of HIV. In this way, we review the existence and uniqueness of the solution for the model by using fixed point theory. We solve the equation by a combination of the Laplace transform and homotopy analysis method. Finally, we provide some numerical analytics and comparisons of the results.


The HIV infection target is \(CD4^{+}\) T cells which are the largest white blood cells of the immune system [1, 2]. HIV infection infects most cells but has the most destructive effect on \(CD4^{+}\) T cells and weakens the immune system by destroying them [3]. When the number of \(CD4^{+}\) T-cell drops below a certain number, the cell-mediated immune system disappears, the immune system becomes weaker, and the body becomes susceptible to any infection [3].

A simple mathematical model for HIV infection was presented by Pearson [4]. This model has been an inspiration for many mathematicians in the modeling of HIV (see, for example, [46]). The mathematical models presented for HIV are very useful in understanding the dynamics of HIV infection [710]. Many mathematicians and scientists have shown that using fractional order instead of the correct order in modeling natural phenomena yields better results [1013]. In recent years, Caputo and Fabrizio proposed a new definition of fractional derivative having exponential kernel [14]. Losada and Nieto investigated the properties of the new fractional derivative [15]. The Caputo and Riemann fractional derivatives cannot adequately describe physical phenomena because of their singularity. Recently, many works related to the fractional Caputo–Fabrizio derivative have been published (see, for example, [1639]). In this paper, we use the Caputo and Fabrizio fractional derivative [14] to express the model of HIV and solve the equations by a method that combines the homotopy and Laplace transforms [14, 4042].

Now, we recall some fundamental notions. The Caputo fractional derivative of order ν for a function f via integrable differentiations is defined by

$$ ^{C}D^{\nu }f(t)=\frac{1}{\varGamma (n-\nu )} \int _{0}^{t} \frac{f^{(n)}(s)}{(t-s)^{\nu -n+1}} \,ds,\quad n=[\nu ]+1. $$

Our second notion is a fractional derivative without singular kernel introduced by Caputo and Fabrizio [14]. Let \(b>a\), \(f\in H^{1}(a,b)\), and \(\nu \in (0,1)\), the Caputo–Fabrizio derivative of order ν for a function f is defined by

$$ {}^{\mathrm{CF}}D^{\nu } f(t)=\frac{M(\nu )}{(1-\nu )} \int _{a}^{t} \exp \biggl(\frac{-\nu }{1-\nu }(t-s) \biggr)f'(s)\,ds\quad (t\geq 0), $$

where \(M(\nu )\) is a normalization function that depends on ν and \(M(0)=M(1)=1\). If \(f \notin H^{1}(a,b)\), this derivative can be presented for \(f\in L^{1}(-\infty ,b)\) as follows:

$$ {}^{\mathrm{CF}}D^{\nu } f(t)=\frac{\nu M(\nu )}{(1-\nu )} \int _{-\infty }^{b} \bigl(f(t)-f(s)\bigr)\exp \biggl( \frac{-\nu }{1-\nu }(t-s)\biggr)\,ds\quad (0< \nu < 1). $$

Also, for \(n\geq 1\) and \(\nu \in (0,1)\), the fractional derivative \({}^{\mathrm{CF}}D^{\nu +n}\) of order \({\nu +n}\) is defined by \({}^{\mathrm{CF}}D^{\nu +n} f(t):= { {}^{\mathrm{CF}}D^{\nu }(D^{n} f(t))}\) [43].

The Laplace transform of the Caputo–Fabrizio derivative is defined by [15]

$$ L\bigl[{}^{\mathrm{CF}}D^{(\nu +n)}f(t)\bigr](s)=\frac{s^{n+1}L[f(t)]-s^{n}f(0)-s^{n-1}f'(0)-\cdots-f ^{(n)}(0)}{s+\nu (1-s)}, $$

where \(0<\nu \leq 1\) and \(M(\nu )=1\). The Riemann–Liouville fractional integral of order ν, \(\operatorname{Re} (\nu ) > 0\) is defined by \(I^{\nu } f(t)= \frac{1}{\varGamma (\nu )} \int _{0}^{t} (t-s)^{\nu -1}f(s) \,ds\). The fractional integral of Caputo–Fabrizio is defined by [15]

$$ {}^{\mathrm{CF}}I^{\nu } f(t)=\frac{2(1-\nu )}{(2-\nu )M(\nu )} f(t)+ \frac{2 \nu }{(2-\nu )M(\nu )} \int _{0}^{t} f(s)\,ds\quad (0< \nu < 1). $$

Also, the left and right fractional integrals of \(({}^{\mathrm{CF}}_{a}D^{\nu })\) are defined respectively by [44]:

$$\begin{aligned}& \bigl({}^{\mathrm{CF}}_{a}I^{\nu } f\bigr) (t)= \frac{1-\nu }{B(\nu )}f(t)+\frac{\nu }{B( \nu )} \int _{a}^{t} f(s)\,ds, \\& \bigl({}^{\mathrm{CF}}I^{\nu }_{b} f\bigr) (t)= \frac{1-\nu }{B(\nu )}f(t)+\frac{\nu }{B( \nu )} \int _{t}^{b} f(s)\,ds. \end{aligned}$$

The Sumudu transform is derived from the classical Fourier integral [4547]. Consider the set \(A=\{F:\exists \lambda , k_{1} , k _{2} \geq 0,|F(t)|<\lambda \exp (\frac{t}{k_{j}}), t\in (-1)^{j} \times [0,\infty )\}\). The Sumudu transform of a function \(f(t)\in A\) denoted by \(ST[f(t);u]=F(u)\) is defined by

$$ F(u)=ST\bigl[f(t);u\bigr]= \frac{1}{u} \int _{0}^{\infty } \exp (-t/u)f(t)\,dt,\quad u\in (-k_{1},k_{2}), $$

for all \(t\geq 0\), and the inverse Sumudu transform of \(F(u)\) is denoted by \(f(t)=ST^{-1}[F(u)]\) [46]. The Sumudu transform of the Caputo derivative is given by

$$ ST\bigl[{}^{c}D^{\nu }_{t} f(t);u \bigr]=u^{-\nu } \Biggl[F(u)- \sum_{i=0}^{m} u^{\nu -i} \bigl[{}^{c} D^{\nu -i} f(t) \bigr]_{t=0}\Biggr], $$

where \((m-1< \nu \leq m)\) [45]. Let F be a function such that its Caputo–Fabrizio fractional derivation exists. The Sumudu transform of F with Caputo–Fabrizio fractional derivative is defined by [48]

$$ ST\bigl({}^{\mathrm{CF}}_{0}D^{\nu }_{t} \bigr) \bigl(F(t)\bigr)=\frac{M(\nu )}{1-\nu +\nu u}\bigl[ST\bigl(F(t)\bigr)-F(0)\bigr]. $$

Let \((X,d)\) be a metric space, a map \(g:X\to X\) is called a Picard operator whenever there exists \(x^{*}\in X\) such that \(\operatorname{Fix}(g)=\{x^{*}\}\) and the sequence \((g^{n}(x_{0}))_{n \in N}\) converges to \(x^{*}\) for all \(x_{0}\in X\) [49].

Mathematical model of the HIV-1 infection of \(CD4^{+}\) T-cell

The classical order model of HIV-1 infection of \(CD4^{+}\) T-cell is given by

$$ \textstyle\begin{cases} \frac{dT}{dt}=\beta -kVT-dT+bU, \\ \frac{dU}{dt}=kVT-(b+\delta )U, \\ \frac{dV}{dt}=N\delta U-cV, \end{cases} $$

with initial conditions \(T(0)=T_{0}\), \(U(0)=U_{0}\), \(V(0)=V_{0}\) [1]. Model (1) does not include the internal memory effects of the HIV biological system. To improve the model, we change the first-order time derivative to the Caputo–Fabrizio fractional derivative of order ν as follows:

$$ \textstyle\begin{cases} {}^{\mathrm{CF}}_{0}D^{\nu }_{t}T=\beta -kVT-dT+bU, \\ {}^{\mathrm{CF}}_{0}D^{\nu }_{t}U=kVT-(b+\delta )U, \\ {}^{\mathrm{CF}}_{0}D^{\nu }_{t}V=N\delta U-cV, \end{cases} $$

where \(0<\nu _{i}\leq 1\) and the initial conditions \(T(0)=T_{0}\), \(U(0)=U_{0}\), and \(V(0)=V_{0}\). In this model, T represents the concentration of uninfected \(CD4^{+}\) T cells, U represents the concentration of infected \(CD4^{+}\) T cells, and V represents the free HIV infection particles in the blood. The parameters β, d, k, δ, b, c, and N denote the new T-cells supply rate, the rate of natural death, the rate of infection T-cells, the death rate of infected T-cells, the rate of return of infected cells to uninfected class, the death rate of virus, and the average number of particles infected by an infected cell, respectively.

In system (2), the right-hand sides of the equations have dimension \((\mathrm{time})^{-1}\). When we change the order of the equations to ν, the dimension of the left-hand side would be \((\mathrm{time})^{(-\nu )}\). To have the dimensions match, we should change the dimensions of the parameters d, k, δ, b, c and the system we obtain eventually is

$$ \textstyle\begin{cases} {}^{\mathrm{CF}}_{0}D^{\nu }_{t}T=\beta -k^{\nu }VT-d^{\nu }T+b^{\nu }U, \\ {}^{\mathrm{CF}}_{0}D^{\nu }_{t}U=k^{\nu }VT-(b^{\nu }+\delta ^{\nu })U, \\ {}^{\mathrm{CF}}_{0}D^{\nu }_{t}V=N\delta ^{\nu } U-c^{\nu }V. \end{cases} $$

Numerical solutions of model (3) are presented by using the homotopy analysis transform method (HATM). We transform the fractional differential equation into the algebraic equation by using Laplace transform and solve the resulting algebraic equation by the homotopy analysis method.

Existence of solution

Consider the following model employing the Caputo–Fabrizio fractional derivative:

$$ \textstyle\begin{cases} {}^{\mathrm{CF}}_{0}D^{\nu }_{t}T=\beta -k^{\nu }VT-d^{\nu }T+b^{\nu }U, \\ {}^{\mathrm{CF}}_{0}D^{\nu }_{t}U=k^{\nu }VT-(b^{\nu }+\delta ^{\nu })U, \\ {}^{\mathrm{CF}}_{0}D^{\nu }_{t}V=N\delta ^{\nu } U-c^{\nu }V. \end{cases} $$

We get the Losada and Nieto integral operator [15] on both sides of equations (4), so

$$ \begin{gathered} T(t)-g_{1}(t) = \frac{2(1-\nu )}{(2-\nu )M(\nu )}\bigl\{ \beta -k^{\nu }V(t)T(t)-d ^{\nu }T(t)+b^{\nu }U(t\bigr\} \\ \hphantom{T(t)-g_{1}(t) =} {} +\frac{2\nu }{(2-\nu )M(\nu )} \int _{0}^{t} \bigl[\beta -k^{\nu }V(s)T(s)-d^{\nu }T(s)+b^{\nu }U(s) \bigr]\,ds, \\ U(t)-g_{2}(t) =\frac{2(1-\nu )}{(2-\nu )M(\nu )}\bigl\{ k^{\nu }V(t)T(t)- \bigl(b ^{\nu }+\delta ^{\nu }\bigr)U(t)\bigr\} \\ \hphantom{U(t)-g_{2}(t) =} {}+\frac{2\nu }{(2-\nu )M(\nu )} \int _{0}^{t} \bigl[k^{\nu }V(s)T(s)- \bigl(b^{\nu }+\delta ^{\nu }\bigr)U(s)\bigr]\,ds, \\ V(t)-g_{3}(t) =\frac{2(1-\nu )}{(2-\nu )M(\nu )}\bigl\{ N\delta ^{\nu } U(t)-c ^{\nu }V(t)\bigr\} \\ \hphantom{V(t)-g_{3}(t) =}{} + \frac{2\nu }{(2-\nu )M(\nu )} \int _{0}^{t} \bigl[N\delta ^{\nu } U(s)-c^{\nu }V(s)\bigr]\,ds. \end{gathered} $$

We present the differential equations (5) as follows:

$$\begin{aligned}& T_{0}(t) =g_{1}(t),\qquad U_{0}(t)=g_{2}(t),\qquad V_{0}(t)=g_{3}(t), \\& T_{n+1}(t) =\frac{2(1-\nu )}{(2-\nu )M(\nu )}\bigl\{ \beta -k^{\nu }V(t)T(t)-d ^{\nu }T(t)+b^{\nu }U(t\bigr\} \\& \hphantom{T_{n+1}(t) =}{}+\frac{2\nu }{(2-\nu )M(\nu )} \int _{0}^{t} \bigl[\beta -k^{\nu }V(s)T(s)-d^{\nu }T(s)+b^{\nu }U(s) \bigr]\,ds, \\& U_{n+1}(t) =\frac{2(1-\nu )}{(2-\nu )M(\nu )}\bigl\{ k^{\nu }V(t)T(t)- \bigl(b ^{\nu }+\delta ^{\nu }\bigr)U(t)\bigr\} \\& \hphantom{U_{n+1}(t) =}{} +\frac{2\nu }{(2-\nu )M(\nu )} \int _{0}^{t} \bigl[k^{\nu }V(s)T(s)- \bigl(b ^{\nu }+\delta ^{\nu }\bigr)U(s)\bigr]\,ds, \\& V_{n+1}(t) =\frac{2(1-\nu )}{(2-\nu )M(\nu )}\bigl\{ N\delta ^{\nu } U(t)-c ^{\nu } V(t)\bigr\} \\& \hphantom{V_{n+1}(t) =}{} +\frac{2\nu }{(2-\nu ) M(\nu )} \int _{0}^{t} \bigl[N\delta ^{ \nu } U(s)-c^{\nu }V(s)\bigr] \,ds. \end{aligned}$$

Now if we take limit from Picard’s repetitive series (6) when n is infinite, the solution of the equation is obtained as follows:

$$ \textstyle\begin{cases} \lim_{n\rightarrow \infty } T_{n}(t)=T(t), \\ \lim_{n\rightarrow \infty } U_{n}(t)=U(t), \\ \lim_{n\rightarrow \infty } V_{n}(t)=V(t). \end{cases} $$

Existence of solution by the Picard–Lindelof approach

We use the Picard–Lindelof approach and the Banach fixed point theorem to prove the existence of the solution. At first, we define the following operators:

$$ \textstyle\begin{cases} g_{1}(t,T)=\beta -k^{\nu }V(t)T(t)-d^{\nu }T(t)+b^{\nu }U(t), \\ g_{2}(t,U)=k^{\nu }V(t)T(t)-(b^{\nu }+\delta ^{\nu })U(t), \\ g_{3}(t,V)= N\delta ^{\nu } U(t)-c^{\nu }V(t). \end{cases} $$


$$ L_{1}=\sup_{C[a,c_{1}]} \bigl\Vert g_{1}(t,T) \bigr\Vert ,\qquad L_{2}=\sup _{C[a,c_{2}]} \bigl\Vert g _{2}(t,U) \bigr\Vert ,\qquad L_{3}=\sup_{C[a,c_{3}]} \bigl\Vert g_{3}(t,V) \bigr\Vert , $$


$$ \textstyle\begin{cases} C[a,c_{1}]= \vert t-a,t+a \vert \times \vert T-c_{1}, T+c_{1} \vert =A \times C_{1}, \\ C[a,c_{2}]= \vert t-a,t+a \vert \times \vert U-c_{2}, U+c_{2} \vert =A \times C_{2}, \\ C[a,c_{3}]= \vert t-a,t+a \vert \times \vert V-c_{3}, V+c_{3} \vert =A \times C_{3}. \end{cases} $$

Assume a uniform norm on \(C[a,c_{i}]\) (\(i=1,2,3\)) as follows:

$$ \bigl\Vert Y(t) \bigr\Vert _{\infty }=\sup _{t\in [t-a,t+a]} \bigl\vert Y(t) \bigr\vert . $$

Consider the Picard operator

$$ O: C(A,C_{1},C_{2},C_{3}) \rightarrow C(A,C_{1},C_{2},C_{3}) $$

given as follows:

$$ O\bigl(Y(t)\bigr)=Y_{0}(t)+\frac{2(1-\nu )}{2-\nu )M(\nu )}G \bigl(t,Y(t)\bigr)+\frac{2 \nu }{(2-\nu )M(\nu )} \int _{0}^{t} G\bigl(s,Y(s)\bigr) \,ds. $$

So that \(Y(t)=\{T(t),U(t),V(t)\}\), \(Y_{0}(t)=\{T(0),U(0),V(0)\}\) and

$$ G\bigl(t,Y(t)\bigr)=\bigl\{ g_{1}(t,T), g_{2}(t,U), g_{3}(t,V)\bigr\} . $$

Let us assume that the solutions to the problem under investigation are bounded within a time period,

$$ \bigl\Vert Y(t) \bigr\Vert _{\infty } \leq \max \{c_{1},c_{2},c_{3}\}=C. $$

Let \(L=\max \{L_{1},L_{2},L_{3}\}\) and there exists \(t_{0}\) so that \(t_{0}\geq t\), then

$$\begin{aligned} \bigl\Vert OY(t)-Y_{0}(t) \bigr\Vert & = \biggl\Vert \frac{2(1-\nu )}{(2-\nu ) M(\nu )} G\bigl(t,Y(t)\bigr)+ \frac{2\nu }{(2-\nu )M(\nu )} \int _{0}^{t} G\bigl(s,Y(s)\bigr)\,ds \biggr\Vert \\ &\leq \frac{2(1-\nu )}{(2-\nu ) M(\nu )} \bigl\Vert G(t,Y) \bigr\Vert + \frac{2\nu }{(2- \nu )M(\nu )} \int _{0}^{t} \bigl\Vert G(s,Y)\,ds \bigr\Vert \,ds \\ &\leq \biggl(\frac{2(1-\nu )}{(2-\nu )M(\nu )} +\frac{2\nu t}{(2-\nu )M( \nu )}\biggr)L \end{aligned}$$
$$\begin{aligned} &\leq \biggl(\frac{2(1-\nu )}{(2-\nu )M(\nu )} +\frac{2\nu t_{0}}{(2- \nu )M(\nu )}\biggr)L\leq \mu L \leq C, \end{aligned}$$

where we demand that

$$ \mu < \frac{C}{L}. $$

Also we evaluate the following equality:

$$ \Vert OY_{1}-OY_{2} \Vert =\sup _{t\in A} \bigl\vert Y_{1}(t)-Y_{2}(t) \bigr\vert . $$

Using the definition of our Picard operator, we have

$$\begin{aligned} \Vert OY_{1}-OY_{2} \Vert =& \biggl\Vert \frac{2(1-\nu )}{(2-\nu )M(\nu )} \bigl\{ G(t,Y _{1}(t)-G(t,Y_{2}(t) \bigr\} \\ &{}+ \frac{2\nu }{(2-\nu )M(\nu )} \int _{0}^{t} \bigl\{ G(s,Y_{1}(s)-G(s,Y_{2}(s) \bigr\} \,ds \biggr\Vert \\ \leq& \frac{2(1-\nu )}{(2-\nu )M(\nu )} \bigl\Vert G(t,Y_{1}(t)-G(t,Y_{2}(t) \bigr\Vert \\ &{} + \frac{2\nu }{(2-\nu )M(\nu )} \int _{0}^{t} \bigl\Vert G(s,Y_{1}(s)-G(s,Y_{2}(s) \bigr\Vert \,ds \\ \leq &\frac{2(1-\nu )}{(2-\nu )M(\nu )}\lambda \bigl\Vert Y_{1}(t)-Y_{2}(t) \bigr\Vert \\ &{} +\frac{2\nu \lambda }{(2-\nu ) M(\nu )} \int _{0}^{t} \bigl\Vert Y _{1}(s)-Y_{2}(s) \bigr\Vert \,ds \\ \leq& \biggl(\frac{2(1-\nu ) \lambda }{(2-\nu )M(\nu )} +\frac{2\nu \lambda t_{0}}{(2-\nu )M(\nu )}\biggr) \bigl\Vert Y_{1}(t)-Y_{2}(t) \bigr\Vert \\ \leq& \mu \lambda \bigl\Vert Y_{1}(t)-Y_{2}(t) \bigr\Vert \end{aligned}$$

with \(\lambda <1\). Since G is a contraction, then \(\mu \lambda <1\), so O is a contraction. The proof is complete.

Special solutions via iteration approach

Here, we provide a special solution to the model of HIV-1 infection. Applying the Sumudu transform to system (3), we get

$$ \textstyle\begin{cases} ST({}^{\mathrm{CF}}_{0}D^{\nu }_{t}T(t))=ST[\beta -k^{\nu }V(t)T(t)-d^{\nu }T(t)+b ^{\nu }U(t)], \\ ST({}^{\mathrm{CF}}_{0}D^{\nu }_{t}U(t))=ST[k^{\nu }V(t)T(t)-(b^{\nu }+\delta ^{\nu })U(t)], \\ ST({}^{\mathrm{CF}}_{0}D^{\nu }_{t}V(t))=ST[N\delta ^{\nu } U(t)-c^{\nu }V(t)]. \end{cases} $$

By using the definition of the Sumudu transform of CF-derivative, we obtain

$$\begin{aligned} &\frac{M(\nu )}{1-\nu + \nu u}\bigl(ST\bigl(T(t)\bigr)-T(0)\bigr) = ST \bigl[\beta 0 -k^{ \nu }V(t)T(t)-d^{\nu }T(t)+b^{\nu }U(t) \bigr], \\ &\frac{M(\nu )}{1-\nu +\nu u} \bigl(ST\bigl(U(t)\bigr)-U(0)\bigr) =ST \bigl[k^{\nu }V(t)T(t)-\bigl(b ^{\nu }+\delta ^{\nu } \bigr)U(t)\bigr], \\ &\frac{M(\nu )}{1-\nu +\nu u}\bigl(ST\bigl(V(t)\bigr)-V(0)\bigr) =ST\bigl[N\delta ^{\nu } U(t)-c ^{\nu }V(t)\bigr]. \end{aligned}$$

Rearranging, we obtain the following inequalities:

$$\begin{aligned} & ST\bigl(T(t)\bigr) = T(0)+\frac{1-\nu +\nu u}{M(\nu )}ST\bigl[\beta -k^{\nu }V(t)T(t)-d ^{\nu }T(t)+b^{\nu }U(t)\bigr], \\ & ST\bigl(U(t)\bigr) = U(0)+\frac{1-\nu +\nu 1 u}{M(\nu )}ST\bigl[k^{\nu }V(t)T(t)- \bigl(b ^{\nu }+\delta ^{\nu }\bigr)U(t)\bigr], \\ &ST\bigl(V(t)\bigr)= V(0)+\frac{1-\nu +\nu u}{M(\nu )}ST\bigl[N\delta ^{\nu } U(t)-c ^{\nu }V(t)\bigr]. \end{aligned}$$

The following recursive formula is obtained:

$$\begin{aligned} &T_{n+1}(t) = T_{n}(0)+ST^{-1} \biggl\{ \frac{1-\nu +\nu u}{M(\nu )} ST\bigl[ \beta - k^{\nu }V_{n}(t)T_{n}(t) - d^{\nu }T_{n}(t)+b^{\nu }U_{n}(t) \bigr] \biggr\} , \\ &U_{n+1}(t) =U_{0}(t)+ST^{-1} \biggl\{ \frac{1-\nu +\nu u}{M(\nu )}ST\bigl[k ^{\nu }V(t)T(t) -\bigl(b^{\nu }+ \delta ^{\nu }\bigr)U(t)\bigr] \biggr\} , \\ &V_{n+1}(t) = V_{0}(t)+ST^{-1} \biggl\{ \frac{1-\nu +\nu u}{M(\nu )}ST\bigl[N \delta ^{\nu } U(t)-c^{\nu }V(t) \bigr] \biggr\} . \end{aligned}$$

Finally, the solution of equation (24) approximates to the following:

$$\begin{aligned} T(t) &=\lim_{n\rightarrow \infty }T_{n}(t), \qquad U(t)= \lim_{n\rightarrow \infty }U_{n}(t),\qquad V(t)=\lim _{n\rightarrow \infty }V_{n}(t). \end{aligned}$$

Application of fixed point theorem for stability analysis of iteration method

Consider the Banach space \((Y, \|\cdot\|)\), a self-map F on Y, and recursive method \(P_{n+1}=\phi (F, P_{n})\). Assume that \(\varOmega (F)\) is the fixed point set of F which \(\varOmega (F)\neq \emptyset \) and \(\lim_{n\rightarrow \infty }P_{n}=p\in \varOmega (F)\). Suppose that \(\{f_{n}\}\subset \varOmega \) and \(e_{n}=\| f_{n++1}-\phi (F, f_{n})\|\), if \(\lim_{n\rightarrow \infty }e_{n}=0\) implies that \(\lim_{n\rightarrow \infty }f_{n}=p\), then the recursive procedure \(P_{n+1}=\phi (F,P_{n})\) is F-stable. Suppose that our sequence \(\{f_{n}\}\) has an upper boundary. If Picard’s iteration \(P_{n+1}=FP _{n}\) is satisfied in all these conditions, then \(P_{n+1}=FP_{n}\) is F-stable.

Theorem 1


Let\((Y , \|\cdot\|)\)be a Banach space andFbe a self-map ofYsatisfying

$$ \Vert F_{x}-F_{y} \Vert \leq R \Vert x-F_{x} \Vert + r \Vert x-y \Vert $$

for all\(x,y\in Y\), where\(R\geq 0\)and\(0\leq r< 1\). ThenFis PicardF-stable.

Suppose that the fractional model of HIV-1 infection of \(CD4^{+}\) T-cell (3) is connected with the subsequent iterative formula in (24). Consider the following theorem.

Theorem 2

Suppose thatFis a self-map defined as follows:

$$\begin{aligned}& \begin{aligned} F\bigl( T_{n}(t)\bigr) &=T_{n+1}(t)\\ &=T_{n}(t) + ST^{-1} \biggl\{ \frac{1-\nu +\nu u}{M(\nu )} ST\bigl[ \beta -k ^{\nu }V_{n}(t) T_{n}(t)- d^{\nu }T_{n}(t)+b^{\nu }U_{n}(t) \bigr] \biggr\} , \\ F\bigl( U_{n}(t)\bigr) &=U_{n+1}(t)\\ & = U_{t}(t) +ST^{-1} \biggl\{ \frac{1-\nu +\nu u}{M(\nu )}ST \bigl[k^{\nu }V(t)T(t) -\bigl(b^{\nu }+\delta ^{\nu }\bigr)U(t)\bigr] \biggr\} , \\ F\bigl( V_{n}(t)\bigr) &= V_{n+1}(t) \\ &= V_{n}(t) +ST^{-1} \biggl\{ \frac{1-\nu +\nu u}{M(\nu )}ST\bigl[N\delta ^{\nu } U(t)-c^{\nu }V(t)\bigr] \biggr\} . \end{aligned} \end{aligned}$$

Then (26) isF-stable in\(L^{1}(a,b)\)if the following conditions are achieved:

$$ \textstyle\begin{cases} (1-d^{\nu }f_{1}(\eta )-k^{\nu }M_{3}f_{2}(\eta )-k^{\nu }M_{1}f_{3}( \eta )+b^{\nu }f_{4}(\eta ))< 1, \\ (1+(b^{\nu }+\delta ^{\nu })f_{5}(\eta )+k^{\nu }M_{3}f_{6}(\eta )+k ^{\nu }M_{1}f_{7}(\eta ))< 1, \\ (1+N\delta ^{\nu } f_{8}(\eta )-c^{\nu }f_{9}(\eta ))< 1. \end{cases} $$


At first, we compute the following inequalities for \((n,m)\in N \times N\) to prove that F has a fixed point:

$$\begin{aligned} &F (T_{n}(t)-F\bigl(T_{m}(t) \bigr) \\ &\quad =T_{n}(t)-T_{m}(t) +ST^{-1} \biggl\{ \frac{1-\nu +\nu u}{M(\nu )}ST\bigl[\beta -k ^{\nu }V_{n}(t)T_{n}(t) - d^{\nu }T_{n}(t)+b^{\nu }U_{n}(t) \bigr] \biggr\} \\ &\qquad{} -ST^{-1} \biggl\{ \frac{1-\nu +\nu u}{ M(\nu )} ST\bigl[ \beta -k ^{\nu } V_{m}(t)T_{m}(t)-d^{\nu }T_{m}(t)+b^{\nu }U_{m}(t) \bigr] \biggr\} . \end{aligned}$$

Now, we apply norm on both sides of equation (28)

$$\begin{aligned} & \bigl\Vert F (T_{n}- F(T_{m}) \bigr\Vert \\ &\quad = \biggl\Vert T_{n}-T_{m}+ ST^{-1} \biggl\{ \frac{1-\nu +\nu u}{M( \nu )}ST\bigl[ -k^{\nu }(V_{n}T_{n}-V_{m}T_{m}) \\ &\qquad{} - d^{\nu }(T_{n}- T_{m}) + b^{\nu }(U_{n}-U_{m})\bigr]\biggr\} \biggr\Vert \\ & \quad \leq \Vert T_{n}-T_{m} \Vert +ST^{-1} \biggl\{ \frac{1-\nu +\nu u}{M( \nu )} ST\bigl[ \bigl\Vert -k^{\nu }V_{n}(T_{n}-T_{m}) \bigr\Vert \\ & \qquad{} + \bigl\Vert -k^{\nu }T_{m}(V_{n}-V_{m}) \bigr\Vert + \bigl\Vert -d^{\nu }(T_{n}-T_{m}) \bigr\Vert + \bigl\Vert b^{\nu }(U_{n}- U_{m}) \bigr\Vert \bigr] \biggr\} . \end{aligned}$$

Because of the same role of both solutions, we shall consider

$$ \bigl\Vert T_{n}(t)-T_{m}(t) \bigr\Vert \cong \bigl\Vert U_{n}(t)-U_{m}(t) \bigr\Vert \cong \bigl\Vert V_{n}(t)-V _{m}(t) \bigr\Vert . $$

From equations (29) and (30), we obtain

$$\begin{aligned} \bigl\Vert F(T_{n}(t) -F\bigl(T_{m}(t) \bigr) \bigr\Vert \leq{}& \bigl\Vert T_{n}(t)-T_{m}(t) \bigr\Vert \\ & {} + ST^{-1} \biggl\{ \frac{1-\nu +\nu u}{M(\nu )} ST\bigl[ \bigl\Vert -k^{ \nu }V_{n}(t) \bigl( T_{n}(t)-T_{m}(t) \bigr) \bigr\Vert \\ & {} + \bigl\Vert -k^{\nu }T_{m}(t) \bigl(T_{n}(t)-T_{m}(t)\bigr) \bigr\Vert \\ & {} + \bigl\Vert -d^{\nu }\bigl(T_{n}(t) - T_{m}(t)\bigr) \bigr\Vert + \bigl\Vert b^{\nu } \bigl(T_{n}(t)-T _{m}(t)\bigr) \bigr\Vert \bigr] \biggr\} . \end{aligned}$$

Since \(V_{n}\), \(T_{m}\), \(U_{n}\) are convergent sequences, then they are bounded, so there exist \(M_{1}\), \(M_{2}\), \(M_{3}\) for all t such that

$$ \Vert V_{n} \Vert < M_{3},\qquad \Vert T_{m} \Vert < M_{1}, \qquad \Vert U_{n} \Vert < M_{2}, \quad (m,n)\in N \times N. $$

From equations (31) and (32), we obtain the following:

$$ \begin{aligned}[b] \bigl\Vert F(T_{n}(t) - F\bigl(T_{m}(t)\bigr) \bigr\Vert \leq{}& \bigl\{ 1-d^{\nu }f_{1}( \eta )-k^{\nu }M _{3}f_{2}(\eta )-k^{\nu }M_{1}f_{3}(\eta )+b^{\nu }f_{4}( \eta )\bigr\} \\ & {} \times \bigl\Vert T_{n}(t)-T_{m}(t) \bigr\Vert , \end{aligned} $$

where \(f_{i}\) are functions from \(ST^{-1}[\frac{1-\nu +\nu u}{M( \nu )} ST[*]]\). In the same way, we get

$$\begin{aligned}& \begin{aligned}[b] \bigl\Vert F(U_{n}(t)-F \bigl(U_{m}(t)\bigr) \bigr\Vert \leq {}&\bigl\{ 1 + \bigl(b^{\nu }+\delta ^{\nu }\bigr)f_{5}( \eta )+k^{\nu }M_{3}f_{6}(\eta )+k^{\nu }M_{1}f_{7}( \eta )\bigr\} \\ & {}\times \bigl\Vert U_{n}(t)-U_{m}(t) \bigr\Vert , \end{aligned} \end{aligned}$$
$$\begin{aligned}& \begin{aligned} \bigl\Vert F(V_{n}(t)-F \bigl(V_{m}(t)\bigr) \bigr\Vert \leq \bigl\{ 1+N\delta ^{\nu } f_{8} (\eta ) - c ^{\nu }f_{9}( \eta )\bigr\} \bigl\Vert V_{n}(t)-V_{m}(t) \bigr\Vert , \end{aligned} \end{aligned}$$


$$ \textstyle\begin{cases} \{1-d^{\nu }f_{1}(\eta )-k^{\nu }M_{3}f_{2}(\eta )-k^{\nu }M_{1}f_{3}( \eta )+b^{\nu }f_{4}(\eta )\}< 1 , \\ \{1+(b^{\nu }+\delta ^{\nu })f_{5}(\eta )+k^{\nu }M_{3}f_{6}(\eta )+k ^{\nu }M_{1}f_{7}(\eta )\}< 1, \\ \{1+N\delta ^{\nu } f_{8}(\eta )-c^{\nu }f_{9}(\eta )\}< 1. \end{cases} $$

Then the F self-mapping has a fixed point. In addition, we show that F satisfies the conditions in Theorem 1. Let (33), (34), and (35) hold, so we assume

$$ R=(0,0,0),\qquad r=\textstyle\begin{cases} (1-d^{\nu }f_{1}(\eta )-k^{\nu }M_{3}f_{2}(\eta )-k^{\nu }M_{1}f_{3}( \eta )+b^{\nu }f_{4}(\eta )), \\ (1+(b^{\nu }+\delta ^{\nu })f_{5}(\eta )+k^{\nu }M_{3}f_{6}(\eta )+k ^{\nu }M_{1}f_{7}(\eta )), \\ (1+N\delta ^{\nu } f_{8}(\eta )-c^{\nu }f_{9}(\eta )). \end{cases} $$

Then all conditions of Theorem 1 are fulfilled and the proof is complete. □

Solution of equations by HATM method

To solve equations (3), we apply the Laplace transform on the both sides of equations:

$$ \textstyle\begin{cases} L[{}^{\mathrm{CF}}_{0} {D}^{\nu }_{t} T(t)](S)=L[\beta -k^{\nu }V(t)T(t)-d^{ \nu }T(t)+b^{\nu }U(t)], \\ L[{}^{\mathrm{CF}}_{0} {D}^{\nu }_{t} U(t)](s)=L[k^{\nu }V(t)T(t)-(b^{\nu }+ \delta ^{\nu })U(t)], \\ L[{}^{\mathrm{CF}}_{0} {D}^{\nu }_{t} V(t)](s)=L[N\delta ^{\nu } U(t)-c^{\nu }V(t)]. \end{cases} $$


$$ \textstyle\begin{cases} \frac{sL(T)-T(0)}{s+\nu (1-s)}=L(\beta -k^{\nu }VT-d^{\nu }T+b^{ \nu }U), \\ \frac{sL(U)-U(0)}{s+\nu (1-s)}=L(k^{\nu }VT-(b^{\nu }+\delta ^{\nu })U), \\ \frac{sL(V)-V(0)}{s+\nu (1-s)}=L(N\delta ^{\nu } U-c^{\nu }V). \end{cases} $$

We get

$$ \textstyle\begin{cases} L(T)-\frac{T_{0}}{s}-\frac{s+\nu (1-s)}{s}L(\beta -k^{\nu }VT-d^{ \nu }T+b^{\nu }U)=0, \\ L(U)-\frac{U_{0}}{s}-\frac{s+\nu (1-s)}{s}L(k^{\nu }VT-(b^{\nu }+ \delta ^{\nu })U)=0, \\ L(V)-\frac{V_{0}}{s}-\frac{s+\nu (1-s)}{s}L(N\delta ^{\nu } U-c^{ \nu }V)=0. \end{cases} $$

Using the homotopy method, the nonlinear operator is defined as follows:

$$\begin{aligned}& \begin{gathered} N_{1}\bigl(\varphi _{1}(t;p), \varphi _{2} (t;p), \varphi _{3}(t;p)\bigr)\\ \quad =L\bigl( \varphi _{1}(t;p)\bigr)-\frac{T_{0}}{s} -\frac{s+\nu (1-s)}{s} \\ \qquad{} \times L\bigl[\beta -k^{\nu } \varphi _{3}(t;p) \varphi _{1}(t;p) - d^{\nu }\varphi _{1} (t;p)+b^{\nu }\varphi _{2}(t;p)\bigr], \\ N_{2}\bigl(\varphi _{1}(t;p), \varphi _{2}(t;p),\varphi _{3}(t;p)\bigr)\\ \quad =L\bigl( \varphi _{2}(t;p)\bigr) -\frac{U_{0}}{s} -\frac{s+\nu (1-s)}{s} \\ \qquad{}\times L\bigl[ k^{\nu }\varphi _{3}(t;p) \varphi _{1}(t;p)-\bigl(b^{ \nu }+\delta ^{\nu }\bigr) \varphi _{2}(t;p)\bigr], \\ N_{3}\bigl(\varphi _{1}(t;p), \varphi _{2}(t;p),\varphi _{3}(t;p)\bigr)\\ \quad =L\bigl( \varphi _{3}(t;p)\bigr)-\frac{V_{0}}{s}-\frac{s+\nu (1-s)}{s} \\ \qquad{} \times L\bigl[N\delta ^{\nu } \varphi _{2}(t;p)-c^{\nu } \varphi _{3}(t;p)\bigr]. \end{gathered} \end{aligned}$$

The so-called zero-order deformation equations of the Laplace transform equation (41) have been shown by Liao [41] to have the form

$$ \begin{gathered} (1-p)L\bigl[\varphi _{1}(t;p)-T_{0}(t)\bigr]=phH(t)N_{1}\bigl( \varphi _{1}(t;p),\varphi _{2}(t;p),\varphi _{3}(t;p)\bigr), \\ (1-p)L\bigl[\varphi _{2}(t;p)-U_{0}(t) \bigr]=phH(t)N_{2}\bigl(\varphi _{1}(t;p),\varphi _{2}(t;p),\varphi _{3}(t;p)\bigr), \\ (1-p)L\bigl[\varphi _{3}(t;p)-V_{0}(t) \bigr]=phH(t)N_{3}\bigl(\varphi _{1}(t;p),\varphi _{2}(t;p),\varphi _{3}(t;p)\bigr), \end{gathered} $$

where \(p\in [0,1]\) is the embedding parameter, \(h\neq 0\) is a nonzero auxiliary parameter, \(H(t)\neq 0\) is an auxiliary function, L is an auxiliary linear operator, \(T_{0}(t)\), \(U_{0}(t)\), and \(V_{0}(t)\) are initial guesses of \(T(t)\), \(U(t)\), and \(V(t)\), and \(\varphi _{i}(t;p), i=1,2,3\), are unknown functions respectively. It is important that one has great freedom to choose auxiliary things in HAM. Obviously, when \(p=0\) and \(p=1\),

$$ \textstyle\begin{cases} \varphi _{1}(t;0)=T_{0}(t), \qquad \varphi _{1}(t;1)=T(t), \\ \varphi _{2}(t;0)=U_{0}(t), \qquad \varphi _{2}(t;1)=U(t), \\ \varphi _{3}(t;0)=V_{0}(t), \qquad \varphi _{3}(t;1)=V(t). \end{cases} $$

Then as p increases from 0 to 1, the solution \((\varphi _{1} (t;p), \varphi _{2}(t;p),\varphi _{3}(t;p))\) varies from the initial guess \((T_{0}(t),U_{0}(t),V_{0}(t))\) to the solution \((T(t),U(t),V(t))\). Expanding \(\varphi _{1}(t;p)\), \(\varphi _{2}(t;p)\), and \(\varphi _{3}(t;p)\) in Taylor series with respect to p, we have

$$ \begin{gathered} \varphi _{1}(t;p)=T_{0}+ \sum_{m=1}^{\infty } T_{m}(t) p^{m}, \\ \varphi _{2}(t;p)=U_{0}+\sum _{m=1}^{\infty } U_{m}(t) p^{m}, \\ \varphi _{3}(t;p)=V_{0}+\sum _{m=1}^{\infty } V_{m}(t) p^{m}, \end{gathered} $$

where \(T_{m}(t)=\frac{1}{m!}\frac{\partial ^{m}\varphi _{1}(t;p)}{ \partial p^{m}}| _{p=0}\) and \(U_{m}(t)=\frac{1}{m!}\frac{\partial ^{m}\varphi _{2}(t;p)}{\partial p^{m}}| _{p=0}\) and \(V_{m}(t)= \frac{1}{m!}\frac{\partial ^{m}\varphi _{3}(t;p)}{\partial p^{m}}| _{p=0}\). If the auxiliary linear operator, the initial guess, the auxiliary parameter h, and the auxiliary function \(H(t)\) are properly chosen, then series (44) converges at \(p=1\) as proved by Liao [41] (and see [4, 5]), we have

$$ \begin{gathered} X(t)=X_{0}+\sum _{m=1}^{\infty } X_{m}(t), \\ Y(t)=Y_{0}+\sum_{m=1}^{\infty } y_{m}(t). \end{gathered} $$

The mth-order deformation equation is presented by

$$ \textstyle\begin{cases} L[T_{m}(t)-\chi _{m}T_{m-1}(t)]=hH R_{1,m}(T_{m-1}), \\ L[U_{m}(t)-\chi _{m}U_{m-1}(t)]=hH R_{2,m}(U_{m-1}), \\ L[V_{m}(t)-\chi _{m}V_{m-1}(t)]=hH R_{3,m}(V_{m-1}). \end{cases} $$

So that

$$\begin{aligned} &R_{1,m}\bigl(\vec{T}_{m-1}(t), \vec{U}_{m-1}(t), \vec{V}_{m-1}(t)\bigr)\\ &\quad =L\bigl[T _{m-1}(t)\bigr]- \frac{T_{0}}{s}(1-\chi _{m}) \\ &\qquad {}-\frac{s+\nu (1-s)}{s} \times L\bigl[ \beta -k^{\nu }V_{m-1}T_{m-1}-d ^{\nu }T_{m-1}+b^{\nu }U_{m-1}\bigr], \\ &R_{2,m}\bigl(\vec{T}_{m-1}(t), \vec{U}_{m-1}(t), \vec{V}_{m-1}(t)\bigr)\\ &\quad =L\bigl[U _{m-1}(t)\bigr]- \frac{U_{0}}{s}(1-\chi _{m}) \\ &\qquad {} -\frac{s+\nu (1-s)}{s}\times L\bigl[k^{\nu }V_{m-1}T_{m-1}- \bigl(b^{\nu }+ \delta ^{\nu }\bigr)U_{m-1}\bigr], \end{aligned}$$


$$ \begin{aligned}[b] & R_{3,m}\bigl( \vec{T}_{m-1}(t), \vec{U}_{m-1}(t),\vec{V}_{m-1}(t) \bigr) \\ &\quad = L\bigl[V_{m-1}(t)\bigr]-\frac{V_{0}}{s}(1-\chi _{m})-\frac{s +\nu (1-s)}{s} \times L\bigl[N\delta ^{\nu } U_{m-1}-c^{\nu }V_{m-1}\bigr]. \end{aligned} $$

Using the inverse Laplace transform, we obtain

$$ \textstyle\begin{cases} T_{m}(t)=\chi _{m}T_{m-1}(t)+hH L^{-1}[R_{1,m}(T_{m-1})], \\ U_{m}(t)=\chi _{m}U_{m-1}(t)+hH L^{-1}[R_{2,m}(U_{m-1})], \\ V_{m}(t)=\chi _{m}V_{m-1}(t)+hH L^{-1}[R_{3,m}(V_{m-1})]. \end{cases} $$

On solving the above equations for \(m=1,2,3,\ldots \) , we get

$$ \textstyle\begin{cases} T_{1}(t) =-hH (1+\nu (t-1))(\beta -k^{\nu } V_{0}T_{0}-d^{\nu }T _{0}+b^{\nu }U_{0}) \\ \hphantom{T_{1}(t)} =-hH(1+\nu (t-1))M_{1}, \\ U_{1}(t) =-hH (1+\nu (t-1))(k^{ \nu } V_{0}T_{0}-(b^{\nu }+\delta ^{\nu })U_{0}) \\ \hphantom{U_{1}(t)} =-hH(1+\nu (t-1))M_{2}, \\ V_{1}(t) =-hH (1+\nu (t-1))(N\delta ^{\nu } U_{0}-c^{\nu }V_{0}) \\ \hphantom{V_{1}(t)} =-hH(1+\nu (t-1))M_{3}, \end{cases} $$

where \(M_{1}=\beta - k^{\nu }V_{0} T_{0}-d^{\nu }T_{0}+b^{\nu }U_{0}\), \(M_{2} = k^{\nu }V_{0}T_{0}-(b^{\nu }+\delta ^{\nu })U_{0}\), and \(M_{3}=N\delta ^{\nu } U_{0}-c^{\nu }V_{0}\). Consequently, the solutions of equations (3) are given as follows:

$$\begin{aligned} &T(t) =T_{0}+T_{1}+T_{2}+ \cdots=T_{0}-hH\bigl(1+\nu (t-1)\bigr)M_{1}+\cdots, \\ &U(t) =U_{0}+U_{1}+U_{2}+ \cdots=U_{0}-hH\bigl(1+\nu (t-1)\bigr)M_{2}+ \cdots, \\ &V(t) =V_{0}+V_{1}+V_{2}+ \cdots=V_{0}-hH\bigl(1+\nu (t-1)\bigr)M_{3}+ \cdots, \end{aligned}$$

where \(M_{1}=\beta -k^{\nu }V_{0}T_{0}-d^{\nu }T_{0}+b^{\nu }U_{0}\) and \(M_{2}=k^{\nu }V_{0}T_{0}-(b^{\nu }+\delta ^{\nu })U_{0}\) and \(M_{3}=N\delta ^{\nu } U_{0}-c^{\nu }V_{0}\).

Convergency of HATM for FDEs

We prove the convergence of the HATM method for equation (40) as our next result.

Theorem 3

Let the series\(\sum_{m=0}^{\infty }T_{m}(t)\)and\(\sum_{m=0}^{\infty }U_{m}(t)\)and\(\sum_{m=0}^{\infty }V_{m}(t)\)converge uniformly to\(T(t)\), \(U(t)\), and\(V(t)\)respectively, where\(T_{m}(t), U_{m}(t),V _{m}(t) \in L(R^{+})\)are produced by themth-order deformation (46), and besides\(\sum_{m=0}^{\infty } D^{\nu }T_{m}(t)\)and\(\sum_{m=0} ^{\infty } D^{\nu }U_{m}(t)\)and\(\sum_{m=0}^{\infty } D^{\nu }V_{m}(t)\)also converge. Then\(T(t)\), \(U(t)\), \(V(t)\)is the solution of (40).


Suppose that \(\sum_{m=0}^{\infty }T_{m}(t)\) converges uniformly to \(T(t)\), then clearly \(\lim_{m\to \infty }T_{m}(t)=0\) for all \(t\in R^{+} \). Since Laplace is a linear operator, we have

$$\begin{aligned} &\sum_{m=1}^{n} L \bigl[T_{m}(t) - \chi _{m}T_{m-1}(t)\bigr] \\ &\quad = \sum_{m=1}^{n} \bigl[ LT _{m}(t) -\chi _{m} LT_{m-1}(t)\bigr] \\ &\quad = LT_{1}(t)+\bigl(LT_{2}(t)- LT_{1}(t) \bigr)+\cdots + \bigl(LT_{n}(t)-LT_{n-1}(t)\bigr)=LT _{n}(t). \end{aligned}$$

Thus, from (51) we derive

$$ \sum_{m=1}^{\infty }L \bigl[T_{m}(t)- \chi _{m}T_{m-1}(t)\bigr]= \lim_{n\rightarrow \infty }LT_{n}(t)=L \Bigl(\lim_{n\rightarrow \infty }T _{n}(t)\Bigr)=0. $$

Hence \(hH\sum_{m=1}^{\infty } R_{1,m}(\vec{T}_{m-1}(t)=\sum_{m=1}^{ \infty }L [T_{m}(t)-\chi _{m}T_{m-1}(t)]=0\).

Since \(h\neq 0\), \(H\neq 0\), this yields \(\sum_{m=1}^{\infty } R_{1,m}( \vec{T}_{m-1}(t)=0\). Similarly, we can prove

$$ \sum_{m=1}^{\infty } R_{2,m}( \vec{U}_{m-1}(t)=0 , \qquad \sum_{m=1}^{\infty } R_{3,m}(\vec{V}_{m-1}(t)=0. $$

Now from (47) we have

$$\begin{aligned} 0 = {}& \sum_{m=1}^{\infty }\biggl\{ L \bigl[T_{m-1}(t)\bigr]-\frac{T_{0}}{s}(1-\chi _{m})- \frac{s+ \nu (1-s)}{s} \\ & {}\times L\bigl[\beta -k^{\nu }V_{m-1}T_{m-1}-d^{\nu }T_{m-1}+b^{ \nu }U_{m-1} \bigr]\biggr\} \\ ={}&L\Biggl[\sum_{m=1}^{\infty }T_{m-1}(t) \Biggr]-\frac{T_{0}}{s}\sum_{m=1}^{ \infty }(1- \chi _{m})-\frac{s+\nu (1-s)}{s} \\ & {}\times L\Biggl[\beta -k^{\nu }\sum _{m=1}^{\infty }V_{m-1}(t)T_{m-1}(t)-d ^{\nu }\sum_{m=1}^{\infty }T_{m-1}(t) +b^{\nu }\sum_{m=1}^{\infty } U _{m-1}(t)\Biggr] \\ ={}& L\bigl[T(t)\bigr]-\frac{T_{0}}{s}-\frac{s+\nu (1-s)}{s}L\bigl[\beta -k^{\nu }V(t)T(t)-d ^{\nu }T(t)+b^{\nu }U(t)\bigr]. \end{aligned}$$


$$\begin{aligned} 0 ={}& \sum_{m=1}^{ \infty } \biggl\{ L\bigl[U_{m-1}(t)\bigr]-\frac{U_{0}}{s}(1-\chi _{m})-\frac{s+ \nu (1-s)}{s} L\bigl[U_{m-1}(t)\bigr]- \frac{U_{0}}{s}(1-\chi _{m}) \\ &{} - \frac{s+\nu (1-s)}{s}L\bigl[k^{\nu }V_{m-1}T_{m-1}- \bigl(b^{\nu }+ \delta ^{\nu }\bigr)U_{m-1}\bigr] \biggr\} \\ ={}& L\Biggl[\sum_{m=1}^{\infty }U_{m-1}(t) \Biggr]-\frac{U_{0}}{s}\sum_{m=1}^{ \infty }(1- \chi _{m}) \\ & {} -\frac{s+\nu (1-s)}{s}L\Biggl[k^{\nu }\sum _{m=1}^{\infty }V_{m-1}T _{m-1}- \bigl(b^{\nu }+\delta ^{\nu }\bigr)\sum _{m=1}^{\infty }U_{m-1}\Biggr] \\ ={}& L\bigl[U(t)\bigr]-\frac{U_{0}}{s}-\frac{s+\nu (1-s)}{s}L \bigl[k^{\nu }V(t)T(t)-\bigl(b ^{\nu }+\delta ^{\nu } \bigr)U(t)\bigr], \end{aligned}$$


$$\begin{aligned} 0= & \sum_{m=1}^{\infty } \biggl\{ L\bigl[V_{m-1}(t)\bigr]-\frac{V_{0}}{s}(1-\chi _{m})-\frac{s+ \nu (1-s)}{s} L\bigl[V_{m-1}(t)\bigr] \\ & \quad - \frac{V_{0}}{s}(1-\chi _{m})-\frac{s+\nu (1-s)}{s}L \bigl[N \delta ^{\nu } U_{m-1}, -c^{\nu }V_{m-1} \bigr]\biggr\} \\ &= L\Biggl[\sum_{m=1}^{\infty }V_{m-1}(t) \Biggr]-\frac{V_{0}}{s}\sum_{m=1}^{ \infty }(1- \chi _{m}) \\ & \quad -\frac{s+\nu (1-s)}{s} L\Biggl[N\delta ^{\nu }\sum _{m=1}^{\infty } U _{m-1} -c^{\nu } \sum_{m=1}^{\infty }V_{m-1}\Biggr] \\ & =L\bigl[V(t)\bigr]-\frac{V_{0}}{s}-\frac{s+\nu (1-s)}{s}L\bigl[N \delta ^{\nu } U(t)-c ^{\nu }V(t)\bigr]. \end{aligned}$$

Therefore \(T(t)\), \(U(t)\), and \(V(t)\) are the solutions of equation (40) and the proof is complete. □

Numerical results

In this section, we present a numerical simulation of the results of the HIV-1 infection T-cells system (3). The values of the parameters are also selected as \(N=1000\), \(\delta =0.16\), \(k=0.000024\), \(b=0.2\), \(c=3.4\), \(\beta =10\), \(d=0.01\) and the initial conditions are given by \(V_{0}=0.001\), \(U_{0}=0\), \(T_{0}=1000\) (see [9]). Next, we compute the HATM solutions for different values of \(\nu = 0.95, 0.96, 0.97, 0.98, 0.99, 1\), \(h=-1\), and \(H=1\). Figures 1, 2 show the results and indicate that as \(\nu \rightarrow 1\), the approximate solutions tend to the classic integer solution with \(\nu =1\). A comparison between the noninteger order model with \(\nu =0.95\) and the integer order \(\nu =1\) is also given in Tables 13. The results verify the efficacy and accuracy of the new fractional model.

Figure 1

Dynamics of uninfected and infected \(CD4^{+}\) T-cells, respectively T and U for various values of ν

Figure 2

Dynamics of free HIV virus particles in the blood for various values of ν

Table 1 Results of three types of derivative: ordinary derivative \(D^{\nu }\), Caputo fractional derivative \(^{c}D^{\nu }\), and Caputo–Fabrizio fractional derivative \({}^{\mathrm{CF}}D^{\nu }\) for \(T(t)\)
Table 2 Results of three types of derivative: ordinary derivative \(D^{\nu }\), Caputo fractional derivative \(^{c}D^{\nu }\), and Caputo–Fabrizio fractional derivative \({}^{\mathrm{CF}}D^{\nu }\) for \(U(t)\)
Table 3 Results of three types of derivative: ordinary derivative \(D^{\nu }\), Caputo fractional derivative \(^{c}D^{\nu }\), and Caputo–Fabrizio fractional derivative \({}^{\mathrm{CF}}D^{\nu }\) for \(V(t)\)


In this work, we extend the model of HIV-1 infection of \(CD4^{+}\) T-cell to the concept of Caputo–Fabrizio fractional derivative. We solve the related fractional differential equations by using the HATM method. The existence and uniqueness of the solutions are studied with a fixed point theorem. We present the special solution by using the Sumudu transform of the Caputo–Fabrizio derivation. Also, some numerical results are presented for different values of ν to show the effect of the fractional order. Finally, we compare the results of the ordinary, Caputo, and Caputo–Fabrizio derivatives.


  1. 1.

    Liu, Y., Wong, P.J.Y.: Global existence of solutions for a system of singular fractional differential equations with impulse effects. J. Appl. Math. Inform. 33(3–4), 327–342 (2015)

  2. 2.

    Wang, L., Li, M.Y.: Mathematical analysis of the global dynamics of a model for HIV infection of \(CD4^{+}\) T cells. Math. Biosci. 200(1), 44–57 (2006)

  3. 3.

    Rihan, F.A.: Numerical modeling of fractional-order biological systems. Abstr. Appl. Anal. 2013, Article ID 816803 (2013)

  4. 4.

    Rafei, M., Ganji, D.D., Daniali, H.: Solution of the epidemic model by homotopy perturbation method. Appl. Math. Comput. 187(2), 1056–1062 (2007)

  5. 5.

    Arqub, O.A., El-Ajou, A.: Solution of the fractional epidemic model by homotopy analysis method. J. King Saud Univ., Sci. 25(1), 73–81 (2013)

  6. 6.

    Lichae, B.H., Biazar, J., Ayati, Z.: The fractional differential model of HIV-1 infection of \(CD4^{+}\) T-cells with description of the effect of antiviral drug treatment. Comput. Math. Methods Med. 2019, Article ID 4059549 (2019).

  7. 7.

    Bulut, H., Kumar, D., Singh, J., Swroop, R., Baskonus, H.M.: Analytic study for a fractional model of HIV infection of \(CD4^{+}\)T lymphocyte cells. Math. Nat. Sci. 2, 33–43 (2018)

  8. 8.

    Culshaw, R.V., Ruan, S.: A delay-differential equation model of HIV infection of CD4(+) T-cells. Math. Biosci. 165(1), 27–39 (2000)

  9. 9.

    Arafa, A.A.M., Rida, S.Z., Khalil, M.: Fractional modeling dynamics of HIV and \(CD4^{+}\) T-cells during primary infection. Nonlinear Biomed. Phys. 6(1), 1–7 (2012)

  10. 10.

    Ding, Y., Ye, H.: A fractional-order differential equation model of HIV infection of \(CD4^{+}\) T-cells. Math. Comput. Model. 50(3–4), 386–392 (2009)

  11. 11.

    Atangana, A., Alkahtani, B.S.T.: Analysis of the Keller–Segel model with a fractional derivative without singular kernel. Entropy 17(6), 4439–4453 (2015)

  12. 12.

    Baleanu, D., Guvenc, Z.B., Tenreiro Machado, J.A.: New Trends in Nano Technology and Fractional Calculus Applications. Springer, New York (2010)

  13. 13.

    Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)

  14. 14.

    Caputo, M., Fabrizio, M.: A new definition of fractional derivative without singular kernel. Prog. Fract. Differ. Appl. 1(2), 73–85 (2015)

  15. 15.

    Losada, J., Nieto, J.J.: Properties of the new fractional derivative without singular kernel. Prog. Fract. Differ. Appl. 1(2), 87–92 (2015)

  16. 16.

    Alkahtani, B.S.T., Koca, I., Atangana, A.: Analysis of a new model of H1N1 spread: model obtained via Mittag-Leffler function. Adv. Mech. Eng. 9(8), 1–8 (2017)

  17. 17.

    Bushnaq, S., Khan, S.A., Shah, K., Zaman, G.: Existence theory of HIV-1 infection model by using arbitrary order derivative of without singular kernel type. J. Math. Anal. 10(9), 1–13 (2018)

  18. 18.

    Bushnaq, S., Khan, S.A., Shah, K., Zaman, G.: Mathematical analysis of HIV-AIDS infection model with Caputo–Fabrizio fractional derivative. Cogent Math. Stat. 5(1), 1432–1442 (2018)

  19. 19.

    Khan, S.A., Shah, G.Z.K., Jarad, F.: Existence theory and numerical solutions to smoking model under Caputo–Fabrizio fractional derivative. Chaos, Interdiscip. J. Nonlinear Sci. 29, 013128 (2019)

  20. 20.

    Kalvandi, V., Samei, M.E.: New stability results for a sum-type fractional q-integro-differential equation. J. Adv. Math. Stud. 12(2), 201–209 (2019)

  21. 21.

    Samei, M.E., Hedayati, V., Rezapour, S.: Existence results for a fraction hybrid differential inclusion with Caputo–Hadamard type fractional derivative. Adv. Differ. Equ. 2019, 163 (2019).

  22. 22.

    Aydogan, S.M., Baleanu, D., Mousalou, A., Rezapour, S.: On approximate solutions for two higher-order Caputo–Fabrizio fractional integro-differential equations. Adv. Differ. Equ. 2017, 221 (2017)

  23. 23.

    Baleanu, D., Mohammadi, H., Rezapour, S.: On a nonlinear fractional differential equation on partially ordered metric spaces. Adv. Differ. Equ. 2013, 83 (2013).

  24. 24.

    Baleanu, D., Ghafarnezhad, K., Rezapour, S.: On a three steps crisis integro-differential equation. Adv. Differ. Equ. 2019, 153 (2019)

  25. 25.

    Baleanu, D., Mohammadi, H., Rezapour, S.: The existence of solutions for a nonlinear mixed problem of singular fractional differential equations. Adv. Differ. Equ. 2013, 359 (2013).

  26. 26.

    Baleanu, D., Mousalou, A., Rezapour, S.: A new method for investigating approximate solutions of some fractional integro-differential equations involving the Caputo–Fabrizio derivative. Adv. Differ. Equ. 2017(1), 51 (2017).

  27. 27.

    Baleanu, D., Mousalou, A., Rezapour, S.: The extended fractional Caputo–Fabrizio derivative of order \(0 \leq \sigma <1\) on \(c_{\mathbb{R} } [0,1]\) and the existence of solutions for two higher-order series-type differential equations. Adv. Differ. Equ. 2018(1), 255 (2018).

  28. 28.

    Aydogan, M.S., Baleanu, D., Mousalou, A., Rezapour, S.: On high order fractional integro-differential equations including the Caputo–Fabrizio derivative. Bound. Value Probl. 2018(1), 90 (2018).

  29. 29.

    Hedayati, V., Samei, M.: Positive solutions of fractional differential equation with two pieces in chain interval and simultaneous Dirichlet boundary conditions. Bound. Value Probl. 2019, 141 (2019).

  30. 30.

    Samei, M.E., Hedayati, V., Ranjbar, G.K.: The existence of solution for k-dimensional system of Langevin Hadamard-type fractional differential inclusions with 2k different fractional orders. Mediterr. J. Math. 17, 1–22 (2020).

  31. 31.

    Samei, M.E.: Existence of solutions for a system of singular sum fractional q-differential equations via quantum calculus. Adv. Differ. Equ. 2020, 23 (2020).

  32. 32.

    Samei, M.E., Khalilzadeh Ranjbar, G., Hedayati, V.: Existence of solutions for a class of Caputo fractional q-difference inclusion on multifunctions by computational results. Kragujev. J. Math. 45(4), 543–570 (2021)

  33. 33.

    Baleanu, D., Mousalou, A., Rezapour, S.: On the existence of solutions for some infinite coefficient-symmetric Caputo–Fabrizio fractional integro-differential equations. Bound. Value Probl. 2017(1), 145 (2017).

  34. 34.

    Aydogan, S.M., Baleanu, D., Mousalou, A., Rezapour, S.: On approximate solutions for two higher-order Caputo–Fabrizio fractional integro-differential equations. Adv. Differ. Equ. 2017(1), 221 (2017).

  35. 35.

    Baleanu, D., Hedayati, V., Rezapour, S., Al-Qurashi, M.M.: On two fractional differential inclusions. SpringerPlus 5(1), 882 (2016)

  36. 36.

    Dokuyucu, M.A., Celik, E., Bulut, H., Baskonus, H.M.: Cancer treatment model with the Caputo–Fabrizio fractional derivative. Eur. Phys. J. Plus 133, 92 (2018)

  37. 37.

    Koca, I.: Analysis of rubella disease model with non-local and non-singular fractional derivatives. Int. J. Optim. Control Theor. Appl. 8(1), 17–25 (2018)

  38. 38.

    Rosa, S., Torres, D.F.M.: Optimal control and sensitivity analysis of a fractional order TB model. Stat. Optim. Inf. Comput. 7(2), 189–195 (2019)

  39. 39.

    Ucar, E., Ozdemir, N., Altun, E.: Fractional order model of immune cells influenced by cancer cells. Math. Model. Nat. Phenom. 14(3), 308 (2019)

  40. 40.

    Khuri, S.A.: A Laplace decomposition algorithm applied to a class of nonlinear differential equations. J. Appl. Math. 1(4), 141–155 (2001)

  41. 41.

    Liao, S.J.: Beyond Perturbation: Introduction to Homotopy Analysis Method. Chapman & Hall, New York (2003)

  42. 42.

    Rida, S.Z., Arafa, A.A.M., Gaber, Y.A.: Solution of the fractional epidemic model by L-ADM. J. Fract. Calc. Appl. 7(1), 189–195 (2016)

  43. 43.

    Aydogan, S.M., Baleanu, D., Mousalou, A., Rezapour, S.: On high order fractional integro-differential equations including the Caputo–Fabrizio derivative. Bound. Value Probl. 2018, 90 (2018)

  44. 44.

    Abdeljawad, T., Baleanu, D.: On fractional derivatives with exponential kernel and their discrete versions. Rep. Math. Phys. 80(1), 11–27 (2017)

  45. 45.

    Belgacem, F.B.M., Karaballi, A.A., Kalla, S.L.: Analytical investigations of the Sumudu transform and applications to integral production equations. Math. Probl. Eng. 3, 103–118 (2003)

  46. 46.

    Bodkhe, D.S., Panchal, S.K.: On Sumudu transform of fractional derivatives and its applications to fractional differential equations. Asian J. Math. Comput. Res. 11(1), 69–77 (2016)

  47. 47.

    Shah, K., Junaid, N.A.M.: Extraction of Laplace, Sumudu, Fourier and Mellin transform from the natural transform. J. Appl. Environ. Biol. Sci. 5(9), 1–10 (2015)

  48. 48.

    Watugala, G.K.: Sumudu transform: a new integral transform to solve differential equations and control engineering problems. Int. J. Math. Educ. Sci. Technol. 24(1), 35–43 (1993)

  49. 49.

    Wang, J., Zhou, Y., Medved, M.: Picard and weakly Picard operators technique for nonlinear differential equations in Banach spaces. J. Math. Anal. Appl. 389(1), 261–274 (2012)

Download references


The research of the third author was supported by Azarbaijan University of Shahid Madani and the research of the second author was supported by Miandoab Branch of Islamic Azad University. The authors express their gratitude to dear unknown referees for their helpful suggestions which improved the final version of this paper.

Availability of data and materials

Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.


Not available.

Author information




The authors declare that the study was realized in collaboration with equal responsibility. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Shahram Rezapour.

Ethics declarations

Ethics approval and consent to participate

Not applicable.

Competing interests

The authors declare that they have no competing interests.

Consent for publication

Not applicable.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Baleanu, D., Mohammadi, H. & Rezapour, S. Analysis of the model of HIV-1 infection of \(CD4^{+}\) T-cell with a new approach of fractional derivative. Adv Differ Equ 2020, 71 (2020).

Download citation


  • 37A25
  • 34D20
  • 37M01


  • Fixed point
  • Homotopy analysis method
  • Mathematical model
  • Numerical simulation
  • The Caputo–Fabrizio derivation