For a volume preserving map, the exit time, averaged over the incoming set of a region, is given by the ratio of the measure of the accessible subset of the region to that of the incoming set. This result is primarily of interest to show two things: first it gives a simple bound on the algebraic decay exponent of the survival probability. Second, it gives a tool which permits the computation of the measure of the accessible set. We use this to find the measure of the bounded orbits for Hénon's quadratic map.
We study quadratic, volume preserving diffeomorphisms whose inverse is also quadratic. Such maps generalize the Hénon area preserving map and the family of symplectic quadratic maps studied by Moser. In particular, we investigate a family of quadratic volume preserving maps in three space for which we find a normal form and study invariant sets. We also give an alternative proof of a theorem by Moser classifying quadratic symplectic maps.
Let $q:M\to M$ be a volume-preserving diffeomorphism of a smooth manifold $M$. We study the possibility to present $q$ as the Poincaré map, corresponding to a volume-preserving vector field on $\mathbb{T}\times M$, $\mathbb{T} = \mathbb{R}/\mathbb{Z}$.
We study bifurcations of non-orientable area-preserving maps with quadratic homoclinic tangencies. We study the case when the maps are given on non-orientable two-dimensional surfaces. We consider one and two parameter general unfoldings and establish results related to the emergence of elliptic periodic orbits.
In this paper we show that generic continuous Lebesgue measure preserving circle maps have the s-limit shadowing property. In addition we obtain that s-limit shadowing is a generic property also for continuous circle maps. In particular, this implies that classical shadowing, periodic shadowing and limit shadowing are generic in these two settings as well.
We study bifurcations of area-preserving maps, both orientable (symplectic) and non-orientable, with quadratic homoclinic tangencies. We consider one and two parameter general unfoldings and establish results related to the appearance of elliptic periodic orbits. In particular, we find conditions for such maps to have infinitely many generic (KAM-stable) elliptic periodic orbits of all successive periods starting at some number.
We study dynamics of area-preserving maps in a neighbourhood of an elliptic fixed point. We describe simplified normal forms for a fixed point of co-dimension 3. We also construct normal forms for a generic three-parameter family which contains such degeneracy and use the normal form theory to describe generic bifurcations of periodic orbits in these families.
We construct a resonant normal form for an area-preserving map near a generic resonant elliptic fixed point. The normal form is obtained by a simplification of a formal interpolating Hamiltonian. The resonant normal form is unique and therefore provides the formal local classification for area-preserving maps with the elliptic fixed point. The total number of formal invariants is infinite. We consider the cases of weak (of order $n\ge5$) and strong (of order $n=3,4$) resonances. We also construct unique normal forms for analytic families of area-preserving maps. We note that our constructions …
We derive simplified normal forms for an area-preserving map in a neighbourhood of a degenerate resonant elliptic fixed point. Such fixed points appear in generic two-parameter families of area-preserving maps. We also derive a simplified normal form for a generic two-parametric unfolding. The normal forms are used to analyse bifurcations of $n$-periodic orbits. In particular, for $n\ge6$ we find regions of parameters where the normal form has "meandering'' invariant curves.
In this paper we study R-reversible area-preserving maps f on a two-dimensional Riemannian closed manifold M, i.e. diffeomorphisms f such that Ro f=f^{-1}o R where R is an isometric involution on M. We obtain a C1-residual subset where any map inside it is Anosov or else has a dense set of elliptic periodic orbits. As a consequence we obtain the proof of the stability conjecture for this class of maps. Along the paper we also derive the C1-closing lemma for reversible maps and other perturbation toolboxes.
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…
Let us denote $λ$ the Lebesgue measure on $[0,1]$, put$$ C(λ)=\{f\in C([0,1]);\ \forall~A\subset [0,1], A~\text{Borel}:\ λ(A)=λ(f^{-1}(A))\}.$$ We endow the set $C(λ)$ by the uniform metric $ρ$ and investigate dynamical properties of typical maps in the complete metric space $(C(λ),ρ)$.
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 well known for experts that resonances in nonlinear systems lead to new invariant objects that lead to new behaviors. The goal of this paper is to study the invariant sets generated by resonances under foliation preserving torus maps. That is torus which preserve a foliation of irrational lines $L_{θ_{0}}=\{θ_{0}+Ωt | t\in\mathbb{R}\}\subset\mathbb{T}^{d}$. Foliation preserving maps appear naturally as reparametrization of linear flows in the torus and also play an important role in several applications involving coupled oscillators, delay equations, resonators with moving walls, etc. Th…
This note will study a family of cubic rational maps which carry antipodal points of the Riemann sphere to antipodal points. We focus particularly on the fjords, which are part of the central hyperbolic component but stretch out to infinity. These serve to decompose the parameter plane into subsets, each of which is characterized by a corresponding rotation number.
We consider the set of partially hyperbolic symplectic diffeomorphisms which are accessible, have 2-dimensional center bundle and satisfy some pinching and bunching conditions. In this set, we prove that the non-uniformly hyperbolic maps are $C^r$ open and there exists a $C^r$ open and dense subset of continuity points for the center Lyapunov exponents. We also generalize these results to volume-preserving systems.
We prove that any planar birational integrable map, which preserves a fibration given by genus $0$ curves has a Lie symmetry and some associated invariant measures. The obtained results allow to study in a systematic way the global dynamics of these maps. Using this approach, the dynamics of several maps is described. In particular we are able to give, for particular examples, the explicit expression of the rotation number function, and the set of periods of the considered maps.
In this paper, we consider chaotic dynamics and variational structures of area-preserving maps. There is a lot of study on dynamics of their maps and the works of Poincare and Birkhoff are well-known. To consider variational structures of area-preserving maps, we define a special class of area-preserving maps called monotone twist maps. Variational structures determined from twist maps can be used for constructing characteristic trajectories of twist maps. Our goal is to define the variational structure such as giving infinite transition orbits through minimizing methods.
We study normal forms for families of area-preserving maps which have a fixed point with neutral multipliers -1 or +1 at epsilon=0. Our study covers both the orientation-preserving and orientation-reversing cases. In these cases Birkhoff normal forms do not provide a substantial simplification of the system. In the paper we prove that the Takens normal form vector field can be substantially simplified. We also show that if certain non-degeneracy conditions are satisfied no further simplification is generically possible since the constructed normal forms are unique. In particular, we provide a …
We consider a large class of 2D area-preserving diffeomorphisms that are not uniformly hyperbolic but have strong hyperbolicity properties on large regions of their phase spaces. A prime example is the Standard map. Lower bounds for Lyapunov exponents of such systems are very hard to estimate, due to the potential switching of "stable" and "unstable" directions. This paper shows that with the addition of (very) small random perturbations, one obtains with relative ease Lyapunov exponents reflecting the geometry of the deterministic maps.
We prove the existence of invariant tori to the area-preserving maps defined on $ \mathbb{R}^2\times\mathbb{T} $ \begin{equation*} \bar{x}=F(x,θ), \qquad \barθ=θ+α\, \,(α\in \mathbb{R}\setminus\mathbb{Q}), \end{equation*} where $ F $ is closed to a linear rotation, and the perturbation is ultra-differentiable in $ θ\in \mathbb{T},$ which is very closed to $C^{\infty}$ regularity. Moreover, we assume that the frequency $α$ is any irrational number without other arithmetic conditions and the smallness of the perturbation does not depend on $α$. Thus, both the difficulties from the ultra-differen…
We investigate the properties of absolutely continuous invariant probability measures (ACIPs), especially those measures with bounded variation densities, for piecewise area preserving maps (PAPs) on $\mathbb{R}^d$. This class of maps unifies piecewise isometries (PWIs) and piecewise hyperbolic maps where Lebesgue measure is locally preserved. Using a functional analytic approach, we first explore the relationship between topological transitivity and uniqueness of ACIPs, and then give an approach to construct invariant measures with bounded variation densities for PWIs. Our results "partially"…
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 show that for the generic continuous maps of the interval and circle which preserve the Lebesgue measure it holds for each k $\ge$ 1 that the set of periodic points of period k is a Cantor set of Hausdorff dimension zero and of upper box dimension one. Furthermore, building on this result, we show that there is a dense collection of transitive Lebesgue measure preserving interval map whose periodic points have full Lebesgue measure and whose periodic points of period k have positive measure for each k $\ge$ 1. Finally, we show that the generic continuous maps of the interval which preserve …
We investigate the iterative behaviour of continuous order preserving subhomogeneous maps that map a polyhedral cone into itself. For these maps we show that every bounded orbit converges to a periodic orbit and, moreover, that there exists an a priori upper bound for the periods of periodic points that only depends on the number of facets of the polyhedral cone. By constructing examples on the standard positive cone, we show that the upper bound is asymptotically sharp. These results are an extension of recent work by Lemmens and Scheutzow concerning periodic orbits in the interior of the sta…
For a class of non-uniformly hyperbolic interval maps, we study rates of escape with respect to conformal measures associated with a family of geometric potentials. We establish the existence of physically relevant conditionally invariant measures and equilibrium states and prove a relation between the rate of escape and pressure with respect to these potentials. As a consequence, we obtain a Bowen formula: we express the Hausdorff dimension of the set of points which never exit through the hole in terms of the relevant pressure function. Finally, we obtain an expression for the derivative of …
We consider a class of area-preserving, piecewise affine maps on the 2-sphere. These maps encode degenerating families of K3 surface automorphisms and are profitably studied using techniques from tropical and Berkovich geometries.
We establish a new functional central limit theorem result for non-invertible measure preserving maps that are not necessarily ergodic, using the Perron-Frobenius operator. We apply the result to asymptotically periodic transformations and give an extensive specific example of asymptotically periodic transformations by using the tent map.
We define upper bound and lower bounds for order-preserving homogeneous of degree one maps on a proper closed cone in $\R^n$ in terms of the cone spectral radius. We also define weak upper and lower bounds for these maps. For a proper closed cone $C \subset \R^n$, we prove that any order-preserving homogeneous of degree one map $f: \inter C \rightarrow \inter C$ has a lower bound. If $C$ is polyhedral, we prove that the map $f$ has a weak upper bound. We give examples of weak upper bounds for certain order-preserving homogeneous of degree one maps defined on the interior of $\R^n_+$.
Let F be a continuous injective map from an open subset of R^n to R^n. Assume that, for infinitely many k>1, F induces a bijection between the rational points of denominator k in the domain and those in the image (the denominator of (a_1/b_1,...,a_n/b_n) being the l.c.m. of b_1,...,b_n). Then F preserves the Lebesgue measure.
We prove that a $C^{\infty}$-generic area-preserving diffeomorphism of a closed, oriented surface admits a sequence of equidistributed periodic orbits. This is a quantitative refinement of the recently established generic density theorem for area-preserving surface diffeomorphisms. The proof has two ingredients. The first is a "Weyl law" for PFH spectral invariants, which was used to prove the generic density theorem. The second is a variational argument inspired by the work of Marques-Neves-Song and Irie on equidistribution results for minimal hypersurfaces and three-dimensional Reeb flows, r…
Invariant tori play a fundamental role in the dynamics of symplectic and volume-preserving maps. Codimension-one tori are particularly important as they form barriers to transport. Such tori foliate the phase space of integrable, volume-preserving maps with one action and $d$ angles. For the area-preserving case, Greene's residue criterion is often used to predict the destruction of tori from the properties of nearby periodic orbits. Even though KAM theory applies to the three-dimensional case, the robustness of tori in such systems is still poorly understood. We study a three-dimensional, rev…
In this paper, new results concerning the phenomenon of adiabatic trapping into resonance for a class of quasi-integrable maps with a time-dependent exciter are presented and discussed in detail. The applicability of the results about trapping efficiency for Hamiltonian systems to the maps considered is proven by using perturbation theory. This allows determining explicit scaling laws for the trapping properties. These findings represent a generalization of previous results obtained for the case of quasi-integrable maps with parametric modulation as well as an extension of the work by Neishtad…
We consider the problem of characterizing, for certain natural number $m$, the local $\mathcal{C}^m$-non-integrability near elliptic fixed points of smooth planar measure preserving maps. Our criterion relates this non-integrability with the existence of some Lie Symmetries associated to the maps, together with the study of the finiteness of its periodic points. One of the steps in the proof uses the regularity of the period function on the whole period annulus for non-degenerate centers, question that we believe that is interesting by itself. The obtained criterion can be applied to prove the…
