Elliptic Functions With Critical Points Eventually Mapped Onto Infinity

We consider the class of elliptic functions whose critical points in the Julia set are eventually mapped onto ∞. This paper is a continuation of our previous papers, namely [11] and [12]. We study the geometry and ergodic properties of this class of elliptic functions. In particular, we obtain a lower bound on the Hausdorff dimension of the Julia set that is bigger than the estimate proved in [11]. Let h be the Hausdorff dimension of the Julia set of f. We construct an atomless h-conformal measure m and prove the existence of a (unique up to a multiplicative constant) σ-finite f-invariant measure μ equivalent to m. The measure μ is ergodic and conservative.     

Geometry and ergodic theory of non-recurrent elliptic functions

We explore the class of elliptic functions whose critical points all contained in the Julia set are non-recurrent and whose ω-limit sets form compact subsets of the complex plane. In particular, this class comprises hyperbolic, subhyperbolic and parabolic elliptic maps. Leth be the Hausdorff dimension of the Julia set of such an elliptic functionf. We construct an atomlessh-conformal measurem and show that theh-dimensional Hausdorff measure of the Julia set off vanishes unless the Julia set is equal to the entire complex plane ℂ. Theh-dimensional packing measure is positive and is finite if and only if there are no rationally indifferent periodic points. Furthermore, we prove the existence of a (unique up to a multiplicative constant) σ-finitef-invariant measure μ equivalent tom. The measure μ is shown to be ergodic and conservative, and we identify the set of points whose open neighborhoods all have infinite measure μ. In particular, we show that ∞ is not among them. The research of the first author was supported in part by the Foundation for Polish Science, the Polish KBN Grant No 2 PO3A 034 25 and TUW Grant no 503G 112000442200. She also wishes to thank the University of North Texas where this research was conducted. The research of the second author was supported in part by the NSF Grant DMS 0100078. Both authors were supported in part by the NSF/PAN grant INT-0306004.     

Harmonic measure on the Julia set for polynomial-like maps

For a generalized polynomial-like mapping we prove the existence of an invariant ergodic measure equivalent to the harmonic measure on the Julia set J( f). We also prove that for polynomial-like mappings the harmonic measure is equivalent to the maximal entropy measure iff f is conformally equivalent to a polynomial. Next, we show that the Hausdorff dimension of harmonic measure on the Julia set of a generalized polynomial-like map is strictly smaller than 1 unless the Julia set is connected. Oblatum 24-IV-1995 & 22-VII-1996     

Some properties of the exit measure for super Brownian motion

 We consider the exit measure of super Brownian motion with a stable branching mechanism of a smooth domain D of ℝ ^d . We derive lower bounds for the hitting probability of small balls for the exit measure and upper bounds in the critical dimension. This completes results given by Sheu [22] and generalizes the results of Abraham and Le Gall [2]. Because of the links between exits measure and partial differential equations, those results imply bounds on solutions of elliptic semi-linear PDE. We also give the Hausdorff dimension of the support of the exit measure and show it is totally disconnected in high dimension. Eventually we prove the exit measure is singular with respect to the surface measure on ∂D in the critical dimension. Our main tool is the subordinated Brownian snake introduced by Bertoin, Le Gall and Le Jan [4]. Received: 6 December 1999 / Revised version: 9 June 2000 / Published online: 11 December 2001     

Ons-sets and mutual absolute continuity of measures on homogeneous spaces

We extend a recent result of A. Jonsson about mutual absolute continuity of twoD _s -measures on ans-setF ⊂R ⁿ to the homogeneous spaces (X, d, μ) of Coifman, Weiss. Here we define Hausdorff measure, Hausdorff dimension,D _s -set andd-set relative to the measureμ. Our main result holds for so called (s, d)-sets,d ≥s, and is stronger than Jonssons result even inR ⁿ . As applications we interpret this Hausdorff dimension as a relative dimension for very regular sets and show that it in general depends strongly onμ. For this purpose we construct a strictly increasing functionf :R →R, whose measure is doubling and concentrated on a set of arbitrary small Hausdorff dimension. The extension off to a quasiconformal map of the half plane onto itself sharpens a classical example of Ahlfors-Beurling.     

Large entropy measures for endomorphisms of ℂℙ k

Let f be a holomorphic endomorphism of ?? ^k . We construct by using coding techniques a class of ergodic measures as limits of non-uniform probability measures on preimages of points. We show that they have large metric entropy, close to log d ^k . We establish for them strong stochastic properties and prove the positivity of their Lyapunov exponents. Since they have large entropy, those measures are supported in the support of the maximal entropy measure of f. They in particular provide lower bounds for the Hausdorff dimension of the Julia set.     

Random perturbations of transformations of an interval

Let μ^ε be invariant measures of the Markov chainsx _n ^F which are small random perturbations of an endomorphismf of the interval [0,1] satisfying the conditions of Misiurewicz [6]. It is shown here that in the ergodic case μ^ε converges as ε→0 to the smoothf-invariant measure which exists according to [6]. This result exhibits the first example of stability with respect to random perturbations while stability with respect to deterministic perturbations does not take place.     

Parabolic Implosion and Julia-Lavaurs Sets in the Exponential Family

We deal with all the maps from the exponential family f _ε(z) = (e ⁻¹ + ε)exp(z), with ε ≥ 0. Let h _ε = HD(J _r,ε) be the Hausdorff dimension of the radial Julia sets J _r,ε. Observing the phenomenon of parabolic implosion, it is shown that the function ε ↦ h _ε is not continuous from the right.     

