Separation conditions for conformal iterated function systems

We extend both the weak separation condition and the finite type condition to include finite iterated function systems (IFSs) of injective C ¹ conformal contractions on compact subsets of \mathbbR^d{{\mathbb{R}}^d} . For conformal IFSs satisfying the bounded distortion property, we prove that the finite type condition implies the weak separation condition. By assuming the weak separation condition, we prove that the Hausdorff and box dimensions of the attractor are equal and, if the dimension of the attractor is α, then its α-dimensional Hausdorff measure is positive and finite. We obtain a necessary and sufficient condition for the associated self-conformal measure μ to be singular. By using these we give a first example of a singular invariant measure μ that is associated with a non-linear IFS with overlaps.     

Separation conditions for conformal iterated function systems

We extend both the weak separation condition and the finite type condition to include finite iterated function systems (IFSs) of injective C ¹ conformal contractions on compact subsets of . For conformal IFSs satisfying the bounded distortion property, we prove that the finite type condition implies the weak separation condition. By assuming the weak separation condition, we prove that the Hausdorff and box dimensions of the attractor are equal and, if the dimension of the attractor is α, then its α-dimensional Hausdorff measure is positive and finite. We obtain a necessary and sufficient condition for the associated self-conformal measure μ to be singular. By using these we give a first example of a singular invariant measure μ that is associated with a non-linear IFS with overlaps. The authors are supported in part by an HKRGC grant.     

自相似集的Hausdorff测度与连续性

对集合F Rn,以dim F和Hdim F(F)分别表示F的Hausdorff维数和dim F维Hausdorff测度.设T=T(f1,...,fm)为Rn中的自相似集,即由相似压缩组成的迭代函数系统{f1...,fm)的吸引子.假如fi(T)∩fj(T)= (i≠j),那么,对任意ε>0,存在δ>0,若D=D(g1,...,gm)为Rn中的自相似集并且sup{||fk(x)-gk(x)||:||x||≤1,1≤k≤m}<δ,则1HdimT(T)-Hdim D(D)|<ε.     

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.     

Dimension theory of iterated function systems

Let {S_i} be an iterated function system (IFS) on ?^d with attractor K. Let (Σ, σ) denote the one‐sided full shift over the alphabet {1, …, ??}. We define the projection entropy function h_π on the space of invariant measures on Σ associated with the coding map π : Σ → K and develop some basic ergodic properties about it. This concept turns out to be crucial in the study of dimensional properties of invariant measures on K. We show that for any conformal IFS (respectively, the direct product of finitely many conformal IFSs), without any separation condition, the projection of an ergodic measure under π is always exactly dimensional and its Hausdorff dimension can be represented as the ratio of its projection entropy to its Lyapunov exponent (respectively, the linear combination of projection entropies associated with several coding maps). Furthermore, for any conformal IFS and certain affine IFSs, we prove a variational principle between the Hausdorff dimension of the attractors and that of projections of ergodic measures. © 2008 Wiley Periodicals, Inc.     

Hausdorff dimension of self-similar sets with overlaps

We provide a simple formula to compute the Hausdorff dimension of the attractor of an overlapping iterated function system of contractive similarities satisfying a certain collection of assumptions. This formula is obtained by associating a non-overlapping infinite iterated function system to an iterated function system satisfying our assumptions and using the results of Moran to compute the Hausdorff dimension of the attractor of this infinite iterated function system, thus showing that the Hausforff dimension of the attractor of this infinite iterated function system agrees with that of the attractor of the original iterated function system. Our methods are applicable to some iterated function systems that do not satisfy the finite type condition recently introduced by Ngai and Wang.      

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.     

关于不变集的维数

本文讨论两类不变集的维数．在第一部分我们研究了平面上的一类自仿集,并给出了它的Hausdorff维数的—个估计．在第二部分我们研究Rd上的迭代函数系(IFS)的不变集, 特别我们考虑了压缩系数不是常数的情形,所得结果给出了经典结果的一个非平凡推广．     

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.     

Tangent measure distributions of hyperbolic Cantor sets

Tangent measure distributions were introduced byBandt [2] andGraf [8] as a means to describe the local geometry of self-similar sets generated by iteration of contractive similitudes. In this paper we study the tangent measure distributions of hyperbolic Cantor sets generated by certain contractive mappings, which are not necessarily similitudes. We show that the tangent measure distributions of these sets equipped with either Hausdorff- or Gibbs measure are unique almost everywhere and give an explicit formula describing them as probability distributions on the set of limit models ofBedford andFisher [5].     

