Georgia Institute of Technology College of Sciences

Suppose that $M$ is a closed isotropic Riemannian manifold and that $R_1,...,R_m$ generate the isometry group of $M$. Let $f_1,...,f_m$ be smooth perturbations of these isometries. We show that the $f_i$ are simultaneously conjugate to isometries if and only if their associated uniform Bernoulli random walk has all Lyapunov exponents zero. This extends a linearization result of Dolgopyat and Krikorian from $S^n$ to real, complex, and quaternionic projective spaces.

For a dynamical system, a physical measure is an ergodic invariant measure that captures the asymptotic statistical behavior of the orbits of a set with positive Lebesgue measure. A natural question in the theory is to know when such measures exist.

It is expected that a "typical" system with enough hyperbolicity (such as partial hyperbolicity) should have such measures. A special type of physical measure is the so-called hyperbolic SRB (Sinai-Ruelle-Bowen) measure. Since the 70`s the study of SRB measures has been a very active topic of research. 

In this talk, we will see a new example of open sets of partially hyperbolic systems with two dimensional center having a unique SRB measure.  One of the key features for these examples is a rigidity result for a special type of measure (the so-called u-Gibbs measure) which allows us to conclude the existence of the SRB measures.

My goal is to present a computer assisted proof of a non-trivial theorem in nonlinear dynamics, in full detail.  My (quite biased) definition of non-trivial is that there should be some infinite dimensional complications.  However, since I want to go through all the details, I need these complications to be as simple as possible.  So, I'll consider the Henon map, and prove that some 1 dimensional stable and unstable manifolds attached to a hyperbolic fixed point intersect transversally.  By Smale's theorem, this implies the existence of chaotic motions.  Recall that one can prove the existence chaotic dynamics for the Henon map more or less by hand using topological methods.  Yet transverse intersection of the manifolds is a stronger statement, and moreover the method I'll discuss generalizes to much more sophisticated examples where pen-and-paper fail.

The idea of the proof is to develop a high order polynomial expansion of the stable/unstable manifolds of the fixed point, to prove an a-posteriori theorem about the convergence and truncation error bounds for this expansion, and to check the hypotheses of this theorem using the computer.  All of this relies on the parameterization method of Cabre, Fontich, and de la Llave, and on finite numerical calculations using interval arithmetic to manage the inevitable roundoff errors. Once global enough representations of the local invariant manifolds are obtained and equipped with mathematically rigorous error bounds, it is a finite dimensional problem to establish that the manifolds intersect transversally.