Research Article Stability Analysis of an HIV/AIDS Dynamics Model with Drug Resistance



Similar documents
Einführung in die Mathematische Epidemiologie: Introduction to Mathematical Epidemiology: Deterministic Compartmental Models

The Effects of Cycling on Drug Resistance HIV

Stability analysis of a novel VEISV propagation model of computer worm attacks

Diána H. Knipl PhD student University of Szeged, Hungary

Research Article Two-Period Inventory Control with Manufacturing and Remanufacturing under Return Compensation Policy

The Open University s repository of research publications and other research outputs

A Local Stability of Mathematical Models for Cancer Treatment by Using Gene Therapy

Network Traffic Modelling

GLOBAL STABILITY FOR A HEROIN MODEL WITH AGE-DEPENDENT SUSCEPTIBILITY

Research Article The General Traveling Wave Solutions of the Fisher Equation with Degree Three

The Basics of Drug Resistance:

Research Article Stability Analysis for Higher-Order Adjacent Derivative in Parametrized Vector Optimization

15 Limit sets. Lyapunov functions

Notes V General Equilibrium: Positive Theory. 1 Walrasian Equilibrium and Excess Demand

Relatively dense sets, corrected uniformly almost periodic functions on time scales, and generalizations

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction

Example 4.1 (nonlinear pendulum dynamics with friction) Figure 4.1: Pendulum. asin. k, a, and b. We study stability of the origin x

Mathematics Course 111: Algebra I Part IV: Vector Spaces

Asian Option Pricing Formula for Uncertain Financial Market

The dynamic equation for the angular motion of the wheel is R w F t R w F w ]/ J w

Some Research Problems in Uncertainty Theory

On the Interaction and Competition among Internet Service Providers

A characterization of trace zero symmetric nonnegative 5x5 matrices

Time series analysis as a framework for the characterization of waterborne disease outbreaks

Asymptotics for ruin probabilities in a discrete-time risk model with dependent financial and insurance risks

Dynamical Systems Analysis II: Evaluating Stability, Eigenvalues

OPTIMAL CONTROL OF TREATMENTS IN A TWO-STRAIN TUBERCULOSIS MODEL. E. Jung. S. Lenhart. Z. Feng. (Communicated by Glenn Webb)

Disease Transmission Networks

Routine HIV Monitoring

Copula model estimation and test of inventory portfolio pledge rate

Nonlinear Systems of Ordinary Differential Equations

A Passivity Measure Of Systems In Cascade Based On Passivity Indices

Global Update on HIV Treatment 2013: Results, Impact and Opportunities

Optimization of PID parameters with an improved simplex PSO

Fuzzy Differential Systems and the New Concept of Stability

Some remarks on Phragmén-Lindelöf theorems for weak solutions of the stationary Schrödinger operator

Continued Fractions and the Euclidean Algorithm

Ultrasonic Detection Algorithm Research on the Damage Depth of Concrete after Fire Jiangtao Yu 1,a, Yuan Liu 1,b, Zhoudao Lu 1,c, Peng Zhao 2,d

Open Access Research on Application of Neural Network in Computer Network Security Evaluation. Shujuan Jin *

Up to $402,000. Insight HIV. Drug Class. 1.2 million people in the United States were living with HIV at the end of 2011 (most recent data).

ACCESS TO AFFORDABLE TREATMENT FOR HIV/AIDS: THE ISSUES

1 Short Introduction to Time Series

4 Lyapunov Stability Theory

USING SPECTRAL RADIUS RATIO FOR NODE DEGREE TO ANALYZE THE EVOLUTION OF SCALE- FREE NETWORKS AND SMALL-WORLD NETWORKS

Factorization Theorems

A Mathematical Tuberculosis Model in Cameroon

On the mathematical theory of splitting and Russian roulette

Using the Theory of Reals in. Analyzing Continuous and Hybrid Systems

Chapter 21. What Are HIV and AIDS?

An intuitive formulation for the reproductive number for the spread of diseases in heterogeneous populations

Similarity and Diagonalization. Similar Matrices

A New Nature-inspired Algorithm for Load Balancing

Using Real Data in an SIR Model

Research Article Determination of Pavement Rehabilitation Activities through a Permutation Algorithm

EXIT TIME PROBLEMS AND ESCAPE FROM A POTENTIAL WELL

