 Research
 Open Access
 Published:
Solving a system of fractional partial differential equations arising in the model of HIV infection of CD4^{+} cells and attractor onedimensional KellerSegel equations
Advances in Difference Equations volume 2013, Article number: 94 (2013)
Abstract
In this paper, we make use of the relatively new analytical technique, the homotopy decomposition method (HDM), to solve a system of fractional nonlinear differential equations that arise in the model for HIV infection of CD4^{+} T cells and attractor onedimensional KellerSegel equations. The technique is described and illustrated with a numerical example. The reliability of HDM and the reduction in computations give HDM a wider applicability. In addition, the calculations involved in HDM are very simple and straightforward.
1 Introduction
Fractional calculus has been used to model physical and engineering processes, which are found to be best described by fractional differential equations [1]. It is worth nothing that the standard mathematical models of integerorder derivatives, including nonlinear models, do not work adequately in many cases [2]. In the recent years, fractional calculus has played a very important role in various fields such as mechanics, electricity, chemistry, biology, economics, notably control theory, and signal and image processing [1–10]. Major topics include anomalous diffusion, vibration and control, continuous time random walk, Levy statistics, fractional Brownian motion, fractional neutron point kinetic model, power law, Riesz potential, fractional derivative and fractals, computational fractional derivative equations, nonlocal phenomena, historydependent process, porous media, fractional filters, biomedical engineering, fractional phaselocked loops, fractional variational principles, fractional transforms, fractional wavelet, fractional predatorprey system, soft matter mechanics, fractional signal and image processing, singularities analysis and integral representations for fractional differential systems, special functions related to fractional calculus, nonFourier heat conduction, acoustic dissipation, geophysics, relaxation, creep, viscoelasticity, rheology, fluid dynamics, and chaos. An excellent literature of this can be found in [1–10].
The purpose of this paper is to make use of the homotopy decomposition method (HDM) [11, 12], a relatively new analytical technique, to solve a system of fractional partial differential equations that arise in the model for HIV infection of CD4^{+} T cells and attractor onedimensional KellerSegel equations. In this study, we consider a fractional case of the HIV infection model of CD4^{+} T cells examined in [13]. This model is given by the basic three components which are the concentration of susceptible CD4^{+} T cells, CD4^{+} T cells infected by the HIV viruses and free HIV virus particles in the blood. These CD4^{+} T cells with order cells in human immunity systems fight against diseases. HIV use cells in order to propagate. In a healthy person, the number of CD4^{+} T cells is 800/1200 mm^{3}. CD4^{+} T cells are also called leukocytes or T helper cells on one hand. On the other hand, we consider the fractional parabolic systems to describe the aggregation process of cellular slime mold by the chemical attraction [14]. Recently, the KellerSegel (KS) equations attracted interest of many mathematicians. Local solutions were studied by the second author [15].
The paper is structured as follows. In Section 2, we give a brief history and properties of the fractional derivative order definition. In Section 3, we present the basic ideal of the homotopy decomposition method for solving fractional partial differential equations. We present the application of the HDM for a system of fractional nonlinear differential equations and numerical results in Section 4. The conclusions are then given in the final Section 5.
2 Fractional order derivative
2.1 Brief history
There exists a vast literature on different definitions of fractional derivatives. The most popular ones are the RiemannLiouville and the Caputo derivatives. For Caputo, we have
For the case of RiemannLiouville, we have the following definition:
Each fractional derivative presents some advantages and disadvantages [16, 17]. The RiemannLiouville derivative of a constant is not zero, while the Caputo derivative of a constant is zero but demands higher conditions of regularity for differentiability: to compute the fractional derivative of a function in the Caputo sense, we must first calculate its derivative. Caputo derivatives are defined only for differentiable functions, while functions that have no firstorder derivative might have fractional derivatives of all orders less than one in the RiemannLiouville sense [18, 19]. Recently, Guy Jumarie (see [20, 21]) proposed a simple alternative definition to the RiemannLiouville derivative
His modified RiemannLiouville derivative seems to have advantages over both the standard RiemannLiouville and the Caputo fractional derivatives: it is defined for arbitrary continuous (nondifferentiable) functions, and the fractional derivative of a constant is equal to zero.
We can point out that Caputo and RiemannLiouville derivatives may have their disadvantages, but they are more useful when dealing with some real world problems [11]. Every definition must be used accordingly.
2.2 Properties and definitions
Definition 1 A real function f(x), x>0, is said to be in the space {C}_{\mu}, \mu \in \mathbb{R} if there exists a real number p>\mu, such that f(x)={x}^{p}h(x), where h(x)\in C[0,\mathrm{\infty}), and it is said to be in the space {C}_{\mu}^{m} if {f}^{(m)}\in {C}_{\mu}, m\in \mathbb{N}.
Definition 2 The RiemannLiouville fractional integral operator of order \alpha \ge 0, of a function f\in {C}_{\mu}, \mu \ge 1, is defined as
Properties of the operator can be found in [18, 19], we mention only the following.
For f\in {C}_{\mu}, \mu \ge 1, \alpha ,\beta \ge 0 and \gamma >1:
Lemma 1 If m1<\alpha \le m, m\in \mathbb{N} and f\in {C}_{\mu}^{m}, \mu \ge 1, then
Definition 3 (Partial derivatives of fractional order)
Assume now that f(x) is a function of n variables {x}_{i}, i=1,\dots ,n, which is also of class C on D\in {\mathbb{R}}_{n}. We define a partial derivative of order α for f with respect to {x}_{i}
If it exists, where {\partial}_{xi}^{m} is the usual partial derivative of integer order m.
3 Basic idea of the HDM [11, 12]
To illustrate the basic idea of this method, we consider a general nonlinear nonhomogeneous fractional partial differential equation with initial conditions of the following form:
subject to the initial conditions
where \frac{{\partial}^{\alpha}}{\partial {t}^{\alpha}} denotes the Caputo or RiemannLiouville fraction derivative operator, f is a known function, N is the general nonlinear fractional differential operator and L represents a linear fractional differential operator. The first step of the method here is to transform the fractional partial differential equation to the fractional partial integral equation by applying the inverse operator \frac{{\partial}^{\alpha}}{\partial {t}^{\alpha}} on both sides of equation (3.1) to obtain: in the case of the RiemannLiouville fractional derivative,
in the case of the Caputo fractional derivative,
Or, in general, by putting
we obtain
In the homotopy decomposition method, the basic assumption is that the solutions can be written as a power series in p
and the nonlinear term can be decomposed as
where p\in (0,1] is an embedding parameter. {\mathcal{H}}_{n}(U) is He’s polynomials that can be generated by
The homotopy decomposition method is obtained by the graceful coupling of homotopy technique with the Abel integral and is given by
Comparing the terms of the same powers of p gives solutions of various orders with the first term
Theorem ([11])
Suppose that X and Y are the Banach spaces and V:X\to Y is a contraction nonlinear mapping. If the sequence generated by the homotopy decomposition method is regarded as
then the following statements hold:

