The Tangent Measure Distribution of Self-Conformal Fractals

We show that the tangent measure distribution of a self-conformal measure exists at almost all points of the support of the measure. Moreover, we prove, that it is the same for almost all points.     

Local Geometry of Fractals Given by Tangent Measure Distributions

 Let μ be a self-similar-measure and ν an ergodic shift-invariant measure on a self-similar set A. We show that under weak conditions ν-almost all points x in A show the same local structure, that is, the same tangent measure distribution of μ.     

Uniform Distribution and Fractal Dimensions for Generalized Cantor Products By

 For any and , let be a generalized Cantor product. The Hausdorff dimension of certain sets concerning are considered. Let be defined as in [11], the exceptional set of values of x for which is not uniformly distributed modulo 1 is also determined. (Received 22 May 2001; in revised form 7 September 2001)     

Relationships between Different Dimensions of a Measure

 We establish various relationships of the Hausdorff dimension, entropy dimension and -dimension of a measure without assuming that the local dimension of μ exists μ-a.e. These extend a well known result of Young. Received 2 October 2000; in revised form 20 September 2001     

The Dimension of Subsets of Moran Sets Determined by the Success Run Behaviour of Their Codings

 Let be a Moran set associated with the set . Let Γ be a non-empty subset of with non-empty complement. Associated with the behaviour of success run of symbols from Γ in the coding space is a decomposition of F such that

Empirical multifractal moment measures of self-similar measure for <Emphasis Type="Italic">q</Emphasis> < 0<Superscript>*</Superscript>

For q ≥ 0, Olsen [1] has attained the exact rate of convergence of the L ^q -spectrum of a self-similar measure and showed that the so-called empirical multifractal moment measures converges weakly to the normalized multifractal measures. Unfortunately, nothing is known for q < 0. Indeed, the problem of analysing the L ^q - spectrum for q < 0 is generally considered significantly more difficult since the L ^q -spectrum is extremely sensitive to small variations of μ for q < 0. In [2] we showed that self-similar measures satisfying the Open Set Condition (OSC) are Ahlfors regular and, using this fact, we obtained the exact rate of convergence of the L ^q -spectrum of a self-similar measure satisfying the OSC for q < 0. In this paper, we apply the results from [2] to show the empirical multifractal q’th moment measures of self-similar measures satisfying the OSC converges weakly to the normalized multifractal Hausdorff measures for q < 0. Authors’ addresses: Jiaqing Xiao, School of Science, Wuhan University of Technology, Wuhan 430070, China; Wu Min, School of Mathematical Sciences, South China University of Technology, Guangzhou, 510640, China     

Typical <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">q</Emphasis></Superscript>-Dimensions of Measures

For a probability measure μ on a subset of , the lower and upper L^q-dimensions of order are defined by We study the typical behaviour (in the sense of Baire’s category) of the L^q-dimensions and . We prove that a typical measure μ is as irregular as possible: for all q ≥ 1, the lower L^q-dimension attains the smallest possible value and the upper L^q-dimension attains the largest possible value.     

Topological dimensions and multifractal Rényi dimensions of Polish spaces: a multifractal Szpilrajn type theorem

In this paper we consider the relationship between the topological dimension and the lower and upper q-Rényi dimensions and of a Polish space X for q ∈ [1, ∞]. Let and denote the Hausdorff dimension and the packing dimension, respectively. We prove that for all analytic metric spaces X (whose upper box dimension is finite) and all q ∈ (1, ∞); of course, trivially, for all q ∈ [1, ∞]. As a corollary to this we obtain the following result relating the topological dimension and the lower and upper q-Rényi dimensions: for all Polish spaces X and all q ∈ [1, ∞]; in (1) and (2) we have used the following notation, namely, for two metric spaces X and Y, we write X ∼ Y if and only if X is homeomorphic to Y. Equality (1) has recently been proved for q = ∞ by Myjak et al. Author’s address: Department of Mathematics, University of St. Andrews, St. Andrews, Fife KY16 9SS, Scotland     

Modeling Ergodic, Measure Preserving Actionson Shifts of Finite Type

 In this paper we show that shifts of finite type satisfying a strong topological mixing property are universal models for ergodic measure preserving dynamical systems. (Received 21 July 1999; in revised form 4 November 2000)     

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].     

The Singularity Spectrum f(α) of Some Moran Fractals

We show that the multifractal decomposition behaves as expected for a family of sets E known as homogeneous Moran fractals associated with the Fibonacci sequence , using probability measures () associated with the Fibonacci sequence . For each value of a parameter (_min, _max), we define multifractal components E of E, and show that they are fractals in the sense of Taylor. We give the explicit formula for the dimension of E. Also our method can be used for the Moran fractals associated with some more general sequences.     