University of Lille I PC first year list of exercises n 7. Review

FAQs HIV & AIDS. What is HIV? A virus that reduces the effectiveness of your immune system, meaning you are less protected against disease.

UNAIDS 2013 AIDS by the numbers

Aids Fonds funding for programmes to prevent HIV drug resistance

A linear algebraic method for pricing temporary life annuities

The Characteristic Polynomial

50 years THE GAP REPORT 2014

A Load Balancing Algorithm based on the Variation Trend of Entropy in Homogeneous Cluster

HIV/AIDS, Socioeconomic Status, and Life Insurance. The burden of being infected with the life-threatening disease HIV/AIDS

Drug-resistant Tuberculosis

Equilibria and Dynamics of. Supply Chain Network Competition with Information Asymmetry. and Minimum Quality Standards

SPECTRAL POLYNOMIAL ALGORITHMS FOR COMPUTING BI-DIAGONAL REPRESENTATIONS FOR PHASE TYPE DISTRIBUTIONS AND MATRIX-EXPONENTIAL DISTRIBUTIONS

Analysis of China Motor Vehicle Insurance Business Trends

Lecture 13 Linear quadratic Lyapunov theory

Methodology Understanding the HIV estimates

Estimates of New HIV Infections in the United States

Chapter 2 The Research on Fault Diagnosis of Building Electrical System Based on RBF Neural Network

CPC/CPA Hybrid Bidding in a Second Price Auction

It was first recognized in 1981 in homosexual men in Los Angeles, latter first recognized in 1986 in India in Chennai.

SOLVING LINEAR SYSTEMS

Wireless Sensor Networks Coverage Optimization based on Improved AFSA Algorithm

December 4, 2013 MATH 171 BASIC LINEAR ALGEBRA B. KITCHENS

Mathematics (MAT) MAT 061 Basic Euclidean Geometry 3 Hours. MAT 051 Pre-Algebra 4 Hours

Lecture 7: Finding Lyapunov Functions 1

OPTIMAL DESIGN OF DISTRIBUTED SENSOR NETWORKS FOR FIELD RECONSTRUCTION

HIV/AIDS Prevention and Care

Linear-Quadratic Optimal Controller 10.3 Optimal Linear Control Systems

Elasticity Theory Basics

3. Reaction Diffusion Equations Consider the following ODE model for population growth

1. (First passage/hitting times/gambler s ruin problem:) Suppose that X has a discrete state space and let i be a fixed state. Let

Heroin epidemics, treatment and ODE modelling

Lecture 5 Rational functions and partial fraction expansion

NEW YORK STATE TEACHER CERTIFICATION EXAMINATIONS

Hello, my name is Olga Michasova and I present the work The generalized model of economic growth with human capital accumulation.

Long Term Socio-Economic Impact of HIV/AIDS on Children and Policy Response in Thailand

Indiana State Core Curriculum Standards updated 2009 Algebra I

Transcription:

Discrete Dynamics in Nature and Society Volume 212, Article ID 162527, 13 pages doi:1.1155/212/162527 Research Article Stability Analysis of an HIV/AIDS Dynamics Model with Drug Resistance Qianqian Li, 1 Shengshan Cao, 1 Xiao Chen, 1 Guiquan Sun, 2 Yunxi Liu, 3 and Zhongwei Jia 4, 5 1 School of Mathematical Sciences, Ocean University of China, Qingdao 2661, China 2 Department of Mathematics, North University of China, Taiyuan 351, China 3 Department of Nosocomial Infection Management and Disease Control, Chinese PLA General Hospital, 28 Fuxing Road, Haidian District, Beijing 1853, China 4 National Institute of Drug Dependence, Peking University, Beijing 1191, China 5 Takemi Program in International Health, Department of Global Health and Population, Harvard School of Public Health, 665 Huntington Avenue, Boston, MA 2115, USA Correspondence should be addressed to Zhongwei Jia, urchinjj@163.com Received 11 August 212; Accepted 22 October 212 Academic Editor: Youssef Raffoul Copyright q 212 Qianqian Li 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 work is properly cited. A mathematical model of HIV/AIDS transmission incorporating treatment and drug resistance was built in this study. We firstly calculated the threshold value of the basic reproductive number R by the next generation matrix and then analyzed stability of two equilibriums by constructing Lyapunov function. When R < 1, the system was globally asymptotically stable and converged to the disease-free equilibrium. Otherwise, the system had a unique endemic equilibrium which was also globally asymptotically stable. While an antiretroviral drug tried to reduce the infection rate and prolong thepatients survival, drug resistancewas neutralizingthe effects of treatment in fact. 1. Introduction It was reported that 2.7 million people were newly infected by HIV/AIDS virus and 1.8 million patients died of AIDS-related causes in 21 worldwide. By the end of 21, about 34 million people were living with HIV/AIDS in the world 1. China estimated that 2.8 million died of AIDS-related causes in 211, and there were about 7.8 million HIV-infected people by the end of 211 2. Since the initial infectious diseases model was presented by Anderson et al. in 1986 3 5, various mathematical models have been developed among which the treatment has been addressed 6 16. For example, Wang and Zhou s model tried to address HIV treatment and progression by CD4 T-cells and virus particles in microcosmic 8 ; Blower, Boily

