1) Intégrale première et stabilité non linéaire
dtd(xy)=x′y+xy′=(2x2y)y+x(−2xy2)=2x2y2−2x2y2=0.
Donc xy=c est constant sur chaque orbite.
Sur une orbite xy=c : x′=2x2y=2x(xy)=2cx, d'où x(t)=x0e2ct. Si l'on part d'un point (x0,y0) proche de l'origine avec c=x0y0>0, alors x(t)=x0e2ct→∞ : la trajectoire quitte tout voisinage de l'origine.
(0,0) est instable (non Lyapunov-stable).
(Les axes {x=0} et {y=0} sont entiers formés de points d'équilibre ; les autres orbites sont des branches d'hyperboles xy=c.)
2) Système linéarisé
Jacobienne : J(x,y)=(4xy−2y22x2−4xy). En (0,0) :
J(0,0)=(0000).
Le linéarisé est X′=0 : les deux valeurs propres sont nulles, toute solution est constante. L'équilibre du linéarisé est stable au sens de Lyapunov mais non asymptotiquement stable, et l'analyse linéaire est non concluante : elle ne détecte pas l'instabilité réelle du système non linéaire mise en évidence en 1). C'est un cas où les termes non linéaires décident de la nature de l'équilibre.