On computer-assisted proving the existence of periodic and bounded orbits
Journal Title: Annales Mathematicae Silesianae - Year 2015, Vol 29, Issue
Abstract
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.
Authors and Affiliations
Roman Srzednicki
Keywords
Related Articles
- EP ID EP230389
- DOI 10.1515/amsil-2015-0001
- Views 166
- Downloads 0
An infinite natural product
We study a countably infinite iteration of the natural product between ordinals. We present an “effective” way to compute this countable natural product; in the non trivial cases the result depends only on the natural su...
Some problems in the Calculus of Variations
We present some results and open problems in the Calculus of Variations.
The behaviour of weak solutions of boundary value problems for linear elliptic second order equations in unbounded cone-like domains
We investigate the behaviour of weak solutions of boundary value problems (Dirichlet, Neumann, Robin and mixed) for linear elliptic divergence second order equations in domains extending to infinity along a cone. We find...
On the continuous dependence of solutions to orthogonal additivity problem on given functions
We show that the solution to the orthogonal additivity problem in real inner product spaces depends continuously on the given function and provide an application of this fact.
Mathematical challenges in the theory of chemotaxis
We consider the simplest parabolic-elliptic model of chemotaxisin the whole space and in several space dimensions. Criteria either for theexistence of radial global-in-time solutions or their blowup in terms of suitable...