Abstract
We introduce first-time sensitivity for a homeomorphism of a compact metric space, that is a condition on the first increasing times of open balls of the space. Continuum-wise expansive homeomorphisms, the shift map on the Hilbert cube, and also some partially hyperbolic diffeomorphisms satisfy this condition. We prove the existence of local unstable continua satisfying similar properties with the local unstable continua of continuum-wise expansive homeomorphisms, but assuming first-time sensitivity. As a consequence we prove that first-time sensitivity (with some additional technical assumptions) implies positive topological entropy.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In the study of chaotic systems, the hyperbolic ones play a central role. Hyperbolicity appeared as a source of chaos [2, 32] and it was seen to be such a strong notion that several chaotic systems just do not satisfy it. Indeed, works of Pugh and Shub [31] indicate that little hyperbolicity is sufficient to obtain chaotic dynamics. The existence of unstable manifolds with hyperbolic behavior is enough for proving, for example, sensitivity to initial conditions and positive topological entropy, so partially hyperbolic diffeomorphisms are important examples of non-hyperbolic chaotic systems. A general idea that we explore in this work is to understand how several features of hyperbolic systems can be present on chaotic systems, or, in other words, how we can prove parts of the hyperbolic dynamics using chaotic properties. Assuming only sensitivity to initial conditions there is not much we can prove, even when the space is regular such as a closed surface, since there exist examples of sensitive surface homeomorphisms that do not satisfy several features of hyperbolic systems. Indeed, we discuss one example in Proposition 3.18 that is sensitive, has zero topological entropy, has only one periodic point, which is a fixed point, and has local stable (unstable) sets as segments of regular flow orbits and, hence, do not increase when iterated backward (forward).
A classical and much stronger property on separation of distinct orbits is Expansiveness. The study of expansive surface homeomorphisms goes back to works of Hiraide [16] and Lewowicz [25] where a complete characterization of expansiveness was given: surface expansive homeomorphisms are exactly the pseudo-Anosov ones. An important step of the proof is that expansiveness implies that stable and unstable sets form a pair of transversal singular foliations with a finite number of singularities. Indeed, both works study in detail properties of local stable/unstable sets of expansive homeomorphisms and obtain similar properties with the hyperbolic local stable/unstable manifolds.
The idea of considering dynamical properties that are stronger than sensitivity and weaker than expansiveness, and understanding how we can obtain part of the hyperbolic dynamics for these properties is what motivates the definition of the main property we consider in this paper, the first-time sensitivity. Before defining it precisely, it is important to observe that a few generalizations of expansiveness have already been considered in the literature [4, 5, 8,9,10,11, 19,20,21, 27, 30], and among these the more general one is the continuum-wise expansiveness introduced by Kato in [19]. It is known that cw-expansive homeomorphisms of Peano continua are sensitive [15] and, thus, cw-expansiveness generalizes expansiveness and is stronger than sensitivity at the same time. Moreover, cw-expansive homeomorphisms of Peano continua have local stable/unstable continua with uniform diameter on every point of the space [20] with properties that resemble the expansive and hyperbolic cases, and this is enough to prove positive topological entropy [19]. This makes cw-expansiveness an example of a dynamical property that fits the idea of this paper explained above. Now we proceed to the definition of first-time sensitivity and for that we define and explain sensitivity.
Definition 1.1
A map \(f:X\rightarrow X\) defined in a compact metric space (X, d) is sensitive if there exists \(\varepsilon >0\) such that for every \(x\in X\) and every \(\delta >0\) there exist \(y\in X\) with \(d(x,y)<\delta \) and \(n\in {\mathbb {N}}\) satisfying \(d(f^{n}(x),f^{n}(y))>\varepsilon .\) The number \(\varepsilon \) is called the sensitivity constant of f.
Sensitivity means that for each initial condition there are arbitrarily close distinct initial conditions with separated future iterates. We can also explain sensitivity as follows. Denoting by \(B(x,\delta )=\{y\in X; d(y,x)<\delta \}\) the ball centered at x and radius \(\delta \), sensitivity implies the existence of \(\varepsilon >0\) such that for every ball \(B(x,\delta )\) there exists \(n\in {\mathbb {N}}\) such that
where \(\text{ diam }(A)=\sup \{d(a,b); a,b\in A\}\) denotes the diameter of A. Thus, sensitivity increases the diameter of non-trivial balls of the space. Now we define the first increasing time of balls of the space.
Definition 1.2
(First-increasing time) Let \(f:X\rightarrow X\) be a sensitive homeomorphism, with sensitivity constant \(\varepsilon >0\), of a compact metric space (X, d). Given \(x\in X\) and \(r>0\) let \(n_1(x,r,\varepsilon )\in {\mathbb {N}}\) be the first iterate of B(x, r) with diameter greater than \(\varepsilon \), that is, \(n_1(x,r,\varepsilon )\) satisfies:
We call the number \(n_1(x,r,\varepsilon )\) the first increasing time (with respect to \(\varepsilon \)) of the ball B(x, r).
Definition 1.3
(First-time sensitivity) We say that f is first-time sensitive (or simply ft-sensitive) if \(f:X\rightarrow X\) is a sensitive homeomorphism, with sensitivity constant \(\varepsilon >0\), of a compact metric space (X, d) and there is a sequence of functions \((r_k)_{k\in {\mathbb {N}}}:X\rightarrow {\mathbb {R}}^*_+\) starting on a constant function \(r_1\) and strictly decreasing monotonically to 0, such that for each \(\gamma \in (0,\varepsilon ]\) there is \(m_\gamma >0\) satisfying the following inequalities:
-
(F1)
\(|n_1(x,r_{k+1}(x),\gamma )-n_1(x,r_{k}(x),\gamma )|\le m_\gamma \)
-
(F2)
\(|n_1(x,r_k(x),\gamma ) - n_1(x,r_k(x),\varepsilon )|\le m_\gamma \)
for every \(x\in X\) and for every \(k\in {\mathbb {N}}\) such that \(r_k(x)\le \gamma \).
Condition (F1) means the following: if we start decreasing the radius of the ball centered at x (the sequence \((r_k(x))_{k\in {\mathbb {N}}}\)) and keeps checking the first increasing times of the balls \(B(x,r_k(x))\) with respect to \(\gamma \) (the numbers \(n_1(x,r_k(x),\gamma )\)), we obtain that when \(r_k(x)\) changes to \(r_{k+1}(x)\), the difference between the first increasing times \(n_1(x,r_k(x),\gamma )\) and \(n_1(x,r_{k+1}(x),\gamma )\) is bounded by the constant \(m_{\gamma }\) that does not depend on \(k\in {\mathbb {N}}\) or on \(x\in X\) (see Fig. 1). Condition (F2) means the following: if we decrease the sensitivity constant \(\varepsilon \) to \(\gamma \) and check the first increasing times of the ball \(B(x,r_k(x))\) with respect to \(\gamma \) and \(\varepsilon \) (the numbers \(n_1(x,r_k(x),\gamma )\) and \(n_1(x,r_k(x),\varepsilon )\)) we obtain that their difference is bounded by the constant \(m_{\gamma }\) that does not depend on \(k\in {\mathbb {N}}\) nor on \(x\in X\) (see Fig. 2).
Ft-sensitivity can be defined in any metric space, but for our purposes we impose additional hypothesis on the space. We assume that (X, d) is a compact and connected metric space satisfying:
-
(P1)
there exists \(r>0\) such that \(B(x,r')\) is connected for every \(r'\in (0,r)\) and every \(x\in X\);
-
(P2)
the map \((x,s)\rightarrow \overline{B(x,s)}\) is continuous in the Hausdorff topology;
where \({\overline{A}}\) denotes the closure of a set A. Properties (P1) and (P2) mean that balls with sufficiently small radius are connected and that these balls vary continuously with their centers and radius. These are mild conditions on the topology of the space and are satisfied, for example, by all closed manifolds, the Hilbert cube \([0,1]^{\mathbb {Z}}\) and more generally by Peano continua, that are compact, connected and locally connected metric spaces, when they are endowed with a convex metric (see [18]).
Now we explain the structure of this paper. In Sect. 2 we prove that first-time sensitivity implies the existence of local unstable continua with uniform diameter on every point of the space satisfying similar properties with the local unstable continua of cw-expansive homeomorphisms. We call them local cw-unstable continua and Sect. 2 is devoted to prove their existence and main properties. In Sect. 3 we discuss our main examples of first-time sensitive homeomorphisms: the cw-expansive homeomorphisms, the full shift on the Hilbert cube \([0,1]^{{\mathbb {Z}}}\), and some partially hyperbolic diffeomorphisms. We also briefly discuss how to find the local cw-unstable continua in each case. In Sect. 4 we present our attempts to prove that first-time sensitivity implies positive topological entropy, explain the difficulties and how to circumvent them with some additional technical hypotheses.
2 Local cw-unstable Continua
Let \(f:X\rightarrow X\) be a homeomorphism of a compact metric space (X, d). We consider the c-stable set of \(x\in X\) as the set
and the c-unstable set of x as the set
We consider the stable set of \(x\in X\) as the set
and the unstable set of x as the set
The dynamical ball of x with radius c is the set
We say that f is expansive if there exists \(c>0\) such that
We say that f is continuum-wise expansive if there exists \(c>0\) such that \(\Gamma _{c}(x)\) is totally disconnected for every \(x\in X\). We denote by \(C^s_c(x)\) the c-stable continuum of x, that is the connected component of x on \(W^s_{c}(x)\), and denote by \(C^u_c(x)\) the c-unstable continuum of x, that is the connected component of x on \(W^u_{c}(x)\).
Existence of local unstable/stable continua
It is proved in [20] that for a cw-expansive homeomorphism the following holds:
Theorem 2.1
(Theorem 1.6 in [20]) If \(f:X\rightarrow X\) is a cw-expansive homeomorphism of a Peano continuum (X, d), with cw-expansivity constant \(c>0\), then for every \(\varepsilon >0\) there exists \(\delta >0\) such that
This means that the \(\varepsilon \)-stable and \(\varepsilon \)-unstable sets of any point \(x\in X\) contain continua with uniform diameter intersecting at x. In this subsection we prove a similar result using only first-time sensitivity.
Theorem 2.2
Let \(f:X\rightarrow X\) be a homeomorphism defined on a compact and connected metric space satisfying the Properties (P1) and (P2).
-
(a)
If f is ft-sensitive, then for each \(\varepsilon >0\) there exists \(\delta >0\) such that
$$\begin{aligned} \text{ diam }(C^u_\varepsilon (x))\ge \delta \,\,\,\,\,\, \text {for every} \,\,\,\,\,\,x\in X. \end{aligned}$$ -
(b)
If \(f^{-1}\) is ft-sensitive, then for each \(\varepsilon >0\) there exists \(\delta >0\) such that
$$\begin{aligned} \text{ diam }(C^s_\varepsilon (x))\ge \delta \,\,\,\,\,\, \text {for every} \,\,\,\,\,\, x\in X. \end{aligned}$$
We remark that in the proof of this theorem we only use property (F1) on the definition of ft-sensitivity and that property (F2) will be important to prove the main properties of these continua later in this section. To prove this result, we first note that for a fixed sensitivity constant \(\varepsilon \), the first increasing time \(n_1(x,r,\varepsilon )\) depends basically on the radius r and not exactly on \(x\in X\).
Lemma 2.3
If \(f:X\rightarrow X\) is sensitive, with sensitivity constant \(\varepsilon >0\), and X is a compact metric space, then for each \(r>0\), there exists \(N\in {\mathbb {N}}\) such that
Proof
If the conclusion is not true, then there exists \(r>0\) such that for each \(n\in {\mathbb {N}}\) there exists \(x_n\in X\) such that \(n_1(x_n,r,\varepsilon )\ge n\). This means that
If \(x=\lim _{k\rightarrow \infty }x_{n_k}\), then uniform continuity of f assures that
contradicting sensitivity. \(\square \)
Proof of the Theorem 2.2
Assume that f is sensitive homeomorphism with sensitivity constant \(c>0\) and choose \(r\in (0,c)\), given by Property (P1) on the space X, such that \(B(x,r')\) is connected for every \(r'\in (0,r)\). Let \(\varepsilon \in (0,r)\) be arbitrary and note that \(\varepsilon \) is also a sensitivity constant of f. By hypothesis (F1), there exist \((r_k)_{k\in {\mathbb {N}}}:X\rightarrow {\mathbb {R}}^*_+\) and \(m_\varepsilon \in {\mathbb {N}}\) satisfying
For each \(m\in {\mathbb {N}}\), let \(x_m=f^{-m}(x)\) and, for each \(k\in {\mathbb {N}}\), consider
Lemma 2.3 assures the existence of \(N\in {\mathbb {N}}\) such that
Then, (F1) assures that for each \(m\ge N\), we can choose \(k_m\in {\mathbb {N}}\) such that
It follows that
The definitions of \(n_{k_m,m}\) and \(r_{k_m,m}\) guarantees that
Since \(f^{-1}\) is uniformly continuous, there exists \(\delta >0\) such that
This assures that
For each \(m\ge N\), let \(C_m=f^{m}(\overline{B(x_m,r_{k_m,m})})\) and notice that \(C_m\) is a continuum satisfying:
-
(1)
\(x\in C_m\);
-
(2)
\(\text{ diam }(C_m)\ge \delta \);
-
(3)
\(\text{ diam }(f^{-j}(C_m))\le \varepsilon \) when \(0\le j\le m\) (see Fig. 3).
Thus, if \(C_x\) is an accumulation continuum of the sequence \((C_m)_{m\in {\mathbb {N}}}\) in the Hausdorff metric, that is,
then \(C_x\) satisfies:
-
(1)
\(C_x\) is a continuum, as a Hausdorff limit of continua;
-
(2)
\(\text{ diam }(C_x)\ge \delta \), since \(\text{ diam }(C_{m_l})\ge \delta \) for every \(m_l\ge N\);
-
(3)
\(x\in C_x\), since \(x\in C_{m_l}\) for every \(m_l\ge N\);
-
(4)
\(C_x\subset W^u_\varepsilon (x)\), since for each \(j\in {\mathbb {N}}\) we have
$$\begin{aligned} \text{ diam }(f^{-j}(C_x))=\lim _{l\rightarrow \infty }(f^{-j}(C_{m_l}))\le \varepsilon . \end{aligned}$$
This proves that \(\text{ diam }(C^u_{\varepsilon }(x))\ge \delta \) for every \(x\in X\) and complete the proof of the first item. A similar argument deals with item (b) where \(f^{-1}\) is ft-sensitive and proves, in this case, that \(\text{ diam }(C^s_{\varepsilon }(x))\ge \delta \) for every \(x\in X\). \(\square \)
This actually generalizes Theorem 2.1 since we can prove it assuming Theorem 2.2 as follows. First, we observe that Peano continua do not necessarily satisfy hypothesis (P1) and (P2) on the space, but every Peano continuum can be endowed with a convex metric and, in this case, hypothesis (P1) and (P2) are satisfied. A metric D for a continuum X is called convex if for each \(x,y\in X\), there exists \(z\in X\) such that
(3) \(\displaystyle D(x,z)=\frac{D(x,y)}{2}=D(y,z).\)
This assures that the closure of the open ball equals the closed ball, i. e.,
Then, Theorem 3.3 in [29] ensures that (P2) is satisfied. See [18, Proposition 10.6] for a proof that balls with a convex metric satisfy (P1). We will prove in Proposition 3.4 that cw-expansivity implies first-time sensitivity when defined on spaces satisfying (P1) and (P2) and, in particular, Peano continua endowed with a convex metric. Thus, Theorem 2.1 is a particular case of Theorem 2.2 if we assume the space is endowed with a convex metric. For a general metric, we can argument as follows.
Lemma 2.4
[22] If d and D are compact metrics on the same space X generating the same topology, then for every \(\varepsilon >0\) there exists \(\rho >0\) such that
Proof
If this is not the case, there exists \(\varepsilon >0\) such that for each \(n\in {\mathbb {N}}\) there exists \((x_n,y_n)\in X\times X\) such that
Thus, \((x_n)_{n\in {\mathbb {N}}}\) and \((y_n)_{n\in {\mathbb {N}}}\) are sequences of X that have the same accumulation points on the metric D but are at least \(\varepsilon \)-distant from each other on the metric d. Thus, if \((x_{n_k})_{k\in {\mathbb {N}}}\) converges to z on the metric D, then \((y_{n_k})_{k\in {\mathbb {N}}}\) also does. But on the metric d they cannot converge to z simultaneously and we obtain a sequence that converges to z on the metric D but do not on the metric d, contradicting that they generate the same topology. \(\square \)
Proof of Theorem 2.1
Let \(\text{ diam}_d\) and \(\text{ diam}_D\) denote the diameter on the metric d and D, respectively. For each \(\varepsilon >0\) choose \(\varepsilon '\in (0,\varepsilon )\) given by Lemma 2.4 such that
If \(x\in X\) and \(y\in C^u_{\varepsilon '}(x)\), that is,
then the choice of \(\varepsilon '\) assures that
Hence, \(C^u_{\varepsilon '}(x)\) is an \(\varepsilon \)-unstable continuum on the metric d. Now let \(\rho \in (0,\varepsilon ')\) given by Theorem 2.2 be such that
The previous lemma assures the existence of \(\delta \in (0,\rho )\) such that
It follows that
since \(\text{ diam}_D(C^u_{\varepsilon '}(x))\ge \rho \). Thus, \(C^u_{\varepsilon '}(x)\) is an \(\varepsilon \)-unstable continuum on the metric d with diameter at least \(\delta \) for every \(x\in X\). A similar argument proves that \(C^s_{\varepsilon '}(x)\) is an \(\varepsilon \)-stable continuum on the metric d with diameter at least \(\delta \) for every \(x\in X\). \(\square \)
Properties of local cw-unstable continua
The proof of Theorem 2.2 is actually more important then the statement of the result itself since it gives us an alternative way of creating local unstable continua that we will use in this paper and can be summarized as follows. For each \(x\in X\) and each \(m\in {\mathbb {N}}\) we choose an appropriate radius \(r_m>0\) such that
and this implies that any accumulation continuum of the sequence
is an \(\varepsilon \)-unstable continuum, with diameter at least \(\delta \) that comes from the uniform continuity of \(f^{m_{\varepsilon }}\). In this subsection we will discuss the main properties of continua that can be constructed in this way and compare them with properties of the local unstable continua of cw-expansive homeomorphisms. For that, we define the set of such continua as follows:
Elements of \({\mathcal {F}}^u\) are called local cw-unstable continua and are the main object of discussion of this section. We proved in Theorem 2.2 that there exist local cw-unstable continua passing through each \(x\in X\). We will prove that local cw-unstable continua are unstable, that is, every \(C\in {\mathcal {F}}^u\) satisfies
and that their diameter increases uniformly (depending only on the sensitivity constant \(\gamma \)) when they are iterated forward. These properties are similar to the properties satisfied by the local stable/unstable continua of cw-expansive homeomorphisms and this is the reason that we call continua in \({\mathcal {F}}^u\) local cw-unstable.
The sensitivity constant \(\gamma \) in the definition of \({\mathcal {F}}^u\) will determine the increasing and decreasing times of local cw-unstable continua. Thus, we separate continua in \({\mathcal {F}}^u\) that are associated with distinct sensitivity constants as follows: for each \(\gamma \in (0,\varepsilon ]\), let
We note that \({\mathcal {F}}^u\) and \({\mathcal {F}}^u_{\gamma }\) depend on the sensitivity constant \(\varepsilon \) and during this whole section we will choose \(\varepsilon \) as in the beginning of the proof of Theorem 2.2. In the next result we prove that the diameter of continua in \({\mathcal {F}}^u_{\gamma }\) increase more than \(\varepsilon \) in at most \(2m_{\gamma }\) iterates. In the proof we use the following notation: if \(A\subset X\), then \(n_1(A,\varepsilon )\) denotes the first increasing time of the set A with respect to \(\varepsilon \).
Proposition 2.5
If \(C\in {\mathcal {F}}^u_\gamma \), then there exists \(\ell _\gamma \in \{0,1,\ldots , 2m_\gamma \}\) such that
Proof
If \(C\in {\mathcal {F}}^u_\gamma \), then there exist \(x\in X,\;n_k\rightarrow \infty \) and \(r_{n_k}\rightarrow 0\) such that
Property (F2) says that
and this assures that
Consequently,
and, thus, there exist \(\ell _\gamma \in \{1,2,\ldots ,2m_\gamma \}\) and an infinite subset \(K\subset {\mathbb {N}}\) such that
Therefore,
and the proof is complete. \(\square \)
In the next proposition we prove that local cw-unstable continua increase regularly in the future.
Proposition 2.6
If \(C\in {\mathcal {F}}^u\), then for each \(n\in {\mathbb {N}}\) there is \(n'\in \{n,\ldots ,n+m_\varepsilon \}\) such that \(\text{ diam }(f^{n'}(C))\ge \varepsilon \).
Proof
If \(C\in {\mathcal {F}}^u\), then \(C\in {\mathcal {F}}^u_{\gamma }\) for some \(\gamma \in (0,\varepsilon )\), and, hence, there exist \(x\in X,\;n_k\rightarrow \infty \) and \(r_{n_k}\rightarrow 0\) such that
As in the proof of the previous proposition, property (F2) assures that
For each \(n\in {\mathbb {N}}\) we use property (F1) to reduce, if necessary, for each \(k\in {\mathbb {N}}\) the radius \(r_{n_k}\) to \(r_{t_k}\) so that
This implies that
and consequently, for each \(k\in {\mathbb {N}}\) there is \(\ell _k\in \{n,\ldots ,n+m_\varepsilon \}\) such that
Thus, there exists \(n'\in \{n,\ldots ,n+m_\varepsilon \}\) and an infinite subset \(K\subset {\mathbb {N}}\) such that
and, hence,
This completes the proof. \(\square \)
This regularity ensures that the set of the increasing times of a local cw-unstable continuum is syndetic. Recall that a subset \(S\subset {\mathbb {N}}\) is syndetic if there is \(p(S)\in {\mathbb {N}}\) such that
The set of increasing times of a subset \(C\subset X\) with respect to a sensitivity constant \(c>0\) is the set
Corollary 2.7
If \(C\in {\mathcal {F}}^u\), then \(S_{C,\varepsilon }\) is syndetic.
Proof
Proposition 2.6 assures that
that is, \(S_{C,\varepsilon }\) is syndetic with \(p(C)=m_{\varepsilon }\) for every \(C\in {\mathcal {F}}^u\). \(\square \)
These results imply that every first-time sensitive homeomorphism is syndetically sensitive. Recall that a homeomorphism \(f:X\rightarrow X\) of a compact metric space (X, d) is syndetically sensitive if there exists \(c>0\) such that \(S_{U,c}\) is syndetic for every non-empty open subset \(U\subset X\) (see [24, 28] and the references therein for more information on syndetically sensitivity).
Corollary 2.8
If f is first-time sensitive, then it is syndetically sensitive.
Proof
Let U be a non-empty and open subset of X, \(x\in U\), \(\gamma \in (0,\varepsilon )\) be such that \(\overline{B(x,2\gamma )}\subset U\), and choose \(C\subset {\mathcal {F}}^u\), given by Theorem 2.2, such that \(C\subset C^u_{\gamma }(x)\). Since \(\text{ diam }(C)\le 2\gamma \) and \(x\in C\), it follows that \(C\subset U\) and this implies that \(S_{C,\varepsilon }\subset S_{U,\varepsilon }\). Proposition 2.6 assures that \(S_{C,\varepsilon }\) is syndetic and the previous inclusion assures that \(S_{U,\varepsilon }\) is syndetic. \(\square \)
Another immediate corollary of Proposition 2.6 is that the diameter of future iterations of local cw-unstable continua cannot become arbitrarily small after it reaches size \(\varepsilon \).
Corollary 2.9
There exists \(\delta >0\) such that if \(C\in {\mathcal {F}}^u_{\gamma }\), then
Proof
The proof of Corollary 2.7 assures that for each \(n\ge 2m_{\gamma }\) there exists \(m\in S_{C,\varepsilon }\) such that \(|m-n|\le m_\varepsilon \). Let \(\delta >0\), given by uniform continuity of f and \(f^{-1}\), such that if \(\text{ diam }(A)\ge \varepsilon \) then
Since \(\text{ diam }(f^m(C))\ge \varepsilon \) and \(|m-n|\le m_\varepsilon \), it follows that \(\text{ diam }(f^n(C))\ge \delta \). \(\square \)
This corollary is the version in the case of first-time sensitive homeomorphisms of the following important property of cw-expansive homeomorphisms:
Proposition 2.10
[19, Proposition 2.2]. There exists \(\delta \in (0,\varepsilon )\) such that if A is a subcontinuum of X with \(\text{ diam }(A)\le \delta \) and
then
In the last result of this subsection we prove that local cw-unstable continuum are (global) unstable. We also recall that in the case of cw-expansive homeomorphisms, local stable and local unstable continua are respectively stable and unstable (see [19]).
Proposition 2.11
If \(C\in {\mathcal {F}}^u\), then \(\lim _{n\rightarrow \infty }\text{ diam }(f^{-n}(C))=0\).
Proof
If \(C\in {\mathcal {F}}^u_\gamma \), then there exist \(x\in X,\;n_k\rightarrow \infty \) and \(r_{n_k}\rightarrow 0\) such that
It is enough to prove that for each \(\alpha \in (0,\gamma )\) there exists \(\ell _\alpha \in {\mathbb {N}}\) such that
Since
it follows from property (F2) that
Let \(\ell _\alpha =m_\alpha +1\) and note that if \(n\ge \ell _\alpha \), then the previous inequality assures that
For each \(n\ge \ell _\alpha \) consider \(k_n\in {\mathbb {N}}\) such that
recall that \(\lim _{k\rightarrow \infty }n_k=\infty \). This implies that
and, hence,
for every \(k\ge k_n\). This assures that
for every \(n\ge \ell _\alpha \). Therefore
for every \(n\ge \ell _\alpha \), which finishes the proof. \(\square \)
At the end of this section we note that in the definition on first-time sensitivity nothing is said about the map \(\gamma \mapsto m_{\gamma }\). In the following proposition we choose the numbers \(m_{\gamma }\) satisfying (F1) and (F2) and such that \(\gamma \mapsto m_{\gamma }\) is a non-increasing function. This will be used later in Sect. 4.
Proposition 2.12
If f is a first-time sensitive homeomorphism with a sensitivity constant \(\varepsilon >0\), then for each \(\gamma \in (0,\varepsilon )\), there exists \(m_{\gamma }>0\) satisfying (F1), (F2), and: if \(\delta <\gamma \), then \(m_{\gamma }\le m_{\delta }\).
Proof
For each \(\gamma \in (0,\varepsilon )\) consider \(m'_{\gamma }>0\), given by the definition of first-time sensitivity, satisfying
-
(F1)
\(|n_1(x,r_{k+1}(x),\gamma )-n_1(x,r_{k}(x),\gamma )|\le m'_\gamma \)
-
(F2)
\(|n_1(x,r_k(x),\gamma ) - n_1(x,r_k(x),\varepsilon )|\le m'_\gamma \)
for every \(x\in X\) and for every \(k\in {\mathbb {N}}\) such that \(r_k(x)\le \gamma \). We first prove that if \(\delta \le \gamma \), then \(3m'_{\delta }\) also bounds the differences above. Indeed, if \(\delta \le \gamma \), then
and, hence,
where the second inequality is ensured by (F2). Also, using triangular inequality, (F1), (F2), and (1) we obtain:
To define \((m_\gamma )_{\gamma \in (0,\varepsilon )}\), we define a sequence \((m_n)_{n\in {\mathbb {N}}}\) as follows: let \(m_1=3m'_{\frac{\varepsilon }{2}}\), and inductively define for each \(n\ge 2\),
For each \(n\ge 2\) and \(\gamma \in \left[ \frac{\varepsilon }{n},\frac{\varepsilon }{n-1}\right) \), let \(m_\gamma =m_n\). Since the sequence \((m_n)_{n\in {\mathbb {N}}}\) is increasing, it follows that \(\gamma \mapsto m_{\gamma }\) is non-increasing. Finally, we prove that for each \(\gamma \in (0,\varepsilon )\), \(m_\gamma \) satisfies (F1) and (F2). Given \(\gamma \in (0,\varepsilon ]\), there is \(n\ge 2\) such that \(\gamma \in \left[ \frac{\varepsilon }{n},\frac{\varepsilon }{n-1}\right) \). Since \(\frac{\varepsilon }{n}\le \gamma \), it follows that
for every \(x\in X\) and for every \(k\in {\mathbb {N}}\) such that \(r_k(x)\le \gamma \). \(\square \)
3 Examples of First-time Sensitive Homeomorphisms
In this section we discuss three distinct classes of systems satisfying first-time sensitivity. They are the continuum-wise expansive homeomorphisms, the shift map on the Hilbert cube \([0,1]^{{\mathbb {Z}}}\), and some partially hyperbolic diffeomorphisms. We will discuss them on three separate subsections.
Continuum-wise expansive homeomorphisms
We start this subsection recalling the definition of cw-expansiveness.
Definition 3.1
We say that f is continuum-wise expansive if there exists \(c>0\) such that \(W^u_c(x)\cap W^s_c(x)\) is totally disconnected for every \(x\in X\). Equivalently, for each non-trivial continuum \(C\subset X\), that is C is not a singleton, there exists \(n\in {\mathbb {Z}}\) such that
The number \(c>0\) is called a cw-expansivity constant of f.
We will prove that cw-expansiveness implies ft-sensitivity on spaces satisfying (P1) and (P2). To prove this we will need the following lemma that obtains further consequences on the first increasing times of sensitive homeomorphisms defined on spaces satisfying hypothesis (P2).
Lemma 3.2
If \(f:X\rightarrow X\) is sensitive, with a sensitivity constant \(\varepsilon >0\), and X satisfies hypothesis (P2), then there is a sequence \((r_k)_{k\in {\mathbb {N}}}:X\rightarrow {\mathbb {R}}^*_+\) starting on \(r_1=\frac{\varepsilon }{2}\) and strictly decreasing monotonically to 0 such that \((n_1(x,r_k(x),\varepsilon ))_{k\in {\mathbb {N}}}\) is strictly increasing and
Proof
For each \(x\in X\), let \(r_1(x)=\frac{\varepsilon }{2}\) and note that the continuity of \(f^{n_1(x,r_1(x),\varepsilon )}\) and hypothesis (P2) assure that if r is sufficiently close to \(r_1\), then
Also, if r is sufficiently small, then uniform continuity of f assures that
It follows from the hypothesis (P2) that there exists \(r_2(x)\in (0,r_1(x))\) such that
The first increasing time \(n_1(x,r_2(x),\varepsilon )\) of \(B(x,r_2(x))\) with respect to \(\varepsilon \) satisfies
This implies that \(n_1(x,r_2(x),\varepsilon )>n_1(x,r_1(x),\varepsilon )\) since
and \(\text{ diam }(f^{n_1(x,r_2(x),\varepsilon )}(B(x,r_2(x))))>\varepsilon \). By induction we can define a decreasing sequence of real numbers \((r_k(x))_{k\in {\mathbb {N}}}\) such that \((n_1(x,r_k(x),\varepsilon ))_{k\in {\mathbb {N}}}\) is an increasing sequence of positive integer numbers and that
Since this can be done for every \(x\in X\), the proof is complete. \(\square \)
Remark 3.3
We note that if \((n_1(x,r_k(x),\varepsilon ))_{k\in {\mathbb {N}}}\) is strictly increasing, then
Indeed, if this is not the case, there exists \(r>0\) and a subsequence \((r_{k_n})_{n\in {\mathbb {N}}}\) such that \(k_n\rightarrow \infty \) and
Thus,
and this implies that the subsequence \((n_1(x,r_{k_n}(x),\varepsilon ))_{n\in {\mathbb {N}}}\) is bounded. But this contradicts the hypothesis of \((n_1(x,r_k(x)))_{k\in {\mathbb {N}}}\) being strictly increasing since this implies that \(\lim _{k\rightarrow \infty }n_1(x,r_k(x))=\infty \).
Theorem 3.4
cw-expansive homeomorphisms defined in compact and connected metric spaces satisfying hypothesis (P1) and (P2) are first-time sensitive.
Proof
First, note that, since X satisfies Property (P1), then it is locally connected and, in particular, a Peano continuum. Every cw-expansive homeomorphism defined on a Peano continuum is sensitive. This is a consequence of [15, Theorem 1.1], where it is proved that cw-expansive homeomorphisms defined on a Peano continuum do not have stable points, that are points \(x\in X\) satisfying: for each \(\varepsilon >0\) there exists \(\delta >0\) such that
Thus, we have that f is sensitive and consider \(\varepsilon >0\) a sensitivity constant of f. Let \((r_k)_{k\in {\mathbb {N}}}\) be the sequence given by Lemma 3.2 such that \((n_1(x,r_k(x),\varepsilon ))_{k\in {\mathbb {N}}}\) is strictly increasing and
We will first prove property (F2) of the definition of first-time sensitivity. Suppose that (F2) is not valid, that is, for some constant \(\gamma \in (0,\varepsilon ]\), there are sequences \((x_m)_{m\in {\mathbb {N}}}\subset X\) and \((k_m)_{m\in {\mathbb {N}}}\subset {\mathbb {N}}\) such that \(k_m\rightarrow \infty \) when \(m\rightarrow \infty \) and
We can assume that
and, hence, that
For each \(m\in {\mathbb {N}}\), the continuum
satisfies to following conditions:
-
(1)
\(\text{ diam }(C_m)\ge \gamma \);
-
(2)
\(\text{ diam }(f^{-j}(C_m))\le \varepsilon , \,\,\, \forall \, j\in [0,n_1(x_m,r_{k_m}(x_m),\gamma )]\);
-
(3)
\(\text{ diam }(f^{j}(C_m))\le \varepsilon , \,\,\, \forall \, j\in [0,n_1(x_m,r_{k_m}(x_m),\varepsilon )-n_1(x_m,r_{k_m}(x_m),\gamma )-1]\).
Let C be an accumulation continuum of the sequence \((C_m)_{m\in {\mathbb {N}}}\) in the Hausdorff topology, that is,
Property (1) assures that \(\text{ diam }(C)\ge \gamma \). Since
and
it follows that
Lemma 2.3 assures that \(\lim _{m\rightarrow \infty }r_{k_m}(x_m)=0\), since otherwise
would have a bounded subsequence. This implies that
Thus, Properties (2) e (3) assure that
and C is a non-trivial \(\varepsilon \)-stable and \(\varepsilon \)-unstable continuum, contradicting cw- expansiveness. This proves property (F2). Now, we prove property (F1).
Suppose that (F1) is not valid, that is, for some constant \(\gamma \in (0,\varepsilon ]\), there are sequences \((x_m)_{m\in {\mathbb {N}}}\subset X\) and \((k_m)_{m\in {\mathbb {N}}}\subset {\mathbb {N}}\) such that \(k_m\rightarrow \infty \) when \(m\rightarrow \infty \) and
Using property (F2), that was proved for the sequence \((r_k)_{k\in {\mathbb {N}}}\), there is \(m_\gamma \in {\mathbb {N}}\) such that
for every \(x\in X\) and for every \(k\in {\mathbb {N}}\) such that \(r_k(x)<\gamma \). A simple triangle inequality assures that
Choose a sequence \((\ell _m)_{m\in {\mathbb {N}}}\) of positive numbers satisfying \(\lim _{m\rightarrow \infty }\ell _m=\infty \) and
Let \(\delta \in (0,\varepsilon )\) be given by [19, Proposition 2.2] such that if A is a subcontinuum of X with \(\text{ diam }(A)\le \delta \) and
then
Since for each \(m\in {\mathbb {N}}\) we have
we obtain
and using Lemma 2.3, as in the proof of (F2), we obtain
Thus, we can assume that
For each \(m\in {\mathbb {N}}\), let
Recall that the sequence \((r_k)_{k\in {\mathbb {N}}}\) was chosen so that
for every \(m\in {\mathbb {N}}\). Since \(\overline{B(x_m, r_{{k_m}+1}(x_m))}\) is a subcontinuum of X, by property (P1) on the space, and it has diameter smaller than \(\delta \), we obtain
In particular,
Thus, the following conditions hold for every \(m\in {\mathbb {N}}\):
-
(4)
\(\text{ diam }(C_m)\ge \delta \),
-
(5)
\(\text{ diam }(f^{-j}(C_m))\le \varepsilon \) for every \(j\in \{0,\ldots ,\ell _m\}\) and
-
(6)
\(\text{ diam }(f^{j}(C_m))\le \varepsilon \) for every \(j\in \{0,\ldots ,\ell _m\}\).
Considering an accumulation continuum
on the Hausdorff topology, we have that C is a continuum, since it is a limit of continua, \(\text{ diam }(C)\ge \delta \), since
and
since \(\ell _m\rightarrow \infty \). Thus, C is a non-trivial \(\varepsilon \)-stable and \(\varepsilon \)-unstable continuum contradicting cw-expansiviness. This proves property (F1) and completes the proof. \(\square \)
Theorem 2.2 ensures the existence of cw-unstable continua with uniform diameter in every point of the space \(x\in X\). Since cw-unstable continua are indeed local unstable, they are contained in the local unstable continua \(C^u_{\varepsilon }(x)\). For some time we tried to prove that the local unstable continua are cw-unstable, i.e., belong to \({\mathcal {F}}^u\). We could just prove it with the following additional hypothesis:
Definition 3.5
Let f be a homeomorphism of a compact metric space X and \(0<r<c\). We say that the first increasing time with respect to c of a ball B(x, r) is controlled by a subset \(C\subset B(x,r)\) if
Let f be a cw-expansive homeomorphism with cw-expansivity constant \(c=2\varepsilon >0\). We say that the local unstable continua control the increasing time of the balls of the space if the first increasing time of every ball B(x, r) of radius \(r<\varepsilon \) is controlled by the connected component of x in \(C^u_{\varepsilon }(x)\cap B(x,r)\).
Proposition 3.6
If f is a cw-expansive homeomorphism with cw-expansivity constant \(2\varepsilon >0\) and the local unstable continua control the increasing time of the balls of the space, then \(C^u_{\varepsilon }(x)\in {\mathcal {F}}^u\) for every \(x\in X\).
Proof
Let \(\delta \in (0,\varepsilon )\) be given by Theorem 2.1 such that
and choose \(m_{2\varepsilon }\in {\mathbb {N}}\) such that for each \(x\in X\) there exists \(k\in \{0,\ldots ,m_{2\varepsilon }\}\) such that
For each \(x\in X\) and \(m\in {\mathbb {N}}\) let
and note that
recall from [19] that
We will prove that
-
(1)
\(f^m(B(f^{-m}(x),r_m(x)))\rightarrow C^u_{\varepsilon }(x)\) when \(m\rightarrow \infty \), and
-
(2)
\(n_1(f^{-m}(x),r_m(x),2\varepsilon )\in (m,m+m_{2\varepsilon }]\) for every \(m\in {\mathbb {N}}\).
Note that the choice of \(r_m(x)\) ensures that
Thus, if C is an accumulation continuum of the sequence
then \(C^u_{\varepsilon }(x)\subset C\). It follows from the choice of \((r_m(x))_{m\in {\mathbb {N}}}\) and \(m_{2\varepsilon }\) that
The hypothesis that the local unstable continua control the increasing time of the balls of the space ensures that
since in this case we have
This proves (2) and also ensures that C is an \(\varepsilon \)-unstable continuum, since C would be the limit of a sequence \((f^{m_i}(B(f^{-m_i}(x),r_{m_i})))_{i\in {\mathbb {N}}}\) with \(m_i\rightarrow \infty \) and
Then it follows that \(C\subset C^u_{\varepsilon }(x)\), since \(C^u_{\varepsilon }(x)\) is the connected component of x in \(W^u_{\varepsilon }(x)\), and we conclude (1) and the proof. \(\square \)
Shift on the Hilbert cube \([0,1]^{{\mathbb {Z}}}\)
Let \(X=[0,1]^{{\mathbb {Z}}}\) and consider the following metric on X: for each \({\underline{x}}=(x_i)_{i\in {\mathbb {Z}}}\) and \({\underline{y}}=(y_i)_{i\in {\mathbb {Z}}}\) in X, let
Consider the bilateral backward shift
In this section we prove that \(\sigma \) is first-time sensitive and characterize their cw-local unstable continua.
Theorem 3.7
The shift map \(\sigma :[0,1]^{{\mathbb {Z}}}\rightarrow [0,1]^{{\mathbb {Z}}}\) is first-time sensitive.
Proof
We first prove that \(\sigma \) is sensitive (this can be found in [1]). We prove that any \(\varepsilon <c=\frac{1}{4}\) is a sensitivity constant of \(\sigma \). Given \(\delta >0\) and \({\underline{x}}=(x_i)_{i\in {\mathbb {Z}}}\in X\), choose \(i_0\in {\mathbb {Z}}\) such that \({c}/{2^{i_0}}<\delta \). Let
Then, the sequence \({\underline{y}}=(\ldots ,x_{-1},x_0, x_1,\ldots , x_{i_0-1},y_{i_0}, x_{i_0+1}\ldots )\), that is \({\underline{x}}\) changing only the \(i_0\)-th coordinate \(x_{i_0}\) with \(y_{i_0}\), belongs to X and is contained in the ball centered at \({\underline{x}}\) and radius \(\delta \), since
Also, note that
and that this is enough to prove that \(\sigma \) is sensitive. Now we prove that \(\sigma \) is first-time sensitive. For each \({\underline{x}}=(x_i)_{i\in {\mathbb {Z}}}\in X\) and \({\underline{y}}=(y_i)_{i\in {\mathbb {Z}}}\in X\) we have
A similar argument proves that
if, and only if,
For each \({\underline{x}}\in X\), \(n\in {\mathbb {N}}\) and \(j\in {\mathbb {N}}\) we have
Indeed, letting for each \(i\in {\mathbb {Z}}\) and \(j\in {\mathbb {N}}\)
we have
and since
for every \(i\in {\mathbb {Z}}\), we obtain the desired inequalities. For each \(\gamma \in (0,\varepsilon ]\), choose \(k_\gamma \in {\mathbb {N}}\) such that
From inequality (2) we obtain
and
This implies that \(n_1\left( {\underline{x}},\frac{\varepsilon }{2^n},\gamma \right) \) is either \(n-k_\gamma -1\) or \(n-k_\gamma \) for every \(n\in {\mathbb {N}}\). Thus,
and
(in the last inequality we used that \(n_1\left( {\underline{x}},\frac{\varepsilon }{2^n},\varepsilon \right) \) is either n or \(n+1\)). Since this holds for every \(n\in {\mathbb {N}}\), considering \(m_\gamma =k_\gamma +2\), we have that \((m_\gamma )_{\gamma \in (0,\varepsilon ]}\) satisfies the Properties (F1) and (F2) for sequence of the radius \(\left( \frac{\varepsilon }{2^n}\right) _{n\in {\mathbb {N}}}\). Given that \(\left( \frac{\varepsilon }{2^n}\right) _{n\in {\mathbb {N}}}\) decrease monotonically to 0, we conclude that \(\sigma \) is first-time sensitive. Notice that \(\gamma \mapsto m_\gamma \) is non-increasing, since \(m_\gamma =k_\gamma +2\) where \(k_\gamma \) satisfies (3). \(\square \)
Remark 3.8
We remark that there are no cw-expansive homeomorphisms on infinite dimensional compact metric spaces. This was proved by Kato in [19] generalizing a result of Mañé in the case of expansive homeomorphisms [26]. Even though first-time sensitive homeomorphisms share important properties with cw-expansive homeomorphisms, as proved in Sect. 2, it is not possible to adapt the proof of Kato/Mañé to the case of first-time sensitive homeomorphisms.
A direct consequence of Proposition 3.7 is the following:
Corollary 3.9
There exist first-time sensitive homeomorphisms on infinite dimensional compact metric spaces.
Remark 3.10
We remark that the theorem of Kato assures that \(\sigma :[0,1]^{{\mathbb {Z}}}\rightarrow [0,1]^{{\mathbb {Z}}}\) is not cw-expansive, but it is easy to choose non-trivial continua in arbitrarily small dynamical balls. For each \(r>0\), the continuum
is non-degenerate and
We note that \(C_r\) is both an r-stable and r-unstable continuum that is not cw-stable nor cw-unstable since its diameter does not increase in the future or in the past. We also note that \(C_r\) is both stable and unstable, since
Remark 3.11
We remark that \(\sigma \) contains local stable continua that are not stable, and local unstable continua that are not unstable, on every point of the space. For each \(\varepsilon \in (0,c)\) and \({\underline{x}}=(x_i)_{i\in {\mathbb {Z}}}\in X\), the non-trivial continuum
is contained in \(W^s_\varepsilon ({\underline{x}})\cap W^u_\varepsilon ({\underline{x}})\). Indeed, if \({\underline{y}}=(y_i)_{i\in {\mathbb {Z}}}\in C_{{\underline{x}}}\), then
and this implies that
for every \(n\in {\mathbb {Z}}\). Moreover, \(C_{{\underline{x}}}\) is not stable. Indeed, for each \(\alpha \in (0,\varepsilon ]\), the sequence \({\underline{y}}=(y_i)_{i\in {\mathbb {Z}}}\) defined as follows
belongs to \(C_{{\underline{x}}}\), but
for every \(n\in {\mathbb {N}}\), that is, \({\underline{y}}\notin W^s({\underline{x}})\). This assures that
and that \(C_{{\underline{x}}}\) is not stable. A similar argument proves that \(C_{{\underline{x}}}\) is a local unstable continuum that is not unstable.
The next proposition characterizes the local cw-unstable continua of the shift map.
Proposition 3.12
A continuum C belongs to \({\mathcal {F}}^u\) if, and only if, there are \({\underline{x}}=(x_i)_{i\in {\mathbb {Z}}}\in [0,1]^{{\mathbb {Z}}}\) and \(k\in {\mathbb {N}}\cup \{0\}\) such that
Proof
According to the proof of Theorem 3.7, any \(\varepsilon <c=\frac{1}{4}\) is a sensitivity constant of \(\sigma \), the sequence \((r_n)_{n\in {\mathbb {N}}}\) in the definition of first-time sensitivity is \(\left( \dfrac{\varepsilon }{2^n}\right) _{n\in {\mathbb {N}}}\), and for each \(\gamma \in (0,\varepsilon ]\) there exists \(k_\gamma \in {\mathbb {N}}\) such that
Thus, if \(C\in {\mathcal {F}}^u\), then \(C\in {\mathcal {F}}^u_{\gamma }\) for some \(\gamma \in (0,\varepsilon )\), and, hence, there exist \({\underline{x}}\in [0,1]^{{\mathbb {Z}}}\), and increasing sequences \((l_j)_{j\in {\mathbb {N}}}\) and \((n_j)_{j\in {\mathbb {N}}}\subset {\mathbb {N}}\) such that
As in the proof of Theorem 3.7, we have
and, consequently,
for every \(j\in {\mathbb {N}}\). Thus,
Note that the limit \(\lim _{j\rightarrow \infty }2^{|n_j+i|-l_j}\) exists since the iterations of the previous closed balls converge to C (by hypothesis) so each of their coordinates, and hence the radius of each interval, also converge. Moreover, (4) ensures that
and this with (5) ensure that
that is,
Thus, for each \(i\in {\mathbb {Z}}\) there exists \(j_0\in {\mathbb {N}}\) such that
and, hence,
Since the limit \(\lim _{j\rightarrow \infty }2^{|n_j+i|-l_j}\) exists, there exists
and \(j_1\ge j_0\) such that
So, \(\displaystyle \lim _{j\rightarrow \infty }2^{|n_j+i|-l_j}=2^{i-k}\) and, hence,
Now, suppose that there exists \(k\in {\mathbb {N}}\) such that
We will prove that
As above,
for every \(j\in {\mathbb {N}}\). Thus, if \(i\in {\mathbb {N}}\) and \(j\ge |i|\), then
and, hence,
have the same coordinates between \(-i\) and i. Since this holds for every \(i\in {\mathbb {N}}\) and \(j>|i|\), it is enough to conclude the desired limit and the proof. \(\square \)
Remark 3.13
We note that all objects in the above proofs depend on the metric you choose for the space, from the sequence of radius \((\frac{\varepsilon }{2^n})_{n\in {\mathbb {N}}}\), to the numbers \(m_{\gamma }\) and also the local cw-unstable continua in \({\mathcal {F}}^u\). We invite the reader to prove similar results with a different metric for the Hilbert cube and see how these objects change.
Partially Hyperbolic Diffeomorphisms
In this subsection we discuss first-time sensitivity in the context of partially hyperbolic diffeomorphisms. The ideas and techniques of this paper are from topological dynamics and we will try to stay in the world of topological dynamics even though we need to talk about differentiability to define partial hyperbolicity.
Definition 3.14
A diffeomorphism \(f:M\rightarrow M\) of a closed smooth manifold is called partially hyperbolic if the tangent bundle splits into three Df-invariant sub-bundles \(TM=E^s\oplus E^c\oplus E^u\) where \(E^s\) is uniformly contracted, \(E^u\) is uniformly expanded, one of them is non-trivial, and the splitting is dominated (see [12] for more details on this definition).
Classical and important examples of partially hyperbolic diffeomorphisms are obtained from direct products of an Anosov diffeomorphism \(f:M\rightarrow M\) of a closed smooth manifold M and the identity map or with a rotation of the unit circle \({\mathbb {S}}^1\). These examples are first-time sensitive and this is a consequence of the following more general proposition. Recall that an equicontinuous homeomorphism g is defined as the family of iterates \((g^n)_{n\in {\mathbb {N}}}\) being equicontinuous.
Proposition 3.15
If f is a first-time sensitive homeomorphism and g is an equicontinuous homeomorphism, then \(f\times g\) is first-time sensitive.
Proof
Let \(f:X\rightarrow X\) be a first-time sensitive homeomorphism and \(g:Y\rightarrow Y\) be an equicontinuous homeomorphism of compact metric spaces X and Y. We consider the product metric on the space \(X\times Y\). Let \(\varepsilon >0\) be a sensitivity constant of f and \((r_k)_{k\in {\mathbb {N}}}\) be the sequence of functions, given by first-time sensitivity, such that for each \(\gamma \in (0,\varepsilon ]\) there is \(m_\gamma >0\) satisfying properties (F1) and (F2). Since g is equicontinuous and Y is compact, there exists \(\delta _\gamma >0\) such that
Defining \(s_k:X\times Y\rightarrow {\mathbb {R}}^*_+\) by \(s_k(x,y)=r_k(x)\), this implies that
for every \((x,y)\in X\times Y\) and \(k\in {\mathbb {N}}\) such that \(r_k(x)\le \delta _\gamma \). Since the sequences \((r_k)_{k\in {\mathbb {N}}}\) and \((n_{1,f}(x,r_k(x),\gamma ))_{k\in {\mathbb {N}}}\) satisfy the Properties (F1) and (F2), it follows that \((s_k)_{k\in {\mathbb {N}}}\) and \((n_{1,f\times g}((x,y),s_k(x,y),\gamma ))_{k\in {\mathbb {N}}}\) also satisfy them and with the same \(m_{\gamma }\). Since this holds for every \(\gamma >0\), we conclude that \(f\times g\) is ft-sensitive. \(\square \)
This is also true in the case of time-1 maps of Anosov flows and the proof is basically the same, with the direction of the flow acting as the equicontinuous homeomorphism. We also prove that the existence of continua with hyperbolic behavior and controlling the first increasing time of balls of the space implies first-time sensitivity.
Theorem 3.16
Let \(f:X\rightarrow X\) be a sensitive homeomorphism of a compact metric space (X, d). If there are \(0<\lambda _1\le \lambda _2<1\) such that for each ball B(x, r) there is a continuum \(C_{x,r}\subset B(x,r)\) that controls the first increasing time of B(x, r), with \(\text{ diam }(C_{x,r})\ge r\) and satisfying:
for every \(n\in {\mathbb {N}}\) and \(y,z\in C_{x,r}\), then f is first-time sensitive.
Proof
Let \(c>0\) be a sensitivity constant of f, \(\varepsilon \in (0,c]\), and define
Choose \(a\in {\mathbb {N}}\) such that \(\lambda _2^a<\frac{1}{4}\) and let \(m_\varepsilon =a+1\). For each ball \(B(x,r_k(x))\) consider a continuum \(C_{x,r_k(x)}\subset B(x,r_k(x))\) as in the hypothesis. Since \(\text{ diam }(C_{x,r_k(x)})\ge r_k(x)\), there are \(y,z\in C_{x,r_k(x)}\) such that \(d(y,z) = r_k(x)\). Thus,
and this implies that
Also, for each \(k\ge a\),
(the second inequality is ensured by \(\lambda _1^k\lambda _2^{-k}\le 1\), since by hypothesis \(\lambda _1\le \lambda _2\)). This implies that
and since \(C_{x,r_k(x)}\) controls the first increasing time of \(B(x,r_k(x))\), it follows that
Thus,
and, then
for every \(k\ge a\) and every \(x\in X\). Now, for each \(\gamma \in (0,\varepsilon )\) consider \(\ell _\gamma , k_\gamma \in {\mathbb {N}}\) satisfying
and let
Thus, for each \(k\ge \max \{\ell _\gamma ,k_\gamma \}\),
and
and, hence,
Therefore,
and
for every k such that \(r_k(x)\le \gamma \), ensuring Properties (F1) and (F2). \(\square \)
Recall that for a partially hyperbolic diffeomorphism, the strong unstable manifold of \(x\in M\) is the submanifold tangent to \(E^u(x)\) and is denoted by \(W^{uu}_{\varepsilon }(x)\). The Stable Manifold Theorem ensures that the strong unstable manifolds satisfy the estimates (6) of the previous theorem. Thus, partially hyperbolic diffeomorphisms where strong unstable manifolds (or some sub-manifold of them) control the increasing times of the balls of the space are first-time sensitive.
In the discussion about local cw-unstable continua of partially hyperbolic diffeomorphisms, the strong unstable manifolds seem to play a central role and following question seems natural to consider:
Question 1
Are local cw-unstable continua of partially hyperbolic diffeomorphisms necessarily strong unstable manifolds?
We prove that this question can be answered affirmatively in the case of the product of a linear Anosov diffeomorphism of \({\mathbb {T}}^n\) with the identity id of \({\mathbb {S}}^1\).
Proposition 3.17
If \(f_A\) is a linear Anosov diffeomorphism of the Torus \({\mathbb {T}}^n\) and id is the identity map of \({\mathbb {S}}^1\), then for the product \(f_A\times id\) on \({\mathbb {T}}^{n+1}\), the continua in \({\mathcal {F}}^u\) are strong unstable manifolds.
Proof
Let \(g=f_A\times id\) and \(C\in {\mathcal {F}}^u\). Then \(C\in {\mathcal {F}}^u_{\gamma }\) for some \(\gamma \in (0,\varepsilon )\), and, hence, there exist \(x=(y,z)\in {\mathbb {T}}^n\times {\mathbb {S}}^1,\;n_k\rightarrow \infty \), and \(r_{n_k}\rightarrow 0\) such that
We will prove that \(C\subset {\mathbb {T}}^n\times \{z\}\). Indeed, in the product metric,
and, hence, for each \(k\in {\mathbb {N}}\),
Since \(r_{n_k}\rightarrow 0\) and \(g^{n_k}\) acts as the identity on \((z-r_{n_k},z+r_{n_k})\), it follows that
Since \(g=f_A\) on \({\mathbb {T}}^n\times \{z\}\), it follows by the local product structure of \(f_A\) that \(C\subset W^{uu}_{\varepsilon }(x)\). \(\square \)
The case of partially hyperbolic diffeomorphisms that are the time-1 map of an Anosov flow seems to be similar to the above proposition but we believe this could not be the case for skew-product partially hyperbolic diffeomorphisms. This goes beyond the scope of this paper, though.
Sensitive but not first-time sensitive
In this subsection we write precisely the example we briefly discussed in the introduction of a sensitive homeomorphism of \({\mathbb {T}}^2\) that is not first-time sensitive and do not satisfy several of important features of the hyperbolic systems. We begin with an irrational flow on the Torus generated by a constant vector field F (whose every orbit is dense in \({\mathbb {T}}^2\)) and multiply F by a non-negative smooth function \(g:{\mathbb {T}}^2\rightarrow {\mathbb {R}}\) with a single zero at a point \(p\in {\mathbb {T}}^2\). The flow \(\varphi \) generated by the vector field gF has a fixed point on p with one stable orbit (that is dense in the past) one unstable orbit (that is dense in the future) and any orbit distinct from these three is dense in the future and in the past (see Fig. 4).
Proposition 3.18
If \(f:{\mathbb {T}}^2\rightarrow {\mathbb {T}}^2\) is the time-1 map of the flow generated by the vector field gF, then f is sensitive but not first-time sensitive.
Proof
To prove that f is sensitive we just note that in every open ball of the space B(x, r) there are points in the stable orbit of p and points that are not in the stable orbit of p. Recall that both the backward part of the stable orbit of p and the forward orbit of a point that is not in the stable orbit of p are dense on \({\mathbb {T}}^2\). Thus, we can find \(y,z\in B(x,r)\) such that \(y\in W^s(p)\) and the future orbit of z is dense on \({\mathbb {T}}^2\) and, hence, there exists \(k\in {\mathbb {N}}\) such that \(d(f^k(y),f^k(z))>\frac{1}{2}\). To prove that f is not first-time sensitive, we use techniques from [3] where it is proved that \(\varphi \) is not geometric expansive but is kinematic expansive, meaning that the separation of orbits is not geometric, since generic orbits are parallel straight lines, but local different orbits should be separated in time. We formalize this argument as follows.
For each \(x\in {\mathbb {T}}^2\) and \(\varepsilon >0\) let \(C_{\varepsilon }(x)\) be the connected component of x in the flow orbit of x contained in \(B(x,\varepsilon )\). We will prove the existence of \(\varepsilon >0\) such that
If x belongs to the stable orbit of p, then (7) contradicts the existence of cw-unstable continua containing x, that should increase in the future (see Theorem 2.2 and Proposition 2.5), but since it is a small segment of flow orbit contained in the stable orbit of p, then it could not increase in the future.
Let \(\varepsilon >0\) be such that if \(y\in W^u_{\varepsilon }(x)\) and segments of orbits of x and y with length \(\varepsilon \) are \(\alpha \)-distant from each other, then the segments of orbit of \(f^{-k}(x)\) and \(f^{-k}(y)\) with length \(\varepsilon \) are also \(\alpha \)-distant from each other for every \(k\in {\mathbb {N}}\). The existence of \(\varepsilon \) follows from the fact that the orbits of the irrational flow are parallel lines and that the orbits of \(\varphi \) are contained in the orbits of the irrational flow. If \(y\in W^u_{\varepsilon }(x)\setminus C_{\varepsilon }(x)\), then it is in a different local orbit but its past orbit follows the past orbit of x. Let \(\alpha >0\) be the distance between the segments of orbits of length \(\varepsilon \) of x and y. Choose times \((n_k)_{k\in {\mathbb {N}}}\) such that \(f^{-n_k}(x)\) converge to p. The choice of \(\varepsilon \) ensure that \(f^{-n_k}(y)\) remain at a distance greater than \(\frac{\alpha }{2}\) from p and since p is the only fixed point of \(\varphi \), there is a lower bound \(n\in {\mathbb {N}}\) for the number of iterates of f to ensure the orbit of y is \(2\varepsilon \)-distant from p, while, the number of iterates for the orbit of x goes to infinity since \(f^{-n_k}(x)\) converge to p. This ensures the existence \(k\in {\mathbb {N}}\) such that
contradicting that \(y\in W^u_{\varepsilon }(x)\). \(\square \)
4 Positive Topological Entropy
In the study of chaotic systems, the topological entropy is an important invariant that measures the complexity of the dynamics. Positivity of topological entropy is strongly related with chaotic properties of such systems. It is known that positive topological entropy implies distinct notions of chaos (see [13] for an example and the references therein). Let us define topological entropy precisely. During this whole section \(f:X\rightarrow X\) denotes a homeomorphism of a compact metric space. Given \(n\in {\mathbb {N}}\) and \(\delta >0\), we say that \(E\subset X\) is \((n,\delta )\)-separated if for each \(x,y\in E\), \(x\ne y\), there is \(k\in \{0,\ldots ,n\}\) such that \({\textit{d}}(f^k(x),f^k(y))>\delta \). Let \(s(n,\delta )\) denotes the maximal cardinality of an \((n,\delta )\)-separated subset \(E\subset X\) (since X is compact, \(s(n,\delta )\) is finite). Let
Note that \(h(f,\delta )\) increases as \(\delta \) decreases to 0 and define
The example in Proposition 3.18 is a sensitive homeomorphism of \({\mathbb {T}}^2\) with zero topological entropy. Indeed, it is proved in [33] that every continuous flow on a compact two-manifold has zero topological entropy. Kato proved that cw-expansive homeomorphisms have positive topological entropy, when defined on compact metric spaces with positive topological dimension [20]. The existence of local unstable continua with several properties that resemble hyperbolic unstable manifolds, assures the existence of several distinct \((n,\delta )\)-separated points (see Theorem 4.1 in [19] for more details).
In this subsection we obtain similar results in the case of first-time sensitive homeomorphisms. In [23] some restrictions on increasing times of open sets and their relation with topological entropy were also discussed. It is important to note that we were not able to prove that first-time sensitivity always implies positive topological entropy. The idea we explore here follows the proof of Kato for cw-expansive homeomorphisms exchanging local unstable continua by the local cw-unstable continua. It presented some difficulties that we were only able to circumvent with some additional hypotheses. We explain them in what follows.
The first difference to note is that for ft-sensitive homeomorphisms, the existence of local unstable continua that are also stable, and hence do not increase in the future (see remarks 3.10 and 3.11), do not allow us to start the proof with any local unstable continua. The choice of a local cw-unstable continuum is enough to deal with this problem since they increase in the future. The second difference, illustrated by the following example, recalls that in the proof of Kato after iterating an unstable continuum to increase its diameter we can take a pair of distinct unstable subcontinua that can again be iterated and increase, and this can be done indefinitely in the future. But this is not necessarily true in the case of ft-sensitive homeomorphisms since local cw-unstable continua can contain several proper stable subcontinua.
Example 4.1
Let \(c=\frac{1}{4}\) and \(\varepsilon \in (0,c)\). Consider the cw-unstable continuum as in the Proposition 3.12:
Choose \(M\in {\mathbb {N}}\) such that \(2^M\varepsilon >c\) and, hence,
For each \(m\ge M\), let
Define continua \(C_1\) and \(C_2\) as follows:
and
Note that \(C_1\) and \(C_2\) are subcontinua of \(\sigma ^M(D)\) satisfying
-
(1)
\(d(C_1,C_2)>1/12\),
-
(2)
\(\text{ diam }(\sigma ^n(C_1))=1/12\) for every \(n\in {\mathbb {N}}\), and
-
(3)
\(\text{ diam }(\sigma ^n(C_2))= 1/12\) for every \(n\in {\mathbb {N}}\).
\(\square \)
This property of indefinitely splitting unstable continua to increase in the future is the core of the proof of Kato of positivity of topological entropy in the case of cw-expansive homeomorphisms. In the following we state this as a definition for any homeomorphism and repeat the proof of Kato to prove it implies positive topological entropy. We denote by \({\mathcal {C}}(X)\) the set of all subcontinua of X and by \(d_H\) the Hausdorff distance on \({\mathcal {C}}(X)\) defined as
Definition 4.2
We say that \(C\in {\mathcal {C}}(X)\) can be indefinitely split to increase if there exist \(\delta >0\) and \(M\in {\mathbb {N}}\) such that \(\text{ diam }\;f^M(C)\ge \delta \) and for each \(n\in {\mathbb {N}}\) and \((i_1,\ldots ,i_n)\in \{0,1\}^n\) there exists \(C_{i_1i_2\cdots i_n}\in {\mathcal {C}}(X)\) satisfying:
-
(1)
\(C_{i_1i_2\cdots i_n}\subset f^{nM}(C)\),
-
(2)
\(\text{ diam }\;f^{M}(C_{i_1i_2\cdots i_n})\ge \delta \),
-
(3)
\(C_{i_1i_2\cdots i_{n-1}i_n}\subset f^M(C_{i_1i_2\cdots i_{n-1}})\), and
-
(4)
\(d_H(C_{i_1i_2\cdots i_{n-1}0},C_{i_1i_2\cdots i_{n-1}1})\ge \frac{\delta }{3}\).
It was pointed to us by the referees that this definition is close to the notion of periodic weak horseshoe in [17] (see Lemma 2.2 and Proposition 2.1 there).
Theorem 4.3
Let \(f:X\rightarrow X\) be a homeomorphism of a compact metric space. If there exists a continuum that can be indefinitely split to increase, then f has positive topological entropy.
Proof
Let \(C\in {\mathcal {C}}(X)\), \(\delta >0\), \(M\in {\mathbb {N}}\) and \((C_{i_1i_2\cdots i_n})_{i_1,\ldots ,i_n,n}\) be as in the previous definition. For each \(n\in {\mathbb {N}}\) and \((i_1,\ldots ,i_n)\in \{0,1\}^n\) choose
and let
Applying condition (2) of above definition inductively we obtain that
We prove that for each \(n\in {\mathbb {N}}\) the set
is \((nM,\delta /3)\)-separated. Indeed, if \(x_{i_1\cdots i_{n}},x_{j_1\cdots j_{n}}\in A_n\) are distinct, then there exists \(k\in \{1,2,\ldots , n\}\) such that
Assume without loss of generality that \(i_k=0\) and \(j_k=1\). Condition (3) ensures that
and since condition (2) ensures that
it follows that
Since for each \(n\in {\mathbb {N}}\), \(A_n\) has \(2^n\) elements and is \((nM,\delta /3)\)-separated, it follows that
Thus,
and, hence, \(h(f)>0\). \(\square \)
Proposition 4.4
Every local unstable continuum of a cw-expansive homeomorphism of a Peano continuum can be indefinitely split to increase.
Proof
Let \(c>0\) be a cw-expansivity constant of f, and \(\varepsilon \in (0,c)\). The following was proved by Kato in [19]:
-
(1)
for each \(\gamma \in (0,\varepsilon )\) there exists \(m_\gamma \in {\mathbb {N}}\) such that \(n_1(C,\varepsilon )\le m_\gamma \) for every \(\varepsilon \)-unstable continuum C with \(\text{ diam }(C)\ge \gamma \), and
-
(2)
there exists \(\delta >0\) such that \(\text{ diam }(f^n(C))\ge \delta \) for every \(n\ge n_1(C,\varepsilon )\) and every \(\varepsilon \)-unstable continuum C.
Let C be an \(\varepsilon \)-unstable continuum, choose \(\gamma \in (0,\text{ diam }(C))\), consider \(m_{\gamma }\) and \(\delta \) given by (1) and (2) above and let \(M=\max \{m_\gamma ,m_{\delta /3}\}\). Thus, \(\text{ diam }(f^M(C))\ge \delta \) and we can choose \(C_0\) and \(C_1\) subcontinua of \(f^M(C)\) such that
Since \(M\ge m_{\delta /3}\), it follows that \(\text{ diam }(f^M(C_i))\ge \delta \), for each \(i\in \{0,1\}\) and, again, we can choose continua \(C_{i0}\) and \(C_{i1}\) with diameter larger than \(\delta /3\) and \(d_H(C_{i0},C_{i1})\ge \delta /3\). Inductively, we can define the family \((C_{i_1i_2\cdots i_n})_{i_1,\ldots ,i_n,n}\) satisfying items (1), (2), and (3) in Definition 4.2. \(\square \)
In the case of first-time sensitive homeomorphisms, the local cw-unstable continua increase when iterated forward. Thus, to prove that they can be split to increase it is enough to prove that they can be split by continua in \({\mathcal {F}}^u\). The next definition is a formalization of this idea.
Definition 4.5
We say that \(C\in {\mathcal {F}}^u\) can be indefinitely split in \({\mathcal {F}}^u\) if there exists \(\delta >0\) such that \(C\in {\mathcal {F}}^u_{\delta }\) and for each \(n\in {\mathbb {N}}\) and \((i_1,\ldots ,i_n)\in \{0,1\}^n\) there exists \(C_{i_1i_2\cdots i_n}\in {\mathcal {C}}(X)\) satisfying:
-
(1)
\(C_{i_1i_2\cdots i_n}\in {\mathcal {F}}^u_{\gamma }\) for some \(\gamma \ge \delta \)
-
(2)
\(C_{i_1i_2\cdots i_{n-1}i_n}\subset f^{2m_{\delta }}(C_{i_1i_2\cdots i_{n-1}})\), and
-
(3)
\(d_H(C_{i_1i_2\cdots i_{n-1}0},C_{i_1i_2\cdots i_{n-1}1})\ge \frac{\delta }{3}\).
Proposition 4.6
For a first-time sensitive homeomorphism, if a continuum can be indefinitely split in \({\mathcal {F}}^u\), then it can be indefinitely split to increase.
Proof
If \(C\in {\mathcal {F}}^u\) can be indefinitely split in \({\mathcal {F}}^u\), then there exists \(\delta >0\) and a family \((C_{i_1i_2\cdots i_n})_{i_1i_2\cdots i_n,n}\) satisfying conditions (1), (2) and (3) in Definition 4.5. Let \(M=m_{2\delta }\) and consider \(\delta '\in (0,\delta )\) given by Lemma 2.9 such that
for every \((i_1,\ldots ,i_n)\in \{0,1\}^n\) and every \(n\in {\mathbb {N}}\). Conditions (1), (2) and (3) of Definition 4.2 follow easily from that. \(\square \)
A consequence of this is that the existence of a continuum in \({\mathcal {F}}^u\) that can be indefinitely split in \({\mathcal {F}}^u\) would imply positive topological entropy for a first-time sensitive homeomorphism. A difficulty that appears is that for \(C\in {\mathcal {F}}^u\) we can choose \(x,y\in f^{2m_\delta }(C)\) such that \(d(x,y)\ge \frac{\delta '}{3}\) and Theorem 2.2 ensures the existence of continua \(C_0,C_1\in {\mathcal {F}}^u_{\delta }\) containing x and y, respectively, but we could not prove that \(C_0\) and \(C_1\) are contained in \(f^{2m_{\delta }}(C)\). Thus, the following is still an open question:
Question 2
Do continua in \({\mathcal {F}}^u\) of a first-time sensitive homeomorphism can be indefinitely split in \({\mathcal {F}}^u\)?
Assuming that the answer for Question 2 could be negative, we tried a distinct approach to prove positive topological entropy that we explain below. In the case of cw-expansive homeomorphisms, it is proved in [7] the existence of a hyperbolic cw-metric, generalizing the hyperbolic metric in the case of expansive homeomorphisms in [14]. We explain the hyperbolic cw-metric below and discuss the existence of a hyperbolic ft-metric for first-time sensitive homeomorphisms with additional assumptions on \({\mathcal {F}}^u\). After that, we explain how the existence of a hyperbolic ft-metric is enough to prove positive topological entropy. Let
For \(p,q\in C\) denote \(C_{(p,q)}=(p,q,C)\). The notation \(C_{(p,q)}\) implies that \(p,q\in C\) and that \(C\in {\mathcal {C}}(X)\). Define
and consider the sets
These sets contain exactly the \(\varepsilon \)-stable and \(\varepsilon \)-unstable continua of f, respectively.
Theorem 4.7
(Hyperbolic cw-metric- [6]) If \(f:X\rightarrow X\) is a cw-expansive homeomorphism of a compact metric space X, then there is a function \(D:E\rightarrow {\mathbb {R}}\) satisfying the following conditions.
-
(1)
Metric properties:
-
(a)
\(D(C_{(p,q)})\ge 0\) with equality if, and only if, C is a singleton,
-
(b)
\(D(C_{(p,q)})=D(C_{(q,p)})\),
-
(c)
\(D([A\cup B]_{(a,c)})\le D(A_{(a,b)})+D(B_{(b,c)})\), \(a\in A, b\in A\cap B, c\in B\).
-
(a)
-
(2)
Hyperbolicity: there exist constants \(\lambda \in (0,1)\) and \(\varepsilon >0\) satisfying
-
(a)
if \(C\in {\mathcal {C}}^s_\varepsilon (X)\) then \(D(f^n(C_{(p,q)}))\le 4\lambda ^nD(C_{(p,q)})\) for every \(n\ge 0\),
-
(b)
if \(C\in {\mathcal {C}}^u_\varepsilon (X)\) then \(D(f^{-n}(C_{(p,q)}))\le 4\lambda ^nD(C_{(p,q)})\) for every \(n\ge 0\).
-
(a)
-
(3)
Compatibility: for each \(\delta >0\) there is \(\gamma >0\) such that
-
(a)
if \(\text{ diam }(C)<\gamma \), then \(D(C_{(p,q)})<\delta \) for every \(p,q\in C\),
-
(b)
if there exist \(p,q\in C\) such that \(D(C_{(p,q)})<\gamma \), then \(\text{ diam }(C)<\delta \).
-
(a)
In the case of first-time sensitive homeomorphisms, we could not expect to obtain a function in the whole set E since there could be continua in arbitrarily small dynamical balls. Then we will restrict the set E considering only continua in \({\mathcal {F}}^u\) as follows
and obtain a similar result. We will need though to add two hypothesis to \({\mathcal {F}}^u\) so that the function D and its properties can be written precisely. In the first we ask that \({\mathcal {F}}^u\) is invariant by \(f^{-1}\), that is,
In the second we ask that \({\mathcal {F}}^u\) is closed by connected unions, that is
We tried to prove these hypotheses are always satisfied for first-time sensitive homeomorphisms, but there were some technical details that we could not circumvent. The following is the ft-metric that we were able to obtain in the case of first-time sensitive homeomorphisms. The proof is an adaptation of the proof of the cw-metric switching cw-expansiveness and the properties of the local unstable continua proved by Kato for ft-sensitivity and the properties of the local cw-unstable continua we proved in Section 2.
Theorem 4.8
(Hyperbolic ft-metric) Let \(f:X\rightarrow X\) be a first-time sensitive homeomorphism, of a compact and connected metric space X satisfying hypothesis (P1) and (P2), with a sensitivity constant \(\varepsilon >0\). If \({\mathcal {F}}^u\) is invariant by \(f^{-1}\) and closed by connected unions, then there is a function \(D:E^u\rightarrow {\mathbb {R}}\) satisfying the following conditions.
-
(1)
Metric properties:
-
(a)
\(D(C_{(p,q)})> 0\) for every \(C_{(p,q)}\in E^u\),
-
(b)
\(D(C_{(p,q)})=D(C_{(q,p)})\),
-
(c)
\(D([A\cup B]_{(a,c)})\le D(A_{(a,b)})+D(B_{(b,c)})\), \(a\in A, b\in A\cap B, c\in B\).
-
(a)
-
(2)
Hyperbolicity: there exists \(\lambda \in (0,1)\) satisfying
-
(a)
if \(C_{(p,q)}\in E^u\), then \(D(f^{-n}(C_{(p,q)}))\le 4\lambda ^nD(C_{(p,q)})\) for every \(n\ge 0\).
-
(a)
-
(3)
Compatibility: for each \(\delta >0\) there is \(\gamma >0\) such that
-
(a)
if \(\text{ diam }(C)<\gamma \), then \(D(C_{(p,q)})<\delta \) for every \(p,q\in C\),
-
(b)
if there exist \(p,q\in C\) such that \(D(C_{(p,q)})<\gamma \), then \(\text{ diam }(C)<\delta \).
-
(a)
Proof of Theorem 4.8
For each \(\gamma \in (0,\varepsilon )\), consider \(m_{\gamma }>0\), given by Proposition 2.12. Let \(m=m_{\frac{\varepsilon }{2}}\), \(\lambda =2^{-1/m}\), and define the function
Consider the map \(D:E^u\rightarrow {\mathbb {R}}\) given by
where the infimum is taken over all \(n\ge 1\), \(a_0=p, a_1, \dots , a_n=q\), and \(A^1, \dots , A^n\in {\mathcal {F}}^u\) such that \(C=\bigcup _{i=1}^nA^i\). The proof of this theorem is based on the following inequalities
for every \(C_{(p,q)}\in E^u\).
-
(1)
Metric properties: items (b) and (c) are direct consequences of the definition of the function D, while item (a) is a consequence of the fact that if \(C\in {\mathcal {F}}^u\), then \(n_1(C,\varepsilon )\) is a finite positive number, so \(\rho (C)>0\), and then inequalities (8) ensure that
$$\begin{aligned} D(C_{(p,q)})\ge \frac{1}{4}\rho (C)>0. \end{aligned}$$ -
(2)
Hyperbolicity: If \(C\in {\mathcal {F}}^u\), then
$$\begin{aligned} \text{ diam }(f^{-n}(C))\le \varepsilon \,\,\,\,\,\, \text {for every} \,\,\,\,\,\, n\ge 0, \end{aligned}$$$$\begin{aligned} n_1(C, \varepsilon )<+\infty \,\,\,\,\,\, \text {and} \,\,\,\,\,\, \text{ diam }(f^{n_1(C,\varepsilon )}(C))>\varepsilon . \end{aligned}$$This implies that
$$\begin{aligned} n_1(f^{-n}(C),\varepsilon )=n+n_1(C,\varepsilon ) \,\,\,\,\,\, \text {for every} \,\,\,\,\,\, n\ge 0, \end{aligned}$$and, hence, the following holds for every \(n\in {\mathbb {N}}\):
$$\begin{aligned} \rho (f^{-n}(C))= & {} \lambda ^{n_1(f^{-n}(C),\varepsilon )}=\lambda ^{n+n_1(C,\varepsilon )}\\= & {} \lambda ^n\lambda ^{n_1(C,\varepsilon )}=\lambda ^n\rho (C). \end{aligned}$$Inequalities (8) ensure the following holds for every \(n\in {\mathbb {N}}\):
$$\begin{aligned} D(f^{-n}(C_{(p.q)}))\le \rho (f^{-n}(C))=\lambda ^n\rho (C)\le 4\lambda ^n D(C_{(p.q)}). \end{aligned}$$Recall the hypothesis that \({\mathcal {F}}^u\) is invariant by \(f^{-1}\), so
$$\begin{aligned} f^{-n}(C)\in {\mathcal {F}}^u\,\,\,\,\,\, \text {for every} \,\,\,\,\,\, n\in {\mathbb {N}}. \end{aligned}$$ -
(3)
Compatibility: Inequalities (8) ensure that the compatibility between \(\rho \) and \(\text{ diam }\) is enough to obtain compatibility between D and \(\text{ diam }\). The compatibility between \(\rho \) and \(\text{ diam }\) is proved as follows:
(a) Given \(\delta >0\), choose \(n\in {\mathbb {N}}\) such that \(\lambda ^n<\delta \). Let \(\gamma >0\), given by continuity of f, be such that if \(C\in C(X)\) satisfies \(\text{ diam }(C)<\gamma \), then
$$\begin{aligned} \text{ diam }(f^i(C))<\varepsilon \,\,\,\,\,\, \text {whenever} \,\,\,\,\,\, |i|\le n. \end{aligned}$$This implies that \(n_1(C,\varepsilon )>n\) and, hence, that
$$\begin{aligned} \rho (C)=\lambda ^{n_1(C,\varepsilon )}<\lambda ^n<\delta . \end{aligned}$$(b) Given \(\delta >0\), let \(\gamma =\lambda ^{2m_{\delta }}\). If \(\rho (C)<\gamma \), then
$$\begin{aligned} \lambda ^{n_1(C,\varepsilon )}<\lambda ^{2m_{\delta }} \,\,\,\,\,\, \text {and} \,\,\,\,\,\, n_1(C,\varepsilon )>2m_{\delta }. \end{aligned}$$Proposition 2.5 assures that \(C\notin {\mathcal {F}}^u_\delta \). Proposition 2.12 ensures that
$$\begin{aligned} C\notin {\mathcal {F}}^u_\alpha \,\,\,\,\,\, \text {for any} \,\,\,\,\,\, \alpha \in (\delta ,\varepsilon ). \end{aligned}$$Indeed, if \(\alpha >\delta \), then \(m_{\alpha }\le m_{\delta }\) and, hence,
$$\begin{aligned} n_1(C,\varepsilon )>2m_{\delta }\ge 2m_{\alpha }, \end{aligned}$$and again Proposition 2.5 ensures that \(C\notin {\mathcal {F}}^u_\alpha \). Since \(C\in {\mathcal {F}}^u\), it follows that \(C\in {\mathcal {F}}^u_\alpha \) for some \(\alpha \in (0,\delta ),\) and, hence,
$$\begin{aligned} \text{ diam }(C)\le \alpha <\delta . \end{aligned}$$
\(\square \)
The first inequality in (8) is assured by the definition of D, while the following result ensures the other inequality. Its proof is an adaptation of Lemma 2.4 of [7].
Lemma 4.9
The function \(\rho \) satisfies:
for all \(C_1,\ldots , C_n\in {\mathcal {F}}^u\) such that \(C_i\cap C_{i+1}\ne \emptyset \) for every \(i\in \{1,\ldots ,n-1\}\).
Proof
First, we will prove this result for \(n=2\). Consider \(C=A\cup B\) with \(A,B\in {\mathcal {F}}^u\) and \(A\cap B\ne \emptyset \). We claim that either
Indeed, we know that \(\text{ diam }\;f^{n_1(C,\varepsilon )}(C)>\varepsilon \), so either
Assume we are in the first case (the second is analogous). Since \(A\in {\mathcal {F}}^u\), property (F2) ensures that
and since
it follows that
so the first inequality in (10) holds and the claim is proved. If \(n_1(A,\varepsilon )\le m+n_1(C,\varepsilon )\), then
since \(0<\lambda <1\) and \(\lambda ^m=1/2\), and this implies \(2\rho (A)\ge \rho (C)\). Similarly, if \(n_1(B,\varepsilon )\le m+n_1(C,\varepsilon )\) we obtain \(2\rho (B)\ge \rho (C)\) and conclude that
This completes the proof in the case \(n=2\). Arguing by induction, suppose that given \(n\ge 3\), the conclusion of the lemma holds for every \(k<n\) and let \(C=\bigcup _{i=1}^nC_i\) with
In what follows the hypothesis that \({\mathcal {F}}^u\) is closed by connected unions is used in a few steps, though we will not mention it. Consider the following inequalities
If \(\rho (C)\le 2\rho (C_1)\), then (9) is proved and if \(2\rho (C_1\cup \cdots \cup C_{n-1})<\rho (C)\), then (11) implies that \(\rho (C)\le 2\rho (C_n)\), which also implies (9). Thus, we assume that
This and (12) imply that there is \(1<r<n\) such that
The first inequality and (11) imply that
Thus,
Since (9) holds for these two terms, by the induction assumption, the proof ends. \(\square \)
Theorem 4.10
Let \(f:X\rightarrow X\) be a first-time sensitive homeomorphism, of a compact and connected metric space X satisfying hypothesis (P1) and (P2). If \({\mathcal {F}}^u\) is invariant by \(f^{-1}\) and closed by connected unions, then f has positive topological entropy.
Proof
We will prove that there exists \(M\in {\mathbb {N}}\), \(\delta >0\), and \(C\in {\mathcal {F}}^u\) such that \(\text{ diam }(f^M(C))\ge \delta \), and for each \(n\in {\mathbb {N}}\) and \((i_1,\ldots ,i_n)\in \{0,1\}^n\), there exists \(C_{i_1i_2\cdots i_n}\in {\mathcal {F}}^u\) satisfying:
-
(1)
\(\text{ diam }(f^M(C_{i_1i_2\cdots i_n}))\ge \delta \);
-
(2)
-
(a)
\(C_0\cap f^M(C)\ne \emptyset \) and \(C_1\cap f^M(C)\ne \emptyset \);
-
(b)
\(C_{i_1i_2\cdots i_{n-1}i_n}\cap f^M(C_{i_1i_2\cdots i_{n-1}})\ne \emptyset \);
-
(a)
-
(3)
\(d_H(C_{i_1i_2\cdots i_{n-1}0},C_{i_1i_2\cdots i_{n-1},1})\ge {\delta }/{3}\);
-
(4)
for each \(k\in {\mathbb {N}}\), \(n\ge k\) and \((i_1,i_2,\ldots , i_n)\in \{0,1\}^n\),
$$\begin{aligned}\text{ diam }\left( \bigcup _{j=0}^{n-k} f^{-jM}(C_{i_1\cdots i_{k+j}})\right) <\frac{\delta }{3}.\end{aligned}$$
We first prove the existence of this family of continua \((C_{i_1i_2\cdots i_n})_{i_1i_2\cdots i_n,n}\) and after we prove it is enough to prove positive topological entropy. In Theorem 4.8 we proved the existence of a ft-metric \(D:E^u\rightarrow {\mathbb {R}}\) with a hyperbolic constant \(\lambda \in (0,1)\). Consider \(\delta >0\), given by Corollary 2.9, satisfying: if \(C\in {\mathcal {F}}^u_{\gamma }\), then
The compatibility between \(\text{ diam }\) and D ensures the existence of \(\alpha \in (0,\delta )\) such that
Consider \(M\in {\mathbb {N}}\) such that \(M\ge 2m_{\delta /6}\) and
and choose any \(C\in {\mathcal {F}}^u_{\delta /6}\). Corollary 2.9 ensures that
Since \(M\ge 2m_{\delta /6}\), then \(\text{ diam }\;f^M(C)\ge \delta \). Thus, we can choose \(x_0\) and \(x_1\) in \(f^M(C)\) with \(d(x_0,x_1)\ge \delta \). Theorem 2.2 ensures the existence of \(C_0, C_1 \in {\mathcal {F}}^u_{\delta /6}\) with \(x_0\in C_0\) and \(x_1\in C_1\). Thus,
for each \(i\in \{0,1\}\), so \(d_H(C_0,C_1)\ge \delta /3\) (proving items (2) (a), (3) and (4) for \(C, C_0\) and \(C_1\)). Also, Corollary 2.9 ensures that
since \(M\ge 2m_{\delta /6}\), implying item (1) for \(C_0\) and \(C_1\). Now, for each \(i\in \{0,1\}\), consider \(x_{i,0},x_{i1}\in f^M(C_{i})\) such that \(d(x_{i0},x_{i1})\ge \delta \) and \(C_{i0},C_{i1}\in {\mathcal {F}}_{\delta /6}^u\) with
Thus,
and
Moreover, the hyperbolicity of D ensures that
which implies that
Thus, for each \((i,j)\in \{0,1\}^2\),
Figure 5 illustrates these choices and estimates. Following the same steps inductively, for each \(n\ge 2\) and \((i_1i_2\cdots i_{n-1})\in \{0,1\}^{n-1}\) we create continua, \(C_{i_1i_2\cdots i_{n-1}, 0}\) and \(C_{i_1i_2\cdots i_{n-1}, 1}\) in \({\mathcal {F}}_{\delta /6}^u\), with
and
Since \(C_{i_1i_2\cdots i_{n-1} i_n}\in {\mathcal {F}}^u\), then, by Corollary 2.9,
The properties of D (triangular inequality and hyperbolicity on \({\mathcal {F}}^u\)) ensure that for each \(k\in {\mathbb {N}}\), \(n\ge k\) and \((i_1,i_2,\cdots ,i_n)\in \{0,1\}^n\) we have
Here we just write \(f^{-jM}(C_{i_1\cdots i_{k+j}})\) omitting the marked points, which are
where \(x_{i_1,\cdots , i_{l}}\) is a point of the intersection \(C_{i_1\cdots i_l}\cap f^M(C_{i_1\cdots i_{l-1}})\) for each \(l\in {\mathbb {N}}\). Since, by hypothesis,
the compatibility between D and \(\text{ diam }\) ensures that
and, therefore,
This proves the existence of the family \((C_{i_1\ldots i_n})_{i_1,\ldots ,i_n,n}\) satisfying (1) to (4). To prove that this implies positive topological entropy, we use (2) and choose points
and for each \(n\ge 2\) and \((i_1,i_2,\ldots , i_n)\in \{0,1\}^n\), choose
We will prove that, for each \(n\in {\mathbb {N}}\), the set
is \((nM,\delta /3)-\)separated. Indeed, if \(y _{i_1\cdots i_n},y_{j_1\cdots j_n}\in A_n\) are distinct, then there exists \(k\in \{1,2,\ldots , n\}\) such that \(j_k\ne i_k\) and
Assume, without loss of generality, that \(i_k=0\) and \(j_k=1\). Since
and
we have that
and
Item (4) ensures that
and this implies that
since \(d(x_{i_1\cdots i_{k-1}0},x_{i_1\cdots i_{k-1}1})\ge \delta \) by item (3) (recall that \(x_{i_1\cdots i_{k-1}0},x_{i_1\cdots i_{k-1}1}\in C_{i_1\cdots i_{k-1}i_n}\)). Since for each \(n\in {\mathbb {N}}\), \(A_n\) has \(2^n\) elements and is \((nM,\delta /3)\)-separated, it follows that
Thus,
and, hence, \(h(f)>0\). \(\square \)
Question 3
Are the hypotheses on \({\mathcal {F}}^u\) of being invariant by \(f^{-1}\) and closed by connected unions satisfied by all first-time sensitive homeomorphisms?
Availability of data and materials
The authors declare that all material (figures and tables) were developed by them.
References
Acosta, G., Illanes, A., Lango, H.M.: The transitivity of induced maps. Topol. Appl. 156, 1013–1033 (2009)
Anosov, D.V.: Geodesic flows on compact manifolds of negative curvature. Trudy mat. Inst. V.A Steklova, 90, 1–235 (1967)
Artigue, A.: Kinematic expansive flows. Ergodic Theory Dyn. Syst. 36(2), 390–421 (2016). https://doi.org/10.1017/etds.2014.65
Artigue, A.: Robustly N-expansive surface diffeomorphisms. Discr. Continuous Dyn. Syst. 36, 2367–2376 (2016)
Artigue, A., Carrasco-Olivera, D.: A note on measure-expansive diffeomorphisms. J. Math. Anal. Appl. 428, 713–716 (2015)
Artigue, A., Carvalho, B., Cordeiro, W., Vieitez, J.: Beyond topological hyperbolicity: The L-shadowing property. J. Differ. Equ. 268(6), 3057–3080 (2020)
Artigue, A., Carvalho, B., Cordeiro, W., Vieitez, J.: Continuum-wise hyperbolicity. arXiv:2011.08147
Artigue, A., Pacífico, M.J., Vieitez, J.: N-expansive homeomorphisms on surfaces. Commun. Contemp. Math. 19(1), 1650040 (2017)
Carvalho, B., Cordeiro, W.: N-expansive homeomorphisms with the shadowing property. J. Differ. Equ. 261, 3734–3755 (2016)
Carvalho, B., Cordeiro, W.: Positively \(N\)-expansive homeomorphisms and the \(L\)-shadowing property. J. Dyn. Diff. Equat. 31(2), 1005–1016 (2019)
Cordeiro, W., Denker, M., Zhang, X.: On specification and measure expansiveness. Discr. Continuous Dyn. Syst. 37, 1941–1957 (2017)
Crovisier, S., Potrie, R.: Introduction to partially hyperbolic dynamics. Trieste Lecture Notes (2015). Available at http://www.cmat.edu.uy/rpotrie/documentos/pdfs/Crovisier-Potrie-PH.pdf
Downarowicz, T.: Positive topological entropy implies chaos DC2. Proc. AMS 142(1), 137–149 (2014)
Fathi, A.: Expansiveness, hyperbolicity and Hausdorff dimension. Commun. Math. Phys., 126 (1989)
Hertz, J.R.: There are no stable points for continuum-wise expansive homeomorphisms. arXiv preprint arXiv:math/0208102 (2002)
Hiraide, K.: Expansive homeomorphisms of compact surfaces are pseudo-Anosov. Osaka J. Math. 27, 117–162 (1990)
Huang, W., Li, L., Xu, L., Ye, X.: The existence of semi-horseshoes for partially hyperbolic diffeomorphisms. Adv. Math. 381, 107616 (2021)
Illanes, A., Nadler, S.: Hyperspaces: Fundamentals and Recent Advances, vol. 216. CRC Press, Boca Raton (1999)
Kato, H.: Continuum-wise expansive homeomorphisms. Canadian J. Math. 45(3), 576–598 (1993)
Kato, H.: Concerning continuum-wise fully expansive homeomorphisms of continua. Topol. Appl. 53(3), 239–258 (1993)
Li, J., Zhang, R.: Levels of generalized expansiveness. J. Dynam. Differ. Equ. 29, 1–18 (2015)
Lima, E.L.: Elementos de topologia geral, Rio de Janeiro: Editora SBM 1–297 (2009) ISBN:9788585818432
Liu, K., Xu, L., Zhang, R.: Time-restricted sensitivity and entropy. J. Differ. Equ. 293, 70–85 (2021)
Liu, H., Liao, L., Wang, L.: Thickly syndetical sensitivity of topological dynamical system. Discr. Dynam. Nature Soc. 583431 (2014)
Lorenz, E.: Three approaches to atmospheric predictability. Bull. Am. Meteorol. Soc. 50(5), 345–349 (1969)
Mañé, R.: Expansive homeomorphisms and topological dimension. Trans. Am. Math. Soc. 252, 313–319 (1979)
Morales, C.A.: A generalization of expansivity. Discrete Contin. Dyn. Syst. 32(1), 293–301 (2012)
Moothathu, T.S.: Stronger forms of sensitivity for dynamical systems. Nonlinearity 20(9), 2115 (2007)
Nadler, S.B.: A characterization of locally connected continua by hyperspace retractions. Proc. Am. Math. Soc. 67(1), 167–176 (1977)
Pacifico, M.J., Vieitez, J.L.: Entropy expansivity and domination for surface diffeomorphisms. Rev. Mat. Complut. 21, 293–317 (2008)
Pugh, C., Shub, M.: Stably ergodic dynamical systems and partial hyperbolicity. J. Complexity 13(1), 125–179 (1997)
Smale, S.: Differentiable dynamical system. Bull. Am. Math. Soc. 73, 747–817 (1967)
Young, L.-S.: Entropy of continuous flows on compact 2-manifolds. Topology 16(4), 469–471 (1977)
Funding
Open access funding provided by Università degli Studi di Roma Tor Vergata within the CRUI-CARE Agreement. Bernardo Carvalho was supported by Progetto di Eccellenza MatMod @TOV grant number PRIN 2017S35EHN, by CNPq grant number 405916/2018-3, and Mayara Antunes was also supported by Fapemig grant number APQ-00036-22.
Author information
Authors and Affiliations
Contributions
B.C. and M.A. contributed equally to the development of this manuscript.
Corresponding author
Ethics declarations
Ethical Approval
Ethical approval is not applicable to this research.
Conflict of Interest
The authors declare no Conflict of interest.
Equal Contribution
That both contributed equally to the development of this manuscript and agree with the publication of these results.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Antunes, M., Carvalho, B. First-time Sensitive Homeomorphisms. J Dyn Diff Equat (2024). https://doi.org/10.1007/s10884-024-10362-x
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10884-024-10362-x