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.     

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.     

Self-similar sets in complete metric spaces

We develop a theory for Hausdorff dimension and measure of self-similar sets in complete metric spaces. This theory differs significantly from the well-known one for Euclidean spaces. The open set condition no longer implies equality of Hausdorff and similarity dimension of self-similar sets and that has nonzero Hausdorff measure in this dimension. We investigate the relationship between such properties in the general case.

     

Curvature-direction measures of self-similar sets

We obtain fractal Lipschitz–Killing curvature-direction measures for a large class of self-similar sets $F$ in $\mathbb{R }^{d}$ . Such measures jointly describe the distribution of normal vectors and localize curvature by analogues of the higher order mean curvatures of differentiable sub-manifolds. They decouple as independent products of the unit Hausdorff measure on $F$ and a self-similar fibre measure on the sphere, which can be computed by an integral formula. The corresponding local density approach uses an ergodic dynamical system formed by extending the code space shift by a subgroup of the orthogonal group. We then give a remarkably simple proof for the resulting measure version under minimal assumptions.     

A generalized finite type condition for iterated function systems

We study iterated function systems (IFSs) of contractive similitudes on Rd with overlaps. We introduce a generalized finite type condition which extends a more restrictive condition in [S.-M. Ngai, Y. Wang, Hausdorff dimension of self-similar sets with overlaps, J. London Math. Soc. (2) 63 (3) (2001) 655-672] and allows us to include some IFSs of contractive similitudes whose contraction ratios are not exponentially commensurable. We show that the generalized finite type condition implies the weak separation property. Under this condition, we can identify the attractor of the IFS with that of a graph-directed IFS, and by modifying a setup of Mauldin and Williams [R.D. Mauldin, S.C. Williams, Hausdorff dimension in graph directed constructions, Trans. Amer. Math. Soc. 309 (1988) 811-829], we can compute the Hausdorff dimension of the attractor in terms of the spectral radius of certain weighted incidence matrix.     

GEOMETRY AND DIMENSION OF SELF—SIMILAR SET

The authors show that the self-similar set for a finite family of contractive similitudes (similarities, i.e., |fi(x) - fi(y)| = αi|x - y|, x,y ∈ RN, where 0 < αi < 1) is uniformly perfect except the case that it is a singleton. As a corollary, it is proved that this self-similar set has positive Hausdorff dimension provided that it is not a singleton. And a lower bound of the upper box dimension of the uniformly perfect sets is given. Meanwhile the uniformly perfect set with Hausdorff measure zero in its Hausdorff dimension is given.     

Graphs induced by iterated function systems

For an iterated function system (IFS) of similitudes, we define two graphs on the representing symbolic space. We show that if the self-similar set \(K\) has positive Lebesgue measure or the IFS satisfies the weak separation condition, then the graphs are hyperbolic; moreover the hyperbolic boundaries are homeomorphic to the self-similar sets.     

Singularity and L2-dimension of self-similar measures

We study self-similar measures defined by non-uniformly contractive iterated function systems of similitudes with overlaps. In the case the contraction ratios of the similitudes are exponentially commensurable, we describe a method to compute the L²-dimension of the associated self-similar measures. Our result allows us to determine the singularity of some of such measures.     

Random cutout sets with spatially inhomogeneous intensities

We study the Hausdorff dimension of Poissonian cutout sets defined via inhomogeneous intensity measures on Q-regular metric spaces. Our main results explain the dependence of the dimension of the cutout sets on the multifractal structure of the average densities of the Q-regular measure. As a corollary, we obtain formulas for the Hausdorff dimension of such cutout sets in self-similar and self-conformal spaces using the multifractal decomposition of the average densities for the natural measures.     

The dimensions of the divergence points of self-similar measures with weak separation condition

Let \(\mu \) be the self-similar measure supported on the self-similar set K with the weak separation condition, which is weaker than the open set condition. This article uses Hausdorff dimension and packing dimension to investigate the multifractal structure of several sets of divergence points of \(\mu \) in the iterated function system.     

A dimensional result for random self-similar sets

