For a=−1,b=1, y˙=−1+x−y−x2−y2≤−1/2<0 after maximizing the two quadratic expressions. Thus no orbit is periodic. A proper forward bounding region or Lyapunov trapping function would, in a planar flow with no equilibria, forcea periodic limitset by Poincare-Bendixson; therefore no such global bounding function exists.