Inverse shadowing by continuous methods (Q1347782)

Let \(M\) be a closed smooth \(n\)-dimensional manifold, let \(f:M\rightarrow M\) be a diffeomorphism and let \(\text{dist}\) be a Riemmannian metric on \(M\). A sequence \(\xi=\{x_k\in M: k\in {\mathbb Z}\}\) is a \(d\)-pseudotrajectory of \(f\) if the inequalities \(\text{dist}(f(x_k),x_{k+1})<d\), \(k\in {\mathbb Z}\), hold. A point \(p\in M\) \(\varepsilon\)-shadows the pseudotrajectory \(\xi\) if the inequalities \(\text{dist}(f^k(p),x_k)<\varepsilon\), \(k\in {\mathbb Z}\), hold. A family of \(d\)-trajectories is a \(d\)-method (or simply a method) for \(f\). A family of methods is a class for \(f\). The system \(f\) is said to have the inverse shadowing property with respect to a class \(\Theta\) if, given \(\varepsilon>0\), there is \(d>0\) such that for any \(p\in M\) and any \(d\)-method \({\mathcal X}_d\in \Theta\), there is a \(d\)-pseudotrajectory \(\xi\in {\mathcal X}_d\) satisfying the second inequalities above. The main result of the paper: structural stability for \(f\) implies the inverse shadowing property under some ``continuity'' conditions for the class. More precisely, we say that a \(d\)-method \({\mathcal X}_d\) belongs to the class \(\Theta_c\) if there is a family of continuous mappings \(\chi_k:M\rightarrow M\), \(k\in {\mathbb Z}\), such that \(\chi_0=\text{id}\) and \({\mathcal X}_d\) consists of all sequences \(\xi=\{x_k\}_k\) for which \(x_k=\chi_k(x_0)\). We say that a \(d\)-method \({\mathcal X}_d\) belongs to the class \(\Theta_s\) if there is a family of continuous mappings \(\psi_k:M\rightarrow M\), \(k\in {\mathbb Z}\), such that \(\text{dist}(\psi_k(p),f(p))<d\) for all \(k\) and \(p\), and \({\mathcal X}_d\) consists of all sequences \(\xi=\{x_k\}_k\) for which \(x_{k+1}=\chi_k(x_k)\). The diffeomorphism \(f\) is structurally stable if there exists a \(C^1\)-neighbourhood \(W\) of \(f\) such that any diffeomorphism \(\psi\in W\) is topologically conjugate to \(f\). Then: Theorem 1.1. If a diffeomorphism \(f\) is structurally stable, then it has the inverse shadowing property with respect to both classes \(\Theta_c\) and \(\Theta_s\), and this property is Lipschitz: there are numbers \(L,d_0>0\) such that if \(p\in M\) and \({\mathcal X}_d\in \Theta_c\) (or \({\mathcal X}_d\in \Theta_s\)) with \(d<d_0\), then there is \(\xi=\{x_k\}_k\) satisfying the inequalities \(\text{dist}(f^k(p),x_k)<Ld\). Denote by \(I_c\) (by \(I_s\)) the set of diffeomorphisms \(f\) having the following property: there is a \(C^1\)-neighbourhood \(W\) of \(f\) such that any diffeomorphism \(\psi\in W\) has the inverse shadowing property with respect to the class \(\Theta_c\) (resp. \(\Theta_s\)). Then: Theorem 1.2. The set of structurally stable diffeomorphisms coincides with \(I_c\cup I_s\).