On Computer-Assisted Proving The Existence Of Periodic And Bounded Orbits
Keyword(s):
AbstractWe 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.
2006 ◽
Vol 181
(1)
◽
pp. 536-542
◽
1982 ◽
Vol 92
(1-2)
◽
pp. 13-30
◽
2018 ◽
Vol 2018
(1)
◽
pp. 48-56
2018 ◽
Vol 6
(6)
◽
pp. 244-252
◽
2018 ◽
Vol 2020
(23)
◽
pp. 9440-9470
1997 ◽
Vol 127
(5)
◽
pp. 1075-1088
◽
Keyword(s):
2003 ◽
Vol 13
(05)
◽
pp. 1287-1298
◽
2017 ◽
Vol 17
(3)
◽
pp. 637-650
◽