Showing papers in "arXiv: Dynamical Systems in 1995"

The “Spectral” Decomposition for One-Dimensional Maps

Abstract: We construct the “spectral” decomposition of the sets \(\overline {Per\,f}\), ω(f) = ∪ω(x) and Ω(f) for a continuous map f: [0,1] → [0,1]. Several corollaries are obtained; the main ones describe the generic properties of f-invariant measures, the structure of the set Ω(f)\\(\overline {Per\,f}\) and the generic limit behavior of an orbit for maps without wandering intervals. The “spectral” decomposition for piecewise-monotone maps is deduced from the Decomposition Theorem. Finally we explain how to extend the results of the present paper for a continuous map of a one-dimensional branched manifold into itself.

Ergodicity in Hamiltonian Systems

Abstract: We discuss the Sinai method of proving ergodicity of a discontinuous Hamiltonian system with (nonuniform) hyperbolic behavior.

Necessity and Chance: deterministic chaos in ecology and evolution

Abstract: This is an outline of my Gibbs Lecture to the American Mathematical Society in January 1994; it is essentially a sign-posted guide to a still-developing literature.

Dynamics of the family lambda tan z

Abstract: We study the dynamics of the tangent family z -> lambda tan z for lambda complex and give a complete classification of their stable behavior We also characterize the the hyperbolic components and give a combinatorial description their deployment in the parameter plane

Dynamical Zeta Functions

Abstract: We discuss various results about weighted dynamical zeta functions for real and complex hyperbolic dynamical systems, mainly their relationship with transfer operators.

A Monotonicity Conjecture for Real Cubic Maps

Abstract: This will be an outline of work in progress. We study the conjecture that the topological entropy of a real cubic map depends “monotonely” on its parameters, in the sense that each locus of constant entropy in parameter space is a connected set.

Hofer's $L^{\infty}$-geometry: energy and stability of Hamiltonian flows, part I

Abstract: Consider the group $\Ham^c(M)$ of compactly supported Hamiltonian symplectomorphisms of the symplectic manifold $(M,\om)$ with the Hofer $L^{\infty}$-norm. A path in $\Ham^c(M)$ will be called a geodesic if all sufficiently short pieces of it are local minima for the Hofer length functional $\Ll$. In this paper, we give a necessary condition for a path $\ga$ to be a geodesic. We also develop a necessary condition for a geodesic to be stable, that is, a local minimum for $\Ll$. This condition is related to the existence of periodic orbits for the linearization of the path, and so extends Ustilovsky's work on the second variation formula. Using it, we construct a symplectomorphism of $S^2$ which cannot be reached from the identity by a shortest path. In later papers in this series, we will use holomorphic methods to prove the sufficiency of the condition given here for the characterisation of geodesics as well as the sufficiency of the condition for the stability of geodesics. We will also investigate conditions under which geodesics are absolutely length-minimizing.

On measure and Hausdorff dimension of Julia sets for holomorphic Collet--Eckmann maps

Abstract: Let $f:\bar\bold C\to\bar\bold C$ be a rational map on the Riemann sphere , such that for every $f$-critical point $c\in J$ which forward trajectory does not contain any other critical point, $|(f^n)'(f(c))|$ grows exponentially fast (Collet--Eckmann condition), there are no parabolic periodic points, and else such that Julia set is not the whole sphere. Then smooth (Riemann) measure of the Julia set is 0. For $f$ satisfying additionally Masato Tsujii's condition that the average distance of $f^n(c)$ from the set of critical points is not too small, we prove that Hausdorff dimension of Julia set is less than 2. This is the case for $f(z)=z^2+c$ with $c$ real, $0\in J$, for a positive line measure set of parameters $c$.

Homeomorphisms between Limbs of the Mandelbrot Set

Abstract: Given $p/q$ and $p'/q$ both irreducible, we construct homeomorphisms between the $p/q$ and the $p'/q$ limbs of the Mandelbrot set. This homeomorphisms are not compatible with the dynamics. Moreover, the filled Julia sets of corresponding parameter values are also homeomorphic. All the homeomorphisms above have counterparts on the combinatorial level relating corresponding external arguments, in the dynamical planes as well as in the parameter spaces. Assuming local connectivity of $M$ we may conclude that the constructed homeomorphisms between limbs are compatible with the embeddings of the limbs in the plane.

