Abstract

This paper studies the global stability of a discrete-time pathogen dynamic model with both cell-mediated and antibody immune responses. Both latently and actively infected cells are incorporated into the model. We discretize the continuous-time model by using the nonstandard finite difference (NSFD) method. We establish that NSFD preserves the nonnegativity and boundedness of the solutions of the model. We derive four threshold parameters which govern the existence and stability of the steady states. We establish by using the Lyapunov method, the global stability of the five steady states of the model. We illustrate our theoretical results by using numerical simulations.

1. Introduction

Studying and analysing the inward host dynamics of pathogens that infect the human body such as the human immunodeficiency virus (HIV), hepatitis C virus (HCV), hepatitis B virus (HBV), and human T-cell leukemia virus (HTLV) have received great attention from scientists and researchers (see, e.g., [112]). The dynamical behavior of pathogens can be understood by using mathematical modeling. The adaptive immune system plays an important role in controlling pathogenic infections. B cells and cytotoxic T lymphocytes (CTLs) are the main types of lymphocytes. B cells produce antibodies (antibody immune response) to neutralize the pathogens. CTLs (cell-mediated immune response) attack and kill cells infected by pathogen. In the literature, the impact of antibody immune response on pathogenic infections has been studied in several mathematical models (see, e.g., [1320]). Further, the effect of cell-mediated immune response on pathogen dynamics has been modeled in several works (see, e.g., [2127]). Wodarz [28] has combined both CTL and antibody immune responses in the following pathogen dynamic model:where , , , , and are the concentrations of healthy cells, infected cells, free pathogens, antibodies, and CTLs at time , respectively; the healthy cells are generated, dead, and become infected at rates , , and ; the term represents the death rate of infected cells; the infected cells are killed by CTLs at a rate ; the free pathogens are produced from infected cells at a rate , die at a rate , and neutralized by the antibodies at a rate ; the antibodies and CTLs are proliferated at rates and , respectively, while they die at rates and , respectively.

In models (1)–(5), it is assumed that cells generate mature pathogens directly after they are infected. However, it has been reported in [29] that a number of intracellular processes are needed to produce new mature pathogens. It has been shown in [3032] that latent HIV reservoirs serve as a major barrier in HIV treatment. Pathogen dynamic models with latently infected cells and adaptive immunity have been studied in [3335].

In the previous mentioned works, the pathogen dynamics are modeled by systems of nonlinear differential equations which are difficult to be solved analytically. Therefore, we can use an approximate solution which is obtained by discretizing the continuous-time model. Nonstandard finite difference (NSFD) has become one of the famous discretization methods which has been utilized in solving different types of differential equations [36]. NSFD can preserve the basic and global properties of several types of nonlinear systems [37]. NSFD has been used to discretize different pathogen dynamic models (see, e.g., [3740]). The effect of the cell-mediated immune response has been considered of discrete-time pathogen dynamic models in [41, 42]. In addition, Elaiw and Alshaikh [4345] have studied discrete-time pathogen infection models with antibodies.

The present paper aims to study the impact of both antibody and cell-mediated immune responses on the pathogen dynamic model. The model takes into account two types of infected cells, latently infected cells and actively infected cells. We use the NSFD method to discretize the continuous-time model. We show that the model is well posed. Further, we construct Lyapunov functions to prove the global stability of the steady states.

2. The Model

We consider the following continuous pathogen infection model with cell-mediated immune response, antibody immune response, and latency:where is the concentration of latently infected cells at time ; a fraction of healthy cells becomes actively infected cells, and the remaining fraction will become latently infected cells; the terms and represent the activation and death rates of the latently infected cells, respectively.

We apply the NSFD method [36] on systems (6)–(11), and we obtainwhere is the time step size and are the approximations of the solution of systems (6)–(11) at the discrete-time points , . The denominator function is chosen such that [46, 47]. Let us consider the following form of [47]:

The initial conditions of systems (12)–(17) are

2.1. Preliminaries

We define the setwhere , , , , and .

Lemma 1. Any solution of models (12)–(17) with initial condition (19) is nonnegative and ultimately bounded.

