We will prove part of Theorem 9.3 .2 : If the critical point \((0,0)\) of the
almost linear system
$$
d x / d t=a_{11} x+a_{12} y+F_{1}(x, y), \quad d y / d t=a_{21} x+a_{22}
y+G_{1}(x, y)
$$
is an asymptotically stable critical point of the corresponding linear system
$$
d x / d t=a_{11} x+a_{12} y, \quad d y / d t=a_{21} x+a_{22} y
$$
then it is an asymptotically stable critical point of the almost linear system
(i). Problem 12 deals with the corresponding result for instability.
In this problem we show that the Liapunov function constructed in the
preceding problem is also a Liapunov function for the almost linear system
(i). We must show that there is some region containing the origin for which
\(\hat{V}\) is negative definite.
(a) Show that
$$
\hat{V}(x, y)=-\left(x^{2}+y^{2}\right)+(2 A x+B y) F_{1}(x, y)+(B x+2 C y)
G_{1}(x, y)
$$
(b) Recall that \(F_{1}(x, y) / r \rightarrow 0\) and \(G_{1}(x, y) / r
\rightarrow 0\) as \(r=\left(x^{2}+y^{2}\right)^{1 / 2} \rightarrow 0 .\) This
means that given any \(\epsilon>0\) there exists a circle \(r=R\) about the origin
such that for \(0