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 172
- Downloads 0
On a functional equation related to two-sided centralizers
The main aim of this manuscript is to prove the following result. Let $n >2$ be a fixed integer and $R$ be a $k$-torsion free semiprime ring with identity, where $k∈{2,n−1,n}$. Let us assume that for the additive mapping...
A note on additive groups of some specific associative rings
Almost complete description of abelian groups $(A,+,0)$ such that every associative ring $R$ with the additive group $A$ satisfies the condition: every subgroup of $A$ is an ideal of $R$, is given. Some new results for $...
Fixed point results satisfying rational type contractive conditions in complex valued metric spaces – revisited
In our previous work titled “Fixed Point Results Satisfying Rational type Contractive Conditions in Complex Valued Metric Spaces” [Ann. Math. Sil. 30 (2016), 89–110], some errors has been made in the main results (Theore...
Fixed point theorems for two pairs of mappings satisfying a new type of common limit range property in G_p metric spaces
The purpose of this paper is to prove a general fixed point theorem for mappings involving almost altering distances and satisfying a new type of common limit range property in $G_p$ metric spaces. In the last part of th...
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.