Hausdorff dimension of the limit sets of some planar geometric constructions

We determine the Hausdorff and box dimension of the limit sets for some class of planar non-Moran-like geometric constructions generalizing the Bedford-McMullen general Sierpiński carpets. The class includes affine constructions generated by an arbitrary partition of the unit square by a finite number of horizontal and vertical lines, as well as some non-affine examples, e.g. the flexed Sierpiński gasket.     

Hausdorff measure of infinitely generated self-similar sets

We analyze self-similarity with respect to infinite sets of similitudes from a measure-theoretic point of view. We extend classic results for finite systems of similitudes satisfying the open set condition to the infinite case. We adopt Vitali-type techniques to approximate overlapping self-similar sets by non-overlapping self-similar sets. As an application we show that any open and bounded set with a boundary of null Lebesgue measure always contains a self-similar set generated by a countable system of similitudes and with Lebesgue measure equal to that ofA.     

Hausdorff dimension of certain sets arising in continued fraction expansions

This paper is concerned with the fractional dimensions of some sets of points with their partial quotients obeying some restrictions in their continued fraction expansions. The Hausdorff dimension of the following set, which shares a dichotomy law according to Borel-Bernstein's theorem, is completely determined

     

Hausdorff measures for a class of homogeneous Moran sets

This paper provides an explicit formula for the Hausdorff measures of a class of regular homogeneous Moran sets. In particular, this provides, for the first time, an example of an explicit formula for the Hausdorff measure of a fractal set whose Hausdorff dimension is greater than 1.     

Improving dimension estimates for Furstenberg-type sets

In this paper we study the problem of estimating the generalized Hausdorff dimension of Furstenberg sets in the plane. For α∈(0,1], a set F in the plane is said to be an α-Furstenberg set if for each direction e there is a line segment ?e in the direction of e for which dimH(?e∩F)?α. It is well known that , and it is also known that these sets can have zero measure at their critical dimension. By looking at general Hausdorff measures Hh defined for doubling functions, that need not be power laws, we obtain finer estimates for the size of the more general h-Furstenberg sets. Further, this approach allow us to sharpen the known bounds on the dimension of classical Furstenberg sets.The main difficulty we had to overcome, was that if Hh(F)=0, there always exists g?h such that Hg(F)=0 (here ? refers to the natural ordering on general Hausdorff dimension functions). Hence, in order to estimate the measure of general Furstenberg sets, we have to consider dimension functions that are a true step down from the critical one. We provide rather precise estimates on the size of this step and by doing so, we can include a family of zero dimensional Furstenberg sets associated to dimension functions that grow faster than any power function at zero. With some additional growth conditions on these zero dimensional functions, we extend the known inequalities to include the endpoint α=0.     

On the Assouad dimension of self-similar sets with overlaps

It is known that, unlike the Hausdorff dimension, the Assouad dimension of a self-similar set can exceed the similarity dimension if there are overlaps in the construction. Our main result is the following precise dichotomy for self-similar sets in the line: either the weak separation property is satisfied, in which case the Hausdorff and Assouad dimensions coincide; or the weak separation property is not satisfied, in which case the Assouad dimension is maximal (equal to one). In the first case we prove that the self-similar set is Ahlfors regular, and in the second case we use the fact that if the weak separation property is not satisfied, one can approximate the identity arbitrarily well in the group generated by the similarity mappings, and this allows us to build a weak tangent that contains an interval. We also obtain results in higher dimensions and provide illustrative examples showing that the ‘equality/maximal’ dichotomy does not extend to this setting.     

Hausdorff and packing dimensions of non-normal tuples of numbers: Non-linearity and divergence points

We apply the results in [L. Olsen, Multifractal analysis of divergence points of deformed measure theoretical Birkhoff averages, J. Math. Pures Appl. 82 (2003) 1591-1649; L. Olsen, Multifractal analysis of divergence points of deformed measure theoretical Birkhoff averages. III, Aequationes Math. 71 (2006) 29-53; L. Olsen, Multifractal analysis of divergence points of deformed measure theoretical Birkhoff averages. IV: Divergence points and packing dimension, Bull. Sci. Math. 132 (2008) 650-678; L. Olsen, S. Winter, Multifractal analysis of divergence points of deformed measure theoretical Birkhoff averages. II: Non-linearity, divergence points and Banach space valued spectra, Bull. Sci. Math. 131 (2007) 518-558] to give a systematic and detailed account of the Hausdorff and packing dimensions of sets of d-tuples of numbers defined in terms of the asymptotic behaviour of the frequencies of strings of digits in their N-adic expansion.     

Applications of multifractal divergence points to some sets of d-tuples of numbers defined by their N-adic expansion

