Search

The anthropogenic carbon dioxide (C O 2) emission from the burning of fossil fuels is the prime cause behind the menace of global warming. Over the past few decades, fossil fuel consumption has increased drastically to fulfill the energy demand of the growing population and economy. The population pressure has not only contributed to the increase in fossil fuel consumption but also accelerated the deforestation for industrial, agricultural, and infrastructure expansion. This paper presents a nonlinear mathematical model to study the effect of an increase in fossil fuel use and deforestation due to population pressure on atmospheric carbon dioxide concentration. Further, the effect of economic efforts applied to reduce the population pressure over the control of atmospheric C O 2 levels is explored. The model analysis shows that an increase in the fossil fuel consumption rate causes an increase in the equilibrium level of carbon dioxide. Further, it is found that an increase in the deforestation rate coefficient has a destabilizing effect on the stability of positive state of the system. If the deforestation rate crosses a critical threshold, the positive state of the system loses stability and the periodic solutions arise via Hopf-bifurcation. It is shown that at high deforestation rates, an increase in the implementation rate of economic efforts applied to reduce the population pressure may cause reduction in the amplitude of periodic oscillations. The periodic oscillations may disappear if the implementation rate of economic effort increased beyond a critical threshold and the concentration of carbon dioxide gets stabilized. [ABSTRACT FROM AUTHOR]

This paper concentrates on the problem of H ∞ state estimation for quaternion-valued inertial neural networks (QVINNs) with nonidentical time-varying delay. Without reducing the original second order system into two first order systems, a non-reduced order method is developed to investigate the addressed QVINNs, which is different from the majority of existing references. By constructing a new Lyapunov functional with tuning parameters, some easily checked algebraic criteria are established to ascertain the asymptotic stability of error-state system with the desired H ∞ performance. Moreover, an effective algorithm is provided to design the estimator parameters. Finally, a numerical example is given out to illustrate the feasibility of the designed state estimator. [ABSTRACT FROM AUTHOR]

In this paper, the dynamic behavior of a class of switched systems with internally forced switching (IFS) is investigated. By introducing the definitions of continuous dependence and differentiability, the continuous dependence and differentiability of the solution relative to the control function are obtained. In the past studies, the optimal control problem given by IFS mainly focused on a special class of controlled systems (the piece affine system). Our results lay a good foundation for studying the more general internally forced switching problem. [ABSTRACT FROM AUTHOR]

In this paper, the actual background of the susceptible population being directly patients after inhaling a certain amount of PM 2.5 is taken into account. The concentration response function of PM 2.5 is introduced, and the SISP respiratory disease model is proposed. Qualitative theoretical analysis proves that the existence, local stability and global stability of the equilibria are all related to the daily emission P 0 of PM 2.5 and PM 2.5 pathogenic threshold K. Based on the sensitivity factor analysis and time-varying sensitivity analysis of parameters on the number of patients, it is found that the conversion rate β and the inhalation rate η has the largest positive correlation. The cure rate γ of infected persons has the greatest negative correlation on the number of patients. The control strategy formulated by the analysis results of optimal control theory is as follows: The first step is to improve the clearance rate of PM 2.5 by reducing the PM 2.5 emissions and increasing the intensity of dust removal. Moreover, such removal work must be maintained for a long time. The second step is to improve the cure rate of patients by being treated in time. After that, people should be reminded to wear masks and go out less so as to reduce the conversion rate of susceptible people becoming patients. [ABSTRACT FROM AUTHOR]

In this paper, we study the periodic and stable dynamics of an interactive wild and sterile mosquito population model with density-dependent survival probability. We find a release amount upper bound G ∗ , depending on the release waiting period T, such that the model has exactly two periodic solutions, with one stable and another unstable, provided that the release amount does not exceed G ∗ . A numerical example is also given to illustrate our results. [ABSTRACT FROM AUTHOR]

The commonly defined fractional derivatives, like Riemann-Liouville and Caputo ones, are non-local operators which have the long-term memory characteristic, since they are in connection with all historical data. Because of this special property, they may be invalid for modeling some processes and materials with short-term memory phenomena. Motivated by this observation and in order to enlarge the applicability of fractional calculus theories, a fractional derivative with the short-term memory property is defined in this paper. It can be viewed as an extension of the Caputo fractional derivative. Several properties of this short memory fractional derivative are given and proved. Meanwhile, the stability problem for fractional differential equations with such a derivative is studied. By applying fractional Lyapunov direct methods, the stability conditions applicable to the local case and the global case are established respectively. Finally, three numerical examples are provided to demonstrate the correctness and effectiveness of the theoretical results. [ABSTRACT FROM AUTHOR]

