arXiv Analytics

Sign in

arXiv:1605.07799 [math.DS]AbstractReferencesReviewsResources

Computer assisted proof of Shil'nikov homoclinics: with application to the Lorenz-84 model

Maciej J. Capinski, Anna Wasieczko-Zajac

Published 2016-05-25Version 1

We present a methodology for computer assisted proofs of Shil'nikov homoclinic intersections. It is based on geometric bounds on the invariant manifolds using rate conditions, and on propagating the bounds by an interval arithmetic integrator. Our method ensures uniqueness of the parameter for which the homoclinic takes place. We apply the method for the Lorenz-84 atmospheric circulation model, obtaining a sharp bound for the parameter, and also for where the homoclinic intersection of the stable/unstable manifolds takes place.

Comments: 22 pages, 6 figures
Categories: math.DS
Subjects: 34C37, 37D05, 37D10, 65G20
Related articles: Most relevant | Search more
arXiv:0809.1421 [math.DS] (Published 2008-09-08)
An Application of Topological Multiple Recurrence to Tiling
arXiv:1402.4209 [math.DS] (Published 2014-02-18)
On non-Archimedean recurrence equations and their applications
arXiv:0910.3687 [math.DS] (Published 2009-10-19, updated 2010-09-29)
Multiple ergodic averages for flows and an application

Links

Toolbox