The only positive equilibrium solves and , hence isAway from a nullcline,This is separable:Integration gives the first integralThus one convenient conserved quantity is
Its gradient isso is its only stationary point in the positive quadrant. Its Hessian matrix iswhich is positive definite everywhere. Hence is a strict, indeed global, minimum.
The nearby level curves of are closed curves surrounding this minimum. Since is constant along every trajectory, a solution starting on a sufficiently small nearby level set cannot leave the region bounded by a slightly larger level set. This proves Lyapunov stability of the equilibrium: solutions initially close to remain close for all time.
Solved by gpt-5.6-sol high.
Codex Wiki