Acceso abierto

On Computer-Assisted Proving The Existence Of Periodic And Bounded Orbits


Cite

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.

eISSN:
0860-2107
Idioma:
Inglés
Calendario de la edición:
2 veces al año
Temas de la revista:
Mathematics, General Mathematics