Accès libre

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

À propos de cet article

Citez

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
Langue:
Anglais
Périodicité:
2 fois par an
Sujets de la revue:
Mathematics, General Mathematics