A planar periodic orbit, oriented by the flow, has Poincare index . The index theorem equates this with the sum of the indices of the isolated equilibria enclosed by the orbit. A hyperbolic equilibrium has index when its Jacobian matrix has positive determinant and index when it is a saddle equilibrium.
An interior equilibrium point of a dynamical system must satisfy
If , the unique candidate is
It belongs to precisely in either of the two cases
At this equilibrium the Jacobian matrix has determinant
In the first region the equilibrium has Poincare index , so index considerations alone do not rule out a periodic orbit. In the second region it is a saddle equilibrium of index . Everywhere else there is no interior equilibrium, except at , where the segment consists of equilibria.
Every simple closed curve in the convex set bounds a region contained in . A periodic orbit has index , equal to the sum of the indices of the equilibria that it encloses. Thus a region with no equilibrium has total index zero, while the region with the single saddle has total index ; both contradict the index of a planar periodic orbit. At , a periodic orbit cannot cross the equilibrium segment and must lie in one of its two complementary convex regions, where it encloses no equilibrium, giving the same contradiction. Therefore index considerations exclude periodic orbits except possibly when
A simply connected region containing no equilibrium, or containing equilibria whose total Poincare index is not , cannot contain a periodic orbit that encloses exactly those equilibria.