Research Article Dynamics of a Fractional Order HIV Infection Model with Specific Functional Response and Cure Rate

Similar documents
A Delayed HIV Infection Model with Specific Nonlinear Incidence Rate and Cure of Infected Cells in Eclipse Stage

A fractional order SIR epidemic model with nonlinear incidence rate

A Stochastic Viral Infection Model with General Functional Response

Dynamics of an HIV pathogenesis model with CTL immune response and two saturated rates

Research Article Nonlinear Dynamics and Chaos in a Fractional-Order HIV Model

Research Article He s Variational Iteration Method for Solving Fractional Riccati Differential Equation

Research Article Solvability for a Coupled System of Fractional Integrodifferential Equations with m-point Boundary Conditions on the Half-Line

Stability Analysis and Numerical Solution for. the Fractional Order Biochemical Reaction Model

The Fractional-order SIR and SIRS Epidemic Models with Variable Population Size

Research Article On the Stability Property of the Infection-Free Equilibrium of a Viral Infection Model

Global Analysis of a Mathematical Model of HCV Transmission among Injecting Drug Users and the Impact of Vaccination

A New Mathematical Approach for. Rabies Endemy

Global Properties for Virus Dynamics Model with Beddington-DeAngelis Functional Response

Research Article Numerical Solution of the Inverse Problem of Determining an Unknown Source Term in a Heat Equation

Research Article New Method for Solving Linear Fractional Differential Equations

Research Article Solving Fractional-Order Logistic Equation Using a New Iterative Method

Sensitivity and Stability Analysis of Hepatitis B Virus Model with Non-Cytolytic Cure Process and Logistic Hepatocyte Growth

Global Stability of a Computer Virus Model with Cure and Vertical Transmission

Research Article A New Fractional Integral Inequality with Singularity and Its Application

Research Article Note on the Convergence Analysis of Homotopy Perturbation Method for Fractional Partial Differential Equations

ON FRACTIONAL ORDER CANCER MODEL

Research Article Propagation of Computer Virus under Human Intervention: A Dynamical Model

Research Article Convex Polyhedron Method to Stability of Continuous Systems with Two Additive Time-Varying Delay Components

Research Article Bounds of Solutions of Integrodifferential Equations

On modeling two immune effectors two strain antigen interaction

STABILITY ANALYSIS OF A FRACTIONAL-ORDER MODEL FOR HIV INFECTION OF CD4+T CELLS WITH TREATMENT

Global Analysis of a HCV Model with CTL, Antibody Responses and Therapy

A Fractional-Order Model for Computer Viruses Propagation with Saturated Treatment Rate

Research Article Nonlinear Conjugate Gradient Methods with Wolfe Type Line Search

Research Article Adaptive Control of Chaos in Chua s Circuit

A FRACTIONAL ORDER SEIR MODEL WITH DENSITY DEPENDENT DEATH RATE

Research Article Mean Square Stability of Impulsive Stochastic Differential Systems

On Local Asymptotic Stability of q-fractional Nonlinear Dynamical Systems

On the fractional-order logistic equation

Research Article Asymptotic Behavior of the Solutions of System of Difference Equations of Exponential Form

Research Article Exact Solutions of φ 4 Equation Using Lie Symmetry Approach along with the Simplest Equation and Exp-Function Methods

Research Article An Exact Solution of the Second-Order Differential Equation with the Fractional/Generalised Boundary Conditions

Fractional Calculus Model for Childhood Diseases and Vaccines

Dynamics of a Hepatitis B Viral Infection Model with Logistic Hepatocyte Growth and Cytotoxic T-Lymphocyte Response

Research Article Convergence Theorems for Infinite Family of Multivalued Quasi-Nonexpansive Mappings in Uniformly Convex Banach Spaces

Research Article Strong Convergence of Parallel Iterative Algorithm with Mean Errors for Two Finite Families of Ćirić Quasi-Contractive Operators

Boundary value problems for fractional differential equations with three-point fractional integral boundary conditions

A NEW SOLUTION OF SIR MODEL BY USING THE DIFFERENTIAL FRACTIONAL TRANSFORMATION METHOD

Research Article Cyclic Iterative Method for Strictly Pseudononspreading in Hilbert Space

Research Article Identifying a Global Optimizer with Filled Function for Nonlinear Integer Programming

KingSaudBinAbdulazizUniversityforHealthScience,Riyadh11481,SaudiArabia. Correspondence should be addressed to Raghib Abu-Saris;

Research Article A Note about the General Meromorphic Solutions of the Fisher Equation

Research Article Some Monotonicity Properties of Gamma and q-gamma Functions

