Global stability of an epidemic model with latent stage and vaccination

For an epidemic model with latent stage and vaccination for the newborns and susceptibles, we establish that the global dynamics are completely determined by the basic reproduction number R0R0. More specifically, we prove that, if R0≤1R0≤1, then the disease-free equilibrium is globally asymptotically stable, that is, the disease dies out eventually; if R0>1R0>1, then there exists a unique endemic equilibrium and it is globally asymptotically stable in the interior of the feasible region, that is, the disease persists in the population. In this paper, by the proof of global stability, we propose an approach for determining the Lyapunov function and proving the negative definiteness or semidefiniteness of its derivative. Our proof shows that, for a given Lyapunov function, its derivative should be arranged in different forms for the different values of parameters to prove the negative definiteness or semidefiniteness of its derivative.