Abstract
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 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.
Keywords: HTLV-HIV coinfection, CTL immune response, Intracellular delay, Mitotic transmission, Global stability, Lyapunov function
Introduction
During the past several decades many human viruses and their associated diseases, such as human immunodeficiency virus (HIV), hepatitis C virus (HCV), hepatitis B virus (HBV), dengue virus, human T-lymphotropic virus type I (HTLV-I), and recently coronavirus, have been recognized. Human body can be infected by more that one virus at the same time such as HTLV-HIV, coronavirus/influenza, HCV-HIV, HBV-HIV, HCV-HBV, and malaria-HIV. HTLV and HIV are universal public health matters. HTLV and HIV are two viruses which infect most effective immune cells, cells. Adult T-cell leukemia (ATL) and HTLV-I-associated myelopathy/tropical spastic paraparesis (HAM/TSP) are the last stage of HTLV-I infection. Chronic HIV infection leads to acquired immunodeficiency syndrome (AIDS). Both HTLV and HIV have the same ways of transmission such as sharing contaminated needles and unprotected sexual contact with infected partners. Over the last 10 years HTLV-HIV coinfection has been widely documented (see e.g. [1–3], and [4]).
Mathematical models
Mathematical models of HIV and HTLV-I dynamics have become efficient tools to biological and medical scientists. These models can provide a deeper understanding of within-host virus dynamics and assist in predicting the impact of antiviral drug efficacy on viral infection progression (see e.g. [5–16]).
- HIV monoinfection model: The standard HIV dynamics model under the effect of cytotoxic T lymphocytes (CTLs) has been formulated by Nowak and Bangham [17] as follows:
where , , , and are the concentrations of uninfected cells, active HIV-infected cells, free HIV particles, and HIV-specific CTLs, respectively, and t is the time. η refers to the generation rate of the uninfected cells. The uninfected cells are infected via HIV particles (free-to-cell infection) at rate . The HIV-infected cells produce HIV particles at rate bI. The stimulation rate of effective HIV-specific CTLs due to the presence of HIV-infected cells is defined by . The term accounts for the killing rate of HIV-infected cells due to its specific CTLs. The four compartments S, I, V, and have normal death rates ϱS, aI, εV, and , respectively. Several extensions on model (1) have been accomplished (see e.g. [18–20]).1 - HTLV-I monoinfection model: The within-host dynamics of HTLV-I has been mathematically modeled in several papers [21–24]. CTL immunity has been included into the HTLV-I dynamics models in many works (see e.g. [25–33]). Lim and Maini [28] have formulated a model for HTLV-I dynamics under the consideration of CTL immunity and mitotic division of active HTLV-infected cells as follows:
where , , and are the concentrations of latent HTLV-infected cells, active HTLV-infected cells, and HTLV-specific CTLs at time t, respectively. The term denotes the infected-to-cell contact rate between HTLV-infected cells and uninfected cells (horizontal transmission). The active HTLV-infected cells transmit vertically to latent compartment at rate (mitotic transmission), where . The HTLV-specific CTLs kill the active HTLV-infected cells at rate and are stimulated at rate . The term ψE denotes the activation rate of latent HTLV-infected cells. The death rates of E, Y, and are given by ωE, , and , respectively.2 - HTLV-HIV coinfection model: Elaiw and AlShamrani [34] have recently formulated an HTLV-HIV coinfection model as follows:
where is the concentration of latent HIV-infected cells. The term describes the infection rate of uninfected cells by HIV-infected cells. λL and γL are the activation and death rates of latent HIV-infected cells. The parameter represents the part of newly HIV-infected cells that becomes active, and the other part enters a latent stage. The parameter refers to the part of newly HTLV-infected cells that become latent.3
Intracellular delay plays a crucial role in within-host virus dynamics and is defined as the time lapse between viral entry a cell and its production. In case of HIV, it has been estimated that the time between the HIV enters a target cell until producing new HIV particles is about 0.9 days [35]. Time delay has also an important effect in HTLV-I infection. Several works have been devoted to developing mathematical models with time delays to describe the dynamics of HIV (see e.g. [36–43]) and HTLV (see e.g. [44–53]).
Our aim is to take model (3) to further destination by incorporating multiple intracellular time delays and mitotic transmission. We study the fundamental and global properties of the system, then we present numerical simulation. The outcomes of this paper will help clinicians to estimate the suitable time to start the treatment. Our model may be helpful to study different coinfections such as influenza-coronavirus, HCV-HIV, HBV-HIV, and malaria-HIV. It is interesting to note that fractional-order differential equations (FODEs) have been widely studied in several works (see e.g. [54–57]). Modeling and analysis of HIV dynamics with FODEs have been investigated in many papers (see e.g. [58–60]). Clinicians can use the information (in terms of behavior predictions) of fractional-order systems to fit patients’ data with the most appropriate noninteger-order index. As a future work, our coinfection model can be formulated as a system of FODEs.
The multiple delays model
In this section, we extend system (3) by taking under consideration multiple types of distributed-time delays and mitosis of active HTLV-infected cells. We achieve this goal by considering the following system of delay differential equations (DDEs):
| 4 |
The factor represents the probability that uninfected cells contacted by HIV particles or active HIV-infected cells at time survived ℓ time units and become latent infected at time t. The term is the probability that uninfected cells contacted by HIV particles or active HIV-infected cells at time survived ℓ time units and become actively infected at time t. The term is the probability that latent HIV-infected cells survived ℓ time units before transmitted to be active at time t. Moreover, the factor demonstrates the probability that the initial infection of uninfected cells and the HTLV-infected cells at time completing all the intracellular processes that are required for it to become latent HTLV-infected cells at time t. Further, the probability that latent HTLV-infected cells survived ℓ time units before transmitted to active HTLV-infected cells at time t is given by the factor . Furthermore, the term refers to the probability that new immature HIV particles at time lost ℓ time units and become mature at time t. Here , , are positive constants. The delay parameter ℓ is randomly taken from a probability distribution function over the time interval , , where is the limit superior of this delay period. The function , satisfies and
where . Let us denote
where . Thus , .
According to [28], we assume that . This yields . Let and . Then system (4) becomes
| 5 |
The initial conditions of system (5) are given by:
| 6 |
where , , and is the Banach space of continuous functions mapping the interval into with norm for . Therefore, system (5) with initial conditions (6) has a unique solution by using the standard theory of functional differential equations [61, 62].
Well-posedness of solutions
Proposition 1
All solutions of system (5) with initial conditions (6) are nonnegative and ultimately bounded.
Proof
From the first equation of system (5), we have , then for all . Moreover, the rest of equations of system (5) give us the following:
Therefore, for all . Thus, by a recursive argument, we get for all . Hence, the solutions of system (5) with initial conditions (6) satisfy for all . Next, we establish the boundedness of the model’s solutions. The nonnegativity of the model’s solution implies that . To show the ultimate boundedness of , we let
Then
where . It follows that , where . Since and are nonnegative, then . Further, we let
Then we obtain
where . It follows that , where . Since , and are nonnegative, then and , where . Furthermore, we let
Then
Since , then
where . It follows that . Since , , , and , then , , and , where and . Finally, from the sixth equation of system (5), we have
This implies that , where . □
According to Proposition 1, we can show that the region
is positively invariant with respect to system (5).
Steady states analysis
In this section, we calculate all possible steady states of the model and derive the threshold parameters which guarantee the existence of the steady states. Let us define
| 7 |
which will be used throughout the paper. Let be any steady state of system (5) satisfying the following equations:
We find that system (5) has eight possible steady states.
(i) Infection-free steady state,
, where . In this case, the body is free from HTLV and HIV.
(ii) Persistent HIV monoinfection steady state with ineffective immune response,
, where
| 8 |
and is the basic HIV monoinfection reproduction number for system (5) and is defined as follows:
where
The parameter determines whether or not a persistent HIV infection can be established. In fact, measures the average number of secondary HIV infected generation caused by an existing free HIV particle due to free-to-cell transmission, while measures the average numbers of secondary HIV infected generation caused by living active HIV-infected cells due to infected-to-cell transmission. The steady state
describes the case of persistent HIV monoinfection without immune response.
(iii) Persistent HTLV monoinfection steady state with ineffective immune response,
, where
and is the basic HTLV monoinfection reproduction number for system (5) and is defined as follows:
The parameter decides whether or not a persistent HTLV infection can be established. The steady state
describes a persistent HTLV monoinfection without immune response.
We mention that
and
state the threshold dynamics of infection-free equilibrium
and can be calculated by different methods such as (a) the next-generation matrix method of van den Driessche and Watmough [63], (b) local stability of the infection-free equilibrium
, and (c) the existence of the chronic HIV and HTLV monoinfection equilibria with inactive immune response. In the present paper, we derive
and
by method (c).
(iv) Persistent HIV monoinfection steady state with only effective HIV-specific CTL,
, where
and
is the HIV-specific CTL immunity reproduction number in case of HIV monoinfection. The parameter determines whether or not the HIV-specific CTL immune response is effective in the absence of HTLV.
(v) Persistent HTLV monoinfection steady state with only effective HTLV-specific CTL,
, where
and is the HTLV-specific CTL immunity reproduction number in case of HTLV monoinfection and is stated as follows:
The parameter determines whether or not the HTLV-specific CTL immune response is effective in the absence of HIV.
(vi) Persistent HTLV-HIV coinfection steady state with only effective HIV-specific CTL,
, where
where
Here, the parameter is the HTLV infection reproduction number in the presence of HIV infection and determines whether or not HIV-infected patients could be dually infected with HTLV.
(vii) Persistent HTLV-HIV coinfection steady state with only effective HTLV-specific CTL,
, where
and
is the HIV infection reproduction number in the presence of HTLV infection. It is clear that determines whether or not HTLV-infected patients could be dually infected with HIV.
(viii) Persistent HTLV-HIV coinfection steady state with effective HIV-specific CTL and HTLV-specific CTL,
, where
and
The parameter is the competed HIV-specific CTL immunity reproduction number in case of HTLV-HIV coinfection. The parameter is the competed HTLV-specific CTL immunity reproduction number in case of HTLV-HIV coinfection. Clearly,
exists when and .
Global stability analysis
In this section, we use the Lyapunov method to show the global asymptotic stability of the model’s steady states. For formation of Lyapunov functionals, we follow the works [64, 65]. Denote , where .
Let a function and be the largest invariant subset of
We define a function .
Theorem 1
If
and
, then
is globally asymptotically stable (GAS).
Proof
We define a Lyapunov functional as follows:
Clearly, for all , and . We calculate along the solutions of model (5) as follows:
| 9 |
Summing the terms of Eq. (9), we obtain
Using , we obtain
Since and , then . Therefore, for all ; moreover, when . The solutions of system (5) converge to . The set includes elements with . Then and the first and fifth equations of system (5) become
which give for all t. In addition, we have , and from the third equation of system (5) we have
which yields for all t and hence
. Applying Lyapunov–LaSalle asymptotic stability (LLAS) theorem [66–68], we get that
is GAS. □
The following equalities are needed in the next theorems:
| 10 |
Further,
| 11 |
Theorem 2
Let
, , and
, then
is GAS.
Proof
Define a functional as follows:
Calculate as follows:
| 12 |
Summing the terms of Eq. (12), we get
The steady state conditions for
are given by
Then we get
Further, we obtain
Using the equalities given by (10) in case of , we get
| 13 |
Therefore, Eq. (13) becomes
Since and , then for all . Moreover, when and . The solutions of system (5) converge to which includes elements that satisfy and i.e.
| 14 |
for all . If , then from Eq. (14) we get , , and for all t. Further, for each element of , we have and then . The fifth equation of system (5) becomes
which provides for all t, and hence
. Therefore, using LLAS theorem we get that
is GAS. □
Theorem 3
If
, , and
, then
is GAS.
Proof
Define
We calculate as follows:
| 15 |
By collecting the terms of Eq. (15), we get
Using the steady state conditions for
we obtain
Using the equalities given by (11) in case of , we get
| 16 |
Therefore, Eq. (16) becomes
Thus, if and , then for all . Moreover, when . The solutions of system (5) converge to which includes elements with . Then we have , and the first equation of system (5) becomes
which yields for all t. Moreover, we have and from the third equation of system (5) we get
which implies that for all t. Therefore,
. Applying LLAS theorem, we get
is GAS. □
Theorem 4
Let
and
, then
is GAS.
Proof
Define a functional as follows:
| 17 |
We calculate as follows:
| 18 |
Collecting the terms of Eq. (18), we derive
Using the steady state conditions for
we get
Further, we obtain
Using the equalities given by (10) in case of , we get
| 19 |
Therefore, Eq. (19) becomes
Hence, if , then
does not exist since and . In this case
Now we want to find the value S̄ such that, for all , we get and . Let us consider
This happens when . Clearly, for all , where occurs at and . The solutions of system (5) converge to which includes elements satisfying and i.e.
| 20 |
for all . If , then from Eq. (20) we get , , and for all t. Thus, contains elements with , , , and then , . The third and fifth equations of system (5) become
which yield and for all t. Therefore,
. Applying LLAS theorem, we get
is GAS. □
Theorem 5
If
and
, then
is GAS.
Proof
Let
Calculate as follows:
| 21 |
Summing the terms of Eq. (21), we get
Using the steady state conditions for
we obtain
Using the equalities given by (11) in case of , we get
| 22 |
Therefore, Eq. (22) becomes
Hence, if , then for all , where occurs at , , , and . The trajectories of system (5) converge to which includes elements with , , , and then . The first and fifth equations of system (5) become
which imply that and for all t. Moreover, we have , then the third equation of system (5) becomes
which yields for all t, and then
. Applying LLAS theorem, we get
is GAS. □
Theorem 6
If
, , and
, then
is GAS.
Proof
Define
Calculate as follows:
| 23 |
Summing the terms of Eq. (23), we get
Using the steady state conditions for
we obtain
Moreover, we get
Using the equalities given by (10) and (11) in case of , we get
| 24 |
Therefore, Eq. (24) becomes
Hence, if , then for all . One can show that when . The solutions of model (5) tend to which includes elements with , and then . The third equation of system (5) becomes
which yields for all t, and hence
. Applying LLAS theorem, we get
is GAS. □
Theorem 7
If
, , and
, then
is GAS.
Proof
Define
Calculate as follows:
| 25 |
Collecting the terms of Eq. (25), we obtain
Using the steady state conditions for
we get
Moreover, we get
Using the equalities given by (10) and (11) in case of , we get
| 26 |
Therefore, Eq. (26) becomes
Hence, if , then for all . Similar to the previous theorems, one can show that at . The solutions of system (5) reach which contains elements with , , and then . The fifth equation of system (5) becomes
which yields for all t, and hence
. Applying LLAS theorem, we get
is GAS. □
Theorem 8
If
and
, then
is GAS.
Proof
Consider
Calculate as follows:
| 27 |
Summing the terms of Eq. (27), we get
Using the steady state conditions for
we get
Moreover, we get
Using the equalities given by (10) and (11) in case of , we get
| 28 |
Therefore, Eq. (28) becomes
Hence, for all . Similar to the previous theorems, one can show that when . The solutions of system (5) converge to which includes elements with . Then . The third and fifth equations of system (5) become
which yield and for all t, and hence
. Applying LLAS theorem, we get
is GAS. □
Numerical simulations
In this section, we perform numerical simulations to illustrate the results of Theorems 1–8. Moreover, we study the influence of time delays on the dynamical behavior of the system. Let us choose a Dirac delta function as a special form of the kernel as follows:
Let , then we get
Thus, model (4) reduces to
| 29 |
For model (29), the threshold parameters are given by
| 30 |
where
| 31 |
To solve system (29) numerically, we fix the values of some parameters (see Table 1) and the others will be varied.
Table 1.
The data of model (29)
| Parameter | Value | Parameter | Value | Parameter | Value |
|---|---|---|---|---|---|
| η | 10 | b | 5 | ω | 0.03 |
| ϱ | 0.01 | 0.1 | ψ | 0.003 | |
| , i = 1,2,3 | Varied | 0.1 | 0.2 | ||
| β | 0.7 | 0.2 | 0.3 | ||
| a | 0.5 | 0.2 | 0.4 | ||
| φ | 0.2 | ε | 2 | 0.5 | |
| 0.9 | γ | 0.1 | 0.6 | ||
| 0.008 | , i = 1,2 | Varied | 0.9 | ||
| 0.05 | λ | 0.2 | , i = 1,2,…,6 | Varied |
Stability of the steady states
In this subsection, we select the delay parameters as , , , , , . Besides, we choose the following three different initial conditions for system (29):
Initial-1: ,
Initial-2: ,
Initial-3: , where .
Choosing different values of , , , , , and under the above initial conditions leads to the following sets:
Set 1 (Stability of
): , , , , and . For this set of parameters, we have and . Figure 1 illustrates that the trajectories starting different initials converge to the steady state
. This supports the global stability result of Theorem 1. Here, a healthy state will be reached where both viruses are absent.
Figure 1.
Solutions of system (29) when and
Set 2 (Stability of
): , , , , and . With such a choice we get , , and hence . The steady state
exists with
. The stability of
given in Theorem 2 is shown in Fig. 2. This leads to the case where HIV monoinfection is chronic but with an ineffective CTL immunity.
Figure 2.
Solutions of system (29) when , , and
Set 3 (Stability of
): , , , , and . Then we calculate , , and then and
. We can see from Fig. 3 that the system’s solutions tend to
, which is compatible with Theorem 3. This case means that an HTLV monoinfection is chronic with an ineffective CTL immunity.
Figure 3.
Solutions of system (29) when , , and
Set 4 (Stability of
): , , , , and . Then we calculate and . Figure 4 shows that the trajectories starting with different states tend to
. Therefore,
is GAS, and this supports Theorem 4. Hence, an HIV monoinfection is chronic with effective HIV-specific CTL immunity.
Figure 4.
Solutions of system (29) when and
Set 5 (Stability of
): , , , , and . Then we calculate and , and
exists with
. We observe from Fig. 5 that the system’s trajectories tend to
and it is GAS. Here, an HTLV monoinfection is chronic with effective HTLV-specific CTL immunity.
Figure 5.
Solutions of system (29) when and
Set 6 (Stability of
): , , , , and . Then we calculate , , and . The numerical solutions of the system drawn in Fig. 6 confirm that
exists and is GAS. This case leads to a chronic coinfection with HTLV and HIV where the HIV-specific CTL immunity is effective while the HTLV-specific CTL immunity is ineffective.
Figure 6.
Solutions of system (29) when , , and
Set 7 (Stability of
): , , , , and . We compute , , and . According to these values, we obtain that
exists. The numerical solutions of our system plotted in Fig. 7 show that
is GAS (Theorem 7). This case leads to a chronic coinfection with HTLV and HIV where the HTLV-specific CTL immunity is effective and the HIV-specific CTL immunity is not working.
Figure 7.
Solutions of system (29) when , , and
Set 8 (Stability of
): , , , , and . These data give and . According to these values, the steady state
exists. Figure 8 illustrates that the solutions of the system initiating with three different states tend to
. In this case, a chronic coinfection with HTLV and HIV is reached where both immune responses are well working.
Figure 8.
Solutions of system (29) when and
Effect of time delays on the HTLV-HIV dynamics
In this part we vary the delay parameters , , and fix the parameters , , , , and . Since and given by Eqs. (30) and (31) depend on , , then changing the parameters will change the stability of steady states. Let us consider the following situations:
- (D.P.S1)
,
- (D.P.S2)
, , , , , and ,
- (D.P.S3)
, , , , , and ,
- (D.P.S4)
, , , , , and .
With these values we solve system (29) under the following initial condition:
Initial-4: , where , .
From Fig. 9 we observe that the presence of time delays can increase the number of uninfected CD4+ T cells and decrease the number of other compartments. Table 2 presents the values and for selected values of , . It is clear that and are decreased when are increased, and thus the stability of
can be changed. Let us calculate the critical value of the time delay that changes the stability of
. Without loss of generality, we let the parameters and fix , , and write and as functions of ℓ and , respectively, as follows:
To force the threshold parameters and to satisfy and , we choose , where is the solution of
and
Therefore, if and , then
is GAS. Let us choose the value and and compute , as , . It follows that:
Figure 9.
Impact of delay parameters , , on the behavior of solution trajectories of system (29)
Table 2.
The variation of and with respect to the delay parameters
| Delay parameters | ||
|---|---|---|
| 2.790 | 3.690 | |
| , , , , , and | 1.408 | 1.787 |
| , , , , , and | 1.280 | 1.600 |
| , , , , , and | 1.009 | 1.283 |
| , , , , , and | 0.368 | 0.173 |
| , , , , , and | 0.188 | 0.008 |
| , , , , , and | 0.136 | 0.003 |
| , , , , , and | 0.072 | 0.1 × 10−3 |
| , , , , , and | 0.052 | 0.3 × 10−4 |
| , , , , , and | 0.016 | 1.2 × 10−6 |
(i) If and , then , and
is GAS.
(ii) If or , then or and
will lose its stability.
Authors’ contributions
The author was the only one contributing to the manuscript. The author read and approved the final manuscript.
Funding
Not applicable.
Availability of data and materials
Not applicable.
Competing interests
The author declares that they have no competing interests.
References
- 1.Casoli C., Pilotti E., Bertazzoni U. Molecular and cellular interactions of HIV-1/HTLV coinfection and impact on AIDS progression. AIDS Rev. 2007;9(3):140–149. [PubMed] [Google Scholar]
- 2.Tulius Silva M., de Melo Espíndola O., Bezerra Leite A.C., Araújo A. Neurological aspects of HIV/human T lymphotropic virus coinfection. AIDS Rev. 2009;11(2):71–78. [PubMed] [Google Scholar]
- 3.Rockwood N., Cook L., Kagdi H., Basnayake S., Bangham C.R.M., Pozniak A.L., Taylor G.P. Immune compromise in HIV-1/HTLV-1 coinfection with paradoxical resolution of CD4 lymphocytosis during antiretroviral therapy: a case report. Medicine. 2015;94(50):e2275. doi: 10.1097/MD.0000000000002275. [DOI] [PMC free article] [PubMed] [Google Scholar]
- 4.Isache C., Sands M., Guzman N., Figueroa D. HTLV-1 and HIV-1 co-infection: a case report and review of the literature. IDCases. 2016;4:53–55. doi: 10.1016/j.idcr.2016.03.002. [DOI] [PMC free article] [PubMed] [Google Scholar]
- 5.Pedro K.D., Henderson A.J., Agosto L.M. Mechanisms of HIV-1 cell-to-cell transmission and the establishment of the latent reservoir. Virus Res. 2019;265:115–121. doi: 10.1016/j.virusres.2019.03.014. [DOI] [PMC free article] [PubMed] [Google Scholar]
- 6.Wang J., Qin C., Chen Y., Wang X. Hopf bifurcation in a CTL-inclusive HIV-1 infection model with two time delays. Math. Biosci. Eng. 2019;16:2587–2612. doi: 10.3934/mbe.2019130. [DOI] [PubMed] [Google Scholar]
- 7.Elaiw A.M., Alshehaiween S.F., Hobiny A.D. Global properties of delay-distributed HIV dynamics model including impairment of B-cell functions. Mathematics. 2019;7:837. doi: 10.3390/math7090837. [DOI] [Google Scholar]
- 8.Hobiny A.D., Elaiw A.M., Almatrafi A. Stability of delayed pathogen dynamics models with latency and two routes of infection. Adv. Differ. Equ. 2018;2018:276. doi: 10.1186/s13662-018-1720-x. [DOI] [Google Scholar]
- 9.Elaiw A.M., Elnahary E.Kh. Analysis of general humoral immunity HIV dynamics model with HAART and distributed delays. Mathematics. 2019;7(2):157. doi: 10.3390/math7020157. [DOI] [Google Scholar]
- 10.Hattaf K., Yousfi N. Dynamics of SARS-CoV-2 infection model with two modes of transmission and immune response. Math. Biosci. Eng. 2020;17(5):5326–5340. doi: 10.3934/mbe.2020288. [DOI] [PubMed] [Google Scholar]
- 11.Li M.Y., Lim A.G. Modelling the role of tax expression in HTLV-1 persistence in vivo. Bull. Math. Biol. 2011;73(12):3008–3029. doi: 10.1007/s11538-011-9657-1. [DOI] [PubMed] [Google Scholar]
- 12.Gao Y., Wang J. Threshold dynamics of a delayed nonlocal reaction-diffusion HIV infection model with both cell-free and cell-to-cell transmissions. J. Math. Anal. Appl. 2020;488(1):124047. doi: 10.1016/j.jmaa.2020.124047. [DOI] [Google Scholar]
- 13.Zhang S., Xu X. Dynamic analysis and optimal control for a model of hepatitis C with treatment. Commun. Nonlinear Sci. Numer. Simul. 2017;46:14–25. doi: 10.1016/j.cnsns.2016.10.017. [DOI] [Google Scholar]
- 14.Wang K., Fan A., Torres A. Global properties of an improved hepatitis B virus model. Nonlinear Anal., Real World Appl. 2010;11:3131–3138. doi: 10.1016/j.nonrwa.2009.11.008. [DOI] [Google Scholar]
- 15.Perera S., Perera S.S.N. Mathematical modeling and analysis of innate and humoral immune responses to Dengue infections. Int. J. Biomath. 2019;12(7):1950077. doi: 10.1142/S1793524519500773. [DOI] [Google Scholar]
- 16.Nowak M.A., May R.M. Virus Dynamics: Mathematical Principles of Immunology and Virology. Oxford: Oxford University Press; 2000. [Google Scholar]
- 17.Nowak M.A., Bangham C.R.M. Population dynamics of immune responses to persistent viruses. Science. 1996;272(5258):74–79. doi: 10.1126/science.272.5258.74. [DOI] [PubMed] [Google Scholar]
- 18.Lv C., Huang L., Yuan Z. Global stability for an HIV-1 infection model with Beddington-DeAngelis incidence rate and CTL immune response. Commun. Nonlinear Sci. Numer. Simul. 2014;19(1):121–127. doi: 10.1016/j.cnsns.2013.06.025. [DOI] [Google Scholar]
- 19.Elaiw A.M., AlShamrani N.H. Stability of a general CTL-mediated immunity HIV infection model with silent infected cell-to-cell spread. Adv. Differ. Equ. 2020;2020:355. doi: 10.1186/s13662-020-02818-3. [DOI] [Google Scholar]
- 20.Zhou X., Shi X., Zhang Z., Song X. Dynamical behavior of a virus dynamics model with CTL immune response. Appl. Math. Comput. 2009;213(2):329–347. doi: 10.1016/j.camwa.2009.04.011. [DOI] [Google Scholar]
- 21.Stilianakis N.I., Seydel J. Modeling the T-cell dynamics and pathogenesis of HTLV-I infection. Bull. Math. Biol. 1999;61(5):935–947. doi: 10.1006/bulm.1999.0117. [DOI] [PubMed] [Google Scholar]
- 22.Gomez-Acevedo H., Li M.Y. Backward bifurcation in a model for HTLV-I infection of T cells. Bull. Math. Biol. 2005;67(1):101–114. doi: 10.1016/j.bulm.2004.06.004. [DOI] [PubMed] [Google Scholar]
- 23.Vargas-De-Leon C. The complete classification for global dynamics of a model for the persistence of HTLV-1 infection. Appl. Math. Comput. 2014;237(15):489–493. [Google Scholar]
- 24.Wang L., Li M.Y., Kirschner D. Mathematical analysis of the global dynamics of a model for HTLV-I infection and ATL progression. Math. Biosci. 2002;179(2):207–217. doi: 10.1016/S0025-5564(02)00103-7. [DOI] [PubMed] [Google Scholar]
- 25.Gomez-Acevedo H., Li M.Y., Jacobson S. Multi-stability in a model for CTL response to HTLV-I infection and its consequences in HAM/TSP development, and prevention. Bull. Math. Biol. 2010;72(3):681–696. doi: 10.1007/s11538-009-9465-z. [DOI] [PMC free article] [PubMed] [Google Scholar]
- 26.Lang J., Li M.Y. Stable and transient periodic oscillations in a mathematical model for CTL response to HTLV-I infection. J. Math. Biol. 2012;65(1):181–199. doi: 10.1007/s00285-011-0455-z. [DOI] [PubMed] [Google Scholar]
- 27.Li M.Y., Shu H. Multiple stable periodic oscillations in a mathematical model of CTL response to HTLV-I infection. Bull. Math. Biol. 2011;73(8):1774–1793. doi: 10.1007/s11538-010-9591-7. [DOI] [PubMed] [Google Scholar]
- 28.Lim A.G., Maini P.K. HTLV-I infection: a dynamic struggle between viral persistence and host immunity. J. Theor. Biol. 2014;352:92–108. doi: 10.1016/j.jtbi.2014.02.022. [DOI] [PubMed] [Google Scholar]
- 29.Li S., Zhou Y. Backward bifurcation of an HTLV-I model with immune response. Discrete Contin. Dyn. Syst., Ser. B. 2016;21(3):863–881. doi: 10.3934/dcdsb.2016.21.883. [DOI] [Google Scholar]
- 30.Wang W., Ma W. Global dynamics of a reaction and diffusion model for an HTLV-I infection with mitotic division of actively infected cells. J. Appl. Anal. Comput. 2017;7(3):899–930. [Google Scholar]
- 31.Bartholdy C., Christensen J.P., Wodarz D., Thomsen A.R. Persistent virus infection despite chronic cytotoxic T-lymphocyte activation in gamma interferon-deficient mice infected with lymphocytic choriomeningitis virus. J. Virol. 2000;74(22):10304–10311. doi: 10.1128/JVI.74.22.10304-10311.2000. [DOI] [PMC free article] [PubMed] [Google Scholar]
- 32.Wodarz D., Bangham C.R.M. Evolutionary dynamics of HTLV-I. J. Mol. Evol. 2000;50(5):448–455. doi: 10.1007/s002390010047. [DOI] [PubMed] [Google Scholar]
- 33.Wodarz D., Nowak M.A., Bangham C.R.M. The dynamics of HTLV-I and the CTL response. Immunol. Today. 1999;20(5):220–227. doi: 10.1016/S0167-5699(99)01446-2. [DOI] [PubMed] [Google Scholar]
- 34.Elaiw A.M., AlShamrani N.H., Hobiny A.D. Mathematical modeling of HIV/HTLV-I co-infection with CTL-mediated immunity. AIMS Math. 2020;6(2):1634–1676. [Google Scholar]
- 35.Perelson A., Neumann A., Markowitz M., Leonard J., Ho D. HIV-1 dynamics in vivo: virion clearance rate, infected cell life-span, and viral generation time. Science. 1996;271:1582–1586. doi: 10.1126/science.271.5255.1582. [DOI] [PubMed] [Google Scholar]
- 36.Nelson P.W., Murray J.D., Perelson A.S. A model of HIV-1 pathogenesis that includes an intracellular delay. Math. Biosci. 2000;163(2):201–215. doi: 10.1016/S0025-5564(99)00055-3. [DOI] [PubMed] [Google Scholar]
- 37.Culshaw R.V., Ruan S., Webb G. A mathematical model of cell-to-cell spread of HIV-1 that includes a time delay. J. Math. Biol. 2003;46:425–444. doi: 10.1007/s00285-002-0191-5. [DOI] [PubMed] [Google Scholar]
- 38.Elaiw A.M., Elnahary E.Kh., Raezah A.A. Effect of cellular reservoirs and delays on the global dynamics of HIV. Adv. Differ. Equ. 2018;2018:85. doi: 10.1186/s13662-018-1523-0. [DOI] [Google Scholar]
- 39.Elaiw A.M., Raezah A.A., Azoz S.A. Stability of delayed HIV dynamics models with two latent reservoirs and immune impairment. Adv. Differ. Equ. 2018;2018:414. doi: 10.1186/s13662-018-1869-3. [DOI] [Google Scholar]
- 40.Elaiw A.M., Almuallem N.A. Global dynamics of delay-distributed HIV infection models with differential drug efficacy in cocirculating target cells. Math. Methods Appl. Sci. 2016;39:4–31. doi: 10.1002/mma.3453. [DOI] [Google Scholar]
- 41.Shi X., Zhou X., Song X. Dynamical behavior of a delay virus dynamics model with CTL immune response. Nonlinear Anal., Real World Appl. 2010;11(3):1795–1809. doi: 10.1016/j.nonrwa.2009.04.005. [DOI] [Google Scholar]
- 42.Guo T., Qiu Z. The effects of CTL immune response on HIV infection model with potent therapy, latently infected cells and cell-to-cell viral transmission. Math. Biosci. Eng. 2019;16(6):6822–6841. doi: 10.3934/mbe.2019341. [DOI] [PubMed] [Google Scholar]
- 43.Culshaw R.V., Ruan S. A delay-differential equation model of HIV infection of CD4+ T-cells. Math. Biosci. 2000;165(1):27–39. doi: 10.1016/S0025-5564(00)00006-7. [DOI] [PubMed] [Google Scholar]
- 44.Li F., Ma W. Dynamics analysis of an HTLV-1 infection model with mitotic division of actively infected cells and delayed CTL immune response. Math. Methods Appl. Sci. 2018;41(8):3000–3017. doi: 10.1002/mma.4797. [DOI] [Google Scholar]
- 45.Pan X., Chen Y., Shu H. Rich dynamics in a delayed HTLV-I infection model: stability switch, multiple stable cycles, and torus. J. Math. Anal. Appl. 2019;479(2):2214–2235. doi: 10.1016/j.jmaa.2019.07.051. [DOI] [Google Scholar]
- 46.Wang L., Liu Z., Li Y., Xu D. Complete dynamical analysis for a nonlinear HTLV-I infection model with distributed delay, CTL response and immune impairment. Discrete Contin. Dyn. Syst. 2020;25(3):917–933. [Google Scholar]
- 47.Wang Y., Liu J., Heffernan J.M. Viral dynamics of an HTLV-I infection model with intracellular delay and CTL immune response delay. J. Math. Anal. Appl. 2018;459(1):506–527. doi: 10.1016/j.jmaa.2017.10.027. [DOI] [Google Scholar]
- 48.Li M.Y., Shu H. Global dynamics of a mathematical model for HTLV-I infection of CD4+ T cells with delayed CTL response. Nonlinear Anal., Real World Appl. 2012;13(3):1080–1092. doi: 10.1016/j.nonrwa.2011.02.026. [DOI] [Google Scholar]
- 49.Muroya Y., Enatsu Y., Li H. Global stability of a delayed HTLV-I infection model with a class of nonlinear incidence rates and CTLs immune response. Appl. Math. Comput. 2013;219(21):10559–10573. [Google Scholar]
- 50.Lu X., Hui L., Liu S., Li J. A mathematical model of HTLV-I infection with two time delays. Math. Biosci. Eng. 2015;12(3):431–449. doi: 10.3934/mbe.2015.12.431. [DOI] [PubMed] [Google Scholar]
- 51.Song X., Wang S., Dong J. Stability properties and Hopf bifurcation of a delayed viral infection model with lytic immune response. J. Math. Anal. Appl. 2011;373(2):345–355. doi: 10.1016/j.jmaa.2010.04.010. [DOI] [Google Scholar]
- 52.Wang Y., Liu J. Global stability for delay-dependent HTLV-I model with CTL immune response. AIP Conf. Proc. 2016;1738(1):480074. doi: 10.1063/1.4952310. [DOI] [Google Scholar]
- 53.Wang K., Wang W., Pang H., Liu X. Complex dynamic behavior in a viral model with delayed immune response. Phys. D: Nonlinear Phenom. 2007;226(2):197–208. doi: 10.1016/j.physd.2006.12.001. [DOI] [Google Scholar]
- 54.Atangana A., Akgül A. Can transfer function and Bode diagram be obtained from Sumudu transform. Alex. Eng. J. 2020;59:1971–1984. doi: 10.1016/j.aej.2019.12.028. [DOI] [Google Scholar]
- 55.Owolabi K.M., Atangana A., Akgül A. Modelling and analysis of fractal-fractional partial differential equations: application to reaction-diffusion model. Alex. Eng. J. 2020;59:2477–2490. doi: 10.1016/j.aej.2020.03.022. [DOI] [Google Scholar]
- 56.Akgül A. A novel method for a fractional derivative with non-local and non-singular kernel. Chaos Solitons Fractals. 2018;114:478–482. doi: 10.1016/j.chaos.2018.07.032. [DOI] [Google Scholar]
- 57.Atangana A., Akgül A., Owolabi K.M. Analysis of fractal fractional differential equations. Alex. Eng. J. 2020;59:1117–1134. doi: 10.1016/j.aej.2020.01.005. [DOI] [Google Scholar]
- 58.Ding Y., Ye H. A fractional-order differential equation model of HIV infection of T-cells. Math. Comput. Model. 2009;50:386–392. doi: 10.1016/j.mcm.2009.04.019. [DOI] [Google Scholar]
- 59.Arafa A.A.M., Rida S.Z., Khalil M. A fractional-order model of HIV infection with drug therapy effect. J. Egypt. Math. Soc. 2014;22(3):538–543. doi: 10.1016/j.joems.2013.11.001. [DOI] [Google Scholar]
- 60.Daşbaşi B. Stability analysis of the HIV model through incommensurate fractional-order nonlinear system. Chaos Solitons Fractals. 2020;137:109870. doi: 10.1016/j.chaos.2020.109870. [DOI] [PMC free article] [PubMed] [Google Scholar]
- 61.Hale J.K., Lunel S.V. Introduction to Functional Differential Equations. New York: Springer; 1993. [Google Scholar]
- 62.Kuang Y. Delay Differential Equations with Applications in Population Dynamics. San Diego: Academic Press; 1993. [Google Scholar]
- 63.van den Driessche P., Watmough J. Reproduction numbers and sub-threshold endemic equilibria for compartmental models of disease transmission. Math. Biosci. 2002;180(1):29–48. doi: 10.1016/S0025-5564(02)00108-6. [DOI] [PubMed] [Google Scholar]
- 64.Korobeinikov A. Global properties of basic virus dynamics models. Bull. Math. Biol. 2004;66(4):879–883. doi: 10.1016/j.bulm.2004.02.001. [DOI] [PubMed] [Google Scholar]
- 65.Elaiw A.M. Global properties of a class of HIV models. Nonlinear Anal., Real World Appl. 2010;11:2253–2263. doi: 10.1016/j.nonrwa.2009.07.001. [DOI] [Google Scholar]
- 66.Barbashin E.A. Introduction to the Theory of Stability. Groningen: Wolters-Noordhoff; 1970. [Google Scholar]
- 67.LaSalle J.P. The Stability of Dynamical Systems. Philadelphia: SIAM; 1976. [Google Scholar]
- 68.Lyapunov A.M. The General Problem of the Stability of Motion. London: Taylor & Francis; 1992. [Google Scholar]
Associated Data
This section collects any data citations, data availability statements, or supplementary materials included in this article.
Data Availability Statement
Not applicable.