A discrete cooperative model incorporating harvesting that takes the form is proposed and studied in this paper. By using the iterative method and the comparison principle of difference equations, a set of sufficient conditions which ensure the global attractivity of the interior equilibrium of the system is obtained. Numeric simulations show the feasibility of the main result. [ABSTRACT FROM AUTHOR]

In this paper, we inspect the global asymptotic stability (GAS) of Ebola–epidemic using a modified Susceptible-Infected-Deceased-Pathogen (SIDP) model with perturbation. The feasible region is obtained, and we determine the basic reproduction number using the next-generation matrix method. The GAS of the disease-free and endemic equilibria are discuss and provide parameter conditions for which the stability exists. We show theoretically that the contaminated environmental Ebola human–deceased transmission model is GAS with and without probability. Numerical simulation to support our theoretical findings are presented. [ABSTRACT FROM AUTHOR]

In this paper, a deterministic model characterizing the within-host infection of Hepatitis C virus (HCV) in intrahepatic and extrahepatic tissues is presented. In addition, the model also includes the effect of the cytotoxic T lymphocyte (CTL) immunity described by a linear activation rate by infected cells. Firstly, the non-negativity and boundedness of solutions of the model are established. Secondly, the basic reproduction number R 01 and immune reproduction number R 02 are calculated, respectively. Three equilibria, namely, infection-free, CTL immune response-free and infected equilibrium with CTL immune response are discussed in terms of these two thresholds. Thirdly, the stability of these three equilibria is investigated theoretically as well as numerically. The results show that when R 01 < 1 , the virus will be cleared out eventually and the CTL immune response will also disappear; when R 02 < 1 < R 01 , the virus persists within the host, but the CTL immune response disappears eventually; when R 02 > 1 , both of the virus and the CTL immune response persist within the host. Finally, a brief discussion will be given. [ABSTRACT FROM AUTHOR]

In the literature, several mathematical models have been formulated and developed to describe the within-host dynamics of either human immunodeficiency virus (HIV) or human T-lymphotropic virus type I (HTLV-I) monoinfections. In this paper, we formulate and analyze a novel within-host dynamics model of HTLV-HIV coinfection taking into consideration the response of cytotoxic T lymphocytes (CTLs). The uninfected CD 4 + T cells can be infected via HIV by two mechanisms, free-to-cell and infected-to-cell. On the other hand, the HTLV-I has two modes for transmission, (i) horizontal, via direct infected-to-cell touch, and (ii) vertical, by mitotic division of active HTLV-infected cells. It is well known that the intracellular time delays play an important role in within-host virus dynamics. In this work, we consider six types of distributed-time delays. We investigate the fundamental properties of solutions. Then, we calculate the steady states of the model in terms of threshold parameters. Moreover, we study the global stability of the steady states by using the Lyapunov method. We conduct numerical simulations to illustrate and support our theoretical results. In addition, we discuss the effect of multiple time delays on stability of the steady states of the system. [ABSTRACT FROM AUTHOR]

In this paper, we study a Lotka-Volterra prey-predator system with feedback control. We establish sufficient conditions under which a unique positive equilibrium is globally stable. Further, we show that a suitable feedback control on predator species can make prey species that is on the brink of extinction become globally stable, but under the conditions of small feedback control on predator, the prey species still extinct, whereas the predator species is stable at certain values. Several examples are presented to show the feasibility of the main results. [ABSTRACT FROM AUTHOR]

In this paper we consider a standard class of the neural networks and propose an investigation of the global asymptotic stability of these neural systems. The main aim of this investigation is to define a novel Lyapunov functional having quadratic-integral form and use it to reach a stability criterion for the under study neural networks. Since some fundamental characteristics, such as nonlinearity, including time-delays and neutrality, help us design a more realistic and applicable model of neural systems, we will use all of these factors in our neural dynamical systems. At the end, some numerical simulations are presented to illustrate the obtained stability criterion and show the essential role of the time-delays in appearance of the oscillations and stability in the neural networks. [ABSTRACT FROM AUTHOR]