Global Analysis for an HIV Infection Model with CTL Immune Response and Infected Cells in Eclipse Phase

Construction of a New Fractional Chaotic System and Generalized Synchronization

Research Article Almost Sure Central Limit Theorem of Sample Quantiles

Research Article Solvability of a Class of Integral Inclusions

Research Article Remarks on Asymptotic Centers and Fixed Points

Research Article Representing Smoothed Spectrum Estimate with the Cauchy Integral

Research Article Global Existence and Boundedness of Solutions to a Second-Order Nonlinear Differential System

Research Article Stability Switches and Hopf Bifurcations in a Second-Order Complex Delay Equation

Research Article Existence of Positive Solutions for a Kind of Fractional Boundary Value Problems

Research Article Applying GG-Convex Function to Hermite-Hadamard Inequalities Involving Hadamard Fractional Integrals

Research Article Modeling Computer Virus and Its Dynamics

Research Article On Global Solutions for the Cauchy Problem of a Boussinesq-Type Equation

Research Article Existence of Periodic Positive Solutions for Abstract Difference Equations

Research Article Solution of (3 1)-Dimensional Nonlinear Cubic Schrodinger Equation by Differential Transform Method

Research Article Some New Generalized Integral Inequalities for GA-s-Convex Functions via Hadamard Fractional Integrals

Dynamics of a diffusive viral model with Beddington-DeAngelis incidence rate and CTL immune response

Research Article On Local Fractional Continuous Wavelet Transform

Solving nonlinear fractional differential equation using a multi-step Laplace Adomian decomposition method

Research Article Local Fractional Variational Iteration Method for Inhomogeneous Helmholtz Equation within Local Fractional Derivative Operator

Research Article Frequent Oscillatory Behavior of Delay Partial Difference Equations with Positive and Negative Coefficients

Applied Mathematics Letters

Solution of Nonlinear Fractional Differential. Equations Using the Homotopy Perturbation. Sumudu Transform Method

Research Article Ulam-Hyers-Rassias Stability of a Hyperbolic Partial Differential Equation

Research Article Unicity of Entire Functions concerning Shifts and Difference Operators

Research Article Multiple-Decision Procedures for Testing the Homogeneity of Mean for k Exponential Distributions

Research Article Taylor s Expansion Revisited: A General Formula for the Remainder

A generalized Gronwall inequality and its application to fractional differential equations with Hadamard derivatives

Research Article Approximation of Analytic Functions by Bessel s Functions of Fractional Order

Equilibrium points, stability and numerical solutions of fractional-order predator prey and rabies models

Research Article Uniqueness Theorems of Difference Operator on Entire Functions

Research Article Uniqueness Theorems on Difference Monomials of Entire Functions

HOMOTOPY PERTURBATION METHOD TO FRACTIONAL BIOLOGICAL POPULATION EQUATION. 1. Introduction

Numerical Detection of the Lowest Efficient Dimensions for Chaotic Fractional Differential Systems

Stability Analysis of a SIS Epidemic Model with Standard Incidence

Research Article Existence and Uniqueness of Smooth Positive Solutions to a Class of Singular m-point Boundary Value Problems

Variational iteration method for q-difference equations of second order

Research Article A Two-Grid Method for Finite Element Solutions of Nonlinear Parabolic Equations

Stochastic Viral Dynamics with Beddington-DeAngelis Functional Response

On the Finite Caputo and Finite Riesz Derivatives

Research Article Product of Extended Cesàro Operator and Composition Operator from Lipschitz Space to F p, q, s Space on the Unit Ball

Research Article Uniqueness of Positive Solutions for a Class of Fourth-Order Boundary Value Problems

Research Article The Stability of Gauss Model Having One-Prey and Two-Predators

Research Article Two Different Classes of Wronskian Conditions to a (3 + 1)-Dimensional Generalized Shallow Water Equation

Research Article Design of PDC Controllers by Matrix Reversibility for Synchronization of Yin and Yang Chaotic Takagi-Sugeno Fuzzy Henon Maps

Research Article A Necessary Characteristic Equation of Diffusion Processes Having Gaussian Marginals

Research Article Chaos Control on a Duopoly Game with Homogeneous Strategy

Research Article Minor Prime Factorization for n-d Polynomial Matrices over Arbitrary Coefficient Field

Global Stability Analysis on a Predator-Prey Model with Omnivores

Research Article Translative Packing of Unit Squares into Squares

Research Article Existence for Elliptic Equation Involving Decaying Cylindrical Potentials with Subcritical and Critical Exponent

Research Article Soliton Solutions for the Wick-Type Stochastic KP Equation

