- Open Access
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
Advances in Difference Equations volume 2013, Article number: 94 (2013)
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 one-dimensional Keller-Segel 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.
Fractional calculus has been used to model physical and engineering processes, which are found to be best described by fractional differential equations . It is worth nothing that the standard mathematical models of integer-order derivatives, including nonlinear models, do not work adequately in many cases . 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, history-dependent process, porous media, fractional filters, biomedical engineering, fractional phase-locked loops, fractional variational principles, fractional transforms, fractional wavelet, fractional predator-prey system, soft matter mechanics, fractional signal and image processing, singularities analysis and integral representations for fractional differential systems, special functions related to fractional calculus, non-Fourier 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 one-dimensional Keller-Segel equations. In this study, we consider a fractional case of the HIV infection model of CD4+ T cells examined in . 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 mm3. 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 . Recently, the Keller-Segel (KS) equations attracted interest of many mathematicians. Local solutions were studied by the second author .
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 Riemann-Liouville and the Caputo derivatives. For Caputo, we have
For the case of Riemann-Liouville, we have the following definition:
Each fractional derivative presents some advantages and disadvantages [16, 17]. The Riemann-Liouville 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 first-order derivative might have fractional derivatives of all orders less than one in the Riemann-Liouville sense [18, 19]. Recently, Guy Jumarie (see [20, 21]) proposed a simple alternative definition to the Riemann-Liouville derivative
His modified Riemann-Liouville derivative seems to have advantages over both the standard Riemann-Liouville and the Caputo fractional derivatives: it is defined for arbitrary continuous (non-differentiable) functions, and the fractional derivative of a constant is equal to zero.
We can point out that Caputo and Riemann-Liouville derivatives may have their disadvantages, but they are more useful when dealing with some real world problems . Every definition must be used accordingly.
2.2 Properties and definitions
Definition 1 A real function , , is said to be in the space , if there exists a real number , such that , where , and it is said to be in the space if , .
Definition 2 The Riemann-Liouville fractional integral operator of order , of a function , , is defined as
For , , and :
Lemma 1 If , and , , then
Definition 3 (Partial derivatives of fractional order)
Assume now that is a function of n variables , , which is also of class C on . We define a partial derivative of order α for f with respect to
If it exists, where is the usual partial derivative of integer order m.
To illustrate the basic idea of this method, we consider a general nonlinear non-homogeneous fractional partial differential equation with initial conditions of the following form:
subject to the initial conditions
where denotes the Caputo or Riemann-Liouville 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 on both sides of equation (3.1) to obtain: in the case of the Riemann-Liouville fractional derivative,
in the case of the Caputo fractional derivative,
Or, in general, by putting
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 is an embedding parameter. 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
Suppose that X and Y are the Banach spaces and is a contraction nonlinear mapping. If the sequence generated by the homotopy decomposition method is regarded as
then the following statements hold:
is always in the neighbourhood of meaning ;
Proof (1) We prove the statement (1) by induction on n, , and according to the Banach fixed point theorem, V has a fixed point U meaning ; therefore,
since V is a contraction mapping.
Assume that is an induction hypothesis, then
The first concern here is to prove that , and this is achieved by induction on m. So, for , with the initial condition.
Assume that for is an induction hypothesis, then
Now, for all , using (1) we have
Using (2) and the fact that yields that ; therefore,
‘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; , and 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; describes the logistic growth of healthy CD4+ T cells, and proliferation of infected CD4+ T cells is neglected. For 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. denotes the maximum CD4+ T cell concentration in the body [22–25]. We chose the following initial condition and parameters as in :
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 1-4 show the graphical representation of the approximated solutions obtained via HDM for , and . 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 one-dimensional Keller-Segel equations
In 1970 Keller and Segel  presented parabolic systems to describe the aggregation process of cellular slime mold by chemical attraction. The system of a simplified form in the one-dimensional case is written as follows:
subject to the boundary condition
and the initial conditions
Here, is a bounded open interval, a, b, c and d are positive constants. The unknown functions and denote the concentration of amoebae and the concentration of a chemical substance, respectively, in . The chemotactic term indicates that the cells are sensitive to the chemicals and are attracted by them. , called the sensitivity function, is a smooth function of which describes a cell’s perception and response to the chemical stimulus ρ.
Example 1 Consider the following Keller-Segel equation with the sensitivity function .
Then the chemotactic term
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: , , , , , and , for a fixed distance , , . 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 Keller-Segel equation with the sensitivity function .
Then the chemotactic term
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
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 one-dimensional Keller-Segel 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.
Atangana A: Numerical solution of space-time fractional order derivative of groundwater flow equation. 2. International Conference of Algebra and Applied Analysis 2012, 20., Istanbul, June 20-24
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.1365-246X.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/0025-5564(93)90043-A
Atangana A, Secer A: The time-fractional coupled-Korteweg-de-Vries 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/0022-5193(70)90092-5
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 . 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 strain-hardening 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 HIV-I 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 T-cell fratricide: application of a robust approach to mathematical modelling in immunology. J. Theor. Biol. 2003, 222: 53–69. 10.1016/S0022-5193(03)00013-4
Nowak M, May R: Mathematical biology of HIV infections: antigenic variation and diversity threshold. Math. Biosci. 1991, 106: 1–21. 10.1016/0025-5564(91)90037-J
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
The authors declare that they have no competing interests.
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
About this article
- model for HIV infection of CD4+ T cells
- attractor one-dimensional Keller-Segel equations
- fractional order derivative
- homotopy decomposition method