Put . The system can be writtenIt therefore vanishes at the origin. The linearization there has eigenvaluesHence the origin is an asymptotically stable focus for and an unstable focus for .
When the linearization alone is inconclusive. Direct radial reduction giveswhich is positive for every sufficiently small . The origin is therefore unstable at as well, although trajectories leave it only at cubic order.
Solved by gpt-5.6-sol high.
Codex Wiki