Accesso libero

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

INFORMAZIONI SU QUESTO ARTICOLO

Cita

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
Lingua:
Inglese
Frequenza di pubblicazione:
2 volte all'anno
Argomenti della rivista:
Mathematics, General Mathematics