Abstract

In this paper, a multigroup SVIR epidemic model with reaction-diffusion and nonlinear incidence is investigated. We first establish the well-posedness of the model. Then, the basic reproduction number is established and shown as a threshold: the disease-free steady state is globally asymptotically stable if , while the disease will be persistent when . Moreover, applying the classical method of Lyapunov and a recently developed graph-theoretic approach, we established the global stability of the endemic equilibria for a special case.

1. Introduction

As is well-known, mathematical models have played a key role in describing the dynamical evolution of infectious diseases [110]. For example, during the special battle for preventing the novel coronavirus (COVID-19) spreading, not only medical and biological research but also theoretical studies based on mathematical modeling may play a crucial role in analyzing and forecasting the spreading of the disease (see, for example, [410] and references therein; also, some useful advices for controlling the disease spreading have been given by the researchers).

The spatial heterogeneity has been regarded as an important role that affects the spatial spreading of disease. Therefore, complex models are needed to investigate the spread of diseases. In recent years, reaction-diffusion models involving environmental heterogeneity have been proposed and studied to find reliable measures to control disease spreading [1122]. In particular, the basic reproduction number is an important threshold value for investigation of the dynamics of epidemic models. Then, Wang and Zhao [14] defined the basic reproduction number and obtained its computation formula for general reaction-diffusion epidemic models. Xu et al. [21] studied an SVIR epidemic model with reaction-diffusion and the existences of travelling waves were investigated, while Zhang and Liu [22] also studied the existence of travelling waves for an SVIR epidemic model but with nonlocal dispersal and time delay.

Notice that the essential assumption in classical compartmental epidemic models is that the individuals are homogeneously mixed, which means each individual has the same probability to get infected. However, infected probability may be different for each individual in terms of the impact of different factors, such as education levels, age, gender, and communities. To overcome this problem, multigroup models have been proposed by many researchers by dividing the individuals into different groups and most of these work focus on the global dynamics of the models (see, for example, [2330]). Particularly, one of the earliest works of multigroup models was proposed by Lajmanovich and York [23] when studied the gonorrhea disease transmission in a nonhomogeneous population. In order to investigate the global dynamics of multigroup models, a subtle grouping method in estimating the derivatives of Lyapunov functionals guided by graph theory for multigroup models was developed in [2830]. For example, Kuniya [25] considered a multigroup SVIR epidemic model with vaccination and the global stability of endemic equilibria were established by the method of Lyapunov function. However, spatially heterogeneous was not considered in the model in [25]. To the best of our knowledge, there are few results of multigroup SVIR epidemic model with reaction-diffusion. The existing results are focusing on SIS and SIR models (see [3134]). On the contrary, incidence rate also plays an important role in modeling the epidemic models, which has been frequently used to describe the nature of certain phenomena and obtained much exact results. In addition, applying general incidence rates can obtain the unification theory by the omission of unessential detail, see, for example, [21, 3537] and references therein. Hence, inspired by [21, 25] and the above considerations, in this paper, we consider the following multigroup SVIR epidemic model with reaction-diffusion and general incidence rate:with the homogeneous Neumann boundary conditionsand the initial conditionsfor , where is a domain in with smooth boundary and is the outward normal vector to the boundary . Initial functions are nonnegative and continuously defined on . , , , and stand for the densities of the susceptible, vaccinated, infective, and recovered individuals in the -th group at time and spatial location , respectively. is the input rate of in spatial location ; , , , and denote the natural death rates of , , , and in spatial location , respectively; is the death rate induced by the disease in spatial location ; is the vaccination rate of in spatial location ; is the rate of recovery from infection in spatial location ; is the infection rate of infected by in spatial location ; is the infection rate of infected by in spatial location ; and , , , and are the diffusion rate of , , , and in spatial location , respectively. All location-dependent parameters are continuous and strictly positive defined on , and denotes the force of infection. We assume the function satisfies the following properties:

It is natural to assume that due to the fact that disease cannot spread if there is no infection. The disease spreads heavily with the increasing number of infected individuals; thus, it reasonable to suppose . Since the infectivity of infected individuals cannot be unbounded, it should reach a certain level when the infected individuals are heavy. Therefore, the assumption implies that there exists a peak level for the infectivity of the infected individuals at some certain time. Similar to [25, 34], we also assume the -square matrix is nonnegative and irreducible.

Because the last equation of model (1) is decoupled from other equations, we indeed need to study the following subsystem of (1):

The rest of this paper is organized as follows. In Section 2, some preliminaries are introduced for the well-posedness of the model. In Section 3, we define the basic reproduction number . In Section 4, the threshold dynamics are established in terms of . An special case is performed as a supplementary to the theoretical results in Section 5. A brief conclusion ends the paper.

2. Well-Posedness

Throughout this paper, we denote and . Let with the norm and . It is easy to see that is a strongly ordered Banach space. Let with norm , where , . Denote be the positive cone of . For convenience, set for . , , and . Denotebe the semigroup associated with , , and , respectively, subject to the Neumann boundary condition. Let be the Green function associated with , , and , respectively, subject to the Neumann boundary condition. Then, for any and , we have

