Abstract
Lyapunov exponent is widely used in natural science to find chaotic signal, but its existence is seldom discussed. In the present paper, we consider the problem of whether the set of points at which Lyapunov exponent fails to exist, called the Lyapunov irregular set, has positive Lebesgue measure. The only known example with the Lyapunov irregular set of positive Lebesgue measure is a figure-8 attractor by the work of Ott and Yorke (Phys Rev 78, 056203, 2008), whose key mechanism (homoclinic loop) is easy to be broken by small perturbations. In this paper, we show that surface diffeomorphisms with a robust homoclinic tangency given by Colli and Vargas (Ergod Theory Dyn Syst 21, 1657–1681, 2001), as well as other several known nonhyperbolic dynamics, have the Lyapunov irregular set of positive Lebesgue measure. We can construct such positive Lebesgue measure sets both as the time averages exist and do not exist on it.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Lyapunov exponent is a quantity to measure sensitivity of an orbit to initial conditions and natural scientists often compute it to find chaotic signal. However, the existence of Lyapunov exponent is seldom discussed. The aim of this paper is to investigate the abundance of dynamical systems whose Lyapunov exponents fail to exist on a physically observable set, that is, a positive Lebesgue measure set.
Let M be a compact Riemannian manifold and \(f: M\rightarrow M\) a differential map. A point \(x\in M\) is said to be Lyapunov irregular if there is a non-zero vector \(v\in T_xM\) such that the Lyapunov exponent of x for v,
does not exist. When we would like to emphasize the dependence on v, we call it Lyapunov irregular for v. Similarly a point x is said to be Birkhoff irregular if there is a continuous function \(\varphi : M\rightarrow {\mathbb {R}}\) such that the time average \(\lim _{n\rightarrow \infty } ( \sum _{j=0}^{n-1} \varphi (f^j (x)) )/n\) does not exist. Otherwise, we say that x is Birkhoff regular. Moreover, we call the set of Lyapunov (resp. Birkhoff) irregular points the Lyapunov (resp. Birkhoff) irregular set of f. We borrowed these terminologies from Abdenur–Bonatti–Crovisier [1], while they studied the residuality of Lyapunov/Birkhoff irregular sets, which is not the scope of the present paper. Indeed, the residuality of irregular sets is a generic property ( [1, Theorem 3.15]) while the positivity of Lebesgue measure of irregular sets does not hold for Axiom A diffeomorphisms, see e.g. [23]. The terminology historic behavior by Ruelle [19] is also commonly used for the forward orbit of a point to mean that the point is Birkhoff irregular, in particular in the study of the positivity of Lebesgue measure of Birkhoff irregular sets after Takens [21], see e.g. [10, 11] and references therein.
Due to the Oseledets multiplicative ergodic theorem, the Lyapunov irregular set of f is a zero measure set for any invariant measure. However, this tells nothing about whether the Lyapunov irregular set is of positive Lebesgue measure in general. In fact, the Birkhoff ergodic theorem ensures that the Birkhoff irregular set has zero measure with respect to any invariant measure, but for a wide variety of dynamical systems the Birkhoff irregular set is known to have positive Lebesgue measure, see e.g. [10, 11, 19, 21] and references therein. Furthermore, the positivity of Lebesgue measure of the Birkhoff irregular set for these examples are strongly related with non-hyperbolicity of the systems, and the two complementary conjectures given by Palis [18] and Takens [21] for the abundance of dynamics with the Birkhoff irregular set of positive Lebesgue measure opened a deep research field in smooth dynamical systems theory. So, it is naturally expected that finding a large class of dynamical systems with the Lyapunov irregular set of positive Lebesgue measure would be a significant subject.
Yet, the known example whose Lyapunov irregular set has positive Lebesgue measure is only a surface flow with an attracting homoclinic loop, called a figure-8 attractor ( [17]), see Sect. 1.1.1 for details. However, the homoclinic loop is easy to be broken by small perturbations. Therefore, in this paper we give surface diffeomorphisms with a \({\mathcal {C}}^r\)-robust homoclinic tangency (\(r\ge 2\)) and the Lyapunov irregular set of positive Lebesgue measure. Recall that Newhouse [16] showed that, when M is a closed surface, any homoclinic tangency yields a \({\mathcal {C}}^r\)-diffeomorphism f with a robust homoclinic tangency associated with a thick basic set \(\Lambda \), that is, there is a neighborhood \({\mathcal {O}}\) of f in the set \(\mathrm {Diff}^r(M)\) of \({\mathcal {C}}^r\)-diffeomorphisms such that for every \(g\in {\mathcal {O}}\) the continuation \(\Lambda _g\) of \(\Lambda \) has a homoclinic tangency. Such an open set \({\mathcal {O}}\) is called a Newhouse open set.
We finally remark that if f is a \({\mathcal {C}}^1\)-diffeomorphism whose Lyapunov irregular set has positive Lebesgue measure and \({\tilde{f}}\) is conjugate to f by a \({\mathcal {C}}^1\)-diffeomorphism h, that is, \({\tilde{f}}= h^{-1} \circ f \circ h\), then the Lyapunov irregular set of \({\tilde{f}}\) also has positive Lebesgue measure. Our main theorem is the following.
Theorem A
There exists a diffeomorphism g in a Newhouse open set of \(\mathrm {Diff}^r(M)\) of a closed surface M and \(2\le r<\infty \) such that for any small \({\mathcal {C}}^r\)-neighborhood \({\mathcal {O}}\) of g one can find an uncountable set \({\mathcal {L}}\subset {\mathcal {O}}\) satisfying the following:
-
(1)
Every f and \({\tilde{f}}\) in \({\mathcal {L}}\) are not topologically conjugate if \(f\ne {\tilde{f}}\);
-
(2)
For any \(f\in {\mathcal {L}}\), there exist open sets \(U_f\subset M\) and \(V_f\subset {\mathbb {R}}^2\), under the identification of \(TU_f\) with \(U_f \times {\mathbb {R}}^2\), such that any point \(x\in U_f\) is Lyapunov irregular for any non-zero vector \(v\in V_f\).
Furthermore, \({\mathcal {L}}\) can be decomposed into two uncountable sets \({\mathcal {R}}\) and \({\mathcal {I}}\) such that any point in \(U_f\) is Birkhoff regular for each \(f\in {\mathcal {R}}\) and any point in \(U_f\) is Birkhoff irregular for each \(f\in {\mathcal {I}}\).
Remark
(Generalization of Theorem A) It is a famous folklore result known to Bowen that a surface flow with heteroclinically connected two dissipative saddle points has the Birkhoff irregular set of positive Lebesgue measure (see Sect. 1.1.1), and its precise proof was given by Gaunersdorfer [8], see also Takens [20]. However, again, the heteroclinic connections are easily broken by small perturbations, and thus Takens asked in [21] whether the Birkhoff irregular set can have positive Lebesgue measure in a persistent manner. In [11], the first and fourth authors affirmatively answered it by showing that there is a dense subset of any \({\mathcal {C}}^r\)-Newhouse open set of surface diffeomorphisms with \(2\le r<\infty \) such that any element of the dense set has an open subset in the Birkhoff irregular set, by extending the technology developed for a special surface diffeomorphism with a robust homoclinic tangency given by Colli and Vargas [5]. Furthermore, we adopt the Colli–Vargas diffeomorphism to prove Theorem A. Therefore, it is likely that Theorem A can be extended to surface diffeomorphisms in a dense subset of any Newhouse open set. The main technical difficulty might be the control of higher order terms of the return map of diffeomorphisms in the dense set, which do not appear for the return map of the Colli–Vargas diffeomorphism, see the expression (1.10).
Furthermore, the above result [11] was recently extended in [4] to the \({\mathcal {C}}^\infty \) and \({\mathcal {C}}^\omega \) categories by introducing a geometric model, and Colli–Vargas’ result was extended in [12] to a 3-dimensional diffeomorphism with a \({\mathcal {C}}^1\)-robust homoclinic tangency derived from a blender-horseshoe. Hence, we expect that Theorem A holds for \(r=\infty \), \(\omega \) and for \(r=1\) when the dimension of M is three. We also remark that [3, 13] extended the result of [11] to 3-dimensional flows and higher dimensional diffeomorphisms.
Remark
(Irregular vectors) Ott and Yorke [17] asserted that they constructed an open set U any point of which is Lyapunov irregular for any non-zero vectors, but we believe that their proof has a gap. What one can immediately conclude from their argument is that any point in U is Lyapunov irregular for non-zero vectors in the flow direction (and thus, the set of irregular vectors are not observable); see Sect. 1.1.1 for details. In Sect. 1.1.3, we further show that a surface diffeomorphism with a figure-8 attractor introduced by Guarino–Guihéneuf–Santiago [9] has an open set every element of which is Lyapunov irregular for any non-zero vectors.
Remark
(Relation with Birkhoff irregular sets) One can find differences between Birkhoff irregular sets and Lyapunov irregular sets, other than Theorem A, in the literature. Indeed, it was already pointed out in Ott-Yorke [17] that the figure-8 attractor has a positive Lebesgue measure set on which the time averages exist but the Lyapunov exponents do not exist (see also [7]). Conversely, diffeomorphisms whose Birkhoff irregular set has positive Lebesgue measure but Lyapunov irregular set has zero Lebesgue measure were exhibited in [6]. We also remark that, in contrast to the deterministic case, under physical noise both Birkhoff and Lyapunov irregular sets of any diffeomorphism have zero Lebesgue measure by [2] and [14].
In the rest of Sect. 1, we explain that several nonhyperbolic systems in the literature also have Lyapunov irregular sets of positive Lebesgue measure (see, in particular, Sect. 1.1). The purpose of the attention to these examples are not to increase the collection of dynamics with observable Lyapunov irregular sets, but rather to understand the mechanism making observable Lyapunov irregular sets, which is especially discussed in Sect. 1.2.
1.1 Other examples
1.1.1 Figure-8 attractor
Ott and Yorke showed in [17] that a figure-8 attractor has the Lyapunov irregular set of positive Lebesgue measure as follows. Let \((f^t)_{t\in {\mathbb {R}}}\) be a smooth flow on \({\mathbb {R}}^2\) generated by a vector field \(V: {\mathbb {R}}^2 \rightarrow {\mathbb {R}}^2\) with an equilibrium point p of saddle type with homoclinic orbits, that is, the unstable manifold of p coincides with the stable manifold of p and consists of \(\{ p\}\) and two orbits \(\gamma _1\), \(\gamma _2\). We also assume that the loops \(\gamma _1\cup \{p\}\) and \(\gamma _2 \cup \{p\}\) are attracting in the sense that \( \alpha _- > \alpha _+, \) where \(\alpha _+\) and \(-\alpha _- \) are eigenvalues of the linearized vector field of V at p with \(\alpha _\pm >0\). Due to the assumption, one can find open sets \(U_1\) and \(U_2\) inside and near the loops \(\gamma _1 \cup \{p\}\) and \(\gamma _2 \cup \{p\}\), respectively, such that the \(\omega \)-limit set of \((f^t(x))_{t\in {\mathbb {R}}}\) is \(\gamma _i\cup \{p\} \) for all \(x\in U_i\) with \(i= 1, 2\). In this setting, \(\gamma _1 \cup \gamma _2 \cup \{p\}\) is called a figure-8 attractor.
It is easy to see that the Birkhoff irregular set of the figure-8 attractor is empty inside \(U_1\cup U_2\): in fact, if \(x\in U_1 \cup U_2\), then
(cf. [9]). On the other hand, Ott and Yorke showed in [17] that any point x in \(U _1 \cup U_2\) is Lyapunov irregular for the vector V(x), that is, the Lyapunov irregular set has positive Lebesgue measure (in fact, they implicitly put an additional assumption for simple calculations, see Sect. 2).
As previously mentioned, they also asserted that \(x\in U _1 \cup U_2\) is Lyapunov irregular for any non-zero vector v, because \(( \frac{1}{t} \log \det (Df^t(x) V(x) \, Df^t(x)v) )_{t\in {\mathbb {R}}}\) converges to \(\alpha _+ - \alpha _-\) as \(t\rightarrow \infty \). However, the oscillation of \(( \frac{1}{t} \log \Vert Df^t(x)v\Vert )_{t\in {\mathbb {R}}}\) is not a direct consequence of this fact and the oscillation of \(( \frac{1}{t}\log \Vert Df^t(x) V(x)\Vert )_{t\in {\mathbb {R}}}\) when v is not parallel to V(x) because the angle between \(Df^t(x) V(x)\) and \( Df^t(x)v\) can also oscillate.
1.1.2 Bowen flow
In [17], Ott and Yorke also indicated the oscillation of Lyapunov exponents for a vector along the flow direction for a special Bowen flow by a numerical experiment. By following the argument of [17] for a figure-8 attractor, we can rigorously prove that the Lyapunov irregular set has positive Lebesgue measure for any Bowen flow.
Let \((f^t)_{t\in {\mathbb {R}}}\) be a smooth flow on \({\mathbb {R}}^2\) generated by a vector field \(V: {\mathbb {R}}^2 \rightarrow {\mathbb {R}}^2\) of class \({\mathcal {C}}^{1+\alpha }\) (\(\alpha >0\)) with two equilibrium points p and \({\hat{p}}\) and two heteroclinic orbits \(\gamma _1\) and \(\gamma _2\) connecting the points, which are included in the unstable and stable manifolds of p respectively, such that the closed curve \(\gamma := \gamma _1 \cup \gamma _2 \cup \{p\} \cup \{ {\hat{p}}\}\) is attracting in the following sense: if we denote the expanding and contracting eigenvalues of the linearized vector field around p by \(\alpha _+\) and \(-\alpha _-\), and the ones around \(p_2\) by \(\beta _+\) and \(-\beta _-\), then
In this setting, one can find an open set U inside and near the closed curve \(\gamma \) such that the \(\omega \)-limit set of \((f^t(x))_{t\in {\mathbb {R}}}\) is \(\gamma \) for all \(x\in U\). As explained, it was proven in [8, 20] that any point in U is Birkhoff irregular. In fact, if \(x\in U\), then one can find time sequences \((\tau _n)_{n\in {\mathbb {N}}}\), \(({\hat{\tau }} _n)_{n\in {\mathbb {N}}}\) (given in Sect. 2) such that
for any continuous function \(\varphi : {\mathbb {R}}^2\rightarrow {\mathbb {R}}\), where \(r =\frac{\alpha _-}{\beta _+}\) and \({\hat{r}} =\frac{\beta _-}{\alpha _+}\). According to Takens [20] we call such a flow a Bowen flow. We can show the following proposition for the Lyapunov irregular set, whose proof will be given in Sect. 2.
Proposition 1.1
For the Bowen flow \((f^t)_{t\in {\mathbb {R}}}\) with the open set U given above, any point x in U is Lyapunov irregular for the vector V(x).
Remark
For the time sequences in (1.2) for which the time averages oscillate, we will see that
for any \(x\in U\). That is, the mechanism causing the oscillation of Lyapunov exponents is different from the one leading to oscillation of time averages; see Sect. 1.2 for details.
1.1.3 Guarino–Guihéneuf–Santiago’s simple figure-8 attractor
A disadvantage of the arguments in Sects. 1.1.1 and 1.1.2 is that, although it follows the arguments that a point x in the open set \(U_1 \cup U_2\) or U is Lyapunov irregular for the vector V(x) generating the flow, it is unclear whether x is also Lyapunov irregular for a vector which is not parallel to V(x), because the derivative \(Df^t (x)\) at the return time t to neighborhoods of p or \(p \cup {\hat{p}}\) is not explicitly calculated in the arguments (instead, the fact that \(Df^t (x) V(x) = V(f^t(x))\) is used). On the other hand, Guarino, Guihéneuf and Santiago in [9] constructed a surface diffeomorphism with a pair of saddle connections forming a figure of eight and whose return map is affine (see Proposition (1.4)). By virtue of this simple form of the return map, it is quite easy to prove that the diffeomorphism has an open set each element of which is Lyapunov irregular for any non-zero vectors. Furthermore, we will see in Sect. 1.2 that the calculation is a prototype of the proof of Theorem A.
Fix a constant \(\sigma > 1\) and numbers a, b such that \(1< a< b < \sigma \). Let \(I=[a,b]\) and denote the map \({\mathbb {R}}^2 \ni (x, y) \mapsto (\sigma ^{-2} x,\sigma y)\) by H. For every \(n\in {\mathbb {N}}\), let \(S_n =I\times \sigma ^{-n} I\) and \(U_n =\sigma ^{-n}I \times I\), so that
See Fig. 1. Furthermore, let \(R: {\mathbb {R}}^2\rightarrow {\mathbb {R}}^2\) be the affine map which is a rotation of \(-\frac{\pi }{2}\) around the point \(( \frac{a+b}{2}, \frac{a+b}{2} )\), i.e.
We say that a diffeomorphism of the plane is said to be compactly supported if it equals the identity outside a ball centered at the origin O, and moreover the diffeomorphism has a saddle (homoclinic) connection if it has a separatrix of the stable manifold coinciding with a separatrix of the unstable manifold associated with a saddle periodic point O, so that it bounds an open 2-disk. Specially, we call the union of O and a pair of saddle connections associated with O a figure-8 attractor at O, and it satisfies \(W^u(O)=W^s(O)\).
Proposition 1.2
([9, Proposition 3.4]). There exists a compactly supported \({\mathcal {C}}^\infty \)-diffeomorphism \(f:{\mathbb {R}}^2 \rightarrow {\mathbb {R}}^2\) which has a saddle connection of a saddle fixed point \(O=(0,0)\), and moreover there are positive integers \(n_0, k_0\) such that the following holds:
-
(a)
There is a neighborhood \({\mathcal {V}}\) of O such that
$$\begin{aligned} \bigcup _{n\ge n_0} \bigcup _{0\le \ell \le n}f^\ell (S_n)\subset {\mathcal {V}} \quad \text {and } \quad f\vert _{{\mathcal {V}}} = H. \end{aligned}$$ -
(b)
\(f^{k_0} (U_n)=S_n\) for all \(n\ge n_0\) and
$$\begin{aligned} f ^{k_0}(x,y) =R(x,y) \quad \text {for all } (x,y) \in [0, \sigma ^{-2n_0}] \times I. \end{aligned}$$
In particular, for every \(n \ge n_0\),
Remark
If we suppose that \(f|_{V_3} = s_h \circ f| _{V_1} \circ s_v\), where \(V_i\) is the i-th quadrant of \({\mathbb {R}}^2\), and \(s_v, s_h : {\mathbb {R}}^2 \rightarrow {\mathbb {R}}^2\) are symmetry maps with respect to the vertical and horizontal axes, respectively, f has a figure-8 attractor at O, see [9].
Although the dynamics in Proposition 1.2 is defined on \({\mathbb {R}}^2\), one can easily embed the restriction of f on the support of f into any compact surface. It follows from [9, Corollary 3.5] that if \(z\in S_{n_0}\), then
In particular, any point in \(S_{n_0}\) is Birkhoff regular. Our result for the Lyapunov irregular set is the following, whose proof will be given in Sect. 3.
Theorem 1.3
For the diffeomorphism f and the rectangle \(S_{n_0}\) given in Proposition 1.2, any point z in \(S_{n_0}\) is Lyapunov irregular for any non-zero vector.
Remark
We note that the piecewise expanding map on a surface constructed by Tsujii [22] has a return map around the origin whose form is quite similar to one of the diffeomorphism of Theorem 1.3. So, it is natural to expect that (a slightly modified version of) the map in [22] has an open set consisting of Lyapunov irregular points for any non-zero vectors.
1.2 Idea of proofs of Theorems A and 1.3: anti-diagonal matrix form of the return map
1.2.1 The figure-8 attractor
We start from the Guarino–Guihéneuf–Santiago’s figure-8 attractor. Let f be the diffeomorphism given in Proposition 1.2. Then, it follows from (1.4) that for any \(n\ge n_0\) and \(z\in S_n\), \(Df^{n+k_0}(z) \) is an anti-diagonal matrix,
so \(Df^{(2n+k_0) +(n+k_0)}(z) =Df^{2n+k_0}(f^{n+k_0}(z)) Df^{n+k_0}(z) \) is a diagonal matrix. Hence, if we define the d-th return time N(d) from \(S_{n_0}\) to \(\bigcup _{n\ge n_0} S_n\) with \(d\ge 1\) by
(notice that \(f^{N(d)} (S_{n_0}) \subset S_{2^d n_0}\)), then it follows from a chain of calculations that for any \(z\in S_{n_0}\)
and thus, for any \(v\not \in {\mathbb {R}} \left( \begin{array}{c} 1\\ 0 \end{array} \right) \cup {\mathbb {R}} \left( \begin{array}{c} 0\\ 1 \end{array} \right) \),
Furthermore, one can see by a direct calculation that with the function \(\vartheta : [0,1]\rightarrow {\mathbb {R}}\) given by \(\vartheta (\zeta )=-(1-\zeta )/(1+\zeta )\) if \(\zeta \ge 1/3\) and \(\vartheta (\zeta )=-2\zeta /(1+\zeta )\) if \(\zeta <1/3\), it holds that for any \(\zeta \in [0,1]\),
where \(\lfloor a \rfloor \) for \(a\in {\mathbb {R}}\) is the greatest integer less than or equal to a. Note that \(N(4d) =2^{4d}n_0 + (4dk_0-n_0)\), so \(N(4d) +\lfloor \zeta 2^{4d}n_0\rfloor \) over \(\zeta \in [0,1]\) essentially realizes all times from N(4d) to \(N(4d+1)\). A detailed calculation will be given in Sect. 3.
1.2.2 The Newhouse open set
Next we consider the diffeomorphisms in the Newhouse open set given in Theorem A. Colli and Vargas constructed in [5] a diffeomorphism g in a Newhouse open set with constants \(0<\lambda<1 <\sigma \) such that for any \({\mathcal {C}}^r\)-neighborhood \({\mathcal {O}}\) of g and any increasing sequence \((n_k^0)_{k\ge 0}\) of integers with \(\limsup _{k\rightarrow \infty } n_{k+1}/n_k <\infty \), one can find a diffeomorphism f in \({\mathcal {O}}\) together with a sequence of rectangles \((R_k)_{k=1}^\infty \) and a sequence of increasing sequence \(({\tilde{n}}_k)_{k\ge 1}\) of integers with \({\tilde{n}}_k =O(k)\) such that \(f^{n_k+2} (R_k) \subset R_{k+1}\) and for each \(({\tilde{x}}_k+x,y)\in R_k\),
where \(n_k= n_k^0 + {\tilde{n}}_k\) and \(({\tilde{x}}_k,0)\) is the center of \(R_k\), see Theorem 4.1 for details. Thus, the derivative of the return map has the form
Compare this formula with (1.5) for \(n =n(d) -k_0\) and note that \(\lim _{d\rightarrow \infty }(n(d+1) -k_0)/(n(d)-k_0) =2\).
The biggest obstacle in (1.11) to repeat the above calculation for Guarino–Guihéneuf–Santiago’s figure-8 attractor is the term \(-2\sigma ^{2n_k} x\): the absolute value of the term should be as small as the absolute value of \(-\lambda ^{n_k}\) of (1.11), while \(\sigma ^{2n_k}\) may be much larger than \(\lambda ^{n_k}\) because \(0<\lambda<1 <\sigma \). Therefore, the key point in the proof is to find a subset \(U_k\) of \(R_k\) such that any \(x\in U_k\) satisfies the required condition \(\vert -2\sigma ^{2n_k} x\vert <\xi \vert -\lambda ^{n_k}\vert \) with a positive constant \(\xi \) independently of k (Lemma 4.5), and to show \(f^{n_k +2}(U_k) \subset U_{k+1}\) (Lemma 4.4).
1.2.3 Some technical observations
Finally, we give a couple of (more technical) remarks on the similarity of mechanics leading to observable Lyapunov irregular sets for the dynamics of this paper.
Remark
To understand the time scale \(N(4d) +\lfloor \zeta 2^{4d}n_0\rfloor \) of (1.9), calculations of (partial) Lyapunov exponents for the Bowen flow might be helpful. Let \((f^t)_{t\in {\mathbb {R}}}\), V, p, \({\hat{p}}\), U be as in Sect. 1.1.2. Let N and \({\hat{N}}\) be small neighborhoods of p and \({\hat{p}}\), respectively, such that \(N \cap {\hat{N}} =\emptyset \). Fix \(z\in U\) and let \(\tau _n\) and \({\hat{\tau }} _n\) be the n-th return time of z to N and \({\hat{N}}\), respectively (see Sect. 2 for their precise definition). Then, since \(Df^t (z)V(z) =V(f^t(z))\) for each \(t\ge 0\), both \(\Vert Df^{\tau _n} (z) V(z)\Vert \) and \(\Vert Df^{{\hat{\tau }} _n} (z) V(z)\Vert \) are bounded from above and below uniformly with respect to n, which implies (1.3) (while (1.2) is a consequence of [20]).
We further define \(\rho _n\) as the time t in \([0, \tau _{n+1}-\tau _n]\) at which \(f^{\tau _n+ t}(z)\) makes the closest approach to p (that is, \(\rho _n\) is the the minimizer of \( \Vert f^{\tau _n + t}(z) - p\Vert \) over \(0\le t \le \tau _{n+1}-\tau _n\)). Then, since the vector field V is zero at p, it can be expected that \(\Vert Df^{\tau _n +\rho _n} (z)V(z)\Vert =\Vert V(f^{\tau _n +\rho _n}(z))\Vert \) decays rapidly as n increases. In fact, we can show that
which is \( \frac{\alpha _+ - \alpha _- }{2}\) when \(\alpha _+=\beta _+\) and \(\alpha _- =\beta _-\). On the other hand, \(\vartheta (\zeta )\) in (1.9) takes the minimum \(-\frac{1}{2}\) at \(\zeta =\frac{1}{3}\), so the minimum of (1.9) is
Remark
We emphasize that the choice of \((n_k^0)_{k\in {\mathbb {N}}}\) in (1.10) is totally free except the condition \(\limsup _{k\rightarrow \infty } n_{k+1}^0/n_k ^0 < \infty \), while \((n(d))_{d\in {\mathbb {N}}}\) in (1.6) must satisfy \(\lim _{d\rightarrow \infty }n(d+1)/n(d) =2\). This freedom makes the construction of the oscillation of (partial) Lyapunov exponents of f a bit simpler. Indeed, in the proof of Theorem A we take \((n_k)_{k\in {\mathbb {N}}}\) as
which enables us to conclude that for any z in an open subset of \(R_{\kappa }\) with some large integer \(\kappa \) and any vector v in an open set,
where \(\alpha = \lim _{p\rightarrow \infty } n_{2p+1}/n_{2p}\), \(\beta = \lim _{p\rightarrow \infty } n_{2p}/n_{2p-1} \) and \(N_j =(n_\kappa +2) + (n_{\kappa +1} +2) +\cdots + (n_{\kappa +j} +2)\) (so the “time at closest approach” \(N(4d)+\lfloor \zeta 2^{4d}n_0\rfloor \) with \(\zeta \in (0,1)\) for Guarino–Guihéneuf–Santiago’s figure-8 attractor is not necessary).
Remark
We outline why the open set \(V_f\) in Theorem A is not easy to be replaced by \({\mathbb {R}}^2\setminus \{0\}\) by our argument. Again, Guarino–Guihéneuf–Santiago’s figure-8 attractor might be useful to understand the situation. Let v be the unit vertical vector. Then, it follows from (1.7) that \(\left\| Df^{N(2d)}(z) v \right\| = \sigma ^{(-2^{2d} +1)n_0}\), which is much smaller than the lower bound \(1- \sigma ^{(-2^{2d} +1)n_0}\) of \(\left\| Df^{N(2d)}(z) v' \right\| \) for any non-zero vector \(v'\) being not parallel to v, and thus (1.8) does not hold for this v (see (3.1) for details). For the diffeomorphism of Theorem A, this special situation on the vertical line may be spread to a vertical cone \({\mathcal {K}}_v:=\{ (v_1, v_2) \in {\mathbb {R}}^2\mid \vert v_1 \vert \le K ^{-1} \vert v_2\vert \}\) with a constant \(K>1\) (see (4.9)) and it is hard to repeat the above calculation on the cone due to the higher order term \(-2\sigma ^{2n_k}x\) of (1.11). A similar difficulty occurs on a horizontal cone \({\mathcal {K}}_h:=\{ (v_1, v_2) \in {\mathbb {R}}^2\mid \vert v_2 \vert \le K ^{-1} \vert v_1\vert \}\), and the open set \(V_f\) of Theorem A is given as \({\mathbb {R}}\setminus (K_v \cup K_h)\).
2 Proof of Proposition 1.1
We follow the argument [17] for the figure-8 attractor,Footnote 1 so the reader familiar with this subject can skip this section. Let \((f^t)_{t\in {\mathbb {R}}}\) be the Bowen flow given in Sect. 1.1.2. Let N and \({\hat{N}}\) be neighborhoods of p and \({\hat{p}}\), respectively, such that there are linearizing coordinates \(\phi : N\rightarrow {\mathbb {R}}^2\) and \({\hat{\phi }} : {\hat{N}}\rightarrow {\mathbb {R}}^2\) satisfying that both \(\phi (N )\) and \({\hat{\phi }} ({\hat{N}} )\) include \((0,1]^2\) and
on \( (0,1]^2\). Fix \((x,y)\in U\). Let \({\hat{T}}_0\) be the hitting time of (x, y) to \(\{ \phi ^{-1}(1,s) \mid s\in (0,1]\}\), i.e. the smallest positive number t such that \( f^{t}(x,y) = \phi ^{-1}(1,s)\) with some \(s\in (0,1]\). Let \(s_1\) be the second component of \(\phi \circ f^{{\hat{T}}_0}(x,y)\). We inductively define sequences \((t_n, T_n, {\hat{t}}_n, {\hat{T}}_n)_{n\in {\mathbb {N}}}\), \((s_n, r_n, {\hat{s}}_n, {\hat{r}}_n)_{n\in {\mathbb {N}}}\) of positive numbers as
-
\(t_n\) is the hitting time of \(\phi ^{-1}(1,s_n)\) to \(\{ \phi ^{-1}(r,1) \mid r\in (0,1]\}\), and \(r_n\) is the first component of \(\phi \circ f^{t_n}\circ \phi ^{-1}(1,s_n) \),
-
\(T_n\) is the hitting time of \(\phi ^{-1}(r_n,1)\) to \(\{ {\hat{\phi }} ^{-1}(1, s) \mid s\in (0,1]\}\), and \({\hat{s}}_n\) is the second component of \({\hat{\phi }} \circ f^{T_n}\circ \phi ^{-1}(r_n,1)\),
-
\({\hat{t}}_n\) is the hitting time of \({\hat{\phi }}^{-1}(1,{\hat{s}}_n)\) to \(\{ {\hat{\phi }} ^{-1}(r,1) \mid r\in (0,1]\}\), and \({\hat{r}}_n\) is the first component of \({\hat{\phi }} \circ f^{t_n}\circ {\hat{\phi }} ^{-1}(1,{\hat{s}}_n) \),
-
\({\hat{T}}_n\) is the hitting time of \({\hat{\phi }} ^{-1}({\hat{r}}_n,1)\) to \(\{ \phi ^{-1}(1, s) \mid s\in (0,1]\}\), and \( s_{n+1}\) is the second component of \( \phi \circ f^{T_n}\circ {\hat{\phi }} ^{-1}({\hat{r}}_n,1)\).
Then, from
it follows that
with \(a:=\frac{\alpha _- }{\alpha _+}\) and \(b:=\frac{\beta _-}{\beta _+}\). On the other hand, it is straightforward to see that both \(T_n\) and \({\hat{T}}_n\) are bounded from above and below uniformly with respect to n, and thus, since the vector field V is of class \({\mathcal {C}}^{1+\alpha }\), one can find positive numbers c and \({\hat{c}}\) (which are independent of n) such that
Moreover, we set
that is, the n-th return time to N and \({\hat{N}}\), respectively. Notice that \(D f^t (x,y) V(x,y) = V(f^t (x,y))\) for each \(t\ge 0\). Hence, we have
because \( \Vert V(1,s) \Vert \) is bounded from above and below uniformly with respect to \(s\in (0,1]\).
From now on, we identify \(\phi (x,y)\) and \({\hat{\phi }} (x,y)\) with (x, y) if it makes no confusion. We further define a sequence \((\rho _n )_{n\in {\mathbb {N}}}\) of positive numbers as \(\rho _n\) is the minimizer of
(under the linearizing coordinate \(\phi \)) over \(0\le t \le t_n\), that is, the time at which \( f^{t}(1,s_n)\) makes the closest approach to p over \(0\le t \le t_n\). Then, it follows from a straightforward calculation that
where \(C_1 := \frac{\log \alpha _- - \log \alpha _+}{2(\alpha _+ + \alpha _-)} \), \(C_1':=\sqrt{\alpha _-^2e^{-2\alpha _- C_1} + \alpha _+^2 e^{2\alpha _+C_1}}\) and L is the linearized vector sub-field of V around p corresponding to (2.1), i.e \(L(x,y) =(-\alpha _-x, \alpha _+y)\). We show that
Fix \(\epsilon >0\). Then, it follows from (2.3) that one can find \(n_0\) such that
for any \(n\ge n_0\), where \(c_\pm =(1\pm \epsilon )c\) and \({\hat{c}}_\pm =(1\pm \epsilon ){\hat{c}}\). Therefore, by induction, together with (2.2), it is straightforward to see that
for any \(n\ge 0\), where \(\Lambda _n =1+ab +\cdots +(ab)^{n-1} = \frac{(ab)^n -1}{ab-1}\). Fix \(n\ge n_0\) and write \(N:=n_0+n\) to avoid heavy notations. Then, it holds that
with some constant \(C_2>0\), where \(C_\pm :=c_\pm ^{b/(ab-1)} {\hat{c}}_\pm ^{1/(ab-1)} \). Thus, by (2.2) we have
with some constants \(C_{n_0}\), \(C_{n_0}'\) and \(C_3\). Furthermore, it follows from (2.4) that
so that
with some constants \(C_3'\), \(C_{n_0}^{\prime \prime }\). On the other hand, by (2.4) it holds that
with some constants \(C_3\), \(C_3'\). Therefore,
Since \(\epsilon \) is arbitrary, we get (2.5) (notice that \(\frac{\log (s_{n_0}C_-)}{\log (s_{n_0}C_+)}\) converges to 1 from below as \(\epsilon \) goes to zero). In a similar manner, one can show that
and we complete the proof of Proposition 1.1. \(\quad \square \)
3 Proof of Theorem 1.3
Let f be the Guarino–Guihéneuf–Santiago diffeomorphism of Proposition 1.2 and N(d) the d-th return time given in (1.6). Fix \(z\in S_{n_{0}}\). By induction with respect to d we first show (1.7). It immediately follows from (1.4) that the first equality of (1.7) is true for \(d=1\). Then let us assume that the first equality of (1.7) is true for a given positive integer d. Since \(N(2(d+1)-1)=N(2d+1)=N(2d-1)+n(2d)+n(2d+1)\), by the chain rule and the inductive hypothesis,
That is, the first equality of (1.7) holds for \(d+1\). In a similar manner, by induction with respect to d, we can prove the second equality of (1.7).
We next prove that z is Lyapunov irregular for any nonzero horizontal vector \(v= \left( \begin{array}{c} s\\ 0 \end{array} \right) \). By the first equality of (1.7), we obtain
On the other hand, it follows from the second equality of (1.7) that
In a similar manner, we can show that z is Lyapunov irregular for any nonzero vertical vector.
Finally, we will prove (1.8) and (1.9), which immediately implies that z is Lyapunov irregular for any nonzero vector \(v\not \in {\mathbb {R}} \left( \begin{array}{c} 1\\ 0 \end{array} \right) \cup {\mathbb {R}} \left( \begin{array}{c} 0\\ 1 \end{array} \right) \). For simplicity, we assume that \(\zeta 2^{4d} n_0\) is an integer. Essentially, the proof of (1.8) is included in the discussion until now. Thus, we show (1.9). By (1.7) and the item (a) of Proposition 1.2,
Fix a vector \(v= \left( \begin{array}{c} s\\ u \end{array} \right) \) with \(su\ne 0\). If \(1-3\zeta \le 0\), then
Hence, since \(N(4d) +\zeta 2^{4d}n_0 = (1+\zeta )2^{4d}n_0 +(4dk_0 -n_0)\), we get
On the other hand, if \(1-3\zeta > 0\), then
Thus we get
This completes the proof of Theorem 1.3. \(\quad \square \)
4 Proof of Theorem A
In this section, we give the proof of Theorem A. In Sect. 4.1 we briefly recall a small perturbation of a diffeomorphism with a robust homoclinic tangency introduced by Colli and Vargas [5]. In Sect. 4.2 we establish key lemmas to control the higher order term in (1.5), and prove the positivity of Lebesgue measure of Lyapunov irregular sets in Sect. 4.3. Finally, in Sect. 4.4, we discuss the Birkhoff (ir)regularity of the set.
4.1 Dynamics
Let us start the proof of Theorem A by remembering the Colli–Vargas model with a robust homoclinic tangency introduced in [5]. The reader familiar with this subject can skip this section. Let M be a closed surface including \([-2,2]^2\), and a diffeomorphism \(g\equiv g_\mu : M\rightarrow M\) with a real number \(\mu \) satisfying the following.
-
(1)
(Affine horseshoe) There exist constants \(0<\lambda <\frac{1}{2} \) and \(\sigma >2\) such that
$$\begin{aligned} g(x, y)=\left( \pm \sigma \left( x\pm \frac{1}{2}\right) , \pm \lambda y \mp \frac{1}{2}\right) \quad \text {if } \displaystyle \left| x\pm \frac{1}{2} \right| \le \frac{1}{\sigma }, \vert y\vert \le 1 \end{aligned}$$and \(\lambda \sigma ^2<1\);
-
(2)
(Quadratic tangency) For any (x, y) near a small neighborhood of \((0,-1)\),
$$\begin{aligned} g ^{2}(x,y)=(\mu -x^2 -y ,x). \end{aligned}$$
Then, it was proven by Newhouse [15] that there is a \(\mu \) such that g has a \({\mathcal {C}}^2\)-robust homoclinic tangency on \(\{y=0\}\). See Fig. 2.
Colli and Vargas showed the following.
Theorem 4.1
([5]) Let g be the surface diffeomorphism with a robust homoclinic tangency given above. Then, for any \({\mathcal {C}}^r\)-neighborhood \({\mathcal {O}}\) of g \((2\le r<\infty )\) and any increasing sequence \((n_k^0)_{k\in {\mathbb {N}}}\) of integers satisfying \(n_{k}^0 =O((1+\eta )^k) \) with some \(\eta >0\), one can find a diffeomorphism f in \({\mathcal {O}}\) together with a sequence of rectangles \((R_k)_{k\in {\mathbb {N}}}\) and an increasing sequence \(({\tilde{n}}_k)_{k\in {\mathbb {N}}}\) of integers, satisfying that \({\tilde{n}}_{k} =O(k) \) and depends only on \({\mathcal {O}}\), such that the following holds for each \(k\in {\mathbb {N}}\) with \(n_k:= n_k^0 + {\tilde{n}}_k\):
-
(a)
\(f^{n_k+2} (R_k)\subset R_{k+1}\);
-
(b)
For each \(({\tilde{x}}_k+x,y)\in R_k\),
$$\begin{aligned} f^{n_k+2} ({\tilde{x}}_k+x,y) = ({\tilde{x}}_{k+1}-\sigma ^{2n_k}x^2\mp \lambda ^{n_k}y, \pm \sigma ^{n_k}x), \end{aligned}$$where \(({\tilde{x}}_k,0)\) is the center of \(R_k\).
Refer to the “Conclusion” given in p. 1674 and the “Rectangle lemma” and its proof given in pp. 1975–1976 of the paper [5], where the notation \(R_k\) was used to denote a slightly different object that we will not use, and our \(R_k\) was written as \(R_k^*\). See Remark 4.2 and Theorem 4.8 for more information.
By the coordinate translation \(T_k: (x,y) \mapsto (x-{\tilde{x}}_k, y)\), which sends \(({\tilde{x}}_k,0)\) to (0, 0), the action of \( f^{n_k+2}\vert _{R_k}\) can be rewritten as
which sends (0, 0) to (0, 0), that is,
Note that for each \(l\ge k\),
so the oscillation of \(( \frac{1}{n} \log \Vert Df^n ({\varvec{x}}) {\varvec{v}}\Vert )_{n\in {\mathbb {N}}}\) for each \({\varvec{x}}\in R_k\) with some k and each nonzero vectors \({\varvec{v}}\) in an open set follows from the oscillation of
for each \({\varvec{x}}\in T_k(R_k)\) and each nonzero vectors \({\varvec{v}}\) in the open set, which we will show in the following.
4.2 Key lemmas
First, let us fix some constants in advance. Fix a small neighborhood \({\mathcal {O}}\) of g, and let \(({\tilde{n}}_k) _{k\in {\mathbb {N}}}\) be the sequece given in Theorem 4.1. Notice that \(\lambda \sigma<\lambda \sigma ^2<1\). Take a sufficiently small \(\eta >0\) and a sufficiently large integer \(n_0\ge 2\) so that
and fix \(1<\alpha<\beta <1+\eta \) such that
Let \((n_k^0)_{k\in {\mathbb {N}}}\) be an increasing sequence of integers given by
which are natural numbers for each p by increasing \(n_0\) if necessary. Since \(x-1< \lfloor x\rfloor \le x\) and \({\tilde{n}}_k =O(k)\), by increasing \(n_0\) if necessary, we have
so it holds that \(n_k^0 = O((1+\eta ) ^k)\), which is the only requirement to apply Theorem 4.1. Set \( n_k = n_k^0 + {\tilde{n}}_k, \) then we obviously have
Define sequences \((b_k)_{k\in {\mathbb {N}}}\) and \((\varepsilon _k)_{k\in {\mathbb {N}}}\) of positive numbers by
and
Remark 4.2
Define \({\tilde{b}}_k\) by
then \(R_k\) of Theorem 4.1 is of the form
with some constant \(c_k\) satisfying that
see the “Rectangle lemma” and its proof given in pp. 1975-1976 of [5] (as previously mentioned, in the paper our \(R_k\) is written as \(R_k^*\) and the notations \(R_k\) is used for another object). Note that \(b_k<{\tilde{b}}_k\). Thus, \(F_k\) in (4.1) is well-defined on any rectangle of the form
In the paper [5] the notation \(b_k\) was used to denote \({\tilde{b}}_k\), but this positive number is not explicitly used in the following argument, so we defined \(b_k\) as above for notational simplicity.
By the construction of \((n_k) _{k\in {\mathbb {N}}}\), we have that \(n_l / (n_k +1) < \beta ^{l -k}\) for each \(k\le l\). Hence, since \(n_k\) is increasing,
Therefore we have
and
Furthermore, it follows from (4.2) that \(\varepsilon _k \) can be arbitrarily small by taking k sufficiently large, so there exists a positive integer \(k_0\) such that for any \(k\ge k_0\) and \(p\ge 0\), we get
Fix such a \(k_0\). Then it immediately holds that for any \(k\ge k_0\) and \(p\ge 0\),
In the following lemmas, we only consider the case when k is an even number because it is enough to prove Theorem A and makes the statements a bit simpler, but similar estimates hold even when k is an odd number. We first show the following.
Lemma 4.3
For every even number \(k\ge k_0\), \(p\in {\mathbb {N}} \cup \{0\}\) and \(j \in \{ 0 , 1\}\),
Proof
Fix an even number \(k\ge k_0\). We will prove this lemma by induction with respect to p. For the case \(p=0\), it follows from (4.2), (4.4) and (4.5) that
and since \(\frac{n_{k+1}}{n_k} \ge \frac{n_0 \alpha ^{k/2 +1}\beta ^{k/2} -1}{n_0 \alpha ^{k/2 }\beta ^{k/2} }\ge \alpha -\frac{1}{n_k}\) by the construction of \(n_k\),
Next we assume that the assertion of Lemma 4.3 is true for a given \(p\in {\mathbb {N}}\cup \{0\}\). Then we have
and
That is, the assertion of Lemma 4.3 with \(p+1\) instead of p is also true. This completes the induction and the proof of Lemma 4.3. \(\quad \square \)
Define a sequence \((U_{k,m})_{m \ge 0}\) of rectangles with \(k\ge k_0\) by
for each integer \(m\ge 0\). Then, by Remark 4.2, \(U_{k,m}\) is included in \(R_{k+m}\) for any large m (under the translation of \(({\tilde{x}}_{k+m},0)\) to (0, 0)), on which \(F_{k+m}\) in (4.1) is well-defined. Then we have the following.
Lemma 4.4
For any even number \(k\ge k_0\), \(m\in {\mathbb {N}}\cup \{0\}\) and \({\varvec{x}} \in U_{k,0}\),
Proof
Fix an even number \(k\ge k_0\), an integer \(m\ge 0\) and \({\varvec{x}} \in U_{k,0}\), and set \( {\varvec{x}}_{k,m} := F_{k+m-1} \circ F_{k+m-2} \circ \cdots \circ F_{k}({\varvec{x}}), \) where \({\varvec{x}}_{k,0}\) is interpreted as \( {\varvec{x}}\) so that \({\varvec{x}}_{k,0}\in U_{k,0}\). Denote the first and second coordinate of \({\varvec{x}}_{k,m} \) by \(x_{k,m}\) and \(y_{k,m}\), respectively. We will show that \((x_{k,m} ,y_{k,m}) \in U_{k,m}\) by induction with respect to \(m\in {\mathbb {N}}\cup \{0\}\).
We first show that \((x_{k,m},y_{k,m})\in U_{k,m}\) for \(m=1\). It holds that
In the last inequality, the first term is due to the equality \(\sigma ^{4n_k}b_k^2= b_{k+1}\) implied by the definition of \(b_k\), and the second term comes from Lemma 4.3. Hence, it follows from (4.6) that
and
which concludes that \((x_{k,1},y_{k,1})\in U_{k+1}\).
Next we assume that \((x_{k,m},y_{k,m})\in U_{k,m}\) for \(m = 2p\) and \(2p+1\) with a given integer \(p\ge 0\). In addition, we assume (as an inductive hypothesis) that
which indeed holds in the case when \(p=0\) as seen above. Then it holds that
This shows that \((x_{k,m},y_{k,m})\in U_{k,m}\) for \(m=2p+2\) and \(2p+3\), which complete the proof of Lemma 4.4. \(\quad \square \)
Since \(0<\lambda \sigma ^{\frac{6\beta -4+8n_k^{-1}}{2-\beta }}<1\) for any \(k\ge 0\) by (4.2), there exists a positive integer \(m'\) such that
for any \(k\ge 0\). Fix such an \(m'\). Fix also a real number \(\xi \in (0,1)\).
Lemma 4.5
There exist positive integers \(k_1\ge k_0\) and \(m_0\) such that for any even number \(k\ge k_1\), any integer \(m\ge m_0\) and any \({\varvec{x}} \in U_{k,0}\),
where \(x_{k,m}\) is the first coordinate of \( F_{k+m-1} \circ F_{k+m-2} \circ \cdots \circ F_{k}({\varvec{x}} )\).
Proof
Since \(\varepsilon _k\) goes to zero as \(k\rightarrow \infty \), there exists an even number \(k_1\ge k_0\) such that
for any \(k\ge k_1\). Recall that \(k_0\) is an even number. Note that
so by the choice of \(m'\), there exists an \(m_0\in {\mathbb {N}}\) such that for every \(m\ge m_0\),
Multiply the inequality by \((\alpha \beta )^{\frac{m+1}{2}}\), then we get
Hence, it follows that
because \(\frac{m+1}{2}\ge \lceil \frac{m}{2}\rceil \), where \(\lceil x\rceil \) denotes the smallest integer which is larger than or equal to x. Raise the above inequality to the \(n_{k_0}\)-th power, together with (4.2), then we have
for any \(k\ge k_1\).
Fix an even number \(k\ge k_1\) and an integer \(m\ge m_0\). Then, due to Lemma 4.4, the definition of \(b_{k+m}\), (4.4) and the above inequality, we have
On the other hand, when \(m=2p\),
thus
Similarly, when \(m=2p+1\),
thus
Therefore, we have
Combining this estimate with (4.8), we get
which completes the proof of Lemma 4.5. \(\quad \square \)
4.3 Lyapunov irregularity
Let \(k_1\) and \(m_0\) be integers given in the previous subsection, and we fix even numbers \(k\ge k_1\) and \(m\ge m_0\) throughout this subsection.
Fix \({\varvec{x}}\in U_{k,0}\) and define \({\varvec{x}}_{k, m+j} = (x_{k,m+j},y_{k,m+j})\) for each \(j\ge 0\) by
Recall Lemma 4.5 for \(\xi \in (0,1)\), and set
Fix also a vector \({\varvec{v}}_0=(v_0,w_0) \in T_{{\varvec{x}}_{k,m} }M\) with
and inductively define \({\varvec{v}}_{j}=(v_{j},w_{j}) \) for each \(j\ge 0\) by
For notational simplicity, we below use
and
for each \(p, q\in {\mathbb {N}}\). For simplicity, we let \((n_p;n_{p-2})=0\) for \(p\in {\mathbb {N}}\).
Lemma 4.6
There exist constants \(C_j \) (\(j =-2, -1, \ldots \)) such that
for every \(p\ge 0\), and that \(\dfrac{1}{2}\le |C_j| \le \dfrac{3}{2}\) for every \(j\ge -2\).
Proof
We prove Lemma 4.6 by induction. We first show the claim for \(p=0\). The formula for \({\varvec{v}}_0\) obviously holds with \(C_{-2}=C_{-1}=1\). Due to (4.1), we have
and
By Lemma 4.5, (4.9) and the definition of K,
In other words,
with a constant \(C_0\) satisfying
Next we assume that the claim is true for a given \(p\ge 0\), and will show the claim with \(p+1\) instead of p. Note that
whose first coordinate is
and second coordinate is
by the inductive hypothesis. On the other hand, it follows from Lemma 4.5, (4.9) and the monotonicity of \((n_l)_{l\in {\mathbb {N}}}\) that the absolute value of the first term of the first coordinate is bounded by
Hence, we can write \({\varvec{v}}_{2p+2}\) as
with a constant \(C_{2p +1}\) satisfying that
Similarly,
whose first coordinate is
and second coordinate is
by the previous formula. On the other hand, it follows from Lemma 4.5, (4.9) and the monotonicity of \((n_l)_{l\in {\mathbb {N}}}\) that the absolute value of the first term of the first coordinate is bounded by
Hence, we can write \({\varvec{v}}_{2p+3}\) as
with a constant \(C_{2p +2}\) satisfying that
Finally, combining (4.10), (4.11) and (4.12), we get
for any \(j\ge 0\). This completes the proof of Lemma 4.7. \(\quad \square \)
Given two sequences \((a_p)_{p\ge 0}\) and \((b_p)_{p\ge 0}\) of positive numbers, if there exist constants \(c_0,\ c_1>0\), independently of p, such that
then, we say that \(a_p\) and \(b_p\) are equivalent, denoted by \(a_p\sim b_p\).
Lemma 4.7
For every \(p\ge 0\), we have
Proof
The equivalence relations follow from Lemma 4.6 directly. Since \(0<\lambda <1\), \(\sigma >1\),
which gives the former formula immediately. In order to prove the later formula, it suffice to notice that
This completes the proof of Lemma 4.7. \(\quad \square \)
An immediate consequence of Lemma 4.7 is that
Since both k and m are even numbers, for every integer \(p\ge 0\), we have
According to Lemma 4.7,
and
Since
together with the remark in the end of Sect. 4.1, this completes the proof of the assertion for the Lyapunov irregularity in Theorem A, where \(U_f\) and \(V_f\) are the interiors of \(F_{\kappa -1} \circ F_{\kappa -2} \circ \cdots \circ F_{k}(U_{k,0})\) (under the coordinate translation) and \(\{ (v_0, w_0) \mid K^{-1} \le \frac{\vert v_0\vert }{\vert w_0\vert } \le K\}\), respectively.
4.4 Birkhoff (ir)regularity
To show Birkhoff (ir)regularity, as well as the uncountability of f up to conjugacy in Theorem A, we need a more detailed description of Colli–Vargas’ theorem as follows. Let g be the surface diffeomorphism of Theorem 4.1 and
Fo each \(l\in {\mathbb {N}}\) and \({\underline{w}}=(w_{1}, w_2, \ldots ,w_{l}) \in \{ +, -\}^{l}\), we let
where \({\underline{w}}\pm =(w_1,\ldots ,w_l, \pm )\in \{+,-\}^{l+1}\).
Theorem 4.8
([5]). Let g be the surface diffeomorphism with a robust homoclinic tangency given in Theorem 4.1. Take
-
a \({\mathcal {C}}^r\)-neighborhood \({\mathcal {O}}\) of g with \(2\le r<\infty \),
-
an increasing sequence \((n_k^0)_{k\in {\mathbb {N}}}\) of integers satisfying \(n_{k}^0 =O((1+\eta )^k) \) with some \(\eta >0\),
-
a sequence \(({\underline{z}} _k^0)_{k\in {\mathbb {N}}}\) of codes with \({\underline{z}}_k^0 \in \{+,-\}^{n_k^0}\).
Then, one can find
-
a diffeomorphism f in \({\mathcal {O}}\) which coincides with g on \({\mathbb {B}}_+^u \cup {\mathbb {B}}_-^u\),
-
a sequence of rectangles \((R_k)_{k\in {\mathbb {N}}}\),
-
increasing sequences \(({\hat{n}}_k)_{k\in {\mathbb {N}}}\), \(({\hat{m}}_k)_{k\in {\mathbb {N}}}\) of integers satisfying that \({\tilde{n}}_k := {\hat{n}}_{k}+{\hat{m}}_{k+1} =O(k) \) and depends only on \({\mathcal {O}}\),
-
sequences \((\hat{{\underline{z}}} _k)_{k\in {\mathbb {N}}}\), \((\hat{ {\underline{w}}} _k)_{k\in {\mathbb {N}}}\) of codes with \(\hat{{\underline{z}}}_k \in \{+,-\}^{{\hat{n}}_k}\), \(\check{{\underline{w}}}_k \in \{+,-\}^{{\hat{m}}_k}\)
such that for each \(k\in {\mathbb {N}}\), (a), (b) in Theorem 4.1 hold and
-
(c)
\(R_k \subset {\mathbb {G}}_{{\underline{z}}_k}^u\) for \({\underline{z}}_k=\hat{{\underline{z}}}_k {\underline{z}}_k ^0 [\hat{{\underline{w}}}_{k+1} ]^{-1} \), where \([{\underline{w}}]^{-1} = (w_{l},\ldots ,w_{2}, w_1)\) for each \({\underline{w}} =(w_1, w_2,\ldots ,w_l) \in \{ +,-\} ^l\), \(l\in {\mathbb {N}}\).
Fix a neighborhood \({\mathcal {O}}\) of g and a sequence \((n_k^0)_{k\in {\mathbb {N}}}\) as given in (4.3). To indicate the dependence of \({\varvec{z}} = ({\underline{z}} _k^0)_{k\in {\mathbb {N}}}\) on f and \((R_k)_{k\in {\mathbb {N}}}\) in Theorem 4.8, we write them as \(f_{{\varvec{z}}}\) and \((R_{k,{\varvec{z}}})_{k\in {\mathbb {N}}}\).
We first apply Theorem 4.8 to the sequence \({\varvec{z}} = ({\underline{z}} _k^0)_{k\in {\mathbb {N}}}\) given by
for each \(k\ge 1\). Then, it is straightforward to see from the item (c) of Theorem 4.8 that for any \(k\in {\mathbb {N}}\), continuous function \(\varphi : M\rightarrow {\mathbb {R}}\) and \( \epsilon >0\), there exist integers \(k_2\) and \(L_0\) such that
whenever
with some \(k'\ge k_2\), where \({\varvec{p}} _+\) is the continuation for \(f_{{\varvec{z}} }\) of the saddle fixed point of g corresponding to the point set \({\mathbb {B}}_{(+, +, \ldots )}^u\) and
for each \(p ,q \in {\mathbb {N}}\) with \(p\le q\). Hence, it holds that
for any \(k\in {\mathbb {N}}\), \({\varvec{x}} \in R_k\) and continuous function \(\varphi : M\rightarrow {\mathbb {R}}\). Since the open set \(U_{f_{{\varvec{z}}}} \) consisting of Lyapunov irregular points constructed in the previous subsection is of the form \(f_{{\varvec{z}}} ^n (U_{0,k'})\) with some positive integers n and \(k'\), it follows from the remark following (4.7) and the item (a) of Theorem 4.8 that \(U_{f_{{\varvec{z}}}} \subset R_k\) with some k. This implies that any point in \(U_{f_{{\varvec{z}}}} \) is Birkhoff regular.
Notice that the choice of \((z'_1, z'_2, \ldots ) \) in \({\varvec{z}}\) is uncountable. On the other hand, if \({\varvec{z}} =({\underline{z}}_k^0)_{k\in {\mathbb {N}}}\) and \({\varvec{w}} = ({\underline{w}}_k^0)_{k\in {\mathbb {N}}}\) are of the above form (in particular, \({\underline{w}}_k^0=(+,+,\ldots ,+, w'_k) \in \{ +,-\} ^{n_k^0}\) with \(w'_k\in \{ +, -\}\)) and \(z_k' \ne w_k'\) for some k, then \(f_{{\varvec{z}} }\) and \(f_{{\varvec{w}} }\) are not topologically conjugate, or \(f_{{\varvec{z}} }\) and \(f_{{\varvec{w}} }\) are topologically conjugate by a homeomorphism h on M and \(h(R_{k, {\varvec{z}}}) \cap R_{k, {\varvec{w}}} = \emptyset \) for every k, because of the item (c) of Theorem 4.8 and the fact that both \(f_{{\varvec{z}} }\) and \(f_{{\varvec{w}} }\) coincide with g on \({\mathbb {B}}_+^u \cup {\mathbb {B}}_-^u\). Therefore, since there can exist at most countably many, mutually disjoint open sets (of positive Lebesgue measure) on M due to the compactness of M, we complete the proof of the claim for the uncountable set \({\mathcal {R}}\) in Theorem A.
We next apply Theorem 4.8 to the sequence \({\varvec{z}} = ({\underline{z}} _k^0)_{k\in {\mathbb {N}}}\) given by
with \(z'_k\in \{ +, -\}\) for each \(k\ge 1\). Then, it follows from the item (c) of Theorem 4.8 that for any \(k\in {\mathbb {N}}\), continuous function \(\varphi : M\rightarrow {\mathbb {R}}\) and \( \epsilon >0\), there exist integers \(k_2\) and \(L_0\) such that
whenever
with some p, and
whenever
with some p, where \({\varvec{p}} _-\) is the continuation for \(f_{{\varvec{z}} }\) of the saddle fixed point of g corresponding to the point set \({\mathbb {B}}_{(-, -, \ldots )}^u\). Hence, if we let
then for any \(k\in {\mathbb {N}}\), \({\varvec{x}}\in R_k\) and continuous function \(\varphi : M\rightarrow {\mathbb {R}}\), we have
and
Since \({\mathbf {N}}(1 ) + {\mathbf {N}}(2 ) +\cdots + {\mathbf {N}}(\ell -1) =o({\mathbf {N}}(\ell ) ) \), this implies that, with \(\ell := \lceil \sqrt{k}\rceil \) which we assume to be an odd number for simplicity,
Similarly we have
That is, any point in \(R_k\) is Birkhoff irregular. Therefore, repeating the argument for \({\mathcal {R}}\), we obtain the claim for the uncountable set \({\mathcal {I}}\) in Theorem A. This completes the proof of Theorem A.
Remark
The proof of Birkhoff (ir)regularity in this subsection essentially appeared in Colli–Vargas [5]. The difference is that our \((n_k^0)_{k\in {\mathbb {N}}}\) increases exponentially fast because of the requirement (4.3), while their \((n_k^0)_{k\in {\mathbb {N}}}\) is of order \(O(k^2)\).
Notes
They implicitly ignored the higher order terms of the transient map of the flow, i.e. assumed that \({\hat{s}}_n =cr_n\) and \(s_{n+1}={\hat{c}}{\hat{r}}_n\) instead of (2.3) below.
References
Abdenur, F., Bonatti, C., Crovisier, S.: Nonuniform hyperbolicity for \(C^1\)-generic diffeomorphisms. Isr. J. Math. 183, 1–60 (2011)
Araújo, V.: Attractors and time averages for random maps. Annales de l’Institut Henri Poincare (C) Non Linear Anal. 17, 307–369 (2000)
Barrientons, P.: Historic wandering domains near cycles, arXiv preprint arXiv:2103.11964 (2021)
Berger, P., Biebler, S.: Emergence of wandering stable components, arXiv preprint arXiv:2001.08649 (2020)
Colli, E., Vargas, E.: Non-trivial wandering domains and homoclinic bifurcations. Ergod. Theory Dyn. Syst. 21, 1657–1681 (2001)
Crovisier, S., Yang, D., Zhang, J.: Empirical measures of partially hyperbolic attractors. Commun. Math. Phys. 375, 725–764 (2020)
Furman, A.: On the multiplicative ergodic theorem for uniquely ergodic systems. Annales de l’Institut Henri Poincare (B) Probab. Stat. 33, 797–815 (1997)
Gaunersdorfer, A.: Time averages for heteroclinic attractors. SIAM J. Appl. Math. 52, 1476–1489 (1992)
Guarino, P., Guihéneuf, P.-A., Santiago, B.: Dirac physical measures on saddle-type fixed points. J. Dyn. Differ. Equ. 51, 1–66 (2020)
Kiriki, S., Nakano, Y., Soma, T.: Emergence via non-existence of averages (to appear in Adv. Math.)
Kiriki, S., Soma, T.: Takens’ last problem and existence of non-trivial wandering domains. Adv. Math. 306, 524–588 (2017)
Kiriki, S., Nakano, Y., Soma, T.: Historic and physical wandering domains for wild blender-horseshoes, arXiv preprint arXiv:2107.09844 (2021)
Labouriau, I.S., Rodrigues, A.A.P.: On Takens’ last problem: tangencies and time averages near heteroclinic networks. Nonlinearity 30, 1876 (2016)
Nakamura, F., Nakano, Y., Toyokawa, H.: Lyapunov exponents for random maps, arXiv preprint arXiv:2103.11531 (2021)
Newhouse, S.: Nondensity of axiom A (a) on \(S^ 2\). Proc. Symposia Pure Math. 14, 191–202 (1970)
Newhouse, S.: The abundance of wild hyperbolic sets and non-smooth stable sets for diffeomorphisms. Publ. Mathématiques de l’IHÉS 50, 101–151 (1979)
Ott, W., Yorke, J.: When Lyapunov exponents fail to exist. Phys. Rev. E 78, 056203–056203 (2008)
Palis, J.: A global view of dynamics and a conjecture on the denseness of finitude of attractors. Astérisque 261, 335–347 (2000)
Ruelle, D.: Historical behaviour in smooth dynamical systems. In: Broer, H.W., et al. (eds.) Global Analysis of Dynamical Systems, pp. 63–66. Institute of Physics Publishing (2001)
Takens, F.: Heteroclinic attractors: time averages and moduli of topological conjugacy. Bull. Braz. Math. Soc. 25, 107–120 (1994)
Takens, F.: Orbits with historic behaviour, or non-existence of averages. Nonlinearity 21, 33–36 (2008)
Tsujii, M.: Piecewise expanding maps on the plane with singular ergodic properties. Ergod. Theory Dyn. Syst. 20, 1851–1857 (2000)
Young, L.-S.: What are SRB measures, and which dynamical systems have them? J. Stat. Phys. 108, 733–754 (2002)
Acknowledgements
We are sincerely grateful to Masayuki Asaoka for many fruitful discussions and telling us that the positivity of Lebesgue measure of Lyapunov irregular sets is transmitted by conjugacies. We are also grateful to the anonymous referee for valuable comments. This work was partially supported by JSPS KAKENHI Grant Numbers 21K03332, 19K14575, 19K21834 and 18K03376 and by National Natural Science Foundation of China Grant Numbers 11701199.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by C. Liverani.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A. Lebesgue Measurability of Irregular Sets
Appendix A. Lebesgue Measurability of Irregular Sets
Although it might be a folklore theorem, we have never seen the proof that Birkhoff and Lyapunov irregular sets are Lebesgue measurable. In this appendix we show that Birkhoff and Lyapunov irregular sets are Lebesgue measurable as a corollary of the following proposition.
Proposition A.1
Let T be a Polish space and \((\theta _n)_{n\in {\mathbb {N}}}\) a sequence of functions from \(M\times T\) to \({\mathbb {R}}\). Then the irregular set I of \((\theta _n)_{n\in {\mathbb {N}}}\) over T, given by
is a Lebesgue measurable set of M.
For simplicity, we assume that M is an open subset of \({\mathbb {R}}^d\) and identify TM with \(M\times {\mathbb {R}}^d\). The Birkhoff irregular set of a continuous map \(f: M\rightarrow M\) is the irregular set of \((\theta _n)_{n\in {\mathbb {N}}}\),
over \(T={\mathcal {C}}^0(M)\), i.e. the space of all continuous functions on M, and the Lyapunov irregular set of a differentiable map \(f: M\rightarrow M\) is the irregular set of \((\theta _n)_{n\in {\mathbb {N}}}\),
over \(T={\mathbb {R}}^d \setminus \{0\}\).
Proof
We first note that I is the projection of
along the Polish space T, that is,
We will show that \({\widehat{I}}\) is a Borel set. For each \(n\in {\mathbb {N}}\), \(\alpha , \beta \in {\mathbb {R}}\), we define open sets \(A_n (\alpha )\) and \(B_n (\beta )\) of \(M\times T\) by
Notice that
and
Hence, we get that
which implies that \({\widehat{I}}\) is a Borel set, as claimed.
Due to the well-known facts that every projection of a Borel set along a Polish space is an analytic set (i.e. the image of a continuous map from a Polish space X to T), and that any analytic set is Lebesgue measurable, the irregular set I is a Lebesgue measurable set. \(\quad \square \)
Remark
From the above proof, the Birkhoff irregular set for each \(\varphi \in {\mathcal {C}}^0(M)\) and the Lyapunov irregular set for each \(v\in {\mathbb {R}}^d\setminus \{0\}\) are Borel measurable, while it is unclear whether the Birkhoff and Lyapunov irregular sets of f are Borel measurable because we might need to consider a non-denumerable union of Borel measurable sets to find these irregular sets.
Rights and permissions
About this article
Cite this article
Kiriki, S., Li, X., Nakano, Y. et al. Abundance of Observable Lyapunov Irregular Sets. Commun. Math. Phys. 391, 1241–1269 (2022). https://doi.org/10.1007/s00220-022-04337-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-022-04337-6