The Retentivity of Four Kinds of Shadowing Properties in Non-Autonomous Discrete Dynamical Systems

Abstract

In this paper, four kinds of shadowing properties in non-autonomous discrete dynamical systems (NDDSs) are discussed. It is pointed out that if an NDDS has a $\mathcal{F}$-shadowing property (resp. ergodic shadowing property, $\overline{d}$ shadowing property, $\underline{d}$ shadowing property), then the compound systems, conjugate systems, and product systems all have accordant shadowing properties. Moreover, the set-valued system $(\mathcal{K}\left(X\right),{\overline{f}}_{1,\infty })$ induced by the NDDS $(X,f_{1,\infty })$ has the above four shadowing properties, implying that the NDDS $(X,f_{1,\infty })$ has these properties.

1. Introduction

Non-autonomous discrete dynamical systems (NDDSs) are a generalization of autonomous discrete dynamical systems (ADDSs). NDDSs are more flexible for describing some dynamic and dynamical behaviors in the real world, and have important theoretical and applied value. The dynamical properties of NDDSs have attracted wide attention from scholars. Since 1996, the chaos of NDDSs began to be of concern. Currently, some studies about the sensitivity and transitivity in NDDSs can be found in [1,2,3,4]. For some studies of Li–Yorke chaos, distributional chaos, dense chaos, Ruelle–Takens chaos, or Kato’s chaos in NDDSs, see [5,6] and others.

The shadowing property of a dynamical system is one of the most important notions in dynamical systems. It is an important tool for studying the chaotic properties of discrete dynamical systems. From the numerical point of view, if a dynamical system has the shadowing property, then numerically obtained orbits reflect the real behavior of trajectories of the systems (see [7,8,9]). With the deepening of research, various new shadowing properties are emerging. The ergodic shadowing property was introduced by Fakhari in [10]. Then, the $\overline{d}$ shadowing property and $\underline{d}$ shadowing property were introduced by Dastjerdi [11], which are on the basis of the ergodic shadowing property. In addition, Oprocha [12] used the Furstenberg family to describe the shadowing property and gave the definition of the $\mathcal{F}$-shadowing property. There exist abundant research results on these shadowing properties. In 2011, Niu [13] studied that if f has the average-shadowing property and the minimal points of f are dense in X, then f is weakly mixing and fully strongly ergodic. In 2017, Ma [14] determined that a nonuniformly expanding map f with the $\overline{d}$ shadowing property or $\underline{d}$ shadowing property is topologically transitive. In 2019, Parham [15] showed that every uniformly equicontinuous non-autonomous discrete-time system with the ordinary shadowing and topologically mixing properties has the ergodic shadowing property. In 2021, Vasisht and Das [16] gave an interrelation among the shadowing property, periodic shadowing property and local weak specification property of an expansive non-autonomous system. Koo [17] proved that an expansive system has the periodic shadowing property if, and only if, its induced hyperspatial system has the periodic shadowing property. Some scholars generalized the notion of the shadowing property to iterated function systems (IFS). In 2016, Nia [18] proved that every uniformly contracting IFS has the asymptotic average shadowing property. If a continuous surjective IFS, F, on a compact metric space, X, has the asymptotic average shadowing property, then F is chain transitive. In [18], the author determined that for every IFS with a shadowing property, chain mixing and topological mixing properties are equivalent. For more research on the shadowing property, see references [19,20,21,22,23] and other works in the literature.

However, most of the literature on shadowing properties is not discussed in NDDSs. In order to generalize the existing conclusions or obtain new results, this paper introduces the concepts of four kinds of shadowing properties in NDDSs. Then, the retentivity of them under the cases of compound, topological conjugate, or product are studied. Further, the relationship of the shadowing properties between non-autonomous discrete dynamical system $(X,f_{1,\infty })$ and the induced set-valued system $(\mathcal{K}\left(X\right),{\overline{f}}_{1,\infty })$ is discussed. The structure of this paper is as follows. In Section 2, some basic definitions and concepts are introduced. In Section 3, the main results are established and proved.

2. Preliminaries

2.1. Non-Autonomous Discrete Dynamical Systems

In this paper, let $X=[0,1]$, and the metric on X is denoted as d. $f_n:X\to X(n\in \mathbb{N})$ is a mapping sequence, and denoted by $f_{1,\infty }=(f_1,f_2,\cdots )$. This sequence defines a non-autonomous discrete dynamical system (NDDS) $(X,f_{1,\infty })$. Under this mapping sequence, the orbit of a point $x\in X$ is $Orb(x,f_{1,\infty })=\left(f_1^n\left(x\right)\right)(n\in \mathbb{N})$, where $f_1^n=f_n\circ \cdots \circ f_1$, $f_1^0$ denotes the identity mapping. Similarly, $f_n^k=f_{n+k-1}\circ \cdots \circ f_{n+1}\circ f_n$.

For any $m\in \mathbb{N}$, denote

$$h_1=f_m\circ \cdots \circ f_1,h_2=f_{2m}\circ \cdots \circ f_{m+1},\cdots ,h_p=f_{pm}\circ \cdots \circ f_{(p-1)m+1},\cdots$$

$(X,h_{1,\infty })$ is called a compound system of $(X,f_{1,\infty })$. To make it easier to see the relationship between system $(X,h_{1,\infty })$ and system $(X,f_{1,\infty })$, the compound system $h_{1,\infty }$ is also denoted by $f_{1,\infty }^{\left[m\right]}$.

The product system $(X\times Y,f_{1,\infty }\times g_{1,\infty })$ of NDDSs $(X,f_{1,\infty })$ and $(Y,g_{1,\infty })$ (the metric of X and Y are $d_1$ and $d_2$, respectively) is defined as $(X\times Y,(f_1\times g_1,f_2\times g_2,\cdots ,f_n\times g_n,\cdots ))$, where