Proof. From equations (12)–(17), we obtainWe show that exists uniquely and is positive. If , then from equations (21) and (22) and the initial condition (19), we get and . From equations (23) and (26), we getThen,whereSince and , then , and hence equation (27) admits a unique positive root, . It follows from equation (23) thatNext, we consider . It follows from equations (24) and (25) thatThen, we getwhereSince and , then , and hence there exists a unique positive root of equation (32), .
From equation (24), we getTherefore, the solution exists uniquely and is nonnegative.
For , repeat the above process; we can show that exists uniquely and is positive. Utilizing the mathematical induction, for all , we know that exists uniquely and is positive.
To investigate the boundedness of solutions, we defineUsing equations (12)–(17), we getThen,Hence,Using lemma 2.2 in [48], we haveThen, , , , , , , and . Therefore, the solution converges to as .

2.2. Steady States

Systems (12)–(17) have five steady states:(i)Pathogen-free steady state , where .(ii)Chronic pathogen steady state without immune response , wherein which is the basic reproduction number given asThus, exists if .(iii)Chronic pathogen steady state with only antibody immune response , wherein whichClearly, . If , then exists.(iv)Chronic pathogen steady state with only cell-mediated immune response , wherein whichTherefore, exists if .(v)Chronic pathogen steady state with both antibody and cell-mediated immune responses , wherein whichThus, exists when and .

2.3. Global Stability Analysis

In this section, we study the global stability of the steady states by using the Lyapunov method. We define a function aswhich yields

Theorem 1. Let , then of models (12)–(17) is globally asymptotically stable (GAS).

Proof. Define a function aswhereThe solution of equation (51) is given byClearly, for all and at . We calculate asUsing inequality (49), we getFrom equations (12)–(17), we haveSince, , then for all , we have . Hence, the sequence is monotonically decreasing. Since , then , and hence . This yields , , and . For the case , we have , , , and . From equations (14) and (15), we obtain and . If , we have , , and . From equations (12), (14), and (15), we obtain , , and . Hence, the pathogen-free steady state is GAS.

Theorem 2. If and , then is GAS.

Proof. Define asWe have for all , and moreover . Computing asUsing inequality (49), we getFrom equations (12)–(17), we haveFrom the steady state conditions of , we haveand we getSince and , then is monotonically decreasing. We have , and then and hence , which implies , , , , and . We have four cases:(i) and , and then from equation (14),Applying the steady state condition (60), we obtain . In addition, from equation (15), we getFrom equation (60), we get .(ii), , and . From equation (63), we get .(iii), , and . From equation (62), we get .(iv), , , and . It follows that if and , then , , , , and . Then, is GAS.

Theorem 3. Let and , then of models (12)–(17) is GAS.

Proof. Define asClearly, for all and . Computing asUsing inequality (49), we getFrom equations (12)–(17), we haveWe haveand we getSince , then . Then, the sequence is monotonically decreasing. Since , then and hence . Thus, , , , , and . We have two cases:(i), and then from equation (14),and we get . From equation (15), we getThis gives .(ii) and . From equation (71), we get . Hence, is GAS.

Theorem 4. Let and , then of models (12)–(17) is GAS.

Proof. Define asClearly, for all and . We have asUsing inequality (49), we getFrom equations (12)–(17), we haveWe haveand we getSince and if , then . Hence, the sequence is monotonically decreasing. Since , then and hence . Thus, , , , , and . We have two cases:(i), and from equation (14),and this gives ; moreover, from equation (15), we havethen we get .(ii) and . From equation (78), we get and hence is GAS.

Theorem 5. Let , then of models (12)–(17) is GAS.

Proof. Define asClearly, for all and . Computing asUsing inequality (49), we getFrom equations (12)–(17), we haveWe haveand we getWe note that . It follows that is a monotone decreasing sequence. Since , then and hence . Thus, , , , and . From equations (14) and (15), we havethen and . Hence, is GAS.

3. Numerical Simulations

To conduct numerical simulations for models (12)–(17), we use the following data: , , , , , , , , , , , , and . The remaining parameters will be chosen as below.

3.1. Stability of Steady States

We consider the following initial values:IV1: , , , , , and IV2: , , , , , and IV3: , , , , , and