Scarlet fever is an acute respiratory infectious disease and the incidence rate is increasing from 2011 throughout the world. In this paper, the mathematical models are proposed, which incorporate both direct transmissions and indirect transmissions of scarlet fever. The threshold conditions for disease invasion are obtained in terms of the basic reproduction number. The peak value, final size and epidemic time in a seasonal prevalence are investigated numerically. Furthermore, the effects of seasonal fluctuations on disease outbreak are also studied on the basis of real data in China. [ABSTRACT FROM AUTHOR]

In this paper, we consider a nonautonomous predator-prey system with Beddington-DeAngelis functional response and explore the global stability of boundary solution. Based on the dynamics of logistic equation, some new sufficient conditions on the global asymptotic stability of boundary solution are presented for general time-dependence case. Our main results indicate that (i) the long-term ineffective predation behaviour or high mortality of predator species will lead the predator species to extinction, even if the intraspecies competition of predator species is weak or no intraspecies competition; (ii) the long-term intense intraspecific competition may lead the predator species to extinction, even though the long-term accumulative predation benefit is higher than the death lose. When all parameters are periodic functions with common period, a necessary and sufficient condition on the global stability of boundary periodic solution is obtained. In addition, some numerical simulations are performed to illustrate the theoretical results. [ABSTRACT FROM AUTHOR]

A two species non-autonomous competitive phytoplankton system with nonlinear inter-inhibition terms and one toxin producing phytoplankton is studied in this paper. Sufficient conditions which guarantee the extinction of a species and the global attractivity of the other one are obtained. Some parallel results corresponding to Yue (Adv. Differ. Equ. 2016:1, 2016, doi:) are established. Numeric simulations are carried out to show the feasibility of our results. [ABSTRACT FROM AUTHOR]

This paper studies the global stability of discrete-time viral infection models with humoural immunity. We consider both latently and actively infected cells. We study also a model with general production and clearance rates of all compartments as well as general incidence rate of infection. We use nonstandard finite difference method to discretize the continuous-time models. The positivity and boundedness of solutions of the discrete models are established. We establish by using Lyapunov method, the global stability of equilibria in terms of the basic reproduction number R 0 and the humoural immune response activation number R 1 . The results signify that the infection dies out if R 0 ≤ 1. Moreover, the infection persists with inactive immune response if R 1 ≤ 1 < R 0 and with active immune response if R 1 > 1. We illustrate our theoretical results by using numerical simulations. [ABSTRACT FROM AUTHOR]

A nonautonomous modified Leslie-Gower predator-prey model with Holling-type II schemes and a prey refuge is studied in this paper. Persistent property and stability property of the system are investigated. Some findings about the influence of prey refuge are obtained. [ABSTRACT FROM AUTHOR]

The present paper is considered a two-dimensional half-linear differential system: $x' = a_{11}(t)x+a_{12}(t)\phi_{p^{*}}(y)$, $y' = a_{21}(t)\phi_{p}(x)+a_{22}(t)y$, where all time-varying coefficients are continuous; p and $p^{*}$ are positive numbers satisfying $1/p + 1/p^{*} = 1$; and $\phi_{q}(z) = |z|^{q-2}z$ for $q = p$ or $q = p^{*}$. In the special case, the half-linear system becomes the linear system $\mathbf{x}' = A(t)\mathbf {x}$ where $A(t)$ is a $2 \times2$ continuous matrix and x is a two-dimensional vector. It is well known that the zero solution of the linear system is uniformly asymptotically stable if and only if it is exponentially stable. However, in general, uniform asymptotic stability is not equivalent to exponential stability in the case of nonlinear systems. The aim of this paper is to clarify that uniform asymptotic stability is equivalent to exponential stability for the half-linear differential system. Moreover, it is also clarified that exponential stability, global uniform asymptotic stability, and global exponential stability are equivalent for the half-linear differential system. Finally, the converse theorems on exponential stability which guarantee the existence of a strict Lyapunov function are presented. [ABSTRACT FROM AUTHOR]

In this paper, a time-delay rumor propagation model with a saturated control function is established. Regarding time delay as a bifurcation parameter, Hopf bifurcation is studied. By means of the normal form and the center manifold theorem, a formula is put forward to determine both Hopf bifurcation direction and bifurcating periodic solution stability, together with some numerical simulations to illustrate the relevant theoretical results. Simulation results indicate that an appropriate government control could make periodic oscillation behaviors of the system become steady so as to improve the balance of a social system. [ABSTRACT FROM AUTHOR]