(1)
\parallel {U}_{n}(x,t)U(x,t)\parallel \le {\phi}^{n}\parallel T(x,t)U(x,t)\parallel;

(2)
{U}_{n}(x,t) is always in the neighbourhood of U(x,t) meaning {U}_{n}(x,t)\in B(U(x,t),r)=\{{U}^{\ast}(x,t)/\parallel {U}^{\ast}(x,t)U(x,t)\parallel \};

(3)
{lim}_{n\to \mathrm{\infty}}{U}_{n}(x,t)=U(x,t).
Proof (1) We prove the statement (1) by induction on n, \parallel {U}_{1}U\parallel =\parallel G({U}_{0})U\parallel, and according to the Banach fixed point theorem, V has a fixed point U meaning V(U)=U; therefore,
since V is a contraction mapping.
Assume that \parallel {U}_{n1}U\parallel \le {\phi}^{n1}\parallel T(x,0)U(x,t)\parallel is an induction hypothesis, then

(2)
The first concern here is to prove that T(x,t)\in B(U(x,t),r), and this is achieved by induction on m. So, for m=1, \parallel T(x,t)U(x,t)\parallel =\parallel U(x,0)U(x,t)\parallel \le r with U(x,0) the initial condition.
Assume that \parallel T(x,t)U(x,t)\parallel \le r for m2 is an induction hypothesis, then
Now, for all n\ge 1, using (1) we have

