Monday, March 24, 2014 - 15:00
1 hour (actually 50 minutes)
Theoretical aspects: If a smooth dynamical system on a compact invariant set is structurally stable, then it has the shadowing property, that is, any pseudo (or approximate) orbit has a true orbit nearby. In fact, the system has the Lipschitz shadowing property, that is, the distance between the pseudo and true orbit is at most a constant multiple of the local error in the pseudo orbit. S. Pilyugin and S. Tikhomirov showed the converse of this statement for discrete dynamical systems, that is, if a discrete dynamical system has the Lipschitz shadowing property, then it is structurally stable. In this talk this result will be reviewed and the analogous result for flows, obtained jointly with S. Pilyugin and S. Tikhomirov, will be described. Numerical aspects: This is joint work with Brian Coomes and Huseyin Kocak. A rigorous numerical method for establishing the existence of an orbit connecting two hyperbolic equilibria of a parametrized autonomous system of ordinary differential equations is presented. Given a suitable approximate connecting orbit and assuming that a certain associated linear operator is invertible, the existence of a true connecting orbit near the approximate orbit and for a nearby parameter value is proved provided the approximate orbit is sufficiently ``good''. It turns out that inversion of the operator is equivalent to the solution of a boundary value problem for a nonautonomous inhomogeneous linear difference equation. A numerical procedure is given to verify the invertibility of the operator and obtain a rigorous upper bound for the norm of its inverse (the latter determines how ``good'' the approximating orbit must be).