For a general dynamical system, give the definitions of an invariant set,
attracting set and \(\omega \)-limit sets.
For the system \[ \dot {x}=x-y-x^3,\qquad \dot {y}=x+y-y^3, \] identify all critical points and their stability, and use the
Poincare-Bendixson theorem to show that this system has a periodic orbit
in the annular region \(1<x^2+y^2<2\).