Gibbs state for some class of meromorphic functions

This paper is a continuation of our earlier works [1,2] on the fractal structure of expanding and subexpanding meromorphic functions of the form F = H o exp o Q, where H and Q are non-constant rational maps. Under some assumptions on the forward trajectories of asymptotic values ofF we define a class of summable potentials for the maps f of the punctured cylinder induced by F. We prove the existence and uniqueness of Gibbs states for these potentials.     

Fractal Measures for Parabolic IFS

Let h be the Hausdorff dimension of the limit set of a conformal parabolic iterated function system in dimension d?2. In case the system of maps is finite, we provide necessary and sufficient conditions for the h-dimensional Hausdorff measure to be positive and finite and also, assuming the strong open set condition holds, characterize when the h-dimensional packing measure of the limit set is positive and finite. We also prove that the upper ball (box)-counting dimension and the Hausdorff dimension of this limit set coincide. As a byproduct we include a compact analysis of the behaviour of parabolic conformal diffeomorphisms in dimension 2 and separately in any dimension greater than or equal to 3.     

Ergodic properties for some non-expanding non-reversible systems

We study several properties of invariant measures obtained from preimages, for non-invertible maps on fractal sets which model non-reversible dynamical systems. We give two ways to describe the distribution of all preimages for endomorphisms which are not necessarily expanding on a basic set Λ. We give a topological dynamics condition which guarantees that the corresponding measures converge to a unique conformal ergodic borelian measure; this helps in estimating the unstable dimension a.e. with respect to this measure with the help of Lyapunov exponents. When there exist negative Lyapunov exponents of this limit measure, we study the conditional probabilities induced on the non-uniform local stable manifolds by the limit measure, and also its pointwise dimension on stable manifolds.     

Diophantine approximation and self-conformal measures

It is proved that the Hausdorff measure on the limit set of a finite conformal iterated function system is strongly extremal, meaning that almost all points with respect to this measure are not multiplicatively very well approximable. This proves Conjecture 10.6 from (on fractal measures and Diophantine approximation, preprint, 2003). The strong extremality of all (S,P)-invariant measures is established, where S is a finite conformal iterated function system and P is a probability vector. Both above results are consequences of the much more general Theorem 1.5 concerning Gibbs states of Hölder families of functions.     

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     

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.     

A partial regularity result for harmonic maps into a Finsler manifold

In this paper, we consider the energy of maps from an Euclidean space into a Finsler space and study the partial regularity of energy minimizing maps. We show that the -dimensional Hausdorff measure of the singular set of every energy minimizing map is 0 for some , when m=3,4. Received: 6 June 2001 / Accepted: 10 July 2001 / Published online: 12 October 2001     

Self-Conformal Multifractal Measures

A self-conformal measure is a measure invariant under a set of conformal mappings. In this paper we describe the local structure of self-conformal measures. For such a measure we divide its support into sets of fixed local dimension and give a formula for the Hausdorff and packing dimensions of these sets. Moreover, we compute the generalized dimensions of the self-conformal measure.     

Vector-valued fractal functions: Fractal dimension and fractional calculus

There are many research available on the study of a real-valued fractal interpolation function and fractal dimension of its graph. In this paper, our main focus is to study the dimensional results for a vector-valued fractal interpolation function and its Riemann–Liouville fractional integral. Here, we give some results which ensure that dimensional results for vector-valued functions are quite different from real-valued functions. We determine interesting bounds for the Hausdorff dimension of the graph of a vector-valued fractal interpolation function. We also obtain bounds for the Hausdorff dimension of the associated invariant measure supported on the graph of a vector-valued fractal interpolation function. Next, we discuss more efficient upper bound for the Hausdorff dimension of measure in terms of probability vector and contraction ratios. Furthermore, we determine some dimensional results for the graph of the Riemann–Liouville fractional integral of a vector-valued fractal interpolation function.     

Measures and their dimension spectrums for cookie-cutter sets in ℝd

The characteristics of cookie-cutter sets in ℝ^d are investigated. A Bowen's formula for the Hausdorff dimension of a cookie-cutter set in terms of the pressure function is derived. The existence of self-similar measures, conformal measures and Gibbs measures on cookie-cutter sets is proved. The dimension spectrum of each of these measures is analyzed. In addition, the locally uniformly α-dimensional condition and the fractal Plancherel Theorem for these measures are shown. Finally, the existence of order-two density for the Hausdorff measure of a cookie-cutter set is proved. This project is supported by the National Natural Science Foundation of China.     

Dirichlet forms for diffusion in ℝ<Superscript>2</Superscript> and jumps on fractals: The regularity problem

We define a Dirichlet form ɛ describing diffusion in ℝ ^d and jumps in a fractal Γ ⊂ ℝ ^d . The jump measure J is defined as an image of a jump measure j of a process in a non-Archimedean metric space. As the result the jump intensity depends on the hierarchical structure of Γ rather than the geometric distance in ℝ ^d . For a class of fractals in ℝ² we find a condition on the measure j so that the Dirichlet form ɛ is regular. The condition is given in terms of Hausdorff dimension of Γ.     