In this paper we apply the techniques and results from the theory of multifractal divergence points developed in [L. Olsen, Multifractal analysis of divergence points of deformed measure theoretical Birkhoff averages, Journal de Mathématiques Pures et Appliquées 82 (2003) 1591-1649; L. Olsen, Multifractal analysis of divergence points of deformed measure theoretical Birkhoff averages III, Preprint (2002); L. Olsen, S. Winter, J. London Math. Soc. 67 (2003) 103-122; L. Olsen, S. Winter, Multifractal analysis of divergence points of deformed measure theoretical Birkhoff averages II, Preprint (2001)] to give a systematic and detailed account of the Hausdorff dimensions of sets of d-tuples numbers defined in terms of the asymptotic behaviour of the frequencies of the digits in their N-adic expansion. Using the method and results from [L. Olsen, Multifractal analysis of divergence points of deformed measure theoretical Birkhoff averages, Journal de Mathématiques Pures et Appliquées 82 (2003) 1591-1649; L. Olsen, Multifractal analysis of divergence points of deformed measure theoretical Birkhoff averages III, Preprint (2002); L. Olsen, S. Winter, J. London Math. Soc. 67 (2003) 103-122; L. Olsen, S. Winter, Multifractal analysis of divergence points of deformed measure theoretical Birkhoff averages II, Preprint (2001)] we investigate and compute the Hausdorff dimension of several new sets of d-tuples of numbers. In particular, we compute the Hausdorff dimension of a large class of sets of d-tuples numbers for which the limiting frequencies of the digits in their N-adic expansion do not exist. Such sets have only very rarely been studied. In addition, our techniques provide simple proofs of higher-dimensional and non-linear generalizations of known results, by Cajar and Volkmann and others, on the Hausdorff dimension of sets of normal and non-normal numbers.     

A new fractal dimension: The topological Hausdorff dimension

We introduce a new concept of dimension for metric spaces, the so-called topological Hausdorff dimension. It is defined by a very natural combination of the definitions of the topological dimension and the Hausdorff dimension. The value of the topological Hausdorff dimension is always between the topological dimension and the Hausdorff dimension, in particular, this new dimension is a non-trivial lower estimate for the Hausdorff dimension.     

On the exact rate of convergence of frequencies of digits in self-similar sets

We study the exact rate of convergence of frequencies of digits of “normal” points of a self-similar set. Our results have applications to metric number theory. One particular application gives the following surprising result: there is an uncountable family of pairwise disjoint and exceptionally big subsets of ?^d that do not obey the law of the iterated logarithm. More precisely, we prove that there is an uncountable family of pairwise disjoint and exceptionally big sets of points x in ?^d—namely, sets with full Hausdorff dimension—for which the rate of convergence of frequencies of digits in the N-adic expansion of x is either significantly faster or significantly slower than the typical rate of convergence predicted by the law of the iterated logarithm.     

On the connectedness of limit net sets

In this paper we introduce and study net sets and limit net sets. The construction and geometry of net sets can be described with the help of substitutions with net matrices which we also introduce here. Limit net sets are a special type of Moran fractals. We study connectedness properties of net sets and limit net sets.     

Structural instability of cookie-cutter sets

It is proved that the cookie-cutter set in R$\mathbb{R}$ is structurally instable in C¹$C^1$ topology, that means for the invariant set E$E$ of the IFS _{fi}i${\left\{f_i\right\}}_i$, we can always perturb _{fi}i${\left\{f_i\right\}}_i$ arbitrarily small in C¹$C^1$ topology to provide an IFS _{gi}i${\left\{g_i\right\}}_i$ with its invariant set F$F$, such that _dimHE=_dimHF${dim}_{H}E={dim}_{H}F$ and E,F$E,F$ are not Lipschitz equivalent.     

On the magnification of cantor sets and their limit models

For aC ¹⁺ hyperbolic (cookie-cutter) Cantor setC we consider the limits of sequences of closed subsets ofR obtained by arbitrarily high magnifications around different points ofC. It is shown that a well defined set of limit models exists for the infinitesimal geometry, orscenery, in the Cantor set. IfCC} is a diffeomorphic copy ofC then the set of limit models of C is the same as that ofC. Furthermore every limit model is made of Cantor sets which areC ¹⁺ diffeomorphic withC (for some >0, (0,1)), but not all suchC ¹⁺ copies ofC occur in the limit models. We show the relation between this approach to the asymptotic structure of a Cantor set and Sullivan's scaling function. An alternative definition of a fractal is discussed.With 1 Figure     

Divergence points of self-similar measures and packing dimension

Let μ be a self-similar measure in Rd. A point x∈Rd for which the limit does not exist is called a divergence point. Very recently there has been an enormous interest in investigating the fractal structure of various sets of divergence points. However, all previous work has focused exclusively on the study of the Hausdorff dimension of sets of divergence points and nothing is known about the packing dimension of sets of divergence points. In this paper we will give a systematic and detailed account of the problem of determining the packing dimensions of sets of divergence points of self-similar measures. An interesting and surprising consequence of our results is that, except for certain trivial cases, many natural sets of divergence points have distinct Hausdorff and packing dimensions.     

Intersecting nonhomogeneous Cantor sets with their translations

A scheme is given to compute the Hausdorff dimensions for the intersection of a class of nonhomogeneous Cantor sets with their translations.     

On the Beurling dimension of exponential frames

We study Fourier frames of exponentials on fractal measures associated with a class of affine iterated function systems. We prove that, under a mild technical condition, the Beurling dimension of a Fourier frame coincides with the Hausdorff dimension of the fractal.     

Scaling properties of Hausdorff and packing measures

Let . Let be a continuous increasing function defined on , for which and is a decreasing function of t. Let be a norm on , and let , , denote the corresponding metric, and Hausdorff and packing measures, respectively. We characterize those functions such that the corresponding Hausdorff or packing measure scales with exponent by showing it must be of the form , where L is slowly varying. We also show that for continuous increasing functions and defined on , for which , is either trivially true or false: we show that if , then for a constant c, where is the Lebesgue measure on . Received June 17, 2000 / Accepted September 6, 2000 / Published online March 12, 2001