2 Discrete Dynamics in Nature and Society et al., and Bachar and Dorfmayr s works tried to investigate the effect of treatment on sexual behaviors 9 11 ; Blower et al., Sharomi and Gumel and Nagelkerke et al. studied the epidemic contagion transmission in some specific regions or groups considering drug resistance 12 14. In this work, we established a model by adding effect of drug resistance into the similar models in the literatures 6 11, 15, 16. The model in 12 14 are include both virus drug resistance and drug sensitive on the treatment. However the model in 12 did not distinguish the stage of HIV and AIDS, our model aware of the different between HIV infections and AIDS patients. Moreover, compare to those models in 13, 14, we carefully consider some infections would exit treatment group without developing drug-resistance due to other reasons such as migration. Theoretical analysis on global stability of endemic equilibrium has then been implemented. 2. Dynamic Model According to the progression of disease, the total populations were separated into five groups: susceptible population, early-stage HIV population, symptomatic population, AIDS patients, and those who are accepting ART; we marked them with S t, I t, J t, A t, and T t separately. Treatment has three outcomes: 1 a patient can respond to treatment and remain the ART; 2 exit treatment due to clinical failure, migration, or other reasons without developing drug resistance; 3 virologically fail and develop drug resistance. We use R t to denote patients in situation 3. We made some assumption as below. 1 Infection occurred when susceptible and infected contact with each other took place. 2 Only people in the period of AIDS may die of AIDS disease-related, then use d denote the disease-related death rate of the AIDS. And use denote the mortality rate in the total population. 3 Although AIDS patients have the higher viral load, we assume they will not infect others because they have the obvious clinical symptoms and were accepting ART. 4 When in the situation 2 of treatment, we assume these people transformed into asymptomatic individuals. According to the assumptions, the flow diagram of the six subpopulations was shown in Figure 1. The model was collected as the following differential equations: S Λ S β 1 I β 2 J β 3 T β 4 R S, I β 1 I β 2 J β 3 T β 4 R S αi I, J αi ρ 1 σ k 1 J J γt, T σj ρ 2 γ k 2 T T, 2.1 R k 1 J k 2 T ρ 3 R R, A ρ 1 J ρ 2 T ρ 3 R d A,

Discrete Dynamics in Nature and Society 3 ρ 1 J T Λ λs αi σj ρ 2 T da S I J T A γt S I J k 2 T A ρ 3 R k 1 J R R Figure 1: Relationship between different populations. where Λ is the recruitment rate of the susceptible population, β 1 is the probability of transmission by an infection in the first stage, β 2 is the probability of transmission by an infection in the second phase, β 3 lβ 2 l<1 is the probability of transmission by a patient being treated, β 4 is the probability of transmission by a drug resistance individual, α is the transfer rate constant from the asymptomatic phase I to the symptomatic phase J, σ is the proportion of treatment, γ is the exit treatment rate without developing drug resistance, k 1 is probability constant of infection by transmission of drug-resistant strains, and k 2 is the rate of acquiring drug resistance during treatment; ρ i i 1, 2, 3 denote transfer rate constant by an infection from phase J, T, R to the AIDS cases A, respectively. The model is established in practice; thus we assume all parameters are nonnegative. Since the A of system 2.1 does not appear in the equations, in the following analysis, we only consider the system as follows: S Λ S β 1 I β 2 J β 3 T β 4 R S, I β 1 I β 2 J β 3 T β 4 R S α I, J αi ρ 1 σ k 1 J γt, T σj ρ 2 γ k 2 T, R k 1 J k 2 T ρ 3 R. 2.2 Theorem 2.1. Let the initial data be S S >, I I >, J J >, T T > and R R > ; then the solutions of system 2.2 are all positive for all t >. For the model, the feasible region of system 2.2 is Ω { S, I, J, T, R R 5 : S I J T R Λ/, <S Λ/}, and Ω for system 2.2 is positively invariant. Proof. From the first equation of 2.2 S Λ S β 1 I β 2 J β 3 T β 4 R S, 2.3 consider the following two categories. 1 When t > ands t. Equation 2.3 becomes S Λ t t,duetoλ > ; we have S t >, that is, when t>t, S t is an increasing function about t. Therefore, we can conclude that when tis the neighborhood of t and t>t, S t S t >.

