User:Eugene M. Izhikevich/Proposed/Smale-Williams attractor
Dr. Robert F. Williams accepted the invitation on 29 January 2007 (self-imposed deadline: 29 February 2007).
This article will briefly cover: Attractors with a hyperbolic structure in the sense of Smale. (possible working name: SW attractors)Originated with the 1967 paper of Smale and an article by me, also in 1967, entitled 'One dimensional non-wandering sets' in which 1-dimensional sw attractors were characterized. This was extended to higher dimensions with a paper 'Expanding Attractors'. Where this concept was introduced in 1974. It has recently (1998, Anderson-Putnam) to include 'tiling spaces.' msmath,Amssymb} \Usepackage{Epsf} %\Usepackage{Dvips} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \Newtheorem{Cor}{Corollary} \Newtheorem{Con}{Conjecture} \newtheorem{defn}{Definition} \newtheorem{lem}{Lemma} \newtheorem{prop}{Proposition} \newtheorem{rem}{Remark} \newtheorem{thm}{Theorem} %\newtheorem{stand}[stand]{Assumption} \def \ted{{\mathbb T} } \def \ded{{\mathbb D} } \def \red{{\mathbb R} } \def \zed{{\mathbb Z} } \def \ned{{\mathbb N} } \def \l{\ell} \def \led{\mathcal{L}} \def \ced{\mathcal{C}} \def \bed{\mathcal{B}}
\begin{document} \title{Smale-Williams attractors } \author{R. F. Williams} %\markboth \maketitle \section{Introduction} \section{Contents} \begin{enumerate} \item definition of attractors, and SW attractors \item example dyadic solenoid \item example DA \item show how they collapse to branched manifolds \item branched manifolds \item Theorem 1 dimensional SWA's arise in this manner, where UNIQ7b9796aa3b315f84-MathJax-2-QINU satisfies 1,2,3. \item commutative diagram big \item 1-D tiling spaces \item Expanding attractors \item Anderson Putnam theorem \item An unsolved conjecture \end{enumerate} A Smale-Williams attractor SWA for dynamical system is 1) an attractor for the system which 2) has a hyperbolic structure on its chain recurrent set, and 3) is neither a sink nor a periodic orbit. The dyadic solenoid, though long know in many branches of mathematics as a space (even a group), was described by Smale as an attractor in lectures in the mid 60's. \cite[S](The Lorenz attractor, seemingly an attractor by computer experiments, attracted little attention before J. Guckenheimer published ``A strange strange attractor'' in 1975.) Williams, published 1967, found a classification of all SWA which, like the solenoid, are 1 dimensional. Though 'fractal' (a word introduced several years later), SWA are determined by simple map: for the dyadic solenoid, the simple map is the 2-to 1 map UNIQ7b9796aa3b315f84-MathJax-3-QINU which raps the circle around itself twice. The role of the circle, a 1-manifold, is enlarged to branched 1-manifolds, or 'train tracks'. Branched 1-manifolds have a (smooth) structure; endomorphisms may be smooth; as usual, an immersion UNIQ7b9796aa3b315f84-MathJax-4-QINU is a differentiable map with derivative UNIQ7b9796aa3b315f84-MathJax-5-QINU nonsingular at each point; and a map UNIQ7b9796aa3b315f84-MathJax-6-QINU is expanding if UNIQ7b9796aa3b315f84-MathJax-7-QINU at each point. Some examples and figures.\par For the classification, one has first a map UNIQ7b9796aa3b315f84-MathJax-8-QINU where UNIQ7b9796aa3b315f84-MathJax-9-QINU is a branched 1-manifold, and UNIQ7b9796aa3b315f84-MathJax-10-QINU is an immersion satisfying three conditions: 1) UNIQ7b9796aa3b315f84-MathJax-11-QINU expands (local) distances; 2) the chain recurrent set of UNIQ7b9796aa3b315f84-MathJax-12-QINU is all of UNIQ7b9796aa3b315f84-MathJax-13-QINU and 3) each point of UNIQ7b9796aa3b315f84-MathJax-14-QINU has a neighborhood UNIQ7b9796aa3b315f84-MathJax-15-QINU such that UNIQ7b9796aa3b315f84-MathJax-16-QINU has no branches, for some UNIQ7b9796aa3b315f84-MathJax-17-QINU To pass from UNIQ7b9796aa3b315f84-MathJax-18-QINU to the fractal attractor, one uses a standard trick in mathematics, sometimes called 'the universal extension', UNIQ7b9796aa3b315f84-MathJax-19-QINU Here the space UNIQ7b9796aa3b315f84-MathJax-20-QINU is the inverse limit of the sequence UNIQ7b9796aa3b315f84-MathJax-1-QINU and UNIQ7b9796aa3b315f84-MathJax-21-QINU \begin{thm} An attractor UNIQ7b9796aa3b315f84-MathJax-22-QINU of a diffeomorphism UNIQ7b9796aa3b315f84-MathJax-23-QINU is a S-W attractor if and only if there exists a branched 1-manifold UNIQ7b9796aa3b315f84-MathJax-24-QINU and and immersion UNIQ7b9796aa3b315f84-MathJax-25-QINU satisfying the conditions 1-3 above, such that UNIQ7b9796aa3b315f84-MathJax-26-QINU is topologically conjugate to UNIQ7b9796aa3b315f84-MathJax-27-QINU \end{thm} All there is at this date: 3-5-2010. \begin{thebibliography}{99} \bibitem [AP]{AP} \bibitem[FJ]{FJ} New attractors in hyperbolic dynamics, Journal of Differential Geometry, vol. 15, no. 1, 1980, 107-133. \bibitem[G]{G} Guckenheimer, A strange strange attractor. \bibitem[R]{R} Dynamical systems, stability, symbolic dynamics, and chaos, 1995, CRC press \bibitem[Sm]{Sm} Smale, Steve. Differentiable dynamical Systems, Bull. Amer. Math. Soc.,73, 747-817 \bibitem[Wen]{Wen} Wen, L \bibitem[W1] One dimensional nonwandering sets, Topology 6,(1967)473-487. \bibitem[W3]{W3} Williams, R.F.Expanding attractors, Institute des Hautes \'Etudes Scientifique Publ. Math. no. 43(1973)169-203. %\bibitem[W4]{W4} Williams, R.F. The ``DA'' maps of Smale and structural % stability, Global Analysis, vol. XIV of Amer. Math. Soc. Proc. of % Symposia in Pure and Appl. Math., 14(1970) 239-334. \end{thebibliography} \noindent \author{ R.F. Williams\\ Department of Mathematics\\ The University of Texas at Austin\\ Austin, TX 78712 U.S.A.} \end{document}