Abstract
We study the Besicovitch pseudometric \(D_B\) for compact dynamical systems. The set of generic points of ergodic measures turns out to be closed with respect to \(D_B\). It is proved that the weak specification property implies the average asymptotic shadowing property and the latter property does not imply the former one nor the almost specification property. Furthermore an example of a proximal system with the average shadowing property is constructed. It is proved that to every invariant measure \(\mu \) of a compact dynamical system one can associate a certain asymptotic pseudo orbit such that any point asymptotically tracing in average that pseudo orbit is generic for \(\mu \). A simple consequence of the theory presented is that every invariant measure has a generic point in a system with the asymptotic average shadowing property.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The specification property or one of its variants are often applied in the theory of dynamical systemsFootnote 1 to construct invariant measures with special properties (for example, measures of maximal entropy or equilibrium states, see [6, 9]). These properties also help to define points with predetermined statistical behaviour like generic points or “non-typical” points, see [4, 9]. Here, using the Besicovitch pseudometric, we show how to construct a certain asymptotic pseudo orbit associated with a given measure \(\mu \). This generalizes several proofs of existence of generic points for a given invariant measure, provided that a sufficiently strong tracing method is available in the system, e.g. see [7, 8, 31,32,33,34].
The Besicovitch pseudodistance measures the average separation of points along two sequences in the space of all infinite X-valued sequences \(X^{\infty }=\{\{x_{n}\}_{n=0}^{\infty }\,:\,x_n\in X\}\) and is given for \(\underline{x}=\{x_n\}_{n=0}^{\infty }\), \(\underline{x}'=\{x'_{n}\}_{n=0}^{\infty }\in X^{\infty }\) by
It extends naturally to a pseudometric on X given by the average separation of points along orbits of a dynamical system (X, T), that is,
where \(x,y\in X\) and \(\rho \) is a metric on X. An equivalent pseudometric is well known in the ergodic theory and symbolic dynamics as \(\bar{d}\) -pseudometric, see [30, 37]. A similar Weyl pseudodistance and the accompanying notion of quasi-unifrom convergence were also widely studied, see [13, 18].
We prove that a point is generic for a non-necessarily ergodic measure if it asymptotically traces a special approximate trajectory (which in turn is a variant of the average asymptotic pseudoorbit), where the Besicovitch pseudodistance is used to define the pseudotrajectory and measures the accuracy of tracing. Recall that \(x\in X\) is generic for \(\mu \) if
As a corollary we get that if a system has the asymptotic average shadowing property (a notion introduced by Gu in [17], see below), then every invariant measure has a generic point, because in such a system every average asymptotic pseudo-orbit is followed by the orbit of some point. The same result is proved independently in [10] via a direct construction. We believe that using the Besicovitch pseudodistance provides a new perspective and leads to short proofs extending the theory (see the proof of Theorem 21 and Example 23).
In order to compare our result with earlier developments, recall that generic points have full measure for every ergodic invariant measure, but non-ergodic invariant measures need not to have generic points. Sigmund proved that if a dynamical system has the periodic specification property (see [32]), then every invariant measure has a generic point. Many authors generalized this result.
We show that yet another variant of specification, known as the weak specification property implies the asymptotic average shadowing property. This together with results of [19] gives us the following diagram illustrating the connections between main generalizations of specification (we refer the reader to [22] for more details; here “AASP” stands for “(the) asymptotic average shadowing property”):
It is proved in [23] that there are systems with the weak specification property, but without the almost specification property, hence there are systems with the asymptotic average shadowing property, but without almost specification property. This answers a problem we considered in [19]. We finish the paper with an example demonstrating that there are proximal systems with the average shadowing property, which also answers some natural questions one may ask about properties of systems with a generalized shadowing.
This paper is organized as follows. In Sect. 2 we recall some standard definitions from topological dynamics and related fields. Section 3 discusses the definition and basic properties of the Besicovitch pseudometric. In Sect. 4 we show that a set of measures generated by an orbit varies continuously as a function from X equipped with the Besicovitch pseudometric to the space of compact subsets of invariant measures considered with the Hausdorff distance. It follows that the set of generic points of ergodic measures is a closed set with respect to the Besicovitch pseudodistance. Section 5 establishes the relation between weak specification property and asymptotic average shadowing property. Possible applications of our studies on Besicovitch pseudodistance are provided in Sect. 6. Section 7 contains an example of a proximal, mixing shift space exhibiting the average shadowing property, but neither almost nor weak specification.
2 Topological dynamics
2.1 Notation
Throughout this paper a pair (X, T) is a dynamical system. This means that X is a compact metric space and \(T:X\rightarrow X\) is a continuous map. All properties of T considered here are invariants of topological conjugacy, hence they do not depend on the choice of metric. Therefore we fix a metric \(\rho \) for X and assume without loss of generality that the diameter of X is equal to 1.
Given a compact metric space Y and \(A\subset Y\) we denote by \({{\mathrm{dist}}}(y,A)\) the distance of a point \(y\in Y\) to the set A. For \(\varepsilon >0\) we write \(A^{\varepsilon }\) for the \(\varepsilon \) -hull of A, that is the set \(\{y\in X\,:\,{{\mathrm{dist}}}(y,A)<\varepsilon \}\). Let \(2^{Y}=\{K\subset Y\,:\,K\text { compact and }K\ne \emptyset \}\) and \(H_{Y}:2^{Y}\times 2^{Y}\rightarrow \mathbb R_+\) be the Hausdorff metric on \(2^Y\) given by
The upper asymptotic density of \(A\subset \mathbb {N}_0\) is as usual denoted by \(\bar{d}(A)\) and given by
If the above upper limit is in fact a limit, we denote it by d(A) and call the asymptotic density of A.
2.2 Recurrence properties
Recall that T is transitive if for all non-empty open sets \(U,V\subset X\) there exists \(n\ge 0\) such that \(T^n(U)\cap V\ne \emptyset \). We say that T is (topologically) mixing if for all non-empty open sets \(U,V\subset X\) there exists \(N\ge 0\) such that for all \(n\ge N \) one has \(T^n(U)\cap V\ne \emptyset \). A map T is (topologically) weakly mixing if the product map \(T\times T\) is transitive. Finally, T is chain mixing if for every \(\delta >0\) and all \(x,y\in X\) there exists \(N\in \mathbb {N}\) such that for every \(n\ge N\) there is a finite sequence \(x_0,x_1,\ldots ,x_n\) in X satisfying \(x_0=x\), \(x_n=y\), and \(\rho (T(x_{i-1}),x_i)<\delta \) for \(i=1,\ldots ,n\).
2.3 Average shadowing
A sequence \(\{x_{n}\}_{n=0}^{\infty }\in X^{\infty }\) is a \(\delta \) -average pseudoorbit for T if there is an integer \(N_0>0\) such that for every \(N>N_0\) and \(k\ge 0\) one has
A sequence \(\{x_{n}\}_{n=0}^{\infty }\in X^{\infty }\) is an asymptotic average pseudoorbit for T if
Given \(\varepsilon >0\) we say that a sequence \(\{x_j\}_{j=0}^{\infty }\) is \(\varepsilon \) -shadowed in average by a point \(x\in X\) if
We say that \(\{x_{n}\}_{n=0}^{\infty }\in X^{\infty }\) is asymptotically shadowed in average by \(x\in X\) if
A dynamical system (X, T) has the average shadowing property if for every \(\varepsilon >0\) there exists \(\delta >0\) such that every \(\delta \)-average pseudo-orbit is \(\varepsilon \)-shadowed in average by some point. A system (X, T) has the asymptotic average shadowing property if every asymptotic average pseudo-orbit of T is asymptotically shadowed in average by some point.
2.4 Weak specification
An orbit segment of a point x over an interval [a, b], where \(a\le b\) are nonnegative integers is the sequence
Let \(N:\mathbb {N}\rightarrow \mathbb {N}\) be any function. A family of orbit segments \(\xi =\{T^{[a_j,b_j]}(x_j)\}_{j=1}^n\) is an N -spaced specification if \(a_i-b_{i-1} \ge N(b_i-a_i+1) \) for \(2\le i \le n\). A specification \(\xi =\{T^{[a_j,b_j]}(x_j)\}_{j=1}^n\) is \(\varepsilon \)-traced by \(y\in X\) if
A dynamical system (X, T) has the weak specification property if for every \(\varepsilon >0\) there is a nondecreasing function \(M_\varepsilon :\mathbb {N}\rightarrow \mathbb {N}\) with \(M_\varepsilon (n)/n\rightarrow 0\) as \(n\rightarrow \infty \) such that any \(M_\varepsilon \)-spaced specification is \(\varepsilon \)-traced by some point in X. We refer the reader to [22] for more information about specification.
2.5 Invariant measures
Let \(\mathcal M(X)\) be the set of all Borel probability measures on X. Let \({{\mathrm{\overrightarrow{d}}}}:\mathcal M(X)\times \mathcal M(X)\rightarrow \mathbb R_+\) be the Prokhorov metric, that is let
It is well known that the topology induced by \({{\mathrm{\overrightarrow{d}}}}\) is the weak\(^*\) topology on \(\mathcal M(X)\). A measure \(\mu \in \mathcal M(X)\) is:
-
T -invariant, if \(\mu (T^{-1}(B))=\mu (B)\) for every Borel set \(B\subset X\),
-
ergodic, if it is T-invariant and for every Borel set \(B\subset X\) with \(T^{-1}(B)=B\) either \(\mu (B)=0\) or \(\mu (B)=1\).
We denote by \(\mathcal M_T(X)\subset \mathcal M(X)\) the family of all T-invariant measures and by \(\mathcal M_T^e(X)\) the family of all ergodic measures. The measure center of (X, T) is the smallest closed subset F of X such that \(\mu (F)=1\) for every T-invariant measure \(\mu \).
For \(x\in X\) let \(\hat{\delta }(x)\in \mathcal M(X)\) be the Dirac measure supported on \(\{x\}\). Given \(\underline{x}=\{x_{j}\}_{j=0}^{\infty }\in X^{\infty }\) and \(n\in \mathbb {N}\) we define an empirical measure:
For \(x\in X\) let \({{\mathrm{\mathfrak m}}}_T(x,n)\) denote the measure \({{\mathrm{\mathfrak m}}}(\{T^j(x)\}_{j=0}^{\infty },n)\). If T is clear from the context, then we write \({{\mathrm{\mathfrak m}}}(x,n)\) for \({{\mathrm{\mathfrak m}}}_T(x,n)\). We call such a measure an empirical measure of x. A point \(x\in X\) is called generic for \(\mu \in \mathcal M(X)\) if the sequence \(\{{{\mathrm{\mathfrak m}}}_T(x,n)\}_{n=0}^{\infty }\) converges to \(\mu \) in the weak\(^*\) topology. The set of generic points of \(\mu \) is denoted \({{\mathrm{Gen}}}(\mu )\).
A measure \(\mu \in {{\mathrm{\mathcal {M}}}}(X)\) is a distribution measure for a sequence \(\underline{x}=\{x_n\}_{n=0}^{\infty }\in X^\infty \) if \(\mu \) is a limit of some subsequence of \(\{{{\mathrm{\mathfrak {m}}}}(\underline{x},n)\}_{n=1}^\infty \). The set of all distribution measures of a sequence \(\underline{x}\) is denoted by \(\hat{\omega }({\underline{x}})\). Clearly, \(\hat{\omega }({\underline{x}})\) is a closed and nonempty subset of \({{\mathrm{\mathcal {M}}}}(X)\) (since \({{\mathrm{\mathcal {M}}}}(X)\) is compact), it is also connected, because \({{\mathrm{\overrightarrow{d}}}}({{\mathrm{\mathfrak {m}}}}(\underline{x},n),{{\mathrm{\mathfrak {m}}}}(\underline{x},n+1))\rightarrow 0\) as \(n\rightarrow \infty \).
2.6 Symbolic dynamics
Let \(\mathcal {A}\) be a finite set of symbols with discrete topology. Let \(\mathcal {A}^\infty \) be a product topological spaces. By \(\sigma \) we denote the continuous onto map from \(\mathcal {A}^\infty \) to itself given by \(\sigma (\omega )_i=\omega _{i+1}\), where \(\omega =(\omega _i)\in \mathcal {A}^\infty \). A shift space is a nonempty, closed, and \(\sigma \)-invariant subset of \(\mathcal {A}^\infty \). For more details on symbolic dynamics we refer to [25].
3 Besicovitch pseudometric
To elucidate the construction of generic points we introduce the Besicovitch pseudometric. Recall that a pseudometric on X is a function \(p:X\times X\rightarrow [0,\infty )\) which is symmetric, obeys the triangle inequality, and \(p(x,x)=0\) for all \(x\in X\). Every pseudometric space is a topological space in a natural manner, and most notions defined for metric spaces, like the (uniform) equivalence of metrics, remain meaningful for pseudometric spaces.
Recall that \(X^\infty \) denotes the set of all sequences indexed with nonnegative integers with entries in X. Given \(T:X\rightarrow X\) we can define a map (also denoted by T) on \(X^\infty \) by \(T(\underline{x})=\{T(x_n)\}_{n=0}^{\infty }\) for any \(\underline{x}=\{x_n\}_{n=0}^{\infty }\in X^{\infty }\). We define the shift map on \(X^\infty \) by \(\sigma (\underline{x})_n=x_{n+1}\) for \(n\in \mathbb {N}_0\) and \(\underline{x}=\{x_n\}_{n=0}^{\infty }\in X^{\infty }\).
We can restate the definition of a pseudo orbit in our notation as follows: a sequence \(\underline{x}=\{x_n\}_{n=0}^{\infty }\in X^\infty \) is a \(\delta \)-pseudo orbit if \(D_{\sup }(T(\underline{x}),\sigma (\underline{x}))<\delta \), where \(D_{\sup }\) denotes the supremum metric on \(X^\infty \). The orbit of \(y\in X\) is said to \(\varepsilon \) -trace \(\underline{x}\in X^\infty \) if the sequence of \(\{T^n(y)\}_{n=0}^{\infty }\in X^\infty \) is \(\varepsilon \)-close to \(\underline{x}\) in the \(D_{\sup }\) sense. It turns out that in order to construct invariant measures and generic points it is convenient to work with the following pseudometric on \(X^\infty \).
Definition 1
The Besicovitch pseudometric \(D_B\) on \(X^{\infty }\) is defined for \(\underline{x}=\{x_n\}_{n=0}^{\infty }\), \(\underline{x}'=\{x'_{n}\}_{n=0}^{\infty }\in X^{\infty }\) by
The Besicovitch pseudometric on (X, T), also denoted by \(D_B\), equals the \(D_B\)-distance between orbits, that is,
It is easy to see that these functions are indeed pseudometrics on \(X^\infty \) and X, respectively. Furthermore, \(D_B\) is \(\sigma \)-invariant on \(X^\infty \) and T-invariant on X. Besicovitch used a similar pseudodistance in his study of almost periodic functions, but the idea of measuring the average distance along two orbits in a dynamical systems is so natural that probably it has been reinvented independently by many authors, see Aulsander [2] who mentions earlier works of Fomin and Oxtoby, or [5, 11, 12, 15, 28] for more recent applications.
The pseudometric \(D_B\) depends on \(\rho \) but this is not reflected in our notation because we will show that equivalent metrics induce uniformly equivalent Besicovitch pseudometrics.
Lemma 2
Let X be a compact metric space and \(\rho \) be a compatible metric on X. Then the Besicovitch pseudometric and the pseudometric \(D'_B\) on \(X^\infty \) given for \(\underline{x}=\{x_i\}_{i=0}^\infty \) and \(\underline{z}=\{z_i\}_{i=0}^\infty \) by
are uniformly equivalent on \(X^\infty \).
Proof
Given \(\underline{x},\underline{z}\in X^\infty \) and \(\delta >0\) we define
Let \(\chi _\delta \) denote the characteristic function of \(J_\delta (\underline{x},\underline{z})\). Recall that \({{\mathrm{diam}}}X=1\), hence we have
Summing the above from \(n=0\) to \(N-1\), dividing by N and passing with N to infinity we get
Note also that
Fix \(\varepsilon >0\). We claim that if \(\delta <\varepsilon / 2\), then \(D'_B(\underline{x},\underline{z})<\delta \) implies \(D_B(\underline{x},\underline{z})<\varepsilon \). To prove the claim assume that \(D'_B(\underline{x},\underline{z})< \varepsilon /2\) and use (2) to see that the right hand side of (1) is strictly smaller than \(\varepsilon \). This proves our claim and yields uniform continuity of \(\text {id}:(X^\infty , D_B')\rightarrow (X^\infty ,D_B)\).
We now show that \(\text {id}:(X^\infty , D_B)\rightarrow (X^\infty ,D_B')\) is uniformly continuous. Fix \(\varepsilon >0\) and \(\delta <\varepsilon ^2\). Take any pair \(\underline{x},\underline{z}\in X^\infty \) such that \(D_B(\underline{x},\underline{z})<\delta \). Then by the first inequality in (1) and the definition of \(\delta \) we see that
Therefore \(\bar{d}(J_\varepsilon (\underline{x},\underline{z}))<\varepsilon \), which implies that \(D'_B(\underline{x},\underline{z})\le \varepsilon \) by (2). \(\square \)
Lemma 2 yields immediately the following corollary (for a proof it is enough to note that if \(\rho \) and \(\tilde{\rho }\) are uniformly equivalent, then so are \(D'_B\) and \(\tilde{D}'_B\)).
Corollary 3
Let \(\tilde{\rho }\) be another compatible metric on X and \(\tilde{D}_B\) and \(\tilde{D}'_B\) be defined as above with \(\tilde{\rho }\) in place of \(\rho \). Then \(\tilde{D}_B\) and \(D_B\) are uniformly equivalent on \(X^\infty \).
We will now prove that if \((X,\sigma )\) is a shift space (symbolic dynamical system), then the Besicovitch pseudometric is uniformly equivalent with the \(\bar{d}\)-pseudometric measuring the upper asymptotic density of the set of coordinates at which two symbolic sequences differ. This is probably a folklore, but for completeness we present a proof inspired by [13].
Let (X, T) be a dynamical systems and \(x\in X\). We define \(\underline{x}_T\) to be the sequence \(x, T(x), T^2(x),\ldots \in X^\infty \). Given a continuous function \(f:X\rightarrow \mathbb {R}\) we define
and for any family \(\mathcal {F}\) containing continuous functions from X to \(\mathbb {R}\) we set
Theorem 4
Let (X, T) be a dynamical system and let \(\mathcal {F}\) be a uniformy equicontinuous and uniformly bounded family of real-valued functions on X such that \(\mathcal {F}_T=\{f\circ T^j : f\in \mathcal {F},\, j\ge 0\}\) separates the points of X. Then the pseudometrics \(D_B\) and \(D^\mathcal {F}_B\) are uniformly equivalent on X.
Proof
Using compactness it is easy to see that if the family \(\mathcal {F}_T\) separates the points of X, then there exists a sequence \(\{f_n\}_{n=1}^\infty \subset \mathcal {F}_T\) separating the points of X, where \(f_n=g_n\circ T^{k(n)}\) for some \(k(n)\ge 0\) and \(g_n\in \mathcal {F}\). Let \(x,x'\in X\) and \(n\ge 1\). Define \(z=T^{k(n)}(x)\) and \(z'=T^{k(n)}(x')\). Note that
Therefore
Take any sequence of weights \(\{a_n\}_{n=1}^\infty \subset \) such that
where \(||\cdot ||_\infty \) denotes the sup norm. For \(y,z\in X\) define
Note that \(\rho '\) is a metric on X equivalent to \(\rho \) because \(f_n\)’s are equicontinuous and separate the points of X.
Fix \(\varepsilon >0\). Find \(m\in \mathbb {N}\) such that
Let \(x,x'\in X\) be such that \(D^{\mathcal {F}}_B(x,x')<\varepsilon /(2m)\). By Corollary 3 the Besicovitch pseudometric \(D'_B\) associated with \(\rho '\) is uniformly equivalent to \(D_B\). Therefore it is enough to check that \(D_B'(x,x')<\varepsilon \). We have
The last inequality holds because we took \(x,x'\in X\) with \(D^{\mathcal {F}}_B(x,x')<\varepsilon /(2m)\). This proves that
is uniformly continuous.
To prove that
is uniformly continuous one can follow the reasoning as in the proof of Lemma 2 to conclude that thanks to the uniform boundedness of \(\mathcal {F}\) it is enough to show that for every \(\varepsilon >0\) there exists \(\delta >0\) such that if \(x,x'\in X\) satisfy \(D_B(x,x')<\delta \) then for every \(f\in \mathcal {F}\) we have
The latter easily follows from uniform equicontinuity of \(\mathcal {F}\) and Lemma 2. \(\square \)
Observe that any finite family \(\mathcal {F}\) is uniformly equicontinuous and uniformly bounded. In particular, if X is the space of sequences over a finite alphabet and T is the shift map, then taking \(\mathcal {F}=\{\iota _0\}\), where \(\iota _0(x_0x_1x_2\ldots )=x_0\) yields the following corollary.
Corollary 5
If \(\mathcal {A}\) is a finite set with discrete topology, then the Besicovitch pseudometric associated with any admissible metric on the product space \(\mathcal {A}^\infty \) and the \(\bar{d}\) -pseudometric on \(\mathcal {A}^\infty \) given by
are uniformly equivalent.
4 Besicovitch pseudometric and invariant measures
We are going to show that the map \(\underline{x}\mapsto \hat{\omega }({\underline{x}})\) is a uniformly continuous map from \(X^\infty \) equipped with \(D_B\) to the space of nonempty compact subsets of \({{\mathrm{\mathcal {M}}}}(X)\) equipped with the Hausdorff metric.
Lemma 6
For every \(\varepsilon >0\) there is \(\delta >0\) such that if \(\underline{x},\underline{x}'\in X^{\infty }\) and \(D_B({\underline{x}},{\underline{x}'})<\delta \), then \({{\mathrm{\overrightarrow{d}}}}({{\mathrm{\mathfrak m}}}(\underline{x},n),{{\mathrm{\mathfrak m}}}(\underline{x}',n))\le \varepsilon \) for all sufficiently large n.
Proof
Fix \(\varepsilon >0\). By Lemma 2 there exist \(\delta >0\) such that if \(\underline{x},\underline{x}'\in X^{\infty }\) and \(D_B({\underline{x}},{\underline{x}'})<\delta \), then one can find \(N\in \mathbb {N}\) such that for every \(n\ge N\) one has
Take \(n\ge N\) and a Borel set \(B\subset X\). We have
Hence \({{\mathrm{\overrightarrow{d}}}}\big ({{\mathrm{\mathfrak m}}}(\underline{x},n),{{\mathrm{\mathfrak m}}}(\underline{x}',n)\big )\le \varepsilon \) for all \(n\ge N\). \(\square \)
Theorem 7
For every \(\varepsilon >0\) there is \(\delta >0\) such that for all \(\underline{x},\underline{x}'\in X^{\infty }\) with \(D_B({\underline{x}},{ \underline{x}'})<\delta \) one has \(H_{\mathcal {M}(X)}(\hat{\omega }({\underline{x}}),\hat{\omega }({\underline{x}'}))<\varepsilon \).
Proof
Fix \(\varepsilon >0\). Use Lemma 6 to find \(\delta \) for \(\varepsilon /3\). Take \(\underline{x},\underline{x}'\in X^\infty \) such that \(D_B(\underline{x},\underline{x}')<\delta \). Let \(\mu \in \hat{\omega }(\underline{x})\). Then \(\mu =\lim \limits _{k\rightarrow \infty }\{\mathfrak {m}(\underline{x},n_k)\}_{k=0}^{\infty }\) for some strictly increasing sequence \(\{n_{k}\}_{k=0}^{\infty }\in \mathbb {N}^{\infty }\). Let \(\nu \) be an accumulation point of the sequence \(\{\mathfrak m(\underline{x}',n_k)\}_{k=0}^{\infty }\). Taking a subsequence we can assume that
By Lemma 6 we have \({{\mathrm{\overrightarrow{d}}}}(\mathfrak {m}(\underline{x},n_k),\mathfrak m(\underline{x}',n_k))\le \varepsilon /3\) provided that k is large enough. Let k be sufficiently large to guarantee also that \({{\mathrm{\overrightarrow{d}}}}(\mu ,\mathfrak {m}(\underline{x},n_k))<\varepsilon /3\) and \({{\mathrm{\overrightarrow{d}}}}(\nu ,\mathfrak m(\underline{x}',n_k))<\varepsilon /3\). Consequently,
Hence we have
Therefore \(\max \left\{ {{\mathrm{dist}}}(\mu , \hat{\omega }({\underline{x}'}))\,:\,\mu \in \hat{\omega }({\underline{x}})\right\} <\varepsilon \). By the same argument we also have \(\max \left\{ {{\mathrm{dist}}}(\nu , \hat{\omega }({\underline{x}}))\,:\,\nu \in \hat{\omega }({\underline{x}'})\right\} <\varepsilon \) and hence \(H_{\mathcal M(X)}\big (\hat{\omega }({\underline{x}}),\hat{\omega }({\underline{x}'})\big )<\varepsilon \). \(\square \)
Corollary 8
Let \(\underline{x},\underline{x}'\in X^\infty \). If \(D_B({\underline{x}},{\underline{x}'})=0\), then \(\hat{\omega }({\underline{x}})=\hat{\omega }({\underline{x}'})\).
Remark 9
It is easy to see that if \(\underline{x}=\{x_n\}_{n=0}^{\infty }\in X^{\infty }\) is a \(\delta \)-average-pseudo-orbit for T, then \(D_B({T(\underline{x})},{\sigma (\underline{x})})<\delta \).
For any continuous map \(T:X\rightarrow X\) let \(\hat{T}:\mathcal M(X)\rightarrow \mathcal M(X)\) be given by the formula \(\hat{T}(\mu )=\mu \circ T^{-1}\). The proof of the following fact can be found in [9, Proposition 3.2] (see also [35, Theorem 6.7]).
Theorem 10
The map \(\hat{T}:\mathcal M(X)\rightarrow \mathcal M(X)\) is continuous. Additionally, \(\hat{T}\) is surjective if and only if T is surjective.
Corollary 11
For every \(\varepsilon >0\) there is \(\delta >0\) such that if \(\underline{x}=\{x_n\}_{n=0}^{\infty }\in X^\infty \) fulfills \(D_B(T(\underline{x}),\sigma (\underline{x}))<\delta \), then for every \(\mu \in \hat{\omega }({\underline{x}})\) one has \({{\mathrm{\overrightarrow{d}}}}(\mu ,\hat{T}(\mu ))<\varepsilon \).
Proof
Let \(\mu \in \hat{\omega }({\underline{x}})\) and \({{\mathrm{\mathfrak m}}}(\underline{x}, k_n)\rightarrow \mu \) as \(n\rightarrow \infty \), where \(\{k_n\}_{n=0}^\infty \) is a strictly increasing sequence of nonnegative integers. For every Borel set B and every \(x\in X\) one has \(\hat{\delta }(x)\big (T^{-1}(B)\big )=\hat{\delta }\big (T(x)\big )(B)\). Consequently,
Because of the continuity of \(\hat{T}\) one has
Note that \({{\mathrm{\overrightarrow{d}}}}\big ({{\mathrm{\mathfrak m}}}(\underline{x},n),{{\mathrm{\mathfrak m}}}(\sigma (\underline{x}),n)\big )\le 2/n\) holds for every \(n\in \mathbb {N}\). Hence
To finish the proof fix \(\varepsilon >0\) and use Lemma 6 to pick \(\delta >0\) for \(\varepsilon /2\). Then \(D_B\big (\sigma (\underline{x}), T(\underline{x})\big )<\delta \) implies \({{\mathrm{\overrightarrow{d}}}}({{\mathrm{\mathfrak m}}}(\sigma (\underline{x}),k_n),{{\mathrm{\mathfrak m}}}(T(\underline{x}),k_n))\le \varepsilon /2\) for all sufficiently large n. Therefore \({{\mathrm{\overrightarrow{d}}}}\big (\mu , \hat{T}(\mu )\big )<\varepsilon \) by (3) and (4). \(\square \)
Remark 12
A sequence \(\underline{x}=\{x_n\}_{n=0}^{\infty }\) is an asymptotic average pseudo orbit if and only if \(D_B({T(\underline{x})},{\sigma (\underline{x})})=0\).
Corollary 13
If \(\underline{x}=\{x_n\}_{n=0}^{\infty }\in X^{\infty }\) is an asymptotic average pseudo orbit, then \(\hat{\omega }({\underline{x}})\subset \mathcal M_T(X)\).
Proof
Since \(D_B({T(\underline{x})},{\sigma (\underline{x})})=0\) it follows from Corollary 11 that for every \(\varepsilon >0\) and every \(\mu \in \hat{\omega }({\underline{x}})\) one has \({{\mathrm{\overrightarrow{d}}}}(\mu , \hat{T}(\mu ))\le \varepsilon \). Hence \(\mu =\hat{T}(\mu )\) and so \(\mu \in \mathcal M_T(X)\). \(\square \)
We finish this section with a yet another application of the Besicovitch pseudometric. Although we will not use this result we add it here since we belive it is of independent interest. Note that Weiss [37] proves the analog of Theorem 15 for symbolic system and convergence with respect to the \(\bar{d}\)-pseudometric. By Corollary 5 Weiss’ result follows from our theorem.
Theorem 14
([29], Sect. 5) Let \(x\in X\) be generic for some \(\mu \in {{\mathrm{\mathcal {M}}}}_T(X)\). Then the following conditions are equivalent:
-
(1)
\(\mu \in {{\mathrm{\mathcal {M}}}}_T^e(X)\),
-
(2)
For all \(f\in \mathcal {C}(X)\) and \(\alpha >0\)
$$\begin{aligned} \bar{d}\left( \bigg \{n\,:\,\bigg |\frac{1}{k}\sum _{j=0}^{k-1}f\big (T^{n+j}(x)\big )-\int _Xf\text {d}\mu \bigg |>\alpha \bigg \}\right) \rightarrow 0 \quad \text { as } \quad k\rightarrow \infty . \end{aligned}$$
Theorem 15
Let \(\{\mu _p\}_{p=1}^{\infty }\subset \mathcal M_T^e(X)\) and \(\{x_p\}_{p=1}^{\infty }\subset X^{\infty }\) be such that \(x_p\) is a generic point for \(\mu _p\) for every \(p\in \mathbb {N}\). If \(x\in X\) is such that \(D_B(x_p, x)\rightarrow 0\) as \(p\rightarrow \infty \), then x is generic for some \(\mu \in {{\mathrm{\mathcal {M}}}}_T^e(X)\).
Proof
By Theorem 7 the function \((X^{\infty }, D_B)\ni \underline{x}\rightarrow \hat{\omega }({\underline{x}})\in \left( {{\mathrm{\mathcal {M}}}}(X), H_{{{\mathrm{\mathcal {M}}}}(X)}\right) \) is continuous, and so there exists \(\mu \in \mathcal {{\mathrm{\mathcal {M}}}}_T(X)\) such that \(\mu _p\rightarrow \mu \) as \(p\rightarrow \infty \) and \(x\in {{\mathrm{Gen}}}(\mu )\). We will show that \(\mu \in {{\mathrm{\mathcal {M}}}}_T^e(X)\). To this end we are going to show that the condition from Theorem 14(2) is fulfilled. Fix \(f\in \mathcal {C}(X)\). Notice that for every \(k,n,p\in \mathbb {N}\) we have
Take any \(\alpha >0\). Let \(P'\in \mathbb {N}\) be such that for every \(p\ge P'\) we have
Then for every \(p\ge P'\) and any k we have
Therefore it is enough to prove that for any \(\varepsilon >0\) we can find \(p\ge P'\) and \(K\in \mathbb {N}\) such that for all \(k\ge K\) the following inequalities hold
Note that the second inequality above holds for each p and all sufficiently large k by Theorem 14. So assume that the first inequality fails for some parameter \(\varepsilon \), that is, there exists \(\varepsilon _0>0\) such that for all \(p\ge P'\) and every \(K\in \mathbb {N}\) there is \(k_0\ge K\) with
Let \(\delta >0\) be such that \(x',x''\in X\) and \(\rho (x',x'')<\delta \) imply \(|f(x')-f(x'')|<\alpha /6\). We are going to show that (5) implies that there is a constant \(\gamma >0\) such that for all \(p\ge P'\) we have
But the inequality (6) cannot hold for all p, because it contradicts \(D_B(x_p,x)\rightarrow 0\) as \(p\rightarrow \infty \). Hence it remains to prove that (5) implies (6). Let \(k_0\) be one of those k’s for which (5) holds and let
It follows from (5) that for each \(N_0\) there exists \(n\ge N_0\) such that \(\#B(n)\ge n\varepsilon _0/4\). For each \(m\in B(n)\) it is easy to see that
Therefore for infinitely many n we have
But the above inequality clearly yields (6). \(\square \)
5 Weak specification implies the asymptotic average shadowing property
In [19] it was proved that a surjective system with the almost specification property satisfies the asymptotic average shadowing property. On the other hand it follows from [23] that the notions of almost specification and weak specification are independent, that is there exist: a system with the weak specification property which does not have the almost specification property and a system satisfying the almost specification property without the weak specification property. In this section we will show that weak specification also implies the asymptotic average shadowing property.
Recall that \(g :\mathbb {N}\times (0,\varepsilon _0)\rightarrow \mathbb {N}_0\), where \(\varepsilon _0>0\), is a mistake function if for all \(\varepsilon <\varepsilon _0\) and all \(n \in \mathbb {N}\) we have \(g(n, \varepsilon ) \le g(n + 1, \varepsilon )\) and \(g(n, \varepsilon )/n\rightarrow 0\) as \(n\rightarrow \infty \). Given a mistake function g we define a function \(k_g:(0,\infty ) \rightarrow \mathbb {N}\) by \(k_g(\varepsilon )=\min \{n\in \mathbb {N}\,:\,g(m,\varepsilon )<m\varepsilon \text { for all }m\ge n\}\). For \(0<\varepsilon <\varepsilon _0\) and \(n\ge k_g(\varepsilon )\) large enough for the inequality \(g(n, \varepsilon ) < n\) to hold we set
Given \(x\in X\), \(\varepsilon >0\), \(n\in \mathbb {N}\) and a mistake function g we define a Bowen ball by
and a Bowen ball with mistakes by
We also need the following:
Lemma 16
([22], Theorem 17) Let (X, T) be a dynamical system. If T is surjective and has the weak specification property, then T is mixing.
Lemma 17
Let (X, T) be a surjective dynamical system with the weak specification property and \(M_\varepsilon (n)\) is the constant associated to \(\varepsilon >0\) and \(n\in \mathbb {N}\) in the definition of the weak specification property. Assume we are given
-
(1)
an increasing sequence of integers \(\{\alpha _j\}_{j=1}^{\infty }\subset \mathbb {N}\) with \(\alpha _1=1\),
-
(2)
a sequence of positive real numbers \(\{\varepsilon _i\}_{i=1}^{\infty }\) such that for every \(i\in \mathbb {N}\) one has
$$\begin{aligned}\varepsilon _{\alpha _i}=\varepsilon _{\alpha _i+1}=\cdots =\varepsilon _{\alpha _{i+1}-1}=2\cdot \varepsilon _{\alpha _{i+1}},\end{aligned}$$ -
(3)
a sequence of points \(\{x_i\}_{i=1}^{\infty }\subset X\),
-
(4)
a sequence of integers \(\{n_i\}_{i=0}^{\infty }\) satisfying \(n_0=0\), \(M_{\varepsilon _i/2}(n_i)\le n_i\) and
$$\begin{aligned} n_{\alpha _i}=n_{\alpha _i+1}=\cdots =n_{\alpha _{i+1}-1}\text { for any }i\in \mathbb {N}. \end{aligned}$$
Then, setting
we can find \(z\in X\) such that for every \(j\in \mathbb {N}\) we have
\(\text {where }g:\mathbb {N}\times (0,1)\rightarrow \mathbb {N}\text { is given by }g(n,\varepsilon )=M_{\varepsilon /2}(n)\).
Proof
We will define inductively a sequence \(\{z_n\}_{n=1}^{\infty }\subset X\) such that for every \(i\in \mathbb {N}\), every \(s=1,2,\ldots , i\) and every \(j\in \{\alpha _s,\ldots , \alpha _{s+1}-1\}\) we have
Observe that if we put \(m=k+M_{\varepsilon }(k)\) for some \(k\in \mathbb {N}\) and \(\varepsilon >0\) then \(M_{\varepsilon }(m)\ge M_{\varepsilon }(k)\). It follows that (7) implies that
We will now define \(z_1\). Take \(j\in \{1,2,\ldots ,\alpha _2-1\}\) and note that if we set \(a_j=l_{j-1}+M_{\varepsilon _1/2}(n_{j})\) and \(b_j=l_{j-1}+n_{j}\), then
is an \(M_{\varepsilon _1/2}(n_1)\)-spaced specification. By the weak specification property, there exists \(z_1\) satisfying
for each \(j=1,\ldots , \alpha _{2}-1\). Indeed (7) holds for \(i=1\).
Assume that we have constructed a point \(z_k\) satisfying (7). Then the sequence
where \(a_j=l_{j-1}+M_{\varepsilon _{j}/2}(n_{j})\) and \(b_j=l_{j-1}+n_{j}\) for \(j=\alpha _{k+1},\ldots , \alpha _{k+2}-1\) is an \(M_{\varepsilon _{\alpha _{k+1}}/2}(n_{\alpha _{k+1}})\)-spaced specification. Using the weak specification property we find a point \(z_{k+1}\) which \(\varepsilon _{\alpha _{k+1}}/2\)-traces the specification given by (9). Observe that for \(s=1,\ldots , k\) and \(j=\alpha _s,\ldots , \alpha _{s+1}-1\) we have
hence (7) is satisfied also with \(i=k+1\). Finally note that \(d(z_n,z_{n+1})<\varepsilon _{\alpha _{n+1}}\) for every n, hence \(\left\{ z_n\right\} _{n=1}^\infty \) is a Cauchy sequence. Putting \(z=\lim _{n\rightarrow \infty } z_n\) ends the proof by (8). \(\square \)
The next theorem is an analog of [19, Theorem 3.5]. Although the weak specification property and the almost specification property are independent the proof follows the same lines.
Theorem 18
If a surjective dynamical system (X, T) has the weak specification property, then it has the asymptotic average shadowing property.
Proof
The proof [19, Theorem 3.5] relies on chain mixing of every surjective dynamical system with the almost specification property ([19, Lemma 3.2]) and [19, Lemma 3.4]. The latter result is analogous to Lemma 17 with the only difference, that the almost specification property is replaced by the weak specification property. Therefore the Theorem follows from the proof of [19, Theorem 3.5] with Lemma 16 and 17 used where [19, Lemma 3.2] and [19, Lemma 3.4] were applied in [19]. \(\square \)
Remark 19
In fact, it was proved in [38, Corollary 6.9] that there is no need to assume that T is surjective in [19, Theorem 3.5]. We do not know whether the surjectivity assumption can be relaxed in Theorem 18.
6 Asymptotic average pseudo-orbits and periodic decompositions
Following Banks [3] we say that a collection \(\mathcal D=\{D_0,\ldots ,D_{n-1}\}\) of subsets of X is a regular periodic decomposition if the following conditions are satisfied:
-
(1)
\(T(D_i)\subset D_{(i+1)\,\text {mod}\,n}\) for \(0\le i<n\),
-
(2)
\(D_i=\overline{\text {int}(D_i)}\) for each \(0\le i<n\),
-
(3)
the intersection \(D_i\cap D_j\) is nowhere dense whenever \(i\ne j\),
-
(4)
\(\bigcup _{i=0}^{n-1}D_i=X\).
Before we state the main result of this section we make the following observation. We leave the proof to the reader.
Remark 20
Fix \(r>0\). Let \(\{n_k\}_{k=0}^{\infty }\subset \mathbb {N}\) be such that \(0=n_0<n_1<n_2<\ldots \) and \(n_k=0\; (\text {mod }r)\). Then \(\bar{d}\big (\{s_N\,:\,N\in \mathbb {N}\}\big )=0\), where \(s_N=\sum _{j=0}^N n_j\). If \(\underline{z}=\{z_j\}_{j=0}^{\infty }\) is given by \(z_k=T^{k-s_N}(y_N)\) for \(s_N\le k<s_{N+1}\), where \(\{y_N\}_{N=0}^{\infty }\subset X\), then:
-
(1)
The sequence \(\underline{z}=\{z_n\}_{n=0}^{\infty }\) is an average asymptotic pseudo orbit for T and \(\underline{z}'=\{z_{nr}\}_{n=0}^{\infty }\) is an average asymptotic pseudo orbit for \(T^r\).
-
(2)
If \(x\in X\) is such that \(D_B(\underline{z}',\underline{x}_{T^r})=0\), then \(D_B(\underline{z},\underline{x}_{T})=0\).
Now we are ready to prove the following.
Theorem 21
Assume that (X, T) is a dynamical system with a regular periodic decomposition \(\{D_0,\ldots , D_{r-1}\}\) and that \((D_0,T^r)\) has the asymptotic average shadowing property. If \(V\subset {{\mathrm{\mathcal {M}_T}}}(X)\) is nonempty, closed and connected, then there is a point \(x\in X\) such that \(\hat{\omega }({x})=V\). In particular, every T-invariant measure has a generic point.
Proof
Let V be a nonempty, closed and connected subset of \({{\mathrm{\mathcal {M}_T}}}(X)\). Sigmund (see [34, Remark 1]) proved that there is an asymptotic average pseudoorbit \(\underline{z}=\{z_n\}_{n=0}^{\infty }\) for T such that \(\hat{\omega }({\underline{z}})=V\) (note that Sigmund used different terminology). It is easy to see that actually [34, Remark 1] allows us to assume that \(z_k=T^{k-s_N}(y_N)\) for \(s_N\le k<s_{N+1}\) for some sequences \(\{n_k\}_{k=0}^{\infty }\subset \mathbb {N}\) and \(\{y_N\}_{N=0}^{\infty }\subset D_0\) such that \(0=n_0<n_1<n_2<\cdots \) and \(n_k=0\; (\text {mod }r)\). By Remark 20 the sequence \(\underline{z}'=\{z_{nr}\}_{n=0}^{\infty }\) is an average asymptotic pseudo-orbit for \(T^r\) and furthermore, by definition we obtain that also \(\underline{z}'\subset D_0\). Let \(x\in D_0\) asymptotically trace on average \(\underline{z}'\) for \(T^r\). Then \(D_B(\underline{z}',\underline{x}_{T^r})=0\) and using Remark 20 one more time we get \(D_B(\underline{z},\underline{x}_T)=0\). By Corollary 8 we have \(\hat{\omega }({x})=\hat{\omega }({\underline{z}})=V\) which ends the proof. \(\square \)
Since it is proved in [19] that the almost specification property implies the average shadowing property and in Sect. 5 we have shown that the same follows from the weak specification property, Theorem 21 immediately implies the following corollary, which can be also found in [10] (with a different proof).
Corollary 22
If (X, T) is surjective and has the relative weak specification property (or relative almost specification property), then for every asymptotic average pseudo orbit \(\underline{x}=\{x_i\}_{i=0}^{\infty }\in X^{\infty }\) there exists a point z such that \(\hat{\omega }({\underline{x}})=\hat{\omega }({z})\). In particular, if \(V\subset {{\mathrm{\mathcal {M}_T}}}(X)\) is nonempty, closed and connected, then there is a point \(z\in X\) such that \(\hat{\omega }({z})=V\) and every T-invariant measure has a generic point.
Corollary 22 extends results from [7, 8, 31,32,33,34].
Example 23
The following example shows that there are maps which do not have the asymptotic average shadowing property but have a regular periodic decomposition \(\{D_0,\ldots ,D_{r-1}\}\) such that \(T^r|_{D_0}\) satisfies the asymptotic average shadowing property.
By \(\mathbb {T}^k=\mathbb {R}^k/\mathbb {Z}^k\) we denote the k-dimensional torus. Let \(S:\mathbb T^k\rightarrow \mathbb T^k\) be a toral automorphism whose associated linear map is nonhyperbolic but has no roots of unity as eigenvalues. It was proved in [24, 26] that such an automorphism satisfies the weak specification property. Let \(n\ge 2\) and \(T_n:\mathbb T^1\rightarrow \mathbb T^1\) (see Fig. 1) be given by
Define \(F_n=S\times T_n:\mathbb T^{k+1}\rightarrow \mathbb T^{k+1}\). Notice that
is a regular periodic decomposition for \(F_n\). Moreover, \(F_n^n|_{\mathbb T^k\times [0,1/n]}\) is a product of two maps which have the weak specification property and hence satisfies it as well. To see that \(F_n\) does not have the asymptotic average shadowing property notice that the Lebesgue measure is a fully supported invariant measure for \(F_n\). By [19, Theorems 3.7 & 4.3] any map with the asymptotic average shadowing and fully supported invariant measure must be weakly mixing, but \(F_n^n\) is not even transitive as \(F_n^n\big (\mathbb T^k\times [0,1/n]\big )\subset \mathbb T^k\times [0,1/n]\) (see Fig. 2).
7 Shift space with the asymptotic shadowing property but without almost specification
In this section we show that the proximal dynamical system \(\mathbb {Y}\) with positive entropy introduced in [27] has the average shadowing property and fully supported invariant measure. By [23, Theorem 5.3], a nontrivial proximal system like \(\mathbb {Y}\) never has the almost specification property. Recall that a pair \((x,y)\in X\times X\) is proximal, if
A dynamical system is proximal if every pair \((x,y)\in X\times X\) is proximal. It remains open whether \(\mathbb {Y}\) has the asymptotic average shadowing property.
We recall the construction from [27]. Let \(\mathcal {A}=\left\{ 0,\diamondsuit \right\} \) and let \(1<s<t\) be positive integers. We define a labelled graph \(\mathcal {G}^{(s,t)}=(V,E,i,t,\mathcal {L})\) over \(\mathcal {A}\) in the following way (for the definition of labelled graph and sofic shift see [25]):
Denote by \(X_{{(s,t)}}\) the shift space consisting of sequences over \(\mathcal {A}\) which are labels of infinite paths on \(\mathcal {G}^{(s,t)}\). In other words, \(x\in X_{{(s,t)}}\) is a concatenation of blocks of s zeros separated by blocks of \(t-s\) or \(t-s+1\) symbols \(\diamondsuit \) (Fig. 3). Denote by \(p^{(s,t)}\) a periodic sequence of the form \((\diamondsuit ^{t-s} 0^s)^\infty \in \mathcal {A}^\infty \). Now, define the following subsets of \(\left\{ 0,1\right\} ^\infty \):
It is easy to verify that each \(F^{(s,t)}\) is a shift in \(\left\{ 0,1\right\} ^\infty \).
Let \(s_i=2^i\) and \(t_i=10^i\). Define
Note that
It was proved in [27] that (10) implies that \(\mathbb {Y}\) is a topologically mixing and proximal system with positive topological entropy. Let
Lemma 24
For every \(\varepsilon >0\) there is \(n>0\) such that if \(x\in Y_n\), then there is \(z\in \mathbb {Y}\) with \(\bar{d}(x,z)<\varepsilon \).
Proof
Fix \(\varepsilon >0\). Use (10) to find \(n>0\) such that
Take \(x\in Y_n\). Define z by \(z_j=0\) if there is \(i>n\) such that \(p^{(s_i,t_i)}_j=0\), and \(z_j=x_j\) otherwise. Then \(z\in \mathbb {Y}\) and \(\bar{d}(x,z)<\varepsilon \). \(\square \)
Lemma 25
Let X be a shift space. If for every \(\varepsilon >0\) there is a shift space \(X_\varepsilon \) with the average shadowing property such that \(X\subset X_\varepsilon \) and for every \(x\in X_\varepsilon \) there is \(z\in X\) with \(\bar{d}(x,z)<\varepsilon \), then X has the average shadowing property.
Proof
Fix \(\varepsilon >0\). Let \(\beta >0\) be such that \(\bar{d}(x,x')<\beta \) implies \(D_B(x,x')<\varepsilon /2\) (the existence of such a \(\beta \) is guaranteed by Corollary 5). Consider shift space \(X_{\beta }\). Use the average shadowing property for \(X_{\beta }\) to find \(\delta >0\) such that every \(\delta \)-average pseudoorbit for \(\sigma \) contained in \(X_{\beta }\) is \(\varepsilon /2\) traced on average. Let \(\underline{x}\) be a \(\delta \)-average pseudoorbit for \(\sigma \) contained in X. Since \(X\subset X_{\beta }\) there is a point \(y\in X_{\beta }\) which \(\varepsilon /2\)-traces \(\underline{x}\) in average. Use the assumption to find a point \(z\in X\) such that \(\bar{d}(y,z)<\beta \). Hence \(D_B(\underline{z}_T,\underline{x})\le D_B(z,y)+D_B(\underline{y}_T,\underline{x})<\varepsilon \). \(\square \)
Lemma 26
For every nonempty open set \(U\subset \mathbb {Y}\) there is \(y\in \mathbb {Y}\) such that N(y, U) has positive upper density.
Proof
Let \(z\in U\) and k be such that the cylinder set defined by \(z_{[0,k)}\) is contained in U. Take any \(n>k\) such that \(t_n-s_n>k\) and
Then the periodic point \(x=(z_{[0,k)}0^{t_n-k})^\infty \) belongs to \(Z=\bigcap _{j=1}^n F^{(s_i,t_i)}\) and \(t_n\mathbb {N}\subset \left\{ i : x_{[i,i+k)}=z_{[0,k)}\right\} \). Define \(p\in \{0,\diamondsuit \}^\infty \) by \(p_j=0\) if there is \(i>n\) such that \(p^{(s_i,t_i)}_j=0\), and \(p_j=\diamondsuit \) otherwise. Then \(p\in \bigcap _{i=n+1}^\infty P^{(s_i,t_i)}\) and we claim that the set \(A=\left\{ i : p_{[i,i+k)}=\diamondsuit ^k\right\} \) has positive upper density. To see this, note that
and since \(p_i=0\) and \(i \ge k\) implies \(p_{[i-l,i-l+k)}\ne \diamondsuit ^k\) for \(l=-k+1,-k+2,\ldots ,0\) we have
We have \(\bigcup _{j=0}^{t_n-1}j+t_n\mathbb {N}=\mathbb {N}\), therefore for some \(j\in \{0,1,\ldots ,t_n-1\}\) the set \(A_j = (A+j) \cap t_n\mathbb {N}\) has upper density at least \(\gamma /t_n\). For that j we construct a point \(y=y_0y_1y_2\ldots \) by
then \(y\in \mathbb {Y}\) and obviously by our construction we have that \(A_j\subset N(y,U)\), hence N(y, U) has positive upper density. \(\square \)
Theorem 27
The shift space \(\mathbb {Y}\) is mixing, has the average shadowing property, positive topological entropy and fully supported invariant measure.
Proof
Proximality, positive topological entropy and topological mixing follows from [27]. Let \(\mathcal {U}=\{U_n:n\in \mathbb {N}\}\) be the base for the topology on \(\mathbb {Y}\). Lemma 26 implies that for any open set \(U_n\in \mathcal {U}\) we can find an invariant measure \(\mu _n\) such that \(\mu (U)>0\) (e.g. see [16]). Then \(\mu =\sum _{n=1}^\infty 2^{-n}\mu _n\) is a fully supported measure.
Note that \(Z_N=\bigcap _{i=1}^N F^{(s_i,t_i)}\) is the intersection of mixing sofic shifts for every \(N\in \mathbb {N}\), therefore \(Z_N\) is a mixing sofic shift. Since every mixing sofic shift has the specification property, it follows from [20] that \(Z_N\) has the asymptotic average shadowing property and so it also has the average shadowing property by [19]. Now \(\mathbb {Y}\) has the average shadowing property by Lemmas 24 and 25. \(\square \)
Corollary 28
The subshift \(\mathbb {Y}\) has the average shadowing property but does not have the almost specification property.
Proof
By [23] minimal points are dense in the measure center of any dynamical system with the almost specification property. On the other hand, it follows from Theorem 27 that \(\mathbb {Y}\) is a nontrivial (hence uncountable) proximal system whose measure center equals the whole space. Proximality implies that \(\mathbb {Y}\) has a fixed point which is the unique minimal point in the system (e.g. see [1]). Therefore minimal points of \(\mathbb {Y}\) can not be dense in the measure center and \(\mathbb {Y}\) can not have the almost specification property. \(\square \)
Our last example shows that the assumptions of Lemma 25 can not be weakened.
Given a shift space X over an alphabet \(\mathcal {A}\) we define the finite type approximation of order \(m\in \mathbb {N}\) of X by
In other words \(X_m\) is a shift of finite type determined by finite blocks of length \(m+1\) occurring in X (see [9, p.111]). The following lemma is probably well-known (cf. Proposition 3.62 in [21]).
Lemma 29
Let X be a mixing shift space. The following conditions are equivalent:
-
(1)
X is chain mixing,
-
(2)
\(X_m\) is mixing for every \(m\in \mathbb {N}\).
Sketch of the proof
Note that for every m the points in \(X_m\) are in the one to one correspondence with \(\delta _m\)-chains in X, where \(\delta _m\) goes to 0 as \(m\rightarrow \infty \). To see this take a point \(x\in X_m\) and for each \(j\in \mathbb {N}_0\) pick \(x^{(j)}\) in the cylinder in X determined by \(x_{[j,j+m]}\). Furthermore, chain mixing is equivalent to mixing for systems with the shadowing property and all shifts of finite type have the shadowing property by [36]. \(\square \)
Corollary 30
Let X be a mixing shift space. Then there exists a decreasing sequence \(X_0\supset X_1\supset \cdots \supset X\) of mixing shifts of finite type such that \(X=\bigcap _{n=1}^\infty X_n\).
Note that if \(X=\bigcap _{n=1}^\infty X_n\) and \(X_1\supset X_2\supset \cdots \supset X\) then for every \(\varepsilon >0\) there is n such that \({{\mathrm{dist}}}(x,X)<\varepsilon \) for each \(x\in X_n\). Next Theorem shows that this is not enough to imply the average shadowing property on the intersection and the condition \(\inf \{\bar{d}(x,y):x\in X,\,y\in X_n\}<\varepsilon \) for all n large enough in Lemma 25 is essential.
Theorem 31
There exists a decreasing sequence \(X_1\supset X_2\supset \cdots \supset X\) of mixing sofic shifts such that the shift space \(X=\bigcap _{n=1}^\infty X_n\) is mixing but does not have the average shadowing property.
Proof
Consider the shift space X constructed in Sect. 7 of [14]. By [14, Lemmas 6–8] X has the following properties:
-
(1)
periodic points are dense,
-
(2)
X is mixing, nontrivial and \(0^\infty \in X\),
-
(3)
if \(x\in X\) is not periodic then \(d(\{i: x_i=1\})=0\).
Since periodic points are dense and X is nontrivial, there exists a periodic point \(p\in X\) such that \(d(\{i : p_i=1\})=\alpha >0\). Using p and \(0^\infty \) interchangeably it is not hard to construct an asymptotic average pseudo-orbit \(\{y^{(i)}\}_{i=0}^\infty \) such that
-
(i)
\(\bar{d}(\{i : y^{(i)}_0=1\})=\alpha >0\) and
-
(ii)
\(\bar{d}(\{i : y^{(i)}_0=0\})=1\).
If X has the average shadowing property, then by [38, Thm. 5.5] there exists \(z\in X\) such that
This implies by (i) that \(\bar{d}(\{i : z_i=1\})\ge \alpha /2\) and so z must be a periodic point with \(d(\{i : z_i=1\})=\beta \ge \alpha /2\). On the other hand by (ii) we see that \(\overline{d}(\{ i : z_i=0\})\ge 1-\alpha /3>1-\beta \) which is a contradiction. This shows that X cannot have the average shadowing property. The proof is finished by Corollary 30. \(\square \)
Notes
By a dynamical system we mean a pair (X, T), where X is a compact metric space and T is a continuous map from X to itself.
References
Akin, E., Kolyada, S.: Li-Yorke sensitivity. Nonlinearity 16(4), 1421–1433 (2003)
Auslander, J.: Mean-\(L\)-stable systems. Ill. J. Math. 3, 566–579 (1959)
Banks, J.: Regular periodic decompositions for topologically transitive maps. Ergod. Theory Dyn. Syst. 17(3), 505–529 (1997)
Barreira, L., Schmeling, J.: Sets of “non-typical” points have full topological entropy and full Hausdorff dimension. Isr. J. Math. 116, 29–70 (2000)
Blanchard, F., Formenti, E., Kurka, P.: Cellular automata in the Cantor, Besicovitch, and Weyl topological spaces. Complex Syst. 11(2), 107–123 (1997)
Bowen, R.: Equilibrium states and the ergodic theory of Anosov diffeomorphisms. Lecture Notes in Mathematics, vol. 470. Springer, Berlin (2008)
Dateyama, M.: Invariant measures for homeomorphisms with weak specification. Tokyo J. Math. 4(2), 389–397 (1981)
Dateyama, M.: Invariant measures for homeomorphisms with almost weak specification. In: Probability Theory and Mathematical Statistics (Tbilisi, 1982), volume 1021 of Lecture Notes in Mathematics, pp. 93–96. Springer, Berlin (1983)
Denker, M., Grillenberger, C., Sigmund, K.: Ergodic theory on compact spaces. Lecture Notes in Mathematics, vol. 527. Springer, Berlin (1976)
Dong, Y., Tian, X., Yuan, X.: Ergodic properties of systems with asymptotic average shadowing property. J. Math. Anal. Appl. 432(1), 53–73 (2015)
Downarowicz, T.: Positive topological entropy implies chaos DC2. Proc. Am. Math. Soc. 142(1), 137–149 (2014)
Downarowicz, T., Glasner, E.: Isomorphic extensions and applications. Topol Methods Nonlinear Anal 48(1), 321–338 (2016)
Downarowicz, T., Iwanik, A.: Quasi-uniform convergence in compact dynamical systems. Stud. Math. 89(1), 11–25 (1988)
Falniowski, F., Kulczycki, M., Kwietniak, D., Li, J.: Two results on entropy, chaos and independence in symbolic dynamics. Discr. Contin. Dyn. Syst. Ser. B 20(10), 3487–3505 (2015)
Fuhrmann, G., Gröger, M., Jäger, T.: Amorphic complexity. Nonlinearity 29(2), 528 (2016)
Furstenberg, H.: Recurrence in Ergodic Theory and Combinatorial Number Theory. Princeton University Press, Princeton, N.J. (1981)
Gu, R.: The asymptotic average shadowing property and transitivity. Nonlinear Anal. 67(6), 1680–1689 (2007)
Jacobs, K., Keane, M.: \(0-1\)-Sequences of Toeplitz type. Z. Wahrscheinlichkeitstheorie und Verw. Gebiete 13, 123–131 (1969)
Kulczycki, M., Kwietniak, D., Oprocha, P.: On almost specification and average shadowing properties. Fund. Math. 224(3), 241–278 (2014)
Kulczycki, M., Oprocha, P.: Exploring the asymptotic average shadowing property. J. Differ. Equ. Appl. 16(10), 1131–1140 (2010)
Kurka, P.: Topological and Symbolic Dynamics. Cours Spécialisés [Specialized Courses], vol. 11. Société Mathématique de France, Paris (2003)
Kwietniak, D., Ła̧cka, M., Oprocha, P.: A panorama of specification-like properties and their consequences. In: Dynamics and Numbers, Contemporary Mathematics, vol. 669, pp. 155–186, AMS (2016)
Kwietniak, D., Oprocha, P., Rams, M.: On entropy of dynamical systems with almost specification. Isr. J. Math. 213(1), 475–503 (2016)
Lind, D.A.: Dynamical properties of quasihyperbolic toral automorphisms. Ergod. Theory Dyn. Syst. 2(1), 49–68 (1982)
Lind, D., Marcus, B.: An Introduction to Symbolic Dynamics and Coding. Cambridge University Press, Cambridge (1995)
Marcus, B.: A note on periodic points for ergodic toral automorphisms. Monatsh. Math. 89(2), 121–129 (1980)
Oprocha, P.: Families, filters and chaos. Bull. Lond. Math. Soc. 42(4), 713–725 (2010)
Ornstein, D., Weiss, B.: Mean distality and tightness. In: Dynamical systems and related problems of geometry. Collected papers dedicated to the memory of Academician Andrei Andreevich Bolibrukh. Transl. from the Russian, pp. 295–302. Moscow: Maik Nauka/Interperiodika (2004)
Oxtoby, J.C.: Ergodic sets. Bull. Am. Math. Soc. 58, 116–136 (1952)
Shields, P.C.: The ergodic theory of discrete sample paths. Graduate Studies in Mathematics, vol. 13. American Mathematical Society, Providence, RI (1996)
Sigmund, K.: Generic properties of invariant measures for Axiom A diffeomorphisms. Invent. Math. 11, 99–109 (1970)
Sigmund, K.: On dynamical systems with the specification property. Trans. Am. Math. Soc. 190, 285–299 (1974)
Sigmund, K.: On the distribution of periodic points for \(\beta \)-shifts. Monatsh. Math. 82(3), 247–252 (1976)
Sigmund, K.: On minimal centers of attraction and generic points. J. Reine Angew. Math. 295, 72–79 (1977)
Walters, P.: An Introduction to Ergodic Theory. Graduate Texts in Mathematics, vol. 79. Springer, New York (1982)
Walters, P.: On the pseudo-orbit tracing property and its relationship to stability. In: The structure of attractors in dynamical systems (Proc. Conf., North Dakota State Univ., Fargo, N.D., 1977), volume 668 of Lecture Notes in Math., pp. 231–244. Springer, Berlin (1978)
Weiss, B.: Single orbit dynamics. In: CBMS Regional Conference Series in Mathematics, vol. 95. American Mathematical Society, Providence, RI (2000)
Wu, X., Oprocha, P., Chen, G.: On various definitions of shadowing with average error in tracing. Nonlinearity 39, 1942–1972 (2016)
Acknowledgements
We would like to thank both the reviewers for their contribution and comments. Dominik Kwietniak was supported by the National Science Centre (NCN) under Grant 2013/08/A/ST1/00275 and partially supported by CAPES/Brazil Grant No. 88881.064927/2014-01. Martha Łącka was supported by Grant No. PSP: K/DSC/002690. Research of Piotr Oprocha was partly supported by the project “LQ1602 IT4Innovations excellence in science”.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by H. Bruin.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Kwietniak, D., Łącka, M. & Oprocha, P. Generic points for dynamical systems with average shadowing. Monatsh Math 183, 625–648 (2017). https://doi.org/10.1007/s00605-016-1002-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00605-016-1002-1