We announce a new result on determining the Conley index of the Poincaré map for a time-periodic non-autonomous ordinary differential equation. The index is computed using some singular cycles related to an index pair of a small-step discretization of the equation. We indicate how the result can be applied to computer-assisted proofs of the existence of bounded and periodic solutions. We provide also some comments on computer-assisted proving in dynamics.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
We construct a cohomological index of the Fuller type for set-valued flows in normed linear spaces satisfying the properties of existence, excision, additivity, homotopy and topological invariance. In particular, the constructed index detects periodic orbits and stationary points of set-valued dynamical systems, i.e., those generated by differential inclusions. The basic methods to calculate the index are also presented.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.