arXiv subjects

Mikhail Lyubich

Publications and source records attributed to Mikhail Lyubich.

64 records · Page 4Linked to original sources

arXiv1993

Teichmüller space of Fibonacci maps

According to Sullivan, a space ${\cal E}$ of unimodal maps with the same combinatorics (modulo smooth conjugacy) should be treated as an infinitely-dimensional Teichmüller space. This is a basic idea in Sullivan's approach to the Renormalization Conjecture. One of its principle ingredients is to supply ${\cal E}$ with the Teichmüller metric. To have such a metric one has to know, first of all, that all maps of ${\cal E}$ are quasi-symmetrically conjugate. This was proved [Ji] and [JS] for some classes of non-renormalizable maps (when the critical point is not too recurrent). Here we consider a space of non-renormalizable unimodal maps with in a sense fastest possible recurrence of the critical point (called Fibonacci). Our goal is to supply this space with the Teichmüller metric.

math.DS↗

arXiv1993

Geometry of quadratic polynomials: moduli, rigidity and local connectivity

A while ago MLC (the conjecture that the Mandelbrot set is locally connected) was proven for quasi-hyperbolic points by Douady and Hubbard, and for boundaries of hyperbolic components by Yoccoz. More recently Yoccoz proved MLC for all at most finitely renormalizable parameter values. One of our goals is to prove MLC for some infinitely renormalizable parameter values. Loosely speaking, we need all renormalizations to have bounded combinatorial rotation number (assumption C1) and sufficiently high combinatorial type (assumption C2). For real quadratic polynomials of bounded combinatorial type the complex a priori bounds were obtained by Sullivan. Our result complements the Sullivan's result in the unbounded case. Moreover, it gives a background for Sullivan's renormalization theory for some bounded type polynomials outside the real line where the problem of a priori bounds was not handled before for any single polynomial. An important consequence of a priori bounds is absence of invariant measurable line fields on the Julia set (McMullen) which is equivalent to quasi-conformal (qc) rigidity. To prove stronger topological rigidity we construct a qc conjugacy between any two topologically conjugate polynomials (Theorem III). We do this by means of a pull-back argument, based on the linear growth of moduli and a priori bounds. Actually the argument gives the stronger combinatorial rigidity which implies MLC.

math.DS↗

arXiv1993

Distribution of periodic points of polynomial diffeomorphisms of C^2

This paper deals with the dynamics of a simple family of holomorphic diffeomorphisms of $\C^2$: the polynomial automorphisms. This family of maps has been studied by a number of authors. We refer to [BLS] for a general introduction to this class of dynamical systems. An interesting object from the point of view of potential theory is the equilibrium measure $μ$ of the set $K$ of points with bounded orbits. In [BLS] $μ$ is also characterized dynamically as the unique measure of maximal entropy. Thus $μ$ is also an equilibrium measure from the point of view of the thermodynamical formalism. In the present paper we give another dynamical interpretation of $μ$ as the limit distribution of the periodic points of $f$.

math.DS↗

arXiv1992

Combinatorics, geometry and attractors of quasi-quadratic maps

The Milnor problem on one-dimensional attractors is solved for S-unimodal maps with a non-degenerate critical point c. It provides us with a complete understanding of the possible limit behavior for Lebesgue almost every point. This theorem follows from a geometric study of the critical set $ω(c)$ of a "non-renormalizable" map. It is proven that the scaling factors characterizing the geometry of this set go down to 0 at least exponentially. This resolves the problem of the non-linearity control in small scales. The proofs strongly involve ideas from renormalization theory and holomorphic dynamics.

math.DS↗

arXiv1992

Polynomial diffeomorphisms of C^2, IV: The measure of maximal entropy and laminar currents