$$f_n\times g_n\left((x,y)\right)=(f_n\left(x\right),g_n\left(y\right))(\forall (x,y)\in X\times Y,n\in \mathbb{N}).$$

Then,

$$f_1^n\times g_1^n\left((x,y)\right)=(f_n\times g_n)\cdots (f_1\times g_1)(x,y)=(f_1^n\left(x\right),g_1^n\left(y\right)).$$

The metric $d^{\prime }$ on $X\times Y$ is given by

$$d^{\prime }((x_1,y_1),(x_2,y_2))=max\{d_1(x_1,x_2),d_2(y_1,y_2)\}$$

for all $(x_1,y_1),(x_2,y_2)\in X\times Y$.

2.2. Set-Valued Systems

Let $\mathcal{K}\left(X\right)$ be the hyperspace on X. That is, $\mathcal{K}\left(X\right)$ is the space of nonempty compact subsets of X with the Hausdorff metric

$$d_H(A,B)=max\{\underset{x\in A}{sup}\underset{y\in B}{inf}d(x,y),\underset{y\in B}{sup}\underset{x\in A}{inf}d(x,y)\}$$

for any $A,B\in \mathcal{K}\left(X\right)$. Clearly, $(\mathcal{K}\left(X\right),d_H)$ is a compact metric space. Then the system $(X,f_{1,\infty })$ induces a set-valued dynamical system $(\mathcal{K}\left(X\right),{\overline{f}}_{1,\infty })$, where ${\overline{f}}_{1,\infty }:\mathcal{K}\left(X\right)\to \mathcal{K}\left(X\right)$ is defined as ${\overline{f}}_{1,\infty }\left(A\right)=f_{1,\infty }\left(A\right)$ for any $A\in \mathcal{K}\left(X\right)$. For any finite collection $A_1,\cdots ,A_n$ of nonempty subsets of X, let

$$⟨A_1,\cdots ,A_n⟩=\{A\in \mathcal{K}\left(X\right):A\subset \bigcup _{i=1}^n{A}_i,A\cap A_i\ne ,1\le i\le n\},$$

where the topology on $\mathcal{K}\left(X\right)$ given by the metric $d_H$ is the same as the Vietoris or finite topology, which is generated by a basis consisting of all sets of the form, $⟨U_1,\cdots ,U_n⟩$, where $\{U_1,\cdots ,U_n\}$ is an arbitrary finite collection of nonempty open subsets of X.

2.3. Basic Definitions

In this section, some definitions of the shadowing properties in NDDSs are given.

Definition 1

([24]). Let $\mathcal{P}$ be the collection of all subsets of ${\mathbb{Z}}^{+}$. A collection $\mathcal{F}\subset \mathcal{P}$ is called a Furstenberg family if it is hereditary upwards, i.e., $F_1\subset F_2$ and $F_1\subset \mathcal{F}$ imply $F_2\subset \mathcal{F}$.

Definition 2

([10]). For a $\delta >0$, a sequence ${\left\{x_i\right\}}_{i=0}^{\infty }\subset X$ is called a δ-ergodic pseudo-orbit of $f_{1,\infty }$ if

$$\underset{n\to \infty }{lim}\frac{1}{n}\left|\{0\le i<n:d(f_{i+1}\left(x_i\right),x_{i+1})<\delta \}\right|=1.$$

Definition 3

([10,11,12]). An NDDS $(X,f_{1,\infty })$ has

(1) 

$\mathcal{F}$-shadowing property if for any $\epsilon >0$ there exists a $\delta >0$ such that every δ-ergodic pseudo-orbit ${\left\{x_i\right\}}_{i=0}^{\infty }\subset X$ is $\mathcal{F}$-ε-shadowed by a point $z\in X$, i.e., $\{i\in {\mathbb{Z}}^{+}:d(f_1^i\left(z\right),x_i)<\epsilon \}\in \mathcal{F}$, where $\mathcal{F}$ is a Furstenberg family;

(2) 

Ergodic shadowing property if for any $\epsilon >0$, there exists a $\delta >0$ such that every δ-ergodic pseudo-orbit ${\left\{x_i\right\}}_{i=0}^{\infty }\subset X$ is ε-ergodic shadowed by a point $z\in X$, i.e.,

$$\underset{n\to \infty }{lim}\frac{1}{n}\left|\{0\le i<n:d(f_1^i\left(z\right),x_i)<\epsilon \}\right|=1;$$

(3) 

$\overline{d}$ shadowing property if for any $\epsilon >0$ there exists a $\delta >0$ such that every δ-ergodic pseudo-orbit ${\left\{x_i\right\}}_{i=0}^{\infty }$ is ε-shadowed by a point $z\in X$ in a way such that

$$\underset{n\to \infty }{lim\; sup}\frac{1}{n}\left|\{0\le i<n:d(f_1^i\left(z\right),x_i)<\epsilon \}\right|>\frac{1}{2};$$

(4) 

$\underline{d}$ shadowing property if for any $\epsilon >0$ there exists a $\delta >0$ such that every δ-ergodic pseudo-orbit ${\left\{x_i\right\}}_{i=0}^{\infty }$ is ε-shadowed by a point $z\in X$ in a way such that

$$\underset{n\to \infty }{lim\; inf}\frac{1}{n}\left|\{0\le i<n:d(f_1^i\left(z\right),x_i)<\epsilon \}\right|>0.$$

Definition 4

([25]). Let $(X,d_1)$ and $(Y,d_2)$ be two metric spaces with non-autonomous mapping sequences $f_{1,\infty }={\left\{f_n\right\}}_{n=1}^{\infty }$ and $g_{1,\infty }={\left\{g_n\right\}}_{n=1}^{\infty }$, respectively. If there is a homeomorphism $h:X\to Y$ such that $h\circ f_n=g_n\circ h$, for all $n=1,2,\cdots$, then $f_{1,\infty }$ and $g_{1,\infty }$ are said to be topologically conjugate.

