Estimates of size of cycle in a predator-prey system (Q2116183)

The paper deals with analytical estimates of the size of a limit cycle in the following version of the Rosenzweig-MacArthur predator-prey system \[ \frac{ds}{d\tau} = ((1 - s) (s + a) - x) s, \quad \frac{dx}{d\tau} = (s - \lambda) x, \] where \(s = s (\tau)\) and \(x = x (\tau)\) denote the prey and predator population, respectively. The authors consider the dynamics of this system assuming that parameters take values in the range \(a < 0.1\) and \(\lambda < 0.1\) which guarantees that all solutions tend to a unique limit cycle and prove estimates for the maximal and minimal predator and prey population densities of this cycle. The proof consists of constructions of several Lyapunov-type functions and derivation of a large number of non-trivial estimates.