Improbability of wandering orbits passing through a sequence of Poincaré surfaces of decreasing size (Q1710986)

The paper deals with wandering orbits in a non-compact phase space of volume-conserving dynamical systems. Examples are given from celestial mechanics. The notion of a wandering set is defined in the introduction where the prerequisites are set. In Section 2 the dynamics is discretized and the transversality is discussed in Section 3. A crucial step in the proof of the main theorem is made in Section 4 by contradiction: ``if the set of wandering transition points had positive measure, then in one Poincaré surface we would find a compact subset whose intersection with the set of these points had positive area'', which happens by use of the Flow-Box theorem that is stated in the same section. Finally, in Section 5 the progression of the transition points between two Poincaré surfaces is studied. This again leads to a contradiction concerning the area being positive. In Section 6 the result is restated for a Kähler manifold and in Section 7 some applications and future steps are discussed.