Common fixed point theorems of Gregus type for weakly compatible mappings satisfying generalized contractive conditions

We prove a common fixed point theorem of Gregus type for four mappings satisfying a generalized contractive condition in metric spaces using the concept of weak compatibility which generalizes theorems of [I. Altun, D. Turkoglu, B.E. Rhoades, Fixed points of weakly compatible mappings satisfying a general contractive condition of integral type, Fixed Point Theory Appl. 2007 (2007), article ID 17301; A. Djoudi, L. Nisse, Gregus type fixed points for weakly compatible mappings, Bull. Belg. Math. Soc. 10 (2003) 369-378; A. Djoudi, A. Aliouche, Common fixed point theorems of Gregus type for weakly compatible mappings satisfying contractive conditions of integral type, J. Math. Anal. Appl. 329 (1) (2007) 31-45; P. Vijayaraju, B.E. Rhoades, R. Mohanraj, A fixed point theorem for a pair of maps satisfying a general contractive condition of integral type, Int. J. Math. Math. Sci. 15 (2005) 2359-2364; X. Zhang, Common fixed point theorems for some new generalized contractive type mappings, J. Math. Anal. Appl. 333 (2) (2007) 780-786]. We prove also a common fixed point theorem which generalizes Theorem 3.5 of [H.K. Pathak, M.S. Khan, T. Rakesh, A common fixed point theorem and its application to nonlinear integral equations, Comput. Math. Appl. 53 (2007) 961-971] and common fixed point theorems of Gregus type using a strict generalized contractive condition, a property (E.A) and a common property (E.A).     

Dimensions of fractals related to languages defined by tagged strings in complete genomes

A representation of frequency of strings of length K in complete genomes of many organisms in a square has led to seemingly self-similar patterns when K increases. These patterns are caused by under-represented strings with a certain “tag”-string and they define some fractals in the K→∞ limit. The Box and Hausdorff dimensions of the limit set are discussed. Although the method proposed by Mauldin and Williams to calculate Box and Hausdorff dimension is valid in our case, a different and sampler method is proposed in this paper.     

Local dimensions of sliced measures and stability of packing dimensions of sections of sets

Let m and n be integers with 0<m<n. We relate the absolutely continuous and singular parts of a measure μ on to certain properties of plane sections of μ. This leads us to prove, among other things, that the lower local dimension of (n−m)-plane sections of μ is typically constant provided that the Hausdorff dimension of μ is greater than m. The analogous result holds for the upper local dimension if μ has finite t-energy for some t>m. We also give a sufficient condition for stability of packing dimensions of section of sets.     

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.     

Euclidean realizations of Mauldin–Williams graphs

“Graph-directed” fractals are collections of metric spaces, each of which can be expressed as a union of several scaled copies of spaces from the collection. They give rise to weighted, directed graphs where the term comes from. We show in this note that any (finite) weighted, directed graph (with weights between 0 and 1) can be realized in a Euclidean space in the sense that, starting from the graph one can define a system of similitudes (with the similarity ratios being the given weights) on an appropriate Euclidean space. The point is that these maps satisfy a certain property (called the open set condition) so that the theory of Mauldin–Williams can be applied to compute the dimension of the emerging fractals. Additionally, we give a novel example of a system of graph-directed fractals.     

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.     

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.     

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.     

弱分离条件下的自共形迭代函数系统

开集条件是分形几何的一个重要概念,弱分离条件(WSC)在研究有重叠的迭代函数系统(IFS)中扮演着重要角色.本文考虑满足弱分离条件的自共形迭代函数系统,并给出确定其不变集的Hausdorff维数的一种方式.     

On the structures of generating iterated function systems of Cantor sets

A generating IFS of a Cantor set F is an IFS whose attractor is F. For a given Cantor set such as the middle-3rd Cantor set we consider the set of its generating IFSs. We examine the existence of a minimal generating IFS, i.e. every other generating IFS of F is an iterating of that IFS. We also study the structures of the semi-group of homogeneous generating IFSs of a Cantor set F in under the open set condition (OSC). If dim_HF<1 we prove that all generating IFSs of the set must have logarithmically commensurable contraction factors. From this Logarithmic Commensurability Theorem we derive a structure theorem for the semi-group of generating IFSs of F under the OSC. We also examine the impact of geometry on the structures of the semi-groups. Several examples will be given to illustrate the difficulty of the problem we study.