# 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

- Abdon Atangana
^{1}Email author and - Ernestine Alabaraoye
^{2}

**2013**:94

https://doi.org/10.1186/1687-1847-2013-94

© Atangana and Alabaraoye; licensee Springer. 2013

**Received: **18 February 2013

**Accepted: **15 March 2013

**Published: **5 April 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 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.

## Keywords

^{+}T cellsattractor one-dimensional Keller-Segel equationsfractional order derivativehomotopy decomposition method

## 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 integer-order 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, 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 [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 Keller-Segel (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

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 [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 Riemann-Liouville 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.

**Lemma 1**

*If*$m-1<\alpha \le m$, $m\in \mathbb{N}$

*and*$f\in {C}_{\mu}^{m}$, $\mu \ge -1$,

*then*

**Definition 3** (Partial derivatives of fractional order)

*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]

*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 Riemann-Liouville fractional derivative,

*p*

*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.

- (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.

- (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

*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]:

*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

*υ*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

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 Keller-Segel equation with the sensitivity function $\chi (\rho )=1$.

*p*, we obtain the following integral equations:

*μ*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 $\chi (\rho )=\rho $.

## 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 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.

## Declarations

## Authors’ Affiliations

## References

- 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-24Google Scholar - 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.xView ArticleMathSciNetGoogle Scholar - Oldham KB, Spanier J:
*The Fractional Calculus*. Academic Press, New York; 1974.MATHGoogle Scholar - Podlubny I:
*Fractional Differential Equations*. Academic Press, New York; 1999.MATHGoogle Scholar - 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.Google Scholar - Kilbas AA, Srivastava HH, Trujillo JJ:
*Theory and Applications of Fractional Differential Equations*. Elsevier, Amsterdam; 2006.MATHGoogle Scholar - Miller KS, Ross B:
*An Introduction to the Fractional Calculus and Fractional Differential Equations*. Wiley, New York; 1993.MATHGoogle Scholar - Samko SG, Kilbas AA, Marichev OI:
*Fractional Integrals and Derivatives: Theory and Applications*. Gordon & Breach, Yverdon; 1993.MATHGoogle Scholar - Zaslavsky GM:
*Hamiltonian Chaos and Fractional Dynamics*. Oxford University Press, London; 2005.MATHGoogle Scholar - 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-AView ArticleMATHGoogle Scholar - Atangana A, Secer A: The time-fractional coupled-Korteweg-de-Vries equations.
*Abstr. Appl. Anal.*2013., 2013: Article ID 947986. doi:10.1155/2013/947986Google Scholar - 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.1000115Google Scholar - 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-5View ArticleMATHGoogle Scholar - Yagi A: Norm homotopy of solutions to the parabolic system of chemotaxis.
*Math. Jpn.*1997, 45: 241–265.MathSciNetMATHGoogle Scholar - Atangana A: New class of boundary value problems.
*Inf. Sci. Lett.*2012, 1(2):67–76.View ArticleGoogle Scholar - 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/279681Google Scholar - Podlubny I:
*Fractional Differential Equations*. Academic Press, San Diego; 1999.MATHGoogle Scholar - Samko SG, Kilbas AA, Marichev OI:
*Fractional Integrals and Derivatives*. Gordon & Breach, Yverdon; 1993. Translated from the 1987 Russian originalMATHGoogle Scholar - 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.014MathSciNetView ArticleMATHGoogle Scholar - 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 671321Google Scholar - Perelson AS, Nelson PW: Mathematical analysis of HIV-I dynamics in vivo.
*SIAM Rev.*1999, 41(1):3–44. 10.1137/S0036144598335107MathSciNetView ArticleMATHGoogle Scholar - 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.026MathSciNetView ArticleMATHGoogle Scholar - 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-4MathSciNetView ArticleGoogle Scholar - 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-JView ArticleMATHGoogle Scholar - 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.009MathSciNetView ArticleMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.