DIfferential equations of fractional order have been the

Transcription:

Hindawi International Differential Equations Volume 217, Article ID 837214, 8 pages https://doi.org/1.1155/217/837214 Research Article Dynamics of a Fractional Order HIV Infection Model with Specific Functional Response and Cure Rate Adnane Bouhouima, 1 Khalid Hattaf, 1,2 and Noura Yousfi 1 1 Laboratory of Analysis, Modeling and Simulation (LAMS), Faculty of Sciences Ben M si, Hassan II University, P.O. Box 7955, Sidi Othmane, Casablanca, Morocco 2 Centre Régional des Métiers de l Education et de la Formation (CRMEF), 234 Derb Ghallef, Casablanca, Morocco Correspondence should be addressed to Khalid Hattaf;.hattaf@yahoo.fr Received 11 June 217; Accepted 31 July 217; Published 27 August 217 Academic Editor: Yuji Liu Copyright 217 Adnane Bouhouima et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original wor is properly cited. We propose a fractional order model in this paper to describe the dynamics of human immunodeficiency virus (HIV) infection. In the model, the infection transmission process is modeled by a specific functional response. First, we show that the model is mathematically and biologically well posed.second, the local and global stabilities of the equilibria are investigated. Finally, some numerical simulations are presented in order to illustrate our theoretical results. 1. Introduction Fractional order differential equations (FDEs) are a generalization of ordinary differential equations (ODEs) and they have many applications in various fields such as mechanics, image processing, viscoelasticity, bioengineering, finance, psychology, and control theory [1 7]. In addition, it has been deduced that the membranes of cells of biological organisms have fractional order electrical conductance [8]. Modeling by FDEs has more advantages to describe the dynamics of phenomena with memory which exists in most biological systems, because fractional order derivatives depend not only on local conditions but also on the past. More precisely, calculating the time-fractional derivative of afunctionf(t) at some time t=t 1 requires all the previous history, that is, all f(t) from t = to t = t 1. In addition, the region of stability of FDEs is larger than that of ODEs. Moreover, some previous study compared between the results of the fractional order model, the results of the integer model, and the measured real data obtained from 1 patients during primary HIV infection [9]. This study proved that the results of the fractional order model give predictions to the plasma virus load of the patients better than those of the integer model. Fromtheabovebiologicalandmathematicalreasons,we propose a fractional order model to describe the dynamics of HIV infection that is given by D α T (t) =λdt D α I (t) = D α V (t) =IμV, βtv 1α 1 Tα 2 Vα 3 TV ρi, βtv 1α 1 Tα 2 Vα 3 TV (aρ)i, T(t), I(t), and V(t) represent the concentrations of uninfected CD4 T-cells, infected cells, and free virus particles at time t, respectively. Uninfected cells are assumed to be produced at a constant rate λ, die at the rate dt, and become infected by a virus at the rate βtv/(1 α 1 T α 2 Vα 3 TV), α 1,α 2,α 3 are the saturation factors measuring the psychological or inhibitory effect. Infected cells die at the rate ai andreturntotheuninfectedstatebyloss of all covalently closed circular DNA (cccdna) from their nucleus at the rate ρi. Free virus particles are produced from infected cells at the rate I and cleared at the rate μv. The fractional order derivative used in system (1) is in the sense of Caputo. We use this Caputo fractional derivative for (1)