Dynamics of quadratic polynomials II: rigidity

Abstract: This is a continuation of the series of notes on the dynamics of quadratic polynomials. We show the following Rigidity Theorem: Any combinatorial class contains at most one quadratic polynomial satisfying the secondary limbs condition with a-priori bounds. As a corollary, such maps are combinatorially and topologically rigid, and as a consequence, the Mandelbrot set is locally connected at the correspoinding parameter values.

Complex bounds for critical circle maps

Abstract: We use the methods developed with M. Lyubich for proving complex bounds for real quadratics to extend E. De Faria's complex a priori bounds to all critical circle maps with an irrational rotation number. The contracting property for renormalizations of critical circle maps follows. In the Appendix we give an application of the complex bounds for proving local connectivity of some Julia sets.

Dynamics of quadratic polynomials, I: Combinatorics and geometry of the Yoccoz puzzle

Abstract: This work studies combinatorics and geometry of the Yoccoz puzzle for quadratic polynomials. It is proven that the moduli of the ``principal nest'' of annuli grow at linear rate. As a corollary we obtain complex a priori bounds and local connectivity of the Julia set for many infinitely renormalizable quadratics.

Critical points on the boundaries of Siegel disks

Abstract: Let $f$ be a polynomial map of the Riemann sphere of degree at least two. We prove that if $f$ has a Siegel disk $G$ on which the rotation number satisfies a diophantine condition, then the boundary of $G$ contains a critical point.

Non-accessible critical points of Cremer polynomials

Abstract: It is shown that a polynomial with a Cremer periodic point has a non-accessible critical point in its Julia set provided that the Cremer periodic point is approximated by small cycles.

Compositional roots of H\'enon maps

Abstract: Let $H$ denote a composition of complex Henon maps in {\bf C}$^2$. In this paper we show that the only possible compositional roots of $H$ are also compositions of Henon maps, and that $H$ can have compositional roots of only finitely many distinct orders.

Secondary invariants and the singularity of the Ruelle zeta-function in the central critical point

Abstract: The Ruelle zeta-function of the geodesic flow on the sphere bundle $S(X)$ of an even-dimensional compact locally symmetric space $X$ of rank $1$ is a meromorphic function in the complex plane that satisfies a functional equation relating its values in $s$ and $-s$. The multiplicity of its singularity in the central critical point $s = 0$ only depends on the hyperbolic structure of the flow and can be calculated by integrating a secondary characteristic class canonically associated to the flow- invariant foliations of $S(X)$ for which a representing differential form is given.

A volume-preserving counterexample to the Seifert conjecture

Abstract: We prove that every 3-manifold possesses a $C^1$, volume-preserving flow with no fixed points and no closed trajectories. The main construction is a volume-preserving version of the Schweitzer plug. We also prove that every 3-manifold possesses a volume-preserving, $C^\infty$ flow with discrete closed trajectories and no fixed points (as well as a PL flow with the same geometry), which is needed for the first result. The proof uses a Dehn-twisted Wilson-type plug which also preserves volume.

The Renormalization Method and Quadratic-Like Maps

Abstract: The renormalization of a quadratic-like map is studied. The three-dimensional Yoccoz puzzle for an infinitely renormalizable quadratic-like map is discussed. For an unbranched quadratic-like map having the {\sl a priori} complex bounds, the local connectivity of its Julia set is proved by using the three-dimensional Yoccoz puzzle. The generalized version of Sullivan's sector theorem is discussed and is used to prove his result that the Feigenbaum quadratic polynomial has the {\sl a priori} complex bounds and is unbranched. A dense subset on the boundary of the Mandelbrot set is constructed so that for every point of the subset, the corresponding quadratic polynomial is unbranched and has the {\sl a priori} complex bounds.

Local connectivity of the mandelbrot set at certain infinitely renormalizable points

Abstract: We construct a subset of the Mandelbrot set which is dense on the boundary of the Mandelbrot set and which consists of only infinitely renormalizable points such that the Mandelbrot set is locally connected at every point of this subset. We prove the local connectivity by finding bases of connected neighborhoods directly.

