Use the complete system in the PDF: the TeX omits . Both coordinate axes are invariant, and the equilibrium points are , and . The Jacobian matrix is
At its eigenvalues are , and at they are : both points are saddle equilibria. At the coexistence point,
Thus the interior point is a stable spiral. The nontrivial nullclines are and : increases below the first and decreases above it, while increases to the right of the second and decreases to the left. The rotation near coexistence is counterclockwise.
Figure 1.
Trajectories of a predator-prey system
.
A local linearization by itself does not prove that every interior solution has the same limit. For this logistic predator-prey model, let and use the Lyapunov function
The inequality makes nonnegative, with equality only at coexistence. Its sublevel sets are compact inside the positive quadrant, because diverges both at the axes and at infinity. Direct differentiation cancels the predator-prey cross terms and gives
On one has , and remaining there requires . The largest invariant subset is therefore the coexistence point. The LaSalle invariance principle proves
On , decays as toward the origin. On , the logistic differential equation takes every to one. The origin itself stays fixed. These boundary trajectories are the exceptions to the interior convergence statement.