2 International Differential Equations two reasons: the first reason is that the fractional derivative of a constant is zero and the second reason is that the initial value problems depend on the integer order derivative only. In addition, we choose <α 1in order to have the same initial conditions as ODE systems. On the other hand, system (1) generalizes many special cases existing in the literature. For example, when α 1 =α 2 = α 3 =,wegetthemodelofarafaetal.[1].further,weobtain the model of Liu et al. [11] when α 3 =.Itisveryimportant to note that when α=1, system (1) becomes a model with an ordinary derivative which is the generalization of the ODE models presented in [12 15]. The rest of the paper is organized as follows. In the next section, we give some preliminary results. In Section 3, equilibria and their local stability are investigated. In Section 4, the global stability of the two equilibria is established. Numerical simulations of our theoretical results are presented in Section 5. Finally, the paper ends with conclusion in Section 6. 2. Preliminary Results We first recall the definitions of the fractional order integral, Caputo fractional derivative, and Mittag-Leffler function that are given in [16]. Definition 1. The fractional integral of order α > of a function f:r R is defined as follows: I α f (t) = 1 t Γ (α) (tx) α1 f (x) dx, (2) Γ( ) is the Gamma function. Definition 2. The Caputo fractional derivative of order α> of a continuous function f:r R is given by D α f (t) =I nα D n f (t), (3) D = d/dt and n1<α n, n N. In particular, when <α 1, we have D α t 1 f (t) = Γ (1α) f (x) α dx. (4) (tx) Definition 3. Let α>.thefunctione α, defined by E α (z) = Γ(αj1), (5) j= is called the Mittag-Leffler function of parameter α. Let f:r n R n with n 1. Consider the fractional order system z j D α x (t) =f(x), x(t )=x, with <α 1, t R,andx R n. For the global existence of solution of system (6), we need the following lemma. (6) Lemma 4. Assume that f satisfies the following conditions: (i) f(x) and ( f/ x)(x) are continuous for all x R n. (ii) f(x) ω λ x for all x R n,ω and λ are two positive constants. Then, system (6) has a unique solution on [t, ). Theproofofthislemmafollowsimmediatelyfrom[17]. For biological reasons, we assume that the initial conditions of system (1) satisfy T () =φ 1 (), I () =φ 2 (), V () =φ 3 (). In order to establish the nonnegativity of solutions with initial conditions (7), we need also the following lemmas. Lemma 5 (see [18]). Suppose that g(t) C[a, b] and D α g(t) C[a, b] for <α 1;then,onehas g (t) =g(a) 1 Γ (α) Dα g (ξ)(ta) α, (8) a<ξ<t, t (a, b]. Lemma 6 (see [18]). Suppose that g(t) C[a, b] and D α g(t) C[a, b] for <α 1.IfD α g(t) t [a, b],then g(t) is nondecreasing for each t [a, b]. IfD α g(t) t [a, b],theng(t) is nonincreasing for each t [a, b]. Theorem 7. For any initial conditions satisfying (7), system (1) has a unique solution on [, ). Moreover, this solution remains nonnegative and bounded for all t.inaddition, one has (i) N(t) N() λ/δ, (ii) V(t) V() (/μ) I, N(t) = T(t) I(t) and δ=min{a, d}. Proof. It is easy to see that the vector function of system (1) satisfies the first condition of Lemma 4. It remains to prove the second condition. Let T (t) X (t) =( I (t) ), V (t) λ ζ=( ). To this end, we discuss four cases: (i) If α 1 =, then system (1) can be written as follows: D α X (t) =ζa 1 X (7) (9) α 1 T 1α 1 Tα 2 Vα 3 TV A 2X, (1)

International Differential Equations 3 d ρ A 1 =( (aρ) ), μ β α 1 A 2 =( β ). α 1 Moreover, we have (ii) If α 2 (11) Dα X (t) ζ ( A 1 A 2 ) X. (12) =,wehave D α X (t) =ζa 1 X Then, (iii) If α 3 α 2 T 1α 1 Tα 2 Vα 3 TV A 3X, (13) β α 2 A 3 =( β ). (14) α 2 Dα X (t) ζ ( A 1 A 3 ) X. (15) =,wehave D α X (t) =ζa 1 X α 3 TV 1α 1 Tα 2 Vα 3 TV A 4, (16) A 4 =( β α 3 Then, Dα X (t) ζ ( V A 5 A 1 ) X. (21) Thus, the second condition of Lemma 4 is satisfied. Then, system (1) has a unique solution on [, ). Next,weshow that this solution is nonnegative. From (1), we have D α T (t) T= =λρi, D α I (t) I= = D α V (t) V= =I. βtv 1α 1 Tα 2 Vα 3 TV, (22) AccordingtoLemmas5and6,wededucethatthesolutionof (1) is nonnegative. Finally, we prove that the solution is bounded. By adding the first two equations of system (1), we get Hence, D α N (t) λδn(t). (23) N (t) N() E α (δt α ) λ δ [1E α (δt α )]. (24) Since E α (δt α ) 1,wehave N (t) N() λ δ. (25) The third equation of system (1) implies that V (t) =V() E α (μt α ) Then, t I (s) α (ts) α1 de α ds (μ (ts)α )ds. V (t) V() E α (μt α ) I μ Consequently, (26) (1 E α (μt α )). (27) β α 3 ). (17) This completes the proof. V (t) V() I. (28) μ Then, Dα X (t) ( ζ A 4 ) A 1 X. (18) (iv) If α 1 =α 2 =α 3 =,wehave D α X (t) =ζa 1 XVA 5 X, (19) β A 5 =( β ). (2) 3. Equilibria and Their Local Stability It is easy to see that system (1) always has a disease-free equilibrium E (λ/d,, ). Therefore, the basic reproduction number of our system (1) is given by R = βλ μ(aρ)(dλα 1 ). (29) Biologically, this basic reproduction number represents the average number of secondary infections produced by one infected cell during the period of infection when all cells are uninfected. Further, it is not hard to get the following result.

