 Research
 Open Access
 Published:
Dynamics analysis and optimal control of SIVR epidemic model with incomplete immunity
Advances in Continuous and Discrete Models volumeÂ 2022, ArticleÂ number:Â 51 (2022)
Abstract
In this paper, we establish an SIVR model with diffusion, spatially heterogeneous, latent infection, and incomplete immunity in the Neumann boundary condition. Firstly, the threshold dynamic behavior of the model is proved by using the operator semigroup method, the wellposedness of the solution and the basic reproduction number \(\Re _{0}\) are given. When \(\Re _{0}<1\), the diseasefree equilibrium is globally asymptotically stable, the disease will be extinct; when \(\Re _{0}>1\), the epidemic equilibrium is globally asymptotically stable, the disease will persist with probability one. Then, we introduce the patientâ€™s treatment into the system as the control parameter, and the optimal control of the system is discussed by applying the Hamiltonian function and the adjoint equation. Finally, the theoretical results are verified by numerical simulation.
1 Introduction
The SARS in 2003, the Zika virus (ZIKV) invasion in 2013, the H7N9 avian influenza pandemic, and the emergence of the Dengue virus in the world, these recurrent infectious diseases and various emerging infectious diseases have been challenging modern life and medical standards [1]. For example, COVID19, which broke out in 2019, is still affecting the world. As of August 24, 2021, the cumulative number of COVID19 cases and deaths has reached 212,357,898 and 4,439,843. Therefore, how to prevent and control the occurrence and spread of infectious diseases is one of the hot issues today.
From the perspective of mathematics, the study of infectious diseases usually starts according to the transmission mechanism of diseases, which is analyzed by establishing mathematical models. The earliest epidemic model was established by Kermack and Mckendrick. They established the plague susceptibility infection removal model (SIR) [2] in 1927 and the plague susceptible infected susceptible model (SIS) [3] in 1932, respectively. Since the establishment of SIR and SIS models, most of the subsequent research is based on the standard SIR model. Among the existing prevention and treatment methods for infectious diseases, vaccine injection is one of the fast and effective methods. For example, in the prevention and control of COVID19, vaccine injection can reduce the infection rate of the Delta variant virus to a certain extent. Therefore, an increasing number of researchers take vaccine injection into account in the process of modeling infectious diseases to make the model close to the actual situation.
Among them, Chen et al. in [4] established the susceptibility vaccinationâ€“infection isolationâ€“recovery (SVIQR) model and susceptibilityâ€“vaccinationâ€“infection isolation (SVIQS) model, respectively. The basic reproduction number of the two models was given. Furthermore, the global attractivity and the global asymptotic stability of the solutions were proved by the Lyapunov function method. And the existence of backward bifurcation was also proved. In [5], KribsZaleta and VelascoHernĂ¡ndez studied a simple SIV model with inoculation and demonstrated the backward bifurcation of solutions to some parameter values. At the same time, complete bifurcation analysis of the model was given under the condition that the vaccine reduces the basic reproduction number. Liu et al. in [6] studied the following SIVR system:
Here, Î» is the constant update rate of the susceptible host and Î± is the rate at which susceptible individuals are vaccinated. \(\beta _{1}\) and \(\beta _{2}\) are the transmission rates of infected people in contact with susceptible groups and vaccinated groups, respectively. Since vaccinated individuals may have partial immunity during vaccination, it is assumed that \(\beta _{1}>\beta _{2}\). Î¼ is the host mortality per compartment. Î³ and Î´ are the recurrence rates of vaccinated people and infected people, respectively. All of these parameters are assumed to be positive. In [6], the authors gave the threshold dynamics of system (1.1) by using the basic reproduction number, showing that reducing the number of infected individuals by vaccination can control the disease. In addition, many researchers have studied infectious disease models with immunization from the perspective of age structure [7] and pulse vaccination [8].
The above models are all established in a homogeneous space environment. However, in practice, the transmission of some diseases is often related to spatial location. For example, the transmission rate of COVID19 in Asia is different from that in North America. In [9], Wu et al. discussed a class of spatially heterogeneous hostpathogen models. The authors used the basic reproduction number to discuss the threshold dynamic behavior of the models and gave the asymptotic behavior of the models. In [10], a reactiondiffusion model of SVIR infection in a spatially heterogeneous environment was proposed. The authors gave the proof of the extinction and persistence of the disease by giving a basic reproduction number. In [11], the authors established an SIVS epidemic model with a degreedependent transmission rate and incomplete vaccination on a scalefree network. The global asymptotic stability of the equilibrium and the global attractivity of the unique endemic equilibrium were proved. In addition, the effects of various immunization programs such as unified immunization, target immunization, and acquaintance immunization were studied and compared.
Motivated by the recent development of epidemic modeling, the optimal control problem is often discussed in some cases, optimal control theory is one of the important branches of mathematical optimization, which is often used to study how to find a control for a dynamic system in a period of time to optimize the objective function. Thus we consider two different models based on (1.1). The first is a direct extension of (1.1). A reactiondiffusion SIVR model is established based on spatial heterogeneity with incomplete immunity. The wellposedness of the system is discussed by using the operator semigroup method. At the same time, the global dynamic behavior of the system solution is discussed by analyzing the basic reproduction number. In the second model, as [12, 13], it is assumed that the spread of a disease can be influenced by decisionmakers. That is, decisionmakers can control the response rate to a certain extent by increasing the treatment ability or the efficiency of drug treatment. Therefore, by further expanding the model, we obtain the control system under the assumption of limited control resources. Considering the progress of medical technology, the targeted treatment for patients will be gradually developed, so we will consider the targeted treatment for patients as a control parameter in the system and discuss its optimal control problem. In addition, we analyze the optimal control of the system by using the Hamilton equation and the adjoint equation. In the proof, we may encounter the following problems:

