Subsystems with shadowing property for $\mathbb{Z}^{k}$-actions

Abstract

In this paper, subsystems with shadowing property for $\mathbb{Z}^{k}$-actions are investigated. Let $α$ be a continuous $\mathbb{Z}^{k}$-action on a compact metric space $X$. We introduce the notions of pseudo orbit and shadowing property for $α$ along subsets, particularly subspaces, of $\mathbb{R}^{k}$. Combining with another important property "expansiveness" for subsystems of $α$ which was introduced and systematically investigated by Boyle and Lind, we show that if $α$ has the shadowing property and is expansive along a subspace $V$ of $\mathbb{R}^{k}$, then so does for $α$ along any subspace $W$ of $\mathbb{R}^{k}$ containing $V$. Let $α$ be a smooth $\mathbb{Z}^{k}$-action on a closed Riemannian manifold $M$, $μ$ an ergodic probability measure and $Γ$ the Oseledec set. We show that, under a basic assumption on the Lyapunov spectrum, $α$ has the shadowing property and is expansive on $Γ$ along any subspace $V$ of $\mathbb{R}^{k}$ containing a regular vector; furthermore, $α$ has the quasi-shadowing property on $Γ$ along any 1-dimensional subspace $V$ of $\mathbb{R}^{k}$ containing a first-type singular vector. As an application, we also consider the 1-dimensional subsystems (i.e., flows) with shadowing property for the $\mathbb{R}^{k}$-action on the suspension manifold induced by $α$.