A very important property of a deterministic self-similar set is that its Hausdorff dimension and upper box-counting dimension coincide. This paper considers the random case. We show that for a random self-similar set, its Hausdorff dimension and upper box-counting dimension are equal

     

An algorithm for computing the centered Hausdorff measures of self-similar sets

We provide an algorithm for computing the centered Hausdorff measures of self-similar sets satisfying the strong separation condition. We prove the convergence of the algorithm and test its utility on some examples.     

On singularity of energy measures on self-similar sets

We provide general criteria for energy measures of regular Dirichlet forms on self-similar sets to be singular to Bernoulli type measures. In particular, every energy measure is proved to be singular to the Hausdorff measure for canonical Dirichlet forms on 2-dimensional Sierpinski carpets.Partially supported by Ministry of Education, Culture, Sports, Science and Technology, Grant-in-Aid for Encouragement of Young Scientists, 15740089.Mathematics Subject Classification (2000): 28A80 (60G30, 31C25, 60J60)     

Divergence points of self-similar measures satisfying the OSC

Recently, Barreira and Schmeling (2000) [1] and Chen and Xiong (1999) [2] have shown, that for self-similar measures satisfying the SSC the set of divergence points typically has the same Hausdorff dimension as the support K. It is natural to ask whether we obtain a similar result for self-similar measures satisfying the OSC. However, with only the OSC satisfied, we cannot do most of the work on a symbolic space and then transfer the results to the subsets of Rd, which makes things more difficult. In this paper, by the box-counting principle we show that the set of divergence points has still the same Hausdorff dimension as the support K for self-similar measures satisfying the OSC.     

Energy measures on p.c.f. self-similar sets

On connected post critically finite (p.c.f.) self-similar sets we give a linear extension method to compute the energy measures of harmonic functions with respect to the standard energy, and as an application we also compute the L²$L^2$ dimensions of these measures on some p.c.f. self-similar sets.     

On the Exceptional Set for Absolute Continuity of Bernoulli Convolutions

We prove that the set of exceptional \({\lambda\in (1/2,1)}\) such that the associated Bernoulli convolution is singular has zero Hausdorff dimension, and likewise for biased Bernoulli convolutions, with the exceptional set independent of the bias. This improves previous results by Erdös, Kahane, Solomyak, Peres and Schlag, and Hochman. A theorem of this kind is also obtained for convolutions of homogeneous self-similar measures. The proofs are very short, and rely on old and new results on the dimensions of self-similar measures and their convolutions, and the decay of their Fourier transform.     

Hausdorff measures, dimensions and mutual singularity

Let be a metric space. For a probability measure on a subset of and a Vitali cover of , we introduce the notion of a -Vitali subcover , and compare the Hausdorff measures of with respect to these two collections. As an application, we consider graph directed self-similar measures and in satisfying the open set condition. Using the notion of pointwise local dimension of with respect to , we show how the Hausdorff dimension of some general multifractal sets may be computed using an appropriate stochastic process. As another application, we show that Olsen's multifractal Hausdorff measures are mutually singular.

     

Divergence points and normal numbers

In Olsen and Winter (J Lond Math Soc 67(2):103–122, 2003) and Baek et?al. (Advan Math 214:267–287, 2007) the authors have introduced the notion of “normal” and “non-normal” points of a self-similar set as a main tool for studying the Hausdorff and the packing dimensions of a set of divergence points of self-similar measures. In this paper we will extend the results about the Hausdorff and the packing dimensions of “non-normal” points of a self-similar set in a point of view of Bisbas (Bulletin des Sciences Mathématiques 129(1):25–37, 2005). Namely, we will prove that both the Hausdorff and packing dimensions remain the same if we consider subsets determined by the normality to some bases. This will be proved using the techniques from Bisbas (Bulletin des Sciences Mathématiques 129(1):25–37, 2005) and the construction of suitable measures. Simultaneously this will also give simpler proofs of some of the results from Olsen and Winter (J Lond Math Soc 67(2):103–122, 2003) and Baek et?al. (Advan Math 214:267–287, 2007).