Surgery on postcritically finite rational maps by blowing up an arc

Abstract: Using Thurston's characterization of postcritically finite rational functions as branched coverings of the sphere to itself, we give a new method of constructing new conformal dynamical systems out of old ones. Let $f(z)$ be a rational map and suppose that the postcritical set $P(f)$ is finite. Let $\alpha$ be an embedded closed arc in the sphere and suppose that $f|{\alpha}$ is a homeomorphism. Define a branched covering $g$ as follows. Cut the sphere open along $\alpha$. Glue in a closed disc $D$. Map $S^{2} - \Int (D)$ via $f$ and $\Int (D)$ by a homeomorphism to the complement of $f(\alpha)$. We prove theorems which give combinatorial conditions on $f$ and $\alpha$ for $g$ to be equivalent in the sense of Thurston to a rational map. The main idea in our proofs is a general theorem which forces a possible obstruction for $g$ away from the disc $D$ on which the new dynamics is defined.

Dynamics of quadratic polynomials: Complex bounds for real maps

Abstract: We extend Sullivan's complex a priori bounds to real quadratic polynomials with essentially bounded combinatorics. Combined with the previous results of the first author, this yields complex bounds for all real quadratics. Local connectivity of the corresponding Julia sets follows.

Topological conjugacy of circle diffeomorphisms

Abstract: The classical criterion for a circle diffeomorphism to be topologically conjugate to an irrational rigid rotation was given by A. Denjoy. In 1985, one of us (Sullivan) gave a new criterion. There is an example satisfying Denjoy's bounded variation condition rather than Sullivan's Zygmund condition and vice versa. This paper will give the third criterion which is implied by either of the above criteria.

Commuting polynomials and polynomials with same Julia set

Abstract: It has been known since Julia that polynomials commuting under composition have the same Julia set. More recently in the works of Baker and Eremenko, Fernandez, and Beardon, results were given on the converse question: When do two polynomials have the same Julia set? We give a complete answer to this question and show the exact relation between the two problems of polynomials with the same Julia set and commuting pairs.

Period doubling, entropy, and renormalization

Abstract: We show that in any family of stunted sawtooth maps, the set of maps whose set of periods is the set of all powers of 2 has no interior point, i.e., the combinatorial description of the boundary of chaos coincides with the topological description. We also show that, under mild assumptions, smooth multimodal maps whose set of periods is the set of all powers of 2 are infinitely renormalizable.

Bizarre topology is natural in dynamical systems

Abstract: We describe an example of a $C^\infty$ diffeomorphism on a 7--manifold which has a compact invariant set such that uncountably many of its connected components are pseudocircles. (Any 7--manifold will suffice.) Furthermore, any diffeomorphism which is sufficiently close (in the $C^1$ metric) to the constructed map has a similar invariant set, and the dynamics of the map on the invariant set are chaotic.

Topological entropy of generalized polygon exchanges

Abstract: We obtain geometric upper bounds on the topological entropy of generalized polygon exchange transformations. As an application of our results, we show that billiards in polygons and rational polytopes have zero topological entropy.

Chaos in the Lorenz equations: a computer-assisted proof

Abstract: A new technique for obtaining rigorous results concerning the global dynamics of nonlinear systems is described. The technique combines abstract existence results based on the Conley index theory with computer- assisted computations. As an application of these methods it is proven that for an explicit parameter value the Lorenz equations exhibit chaotic dynamics.

An embedding of {\bf C} in {\bf C}$^2$ with hyperbolic complement

Abstract: Let $X$ be a closed, $1$-dimensional, complex subvariety of $\CC^2$ and let $\ol{\BB}$ be a closed ball in $\CC^2 - X$. Then there exists a Fatou-Bieberbach domain $\Omega$ with $X \subseteq \Omega \subseteq \CC^2 - \ol{\BB}$ and a biholomorphic map $\Phi: \Omega \ra \CC^2$ such that $\CC^2 - \Phi(X)$ is Kobayashi hyperbolic. As corollaries, there is an embedding of the plane in $\CC^2$ whose complement is hyperbolic, and there is a nontrivial Fatou-Bieberbach domain containing any finite collection of complex lines.