This paper concerns the dynamics of polynomial automorphisms of ${\bf C}^2$. One can associate to such an automorphism two currents $μ^\pm$ and the equilibrium measure $μ=μ^+\wedgeμ^-$. In this paper we study some geometric and dynamical properties of these objects. First, we characterize $μ$ as the unique measure of maximal entropy. Then we show that the measure $μ$ has a local product structure and that the currents $μ^\pm$ have a laminar structure. This allows us to deduce information about periodic points and heteroclinic intersections. For example, we prove that the support of $μ$ coincides with the closure of the set of saddle points. The methods used combine the pluripotential theory with the theory of non-uniformly hyperbolic dynamical systems.

math.DS↗

arXiv1992

Problems in holomorphic dynamics

Contents: 1. Quasiconformal Surgery and Deformations: Ben Bielefeld, Questions in quasiconformal surgery; Curt McMullen, Rational maps and Teichmüller space; John Milnor, Thurston's algorithm without critical finiteness; Mary Rees, A possible approach to a complex renormalization problem. 2. Geometry of Julia Sets: Lennart Carleson, Geometry of Julia sets; John Milnor, Problems on local connectivity. 3. Measurable Dynamics: Mikhail Lyubich, Measure and Dimension of Julia Sets; Feliks Przytycki, On invariant measures for iterations of holomorphic maps. 4. Iterates of Entire Functions: Robert Devaney, Open questions in non-rational complex dynamics; Alexandre Eremenko and Mikhail Lyubich, Wandering domains for holomorphic maps. 5. Newton's Method: Scott Sutherland, Bad polynomials for Newton's method

math.DS↗

arXiv1991

The Fibonacci unimodal map

This paper will study topological, geometrical and measure-theoretical properties of the real Fibonacci map. Our goal was to figure out if this type of recurrence really gives any pathological examples and to compare it with the infinitely renormalizable patterns of recurrence studied by Sullivan. It turns out that the situation can be understood completely and is of quite regular nature. In particular, any Fibonacci map (with negative Schwarzian and non-degenerate critical point) has an absolutely continuous invariant measure (so, we deal with a ``regular'' type of chaotic dynamics). It turns out also that geometrical properties of the closure of the critical orbit are quite different from those of the Feigenbaum map: its Hausdorff dimension is equal to zero and its geometry is not rigid but depends on one parameter.

math.DS↗

arXiv1991

Ergodic theory for smooth one-dimensional dynamical systems

In this paper we study measurable dynamics for the widest reasonable class of smooth one dimensional maps. Three principle decompositions are described in this class : decomposition of the global measure-theoretical attractor into primitive ones, ergodic decomposition and Hopf decomposition. For maps with negative Schwarzian derivative this was done in the series of papers [BL1-BL5], but the approach to the general smooth case must be different.

math.DS↗

arXiv1991

On the Lebesgue measure of the Julia set of a quadratic polynomial

The goal of this note is to prove the following theorem: Let $p_a(z) = z^2+a$ be a quadratic polynomial which has no irrational indifferent periodic points, and is not infinitely renormalizable. Then the Lebesgue measure of the Julia set $J(p_a)$ is equal to zero. As part of the proof we discuss a property of the critical point to be {\it persistently recurrent}, and relate our results to corresponding ones for real one dimensional maps. In particular, we show that in the persistently recurrent case the restriction $p_a|ω(0)$ is topologically minimal and has zero topological entropy. The Douady-Hubbard-Yoccoz rigidity theorem follows this result.

math.DS↗

arXiv1990

The Julia sets and complex singularities in hierarchical Ising models

We study the analytical continuation in the complex plane of free energy of the Ising model on diamond-like hierarchical lattices. It is known that the singularities of free energy of this model lie on the Julia set of some rational endomorphism $f$ related to the action of the Migdal-Kadanoff renorm-group. We study the asymptotics of free energy when temperature goes along hyperbolic geodesics to the boundary of an attractive basin of $f$. We prove that for almost all (with respect to the harmonic measure) geodesics the complex critical exponent is common, and compute it.

math.DS↗