4 Discrete Dynamics in Nature and Society 2 When t > ands t >. Equation 2.3 can be written as that is S S Λ S [ β 1 I β 2 J β 3 T β 4 R ], S S [ β 1 I β 2 J β 3 T β 4 R ], 2.4 2.5 thus, [ S t S exp t [ β1 I s β 2 J s β 3 T s β 4 R s ] ds ] >. 2.6 Similarly for the other equations of system 2.2 we can easily show that I t, J t, T t, R t are increasing functions about t when t > andi t, t > andj t, t > and T t, t > andr t, respectively; then when t>t, X t X t > X I,J,T,R. Otherwise, when t > andx t > X I,J,T,R, we have the following results corresponding to the respective hypothesis: I I α. 2.7 Thus, I t I exp [ α t ] >, J J ρ 1 σ k 1. 2.8 Thus, J t J exp [ ρ 1 σ k 1 t ] >, T T ρ 2 γ k 2. 2.9 Thus, T t T exp [ ρ 2 γ k 2 t ] >, R R ρ 3. 2.1 Thus, R t R exp [ ρ 3 t ] >. 2.11

Discrete Dynamics in Nature and Society 5 Then, we have that I t,j t,t t, andr t are all strictly positive for t>. Thus we can conclude that all solutions of system 2.2 remain positive for all t>. Next, add all the the equations of system 2.2 ; we have S I J T R Λ S I J T R ρ 1 J ρ 2 T ρ 3 R Λ S I J T R. 2.12 Then, lim sup S I J T R Λ t. 2.13 In a similar fashion we have S Λ S from the first equation of 2.2 ; then lim t sup S Λ/. Thus, the feasible solution of system remains in the region Ω, andω as the feasible region for system is positively invariant. In the following, the dynamics of system 2.2 will be considered in Ω. 3. The Basic Reproduction Number and the Disease-Free Equilibrium 3.1. The Basic Reproduction Number It is easy to see that the model has a disease-free equilibrium DFE, P Λ/,,,,. Following the paper 17, we obtain the basic reproduction number by using the next generation operator approach. Let y I,J,T,R,S T ; thus we have y F y V y, 3.1 where β1 I β 2 J β 3 T β 4 R S F y, 3.2 α I αi ρ 1 σ k 1 J γt V y σj ρ 2 γ k 2 T. 3.3 k 1 J k 2 T ρ 3 R Λ S β 1 I β 2 J β 3 T β 4 R S

6 Discrete Dynamics in Nature and Society Then the derivatives of F y and V y at the DFE P,,,, Λ/ are partitioned as DV P DF P β 1 Λ β 2 Λ F, V β 3 Λ β 4 Λ. 3.4 F and V are the 4 4 matrices as follows: β 1 Λ β 2 Λ β 3 Λ β 4 Λ F V α Q 2 γ σ Q 3, k 1 k 2 Q 4, 3.5 where α, Q 2 ρ 1 σ k 1, Q 3 ρ 2 γ k 2, Q 4 ρ 3. 3.6 Hence the reproduction number, denoted by R, is the spectral radius of the next generation matrix FV 1 : R ρ FV 1 R 1 R 2 R 3 R 4. 3.7 Here R 3 R 1 β 1 Λ, R 2 β 2 αq 3 Q2 Q 3 σγ Λ, β 3 ασ Q2 Q 3 σγ Λ, R 4 β 4α k 1 Q 3 k 2 σ Q2 Q 3 σγ Q 4 Λ. 3.8 3.2. DFE and Stability Theorem 3.1. The disease-free equilibrium P of system is globally asymptotically stable for R < 1 and unstable for R > 1.

