Suzanne Hruska
Suzanne Hruska

Ph.D. (2002) Cornell University

First Position
Dissertation
Advisor:
Research Area:
Abstract: Our main interest is using a computer to rigorously study εpseudo orbits for polynomial diffeomorphisms of C^{2}. Periodic εpseudo orbits form the εchain recurrent set, R_{ε}. The intersection ∩_{ε > 0}R_{ε} is the chain recurrent set, R. This set is of fundamental importance in dynamical systems.
Due to the theoretical and practical difficulties involved in the study of C^{2}, computers will presumably play a role in such efforts. Our aim is to use computers not only for inspiration, but to perform rigorous mathematical proofs.
In this dissertation, we develop a computer program, called Hypatia, which locates R_{ε}, sorts points into components according to their εdynamics, and investigates the property of hyperbolicity on R_{ε}. The output is either "yes", in which case the computation proves hyperbolicity, or "not for this ε", in which case information is provided on numerical or dynamical obstructions.
A diffeomorphism f is hyperbolic on a set X if for each x there is a splitting of the tangent bundle of x into an unstable and a stable direction, with the unstable (stable) direction expanded by f (f^{1}). A diffeomorphism is hyperbolic if it is hyperbolic on its chain recurrent set.
Hyperbolicity is an interesting property for several reasons. Hyperbolic diffeomorphisms exhibit shadowing on R, i.e., εpseudo orbits are deltaclose to true orbits. Thus they can be understood using combinatorial models. Shadowing also implies structural stablity, i.e., in a neighborhood in parameter space the behavior is constant. These properties make hyperbolic diffeomorphisms amenable to computer investigation via εpseudo orbits.
We first discuss Hypatia for polynomial maps of C. We then extend to polynomial diffeomorphisms of C^{2}. In particular, we examine the class of Hénon diffeomorphisms, given by
H_{a,c} : (x, y) → ( x^{2} + c  ay, x).This is a large class of diffeomorphisms which provide a good starting point for understanding polynomial diffeomorphisms of C^{2}. However, basic questions about the complex Hénon family remain unanswered.
In this work, we describe some Hénon diffeomorphisms for which Hypatia verifies hyperbolicity, and the obstructions found in testing hyperbolicity of other examples.