Non-differentiable irrational curves for $C^1$ twist map
We construct a $C^1$ symplectic twist map $g$ of the annulus that has an essential invariant curve $Γ$ such that $Γ$ is not differentiable and $g$ restricted to $Γ$ is minimal.
arXiv subjects
Publications and source records attributed to Bassam Fayad.
We construct a $C^1$ symplectic twist map $g$ of the annulus that has an essential invariant curve $Γ$ such that $Γ$ is not differentiable and $g$ restricted to $Γ$ is minimal.
We study the spectral measures of conservative mixing flows on the 2-torus having one degenerate singularity. We show that, for a sufficiently strong singularity, the spectrum of these flows is typically Lebesgue with infinite multiplicity. For this, we use two main ingredients: 1) a proof of absolute continuity of the maximal spectral type for this class of non-uniformly stretching flows that have an irregular decay of correlations, 2) a geometric criterion that yields infinite Lebesgue multiplicity of the spectrum and that is well adapted to rapidly mixing flows.
When a Gevrey smooth perturbation is applied to a quasi-convex integrable Hamiltonian, it is known that the KAM invariant tori that survive are sticky, that is, doubly exponentially stable. We show by examples the optimality of this effective stability.
Our aim in this note is to present some of the crucial contributions of Jean-Christophe Yoccoz to the theory of circle diffeomorphisms. We start with a short historical account before exposing Yoccoz' work. Then we give a brief description of the main conceptual and technical tools of the theory, with a focus on describing Yoccoz' work and contributions.
We propose in these notes a list of some old and new questions related to quasi-periodic dynamics. A main aspect of quasi-periodic dynamics is the crucial influence of arithmetics on the dynamical features, with a strong duality in general between Diophantine and Liouville behavior. We will discuss rigidity and stability in Diophantine dynamics as well as their absence in Liouville ones. Beyond this classical dichotomy between the Diophantine and the Liouville worlds, we discuss some unified approaches and some phenomena that are valid in both worlds. Our focus is mainly on low dimensional dynamics such as circle diffeomorphisms, disc dynamics, quasi-periodic cocycles, or surface flows, as well as finite dimensional Hamiltonian systems. In an opposite direction, the study of the dynamical properties of some diagonal and unipotent actions on the space of lattices can be applied to arithmetics, namely to the theory of Diophantine approximations. We will mention in the last section some problems related to that topic. The field of quasi-periodic dynamics is very extensive and has a wide range of interactions with other mathematical domains. The list of questions we propose is naturally far from exhaustive and our choice was often motivated by our research involvements.
We give examples of symplectic diffeomorphisms of R^6 for which the origin is a non-resonant elliptic fixed point which attracts an orbit.
For area preserving $C^2$ surface diffeomorphisms, we give an explicit finite information condition, on the exponential growth of the number of Bowen's $(n,δ)-$balls needed to cover a positive proportion of the space, that is sufficient to guarantee positive topological entropy. This can be seen as an effective version of Katok's horseshoe theorem in the conservative setting. We also show that the analogous result is false in dimension larger than $3$.
We give the first example of a smooth volume preserving mixing dynamical system such that the discrete Schrödinger operators on the line defined with a potential generated by this system and a Hölder sampling function, have almost surely a continuous spectrum.
We study the distribution modulo $1$ of the values taken on the integers of $r$ linear forms in $d$ variables with random coefficients. We obtain quenched and annealed central limit theorems for the number of simultaneous hits into shrinking targets of radii $n^{-\frac{r}{d}}$. By the Khintchine-Groshev theorem on Diophantine approximations, $\frac{r}{d}$ is the critical exponent for the infinite number of hits.
We prove that generically, both in a topological and measure-theoretical sense, an invariant Lagrangian Diophantine torus of a Hamiltonian system is doubly exponentially stable in the sense that nearby solutions remain close to the torus for an interval of time which is doubly exponentially large with respect to the inverse of the distance to the torus. We also prove that for an arbitrary small perturbation of a generic integrable Hamiltonian system, there is a set of almost full positive Lebesgue measure of KAM tori which are doubly exponentially stable. Our results hold true for real-analytic but more generally for Gevrey smooth systems.
We consider the dynamics in a neighborhood of an elliptic equilibrium point with a Diophantine frequency of a symplectic real analytic vector field and we prove the following result of effective stability. Generically, both in a topological and measure-theoretical sense, any solution starting sufficiently close to the equilibrium point remains close to it for an interval of time which is doubly exponentially large with respect to the inverse of the distance to the equilibrium point. We actually prove a more general statement assuming the frequency is only non-resonant. This improves previous results where much stronger non-generic assumptions were required.
Arnol'd and Kochergin mixing conservative flows on surfaces stand as the main and almost only natural class of mixing transformations for which higher order mixing has not been established, nor disproved. Under suitable arithmetic conditions on their unique rotation vector, of full Lebesgue measure in the first case and of full Hausdorff dimension in the second, we show that these flows are mixing of any order. For this, we show that they display a generalization of the so called Ratner property on slow divergence of nearby orbits, that implies strong restrictions on their joinings, that in turn yield higher order mixing. This is the first case in which the Ratner property is used to prove multiple mixing outside its original context of horocycle flows and we expect our approach will have further applications.
We construct an increasing sequence of natural numbers $(m_n)_{n=1}^{+\infty}$ with the property that $(m_n þ[1])_{n\geq 1}$ is dense in $\T$ for any $þ\in \R\setminus \Q$, and a continuous measure on the circle $μ$ such that $\lim_{n\to +\infty}\int_{\T}\|m_nθ\|dμ(θ)=0$. Moreover, for every fixed $k\in \N$, the set $\{n\in \N:\,k\nmid m_n \}$ is infinite. This is a sufficient condition for the existence of a rigid, weakly mixing dynamical system whose rigidity time is not a rigidity time for any system with a discrete part in its spectrum.
We show that for any irrational number $\a$ and a sequence of integers $\{m_l\}_{l\in \N}$ such that $\displaystyle{\lim_{l\to \infty} \norm{m_l \a} = 0}$, there exists a continuous measure $μ$ on the circle such that $\displaystyle{\lim_{l\to \infty} \int_\T \norm{m_l þ} dμ(þ) = 0}$. This implies that any rigidity sequence of any ergodic transformation is a rigidity sequence for some weakly mixing dynamical system. On the other hand, we show that for any $\a \in \R - \Q$, there exists a sequence of integers $\{m_l\}_{l\in \N}$ such that $\norm{m_l \a} \to 0$ and $m_l θ[1]$ is dense on the circle if and only if $þ\notin \Q \a+\Q$.
We show that an analytic invariant torus $\cT_0$ with Diophantine frequency $ø_0$ is never isolated due to the following alternative. If the Birkhoff normal form of the Hamiltonian at $\cT_0$ satisfies a Rüssmann transversality condition, the torus $\cT_0$ is accumulated by KAM tori of positive total measure. If the Birkhoff normal form is degenerate, there exists a subvariety of dimension at least $d+1$ that is foliated by analytic invariant tori with frequency $ø_0$. For frequency vectors $ø_0$ having a finite uniform Diophantine exponent (this includes a residual set of Liouville vectors), we show that if the Hamiltonian $H$ satisfies a Kolmogorov non degeneracy condition at $\cT_0$, then $\cT_0$ is accumulated by KAM tori of positive total measure. In $4$ degrees of freedom or more, we construct for any $ø_0 \in \R^d$, $C^\infty$ (Gevrey) Hamiltonians $H$ with a smooth invariant torus $\cT_0$ with frequency $ø_0$ that is not accumulated by a positive measure of invariant tori.
We construct examples of volume-preserving uniquely ergodic (and hence minimal) real-analytic diffeomorphisms on odd-dimemsional spheres
We show that ergodic affine abelian discrete actions on the torus, that have a rank-one factor in their linear part, are locally rigid in a KAM sense if and only if the rank one factor is trivial and the action is higher-rank transversally to this factor. Since it has been proved by Damjanovic and Katok that affine actions with higher-rank linear part are locally rigid, our result completes the local rigidity picture for affine actions on the torus.
We show the existence of a limiting distribution $\cD_\cC$ of the adequately normalized discrepancy function of a random translation on a torus relative to a strictly convex set $\cC$. Using a correspondence between the small divisors in the Fourier series of the discrepancy function and lattices with short vectors, and mixing of diagonal flows on the space of lattices, we identify $\cD_\cC$ with the distribution of the level sets of a function defined on the product of the space of lattices with an infinite dimensional torus. We apply our results to counting lattice points in slanted cylinders and to time spent in a given ball by a random geodesic on the flat torus.