4 International Differential Equations Theorem 8. (i) If R 1,system(1)hasauniquediseasefree equilibrium of the form E (T,,),T = λ/d. (ii) If R >1, the disease-free equilibrium is still present and system (1) has a unique chronic infection equilibrium of the form E 1 (T 1,(λdT 1 )/a, (λ dt 1 )/aμ), T 1 = 2(a ρ)(aμ α 2 λ)/(aβ (a ρ)(α 2 dα 1 aμ α 3 λ) δ) with δ = (aβ (a ρ) (α 2 dα 1 aμ α 3 λ)) 2 4α 3 d (a ρ) 2 (aμ α 2 λ). (3) Next, we investigate the local stability of equilibria. Let E e (T,I,V) be an arbitrary equilibrium of system (1). Then, the characteristic equation at E e is given by d V f ξ ρ V f f(t, V) T V =, V f T (aρ)ξ V f f(t, V) V μξ (31) Now, we focus on the local stability of the chronic infection equilibrium E 1. It follows from (31) that the characteristic equation at E 1 is given by a 1 =μdaρ a 2 =d(μaρ) P (ξ) fl ξ 3 a 1 ξ 2 a 2 ξa 3 =, (36) βv 1 (1 α 2 V 1 ) (1 α 1 T 1 α 2 V 1 α 3 T 1 V 1 ) 2, βv 1 [(a μ) (1 α 2 V 1 )T 1 (α 2 α 3 T 1 )] (1 α 1 T 1 α 2 V 1 α 3 T 1 V 1 ) 2, a 3 = βv 1 [aμ (1 α 2 V 1 )dt 1 (α 2 α 3 T 1 )] (1 α 1 T 1 α 2 V 1 α 3 T 1 V 1 ) 2. (37) It is obvious that a 1 >, a 2 >,anda 3 >.Further,wehave a 1 a 2 a 3 =a(d(μaρ) f (T, V) = βt 1α 1 Tα 2 Vα 3 TV. (32) We recall that the equilibrium E e is locally asymptotically stable if all roots ξ i of (31) satisfy the following condition [19]: arg (ξ i) > απ 2. (33) Theorem 9. (i) If R < 1,thenE is locally asymptotically stable. (ii) If R >1,thenE is unstable. βv 1 [a (1 α 2 V 1 )T 1 (α 2 α 3 T 1 )] (1 α 1 T 1 α 2 V 1 α 3 T 1 V 1 ) 2 ) d(d(μaρ) (a μ) βv 1 (1 α 2 V 1 ) (1 α 1 T 1 α 2 V 1 α 3 T 1 V 1 ) 2 )(μρ βv 1 (1 α 2 V 1 ) (1 α 1 T 1 α 2 V 1 α 3 T 1 V 1 ) 2 )h 2 >. (38) Proof. Evaluating (31) at E,wehave (dξ) [ξ 2 (aρμ)ξμ(aρ)(1r )] =. (34) Obviously, the roots of (34) are ξ 1 =d, ξ 2 = (aρμ) (aρμ) 2 4μ(aρ)(1R ), 2 ξ 3 = (aρμ) (aρμ) 2 4u(aρ)(1R ). 2 (35) It is clear that ξ 1 and ξ 2 are negative. However, ξ 3 is negative if R <1and it is positive if R >1. Therefore, E is locally asymptotically stable if R <1and unstable if R >1. So, Routh Hurwitz conditions are satisfied. Let D(P) denote the discriminant of the polynomial P given by (36); then, D (P) =18a 1 a 2 a 3 (a 1 a 2 ) 2 4a 3 a 3 1 4a3 2 27a2 3. (39) Using the results in [19], we easily obtain the following result. Theorem 1. Assume that R >1. (i) If D(P) >,thene 1 is locally asymptotically stable for all α (, 1]. (ii) If D(P) < and α < 2/3, then E 1 is locally asymptotically stable. 4. Global Stability In this section, we study the global stability of the disease-free equilibrium E and the chronic infection equilibrium E 1. Theorem 11. If R 1, then the disease-free equilibrium E is globally asymptotically stable.

