It is known that the famous Feigenbaum-Coullet-Tresser period doubling universality has a counterpart for area-preserving maps of R². A renormalization approach has been used in (Eckmann et al, Mem. Amer. Math. Soc 289, 1982) 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 ∊ N. 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 ∊ Z, lim_k→∞ |z_k| = 0,   lim_k→-∞ |z_k| = ∞, whose stable and unstable manifolds intersect transversally; and, for any N ∊ N, a compact invariant set on which F^* is homeomorphic to a topological Markov chain on the space of all two-sided sequences composed of N symbols.

A corollary of these results is the existence of unbounded and oscillating orbits.

We also show that the third iterate for all maps close to F^* admits a horseshoe. We use distortion tools to provide rigorous bounds on the Hausdorff dimension of the associated locally maximal invariant hyperbolic set: 0.7673 ≥ dim_H(C_F) ≥ ε * e^-7499, where ε≈0.00013.

We consider infinitely renormalizable maps - maps on the renormalization stable manifold in some neighborhood of F^*. For all such infinitely renormalizable maps in a neighborhood of the fixed point F^* we prove the existence of a "stable" invariant Cantor set C^∞_F such that the Lyapunov exponents of F ∣_C^∞F are zero, and whose Hausdorff dimension satisfies dim_H(C^∞_F) < 0.5324. We also show that there exists a submanifold, W_ω, of finite codimension in the renormalization local stable manifold, such that for all F ∊ W_ω the set C^∞_F is "weakly rigid": the dynamics of any two maps in this submanifold, restricted to the stable set C^∞_F, is conjugated by a bi-Lipschitz transformation that preserves the Hausdorff dimension.

The heteroclinic connections of the universal area-preserving map are proved using covering relations and cone conditions, provided by the CAPD library. The hyperbolic sets are constructed using covering relations computed using the CAPD library together with cone fields. To compute the distortion estimates, tight enclosures of the Markov partition of a dynamically defined Cantor set are needed. These enclosures are estimated from enclosures of invariant manifolds that are also computed using covering relations and cone conditions as provided by the CAPD library. The stable set is constructed as a Hausdorff limit of the hyperbolic sets for the third iterate.

• D. Gaidashev, T. Johnson, Dynamics of the Universal Area-Preserving Map Associated with Period Doubling: Hyperbolic Sets,Nonlinearity 22(10) (2009), 2487-2521.
• D. Gaidashev, T. Johnson, Dynamics of the Universal Area-Preserving Map Associated with Period Doubling: Stable Sets, J. Mod. Dyn. 3(4) (2009), 1-39.