Limit sets and the Poincaré-Bendixson theorem in impulsive semidynamical systems (Q926866)

An impulsive semidynamical system \((X,\pi,\Omega, M,I)\) consists of a semidynamical system \(\pi: X\times\mathbb{R}^+\to X\) on a metric space \(X\), an open set \(\Omega\) in \(X\), a nonempty set \(M=\partial\Omega\) and a continuous function \(I: M\to\Omega\). The set \(M\) is called the impulsive set and \(I\) is called the impulse function. The impulsive trajectory \(\widetilde\pi(x,t)\) is obtained from \(\pi(x,t)\) and the action of \(I\); when \(\pi(x,t)\) hits \(M\), the motion continues at \(I(\pi(x,t))\). The corresponding impulsive limit set of \(x\in X\) is denoted by \(\widetilde L^+(x)\). The authors study mainly the case \(X= \mathbb{R}^2\) and prove, as their main result, that if \(\Omega\subseteq \mathbb{R}^2\) has the compact closure, \(x\in\Omega\), and \(\widetilde L^+(x)\) admits neither rest points nor initial points, then \(\widetilde L^+(x)\) is a periodic orbit.