International Differential Equations 5 Proof. Define Lyapunov functional L (t) as follows: L (t) = T 1α 1 T Φ( T T ) ρ 2(1α 1 T ) (ad) T (T T I) 2 aρ V, (4) Φ(x)=x1ln(x), x>. Calculating the derivative of L (t) along solutions of system (1) and using the results in [2], we get D α L (t) Using λ=dt,weobtain D α L (t) 1 1α 1 T (1 T T )Dα TD α I ρ (1 α 1 T ) (ad) T (T T I) (D α TD α I) aρ Dα V. d(tt ) 2 (1 α 1 T )T 1 (1 T )f(t, V) V 1α 1 T T ρ (1 T )If(T, V) V 1α 1 T T dρ (T T ) 2 (ad) T (1 α 1 T ) D α L (t) aρi 2 (ad) T (1 α 1 T ) ρ T (1 α 1 T ) I(T T) ( 1 T ρ ) d(tt ) (ad) T 1α 1 T (a ρ) μ V, ρi (T T ) 2 TT (1 α 1 T ) aρi 2 (ad) T (1 α 1 T ) (a ρ) μ (R 1)V βt (α 2 α 3 T) (1 α 1 T )(1α 1 Tα 2 Vα 3 TV) V2. 2 (41) (42) Hence, if R 1,thenD α L (t). Furthermore,itisclear that the largest invariant set of {(T, I, V) D : D α L (t) = } is the singleton {E }. Therefore, by LaSalle s invariance principle [21], E is globally asymptotically stable. Theorem 12. The chronic infection equilibrium E 1 is globally asymptotically stable if R >1and R 1 d(aρ)(λα 2aμ)ρλ 2 α 3. (43) ρμ (a ρ) (d λα 1 ) Proof. Define Lyapunov functional L 1 (t) as follows: L 1 (t) = 1α 2 V 1 1α 1 T 1 α 2 V 1 α 3 T 1 V 1 T 1 Φ( T T 1 ) I 1 Φ( I I 1 ) aρ V 1Φ( V V 1 ) Then, we have ρ(1α 2 V 1 ) 2T 1 (ad) (1 α 1 T 1 α 2 V 1 α 3 T 1 V 1 ) (T T 1 II 1 ) 2. D α L 1 (t) 1α 2 V 1 1α 1 T 1 α 2 V 1 α 3 T 1 V 1 (1 T 1 T ) D α T(1 I 1 I )Dα I ρ(1α 2 V 1 ) T 1 (ad) (1 α 1 T 1 α 2 V 1 α 3 T 1 V 1 ) (T T 1 II 1 )(D α TD α I) aρ (1 V 1 V )Dα V. (44) (45) Using λ=dt 1 ai 1, f(t 1,V 1 )V 1 =(aρ)i 1, μ/=i 1 /V 1, and 1f(T 1,V 1 )/f(t, V 1 ) = ((1 α 2 V 1 )/(1 α 1 T 1 α 2 V 1 α 3 T 1 V 1 ))(1 T 1 /T),weget D α L 1 (t) d(1 f(t 1,V 1 ) f(t,v 1 ) )(T 1 T)(aρ) I 1 (4 f(t 1,V 1 ) f(t,v 1 ) I 1 V f (T, V) I V 1 f(t 1,V 1 ) I V 1 I 1 V f(t,v 1) f (T, V) )(aρ)i 1 (1 V V 1 f(t,v 1) f (T, V) V V 1 f (T, V) f(t,v 1 ) ) dρ (1 α 2 V 1 ) T 1 (ad) (1 α 1 T 1 α 2 V 1 α 3 T 1 V 1 ) (T T 1 ) 2 aρ (1 α 2 V 1 ) T 1 (ad) (1 α 1 T 1 α 2 V 1 α 3 T 1 V 1 ) (I I 1) 2 ρ(1α 2 V 1 ) TT 1 (1 α 1 T 1 α 2 V 1 α 3 T 1 V 1 ) (T T 1) 2 (I I 1 ). (46)

