Collet, Eckmann and Hölder

We prove that Collet-Eckmann condition for rational functions, which requires exponential expansion only along the critical orbits, yields the H?lder regularity of Fatou components. This implies geometric regularity of Julia sets with non-hyperbolic and critically-recurrent dynamics. In particular, polynomial Collet-Eckmann Julia sets are locally connected if connected, and their Hausdorff dimension is strictly less than 2. The same is true for rational Collet-Eckmann Julia sets with at least one non-empty fully invariant Fatou component. Oblatum 22-III-1996 & 15-VII-1997     

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.     

Rigidity of holomorphic Collet-Eckmann repellers

We prove rigidity results for a class of non-uniformly hyperbolic holomorphic maps. If a holomorphic Collet-Eckmann mapf is topologically conjugate to a holomorphic mapg, then the conjugacy can be improved to be quasiconformal. If there is only one critical point in the repeller, theng is Collet-Eckmann, too. The first author acknowledges support by Polish KBN Grant 2 P03A 025 12 “Iterations of Holomorphic Functions” and support of the Hebrew University of Jerusalem, where a part of tha paper was written. The second author is grateful for the hospitality and support of the Caltech, where a part of the paper was written.     

Renormalization and conjugacy of piecewise linear Lorenz maps

We investigate the uniform piecewise linearizing question for a family of Lorenz maps. Let f be a piecewise linear Lorenz map with different slopes and positive topological entropy, we show that f is conjugate to a linear mod one transformation and the conjugacy admits a dichotomy: it is either bi-Lipschitz or singular depending on whether f is renormalizable or not. f is renormalizable if and only if its rotation interval degenerates to be a rational point. Furthermore, if the endpoints are periodic points with the same rotation number, then the conjugacy is quasisymmetric.     

Topological and metrical conditions for Collet-Eckmann unimodal maps

1. IntroductionColletEchazann maps (i.e. every ColletEckmann maP has positive lower LyaPunovexponent at the critical value) play a very important role in the study of one dimensionaldynamical systems. They have very good metricaI and ergodic properties[ll2], for example,every COllet-Eckmann map admits an absolutely cootinuous invariani m.asur.[1].In I3,4] Benedicks and Carleson proved that Collet-Eckmann maps are abundant in theso-caJled quadratic family which is a typical family of one …     

Dichotomies between uniform hyperbolicity and zero Lyapunov exponents for SL(2, ℝ) cocycles

We consider the linear cocycle (T, A) induced by a measure preserving dynamical system T : X → X and a map A: X → SL(2, ℝ). We address the dependence of the upper Lyapunov exponent of (T, A) on the dynamics T when the map A is kept fixed. We introduce explicit conditions on the cocycle that allow to perturb the dynamics, in the weak and uniform topologies, to make the exponent drop arbitrarily close to zero. In the weak topology we deduce that if X is a compact connected manifold, then for a C^r (r ≥ 1) open and dense set of maps A, either (T, A) is uniformly hyperbolic for every T, or the Lyapunov exponents of (T, A) vanish for the generic measurable T. For the continuous case, we obtain that if X is of dimension greater than 2, then for a C^r (r ≥ 1) generic map A, there is a residual set of volume-preserving homeomorphisms T for which either (T, A) is uniformly hyperbolic or the Lyapunov exponents of (T, A) vanish. *Partially supported by CNPq-Profix and Franco-Brazilian cooperation program in Mathematics.     

The Lyapunov exponents of C 1 hyperbolic systems

Let f be a C 1 diffeomorphisim of smooth Riemannian manifold and preserve a hyperbolic ergodic measure μ. We prove that if the Osledec splitting is dominated, then the Lyapunov exponents of μ can be approximated by the exponents of atomic measures on hyperbolic periodic orbits.     

Invariant measures of minimal post-critical sets of logistic maps

We construct logistic maps whose restriction to the ω-limit set of its critical point is a minimal Cantor system having a prescribed number of distinct ergodic and invariant probability measures. In fact, we show that every metrizable Choquet simplex whose set of extreme points is compact and totally disconnected can be realized as the set of invariant probability measures of a minimal Cantor system corresponding to the restriction of a logistic map to the ω-limit set of its critical point. Furthermore, we show that such a logistic map f can be taken so that each such invariant measure has zero Lyapunov exponent and is an equilibrium state of f for the potential −ln |f′|.     

Existence and visualization of a hyperbolic structure in area-preserving maps

We present a simple method which displays a hyperbolic structure in the phase space of an area preserving map. Using the picture which this method yields one can estimate the entropy of the system and its Lyapunov exponent through the size of “hyperbolic cells” inside the chaotic region.     

The structure of dendrites with the periodic point property

In this paper we study the structure of dendrites with the periodic point property, i.e., dendrites X such that for any continuous map f: X → X and any subcontinuum Y ⊂ X the condition Y ⊂ f(Y) implies that Y contains a periodic point of f.     

Absolutely continuous invariant measures forC 2 unimodal maps satisfying the Collet-Eckmann conditions