We choose varied , , and :Case (1) , , and . This yields . Figure 1 shows that the concentration of healthy cells increases and tends to the value , while the concentrations of the other compartments decrease and tend to zero for all initial IV1–IV3. Therefore, is GAS. This illustrates the result of Theorem 1.Case (2) , , and . These values give and . From Figure 2, it can be seen that the solutions of the system tend to the steady state , for all the three initial values IV1–IV3. As a result, exists, and based on Theorem 2, is GAS.Case (3) , , and , and then and . Figure 3 shows that the trajectories of the system reach the steady state for all the initial values IV1–IV3. This shows the existence of . According to Theorem 3, is GAS.Case (4) , , and , and then and . Figure 4 shows that the solutions starting with initial values IV1–IV3 converge to the steady state . This shows that exists, and it is GAS according to Theorem 4.Case (5) , , and , and then , and . Figure 5 displays that the solutions with initial values IV1–IV3 approach the steady state . Hence, exists; moreover, on the basis of Theorem 5, is GAS.

3.2. Effect of Antipathogenic Drugs

In this section, we study the effect of antipathogenic drugs on the pathogen dynamics. We develop models (12)–(17) by incorporating two categories of antipathogenic drugs with efficacies and as

The basic reproduction number for this system is given by

Without the loss of generality, we let , and then

It follows that

Since the target of antipathogenic drugs is to clear the pathogens from the body, we have to determine the minimum drug efficacy such that for all . We can find the value of by solving the following algebraic equation:

The positive root of equation (91) is given by

Therefore,

We take , , and . We get . We consider the initial IV3 and choose different values of . Figure 6 shows the effect of antipathogenic drugs on the pathogen dynamics. It is observed that as is increased, the concentration of the healthy cells is increased, while the concentrations of the other compartments are decreased. In addition, we have(i)If , then and is GAS. In this case, the antipathogenic drugs can remove the pathogens from the body.(ii)If , then and had lost its stability and the solution trajectories of the system converge to one of the other steady states of the system. This means that using the drug treatment with less efficacy will not able to clear the pathogens from the body.

3.3. Comparison Results

In this section, we perform a comparison between the NSFD method and Runge–Kutta method with a variable step size presented in MATLAB (ODE45). We compare the solutions of NSFD and ODE45 for Case (5). The numerical results show that there is a very good agreement between the result of NSFD ( and ) and that of ODE45 (see Figure 7). Of course, if one considers the Runge–Kutta method with a fixed numerical step size , then the numerical error will increase by increasing . Moreover, the global stability of the discrete-time model obtained by the Runge–Kutta method may not guaranteed. In the case of NSFD, we can see that the increasing of does not affect the stability of the steady states. This is in agreement with the results of several papers [3740] that NSFD preserves the essential qualitative features of these models independently of the chosen step size .

4. Conclusion

We studied a discrete-time pathogen dynamic model with adaptive immunity. The model incorporated two classes of infected cells, latently infected cells and actively infected cells. We proved that the solutions of the proposed model are positive and bounded. We showed that the model has five steady states, and their existence are governed by four threshold parameters. We constructed Lyapunov functions to prove the global stability of the steady states. In addition, we conducted numerical simulations to illustrate the global stability of the steady states. We studied the effect of antipathogenic treatment on the pathogen dynamics. We observed that as is increased, the concentration of the healthy cells is increased while the concentration of pathogens is decreased. Since the pathogen-free steady state is the desired steady state to be stabilized, we determined the critical drug efficacy by solving the equation and showed that is GAS when . We presented a comparison between the NSFD method and the Runge–Kutta method. The numerical results showed that there is a very good agreement between the result of NSFD and that of the Runge–Kutta method.

We mention that the proposed pathogen dynamic model is constructed at a supermacroscopic scale, namely, by means of population dynamics with deterministic interactions. This pathogen model can be extended to incorporate stochastic interactions (see [49]). Recently, many authors argued that the pathogens move freely in the body and follow the Fickian diffusion (see, e.g., [5053]). Therefore, it is more reasonable to study reaction-diffusion versions of our discrete-time model. In certain circumstances, some pathogens such as HIV can suppress immune response or even destroy it especially when the concentration of the pathogens is too high. In the literature, several pathogen dynamic models were proposed by considering either CTL immune impairment (see, e.g., [5456]) or antibody immune impairment (see, e.g., [57, 58]). However, modeling the impairment of both CTL and antibody immune responses has not been studied before. We leave these extensions as a possible future work.

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that they have no conflicts of interest.