A Lyapunov functional for a stage-structured predator–prey model with nonlinear predation rate

We consider the dynamics of a general stage-structured predator–prey model which generalizes several known predator–prey, SEIR, and virus dynamics models, assuming that the intrinsic growth rate of the prey, the predation rate, and the removal functions are given in an unspecified form. Using the Lyapunov method, we derive sufficient conditions for the local stability of the equilibria together with estimations of their respective domains of attraction, while observing that in several particular but important situations these conditions yield global stability results. The biological significance of these conditions is discussed and the existence of the positive steady state is also investigated.