It is known that the famous Feigenbaum-Coullet-Tresser period doubling universality has a counterpart for area-preserving maps of ${\fR}^2$. A renormalization approach has been used in \cite{EKW1} and \cite{EKW2} in a computer-assisted proof of existence of a "universal" area-preserving map $F_*$ -- a map with orbits of all binary periods $2^k, k \in \fN$. In this paper, we consider {\it infinitely renormalizable} maps -- maps on the renormalization stable manifold in some neighborhood of $F_*$ -- and study their dynamics.
For all such infinitely renormalizable maps in a neighborhood of the fixed point $F_*$ we prove the existence of a "stable" invariant set $\cC^\infty_F$ such that the maximal Lyapunov exponent of $F \arrowvert_{\cC^\infty_F}$ is zero, and whose Hausdorff dimension satisfies $${\rm dim}_H(\cC_F^{\infty}) \le 0.5324.$$
We also show that there exists a submanifold, $\bW_ω$, of finite codimension in the renormalization local stable manifold, such that for all $F\in\bW_ω$ the set $\cC^\infty_F$ is "weakly rigid": the dynamics of any two maps in this submanifold, restricted to the stable set $\cC^\infty_F$, is conjugated by a bi-Lipschitz transformation that preserves the Hausdorff dimension.
In this paper we show that the invariant Cantor set of period doubling type of any infinitely renormalizable area-preserving map in the universality class of the Eckmann-Koch-Wittwer renormalization fixed point is always contained in a Lipschitz curve but never contained in a smooth curve. This extends previous results by de Carvalho, Lyubich and Martens about strongly dissipative maps of the plane close to unimodal maps to the area-preserving setting. The method used for constructing the Lipschitz curve is very similar to the method used in the dissipative case but proving the nonexistence of…
We consider the conservative Hénon family at the period-doubling bifurcation of its fixed point and demonstrate that the separatrices of the fixed saddle point nearing the bifurcation split exponentially: given that $λ_+$ is the smaller of the eigenvalues of the saddle point, the angle between the separatrices along the homoclinic orbit satisfies $$\sin α= O(e^{-{π^2 \over \log |λ_+|}})+ O\left( e^{-2 (1-κ) {π^2 \over \log |λ_+|}} \right),$$ for any positive $κ<1$.
The period doubling Cantor sets of strongly dissipative Henon-like maps with different average Jacobian are not smoothly conjugated. The Jacobian Rigidity Conjecture says that the period doubling Cantor sets of two-dimensional Henon-like maps with the same average Jacobian are smoothly conjugated. This conjecture is true for average Jacobian zero, e.g. the one-dimensional case. The other extreme case is when the maps preserve area, e.g. the average Jacobian is one. Indeed, the period doubling Cantor set of area-preserving maps in the universality class of the Eckmann-Koch-Wittwer renormalizati…
It is known that the famous Feigenbaum-Coullet-Tresser period doubling universality has a counterpart for area-preserving maps of ${\fR}^2$. A renormalization approach has been used in \cite{EKW1} and \cite{EKW2} in a computer-assisted proof of existence of a "universal" area-preserving map $F_*$ -- a map with orbits of all binary periods $2^k, k \in \fN$. In this paper, we consider maps in some neighbourhood of $F_*$ and study their dynamics. We first demonstrate that the map $F_*$ admits a "bi-infinite heteroclinic tangle": a sequence of periodic points $\{z_k\}$, $k \in \fZ$, |z_k| \converg…
It has been observed that the famous Feigenbaum-Coullet-Tresser period doubling universality has a counterpart for area-preserving maps of $\field{R}^2$. A renormalization approach has been used in a computer-assisted proof of existence of an area-preserving map with orbits of all binary periods by J.-P. Eckmann, H. Koch and P. Wittwer (1982 and 1984). As it is the case with all non-trivial universality problems in non-dissipative systems in dimensions more than one, no analytic proof of this period doubling universality exists to date. We argue that the period doubling renormalization fixed p…
We consider a family of strongly-asymmetric unimodal maps $\{f_t\}_{t\in [0,1]}$ of the form $f_t=t\cdot f$ where $f\colon [0,1]\to [0,1]$ is unimodal, $f(0)=f(1)=0$, $f(c)=1$ is of the form and $$f(x)=\left\{ \begin{array}{ll} 1-K_-|x-c|+o(|x-c|)& \mbox{ for }x<c, \\ 1-K_+|x-c|^β+ o(|x-c|^β) &\mbox{ for }x>c, \end{array}\right. $$ where we assume that $β>1$. We show that such a family contains a Feigenbaum-Coullet-Tresser $2^\infty$ map, and develop a renormalization theory for these maps. The scalings of the renormalization intervals of the $2^\infty$ map turn out to be super-exponential and…
Area-preserving maps have been observed to undergo a universal period-doubling cascade, analogous to the famous Feigenbaum-Coullet-Tresser period doubling cascade in one-dimensional dynamics. A renormalization approach has been used by Eckmann, Koch and Wittwer in a computer-assisted proof of existence of a conservative renormalization fixed point. Furthermore, it has been shown by Gaidashev, Johnson and Martens that infinitely renormalizable maps in a neighborhood of this fixed point admit invariant Cantor sets with vanishing Lyapunov exponents on which dynamics for any two maps is smoothly c…
We study the bi-Lipschitz classification of Bedford-McMullen carpets which are totally disconnected. Let $E$ be a such carpet and let $μ_E$ be the uniform Bernoulli measure on $E$. We show that the multifractal spectrum and the doubling property of $μ_E$ are both invariant under a bi-Lipschitz map. Moreover, we show that if $μ_E$ and $μ_F$ are doubling, then a bi-Lipschitz map between $E$ and $F$ enjoys a certain measure preserving property.
Period doubling Hénon renormalization of strongly dissipative maps is generalized in arbitrary finite dimension. In particular, a small perturbation of toy model maps with dominated splitting has invariant $C^r$ surfaces embedded in higher dimension and the Cantor attractor has unbounded geometry with respect to full Lebesgue measure on the parameter space. It is an extension of dynamical properties of three dimensional infinitely renormalizable Hénon-like map in arbitrary finite dimension.
We consider dynamically defined Hermitian matrices generated from orbits of the doubling map. We prove that their spectra fall into the GUE universality class from random matrix theory.
It was recently shown by Gaidashev and Yampolsky that appropriately defined renormalizations of a sufficiently dissipative golden-mean semi-Siegel Hénon map converge super-exponentially fast to a one-dimensional renormalization fixed point. In this paper, we show that the asymptotic two-dimensional form of these renormalizations is universal, and is parameterized by the average Jacobian. This is similar to the limit behavior of period-doubling renormalization in the Hénon family considered by de Carvalho, Lyubich and Martens. As an application of our result, we prove that the boundary of the g…
In this paper, we study the persistence and remaining regularity of KAM invariant torus under sufficiently small perturbations of a Hamiltonian function together with its derivatives, in sense of finite smoothness with modulus of continuity, as a generalization of classical Hölder continuous circumstances. To achieve this goal, we extend the Jackson approximation theorem to the case of modulus of continuity, and establish a corresponding regularity theorem adapting to the new iterative scheme. Via these tools, we establish a KAM theorem with sharp differentiability hypotheses, which asserts th…
A renormalization approach has been used in \cite{EKW1} and \cite{EKW2} to prove the existence of a \textit{universal area-preserving map}, a map with hyperbolic orbits of all binary periods. The existence of a horseshoe, with positive Hausdorff dimension, in its domain was demonstrated in \cite{GJ1}. In this paper the coexistence problem is studied, and a computer-aided proof is given that no elliptic islands with period less than 20 exist in the domain. It is also shown that less than 1.5% of the measure of the domain consists of elliptic islands. This is proven by showing that the measure o…
Let S be an ergodic measure-preserving automorphism on a non-atomic probability space, and let T be the time-one map of a topologically weak mixing suspension flow over an irreducible subshift of finite type under a Holder ceiling function. We show that if the measure-theoretic entropy of S is strictly less than the topological entropy of T, then there exists an embedding from the measure-preserving automorphism into the suspension flow. As a corollary of this result and the symbolic dynamics for geodesic flows on compact surfaces of negative curvature developed by Bowen and Ratner, we also ob…
We will show that the sequences appearing in Bourgain's double recurrence result are good universal weights to the multiple recurrence averages with commuting measure-preserving transformations in norm. This will extend the pointwise converge result of Bourgain, the norm convergence result of Tao, and the authors' previous work on the single measure-preserving transformation.
We prove that if an area-preserving homeomorphism of the torus in the homotopy class of the identity has a rotation set which is a nondegenerate vertical segment containing the origin, then there exists an essential invariant annulus. In particular, some lift to the universal covering has uniformly bounded displacement in the horizontal direction.
This paper is devoted to the study of noncommutative maximal inequalities and ergodic theorems for group actions on von Neumann algebras. Consider a locally compact group $G$ of polynomial growth with a symmetric compact subset $V$. Let $α$ be a continuous action of $G$ on a von Neumann algebra $\mathcal{M}$ by trace-preserving automorphisms. We then show that the operators defined by \begin{equation*} A_{n}x= \frac{1}{m(V^{n})} \int _{V^{n}}α_{g}x\,dm(g),\quad x\in L_{p}( \mathcal{M}),n\in \mathbb{N},1\leq p\leq \infty , \end{equation*} are of weak type $(1,1)$ and of strong type $(p,p)$ for …
We construct a $C^\infty$ area-preserving diffeomorphism of the two-dimensional torus which is Bernoulli (in particular, ergodic) with respect to Lebesgue measure, homotopic to the identity, and has a lift to the universal covering whose rotation set is $\{(0,0)\}$, which in addition has the property that almost every orbit by the lifted dynamics is unbounded and accumulates in every direction of the circle at infinity.
In a previous work by the authors the one dimensional (doubling) renormalization operator was extended to the case of quasi-periodically forced one dimensional maps. The theory was used to explain different self-similarity and universality observed numerically in the parameter space of the Forced Logistic Maps. The extension proposed was not complete in the sense that we assumed a total of four conjectures to be true. In this paper we present numerical support for these conjectures. We also discuss the applicability of this theory to the Forced Logistic Map.
Given an n-dimensional C^r-diffeomorphism g, its renormalized iteration is an iteration of g, restricted to a certain n-dimensional ball and taken in some C^r-coordinates in which the ball acquires radius 1. We show that for any r >/- 1 the renormalized iterations of C^r -close to identity maps of an n-dimensional unit ball B^n (n >/- 2) form a residual set among all orientation-preserving C^r -diffeomorphisms B^n \to R^n. In other words, any generic n-dimensional dynamical phenomenon can be obtained by iterations of C^r -close to identity maps, with the same dimension of the phase space. As a…
Damped-driven systems are ubiquitous in engineering and science. Despite the diversity of physical processes observed in a broad range of applications, the underlying instabilities observed in practice have a universal characterization which is determined by the overall gain and loss curves of a given system. The universal behavior of damped-driven systems can be understood from a geometrical description of the energy balance with a minimal number of assumptions. The assumptions on the energy dynamics are as follows: the energy increases monotonically as a function of increasing gain, and the …