Discrete Dynamics in Nature and Society 7 Proof. 1 The Jacobian matrices of system 2.2 at the DFE are J P β 1 Λ β 2 Λ D β 3 Λ β 4 Λ, 3.9 where β 1 Λ β 2 Λ β 3 Λ β 4 Λ D α Q 2 γ σ Q 3. k 1 k 2 Q 4 3.1 Obviously, D d ij is a 4 4 matrix with d ij, for i / j, i, j 1,...,4andd ii > for i 2,...,4. If R < 1, we have R 1 β 1 / Λ/ <R < 1 from the expression of 3.8 ; thus d 11 β 1 Λ/ 1 R 1 >. Define the positive vector subsequently: x 1, αq 3 Q 2 Q 3 σγ, ασ Q 2 Q 3 σγ, α k 1 Q 3 k 2 σ Q2 Q 3 σγ Q 4 T. 3.11 If R < 1, D x 1 R,,, T. Then begin to show that all the eigenvalues of D are nonzero: det D Q 4 Q2 Q 3 σγ β 1 Q2 Q 3 σγ Q 4 α β 2 Q 3 β 3 σ Q 4 α β 2 Q 3 β 3 σ Q 4. 3.12 Simplify the above expression through substituting formula 3.8 into 3.12 : det D Q 4 Q2 Q 3 σγ 1 R. 3.13 Here Q 2 Q 3 σγ ρ 1 σ k 1 ρ 2 γ k 2 σγ > ; thus, det D > ; namely, D has non zero eigenvalue for R < 1. In conclusion, if R < 1, D is an irreducible matrix with d ii > andd ij i / j, there exists a positive vector x such that D x. Hence, the real part of each nonzero eigenvalue of D is positive according to the M-matrix theory; that is, each eigenvalue of D has negative real part. Through the structure of the Jacobian matrix J P, it can be seen that the eigenvalues of J P consist of and all eigenvalues of D. Hence, all eigenvalues of J P have negative real part for R < 1; thus, disease-free equilibrium P is locally asymptotically stable.

8 Discrete Dynamics in Nature and Society 2 Let U 1 m 1 I m 2 J m 3 T m 4 R, where m i i 1 4 are positive constants as follows: m 1 β 1 β 2 αq 3 Q2 Q 3 σγ β 3 ασ Q2 Q 3 σγ β 4α k 1 Q 3 k 2 σ Q2 Q 3 σγ Q 4, β 2 Q 3 m 2 Q 2 Q 3 σγ β 3 σ Q 2 Q 3 σγ β 4 k 1 Q 3 k 2 σ Q2 Q 3 σγ, Q 4 β 2 γ m 3 Q 2 Q 3 σγ β 3 Q 2 Q 2 Q 3 σγ β 4 k1 γ k 2 Q 2 Q2 Q 3 σγ, Q 4 3.14 m 4 β 4 Q 4. When R < 1, the time derivative of U 1 is U 1 2.2 m 1 I m 2 J m 3 T m 4 R m 1 β 1 S m 1 m 2 α I m 1 β 2 S m 2 Q 2 m 3 σ m 4 k 1 J m 1 β 3 S m 2 γ m 3 Q 3 m 4 k 2 T m1 β 4 S m 4 Q 4 R 3.15 m 1 S 1 β 1 I β 2 J β 3 T β 4 R. Let M max β 1 /m 1,β 2 /m 2,β 3 /m 3,β 4 /m 4 ; due to lim t sup S Λ/, M is the finite number, then U 1 Λ m 1 1 β1 I β 2 J β 3 T β 4 R R 1 β 1 I β 2 J β 3 T β 4 R 3.16 M R 1 m 1 I m 2 J m 3 T m 4 R. Solve U 1 M R 1 U 1, have U 1 U 1 e M R 1 t, that is, lim U 1 t, thus when t, t I,J,T,R,,,. When R < 1, U 1, and equalities hold if and only if S Λ/, I J T R, that is U 1 if and only if t. We can conclude that the solutions of system 2.2 are all in Ψ { S, I, J, T, R : S Λ/, I J T R } and the only invariant set in Ψ is P by the LaSalle s invariance principle. Thus the solutions of system 2.2 are limits to the endemic equilibrium P when R < 1. Combine locally asymptotically stable of P with convergence properties of the P, we conclude that P of system is globally asymptotically stable for R < 1. 3 If R > 1, det D Q 4 Q 2 Q 3 σγ 1 R < ; thus D has eigenvalue with positive real part, otherwise, det D>; this is contradiction. Hence, P is unstable for R > 1.

