The article presents a new property of recurrent motions of dynamical systems. Within a compact metric space, this property establishes the relation between motions of general type and recurrent motions. Besides, this property establishes rather simple behaviour of recurrent motions, thus naturally corroborating the classical definition given in the monograph [V.V. Nemytskii, V.V. Stepanov. Qualitative Theory of Differential Equations. URSS Publ., Moscow, 2004 (In Russian)].
Actually, the above-stated new property of recurrent motions was announced, for the first time, in the earlier article by the same authors [A.P. Afanas’ev, S. M. Dzyuba. On recurrent trajectories, minimal sets, and quasiperoidic motions of dynamical systems // Differential Equations. 2005, v. 41, № 11, p. 1544–1549]. The very same article provides a short proof for the corresponding theorem. The proof in question turned out to be too schematic. Moreover, it (the proof) includes a range of obvious gaps.
Some time ago it was found that, on the basis of this new property, it is possible to show that within a compact metric space α- and ω-limit sets of each and every motion are minimal. Therefore, within a compact metric space each and every motion, which is positively (negatively) stable in the sense of Poisson, is recurrent.
Those results are of obvious significance. They clearly show the reason why, at present, there are no criteria for existence of non-recurrent motions stable in the sense of Poisson. Moreover, those results show the reason why the existing attempts of creating non-recurrent motions, stable in the sense of Poisson, on compact closed manifolds turned out to be futile. At least, there are no examples of such motions.
The key point of the new property of minimal sets is the stated new property of recurrent motions. That is why here, in our present article, we provide a full and detailed proof for that latter property.
For the first time, the results of the present study were reported on the 28th of January, 2020 at a seminar of Dobrushin Mathematic Laboratory at the Institute for Information Transmission Problems named after A. A. Kharkevich of the Russian Academy of Sciences.
Measure of minimal sets for certain discrete dynamical systems
