Ejercicio :
Determinar la estabilidad de $O(0,0)$ para el sistema de ecuaciones diferenciales: $$x' = -x + y + x^2 + ax^3$$ $$y' = x - y + x^2 + bxy + y^3$$
Discusión :
Encontrar la matriz del sistema linealizado (el Jacobiano), obtenemos :
$$J(x,y) = \begin{bmatrix} -1 + 2x + 3ax^2 &1 \\ 1 + 2x + by& -1 + bx +3y^2 \end{bmatrix}$$
y la matriz en $O(0,0)$ es :
$$J(0,0) = \begin{bmatrix} -1 & 1 \\ 1 & -1\end{bmatrix}$$
Encontrar los autovalores de la matriz a proceder con la determinación de su estabilidad, obtenemos :
$$\det(J(0,0)-λI) = 0 \Rightarrow\dots \Rightarrow λ(λ+2) = 0 \Leftrightarrowλ=-2 \space \text{or} \space λ =0$$
Mi pregunta es, ¿cómo proceder en el caso de un autovalor cero, lo que significa que $λ_1 \cdot λ_2 = 0$ ?
Yo sé una manera de eludir este tema es el de convertir a coordenadas polares, que se puede hacer bastante sencilla pero que no llevan a ninguna parte claro en este ejemplo concreto.
El sistema también puede ser resuelto por lo que no se pueden trabajar libremente por este camino (obviamente).
Por último, he descubierto 1-2 teoremas de trabajo sobre el teorema de la función implícita para probar un caso fuerte a través de ella, pero incluyen la hipótesis y la asistencia de la función que es un desastre total.
Realmente agradecería la ayuda de nadie sobre cómo proceder en estos problemas donde estamos atascados con un autovalor cero.