Исследовать методом функций Ляпунова устойчивость в целом

Исследуем устойчивость нелинейной системы методом функций Ляпунова. В качестве кандидата на функцию Ляпунова примем:
Vx=ax2-2x132+bx12
Эта функция является положительно определенной.
Производная по времени в силу заданных уравнений имеет вид:
Vx=2bx1x1+2ax2-2x13x2-6x12x1=
=2bx1x2-2x13+2ax2-2x13-x1-6x12x2-2x13=
=2bx1x2-4bx14-2ax2x1+4ax14-12ax12x2-2x132
Если принять а=1, b=1, то получим
Vx=x2-2x132+x12
Vx=-12x12x2-2x132
Таким образом, выбранная функция Ляпунова является положительно определенной, а ее производная по времени в силу заданных уравнений системы отрицательно определенной