Discrete Dynamics in Nature and Society 9 4. Endemic Equilibrium and Stability Equating each equation in system 2.2 to zero and solving this equilibrium equations, system has the unique positive equilibrium P S,I,J,T,R for R > 1, here S Λ 1, I Λ 1 1R, J αq 3 R Q 2 Q 3 σγ I T ασ Q 2 Q 3 σγ I, R α k 1Q 3 k 2 σ Q2 Q 3 σγ Q 4 I. 4.1 Theorem 4.1. Endemic equilibrium P of system is globally asymptotically stable for R > 1. Proof. Equating each equation in system 2.2 to zero, the equilibrium equations as follows are useful: Λ S β 1 I β 2 J β 3 T β 4 R S, I β 1 I β 2 J β 3 T β 4 R S, Q 2 J αi γt, 4.2 Q 3 T σj, Q 4 R k 1 J k 2 T, where Q i is defined in 3.6. Setting x S, I, J, T, R Ω R 5, construct a Lyapunov function U 2 U 2 x S S S ln SS A 1 I I I ln II A 2 J J J ln J J A 3 T T T ln T T A 4 R R R ln R R, 4.3 where x P S,I,J,T,R and A i > is constant. There, U 2 x forx IntΩ, and U 2 x x x. Computing the time derivative of U 2, we have U 2 S 1 S A 1 I 1 I A 2 J 1 J S I J A 3 T 1 T A 4 R 1 R. T R 4.4