(3)
Using (2) and the fact that {lim}_{n\to \mathrm{\infty}}{\phi}^{n}=0 yields that {lim}_{n\to \mathrm{\infty}}\parallel {U}_{n}U\parallel =0; therefore,
\underset{n\to \mathrm{\infty}}{lim}{U}_{n}=U.
□
4 Application
‘In learning science examples are more useful than rules’ (Isaac Newton). In this section we apply this method to solving a system of fractional differential equations.
4.1 Fractional model for HIV infection of CD4^{+} T
This model is characterized by the system of nonlinear differential equations
subject to the initial conditions
Here, r is any positive constant; T(t), I(t) and V(t) show the concentration of susceptible CD4^{+} T cells, CD4^{+} T cells infected by the HIV viruses and free HIV virus particles in the blood, respectively; α, β and γ stand for natural turnover rates of uninfected T cells, infected T cells and virus particles, respectively; (1\frac{T+I}{{T}_{\mathrm{max}}}) describes the logistic growth of healthy CD4^{+} T cells, and proliferation of infected CD4^{+} T cells is neglected. For k>0 is the infection rate, the term KVT describes the incidence of HIV infection of healthy CD4^{+} T cells. Each infected CD4^{+} T cell is assumed to produce one virus particle during its lifetime, including any of its daughter cells. The body is believed to produce CD4^{+} T cells from precursors in the bone marrow and thymus at a constant rate p. T cells multiply through mitosis with a rate r when T cells are stimulated by antigen or mitogen. {T}_{\mathrm{max}} denotes the maximum CD4^{+} T cell concentration in the body [22–25]. We chose the following initial condition and parameters as in [25]:
Following the HDM steps, we arrive at the following integral equations:
Comparing the terms of the same power of p, we obtain the following integral equations that are very easy to solve. Note that, with the homotopy perturbation method (HPM), one will obtain a set of ordinary differential equations after comparing the terms of the same power of p, which is very hard to compute in the case of high order ODE
The components of the series solution are obtained directly
Using the package Mathematica, in the same manner one can obtain the rest of the components. But here, a few terms were computed and the asymptotic solution is given by
Figures 14 show the graphical representation of the approximated solutions obtained via HDM for \mu =0.9, \eta =0.99 and \upsilon =1. It is worth nothing that the solution of the fractional system is not only a function of time, but also a continuous function of fractional order derivatives υ and η. The new parameters (μ, υ and η) introduced in the model can be viewed as new physical parameters that characterise the interaction between the concentration of susceptible CD4^{+} T cells, CD4^{+} T cells infected by the HIV viruses and free HIV virus particles in the blood.
4.2 Fractional attractor onedimensional KellerSegel equations
In 1970 Keller and Segel [15] presented parabolic systems to describe the aggregation process of cellular slime mold by chemical attraction. The system of a simplified form in the onedimensional case is written as follows:
subject to the boundary condition
and the initial conditions
Here, I=(\alpha ,\beta ) is a bounded open interval, a, b, c and d are positive constants. The unknown functions u(x,t) and \rho (x,t) denote the concentration of amoebae and the concentration of a chemical substance, respectively, in I\times (0,\mathrm{\infty}). The chemotactic term \frac{\partial}{\partial x}(u(x,t)\frac{\partial \chi (\rho )}{\partial x}) indicates that the cells are sensitive to the chemicals and are attracted by them. \chi (\rho ), called the sensitivity function, is a smooth function of \rho \in (0,\mathrm{\infty}) which describes a cell’s perception and response to the chemical stimulus ρ.
Example 1 Consider the following KellerSegel equation with the sensitivity function \chi (\rho )=1.
Then the chemotactic term \frac{\partial}{\partial x}(u(x,t)\frac{\partial \chi (\rho )}{\partial x})=0
subject to the initial conditions
In view of the homotopy decomposition method, we obtain the following equations:
Now, comparing the terms of the same power of p, we obtain the following integral equations:
The following solutions are obtained:
Using the software Mathematica, we can obtain the remaining terms. But here only a few terms of the series solutions are considered and the asymptotic solution is given as
Figures 5 and 6 show the biological behaviour of the coupled solution for the following set of theoretical parameters: m=120, n=160, a=0.5, b=3, c=1, and d=2, for a fixed distance x=1, \mu =0.9, \eta =0.99. It is worth noting that the solution of the fractional system is not only a function of time, but also a continuous function of fractional order derivatives. The new parameters (μ and η) introduced in the model can be viewed as new physical parameters that characterise the interaction between the concentration of amoebae and the concentration of a chemical substance.
Example 2 Consider the following KellerSegel equation with the sensitivity function \chi (\rho )=\rho.
Then the chemotactic term \frac{\partial}{\partial x}(u(x,t)\frac{\partial \chi (\rho )}{\partial x})=\frac{\partial u(x,t)}{\partial x}\frac{\partial \rho (x,t)}{\partial x}+u(x,t)\frac{{\partial}^{2}\rho (x)}{\partial {x}^{2}}
subject to the initial conditions
In view of the homotopy decomposition method, we arrive at the following set of integral equations that are very easy to handle:
The following solutions are read:
Using the software Mathematica, the remaining terms can be obtained. But here only a few terms of the series solutions are considered and the asymptotic solution is given as
5 Conclusions
Our concern was to provide asymptotic solutions to the system of fractional nonlinear differential equations that arise in the model for HIV infection of CD4^{+} T cells and attractor onedimensional KellerSegel equations, using a relatively new analytical technique, the homotopy decomposition method. We presented the brief history and some properties of the fractional derivative concept. It is demonstrated that HDM is a powerful and efficient tool for a system of FPDEs. In addition, the calculations involved in HDM are very simple and straightforward.
References
Atangana A: Numerical solution of spacetime fractional order derivative of groundwater flow equation. 2. International Conference of Algebra and Applied Analysis 2012, 20., Istanbul, June 2024
Caputo M: Linear models of dissipation whose Q is almost frequency independent, part II. Geophys. J. Int. 1967, 13(5):529–539. 10.1111/j.1365246X.1967.tb02303.x
Oldham KB, Spanier J: The Fractional Calculus. Academic Press, New York; 1974.
Podlubny I: Fractional Differential Equations. Academic Press, New York; 1999.
Baleanu D, Diethelm K, Scalas E, Trujillo JJ Series on Complexity, Nonlinearity and Chaos. In Fractional Calculus: Models and Numerical Methods. World Scientific, Singapore; 2012.
Kilbas AA, Srivastava HH, Trujillo JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.
Miller KS, Ross B: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York; 1993.
Samko SG, Kilbas AA, Marichev OI: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, Yverdon; 1993.
Zaslavsky GM: Hamiltonian Chaos and Fractional Dynamics. Oxford University Press, London; 2005.
Perelson AS, Kirschner DE, Boer RD: Dynamics of HIV infection CD4^{+} T cells. Math. Biosci. 1993, 114: 81–125. 10.1016/00255564(93)90043A
Atangana A, Secer A: The timefractional coupledKortewegdeVries equations. Abstr. Appl. Anal. 2013., 2013: Article ID 947986. doi:10.1155/2013/947986
Atangana A, Botha JF: Analytical solution of groundwater flow equation via homotopy decomposition method. J. Earth Sci. Clim. Change 2012., 3: Article ID 1000115. doi:10.4172/2157–7617.1000115
Keller EF, Segel LA: Initiation of slime mold aggregation viewed as instability. J. Theor. Biol. 1970, 26: 399–415. 10.1016/00225193(70)900925
Yagi A: Norm homotopy of solutions to the parabolic system of chemotaxis. Math. Jpn. 1997, 45: 241–265.
Atangana A: New class of boundary value problems. Inf. Sci. Lett. 2012, 1(2):67–76.
Atangana A, Secer A: A note on fractional order derivatives and table of fractional derivative of some specials functions. Abstr. Appl. Anal. 2013., 2013: Article ID 279681. doi:10.1155/2013/279681
Podlubny I: Fractional Differential Equations. Academic Press, San Diego; 1999.
Samko SG, Kilbas AA, Marichev OI: Fractional Integrals and Derivatives. Gordon & Breach, Yverdon; 1993. Translated from the 1987 Russian original
Jumarie G:On the representation of fractional Brownian motion as an integral with respect to {(\mathrm{d}t)}^{a}. Appl. Math. Lett. 2005, 18(7):739–748. 10.1016/j.aml.2004.05.014
Atangana A, Ahmed A, Bıldık N: A generalized version of a low velocity impact between a rigid sphere and a transversely isotropic strainhardening plate supported by a rigid substrate using the concept of noninteger derivatives. Abstr. Appl. Anal. 2013., 2013: Article ID 671321
Perelson AS, Nelson PW: Mathematical analysis of HIVI dynamics in vivo. SIAM Rev. 1999, 41(1):3–44. 10.1137/S0036144598335107
Wang L, Li MY: Mathematical analysis of the global dynamics of a model for HIV infection of CD4^{+} T cells. Math. Biosci. 2006, 200: 44–57. 10.1016/j.mbs.2005.12.026
Asquith B, Bangham CRM: The dynamics of Tcell fratricide: application of a robust approach to mathematical modelling in immunology. J. Theor. Biol. 2003, 222: 53–69. 10.1016/S00225193(03)000134
Nowak M, May R: Mathematical biology of HIV infections: antigenic variation and diversity threshold. Math. Biosci. 1991, 106: 1–21. 10.1016/00255564(91)90037J
Ongun MY: The Laplace Adomian decomposition method for solving a model for HIV infection of CD4^{+} T cells. Math. Comput. Model. 2011, 53: 597–603. 10.1016/j.mcm.2010.09.009
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
AA wrote the first draft and EA corrected and improved the final version. Both authors read and approved the final draft.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Atangana, A., Alabaraoye, E. Solving a system of fractional partial differential equations arising in the model of HIV infection of CD4^{+} cells and attractor onedimensional KellerSegel equations. Adv Differ Equ 2013, 94 (2013). https://doi.org/10.1186/16871847201394
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/16871847201394
Keywords
 model for HIV infection of CD4^{+} T cells
 attractor onedimensional KellerSegel equations
 fractional order derivative
 homotopy decomposition method