No Arabic abstract
We present a computational study of a visualization method for invariant sets based on ergodic partition theory, first proposed in [1,2]. The algorithms for computation of the time averages of observables on phase space are developed and used to provide an approximation of the ergodic partition of the phase space. We term the graphical representation of this approximation - based on time averages of observables - a Mesochronic Plot (from Greek: textit{meso} - mean, textit{chronos} - time}. The method is useful for identifying low-dimensional projections (e.g. two-dimensional slices) of invariant structures in phase spaces of dimensionality bigger than two. We also introduce the concept of the ergodic quotient space, obtained by assigning a point to every ergodic set, and provide an embedding method whose graphical representation we call the Mesochronic Scatter Plot (MSP). We use the Chirikov standard map as a well-known and dynamically rich example in order to illustrate the implementation of our methods. In addition, we expose applications to other higher dimensional maps such as the Froeschle map for which we utilize our methods to analyze merging of resonances and, the three-dimensional Extended standard map for which we study the conjecture on its ergodicity [3]. We extend the study in our next paper [4] by investigating the visualization of periodic sets using harmonic time averages. Both of these methods are related to eigenspace structure of the Koopman operator.
We present a new method of analysis of measure-preserving dynamical systems, based on frequency analysis and ergodic theory, which extends our earlier work [1]. Our method employs the novel concept of harmonic time average [2], and is realized as a computational algorithms for visualization of periodic and quasi-periodic sets or arbitrary periodicity in the phase space. Besides identifying all periodic sets, our method is useful in detecting chaotic phase space regions with a good precision. The range of methods applicability is illustrated using well-known Chirikov standard map, while its full potential is presented by studying higher-dimensional measure-preserving systems, in particular Froeschle map and extended standard map.
We explore the properties of non-piecewise syndetic sets with positive upper density, which we call discordant, in countable amenable (semi)groups. Sets of this kind are involved in many questions of Ramsey theory and manifest the difference in complexity between the classical van der Waerdens theorem and Szemeredis theorem. We generalize and unify old constructions and obtain new results about these historically interesting sets. Here is a small sample of our results. $bullet$ We connect discordant sets to recurrence in dynamical systems, and in this setting we exhibit an intimate analogy between discordant sets and nowhere dense sets having positive measure. $bullet$ We introduce a wide-ranging generalization of the squarefree numbers, producing many examples of discordant sets in $mathbb{Z}$, $mathbb{Z}^d$, and the Heisenberg group. We develop a unified method to compute densities of these discordant sets. $bullet$ We show that, for any countable abelian group $G$, any F{o}lner sequence $Phi$ in $G$, and any $c in (0, 1)$, there exists a discordant set $A subseteq G$ with $d_Phi(A) = c$. Here $d_Phi$ denotes density along $Phi$. Along the way, we draw from various corners of mathematics, including classical Ramsey theory, ergodic theory, number theory, and topological and symbolic dynamics.
We survey the impact of the Poincare recurrence principle in ergodic theory, especially as pertains to the field of ergodic Ramsey theory.
Mission designers must study many dynamical models to plan a low-cost spacecraft trajectory that satisfies mission constraints. They routinely use Poincare maps to search for a suitable path through the interconnected web of periodic orbits and invariant manifolds found in multi-body gravitational systems. This paper is concerned with the extraction and interactive visual exploration of this structural landscape to assist spacecraft trajectory planning. We propose algorithmic solutions that address the specific challenges posed by the characterization of the topology in astrodynamics problems and allow for an effective visual analysis of the resulting information. This visualization framework is applied to the circular restricted three-body problem (CR3BP), where it reveals novel periodic orbits with their relevant invariant manifolds in a suitable format for interactive transfer selection. Representative design problems illustrate how spacecraft path planners can leverage our topology visualization to fully exploit the natural dynamics pathways for energy-efficient trajectory designs.
This survey is an update of the 2008 version, with recent developments and new references.