Statistical properties of topological Collet-Eckmann maps

We study geometric and statistical properties of complex rational maps satisfying a non-uniform hyperbolicity condition called “Topological Collet-Eckmann”. This condition is weaker than the “Collet-Eckmann” condition. We show that every such map possesses a unique conformal probability measure of minimal exponent, and that this measure is non-atomic, ergodic, and that its Hausdorff dimension is equal to the Hausdorff dimension of the Julia set. Furthermore, we show that there is a unique invariant probability measure that is absolutely continuous with respect to this conformal measure, and that this invariant measure is exponentially mixing (it has exponential decay of correlations) and satisfies the Central Limit Theorem.We also show that for a complex rational map the existence of such invariant measure characterizes the Topological Collet-Eckmann condition: a rational map satisfies the Topological Collet-Eckmann condition if, and only if, it possesses an exponentially mixing invariant measure that is absolutely continuous with respect to some conformal measure, and whose topological support contains at least 2 points.     

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.     

Fundamental Sets of Fractal Functions

Fractal interpolants constructed through iterated function systems prove more general than classical interpolants. In this paper, we assign a family of fractal functions to several classes of real mappings like, for instance, maps defined on sets that are not intervals, maps integrable but not continuous and may be defined on unbounded domains. In particular, based on fractal interpolation functions, we construct fractal Müntz polynomials that successfully generalize classical Müntz polynomials. The parameters of the fractal Müntz system enable the control and modification of the properties of original functions. Furthermore, we deduce fractal versions of classical Müntz theorems. In this way, the fractal methodology generalizes the fundamental sets of the classical approximation theory and we construct complete systems of fractal functions in spaces of continuous and p-integrable mappings on bounded domains. This work is supported by the project No: SB 2005-0199, Spain.     

Expanding measures

We prove that any C1+α transformation, possibly with a (non-flat) critical or singular region, admits an invariant probability measure absolutely continuous with respect to any expanding measure whose Jacobian satisfies a mild distortion condition. This is an extension to arbitrary dimension of a famous theorem of Keller (1990) [33] for maps of the interval with negative Schwarzian derivative.Given a non-uniformly expanding set, we also show how to construct a Markov structure such that any invariant measure defined on this set can be lifted. We used these structure to study decay of correlations and others statistical properties for general expanding measures.     

The Average Density of Self-Conformal Measures

The paper calculates the average density of the normalized Hausdorffmeasure on the fractal set generated by a conformal iteratedfunction system. It equals almost everywhere a positive constantgiven by a truncated generalized s-energy integral, where sis the corresponding Hausdorff dimension. As a main tool a conditionalGibbs measure is determined. The appendix proves an appropriateextension of Birkhoff's ergodic theorem which is also of independentinterest.     

Intersections of homogeneous Cantor sets with their translations

We pursue the study on homogeneous Cantor sets with their translations. We get the fractal structure of intersection I（t）, and find that the Hausdorff measure of these sets forms a discrete spectrum whose non-zero values come only from shifting numbers with the coding of t. Concretely, a very brief calculation formula of the measure with the coding of t is given.     

Twisting Behaviour of Conformal Maps

This paper is devoted to the study of different types of twistingpoints of conformal maps. We define the sets of gyration, spiraland oscillation points and we prove, in the case that f is conformalalmost nowhere, that the above sets have Hausdorff dimensionone. Also we define points of bounded radial oscillation. Itis proved that there are always points of -bounded radial oscillationbut there exists a conformal map without points of small boundedradial oscillation.     

A random fractal in the ring of <Emphasis Type="Italic">p</Emphasis>-adic integers

In this article, we will give a construction of a random fractal in the ring of p-adic integers and examine an extent of the random fractals. Paying attention to an importance in statistical self similarity, we will perform measurement for the extent in terms of the Hausdorff dimension similarly to the typical fractal analysis in the Euclidean space. In our study, we will take a measure theoretic approach combined with the martingale theory based on Falconer’s method.     

The Scenery Flow for Hyperbolic Julia Sets

We define the scenery flow space at a point z in the Julia setJ of a hyperbolic rational map T : C C with degree at least2, and more generally for T a conformal mixing repellor. We prove that, for hyperbolic rational maps, except for a fewexceptional cases listed below, the scenery flow is ergodic.We also prove ergodicity for almost all conformal mixing repellors;here the statement is that the scenery flow is ergodic for therepellors which are not linear nor contained in a finite unionof real-analytic curves, and furthermore that for the collectionof such maps based on a fixed open set U, the ergodic casesform a dense open subset of that collection. Scenery flow ergodicityimplies that one generates the same scenery flow by zoomingdown towards almost every z with respect to the Hausdorff measureH^d, where d is the dimension of J, and that the flow has a uniquemeasure of maximal entropy. For all conformal mixing repellors, the flow is loosely Bernoulliand has topological entropy at most d. Moreover the flow atalmost every point is the same up to a rotation, and so as acorollary, one has an analogue of the Lebesgue density theoremfor the fractal set, giving a different proof of a theorem ofFalconer. 2000 Mathematical Subject Classification: 37F15, 37F35, 37D20.