Monday, January 28, 2013 - 16:05
1 hour (actually 50 minutes)
Georgia Tech and AGH Univ. Krakow
We present a method for the detection of stable and unstable fibers of invariant manifolds of periodic orbits. We show how to propagate the fibers to prove transversal intersections of invariant manifolds. The method can be applied using interval arithmetic to produce rigorous, computer assisted estimates for the manifolds. We apply the method to prove transversal intersections of stable and unstable manifolds of Lyapunov orbits in the restricted three body problem.