Problem 3.6 in Khalil's Nonlinear Control: Use given Lypunov candidate function to prove that the origin is exponentially stable. The system is $$\dot{x}=\begin{bmatrix}x_2\\-h(x_1)-2x_2\end{bmatrix},\hspace{0.5cm}h(x_1)=x_1\left(2+\frac{x_1^2}{1+x_1^2}\right)$$ and the given Lyapunov candidate function is $$V(x)=\int_0^{x_1}h(s) ds+\frac{1}{2}\left(x_1+x_2\right)^2$$
To prove exponential stability, we need to find four positive constants, $k_1,k_2,k_3,a$, such that $$k_1\lVert x \rVert^a \le V(x) \le k_2\lVert x \rVert^a$$ and $$\dot{V}(x)\le -k_3\lVert x \rVert^a$$ We can write the Lyapunov function more explicitly as $$V(x)=\frac{3x_1^2}{2} + \frac{1}{2}\left(x_1+x_2\right)^2 - \frac{1}{2}\ln(1+x_1^2)$$ and its time derivative as $$\dot{V}(x)=-\left(\frac{x_1}{\sqrt{2}} + \frac{x_2}{\sqrt{2}}\right)^2 - \frac{3x_1^2}{2}-\frac{x_2^2}{2}-\frac{x_1^4}{1+x_1^2}$$ It is relatively clear that we can use $a=2$, and that there exists some $k_1,k_2,k_3$ that will hold. But how do we find suitable values for the $k_i$'s ?