Computer Assisted Proof for Normally Hyperbolic Invariant Manifolds

Details Computer Assisted Proof for Normally Hyperbolic Invariant Manifolds Computer Assisted Proof for Normally Hyperbolic Invariant Manifolds

2011-05-06

arxiv.org/abs/1105.1277v1

Mathematics

Dynamical Systems

33 pages, 16 figures

Scientific paper

We present a topological proof of the existence of a normally hyperbolic invariant manifold for maps. In our approach we do not require that the map is a perturbation of some other map for which we already have an invariant manifold. But a non-rigorous, good enough, guess is necessary. The required assumptions are formulated in a way which allows for rigorous computer assisted verification. We apply our method for a driven logistic map, for which non-rigorous numerical simulation in plain double precision suggests the existence of a chaotic attractor. We prove that this numerical evidence is false and that the attractor is a normally hyperbolic invariant curve.

Affiliated with

Also associated with

No associations

Rating

Computer Assisted Proof for Normally Hyperbolic Invariant Manifolds does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Computer Assisted Proof for Normally Hyperbolic Invariant Manifolds, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Computer Assisted Proof for Normally Hyperbolic Invariant Manifolds will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-576469