HIV can infect cells via virus-to-cell infection or cell-to-cell viral transmission. These two infection modes may occur in a synergistic way and facilitate viral spread within an infected individual. In this paper, we developed an HIV latent infection model including both modes of transmission and time delays between viral entry and integration or viral production. We analysed the model by defining the basic reproductive number, showing the existence, positivity and boundedness of the solution, and proving the local and global stability of the infection-free and infected steady states. Numerical simulations have been performed to illustrate the theoretical results and evaluate the effects of time delays and fractions of infection leading to latency on the virus dynamics. The estimates of the relative contributions to the HIV latent reservoir and the virus population from the two modes of transmission have also been provided. [ABSTRACT FROM PUBLISHER]

The paper is concerned with a delayed diffusive predator-prey system where the growth of prey population is governed by Allee effect and the predator population consumes the prey according to Beddington-DeAngelis type functional response. The situation of bi-stability and the existence of two coexisting equilibria for the proposed model system are addressed. The stability of the steady state together with its dependence on the magnitude of time delay has been obtained. The conditions that guarantee the occurrence of the Hopf bifurcation in presence of delay are demonstrated. Furthermore, the direction of the Hopf bifurcation and the stability of the bifurcating periodic solutions are determined by the normal form theory and the center manifold theorem. Finally, some numerical simulations have been carried out in order to validate the assumptions of the model. [ABSTRACT FROM AUTHOR]

Time delays can affect the dynamics of HIV infection predicted by mathematical models. In this paper, we studied two mathematical models each with two time delays. In the first model with HIV latency, one delay is the time between viral entry into a cell and the establishment of HIV latency, and the other delay is the time between cell infection and viral production. We defined the basic reproductive number and showed the local and global stability of the steady states. Numerical simulations were performed to evaluate the influence of time delays on the dynamics. In the second model with HIV immune response, one delay is the time between cell infection and viral production, and the other delay is the time needed for the adaptive immune response to emerge to control viral replication. With two positive delays, we obtained the stability crossing curves for the model, which were shown to be a series of open-ended curves. [ABSTRACT FROM AUTHOR]

A stage-structured predator-prey model (stage structure for both predator and prey) with modified Leslie-Gower and Holling-II schemes is studied in this paper. Using the iterative technique method and the fluctuation lemma, sufficient conditions which guarantee the global stability of the positive equilibrium and boundary equilibrium are obtained. Our results indicate that for a stage-structured predator-prey community, both the stage structure and the death rate of the mature species are the important factors that lead to the permanence or extinction of the system. [ABSTRACT FROM AUTHOR]

In this paper, we propose a vector-bone dynamical model to against the transmission of Rift Valley Fever (RVF) between ruminants and mosquitoes, where impulsive vaccination for susceptible ruminants is introduced. By using the comparison principle, integral and differential inequalities, and some of analytical skills, the threshold values for the stability of the disease-free periodic solution and uniform persistence of disease are obtained. These values characterize the evolution and extinction of the disease. Numerical simulations are carried out to illustrate the main theoretical results and the feasibility of the impulsive vaccination control strategy. [ABSTRACT FROM AUTHOR]

In this paper, based on the properties of $\mathcal{L}$-operator and $\mathcal{M}$-matrix, we develop a new inequality of $\mathcal{L}$-operator to be effective for non-autonomous stochastic systems. From the new inequality obtained above, we derive the sufficient conditions ensuring the global exponential stability of the stochastic non-autonomous impulsive cellular neural networks with delays. Our conclusions generalize some works published before. One example is provided to illustrate the superiority of the proposed results. [ABSTRACT FROM AUTHOR]

In this paper, we propose and analyse a virus dynamics model with humoral immune response including latently infected cells. The incidence rate is given by Beddington–DeAngelis functional response. We have derived two threshold parameters, the basic infection reproduction numberand the humoral immune response activation numberwhich completely determined the basic and global properties of the virus dynamics model. By constructing suitable Lyapunov functions and applying LaSalle's invariance principle we have proven that if, then the infection-free equilibrium is globally asymptotically stable (GAS), if, then the chronic-infection equilibrium without humoral immune response is GAS, and if, then the chronic-infection equilibrium with humoral immune response is globally asymptotically stable. These results are further illustrated by numerical simulations. [ABSTRACT FROM PUBLISHER]

