Construction of Lyapunov functions for some models of infectious diseases in vivo: From simple models to complex models

We present a constructive method for Lyapunov functions for ordinary differential equation models of infectious diseases in vivo. We consider models derived from the Nowak-Bangham models. We construct Lyapunov functions for complex models using those of simpler models. Especially, we construct Lyapunov functions for models with an immune variable from those for models without an immune variable, a Lyapunov functions of a model with absorption effect from that for a model without absorption effect. We make the construction clear for Lyapunov functions proposed previously, and present new results with our method.