Positive trapping construction for the Leslie-Gower model ($P=u{e}^{-v}$)

A rectangular upper bound $u,v\le M$, $M>1$, is inward pointing for the Leslie-Gower predator-prey model. To avoid the singular edge $u=0$, use $P=u{e}^{-v}$ and the inequality $\dot{P}/P\ge 1-u[1+(a/d+b{)}^2/(4b)]$, obtained by completing a square. Choose $\epsilon e^M$ sufficiently small and $0<\eta <\epsilon$. Then $u\le M$, $\eta \le v\le M$, $P\ge \epsilon$ is a compact forward-invariant set in the positive quadrant. Removing an outward-flow neighborhood of a repelling equilibrium leaves a trapping region without equilibria, so the Poincaré-Bendixson theorem yields a periodic omega-limit orbit.