Applying Corollary 7.2.3 in [38], we know that, for each is compact and strongly positive. Then, there exist constants (), satisfying for each , where denotes the principle eigenvalue of , , and subject to the Neumann boundary condition. Definefor , , and . Set be the solution of model (5) with initial function , and then, model (5) can be rewritten asfor and . By virtue of Corollary 4 in [39], we have the following.

Lemma 1. For , model (5) has a unique mild solution onand. Moreover, this solution is a classical solution.
Then, we give the existence of solutions of model (5).

Theorem 1. The model (5) has a unique solution on with . Furthermore, the solution semiflow of model (5) defined byadmits a global compact attractor.

Proof. Suppose to the contrary that , then as by Theorem 2 in [39]. It follows from the first equation of model (5) thatBy the comparison principle and Lemma 2 in [40], there exists a constant such that for , . Furthermore, similar procedure can be applied to the second equation of model (5), and then, there exists a constant such that for , . Hence, from the third equation of model (5), we haveNow, we consider the following comparison system:It follows from the standard Krein–Rutman theorem (see [41]) that the eigenvalue problem of system (13) admits a principle eigenvalue with a strongly positive eigenfunction . Thus, system (13) has a solution for , where is a positive constant, satisfying for . By using the comparison principle, we haveThus, there exists a constant such thatwhich leads to a contradiction. Hence, the global existence of is derived.
Now, we are in the position to show the solution is also ultimately bounded. Indeed, it follows from the comparison principle, (11), and Lemma 2 in [40] that there exist and such that , , . Moreover, from the second equation of model (5) and applying similar procedures, we can find and , satisfying for , .
DenoteThen, we haveThus, there exist and such that for any . Next, we denote be the eigenvalue of subject to the Neumann boundary condition with eigenfunction , which satisfies . From Chapter 5 in [42], one obtainsSince is uniformly bounded, there exists constant such that for . Moreover, assume are eigenvalues of subject to Neumann boundary condition, which satisfies . By Theorem 2.4.7 in Wang [43], one gets for all . Since decreases like , there exists such thatLet . For all , by (9) and (4), we havewhich yields thatThus, the above discussion implies that the system (5) is point dissipative. Furthermore, by Theorem 2.2.6 in [44], the solution semiflow is compact for any . Therefore, it follows from Theorem 3.4.8 in [45] that has a global compact attractor in .

3. Basic Reproduction Number

For each , consider the following subsystem of model (5):

It follows from the Lemma 2.2 in [40] that the following systemadmits a unique positive steady state which satisfies the equationwith for , which is globally asymptotically stable in . Hence, the second equation of system (22) is asymptotic to

By Lemma 2.2 in [40] and Corollary 4.3 [46], there exists a globally asymptotically stable steady state . Therefore, concluding from the above discussion, we know that model (5) admits a unique disease-free steady state with , , and . Furthermore, if all the parameters of model (5) are positive constants, then we have and .

Linearizing model (5) at , we obtain the linearized system

Substituting into (26), we obtain

From Theorem 7.6.1 in [38], we have the following result.

Lemma 2. The eigenvalue problem (27) admits a principle eigenvalue with a strictly positive eigenfunction.

Denote . Assume that the distribution of initial infection is . Then, is the distribution of new infective part as time evolves. Therefore, we useto describe the total distribution of the new infective numbers produced during the infection period.

According to [14], the basic reproduction number is defined by , where is the spectral radius of the operator . Furthermore, following Theorem 3 in [14], we have the following lemma.

Lemma 3. The principle eigenvalue and have the same sign, and the disease-free steady state is locally asymptotically stable.

4. Extinction/Persistence Result

Based on the discussion above, we now investigate the extinction and persistence of the disease.

Theorem 2. If , then the disease-free steady state is globally asymptotically stable.

Proof. By Lemma 2, we have when . Thus, there exists a small enough such that . According to Theorem 1, there exists a such that and () for all . Thus, from the third equation of model (5) and assumption (4) thatlet be the eigenfunction corresponding to the principal eigenvalue . Assume thatwhere is a constant. With the aid of comparison principle, we can obtainThis yields uniformly for . Thus, the model (5) is asymptotic to (22). Then, by Lemma 2.2 in [40] and Corollary 4.3 in [46], we have and .
Before proving the main results on disease persistence, we first need to establish the following lemma.

Lemma 4. Let is the solution of model (5) with .(i)For any , we always have and for all , and there exist constants such that(ii)If there exists such that , then we have , , .

Proof. (i)It follows from Theorem 1 that there exists and such thatThen, by the first equation of model (5) and the assumption (4), we haveThus, by Lemma 2.2 in [40], it follows that the comparison systemadmits a unique positive steady state which is globally asymptotically stable in . By the standard parabolic comparison theorem, there exists a constant such that is uniformly for . Moreover, it follows from the second equation of model (5) thatSimilarly, there exists a constant such that is uniformly for .(ii)Assume for some . According to Theorem 1, it follows from model (5) thatThus, the strong maximum principle (see, e.g., [47], Theorem 4) and Hopf boundary lemma (see, e.g., [47], Theorem 3) imply that , , and .Now, we are in position to state the main results of this section.

