Hausdorff and packing dimensions and measures for nonlinear transversally non-conformal thin solenoids

We extend the results of Hasselblatt and Schmeling [Dimension product structure of hyperbolic sets. Modern Dynamical Systems and Applications. Eds. B. Hasselblatt, M. Brin and Y. Pesin. Cambridge University Press, New York, 2004, pp. 331–345] and of Rams and Simon [Hausdorff and packing measure for solenoids. Ergod. Th. & Dynam. Sys.23 (2003), 273–292] for $C^{1+\varepsilon }$ hyperbolic, (partially) linear solenoids $\Lambda $ over the circle embedded in $\mathbb {R}^3$ non-conformally attracting in the stable discs $W^s$ direction, to nonlinear solenoids. Under the assumptions of transversality and on the Lyapunov exponents for an appropriate Gibbs measure imposing thinness, as well as the assumption that there is an invariant $C^{1+\varepsilon }$ strong stable foliation, we prove that Hausdorff dimension $\operatorname {\mathrm {HD}}(\Lambda \cap W^s)$ is the same quantity $t_0$ for all $W^s$ and else $\mathrm {HD}(\Lambda )=t_0+1$ . We prove also that for the packing measure, $0<\Pi _{t_0}(\Lambda \cap W^s)<\infty $ , but for Hausdorff measure, $\mathrm {HM}_{t_0}(\Lambda \cap W^s)=0$ for all $W^s$ . Also $0<\Pi _{1+t_0}(\Lambda ) <\infty $ and $\mathrm {HM}_{1+t_0}(\Lambda )=0$ . A technical part says that the holonomy along unstable foliation is locally Lipschitz, except for a set of unstable leaves whose intersection with every $W^s$ has measure $\mathrm {HM}_{t_0}$ equal to 0 and even Hausdorff dimension less than $t_0$ . The latter holds due to a large deviations phenomenon.

On interpreting Patterson–Sullivan measures of geometrically finite groups as Hausdorff and packing measures

We provide a new proof of a theorem whose proof was sketched by Sullivan [Disjoint spheres, approximation by imaginary quadratic numbers, and the logarithm law for geodesics. Acta Math.149(3–4) (1982), 215–237], namely that if the Poincaré exponent of a geometrically finite Kleinian group $G$ is strictly between its minimal and maximal cusp ranks, then the Patterson–Sullivan measure of $G$ is not proportional to the Hausdorff or packing measure of any gauge function. This disproves a conjecture of Stratmann [Multiple fractal aspects of conformal measures; a survey. Workshop on Fractals and Dynamics (Mathematica Gottingensis, 5). Eds. M. Denker, S.-M. Heinemann and B. Stratmann. Springer, Berlin, 1997, pp. 65–71; Fractal geometry on hyperbolic manifolds. Non-Euclidean Geometries (Mathematical Applications (N.Y.), 581). Springer, New York, 2006, pp. 227–247].

Computability of the packing measure of totally disconnected self-similar sets

We present an algorithm to compute the exact value of the packing measure of self-similar sets satisfying the so called Strong Separation Condition (SSC) and prove its convergence to the value of the packing measure. We also test the algorithm with examples that show both the accuracy of the algorithm for the most regular cases and the possibility of using the additional information provided by it to obtain formulas for the packing measure of certain self-similar sets. For example, we are able to obtain a formula for the packing measure of any Sierpinski gasket with contraction factor in the interval $(0,\frac{1}{3}]$.

Exact Hausdorff and packing measures of Cantor sets with overlaps

Let $K$ be the attractor of a linear iterated function system (IFS) $S_{j}(x)={\it\rho}_{j}x+b_{j},j=1,\ldots ,m$, on the real line $\mathbb{R}$ satisfying the generalized finite type condition (whose invariant open set ${\mathcal{O}}$ is an interval) with an irreducible weighted incidence matrix. This condition was recently introduced by Lau and Ngai [A generalized finite type condition for iterated function systems. Adv. Math.208 (2007), 647–671] as a natural generalization of the open set condition, allowing us to include many important overlapping cases. They showed that the Hausdorff and packing dimensions of $K$ coincide and can be calculated in terms of the spectral radius of the weighted incidence matrix. Let ${\it\alpha}$ be the dimension of $K$. In this paper, we state that $$\begin{eqnarray}{\mathcal{H}}^{{\it\alpha}}(K\cap J)\leq |J|^{{\it\alpha}}\end{eqnarray}$$ for all intervals $J\subset \overline{{\mathcal{O}}}$, and $$\begin{eqnarray}{\mathcal{P}}^{{\it\alpha}}(K\cap J)\geq |J|^{{\it\alpha}}\end{eqnarray}$$ for all intervals $J\subset \overline{{\mathcal{O}}}$ centered in $K$, where ${\mathcal{H}}^{{\it\alpha}}$ denotes the ${\it\alpha}$-dimensional Hausdorff measure and ${\mathcal{P}}^{{\it\alpha}}$ denotes the ${\it\alpha}$-dimensional packing measure. This result extends a recent work of Olsen [Density theorems for Hausdorff and packing measures of self-similar sets. Aequationes Math.75 (2008), 208–225] where the open set condition is required. We use these inequalities to obtain some precise density theorems for the Hausdorff and packing measures of $K$. Moreover, using these density theorems, we describe a scheme for computing ${\mathcal{H}}^{{\it\alpha}}(K)$ exactly as the minimum of a finite set of elementary functions of the parameters of the IFS. We also obtain an exact algorithm for computing ${\mathcal{P}}^{{\it\alpha}}(K)$ as the maximum of another finite set of elementary functions of the parameters of the IFS. These results extend previous ones by Ayer and Strichartz [Exact Hausdorff measure and intervals of maximum density for Cantor sets. Trans. Amer. Math. Soc.351 (1999), 3725–3741] and by Feng [Exact packing measure of Cantor sets. Math. Natchr.248–249 (2003), 102–109], respectively, and apply to some new classes allowing us to include Cantor sets in $\mathbb{R}$ with overlaps.