6 International Differential Equations Uninfected cells 75 7 65 6 55 5 45 4 5 1 15 2 25 3 35 4 Infected cells 1 6 7 6 5 4 3 2 1 5 1 15 2 25 3 35 4 =.8 =.9 =.8 =.9.1.8 Free virus.6.4.2 5 1 15 2 25 3 35 4 =.8 =.9 Figure 1: Stability of the disease-free equilibrium E. Thus, D α L 1 (t) (1 α 2 V 1 )(TT 1 ) 2 TT 1 (1 α 1 T 1 α 2 V 1 α 3 T 1 V 1 ) ((dt 1 ρi 1 ) dρt da ρi)(aρ)i 1 (1 α 1 T) (α 2 α 3 T) (V V 1 ) 2 V 1 (1 α 1 Tα 2 Vα 3 TV) (1 α 1 Tα 2 V 1 α 3 TV 1 ) (aρ)i 1 (Φ ( f(t 1,V 1 ) f(t,v 1 ) )Φ(I 1 V f (T, V) I V 1 f(t 1,V 1 ) ) Φ( I V 1 I 1 V )Φ(f(T,V 1) f (T, V) )) aρ (1 α 2 V 1 ) T 1 (ad) (1 α 1 T 1 α 2 V 1 α 3 T 1 V 1 ) (II 1) 2. (47) It is clear that Φ(x). Consequently,D α L 1 (t) if dt 1 ρi 1.Inaddition,itiseasytoseethatthiscondition is equivalent to (43). Further, the largest invariant set of {(T, I, V) D : D α L 1 (t) = } is the singleton {E 1 }.By LaSalle s invariance principle, E 1 is globally asymptotically stable. It is important to see that d(aρ)(λα lim 2 aμ)ρλ 2 α 3 =. (48) ρ ρμ (a ρ) (d λα 1 ) According to Theorem 12, we obtain the following result. Corollary 13. The chronic infection equilibrium E 1 is globally asymptotically stable when R >1and ρ is sufficiently small. 5. Numerical Simulations In this section, we give some numerical simulations in order to illustrate our theoretical results. We discretize system (1) by using fractional Euler s method presented in [22]. Firstly, we tae the parameter values as shown in Table 1. By calculation, we have R =.9283 < 1. Then, system (1) has a disease-free equilibrium E (719.4245,, ). By Theorem 11, the solution of (1) converges to E (see Figure 1). Consequently, the virus is cleared and the infection dies out.

International Differential Equations 7 Uninfected cells 45 4 35 3 25 2 15 1 2 4 6 8 1 12 14 16 18 2 =.8 =.9 8 Infected cells 4 3 2 1 2 4 6 8 1 12 14 16 18 2 =.8 =.9 6 Free virus 4 2 2 4 6 8 1 12 14 16 18 2 =.8 =.9 Figure 2: Stability of the chronic infection equilibrium E 1. Table 1: Parameter values of system (1). Parameters Values λ 1 d.139 β.24 ρ.1 a.5 6 u 3 α 1.1 α 2.1 α 3.1 Now, we choose β =.1 and we eep the other parameter values. In this case, R = 3.8678 and 1 d(aρ)(λα 2aμ)ρλ 2 α 3 ρμ (a ρ) (d λα 1 ) = 415.885. (49) Hence, condition (43) is satisfied. Therefore, the chronic infection equilibrium E 1 (13.1613, 16.3815, 3276.3) is globally asymptotically stable. Figure 2 demonstrates this result. 6. Conclusion In this paper, we have proposed a fractional order model of HIV infection with specific functional response and cure rate. This functional response covers the most functional responses used by several authors such as the saturated incidence rate, the Beddington-DeAngelis functional response, and the Crowley-Martin functional response. We have shown that the proposed model has a bounded and nonnegative solution as desired in any population dynamics. By using stability analysis of fractional order system, we have proved that if the basic reproduction number R 1, the diseasefree equilibrium E is globally asymptotically stable for all α (, 1], which means that the virus is cleared and the infection dies out. However, when R >1, the disease-free equilibrium E becomes unstable and there exists another biological equilibrium, namely, chronic infection equilibrium E 1,that is globally asymptotically stable provided that condition (43) is satisfied. In this case, the HIV virus persists in the host and the infection becomes chronic. Furthermore, we have remared that if the cure rate ρ is equal to zero or is sufficiently small, condition (43) is satisfied and the global stability of E 1 is only characterized by R >1. According to the above theoretical analysis, we deduce that the global dynamics of the model are fully determined by the basic reproduction number R.Inaddition,wesee

