Partial hyperbolicity and central shadowing (Q379468)

The authors study the shadowing property for a partially hyperbolic diffeomorphism \(f\), and it is proved that if \(f\) is dynamically coherent then any pseudotrajectory can be shadowed by a pseudotrajectory with jumps along the central foliation. Let \(M\) be a compact \(n\)-dimensional \(C^\infty\) manifold with a Riemannian metric \(d\). Let \(| \cdot |\) denote the Euclidean norm on \(\mathbb{R}^n\) and the induced norm on the leaves of the tangent bundle \(TM\). A diffeomorphism \(f\) of \(M\) is called partially hyperbolic if there exists \(m \in \mathbb{N}\) such that the mapping \(f^m\) satisfies the following property: there exists a continuous invariant bundle \(T_xM = E^s_x \oplus E^c_x \oplus E^u_x\), \(x \in M\), and continuous positive functions \(\nu\), \(\hat{\nu}\), \(\gamma\), \(\hat{\gamma} : M \to \mathbb{R}\) such that \(\nu, \hat{\nu} < 1\), \(\nu < \gamma < \hat{\gamma} < \hat{\nu}^{-1}\) and for all \(x \in M\), and all \(v \in T_xM\) with \(|v| = 1\), we have: {\parindent = 0.5cm \begin{itemize} \item[1.] \(|D_xf^m(v)| \leq \nu(x)\), for \(v \in E^s_x\); \item [2.] \(\gamma(x) \leq |D_xf^m(v)| \leq \hat{\gamma}(x)\), for \(v \in E^c_x\); \item [3.] \(|D_xf^m(v)| \geq \hat{\nu}^{-1}(x)\), for \(v \in E^u_x\). \end{itemize}} Denote \(E^{cs}_x = E^s_x \oplus E^c_x\) and \(E^{cu}_x = E^c_x \oplus E^u_x\). A partially hyperbolic diffeomorphism \(f\) is dynamically coherent if both distributions \(E^{cs}\) and \(E^{cu}\) are uniquely integrable. If \(f\) is dynamically coherent then the distribution \(E^c\) is also uniquely integrable and the corresponding foliation \(W^c\) is a subfoliation of both \(W^{cs}\) and \(W^{cu}\). An \(\epsilon\)-pseudotrajectory \(\{ y_k \}\) is called central if for any \(k \in \mathbb{Z}\) the inclusion \(f(y_k) \in W^c_\epsilon(y_{k+1})\) holds. Here \(W^c_\epsilon(x) = \{ y \in W^c(x) : d(x, y) < \epsilon \}\). A partially hyperbolic dynamically coherent diffeomorphism \(f\) satisfies the Lipschitz central shadowing property if there exist \(d_0\) and \(L > 0\) such that for any \(d \in (0, d_0)\) and any \(d\)-pseudotrajectory \(\{ x_k \}_{k \in \mathbb{Z}}\) there exists an \(\epsilon\)-central pseudotrajectory \(\{ y_k \}\), satisfying \(d(x_k, y_k) \leq Ld\) for \(k \in \mathbb{Z}\). The main result of this paper is as follows: let the diffeomorphism \(f\) be partially hyperbolic and dynamically coherent, then \(f\) satisfies the Lipschitz central shadowing property. The proof is based on the Tikhonov-Shauder fixed point theorem.