Theorem 3. If , then there exists a constant such that, for any with , solution of model (5) satisfiesuniformly for all . Moreover, model (5) has at least one endemic steady state .

Proof. DefineAccording to Lemma 4, for any , we have , , and . Thus, , which implies that is the invariant set for solution semiflow of model (5). Defineand be the omega limit set of the orbit . We first prove the following claim.

Claim 1. , . Since , we have . Thus, , . Then, model (5) reduces to model (22); by Lemma 2.2 in [40] and Corollary 4.6 in [46], we have and uniformly for . Hence, , ; i.e., the claim holds.
Since , we have by Lemma 3. Using the continuity of , there exists a sufficient small enough positive constant such that .

Claim 2. is uniform weak repeller for in the sense thatSuppose, by contradiction, there exists a such thatThen, there exists an enough large such thatTherefore, from model (5) and assumptions (4), we haveSet be the strongly positive eigenfunction associated with principle eigenvalue . Since for all and , there exists a constant such that for . It is clear that is a solution of the following linear system:Applying the comparison principle, we haveDue to , we conclude that is unbounded. This is a contradiction.
Define a continuous function byClearly, and has the property that if or and , then for all . Hence, for the semiflow , is a generalized distance function [48]. From Claim 1, it follows that any forward orbit of in converges to . Moreover, Claim 2 implies that is isolated in and , where is the stable set of . Furthermore, there is no cycle in from to . It then follows from Theorem 3 in [48] that there exists a constant such that for all . This implies the uniform permanence of . By Lemma 4 and Theorem 4.7 in [49], we know that has a positive steady state of model (5). The proof is complete.

5. Global Dynamics for a Special Case

In this section, we consider a special case with all the parameters of model (5) as constants, except for the diffusion coefficients. Then, model (5) degenerates into the following model:with the homogeneous Neumann boundary conditions (2) and the initial conditions (3). We mainly focus on the global stability of the endemic steady states of model (48). The proofs of the main results applying the Lyapunov functions and a subtle grouping technique guided by graph theory were developed in [2830].

It follows from the Lemma 2 in [13] that model (48) has a disease-free steady state , where and with and . Define matriceswhere , then we have

Then, it follows from [26] that the basic reproduction number is defined as the spectral radius of , i.e., . As a consequence of Theorems 2 and 3, we can obtain the following results without proofs.

Theorem 4. The disease-free steady state of model (48) is globally asymptotically stable when .

Theorem 5. If , then there exists a constant such that, for any with , solution of model (48) satisfiesuniformly for all . Moreover, model (48) has at least one endemic steady state.

Furthermore, set the endemic steady state with , , and satisfyingFor the global stability of the endemic steady state , we have the following conclusion.

Theorem 6. If , then the endemic steady state is globally asymptotically stable.

Proof. Definewhich is a Laplacian matrix whose column sums are zero [30]. Then, is irreducible because is irreducible. It follows from Lemma 1 in [29] that the solution space of the linear system has dimension 1 with a base with , where is the cofactor of the -th diagonal entry of .
DefinewhereDifferentiating , we obtainIt follows from [50] thatThen, using steady state equations (52), we havewhere with global maximum value . From the assumption (4), it is easy to validate thatMoreover, according to the property that arithmetic mean is not less than the associated geometric mean, and . Thus, we haveConsequently, we obtainIt follows from the equality that which is equivalent to . Then,and thus, for all . Following the graph-theoretic approach as proposed in [2830], similar procedures as in [26] can be applied to verify thatThus, we have . Furthermore, it can be shown that the largest invariant set in is the singleton . Therefore, by the LaSalle’s invariance principle, is globally asymptotically stable.

6. Conclusions

In this paper, a multigroup SVIR model with diffusion and nonlinear incidence rate has been investigated. We defined the basic reproduction number for spatially heterogeneous environment, and we further proved that served as a threshold index which predicts the extinction and persistence of the disease. Particularly, by using comparison principle, we proved that the disease-free steady state is globally asymptotically stable when is less than one. If is great than one, then the disease will persist. Consequently, we obtained the existence of endemic steady state . Furthermore, we established the criteria on the global stability of the disease-free steady state and the endemic steady state of the model in a special case.

Although the existence of the endemic steady state is established, it is necessary to point that the uniqueness and stability of the endemic steady state remains an open problem. Moreover, the impact of the latent individuals should also be considered for some diseases during its spread, such as AIDS and COVID-19 (see, for example, [48, 51]), in which it has been validated that the latent individuals for these two diseases may also have probability of infection. Thus, an improved model with latent compartment should be investigated. We leave these problems for future investigation.

Data Availability

There are no data in the submission.

Conflicts of Interest

The authors declare that there are no conflicts of interest.

Acknowledgments

This work was supported by the National Natural Science Foundation of China (11701445, 11701451, and 11702214), Natural Science Basic Research Plan in Shaanxi Province of China (2018JQ1057 and 2020JQ-38), and Young Talent Fund of University Association for Science and Technology in Shaanxi, China (20180504).