Realizing arbitrary \(d\)-dimensional dynamics by renormalization of \(C^d\)-perturbations of identity (Q2070875)

Let \(F\) be a \(d\)-dimensional \(C^r\)-diffeomorphism. A \textit{renormalized iteration} of \(F\) is an iteration of \(F\) restricted to a certain \(d\)-dimensional ball and taken in some \(C^r\)-coordinates in which the ball acquires radius \(1\). The authors investigate the following natural question that can be traced back to a celebrated paper by \textit{D. Ruelle} and \textit{F. Takens} [Commun. Math. Phys. 20, 167--192 (1971; Zbl 0223.76041)], where it appeared in connection to the mathematical notion of turbulence: What kind of dynamics can be realized by the renormalized iteration of some diffeomorphism \(F\) of the unit ball that is close to identity? The authors prove that any \(C^d\) conservative map \(f\) of the \(d\)-dimensional unit ball \(B^d = \{x \in {\mathbb R}^{d}: \Vert x \Vert \leq 1\}\), \(d \geq 2\), can be realized by the renormalized iteration of a \(C^d\)-perturbation of identity: there exists a conservative diffeomorphism of \(B^d\), arbitrarily close to identity in the \(C^d\)-topology, that has a periodic disc on which the return dynamics after a \(C^d\)-change of coordinates is exactly \(f\). Let \(\mu\) be the Lebesgue measure on \(B^{d}\), and \(\mathrm{Diff}^{r}_{\mu}(B^d)\) be the set of diffeomorphisms of class \(C^r\) of \(B^d\) preserving the boundary and \(\mu\). The main result of the paper is the following: Theorem. For any natural \(d \geq 2\), there exists \({\epsilon}_{0}> 0\) (one can take \({\epsilon}_{0} = {(d+1)}^{-4}\)) such that the following holds. For any \(0 < \epsilon < \epsilon_{0}\), any \(\delta > 0\), any \(f \in \mathrm{Diff}^{d+ {\epsilon}}_{\mu}(B^d)\), there exists \(F \in\mathrm{Diff}^{d+ {\epsilon}}_{\mu}(B^d)\) and a periodic sequence of balls \(B\), \(F(B)\), \(\dots\), \(F^M(B) = B \subset B^d\) such that \begin{itemize} \item \({\Vert F - I_{d}\Vert}_{d + \epsilon} \leq \delta\); \item \(h \circ F \circ {h}^{-1} = f\), where \(h\) is the similarity that sends \(B\) to \(B^d\). \end{itemize}