1 Discrete Dynamics in Nature and Society Using 2.2 and 4.1, weobtain S 1 S 1 S [Λ S β1 I β 2 J β 3 T β 4 R S ] S S [ 1 S S β 1 I β 2 J β 3 T β 4 R S ] S S β 1 I β 2 J β 3 T β 4 R S S 2 S S S β 1 I β 2 J β 3 T β 4 R S S β 1 I β 2 J β 3 T β 4 R S β 1 I β 2 J β 3 T β 4 R S 4.5 β 1 I β 2 J β 3 T β 4 R S 2 S. Similarly, we obtain [ A 1 I 1 I β1 A 1 I β 2 J β 3 T β 4 R S β 1 I β 2 J β 3 T β 4 R S I I β 1 I β 2 J β 3 T β 4 R ] S I, I ] A 2 J 1 J A 2 [αi Q 2 J γt αi γt αi J J γt, J J J A 3 T 1 T A 3 [σj Q 3 T σj σj T ], T T ] A 4 R 1 R A 4 [k 1 J k 2 T Q 4 R Q 4 R k R 1 J k 2 T k 1 J R R k 2T R. R 4.6 Substituting formula 4.5 and 4.6 into 4.4 and arranging the equation we have U 2 Q Q 2 Q 3 Q 4, 4.7 where Q S 2 S S S, S A 1 1 β 1 I β 2 J β 3 T β 4 R S, Q 2 A 1 1 β 1 I β 2 J β 3 T β 4 R S A 2 αi A 2 γt A 3 σj A 4 k 1 J A 4 k 2 T, Q 3 β 1 I β 2 J β 3 T β 4 R S A 2 αi A 2 γt A 3 σj A 4 k 1 J A 4 k 2 T A 1 I A 2 Q 2 J A 3 Q 3 T A 4 Q 4 R,

Discrete Dynamics in Nature and Society 11 Q 4 β 1 I β 2 J β 3 T β 4 R S 2 S A 1 β1 I β 2 J β 3 T β 4 R I I A 2 αi J J A 2γT J J A 3σJ T T A 4k 1 J R R A 4k 2 T R R. 4.8 In 4.7, Q 2 consists of all constant terms, Q 3 contains all linear terms of I, J, T, R, andq 4 contains all negative nonlinear. In order to determine the coefficient A i of U 2,letQ 3 in Ω ; then the coefficients of state variables I, J, T, R are equal to zero, that is: β 1 S A 1 A 2 α β 2 S A 2 Q 2 A 3 σ A 4 k 1 β 3 S A 2 γ A 3 Q 3 A 4 k 2 β 4 S A 4 Q 4. 4.9 Solving 4.9, and using the expression of R and S, we have 1 A 1 1, A 2 Q 2 Q 3 σγ 1 A 3 β 2 γ β 3 Q 2 β 4 k1 γ k 2 Q 2 Q 2 Q 3 σγ β 2 Q 3 β 3 σ β 4 k 1 Q 3 k 2 σ Q 4 Q 4 S, S, A 4 β 4 Q 4 S, 4.1 then,. Let S/S x, I/I y, J/J z, T/T u, R/R v; substituting these expressions into 4.9, and then substituting the changing expression into 4.7 U 2 S 2 x 1 2β 1 S I 2β 2 S J 2β 3 S T 2β 4 S R A 2 αi x A 2 γt A 3 σj A 4 k 1 J A 4 k 2 T β 1 S I 1 x β 2S J 1 x β 3 S T 1 x β 4S R 1 x β 1S I x β 2 S J xz y β 3S T xu y β 4 S R xv y A 2αI y z A 2γT u z A 3σJ z u A 4k 1 J z v A 4k 2 T u v S 2 x 1 β 1 S I 2 x 1 β 2 S J 2 xz x x y 1 x β 3 S T 2 xu A 2 γt 1 u z β 4 S R 2 xv y 1 x A 3 σj 1 z u y 1 x A 4 k 1 J 1 z v A 2 αi 1 y z A 4 k 2 T 1 u. v 4.11 Using the arithmetic mean geometric to get that 2 x 1/x is less than or equal to zero, substituting A i, and simplifying the other expressions in 4.11 after tedious algebraic

12 Discrete Dynamics in Nature and Society manipulations, we can get the other expressions such as 2 xz/y 1/x, 2 xu/y 1/x, and 2 xv/y 1/x is less than or equal to zero; this indicates that U 2, and equalities hold if and only if x 1,y z u v. Furthermore, S S, I/I J/J T/T R/R a; then substituting S S, I ai,j aj,t at,r ar into the first equation of system 2.2, and in contrast to the first equality of 4.2, we have a 1. In conclusion, the limit sets of solutions in Ω are all in Γ { S, I, J, T, R : S S,I I,J J,T T,R R }, and the only invariant set in Γ is P by the LaSalle s invariance principle. Thus the solutions of system 2.2 in Ω are limits to the endemic equilibrium P,andP is globally asymptotically stable for R > 1. 5. Discussion This paper is an extended model about the works in 15, 16 by adding treatment and drug resistance in the whole transmission as well as considering the reasons of treatment exiting. For public health view, to bring HIV/AIDS into control, the prerequisite is reducing the threshold value of basic reproductive number R. If control R < 1, the disease can be eliminated from population. R52 RCT study indicated that treatment can prevent in HIV transmission 18 ; this sounds that increasing proportion of treated population is helpful to control HIV epidemic overall. In our study, ART is clearly affecting R in the HIV procession. However, we cannot yet give this positive result based on the formula of R and σ in our work. That is because the treatment might also induce drug resistance which neutralizes the effect of treatment. ART might produce a more complicated HIV progress. However, decreasing acquiring drug-resistant rate k 1, k 2 and treatment exiting γ are the feasible measures to reduce R. Improving treatment standard and patients compliance are the feasible and effective measures to reduce k 1, k 2. Certainly, new effective antiretroviral drugs might be the real determinants. R is also linked with drug resistance by the transmission rate β 4 of drug resistance individual and removing rate ρ 3 from the population R. When the other parameters keep constant, R is positive with β 4 and negative with ρ 3. The value of R will increase if more patients enter this kind of population; that means the drug resistance can fuel HIV epidemic. However, the acquiring drug-resistant rate k 1, k 2 can be prevented by improving treatment quality, and the transmission coefficient parameter β 4 can be reduced by decreasing contacts between these patients and other people at public health level. Generally, early finding by routine screening for drug resistance is an important way to find them. Limitations in our model exist. We ignored the changing drug when treatment failed in practice. A refinement of the model can be done in future. Additionally, we did do simulation with actual data, which are ongoing under further study. Acknowledgments This study was supported by Chinese government grants administered under the Twelfth Five-Year Plan 212ZX11-2, the Beijing Municipal Commission of Education KM211251, and National Nature Science Foundation 3973981. References 1 WHO, UNAIDS World AIDS Day Report, 211.

Discrete Dynamics in Nature and Society 13 2 Ministry of Health, 211 Estimates for the HIV/AIDS Epidemic in China, 211. 3 R. M. Anderson, The role of mathematical models in the study of HIV transmission and the epidemiology of AIDS, Acquired Immune Deficiency Syndromes, vol. 1, no. 3, pp. 241 256, 1988. 4 R. M. Anderson, G. F. Medley, R. M. May, and A. M. Johnson, A preliminary study of the transmission dynamics of the human immunodeficiency virus HIV, the causative agent of AIDS, IMA Mathematics Applied in Medicine and Biology, vol. 3, no. 4, pp. 229 263, 1986. 5 R. M. May and R. M. Anderson, Transmission dynamics of HIV infection, Nature, vol. 326, no. 619, pp. 137 142, 1987. 6 C. C. McCluskey, A model of HIV/AIDS with staged progression and amelioration, Mathematical Biosciences, vol. 181, no. 1, pp. 1 16, 23. 7 H. Guo and M. Y. Li, Global dynamics of a staged-progression model for HIV/AIDS with amelioration, Nonlinear Analysis: Real World Applications, vol. 12, no. 5, pp. 2529 254, 211. 8 Y. Wang and Y.-c. Zhou, Mathematical modeling and dynamics of HIV progression and treatment, Chinese Engineering Mathematics, vol. 27, no. 3, pp. 534 548, 21. 9 S. Blower, Calculating the consequences: HAART and risky sex, AIDS, vol. 15, no. 1, pp. 139 131, 21. 1 M. C. Boily, F. I. Bastos, K. Desai, and B. Mâsse, Changes in the transmission dynamics of the HIV epidemic after the wide-scale use of antiretroviral therapy could explain increases in sexually transmitted infections results from mathematical models, Sexually Transmitted Diseases, vol. 31, no. 2, pp. 1 112, 24. 11 M. Bachar and A. Dorfmayr, HIV treatment models with time delay, Comptes Rendus Biologies, vol. 327, no. 11, pp. 983 994, 24. 12 S. M. Blower, H. B. Gershengorn, and R. M. Grant, A tale of two futures: HIV and antiretroviral therapy in San Francisco, Science, vol. 287, no. 5453, pp. 65 654, 2. 13 O. Sharomi and A. B. Gumel, Dynamical analysis of a multi-strain model of HIV in the presence of anti-retroviral drugs, Biological Dynamics, vol. 2, no. 3, pp. 323 345, 28. 14 N. J. D. Nagelkerke, P. Jha, S. J. De Vlas et al., Modelling HIV/AIDS epidemics in Botswana and India: impact of interventions to prevent transmission, Bulletin of the World Health Organization, vol. 8, no. 2, pp. 89 96, 22. 15 L. Cai, X. Li, M. Ghosh, and B. Guo, Stability analysis of an HIV/AIDS epidemic model with treatment, Computational and Applied Mathematics, vol. 229, no. 1, pp. 313 323, 29. 16 J. Q. Li, Y. L. Yang, and W. Wang, Qualitative analysis of an HIV transmission model with therapy, Chinese Engineering Mathematics, vol. 26, no. 2, pp. 226 232, 29. 17 P. van den Driessche and J. Watmough, Reproduction numbers and sub-threshold endemic equilibria for compartmental models of disease transmission, Mathematical Biosciences, vol. 18, pp. 29 48, 22. 18 M. S. Cohen, Y. Q. Chen, M. McCauley et al., Prevention of HIV-1 infection with early antiretroviral therapy, The New England Medicine, vol. 365, no. 6, pp. 493 45, 211.

Advances in Operations Research Advances in Decision Sciences Mathematical Problems in Engineering Algebra Probability and Statistics The Scientific World Journal International Differential Equations Submit your manuscripts at International Advances in Combinatorics Mathematical Physics Complex Analysis International Mathematics and Mathematical Sciences Stochastic Analysis Abstract and Applied Analysis International Mathematics Discrete Dynamics in Nature and Society Discrete Mathematics Applied Mathematics Function Spaces Optimization