When is the union of two unit intervals a self-similar set satisfying the open set condition?

Let U _λ be the union of two unit intervals with gap λ. We show that U _λ is a self-similar set satisfying the open set condition if and only if U _λ can tile an interval by finitely many of its affine copies (admitting different dilations). Furthermore, each such λ can be characterized as the spectrum of an irreducible double word which represents a tiling pattern. Some further considerations of the set of all such λ’s, as well as the corresponding tiling patterns, are given. The first author was partially supported by the RGC grant and the direct grant in CUHK, Fok Ying Tong Education Foundation and NSFC (10571100). The second author was partially supported by NSFC (70371074) and NFSC (10571104).     

Egoroff’s theorem and maximal run length

We construct a sequence of measurable functions converging at each point of the unit interval, but the set of points with any given rate of convergence has Hausdorff dimension one. This is used to show that a version of Egoroff’s theorem due to Taylor is best possible. The construction relies on an analysis of the maximal run length of ones in the dyadic expansion of real numbers. It is also proved that the exceptional set for a limit theorem of Renyi has Hausdorff dimension one.     

Tangent measure distributions of fractal measures

Tangent measure distributions provide a natural tool to study the local geometry of fractal sets and measures in Euclidean spaces. The idea is, loosely speaking, to attach to every point of the set a family of random measures, called the -dimensional tangent measure distributions at the point, which describe asymptotically the -dimensional scenery seen by an observer zooming down towards this point. This tool has been used by Bandt [BA] and Graf [G] to study the regularity of the local geometry of self similar sets, but in this paper we show that its scope goes much beyond this situation and, in fact, it may be used to describe a strong regularity property possessed by every measure: We show that, for every measure on a Euclidean space and any dimension , at -almost every point, all -dimensional tangent measure distributions are Palm measures. This means that the local geometry of every dimension of general measures can be described – like the local geometry of self similar sets – by means of a family of statistically self similar random measures. We believe that this result reveals a wealth of new and unexpected information about the structure of such general measures and we illustrate this by pointing out how it can be used to improve or generalize recently proved relations between ordinary and average densities. Received: 27 November 1996 / Revised version: 27 February 1998     

Ergodic Properties and Julia Sets of Weierstrass Elliptic Functions

 We discuss properties of the Julia and Fatou sets of Weierstrass elliptic ℘ functions arising from real lattices. We give sufficient conditions for the Julia sets to be the whole sphere and for the maps to be ergodic, exact, and conservative. We also give examples for which the Julia set is not the whole sphere. Received September 4, 2001; in revised form March 26, 2002     

Bronchien und Baumstrukturen

Zusammenfassung. Die Arbeit behandelt Modelle des Bronchialbaumes. Es wird zun?chst die Ver?nderung der Querschnitte von Luftwegen bei Verzweigungen untersucht. Dann geht es um „Strichb?ume”– Baumh?he, Zweigl?nge, überlappungsfreiheit, Selbst?hnlichkeit und Dimension. Schlie{?}lich findet sich auch noch eine Diskussion zu einem wohlbekannten Dreiecksfraktal – Grenzkurve, Selbst?hnlichkeit, Dimension, Zusammenhang mit den „Strichb?umen”. Anatomen haben zu dem Thema noch viele Anregungen und Fragen.

---

     

An Exceptional Set in the Ergodic Theory of Expanding Maps on Manifolds

Under a general hypothesis an expanding map T of a Riemannian manifold M is known to preserve a measure equivalent to the Liouville measure on that manifold. As a consequence of this and Birkhoff’s pointwise ergodic theorem, the orbits of almost all points on the manifold are asymptotically distributed with regard to this Liouville measure. Let T be Lipschitz of class τ for some τ in (0,1], let Ω(x) denote the forward orbit closure of x and for a positive real number δ and let E(x₀, δ) denote the set of points x in M such that the distance from x₀ to Ω is at least δ. Let dim A denote the Hausdorff dimension of the set A. In this paper we prove a result which implies that there is a constant C(T) > 0 such that if τ = 1 and if τ < 1. This gives a quantitative converse to the above asymptotic distribution phenomenon. The result we prove is of sufficient generality that a similar result for expanding hyperbolic rational maps of degree not less than two follows as a special case.     

The Schwartz Space and Homogeneous Distributions on H-Type Groups

 Let N be an H-type group of homogeneous dimension Q. We study the space of biradial Schwartz functions on N by means of the Gelfand transform. This enables us to characterize the class of biradial homogeneous distributions on N of degree α, with 0 ? α< Q, which are away from the identity, via the Gelfand transform. (Received 26 April 2000; in revised form December 2000)     

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     

Small Sets of Divergence Points are Dimensionless

Let be a subshift modelled by a strongly connected graph, and let denote the shift. For n , let be the nth empirical measure, i.e.