3. Main Results

3.1. The Retentivity of Shadowing Properties

In this section, we prove some results related to compound operation, topological conjugacy and product for NDDSs with shadowing properties.

Theorem 1.

Let $(X,f_{1,\infty })$ be an NDDS. If $(X,f_{1,\infty })$ has the $\mathcal{F}$-shadowing property (resp., ergodic shadowing property, $\overline{d}$ shadowing property, $\underline{d}$ shadowing property), then so does $(X,f_{1,\infty }^{\left[m\right]})$.

Proof. 

If $m=1$, it is obvious. Suppose that $m\ge 2$. Let $\epsilon >0$ be given. By the $\mathcal{F}$-shadowing property of $f_{1,\infty }$, for any $\epsilon >0$, there exists a $\delta >0$ such that each $\delta$-ergodic pseudo-orbit of $f_{1,\infty }$ is $\mathcal{F}$-$\epsilon$-shadowed by some points in X. Let ${\left\{y_i\right\}}_{i=0}^{\infty }$ be a $\delta$-ergodic pseudo-orbit for $h_{1,\infty }=f_{1,\infty }^{\left[m\right]}$, then

$$\underset{n\to \infty }{lim}\frac{1}{n}\left|\{0\le i<n:d(h_{i+1}\left(y_i\right),y_{i+1})<\delta \}\right|=1.$$

Since $h_{i+1}=f_{im+1}^{(i+1)m}$, then

$$\underset{n\to \infty }{lim}\frac{1}{n}\left|\{0\le i<n:d(f_{im+1}^{(i+1)m}\left(y_i\right),y_{i+1})<\delta \}\right|=1.$$

For $0\le j<m$ and $i\ge 0$, put $x_{im+j}=f_{im+1}^{im+j}\left(y_i\right)$. One can claim that ${\left\{x_i\right\}}_{i=0}^{\infty }$ is a $\delta$-ergodic pseudo-orbit for $f_{1,\infty }$. So

$$\underset{n\to \infty }{lim}\frac{1}{n}\left|\{0\le i<n:d(f_{im+j+1}\left(x_{im+j}\right),x_{im+j+1})<\delta \}\right|=1$$

for $0\le j<m$. Choose any $i\ge 0$. For any $j:0\le j\le m-2$,

$$f_{im+j+1}\left(x_{im+j}\right)=f_{im+j+1}\left(f_{im+1}^{im+j}\left(y_i\right)\right)=f_{im+1}^{im+j+1}\left(y_i\right)=x_{im+j+1}.$$

Therefore, $d(f_{im+j+1}\left(x_{im+j}\right),x_{im+j+1})=0<\delta$ for all $j:0\le j\le m-2$. Now for $j=m-1$, for every $k\in \mathbb{N}$, set $x_{mk}=y_k$, then

$$\underset{n\to \infty }{lim}\frac{1}{n}\left|\{0\le i<n:d(f_{im+m}\left(x_{im+m-1}\right),x_{im+m})<\delta \}\right|=1,$$

where

$$\begin{array}{cc}\hfill d(f_{im+m}\left(x_{im+m-1}\right),x_{im+m})& =d(f_{im+m}\left(f_{im+1}^{im+m-1}\left(y_i\right)\right),x_{(i+1)m})\hfill \\ & =d(f_{im+1}^{(i+1)m}\left(y_i\right),y_{i+1})\hfill \\ & =d(h_{i+1}\left(y_i\right),y_{i+1})\hfill \\ & <\delta .\hfill \end{array}$$

Hence ${\left\{x_i\right\}}_{i=0}^{\infty }$ is a $\delta$-ergodic pseudo-orbit for $f_{1,\infty }$. So, by the $\mathcal{F}$-shadowing property of $(X,f_{1,\infty })$, there is a point $z\in X$ such that ${\left\{x_i\right\}}_{i=0}^{\infty }$ is $\mathcal{F}$-$\epsilon$-shadowed by z, that is,

$$\{i\in {\mathbb{Z}}^{+}:d(f_1^i\left(z\right),x_i)<\epsilon \}\in \mathcal{F}.$$

In particular, taking the value of index i being $mi$, one has

$$\begin{array}{cc}\hfill \{i\in {\mathbb{Z}}^{+}:d(f_1^{mi}\left(z\right),x_{mi})<\epsilon \}& =\{i\in {\mathbb{Z}}^{+}:d(f_1^{mi}\left(z\right),y_i)<\epsilon \}\hfill \\ & =\{i\in {\mathbb{Z}}^{+}:d(h_1^i\left(z\right),y_i)<\epsilon \}\hfill \\ & \in \mathcal{F}.\hfill \end{array}$$

So, z is a point of X which is $\mathcal{F}$-$\epsilon$-shadowing the $\delta$-ergodic pseudo-orbit ${\left\{y_i\right\}}_{i=0}^{\infty }$ of $f_{1,\infty }^{\left[m\right]}$. Thus, $(X,f_{1,\infty }^{\left[m\right]})$ has a $\mathcal{F}$-shadowing property.

Similarly, one can prove the results about the ergodic shadowing property, $\overline{d}$ shadowing property, and $\underline{d}$ shadowing property. □

Theorem 2.

Let $(X,d_1)$ and $(Y,d_2)$ be metric spaces with non-autonomous mapping sequences $f_{1,\infty }$ and $g_{1,\infty }$ defined on them, respectively. If $f_{1,\infty }$ is topologically conjugate to $g_{1,\infty }$, then $(X,f_{1,\infty })$ has an ergodic shadowing property (resp., $\overline{d}$ shadowing property, $\underline{d}$ shadowing property, and $\mathcal{F}$-shadowing property) if, and only if, $(Y,g_{1,\infty })$ also does.

Proof. 