In this paper, we study the dynamics of a delayed reaction-diffusion rumor model with government control. By using the theory of partial functional differential equations, a Hopf bifurcation of the proposed system with delay as the bifurcation parameter is investigated. It reveals that the discrete time delay has a destabilizing effect in the rumor dynamics, and the phenomenon of Hopf bifurcation occurs as the delay increases through a certain threshold. Then by numerical simulations the impact of government control is explored. It is found that government control has strong effects on the dynamics of the model. [ABSTRACT FROM AUTHOR]

Mathematical models have been considered as a robust tool to support biological and medical studies of the coronavirus disease 2019 (COVID-19). This new disease is caused by the severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2). This paper develop a within-host SARS-CoV-2 dynamics model with logistic growth for healthy epithelial cells, humoral (antibody) immune response and general SARS-CoV-2-target incidence rate. The model is incorporated with four mixed (distributed/discrete) time delays, delay in the formation of latent infected epithelial cells, delay in the formation of active infected epithelial cells, delay in the activation of latent infected epithelial cells, and maturation delay of new SARS-CoV-2 particles. The model is formulated as a system of delay differential equations (DDEs). We establish that the model’s solutions are non-negative and ultimately bounded. We deduce that the model has three equilibria and their existence and stability are perfectly determined by two threshold parameters. We prove the global stability of the model’s equilibria by utilizing the Lyapunov method and applying the LaSalle’s invariance principle. To support and illustrate our theoretical findings we present numerical simulations for the model with a special form of the general incidence rate function. The effect of time delays on the SARS-CoV-2 dynamics is addressed. We observe that increasing time delays values can have the same impact as drug therapies in suppressing viral progression.

In this paper, a susceptible-vaccinated-exposed-infectious-recovered (SVEIR) epidemic model for an infectious disease that spreads in the host population through horizontal transmission is investigated, assuming that the horizontal transmission is governed by an unspecified function f(S,I). The role that temporary immunity (vaccinated-induced) and treatment of infected people play in the spread of disease, is incorporated in the model. The basic reproduction number R0 is found, under certain conditions on the incidence rate and treatment function. It is shown that the model exhibits two equilibria, namely, the disease-free equilibrium and the endemic equilibrium. By constructing a suitable Lyapunov function, it is observed that the global asymptotic stability of the disease-free equilibrium depends on R0 as well as on the treatment rate. If R0>1, then the endemic equilibrium is globally asymptotically stable with the help of the Li and Muldowney geometric approach applied to four dimensional systems. Numerical simulations are also presented to illustrate our main results. [ABSTRACT FROM AUTHOR]

The most common threats to wetlands and the Keoladeo National Park are water scarcity, changing biodiversity, increasing rate of contamination, uncontrolled growth of grass, urbanization and human intervention. In this paper, an attempt has been made to study the degradation and conservation of biotic part of the park through a reaction diffusion modeling. The biotic part of wetland is divided into three categories good biomass, bad biomass, and bird population. Good biomasses are those species that provide food for bird population and contain floating vegetation, fishses, waterfowl and useful species. Bad biomasses contain Paspalum distichum and its family that affect the growth of good biomass. The interaction between good biomass and bird population is considered to be Crowley–Martin type functional response. We have presented the theoretical analysis of stability and Turing instability. With the help of numerical simulations, we have observed spatial patterns for the wetland model system. This study demonstrates that spatial heterogeneity, diffusion coefficients and per capita availability of water to bad biomass play an important role on the dynamical behavior of the model system. Also, we have pointed out the parameters that are responsible for the bad health of wetland ecosystem and suggested enhancing the water supply, decontamination and optimizing the land use structure for sustaining ecological balance and socio-economic stability of a region. [ABSTRACT FROM AUTHOR]

Recently, a large number of mathematical models that are described by delay differential equations (DDEs) have appeared in the life sciences. In this paper, we present a delay differential model to describe influenza A (H1N1) dynamics. We begin by presenting the model with a brief discussion, followed by proving the positivity and boundedness of the model solution. We establish sufficient conditions for the global stability of the equilibria (the infection free equilibrium and the infected equilibrium), these conditions are obtained by means of the Lyapunov LaSalle invariance principle of the system. Also we have carried out bifurcation analysis along with an estimated length of delay to preserve the stability behavior. In particular, we show the threshold dynamics in the sense that if (reproduction number) R 0 < 1 the infectious population disappear so the disease dies out, while if R 0 > 1 the infectious population persist. Sensitivity analysis of the influenza A (H1N1) model reveals which parameter values have a major impact on the model dynamics. Numerical simulations with application to H1N1 infection are given to verify the analytical results. [ABSTRACT FROM AUTHOR]

