Abstract
This work applies a novel geometric criterion for nonlinear autonomous differential equations developed by Lu and Lu (NARWA 36:20–43, 2017) to a nonlinear SEIVS epidemic model with temporary immunity and achieves its threshold dynamics. Specifically, globalstability problems for the SEIVS model of Cai and Li (AMM 33:2919–2926, 2009) are effectively solved. The corresponding optimal control system with vaccination, awareness campaigns and treatment is further established and four different control strategies are compared by numerical simulations to contain hepatitis B. It is concluded that joint implementation of these measures can minimize the numbers of exposed and infectious individuals in the shortest time, so it is the most efficient strategy to curb the hepatitis B epidemic. Moreover, vaccination for newborns plays the core role and maintains the high level of population immunity.
Introduction
In the persistent but nonexplosive warfare between mankind and infectious diseases, the population without immunity had once felt panic and powerless in the face of each epidemic outbreak. It is estimated that there were 4–5 million deaths worldwide during the 1918–1920 H1N1 influenza pandemic, well above 8.5 million deaths in the First World War that lasted 52 months [1]. Some emerging infectious diseases frequently have raged across the planet in almost two decades, such as SARS, H1N1, EVD, MERS, COVID19. Fortunately the invention of vaccines led mankind to a landmark victory against the diseases and 2–3 million deaths are prevented annually [2], however the vaccine protection only lasts for months to years since the vaccineinduced immunity wanes [3, 4].
Epidemiological dynamical models with temporary immunity [5,6,7,8,9] were developed to capture the vital factors underlying the disease transmission mechanisms. In particular, much attention (e.g., [6,7,8,9]) has been paid to the susceptibleinfectiousrecoveredsusceptible (SIRS) epidemic models with nonpermanent acquired immunity and nonlinear incidence rates, Sf(I), which can model the inhibition effects from the change of S class in behaviours as their number grows or the crowding effect of I class (e.g., saturated case \(f(I)=\lambda I/(1+\sigma I)\), \(\sigma >0\) [10]), as well as psychological effects as their number of I class increases (e.g., nonmonotone case \(f(I)=\beta I/(1+\sigma I^2)\) [11], nonmonotone and saturated case \(f(I)=\beta I^2/(1+\varrho I+\sigma I^2)\), \(\varrho >2\sqrt{\sigma }\) [9]). These models may present out simple threshold stability or undergo complex dynamics, including saddlenode bifurcation, BogdanovTakens bifurcation, Hopf bifurcation [8, 9]. Indeed, nonlinear incidence rates keep more consistent with the reality than standard bilinear case when incidence increases/decreases more gradually [9, 10, 12].
The fact that, as Anderson and May pointed out in [13], a host may be infected but not yet infectious, suggests that it is desirable to make a distinction between infection and infectiousness in epidemic models by introducing an exposed compartment E, such as SEIRS/SEIVS models [3, 4, 14, 15], in which infected individuals in E class will transfer to I class with infectiousness after a latent period. However, their globalstability analysis becomes more of a challenge since Lyapunov–LaSalle methods may be not a viable option. For instance, with the second additive compound matrix theory, Cai and Li [3], Sahu and Dhar [4] applied the classical geometric approach of [16,17,18] to the SEIVS models with vaccination to establish global stability of positive equilibria under some restrict conditions besides the control reproduction number \(\mathcal {R}_c>1\). More recently, Lu and Lu [14, 15] generalized the globalstability geometric criterion and successfully removed some additional restrictions on global stability of several SEIRS models with the incidence rate \(\beta S^\alpha f(I)\) (\(\alpha >0\)) and standard incidence rate \(\beta SI/N\). A recent work of Doungmo Goufo et al. [19] revealed that an HIVCOVID19 model with standard incidence rate and variable total population size N due to host’s diseaseinduced mortality, exhibits backward bifurcation, which indicates that reducing \(\mathcal {R}_c\) below 1 is no longer sufficient for disease elimination [19,20,21,22]. What’s more, backward bifurcation has also been observed in the epidemic models with standard incidence rate and imperfect vaccination [23, 24].
In general, for some infectious diseases with long latent period, such as HIV, tuberculosis, hepatitis B, it is quite difficult to find and treat the infected individuals timely, thereby greatly impeding the control and elimination of diseases [25]. Several public health measures besides vaccination are preached and used to prevent and contain the epidemics [1], thereinto awareness campaigns by media alert and education among the public are implemented to enhance the limited knowledge about disease control, change their behaviour ways and reduce the infection likelihood [26, 27]. It is also suggested that patients with chronic infectious diseases (e.g., HBV, HCV) receive timely treatment, which can shorten the disease course and further reduce the incidence of infection [28]. Another significant research topic for epidemic models is to investigate the effectiveness of control strategies. Optimal control theory [29, 30] admits use of control measures with timevarying intensities to avoid wasting resources and high costs. Recently, Khan et al. [22] introduced four control measures to a vectorhost epidemic model with saturated treatment and found that combination of these controls is the most desired strategy to reduce the infection in humans. One refers the reader to recent works for more details concerning optimal control strategies, including vaccination [26, 31,32,33,34,35], awareness campaigns [26] and treatment [20, 26, 35].
In the present paper, by application of the new geometric criterion developed by [14], we are concerned with global threshold dynamics of an SEIVS model with perfect vaccination and nonlinear incidence rate \(\beta I^\rho S^\alpha /(1+\sigma I^\kappa )\) (\(0<\rho \le 1\), \(0\le \kappa \le 2\)), which can reflect the saturated effects (\(\kappa =1\)) or the psychological effects (\(1<\kappa \le 2\)) in diseases transmission when \(\rho =1\). Compared with the existing works in global dynamics analysis for the SEIVS epidemic models, our main contributions of this study lie in the following several aspects. Firstly, we formulate a new nonlinear SEIVS epidemic model incorporating vaccineinduced, diseaseacquired and natural immunities, in which the nonlinear incidence rate may be more general than the ones used in [3, 4]. Secondly, different from the method used in [3, 4], this work employs a more general geometric criterion based on the third additive compound matrix theory developed by [14] and carefully analyzes global threshold stability of the model proposed. Meanwhile, the additional condition for global stability of the positive equilibrium in Theorem 2.1 [3] is removed. Lastly, based on the SEIVS model proposed we further develop its optimal control system with vaccination, awareness campaigns and treatment to investigate the effective measures to prevent hepatitis B transmission. And the existence and uniqueness of the optimal control solution are verified. Numerical results for several different control strategies show that joint implementation of these three measures is the most costeffective in mitigating the hepatitis B epidemic.
The outline of this paper is laid out as follows. In Sect. 2, a nonlinear SEIVS epidemic model with temporary immunity is formulated. And global threshold stability of the equilibria is investigated in Sect. 3. Section 4 proposes an optimal control problem with three measures of the SEIVS model and demonstrates its existence and uniqueness of the optimal control solution. We further perform numerical simulations to seek for the most effective strategy to contain hepatitis B transmission in Section 5. A concluding section ends this paper with several remarks.
Model formulation
In this section, a nonlinear epidemic model with latency and temporary immunity is formulated. The total population with homogeneity N is classed into susceptible (S), exposed (E), infectious (I) and vaccinated/recovered (V) compartments. Based on the nonlinear SEIVS epidemic model in [3], which takes the form of
we make several basic assumptions motivated by the biological significances as follows:

Vaccineinduced, diseaseacquired and natural immunities [4] for the certain disease are temporary, and it may be realistic for most vaccinepreventable infectious diseases;

