Analysis of an HTLV/HIV dual infection model with diffusion.

In the literature, several HTLV-I and HIV single infections models with spatial dependence have been developed and analyzed. However, modeling HTLV/HIV dual infection with diffusion has not been studied. In this work we derive and investigate a PDE model that describes the dynamics of HTLV/HIV dual infection taking into account the mobility of viruses and cells. The model includes the effect of Cytotoxic T lymphocytes (CTLs) immunity. Although HTLV-I and HIV primarily target the same host, CD4+T cells, via infected-to-cell (ITC) contact, however the HIV can also be transmitted through free-to-cell (FTC) contact. Moreover, HTLV-I has a vertical transmission through mitosis of active HTLV-infected cells. The well-posedness of solutions, including the existence of global solutions and the boundedness, is justified. We derive eight threshold parameters which govern the existence and stability of the eight steady states of the model. We study the global stability of all steady states based on the construction of suitable Lyapunov functions and usage of Lyapunov-LaSalle asymptotic stability theorem. Lastly, numerical simulations are carried out in order to verify the validity of our theoretical results.

Stability of an HTLV-HIV coinfection model with multiple delays and CTL-mediated immunity.

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.

Modeling and analysis of a within-host HIV/HTLV-I co-infection.

Human immunodeficiency virus (HIV) and human T-lymphotropic virus type I (HTLV-I) are two retroviruses that attack the CD4 + T cells and impair their functions. Both HIV and HTLV-I can be transmitted between individuals through direct contact with certain body fluids from infected individuals. Therefore, a person can be co-infected with both viruses. HIV causes acquired immunodeficiency syndrome (AIDS), while HTLV-I is the causative agent for adult T-cell leukemia (ATL) and HTLV-I-associated myelopathy/tropical spastic paraparesis (HAM/TSP). Several mathematical models have been developed in the literature to describe the within-host dynamics of HIV and HTLV-I mono-infections. However, modeling a within-host dynamics of HIV/HTLV-I co-infection has not been involved. The present paper is concerned with the formulation and investigation of a new HIV/HTLV-I co-infection model under the effect of Cytotoxic T lymphocytes (CTLs) immune response. The model describes the interaction between susceptible CD4 + T cells, silent HIV-infected cells, active HIV-infected cells, silent HTLV-infected cells, Tax-expressing HTLV-infected cells, free HIV particles, HIV-specific CTLs and HTLV-specific CTLs. The HIV can spread by virus-to-cell transmission. On the other side, HTLV-I has two modes of transmission, (i) horizontal transmission via direct cell-to-cell contact through the virological synapse, and (ii) vertical transmission through the mitotic division of Tax-expressing HTLV-infected cells. The well-posedness of the model is established by showing that the solutions of the model are nonnegative and bounded. We define a set of threshold parameters which govern the existence and stability of all equilibria of the model. We explore the global asymptotic stability of all equilibria by utilizing Lyapunov function and Lyapunov-LaSalle asymptotic stability theorem. We have presented numerical simulations to justify the applicability and effectiveness of the theoretical results. In addition, we evaluate the effect of HTLV-I infection on the HIV dynamics and vice versa.

Stability of HTLV/HIV dual infection model with mitosis and latency.

In this paper, we formulate and analyze an HTLV/HIV dual infection model taking into consideration the response of Cytotoxic T lymphocytes (CTLs). The model includes eight compartments, uninfected CD4+T cells, latent HIV-infected cells, active HIV-infected cells, free HIV particles, HIV-specific CTLs, latent HTLV-infected cells, active HTLV-infected cells and HTLV-specific CTLs. The HIV can enter and infect an uninfected CD4+T cell by two ways, free-to-cell and infected-to-cell. Infected-to-cell spread of HIV occurs when uninfected CD4+T cells are touched with active or latent HIV-infected cells. In contrast, there are two modes for HTLV-I transmission, (ⅰ) horizontal, via direct infected-to-cell touch, and (ⅱ) vertical, by mitotic division of active HTLV-infected cells. We analyze the model by proving the nonnegativity and boundedness of the solutions, calculating all possible steady states, deriving a set of key threshold parameters, and proving the global stability of all steady states. The global asymptotic stability of all steady states is proven by using Lyapunov-LaSalle asymptotic stability theorem. We performed numerical simulations to support and illustrate the theoretical results. In addition, we compared between the dynamics of single and dual infections.