Let ${\epsilon }_2>0$ be given. Since $f_{1,\infty }$ is topologically conjugate to $g_{1,\infty }$, there exists a homeomorphism $h:X\to Y$ such that $h\circ f_n=g_n\circ h$ or $f_n\circ h^{-1}=h^{-1}\circ g_n$ for all $n\ge 0$. By the uniform continuity of h, for every ${\epsilon }_2>0$, $d_1(x,y)<{\epsilon }_1$ for a ${\epsilon }_1>0$ implies $d_2(h\left(x\right),h\left(y\right))<{\epsilon }_2$. Since $f_{1,\infty }$ has an ergodic shadowing property, then for the above ${\epsilon }_1>0$, there exists a ${\delta }_1>0$ such that, ${\delta }_1$-ergodic pseudo-orbit ${\left\{x_i\right\}}_{i=0}^{\infty }$ of $f_{1,\infty }$ can be ${\epsilon }_1$-ergodic shadowed by some points in X. By the uniform continuity of $h^{-1}$, for ${\delta }_1>0$, there is a ${\delta }_2>0$ such that $d_2(x,y)<{\delta }_2$ implies $d_1(h^{-1}\left(x\right),h^{-1}\left(y\right))<{\delta }_1$. The following will prove that each ${\delta }_2$-ergodic pseudo-orbit of $g_{1,\infty }$ can be ${\epsilon }_2$-ergodic shadowed by some points in Y.

Suppose that ${\left\{y_i\right\}}_{i=0}^{\infty }$ is a ${\delta }_2$-ergodic pseudo-orbit of $g_{1,\infty }$, and put $x_i=h^{-1}\left(y_i\right)$ for all $i\in \mathbb{N}$. Since

$$\underset{n\to \infty }{lim}\frac{1}{n}\left|\{0\le i<n:d_2(g_{i+1}\left(y_i\right),y_{i+1})<{\delta }_2\}\right|=1,$$

then

$$\underset{n\to \infty }{lim}\frac{1}{n}\left|\{0\le i<n:d_1(h^{-1}\left(g_{i+1}\left(y_i\right)\right),h^{-1}\left(y_{i+1}\right))<{\delta }_1\}\right|=1,$$

so

$$\begin{array}{cc}& \underset{n\to \infty }{lim}\frac{1}{n}\left|\{0\le i<n:d_1(h^{-1}\left(g_{i+1}\left(y_i\right)\right),h^{-1}\left(y_{i+1}\right))<{\delta }_1\}\right|\hfill \\ & =\underset{n\to \infty }{lim}\frac{1}{n}\left|\{0\le i<n:d_1(f_{i+1}\left(h^{-1}\left(y_i\right)\right),h^{-1}\left(y_{i+1}\right))<{\delta }_1\}\right|\hfill \\ & =\underset{n\to \infty }{lim}\frac{1}{n}\left|\{0\le i<n:d_1(f_{i+1}\left(x_i\right),x_{i+1})<{\delta }_1\}\right|\hfill \\ & =1.\hfill \end{array}$$

Thus ${\left\{x_i\right\}}_{i=0}^{\infty }$ is a ${\delta }_1$-ergodic pseudo-orbit of $f_{1,\infty }$ and there exists $\mathbf{a}$ $z\in X$ such that

$$\underset{n\to \infty }{lim}\frac{1}{n}\left|\{0\le i<n:d_1(f_1^i\left(z\right),x_i)<{\epsilon }_1\}\right|=1.$$

Let $F_i=f_1^i=f_i\circ \cdots \circ f_1,G_i=g_1^i=g_i\circ \cdots \circ g_1$, then

$$\begin{array}{cc}& \underset{n\to \infty }{lim}\frac{1}{n}\left|\{0\le i<n:d_1(F_i\left(z\right),x_i)<{\epsilon }_1\}\right|\hfill \\ & =\underset{n\to \infty }{lim}\frac{1}{n}\left|\{0\le i<n:d_2(h\left(F_i\left(z\right)\right),h\left(x_i\right))<{\epsilon }_2\}\right|\hfill \\ & =\underset{n\to \infty }{lim}\frac{1}{n}\left|\{0\le i<n:d_2(G_i\left(h\left(z\right)\right),y_i)<{\epsilon }_2\}\right|\hfill \\ & =1.\hfill \end{array}$$

So $h\left(z\right)$ is the point in $(Y,g_{1,\infty })$ that ${\left\{y_i\right\}}_{i=0}^{\infty }$ is ${\epsilon }_2$-ergodic shadowed. Therefore, $(Y,g_{1,\infty })$ has an ergodic shadowing property.

On the other hand, let $(Y,g_{1,\infty })$ has an ergodic shadowing property, one can prove that $(X,f_{1,\infty })$ has an ergodic shadowing property.

The proofs of the $\overline{d}$ shadowing property, $\underline{d}$ shadowing property and $\mathcal{F}$-shadowing property are similar to that given above. □

Theorem 3.

Let $(X,d_1)$ and $(Y,d_2)$ be metric spaces with non-autonomous mapping sequences $f_{1,\infty }$ and $g_{1,\infty }$ defined on them, respectively. Then

(1) 

$(X,f_{1,\infty })$ and $(Y,g_{1,\infty })$ have a $\overline{d}$ shadowing property if, and only if, the product system $(X\times Y,f_{1,\infty }\times g_{1,\infty })$ also does;

(2) 

$(X,f_{1,\infty })$ and $(Y,g_{1,\infty })$ have a $\underline{d}$ shadowing property if, and only if, the product system $(X\times Y,f_{1,\infty }\times g_{1,\infty })$ also does;

(3) 

$(X,f_{1,\infty })$ and $(Y,g_{1,\infty })$ have $\mathcal{F}$-shadowing property if, and only if, the product system $(X\times Y,f_{1,\infty }\times g_{1,\infty })$ also does;

(4) 