The durations of these immunities are almost same, so V class consists of vaccinated and recovered individuals [3, 4]. For example, the recovered individuals from A/H1N1 influenza infection still have the risk of infection once their resistance fall;

The death rate induced by the disease is low so it can be ignored, therefore the total population N can maintain constant, seeing [3, 4];

Since susceptible individuals may change their behavior ways to avoid infection after awareness campaigns are conducted, we adopt the nonlinear incidence rate \(\beta I^\rho S^\alpha /(1+\sigma I^\kappa )\) (\(0<\rho \le 1\), \(0\le \kappa \le 2\), \(\alpha >0\)), which can model the saturated effects (\(\kappa =1\)) or psychological effects (\(1<\kappa \le 2\)) when \(\rho =1\), seeing the Refs. [10, 11].
Out of the above considerations, an SEIVS epidemic model with temporary immunity and general nonlinear incidence rate is constructed as follows:
All parameters in model (2.2) maintain nonnegative, and their biological meanings are interpreted as follows. Individuals are born at a rate A into S class, and a fraction of newborns are effectively vaccinated at a rate p. Susceptible individuals become infected at a rate \(\beta \). And \(1/(1+\sigma I^\kappa )\) measures the inhibition effects or psychological effects owing to awareness campaigns. The temporary immunities induced by the perfect vaccine, the disease and inapparent infections, wane at a rate \(\delta \). Meanwhile, all individuals in each class have the same natural death rate d. The individuals in E class may transfer to I class at a rate \(\varepsilon \), also to V class at a rate \(\eta \) because of acquiring natural immunity. The infectious individuals are effectively cured at a rate \(\tau \).
For the convenience of presentation, we denote the infectious force
The function is characterized by differentiability and \(\varphi (0)=0\), \(\varphi '(0)=+\infty \) (as \(0<\rho <1\)) or \(\varphi '(0)=\beta \) (as \(\rho =1\)). What’s more,
holds true. It is obvious that the nonlinear incidence rate \(S^\alpha \varphi (I)\) in model (2.2) extends the monotone saturated one [10] and nonmonotone one with psychological effects [11]. In particular, when \(\rho =\alpha =\kappa =1\) and \(\eta =0\), model (2.2) becomes model (2.1) with saturated incidence rate, and global stability of its endemic equilibrium \(Q_*\) was established by Cai and Li in [16] as follows:
Theorem 2.1
(seeing Theorem 4 in [3]) The endemic equilibrium \(Q_*\) is global stable if the control reproduction number \(\mathcal {R}_c:=\varepsilon \beta A[d(1p)+\delta ]/[d(d+\varepsilon )(d+\tau )(d+\delta )]>1\) and
A natural question will be raised: Is the endemic equilibrium for model (2.2) with the saturated incidence rate or even more general nonlinear incidence rate globally asymptotically stable only if \(\mathcal {R}_c>1\) ? In what follows, we shall employ a more general geometric criterion for nonlinear autonomous differential equations developed by [14] to study global dynamics of model (2.2), and give an affirmative answer to the question above, improving Theorem 2.1.
Model analysis
This section focuses on analyzing global dynamics of model (2.2), including the positivity and boundedness of the solution, the existence, local and global stability of its equilibria.
Positivity and boundedness of the solution
Lemma 3.1
Each solution (S(t), E(t), I(t), V(t)) of model (2.2) with the positive initial data (S(0), E(0), I(0), V(0)) remains nonnegative for all \(t>0\). Further, the biologically meaningful region
is a positively invariant set with respect to (2.2).
Proof
Following the idea of [20, 36, 37], let us denote \(\phi :=\beta I^\rho S^{\alpha 1}/(1+\sigma I^\kappa )\) and \(t_1:=\sup \{t>0: S>0, E>0, I>0, V>0, [0,t]\}\), so \(t_1>0\). By the first equation of model (2.2), it can be seen that \(dS(t)/dt=(1p)A(d+\phi (t))S(t)+\delta V(t)\ge (1p)A(d+\phi (t))S(t)\), which can be recast as
Integrating the equality above from 0 to \(t_1\) yields
and then one obtains
Therefore, \(S(t)>0\) for all \(t>0\). By similar augments above it can be verified that \(E(t)>0\), \(I(t)>0\), \(V(t)>0\) for all \(t>0\).
Next, we shall show the boundedness of the solution for (2.2). It follows from \(dN(t)/dt=AdN(t)\) that \(N(t)= N(0)e^{dt}+A(1e^{dt})/d\), so \(N(t)\le A/d\) provided that \(N(0)\le A/d\). This suggests that the feasible region \(\Xi \) can ensure that each solution (S(t), E(t), I(t), V(t)) of model (2.2) with the positive initial data in \(\Xi \) remains unique, positive and bounded for all \(t>0\) and is attracted in \(\Xi \). Namely, \(\Xi \) is a positively invariant set. \(\square \)
Stability of diseasefree equilibrium
It is direct to show that there is always a diseasefree equilibrium \(Q_0=(S_0,0,0,V_0)\), where \(S_0=A[(1p)d+\delta ]/[d(d+\delta )]\), \(V_0=pA/(d+\delta )\). It could be observed that model (2.2) admits another biologically feasible region \(\widetilde{\Xi }=\{(S,E,I,V)\in \mathbb {R}^4_+: S\le S_0,\ V\le V_0,\ N\le A/d\}\), which is also positiveinvariant and attracting such that model (2.2) is wellposed in \(\widetilde{\Xi }\). The above result can be checked by the similar arguments in [38], only with minor modification.
Furthermore, the local stability of \(Q_0\) will be achieved by virtue of the method of next generation operator developed in [39]. By means of the notation in [39], the matrices F and V for model (2.2) acquire the forms of
so the control reproduction number for model (2.2)
Following Theorem 2 in [39], we immediately obtain the following conclusion.
Theorem 3.1
The diseasefree equilibrium \(Q_0\) is locally asymptotically stable if \(\mathcal {R}_c<1\) but unstable provided that \(\mathcal {R}_c>1\).
Theorem 3.2
If \({\mathcal {R}}_c\le 1\), \(Q_0\) is globally asymptotically stable in \(\widetilde{\Xi }\).
Proof
Take the candidate Lyapunov function \(\mathbf {V}(t)=E+(d+\varepsilon +\eta )I/\varepsilon \). A direct deduction from (2.4) gives \(\varphi '(I)\le \varphi (I)/I\), which indicates \(\varphi (I)/I\) is monotonously nonincreasing for \(I>0\), so
Along the solutions of model (2.2), the time derivative of \(\mathbf {V}(t)\) can be calculated as
Consequently, it can be deduced from the LaSalle’s Invariance Principle [40] and local stability of \(Q_0\) that it is globally asymptotical stability in \(\widetilde{\Xi }\) when \({\mathcal {R}}_c\le 1\). \(\square \)
Existence of endemic equilibrium
Theorem 3.3
Model (2.2) has a unique endemic equilibrium \(Q_*\) iff \(\mathcal {R}_c>1\).
Proof
For model (2.2), the coordinates of positive equilibrium are determined by
For ease of notation, let us denote \(\ell _1:=(d+\tau )(d+\varepsilon +\eta )/\varepsilon \), \(\ell _2:=[(d+\tau )(d+\varepsilon +\eta +\delta )+\varepsilon \delta ]/[\varepsilon (d+\delta )]\). Utilizing the third equation of (3.2) gives \(E=(d+\tau )I/\varepsilon \). Adding its first two equations and utilizing its last equation, one further respectively arrives at
Eliminating V in (3.3) results in \(S=S_0\ell _2I\). Note that \(S\ge 0\), then \(I\le S_0/\ell _2\). By the second equation of (3.2), we further derive that
Inspired by the idea in [41], the existence and the uniqueness of positive solution to equation (3.4) are discussed in the following three steps.

Step 1 Now we are ready to demonstrate the existence of the positive solution for \(\mathcal {R}_c>1\). In fact, from \(\Phi '(I)=\alpha \ell _2(S_0\ell _2I)^{\alpha 1}\varphi (I)+(S_0\ell _2I)^\alpha \varphi '(I)\ell _1\), thanks to \(\varphi (0)=0\), then \(\Phi '(0)=\lim _{I\rightarrow 0^+}S^\alpha _0\varphi '(I)\ell _1=\ell _1(\mathcal {R}_c1)\) can be attained. Provided that \(\mathcal {R}_c>1\), it can be easily deduced that \(\Phi (I)>0\) holds true when I is sufficiently small since \(\Phi '(0)>0\), \(\Phi (0)=0\) and \(\Phi (S_0/\ell _2)<0\). This amounts to the existence of at least one positive solution to equation (3.4), denoted by \(I_*\).

Step 2 It can be verified that the positive solution \(I_*\) is unique when \(\mathcal {R}_c>1\). Without loss of generality, assume that there exists another positive root which is nearest to \(I_*\), denoted by \(I^\dagger \), then \(\Phi '(I^\dagger )\ge 0\) follows from the continuity of \(\Phi (I)\). Using (2.4) further leads to
$$\begin{aligned} \begin{array}{lll} \displaystyle \Phi '(I^\dagger )=(S^\dagger )^\alpha \varphi '(I^\dagger )\alpha \ell _2(S^\dagger )^{\alpha 1}\varphi (I^\dagger )(S^\dagger )^\alpha \varphi (I^\dagger )/I^\dagger <0. \end{array} \end{aligned}$$(3.5)A contradiction is attained and the uniqueness of \(I_*\) is validated.

Step 3 In the end, we shall the nonexistence of positive root to (3.4) in the case of \(\mathcal {R}_c\le 1\) with reductio ad absurdum. Let us take its smallest positive root \(I_+\), then it certainly satisfies \(\Phi '(I_+)<0\) according to (3.5). Recall that \(\Phi (0)=0\) and \(\Phi '(0)\le 0\), thus \(\Phi (I)\le 0\) is true when I is small enough. Namely, the continuous function \(\Phi (I)\) increases from the nonpositive value to 0, which implies \(\Phi '(I_+)\ge 0\), resulting in a contradiction. Hence, we draw a conclusion from Steps 13 that model (2.2) admits a unique endemic equilibrium \(Q_*\!=\!(S_{*},E_{*},I_{*},V_{*})\) if and only if \(\mathcal {R}_c>1\), where \(S_{*}\), \(E_{*}\), \(V_{*}\) can be determined uniquely according the results obtained above. \(\square \)
Local stability of endemic equilibrium
Theorem 3.4
The endemic equilibrium \(Q_*\) is locally asymptotically stable iff \(\mathcal {R}_c>1\).
Proof
The Jacobian matrix of model (2.2) reads
so the characteristic equation at \(Q_*\) is evaluated as
Apparently, \(\chi _1=d<0\). With regard to the remaining eigenvalues of the equation
the following 2 cases need discussing.
Case I\(\varphi '(I_*)>0\). One asserts that all eigenvalues of Eq. (3.8) possess negative real parts. Otherwise, there at least is one eigenvalue \(\tilde{\chi }\) satisfying \(Re \tilde{\chi }\ge 0\). One derives from (3.8) and \(\varphi '(I_*)\le \varphi (I_*)/I_*\) that
generating a contradiction. So each eigenvalue \(\chi \) of (3.7) meets \(Re \chi <0\).
Case II\(\varphi '(I_*)\le 0\). Equation (3.8) can be recast as \(\chi ^3+H_1\chi ^2+H_2\chi +H_3=0\), where
and \(h_1=d+\tau \), \(h_2=d+\varepsilon +\eta \), \(h_3=d+\delta +\alpha S^{\alpha 1}_*\varphi (I_*)\), \(h_4=d+\tau +\varepsilon \), \(h_5=d+\delta \). According to the RouthHurwitz stability criterion, the necessary and sufficient conditions for the stability of the \(Q_*\) are (i): \(H_i>0\), \(i=1,2,3\); (ii): \(H_1H_2H_3>0\). Obviously, (i) holds since \(h_i>0\). And (ii) can be guaranteed by virtue of
Synthesizing Cases I and II yields that \(Q_*\) is locally asymptotically stable iff \(\mathcal {R}_c> 1\).
\(\square \)
Global stability of endemic equilibrium
Ultimately, a new geometric criterion for autonomous differential equations generalized by Lu and Lu [14] is utilized to study the endemic equilibrium for model (2.2) in the interior \(\mathring{\widetilde{\Xi }}\) of the feasible region \(\widetilde{\Xi }\). To this end, we consider a differential function \(f(x): \Omega \rightarrow \mathbb {R}^n\), where \(\Omega \subset \mathbb {R}^n\) is a simply connected open set. For the dynamical system
let us denote its solution by \(x(t,x_0)\), satisfying \(x(0,x_0)=x_0\), and its equilibrium by \(x_\star \). Consider that system (3.10) has a \(nk\) dimensional invariant manifold \(\Theta =\{x\in \mathbb {R}^n\mathcal {N}(x)=0\}\), where \(\mathcal {N}(x)\in C^2: \Omega \rightarrow \mathbb {R}^n\), with \(\dim (\partial \mathcal {N}/\partial x)=k\) if \(\mathcal {N}(x)=0\). Following [16], one defines a real function \(\nu (x)=tr(\mathcal {M}(x))\) on \(\Theta \), where \(\mathcal {M}(x)\) stands for a continuous \(k\times k\) dimensional matrixvalued function determined by \(\mathcal {N}_f(x)=(\partial \mathcal {N}/\partial x)\cdot f(x)=\mathcal {N}(x)\cdot \mathcal {M}(x)\).
Meanwhile, one assumes that
(H1) \(\Theta \) is simply connected, and a compact absorbing set U is such that \(U\subset \Omega \subset \Theta \).
(H2) The equilibrium \(x_\star \) is unique in \(\Theta \).
Lemma 3.2
(seeing Theorem 2.6 in [14]) The equilibrium \(x_\star \) of (3.10) is globally asymptotically stable in \(\Theta \) when (H1)(H2) and the following condition (D) are satisfied.
(D) For the coefficient matrix \(C(x(0,x_0))\) of system (3.10), there exists a matrix M(t), a large enough positive constant \(\ell \) and positive ones \(l_1, l_2,\ldots , l_n>0\) such that
and
where \(c_{ij}(t)\) and \(m_{ij}\) stand for entries of matrices \(C(x(0,x_0))\) and M(t), respectively.
Before giving the proof of global stability of endemic equilibrium, we first recall that \(Q_0\) is unstable and \(Q_0\in \partial \widetilde{\Xi }\) when \(\mathcal {R}_c>1\), where \(\partial \widetilde{\Xi }\) stands for the boundary of \(\widetilde{\Xi }\), therefore the permanence of model (2.2) can be established.
Theorem 3.5
When \(\mathcal {R}_c>1\), model (2.2) is permanent in \(\mathring{\widetilde{\Xi }}\).
Now the main result on global stability of \(Q_*\) is stated and proved as follows.
Theorem 3.6
The endemic equilibrium is globally asymptotically stable in \(\mathring{\widetilde{\Xi }}\) iff \(\mathcal {R}_c>1\).
Proof
Taking advantages of the definition of the third additive compound matrix of the Jacobian matrix \(\mathbb {J}\) in [18], it is easy to obtain that
where \(\Delta =3d+\alpha S^{\alpha 1}\varphi (I)\).
Let us assign \(\mathcal {N}(x)=S+E+I+VA/d\) with \(x=(S,E,I,V)\in \mathbb {R}^4_+\). The invariant manifold for model (2.2) is governed by \(\Theta =\{x\in \mathbb {R}^4_+\mathcal {N}(x)=0\}\). Following [18], we can show that \(\nu (x)=tr(\mathcal {M}(x))=d\) and \(k=\text{ dim }(\partial \mathcal {N}/\partial x)=1\).
In the sequel, let \(P(x)=\text{ diag }\{\pi V,\alpha I,\alpha E,S\}\) and \(\mathbb {E}_{4\times 4}\) be the \(4\times 4\) identity matrix, where the constant \(\pi >0\) will be determined later. A little algebraic calculation leads to
where \(\mathcal {C}=\text{ diag }\{(2d+\alpha S^{\alpha 1}\varphi (I))+V'/V,(2d+\alpha S^{\alpha 1}\varphi (I))+I'/I,(2d+\alpha S^{\alpha 1}\varphi (I))+E'/E,2d+S'/S\}\).
Observe that model (2.2) can be rewritten as
We shall proceed by considering the following two cases.

Case I In the case of \(\alpha \ge 1\), one chooses \(\pi =1\). By (3.11) it can be revealed that
$$\begin{aligned} \begin{array}{lll} C_1(t) = \displaystyle c_{11}(t) + \!\sum ^4_{i=2}c_{ij}(t) &{} = \displaystyle (2d + \varepsilon +\tau +\eta +\alpha S^{\alpha 1}\varphi (I))+\frac{V'}{V}+\frac{\delta V}{S}\\ \ \ \ \ \ \ \ \ \ &{} = \displaystyle (2d + \varepsilon + \tau + \eta + \alpha S^{\alpha 1}\varphi (I)) + \frac{V'}{V} \\ &{}\quad + \bigg (\!\frac{S'}{S}  \frac{(1  p)A}{S} + S^{\alpha 1}\varphi (I) + d\bigg )\\ \ \ \ \ \ \ \ \ \ &{}\!\le \!\displaystyle \frac{S'}{S}+\frac{V'}{V}  \bigg (\!d+\varepsilon +\tau +\eta +\frac{(1p)A}{S_0}\!\bigg )\triangleq m_1(t). \end{array} \end{aligned}$$Recall that \(V\le V_0\) can ensure that \(d+\delta pA/V\le 0\) is true. Also, the permanence of (2.2) implies that there is a positive constant \(\mu _0\) such that \(\mu _0\le S,E,I,V\le A/d\). By virtue of (2.4), (3.11) and (3.13) one thus arrives at
$$\begin{aligned} \begin{array}{lll} C_2(t) &{} = \displaystyle c_{22}(t)+\sum _{i\ne 2}c_{ij}(t)\\ &{}=\displaystyle (2d+\varepsilon +\delta +\eta +\alpha S^{\alpha 1}\varphi (I))+\frac{I'}{I}+\frac{\alpha \tau I}{V}+\frac{S^\alpha I\varphi '(I)}{E}+\alpha S^{\alpha 1}I\varphi '(I)\\ &{}\le \displaystyle (2d + \varepsilon + \delta + \eta + \alpha S^{\alpha 1}\varphi (I)) + \frac{I'}{I} + \alpha \bigg (\!\frac{V'}{V}  \frac{pA}{V} + d \\ &{}\quad + \delta  \dfrac{\eta E}{V}\!\bigg ) + \dfrac{S^\alpha \varphi (I)}{E} + \alpha S^{\alpha 1}\varphi (I)\\ &{}\le \displaystyle (2d+\varepsilon +\delta +\eta +\alpha S^{\alpha 1}\varphi (I))+\frac{I'}{I}\\ &{}\quad +\displaystyle \alpha \bigg (\!\frac{V'}{V}  \frac{pA}{V}+d+\delta  \frac{\eta E}{V}\!\bigg )+\bigg (\!\frac{E'}{E}+d+\varepsilon +\eta \!\bigg )+\alpha S^{\alpha 1}\varphi (I)\\ &{}\le \displaystyle \frac{E'}{E}+\frac{I'}{I}+\alpha \frac{V'}{V}\bigg (\!d+\delta +\frac{\alpha \eta \mu _0}{V_0}\!\bigg )\triangleq m_2(t). \end{array} \end{aligned}$$Similarly, it can be inferred that
$$\begin{aligned}&\begin{array}{lll} C_3(t) &{}=  \displaystyle (2d + \tau + \delta + \alpha S^{\alpha  1}\varphi (I)) + \frac{E'}{E} + \frac{\alpha \eta E}{V} + \frac{\varepsilon E}{I}\le \displaystyle \frac{E'}{E} + \frac{I'}{I} + \alpha \frac{V'}{V} \\ {} &{}\quad  \bigg (\!d + \delta + \dfrac{\alpha \tau \mu _0}{V_0}\!\bigg )\!\triangleq \!m_3(t), \end{array} \\&\begin{array}{lll} C_4(t)=\displaystyle (2d+\varepsilon +\tau +\delta +\eta )+\frac{S'}{S}+\frac{S^\alpha \varphi (I)}{E}\le \displaystyle \frac{S'}{S}+\frac{E'}{E}  (d+\tau +\delta )\triangleq m_4(t). \end{array} \end{aligned}$$Taking the matrix \(M(t)=\text{ diag }\{m_1(t),m_2(t),m_3(t),m_4(t)\}\) in Lemma 4.3 results in
$$\begin{aligned} \begin{array}{lll} \displaystyle \lim _{t\rightarrow \infty }\frac{1}{t}\int ^t_0m_i(s)ds=m_i<0,\ \ i=1,2,3,4, \end{array} \end{aligned}$$where \(m_1=(d+\varepsilon +\tau +\eta +(1p)A/S_0)\), \(m_2=(d+\delta +\alpha \eta \mu _0/V_0)\), \(m_3=(d+\delta +\alpha \tau \mu _0/V_0)\), \(m_4=(d+\tau +\delta )\).

Case II In the case of \(0<\alpha <1\), one requires \(\pi =\alpha \). Using similar arguments with Case I yields
$$\begin{aligned} \begin{array}{lll} C_1(t) &{}=\displaystyle (2d+\varepsilon +\tau +\eta +\alpha S^{\alpha 1}\varphi (I))+\frac{V'}{V}+\frac{\alpha \delta V}{S}\\ &{}\le \displaystyle \alpha \frac{S'}{S}+\frac{V'}{V}  \bigg [(2\alpha )d+\varepsilon +\tau +\eta +\frac{(1p)A}{S_0}\bigg ]\triangleq \tilde{m}_1(t),\\ C_2(t) &{}=\displaystyle (2d+\varepsilon +\delta +\eta +\alpha S^{\alpha 1}\varphi (I))+\frac{I'}{I}+\frac{\tau I}{V}+\frac{S^\alpha I\varphi '(I)}{E}+\alpha S^{\alpha 1}I\varphi '(I)\\ &{}\le \displaystyle (2d + \varepsilon + \delta + \eta + \alpha S^{\alpha 1}\varphi (I)) + \frac{I'}{I}\\ {} &{}\quad +\bigg (\!\frac{V'}{V}  \frac{pA}{V} + d + \delta  \frac{\eta E}{V}\!\bigg ) + \frac{S^\alpha \varphi (I)}{E} + \alpha S^{\alpha 1}\varphi (I)\\ &{}\le \displaystyle \frac{E'}{E}+\frac{I'}{I}+\frac{V'}{V}\bigg (\!d+\delta +\frac{\eta \mu _0}{V_0}\!\bigg )\triangleq \tilde{m}_2(t),\\ C_3(t) &{}=\displaystyle (2d+\tau +\delta +\alpha S^{\alpha 1}\varphi (I))+\frac{E'}{E}+\frac{\eta E}{V}+\frac{\varepsilon E}{I}\\ &{}\le \displaystyle \frac{E'}{E}+\frac{I'}{I}+\frac{V'}{V}\bigg (\!d+\delta +\frac{\tau \mu _0}{V_0}\!\bigg )\triangleq \tilde{m}_3(t),\\ C_4(t) &{}=\displaystyle (2d+\varepsilon +\tau +\delta +\eta )+\frac{S'}{S}+\frac{S^\alpha \varphi (I)}{E}\\ &{}\le \displaystyle \frac{S'}{S}+\frac{E'}{E}  (d+\tau +\delta )\triangleq \tilde{m}_4(t). \end{array} \end{aligned}$$Thus, the matrix M(t) in Lemma 3.2 is governed by \(M(t)=\text{ diag }\{\tilde{m}_1(t),\tilde{m}_2(t),\tilde{m}_3(t),\tilde{m}_4(t)\}\). It is straightforward to check that when \(0<\alpha <1\),
$$\begin{aligned} \begin{array}{lll} \displaystyle \lim _{t\rightarrow \infty }\frac{1}{t}\int ^t_0\tilde{c}_i(s)ds=\tilde{m}_i<0,\ \ i=1,2,3,4, \end{array} \end{aligned}$$where \(\tilde{m}_1=[(2\alpha )d+\varepsilon +\tau +\eta +(1p)A/S_0]\), \(\tilde{m}_2=(d+\delta +\eta \mu _0/V_0)\), \(\tilde{m}_3=(d+\delta +\tau \mu _0/V_0)\), \(\tilde{m}_4=(d+\tau +\delta )\). Accordingly, putting Cases I and II together and employing Lemma 3.2 can lead to the globally asymptotical stability of \(Q_*\) in \(\mathring{\widetilde{\Xi }}\) for any \(\alpha >0\). \(\square \)
Optimal control problem
For the purpose of fighting against the epidemic of infectious diseases, it is necessary to adopt some control measures, including timely vaccination for newborns or susceptible population [26, 31,32,33,34,35], reduction in the disease transmission coefficient [21, 22, 26, 42] and treatment [20, 22, 26, 35]. By application of optimal control theory [29, 30], it is more practical to utilize the timevarying control intensities instead of constant intensity from the economical perspective, e.g., [20,21,22, 26, 31,32,33,34,35, 42]. Moreover, direct calculations reveal that the fraction of vaccinated newborns p, the treatment rate \(\tau \) have negative impacts on the control reproduction number \(\mathcal {R}_c\) and the disease transmission coefficient \(\beta \) has positive impact on it. In what follows, we thus apply model (2.2) incorporating three timedependent control measures to study effective strategies for diseases control: vaccination for newborns \(u_1(t)\), awareness campaigns aiming at reducing the disease transmission coefficient \(u_2(t)\) and antiviral treatment \(u_3(t)\), such that \(p\rightarrow p(1+u_1(t))\), \(\beta \rightarrow \beta (1u_2(t))\) and \(\tau \rightarrow \tau (1+u_3(t))\), and the state equations of the state variables S, E, I and V with associated control variables \(u_i(t)\) (denoted by \(u_i\), \(i=1,2,3\)) are described by
with nonnegative initial conditions, where we choose \(\rho =\alpha =1\) and \(\kappa =2\) for simplification.
It is reasonable to assume that the control variable triple \(u=(u_1, u_2, u_3)\!\in \mathcal {U}\) is bounded and measurable, namely, the control set \(\mathcal {U}\) reads
where T is the terminal control time and \(u_{i\max }\le 1\).
For the control system (4.1), the objective functional to minimize the numbers of exposed class E and infectious class I and the required control costs, is defined as
Here, \(\Psi _1\), \(\Psi _2\) and \(\phi _i\) (\(i=1,2,3\)) are weighted constants for exposed and infectious individuals and the relative costs of these three interventions \(u_1\), \(u_2\) and \(u_3\) over the interval [0, T], respectively. Hereinafter, we denote the integrand \(\mathcal {J}:=\Psi _1E+\Psi _2I+\!\sum ^3_{i=1}\phi _iu^2_i/2\). Therefore, our optimal control problem can be formulated as
Now, it is imperative to demonstrate the existence of solution for system (4.1). To this end, system (4.1) is recast into
Next, we shall show the existence of an optimal control to system (4.1).
Theorem 4.1
For the objective functional J(u) associated with system (4.1), there is an optimal control triple \(u^*=(u^*_1, u^*_2, u^*_3)\) such that \(J(u^*)=\min _{u\in \mathcal {U}} J(u)\).
Proof
According to Theorem 4.1 in Chapter III of [30], in order to examine the existence of the optimal control solution of system (4.1), it is sufficient to verify the following five assumptions:

(A1) The state variables S, E, I and V and the control set \(\mathcal {U}\) are nonempty;

(A2) \(\mathcal {U}\) is convex and closed;

(A3) \(\mathcal {G}_i\) (\(i=1,2,3,4\)) in system (4.1) are continuous, bounded above by a sum of the bounded control and the state, and can be expressed as a linear function on u with timedependent and statedependent coefficients;

(A4) The integrand \(\mathcal {J}\) is concave;

(A5) There are constants \(\kappa _1, \kappa _2>0\) and constant \(\ell >1\), s.t., \(\mathcal {J}(t,\xi ,u)\ge \kappa _1u^\ell \kappa _2\).
From the definition of \(\mathcal {U}\) and the boundary of u, it follows that \(\mathbf{(A1)}\) and \(\mathbf{(A2)}\) hold true. We proceed with checking \(\mathbf{(A3)}\). It can be derived that
Recalling that \(0<S\le S_0\), \(0<I\le A/d\) from Lemma 3.1, we can estimate that
where we also make use of
Let us denote \(\omega _1=d+2\beta (1u_2)\max \{1/(2\sqrt{\sigma }),A/d\}\), \(\omega _2=d+2\varepsilon +2\eta \), \(\omega _3=d+2\tau (1+u_3)+2\beta (1u_2)S_0\max \{5/4,1+\sigma A^2/d^2\}\), \(\omega _4=d+2\delta \), and \(\omega =\max (\omega _1, \omega _2, \omega _3, \omega _4)\). As a consequence,
which suggests that (A3) is also true.
Let \(l\in (0,1)\) and u, \(v\in \mathcal {U}\), we have
so the integrand \(\mathcal {J}\) is concave, further (A4) is satisfied.
Lastly, it is easy to check that (A5) is valid since
In conclusion, there exists an optimal control \(u^*\) that can minimize J(u). \(\square \)
In what follows, we require the adjoint vector \(\lambda :=(\lambda _1, \lambda _2, \lambda _3, \lambda _4)\), then the Hamiltonian function for the optimal control problem (4.1)–(4.3) reads
From Pontryagin’s Maximum Principle [29], suppose that \((\xi ^*,u^*)\) is an optimal solution for the control problem (4.1)–(4.3), then there exists a nontrivial vector function \(\lambda \) such that
Applying the necessary conditions (4.6) to the Hamiltonian function \(\mathcal {H}\) in (4.5), by similar arguments in [20,21,22, 31, 33, 34] we can come to the conclusion as follows.
Theorem 4.2
For optimal control problem (4.1)(4.3), if \(\xi ^*\) is the optimal control with associated optimal control variable \(u^*\), then there exist adjoint variables \(\lambda _i\), satisfying
with the transversality conditions \(\lambda _i(T)=0\) (\(i=1,2,3,4\)). Meanwhile, the optimal control \(u^*=(u^*_1,u^*_2,u^*_3)\) is governed by
Numerical simulations
This section is devoted to exploring the numerical solution of the control problem (4.1)–(4.3) by forward and backward iteration algorithm (e.g., [26, 42]). Since model (2.2) incorporates vaccination for newborns, latency and temporary immunity, it may be applicable to utilize the parameter values of (2.2) related to hepatitis B to explore the effective control strategies for the disease, as shown in Table 1.
To demonstrate the approach of numerical simulations, we fix the terminal time of the control as \(T=40\) years and the initial condition \((S(0), E(0), I(0), V(0))=(290800,200,300,20)\), and take \(\Psi _1=500\), \(\Psi _2=1000\), \(\phi _1=0.001\), \(\tau _0=0.002\) and \(\tau _3=10\) according to the actual situation, where the costs of vaccination \(u_1\) and awareness campaigns by media alert and education \(u_2\) are far below that of antiviral treatment \(u_3\) for the chronic disease. In addition, currently it is difficult to vaccinate all newborns, reduce the transmission rate among population to zero, or significantly improve the cure rate for hepatitis B, so these three control measures are considered to possess the limited intensities \(u_{1\max }=0.1\), \(u_{2\max }=0.3\), \(u_{3\max }=0.4\). It should be mentioned that the maximal intensity \(u_{1\max }=0.1\) of vaccination for newborns is utilized in light of \(1p(1+u_1)>0\).
The following four different control strategies are proposed to compare the effects of the three measures \(u_1\), \(u_2\), \(u_3\) on the control of hepatitis B (seeing Figs. 1 and 2 for details):

Strategy I\(u_1\ne 0, u_2\ne 0, u_3\ne 0\). The control intensities of \(u_1\), \(u_2\), \(u_3\) are kept nonzero until the terminal time T, please see Fig. 2(a) and the red dashed lines in Fig. 1;

Strategy II\(u_1=0, u_2\ne 0, u_3\ne 0\). The measure \(u_1\) is not implemented, and the control intensities of \(u_2\), \(u_3\) remain nonzero during the control period T, see Fig. 2(b) and the blue lines in Fig. 1;

Strategy III\(u_2=0, u_1\ne 0, u_3\ne 0\). The control \(u_2\) is set to zero, and the control intensities of \(u_1\), \(u_3\) remain nonzero until the time T, seeing Fig. 2(c) and the red solid lines in Fig. 1;

Strategy IV\(u_3=0, u_1\ne 0, u_2\ne 0\). The control \(u_3\) is not conducted, and the control intensities of \(u_1\), \(u_2\) are kept nonzero during the period T, see Fig. 2(d) and the blacked dashed lines in Fig. 1.
At the same time, the simulation results of the case where none of the measures \(u_1\), \(u_2\), \(u_3\) is implemented (i.e., \(u_1=u_2=u_3=0\)) are also presented in Fig. 1 (seeing green solid lines). It can be seen from Fig. 1(a)–(d) that the epidemic will outbreak in this case. What’s more, Strategy I minimizes the numbers of both exposed and infectious individuals in the shortest time among all the four strategies. It follows from Fig. 2(a) that the measures \(u_1\), \(u_2\) are carried out at maximal intensities for much longer time than the measure \(u_3\), which may be attributed to the highest costs of the latter, and then they are gradually relaxed owing to the application of the optimal control.
On the other hand, it can be observed from Fig. 1(a)–(d) that there is a small difference in the effects on the numbers of the individuals in S, E, I and V classes between Strategies III and IV, which reveals the core role in mitigating the hepatitis B transmission since the vaccination is carried out almost over the whole control process for the both strategies (as shown in Fig. 2(c) and (d)).
Finally, compared Strategy I with Strategy II, corresponding to red dashed lines and blue lines in Fig. 1, we find that the vaccination \(u_1\) brings out fewer susceptible individuals and more individuals with immunity than \(u_2\) and \(u_3\). Meanwhile, it follows from Fig. 1(b)–(c) that Strategies I and II achieve almost the same levels of exposed and infectious individuals under nearly identical intensities of \(u_2\) and \(u_3\) during the control period, seeing Fig. 2(a) and (b). However, if awareness campaigns \(u_2\) are not carried out, antiviral treatment \(u_3\) will persist for the longer time by comparing Strategy II with Strategy III in Fig. 2(b) and (c), which would incur greater costs of treatment. It should be noticed that none of the control intensities for \(u_1\) and \(u_2\) can not be relaxed until the terminal time if \(u_3\) is not implemented by comparing Strategy I with Strategy IV, such that the optimal control strategy fails.
To sum up, it is of great necessity and importance to adopt these three measures at the same time to curb the hepatitis B epidemic. In details, vaccination for newborns \(u_1\) can maintain high level of population immunity, awareness campaigns by media alert and education \(u_2\) can sharply reduce the control costs, and antiviral treatment \(u_3\) is a requisite for the optimal control of hepatitis B transmission.
Concluding remarks
In this work, we proposed a novel nonlinear SEIVS epidemic model with latency, temporary immunity. By application of the new geometric criterion in [14], the model still maintains its global threshold dynamics characterized by the control reproduction number \(\mathcal {R}_c\) in spite of the introduction of vaccineinduced, diseaseacquired and natural immunities and general incidence rate \(\beta I^\rho S^\alpha /(1+\sigma I^\kappa )\), \(0<\rho \le 1\), \(0\le \kappa \le 2\).
It should be emphasized that the property \(I\varphi '(I)\le \varphi (I)\) in (2.4) of the infectious force function plays an indispensable role in achieving the global threshold dynamics of model (2.2), seeing the proof of Theorems 3.23.4 and 3.6. In model (2.1) of Cai and Li, the incidence rate \(\beta IS/h(I)\) (where h satisfies \(h(0)=1\), \(h'(I)\ge 0\)) was utilized to generalize the incidence rate \(\beta I^\rho S/(1+\sigma I^\kappa )\) [3]. However, global stability of the endemic equilibrium for model (2.1) is still an open question. In fact, let us assign \(\varphi (I)=\beta I/h(I)\). Making use of (2.4), we can derive that
Particularly, when \(\beta I/h(I)=\beta I^\rho /(1+\sigma I^\kappa )\), together with (6.1), the following condition ensuring the global threshold dynamics is obtained
Obviously, when \(0<\rho \le 1\), it can be found that \(0<\kappa \le 2\) can guarantee (6.1), corresponding to the infectious force function (2.3) considered in this work, so our study may effectively solve global stability of model (2.1). More particularly, suppose that \(\rho =\alpha =1\) and \(\eta =0\), model (2.2) reduces to model (2.1) with \(h(I)=1+\sigma I^\kappa \). From Theorem 3.6, an immediate consequence of global threshold stability of \(Q_*\) follows only if \(0<\kappa \le 2\). So we improve Theorem 2.1 and give a complete affirmative answer to the question in Section 2 (\(\kappa =1\)), what’s more, our globalstability results can be extended to model (2.1) with nonmonotone incidence rate measuring psychological effects (i.e., \(1<\kappa \le 2\)).
Additionally, it may be an alternative adopting a constant vaccination rate \(\upsilon \) in model (2.2) instead of vaccination for newborns pA for many vaccinepreventable infectious diseases, as pointed by Sahu and Dhar in [4]. With the classical geometric approach, [4] also concluded that the endemic equilibrium for an SVEIS model with partial temporary immunity and saturation incidence rate is global stable if the control reproduction number is greater than unit and two conditions are attached. Based on our analysis process in this work, the global threshold dynamics for model (2.2) with constant vaccination rate and the model in [4] can also be established via the new geometric criterion of [14].
Retrospectively, one of innovations in this contribution is to successfully resolve globalstability issues of the novel SEIVS epidemic model proposed and completely remove the unnecessary condition in Theorem 2.1 for global stability of the endemic equilibrium for model (2.1) with saturated incidence rate. We also obtained the sufficient conditions of the endemic equilibrium for the model with general nonlinear incidence rate \(\beta I/h(I)\). Another innovation lies in exploring the corresponding optimal control system with vaccination, awareness campaigns and antiviral treatment, four different control strategies were numerically simulated and compared. It was concluded that joint implementation of these three measures, minimizing the numbers of both exposed and infectious individuals in the shortest time, is the most costeffective in mitigating the hepatitis B epidemic, and vaccination for newborns plays the core role and maintains the high level of population immunity. Moreover, awareness campaigns sharply reduce the control costs and antiviral treatment is a requisite for optimal control of hepatitis B transmission.
There are still several limitations in our study. First of all, owing to the complexity the nonlinear incidence rate \(\beta I^\rho S^\alpha /(1+\sigma I^\kappa )\), this work only established global dynamics of model (2.2) when \(0<\rho \le 1\), \(0\le \kappa \le 2\). In case of \(\rho >1\) and \(\kappa =0\), according to [47], we can guess that our SEIVS model with the incidence \(\beta I^\rho S\) admits two, one or no endemic equilibria, so the model may exhibit backward bifurcation and Hopf bifurcation, however, more advanced research methods and more careful analysis are needed. For the more general case where \(\rho >1\) and \(\kappa \ge 0\), the SEIVS model may present more complex dynamics. Another limitation of this work is that we only formulated the SEIVS model of ordinary differential equations (ODEs). However, in order to capture the memory effects of immunity, learning mechanism of awareness campaigns, heredity of life process, etc., some recent works have already developed the epidemic models governed by fractional order differential equations (FODEs), which can be modelled by the classical Caputo’s fractional derivative [19] and the modified RiemannLiouville derivative [48,49,50]. We will construct the fractional order epidemic model with temporary immunity and nonlinear incidence rate and investigate its numerical solution by application of some efficient algorithms, such as the fractional homotopy perturbation method [48, 50,51,52,53,54,55], the fractional variational iteration method [49] and Auxiliary Laplace Parameter Method [56]. These are interesting and valuable study topics in our future efforts.
References
 1.
Krämer, A., Kretzschmar, M., Krickeberg, K.: Modern infectious disease epidemiology: concepts, methods, mathematical models, and public health. Springer, Berlin, Germany (2010)
 2.
WHO, Immunization coverage, 2020. Available from: https://www.who.int/newsroom/factsheets/detail/immunizationcoverage Accessed 7 December 2020
 3.
Cai, L.M., Li, X.Z.: Analysis of a SEIV epidemic model with a nonlinear incidence rate. Appl. Math. Model. 33(7), 2919–2926 (2009)
 4.
Sahu, G.P., Dhar, J.: Analysis of an SVEIS epidemic model with partial temporary immunity and saturation incidence rate. Appl. Math. Model. 36(3), 908–923 (2012)
 5.
Cai, L.M., Li, Z.Q., Song, X.Y.: Global analysis of an epidemic model with vaccination. J. Appl. Math. Comput. 57(1), 605–628 (2018)
 6.
Lahrouz, A., Omari, L., Kiouach, D., Belmaâtic, A.: Complete global stability for an SIRS epidemic model with generalized nonlinear incidence and vaccination. Appl. Math. Comput. 218(11), 6519–6525 (2012)
 7.
Li, T., Zhang, F.Q., Liu, H.W., Chen, Y.M.: Threshold dynamics of an SIRS model with nonlinear incidence rate and transfer from infectious to susceptible. Appl. Math. Lett. 70, 52–57 (2017)
 8.
Liu, W.M., Levin, S.A., Iwasa, Y.: Influence of nonlinear incidence rates upon the behavior of SIRS epidemiological models. J. Math. Biol. 23(2), 187–204 (1986)
 9.
Lu, M., Huang, J.C., Ruan, S.G., Yu, P.: Bifurcation analysis of an SIRS epidemic model with a generalized nonmonotone and saturated incidence rate. J. Differ. Equ. 267(3), 1859–1898 (2019)
 10.
Capasso, V., Serio, G.: A generalization of the Kermack–McKendrick deterministic epidemic model. Math. Biosci. 42, 43–61 (1978)
 11.
Xiao, D.M., Ruan, S.G.: Global analysis of an epidemic model with a nonlinear incidence rate. Math. Biosci. 208(2), 419–429 (2007)
 12.
Khan, M.A., Ullah, S., Khan, Y., Farhan, M.A.: Modeling and scientific computing for the transmission dynamics of avian influenza with halfsaturated incidence. Int. J. Model Simul. Sci. Comput. 11(4), 2050035 (2020)
 13.
Anderson, R.M., May, R.M.: Infectious diseases of humans: dynamics and control. Oxford University Press, London (1991)
 14.
Lu, G.C., Lu, Z.Y.: Geometric approach to global asymptotic stability for the SEIRS models in epidemiology. Nonlinear Anal. Real World Appl. 36, 20–43 (2017)
 15.
Lu, G.C., Lu, Z.Y.: Global asymptotic stability for the SEIRS models with varying total population size. Math. Biosci. 296, 17–25 (2018)
 16.
Li, M.Y., Muldowney, J.S.: A geometric approach to the globalstability problems. SIAM J. Math. Anal. 27(4), 1070–1083 (1996)
 17.
Li, M.Y., Graef, J.R., Wang, L.C., Karsai, J.: Global dynamics of a SEIR model with varying total population size. Math. Biosci. 160, 191–213 (1999)
 18.
Li, M.Y., Muldowney, J.S.: Dynamics of differential equations on invariant manifolds. J. Differ. Equ. 168, 295–320 (2000)
 19.
Doungmo Goufo, E.F., Khan, Y., Chaudhry, Q.A.: HIV and shifting epicenters for COVID19, an alert for some countries. Chaos Solitons Fractals 139, 110030 (2020)
 20.
Khan, M.A., Khan, Y., Islam, S.: Complex dynamics of an SEIR epidemic model with saturated incidence rate and treatment. Phys. A 493, 210–227 (2018)
 21.
Khan, M.A., Khan, R., Khan, Y., Islam, S.: A mathematical analysis of Pine Wilt disease with variable population size and optimal control strategies. Chaos Solitons Fractals 108, 205–207 (2018)
 22.
Khan, M.A., Iqbal, N., Khan, Y., Alzahrani, E.: A biological mathematical model of vectorhost disease with saturated treatment function and optimal control strategies. Math. Biosci. Eng. 17(4), 3972–3997 (2020)
 23.
Arino, J., Cooke, K.L., van den Driessche, P., VelascoHernndez, J.: An epidemiology model that includes a leaky vaccine with a general waning function. Discrete Cont. Dyn. Syst. Ser. B 4(2), 479–495 (2004)
 24.
Huo, J.J., Zhao, H.Y., Zhu, L.H.: The effect of vaccines on backward bifurcation in a fractional order HIV model. Nonlinear Anal. Real World Appl. 26, 289–305 (2015)
 25.
WHO: Global tuberculosis report 2020, (2020). Available from: https://www.who.int/publications/i/item/9789240013131 Accessed 7 December 2020
 26.
Wang, L.W., Liu, Z.J., Xu, D.S., Zhang, X.A.: Global dynamics and optimal control of an influenza model with vaccination, media coverage and treatment. Int. J. Biomath. 10, 1750068 (2017)
 27.
GraberStiehl, I.: The silent epidemic killing more people than HIV, malaria or TB. Nature 564(7734), 24–26 (2018)
 28.
Lazarus, J.V., Picchio, C., Dillon, J.F., Rockstroh, J.K., Weis, N., Buti, M.: Too many people with viral hepatitis are diagnosed latewith dire consequences. Nat. Rev. Gastroenterol Hepatol 16, 451–452 (2019)
 29.
Pontryagin, L., Boltyanskii, V., Gramkrelidze, R., Mischenko, E.: The mathematical theory of optimal processes. Wiley, New York (1962)
 30.
Fleming, W.H., Rishel, R.W.: Deterministic and stochastic optimal control. Springer, Berlin (1975)
 31.
Pang, L.Y., Ruan, S.G., Liu, S.H., Zhao, Z., Zhang, X.A.: Transmission dynamics and optimal control of measles epidemics. Appl. Math. Comput. 256, 131–147 (2015)
 32.
Wang, X.W., Peng, H.J., Shi, B.Y., Jiang, D.H., Zhang, S., Chen, B.S.: Optimal vaccination strategy of a constrained timevarying SEIR epidemic model. Commun. Nonlinear Sci. Numer. Simul. 67, 37–48 (2019)
 33.
Yang, J.Y., Modnak, C., Wang, J.: Dynamical analysis and optimal control simulation for an agestructured cholera transmission model. J. Franklin. I 356, 8438–8467 (2019)
 34.
Lv, W., Ke, Q., Li, K.Z.: Dynamic stability of an SIVS epidemic model with imperfect vaccination on scalefree networks and its control strategy. J. Franklin. I 357, 7092–7121 (2020)
 35.
Djidjou Demasse, R., Tewa, J.J., Bowong, S., Emvudu, Y.: Optimal control for an agestructured model for the transmission of hepatitis B. J. Math. Biol. 73(2), 305–333 (2016)
 36.
Melesse, D.Y., Gumel, A.B.: Global asymptotic properties of an SEIRS model with multiple infectious stages. J. Math. Anal. Appl. 366, 202–217 (2010)
 37.
Khan, M.A., Khan, Y., Khan, T.W.: Dynamical system of a SEIQV epidemic model with nonlinear generalized incidence rate arising in biology. Int. J. Biomath. 10(7), 1750096 (2017)
 38.
Liu, J.L., Zhang, T.L.: Global stability for a tuberculosis model. Math. Comput. Model. 54, 836–845 (2011)
 39.
van den Driessche, P., Watmough, J.: Reproduction numbers and subthreshold endemic equilibria for compartmental models of disease transmission. Math. Biosci. 180, 29–48 (2002)
 40.
LaSalle, J.P.: The stability of dynamical systems, in: regional conference series in Applied Mathematics. SIAM, Philadephia (1976)
 41.
Tian, Y.N., Liu, X.N.: Global dynamics of a virus dynamical model with general incidence rate and cure rate. Nonlinear Anal. Real World Appl. 16, 17–26 (2014)
 42.
Bi, K.M., Chen, Y.Y., Wu, C.H.J., BenArieh, D.: A memetic algorithm for solving optimal control problems of Zika virus epidemic with equilibriums and backward bifurcation analysis. Commun. Nonlinear Sci. Numer. Simul. 84, 105176 (2020)
 43.
World Health Statistics 2020 visual summary. Available from: https://www.who.int/data/gho/whs2020visualsummary Accessed 7 December 2020
 44.
Pang, J., Cui, J.A., Zhou, X.: Dynamical behavior of a hepatitis B virus transmission model with vaccination. J. Theor. Biol. 265(4), 572–578 (2010)
 45.
Edmunds, W.J., Medley, G.F., Nokes, D.J.: The transmission dynamics and control of hepatitis B virus in the Gambia. Stat. Med. 15, 2215–2233 (1996)
 46.
Zou, L., Zhang, W.N., Ruan, S.G.: Modeling the transmission dynamics and control of hepatitis B virus in China. J. Theor. Biol. 262, 330–338 (2010)
 47.
Liu, W.M., Hethcote, H.W., Levin, S.A.: Dynamical behavior of epidemiological models with nonlinear incidence rates. J. Math. Biol. 25, 359–380 (1987)
 48.
Khan, Y., Faraz, N., Kumar, S., Yildirim, A.: A coupling method of homotopy perturbation and laplace transformation for fractional models. U.P.B. Sci. Bull. Series A 74(1), 57–68 (2012)
 49.
Khan, Y., Faraz, N., Yildirim, A., Wu, Q.B.: Fractional variational iteration method for fractional initialboundary value problems arising in the application of nonlinear science. Comput. Math. Appl. 62, 2273–2278 (2011)
 50.
Khan, Y., Wu, Q.B., Faraz, N., Yildirim, A., Madanie, M.: A new fractional analytical approach via a modified RiemannLiouville derivative. Appl. Math. Lett. 25, 1340–1346 (2012)
 51.
Khan, Y., Latifizadeh, H.: Application of new optimal homotopy perturbation and adomian decomposition methods to the MHD nonNewtonian fluid flow over a stretching sheet. Int. J. Numer. Method H. 24, 124–136 (2012)
 52.
Khan, Y.: A method for solving nonlinear timedependent drainage model. Neural Comput. Appl. 23, 411–415 (2013)
 53.
Khan, Y., VázquezLeal, H., Wu, Q.: An efficient iterated method for mathematical biology model. Neural Comput. Appl. 23, 677–682 (2013)
 54.
Khan, Y., Wu, Q.B.: Homotopy perturbation transform method for nonlinear equations using He’s polynomials. Comput. Math. Appl. 61, 1963–1967 (2011)
 55.
Khan, Y.: Twodimensional boundary layer flow of chemical reaction MHD fluid over a shrinking sheet with suction and injection. J. Aerosp. Eng. Trans. ASCE 27, 04014019 (2014)
 56.
Khan, Y., VázquezLeal, H., Faraz, N.: An auxiliary parameter method using adomian polynomials and laplace transformation for nonlinear differential equations. Appl. Math. Model. 37, 2702–2708 (2013)
Acknowledgements
The work is supported by Natural Science Foundation of Hubei Province (Nos. 2019CFB241, 2019CFB773) and National Natural Science Foundation of China (Nos. 11871201,11961023).
Author information
Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Wang, X., Liu, Z., Wang, L. et al. An application of a novel geometric criterion to globalstability problems of a nonlinear SEIVS epidemic model. J. Appl. Math. Comput. (2021). https://doi.org/10.1007/s12190020014875
Received:
Revised:
Accepted:
Published:
Keywords
 SEIVS model
 Nonlinear incidence rate
 Global threshold stability
 Temporary immunity
 LiMuldowney geometric approach
 Optimal control