1.
Introduction
During the process of viral infection, the interactions among uninfected cells, infected cells, virus, and immune responses play a crucial role in controlling the virus propagation and antiviral defence. Establishing a virus model and analyzing it can effectively predict disease development trends[1,2,3]. Wang et al. [4], Zhang et al. [5], Georgescu et al. [6], Yuan et al. [7], and Hattaf [8] proposed different nonlinear incidence rates describing the infection process in detail in order to comprehensively characterize biological systems, further explaining different biological phenomena in depth.
It is mentioned in [9,10,11] that different modes of infection have varying impacts on the infection process, such as exhaustion of the immune system, organ damage, and increased antibiotic resistance. Komarova et al. [12], Sigal et al. [13], and Iwami et al. [14] studied the spread of HIV models with two transmission modes. As is known to all, latently infected cells are one of the main reasons why AIDS cannot be completely eradicated. Meanwhile, latently infected cells are not only unaffected by drugs, but can also be activated by antigens. Wang et al. [15] proposed an HIV latent infection model with cell-to-cell transmission, but the humoral immune response has been ignored. Shu et al. [16], Lai et al. [17], and Yang et al. [18] incorporated two modes of viral models without the latently infected cells and humoral immune response. Viral models including logistic growth, multi-stages, and cell-to-cell transmission were also analyzed to exhibit complex dynamic behavior [19,20].
The immune system protects us from various virus infections. Mathematical modeling of virus infection dynamics is critical to the understanding of complex interaction between immune response and viral infection. In [21], Elaiw et al. considered humoral immunity virus models including latently infected cells, without involving cell-to-cell infection and diffusion. Meanwhile, Lin et al. [22] studied the global dynamics of an HIV infection model which incorporated the cell-to-cell transmission and adaptive immunity. The model presented in [22] has neglected the latently infected cells and diffusion.
Spatial diffusion can be a specific drug for preventing and treating certain diseases, providing precise guidance on drug carriers. Wang et al. [23] proposed a delayed and diffusive model with linear incidence. Thus, cell mobility plays an important role in different virus infections. Many diffusion viral infection models were studied in [24,25,26]. However, to our knowledge, there are few works that simultaneously consider factors such as latently infected cells, time delays, diffusion, and humoral immune response.
Given the above discussion, the diffusive and delayed latent virus infection model with humoral immunity is described by the following nonlinear system:
with initial conditions
and homogeneous Neumann boundary conditions
where Ω is a bounded domain in Rn with smooth boundary ∂Ω, and ∂∂→n denotes the outward normal derivative on ∂Ω. Δ is the Laplacian operator. di(i=1,2,3,4,5) are the diffusion coefficients. T(x,t), L(x,t), G(x,t), V(x,t), and Z(x,t) denote the concentration of uninfected cells, latently infected cells, infected cells, viruses, and B cells at position x and time t, respectively. η(0<η<1) is the probability that the uninfected cell will turn into an infected cell. α is the conversion rate. n(T) denotes the growth of the uninfected cells. μh1(L), σh2(G), kh3(V), and βh4(Z) are the death rates of the latently infected cells, infected cells, viruses, and B cells, which only depend on its concentration. γ is the production rate. π1(T,V) and π2(T,G) are the virus-to-cell and cell-to-cell incidence rates, respectively. Let ρh3(V)h4(Z) and δh3(V)h4(Z) be the neutralization rates of viruses and activation rate of B cells, respectively. e−a1τ1 and e−a1τ2 represent the probability of an infected cell surviving to the stage of τ1 and τ2, respectively. χ is the generation rate of B cells.
Define
In this paper, we first introduce the following assumptions:
(A1) n(T) is continuously differentiable, and there exists T0>0 such that n(T0)=0 and n′(T0)<0.
(A2) πi(T,θ) is continuously differentiable; πi(T,θ)>0 for T∈(0,∞),θ∈(0,∞); πi(T,θ)=0 if and only if T=0 or θ=0. ∂πi(T,θ)∂T>0 and ∂πi(T,θ)∂θ>0, for all T>0 and θ>0,i=1,2. πi1(T)>0 and π′i1(T)>0 for all T>0,i=1,2.
(A3) hi is strictly increasing on [0,+∞), hi(0)=0, h′i(0)=1, limθ→0hi(θ)=∞, and there exists ϱi>0 such that hi(θ)≥ϱiθ for any θ≥0,i=1,2,3,4.
(A4) π1(T,V)h3(V) is non-increasing with respect to V∈(0,+∞) and π2(T,G)h2(G) is non-increasing with respect to G∈(0,+∞).
In this paper, the purpose is to investigate the dynamical properties of model (1.1). The organization of our paper is as follows: In Section 2, the basic properties of solutions and the existence of equilibria are discussed. In Section 3, the global stability is stated. In Section 4, the numerical simulations are presented to further illustrate the dynamical behavior of the model. Finally, we will give a conclusion.
2.
Positivity, boundedness, and equilibrium
Let Y=C(¯Ω,R5) be the Banach space with the supremum norm. For τ≥0, define C=C([−τ,0],Y), which is a Banach space of continuous functions from [−τ,0] into Y with the norm ‖φ‖=maxε∈[−τ,0]‖φ(ε)‖Y and let C+=C([−τ,0],Y+) with Y+=C(¯Ω,R5+). We will say that Φ∈C if Φ is a function from ¯Ω×[−τ,0] to R5 and is defined by Φ(x,s)=Φ(s)(x). Also, for ζ>0, a function ν(⋅):[−τ,ζ)→Y induces functions νt∈C for t∈[0,ζ), defined by νt(κ)=ν(t+κ),κ∈[−τ,0].
Theorem 2.1. For any given initial condition ψ∈C satisfying (1.2), there exists a unique non-negative solution of model (1.1)–(1.3) defined on ˉΩ×[0,+∞) and this solution remains bounded for all t≥0.
Proof: For any ψ=(ψ1,ψ2,ψ3,ψ4,ψ5)T∈C and x∈¯Ω, we define H=(H1,H2,H3,H4,H5):C→Y by
After that, model (1.1)–(1.3) can be written as the following abstract functional differential equation:
where W=(T,L,G,V,Z)T, ψ=(ψ1,ψ2,ψ3,ψ4,ψ5)T, and BW=(d1ΔT,d2ΔL,d3ΔG,d4ΔV,d5ΔZ)T. Obviously, H is locally Lipschitz in Y. From [27,28,29,30,31], we deduce that model (2.1) has a unique local solution on [0,Tmax), where Tmax is the maximal existence time for the solution of model (2.1).
It is obvious that a lower-solution of the model (1.1)–(1.3) is 0=(0,0,0,0,0). So, we have T(x,t)≥0,L(x,t)≥0,G(x,t)≥0,V(x,t)≥0, and Z(x,t)≥0.
From the first equation of model (1.1), we have T(t)≤n(T(t))≤m−ˉmT(t), which gives limt→+∞supT(t)≤mˉm. Let
and then, it can be obtained that
where
Therefore, G1(x,t)≤max{Am1,B}, where
for ∀(x,t)∈¯Ω×[0,Tmax). Thus, (T(x,t),L(x,t),G(x,t),V(x,t),Z(x,t)) are bounded on ¯Ω×[0,Tmax). Therefore, by the standard theory for semilinear parabolic systems [32], we have Tmax=+∞.
Next, we discuss the existence of equilibria of model (1.1). Inspired by the method in [33,34], we consider the infection and viral production, and define matrices F and V as
and
Thus, the basic reproductive number, R0, can be defined as the spectral radius of the next generation operator FV−1, where
where
Therefore,
which biologically describes the average number of secondary infections produced by one infected cell at the beginning of infection. In the above expression of R0, divided into parts as R0=R01+R02, where R01=[ηe−a1τ2+(1−η)e−a1τ1αα+μ]⋅γkσ⋅∂π1(T0,0)∂V is the basic reproduction number via the virus-to-cell infection and R02=[ηe−a1τ2+(1−η)e−a1τ1αα+μ]⋅1σ⋅∂π2(T0,0)∂G is the basic reproduction number via the cell-to-cell transmission, respectively.
To find the equilibria of model (1.1), we need to solve
When V=0, the second and fourth equations of (2.2) lead to G=0 and L=0. From the first equation of (2.2), we obtain n(T)=0⇒T=T0. Solving Z from (2.2) yields χ−βh4(Z)=0⇒Z0=h−14(χβ). It always has an infection-free equilibrium E0=(T0,0,0,0,h−14(χβ)).
Now, we assume that there exists V1∈(0,h−13(βδ)), the fifth equation of (2.2) leads to Z1=h−14(χβ−δh3(V1)), and the fourth equation of (2.2) leads to G1=h−12(kγh3(V1)+ργh3(V1)h4(Z1)).
Define
and then, F(0)=n(0)>0 and F(T0)=n(T0)−π1(T0,V1)−π2(T0,G1)=−π1(T0,V1)−π2(T0,G1)<0. According to (A1) and (A2), F(T) is a strictly decreasing function of T, which implies that there exists a unique T1∈(0,T0) such that F(T1)=0. From the second equation, we obtain L1=h−11((1−η)e−a1τ1(π1(T1,V1)+π2(T1,G1))μ+α). Hence, model (1.1) has unique endemic equilibrium E1=(T1,L1,G1,V1,Z1), where
3.
Stability analysis
In this section, the global stability of the equilibria E0 and E1 of model (1.1)-(1.3) will be investigated. Let H(ξ)=ξ−1−lnξ,ξ∈(0,+∞), and it is observed that H(ξ)≥0, ξ>0. H(ξ)=0⇔ ξ=1. For convenience, for any solution (T(x,t),L(x,t),G(x,t),V(x,t),Z(x,t)) of model (1.1), we set
To state the global stability on E0, we need an additional assumption:
Theorem 3.1. Assume that (A1)–(A5) hold. If R0≤1, then infection-free equilibrium E0 is globally asymptotically stable.
Proof: Define a Lyapunov functional
Calculating the derivative of U1(t) along the positive solution of model (1.1), we obtain
From assumptions (A3) and (A4), we have
and
From assumptions (A1) and (A2), we have
Moreover, by utilizing assumption (A5), we obtain
Therefore, we obtain
Using the divergence theorem and the homogeneous Neumann boundary conditions, we get
Thus, we obtain
Therefore, dU1(t)dt≤0. dU1(t)dt=0⇔ T=T0, L=0, G=0, V=0, and Z=Z0. By LaSalle's invariance principle [31], E0 is globally asymptotically stable when R0≤1.
Assume that π1(T,V), π2(T,G), and h3(V) satisfy
Theorem 3.2. If R0>1, and (A1)-(A6) hold, then the endemic equilibrium E1 is globally asymptotically stable.
Proof: Define a Lyapunov functional
Calculating the derivative of U2(t) along the positive solution of model (1.1), it follows that
By using
and by the divergence theorem,
Thus, we have
Hence, dU2(t)dt≤0. dU2(t)dt=0⇔ T(t)=T1,L(t)=L1,G(t)=G1, V(t)=V1, and Z(t)=Z1. From LaSalle's invariance principle [31], we have that E1 is globally asymptotically stable when R0>1.
4.
Numerical simulations
In this section, we present several numerical examples to illustrate the results obtained in Section 3. We will use the finite difference scheme which is proposed in [35,36] for the delayed reaction-diffusion epidemic models. For convenience, we consider model (1.1) under the one-dimensional spatial domain Ω=[0,1]. The homogeneous Neumann boundary conditions and the initial conditions are given by
and
for 0≤x≤1, −τ≤θ≤0, τ=max{τ1,τ2}.
In model (1.1), we choose n(T(t))=s−dT(t)+rT(t)(1−T(t)K), π1(T(t),V(t))=β1T(t)V(t)(1+η1T(t))(1+η2V(t)), π2(T(t),G(t))=β2T(t)G(t)1+α1G(t), and hi(ξ)=ξ. We can easily verify that (A1)-(A4) hold. For simulations, we take η1=0.01,η2=0.01,α1=0.01,d1=0.1,d2=0.1,d3=0.1,d4=0.1,d5=0.1,τ1=10,τ2=5, and choose β1 and β2 as free parameters. The values of the other parameters are summarized in Table 1.
In the following Figures 1 and 2, (a), (b), (c), (d), and (e) are denoted time-series figures of T(t), L(t), G(t), V(t) and Z(t).
5.
Conclusions
In this paper, a diffusive and delayed viral dynamics model with two modes of transmission has been analyzed. Some assumptions about nonlinear functions for n(T), π1(T(t),V(t)), π2(T(t),G(t)), h1(L(t)), h2(G(t)), h3(V(t)), and h4(Z(t)) are made and the global stabilities of model (1.1) are proved. The contribution is to construct suitable Lyapunov functionals for the diffusive virus model considering the humoral cells, cell-to-cell transmission, two delays, and latently infected cells, and we can extend this method to more complicated models. Furthermore, the formula of the basic reproduction number R0 is independent of the diffusion coefficient. Without considering either the virus-to-cell infection or cell-to-cell transmission, R0 could be under-evaluated and the transmission and spread trends of diseases need to be studied.
Based on the obtained results of this paper, we can directly propose the following questions that need further research. On the one hand, in addition to spatial diffusion, humoral response and delays should be considered, determining whether the results obtained in this paper can be extended to a spatially heterogeneous model with immune response delay, random perturbation effect, and memory effect. On the other hand, the globally asymptotic stability of some classes of multiple infection dynamics models will be a very valuable and significative subject. We leave these problems as possible future works.
Use of Generative-AI tools declaration
The author declares she has not used Artificial Intelligence (AI) tools in the creation of this article.
Acknowledgments
The author would like to express the deepest gratitude to the anonymous referees for their careful reading of the manuscript, several valuable comments, and suggestions for its improvement. This work was supported by the NSFC (Nos. 12371504, 12471471), and the General Research Fund for Shanxi Basic Research Project (Nos. 202403021221218, 202403021221214, 202103021224291).
Conflict of interest
The author declares that there are no conflicts of interest.