Abstract
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 \(\mathcal {R}_{0}(\tau ) \le 1 \), then the uninfected equilibrium is globally asymptotically stable, whereas if \(\mathcal {R}_{0}(\tau ) > 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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Today, viral infection is linked to global health problems. Many diseases caused by viruses, such as hepatitis B virus (HBV), human immunodeficiency virus (HIV), hepatitis C virus (HCV), dengue virus, zika virus, and Sars-Cov-2 virus have drawn the attention of researchers to the viral infection process within a host. The mathematical modeling in a patient allows a better understanding of the transmission of diseases and thus improves the strategies for their eradication. On the basis of the virus infection models proposed in [1,2,3, 6, 9,10,11,12,13, 17,18,22, 24,25,35, 35,36,37], several mathematical models were examined and that are valuable for obtaining comprehensive knowledge about virus dynamics, for example models in the form of Ordinary Differential Equations (ODEs) [19,20,21, 34, 37], Delayed Differential Equations (DDE) [1, 22], Partial Differential Equations (PDE) [4, 29, 32, 35] and Fractional Differential Equations (FODE) [2, 3, 17, 25].
The basic reaction-diffusion-ODE viral infection dynamics model consists of the following three-dimensional system (see [4, 32] and references therein):
where the density of uninfected cells is represented by H(x, t) at position x at time t, the density of infected cells is represented by I(x, t) at position x at time t and the density of free virus particles by V(x, t) at position x at time t. The uninfected target cells are produced at a constant rate \(\lambda \) and are infected by free virus particles at a rate \( \beta H(x,t)V(x,t) \) which follows mass action principle. The parameters \( \mu \), \( \alpha \) and \(\gamma \) represent the death rates of uninfected cells, infected host cells and free virus particles, respectively. Free virions are produced by infected cells at the rate \(\eta I(x,t) \). \(\varDelta \) is the Laplacian operator and D is the diffusion coefficient.
At this point it should be mentioned that in model (1) it is assumed that the infection rate is bilinear, that is of the form \( \beta H(x,t)V(x,t) \). However, this hypothesis does not always have a biological meaning. Recently, many researchers have performed virus dynamics models using various type of infection rate (or incidence function) which each time generalizes the bilinear infection rate. For example, in [35], authors studied a delayed model, in the case of HBV with diffusion and Holling-II infection rate, a virus infection model with the Crowley-Martin infection function has been studied in [16, 34, 37]. The Beddington-DeAngelis infection rate has been used in [10, 26, 36] to study a delayed in-host model with diffusion. Also in [27], authors studied a PDE-model with standard infection rate. Therefore, it is necessary to study the virus infection models with a more generalized infection rate, which can be represented by a function which has some properties and generalizes the later infection rates mentioned above.
In this work, motivated by the work done in [4], we further neglect the mobility of susceptible cells, infected cells, and we consider a delayed virus infection model with a generalized infection rate given as follows:
for \( t >0 \) and \( x \in \varOmega \) which is a bounded domain of \(\mathbb {R}^{n} \) representing the liver with smooth boundary \( \partial \varOmega \).
The original part of the model lies in the fact that the proliferation of cells due to mitotic division, and mitotic transmission obey a logistic growth. Thus the novelty of this model is that it includes both the intercellular delay in virus production, the proliferation of cells and the general incidence rate which generalizes most famous forms presented for instance in [14, 16, 26, 27, 34, 36, 37].
In model (2), we assume that the proliferation of cells due to mitotic division obeys a logistic growth law. The mitotic proliferation of uninfected cells is described by \(r_{1}H(x,t)\left( 1-\frac{H(x,t)+I(x,t)}{k}\right) \), and mitotic transmission occurs at a rate \(r_{2}I(x,t)\left( 1-\frac{H(x,t)+I(x,t)}{k}\right) \), which represents the mitotic division of infected cells. Some models supposed that infected hepatocytes do not proliferate; however, the effect of viral infection on hepatocytes is controversial, with conflicting data showing both proliferation induction and inhibition. With system of differential equations coupled to a reaction-diffusion equations models, we explore the impact of proliferation among infected cells in the liver. Uninfected cells and infected cells grow at the constant rate \(r_{1}\) and \(r_{2}\) respectively, and k is the maximal number of total cell population proliferation. The parameter \( a \in \left\{ 0, 1 \right\} \) indicates if there is an absorption effect or not. The infection process in its general form is characterized by the term f(H, I, V)V. In this case, the incidence function \(f = f(H, I, V) \) is assumed to be continuously differentiable in the interior of \(\mathbb {R}^3_+\) and probes the three assumptions given by Hattaf et al. [9, 15] and used in [11, 13, 31], that are:
- \((\mathcal {H}_{1})\):
-
: \(f(0,I,V)=0\) for all \(I,V\ge 0\);
- \((\mathcal {H}_{2})\):
-
: \(\frac{\partial f}{\partial H}(H,I,V)\ge 0\) for all \(H,I,V\ge 0\);
- \((\mathcal {H}_{3})\):
-
:\(\frac{\partial f}{\partial I}(H,I,V)\le 0\) and \(\frac{\partial f}{\partial V}(H,I,V)\le 0\) for all \(I,V\ge 0\).
In the mathematical model (2) the immune response to infection is represented by an elevated death rate in infected cells, \( \mu \le \alpha \), and by the destruction of free virions at rate \( \gamma \). Due to the burden of supporting virus replication, infected cells may proliferate more slowly than uninfected cells, this implies that \(r_{1} \le r_{2}\). The term \(e^{-\tau m}f(H(x,t-\tau ), I(x,t-\tau ),V(x,t-\tau ))V(x,t-\tau )\) describes the newly activated infected cells at time t which are infected \( \tau \) times ago. The recruitment of virus producing cells at time t is given by the number of cells that were newly infected at time \(t - \tau \) and are still alive at time t. Here, m is assumed to be a constant death rate for infected but not yet virus-producing cells. Thus, the probability of surviving the time period from \(t - \tau \) to t is \( e^{-\tau m} \). We need a biologically reasonable history of the host for the system model. It is why the model (2) is supplemented with the following non-negative initial conditions:
and homogeneous Neumann boundary condition
It should be noted that the boundary condition in (4) imply that the free HCV virions do not move across the boundary \(\partial \varOmega \).
In this paper we investigate the dynamical properties of the new model giving by (2), specifically the stability of the homogeneous equilibria. Our work is structured as follows. In the following section we discuss the existence and uniqueness, positivity and the boundedness of the solution to the IBVP with respect to the model. In Sect. 3, we start with the determination of the uninfected equilibrium, then followed by the determination of basic reproduction number \( \mathcal {R}_{0}(\tau )\) and end with the study of the local and global asymptotic stability of this equilibrium. We first determine the infected equilibrium point and then we study the local and global asymptotic stability of this point in Sect. 4. The two previous sections are followed each of them by numerical simulations where we illustrate dynamic behaviour in more detail which reinforce the theoretical results. In the last section we give brief conclusion and perspectives.
2 Preliminary results
This section is devoted to the study of existence, uniqueness, positivity and boundedness of solutions of the initial and boundary value problem (IBVP) (2)–(4). For this purpose, we first introduce the following spaces and definition: let \(\mathbb {X}=\mathcal {C}(\overline{\varOmega }, \mathbb {R}^{3}) \) be a Banach space of continuous functions from \(\overline{\varOmega }\) to \(\mathbb {R}^{3}\) and \(\mathcal {C} = \mathcal {C}([-\tau , 0], \mathbb {X})\) be the Banach space of continuous functions from \([-\tau , 0]\) to \(\mathbb {X}\) with the usual supremum norm and let \(\mathcal {C}_{+} = \mathcal {C}([-\tau , 0], \mathbb {X}_{+})\) with \(\mathbb {X}_{+}=\mathcal {C}(\overline{\varOmega }, \mathbb {R}^{3}_{+}) \). We will say that \( \varPhi \in \mathcal {C} \) if \( \varPhi \) is a function from \(\overline{\varOmega } \times [-\tau , 0] \) to \(\mathbb {R}^{3} \) and is defined by \(\varPhi (x, s) = \varPhi (s)(x)\). Also, we adopt the standard notation that for \(\tau _{0} > 0\), a function \( \varphi \): \([-\tau , \tau _{0}) \longrightarrow \mathbb {X}\) induces functions \(\varphi _{t} \in \mathcal {C} \) for each \( t \in [0, \tau _{0})\), defined by \(\varphi _{t}(s) = \varphi (t + s)\), \( s \in [-\tau ,0]\).
2.1 Existence of local solution in time and positivity
For any data \(\phi =(\phi _1,\phi _2,\phi _3)\in \mathcal {C}^{3}_+\), we define \( F_i: \mathcal {C}_{+} \longrightarrow \mathbb {X} \), \( i = 1, 2, 3 \) as follows: for any \(x\in \overline{\varOmega }\),
Let \(F=(F_1, F_2, F_3)\). We first prove that F is locally Lipschitz in \(\mathbb {X}\).
Lemma 2.1
F is Lipschitz continuous on bounded subsets of \(\mathcal {C}_{+}\).
Proof
Let \(\varphi =(\varphi _1,\varphi _2,\varphi _3)\in \mathcal {C}^3_+\). Using the definition of \(F_1\), we have:
From equality (5), it follows that
According to the mean value theorem and assumptions made on f, there exists \( M > 0 \) and \( \beta > 0 \) such that employing (5) yields
with P and Z given in theorem 2.4. In a similar manner, we get
and
Thus, F is Lipschitz continuous on bounded subsets of \(\mathcal {C}_{+}\). \(\square \)
Now, IBVP (2)–(4) can be rewritten as the following abstract functional differential equation:
where \(\omega =(H,I,V)\), \( \phi =(\phi _1,\phi _2,\phi _3)\) and \(A\omega =(0,0,D\varDelta V)^{\top }\).
Let \(\mathbb {O}=(0,0,0)^{\top }\) and \(N=(T_1, T_2, T_3)^{\top }\) where \(T_1=\frac{(r_1-\mu )+\sqrt{(r_1-\mu )^{2}+4\frac{r_1}{k}\lambda }}{\frac{2r_1}{k}}\), \(T_2=\frac{(r_2-\alpha )+\sqrt{(r_2-\alpha )^{2}+4e^{-m\tau }T_1\beta _2\frac{r_2}{k}}}{\frac{2r_2}{k}}\), \(T_3=\frac{T_2\eta }{\gamma }\) with \(J_1=\sqrt{(r_1-\mu )^{2}+4\lambda \frac{r_1}{k}}\), \(J_2= \sqrt{(r_2-\alpha )^{2}+4e^{-m\tau }\beta _{2}T_{1}\frac{r_2}{k}}\). Let us also consider the following sets
We prove the following result:
Lemma 2.2
For any \(\phi \in [\mathbb {O},\,N]_\mathcal {C}\), \(\lim \limits _{\rho \rightarrow +0}\dfrac{1}{\rho }dist\bigg ( \phi (0)+\rho F(\phi ), \, [\mathbb {O}, \,N]_\mathbb {X}\bigg ) =0\).
Proof
For \(\phi \in [\mathbb {O},\,N]_\mathcal {C} \) and for any \( 0\le \rho \le \min \bigg \{\frac{1}{\mu +\beta },\, \frac{1}{\alpha },\,\frac{1}{\gamma +aT_1\beta },\, \frac{2}{(r_1+\mu )+J_1},\, \frac{2}{(r_2+\alpha )+J_2 } \bigg \}\), we have
Moreover, we can easily obtain:
We have now shown that for \(\rho \) small enough,
from which we deduce that
\(\square \)
From the main results of the literature and the previous lemmas, we can state this following result.
Theorem 2.3
For any \( \phi = (\phi _{1}, \phi _{2}, \phi _{3})\in [\mathbb {O},\,N]_\mathcal {C} \), there exists a unique nonnegative solution \( \varphi (t, x; \phi ) \) of the IBVP (4)–(2) defined for \(t \in [0, +\infty )\). Furthermore \( \varphi _{t} \in [\mathbb {O}, \,N ]_\mathcal {C} \) for \(t \ge 0\).
Proof
For \(\mathbb {D}=(0,0,D)^{\top }\), according to Theorem 1.5 of [5] the \(\mathbb {X}\)-realisation of the operator \(\mathbb {D}\varDelta \) generates an analytical semi-group T(t) on \(\mathbb {X}\). Applying the Corollary 4 of [18], we conclude that the IVBP (2)–(4) admits a unique mild solution \(\varphi (t,\,\phi )=(H(t,\,\phi ),I(t,\,\phi ),v(t,\,\phi ))\in [\mathbb {O},\ N]_{\mathcal {C}}\) for \(t\in [0,\,+\infty )\). In addition, Corollary 2.5 of [33] ensures that the mild solution is classic for \(t\ge \tau .\) \(\square \)
2.2 Boundedness of the solutions of the IBVP (2)–(4)
In this section, we establish the boundedness in time of the global solution of the IBVP (2)–(4) for \( x \in \overline{\varOmega }\) and \(t \in [0, T_{max} ) \) where \(T_{max} > 0 \) is the maximal existence time for solution of the the IBVP (2)–(4).
Theorem 2.4
For any solution (H, I, V) of problem (2)–(4),
for all \( (x,t) \in \overline{\varOmega } \times [-\tau , T_{max} )\) where
and
with
Proof
Let (H, I, V) be a solution of problem (2)-(4). Let us define the following function
for \( x \in \overline{\varOmega }\) and \(t \in [0, T_{max} )\). We obtain, after some lengthy calculations,
Due to
and
it follows that
Hence
with
From (7), we get:
Now to have the bounds of V, we consider the following problems
and
Using a comparison principle (see [23]), we infer that
where
This implies that V is bounded on \( \overline{\varOmega }\times [0,\,T_{\max })\).
From the above discussion, we deduce that H, I and V are bounded on \( \overline{\varOmega }\times [0,\,T_{\max })\). \(\square \)
3 Asymptotic stability analysis of the uninfected equilibrium
The aim of this section is to study the local and global stability of the uninfected equilibrium.
3.1 Basic reproduction number and Uninfected equilibrium
It is easy to verify that system (2) always has an uninfected equilibrium \(E_{0} =(H_{0}, 0, 0) \) with
Following Wang and Zhao [30], we define the basic reproduction number of our model in the absence of spatial dependence as follows:
One of the main tools in epidemic models is the basic reproduction number which is an important threshold parameter to discuss the dynamic behaviour of the epidemic model. It quantifies the infection risk. It measures the expected average number of new infected hepatocytes generated by a single virion in a completely healthy hepatocyte.
3.2 Local stability analysis of \(E_{0}\)
The objective of this section is to prove the local stability of the spatially homogeneous uninfected equilibrium \(E_{0}\) for the Reaction-Diffusion-ODE system (2). We address local stability by analyzing the characteristic equation.
Proposition 3.1
The spatially homogeneous uninfected equilibrium \(E_{0}\) of Reaction-Diffusion-O.D.E model system (2) is locally asymptotically stable if \(\mathcal {R}_{0}(\tau ) < 1\) and it is unstable if \(\mathcal {R}_{0}(\tau ) > 1\).
Proof
Let \(\{\mu _{l}, \varphi _{l}\}\) be an eigenpair of the Laplace operator \(-\varDelta \) on \(\varOmega \) with the homogeneous Neumann boundary condition where \(0=\mu _{1}<\mu _{2}<\mu _{3}< \cdot \cdot \cdot \) \(\rightarrow \) \( \infty \). Let \(E_{\mu _{l}}\) be the eigenspace corresponding to \(\mu _{l}\) in \(C^{1}(\varOmega )\) and \(\{ \varPhi _{lj}, j=1,2,\cdot \cdot \cdot ,\text{ dim } E_{\mu _{l}} \}\) be an orthogonal basis of \(E_{\mu _{l}}\). Let \(\mathbb {Y}=(C^{1}(\varOmega ))^{3}\) and \(\mathbb {X}_{lj}=\{ c \varphi _{lj},\;/ \; c\in \mathbb {R}^{3} \}\).
Consider the following direct sum
where \(\mathbb {X}_{lj}\) is the eigenspace corresponding to \(\mu _{l}\). The linearization of system (2) at the spatially homogeneous uninfected equilibrium \(E_{0}\) can be formulated by:
where \( z = (H, I, V ) \), \( z_{\tau } = (H_{\tau }, I_{\tau }, V_{\tau } ) \), \(\overline{D}=diag(0,0,D)\),
\(\mathcal {A}=\left( \begin{array}{ccc} r_{1}\left( 1 - \frac{2H_0}{k}\right) - \mu &{}-\dfrac{r_1}{k}H_0&{}-f(H_0,0,0)\\ 0&{}r_{2}\left( 1 - \frac{H_0}{k}\right) -\alpha &{}0\\ 0&{}\eta &{}-\gamma -af(H_0,0,0) \end{array}\right) \)
and
\(\mathcal {B}=\left( \begin{array}{ccc} 0&{}0&{}0\\ 0&{}0&{} e^{-\tau m}f(H_0,0,0) \\ 0&{}0&{}0 \\ \end{array}\right) .\)
For each i = 0, 1, 2 \(\cdot \cdot \cdot \), \(\mathbb {X}_{l}\) is invariant under the linearization. We use the exponential Ansatz \(z(x, t) = e^{st} \varPhi (x) \) where \( \varPhi \in \mathbb {X}_{l}\) satisfies \( \varDelta \varPhi = - \mu _{i} \varPhi \). Then, we find that \( z_{\tau }=z(x, t-\tau ) = e^{-X \tau } z(x,t) \). Noting that \(\frac{\partial z}{\partial t} = X z \), we substitute into (9) obtaining
Letting Id be the \( 3 \times 3 \) identity matrix, we have
Thus, there exist non-trivial solutions z and X is an eigenvalue if the matrix \(-XId -\mu _{i}\overline{D} +\mathcal {A} +e^{-\tau X} \mathcal {B}\) has a determinant equal to zero. This calculation gives the characteristic equation as follows:
Considering that \(E_{0}\) verifies system (17), hence \( r_1 \left( 1 - \frac{H_0}{k} \right) = \mu - \frac{\lambda }{H_0}\), and using the previous fact we can express the first factor of (11) as:
which have a negative eigenvalue, and the other two eigenvalues satisfy the following transcendental polynomial
where
It is clear that \( a_{2} > 0 \) due to the fact that \(r_2 \le r_1\) and \(\mu \le \alpha \).
When \(\tau =0\), equation (12) becomes
We have
If \(\mathcal {R}_0 (0) < 1 \) then \(a_3 + b_3(0)>0.\) Furthermore, the fact that \(a_3 >0\), ensures that all the roots of (13) have negative real part according to Routh-Hurwitz criterion. Therefore, the uninfected equilibrium \(E_{0}\) is locally asymptotically stable when \(\tau =0\).
Now, let us consider the distribution of the roots of (12) when \( \tau > 0\).
Assume that \(X=\omega i\) \((\omega >0 )\) is a solution of (12). Substituting \(X=\omega i\) \((\omega >0 )\) into (12), then separating in real and imaginary parts, we obtain
Squaring and adding the last two equations and after simplifications yield
Let
then, we have
where
and
where
Additionally,
Therefore,
Since \(\frac{r_2 \mu }{r_1} -\alpha <0\), if \(\mathcal {R}_0(\tau )<1\), then \(B(\tau )>0\).
Now as \(A>0\), \(B(\tau )>0\) and \(\omega >0\), then \(F(Z)>0\) for any \(Z>0\), which contradicts \(F(Z)=0.\) This shows that characteristic equation (14) does not have pure imaginary roots when \(\mathcal {R}_0(\tau )<1\). The fact that \(E_{0}\) is locally asymptotically stable for \( \tau = 0 \), and the continuity of the roots of (14) with respect to the delay imply that (14) has all its roots with real negative part when \(\mathcal {R}_0(\tau )<1\).
Therefore, if \(\mathcal {R}_0(\tau )<1\), the uninfected equilibrium \(E_{0}\) of system (2) is locally asymptotically stable.
Now we consider the case \(\mathcal {R}_0(\tau )>1\), recalling that i specifies the diffusion eigenvalue \( \mu _{i}\), let
Here, it is sufficient to consider \(i = 0 \) and the space \(\mathbb {X}_{0}\) corresponding to \( \mu _{0} = 0 \). We have
and
Hence, there must exist \( X_{0} > 0 \) such that \(F(X_{0}, 0) =0 \). This yields that (13) has at least one positive root. Thus, the uninfected equilibrium \(E_{0}\) is unstable for \(\mathcal {R}_0(\tau )>1\). \(\square \)
3.3 Global stability analysis of \(E_{0}\)
We discuss about the global stability of the uninfected equilibrium \(E_0 =(H_0,0,0)\) for the delayed Reaction-Diffusion-O.D.E model problem (2)–(4) when \(\mathcal {R}_0(\tau )<1\). We set
We assume that f is under the following hypothesis:
We have the following result:
Theorem 3.2
Suppose that \(r_1 = r_{2}\frac{\left( \gamma +af(H_0,0,0)\right) }{\gamma \delta }e^{\tau m}\) and if \(\mathcal {R}_0(\tau )\le 1 \), then the uninfected equilibrium \(E_0 =(H_0,0,0)\) of the delayed Reaction-Diffusion-O.D.E model problem (2)–(4) is globally asymptotically stable.
Proof
Let \(H=H(x,t)\), \(I=I(x,t)\) and \(V=V(x,t)\) be any positive solution of the delayed Reaction-Diffusion-O.D.E model problem (2)–(4). Define the following Lyapunov functional
Then, clearly, \(L_{1}(t)\) is nonnegative definite with respect to \(E_{0}\). Now, calculating the time derivative of \(L_{1}\) along the solution of problem (2)–(4), where the dot \((^{\cdot })\) represents derivative with respect to time, we obtain
Since
we have
Moreover, using the fact f is a decreasing function with respect to second and third variable,
hence it follows that
From the Divergence theorem and the homogeneous Neumann boundary conditions, we get
and thus, the previous inequality becomes
Therefore, the condition \(\mathcal {R}_0(\tau ) <1\) ensures \(\frac{d L_{1}(x,t)}{\textrm{d}t} \le 0 \), for all H, I, V \( \ge 0\). Furthermore, \(\frac{d L_{1}(t)}{\textrm{d}t} = 0 \) if and only, if \(H = H_{0}\), \(I = 0\), \( V= 0\). It then follows that the largest compact invariant set G of \(\left\{ (H,I,V) \in \mathbb {R}^{3}_{+} \,/\; \; \frac{d L_{1}}{\textrm{d}t}(t)=0\right\} \) is \(\{E_{0}\}\). By LaSalle’s invariance principle [7], Theorem 5.3.1], we deduce that the spatially homogeneous uninfected equilibrium \(E_{0}\) of the Reaction-Diffusion-ODE model (2) is globally asymptotically stable. This completes the proof. \(\square \)
Remark 3.3
The previous results confirm that the infection always dies out. These results strictly extend those of [4, 11, 32] in the case where their models ignored cell proliferation and the absorption effect in the asymptotic stability result of the homogeneous uninfected equilibrium.
3.4 Numerical results
In this section, we present the numerical simulations done by using Matlab software to confirm the theoretical results that we established in the previous section for a particular case of the incidence function f defined as follows:
which is the Beddington–DeAngelis incidence function [13] where \(\alpha _1\), \(\alpha _2\) and \(\beta \) are positive constants.
4 Asymptotic stability analysis of the infected equilibrium
The aim of this section is: first to determine the existence and the uniqueness of the infected equilibrium for the system (2), then to study the local and global stability of the the later, and finally to obtain numerical results. Due to the complexity of determining an infected equilibrium of the initial model, we will in this section restrict ourselves to the case \(a = 0\).
4.1 Infected equilibrium
4.1.1 Existence
Proposition 4.1
Assume that \(\mathcal {R}_0 (\tau ) >1 \), then the system (2) possesses an infected equilibrium \(E_1=(H_1,I_1,V_1)\), where every component is strictly positive.
Proof
We suppose that there exists a homogeneous spatial equilibrium or constant solution \((H_{1}, I_{1}, V_{1})\) for system (2), then this constant solution satisfies:
From (19) we get
Moreover, by multiplying (17) by \(e^{-m\tau }\) and adding the latter to (18), we obtain the following quadratic equation in \(H_{1}\):
Note that equation (21) has two real roots of opposite sign that depend on \(I_{1}\). The positive real root of (21) is given by
where
Defining \(H_1=h(I_1) \) with
Substituting (19) and (23) into (18) yields
It follows that
since \(I_1>0\). Let
F is a continuous real function defined on \([0,+\infty )\). Furthermore,
and
Finally, we get
Therefore
which is positive as \(\mathcal {R}_0 (\tau ) >1\). Note that
Using the fact that there exists \(\beta >0\) such that \(f(H,I,V)\le \beta H\) for all H, I, V \(\ge 0\), we deduce that
and therefore
The intermediate value theorem guarantees the existence of \(I_1>0\) such that \(F(I_1)=0\). The existence of \(I_1\) also ensures that of \(H_1\) and of \(V_1\). Thus the infected equilibrium point \(E_1 = (H_1, I_1, V_1)\) exists. \(\square \)
Now let’s take a look at uniqueness.
4.1.2 Uniqueness
Proposition 4.2
If \(A=H^{2}_{0}r_2-\lambda k \le 0\), then the infected equilibrium point \(E_1=(H_1,I_1,V_1)\) is unique.
Proof
It is sufficient to show that \(F(I_{1})\) is a strictly decreasing function. We have
Note that \(F'(I_{1})\) depends on \(h'(I_{1})\). To calculate \(h'(I_{1})\) we first rewrite the Eq. (21) as
Using implicit differentiation we get
The previous expression of \(h'(I_{1})\) can be rewritten as
where
and
Using Eqs. (18) and (19) we rewrite A and B respectively as
and
Note that
From (27), we deduce that
From (17), we have
from which we deduce that
Equation (18), allows us to have:
Therefore
The fact that F is a strictly monotonic function allows us to conclude that the point \(I_1\) is unique. The uniqueness of \(I_1\) results in that of \( H_1\) and \(V_1\). Thus we conclude that the equilibrium point \( (H_1, I_1, V_1) \) is unique. \(\square \)
Remark 4.3
Indeed, any spatially-inhomogeneous equilibrium point \(E_{1}=(H_{1}, I_{1}, V_{1})\) of the model (2) subject to homogeneous Neumann boundary condition (4) must solve the following system
Investigation of the existence and stability of such spatially-inhomogeneous equilibria will be the concern of a forthcoming work via an in-depth analysis of the above system.
4.2 Local stability analysis of \(E_{1}\)
In this section we deal with the local stability of the infected equilibrium \(E_{1}\).
Proposition 4.4
Let
If \(\mathcal {R}_0(\tau )>1\) and \( B\ge 0 \), then the infected equilibrium \(E_{1}=(H_1,I_1,V_1)\), if it exists, is locally asymptotically stable.
Proof
Note that this proof is analogous to the proof of Proposition 3.1.
The characteristic equation of system (2) at the infected equilibrium is of the form
where
and
When \(\tau = 0\), Eq. (28) becomes
By the Routh-Hurwitz criterion the conditions for real part of X \(\mathcal {R}_e X\) to be negative are: \( a_2(0)+ b_2(0) > 0 \), \( b_0(0) + a_0(0)> 0 \), and \((a_2(0)+b_2(0))(a_1(0) + b_1(0)) - (a_0(0) + b_0(0) ) > 0\).
In our case we have
and
since \( B > 0 \), so we need
If \( \tau = 0 \), by the Routh-Hurwitz criterion, we have the following result. \(\square \)
Proposition 4.5
If conditions H(1) are satisfied, \(B=\bigg (\frac{\partial f(H_1,I_1,V_1)}{\partial H}H_1-f(H_1,I_1,V_1)\bigg ) \ge 0\), and \(\mathcal {R}_0(0)>1\), then the infected equilibrium \(E_{1}=(H_1,I_1,V_1)\) is locally asymptotically stable.
Now we analyze if it is possible to have a complex root with positive real part for the case \( \tau > 0 \), assuming H(1) satisfies, note that \(X = 0\) is not a root of (28) because \(a_0(\tau ) + b_0(\tau ) > 0\). Now suppose that \(X= i \omega \), with \( \omega > 0\), is a root of (28) so the next equation must be satisfied by \( \omega \)
Separating the real and the imaginary parts of the previous expression yields:
and
Moreover, note that the characteristic Eq. (28) is equivalent to
with
It follows from the above that:
and
Hence, we conclude that \(\omega \) is a positive root of the following equation:
that is:
where
Let \( z=\omega ^2\) then (33) becomes the third order equation in z
Suppose that (34) has at least one positive root, let \(z_{0}\) be the smallest value for these roots. Then (33) has the root \(\omega _0 = \sqrt{z_0}\) then, according to (30) and (31), we obtain the value of \(\tau \) associated with this \(\omega _0\) such that \(X = \omega i\) is an purely imaginary root of (32), known as
Then we have the following result, from Lemma 2.1 from Ruan [24].:
Theorem 4.6
Assume (H(1)),
-
1.
If \(C\ge 0\) and \(\varLambda = A^2 - 3B<0\), then all roots of (32) have negative real part for all \(\tau \ge 0\) and the infected equilibrium \(E_1=(H_1, I_1, V_1)\) is locally asymptotically stable.
-
2.
If \(C<0\) or \(C\ge 0\), \(z_1>0\) and \(z_1^3 + Az_1^2 + Bz_1 + C\le 0\), then all roots of (32) have negative real parts when \(\tau \in [0, \tau _0]\) and the infected equilibrium \(E_1=(H_1,I_1,V_1)\) is locally asymptotically stable in \([0,\tau _0]\).
4.3 Global stability analysis of \(E_{1}\)
Next, we study the global stability of the infected equilibrium without absorption of \(E_1 =(H_1,I_1,V_1)\) for the model problem (2)–(4). We assume that
Biological interpretations of \((\mathcal {H}_{5})\) can be easily found in [15].
Theorem 4.7
If \(r_1=r_2=r\) \(e^{m\tau }-3\le 0\), \(-\left( \delta _2-\frac{1}{4}\left( 1+\frac{\delta _2}{e^{m \tau }}\right) ^{2}\right) \le 0\) and \(-\bigg (\frac{1}{P H_1}(\lambda \delta _2 -f(H_1,I_1,V_1)V_1)-\frac{2r\delta _2}{k}\bigg )<0\) then the uninfected equilibrium \(E_1 =(H_1,I_1,V_1)\), if it exists, is globally asymptotically stable.
Proof
Let H(x, t), I(x, t) and V(x, t) be any positive solution of the delayed Reaction–Diffusion-O.D.E model problem (2)–(4). Define the following Lyapunov functional
where
and
The time derivative of \(L_+\) is given by:
Noting that
Inserting the previous equation in the expression of \(\frac{\partial L_{+}(x,t)}{\partial t}\), one deduces that
Likewise,
Since \((H_1, I_1, V_1)\) is an infected equilibrium, we get:
Using the previous inequalities, we have:
which can be written as:
Hence
Moreover,
Thus
Also, from the Divergence Theorem and the homogeneous Neumann boundary conditions and the results of work [10], we have
and
Then combining the final expressions of \(\frac{\partial \tilde{L}(x,t)}{\partial t}\) and \( \frac{\partial L_{+}(x,t)}{\partial t}\), and furthermore, using assumption \(-\bigg (\frac{1}{P H_1}(\lambda \delta _2 -f(H_1,I_1,V_1)V_1)-\frac{2r\delta _2}{k}\bigg )<0\), we get:
The fact that the real function g defined by \(g(x)= x-1 - \ln x\) is positive on \((0,+\infty )\), one deduces that:
Therefore \(\frac{d L_{1}(t)}{\textrm{d}t} \le 0 \), for all H, I, V \( \ge 0\). Furthermore, \(\frac{d L_{1}(t)}{\textrm{d}t} = 0 \) if and only, if \(H = H_{1}\), \(I = I_{1}\), \( V= V_{1}\). It then follows that the largest compact invariant set G of \(\left\{ (H,I,V) \in \mathbb {R}^{3}_{+} \,/\; \; \frac{d L_{1}}{\textrm{d}t}=0\right\} \) is \(\{E_{1}\}\). By LaSalle’s invariance principle [7], Theorem 5.3.1, we deduce that the spatially homogeneous uninfected equilibrium \(E_{1}\) of the PDE model system (2)–(4) is globally asymptotically stable. This completes the proof.
\(\square \)
Remark 4.8
Theorem 4.7 confirms that the infection persists. This result extends strictly those of [4, 11, 32] in that the cellular proliferation and absorption effect were ignored in establishing the result on the asymptotic stability of the homogeneous infected equilibrium.
4.4 Numerical results
5 Conclusion
In this work, we have proposed and analyzed a class of three dimensional spatio-temporal model describing infectious diseases caused by viruses such as the human immunodeficiency virus (HIV), hepatitis C virus and the hepatitis B virus (HBV). The infection transmission process is modeled by a general incidence function which includes several forms existing in the literature. In addition, the global analysis of the proposed model is rigorously investigated. Furthermore, biological findings of our analytical results are presented. Moreover, mathematical virus models and results presented in many previous studies are extended and generalized. To study the mechanism of viral infection and replication, we performed the mathematical analysis of a dynamic model of diffusive in-host virus with a general non-linear incidence function. The well-posedness and the stability of the equilibria of this model are examined. The basic reproductive number \( \mathcal {R}_{0}(\tau )\) which is a threshold value that predicts extinction and persistence of the viral infection is given. It is shown that the global stability of the equilibria is determined by \( \mathcal {R}_{0}(\tau )\) with some other conditions: if \( \mathcal {R}_{0}(\tau ) < 1 \), the uninfected equilibrium is globally asymptotically stable, which means that the virus is finally cleared and the infection dies; if \( \mathcal {R}_{0}(\tau ) > 1 \), then the infected equilibrium is globally asymptotically stable. Our results also imply that diffusion coefficients have no influence on the global behaviour of such a virus dynamics model with homogeneous Neumann boundary conditions. Furthermore, the model proposed in this work is an extension of some previous work and the results obtained improve some known results. It is interesting to improve the present work by integrating several delays and searching for the spatially heterogeneous equilibria. In addition, we can undertake the study of the existence of the Hopf bifurcation, and knowing that The memory is an important characteristic of biological systems, It will be more interesting to examine the memory effect on the spatiotemporal dynamics of our model by using the new generalized fractional derivative presented in [8].
References
Avila-Vales, A.; Canul-Pech, A.; Garcia-Almeida, G.E.; Perez, A.G.C.: Global Stability of a Delay Virus Dynamics Model with Mitotic Transmission and Cure Rate. Studies in Systems, Decision and Control - Mathematical Modelling and Analysis of Infectious Diseases 2020, 83–126 (2020). https://doi.org/10.1007/978-3-030-49896-2-4
Arshad, S.; Baleanu, D.; Huang, J.; Tang, Y.; Qurashi, M.: Dynamical analysis of fractional order model of immunogenic tumors. Adv. Mech. Eng. 8, 1–13 (2016)
Arshad, S.; Baleanu, D.; Bu, W.; Tang, Y.: Effects of HIV infection on CD4+ T-cell population based on a fractional-order model. Adv. Differ. Equ. 2017, 92 (2017). https://doi.org/10.1186/s13662-017-1143-0
McCluskey, C.C.; Yang, Y.: Global stability of a diffusive virus dynamics model with general incidence function and time delay. Nonlinear Anal. Real World Appl. 25, 64–78 (2015)
Daners, D.; Medina, P.K.: Abstract Evolution Equations, Periodic Problems and Applications. Pitman Res. Notes Math. Ser, vol.279, longman scientific & Technical, Harlow(1992).
Diekmann, O.; Heesterbeek, J.A.P.; Metz, J.A.J.: On the definition and the computation of the basic reproduction ratio R0 in models for infectious diseases in heterogeneous populations. J. Math. Biol. 28, 365–382 (1990). https://doi.org/10.1007/BF00178324
Hale, J.K.; Verduyn, L.S.M.: Introduction to Functional Differential Equations. Springer-Verlag, New York (1993)
Hattaf, K.: On the Stability and Numerical Scheme of Fractional Differential Equations with Application to Biology. Computation 10(6), 1–12 (2022). https://doi.org/10.3390/computation10060097
Hattaf, K.; Yousfi, N.; Tridane, A.: Mathematical analysis of a virus dynamics model with general incidence rate and cure rate. Nonlinear Anal. RWA 13, 1866–1872 (2012)
Hattaf, K.; Yousfi, N.: Global stability for reaction-diffusion equations in biology. Comput. Math. Appl. 66(8), 1488–1497 (2013). https://doi.org/10.1016/j.camwa.2013.08.023
Hattaf, K.; Yousfi, N.: A delayed virus dynamics model with general incidence rate. Differ. Equ. Dyn. Syst. 22(2), 181–190 (2014). https://doi.org/10.1007/s12591-013-0167-5
Hattaf, K.; Yousfi, N.: Global stability of a virus dynamics model with cure rate and absorption. J. Egyptian Math. Soc. 22, 386–389 (2014). https://doi.org/10.1016/j.joems.2013.12.010
Hattaf, K.; Yousfi, N.: A generalized HBV model with difusion and two delays. Comput. Math. Appl. 69(1), 31–40 (2015). https://doi.org/10.1016/j.camwa.2014.11.010
Hattaf, K.; Yousfi, N.: Global dynamics of a delay reaction-diffusion model for viral infection with specific functional response. Comp. Appl. Math. 34, 807–818 (2015). https://doi.org/10.1007/s40314-014-0143-x
Hattaf, K.; Yousfi, N.: A numerical method for a delayed viral infection model with general incidence rate. Journal of King Saud University, Science 28, 368–374 (2016)
Kang, C.; Miao, H.; Chen, X.; Huang, D.: Global stability of a diffusive and delayed virus dynamics model with Crowley-Martin incidence function and CTL immune response. Adv. Difference Equ. 2017, 324 (2017). https://doi.org/10.1186/s13662-017-1332-x
Khodabakhshi, N.; Mansour, S.; Baleanu, D.: On dynamics of fractional-order model of HCV infection. J. Math. Anal. 8, 16–27 (2017)
Martin, R.H.; Smith, H.L.: Abstract functional-differential equations and reaction-diffusion systems. Trans. Amer. Math. Soc. 321, 1–44 (1990). https://doi.org/10.2307/2001590
Nangue, A.: Global stability analysis of the original cellular model of hepatitis C virus infection under therapy. American Journal of Mathematical and Computer Modelling 4(3), 58–65 (2019)
Nangue, A.; Donfack, T.; Yafago, D.A.N.: Global dynamics of an hepatitis C virus mathematical cellular model with a logistic term. European Journal Of Pure And Applied Mathematics 12(3), 944–959 (2019). https://doi.org/10.29020/nybg.ejpam.v12i3.3454
Nangue, A.; Fokoue, C.; Poumeni, R.: The global stability analysis of a mathematical cellular model of hepatitis C virus infection with non-cytolytic process. Journal of Applied Mathematics and Physics 7(7), 1531–1546 (2019). https://doi.org/10.4236/jamp.2019.77104
Nangue, A.: A delay-differential equation model of HCV infection with absorption under therapy. Far East J. Appl. Math. 108(2), 151–178 (2020)
Protter, M.H.; Weinberger,- H.F. : Maximum Principles in Differential Equations. Prentice Hall, Englewood Cliffs(1967)
Ruan, S.; Wei, J.: On the zeros of a third degree exponential polynomial with applications to a delayed model for the control of testosterone secretion. IMA J. Math. Appl. Model. Biol. 18, 41–52 (2001)
Singh, J.; Kumar, D.; Qurashi, M.A.; Baleanu, D.: A new fractional model for giving up smoking dynamics. Adv. Differ. Equ. 2017, 88 (2017). https://doi.org/10.1186/s13662-017-1139-9
Tadmon, C.; Foko, S.; Rendall, A.D.: Global stability analysis of a delay cell-population model of hepatitis B infection with humoral immune responses. Dynamical Systems 36(4), 537–559 (2021). https://doi.org/10.1080/14689367.2021.1940868
Tadmon, C.; Foko, S.: Modeling and mathematical analysis of an initial boundary value problem for the hepatitis B virus infection. J. Math. Anal. Appl. 474, 309–350 (2019). https://doi.org/10.1016/j.jmaa.2019.01.047
van den Driessche, P.; Watmough, J.: Reproduction numbers and sub-threshold endemic equilibria for compartmental models of disease transmission. Math. Biosci. 180, 29–48 (2002). https://doi.org/10.1016/S0025-5564(02)00108-6
Wang, F.; Huang, Y.; Zou, X.: Global dynamics of a PDE in-host viral model. Appl. Anal. 93(11), 2312–2329 (2014). https://doi.org/10.1080/00036811.2014.955797
Wang, W.; Zhao, X.Q.: Basic reproduction numbers for reaction-diffusion epidemic models. SIAMJ. Appl. Dyn. Syst. 11(4), 1652–1673 (2012). https://doi.org/10.1137/1208729442
Wang, T.; Hu, Z.; Liao, F.; Ma, W.; Yousfi, N.: Global stability analysis for delayed virus infection model with general incidence rate and humoral immunity. Math. Comput. Simul. 89, 13–22 (2013)
Wang, K.; Wang, W.: Propagation of HBV with spatial dependence. Math. Biosci. 210(1), 78–95 (2007). https://doi.org/10.1016/j.mbs.2007.05.004
Wu, J.: Theory and applications of partial functional differential equations. In: Marsden, J. E.; Sirovich, L.; John, F.: volume 119, Springer, (1996)
Xu, S.: Global stability of the virus dynamics model with Crowley-Martin functional response. Electron. J. Qual. Theory Differ. Equ. 9(9), 1–10 (2012). https://doi.org/10.14232/ejqtde.2012.1.9
Xu, R.; Ma, Z.: An HBV model with diffusion and time delay. J. Theor. Biol. 257, 499–509 (2009)
Zhang, Y.; Xu, Z.: Dynamics of a diffusive model with delayed Beddington-DeAndelis response. Nonlinear Anal. Real World Appl. 15, 118–139 (2014)
Zhou, X.; Cui, J.: Global stability of the virus dynamics model with Crowley-Martin functional response. Bull. Korean Math. Soc. 48, 555–574 (2011)
Acknowledgements
One of the authors (AN) is grateful to Alan D. Rendall and Calvin Tadmon for the insightful discussions regarding the work. The authors would like to thank the anonymous reviewers for their constructive comments and suggestions, which have improved the quality of the manuscript.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Author contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Data availability statement
Not applicable.
Conflict of interest
The authors declare that they have no conflict of interest.
Informed consent statement
Not applicable.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Nangue, A., Tacteu Fokam, W.A. A class of diffusive delayed viral infection models with general incidence function and cellular proliferation. Arab. J. Math. 12, 173–199 (2023). https://doi.org/10.1007/s40065-022-00412-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40065-022-00412-x