A dimension gap for continued fractions with independent digits

Kinney and Pitcher (1966) determined the dimension of measures on [0, 1] which make the digits in the continued fraction expansion i.i.d. variables. From their formula it is not clear that these dimensions are less than 1, but this follows from the thermodynamic formalism for the Gauss map developed by Walters (1978). We prove that, in fact, these dimensions are bounded by 1−10⁻⁷. More generally, we considerf-expansions with a corresponding absolutely continuous measureμ under which the digits form a stationary process. Denote byE _δ the set of reals where the asymptotic frequency of some digit in thef-expansion differs by at leastδ from the frequency prescribed byμ. ThenE _δ has Hausdorff dimension less than 1 for anyδ>0.     

An extension of Hawkes theorem on the Hausdorff dimension of a Galton–Watson tree

Let ? be the genealogical tree of a supercritical multitype Galton–Watson process, and let Λ be the limit set of ?, i.e., the set of all infinite self-avoiding paths (called ends) through ? that begin at a vertex of the first generation. The limit set Λ is endowed with the metric d(ζ, ξ) = 2 ⁻ⁿ where n = n(ζ, ξ) is the index of the first generation where ζ and ξ differ. To each end ζ is associated the infinite sequence Φ(ζ) of types of the vertices of ζ. Let Ω be the space of all such sequences. For any ergodic, shift-invariant probability measure μ on Ω, define Ω_μ to be the set of all μ-generic sequences, i.e., the set of all sequences ω such that each finite sequence v occurs in ω with limiting frequency μ(Ω(v)), where Ω(v) is the set of all ω′?Ω that begin with the word v. Then the Hausdorff dimension of Λ∩Φ⁻¹ (Ω_μ) in the metric d is

Parabolic Implosion and Julia-Lavaurs Sets in the Exponential Family

We deal with all the maps from the exponential family f _ε(z) = (e ⁻¹ + ε)exp(z), with ε ≥ 0. Let h _ε = HD(J _r,ε) be the Hausdorff dimension of the radial Julia sets J _r,ε. Observing the phenomenon of parabolic implosion, it is shown that the function ε ↦ h _ε is not continuous from the right. The research of the first author was supported in part by the NSF Grant DMS 0100078.     

Zero sets of solutions to semilinear elliptic systems of first order

Consider a nontrivial smooth solution to a semilinear elliptic system of first order with smooth coefficients defined over an n-dimensional manifold. Assume the operator has the strong unique continuation property. We show that the zero set of the solution is contained in a countable union of smooth (n−2)-dimensional submanifolds. Hence it is countably (n−2)-rectifiable and its Hausdorff dimension is at most n−2. Moreover, it has locally finite (n−2)-dimensional Hausdorff measure. We show by example that every real number between 0 and n−2 actually occurs as the Hausdorff dimension (for a suitable choice of operator). We also derive results for scalar elliptic equations of second order. Oblatum 22-V-1998 & 26-III-1999 / Published online: 10 June 1999     

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.     

On some coding and mixing properties for a class of chaotic systems

We study certain ergodic properties of equilibrium measures of hyperbolic non-invertible maps f on basic sets with overlaps Λ. We prove that if the equilibrium measure of a Holder potential , is 1-sided Bernoulli, then f is expanding from the point of view of a pointwise section dimension of . If the measure of maximal entropy μ ₀ is 1-sided Bernoulli, then f is shown to be distance expanding on Λ; and if is 1-sided Bernoulli for f expanding, then must be the measure of maximal entropy. These properties are very different from the case of hyperbolic diffeomorphisms. Another result is about the non 1-sided Bernoullicity for certain equilibrium measures for hyperbolic toral endomorphisms. We also prove the non-existence of generating Rokhlin partitions for measure-preserving endomorphisms in several cases, among which the case of hyperbolic non-expanding toral endomorphisms with Haar measure. Nevertheless the system is shown to have always exponential decay of correlations on Holder observables and to be mixing of any order.     

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 μ. (Received 10 October 2000, in revised form 8 March 2001)     

A note on a quadratic rational map with two Siegel disks

Suppose f（z） is a quadratic rational map with two Siegel disks. If the rotation numbers of the Siegel disks are both of bounded type, the Hausdorff dimension of the Julia set satisfies Dim （J（f））〈2.     

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

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     

Hausdorff dimension of Julia set of a polynomial with a Siegel disk

Let f(z) = e2πiθz(1 z/d)d,θ∈R\Q be a polynomial. Ifθis an irrational number of bounded type, it is easy to see that f(z) has a Siegel disk centered at 0. In this paper, we will show that the Hausdorff dimension of the Julia set of f(z) satisfies Dim(J(f))<2.     

Conformal,geometric and invariant measures for transcendental expanding functions

We describe the fractal structure of expanding meromorphic maps of the form , where H and Q are rational functions whose most transparent examples are among the functions of the form with . In particular we show that depending upon whether the Hausdorff dimension of the Julia set is greater or less than 1, the finite non-zero geometric measure is provided by the Hausdorff or packing measure. In order to describe this fractal structure we introduce and explore in detail Walters expanding conformal maps and jump-like conformal maps. Received: 3 May 2001 / Published online: 5 September 2002