No label defined (Q3836723)

The present paper reveals the existence of a dynamical structure on a compact manifold, preserved by a diffeomorphism that leaves invariant the Lebesgue measure. More precisely, one considers a diffeomorphism \(\varphi\) defined on a smooth n-dimensional compact Riemannian manifold \(M\). \(\mu\) is the normalized Lebesgue measure defined by the Riemannian metric. The structure of interest is the so called \(\varepsilon\)-structure defined by a finite set \(\Xi=\{ p_{i}, \sigma_{i,j}\}\), \(i,j=1,\dots,N\) such that the following conditions are fulfilled: 1) \(p_{i}\), \(i=1,\dots,N\), are hyperbolic periodic points of the diffeomorphism \(\varphi\); 2) M is covered by the family of open balls of radius \(\varepsilon\), centered at \(p_{i}\), \(i=1,\dots,N\), i.e. the set \(\{p_{i}\}\), \(i=1,\dots,N\), is an \(\varepsilon\)-net in \(M\); 3) there exist integers \(n_{i,j}\) such that the points \(\sigma_{i,j}\) are points of transversal intersection of the unstable manifold \(W^{u}(\varphi^{n_{i,j}}(p_{i}))\) with the stable manifold \(W^{s}(p_{j})\), \(i,j=1,\dots,N\). An \(\varepsilon\)-structure is naturally preserved by a slight perturbation of the diffeomorphism \(\varphi\) in the space of \(C^{1}\)-diffeomorphisms of the manifold \(M\). The main result of the paper states that for a \(C^{2}\)-diffeomorphism on the manifold \(M\) for which the Lebesgue measure is invariant and ergodic, and all Lyapunov exponents are nonzero, there exists an \(\varepsilon\)-structure for any \(\varepsilon>0\). An \(\varepsilon\)-structure models the motion of a fluid.