We propose and analyze a new class of three dimensional space models that describes infectious diseases caused by viruses such as hepatitis B virus (HBV) and hepatitis C virus (HCV). This work constructs a Reaction–Diffusion-Ordinary Differential Equation model of virus dynamics, including absorption effect, cell proliferation, time delay, and a generalized incidence rate function. By constructing suitable Lyapunov functionals, we show that the model has threshold dynamics: if the basic reproduction number R 0 (τ) ≤ 1 , then the uninfected equilibrium is globally asymptotically stable, whereas if R 0 (τ) > 1 , and under certain conditions, the infected equilibrium is globally asymptotically stable. This precedes a careful study of local asymptotic stability. We pay particular attention to prove boundedness, positivity, existence and uniqueness of the solution to the obtained initial and boundary value problem. Finally, we perform some numerical simulations to illustrate the theoretical results obtained in one-dimensional space. Our results improve and generalize some known results in the framework of virus dynamics. [ABSTRACT FROM AUTHOR]

Dengue is one of the vector-borne diseases spread in most parts of the world. The number of infected individuals is increased each year. This paper proposes a mathematical model describing the secondary dengue viral infection in micro-environment. This model takes into consideration that the dengue virus can infect multiple classes of target cells. Due to the secondary infection, the model incorporates two types of antibodies, heterologous and homologous. We establish the well-posedness of the model. We compute three threshold parameters which characterize the existence and stability conditions for the four steady states of the model. Global stability analysis for all steady states is carried out by formulating Lyapunov function and using Lyapunov-LaSalle asymptotic stability theorem. We demonstrate the analytical findings via numerical simulations.

In this paper, we study the dynamical effects of timely and delayed diagnosis on the spread of COVID-19 in Ghana during its initial phase by using reported data from March 12 to June 19, 2020. The estimated basic reproduction number, ℛ0, for the proposed model is 1.04. One of the main focus of this study is global stability results. Theoretically and numerically, we show that the disease persistence depends on ℛ0. We carry out a local and global sensitivity analysis. The local sensitivity analysis shows that the most positive sensitive parameter is the recruitment rate, followed by the relative transmissibility rate from the infectious with delayed diagnosis to the susceptible individuals. And that the most negative sensitive parameters are: self-quarantined, waiting time of the infectious for delayed diagnosis and the proportion of the infectious with timely diagnosis. The global sensitivity analysis using the partial rank correlation coefficient confirms the directional flow of the local sensitivity analysis. For public health benefit, our analysis suggests that, a reduction in the inflow of new individuals into the country or a reduction in the inter community inflow of individuals will reduce the basic reproduction number and thereby reduce the number of secondary infections (multiple peaks of the infection). Other recommendations for controlling the disease from the proposed model are provided in Section 7.

We consider a discrete competition model of plankton allelopathy with infinite deviating arguments of the form By using an iterative method we investigate the global attractivity of the interior equilibrium point of the system. [ABSTRACT FROM AUTHOR]

We introduce the stability concepts for ψ -Caputo derivative systems in the sense of Lyapunov's idea. Two new Lyapunov theorems are formulated for the stability analysis of such systems. Many new inequalities that involve ψ -Caputo derivative are developed for the application of the proposed Lyapunov theorems. Examples are provided and it is shown that the proposed theorems are very useful for predicting the limiting behavior of the trajectory of such systems starting from any initial condition imposed at any initial time on the real axis. [ABSTRACT FROM AUTHOR]

This paper studies the global stability of two discrete-time HIV infection models. The models integrate (i) latently infected cells, (ii) long-lived chronically infected cells and (iii) short-lived infected cells. The second model generalizes the first one by assuming that the incidence rate of infection as well as the production and removal rates of the HIV particles and cells are modeled by general nonlinear functions. We discretize the continuous-time models by using a nonstandard finite difference scheme. The positivity and boundedness of solutions are established. The basic reproduction number is derived. By using the Lyapunov method, we prove the global stability of the models. Numerical simulations are presented to illustrate our theoretical results. [ABSTRACT FROM AUTHOR]