Summary In this paper we show that unimodal mappingsf[0, 1][0, 1] have absolutely continuous measures of positive entropy if these maps areC ² and satisfy the so-called Collet-Eckmann conditions. No conditions on the Schwarzian derivative off are assumed.     

Resonance tongues in the quasi-periodic Hill-Schrödinger equation with three frequencies

In this paper we investigate numerically the following Hill’s equation x″ + (a + bq(t))x = 0 where $ q(t) = \cos t + \cos \sqrt {2t} + \cos \sqrt {3t} $ is a quasi-periodic forcing with three rationally independent frequencies. It appears, also, as the eigenvalue equation of a Schrödinger operator with quasi-periodic potential. Massive numerical computations were performed for the rotation number and the Lyapunov exponent in order to detect open and collapsed gaps, resonance tongues. Our results show that the quasi-periodic case with three independent frequencies is very different not only from the periodic analogs, but also from the case of two frequencies. Indeed, for large values of b the spectrum contains open intervals at the bottom. From a dynamical point of view we numerically give evidence of the existence of open intervals of a, for large b, where the system is nonuniformly hyperbolic: the system does not have an exponential dichotomy but the Lyapunov exponent is positive. In contrast with the region with zero Lyapunov exponents, both the rotation number and the Lyapunov exponent do not seem to have square root behavior at endpoints of gaps. The rate of convergence to the rotation number and the Lyapunov exponent in the nonuniformly hyperbolic case is also seen to be different from the reducible case.     

A Sharp Exponent Bound for McFarland Difference Sets withp=2

We show that under the self-conjugacy condition a McFarland difference set withp=2 andf2 in an abelian groupGcan only exist, if the exponent of the Sylow 2-subgroup does not exceed 4. The method also works for oddp(where the exponent bound ispand is necessary and sufficient), so that we obtain a unified proof of the exponent bounds for McFarland difference sets. We also correct a mistake in the proof of an exponent bound for (320, 88, 24)-difference sets in a previous paper.     

The entropy conjecture for partially hyperbolic diffeomorphisms with 1-D center

We prove that if f is a partially hyperbolic diffeomorphism on the compact manifold M with one-dimensional center bundle, then the logarithm of the spectral radius of the map induced by f on the real homology groups of M is smaller or equal to the topological entropy of f. This is a particular case of the Shub's entropy conjecture, which claims that the same conclusion should be true for any C¹ map on any compact manifold.     

Bounded geometry for Kleinian groups

We show that a Kleinian surface group, or hyperbolic 3-manifold with a cusp-preserving homotopy-equivalence to a surface, has bounded geometry if and only if there is an upper bound on an associated collection of coefficients that depend only on its end invariants. Bounded geometry is a positive lower bound on the lengths of closed geodesics. When the surface is a once-punctured torus, the coefficients coincide with the continued fraction coefficients associated to the ending laminations. Oblatum 31-VII-2000 & 9-V-2001?Published online: 20 July 2001     

Invariant Elliptic Curves as Attractors in the Projective Plane

Let f be a rational self-map of ℙ² which leaves invariant an elliptic curve C\mathcal{C} with strictly negative transverse Lyapunov exponent. We show that C\mathcal{C} is an attractor, i.e. it possesses a dense orbit and its basin has strictly positive measure.     

Stability and convergence in discrete convex monotone dynamical systems

We study the stable behaviour of discrete dynamical systems where the map is convex and monotone with respect to the standard positive cone. The notion of tangential stability for fixed points and periodic points is introduced, which is weaker than Lyapunov stability. Among others we show that the set of tangentially stable fixed points is isomorphic to a convex inf-semilattice, and a criterion is given for the existence of a unique tangentially stable fixed point. We also show that periods of tangentially stable periodic points are orders of permutations on n letters, where n is the dimension of the underlying space, and a sufficient condition for global convergence to periodic orbits is presented.     

On binary quadratic forms with the semigroup property

A quadratic form f is said to have the semigroup property if its values at the points of the integer lattice form a semigroup under multiplication. A problem of V. Arnold is to describe all binary integer quadratic forms with the semigroup property. If there is an integer bilinear map s such that f(s(x,y)) = f(x)f(y) for all vectors x and y from the integer two-dimensional lattice, then the form f has the semigroup property. We give an explicit integer parameterization of all pairs (f,s) with the property stated above. We do not know any other examples of forms with the semigroup property.     

Multipliers of periodic orbits of quadratic polynomials and the parameter plane

We prove a result about an extension of the multiplier of an attracting periodic orbit of a quadratic map as a function of the parameter. This has applications to the problem of geometry of the Mandelbrot and Julia sets. In particular, we prove that the size of p/q-limb of a hyperbolic component of the Mandelbrot set of period n is O(4 ⁿ /p), and give an explicit condition on internal arguments under which the Julia set of corresponding (unique) infinitely renormalizable quadratic polynomial is not locally connected. In memory of my grandmother Esfir Garbuz