On impulsive semidynamical systems (Q923181)

A triple \((X,\pi,{\mathbb{R}}_+)=(X,\pi)\) is said to be a semidynamical system if X is a metric space, \({\mathbb{R}}_+\) is the set of all non- negative reals, and \(\pi: X\times {\mathbb{R}}_+\to X\) is a continuous function such that: i) \(\pi (x,0)=x\) for all \(x\in X\), and ii) \(\pi (\pi (x,t),s)=\pi (x,t+s)\) for all \(x\in X\) and \(t,s\in {\mathbb{R}}_+.\) A quartet (X,\(\pi\) ;M,I) is said to be an impulsive semidynamical system if (X,\(\pi\)) is a semidynamical system together with a nonempty closed subset M of X and I: \(M\to X\) is a continuous function such that: (*) \(x\in M\), there exists \(\epsilon >0\) such that \(\pi\) (x,t)\(\not\in M\) for all t, \(0<| t| <\epsilon\). The paper isolates the ideas involved in the theory of impulsive differential equations and initiates the study of impulsive semidynamical systems. One of the main results is the following Theorem 1. Let \({\bar \pi}{}_ x\) be an infinite trajectory in (X,\(\pi\) ;M,I) and \(\limsup_{n\to \infty}x^+_ n=F=[y_ k:\) \(k=1,2,...,m\), \(1<m<\infty]\). Suppose that whenever \(x^+_{n_ k}\to y_ k\), \(\phi (x^+_{n_ k})\to \phi (y_ k)\) and \(\{x^+_ n\}\) is sequentially compact. Then, for any \(y\in F\), \({\bar \pi}{}_ y\) is periodic of order m and period \(\sum^{m}_{k=1}\phi (y_ k)\).