The nonlinear system: $\dot{x}_1 = \frac{5}{2}-2x_2-\frac{3}{2}x_1+x_2x_1$ and $\dot{x}_2 = x_1-1$.
How do I find the Lyapunov function of this system? Or how to determine the existence of such a function? I know there's an equilibrium point at $(1, 1)$ and it's stable. Does that indicate the existence of a Lyapunov function? Any answers or further discussion would be great.