Analysis of a within-host HIV/HTLV-I co-infection model with immunity.

Human immunodeficiency virus (HIV) and human T-lymphotropic virus type I (HTLV-I) are two retroviruses that attack the immune cells and impair their functions. Both HIV and HTLV-I can be transmitted between individuals through direct contact with certain body fluids from infected individuals. Therefore, a person can be co-infected with both viruses. HIV causes acquired immunodeficiency syndrome, while HTLV-I is the causative agent for adult T-cell leukemia and HTLV-I-associated myelopathy/tropical spastic paraparesis. Several mathematical models have been developed in the literature to describe the within-host dynamics of HIV and HTLV-I mono-infections. However, modeling a within-host dynamics of HIV/HTLV-I co-infection has not been involved. In the present paper, we are concerned to formulate and analyze a new HIV/HTLV co-infection model under the effect of Cytotoxic T lymphocytes (CTLs) immune response. The model describes the interaction between susceptible CD4+T cells, silent HIV-infected cells, active HIV-infected cells, silent HTLV-infected cells, Tax-expressing HTLV-infected cells, free HIV particles, HIV-specific CTLs and HTLV-specific CTLs. The HIV can spread by two routes of transmission, virus-to-cell and cell-to-cell. On the other side, HTLV-I has two modes of transmission, (i) horizontal transmission via direct cell-to-cell contact, and (ii) vertical transmission through mitotic division of Tax-expressing HTLV-infected cells. The well-posedness of the model is established by showing that the solutions of the model are nonnegative and bounded. We define a set of threshold parameters which govern the existence and stability of all equilibria of the model. We explore the global asymptotic stability of all equilibria by utilizing Lyapunov function and LaSalle's invariance principle. We have presented numerical simulations to justify the applicability and effectiveness of the theoretical results. In addition, we evaluate the effect of HTLV-I infection on the HIV dynamics and vice versa.

Stability of an adaptive immunity delayed HIV infection model with active and silent cell-to-cell spread.

This paper investigates an adaptive immunity HIV infection model with three types of distributed time delays. The model describes the interaction between healthy CD4+T cells, silent infected cells, active infected cells, free HIV particles, Cytotoxic T lymphocytes (CTLs) and antibodies. The healthy CD4+T cells can be infected when they contacted by free HIV particles or silent infected cells or active infected cells. The incidence rates of the healthy CD4+T cells with free HIV particles, silent infected cells, and active infected cells are given by general functions. Moreover, the production/proliferation and removal/death rates of the virus and cells are represented by general functions. The model is an improvement of the existing HIV infection models which have neglected the infection due to the incidence between the silent infected cells and healthy CD4+T cells. We show that the model is well posed and it has five equilibria and their existence are governed by five threshold parameters. Under a set of conditions on the general functions and the threshold parameters, we have proven the global asymptotic stability of all equilibria by using Lyapunov method. We have illustrated the theoretical results via numerical simulations. We have studied the effect of cell-to-cell (CTC) transmission and time delays on the dynamical behavior of the system. We have shown that the inclusion of time delay can significantly increase the concentration of the healthy CD4+ T cells and reduce the concentrations of the infected cells and free HIV particles. While the inclusion of CTC transmission decreases the concentration of the healthy CD4+ T cells and increases the concentrations of the infected cells and free HIV particles.

Stability of an adaptive immunity viral infection model with multi-stages of infected cells and two routes of infection.

This paper studies an (n + 4)-dimensional nonlinear viral infection model that characterizes the interactions of the viruses, susceptible host cells, n-stages of infected cells, CTL cells and B cells. Both viral and cellular infections have been incorporated into the model. The well-posedness of the model is justified. The model admits five equilibria which are determined by five threshold parameters. The global stability of each equilibrium is proven by utilizing Lyapunov function and LaSalle's invariance principle. The theoretical results are illustrated by numerical simulations.

Stability of latent pathogen infection model with adaptive immunity and delays.

In this paper we propose and analyze a pathogen dynamics model with antibody and Cytotoxic T Lymphocyte (CTL) immune responses. We incorporate latently infected cells and three distributed time delays into the model. We show that the solutions of the proposed model are nonnegative and ultimately bounded. We derive four threshold parameters which fully determine the existence and stability of the five steady states of the model. Using Lyapunov functionals, we established the global stability of the steady states of the model. The theoretical results are confirmed by numerical simulations.