8 International Differential Equations that the fractional order parameter α has no effect on the global dynamics of our model, but it can affect the time for arriving at both steady states (see Figures 1 and 2). Moreover, the fractional order model and main results presented by Liu et al. in [11] are generalized and improved. Conflicts of Interest The authors declare that there are no conflicts of interest regarding the publication of this paper. References [1] Y. A. Rossihin and M. V. Shitiova, Applications of fractional calculus to dynamic problems of linear and nonlinear hereditary mechanics of solids, Applied Mechanics Reviews, vol. 5, no. 1, pp. 15 67, 1997. [2] R.J.MarsandM.W.Hall, DifferintegralInterpolationfroma Bandlimited Signal s Samples, IEEE Transactions on Acoustics, Speech, and Signal Processing,vol.29,no.4,pp.872 877,1981. [3]G.L.JiaandY.X.Ming, Studyontheviscoelasticityof cancellous bone based on higher-order fractional models, in Proceedings of the 2nd International Conference on Bioinformatics and Biomedical Engineering, icbbe 28, pp. 1733 1736, chn, May 28. [4] R. Magin, Fractional Calculus in Bioengineering, Cretical ReviewsinBiomedicalEngineering32,vol.32,24. [5] E. Scalas, R. Gorenflo, and F. Mainardi, Fractional calculus and continuous-time finance, Physica A. Statistical Mechanics and its Applications,vol.284,no.1-4,pp.376 384,2. [6] L. Song, S. Xu, and J. Yang, Dynamical models of happiness with fractional order, Communications in Nonlinear Science and Numerical Simulation,vol.15,no.3,pp.616 628,21. [7] R. Capponetto, G. Dongola, L. Fortuna, and I. Petras, Fractional order systems: Modelling and control applications, in World Scientific Series in Nonlinear Science, vol. 72, Series A, Singapore, 21. [8] K. S. Cole, Electric conductance of biological systems, Cold Spring Harbor Symposia on Quantitative Biology,vol.1,pp.17 116, 1933. [9] A.A.Arafa,S.Z.Rida,andM.Khalil, Afractional-ordermodel of HIV infection: numerical solution and comparisons with data of patients, International Biomathematics, vol. 7, no. 4, Article ID 14536, 14536, 11 pages, 214. [1] A. A. M. Arafa, S. Z. Rida, and M. Khalil, Fractional modeling dynamics of HIV and CD4 T-cells during primary infection, Nonlinear Biomedical Physics,vol.6,no.1,article1,212. [11] Y. Liu, J. Xiong, C. Hu, and C. Wu, Stability analysis for fractional differential equations of an HIV infection model with cure rate, in Proceedings of the 216 IEEE International Conference on Information and Automation, IEEE ICIA 216,pp. 77 711, August 216. [12] X. Zhou and J. Cui, Global stability of the viral dynamics with Crowley-Martin functional response, Bulletin of the Korean Mathematical Society,vol.48,no.3,pp.555 574,211. [13]G.Huang,W.Ma,andY.Taeuchi, Globalpropertiesfor virus dynamics model with Beddington-DeAngelis functional response, Applied Mathematics Letters. An International Journal of Rapid Publication,vol.22,no.11,pp.169 1693,29. [14] M. A. Nowa and C. R. M. Bangham, Population dynamics of immune responses to persistent viruses, Science, vol. 272, no. 5258, pp. 74 79, 1996. [15] P. K. Srivastava and P. Chandra, Modeling the dynamics of HIV and CD4 T cells during primary infection, Nonlinear Analysis. Real World Applications. An International Multidisciplinary Journal,vol.11,no.2,pp.612 618,21. [16] I. Podlubny, Fractional Differential Equations,vol.198ofMathematics in Science and Engineering, Academic Press, San Diego, Calif, USA, 1999. [17] W. Lin, Global existence theory and chaos control of fractional differential equations, Mathematical Analysis and Applications,vol.332,no.1,pp.79 726,27. [18] Z. M. Odibat and N. T. Shawagfeh, Generalized Taylor s formula, Applied Mathematics and Computation, vol. 186, no. 1, pp. 286 293, 27. [19] E. Ahmed, A. M. El-Sayed, and H. A. El-Saa, On some Routh- Hurwitz conditions for fractional order differential equations and their applications in Lorenz, Rossler, Chua and CHEn systems, Physics Letters. A, vol. 358, no. 1, pp. 1 4, 26. [2] C. V. De-Leon, Volterra-type Lyapunov functions for fractional-order epidemic systems, Communications in Nonlinear Science and Numerical Simulation, vol.24,no.1-3,pp.75 85, 215. [21] J. Huo, H. Zhao, and L. Zhu, The effect of vaccines on bacward bifurcation in a fractional order HIV model, Nonlinear Analysis. Real World Applications,vol.26,pp.289 35,215. [22] Z. Odibat and S. Momani, An algorithm for the numerical solution of differential equations of fractional order, Applied Mathematics & Information,vol.26,no.1,pp.15 27,28.

Advances in Operations Research Advances in Decision Sciences Applied Mathematics Algebra Probability and Statistics The Scientific World Journal International Differential Equations Submit your manuscripts at https://www.hindawi.com International Advances in Combinatorics Mathematical Physics Complex Analysis International Mathematics and Mathematical Sciences Mathematical Problems in Engineering Mathematics #HRBQDSDĮ,@SGDL@SHBR Volume 21 Discrete Dynamics in Nature and Society Function Spaces Abstract and Applied Analysis International Stochastic Analysis Optimization