How to determine the basic regeneration number of the system. In the presence of the diffusion term, it is necessary to select an appropriate method to represent the basic reproduction number \(\Re _{0}\), which is an important prerequisite for discussing the dynamic behavior of the system by using \(\Re _{0}\) as the threshold value.

Can the existence of optimal control be obtained? Because of the existence of diffusion terms, it is difficult to define the adjoint equation and the Hamiltonian function of the control system. At the same time, there are some requirements for the selection of parameters in the numerical simulation.
In view of the above problems, this article is organized as follows. In Sect.Â 2, an SIVR model with incomplete immunity and spatial heterogeneity is established. Furthermore, the wellposedness of the model is derived, meanwhile, the global existence and global attractiveness of the solution are proved. SectionÂ 3 is devoted to studying the threshold dynamic behavior of the system. The extinction or persistence of diseases is analyzed by using the basic reproductive number as the threshold. In Sect.Â 4, the optimal control of the control system is analyzed by taking the treatment for the patient as the control parameter in the system. Meanwhile, the optimal control problem is discussed by using the Hamiltonian function and adjoint equation. Finally, in Sect.Â 5, the corresponding results are verified by numerical simulation.
2 Model formulation and wellposedness
In this paper, the spatial heterogeneity of the spread of infectious diseases and spatial diffusion is considered. In addition, for vaccines, we consider vaccination rates in susceptible individuals and the effectiveness of the vaccine. Based on model (1.1), we can establish the following epidemic model of SVIR with incomplete immunity. The meanings of parameters in the system (2.1) are shown in TableÂ 1.
Remark 1
We considered that there is a vaccine coverage rate \(r(x)\) for susceptible path S, and unvaccinated susceptible persons will be injected into the infected path with a transmission rate \(\beta (x)\). The susceptible person who has been vaccinated enters the vaccinated compartment, suppose the effectiveness rate of the vaccine to be \(\eta (x)\), and if the vaccine fails, the vaccinator will also be injected into the infected path since the inoculated host has some resistance to the virus after being vaccinated. Thus this propagation process is assumed to obey a halfsaturation rate \(\frac{(1\eta (x))\alpha (x)VI}{K(x)+I}\) and \(\beta (x)>\alpha (x)\).
In addition, because \(R(t)\) does not appear in the first three equations of (2.1), we denote system (2.1) as
with the initial value and boundary conditions
It is sufficient to determine the dynamics of (2.1). Here, Î© is a smooth bounded region in \(\mathbb{R}^{n}\). Define a Banach space \(\mathbb{X}:=C(\overline{\Omega},\mathbb{R}^{3})\) with the supremum norm \(\\cdot \\) and \(\mathbb{X}\mathbbm{^{+}}=C(\overline{\Omega},\mathbb{R}^{3}_{+})\). Next, we mainly analyze the dynamic behavior of system (2.2).
Let \(\mathcal{T}_{i}:C(\overline{\Omega},\mathbb{R})\to C( \overline{\Omega},\mathbb{R})\) (\(i=1,2,3\)) be the \(C_{0}\)semigroup associated with \(D_{1}\Delta (r(x)+d_{1}(x))\), \(D_{2}\Delta (\gamma (x)+d_{2}(x))\), \(D_{3} \Delta (\eta (x)+d_{3}(x))\). For any \(\varphi \in C(\Omega ,\mathbb{R})\), \(\mathcal{T}_{i}\) is given by the following formula:
and
where \(\Gamma _{i}\) (\(i=1,2,3\)) is the Green function associated with the operator \(\frac{\partial n}{\partial t}=\Delta n\) in Î©̀… subject to the boundary condition. With [14, SectionÂ 7], \(\mathcal{T}=(\mathcal{T}_{1},\mathcal{T}_{2},\mathcal{T}_{3})\) are compact and strongly positive. Set
Then we can rewrite (2.2) as the following integral equation:
for \(\mathcal{F}=(F_{1},F_{2},F_{3})\) and \(\phi =(\phi _{1},\phi _{2},\phi _{3})(x)=(S_{0},I_{0},V_{0})(x)\).
For a positive and continuous function \(\zeta (x)\) on Î©̀…, define
Thus, for the local solution of (2.2), we have the following.
Lemma 2.1
System (2.2) with any initial value Ï• for \(t\in [0,\tau _{\mathrm{trans}})\) (where \(\tau _{\mathrm{trans}}\leq \infty \)) has a unique solution \(P(x,t,\phi )=(S(x,t),I(x,t),V(x,t))\) with \(P(\cdot ,0,\phi )=\phi \). Moreover, \(P(x,t,\phi )=(S(x,t),I(x,t),V(x,t))\) is a classical solution.
The proof is shown in AppendixÂ A.
In the remainder of this section we will prove the global existence and boundedness of the solution. Consider the following equation:
where \(D>0\) and \(\Lambda (\cdot )\), \(\mu (\cdot )\) are positive and continuous functions on Î©. Thus we have the following.
Lemma 2.2
([9, LemmaÂ 1])
System (2.4) admits a positive steady state \(\omega _{0}\) which is unique and asymptotically stable. Furthermore, if \(\Lambda (x)\equiv \Lambda \), \(\mu (x)\equiv \mu \) are constants, thus \(\omega _{0}=\frac{\Lambda}{\mu}\).
The following theorem proves the boundedness of the model.
Theorem 2.1
For \(x\in \Omega \), \(t\in [0,\infty )\), the solution of system (2.2) satisfies
where \(\Phi (t)\) is the semiflow associated with the solution. Moreover, \(\Phi (t)\) is ultimately bounded.
The proof is shown in AppendixÂ B.
From what has been discussed above, we can get the following results.
Lemma 2.3
The semiflow \(\Phi (t):\mathbb{X}^{+}\to \mathbb{X}^{+}\) admits a compact and global attractor.
Proof
With TheoremÂ 2.1 we ensure the ultimate boundedness of system (2.2). Notice that the equation of (2.2) has the diffusion term, which ensures that \(\Phi (t)\) is compact. With the direct consequence in [15, TheoremÂ 2.4.6], we can complete the proof.â€ƒâ–¡
In Sect.Â 3, we analyze the threshold dynamics of system (2.2). The global stability of diseasefree equilibrium (DFE) and endemic equilibrium (EE) is analyzed by establishing the relationship between the basic reproduction number \(\Re _{0}\) and the principal eigenvalue.
3 Threshold dynamics
3.1 Basic reproduction number
In this section, applying the methods in [16, Sect.Â 3], we give the basic reproduction number \(\Re _{0}\) of (2.2). It is easy to see that (2.2) admits a diseasefree equilibrium (DFE) \(P_{0}=(S^{0},0,V^{0})\), where \(S^{0}\), \(V^{0}\) satisfy
Linearizing (2.2) at \(P_{0}\), we can get the following system:
In order to discuss the basic reproduction number \(\Re _{0}\), we will focus on the linearized equation of infected person I.
Substituting \(I(\cdot ,t)=e^{\lambda t}\delta (\cdot )\), we consider the following subsystem:
Thus, define
then the next generation operator is defined as \(\mathcal{L}=\mathbb{F}\mathbb{B}^{1}\). Set \(T_{\mathrm{trans}}\) as the \(C_{0}\)semigroup associated with \(\mathbb{B}\), then
We can use the variational formula to give the solution of the eigenvalue problem as
By [16, TheoremÂ 3.2], we have
and \(\varrho (\mathcal{L})\) is the spectral radius of \(\mathcal{L}\).
Remark 2
If all parameters are all constants, \(S^{0}=\frac{\Lambda}{r+d_{1}}\), \(V^{0}= \frac{r\Lambda}{(r+d_{1})(\eta +d_{3})}\), we have
From RemarkÂ 2, we can see the relationship between \(\Re _{0}\) and parameters. We have the following lemma on the impact of \(D_{2}\) with \(\Re _{0}\).
Lemma 3.1
For the basic reproduction number \(\Re _{0}\), we have:

1.
\(\Re _{0}=1/\lambda _{0}\);

2.
For \(D_{2}>0\), \(\Re _{0}\) is a positive and strictly monotonic decline function;

3.
\(\Re _{0}\to \max \{ \frac{(1r(\cdot ))\beta (\cdot )S^{0}+\frac{(1\eta (\cdot )) \alpha (\cdot )V^{0}}{K(\cdot )}}{\gamma (\cdot )+d_{2}(\cdot )} \}\) for \(D_{2}\to 0\);

4.
\(\Re _{0}\to \frac{\int _{\Omega}[(1r(\cdot ))\beta (\cdot )S^{0}+ \frac{(1\eta (\cdot ))\alpha (\cdot )V^{0}}{K(\cdot )}]\,dx }{\Omega  (\gamma (\cdot )+d_{2}(\cdot ))}\) for \(D_{2}(\cdot )\to \infty \);

5.
For \(\int _{\Omega}[(1r(\cdot ))\beta (\cdot )S^{0}+ \frac{(1\eta (\cdot ))\alpha (\cdot )V^{0}}{K(\cdot )}]\,dx <\Omega ( \gamma (\cdot )+d_{2}(\cdot ))\), there exists \(D^{*}_{2}\) such that, for \(D_{2}< D^{*}_{2}\), \(\Re _{0}>1\) and \(D_{2}>D^{*}_{2}\), \(\Re _{0}<1\); For \(\int _{\Omega}[(1r(\cdot ))\beta (\cdot )S^{0}+ \frac{(1\eta (\cdot ))\alpha (\cdot )V^{0}}{K(\cdot )}]\,dx >\Omega ( \gamma (\cdot )+d_{2}(\cdot ))\), \(\Re _{0}>1\) for all \(D_{2}>0\).
Define the principal eigenvalue of (3.3) as \(\lambda _{0}\). Thus, we have the following result.
Lemma 3.2
\(\Re _{0}1\) has the same sign as \(\lambda _{0}\).
The proof is shown in AppendixÂ C.
3.2 Extinction of disease
In this subsection we give the proof of \(\Re _{0}<1\), the stability of DFE.
Theorem 3.1
If \(\Re _{0}<1\), the diseasefree equilibrium \(P_{0}\) is globally asymptotically stable. Thus, for \(x\in \Omega \),
Proof
Applying LemmaÂ 3.1, we can infer that for \(\Re _{0}<1\) the principal eigenvalue \(\lambda _{0}<0\). By the equation of S, V in (2.2), with continuity, there exist \(\upsilon _{1}\) and \(t_{1}>0\)
Thus, for \(x\in \Omega \), \(t\in [t_{1},\infty )\), the eigenvalue problem
has a principal eigenvalue \(\lambda ^{\upsilon _{1}}_{0}<0\). Thus, (3.2) implies
By the comparison principle, we can find a positive constant \(\vartheta _{1}\) which satisfies
where \(\xi ^{\upsilon _{1}}\) is a strong positive eigenfunction associated with \(\lambda ^{\upsilon _{1}}_{0}\). Since \(\lambda ^{\upsilon _{1}}_{0}<0\), we directly have
Thus the equation of S, V in (2.2) is asymptotic to (3.1), with asymptotic autonomous semiflow theory in [17, CorollaryÂ 4.3], such that
This completes the proof.â€ƒâ–¡
3.3 Disease persistence
In this section, we prove the global asymptotic stability of the endemic equilibrium in the case of \(\Re _{0}>1\). First, using [10, LemmaÂ 4.1], we get the following conclusion, which ensures that (2.2) has a positive epidemic equilibrium.
Lemma 3.3
Let \(S(x,t)\), \(I(x,t)\), \(V(x,t)\) be the solution of (2.2) with the initial value Ï•. If there exists a positive \(t^{*}\) such that \(I(\cdot ,t^{*},\phi )>0\), thus for any \(t\geq t^{*}\), \(I(\cdot ,t,\phi )>0\). Moreover, for S, V,
and
where \(h^{*}=\sup_{x\in \overline{\Omega}}h(\cdot )\), \(h_{*}=\inf_{x\in \overline{\Omega}}h(\cdot )\).
The proof is shown in AppendixÂ D.
Next, we conclude this section by proving the global stability of the endemic equilibrium.
Theorem 3.2
For \(\Re _{0}>1\), (2.2) admits at least one positive steady state, and we can find positive Îµ for any \(\phi \in \mathbb{X}^{+}\) with \(S_{0},I_{0},V_{0}\not \equiv 0\) such that
Proof
Define two sets as
and
With LemmaÂ 3.3, for \(\phi _{2}\in{\mathbb{H}_{0}}\), we can find that \(x\in \Omega \), \(\forall t\geq 0\), which implies \(I(\cdot ,t,I^{0})>0\) and . Set
here \(\omega (\phi )\) is an omega limit set.
ClaimÂ 1. \(\omega (\phi )=\{P_{0}\}\).
With , we know that , \(\forall t \geq 0\), thus we have \(I(\cdot , t;\phi )\equiv 0\). Thus we can find that (2.2) is asymptotic to
Then, with LemmaÂ 2.2, on \(x\in \overline{\Omega}\), S, I satisfy \(\lim_{t\rightarrow \infty}S(\cdot , t;\phi )=S^{0}(\cdot )\) and \(\lim_{t\rightarrow \infty}V(\cdot , t;\phi )=V^{0}(\cdot )\), uniformly. Hence \(\omega (\phi )=\{P_{0}\}\), \(\forall \phi \in M_{\partial}\).
ClaimÂ 2. \(P_{0}\) satisfies
where \(\sigma _{0}>0=\min \{\sigma ^{*}_{0},\delta ^{*}_{0}\}\) is a positive constant, here \(\sigma ^{*}_{0}\), \(\delta ^{*}_{0}\) will be defined in what follows.
First, by using [16, LemmaÂ 2.2], there exists positive \(\sigma ^{*}_{0}>0\) sufficiently small, the following eigenvalue problem
admits a principal eigenvalue \(\lambda ^{\sigma _{0}}_{0}\). To deal with nonlinear terms in the system, we can choose \(\delta ^{*}_{0}\) with
Then, to the contrary, assume that there is positive \(\sigma _{0}>0\) such that, for \(\phi \in \mathbb{H}_{0}\),
It follows that there exists \(t_{3}>0\) for \(x\in \overline{\Omega}\) which satisfies
Define \(\hat{I}(\cdot ,t)\) for \(x\in \Omega \), \(t\in [0,\infty )\) which satisfies
Thus, for \(\varsigma >0\), \(\hat{I}(\cdot ,t)=\varsigma \hat{\psi}_{2{\sigma _{0}}}e^{(tt_{3}) \lambda ^{\sigma _{0}}_{0}}\) is the unique solution of (3.7). (\(\hat{\psi}_{2{\sigma _{0}}}\) is the strong positive eigenfunction corresponding to \(\lambda ^{\sigma _{0}}_{0}\)). For , with LemmaÂ 3.3, it follows that \(I(\cdot ,t,\phi )>0\). From the definition of the upper solution, for the solution of (3.8) and \(I(\cdot ,t,\phi )\), we can find that
By the comparison principle, we can find a small positive constant Ï‚ which satisfies
Thus, for \(\Re _{0}>1\), with LemmaÂ 3.2, which implies \(\lambda ^{\sigma _{0}}_{0}>0\), then \(I(\cdot ,t,\phi )\rightarrow \infty \) when \(t\rightarrow \infty \). It means that \(I(\cdot ,t,\phi )\) is unbounded, which contradicts the previous proof. This completes the proof.
Here we give the definition of a distance function in the semiflow \(\Phi (t): \mathbb{X}^{+}\to \mathbb{X}^{+}\) as follows:
where \(c(\cdot ): \mathbb{X}^{+}\to [0,\infty )\). Hence, applying [10, TheoremÂ 4.1], for any \(\tau _{1} > 0\), we have
and
By LemmaÂ 3.3, we can set
thus \(\liminf_{t\to \infty}S(\cdot ,t,\phi ),\liminf_{t\to \infty}V( \cdot ,t,\phi )\geq \varepsilon _{2}\). Set \(\varepsilon =\min \{\varepsilon _{1},\varepsilon _{2}\}\), we can get the result that the endemic equilibrium is uniformly persistent. Therefore, by [18, TheoremÂ 4.7], for (2.2), there is at least one positive steady state of on .â€ƒâ–¡
4 Optimal control
In the previous chapters, we have focused on the diseasefree equilibrium and the infectious equilibrium of infectious diseases. But if there is a sudden outbreak, we need to control the impact of the disease at a lower level as far as possible, that is, to control the number of infected people. In addition to calling for vaccinations, governments often spend more money on treatment. The mathematical language to describe this method is the optimal control problem. The main aim of this section is to develop effective strategies for controlling the spread of infectious diseases. We hope that the number of infected people does not exceed the number of susceptible and effective vaccinators.
In this section, we introduce the control strategy to (2.2) and analyze its properties. For convenience, we rewrite \(\Lambda (x)\) as Î›, the same for other parameters. To complete our research, we analyze the control variables of the model (2.2). Therefore, the control variables are given as follows.
With the development of medical technology, infected patients can be treated better. Therefore, define \(u=u(x,t)\) represents the medical intervention for infected patients. Considering that medical resources are limited, we use \(\frac{cuI}{1+\omega I}\) for specific. Here, c is the cure rate and Ï‰ denotes the saturation constant.
From this, we give the control system of (2.2) as follows:
with the boundary condition
here u is measurable, other parameters are the same as in (2.2).
Define an objective function
where \(u(x,t)\in \mathscr{U}(\Omega \times [0,T])=\{0\leq u(x,t)\leq 1\}\) and \(L=A_{1}I(x,t)+\frac{1}{2}A_{2}u^{2}(x,t)\). Assume that the control set \(\mathscr{U}(\Omega \times [0,T])\) is convex, \(A_{1}\), \(A_{2}\) are weight of each item. This objective function describes our goal to control the problem: to reduce the number of susceptible and infected people with minimal intervention costs. The value function is defined as
Define a Hilbert space \(H=L^{2}(\Omega ^{2})\) and \(S^{0}_{c}, I^{0}_{c}, V^{0}_{c}>0\) as the initial value of (4.1), which satisfies (IOC: Initial value of Optimal Control)
Let \(f^{c}=(f_{1}(t,S,I,V), f_{2}(t,S,I,V), f_{3}(t,S,I,V))\), where
With the method in [19, 20], we have the following lemma.
Lemma 4.1
For the initial value \(S^{0}_{c}\), \(I^{0}_{c}\), \(V^{0}_{c}\), system (4.1) admits a unique strong solution \((S,I,V)\in W^{1,2}(0,T;H)\) such that \(S,I,V>0\) and \((S,I,V)\in L^{2}(0,T;H^{2}(\Omega ))\cap L^{\infty}(0,T;H^{1}( \Omega ))\cap L^{\infty}(\mathscr{U})\). Furthermore, there exists a positive constant C independent of u, for any \(t\in [0,T]\),
where \(Q=\Omega \times [0,T]\).
LemmaÂ 4.1 ensures the existence and boundedness of the global solution of system (4.1). Next, according to [21], we can analyze the existence of optimal control of system (4.1).
Theorem 4.1
Let the initial value be defined in (IOC). Then there exists an optimal solution \(P'=(S',I',V')\) of the control system (4.1) corresponding to optimal control \(u'\).
Proof
From the boundedness we have proved in Sect.Â 3, we can infer that \(p=\inf{J(u(x,t))}\) is finite. Thus, for \(P_{n}=(S_{n},I_{n},V_{n})\) and \(u_{n}\in \mathscr{U}\),we can find a sequence \((P_{n},u_{n})\) that is the solution to the following subsystem:
with the initial condition
and the boundary condition
such that
With LemmaÂ 4.1, for system (4.2), we can infer that
Since \(H^{1}(\Omega )\) is compactly imbedded in \(L^{2}(\Omega )\), we can also get the compactness of \(S_{n}\), \(I_{n}\), \(V_{n}\) and \(\frac{\partial S_{n}}{\partial t}\), \(\frac{\partial I_{n}}{\partial t}\), \(\frac{\partial V_{n}}{\partial t}\). Here, by using the Arzelaâ€“Ascoli theorem [22], for the compactness we proved in Sect.Â 2,
uniformly in \(L^{2}(\Omega )\) with respect to a subsequence denoted by \(P_{n}\). In addition, with the weak convergence of \(\Delta S_{n}\), \(\Delta I_{n}\), \(\Delta V_{n}\) (with the boundedness in system (4.2)), we have
weakly in \(L^{2}(Q)\). With (4.3), we have for \(P'=(S',I',V')\) and \(P_{n}=(S_{n}, I_{n}, V_{n})\)
Next, we focus on the second equation of (4.2). By direct calculation we have
Thus
Similarly, we can discuss the first and third equation of (4.3). For the subsequence \({u_{n}}\), \(u_{n}\to u'\) weakly in \(L^{2}(Q)\). With the convexity and closeness of \(\mathscr{U}\), hence \(u'\in \mathscr{U}\), we have
With the analysis above, we can give the conclusion that for \(n\to \infty \), \(P'=(S',I',V')\) is the optimal solution associated with the optimal function \(u'\) of system (4.1), which completes the proof.â€ƒâ–¡
The Hamiltonian function of the control system is given as follows:
Next we give the adjoint equation for the control system (4.1)
Using the method in [23], give the partial derivative of the Hamiltonian function to u, substitute it into the optimal control solution \(P'\),
Let \(\frac{\partial H^{\star}}{\partial u}=0\), the optimal control pair \(u'\) satisfying the minimum value of the objective function \(\min_{u(x,t)\in \mathscr{U}} J(u)\) can be expressed as
5 Numerical simulation
In this section, we use numerical simulation to verify the stability of the system and the impact of controls on the development of the disease. The values of each parameter are shown in TableÂ 2.
5.1 Stability of equilibrium
In this section, we discuss the stability of the solution of system (2.2). First of all, use the method in [28] to make difference and solve system (2.2). Then, for \(\Re _{0}<1\) and \(\Re _{0}>1\), take the data in Data 1 and Data 2, respectively. We get the simulation results obtained as follows.
Firstly, take the value in Data 1. As we can see from Fig.Â 1, when \(\Re _{0}<1\), from TheoremÂ 3.1, the diseasefree equilibrium \((S^{0},0,V^{0})\) is asymptotically stable. In fact, as shown in Fig.Â 1(b), for \(t\to \infty \), \(I(x,t)\) converges to zero; in addition, \(S^{0}=\frac{\Lambda}{\gamma +d_{1}}=0.7149\), \(V^{0}= \frac{r\Lambda}{(\gamma +d_{1})(\eta +d_{3})}=0.3252\). This is the same conclusion given by TheoremÂ 3.1.
Then, using Data 2, we get the numerical simulation when \(\Re _{0}>1\). With TheoremÂ 3.2, we can get the uniform persistence of disease. Actually, as we can see in Fig.Â 2(b), with \(t\to \infty \), \(I(x,t)\) approaches a constant positive value. This is consistent with our proof in TheoremÂ 3.2.
5.2 Influence of control parameters on disease progression
In this section, we discuss the impact of control on a disease. The main idea of this section is that we solve the optimal control problem by applying the iterative method. Then the optimal system is obtained by using the state equation and adjoint equation given in Sect.Â 4. And by solving the optimal system, the optimal control strategy is obtained. Furthermore, the method in [28] is used to make difference and solve the control system and the adjoint equation. In order to control the susceptible population, the infected population, and the vaccinated population, targeted treatment of patients is taken as control, and the impact of targeted treatment on the susceptible population, the infected population, and the density of the vaccinated population in a longterm state is considered. Finally, through numerical simulation, the actual situation of each path in the original system (2.2) and the control system (4.1) is compared.
First, we define the objective function as follows. Let the objective function corresponding to the control system (4.1) be as follows:
where \(A_{1}=0.4\), \(A_{2}=0.5\) [29]. The values of other parameters are the same as in Sect.Â 5.1. The numerical simulation results are as follows.
In Fig.Â 3, for \(\Re _{0}<1\), under controlled conditions, the duration of the disease is shorter and the time of extinction is earlier than without control. At the same time, the overall density of susceptible and vaccinated people before reaching the stabilization point was also higher in the controlled condition than without control. In addition, according to Fig.Â 4, the control intensity reached the maximum in the early stage and gradually decreased with the weakening of the disease scale, reaching zero value when the disease disappeared.
As shown in Fig.Â 5, for \(\Re _{0}>1\), when control exists, the scale of the disease reaches a minimum earlier than without control, and when the disease eventually becomes endemic, the total scale of the disease is lower than without control. In addition, when the disease reaches a stable state, the density of susceptible and vaccinated persons is higher in the controlled condition than without control. Furthermore, by Fig.Â 6, when the disease is in its initial state of development, control rises, and when the disease reaches equilibrium and becomes endemic, control is maintained at a stable value along with the duration of the disease.
6 Conclusion and discussion
In this paper, a kind of SIVR infectious disease model including vaccine immunity and vaccine effectiveness is considered. The optimal control theory is applied to the study of the model, and the threshold dynamics and optimal control of the model are discussed. Firstly, we prove the wellposedness of the model, which provides a theoretical basis for the following discussion. Secondly, we give the basic reproduction number \(\Re _{0}\) to analyze the dynamic behavior of the disease threshold. In addition, the Hamiltonian function and adjoint equation of the optimal control problem is given. Finally, the stability of the system solution is verified by numerical simulation and the number of infections can be reduced as much as possible, while the cost is reduced under the treatment control. In this paper, the parameters are assumed to be accurate; in fact, due to various uncertainties, each parameter may be inaccurate or random. At the same time, according to the changes in the parameters, it can be seen that the vaccination rate and the effective rate of the vaccine also have a certain impact on the control (see Fig.Â 7(a), (b)). In addition, because the nearoptimal control is more flexible, it can adapt to different degrees of model uncertainty. Therefore, in future work, the nearoptimal control problem of the epidemic model can be further studied by considering the influence of random parameters, noise, the vaccination rate, and the efficiency rate of the vaccine as the control parameter.
Availability of data and materials
Data used to support the findings of this work are available from the corresponding author upon request.
References
Morens, D.M., Folkers, G.K., Fauci, A.S.: The challenge of emerging and reemerging infectious diseases. Nature 430(6996), 242â€“249 (2004)
Kermack, W.O., Mckendrick, A.G.: Contributions to the mathematical theory of epidemics. Proc. R. Soc. A, Math. Phys. 115, 700â€“721 (1927)
Kermack, W.O., Mckendrick, A.G.: Contributions to the mathematical theory of epidemics. II.The problem of endemicity. Proc. R. Soc. A, Math. Phys. 138, 55â€“83 (1932)
Chen, S., Small, M., Fu, X.: Global stability of epidemic models with imperfect vaccination and quarantine on scalefree networks. IEEE Trans. Netw. Sci. Eng. 7, 1583â€“1596 (2020)
KribsZaleta, C.M., VelascoHernĂ¡ndez, J.X.: A simple vaccination model with multiple endemic states. Math. Biosci. 164(2), 183â€“201 (2000)
Liu, X.N., Takeuchi, Y., Iwami, S.: SVIR epidemic models with vaccination strategies. J. Theor. Biol. 253(1), 1â€“11 (2008)
Wang, J.L., Zhang, R., Kuniya, T.: The dynamics of an SVIR epidemiological model with infection age. IMA J. Appl. Math. 81(2), 321â€“343 (2016)
Nie, L.F., Shen, J.Y., Yang, C.X.: Dynamic behavior analysis of SIVS epidemic models with statedependent pulse vaccination. Nonlinear Anal. Hybrid Syst. 27, 258â€“270 (2018)
Wu, Y.X., Zou, X.F.: Dynamics and profiles of a diffusive hostpathogen system with distinct dispersal rates. J. Differ. Equ. 264(8), 4989â€“5024 (2018)
Zhang, C., Gao, J.G., Sun, H.Q., Wang, J.L.: Dynamics of a reactionâ€“diffusion SVIR model in a spatial heterogeneous environment. Physica A 533, 122049 (2019)
Lv, W., Ke, Q., Li, K.: Dynamical analysis and control strategies of an SIVS epidemic model with imperfect vaccination on scalefree networks. Nonlinear Dyn. 99(2), 1507â€“1523 (2020)
Zaman, G., Kang, Y.H., Cho, G., Jung, I.H.: Optimal strategy of vaccination & treatment in an SIR epidemic model. Math. Comput. Simul. 136, 63â€“77 (2017)
Dipo, A.: Costeffectiveness and backward bifurcation analysis on COVID19 transmission model considering direct and indirect transmission. Commun. Math. Biol. Neurosci. 202, 12008 (2020)
Pazy, A.: Semigroups of Linear Operators and Application to Partial Differential Equations. Springer, Berlin (1983)
Hale, J.K.: Asymptotic Behavior of Dissipative Systems. Am. Math. Soc., Providence (1989)
Wang, W.D., Zhao, X.Q.: Basic reproduction numbers for reactionâ€“diffusion epidemic models. SIAM J. Appl. Dyn. Syst. 11(4), 1652â€“1673 (2012)
Evans, L.C.: Partial Differential Equations. Am. Math. Soc., Providence (1998)
Mangal, P., Zhao, X.Q.: Global attractors and steady states for uniformly persistent dynamic systems. SIAM J. Math. Anal. 37(1), 251â€“275 (2005)
Apreutesei, N.C.: An optimal control problem for a pest, predator, and plant system. Nonlinear Anal., Real World Appl. 13(3), 1391â€“1400 (2012)
Kim, J., Kwon, H.D., Lee, J.: Constrained optimal control applied to vaccination for influenza. Comput. Math. Appl. 71(11), 2313â€“2329 (2016)
Apreutesei, N.C.: Necessary optimality conditions for three species reactionâ€“diffusion system. Appl. Math. Lett. 24(3), 293â€“297 (2011)
Brezis, H., Ciarlet, P.G., Lions, J.L.: Analyse Fonctionnelle: ThĂ©orie et Applications. Dunod, Paris (1999)
Lenhart, S., Workman, J.T.: Optimal Control Applied to Biological Models. CRC Press, Boca Raton (2007)
Zhu, C.C., Zhu, J.: Dynamic analysis of a delayed COVID19 epidemic with home quarantine in temporalspatial heterogeneous via global exponential attractor method. Chaos Solitons Fractals 143, 110546 (2020)
The world COVID19 vaccine effectiveness ranking table. http://www.jkangyangs.com/xinwen/10579.html
World health statistics (2013). http://www.who.int
Realtime big data report on COVID19 outbreak. https://voice.baidu.com/act/newpneumonia/newpneumonia/?from=osari_aladin_banner#tab4
Higham, D.J.: An algorithmic introduction to numerical simulation of stochastic differential equations. SIAM Rev. 43(3), 525â€“546 (2001)
Pan, S.L., Zhang, Q.M., Anke, M.B.: Nearoptimal control of a stochastic vegetationwater system with reaction diffusion. Math. Methods Appl. Sci. 43, 6043â€“6061 (2020)
Martin, R.H., Smith, H.L.: Abstract functional differential equations and reactionâ€“diffusion systems. Trans. Am. Math. Soc. 321(1), 1â€“44 (1990)
Wang, M.: Nonlinear Elliptic Equations. Science Public, Beijing (2010)
Acknowledgements
Authors would like to thank Prof. Jianguo Gao for his guidance during the writing of the paper, and sincerely thank the editors for their careful evaluation of the paper.
Funding
The research was supported in part by the National Natural Science Foundation of China (No.Â 61761002).
Author information
Authors and Affiliations
Contributions
Conceptualization, YL; methodology, YL and SJ; software, YL; validation, YL, SJ, and JG; formal analysis, YL and SJ; investigation, YL and SJ; writingoriginal draft preparation, YL; writingreview and editing, JG, YL, and SJ; visualization, YL; supervision, JG; project administration, JG; funding acquisition, JG. All the authors have read and agreed to the published version of the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Appendices
Appendix A: Proof of LemmaÂ 2.1
Define the domain of the linear homogeneous part \(\mathcal{T}\) as
Thus, there exists \(h\geq 0\) which satisfies
We can directly get
With [30, CorollaryÂ .4], we can prove the lemma.
Appendix B: Proof of TheoremÂ 2.1
Define
Differential with respect on t
where \(\theta =\min \{d_{1}(\cdot ),\gamma (\cdot )+d_{2}(\cdot ),\eta ( \cdot )+d_{3}(\cdot )\}\). Hence we have
thus for some \(t\geq t_{1}\) and positive constant N, we have \(H(t)< N\).
With LemmaÂ 2.2 and first and third equation of (2.2), by the comparison principle, we have, for some \(t\geq t_{2}\),
Thus, \(S(\cdot ,t)\) and \(V(\cdot ,t)\) are ultimately bounded. With the above condition, \(\mathcal{T}_{2}\) is the \(C_{0}\) semigroup associated with \(D_{2}\Delta (\gamma (x\cdot )+d_{2}(\cdot ))\). We can rewrite \(\mathcal{T}_{2}\) with a Green function as
thus there exists a positive constant \(\mathbb{M}\) satisfying \(\\mathcal{T}_{2}\\leq \mathbb{M}e^{k_{2}t}\), where \(k_{2}\) is the principle eigenvalue of \(D_{2}\Delta (\gamma (\cdot )+d_{2}(\cdot ))\). With [31, TheoremÂ 2.4.7], for Green function \(\Gamma _{2}\) satisfies
where \(m>0\) is a positive constant. By (2.1), we can conclude that, for \(t_{m}=\max \{t_{1},t_{2}\}\),
where \(N_{\mathrm{trans}}=mN[(1r_{})\beta _{+}\omega _{0}+(1\eta _{})\alpha _{+} \omega _{1}]\). Since \(k_{2}\) is the principle eigenvalue associated with \(D_{2}\Delta (\gamma (\cdot )+d_{2}(\cdot ))\), we can get to the conclusion that
Thus \(S(\cdot ,t)\), \(I(\cdot ,t)\), \(V(\cdot ,t)\) are uniformly bounded, and the semiflow \(\Phi (t)\) is point dissipative.
Appendix C: Proof of LemmaÂ 3.2
With the conclusion in LemmaÂ 3.1, we denote by Î¾ the eigenfunction of the following eigenvalue problem:
Here we list the first equation of (C.1) separately:
Set \(\delta ^{*}\) as the positive eigenfunction corresponding to \(\lambda _{0}\), thus
Multiplying (C.2) by \(\delta ^{*}\) and (C.3) by Î¾, integrating them on Î©, then subtracting, we have
Since both sides of integrals are positive, thus \(1\frac{1}{\Re _{0}}\) and \(\lambda _{0}\) have the same sign.
Appendix D: Proof of LemmaÂ 3.3
With the equation of I in (2.2), with the maximum principle and Hopf boundary lemma, for \(t^{*}\) and \(I(\cdot ,t^{*},\phi )\not \equiv 0\), we have \(I\geq \tilde{I}\), where Ä¨ satisfies
With LemmaÂ 2.2, which implies \(I(\cdot ,t,\phi )>0\). Thus from the equation of S and V in (2.2) we have S, V satisfies
By applying the comparison principle, we can infer that
and
which completes the proof.
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
Liu, Y., Jian, S. & Gao, J. Dynamics analysis and optimal control of SIVR epidemic model with incomplete immunity. Adv Cont Discr Mod 2022, 51 (2022). https://doi.org/10.1186/s13662022037237
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662022037237
Keywords
 SIVR model
 Wellposedness
 Basic reproduction number
 Lyapunov function
 Spatial heterogeneity