Abstract
We study a natural class of invariant measures supported on the attractors of a family of nonlinear, non-conformal iterated function systems introduced by Falconer, Fraser and Lee. These are pushforward quasi-Bernoulli measures, a class which includes the well-known class of Gibbs measures for Hölder continuous potentials. We show that these measures are exact dimensional and that their exact dimensions satisfy a Ledrappier–Young formula.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Exact dimensionality and Ledrappier–Young formulae
Given an iterated function system (IFS), which in this article will refer to a finite family of uniform contractions \(\{S_i: [0,1]^2 \rightarrow [0,1]^2\}_{i=1}^N\), it is well-known that there exists a unique, non-empty, compact set \(F \subseteq [0,1]^2\) such that \(F=\bigcup _{i=1}^N S_i(F)\) which we call the attractor of the IFS. We say that a measure \(\mu \) supported on F is invariant (respectively ergodic) if there exists a \(\sigma \)-invariant (respectively ergodic) measure m on \(\Sigma =\{1, \ldots , N\}^{\mathbb {N}}\) (where \(\sigma \) denotes the left shift map) such that \(\mu =m \circ \Pi ^{-1}\) where \(\Pi : \Sigma \rightarrow [0,1]^2\) is the canonical coding map defined by \(\Pi (i_1,i_2 \ldots )=\lim _{n \rightarrow \infty } S_{i_1}\circ \cdots \circ S_{i_n}([0,1]^2)\).
Recall that the (upper and lower) local dimensions of \(\mu \) at x are defined as
where B(x, r) denotes a ball of radius r centred at x. If \({\overline{\dim }}_{\mathrm {loc}}(x)={\underline{\dim }}_{\mathrm {loc}}(x)\) we denote the common value by \(\dim _{\mathrm {loc}}(x)\) and call it the local dimension of \(\mu \) at x. If the local dimension exists and is constant for \(\mu \)-almost all x we say that the measure \(\mu \) is exact dimensional and call this constant the exact dimension of \(\mu \), which we will denote by \(\dim \mu \). In this case, most well-known notions of dimension coincide with the exact dimension of \(\mu \).
In the dimension theory of measures, it is a problem of central interest to establish the exact dimensionality of ergodic invariant measures supported on attractors of IFS, and to provide a formula for the exact dimension. In many settings, the exact dimension has been shown to satisfy a formula in terms of Lyapunov exponents, various notions of entropy and the dimensions of projected measures.
In particular, if the maps \(S_i\) are conformal and the IFS satisfies an additional separation condition, it is a classical result that any ergodic invariant measure \(\mu \) supported on the attractor F is exact dimensional and its exact dimension is given by its measure-theoretic entropy over the Lyapunov exponent (see e.g. [3]). In the substantially more difficult case where no separation condition is assumed, Feng and Hu generalised this classical result by showing that any ergodic invariant measure \(\mu \) supported on the attractor F is exact dimensional and its exact dimension is given by the projection entropy over the Lyapunov exponent. In this sense, exact dimensionality is understood in the conformal setting.
On the other hand, the question of whether every ergodic invariant measure supported on the attractor of a non-conformal IFS is exact dimensional is still very much open, and this question has recently received a lot of attention in the particular case where the maps \(S_i\) are all affine. Feng [7] has very recently shown that all ergodic invariant measures supported on the attractors of IFS composed of affine maps are exact dimensional and satisfy a formula in terms of the Lyapunov exponents and conditional entropies. This answered a folklore open question in the fractal community and unified previous partial results obtained in [1, 10]. In the non-conformal setting, this formula for the exact dimension of \(\mu \) is often called a “Ledrappier–Young formula”, following the work of Ledrappier and Young on the dimension of invariant measures for \(C^2\) diffeomorphisms on compact manifolds [13, 14].
While Feng’s result settles the case of ergodic measures supported on self-affine sets, the more general case of ergodic measures supported on attractors of more general (i.e. nonlinear) non-conformal IFS is still open. In fact, the only result in this direction that the authors are aware of is [7, Theorem 2.11], where Feng and Hu prove exact dimensionality of ergodic invariant measures supported on the attractors of IFSs which can be expressed as the direct product of IFSs composed of \(C^1\) maps on \({\mathbb {R}}\). The fact that there is limited literature concerning the exact-dimensionality of measures supported on general non-conformal attractors reflects the wider challenge of understanding the dimension theory of nonlinear non-conformal attractors, although this appears to be an area of growing interest [4, 6, 9].
In this article we consider (pushforward) quasi-Bernoulli measures supported on the attractors of nonlinear, non-conformal IFS which were introduced in [6], and we show that these are exact dimensional and satisfy a Ledrappier–Young formula. In Sect. 2 we introduce the class of attractors and measures which will be studied and state our main result, Theorem 2.5. In Sect. 3 we recall some technical results which were proved in [6] concerning the contractive properties of the maps in our IFS. Section 4 contains the proof of Theorem 2.5, which adapts an approach used in [10].
2 Our setting and statement of results
Let \(f_{i,x}\), \(f_{i,y}\) denote partial derivatives of \(f_i\) with respect to x and y respectively and \(g_{i,x}\), \(g_{i,y}\) denote partial derivatives of \(g_i\) with respect to x and y respectively.
We will consider the following family of attractors which were introduced by Falconer, Fraser and Lee [6, Definitions 1.1 and 3.1], although we require a stronger separation condition than the one they assumed.
Definition 2.1
Suppose \({\mathcal {I}}\) is a finite index set with \(|{\mathcal {I}}|\ge 2\). For each \(i \in {\mathcal {I}}\) let \(S_i:[0, 1]^2\rightarrow [0, 1]^2\) be of the form \(S_i(a_1, a_2)= (f_i(a_1), g_i(a_1, a_2))\), where:
-
1.
\(f_i\) and \(g_i\) are \(C^{1+\alpha }\) contractions \((\alpha >0)\) on [0, 1] and \([0, 1]^2\) respectively.
-
2.
\(\{S_i\}_{i \in {\mathcal {I}}}\) satisfies the rectangular strong separation condition (RSSC) : the sets \(\lbrace S_{i}([0, 1]^2)\rbrace _{i\in {\mathcal {I}}}\) are pairwise disjoint.
-
3.
\(\lbrace S_{i}\rbrace _{i\in {\mathcal {I}}}\) satisfies the domination condition: for each \(i \in {\mathcal {I}}\)
$$\begin{aligned} \inf _{\mathbf{a}\in [0, 1]^2}|f_{i,x}(\mathbf{a})|>\sup _{\mathbf{a}\in [0, 1]^2}|g_{i,y}(\mathbf{a})|\ge \inf _{\mathbf{a}\in [0, 1]^2}|g_{i,y}(\mathbf{a})|\ge d, \end{aligned}$$(1)where \(d>0\).
Let F denote the attractor of \(\{S_i\}_{i \in {\mathcal {I}}}\).
For \(n\in {\mathbb {N}}\) we write \({\mathcal {I}}^n\) to denote the set of all sequences of length n over \({\mathcal {I}}\) and we let \({\mathcal {I}}^*=\bigcup _{n\ge 1}{\mathcal {I}}^n\) denote the set of all finite sequences over \({\mathcal {I}}\). We let \(\Sigma ={\mathcal {I}}^{\mathbb {N}}\) denote the set of infinite sequences over \({\mathcal {I}}\) and for \(\texttt {i}=(i_1, i_2,\dots )\in \Sigma \) we write \(\texttt {i}|n= (i_1, i_2,\dots , i_n)\in {\mathcal {I}}^n\) to denote the restriction of \(\texttt {i}\) to its first n symbols. For \(\texttt {i}=(i_1, i_2,\dots , i_n)\in {\mathcal {I}}^n\) we write \(S_{\texttt {i}}= S_{i_1}\circ \cdots \circ S_{i_n}\) and we write \([\texttt {i}]\subseteq \Sigma \) to denote the cylinder set corresponding to \(\texttt {i}\), which is the set of all infinite sequences over \({\mathcal {I}}\) which begin with \(\texttt {i}\).
Definition 2.2
We say that a measure m on \(\Sigma \) is quasi-Bernoulli if there exists some \(L>0\) such that for all \(\texttt {i}, \texttt {j}\in {\mathcal {I}}^*\)
We will study the pushforward measure \(\mu =m \circ \Pi ^{-1}\) for an ergodic invariant quasi-Bernoulli measure m, noting that \(\mu \) is supported on F. Apart from including the important class of Bernoulli measures, quasi-Bernoulli measures also include the well-known class of Gibbs measures for Hölder continuous potentials. Furthermore it was shown in [2] that this inclusion is strict.
The Shannon–McMillan–Breiman theorem allows us to define the entropy of \(\mu \).
Definition 2.3
(Entropy) There exists a constant \(h(\mu ) \le 0\) such that for m-almost all \(\texttt {i}\in \Sigma \),
We call \(h(\mu )\) the entropy of \(\mu \).
Apart from entropy the other key features of the Ledrappier–Young formula are the Lyapunov exponents, which describe the typical contraction rates in different directions.
Lyapunov exponents are defined in terms of Jacobian matrices of the maps \(S_{\texttt {i}|n}\). We denote the Jacobian matrix of \(S_{\texttt {i}|n}\) at a point \({\mathbf {a}}\in [0, 1]^2\) by \(D_{\mathbf {a}}S_{\texttt {i}|n}\). We recall that the singular values of an \(n\times n\) matrix A are defined to be the positive square roots of the eigenvalues of \(A^TA\), where \(A^T\) denotes the transpose of A. The Lyapunov exponents are defined in terms of singular values of the matrices \(D_{\mathbf {a}}S_{\texttt {i}|n}\). For fixed \({\mathbf {a}}\in [0,1]^2\) and any \(n\in {\mathbb {N}}\) we let \(\alpha _1(D_{\mathbf {a}}S_{\texttt {i}|n})\ge \alpha _2(D_{\mathbf {a}}S_{\texttt {i}|n})\) denote the singular values of \(D_{\mathbf {a}}S_{\texttt {i}|n}\). The sub-additive ergodic theorem then allows us to make the following definition.
Definition 2.4
(Lyapunov exponents) There exist constants \( \chi _2(\mu ) \le \chi _1(\mu )< 0\) such that for m-almost all \(\texttt {i}\in \Sigma \),
and
We call \(\chi _1(\mu ), \chi _2(\mu )\) the Lyapunov exponents of the system with respect to \(\mu \).
Let \(\pi :[0,1]^2 \rightarrow [0,1]\) denote projection to the x-co-ordinate. Let \(\pi (\mu )=\mu \circ \pi ^{-1}\) denote the projected measure which is supported on \(\pi F\), which is the attractor of the (possibly overlapping) conformal IFS \(\{f_i\}_{i \in {\mathcal {I}}}\) on [0, 1]. Note that by [8, Theorem 2.8], \(\pi (\mu )\) is exact dimensional. We denote its exact dimension by \(\dim \pi (\mu )\).
We are now ready to state our main result.
Theorem 2.5
Let \(\mu \) be a pushforward ergodic invariant quasi-Bernoulli measure supported on F, where F satisfies Definition 2.1. Then \(\mu \) is exact dimensional and moreover its exact dimension \(\dim \mu \) satisfies the following Ledrappier–Young formula
3 Preliminaries
Since each \(f_i\) (\(i \in {\mathcal {I}}\)) only depends on the x-co-ordinate of a given point, it is easy to see that the Jacobian of each \(S_i\) must be lower triangular. Denote the Jacobian by
It is easy to see by the chain rule for any \(\texttt {i}\in \Sigma \) and \(n\in {\mathbb {N}}\) the Jacobian of \(S_{\texttt {i}|n}\) must also be lower triangular which we will write as
Our IFS has several useful properties, which were established in [6]. To begin with we have the following bound, which allows us to control the off-diagonal entry:
Lemma 3.1
[6, Lemma 3.3] There exists a constant \(C>0\) such that for any \(\texttt {i}\in \Sigma \), \(n \in {\mathbb {N}}\) and \(\mathbf{a}, \mathbf{b}\in [0, 1]^2\),
A consequence of Lemma 3.1 is that the singular values of the the Jacobian matrices are comparable to their diagonal entries.
Lemma 3.2
[6, Lemma 3.4] There exists a constant \(M\ge 1\) such that for all \(\mathbf{a}\in [0, 1]^2\), \(\texttt {i}\in \Sigma \) and \(n\in {\mathbb {N}}\) the singular values of the Jacobian matrices \(D_{\mathbf{a}}S_{\texttt {i}|n}\) satisfy
Lemma 3.2, together with the domination condition, implies that the two Lyapunov exponents are distinct, \(\chi _2(\mu )< \chi _1(\mu )\).
Another useful property of our IFS is that the diagonal entries of the Jacobian matrices satisfy a bounded distortion condition.
Lemma 3.3
[6, Lemma 3.2] There exists a constant \(A\ge 1\) such that for all \(\texttt {i}\in \Sigma \), \(n\in {\mathbb {N}}\) and all \(\mathbf{a}, \mathbf{b}\in [0, 1]^2\),
Finally, the singular values of the Jacobian matrices also satisfy bounded distortion.
Lemma 3.4
There exists a constant \(R\ge 1\) such that for all \(\texttt {i}\in \Sigma \), \(n\in {\mathbb {N}}\) and all \(\mathbf{a}, \mathbf{b}\in [0, 1]^2\),
Proof
Simply combine Lemmas 3.2 and 3.3. \(\square \)
An easy but useful consequence of Lemma 3.4 is that the Lyapunov exponents defined in Definition 2.4 may be expressed as
for any sequence \((a_n)_{n\in {\mathbb {N}}}\) in \([0, 1]^2\), on the same set of \(\texttt {i}\in \Sigma \) of full m-measure that was used in Definition 2.4.
4 Proofs
The following key lemma allows us to estimate the \(\mu \)-measure of a small “approximate square” in \([0,1]^2\) by the product of the m-measure of an appropriate cylinder and the \(\pi (\mu )\)-measure of the \(\pi \)-projection of the “blow up” of the “approximate square”. It is worth noting that this lemma is the only place where the assumption that m is quasi-Bernoulli (Definition 2.2) is used.
For \(r>0\), \(n \in {\mathbb {N}}\), \({\mathbf {a}}=(a_1, a_2)\in [0, 1]^2\) and \(\texttt {i}\in \Sigma \) such that \(\Pi (\texttt {i})={\mathbf {a}}\) we write \(B_n({\mathbf {a}}, r)\) to denote the strip of points \({\mathbf {b}}=(b_1, b_2) \in S_{\texttt {i}|n}([0,1]^2)\) whose x co-ordinate satisfies \(|b_1-a_1| < r/2\). We note that by the RSSC, \(\Pi \) is an injective map and therefore \(B_n({\mathbf {a}},r)\) is well defined. For \(x\in {\mathbb {R}}\) and \(r>0\) we write \(Q_1(x, r) = \left( x-\frac{r}{2}, x+\frac{r}{2}\right) \).
Lemma 4.1
Let \(r>0\), \(n \in {\mathbb {N}}\), \({\mathbf {a}}=(a_1, a_2) \in F\) and \(\texttt {i}\in \Sigma \) such that \(\Pi (\texttt {i})={\mathbf {a}}\). Then
and
where L is the constant from the quasi-Bernoulli property (2), where M is as defined in Lemma 3.2 and where \(R_n:=\min \left\{ r, \text {diam}\left( \pi S_{\texttt {i}|n}([0,1]^2)\right) \right\} \).
Proof
Let
writing \(\texttt {j}^{\dagger }\) to denote \(\texttt {j}\) with the last symbol removed. It follows by our separation assumption that the sets \(\{S_{\texttt {i}|n\texttt {j}}([0, 1]^2)\}_{\texttt {j}\in {\mathcal {J}}}\) are pairwise disjoint and exhaust \(B_n({\mathbf {a}}, r)\) in measure, therefore
Furthermore, as m is quasi-Bernoulli (Definition 2.2) we get
Note that the sets \(\{S_{\texttt {j}}([0, 1]^2)\}_{\texttt {j}\in {\mathcal {J}}}\) are pairwise disjoint and exhaust \(S_{\texttt {i}|n}^{-1}(B_n({\mathbf {a}}, r))\) in measure. Moreover, since \(S_{\texttt {i}|n}^{-1}B_n({\mathbf {a}}, r)\) necessarily has height 1 we have
Observe that \(\pi S_{\texttt {i}|n}^{-1}({\mathbf {a}})=\pi (\Pi (\sigma ^n(\texttt {i})))\). Writing \({\hat{a}}\) and \({\hat{b}}\) for the left and right endpoints of \(\pi S_{\texttt {i}|n}^{-1}(B_n({\mathbf {a}}, r))\), it follows from the mean value theorem that
for some \({\hat{c}}_1\in [0, 1]\) and
for some \({\hat{c}}_2\in [0, 1]\). It is easy to see that
so Lemma 3.2 gives
Therefore
We now consider the lower bound. Observe that
so Lemma 3.2 gives
If we also have
the same reasoning gives
so we may conclude that
Now suppose
Note that if \(|a_1-f_{\texttt {i}|n}({\hat{a}})|<R_n/2\) then this implies that \(f_{\texttt {i}|n}({\hat{a}})\) is on the boundary of \(\pi S_{\texttt {i}|n}([0,1]^2)\), which means that \({\hat{a}}=0\). Similarly if \(|a_1-f_{\texttt {i}|n}({\hat{b}})|<R_n/2\) then \({\hat{b}}=1\). Consider
By (15) and the above analysis of the points \({\hat{a}}\) and \({\hat{b}}\), either
or
where \(I=(-\beta ,0)\) or \(I=(1,\beta )\) for some \(\beta >0\). In either case, since \(\pi (\mu )\) is supported on [0, 1] we still have
Therefore (16) also holds in this setting. Combining (14) and (16) with (13) completes the proof. \(\square \)
Recall by [8, Theorem 2.8] that as an ergodic measure on a self-conformal set, \(\pi (\mu )\) is exact dimensional with exact dimension \(\dim \pi (\mu )\). This informs us how \(\pi (\mu )\left( Q_1\left( \pi (\Pi ( \texttt {i})), \frac{1}{n}\right) \right) \) scales for an m-typical point \(\texttt {i}\in \Sigma \), although it does not provide any uniform bounds on the projected measure of this interval. The following lemma guarantees the existence of a set of positive measure on which we can uniformly bound \(\pi (\mu )\left( Q_1\left( \pi (\Pi ( \texttt {i})), \frac{1}{n}\right) \right) \).
Lemma 4.2
Let \(\dim \pi (\mu )=t\). There exists a set \(G\subseteq \Sigma \) with measure \(m(G)\ge 1/2\) such that if \(\varepsilon >0\), then for all n sufficiently large
and
for all \(\texttt {i}\in G\).
Proof
Define \(f_n:\Sigma \rightarrow {\mathbb {R}}\) by
Therefore for m-almost all \(\texttt {i}\)
because \(\pi (\mu )\) is exact dimensional. By Egorov’s Theorem there exists a Borel measurable set \(G\subseteq \Sigma \) with \(m(G) \ge 1/2\) such that \(f_n\) converges uniformly on G. In particular, for all \(\varepsilon >0\) there exists \(N_\varepsilon \in {\mathbb {N}}\) such that
for all \(n \ge N_\varepsilon \) and \(\texttt {i}\in G\). Rearranging this expression yields the desired result. \(\square \)
Next we show that for m-almost all \(\texttt {i}\in \Sigma \) the sequence of points \(\{\sigma ^n(\texttt {i})\}_{n \in {\mathbb {N}}}\) regularly visits the set G from Lemma 4.2, yielding uniform bounds on the projected measure of the intervals that appear in (11) and (12) along a subsequence of \(n \in {\mathbb {N}}\).
Lemma 4.3
Let \(\dim \pi (\mu )=t\) and for each \(\texttt {i}\in \Sigma \) let \((r_n(\texttt {i}))_{n \in {\mathbb {N}}}\) be a positive null sequence such that \(r_n(\texttt {i}) \rightarrow 0\) uniformly over all \(\texttt {i}\in \Sigma \). Then for m-almost all \(\texttt {i}\in \Sigma \) there exists a sequence \(\{n_k\}_{k\in {\mathbb {N}}}\) such that for all \(\varepsilon >0\)
and
for all sufficiently large \(k \in {\mathbb {N}}\). Furthermore the sequence \(\{n_k\}_{k\in {\mathbb {N}}}\) can be chosen to satisfy
Proof
Let G be the set from the statement of Lemma 4.2 and consider the characteristic function \({\mathbf {1}}_{G}\), which is easily seen to be in \(L^1(\Sigma )\). We can now apply the Birkhoff Ergodic Theorem to obtain that for m-almost all \(\texttt {i}\in \Sigma \)
This gives that for m-almost all \(\texttt {i}\in \Sigma \), \(\sigma ^j \texttt {i}\in G\) with frequency greater than or equal to 1/2. For each \(\texttt {i}\in \Sigma \) which satisfies this let \(\{n_k\}_{k\in {\mathbb {N}}}\) be the sequence for which \(\sigma ^{n_k}\texttt {i}\in G\) for all \(k\in {\mathbb {N}}\). Then by Lemma 4.2 for all \(\varepsilon >0\) there exists \(N_\varepsilon \in {\mathbb {N}}\) such that
and
for \(n \ge N_\varepsilon \) and all \(k \in {\mathbb {N}}\). Since \(r_{n}(\texttt {i}) \rightarrow 0\) uniformly over all \(\texttt {i}\in \Sigma \), we can choose \(M_\varepsilon \in {\mathbb {N}}\) such that \(r_n(\texttt {i}) \le \frac{1}{N_\varepsilon }\) for all \(n \ge M_\varepsilon \). In particular for all \(n_k \ge M_\varepsilon \) and m-almost all \(\texttt {i}\in \Sigma \) there exists \(\ell \ge N_\varepsilon \) such that
which gives
and
Hence there exists \(N_\varepsilon ' \ge M_\varepsilon \) such that for m-almost all all \(\texttt {i}\) and all \(n_k \ge N_\varepsilon '\),
giving the first part of the result.
It remains to show that \(\lim _{k\rightarrow \infty }n_{k+1}/n_k = 1\). Let \(\texttt {i}\) belong to the set of full m-measure for which \(\sigma ^j \texttt {i}\in G\) with frequency at least 1/2 and write
By Birkhoff’s Ergodic Theorem \(\lim _{k\rightarrow \infty }S_{n_k}/n_k = m(G)\ge 1/2\) and clearly \(S_{n_{k+1}}=S_{n_k}+1\). Now note that
as \(k\rightarrow \infty \). As \(S_{n_k}/n_k\rightarrow m(G)\ge 1/2\) and \(1/n_{k+1}\rightarrow 0\) it follows that \(n_k/n_{k+1} \rightarrow 1\) as \(k\rightarrow \infty \), completing the result. \(\square \)
The RSSC gives us control over the distance between “level n” cylinders, as described in the following lemma.
Lemma 4.4
There exists \(\theta >0\) such that for any \(\texttt {i}, \texttt {l}\in \Sigma \) with \(\texttt {i}|n \ne \texttt {l}|n\),
where d denotes the standard Euclidean metric.
Proof
For notational convenience in this proof we shall sometimes write \(a\lesssim b\) to mean that for \(a, b\in {\mathbb {R}}\) we have \(a\le cb\) for some universal constant \(c>0\), where c is independent of any variable which a and b depend on.
We begin by showing that for any \(a_1, b_1, b_2 \in [0,1]\) with \(a_1\ne b_1\) and any \(\texttt {i}\in {\mathcal {I}}^*\),
where C is the constant from (6). To see this, notice that by the mean value theorem there exist \(c_1,c_2 \in (a_1,b_1)\) such that
where the final inequality follows by (6).
Now, let \({\mathbf {a}}=(a_1,a_2), {\mathbf {b}}=(b_1,b_2) \in [0,1]^2\). Define \({\mathbf {c}}=(b_1,a_2)\). We will now show that
where the implied constant is independent of \(\texttt {i}\in {\mathcal {I}}^*\), \({\mathbf {a}}\), and \({\mathbf {b}}\). To see this, we let \(\gamma =|f_\texttt {i}(a_1)-f_\texttt {i}(b_1)|\), \(\varepsilon =|g_\texttt {i}({\mathbf {a}})-g_\texttt {i}({\mathbf {b}})|\) and \(\eta =|g_\texttt {i}({\mathbf {a}})-g_\texttt {i}({\mathbf {c}})|\). Note that \(d(S_\texttt {i}({\mathbf {a}}), S_\texttt {i}({\mathbf {b}}))=\sqrt{\gamma ^2+\varepsilon ^2}\), \(d(S_\texttt {i}({\mathbf {a}}),S_\texttt {i}({\mathbf {c}}))=\sqrt{\gamma ^2+\eta ^2}\). This is displayed visually in Fig. 1.
There are now three possibilities: (i) \(d(S_\texttt {i}({\mathbf {c}}),S_\texttt {i}({\mathbf {b}}))=\eta +\varepsilon \), (ii) \(\eta >\varepsilon \) and \(d(S_\texttt {i}({\mathbf {c}}),S_\texttt {i}({\mathbf {b}}))=\eta -\varepsilon \) or (iii) \(\varepsilon >\eta \) and \(d(S_\texttt {i}({\mathbf {c}}),S_\texttt {i}({\mathbf {b}}))=\varepsilon -\eta \). Hence
In cases (i) and (iii) we can use (20) to bound \(\eta \lesssim \gamma \), yielding that
whereas in case (ii) we can use \(\eta \lesssim \gamma \) to deduce that
This completes the proof of (21).
Now, notice that by the mean value theorem there exists \({\mathbf {c}}_1 \in [0,1]^2\) such that
by (1). Similarly one can check that
Therefore
where the first inequality follows by (21) and the final one by Lemma 3.2.
Finally, note that by the RSSC, there exists \(\delta >0\) such that
Let \(\texttt {i}=(i_1,i_2, \ldots ), \texttt {l}=(l_1,l_2, \ldots ) \in \Sigma \) with \(\texttt {i}|n \ne \texttt {l}|n\). In particular there exists \(0 \le m \le n-1\) such that \(\texttt {i}|m=\texttt {l}|m\) and \(i_{m+1} \ne l_{m+1}\). We write \(\texttt {i}|n=\texttt {i}|m\texttt {j}\) and \(\texttt {l}|n=\texttt {i}|m \texttt {k}\). Then for all \({\mathbf {a}}, {\mathbf {b}}\in [0,1]\),
where the second inequality follows by (23) and the final inequality follows by (24) (since \(\texttt {j}\) and \(\texttt {k}\) begin with different digits) and Lemma 3.4. \(\square \)
We are now in a position to be able to prove Theorem 2.5, our main result. We do so by establishing both the corresponding lower and upper bounds for the local dimension of \(\mu \) at \(\Pi (\texttt {i})\) for \(\texttt {i}\in \Sigma \) belonging to a set of full m-measure. It is worth noting that only the lower bound requires Lemma 4.4 and as such this is the only bound that requires the RSSC.
Proof of Theorem 2.5
Let \(\texttt {i}\in \Sigma \) belong to the set of full m-measure for which (3), (4) and (5) hold. Let
and note that by the domination condition from Definition 2.1\(\eta <1\). Using Lemma 3.2, applying the chain rule to \(g_{\texttt {i}|n,y}(\Pi (\sigma ^n \texttt {i}))\) and \(f_{\texttt {i}|n,x}({\mathbf {b}})\) for each \(n\in {\mathbb {N}}\) and pairing off appropriate terms we get
Similarly,
Define the sequences
and observe that both \(r_n(\texttt {i})\) and \(r_n'(\texttt {i})\) converge to 0 uniformly over all \(\texttt {i}\in \Sigma \). Hence we can also assume that \(\texttt {i}\in \Sigma \) belongs to the set of full measure which satisfies (17) and (18) for the sequences \(r_n(\texttt {i})\) and \(r_n'(\texttt {i})\).
For a given \({\mathbf {a}}=(a_1,a_2)\in [0,1]^2\) and \(r>0\) write
Write \(\mathbf{x }=\Pi (\texttt {i})\), let \(n\in {\mathbb {N}}\) and consider the square \(Q_2\left( \mathbf{x }, \theta \alpha _2\left( D_{\Pi (\sigma ^{n} \texttt {i})}S_{\texttt {i}|n}\right) \right) \). By Lemma 4.4 note that \(Q_2\left( \mathbf{x }, \theta \alpha _2\left( D_{\Pi (\sigma ^{n} \texttt {i})}S_{\texttt {i}|n}\right) \right) \) intersects only the cylinder \(S_{\texttt {i}|n}([0, 1]^2)\), therefore it is easy to see that
Hence by Lemma 4.1,
Consider the subsequence \((n_k)_{k \in {\mathbb {N}}}\) guaranteed by applying Lemma 4.3 to the sequence \(r_n(\texttt {i})\). Applying the chain rule we have
where in the first inequality we have used that \(\alpha _2(AB) \le \alpha _2(A)\alpha _1(B)\) for \(2 \times 2\) matrices A and B. This implies that the null subsequence \(\left( \theta \alpha _2\left( D_{\Pi (\sigma ^{n_k} \texttt {i})}S_{\texttt {i}|n_k}\right) \right) _{k\in {\mathbb {N}}}\) is strictly decreasing. Hence for any \(r>0\) sufficiently small we can choose \(k\in {\mathbb {N}}\) sufficiently large so that
Let \(t=\dim \pi (\mu )\) and \(\varepsilon >0\). Let \(r>0\) be sufficiently small so that \(k \in {\mathbb {N}}\) that satisfies (27) is sufficiently large that (17) holds for \(\varepsilon \). Then, using (10), (26) and (17) we get
as \(r\rightarrow 0\) (so \(k\rightarrow \infty \)). Since \(\varepsilon > 0\) was arbitrary, the lower bound is complete.
We now establish the corresponding upper bound. We begin by estimating
for each \(n\in {\mathbb {N}}\). For some \(a,b \in [0,1]\) with the property that
we can write
Note that
for some \({\mathbf {c}}\in [0,1]^2\) where we have used (20) and the mean value theorem. Thus it follows from (28) and Lemma 3.3 that
It is now easy to see that
Thus Lemma 4.1 implies
where here \(R_n=\min \left\{ \alpha _2\left( D_{\Pi (\sigma ^{n} \texttt {i})}S_{\texttt {i}|n}\right) , \text {diam}\left( \pi S_{\texttt {i}|n}([0,1]^2)\right) \right\} \). Note that by the mean value theorem
for some \(c\in [0, 1]\). Applying the domination condition and Lemma 3.2 gives
so we can conclude that \(R_n\ge M^{-1} \alpha _2\left( D_{\Pi (\sigma ^{n} \texttt {i})}S_{\texttt {i}|n}\right) \). Therefore (29) gives
Consider the subsequence \((n_k)_{k \in {\mathbb {N}}}\) guaranteed by applying Lemma 4.3 for \(r_n'(\texttt {i})\), which was defined in (25). Since \(\left( \alpha _2\left( D_{\Pi (\sigma ^{n} \texttt {i})}S_{\texttt {i}|n}\right) \right) _{n\in {\mathbb {N}}}\) is strictly decreasing and null, for any \(r>0\) sufficiently small we can choose \(k\in {\mathbb {N}}\) sufficiently large so that
Let \(\varepsilon >0\). Let \(r>0\) be sufficiently small so that \(k \in {\mathbb {N}}\) that satisfies (31) is sufficiently large that (18) holds for \(\varepsilon \). Therefore by using (10), (30) and (18) we get
as \(r\rightarrow 0\) (so \(k\rightarrow \infty \)). Since \(\varepsilon > 0\) was arbitrary, the upper bound follows. \(\square \)
References
Bárány, B., Käenmáki, A.: Ledrappier–Young formula and exact dimensionality of self-affine measures. Adv. Math. 318, 88–129 (2017)
Bárány, B., Käenmáki, A., Morris, I.: Domination, almost additivity, and thermodynamic formalism for planar matrix cocycles. Isr. J. Math. (to appear)
Bedford, T.: Applications of dynamical systems theory to fractals—a study of cookie-cutter Cantor sets. Fractal Geometry Anal. 1991, 1–44 (1989)
Cao, Y., Pesin, Y., Zhao, Y.: Dimension estimates for non-conformal repellers and continuity of sub-additive topological pressure. Geom. Funct. Anal. 29(5), 1325–1368 (2019)
Falconer, K.: Techniques in Fractal Geometry. Wiley, New York (1997)
Falconer, K., Fraser, J., Lee, L.: Lq spectra of measures on planar non-conformal attractors. Ergodic Theory Dyn. Syst. (to appear)
Feng, D.-J.: Dimension of invariant measures for affine iterated function systems. arXiv:abs/1901.01691
Feng, D.-J., Hu, H.: Dimension theory of iterated function systems. Commun. Pure Appl. Math. J. Issued Courant Inst. Math. Sci. 62(11), 1435–1500 (2009)
Feng, D.-J., Simon, K.: Dimension estimates for C1 iterated function systems and repellers. Part I. arXiv:abs/2007.15320 (Preprint) (2020)
Fraser, J., Jordan, T., Jurga, N.: Dimensions of equilibrium measures on a class of planar self-affine sets. J. Fractal Geometry 7(1), 87–111 (2020)
Hu, H.: Dimensions of invariant sets of expanding maps. Commun. Math. Phys. 176, 307–320 (1996)
Hutchinson, J.E.: Fractals and self-similarity. Indiana Univ. Math. J. 30, 713–747 (1981)
Ledrappier, F., Young, L.-S.: The metric entropy of diffeomorphisms. I. Characterization of measures satisfying Pesin’s entropy formula. Ann. Math. 122(3), 509–539 (1985)
Ledrappier, F., Young, L.-S.: The metric entropy of diffeomorphisms. II. Relations between entropy, exponents and dimension. Ann. Math. 122(3), 540–574 (1985)
Acknowledgements
LDL was supported by an EPSRC Doctoral Training Grant (EP/N509759/1). NJ was supported by an EPSRC Standard Grant (EP/R015104/1). The authors thank Kenneth Falconer and Jonathan Fraser for making several helpful comments on the manuscript.
Author information
Authors and Affiliations
Corresponding author
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
Jurga, N., Lee, L.D. Ledrappier–Young formulae for a family of nonlinear attractors. Math. Z. 300, 2413–2427 (2022). https://doi.org/10.1007/s00209-021-02876-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-021-02876-7