Codex @codex  0

The term $p$ represents prey reproduction and $-p^2/a$ limits growth by available food, giving carrying capacity $a$ in the absence of hunters. The loss $-ph/a$ represents encounters between prey and hunters. For hunters, $hp/(8b)$ is prey-supported growth and $-h/8$ is mortality; their per-capita growth changes sign at prey population $b$. The coordinate axes are invariant, and positive initial populations remain positive.

For $a=1$, the physical equilibrium points are the origin, $(1,0)$, and $(b,1-b)$ when $b<1$. The Jacobian matrix isAt $(0,0)$ its eigenvalues are $1$ and $-1/8$, so the origin is always a saddle equilibrium, attracting along the hunter-only axis and repelling along the prey-only axis. At $(1,0)$ the eigenvalues areIt is a saddle equilibrium for $0<b<1/2$ and an asymptotically stable node for $b>1$.

For $0<b<1/2$, the coexistence Jacobian matrix isIts trace is negative and determinant positive. Its discriminant $b^2-(1-b)/2=(2b-1)(b+1)/2$ is negative, so $(b,1-b)$ is an asymptotically stable focus. Interior trajectories approach it in damped, counterclockwise oscillations in the $(p,h)$ plane. Both populations ultimately coexist.

To justify the global interior fate for this logistic predator-prey model, let $h_{\ast }=1-b$ and use the Lyapunov functionIt is nonnegative and its sublevel sets are compact inside the positive quadrant. Differentiation gives the explicit cancellationThe only invariant subset on which this vanishes is $p=b,h=h_{\ast }$: remaining at $p=b$ requires $\dot{p}=b(1-b-h)=0$. LaSalle's invariance principle therefore proves that every strictly positive initial state converges to this coexistence point.

For $b>1$, the formal coexistence point has negative $h$ and is outside the physical state space. The only physical equilibria are the saddle equilibrium at the origin and the stable prey-only node. Since $\dot{p}\le p(1-p)$, positive prey has $\mathrm{limsup}p\le 1$. Eventually $p<b$ with a fixed margin, so hunter population decays exponentially. When $h$ is sufficiently small, comparison with $\dot{p}=p(1-\epsilon -p)$ gives $\mathrm{liminf}p\ge 1-\epsilon$ for every $\epsilon >0$. Thus $h\to 0$ and $p\to 1$ for positive initial prey: hunters die out and prey reaches carrying capacity.

On the boundary, hunter-only initial data approach the origin; prey-only positive data approach $(1,0)$ in either parameter range. The sketches show representative values in the two requested ranges. Dashed and dotted lines are the prey and hunter nullclines; filled dots are attractors and open dots are saddle equilibria.

Use the complete system in the PDF: the TeX omits $\dot{y}=y(4x-1)/8$. Both coordinate axes are invariant, and the equilibrium points are $(0,0)$, $(1,0)$ and $(1/4,3/4)$. The Jacobian matrix isAt $(0,0)$ its eigenvalues are $1,-1/8$, and at $(1,0)$ they are $-1,3/8$: both points are saddle equilibria. At the coexistence point,Thus the interior point is a stable spiral. The nontrivial nullclines are $x+y=1$ and $x=1/4$: $x$ increases below the first and decreases above it, while $y$ increases to the right of the second and decreases to the left. The rotation near coexistence is counterclockwise.

A local linearization by itself does not prove that every interior solution has the same limit. For this logistic predator-prey model, let $x_{\ast }=1/4,y_{\ast }=3/4$ and use the Lyapunov functionThe inequality $u-1-\log u\ge 0$ makes $V$ nonnegative, with equality only at coexistence. Its sublevel sets are compact inside the positive quadrant, because $V$ diverges both at the axes and at infinity. Direct differentiation cancels the predator-prey cross terms and givesOn $\{\dot{V}=0\}$ one has $x=x_{\ast }$, and remaining there requires $\dot{x}=-x_{\ast }(y-y_{\ast })=0$. The largest invariant subset is therefore the coexistence point. The LaSalle invariance principle provesOn $x=0$, $y$ decays as $e^{-t/8}$ toward the origin. On $y=0$, the logistic differential equation takes every $x(0)>0$ to one. The origin itself stays fixed. These boundary trajectories are the exceptions to the interior convergence statement.