$(X,f_{1,\infty })$ and $(Y,g_{1,\infty })$ have an ergodic shadowing property if, and only if, the product system $(X\times Y,f_{1,\infty }\times g_{1,\infty })$ also does.

Proof. 

(1) (Necessity) Let $\epsilon >0$, then there exists a ${\delta }_1>0$ such that every ${\delta }_1$-ergodic pseudo-orbit ${\left\{x_i\right\}}_{i=0}^{\infty }$ of $(X,f_{1,\infty })$ can be $\epsilon$-shadowed by some points of $(X,f_{1,\infty })$, and there exists a ${\delta }_2>0$ such that every ${\delta }_2$-ergodic pseudo-orbit ${\left\{y_i\right\}}_{i=0}^{\infty }$ of $(Y,g_{1,\infty })$ can be $\epsilon$-shadowed by some points of $(Y,g_{1,\infty })$. Choose $\delta =max\{{\delta }_1,{\delta }_2\}$. Then

$$\underset{n\to \infty }{lim}\frac{1}{n}\left|\{0\le i<n:d_1(f_{i+1}\left(x_i\right),x_{i+1})<\delta \}\right|=1,$$

$$\underset{n\to \infty }{lim}\frac{1}{n}\left|\{0\le i<n:d_2(g_{i+1}\left(y_i\right),y_{i+1})<\delta \}\right|=1.$$

So

$$\begin{array}{cc}& \underset{n\to \infty }{lim}\frac{1}{n}\left|\{0\le i<n:d^{\prime }((f_{i+1}\times g_{i+1})(x_i,y_i),(x_{i+1},y_{i+1}))<\delta \}\right|\hfill \\ & =\underset{n\to \infty }{lim}\frac{1}{n}\left|\right\{0\le i<n:max\{d_1(f_{i+1}\left(x_i\right),x_{i+1}),d_2(g_{i+1}\left(y_i\right),y_{i+1})\}<\delta |\hfill \\ & =1.\hfill \end{array}$$

Therefore, ${\left\{(x_i,y_i)\right\}}_{i=0}^{\infty }$ is a $\delta$-ergodic pseudo-orbit for $(X\times Y,f_{1,\infty }\times g_{1,\infty })$.

Assume that the NDDSs $(X,f_{1,\infty })$ and $(Y,g_{1,\infty })$ both have the $\overline{d}$ shadowing property. Then there exist $a\in X$ and $b\in Y$ such that

$$\underset{n\to \infty }{lim\; sup}\frac{1}{n}\left|\{0\le i<n:d_1(f_1^i\left(a\right),x_i)<\epsilon \}\right|>\frac{1}{2},$$

$$\underset{n\to \infty }{lim\; sup}\frac{1}{n}\left|\{0\le i<n:d_2(g_1^i\left(b\right),y_i)<\epsilon \}\right|>\frac{1}{2}.$$

Since

$$d^{\prime }((f_1^i\times g_1^i)(a,b),(x_i,y_i))=max\{d_1(f_1^i\left(a\right),x_i),d_2(g_1^i\left(b\right),y_i)\}<\epsilon ,$$

then

$$\underset{n\to \infty }{lim\; sup}\frac{1}{n}\left|\{0\le i<n:d^{\prime }((f_1^i\times g_1^i)(a,b),(x_i,y_i))<\epsilon \}\right|>\frac{1}{2}.$$

Thus, the $\delta$-ergodic pseudo-orbit ${\left\{(x_i,y_i)\right\}}_{i=0}^{\infty }$ is $\epsilon$-shadowed by a point $(a,b)$ in $X\times Y$. That is to say, $(X\times Y,f_{1,\infty }\times g_{1,\infty })$ has a $\overline{d}$ shadowing property.

(Sufficiency) Suppose that $(X\times Y,f_{1,\infty }\times g_{1,\infty })$ has a $\overline{d}$ shadowing property, then for any $\epsilon >0$, there exists a $\delta >0$ such that $\delta$-ergodic pseudo-orbit ${\left\{(x_i,y_i)\right\}}_{i=0}^{\infty }$ of $f_{1,\infty }\times g_{1,\infty }$ can be $\epsilon$-shadowed by a point $(a,b)$ in $X\times Y$. Then

$$\underset{n\to \infty }{lim\; sup}\frac{1}{n}\left|\{0\le i<n:d^{\prime }((f_1^i\times g_1^i)(a,b),(x_i,y_i))<\epsilon \}\right|>\frac{1}{2}.$$

Since

$$d^{\prime }((f_1^i\times g_1^i)(a,b),(x_i,y_i))=max\{d_1(f_1^i\left(a\right),x_i),d_2(g_1^i\left(b\right),y_i)\},$$

then

$$d_1(f_1^i\left(a\right),x_i)\le d^{\prime }((f_1^i\times g_1^i)(a,b),(x_i,y_i))<\epsilon ,$$

$$d_2(g_1^i\left(b\right),y_i)\le d^{\prime }((f_1^i\times g_1^i)(a,b),(x_i,y_i))<\epsilon .$$

Thus

$$\underset{n\to \infty }{lim\; sup}\frac{1}{n}\left|\{0\le i<n:d_1(f_1^i\left(a\right),x_i)<\epsilon \}\right|>\frac{1}{2},$$

$$\underset{n\to \infty }{lim\; sup}\frac{1}{n}\left|\{0\le i<n:d_2(g_1^i\left(b\right),y_i)<\epsilon \}\right|>\frac{1}{2}.$$

Because ${\left\{(x_i,y_i)\right\}}_{i=0}^{\infty }$ is a $\delta$-ergodic pseudo-orbit of $(X\times Y,f_{1,\infty }\times g_{1,\infty })$, it is easy to obtain that ${\left\{x_i\right\}}_{i=0}^{\infty }$, ${\left\{y_i\right\}}_{i=0}^{\infty }$ are $\delta$-ergodic pseudo-orbit of $f_{1,\infty }$ and $g_{1,\infty }$, respectively. Therefore, a $\delta$-ergodic pseudo-orbit ${\left\{x_i\right\}}_{i=0}^{\infty }$ is $\epsilon$-shadowed by a point a in X, and a $\delta$-ergodic pseudo-orbit ${\left\{y_i\right\}}_{i=0}^{\infty }$ is $\epsilon$-shadowed by a point b in Y. Hence $(X,f_{1,\infty })$ and $(Y,g_{1,\infty })$ have a $\overline{d}$ shadowing property.

(2) The proof is similar to (1).

(3) (Necessity) Let $\epsilon >0$, there exist ${\delta }_1>0$ and ${\delta }_2>0$ such that every ${\delta }_1$-ergodic pseudo-orbit of $(X,f_{1,\infty })$ and every ${\delta }_2$-ergodic pseudo-orbit of $(Y,g_{1,\infty })$ can be $\mathcal{F}$-$\epsilon$-shadowed by some point of $(X,f_{1,\infty })$ and $(Y,g_{1,\infty })$, respectively. Choose $\delta =max\{{\delta }_1,{\delta }_2\}$ and let ${\left\{(x_i,y_i)\right\}}_{i=0}^{\infty }$ be a $\delta$-ergodic pseudo-orbit for $(X\times Y,f_{1,\infty }\times g_{1,\infty })$.

Assume that the NDDSs $(X,f_{1,\infty })$ and $(Y,g_{1,\infty })$ both have the $\mathcal{F}$-shadowing property. Then, there exist $a\in X$ and $b\in Y$ such that

$$\{i\in {\mathbb{Z}}^{+}:d_1(f_1^i\left(a\right),x_i)<\epsilon \}\in \mathcal{F},$$

$$\{i\in {\mathbb{Z}}^{+}:d_2(g_1^i\left(b\right),y_i)<\epsilon \}\in \mathcal{F}.$$

Since

$$d^{\prime }((f_1^i\times g_1^i)(a,b),(x_i,y_i))=max\{d_1(f_1^i\left(a\right),x_i),d_2(g_1^i\left(b\right),y_i)\},$$

then

$$\{i\in {\mathbb{Z}}^{+}:d^{\prime }((f_1^i\times g_1^i)(a,b),(x_i,y_i))<\epsilon \}\in \mathcal{F}.$$

Thus, the $\delta$-ergodic pseudo-orbit ${\left\{(x_i,y_i)\right\}}_{i=0}^{\infty }$ is $\mathcal{F}$-$\epsilon$-shadowed by a point $(a,b)$ in $X\times Y$, i.e., $(X\times Y,f_{1,\infty }\times g_{1,\infty })$ has a $\mathcal{F}$-shadowing property.

(Sufficiency) Suppose that $(X\times Y,f_{1,\infty }\times g_{1,\infty })$ has a $\mathcal{F}$-shadowing property, then for any $\epsilon >0$, there exists a $\delta >0$ such that $\delta$-ergodic pseudo-orbit ${\left\{(x_i,y_i)\right\}}_{i=0}^{\infty }$ of $f_{1,\infty }\times g_{1,\infty }$ can be $\mathcal{F}$-$\epsilon$-shadowed by a point $(a,b)$ in $X\times Y$. Then

$$\{i\in {\mathbb{Z}}^{+}:d^{\prime }((f_1^i\times g_1^i)(a,b),(x_i,y_i))<\epsilon \}\in \mathcal{F}.$$

For any integer $i\in \{i\in {\mathbb{Z}}^{+}:d^{\prime }((f_1^i\times g_1^i)(a,b),(x_i,y_i))<\epsilon \}$, one can obtain

$$d_1(f_1^i\left(a\right),x_i)\le max\{d_1(f_1^i\left(a\right),x_i),d_2(g_1^i\left(b\right),y_i)=d^{\prime }((f_1^i\times g_1^i)(a,b),(x_i,y_i))<\epsilon ,$$

$$d_2(g_1^i\left(b\right),y_i)\le max\{d_1(f_1^i\left(a\right),x_i),d_2(g_1^i\left(b\right),y_i)=d^{\prime }((f_1^i\times g_1^i)(a,b),(x_i,y_i))<\epsilon .$$

Thus,

$$\{i\in {\mathbb{Z}}^{+}:d_1(f_1^i\left(a\right),x_i)<\epsilon \}\in \mathcal{F},$$

$$\{i\in {\mathbb{Z}}^{+}:d_2(g_1^i\left(b\right),y_i)<\epsilon \}\in \mathcal{F}.$$

Therefore, the $\delta$-ergodic pseudo-orbit ${\left\{x_i\right\}}_{i=0}^{\infty }$ of $f_{1,\infty }$ is $\mathcal{F}$-$\epsilon$-shadowed by a point a in X, the $\delta$-ergodic pseudo-orbit ${\left\{y_i\right\}}_{i=0}^{\infty }$ of $g_{1,\infty }$ is $\mathcal{F}$-$\epsilon$-shadowed by a point b in Y. Hence $(X,f_{1,\infty })$ and $(Y,g_{1,\infty })$ have the $\mathcal{F}$-shadowing property.

(4) (Necessity) Let $\epsilon >0$, then there exist ${\delta }_1>0$ and ${\delta }_2>0$ such that every ${\delta }_1$-ergodic pseudo-orbit of $(X,f_{1,\infty })$ and every ${\delta }_2$-ergodic pseudo-orbit of $(Y,g_{1,\infty })$ can be $\epsilon$-ergodic shadowed by some points of $(X,f_{1,\infty })$ and $(Y,g_{1,\infty })$, respectively. Choose $\delta =max\{{\delta }_1,{\delta }_2\}$ and let ${\left\{(x_i,y_i)\right\}}_{i=0}^{\infty }$ be a $\delta$-ergodic pseudo-orbit for $(X\times Y,f_{1,\infty }\times g_{1,\infty })$.

Assume that the NDDSs $(X,f_{1,\infty })$ and $(Y,g_{1,\infty })$ both have the ergodic shadowing property. Then, there exist $a\in X$ and $b\in Y$ such that

$$\underset{n\to \infty }{lim}\frac{1}{n}\left|\{0\le i<n:d_1(f_1^i\left(a\right),x_i)<\epsilon \}\right|=1,$$

$$\underset{n\to \infty }{lim}\frac{1}{n}\left|\{0\le i<n:d_2(g_1^i\left(b\right),y_i)<\epsilon \}\right|=1.$$

Similar to (3), one can obtain

$$\underset{n\to \infty }{lim}\frac{1}{n}\left|\{0\le i<n:d^{\prime }((f_1^i\times g_1^i)(a,b),(x_i,y_i))<\epsilon \}\right|=1.$$

So, the $\delta$-ergodic pseudo-orbit ${\left\{(x_i,y_i)\right\}}_{i=0}^{\infty }$ is $\epsilon$-ergodic shadowed by a point $(a,b)$ in $X\times Y$. Thus, $(X\times Y,f_{1,\infty }\times g_{1,\infty })$ has an ergodic shadowing property.

(Sufficiency) Suppose that $(X\times Y,f_{1,\infty }\times g_{1,\infty })$ has an ergodic shadowing property, then for any $\epsilon >0$, there exists a $\delta >0$ such that $\delta$-ergodic pseudo-orbit ${\left\{(x_i,y_i)\right\}}_{i=0}^{\infty }$ of $f_{1,\infty }\times g_{1,\infty }$ can be $\epsilon$-ergodic shadowed by a point $(a,b)$ in $X\times Y$. Then

$$\underset{n\to \infty }{lim}\frac{1}{n}\left|\{0\le i<n:d^{\prime }((f_1^i\times g_1^i)(a,b),(x_i,y_i))<\epsilon \}\right|=1.$$

So

$$d_1(f_1^i\left(a\right),x_i)\le max\{d_1(f_1^i\left(a\right),x_i),d_2(g_1^i\left(b\right),y_i)=d^{\prime }((f_1^i\times g_1^i)(a,b),(x_i,y_i))<\epsilon ,$$

$$d_2(g_1^i\left(b\right),y_i)\le max\{d_1(f_1^i\left(a\right),x_i),d_2(g_1^i\left(b\right),y_i)=d^{\prime }((f_1^i\times g_1^i)(a,b),(x_i,y_i))<\epsilon .$$

Thus

$$\underset{n\to \infty }{lim}\frac{1}{n}\left|\{0\le i<n:d_1(f_1^i\left(a\right),x_i)<\epsilon \}\right|=1,$$

$$\underset{n\to \infty }{lim}\frac{1}{n}\left|\{0\le i<n:d_2(g_1^i\left(b\right),y_i)<\epsilon \}\right|=1.$$

Therefore, the $\delta$-ergodic pseudo-orbit ${\left\{x_i\right\}}_{i=0}^{\infty }$ of $f_{1,\infty }$ is $\epsilon$-ergodic shadowed by a point a in X, the $\delta$-ergodic pseudo-orbit ${\left\{y_i\right\}}_{i=0}^{\infty }$ of $g_{1,\infty }$ is $\epsilon$-ergodic shadowed by a point b in Y. Hence $(X,f_{1,\infty })$ and $(Y,g_{1,\infty })$ have an ergodic shadowing property. □

3.2. The Relationship of Shadowing Properties between $f_{1,\infty }$ and ${\overline{f}}_{1,\infty }$

Now, the relationship of the above four kinds of shadowing properties between NDDSs and the set-valued systems are discussed.

Theorem 4.

Let $(\mathcal{K}\left(X\right),{\overline{f}}_{1,\infty })$ be a set-valued dynamical system induced by $(X,f_{1,\infty })$.

(1) 

If $(\mathcal{K}\left(X\right),{\overline{f}}_{1,\infty })$ has a $\mathcal{F}$-shadowing property, then $(X,f_{1,\infty })$ has a $\mathcal{F}$-shadowing property;

(2) 

If $(\mathcal{K}\left(X\right),{\overline{f}}_{1,\infty })$ has an ergodic shadowing property, then $(X,f_{1,\infty })$ has an ergodic shadowing property;

(3) 

If $(\mathcal{K}\left(X\right),{\overline{f}}_{1,\infty })$ has a $\overline{d}$ shadowing property, then $(X,f_{1,\infty })$ has a $\overline{d}$ shadowing property;

(4) 

If $(\mathcal{K}\left(X\right),{\overline{f}}_{1,\infty })$ has a $\underline{d}$ shadowing property, then $(X,f_{1,\infty })$ has a $\underline{d}$ shadowing property.

Proof. 

(1) Let $\epsilon >0$, then there exists a $\delta >0$ such that every $\delta$-ergodic pseudo-orbit of ${\overline{f}}_{1,\infty }$ is $\mathcal{F}$-$\epsilon$-shadowed by some elements of $\mathcal{K}\left(X\right)$. Let $\{x_i:i\in \mathbb{N}\}$ be a $\delta$-ergodic pseudo-orbit of $f_{1,\infty }$, then $\{\left\{x_i\right\}:i\in \mathbb{N}\}$ is a $\delta$-ergodic pseudo-orbit of ${\overline{f}}_{1,\infty }$. Since

$$\underset{n\to \infty }{lim}\frac{1}{n}\left|\{0\le i<n:d_H({\overline{f}}_{i+1}\left(\left\{x_i\right\}\right),\left\{x_{i+1}\right\})<\delta \}\right|=1,$$

where

$$d_H({\overline{f}}_{i+1}\left(\left\{x_i\right\}\right),\left\{x_{i+1}\right\})=d(f_{i+1}\left(x_i\right),x_{i+1}),$$

then

$$\underset{n\to \infty }{lim}\frac{1}{n}\left|\{0\le i<n:d(f_{i+1}\left(x_i\right),x_{i+1})<\delta \}\right|=1.$$

Then $\{x_i:i\in \mathbb{N}\}$ is a $\delta$-ergodic pseudo-orbit of $f_{1,\infty }$. So we can find an element $A\in \mathcal{K}\left(X\right)$ such that $\{i\in {\mathbb{Z}}^{+}:d_H({\overline{f}}_1^i\left(A\right),\left\{x_i\right\})<\epsilon \}\in \mathcal{F}$, where

$$d_H({\overline{f}}_1^i\left(A\right),\left\{x_i\right\})=\underset{y\in A}{sup}d(f_1^i\left(y\right),x_i)<\epsilon$$

for all $i\in {\mathbb{Z}}^{+}$. So, $d(f_1^i\left(y\right),x_i)<\epsilon$ for any $y\in A$ and all $i\in {\mathbb{Z}}^{+}$. Then $\{i\in {\mathbb{Z}}^{+}:d(f_1^i\left(y\right),x_i)<\epsilon \}\in \mathcal{F}$. Hence, for given $\epsilon >0$, there is a $\delta >0$ such that every $\delta$-ergodic pseudo-orbit $\{x_i:i\in \mathbb{N}\}$ of $f_{1,\infty }$ is $\mathcal{F}$-$\epsilon$-shadowed by some $y\in X$. This implies that $f_{1,\infty }$ has a $\mathcal{F}$-shadowing property.

(2) Let $\epsilon >0$, then there exists a $\delta >0$ such that every $\delta$-ergodic pseudo-orbit of ${\overline{f}}_{1,\infty }$ is $\epsilon$-ergodic shadowed by some element of $\mathcal{K}\left(X\right)$. Let $\{x_i:i\in \mathbb{N}\}$ be a $\delta$-ergodic pseudo-orbit of $f_{1,\infty }$ and $\{\left\{x_i\right\}:i\in \mathbb{N}\}$ is a $\delta$-ergodic pseudo-orbit of ${\overline{f}}_{1,\infty }$. One can find an element $A\in \mathcal{K}\left(X\right)$ such that

$$\underset{n\to \infty }{lim}\frac{1}{n}\left|\{0\le i<n:d_H({\overline{f}}_1^i\left(A\right),\left\{x_i\right\})<\epsilon \}\right|=1,$$

where

$$d_H({\overline{f}}_1^i\left(A\right),\left\{x_i\right\})=\underset{y\in A}{sup}d(f_1^i\left(y\right),x_i)<\epsilon$$

for all $i\in \mathbb{N}$. So, $d(f_1^i\left(y\right),x_i)<\epsilon$ for any $y\in A$ and all $i\in \mathbb{N}$. Then

$$\underset{n\to \infty }{lim}\frac{1}{n}\left|\{0\le i<n:d(f_1^i\left(y\right),x_i)<\epsilon \}\right|=1.$$

Hence, for given $\epsilon >0$, there is a $\delta >0$ such that every $\delta$-ergodic pseudo-orbit $\{x_i:i\in \mathbb{N}\}$ of $f_{1,\infty }$ is $\epsilon$-ergodic shadowed by some $y\in X$. This implies that $f_{1,\infty }$ has an ergodic shadowing property.

(3) Let $\epsilon >0$, then there exists a $\delta >0$ such that every $\delta$-ergodic pseudo-orbit of ${\overline{f}}_{1,\infty }$ is $\epsilon$-shadowed by some elements of $\mathcal{K}\left(X\right)$. Let $\{x_i:i\in \mathbb{N}\}$ be a $\delta$-ergodic pseudo-orbit of $f_{1,\infty }$ and $\{\left\{x_i\right\}:i\in \mathbb{N}\}$ be a $\delta$-ergodic pseudo-orbit of ${\overline{f}}_{1,\infty }$. One can find an element $A\in \mathcal{K}\left(X\right)$ such that

$$\underset{n\to \infty }{lim\; sup}\frac{1}{n}\left|\{0\le i<n:d_H({\overline{f}}_1^i\left(A\right),\left\{x_i\right\})<\epsilon \}\right|>\frac{1}{2},$$

where

$$d_H({\overline{f}}_1^i\left(A\right),\left\{x_i\right\})=\underset{y\in A}{sup}d(f_1^i\left(y\right),x_i)<\epsilon$$

for all $i\in \mathbb{N}$. So any $y\in A$ will satisfy $d(f_1^i\left(y\right),x_i)<\epsilon$ for all $i\in \mathbb{N}$. Then

$$\underset{n\to \infty }{lim\; sup}\frac{1}{n}\left|\{0\le i<n:d(f_1^i\left(y\right),x_i)<\epsilon \}\right|>\frac{1}{2}.$$

Hence, for given $\epsilon >0$, there is a $\delta >0$ such that every $\delta$-ergodic pseudo-orbit $\{x_i:i\in \mathbb{N}\}$ of $f_{1,\infty }$ is $\epsilon$-shadowed by some $y\in X$. This implies that $f_{1,\infty }$ has a $\overline{d}$ shadowing property.

(4) The proof is similar to (3). □

4. Conclusions

In this paper, under the cases of compound, topological conjugate, or product, the retentivity of four kinds of shadowing properties are obtained. Moreover, it is proved that the shadowing properties of ${\overline{f}}_{1,\infty }$ imply the shadowing properties of $f_{1,\infty }$. However, this paper does not obtain the inverse as being true. Is the reverse of Theorem 4 true? Moreover, are other kinds of shadowing properties consistent under topological conjugation (resp. compound and product)? There remain many problems to study in the future.